Wave maps: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
(biblio and other cleanup)
Line 1: Line 1:
===Wave maps===
'''Wave maps''' are maps <math>\phi</math> from R^{d+1} to a Riemannian manifold M which are critical points of the Lagrangian
 
Wave maps are maps from R^{d+1} to a Riemannian manifold M which are critical points of the Lagrangian


<center><math>\int  \phi_\alpha \cdot \phi^\alpha  dx dt.</math></center>
<center><math>\int  \phi_\alpha \cdot \phi^\alpha  dx dt.</math></center>


When M is flat, wave maps just obey the wave equation (if viewed in flat co-ordinates). More generally, they obey the equation
When M is flat, wave maps just obey the [[free wave equation]] (if viewed in flat co-ordinates). More generally, they obey the equation


<center><math>\Box  \phi  =  G ( \phi ) Q_0( \phi ,  \phi )</math></center>
<center><math>\Box  \phi  =  G ( \phi ) Q_0( \phi ,  \phi )</math></center>
Line 15: Line 13:
where  <math>\phi</math>  is viewed in Cartesian co-ordinates (and must therefore obey <math>| \phi |=1</math> at all positions and times in order to stay on the sphere). The sphere case has special algebraic structure (beyond that of other symmetric spaces) while also staying compact, and so the sphere is usually considered the easiest case to study. Some additional simplifications arise if the target is a Riemann surface (because the connection group becomes U(1), which is abelian); thus S</nowiki><sup>2</sup> is a particularly simple case.
where  <math>\phi</math>  is viewed in Cartesian co-ordinates (and must therefore obey <math>| \phi |=1</math> at all positions and times in order to stay on the sphere). The sphere case has special algebraic structure (beyond that of other symmetric spaces) while also staying compact, and so the sphere is usually considered the easiest case to study. Some additional simplifications arise if the target is a Riemann surface (because the connection group becomes U(1), which is abelian); thus S</nowiki><sup>2</sup> is a particularly simple case.


This equation is highly geometrical, and can be rewritten in many different ways. It is also related to the Einstein equations (if one assumes various symmetry assumptions on the metric; see e.g. [[BgCcMc1995]]).
This equation is highly geometrical, and can be rewritten in many different ways. It is also related to the [[Einstein equations]] (if one assumes various symmetry assumptions on the metric); see e.g. [[BgCcMc1995]]).


The critical regularity is s_c = d/2. Thus the two-dimensional case is especially interesting, as the equation is then energy-critical. The sub-critical theory s > d/2 is fairly well understood, but the s_c = d/2 theory is quite delicate. A big problem is that H^{d/2} does not control L^\infty, so one cannot localize to a small co-ordinate patch (or perform algebraic operations properly).
The critical regularity is s_c = d/2. Thus the two-dimensional case is especially interesting, as the equation is then energy-critical. The sub-critical theory s > d/2 is fairly well understood, but the s_c = d/2 theory is quite delicate. A big problem is that H^{d/2} does not control L^\infty, so one cannot localize to a small co-ordinate patch (or perform algebraic operations properly).
Line 23: Line 21:
The general LWP/GWP theory (except for the special [[wave maps on R|one-dimensional]] and [[wave maps on R2|two-dimensional]] cases) is as follows.
The general LWP/GWP theory (except for the special [[wave maps on R|one-dimensional]] and [[wave maps on R2|two-dimensional]] cases) is as follows.


* For d\geq2 one has LWP in H^{n/2}, and GWP and regularity for small data, if the manifold can be isometrically embedded in Euclidean space [Tt-p2]
* For d\geq2 one has LWP in H^{n/2}, and GWP and regularity for small data, if the manifold can be isometrically embedded in Euclidean space [[Tt-p2]]
** Earlier global regularity results in H^{n/2} are as follows.
** Earlier global regularity results in H^{n/2} are as follows.
*** For a sphere in d\geq5, see [Ta-p5]; for a sphere in d \geq 2, see [Ta-p6]..
*** For a sphere in d\geq5, see [[Ta-p5]]; for a sphere in d \geq 2, see [[Ta-p6]].
*** The d \geq 5 has been generalized to arbitrary manifolds which are boundedly parallelizable [KlRo-p].
*** The d \geq 5 has been generalized to arbitrary manifolds which are boundedly parallelizable [[KlRo-p]].
*** This has been extended to d=4 by [[Bibliography#SaSw2001|SaSw2001]] and [[Bibliography#NdStvUh2003b|NdStvUh2003b]]. In the constant curvature case one also has global well-posedness for small data in H^{n/2} [[Bibliography#NdStvUh2003b|NdStvUh2003b]]. This can be extended to manifolds with bounded second fundamental form [[Bibliography#SaSw2001|SaSw2001]].
*** This has been extended to d=4 by [[SaSw2001]] and [[NdStvUh2003b]]. In the constant curvature case one also has global well-posedness for small data in H^{n/2} [[NdStvUh2003b]]. This can be extended to manifolds with bounded second fundamental form [[SaSw2001]].
*** This has been extended to d=3 when the target is a Riemann surface [[Bibliography#Kri2003|Kri2003]], and to d=2 for hyperbolic space [Kri-p]
*** This has been extended to d=3 when the target is a Riemann surface [[Kri2003]], and to d=2 for hyperbolic space [[Kri-p]]
** For the critical Besov space B^{d/2,1}_2 this is in [[Bibliography#Tt1998|Tt1998]] when d \geq 4 and [[Bibliography#Tt2001b|Tt2001b]] when d\geq2. (See also [[Bibliography#Na1999|Na1999]] in the case when the wave map lies on a geodesic). For small data one also has GWP and scattering.
** For the critical Besov space B^{d/2,1}_2 this is in [[Tt1998]] when d \geq 4 and [[Tt2001b]] when d\geq2. (See also [[Na1999]] in the case when the wave map lies on a geodesic). For small data one also has GWP and scattering.
** In the sub-critical spaces H^s, s > d/2 this was shown in [[Bibliography#KlMa1995b|KlMa1995b]] for the d\geq4 case and in [[Bibliography#KlSb1997|KlSb1997]] for d\geq2.
** In the sub-critical spaces H^s, s > d/2 this was shown in [[KlMa1995b]] for the d\geq4 case and in [[KlSb1997]] for d\geq2.
*** For the model wave map equation this was shown for d\geq3 in [[Bibliography#KlMa1997b|KlMa1997b]].
*** For the model wave map equation this was shown for d\geq3 in [[KlMa1997b]].
** If one replaces the critical Besov space by H^{n/2} then one has failure of analytic or C^2 local well-posedness for d\geq3 [DanGe-p], and one has failure of continuous local well-posedness for d=1 [[Bibliography#Na1999|Na1999]], [[Bibliography#Ta2000|Ta2000]]
** If one replaces the critical Besov space by H^{n/2} then one has failure of analytic or C^2 local well-posedness for d\geq3 [DanGe-p], and one has failure of continuous local well-posedness for d=1 [[Na1999]], [[Ta2000]]
** GWP is also known for smooth data close to a geodesic [[Bibliography#Si1989|Si1989]]. For smooth data close to a point this was in [[Bibliography#Cq1987|Cq1987]].
** GWP is also known for smooth data close to a geodesic [[Si1989]]. For smooth data close to a point this was in [[Cq1987]].
* For d \geq 3 singularities can form from large data, even when the data is smooth and rotationally symmetric [[Bibliography#CaSaTv1998|CaSaTv1998]]
* For d \geq 3 singularities can form from large data, even when the data is smooth and rotationally symmetric [[CaSaTv1998]]
** For d=3 this was proven in [[Bibliography#Sa1988|Sa1988]]
** For d=3 this was proven in [[Sa1988]]
** For d\geq7 one can have singularities even when the target has negative curvature [[Bibliography#CaSaTv1998|CaSaTv1998]]
** For d\geq7 one can have singularities even when the target has negative curvature [[CaSaTv1998]]
** For d=3, numerics suggest that there is a transition between global existence for small data and blowup for large data, with the self-similar blowup solution being an intermediate attractor [[Lie-p]]
** For d=3, numerics suggest that there is a transition between global existence for small data and blowup for large data, with the self-similar blowup solution being an intermediate attractor [[Lie-p]]


For further references see [[Bibliography#Sw1997|Sw1997]], [[Bibliography#SaSw1998|SaSw1998]], [[KlSb-p]].
=== Special cases ===
 
* [[wave maps on R|one-dimensional wave maps]]
* [[wave maps on R2|one-dimensional wave maps]]
 
=== Further reading ===
 
Surveys of wave maps can be found in [[Sw1997]], [[SaSw1998]], [[KlSb-p]].


[[Category:Equations]]
[[Category:Equations]]

Revision as of 04:26, 2 August 2006

Wave maps are maps from R^{d+1} to a Riemannian manifold M which are critical points of the Lagrangian

When M is flat, wave maps just obey the free wave equation (if viewed in flat co-ordinates). More generally, they obey the equation

where is the second fundamental form and Q_0 is the standard null form. When the target manifold is a unit sphere, this simplifies to

where is viewed in Cartesian co-ordinates (and must therefore obey at all positions and times in order to stay on the sphere). The sphere case has special algebraic structure (beyond that of other symmetric spaces) while also staying compact, and so the sphere is usually considered the easiest case to study. Some additional simplifications arise if the target is a Riemann surface (because the connection group becomes U(1), which is abelian); thus S</nowiki>2 is a particularly simple case.

This equation is highly geometrical, and can be rewritten in many different ways. It is also related to the Einstein equations (if one assumes various symmetry assumptions on the metric); see e.g. BgCcMc1995).

The critical regularity is s_c = d/2. Thus the two-dimensional case is especially interesting, as the equation is then energy-critical. The sub-critical theory s > d/2 is fairly well understood, but the s_c = d/2 theory is quite delicate. A big problem is that H^{d/2} does not control L^\infty, so one cannot localize to a small co-ordinate patch (or perform algebraic operations properly).

The positive and negative curvature cases are suspected to behave differently, especially at the critical regularity. Intuitively, the negative curvature space spreads the solution out more, thus giving a better chance for LWP and GWP.More recently, distinctions have arisen between the boundedly parallelizable case (where the exists an orthonormal frame whose structure constants and derivatives are bounded), and the isometrically embeddable case.For instance, hyperbolic space is in the former category but not in the latter; smooth compact manifolds such as the sphere are in both.

The general LWP/GWP theory (except for the special one-dimensional and two-dimensional cases) is as follows.

  • For d\geq2 one has LWP in H^{n/2}, and GWP and regularity for small data, if the manifold can be isometrically embedded in Euclidean space Tt-p2
    • Earlier global regularity results in H^{n/2} are as follows.
      • For a sphere in d\geq5, see Ta-p5; for a sphere in d \geq 2, see Ta-p6.
      • The d \geq 5 has been generalized to arbitrary manifolds which are boundedly parallelizable KlRo-p.
      • This has been extended to d=4 by SaSw2001 and NdStvUh2003b. In the constant curvature case one also has global well-posedness for small data in H^{n/2} NdStvUh2003b. This can be extended to manifolds with bounded second fundamental form SaSw2001.
      • This has been extended to d=3 when the target is a Riemann surface Kri2003, and to d=2 for hyperbolic space Kri-p
    • For the critical Besov space B^{d/2,1}_2 this is in Tt1998 when d \geq 4 and Tt2001b when d\geq2. (See also Na1999 in the case when the wave map lies on a geodesic). For small data one also has GWP and scattering.
    • In the sub-critical spaces H^s, s > d/2 this was shown in KlMa1995b for the d\geq4 case and in KlSb1997 for d\geq2.
      • For the model wave map equation this was shown for d\geq3 in KlMa1997b.
    • If one replaces the critical Besov space by H^{n/2} then one has failure of analytic or C^2 local well-posedness for d\geq3 [DanGe-p], and one has failure of continuous local well-posedness for d=1 Na1999, Ta2000
    • GWP is also known for smooth data close to a geodesic Si1989. For smooth data close to a point this was in Cq1987.
  • For d \geq 3 singularities can form from large data, even when the data is smooth and rotationally symmetric CaSaTv1998
    • For d=3 this was proven in Sa1988
    • For d\geq7 one can have singularities even when the target has negative curvature CaSaTv1998
    • For d=3, numerics suggest that there is a transition between global existence for small data and blowup for large data, with the self-similar blowup solution being an intermediate attractor Lie-p

Special cases

Further reading

Surveys of wave maps can be found in Sw1997, SaSw1998, KlSb-p.