- What is the name of this unknown music piece?
- What is the name of the song that sounds like “It is Never Enough”?
- Syntax hightligh broken in html file after ^F
- How to calculate strength for titanium wire
- Solve consumer’s problem
- Form of excess demand correspondence
- About the quantum mechanical relation $\:qp-pq= \mathrm{i}\hbar I\:$
- Rectangular blocks appear when I start emacs
- Ice Age Cavalry
- Anatomically Correct Manananggal
- why would mages not use mana they have stolen to permanently boost their power?
- A weird sum problem
- How can I merge 2+ DataFrame objects without duplicating column names?
- How does the loss function for semantic segmentation networks (like FCN) work?
- Which sklearn classification would perform best on shape= (2000, 1024) w/ binary features?
- Combine results from multiple models
- Confused about how to graph my high dimensional dataset with Kmeans
- Identification of a stone
- Unfamiliar error on code about port(s)
- 4×4 keypad giving entire row (all columns are triggered) in Tinkercad

# Is the multi-dimensional Gevrey-class $G^1$ closed under composition?

Let $d,n \in \mathbb{N}$, and let $\Omega \subseteq \mathbb{R}^d$ and $\Psi \in \mathbb{R}^n$. We say that $f \in G^1(\Omega,\Psi)$ if all of its coordinate functions $f_1, \dots, f_n$ are elements of the Gevrey-class $G^1(\Omega)$, as defined here. For convenience, I will restate the definition here. $f \in G^1(\Omega,\Psi)$ if and only if:

$f \in C^{\infty}(\Omega,\Psi)$

Let $K \subseteq \Omega$ be compact. Then there exists a $C_K > 0$ such that for all $\mathbf{x} \in K$, $\alpha \in \mathbb{N}^d$ and $j \in \{1, \dots, n\}$, we have:

$$|D^{\alpha}f_j(\mathbf{x})| \leq C^{|\alpha|+1} \cdot |\alpha|!$$

From this question, which links to this paper, we know that if $\Omega,\Psi,\Phi \subseteq \mathbb{R}$, then:

$$f \in G^1(\Omega,\Psi), g \in G^1(\Psi,\Phi) \implies g \circ f \in G^1(\Omega,\Phi)$$

A sketch of the proof can be found in the question linked to.

I am wondering if a similar result holds for higher dimensional choices of $\Omega$, $\Psi$ and $\Phi$. So,