Namespaces
Variants
Actions

Difference between revisions of "Gevrey class"

From Encyclopedia of Mathematics
Jump to: navigation, search
(latex details)
 
Line 50: Line 50:
 
The operator $P ( x , D )$ is called (locally) $G ^ { S }$-solvable in $\Omega$ if for every $f \in G _ { 0 } ^ { s } ( \Omega )$ there exists a $u \in \mathcal{D} _ { s } ^ { \prime } ( \Omega )$ such that $P ( x , D ) u = f$.
 
The operator $P ( x , D )$ is called (locally) $G ^ { S }$-solvable in $\Omega$ if for every $f \in G _ { 0 } ^ { s } ( \Omega )$ there exists a $u \in \mathcal{D} _ { s } ^ { \prime } ( \Omega )$ such that $P ( x , D ) u = f$.
  
Since $G ^ { S }$-solvability implies $G ^ { t }$-solvability for $t < s$, when $P$ is not solvable in the $C ^ { \infty }$-category one looks for an index $s _ { 0 } > 1$ such that the operator $P$ is $G ^ { S }$-solvable for $1 \leq s < s _ { 0 }$ and not for $s > s 0$. The model operators $L ^ { m } + Q$, with $L = L _ { 1 }$ or $L = L _ { 2 }$ and $h$ being even, are $G ^ { S }$-solvable for $1 < s \leq m / ( m - 1 )$, while for $s > m / ( m - 1 )$ they need not be $G ^ { S }$-solvable (cf. [[#References|[a6]]], [[#References|[a21]]], [[#References|[a27]]]).
+
Since $G^{S}$-solvability implies $G ^ { t }$-solvability for $t < s$, when $P$ is not solvable in the $C ^ { \infty }$-category one looks for an index $s _ { 0 } > 1$ such that the operator $P$ is $G ^ { S }$-solvable for $1 \leq s < s _ { 0 }$ and not for $s > s_0$. The model operators $L ^ { m } + Q$, with $L = L _ { 1 }$ or $L = L _ { 2 }$ and $h$ being even, are $G ^ { S }$-solvable for $1 < s \leq m / ( m - 1 )$, while for $s > m / ( m - 1 )$ they need not be $G ^ { S }$-solvable (cf. [[#References|[a6]]], [[#References|[a21]]], [[#References|[a27]]]).
  
 
$G ^ { S }$-solvability for semi-linear partial differential operators, provided $1 < s \leq m / ( m - 1 )$, is proved in [[#References|[a12]]].
 
$G ^ { S }$-solvability for semi-linear partial differential operators, provided $1 < s \leq m / ( m - 1 )$, is proved in [[#References|[a12]]].

Latest revision as of 08:01, 6 February 2024

An intermediate space between the spaces of smooth (i.e. $C ^ { \infty }$-) functions and real-analytic functions. In fact, the name is given in honour of M. Gevrey, who gave the first motivating example (see [a13], in which regularity estimates of the heat kernel are deduced).

Given $\Omega \subset \mathbf{R} ^ { n }$ and $s \geq 1$, the Gevrey class $G ^ { S } ( \Omega )$ (of index $s$) is defined as the set of all functions $f \in C ^ { \infty } ( \Omega )$ such that for every compact subset $K \subset \Omega$ there exists a $C = C _ { f , K} > 0$ satisfying

\begin{equation*} \operatorname { max } _ { x \in K } | \partial ^ { \alpha } f ( x ) | \leq C ^ { | \alpha | + 1 } ( | \alpha ! | ) ^ { s }, \end{equation*}

\begin{equation*} \alpha \in \mathbf{Z} _ { + } ^ { n } , | \alpha | = \alpha _ { 1 } + \ldots + \alpha _ { n }. \end{equation*}

For $s = 1$ one recovers the space of all real-analytic functions on $\Omega$, while for $s > 1$, $G _ { 0 } ^ { s } ( \Omega ) = G ^ { s } ( \Omega ) \cap C _ { 0 } ^ { \infty } ( \Omega )$ contains non-zero functions, $C ^ { \infty _ { 0 } } ( \Omega )$ being the set of all $C ^ { \infty } ( \Omega )$-functions with compact support. There are various equivalent ways to define $G ^ { S } ( \Omega )$ (cf. [a27]). Introducing the natural inductive topology on $G _ { 0 } ^ { S } ( \Omega )$, for $s > 1$, one can define the space $\mathcal{D} _ { s } ^ { \prime } ( \Omega )$ of Gevrey $s$-ultra-distributions as the dual to $G _ { 0 } ^ { S } ( \Omega )$. The space of $s$-ultra-distributions contains the Schwartz distributions (cf. also Generalized functions, space of). The Gevrey classes are the most simple case of classes of ultra-differentiable functions (or Denjoy–Carleman classes; see, e.g., [a17]). Since the scale of spaces $G ^ { S }$ starts from the analytic functions (for $s = 1$) and ends in the $C ^ { \infty }$-category (setting $s = \infty$), the Gevrey classes play an important role in various branches of partial and ordinary differential equations; namely, whenever the properties of certain differential operators (mappings) differ in the $C ^ { \infty }$ and in the analytic category, it is natural to investigate the behaviour of such operators (mappings) in the scale of Gevrey classes $G ^ { S }$ and, if possible, to find the critical value(s) of $s$, i.e. those for which a change of behaviour occurs. In particular, all weak solutions to the heat equation $( \partial _ { t } - \sum _ { j = 1 } ^ { n } \partial _ { x _ { j } } ^ { 2 } ) u = 0$ are $C ^ { \infty }$, while they are not real-analytic. In the scale of Gevrey spaces, the result is sharp; namely, $u \in G ^ { s } ( \Omega )$ for $s = 2$ (and hence for all $s \geq 2$), but, in general, $u \notin G ^ { S } ( \Omega )$ if $1 \leq s < 2$.

Applications.

The Gevrey classes $G ^ { S }$, $s > 1$, have numerous applications, a few of the main applications being listed below.

Gevrey micro-local analysis.

For $s > 1$ one says that a given $s$-ultra-distribution $u \in \mathcal{D} _ { s } ^ { \prime } ( \Omega )$ is (micro-locally) $G ^ { S }$-regular at a point $( x ^ { 0 } , \xi ^ { 0 } ) \in \Omega \times ( {\bf R} ^ { n } \backslash \{ 0 \} )$ if there exist a $\varphi \in G ^ { s_0 } ( \Omega )$, $\varphi ( x ^ { 0 } ) \neq 0$, an open cone $\mathcal{C} \ni \xi ^ { 0 }$ in $\mathbf{R} ^ { n } \backslash \{ 0 \}$, and a positive constant $c$ such that

\begin{equation*} | \widehat { \varphi u } ( \xi ) | \leq c ^ { - 1 } e ^ { - c | \xi | ^ { 1 / s } } \end{equation*}

for $\xi \in \mathcal{C}$, where $\hat { f } ( \xi ) = \int _ { {\bf R} ^ { n } } e ^ { - i x \xi } f ( x ) d x$ denotes the Fourier transform of $f$ and $x \xi : = x _ { 1 } \xi _ { 1 } + \ldots + x _ { n } \xi _ { n }$. This definition is independent of the choice of $\varphi$. The $G ^ { S }$ wave front set $\operatorname {WF} _ { s } u$ of $u \in \mathcal{D} ^ { \prime } ( \Omega )$ is the smallest closed conic subset $\Gamma$ of $\Omega \times ( \mathbf{R} ^ { n } \backslash \{ 0 \} )$ such that $u$ is $G ^ { S }$-regular at each $( x ^ { 0 } , \xi ^ { 0 } ) \notin \Gamma$. Here, being a conic subset $\Gamma \subset \Omega \times ( \mathbf{R} ^ { n } \backslash \{ 0 \} )$ means that $( x , \xi ) \in \Gamma$ implies $( x , t \xi ) \in \Gamma$ for all $t > 0$. For equivalent definitions, see [a14], [a27].

Let

\begin{equation*} P ( x , D ) = \sum _ { | \alpha | \leq m } p _ { \alpha } ( x ) D _ { x } ^ { \alpha } \end{equation*}

be a linear partial differential operator (cf. also Linear partial differential equation), with $p _ { \alpha } \in G ^ { s } ( \Omega )$, $D _ { x } ^ { \alpha } = D _ { x _ { 1 } } ^ { \alpha _ { 1 } } \ldots D _ { x _ { n } } ^ { \alpha _ { n } }$, $D _ { x _ { k } } = - i \partial _ { x _ { k } }$. The presence of the imaginary unit $i$ allows one to define $P ( x , D )$ via the Fourier transform, namely

\begin{equation*} P ( x , D ) u = ( 2 \pi ) ^ { - n } \int _ { {\bf R} ^ { n } } e ^ { i x \xi } p ( x , \xi ) \hat { u } ( \xi ) d \xi, \end{equation*}

with $p ( x , \xi ) = \sum _ { | \alpha | \leq m } p _ { \alpha } ( x ) \xi ^ { \alpha }$. This definition is valid for pseudo-differential operators (cf. Pseudo-differential operator) as well, where $p ( x , \xi )$ is a suitable symbol from the Hörmander classes $S _ { 1,0 } ^ { m }$ or from other classes (see [a27] for more details and references). The characteristic set $\Sigma _ { P }$ of $P$ is defined by

\begin{equation*} \Sigma _ { P } = \{ ( x , \xi ) \in \Omega \times ( \mathbf{R} ^ { n } \backslash \{ 0 \} ) : p _ { m } ( x , \xi ) = 0 \}, \end{equation*}

with $p _ { m } ( x , \xi ) = \sum _ { | \alpha | = m } p _ { \alpha } ( x ) \xi ^ { \alpha }$ standing for the principal symbol (cf. also Symbol of an operator; Principal part of a differential operator). The operator is called $G ^ { S }$-hypo-elliptic (respectively, $G ^ { S }$-micro-locally hypo-elliptic) in an open set $U \subset \Omega$ (respectively, in an open conic set $\Gamma \subset \Omega \times ( \mathbf{R} ^ { n } \backslash \{ 0 \} )$) if for every $u \in \mathcal{D} _ { s } ^ { \prime } ( U )$ satisfying $P ( x , D ) u \in G ^ { S } ( U )$ (respectively, $\operatorname{WF} _ { s } ( P ( x , D ) u ) \cap \Gamma = \emptyset$) necessarily $u \in G ^ { s } ( U )$ (respectively, $\operatorname{WF} _ { s } u \cap \Gamma = \emptyset$).

Recall that $P ( x , D )$ is called of principal type if $( x , \xi ) \in \Sigma _ { P }$ implies that $d_ {x , \xi} p _ { m } ( x , \xi )$ is not linearly dependent on $\sum _ { j = 1 } ^ { n } \xi _ { j } d x _ { j }$. The operator is called of multiple characteristics type if there exists a $( x , \xi ) \in \Sigma _ { p }$ such that $d_{x , \xi} p _ { m } ( x , \xi ) = 0$. The properties of operators of principal type are basically the same in the analytic-Gevrey category and the $C ^ { \infty }$-category. An essential difference occurs in the case of multiple characteristics. For operators with constant multiple real or complex characteristics, modelled by $P ( x , D ) = L ^ { m } + Q ( x , D )$, $Q$ being an operator of order $\leq m - 1$ while $L$ is a first-order operator modelled by $L = L _ { 1 } = D _ { x _ { 1 } }$ or $L = L _ { 2 } = D _ { x _ { 1 } } + i x _ { 1 } ^ { h } D _ { x _ { 2 } }$, $h \in \mathbf{N}$, the behaviour of $P$ in $G ^ { S }$, $1 < s < m / ( m - 1 )$, is governed by the operator $L$, independently of the lower-order terms in $Q$. However, if $s > m / ( m - 1 )$, then the lower-order terms affect both the $G ^ { S }$-hypo-ellipticity and the propagation of $G ^ { S }$ singularities, cf. [a5], [a21], [a27]. In fact, often one is interested in finding a critical index $s _ { 0 } > 1$ such that for $1 \leq s < s _ { 0 }$ and $s > s 0$ certain properties are complementary. In particular, if $L = L _ { 2 }$ and $h$ is even, there are examples of operators analytic and Gevrey $G ^ { S }$-hypo-elliptic for $1 \leq s \leq m / ( m - 1 )$ but not $C ^ { \infty }$- and Gevrey $G ^ { S }$-hypo-elliptic for large values of the Gevrey index $s$ (see [a21], [a27] for more details and references).

As to the $G ^ { S }$-hypo-ellipticity for operators of the form $P ( x , D ) = \sum _ { j = 1 } ^ { n } X _ { j } ^ { 2 }$, $X_j$ being analytic vector fields satisfying the Hörmander bracket hypothesis, a typical pattern of behaviour is the following one: There is a critical index $s_0$ such that for $s > s 0$, the $G ^ { S }$-hypo-ellipticity of $P ( x , D )$ holds, while for $1 \leq s < s _ { 0 }$ it does not (cf. [a2], [a7], [a23]).

Gevrey singularities appear in the study of initial-boundary value problems for hyperbolic equations in domains with analytic diffractive boundaries (cf. [a18] and the references therein). In particular, for the wave equation, Gevrey $G ^ { 3 }$-singularities along the diffractive analytic boundary appear, and this fact is used in scattering theory (cf. [a1]).

Gevrey solvability.

The operator $P ( x , D )$ is called (locally) $G ^ { S }$-solvable in $\Omega$ if for every $f \in G _ { 0 } ^ { s } ( \Omega )$ there exists a $u \in \mathcal{D} _ { s } ^ { \prime } ( \Omega )$ such that $P ( x , D ) u = f$.

Since $G^{S}$-solvability implies $G ^ { t }$-solvability for $t < s$, when $P$ is not solvable in the $C ^ { \infty }$-category one looks for an index $s _ { 0 } > 1$ such that the operator $P$ is $G ^ { S }$-solvable for $1 \leq s < s _ { 0 }$ and not for $s > s_0$. The model operators $L ^ { m } + Q$, with $L = L _ { 1 }$ or $L = L _ { 2 }$ and $h$ being even, are $G ^ { S }$-solvable for $1 < s \leq m / ( m - 1 )$, while for $s > m / ( m - 1 )$ they need not be $G ^ { S }$-solvable (cf. [a6], [a21], [a27]).

$G ^ { S }$-solvability for semi-linear partial differential operators, provided $1 < s \leq m / ( m - 1 )$, is proved in [a12].

Hyperbolic equations.

The Gevrey classes serve as a framework for the well-posedness of the Cauchy problem for weakly hyperbolic linear partial differential operators (cf. also Linear hyperbolic partial differential equation and system)

\begin{equation*} P ( t , x ; D _ { t } , D _ { x } ) u = \end{equation*}

\begin{equation*} = D _ { t } ^ { m } u + \sum _ { j = 1 } ^ { m } \sum _ { | \alpha | \leq m - j } p _ { j , \alpha } ( t , x ) D _ { t } ^ { j } D _ { x } ^ { \alpha } u = f ( t , x ) ,\; D _ { t } ^ { j } u ( 0 , x ) = u _ { j } ^ { 0 } ( x ) , \quad j = 0 , \ldots , m - 1. \end{equation*}

Weak hyperbolicity means that the roots of $p _ { m } ( t , x ; \tau , \xi ) = 0$ with respect to $\tau$ are real. If $d$ is the maximal multiplicity of the real roots in $\tau$, then the Cauchy problem is always well-posed in the framework of the Gevrey classes $G ^ { S }$, provided $1 \leq s \leq d / ( d - 1 )$. If $s > d / ( d - 1 )$, one can point out specific lower-order terms such that the existence fails. More subtle estimates for the critical Gevrey index are obtained by using the distance between the roots or via additional restrictions on the lower-order terms (so-called Levi-type conditions). See [a3], [a14], [a4], [a15], [a19], [a24], [a21] for more details and references. Local Gevrey well-posedness for weakly hyperbolic non-linear systems is shown in [a16] (see also [a12]). Goursat problems for Kirchoff-type equations in Banach spaces of Gevrey functions (cf. also Kirchhoff formula; Goursat problem) have been studied in [a10].

Divergent series and singular differential equations.

One may also define formal Gevrey spaces $G ^ { S }$, e.g. the set of all formal power series

\begin{equation*} \sum _ { \alpha \in \mathbf{Z} _+^ { n } } \frac { a _ { \alpha } } { ( | \alpha | ! ) ^ { s - 1 } } x ^ { \alpha }, \end{equation*}

where for some $C > 0$ the following estimates hold:

\begin{equation*} | a _ { \alpha } | \leq C ^ { | \alpha | + 1 } , \alpha \in \mathbf{Z} _ { + } ^ { n }. \end{equation*}

Such formal Gevrey spaces are used in the study of divergent series and singular ordinary linear differential equations with Gevrey coefficients (see [a26] and the references therein). The Fredholm property in such type of Gevrey spaces of certain singular analytic partial differential operators in $\mathbf{C} ^ { 2 }$ has been studied by means of Toeplitz operators (cf. [a22]).

Dynamical systems.

The framework of Gevery classes is used in the study of normal forms of analytic perturbations of (non-) integrable (non-) Hamiltonian systems. Roughly speaking, one obtains normal forms modulo exponentially small error terms of the type $e ^ { - 1 / \varepsilon ^ { \sigma } }$, where $\varepsilon > 0$ is small parameter, while $\sigma = 1 / ( s - 1 ) > 0$ is related to Gevrey-$G ^ { S }$-type estimates, or so-called Nekhoroshev-type estimates (see e.g. [a11] for Gevrey normal forms of billiard ball mappings and [a25] on normal forms of perturbations of Hamiltonian systems).

Evolution partial differential equations.

In the study of the analytic regularity of solutions of semi-linear evolution equations (Navier–Stokes, Kuramoto–Sivashinksi, Euler, the Ginzburg–Landau equation) with periodic boundary data for positive time, the term "Gevrey class" is used usually to denote the Banach space $G ^ { s } ( \mathcal{T} ^ { n } ; T )$, $T > 0$, (with $\mathcal{T} ^ { n } = \mathbf{R} ^ { n } / ( 2 \pi \mathbf{Z} ) ^ { n }$ being the $n$-dimensional torus) of smooth functions on $\mathcal{T} ^ { n }$ with the norm defined by means of the discrete Fourier transform

\begin{equation*} \| u \| _ { T } ^ { 2 } = \sum _ { \xi \in \mathbf{Z} ^ { n } } ( 1 + | \xi | ) ^ { 2 r } e ^ { 2 T | \xi | ^ { 1 / s } } | \hat { u } ( \xi ) | ^ { 2 }, \end{equation*}

for some $r > n / 2$. In these applications, the Gevrey index $s = 1$ (the analytic category). See [a8] for the Navier–Stokes equations; [a9] for recent results on semi-linear parabolic partial differential equations; and [a20] for a generalized Euler equation.

References

[a1] C. Bardos, G. Lebeau, J. Rauch, "Scattering frequencies and Gevrey $3$ singularities" Invent. Math. , 90 (1987) pp. 77–114 MR906580 Zbl 0723.35058
[a2] A. Bove, D. Tartakoff, "Optimal non-isotropic Gevrey exponents for sums of squares of vector fields" Commun. Partial Diff. Eq. , 22 (1997) pp. 1263–1282 MR1466316 Zbl 0921.35043
[a3] M.D. Bronstein, "The Cauchy problem for hyperbolic operators with characteristics of variable multiplicity" Trans. Moscow Math. Soc. , 1 (1982) pp. 87–103 (In Russian) MR0611140 MR0427842
[a4] F. Colombini, E. Janelli, S. Spagnolo, "Well-posedness in the Gevrey classes of the Cauchy problem for a nonstrictly hyperbolic equation with coeficients depending on time" Ann. Scuola Norm. Sup. Pisa , 10 (1983) pp. 291–312
[a5] L. Cattabriga, L. Rodino, L. Zanghirati, "Analytic-Gevrey hypoellipticity for a class of pseudodifferential operators with multiple characteristics" Commun. Partial Diff. Eq. , 15 (1990) pp. 81–96 MR1032624
[a6] M. Cicognani, L. Zanghirati, "On a class of unsolvable operators" Ann. Scuola Norm. Sup. Pisa , 20 (1993) pp. 357–369 MR1256073 Zbl 0816.47051
[a7] M. Christ, "Intermediate Gevrey exponents occur" Commun. Partial Diff. Eq. , 22 (1997) pp. 359–379 MR1443042 Zbl 0893.35021
[a8] C. Foias, R. Temam, "Gevrey class regularity for the solutions of the Navier-Stokes equations" J. Funct. Anal. , 87 (1989) pp. 359–369 MR1026858 Zbl 0702.35203
[a9] A. Ferrari, E. Titi, "Gevrey regularity for nonlinear analytic parabolic equations" Commun. Partial Diff. Eq. , 23 (1998) pp. 1–16 MR1608488 Zbl 0907.35061
[a10] M. Gourdain, M. Mechab, "Problème de Goursat non-linéaire dans les espaces de Gevrey pour les équations de Kirchoff généralisées" J. Math. Pures Appl. , 75 (1996) pp. 569–593
[a11] T. Gramchev, G. Popov, "Nekhoroshev type estimates for billiard ball maps" Ann. Inst. Fourier (Grenoble) , 45 : 3 (1995) pp. 859–895 MR1340956
[a12] T. Gramchev, L. Rodino, "Gevrey solvability for semilinear partial differential equations with multiple characteritics" Boll. Un. Mat. Ital. Sez. B (8) , 2 : 1 (1999) pp. 65–120 MR1666731
[a13] M. Gevrey, "Sur la nature analytique des solutions des équations aux dérivées partielles" Ann. Ecole Norm. Sup. Paris , 35 (1918) pp. 129–190 MR1509208 Zbl 46.0721.01
[a14] H. Chen, L. Rodino, "General theory of PDE and Gevrey classes" , General theory of partial differential equations and microlocal analysis (Trieste, 1995) , Pitman Res. Notes Math. , 349 , Longman (1996) pp. 6–81 MR1429633 Zbl 0864.35130
[a15] V.Ya. Ivrii, "Correctness in Gevrey classes of the Cauchy problem for certain nonstrictly hyperbolic operators" Izv. Vyš. Učebn. Zaved. Mat. , 189 (1978) pp. 26–35 (In Russian) MR0499786
[a16] K. Kajitani, "Local solutions of Cauchy problem for nonlinear hyperbolic systems in Gevrey classes" Hokkaido Math. J. , 12 (1983) pp. 434–460 MR0725589 Zbl 1138.35053
[a17] H. Komatsu, "Ultradistributions I–III" J. Fac. Sci. Univ. Tokyo Sec. IA Math. , 19; 24; 29 (1973/77/82) pp. 25–105; 607–628; 653–717
[a18] B. Lascar, R. Lascar, "Propagation des singularités Gevrey pour la diffraction" Commun. Partial Diff. Eq. , 16 (1991) pp. 547–584 MR1189413 MR1113098 Zbl 0734.35166 Zbl 0728.35155
[a19] J. Leray, Y. Ohya, "Equations et systèmes non-linèaires, hyperboliques non-strictes" Math. Ann. , 170 (1967) pp. 167–205
[a20] C.D. Levermore, M. Oliver, "Analyticity of solutions for a generalized Euler equation" J. Diff. Eq. , 133 (1997) pp. 321–339 MR1427856 Zbl 0876.35090
[a21] M. Mascarello, L. Rodino, "Partial differential equations with multiple characteristics" , Math. Topics , 13 , Akad. (1997) MR1608649 Zbl 0888.35001
[a22] M. Miyake, M. Yoshino, "Fredholm property of partial differential opertors of irregular singular type" Ark. Mat. , 33 (1995) pp. 323–341
[a23] T. Matsuzawa, "Gevrey hypoellipticity for Grushin operators" Publ. Res. Inst. Math. Sci. , 33 (1997) pp. 775–799 MR1607020 Zbl 0912.35166
[a24] S. Mizohata, "On the Cauchy problem" , Acad. Press &Sci. Press Beijing (1985) MR0860041 Zbl 0616.35002
[a25] J.-P. Ramis, R. Schäfke, "Gevrey separation of fast and slow variables" Nonlinearity , 9 (1996) pp. 353–384 MR1384480 Zbl 0925.70161
[a26] J.-P. Ramis, "Séries divergentes et théorie asymptotiques" Bull. Sci. Math. France , 121 (1993) (Panoramas et Syntheses, suppl.) MR1272100
[a27] L. Rodino, "Linear partial differential operators in Gevrey spaces" , World Sci. (1993) MR1249275 Zbl 0869.35005
How to Cite This Entry:
Gevrey class. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Gevrey_class&oldid=55384
This article was adapted from an original article by T. Gramchev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article