Wave maps on R2: Difference between revisions
From DispersiveWiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
| equation = <math>(\phi^* \nabla)^\alpha \partial_\alpha \phi = 0</math> | | equation = <math>(\phi^* \nabla)^\alpha \partial_\alpha \phi = 0</math> | ||
| fields = <math>\phi: \R^{1+2} \to \mathfrak{g}</math> | | fields = <math>\phi: \R^{1+2} \to \mathfrak{g}</math> | ||
| data = <math>\phi[0] \in H^s | | data = <math>\phi[0] \in H^s \times H^{s-1}(\R^2 \to TM)</math> | ||
| hamiltonian = [[Hamiltonian]] | | hamiltonian = [[Hamiltonian]] | ||
| linear = [[free wave equation|wave]] | | linear = [[free wave equation|wave]] | ||
Line 46: | Line 46: | ||
** Numerical evidence for this blowup was obtained earlier in ([[IbLie-p]]). | ** Numerical evidence for this blowup was obtained earlier in ([[IbLie-p]]). | ||
** In the equivariant case, examples of blowup in <math>H^{1+\epsilon}</math> on domains <math>|x|^\alpha < t</math> can be constructed if one adds a forcing term on the right-hand side ([[GeIv-p]]). | ** In the equivariant case, examples of blowup in <math>H^{1+\epsilon}</math> on domains <math>|x|^\alpha < t</math> can be constructed if one adds a forcing term on the right-hand side ([[GeIv-p]]). | ||
In the case of negative curvature targets, a heat flow renormalization for large energy wave maps was proposed in [[Ta2004c]]. | |||
[[Category:Wave]] | [[Category:Wave]] | ||
[[Category:Equations]] | [[Category:Equations]] | ||
[[Category:Open problems]] | [[Category:Open problems]] |
Revision as of 21:48, 4 March 2007
Description | |
---|---|
Equation | |
Fields | |
Data class | |
Basic characteristics | |
Structure | Hamiltonian |
Nonlinearity | semilinear with derivatives |
Linear component | wave |
Critical regularity | |
Criticality | energy critical |
Covariance | Lorentzian, diffeomorphism of target |
Theoretical results | |
LWP | |
GWP | for small energy, radial, or equivariant data |
Related equations | |
Parent class | Wave maps |
Special cases | - |
Other related | Einstein equations |
The local theory for wave maps on is as follows.
- Scaling is s_c = 1 (energy-critical).
- LWP in H^1 (Tt-p2)
The global theory is as follows.
- GWP and regularity is known for small energy when the target manifold is boundedly parallelizable (Tt-p2)
- When the target manifold is H^2, regularity was obtained by Krieger (Kri-p)
- When the target manifold is a sphere, regularity was obtained in Ta2001d
- For small data GWP is in Tt2001b
- GWP and regularity for small H^1 data was known for corotational wave maps, and can be extended to large H^1 data when the target is geodesically convex (SaSw1993, Sw-p2); see also SaTv1992, Gl-p. In the later papers the result is obtained for quite general rotationally symmetric manifolds, such as non-compact manifolds, although one generically expects blow-up for certain manifolds such as the sphere (see e.g. Sw-p2, or the numerics in BizCjTb2001, IbLie-p). The question of large H^1 GWP and regularity is equivalent to the non-existence of non-constant harmonic maps on the target (Sw-p2). The corotational results have been extended to wave maps with torsion in AcIb2000.
- Regularity is also known for large smooth radial data (CdTv1993) assuming a convexity condition on the target manifold. This convexity condition was relaxed in Sw2002, and then removed completely in Sw2003. One also has a pointwise bound on the diameter of the range of the wave map in the radial case under similar conditions on the manifold (CdTv1993b).
- Global weak solutions are known for large energy data (MuSw1996, FrMuSw1998) but as far as is known these solutions might develop singularities or become "ghost" solutions.
- When the domain and target are S2, stationary-rotating solutions exist and are stable with respect to corotational perturbations (SaTv1997).
- BMO-type estimates on distance functions were obtained in Gl1998.
Global regularity problem
It is an important open problem whether one has regularity for all large smooth data, at least in the negative curvature case. A slightly harder problem would be to obtain GWP in the critical space H^1.
- When the target manifold is a sphere, large data blowup for equivariant data was established in RoStz-p.
In the case of negative curvature targets, a heat flow renormalization for large energy wave maps was proposed in Ta2004c.