Critical: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
 
(10 intermediate revisions by 2 users not shown)
Line 1: Line 1:
In the theory of nonlinear PDE, we use the terms '''sub-critical''', '''critical''', and '''super-critical''' to denote a significant transition in the behaviour of a particular equation with respect to a specified regularity class (or conserved quantity).  Typically, subcritical equations behave in an approximately linear manner, supercritical equation behave in a highly nonlinear manner, and critical equations are very finely balanced between the two.
In the theory of nonlinear PDE, we use the terms '''sub-critical''', '''critical''', and '''super-critical''' to denote a significant transition in the behaviour of a particular equation with respect to a specified regularity class (or conserved quantity).  Typically, subcritical equations behave in an approximately linear manner, supercritical equation behave in a highly nonlinear manner, and critical equations are very finely balanced between the two. A survey [[Ta2006a]] of recent advances in nonlinear wave equations based on ther '''criticality''' is available.


This distinction into sub-critical, critical, and super-critical behaviour can be made in several contexts:
This distinction into sub-critical, critical, and super-critical behaviour can be made in several contexts:
Line 9: Line 9:
* Occasionally one also discusses the sub-criticality, criticality, or super-criticality of regularities with respect to other symmetries than scaling, such as Galilean invariance or Lorentz invariance.
* Occasionally one also discusses the sub-criticality, criticality, or super-criticality of regularities with respect to other symmetries than scaling, such as Galilean invariance or Lorentz invariance.


* When analyzing the long-time asymptotics of nonlinear equations with data which is small and highly
* When analyzing the long-time asymptotics of nonlinear equations with data which is small and highly localized, one can distinguish equations into scattering-subcritical (short-range), scattering-critical (critical-range), and scattering-supercritical (long-range) classes; this measures the relative asymptotic strength of the nonlinear and linear components of the equation, and is generally unrelated to the distinction arising from scale invariance or other symmetries.  ''Example'': The [[NLS]] on <math>R^3</math> is scattering-subcritical for <math>p > 5/3</math>, scattering-critical for <math>p = 5/3</math>, and scattering-supercritical for <math>p < 5/3</math>.
localized, one can distinguish equations into scattering-subcritical (short-range), scattering-critical (critical-range), and scattering-supercritical (long-range) classes; this measures the relative asymptotic strength of the nonlinear and linear components of the equation, and is generally unrelated to the distinction arising from scale invariance or other symmetries.  ''Example'': The [[NLS]] on <math>R^3</math>
is scattering-subcritical for <math>p > 5/3</math>, scattering-critical for <math>p = 5/3</math>, and scattering-supercritical for <math>p < 5/3</math>.


* In focusing equations with a critical conserved quantity (e.g. mass), the behavior for small values of this quantity is often quite different from that at large values.  In many equations there is a critical value of this quantity, below which linear-type behavior is expected, and above which nonlinear behavior can occur.  (When one is exactly at the critical value, soliton-type behavior is very typical.)  ''Example'': in a [[mass critical NLS]], masses less than the mass <math>M(Q)</math> of the [[ground state]] are considered subcritical, masses greater than <math>M(Q)</math> are supercritical, and the mass <math>M(Q)</math> itself is critical.
* In focusing equations with a critical conserved quantity (e.g. mass), the behavior for small values of this quantity is often quite different from that at large values.  In many equations there is a critical value of this quantity, below which linear-type behavior is expected, and above which nonlinear behavior can occur.  (When one is exactly at the critical value, soliton-type behavior is very typical.)  ''Example'': in a [[mass critical NLS]], masses less than the mass <math>M(Q)</math> of the [[ground state]] are considered subcritical, masses greater than <math>M(Q)</math> are supercritical, and the mass <math>M(Q)</math> itself is critical.
Line 41: Line 39:
* If <math>\alpha > 0</math>, then the fine-scaled copy <math>u^{(\lambda)}</math> has a much smaller value of <math>Q</math> than the original solution <math>u</math>.  Hence, if we are keeping the value of <math>Q</math> fixed, then we expect a substantial amount of fine-scale behavior to occur, though conversely we do not expect much coarse-scale behavior.  In this case we say that the quantity <math>Q</math> is '''super-critical''' for this equation, or equivalently that the equation is '''super-critical''' with respect to this quantity.
* If <math>\alpha > 0</math>, then the fine-scaled copy <math>u^{(\lambda)}</math> has a much smaller value of <math>Q</math> than the original solution <math>u</math>.  Hence, if we are keeping the value of <math>Q</math> fixed, then we expect a substantial amount of fine-scale behavior to occur, though conversely we do not expect much coarse-scale behavior.  In this case we say that the quantity <math>Q</math> is '''super-critical''' for this equation, or equivalently that the equation is '''super-critical''' with respect to this quantity.


* If <math>\alpha = 0</math>, then <math>Q</math> is scale-invariant, and so for a fixed value of <math>Q</math> we expect the same behavior at all scales.  In this case we say that the quantity <math>Q</math> is '''critical''' for this equation, or equivalently that the equation is '''super-critical''' with respect to this quantity.
* If <math>\alpha = 0</math>, then <math>Q</math> is scale-invariant, and so for a fixed value of <math>Q</math> we expect the same behavior at all scales.  In this case we say that the quantity <math>Q</math> is '''critical''' for this equation, or equivalently that the equation is '''critical''' with respect to this quantity.
 
Typically, we expect the sub-critical classification at low dimensions, high regularities, and nonlinearities with low exponents or few derivatives, and conversely expect the super-critical classification at high dimensions, low regularities, and nonlinearities with high exponents or many derivatives.  There is typically only one value <math>s_c</math> for which the norm <math>\| u(0) \|_{\dot H^{s_c}_x(\R^d)}</math> is critical; this value is known as the ''critical regularity''.


The behavior of an equation at short and long time scales, and at given levels of regularity, is often controlled by the distinction into sub-critical, critical, and super-critical quantities via the [[scaling heuristic]].
The behavior of an equation at short and long time scales, and at given levels of regularity, is often controlled by the distinction into sub-critical, critical, and super-critical quantities via the [[scaling heuristic]].
Line 47: Line 47:
The division of quantities into sub-critical, critical, and super-critical behavior can also be  
The division of quantities into sub-critical, critical, and super-critical behavior can also be  
extended somewhat to inhomogeneous quantities (such as inhomogeneous Sobolev norms <math>H^s_x(\R^d)</math>), for instance by splitting such quantities into homogeneous components of differing degrees.  However, the fine-scale and coarse-scale behavior can then become distinct.  For instance, for
extended somewhat to inhomogeneous quantities (such as inhomogeneous Sobolev norms <math>H^s_x(\R^d)</math>), for instance by splitting such quantities into homogeneous components of differing degrees.  However, the fine-scale and coarse-scale behavior can then become distinct.  For instance, for
the [[cubic NLS on R3|cubic NLS on R^3]], the <math>H^1_x(\R^3)</math> norm is sub-critical at fine scales and super-critical at coarse scales, thus excluding both fine-scale and coarse-scale behaviour simultaneously.  A similar analysis allows one to extend these useful concepts to the case when the equation itself is inhomogeneous (as is for instance the case with the [[NLKG|nonlinear Klein-Gordon equation]]. See also [[high-frequency limit]] and [[low-frequency limit]].
the [[cubic NLS on R3|cubic NLS on R^3]], the <math>H^1_x(\R^3)</math> norm is sub-critical at fine scales and super-critical at coarse scales, thus excluding both fine-scale and coarse-scale behaviour simultaneously.  A similar analysis allows one to extend these useful concepts to the case when the equation itself is inhomogeneous (as is for instance the case with the [[NLKG|nonlinear Klein-Gordon equation]]). See also [[high-frequency limit]] and [[low-frequency limit]].


== Criticality with respect to other symmetries ==
== Criticality with respect to other symmetries ==


To be written...
It is sometimes profitable to generalize the trichotomy of sub-critical, critical, and super-critical quantities for an equation by replacing
the scaling symmetry with another non-compact symmetry, such as translation symmetry, Galilean symmetry, or Lorentz symmetry. Whereas the scaling symmetry
links fine-scale to coarse-scale behavior, the translation symmetry relates behavior near the origin to behavior away from the origin, while Galilean and Lorentz symmetries relate low-velocity (or low center frequency) behavior to high-velocity (or high center frequency) behavior. The classification becomes less rigorous, because most quantities do not transform cleanly under these other symmetries. Nevertheless, on a heuristic level at least one can classify at least some quantities and norms.  For instance:


* With respect to translation symmetry, translation-invariant quantities such as <math>\|u(0)\|_{H^s_x(\R^d)}</math> or <math>\|u\|_{L^q_t L^r_x(\R \times \R^d)}</math> are critical.  On the other hand, weighted norms such as <math>\|u(0)\|_{L^2_x(\langle x \rangle^s dx)}</math> are sub-critical for <math>s>0</math> and supercritical for <math>s<0</math>.
* With respect to Galilean symmetry, Lebesgue norm quantities such as <math>\| u(0) \|_{L^2_x(\R^d)}</math> or <math>\| u \|_{L^q_t L^r_x(\R \times \R^d)}</math> are critical.  On the other hand, Sobolev norm quantities such as <math>\| u(0) \|_{H^s_x(\R^d)}</math> are sub-critical for <math>s>0</math> and supercritical for <math>s < 0</math>.
* With respect to Lorentz symmetry for the [[free wave equation]], the quantity <math>\| u(0)\|_{\dot H^{1/2}_x(\R^d)}^2 + \| u_t(0) \|_{\dot H^{-1/2}_x(\R^d)}^2</math> is critical.  Regularities higher than this are then considered Lorentz-subcritical, while regularities lower than this are Lorentz-supercritical.
These classifications are useful in augmenting the [[scaling heuristic]] with considerations arising from other symmetries, and also in suggesting what types of norms and quantities would be relevant in any given problem (for instance, with a problem which is critical with respect to Galilean symmetry, one would expect to rely primarily on norms and quantities which are similarly critical).


== Criticality with respect to scattering ==
== Criticality with respect to scattering ==


To be written...
A nonlinear equation can often be written as a linear equation with a time-dependent potential <math>V</math>, which in turn depends nonlinearly on the solution. For instance, the [[NLS]] can be written as <math>i \partial_t u + \Delta u = Vu</math>, where <math>V = \pm |u|^{p-1}</math>.
 
In scattering theory one is often interested in the asymptotic behavior of a solution starting from small localized data.  Simple heuristics stemming from [[Gronwall's inequality]] suggest that the time-dependent potential <math>V</math> will have an asymptotically negligible impact on the evolution if its supremum norm <math>\|V(t)\|_{L^\infty_x(\R^d)}</math> is absolutely integrable in time.  On the other hand, the [[dispersive inequality]] suggests that the linear solution decays in supremum norm at a certain rate, which in the case of Schrodinger-type equations is <math>\langle t \rangle^{-d/2}</math>.  Assuming that the nonlinear solution also decays at this rate, one arrives at a heuristic as to when the linear behavior is expected to dominate (the '''short-range''' or '''scattering-subcritical''' regime), when the nonlinear behavior is expected to dominate (the '''long-range''' or '''scattering-supercritical''' regime), or when the two are finely balanced (the '''critical-range''' or '''scattering-critical''' regime).  In the case of the NLS, these three regimes occur when <math>p > 1 + \frac{2}{d}</math>, <math>p = 1 + \frac{2}{d}</math>, and <math>p < 1 + \frac{2}{d}</math> respectively.
 
Note that in contrast to the scaling-critical concept, it is generally the high powers which are scattering-subcritical rather than the low powers. Informally, this is because high power nonlinearities are weaker than low power nonlinearities when the solution is small and decaying.


== Critical values of mass and energy ==
== Critical values of mass and energy ==


To be written...
For equations are mass-critical (resp. energy-critical), such as the [[mass critical NLS]], perturbation theory alone can often give global existence, regularity, and linear-type control when the mass (resp. energy) is sufficiently small.  On the other hand, the existence of [[soliton]] solutions or blowup solutions at high mass (resp. energy) in focusing settings indicates that nonlinear behavior can occur when the mass (resp. energy) is sufficiently large.  This indicates that there must be a '''critical''' value of mass (or energy), below which linear behavior always occurs, and above which nonlinear behavior can sometimes occur.  Determining the exact critical value is often an important challenge; in many cases it is suspected that this value is equal to the mass (or energy) of the [[ground state]].
 
There has been substantial progress recently on defocusing energy critical equations. An [[induction on energy]] strategy for attacking these problems appeared in [[Bo1999b]] in <math>\mathbb{R}^3</math>. The radial symmetry assumption used in [[Bo1998b]] was removed using a new [[Morawetz inequality]] in [[CoKeStTkTa-p]]. Extensions to the case of general data in higher dimensions and to cases involving lower order subcritical terms have been carried out (and need to be properly surveyed here).
 
An optimal size condition for the focusing quintic energy critical nonlinear Schrodinger equation in <math>\mathbb{R}^3</math> with radial data has been identified in [[KnMe2006a]]. Beneath the threshold, scattering holds. Above the threshold, there exist finite time blowup solutions.
 
For energy supercritical problems, very little is known. A first positive result in [[Ta2006b]] establishes global regularity for a logarithmically supercritical nonlinear wave equation.


[[Category:Concept]]
[[Category:Concept]]

Latest revision as of 04:02, 5 October 2006

In the theory of nonlinear PDE, we use the terms sub-critical, critical, and super-critical to denote a significant transition in the behaviour of a particular equation with respect to a specified regularity class (or conserved quantity). Typically, subcritical equations behave in an approximately linear manner, supercritical equation behave in a highly nonlinear manner, and critical equations are very finely balanced between the two. A survey Ta2006a of recent advances in nonlinear wave equations based on ther criticality is available.

This distinction into sub-critical, critical, and super-critical behaviour can be made in several contexts:

  • Given a fixed equation with a scale invariance (or approximate scale invariance), one can classify various quantities (such as homogeneous Sobolev norms , or various conserved quantities) as sub-critical, critical, or super-critical with respect to this scaling invariance. Example: In the cubic NLS on R^3, the energy or norm is sub-critical, the momentum or norm is critical, and the mass or norm is super-critical.
  • Conversely, given a fixed regularity class or conserved quantity, one can classify an equation as sub-critical, critical, or super-critical with respect to that class or quantity. Example: the NLW and NLS on is energy-subcritical for , energy-critical for , and energy-supercritical for .
  • Occasionally one also discusses the sub-criticality, criticality, or super-criticality of regularities with respect to other symmetries than scaling, such as Galilean invariance or Lorentz invariance.
  • When analyzing the long-time asymptotics of nonlinear equations with data which is small and highly localized, one can distinguish equations into scattering-subcritical (short-range), scattering-critical (critical-range), and scattering-supercritical (long-range) classes; this measures the relative asymptotic strength of the nonlinear and linear components of the equation, and is generally unrelated to the distinction arising from scale invariance or other symmetries. Example: The NLS on is scattering-subcritical for , scattering-critical for , and scattering-supercritical for .
  • In focusing equations with a critical conserved quantity (e.g. mass), the behavior for small values of this quantity is often quite different from that at large values. In many equations there is a critical value of this quantity, below which linear-type behavior is expected, and above which nonlinear behavior can occur. (When one is exactly at the critical value, soliton-type behavior is very typical.) Example: in a mass critical NLS, masses less than the mass of the ground state are considered subcritical, masses greater than are supercritical, and the mass itself is critical.

Criticality with respect to scaling

A large number of equations studied here enjoy a scale invariance, which typically takes a form such as

where the scaling parameter is arbitrary, and are constants (with positive) which depend on the various parameters of the equation (the linear and nonlinear components of the equation, and the ambient dimension). Thus any given solution $u$ has fine-scale counterparts with , as well as coarse-scale counterparts with . Typically, the fine-scale counterparts are rapidly oscillating, highly concentrated, and can exhibit nonlinear behaviour in short amounts of time, whereas the coarse-scale counterparts are very smooth, spread out over large regions of space and time, and behave linearly for long periods of time.

Many quantities associated to a solution, such as a spatial norm (e.g. ), a spacetime norm (e.g. ), or a conserved quantity (e.g. could be mass, momentum, or energy) transform in a simple manner under the above scale invariance. Indeed, if is homogeneous, then we obtain a relationship of the form

for some constant which depends on the scaling symmetry and on the degree of homogeneity of ; from a dimensional analysis perspective, measures the dimension of in terms of the unit of length (which is represented here by ). For instance, for the NLS, the mass

interacts with the scaling invariance via the formula

so in this case . The sign of is then used to classify the quantity :

  • If , then the fine-scaled copy has a much larger value of than the original solution . Hence, if we are keeping the value of fixed, then we do not expect fine-scale behavior to occur, while conversely we expect plenty of coarse-scale behavior. In this case we say that the quantity is sub-critical for this equation, or equivalently that the equation is sub-critical with respect to this quantity.
  • If , then the fine-scaled copy has a much smaller value of than the original solution . Hence, if we are keeping the value of fixed, then we expect a substantial amount of fine-scale behavior to occur, though conversely we do not expect much coarse-scale behavior. In this case we say that the quantity is super-critical for this equation, or equivalently that the equation is super-critical with respect to this quantity.
  • If , then is scale-invariant, and so for a fixed value of we expect the same behavior at all scales. In this case we say that the quantity is critical for this equation, or equivalently that the equation is critical with respect to this quantity.

Typically, we expect the sub-critical classification at low dimensions, high regularities, and nonlinearities with low exponents or few derivatives, and conversely expect the super-critical classification at high dimensions, low regularities, and nonlinearities with high exponents or many derivatives. There is typically only one value for which the norm is critical; this value is known as the critical regularity.

The behavior of an equation at short and long time scales, and at given levels of regularity, is often controlled by the distinction into sub-critical, critical, and super-critical quantities via the scaling heuristic.

The division of quantities into sub-critical, critical, and super-critical behavior can also be extended somewhat to inhomogeneous quantities (such as inhomogeneous Sobolev norms ), for instance by splitting such quantities into homogeneous components of differing degrees. However, the fine-scale and coarse-scale behavior can then become distinct. For instance, for the cubic NLS on R^3, the norm is sub-critical at fine scales and super-critical at coarse scales, thus excluding both fine-scale and coarse-scale behaviour simultaneously. A similar analysis allows one to extend these useful concepts to the case when the equation itself is inhomogeneous (as is for instance the case with the nonlinear Klein-Gordon equation). See also high-frequency limit and low-frequency limit.

Criticality with respect to other symmetries

It is sometimes profitable to generalize the trichotomy of sub-critical, critical, and super-critical quantities for an equation by replacing the scaling symmetry with another non-compact symmetry, such as translation symmetry, Galilean symmetry, or Lorentz symmetry. Whereas the scaling symmetry links fine-scale to coarse-scale behavior, the translation symmetry relates behavior near the origin to behavior away from the origin, while Galilean and Lorentz symmetries relate low-velocity (or low center frequency) behavior to high-velocity (or high center frequency) behavior. The classification becomes less rigorous, because most quantities do not transform cleanly under these other symmetries. Nevertheless, on a heuristic level at least one can classify at least some quantities and norms. For instance:

  • With respect to translation symmetry, translation-invariant quantities such as or are critical. On the other hand, weighted norms such as are sub-critical for and supercritical for .
  • With respect to Galilean symmetry, Lebesgue norm quantities such as or are critical. On the other hand, Sobolev norm quantities such as are sub-critical for and supercritical for .
  • With respect to Lorentz symmetry for the free wave equation, the quantity is critical. Regularities higher than this are then considered Lorentz-subcritical, while regularities lower than this are Lorentz-supercritical.

These classifications are useful in augmenting the scaling heuristic with considerations arising from other symmetries, and also in suggesting what types of norms and quantities would be relevant in any given problem (for instance, with a problem which is critical with respect to Galilean symmetry, one would expect to rely primarily on norms and quantities which are similarly critical).

Criticality with respect to scattering

A nonlinear equation can often be written as a linear equation with a time-dependent potential , which in turn depends nonlinearly on the solution. For instance, the NLS can be written as , where .

In scattering theory one is often interested in the asymptotic behavior of a solution starting from small localized data. Simple heuristics stemming from Gronwall's inequality suggest that the time-dependent potential will have an asymptotically negligible impact on the evolution if its supremum norm is absolutely integrable in time. On the other hand, the dispersive inequality suggests that the linear solution decays in supremum norm at a certain rate, which in the case of Schrodinger-type equations is . Assuming that the nonlinear solution also decays at this rate, one arrives at a heuristic as to when the linear behavior is expected to dominate (the short-range or scattering-subcritical regime), when the nonlinear behavior is expected to dominate (the long-range or scattering-supercritical regime), or when the two are finely balanced (the critical-range or scattering-critical regime). In the case of the NLS, these three regimes occur when , , and respectively.

Note that in contrast to the scaling-critical concept, it is generally the high powers which are scattering-subcritical rather than the low powers. Informally, this is because high power nonlinearities are weaker than low power nonlinearities when the solution is small and decaying.

Critical values of mass and energy

For equations are mass-critical (resp. energy-critical), such as the mass critical NLS, perturbation theory alone can often give global existence, regularity, and linear-type control when the mass (resp. energy) is sufficiently small. On the other hand, the existence of soliton solutions or blowup solutions at high mass (resp. energy) in focusing settings indicates that nonlinear behavior can occur when the mass (resp. energy) is sufficiently large. This indicates that there must be a critical value of mass (or energy), below which linear behavior always occurs, and above which nonlinear behavior can sometimes occur. Determining the exact critical value is often an important challenge; in many cases it is suspected that this value is equal to the mass (or energy) of the ground state.

There has been substantial progress recently on defocusing energy critical equations. An induction on energy strategy for attacking these problems appeared in Bo1999b in . The radial symmetry assumption used in Bo1998b was removed using a new Morawetz inequality in CoKeStTkTa-p. Extensions to the case of general data in higher dimensions and to cases involving lower order subcritical terms have been carried out (and need to be properly surveyed here).

An optimal size condition for the focusing quintic energy critical nonlinear Schrodinger equation in with radial data has been identified in KnMe2006a. Beneath the threshold, scattering holds. Above the threshold, there exist finite time blowup solutions.

For energy supercritical problems, very little is known. A first positive result in Ta2006b establishes global regularity for a logarithmically supercritical nonlinear wave equation.