--- title: Gevrey–Beurling Classes in Ultradifferentiable Analysis url: https://www.emergentmind.com/topics/gevrey-beurling-classes type: topic --- # Gevrey–Beurling Classes in Ultradifferentiable Analysis Gevrey–Beurling classes are Beurling-type ultradifferentiable classes in which Gevrey growth is imposed with universal, rather than existential, control parameters. In the classical setting they arise from the weight sequence \(m_n=[n!]^\beta\), but the same “for every scale parameter” principle also appears in Carleman classes of vectors for operators, in Fourier descriptions on compact Lie groups and tori, in ultraholomorphic classes on sectors, and in generalized weight-matrix or operator-algebraic settings beyond the classical Gevrey hierarchy [1602.07083, 1208.1883, 2404.17366, 2607.03074]. ## 1. Foundational definitions and the Beurling quantifier A standard operator-theoretic formulation begins with a densely defined closed linear operator \(A\) in a complex Banach space \(X\) and a sequence of positive numbers \(\{m_n\}_{n=0}^\infty\). The space of smooth vectors is \[ C^\infty(A):=\bigcap_{n=0}^{\infty}D(A^n), \] and the associated Carleman classes are \[ C_{\{m_n\}}(A):=\left\{f\in C^\infty(A)\mid \exists \alpha>0\ \exists c>0:\ \|A^n f\|\le c\alpha^n m_n,\ n\in\mathbb Z_+\right\}, \] \[ C_{(m_n)}(A):=\left\{f\in C^\infty(A)\mid \forall \alpha>0\ \exists c>0:\ \|A^n f\|\le c\alpha^n m_n,\ n\in\mathbb Z_+\right\}. \] The decisive distinction is the quantifier pattern: Roumieu type requires one admissible \(\alpha>0\), whereas Beurling type requires the estimate for every \(\alpha>0\) [1602.07083]. For Gevrey regularity one takes \[ m_n=[n!]^\beta, \] equivalently \(m_n\sim n^{\beta n}\), and defines \[ \mathcal E^{\{\beta\}}(A)=C_{\{[n!]^\beta\}}(A)=C_{\{n^{\beta n}\}}(A),\qquad \mathcal E^{(\beta)}(A)=C_{([n!]^\beta)}(A)=C_{(n^{\beta n})}(A). \] Thus Gevrey–Beurling ultradifferentiability of order \(\beta\) means membership in \(\mathcal E^{(\beta)}(A)\). In the same framework, \(\mathcal E^{\{1\}}(I,X)\) consists of analytic vector functions, \(\mathcal E^{(1)}(I,X)\) of entire vector functions, and \(\mathcal E^{\{0\}},\mathcal E^{(0)}\) correspond to entire functions or vectors of exponential and minimal exponential type [1602.07083]. On compact Lie groups the same distinction is expressed directly by derivatives. If \(G\) is a compact Lie group and \(s>0\), then the Gevrey–Beurling class \(\gamma^{(s)}(G)\) consists of \(\phi\in C^\infty(G)\) such that for every \(A>0\) there exists \(C_A>0\) with \[ \sup_{x\in G} |\partial^\alpha\phi(x)|\le C_A A^{|\alpha|}(\alpha!)^s \] for all multi-indices \(\alpha\). The paper places these spaces in the projective-limit topology, in contrast with the inductive-limit topology on the Roumieu side [1208.1883]. A generalized Beurling analogue beyond the classical Gevrey sequence is given by the extended Gevrey classes \[ M_p^{\tau,\sigma}=p^{\tau p^\sigma},\qquad \tau>0,\ \sigma>1, \] with Beurling class \[ \mathcal E_{(\tau,\sigma)}(\mathbb R^d) \] defined by the requirement that for every compact \(K\Subset\mathbb R^d\) and every \(h>0\), there exists \(C_{K,h}>0\) such that \[ |\partial^\alpha \phi(x)| \le C_{K,h} h^{|\alpha|^\sigma} M_{|\alpha|}^{\tau,\sigma},\qquad x\in K. \] Here again the Beurling feature is the universal quantifier in \(h\) [2404.17366]. ## 2. Global Fourier and spectral descriptions On compact Lie groups the Beurling quantifier becomes a global Fourier-decay condition. For \(00\ \exists K_B>0:\ \|\widehat\phi(\xi)\|_{\mathrm{HS}}\le K_B e^{-B\langle\xi\rangle^{1/s}} \] for all \([\xi]\in\widehat G\). The corresponding ultradistribution dual is characterized by the reversed quantifier: \[ v\in \gamma_{(s)}'(G) \quad\Longleftrightarrow\quad \exists B>0\ \exists K_B>0:\ \|\widehat v(\xi)\|_{\mathrm{HS}}\le K_B e^{B\langle\xi\rangle^{1/s}}. \] The same pattern extends to compact homogeneous spaces after restriction to class-I representations with respect to the subgroup \(H\) [1208.1883]. On the torus, Fourier-defined Gevrey spaces make the Beurling/Roumieu split especially transparent. For the Gevrey weight \(\varphi_a(t)=t^a/a\), \(00}\mathcal F_r^a \] is identified as a Beurling-type Gevrey class, while \[ \mathcal F_+^a=\bigcup_{r>0}\mathcal F_r^a \] is its Roumieu counterpart. In this setting the linear cohomological equation is solvable in \(\mathcal F_\infty^a\) if and only if the frequency vector belongs to the arithmetic class \(\mathcal A_\infty^a\), and the nonlinear torus vector-field linearization problem satisfies the same projective-limit criterion [2006.05673]. These Fourier descriptions are complemented by operator-spectrum descriptions. For scalar type spectral operators, ultradifferentiability can be converted into domain conditions for functions of the operator: \[ C_{(m_n)}(A)=\bigcap_{t>0}D(T(t|A|)), \] where \[ T(\lambda):=m_0\sum_{n=0}^{\infty}\frac{\lambda^n}{m_n},\qquad M(\lambda):=\ln T(\lambda). \] This converts Beurling growth of iterates \(A^n f\) into projective domain membership for \(T(t|A|)\) [1602.07083]. ## 3. Semigroups and scalar type spectral operators For a \(C_0\)-semigroup \(\{S(t)\mid t\ge 0\}\), Beurling ultradifferentiability means that every orbit belongs to \[ C_{(m_n)}((0,\infty),X). \] In the scalar type spectral setting, the main generation theorem states that if \(\{m_n\}\) satisfies the conditions \((SGR)\) and \((BC)\), then a scalar type spectral operator \(A\) generates a \(C_{(m_n)}\)-semigroup if and only if, for any \(b>0\), there is an \(a\in\mathbb R\) such that \[ \Re\lambda\le a-bM(|\Im\lambda|),\qquad \lambda\in\sigma(A). \] The Beurling feature is again the universal quantifier: for every \(b>0\) there must exist a corresponding \(a\in\mathbb R\). The paper contrasts this with the Roumieu criterion, where one only asks for the existence of one pair \((a,b)\) [1602.07083]. For the Gevrey sequence \(m_n=[n!]^\beta\), the decisive regime is \(\beta>1\). In that case the spectral condition becomes \[ \Re\lambda\le a-b|\Im\lambda|^{1/\beta},\qquad \lambda\in\sigma(A), \] again with \[ \forall b>0\ \exists a\in\mathbb R. \] This is the Gevrey–Beurling generation criterion for scalar type spectral operators. The same paper notes that \(T\) may be replaced by \(F(\lambda)=e^{\lambda^{1/\beta}}\), so that \(M(\lambda)\) is equivalent to \(\lambda^{1/\beta}\) [1602.07083]. The low-order regime behaves differently. For \(\beta=1\), the sequence \([n!]^\beta\) does not satisfy \((SGR)\), so the theorem does not apply. For \(0\le \beta\le 1\), if a scalar type spectral operator generates an \(\mathcal E^{(\beta)}\)-semigroup, then all orbits are entire vector functions; consequently the generator belongs to \(L(X)\), and the semigroup is uniformly continuous, indeed an entire semigroup of exponential type. The paper presents this as a collapse of the low-order Beurling theory to bounded generators [1602.07083]. A rapidly growing non-Gevrey example is also treated. For \[ m_n=e^{n^2}, \] the relevant comparison function is \[ L(\lambda)= \begin{cases} 0,& 0\le \lambda<1,\\ [\ln\lambda]^2,& \lambda\ge 1, \end{cases} \] and the generation criterion becomes \[ \Re\lambda\le a-bL(|\Im\lambda|),\qquad \lambda\in\sigma(A), \] for every \(b>0\), some \(a\in\mathbb R\). This shows that the Beurling mechanism is not confined to factorial or power-like weights [1602.07083]. ## 4. Extended Gevrey and generalized Beurling scales A major generalization replaces the classical Gevrey sequence by \[ M_p^{\tau,\sigma}=p^{\tau p^\sigma},\qquad \tau>0,\ \sigma>1. \] The corresponding Beurling spaces \(\mathcal E_{(\tau,\sigma)}(\mathbb R^d)\) and compactly supported spaces \(\mathcal D_{(\tau,\sigma)}(\mathbb R^d)\) are explicitly defined, and the paper proves continuous dense inclusions \[ \bigcup_{t>1} G^t(\mathbb R^d)\to \mathcal E_{(\tau,\sigma)}(\mathbb R^d)\to \mathcal E_{\{\tau,\sigma\}}(\mathbb R^d). \] It also records the existence of compactly supported elements in \(\mathcal D_{\tau,\sigma}\) that do not belong to any Gevrey class, so the scale is strictly beyond classical Gevrey regularity [2404.17366]. These extended classes retain several Komatsu-type properties, including log-convexity and nonquasianalyticity, but they fail the standard moderate growth condition \((M.2)\). For that reason the paper places them outside the standard Komatsu framework and closer to generalized weight-sequence or weight-matrix theories [2404.17366]. Their associated function is no longer power-like. For \[ T_{\tau,\sigma}(h)=\sup_{p\in\mathbb N_0}\ln \frac{h^p}{M_p^{\tau,\sigma}}, \] the paper derives sharp asymptotics in terms of the Lambert \(W\)-function. This Lambert-\(W\) behavior reappears in Fourier decay, in Paley–Wiener estimates, and in microlocal characterizations [2404.17366]. A related construction is the weight-matrix scale \[ \mathcal E_\sigma(\mathbb R)=\bigcup_{\tau>0}\mathcal E_{\tau,\sigma}(\mathbb R),\qquad \sigma>1, \] built from the same sequences \(M_p^{\tau,\sigma}=p^{\tau p^\sigma}\). The wavelet paper emphasizes that this is not a standard Komatsu Beurling class attached to one fixed sequence, because the defining sequences fail Komatsu’s \((M.2)\). Instead it is described as a weight-matrix class closely connected to Braun–Meise–Taylor theory, associated functions, and Paley–Wiener decay [2512.05655]. In that framework one has a Fourier-side class \(\mathbf\Gamma_\sigma(\mathbb R)\) defined by \[ |\phi(\xi)|\le C e^{-\rho g_\sigma(\xi)}, \] where \[ g_\sigma(\xi)= \frac{\ln^{\frac{\sigma}{\sigma-1}}(1+|\xi|)} {W^{\frac1{\sigma-1}}(\ln(1+|\xi|))}. \] The Paley–Wiener theorem used there states that \[ \varphi\in C_c^\infty(\mathbb R)\cap \mathcal E_\sigma(\mathbb R) \quad\Longrightarrow\quad \widehat\varphi\in \mathbf\Gamma_\sigma(\mathbb R), \] and conversely \(\widehat\varphi\in \mathbf\Gamma_\sigma(\mathbb R)\) implies \(\varphi\in\mathcal E_\sigma(\mathbb R)\). The same paper constructs an orthonormal wavelet \(\psi\) such that both \(\psi\) and \(\widehat\psi\) belong to \(\mathcal E_\sigma(\mathbb R)\) while lying outside all lower extended classes up to the threshold \(\sigma_\eta\) [2512.05655]. ## 5. Microlocal and noncommutative realizations Extended Gevrey regularity also has a microlocal formulation. For \(u\in\mathcal D'(\mathbb R^d)\), the extended wave front set \(\operatorname{WF}_{\{\tau,\sigma\}}(u)\) is defined by the existence of a cutoff \(\phi\in \mathcal D_{\{\tau,\sigma\}}(\mathbb R^d)\) and a conic neighborhood \(\Gamma_0\) such that \[ |\widehat{\phi u}(\xi)| \le C\, \frac{h^{N^\sigma} N^{\tau N^\sigma}}{|\xi|^N},\qquad N\in\mathbb N,\ \xi\in \Gamma_0. \] The same paper gives a short-time Fourier transform characterization in terms of \[ |V_g u(x,\xi)|\le C e^{-T_{\tau,\sigma}(k,|\xi|)}, \] where \[ T_{\tau,\sigma}(h,k)=\sup_{p\in\mathbb N}\ln \frac{h^{p^\sigma}k^p}{M_p^{\tau,\sigma}}. \] This places Beurling-type regularity into the same microlocal framework as classical Gevrey wave front sets, but with logarithmic-Lambert decay replacing the stretched exponentials of the ordinary Gevrey scale [2404.17366]. A noncommutative realization appears for convolution operators on locally compact groups with a locally bounded length function \(\ell\). For \(0<\beta<1\) and \(10}L^q(G,e^{s\ell^\beta}) \] is explicitly described as Beurling type, because it is a projective limit over all \(s>0\). On the operator side, if \(\delta_\ell\) is the commutator derivation with the multiplication operator \(D_\ell\), the paper defines \[ G_R^{(\sigma)}(\mathcal A)=\left\{T\in \mathcal A^\infty:\ \sup_{n\ge 0}\frac{R^n\|\delta^n(T)\|_{\mathcal A}}{(n!)^\sigma}<\infty\right\}, \qquad G^{(\sigma)}(\mathcal A)=\bigcap_{R>0}G_R^{(\sigma)}(\mathcal A), \] and in the group case \[ \mathcal A_{q,\beta}(G) = \widetilde{PF_q(G)}\cap G^{(1/\beta)}(B(L^q(G))). \] This Gevrey–Beurling operator algebra is inverse-closed in \(\widetilde{PF_q(G)}\), and if \(T_f=\lambda_q(f)\) with \(f\in S_q^\infty(G)\) is invertible in the unitized \(q\)-pseudofunction algebra, then \(T_f^{-1}\) belongs to the same Gevrey–Beurling operator algebra and satisfies explicit Gevrey seminorm estimates [2607.03074]. The same paper proves that, under \((SG_\beta)\) and unimodularity, \(\mathcal A_{q,\beta}(G)\) is a dense Fréchet subalgebra stable under holomorphic functional calculus, and the inclusion \[ \mathcal A_{q,\beta}(G)\hookrightarrow \widetilde{PF_q(G)} \] induces an isomorphism in topological \(K\)-theory. This shows that Beurling-type subexponential decay and Gevrey commutator estimates can coexist with strong spectral-invariance properties in a genuinely noncommutative setting [2607.03074]. ## 6. Ultrarolomorphic thresholds, PDE scope, and recurring boundaries In ultraholomorphic theory, Beurling classes are built from \[ \mathcal A_{(M)}(S)=\bigcap_{h>0}\mathcal A_{M,h}(S), \qquad \widetilde{\mathcal A}^{u}_{(M)}(S)=\bigcap_{h>0}\widetilde{\mathcal A}^{u}_{M,h}(S), \] and the asymptotic Borel map \[ \widetilde{\mathcal B}(f)=\sum_{p=0}^\infty \frac{f^{(p)}(0)}{p!}z^p \] is studied on sectors \(S_r\). For the Gevrey sequence \(M_p=p!^{s-1}\), the growth index satisfies \(\gamma(M)=s-1\). The paper proves that for regular sequences, and hence for Gevrey–Beurling classes, one has global extension operators and surjectivity for every \[ 02\). The paper explicitly works with the standard Roumieu local Gevrey estimate and does not formulate the Beurling variant [2210.02605]. The same limitation is stated in more recent evolution-equation papers. For third-order degenerate evolution equations, the spaces \(H^m_{\rho;\theta}\), \(H^\infty_\theta\), and \(G^\theta\) are described as Roumieu-type, and the paper remarks that a Beurling analogue would require a projective condition such as \[ \bigcap_{\rho>0} H^m_{\rho;\theta} \quad\text{or}\quad \bigcap_{\rho>0}\bigcap_m H^m_{\rho;\theta}. \] Likewise, for variable-coefficient \(p\)-evolution equations, the well-posedness theorem is proved in the inductive Gevrey-Sobolev scale \(H^\infty_\theta\), and the authors state that similar results may be obtained in the projective Gevrey space under suitable projective Gevrey estimates [2605.16576, 2407.18630]. This division between projective Beurling scales and inductive Roumieu scales is one of the persistent structural facts of the subject. In definitions, Fourier decay, semigroup generation, ultraholomorphic extension, and operator algebra theory, Gevrey–Beurling classes are characterized by universal estimates over all radii or scales. In applications to PDE and dynamics, those universal estimates are often stronger than what current techniques directly yield. Source: https://www.emergentmind.com/topics/gevrey-beurling-classes