- What speed does something have to travel away to red shift invisable?
- Does the edge of the Universe travel faster than the speed of light?
- Black-hole becoming a star again - follow-up question
- Can anyone please help me identify this sound?
- Why is there static in the output of my Xenyx 802 mixer?
- About how far was debris scattered from the Columbia incident?
- How to analytically estimate the pressure loss through an liquid injector?
- What is the largest and/or heaviest object that could be sent to space?
- Hide camera bounds from vieport view
- Growing animation that’s super specific and weird
- Getting an arch in animation
- Edit mode edges
- Combining image texture and brick texture
- Have a doubt on Recalculate option in Shading Option?
- How to put green screen video on a plane
- Why is my lattice drastically deforming its mesh?
- Continuous glucose monitor data
- What do these commands mean in laymans terms?
- Cannot connect to my work's WPA2 Enterprise on Linux but Android works fine
- How to build a “flaming rope” used by rail workers?

# 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,