Difference between revisions of "Wave equations"

From DispersiveWiki
Jump to navigationJump to search
(Clean up references: apply the regular expression "references:\([a-zA-Z]+[0-9]+[a-z]?\) \1" goes to "Bibliography#\1|\1")
Line 69: Line 69:
 
<center><math>\| u \|_{X^{s,b}} = \| <\xi>^s <|\xi| - |\tau|>^b \hat{u} ( \tau, \xi )\|_2 </math></center>
 
<center><math>\| u \|_{X^{s,b}} = \| <\xi>^s <|\xi| - |\tau|>^b \hat{u} ( \tau, \xi )\|_2 </math></center>
  
Linear space-time estimates are known as [#linear Strichartz estimates]. They are especially useful for the [#semilinear semilinear NLW without derivatives], and also have applications to other non-linearities, although the results obtained are often non-optimal (Strichartz estimates do not exploit any null structure of the equation). The <math>X^{s,b}_{}</math> spaces are used primarily for [#bilinear bilinear estimates], although more recently [#multilinear multilinear estimates have begun to appear]. These spaces first appear in one-dimension in [[references:RaRe1982 RaRe1982]] and in higher dimensions in [[references:Be1983 Be1983]] in the context of propagation of singularities; they were used implicitly for LWP in [[references:KlMa1993 KlMa1993]], while the Schrodinger and KdV analogues were developed in [[references:Bo1993 Bo1993]], [[references:Bo1993b Bo1993b]].
+
Linear space-time estimates are known as [#linear Strichartz estimates]. They are especially useful for the [#semilinear semilinear NLW without derivatives], and also have applications to other non-linearities, although the results obtained are often non-optimal (Strichartz estimates do not exploit any null structure of the equation). The <math>X^{s,b}_{}</math> spaces are used primarily for [#bilinear bilinear estimates], although more recently [#multilinear multilinear estimates have begun to appear]. These spaces first appear in one-dimension in [[Bibliography#RaRe1982|RaRe1982]] and in higher dimensions in [[Bibliography#Be1983|Be1983]] in the context of propagation of singularities; they were used implicitly for LWP in [[Bibliography#KlMa1993|KlMa1993]], while the Schrodinger and KdV analogues were developed in [[Bibliography#Bo1993|Bo1993]], [[Bibliography#Bo1993b|Bo1993b]].
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 77: Line 77:
 
<center>'''Linear estimates'''</center>
 
<center>'''Linear estimates'''</center>
  
[Thanks to Chengbo Wang for some corrections Ed.]
+
[Thanks to Chengbo Wang for some corrections \u2013 Ed.]
  
 
* Fixed-time estimates for free solutions  f <nowiki>:</nowiki>
 
* Fixed-time estimates for free solutions  f <nowiki>:</nowiki>
 
** (Energy estimate) If  <math>f (0)</math> is in <math>H^s</math>, then  <math>f (t)</math> is also.
 
** (Energy estimate) If  <math>f (0)</math> is in <math>H^s</math>, then  <math>f (t)</math> is also.
 
** (Decay estimate) If  <math>f (0)</math> has more than <math>(d+1)/2</math> derivatives in <math>L^1</math>, then <math>\| f (t)\|_{L^\infty}</math>  decays like <math><t>^{-(d-1)/2}</math>. One can obtain the endpoint of <math>(d+1)/2</math> derivatives if one is willing to localize in frequency or use Hardy spaces and BMO.
 
** (Decay estimate) If  <math>f (0)</math> has more than <math>(d+1)/2</math> derivatives in <math>L^1</math>, then <math>\| f (t)\|_{L^\infty}</math>  decays like <math><t>^{-(d-1)/2}</math>. One can obtain the endpoint of <math>(d+1)/2</math> derivatives if one is willing to localize in frequency or use Hardy spaces and BMO.
** One can interpolate between these estimates to get <math>(L^p, L^{p'})</math> estimates with the sharp loss of regularity [[references:Br1975 Br1975]]. This is useful for Strichartz estimates and for scattering theory.
+
** One can interpolate between these estimates to get <math>(L^p, L^{p'})</math> estimates with the sharp loss of regularity [[Bibliography#Br1975|Br1975]]. This is useful for Strichartz estimates and for scattering theory.
 
* Strichartz estimates: A free <math>\dot{H}^s</math> solution is in <math>L^q_t L^r_x</math> if
 
* Strichartz estimates: A free <math>\dot{H}^s</math> solution is in <math>L^q_t L^r_x</math> if
 
** (Scaling) <math>d/2 - s = 1/q + d/r</math>
 
** (Scaling) <math>d/2 - s = 1/q + d/r</math>
Line 88: Line 88:
 
** (Increase of integrability) <math>q, r \geq 2</math>
 
** (Increase of integrability) <math>q, r \geq 2</math>
 
** (No double endpoints) <math>(n,q,r) \neq (3, 2, \infty)</math>
 
** (No double endpoints) <math>(n,q,r) \neq (3, 2, \infty)</math>
*** This estimate can be recovered for radial functions [[references:KlMa1993 KlMa1993]], or when a small amount of smoothing (either in the Sobolev sense, or in relaxing the integrability) in the radial variable [MacNkrNaOz-p].However in the general case one cannot recover the estimate even if one uses the BMO norm or attempts Littlewood-Paley frequency localization [[references:Mo1998 Mo1998]]
+
*** This estimate can be recovered for radial functions [[Bibliography#KlMa1993|KlMa1993]], or when a small amount of smoothing (either in the Sobolev sense, or in relaxing the integrability) in the radial variable [MacNkrNaOz-p].However in the general case one cannot recover the estimate even if one uses the BMO norm or attempts Littlewood-Paley frequency localization [[Bibliography#Mo1998|Mo1998]]
*** Actually even when <math>n > 3</math>, the <math>(q,r) = (2,infty)</math> estimate is slightly subtle; one has BMO and Besov space estimates but not directly <math>L^\infty</math> estimates. However, the endpoint <math>(q,r) = (2, 2(d-1)/(d-3))</math> is OK; see [[references:KeTa1998 KeTa1998]].
+
*** Actually even when <math>n > 3</math>, the <math>(q,r) = (2,infty)</math> estimate is slightly subtle; one has BMO and Besov space estimates but not directly <math>L^\infty</math> estimates. However, the endpoint <math>(q,r) = (2, 2(d-1)/(d-3))</math> is OK; see [[Bibliography#KeTa1998|KeTa1998]].
 
** In the case <math>s=1/2, d=3, q=r=4</math>, a maximizer exists (e.g. with initial position zero and initial velocity given by the Cauchy distribution <math>1 / 1 + |x|^2)</math>, witih best constant <math>(3pi/4)^{1/4}</math> [Fc-p4]
 
** In the case <math>s=1/2, d=3, q=r=4</math>, a maximizer exists (e.g. with initial position zero and initial velocity given by the Cauchy distribution <math>1 / 1 + |x|^2)</math>, witih best constant <math>(3pi/4)^{1/4}</math> [Fc-p4]
** These results extend globally outside of a convex obstacle [Bu-p], [[references:SmhSo1995 SmhSo1995]], [SmhSo-p], [Met-p]; see [So-p] for a survey of this issue and applications to nonlinear wave equations outside of an obstacle.
+
** These results extend globally outside of a convex obstacle [Bu-p], [[Bibliography#SmhSo1995|SmhSo1995]], [SmhSo-p], [Met-p]; see [So-p] for a survey of this issue and applications to nonlinear wave equations outside of an obstacle.
 
** For data which is radial (or otherwise enjoys additional angular regularity) a much larger range of Strichartz estimates is possible (basically because the parallel interaction obstruction is substantially weakened); see [Stz-p4] for further discussion.
 
** For data which is radial (or otherwise enjoys additional angular regularity) a much larger range of Strichartz estimates is possible (basically because the parallel interaction obstruction is substantially weakened); see [Stz-p4] for further discussion.
  
These estimates extend to some extent to the Klein-Gordon equation <math>Box u = m^2 u</math>.A useful heuristic to keep in mind is that this equation behaves like the Schrodinger equation <math>u+ i u_t + 1/(2m) \Delta u = 0</math> when the frequency  <math>\xi</math>  has magnitude less than <math>m</math>, but behaves like the wave equation for higher frequencies.Some basic Strichartz estimates here are in [[references:MsSrWa1980 MsSrWa1980]]; see for instance [Na-p], [MacNaOz-p], [MacNkrNaOz-p] for more recent treatments.
+
These estimates extend to some extent to the Klein-Gordon equation <math>Box u = m^2 u</math>.A useful heuristic to keep in mind is that this equation behaves like the Schrodinger equation <math>u+ i u_t + 1/(2m) \Delta u = 0</math> when the frequency  <math>\xi</math>  has magnitude less than <math>m</math>, but behaves like the wave equation for higher frequencies.Some basic Strichartz estimates here are in [[Bibliography#MsSrWa1980|MsSrWa1980]]; see for instance [Na-p], [MacNaOz-p], [MacNkrNaOz-p] for more recent treatments.
  
 
For inhomogeneous estimates it is known that a solution with zero initial data and forcing term containing s-1 derivatives in a dual
 
For inhomogeneous estimates it is known that a solution with zero initial data and forcing term containing s-1 derivatives in a dual
 
space <math>{L^{Q'}_t} {L^{R'}_x}</math> will lie in <math>L^q_t L^r_x</math> if both <math>(q,r)</math> and <math>(Q,R)</math> are admissible in the above sense, if <math>s \geq 0</math>, and if one has the scaling condition
 
space <math>{L^{Q'}_t} {L^{R'}_x}</math> will lie in <math>L^q_t L^r_x</math> if both <math>(q,r)</math> and <math>(Q,R)</math> are admissible in the above sense, if <math>s \geq 0</math>, and if one has the scaling condition
  
<math>1/Q + d/R + 1/q + d/r = d + s + 1</math>.The “s-1” represents a smoothing effect of one derivative, though this full gain is only attainable if one uses
+
<math>1/Q + d/R + 1/q + d/r = d + s + 1</math>.The \u201cs-1\u201d represents a smoothing effect of one derivative, though this full gain is only attainable if one uses
 
the energy exponents <math>L^1_t L^2_x</math> and <math>{L^{\infty}_t} {L^2_x}</math>. It is possible to obtain inhomogeneous estimates in which only one of the exponents
 
the energy exponents <math>L^1_t L^2_x</math> and <math>{L^{\infty}_t} {L^2_x}</math>. It is possible to obtain inhomogeneous estimates in which only one of the exponents
are admissible; this phenomenon was first observed in [[references:Har1990 Har1990]], [[references:Ob1989 Ob1989]] (see also [[references:KeTa1998 KeTa1998]]).More recently in [Fc-p2], inhomogeneous
+
are admissible; this phenomenon was first observed in [[Bibliography#Har1990|Har1990]], [[Bibliography#Ob1989|Ob1989]] (see also [[Bibliography#KeTa1998|KeTa1998]]).More recently in [Fc-p2], inhomogeneous
 
estimates are obtained with the above scaling condition assuming the weaker conditions <math>1 \leq q,r \leq \infty</math> and <math>1/q < (n-1)(1/2-1/r)</math> or <math>(q,r) = (infty,2)</math>
 
estimates are obtained with the above scaling condition assuming the weaker conditions <math>1 \leq q,r \leq \infty</math> and <math>1/q < (n-1)(1/2-1/r)</math> or <math>(q,r) = (infty,2)</math>
 
and similarly for <math>Q,R</math>, and if the following additional conditions hold:
 
and similarly for <math>Q,R</math>, and if the following additional conditions hold:
Line 120: Line 120:
  
 
For potentials of the form <math>V = a/|x|^2</math> with <math>d \geq 3</math> and <math>a > -(d-2)^2/4</math>, one has global Strichartz estimates [BuPlStaTv-p]; a simplified proof and more general result dealing with inverse square-like potentials which are not too negative is in [BuPlStaTv-p2]. The condition on a is necessary to avoid bound states.For potentials decaying slower than this, Strichartz estimates can fail (Duyckaerts?)
 
For potentials of the form <math>V = a/|x|^2</math> with <math>d \geq 3</math> and <math>a > -(d-2)^2/4</math>, one has global Strichartz estimates [BuPlStaTv-p]; a simplified proof and more general result dealing with inverse square-like potentials which are not too negative is in [BuPlStaTv-p2]. The condition on a is necessary to avoid bound states.For potentials decaying slower than this, Strichartz estimates can fail (Duyckaerts?)
For potentials decaying an epsilon faster than <math>1/|x|^2</math> and assumed to be nonnegative, dispersive and Strichartz estimates were obtained when <math>d=3</math> in [[references:GeVis2003 GeVis2003]].
+
For potentials decaying an epsilon faster than <math>1/|x|^2</math> and assumed to be nonnegative, dispersive and Strichartz estimates were obtained when <math>d=3</math> in [[Bibliography#GeVis2003|GeVis2003]].
  
 
(More results to be added in future).
 
(More results to be added in future).
Line 135: Line 135:
 
** (No double endpoints) <math>(s_1, b), (s_2, b) \neq ((d+1)/4, -(d-3)/4); (s_1+s_2, b) \neq (1/2, -(d-3)/4)</math>.
 
** (No double endpoints) <math>(s_1, b), (s_2, b) \neq ((d+1)/4, -(d-3)/4); (s_1+s_2, b) \neq (1/2, -(d-3)/4)</math>.
  
See [[references:FcKl2000 FcKl2000]]. Null forms can also be handled by identities such as
+
See [[Bibliography#FcKl2000|FcKl2000]]. Null forms can also be handled by identities such as
  
 
<center><math>2 Q_0( f ,  y ) = \Box( f  y ).</math></center>
 
<center><math>2 Q_0( f ,  y ) = \Box( f  y ).</math></center>
Line 143: Line 143:
 
<center><math>D^{-2 a } ( fy ) is in L^{q/2}_t L^{r/2}_x</math></center>
 
<center><math>D^{-2 a } ( fy ) is in L^{q/2}_t L^{r/2}_x</math></center>
  
as long as <math>0 \leq  a  \leq d/2 - 2/q - d/r</math> [[references:FcKl-p FcKl-p]]. Similar estimates for null forms also exist [[references:Pl2002 Pl2002]]; see also [[references:TaVa2000b TaVa2000b]], [Ta-p4].
+
as long as <math>0 \leq  a  \leq d/2 - 2/q - d/r</math> [[references:FcKl-p FcKl-p]]. Similar estimates for null forms also exist [[Bibliography#Pl2002|Pl2002]]; see also [[Bibliography#TaVa2000b|TaVa2000b]], [Ta-p4].
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 253: Line 253:
 
in the focusing case; the defocusing case is still open. In the <math>H^{1/2}</math>-critical power or below, this condition is stronger than the scaling requirement.
 
in the focusing case; the defocusing case is still open. In the <math>H^{1/2}</math>-critical power or below, this condition is stronger than the scaling requirement.
  
* When <math>d \geq 2</math> and 1 < p < p_{H^{1/2}} with the focusing sign, blowup is known to occur when a certain Lyapunov functional is negative, and the rate of blowup is self-similar [[references:MeZaa2003 MeZaa2003]]; earlier results are in [[references:AntMe2001 AntMe2001]], [[references:CafFri1986 CafFri1986]], [[references:Al1995 Al1995]], [[references:KiLit1993 KiLit1993]], [[references:KiLit1993b KiLit1993b]].
+
* When <math>d \geq 2</math> and 1 < p < p_{H^{1/2}} with the focusing sign, blowup is known to occur when a certain Lyapunov functional is negative, and the rate of blowup is self-similar [[Bibliography#MeZaa2003|MeZaa2003]]; earlier results are in [[Bibliography#AntMe2001|AntMe2001]], [[Bibliography#CafFri1986|CafFri1986]], [[Bibliography#Al1995|Al1995]], [[Bibliography#KiLit1993|KiLit1993]], [[Bibliography#KiLit1993b|KiLit1993b]].
  
 
To make sense of the non-linearity in the sense of distributions we need s \geq 0 (indeed we have illposedness below this regularity by a high-to-low cascade, see [CtCoTa-p2]). In the one-dimensional case one also needs the condition <math>1/2 - s < 1/p</math> to keep the non-linearity integrable, because there is no Strichartz smoothing to exploit.
 
To make sense of the non-linearity in the sense of distributions we need s \geq 0 (indeed we have illposedness below this regularity by a high-to-low cascade, see [CtCoTa-p2]). In the one-dimensional case one also needs the condition <math>1/2 - s < 1/p</math> to keep the non-linearity integrable, because there is no Strichartz smoothing to exploit.
  
Finally, in three dimensions one has ill-posedness when <math>p=2</math> and <math>s = s_{conf} = 0</math> [[references:Lb1993 Lb1993]]. <br />
+
Finally, in three dimensions one has ill-posedness when <math>p=2</math> and <math>s = s_{conf} = 0</math> [[Bibliography#Lb1993|Lb1993]]. <br />
  
 
* In dimensions d\leq3 the above necessary conditions are also sufficient for LWP.
 
* In dimensions d\leq3 the above necessary conditions are also sufficient for LWP.
Line 264: Line 264:
 
<math>p (d/4-s) \leq 1/2 ( (d+3)/2 - s)</math> (*)</center>
 
<math>p (d/4-s) \leq 1/2 ( (d+3)/2 - s)</math> (*)</center>
  
and excluding the double endpoint when (*) holds with equality and s=s_{conf} [[references:Ta1999 Ta1999]]. The main tool is two-scale Strichartz estimates.
+
and excluding the double endpoint when (*) holds with equality and s=s_{conf} [[Bibliography#Ta1999|Ta1999]]. The main tool is two-scale Strichartz estimates.
  
 
** By using standard Strichartz estimates this was proven with (*) replaced by
 
** By using standard Strichartz estimates this was proven with (*) replaced by
Line 270: Line 270:
 
<center><math>p ((d+1)/4-s) \leq (d+1)/2d ( (d+3)/2 - s)</math>; (**)</center>
 
<center><math>p ((d+1)/4-s) \leq (d+1)/2d ( (d+3)/2 - s)</math>; (**)</center>
  
see [[references:KeTa1998 KeTa1998]] for the double endpoint when (**) holds with equality and s=s_{conf}, and [[references:LbSo1995 LbSo1995]] for all other cases. A slightly weaker result also appears in [[references:Kp1994 Kp1994]].
+
see [[Bibliography#KeTa1998|KeTa1998]] for the double endpoint when (**) holds with equality and s=s_{conf}, and [[Bibliography#LbSo1995|LbSo1995]] for all other cases. A slightly weaker result also appears in [[Bibliography#Kp1994|Kp1994]].
  
GWP and scattering for NLW is known for data with small <math>H^{s_c}</math> norm when <math>p</math> is at or above the <math>H^{1/2}</math>-critical power (and this has been extended to Besov spaces; see [Pl-p4]. This can be used to obtain self-similar solutions, see [MiaZg-p2]). One also has GWP in <math>H^1</math> in the defocussing case when p is at or below the <math>H^1</math>-critical power. (At the critical power this result is due to [[references:Gl1992 Gl1992]]; see also [[references:SaSw1994 SaSw1994]]. For radial data this was shown in [[references:Sw1988 Sw1988]]). For more scattering results, see below.
+
GWP and scattering for NLW is known for data with small <math>H^{s_c}</math> norm when <math>p</math> is at or above the <math>H^{1/2}</math>-critical power (and this has been extended to Besov spaces; see [Pl-p4]. This can be used to obtain self-similar solutions, see [MiaZg-p2]). One also has GWP in <math>H^1</math> in the defocussing case when p is at or below the <math>H^1</math>-critical power. (At the critical power this result is due to [[Bibliography#Gl1992|Gl1992]]; see also [[Bibliography#SaSw1994|SaSw1994]]. For radial data this was shown in [[Bibliography#Sw1988|Sw1988]]). For more scattering results, see below.
  
 
For the defocussing NLKG, GWP in <math>H^s</math>, <math>s < 1</math>, is known in the following cases:
 
For the defocussing NLKG, GWP in <math>H^s</math>, <math>s < 1</math>, is known in the following cases:
Line 291: Line 291:
 
<center><math>\Box u = (t^2 + (1 - (t^2-x^2)/4)^2)^{-(d-1)p/4 + (d+3)/4} |u|^p</math>;</center>
 
<center><math>\Box u = (t^2 + (1 - (t^2-x^2)/4)^2)^{-(d-1)p/4 + (d+3)/4} |u|^p</math>;</center>
  
the significance of this factor is that it behaves well under conformal compactification. See [[references:Aa2002 Aa2002]], [[references:BcKkZz2002 BcKkZz2002]], [[references:Gue2003 Gue2003]] for some recent results.
+
the significance of this factor is that it behaves well under conformal compactification. See [[Bibliography#Aa2002|Aa2002]], [[Bibliography#BcKkZz2002|BcKkZz2002]], [[Bibliography#Gue2003|Gue2003]] for some recent results.
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 317: Line 317:
 
Scattering for small <math>H^1</math> data for arbitrary NLW:
 
Scattering for small <math>H^1</math> data for arbitrary NLW:
  
* Known for <math>p_*(d) < p \leq p_{H^{1/2}}</math> [[references:Sr1981 Sr1981]].
+
* Known for <math>p_*(d) < p \leq p_{H^{1/2}}</math> [[Bibliography#Sr1981|Sr1981]].
* For <math>p < p_0(d-1)</math> one has blow-up [[references:Si1984 Si1984]].
+
* For <math>p < p_0(d-1)</math> one has blow-up [[Bibliography#Si1984|Si1984]].
 
* When <math>d=3</math> this is extended to <math>5/2 < p \leq p_{H^{1/2}}</math>, but scattering fails for <math>p<5/2</math> [Hi-p3]
 
* When <math>d=3</math> this is extended to <math>5/2 < p \leq p_{H^{1/2}}</math>, but scattering fails for <math>p<5/2</math> [Hi-p3]
 
* When <math>d=4</math> this is extended to <math>p_0(d-1) = 2 < p < 5/2</math>, but scattering fails for <math>p<2</math> [Hi-p3]
 
* When <math>d=4</math> this is extended to <math>p_0(d-1) = 2 < p < 5/2</math>, but scattering fails for <math>p<2</math> [Hi-p3]
* An alternate argument based on conformal compactification but giving slightly different results are in [[references:BcKkZz1999 BcKkZz1999]]
+
* An alternate argument based on conformal compactification but giving slightly different results are in [[Bibliography#BcKkZz1999|BcKkZz1999]]
  
 
Scattering for large <math>H^1</math> data for defocussing NLW:
 
Scattering for large <math>H^1</math> data for defocussing NLW:
  
* Known for <math>p_{H^{1/2}} < p \leq p_{H^1}</math> [[references:BaSa1998 BaSa1998]], [[references:BaGd1997 BaGd1997]] (GWP was established earlier in [[references:GiVl1987 GiVl1987]]).
+
* Known for <math>p_{H^{1/2}} < p \leq p_{H^1}</math> [[Bibliography#BaSa1998|BaSa1998]], [[Bibliography#BaGd1997|BaGd1997]] (GWP was established earlier in [[Bibliography#GiVl1987|GiVl1987]]).
* Known for <math>p = p_{H^{1/2}}</math>, <math>d=3</math> [[references:BaeSgZz1990 BaeSgZz1990]]
+
* Known for <math>p = p_{H^{1/2}}</math>, <math>d=3</math> [[Bibliography#BaeSgZz1990|BaeSgZz1990]]
 
* When <math>d=3</math> this is extended to <math>p_*(3) < p \leq p_{H^{1/2}}</math> [Hi-p3]
 
* When <math>d=3</math> this is extended to <math>p_*(3) < p \leq p_{H^{1/2}}</math> [Hi-p3]
 
* When <math>d=4</math> this is extended to <math>p_*(4) < p < 5/2</math> [Hi-p3]
 
* When <math>d=4</math> this is extended to <math>p_*(4) < p < 5/2</math> [Hi-p3]
Line 333: Line 333:
 
Scattering for small smooth compactly supported data for arbitrary NLW:
 
Scattering for small smooth compactly supported data for arbitrary NLW:
  
* GWP and scattering when <math>p > p_0(d-1)</math> [[references:GeLbSo1997 GeLbSo1997]]
+
* GWP and scattering when <math>p > p_0(d-1)</math> [[Bibliography#GeLbSo1997|GeLbSo1997]]
** For <math>d=3</math> this is in [[references:Jo1979 Jo1979]]
+
** For <math>d=3</math> this is in [[Bibliography#Jo1979|Jo1979]]
* Blow-up for arbitrary nonzero data when <math>p < p_0(d-1)</math> [[references:Si1984 Si1984]] (see also [[references:Rm1987 Rm1987]], [[references:JiZz2003 JiZz2003]]
+
* Blow-up for arbitrary nonzero data when <math>p < p_0(d-1)</math> [[Bibliography#Si1984|Si1984]] (see also [[Bibliography#Rm1987|Rm1987]], [[Bibliography#JiZz2003|JiZz2003]]
** For <math>d=4</math> this is in [[references:Gs1981b Gs1981b]]
+
** For <math>d=4</math> this is in [[Bibliography#Gs1981b|Gs1981b]]
** For <math>d=3</math> this is in [[references:Jo1979 Jo1979]]
+
** For <math>d=3</math> this is in [[Bibliography#Jo1979|Jo1979]]
 
* At the critical power <math>p = p_0(d-1)</math> there is blowup for non-negative non-trivial data [YoZgq-p2]
 
* At the critical power <math>p = p_0(d-1)</math> there is blowup for non-negative non-trivial data [YoZgq-p2]
** For <math>d=2,3</math> and arbitrary nonzero data this is in [[references:Scf1985 Scf1985]]
+
** For <math>d=2,3</math> and arbitrary nonzero data this is in [[Bibliography#Scf1985|Scf1985]]
** For large data and arbitrary <math>d</math> this is in [[references:Lev1990 Lev1990]]
+
** For large data and arbitrary <math>d</math> this is in [[Bibliography#Lev1990|Lev1990]]
  
 
Scattering for small <math>H^1</math> data for arbitrary NLKG:
 
Scattering for small <math>H^1</math> data for arbitrary NLKG:
  
* Decay estimates are known when <math>p_0(d) < p \leq p_{L^2}</math>[[references:MsSrWa1980 MsSrWa1980]], [[references:Br1984 Br1984]], [[references:Sr1981 Sr1981]], [[references:Pe1985 Pe1985]].
+
* Decay estimates are known when <math>p_0(d) < p \leq p_{L^2}</math>[[Bibliography#MsSrWa1980|MsSrWa1980]], [[Bibliography#Br1984|Br1984]], [[Bibliography#Sr1981|Sr1981]], [[Bibliography#Pe1985|Pe1985]].
* Known when <math>p_{L^2} \leq p \leq p_{H^1}</math> [[references:Na1999c Na1999c]], [[references:Na1999d Na1999d]], [Na-p5]. Indeed, one has existence of wave operators and asymptotic completeness in these cases.
+
* Known when <math>p_{L^2} \leq p \leq p_{H^1}</math> [[Bibliography#Na1999c|Na1999c]], [[Bibliography#Na1999d|Na1999d]], [Na-p5]. Indeed, one has existence of wave operators and asymptotic completeness in these cases.
  
 
Scattering for large <math>H^1</math> data for defocussing NLKG:
 
Scattering for large <math>H^1</math> data for defocussing NLKG:
  
 
* In this case one has an a priori <math>L^2</math> bound and one does not need decay at spatial infinity.
 
* In this case one has an a priori <math>L^2</math> bound and one does not need decay at spatial infinity.
* Scattering is known for <math>p_{L^2} < p \leq p_{H^1}</math> [[references:Na1999c Na1999c]], [[references:Na1999d Na1999d]], [Na-p5]
+
* Scattering is known for <math>p_{L^2} < p \leq p_{H^1}</math> [[Bibliography#Na1999c|Na1999c]], [[Bibliography#Na1999d|Na1999d]], [Na-p5]
** For <math>d>2</math> and <math>p</math> not <math>H^1</math>-critical this is in [[references:Br1985 Br1985]] [[references:GiVl1985b GiVl1985b]]
+
** For <math>d>2</math> and <math>p</math> not <math>H^1</math>-critical this is in [[Bibliography#Br1985|Br1985]] [[Bibliography#GiVl1985b|GiVl1985b]]
 
** The <math>L^2</math>-critical case <math>p = p_{L^2}</math> is an interesting open problem.
 
** The <math>L^2</math>-critical case <math>p = p_{L^2}</math> is an interesting open problem.
  
 
Scattering for small smooth compactly supported data for arbitrary NLKG:
 
Scattering for small smooth compactly supported data for arbitrary NLKG:
  
* GWP and scattering for <math>p > 1+2/d</math> when <math>d=1,2,3</math> [[references:LbSo1996 LbSo1996]]
+
* GWP and scattering for <math>p > 1+2/d</math> when <math>d=1,2,3</math> [[Bibliography#LbSo1996|LbSo1996]]
 
** When <math>d=1,2</math> this can be obtained by energy estimates and decay estimates.
 
** When <math>d=1,2</math> this can be obtained by energy estimates and decay estimates.
 
** In principle this extends to higher dimensions but there is a difficulty with lack of smoothness in the nonlinearity.
 
** In principle this extends to higher dimensions but there is a difficulty with lack of smoothness in the nonlinearity.
* Blowup in the non-Hamiltonian case when <math>p < 1+2/d</math> [[references:KeTa1999 KeTa1999]]. The endpoint <math>p=1+2/d</math> remains open but one probably also has blow-up here.
+
* Blowup in the non-Hamiltonian case when <math>p < 1+2/d</math> [[Bibliography#KeTa1999|KeTa1999]]. The endpoint <math>p=1+2/d</math> remains open but one probably also has blow-up here.
** Failure of scattering for <math>p \leq 1+2/d</math> was shown in [[references:Gs1973 Gs1973]].
+
** Failure of scattering for <math>p \leq 1+2/d</math> was shown in [[Bibliography#Gs1973|Gs1973]].
  
An interesting (and apparently under-explored) problem is what happens to these global existence and scattering results when there is an obstacle. For [#nlw-5_on_R^3 NLW-5 on <math>R^3</math>] one has global regularity for convex obstacles [[references:SmhSo1995 SmhSo1995]], and for smooth non-linearities there is the [#gwp_qnlw general quasilinear theory]. If one adds a suitable damping term near the obstacle then one can recover some global existence results [[references:Nk2001 Nk2001]].
+
An interesting (and apparently under-explored) problem is what happens to these global existence and scattering results when there is an obstacle. For [#nlw-5_on_R^3 NLW-5 on <math>R^3</math>] one has global regularity for convex obstacles [[Bibliography#SmhSo1995|SmhSo1995]], and for smooth non-linearities there is the [#gwp_qnlw general quasilinear theory]. If one adds a suitable damping term near the obstacle then one can recover some global existence results [[Bibliography#Nk2001|Nk2001]].
  
On the Schwarzschild manifold some scattering and decay results for NLW and NLWKG can be found in [[references:BchNic1993 BchNic1993]], [[references:Nic1995 Nic1995]], [[references:BluSf2003 BluSf2003]]
+
On the Schwarzschild manifold some scattering and decay results for NLW and NLWKG can be found in [[Bibliography#BchNic1993|BchNic1993]], [[Bibliography#Nic1995|Nic1995]], [[Bibliography#BluSf2003|BluSf2003]]
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 391: Line 391:
 
where <math>v_+</math>, <math>v_-</math> solve some suitable NLS.
 
where <math>v_+</math>, <math>v_-</math> solve some suitable NLS.
  
A special case arises if one assumes <math>(u_t - ic^2 u)</math> to be small at time zero (say <math>o(c)</math> in some Sobolev norm). Then one expects <math>v_-</math> to vanish and to get a scalar NLS. Many results of this nature exist, see [Mac-p], [[references:Nj1990 Nj1990]], [[references:Ts1984 Ts1984]], [MacNaOz-p], [Na-p]. In more general situations one expects <math>v_+</math> and <math>v_-</math> to evolve by a coupled NLS; see [[references:MasNa2002 MasNa2002]].
+
A special case arises if one assumes <math>(u_t - ic^2 u)</math> to be small at time zero (say <math>o(c)</math> in some Sobolev norm). Then one expects <math>v_-</math> to vanish and to get a scalar NLS. Many results of this nature exist, see [Mac-p], [[Bibliography#Nj1990|Nj1990]], [[Bibliography#Ts1984|Ts1984]], [MacNaOz-p], [Na-p]. In more general situations one expects <math>v_+</math> and <math>v_-</math> to evolve by a coupled NLS; see [[Bibliography#MasNa2002|MasNa2002]].
  
 
Heuristically, the frequency <math>\ll c</math> portion of the evolution should evolve in a Schrodinger-type manner, while the frequency <math>\gg c</math> portion of the evolution should evolve in a wave-type manner. (This is consistent with physical intuition, since frequency is proportional to momentum, and hence (in the nonrelativistic regime) to velocity).
 
Heuristically, the frequency <math>\ll c</math> portion of the evolution should evolve in a Schrodinger-type manner, while the frequency <math>\gg c</math> portion of the evolution should evolve in a wave-type manner. (This is consistent with physical intuition, since frequency is proportional to momentum, and hence (in the nonrelativistic regime) to velocity).
Line 431: Line 431:
 
<center>'''Quadratic NLW/NLKG'''</center>
 
<center>'''Quadratic NLW/NLKG'''</center>
  
[Thanks to Chengbo Wang for some corrections Ed.]
+
[Thanks to Chengbo Wang for some corrections \u2013 Ed.]
  
 
* Scaling is <math>s_c = d/2 - 2</math>.
 
* Scaling is <math>s_c = d/2 - 2</math>.
* For <math>d>4</math> LWP is known for <math>s \geq d/2 - 2</math> by Strichartz estimates [[references:LbSo1995 LbSo1995]]. This is sharp by scaling arguments.
+
* For <math>d>4</math> LWP is known for <math>s \geq d/2 - 2</math> by Strichartz estimates [[Bibliography#LbSo1995|LbSo1995]]. This is sharp by scaling arguments.
* For <math>d=4</math> LWP is known for <math>s \geq 1/4</math> by Strichartz estimates [[references:LbSo1995 LbSo1995]].This is sharp from Lorentz invariance (concentration) considerations.
+
* For <math>d=4</math> LWP is known for <math>s \geq 1/4</math> by Strichartz estimates [[Bibliography#LbSo1995|LbSo1995]].This is sharp from Lorentz invariance (concentration) considerations.
* For <math>d=3</math> LWP is known for <math>s > 0</math> by Strichartz estimates [[references:LbSo1995 LbSo1995]].
+
* For <math>d=3</math> LWP is known for <math>s > 0</math> by Strichartz estimates [[Bibliography#LbSo1995|LbSo1995]].
** One has ill-posedness for <math>s=0</math> [[references:Lb1996 Lb1996]]. This is related to the failure of endpoint Strichartz when <math>d=3</math>.
+
** One has ill-posedness for <math>s=0</math> [[Bibliography#Lb1996|Lb1996]]. This is related to the failure of endpoint Strichartz when <math>d=3</math>.
 
* For <math>d=1,2</math> LWP is known for <math>s\geq 0</math> by Strichartz estimates (or energy estimates and Sobolev in the <math>d=1</math> case).
 
* For <math>d=1,2</math> LWP is known for <math>s\geq 0</math> by Strichartz estimates (or energy estimates and Sobolev in the <math>d=1</math> case).
 
** For s<0 one has rather severe ill-posedness generically, indeed cannot even interpret the non-linearity  <math>f^2</math> as a distribution [CtCoTa-p2].
 
** For s<0 one has rather severe ill-posedness generically, indeed cannot even interpret the non-linearity  <math>f^2</math> as a distribution [CtCoTa-p2].
Line 451: Line 451:
 
* LWP for <math>s \geq 1/6</math> by energy estimates and Sobolev (solution is in <math>L^3_x</math>).
 
* LWP for <math>s \geq 1/6</math> by energy estimates and Sobolev (solution is in <math>L^3_x</math>).
 
** For <math>s<1/6</math> one has ill-posedness [CtCoTa-p2], indeed it is not even possible to make sense of solutions in the distributional sense.
 
** For <math>s<1/6</math> one has ill-posedness [CtCoTa-p2], indeed it is not even possible to make sense of solutions in the distributional sense.
* GWP for <math>s>1/3</math> for defocussing NLKG [[references:Bo1999 Bo1999]]
+
* GWP for <math>s>1/3</math> for defocussing NLKG [[Bibliography#Bo1999|Bo1999]]
 
** For <math>s \geq 1</math> this is clear from energy conservation (for both NLKG and NLW).
 
** For <math>s \geq 1</math> this is clear from energy conservation (for both NLKG and NLW).
 
** Improvement is certainly possible, both in lowering the s index and in replacing NLKG with NLW.
 
** Improvement is certainly possible, both in lowering the s index and in replacing NLKG with NLW.
 
** In the focussing case there is blowup from large data by the ODE method.
 
** In the focussing case there is blowup from large data by the ODE method.
 
* ''Remark'': NLKG can be viewed as a symplectic flow with the symplectic form of <math>H^{1/2}</math>. NLW is similar but with the homogeneous <math>H^{1/2}</math>.
 
* ''Remark'': NLKG can be viewed as a symplectic flow with the symplectic form of <math>H^{1/2}</math>. NLW is similar but with the homogeneous <math>H^{1/2}</math>.
* Small global solutions to NLKG (either focusing or defocusing) have logarithmic phase corrections due to the critical nature of the nonlinearity (neither short-range nor long-range).However there is still an asymptotic development and an asymptotic completeness theory, see [[references:De2001 De2001]], [LbSf-p]
+
* Small global solutions to NLKG (either focusing or defocusing) have logarithmic phase corrections due to the critical nature of the nonlinearity (neither short-range nor long-range).However there is still an asymptotic development and an asymptotic completeness theory, see [[Bibliography#De2001|De2001]], [LbSf-p]
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 465: Line 465:
  
 
* Scaling is <math>s_c = 0</math>.
 
* Scaling is <math>s_c = 0</math>.
* LWP for <math>s \geq 1/4</math> by Strichartz estimates (see e.g. [[references:LbSo1995 LbSo1995]])
+
* LWP for <math>s \geq 1/4</math> by Strichartz estimates (see e.g. [[Bibliography#LbSo1995|LbSo1995]])
 
** This is sharp by concentration examples in the focusing case; the defocusing case is still open.
 
** This is sharp by concentration examples in the focusing case; the defocusing case is still open.
* GWP for <math>s \geq 1/2</math> for defocussing NLKG [[references:Bo1999 Bo1999]] and for defocussing NLW [Fo-p]
+
* GWP for <math>s \geq 1/2</math> for defocussing NLKG [[Bibliography#Bo1999|Bo1999]] and for defocussing NLW [Fo-p]
 
** For <math>s \geq 1</math> this is clear from energy conservation (for both NLKG and NLW)..
 
** For <math>s \geq 1</math> this is clear from energy conservation (for both NLKG and NLW)..
 
** In the focussing case there is blowup from large data by the ODE method.
 
** In the focussing case there is blowup from large data by the ODE method.
Line 479: Line 479:
  
 
* Scaling is <math>s_c = 1/2</math>.
 
* Scaling is <math>s_c = 1/2</math>.
* LWP for <math>s \geq 1/2</math> by Strichartz estimates (see e.g. [[references:LbSo1995 LbSo1995]]; earlier references exist)
+
* LWP for <math>s \geq 1/2</math> by Strichartz estimates (see e.g. [[Bibliography#LbSo1995|LbSo1995]]; earlier references exist)
 
** When <math>s=1/2</math> the time of existence depends on the profile of the data and not just on the norm.
 
** When <math>s=1/2</math> the time of existence depends on the profile of the data and not just on the norm.
 
** One can improve the critical space <math>H^{1/2}</math> to a slightly weaker Besov space [Pl-p2].
 
** One can improve the critical space <math>H^{1/2}</math> to a slightly weaker Besov space [Pl-p2].
 
** For <math>s<1/2</math> one has instantaneous blowup in the focusing case, and unbounded growth of H^s norms in the defocusing case [CtCoTa-p2]
 
** For <math>s<1/2</math> one has instantaneous blowup in the focusing case, and unbounded growth of H^s norms in the defocusing case [CtCoTa-p2]
* GWP for <math>s>3/4</math> [[references:KnPoVe-p2 KnPoVe-p2]] for defocussing NLKG.(An alternate proof is in [[references:GalPl2003 GalPl2003]]).
+
* GWP for <math>s>3/4</math> [[references:KnPoVe-p2 KnPoVe-p2]] for defocussing NLKG.(An alternate proof is in [[Bibliography#GalPl2003|GalPl2003]]).
 
** For <math>s\geq1</math> this is clear from energy conservation (for both NLKG and NLW).
 
** For <math>s\geq1</math> this is clear from energy conservation (for both NLKG and NLW).
 
** One also has GWP and scattering for data with small <math>H^{1/2}</math> norm for general cubic non-linearities (and for either NLKG or NLW).
 
** One also has GWP and scattering for data with small <math>H^{1/2}</math> norm for general cubic non-linearities (and for either NLKG or NLW).
** In the defocussing case one has scattering for large <math>H^1</math> data [[references:BaeSgZz1990 BaeSgZz1990]], see also [Hi-p3].
+
** In the defocussing case one has scattering for large <math>H^1</math> data [[Bibliography#BaeSgZz1990|BaeSgZz1990]], see also [Hi-p3].
 
** Improvement is certainly possible, both in lowering the s index and in replacing NLKG with NLW.
 
** Improvement is certainly possible, both in lowering the s index and in replacing NLKG with NLW.
 
** In the focussing case there is blowup from large data by the ODE method.
 
** In the focussing case there is blowup from large data by the ODE method.
* For periodic defocussing NLKG there is a weak turbulence effect in <math>H^s</math> for <math>s > 5</math> (low frequencies decay in time) but a symplectic non-squeezing effect in H^{1/2} [[references:Kuk1995b Kuk1995b]].In particular <math>H^s</math> cannot be a symplectic phase space for <math>s > 5</math>.
+
* For periodic defocussing NLKG there is a weak turbulence effect in <math>H^s</math> for <math>s > 5</math> (low frequencies decay in time) but a symplectic non-squeezing effect in H^{1/2} [[Bibliography#Kuk1995b|Kuk1995b]].In particular <math>H^s</math> cannot be a symplectic phase space for <math>s > 5</math>.
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 498: Line 498:
  
 
* Scaling is <math>s_c = 1</math>.
 
* Scaling is <math>s_c = 1</math>.
* LWP for <math>s \geq 1</math> by Strichartz estimates (see e.g. [[references:LbSo1995 LbSo1995]]; earlier references exist)
+
* LWP for <math>s \geq 1</math> by Strichartz estimates (see e.g. [[Bibliography#LbSo1995|LbSo1995]]; earlier references exist)
 
** When <math>s=1</math> the time of existence depends on the profile of the data and not just on the norm.
 
** When <math>s=1</math> the time of existence depends on the profile of the data and not just on the norm.
** One has strong uniqueness in the energy class [Pl-p5], [[references:FurPlTer2001 FurPlTer2001]]. This argument extends to other energy-critical and sub-critical powers in dimensions 4 and higher.
+
** One has strong uniqueness in the energy class [Pl-p5], [[Bibliography#FurPlTer2001|FurPlTer2001]]. This argument extends to other energy-critical and sub-critical powers in dimensions 4 and higher.
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
* GWP for <math>s=1</math> in the defocussing case [[references:SaSw1994 SaSw1994]] (see also [[references:Gl1990 Gl1990]], [[references:Gl1992 Gl1992]], [[references:Sw1988 Sw1988]], [[references:Sw1992 Sw1992]], [[references:BaSa1998 BaSa1998]], [[references:BaGd1997 BaGd1997]]).
+
* GWP for <math>s=1</math> in the defocussing case [[Bibliography#SaSw1994|SaSw1994]] (see also [[Bibliography#Gl1990|Gl1990]], [[Bibliography#Gl1992|Gl1992]], [[Bibliography#Sw1988|Sw1988]], [[Bibliography#Sw1992|Sw1992]], [[Bibliography#BaSa1998|BaSa1998]], [[Bibliography#BaGd1997|BaGd1997]]).
 
** In the focussing case there is blowup from large data by the ODE method.
 
** In the focussing case there is blowup from large data by the ODE method.
  
Line 537: Line 537:
  
 
* Scaling is <math>s_c = 1/2</math>.
 
* Scaling is <math>s_c = 1/2</math>.
* LWP for <math>s \geq 1/2</math> by Strichartz estimates (see e.g. [[references:LbSo1995 LbSo1995]]; earlier references exist)
+
* LWP for <math>s \geq 1/2</math> by Strichartz estimates (see e.g. [[Bibliography#LbSo1995|LbSo1995]]; earlier references exist)
 
** When <math>s=1/2</math> the time of existence depends on the profile of the data and not just on the norm.
 
** When <math>s=1/2</math> the time of existence depends on the profile of the data and not just on the norm.
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
Line 552: Line 552:
  
 
* Scaling is <math>s=1</math>.
 
* Scaling is <math>s=1</math>.
* LWP for <math>s \geq 1</math> by Strichartz estimates (see e.g. [[references:LbSo1995 LbSo1995]]; earlier references exist)
+
* LWP for <math>s \geq 1</math> by Strichartz estimates (see e.g. [[Bibliography#LbSo1995|LbSo1995]]; earlier references exist)
 
** When <math>s=1</math> the time of existence depends on the profile of the data and not just on the norm.
 
** When <math>s=1</math> the time of existence depends on the profile of the data and not just on the norm.
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
* GWP for <math>s=1</math> in the defocussing case [[references:Gl1990 Gl1990]], [[references:Gl1992 Gl1992]]. The main new ingredient is energy non-concentration [[references:Sw1988 Sw1988]], [[references:Sw1992 Sw1992]]
+
* GWP for <math>s=1</math> in the defocussing case [[Bibliography#Gl1990|Gl1990]], [[Bibliography#Gl1992|Gl1992]]. The main new ingredient is energy non-concentration [[Bibliography#Sw1988|Sw1988]], [[Bibliography#Sw1992|Sw1992]]
** Further decay estimates and scattering were obtained in [[references:BaSa1998 BaSa1998]]; global Lipschitz dependence was obtained in [[references:BaGd1997 BaGd1997]].
+
** Further decay estimates and scattering were obtained in [[Bibliography#BaSa1998|BaSa1998]]; global Lipschitz dependence was obtained in [[Bibliography#BaGd1997|BaGd1997]].
** For smooth data GWP and scattering was shown in [[references:Gl1992 Gl1992]]; see also [[references:SaSw1994 SaSw1994]]
+
** For smooth data GWP and scattering was shown in [[Bibliography#Gl1992|Gl1992]]; see also [[Bibliography#SaSw1994|SaSw1994]]
** For radial data GWP and scattering was shown in [[references:Sw1988 Sw1988]]
+
** For radial data GWP and scattering was shown in [[Bibliography#Sw1988|Sw1988]]
** For data with small energy this was shown for general quintic non-linearities (and for either NLW or NLKG) in [[references:Ra1981 Ra1981]].
+
** For data with small energy this was shown for general quintic non-linearities (and for either NLW or NLKG) in [[Bibliography#Ra1981|Ra1981]].
** Global weak solutions can be constructed by general methods (e.g. [[references:Sr1989 Sr1989]], [[references:Sw1992 Sw1992]]); uniqueness was shown in [[references:Kt1992 Kt1992]]
+
** Global weak solutions can be constructed by general methods (e.g. [[Bibliography#Sr1989|Sr1989]], [[Bibliography#Sw1992|Sw1992]]); uniqueness was shown in [[Bibliography#Kt1992|Kt1992]]
 
** In the focussing case there is blowup from large data by the ODE method.
 
** In the focussing case there is blowup from large data by the ODE method.
** When there is a convex obstacle GWP for smooth data is known [[references:SmhSo1995 SmhSo1995]].
+
** When there is a convex obstacle GWP for smooth data is known [[Bibliography#SmhSo1995|SmhSo1995]].
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 582: Line 582:
  
 
* Scaling is <math>s_c = 2/3</math>.
 
* Scaling is <math>s_c = 2/3</math>.
* LWP for <math>s \geq s_c</math> by Strichartz estimates [[references:LbSo1995 LbSo1995]]
+
* LWP for <math>s \geq s_c</math> by Strichartz estimates [[Bibliography#LbSo1995|LbSo1995]]
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
 
* GWP for <math>s > 6/7</math> in the defocusing case [Fo-p]
 
* GWP for <math>s > 6/7</math> in the defocusing case [Fo-p]
Line 594: Line 594:
  
 
* Scaling is <math>s=7/6</math>.
 
* Scaling is <math>s=7/6</math>.
* LWP for <math>s\geq7/6</math> by Strichartz estimates (see e.g. [[references:LbSo1995 LbSo1995]]; earlier references exist)
+
* LWP for <math>s\geq7/6</math> by Strichartz estimates (see e.g. [[Bibliography#LbSo1995|LbSo1995]]; earlier references exist)
 
** When <math>s=7/6</math> the time of existence depends on the profile of the data and not just on the norm.
 
** When <math>s=7/6</math> the time of existence depends on the profile of the data and not just on the norm.
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
 
** For <math>s<s_c</math> one has instantaneous blowup in the focusing case, and unbounded growth of <math>H^s</math> norms in the defocusing case [CtCoTa-p2]
 
* Global existence of large smooth solutions is unknown in the defocussing case; in the focussing case one certainly has blowup by ODE methods.
 
* Global existence of large smooth solutions is unknown in the defocussing case; in the focussing case one certainly has blowup by ODE methods.
** In the energy class <math>s=1</math>, one has ill-posedness in the sense that the solution map is not uniformly continuous [[references:Leb2000 Leb2000]]; for higher dimensions see [[references:BrKum2000 BrKum2000]]. This is despite an a priori bound on the <math>H^1 x L^2</math> norm in the defocussing case from energy conservation. A variant of this result appears in [CtCoTa-p2].
+
** In the energy class <math>s=1</math>, one has ill-posedness in the sense that the solution map is not uniformly continuous [[Bibliography#Leb2000|Leb2000]]; for higher dimensions see [[Bibliography#BrKum2000|BrKum2000]]. This is despite an a priori bound on the <math>H^1 x L^2</math> norm in the defocussing case from energy conservation. A variant of this result appears in [CtCoTa-p2].
** For small data one of course has GWP and scattering [[references:LbSo1995 LbSo1995]]
+
** For small data one of course has GWP and scattering [[Bibliography#LbSo1995|LbSo1995]]
 
** It is not known what happens to large smooth solutions in the defocusing case, even in the radial case. This can be viewed as an extremely simplified model problem for the global regularity issue for Navier-Stokes.
 
** It is not known what happens to large smooth solutions in the defocusing case, even in the radial case. This can be viewed as an extremely simplified model problem for the global regularity issue for Navier-Stokes.
  
Line 628: Line 628:
 
For small smooth compactly supported data of size <math>e</math> and smooth non-linearities, the GWP theory for D-NLW is as follows.
 
For small smooth compactly supported data of size <math>e</math> and smooth non-linearities, the GWP theory for D-NLW is as follows.
  
* If the non-linearity is a null form, then one has GWP for d\geq3; in fact one can take the data in a weighted Sobolev space <math>H^{2,1} \times H^{1,2}</math> [[references:Cd1986 Cd1986]]
+
* If the non-linearity is a null form, then one has GWP for d\geq3; in fact one can take the data in a weighted Sobolev space <math>H^{2,1} \times H^{1,2}</math> [[Bibliography#Cd1986|Cd1986]]
** This is also true in the multi-speed (i.e. nonrelativistic) case [[references:KlSi1996 KlSi1996]] (see also [[references:Yk2000 Yk2000]]). Earlier related work appears in [[references:Ko1987 Ko1987]], [[references:Ko1989 Ko1989]]
+
** This is also true in the multi-speed (i.e. nonrelativistic) case [[Bibliography#KlSi1996|KlSi1996]] (see also [[Bibliography#Yk2000|Yk2000]]). Earlier related work appears in [[Bibliography#Ko1987|Ko1987]], [[Bibliography#Ko1989|Ko1989]]
 
*** In fact, one does not need the compact support condition, and can take data small in H^9 [SiTu-p].
 
*** In fact, one does not need the compact support condition, and can take data small in H^9 [SiTu-p].
** Without the null structure, one has almost GWP in d=3 [[references:Kl1985b Kl1985b]], and this is sharp [[references:Jo1981 Jo1981]], [[references:Si1983 Si1983]]
+
** Without the null structure, one has almost GWP in d=3 [[Bibliography#Kl1985b|Kl1985b]], and this is sharp [[Bibliography#Jo1981|Jo1981]], [[Bibliography#Si1983|Si1983]]
** With the null structure and outside a convex obstacle one has GWP in <math>H^{2,1} \times H^{1,2}</math> [[references:KeSmhSo2000 KeSmhSo2000]], assuming the standard compatibility conditions on the data. Earlier work in this direction is in [[references:Dt1990 Dt1990]].
+
** With the null structure and outside a convex obstacle one has GWP in <math>H^{2,1} \times H^{1,2}</math> [[Bibliography#KeSmhSo2000|KeSmhSo2000]], assuming the standard compatibility conditions on the data. Earlier work in this direction is in [[Bibliography#Dt1990|Dt1990]].
*** For radial data and obstacle this was obtained in [[references:Go1995 Go1995]]; see also [[references:Ha1995 Ha1995]].
+
*** For radial data and obstacle this was obtained in [[Bibliography#Go1995|Go1995]]; see also [[Bibliography#Ha1995|Ha1995]].
*** GWP for small smooth data outside a star-shaped obstacle was shown for <math>d \geq 6</math> and non-linearities quadratic in <math>Du</math> in [[references:ShbTs1984 ShbTs1984]], [[references:ShbTs1986 ShbTs1986]].
+
*** GWP for small smooth data outside a star-shaped obstacle was shown for <math>d \geq 6</math> and non-linearities quadratic in <math>Du</math> in [[Bibliography#ShbTs1984|ShbTs1984]], [[Bibliography#ShbTs1986|ShbTs1986]].
** For <math>d>3</math> or for cubic nonlinearities one has GWP regardless of the null structure [[refernces:KlPo1983 KlPo1983]], [[references:Sa1982 Sa1982]], [[references:Kl1985b Kl1985b]].
+
** For <math>d>3</math> or for cubic nonlinearities one has GWP regardless of the null structure [[refernces:KlPo1983 KlPo1983]], [[Bibliography#Sa1982|Sa1982]], [[Bibliography#Kl1985b|Kl1985b]].
 
* For the <math>d=2</math> case, the results are as follows.
 
* For the <math>d=2</math> case, the results are as follows.
** One has existence for roughly  <math>e ^{-2}</math> without a null condition, but at least <math>exp(C/ e^2)</math> with a null condition [[references:Al1999b Al1999]], [[references:Al1999b Al1999b]], [[references:Al2001 Al2001]], [[references:Al2001b Al2001b]]
+
** One has existence for roughly  <math>e ^{-2}</math> without a null condition, but at least <math>exp(C/ e^2)</math> with a null condition [[references:Al1999b Al1999]], [[Bibliography#Al1999b|Al1999b]], [[Bibliography#Al2001|Al2001]], [[Bibliography#Al2001b|Al2001b]]
*** For semilinear equations these are in [[references:Gd1993 Gd1993]]
+
*** For semilinear equations these are in [[Bibliography#Gd1993|Gd1993]]
*** For cubic nonlinearities these are in [[references:Hg1995 Hg1995]]; furthermore one has global existence assuming a "second null condition"
+
*** For cubic nonlinearities these are in [[Bibliography#Hg1995|Hg1995]]; furthermore one has global existence assuming a "second null condition"
*** For spherically symmetric data this is in [[references:Lad1999 Lad1999]]; furthermore one has global existence assuming a "second null condition"
+
*** For spherically symmetric data this is in [[Bibliography#Lad1999|Lad1999]]; furthermore one has global existence assuming a "second null condition"
** Earlier results are in [[references:Ky1993 Ky1993]]. Non-relativistic variants are in [[references:Hg1998 Hg1998]], [[references:HgKu2000 HgKu2000]]
+
** Earlier results are in [[Bibliography#Ky1993|Ky1993]]. Non-relativistic variants are in [[Bibliography#Hg1998|Hg1998]], [[Bibliography#HgKu2000|HgKu2000]]
  
 
For small smooth compactly supported data of size <math>e</math> and smooth non-linearities, the GWP theory for D-NLKG is as follows.
 
For small smooth compactly supported data of size <math>e</math> and smooth non-linearities, the GWP theory for D-NLKG is as follows.
  
* One has GWP for <math>d \geq 2</math> [[references:SnTl1993 SnTl1993]], [[references:OzTyTs1996 OzTyTs1996]].
+
* One has GWP for <math>d \geq 2</math> [[Bibliography#SnTl1993|SnTl1993]], [[Bibliography#OzTyTs1996|OzTyTs1996]].
** For <math>d \geq 3</math> this was proven in [[references:Kl1985 Kl1985]] (by vector fields) and [[references:Sa1985 Sa1985]] (by normal forms).
+
** For <math>d \geq 3</math> this was proven in [[Bibliography#Kl1985|Kl1985]] (by vector fields) and [[Bibliography#Sa1985|Sa1985]] (by normal forms).
** For <math>d=3</math> this result is extended to Klein-Gordon-Zakharov systems in [[references:OzTyTs1995 OzTyTs1995]]
+
** For <math>d=3</math> this result is extended to Klein-Gordon-Zakharov systems in [[Bibliography#OzTyTs1995|OzTyTs1995]]
* For <math>d=1</math> one has GWP for quartic and higher non-linearities [[references:LbSo1996 LbSo1996]].
+
* For <math>d=1</math> one has GWP for quartic and higher non-linearities [[Bibliography#LbSo1996|LbSo1996]].
** For cubic non-linearities one has almost global existence (for time <math>exp(C/ e ^2)</math>); see [[references:Ho1997 Ho1997]]. This is sharp [[references:KeTa1999 KeTa1999]], [Yo-p]. Explicit lower bounds on the constant <math>C</math> are in [[references:De1999 De1999]].
+
** For cubic non-linearities one has almost global existence (for time <math>exp(C/ e ^2)</math>); see [[Bibliography#Ho1997|Ho1997]]. This is sharp [[Bibliography#KeTa1999|KeTa1999]], [Yo-p]. Explicit lower bounds on the constant <math>C</math> are in [[Bibliography#De1999|De1999]].
** Using normal forms one can push the almost global existence to quadratic non-linearities [[references:MrTwSr1997 MrTwSr1997]].
+
** Using normal forms one can push the almost global existence to quadratic non-linearities [[Bibliography#MrTwSr1997|MrTwSr1997]].
** For septic and higher nonlinearities one has global existence [[references:Mr1997 Mr1997]], [[references:Yag1994 Yag1994]]
+
** For septic and higher nonlinearities one has global existence [[Bibliography#Mr1997|Mr1997]], [[Bibliography#Yag1994|Yag1994]]
** For quadratic non-linearities of null form type one has existence for time roughly <math>e^{-4}</math> [[references:De1997 De1997]]
+
** For quadratic non-linearities of null form type one has existence for time roughly <math>e^{-4}</math> [[Bibliography#De1997|De1997]]
*** The compact support condition can be weakened substantially [[references:De1997 De1997]]. One can even just assume small <math>H^3</math> data, but then the time of existence shrinks slightly, to  <math>e ^{-4} log(1/ e )^{-6}</math> [[references:De1997b De1997b]].
+
*** The compact support condition can be weakened substantially [[Bibliography#De1997|De1997]]. One can even just assume small <math>H^3</math> data, but then the time of existence shrinks slightly, to  <math>e ^{-4} log(1/ e )^{-6}</math> [[Bibliography#De1997b|De1997b]].
*** Without the null form one cannot do better than about  <math>e ^{-2}</math>[[references:KeTa1999 KeTa1999]].
+
*** Without the null form one cannot do better than about  <math>e ^{-2}</math>[[Bibliography#KeTa1999|KeTa1999]].
*** A necessary and sufficient condition on the nonlinearity has been obtained as to whether one can obtain global existence for small data [[references:De2001 De2001]]
+
*** A necessary and sufficient condition on the nonlinearity has been obtained as to whether one can obtain global existence for small data [[Bibliography#De2001|De2001]]
  
 
For small smooth data of size <math>e<math> on the circle <math>T</math>, and smooth non-linearities, the GWP theory for D-NLKG is as follows.
 
For small smooth data of size <math>e<math> on the circle <math>T</math>, and smooth non-linearities, the GWP theory for D-NLKG is as follows.
  
* For quadratic non-linearities one has existence for time  <math>e ^{-2}</math>. [[references:De1998 De1998]].This was extended to higher dimensional tori and to quasilinear NLKG in [DeSze-p]
+
* For quadratic non-linearities one has existence for time  <math>e ^{-2}</math>. [[Bibliography#De1998|De1998]].This was extended to higher dimensional tori and to quasilinear NLKG in [DeSze-p]
* For higher non-linearities of order r, one has existence for time  <math>e ^{1-r} log(1/ e )^{3-r}</math>, and in some cases this bound is sharp. [[references:De1998 De1998]]
+
* For higher non-linearities of order r, one has existence for time  <math>e ^{1-r} log(1/ e )^{3-r}</math>, and in some cases this bound is sharp. [[Bibliography#De1998|De1998]]
 
* One has a similar result (with more technical time of existence when the domain is a sphere, although now one must exclude a set of masses of measure zero. [DeSze-p]
 
* One has a similar result (with more technical time of existence when the domain is a sphere, although now one must exclude a set of masses of measure zero. [DeSze-p]
  
For non-smooth non-linearities of order <math>p</math>, one has blow-up examples for D-NLKG from small smooth compactly supported data whenever <math>p \leq 1+2/d</math> [[references:KeTa1999 KeTa1999]], although in certain cases (esp. coercive Hamiltonian systems) one still has GWP [[references:Ca1985 Ca1985]]. One also has failure of scattering for this range of powers [[references:Gl1981b Gl1981b]]. It would be interesting to see if one could obtain GWP for D-NLKG the <math>p>1+2/d</math> case (though in the non-smooth non-linearity case one probably is restricted to <math>d=1,2,3</math> in order to keep the non-linearity sufficiently smooth).
+
For non-smooth non-linearities of order <math>p</math>, one has blow-up examples for D-NLKG from small smooth compactly supported data whenever <math>p \leq 1+2/d</math> [[Bibliography#KeTa1999|KeTa1999]], although in certain cases (esp. coercive Hamiltonian systems) one still has GWP [[Bibliography#Ca1985|Ca1985]]. One also has failure of scattering for this range of powers [[Bibliography#Gl1981b|Gl1981b]]. It would be interesting to see if one could obtain GWP for D-NLKG the <math>p>1+2/d</math> case (though in the non-smooth non-linearity case one probably is restricted to <math>d=1,2,3</math> in order to keep the non-linearity sufficiently smooth).
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 693: Line 693:
 
In d dimensions, the critical regularity for this equation is <math>s_c = d/2 - 1</math>. However, there are no instances of Quadratic DNLW for which any sort of well-posedness is known at this critical regularity (except for those special cases where the equation can be algebraically transformed into a simpler equation such as NLW or the free wave equation).
 
In d dimensions, the critical regularity for this equation is <math>s_c = d/2 - 1</math>. However, there are no instances of Quadratic DNLW for which any sort of well-posedness is known at this critical regularity (except for those special cases where the equation can be algebraically transformed into a simpler equation such as NLW or the free wave equation).
  
Energy estimates give local well-posedness for <math>s > s_c + 1</math>. Using Strichartz estimates this can be improved to <math>s > s_c + 3/4</math> in two dimensions and <math>s > s_c + 1/2</math> in three and higher dimensions [[references:PoSi1993 PoSi1993]]; the point is that these regularity assumptions together with Strichartz allow one to put <math>f</math> into <math>L^2_t L^{\infty}_x</math>, hence in <math>L^1_t L^{\infty}_x</math>, so that one can then use the energy method.
+
Energy estimates give local well-posedness for <math>s > s_c + 1</math>. Using Strichartz estimates this can be improved to <math>s > s_c + 3/4</math> in two dimensions and <math>s > s_c + 1/2</math> in three and higher dimensions [[Bibliography#PoSi1993|PoSi1993]]; the point is that these regularity assumptions together with Strichartz allow one to put <math>f</math> into <math>L^2_t L^{\infty}_x</math>, hence in <math>L^1_t L^{\infty}_x</math>, so that one can then use the energy method.
  
Using <math>X^{s,\theta}</math> estimates [[references:FcKl2000 FcKl2000]] instead of Strichartz estimates, one can improve this further to <math>d > s_c + 1/4</math> in four dimensions and to the near-optimal <math>s > s_c</math> in five and higher dimensions. In six and higher dimensions one can obtain global well-posedness for small critical Besov space <math>B^{s_c}_{2,1}</math> [Stz-p3], and local well-posedness for large Besov data.In four dimensions one has a similar result if one imposes one additional angular derivative of regularity [Stz-p2].
+
Using <math>X^{s,\theta}</math> estimates [[Bibliography#FcKl2000|FcKl2000]] instead of Strichartz estimates, one can improve this further to <math>d > s_c + 1/4</math> in four dimensions and to the near-optimal <math>s > s_c</math> in five and higher dimensions. In six and higher dimensions one can obtain global well-posedness for small critical Besov space <math>B^{s_c}_{2,1}</math> [Stz-p3], and local well-posedness for large Besov data.In four dimensions one has a similar result if one imposes one additional angular derivative of regularity [Stz-p2].
  
Without any further assumptions on the non-linearity, these results are sharp in 3 dimensions; more precisely, one generically has ill-posedness in <math>H^1</math> [[references:Lb1993 Lb1993]], although one can recover well-posedness in the Besov space B^1_{2,1} [[references:Na1999 Na1999]], or when an epsilon of radial regularity is imposed [MacNkrNaOz-p]. It would be interesting to determine what the situation is in the other low dimensions.
+
Without any further assumptions on the non-linearity, these results are sharp in 3 dimensions; more precisely, one generically has ill-posedness in <math>H^1</math> [[Bibliography#Lb1993|Lb1993]], although one can recover well-posedness in the Besov space B^1_{2,1} [[Bibliography#Na1999|Na1999]], or when an epsilon of radial regularity is imposed [MacNkrNaOz-p]. It would be interesting to determine what the situation is in the other low dimensions.
  
If the non-linearity  <math>fDf</math>  has a null structure then one can improve upon the previous results. For instance, the model equations for the Yang-Mills and Maxwell-Klein-Gordon equations are locally well-posed for <math>s > s_c</math> in three [[references:KlMa1997 KlMa1997]] and higher [[references:KlTt1999 KlTt1999]] dimensions. It would be interesting to determine what happens in two dimensions for these equations (probably one can get down to <math>s > s_c + 1/4)</math>. In one dimension the model equation trivially collapses to the free wave equation.
+
If the non-linearity  <math>fDf</math>  has a null structure then one can improve upon the previous results. For instance, the model equations for the Yang-Mills and Maxwell-Klein-Gordon equations are locally well-posed for <math>s > s_c</math> in three [[Bibliography#KlMa1997|KlMa1997]] and higher [[Bibliography#KlTt1999|KlTt1999]] dimensions. It would be interesting to determine what happens in two dimensions for these equations (probably one can get down to <math>s > s_c + 1/4)</math>. In one dimension the model equation trivially collapses to the free wave equation.
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 709: Line 709:
 
* One can consider two-speed variants of quadratic DNLW ([#two-speed see Overview]), when both F and G have the form U DU.
 
* One can consider two-speed variants of quadratic DNLW ([#two-speed see Overview]), when both F and G have the form U DU.
 
* The Strichartz and energy estimates carry over without difficulty to this setting. The results obtained by <math>X^{s,\theta}</math> estimates change, however. The null forms are no longer as useful, however the estimates are usually more favourable because of the transversality of the two light cones. Of course, if <math>F</math> contains <math>uDu</math> or <math>G</math> contains <math>vDv</math> then one cannot do any better than the one-speed case.
 
* The Strichartz and energy estimates carry over without difficulty to this setting. The results obtained by <math>X^{s,\theta}</math> estimates change, however. The null forms are no longer as useful, however the estimates are usually more favourable because of the transversality of the two light cones. Of course, if <math>F</math> contains <math>uDu</math> or <math>G</math> contains <math>vDv</math> then one cannot do any better than the one-speed case.
* For <math>d=3</math> one can obtain LWP for <math>s \geq 1</math> for non-linearities of the form <math>F = uDv + vDu + vDv</math> and <math>G = uDu + vDu</math> [[references:OzTyTs1999 OzTyTs1999]], [[references:Tg2000 Tg2000]].
+
* For <math>d=3</math> one can obtain LWP for <math>s \geq 1</math> for non-linearities of the form <math>F = uDv + vDu + vDv</math> and <math>G = uDu + vDu</math> [[Bibliography#OzTyTs1999|OzTyTs1999]], [[Bibliography#Tg2000|Tg2000]].
** When <math>G</math> contains uDv the relevant bilinear estimate generically fails by a logarithmic factor [[references:OzTyTs2000 OzTyTs2000]]
+
** When <math>G</math> contains uDv the relevant bilinear estimate generically fails by a logarithmic factor [[Bibliography#OzTyTs2000|OzTyTs2000]]
 
* For <math>d=2</math> one can obtain LWP for <math>s>1/2</math> for non-linearities of the form <math>F = uDv + vDu + vDv</math> and <math>G = uDu + vDu + uDv</math> [Tg-p].
 
* For <math>d=2</math> one can obtain LWP for <math>s>1/2</math> for non-linearities of the form <math>F = uDv + vDu + vDv</math> and <math>G = uDu + vDu + uDv</math> [Tg-p].
 
* For <math>d=1</math> one can obtain LWP for <math>s>1/4</math> for non-linearities of the form <math>F = uDv + vDu</math> and <math>G = uDv + vDu</math> [Tg-p].
 
* For <math>d=1</math> one can obtain LWP for <math>s>1/4</math> for non-linearities of the form <math>F = uDv + vDu</math> and <math>G = uDv + vDu</math> [Tg-p].
Line 746: Line 746:
 
<center>Lorentz gauge: <math>\nabla_{x,t} A = 0</math></center>
 
<center>Lorentz gauge: <math>\nabla_{x,t} A = 0</math></center>
  
There are also several other useful gauges, such as the Cronstrom gauge [[references:Cs1980 Cs1980]] centered around a point in spacetime.
+
There are also several other useful gauges, such as the Cronstrom gauge [[Bibliography#Cs1980|Cs1980]] centered around a point in spacetime.
  
The Lorentz gauge has the advantage of being invariant under conformal transformations, but it appears that the Yang-Mills equation is not well-behaved in this gauge for rough data. (For smooth data one can obtain local well-posedness in this gauge by energy estimates). The Coulomb gauge is the simplest to work with technically, and in this gauge the bilinear expression <math>[A,  \nabla A]</math> acquires a null structure [[references:KlMa1995 KlMa1995]] which allows for a satisfactory analysis of the equation. Unfortunately there are often difficulties in creating a global Coulomb gauge, and one often has to rely instead on local Coulomb gauges pieced together using finite speed of propagation; see [[references:KlMa1995 KlMa1995]]. The Temporal gauge is fairly close to the Coulomb gauge, and one can develop a parallel theory for this gauge. The temporal gauge has the advantage of being easy to establish globally, but the null form structure is less obvious (one needs to partition the connection into divergence-free and curl-free components). See e.g. [[references:Ta-p3 Ta-p3]].
+
The Lorentz gauge has the advantage of being invariant under conformal transformations, but it appears that the Yang-Mills equation is not well-behaved in this gauge for rough data. (For smooth data one can obtain local well-posedness in this gauge by energy estimates). The Coulomb gauge is the simplest to work with technically, and in this gauge the bilinear expression <math>[A,  \nabla A]</math> acquires a null structure [[Bibliography#KlMa1995|KlMa1995]] which allows for a satisfactory analysis of the equation. Unfortunately there are often difficulties in creating a global Coulomb gauge, and one often has to rely instead on local Coulomb gauges pieced together using finite speed of propagation; see [[Bibliography#KlMa1995|KlMa1995]]. The Temporal gauge is fairly close to the Coulomb gauge, and one can develop a parallel theory for this gauge. The temporal gauge has the advantage of being easy to establish globally, but the null form structure is less obvious (one needs to partition the connection into divergence-free and curl-free components). See e.g. [[references:Ta-p3 Ta-p3]].
  
 
In the Coulomb or Temporal gauges, one can create a model equation for the Yang-Mills system by ignoring cubic terms and any contribution from the "elliptic'' portion of the gauge (<math>A_0</math> in the Coulomb gauge, or the curl-free portion of <math>A_i</math> in the Temporal gauge). The resulting model equation is
 
In the Coulomb or Temporal gauges, one can create a model equation for the Yang-Mills system by ignoring cubic terms and any contribution from the "elliptic'' portion of the gauge (<math>A_0</math> in the Coulomb gauge, or the curl-free portion of <math>A_i</math> in the Temporal gauge). The resulting model equation is
Line 778: Line 778:
 
The theory of Yang-Mills connections is considerably more advanced in the elliptic case (when the Minkowski metric is replaced by a Riemannian one), especially in the critical case of four dimensions, but a discussion of this topic is beyond our expertise.
 
The theory of Yang-Mills connections is considerably more advanced in the elliptic case (when the Minkowski metric is replaced by a Riemannian one), especially in the critical case of four dimensions, but a discussion of this topic is beyond our expertise.
  
Attention has mostly focussed on the [#YM_on_R^3 three] and [#YM_on_R^4 four dimensional] cases; the one-dimensional case is trivial (e.g. in the temporal gauge it collapses to A_tt = 0). In higher dimensions n=5,7,9 singularities can develop from large smooth radial data [[references:CaSaTv1998 CaSaTv1998]] (see also [Biz-p]). Numerics suggest this phenomenon is generic, and also one appears to have blowup also at the critical dimension [[references:BizTb2001 BizTb2001]], [Biz-p].
+
Attention has mostly focussed on the [#YM_on_R^3 three] and [#YM_on_R^4 four dimensional] cases; the one-dimensional case is trivial (e.g. in the temporal gauge it collapses to A_tt = 0). In higher dimensions n=5,7,9 singularities can develop from large smooth radial data [[Bibliography#CaSaTv1998|CaSaTv1998]] (see also [Biz-p]). Numerics suggest this phenomenon is generic, and also one appears to have blowup also at the critical dimension [[Bibliography#BizTb2001|BizTb2001]], [Biz-p].
  
 
The Yang-Mills equations can also be coupled with a spinor field. In the <math>U(1)</math> case this becomes the Maxwell-Dirac equation.
 
The Yang-Mills equations can also be coupled with a spinor field. In the <math>U(1)</math> case this becomes the Maxwell-Dirac equation.
  
The Yang-Mills equations in dimension n have many formal similarities with the wave maps equation at dimension n-2 (see e.g. [[references:CaSaTv1998 CaSaTv1998]] for a discussion)
+
The Yang-Mills equations in dimension n have many formal similarities with the wave maps equation at dimension n-2 (see e.g. [[Bibliography#CaSaTv1998|CaSaTv1998]] for a discussion)
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 804: Line 804:
 
* LWP for s > 3/4 in the Temporal gauge if the norm is sufficiently small [[references:Ta-p3 Ta-p3]]. The main tools are bilinear estimates involving both X^{s,\theta} spaces and product Sobolev spaces.
 
* LWP for s > 3/4 in the Temporal gauge if the norm is sufficiently small [[references:Ta-p3 Ta-p3]]. The main tools are bilinear estimates involving both X^{s,\theta} spaces and product Sobolev spaces.
 
** Presumably the small data assumption can be removed, but the usual methods to do this fail because there are too many time derivatives in the non-linearity in the temporal gauge.
 
** Presumably the small data assumption can be removed, but the usual methods to do this fail because there are too many time derivatives in the non-linearity in the temporal gauge.
** For s \geq 1 in the Temporal or Coulomb gauges LWP for large data was shown in [[references:KlMa1995 KlMa1995]].
+
** For s \geq 1 in the Temporal or Coulomb gauges LWP for large data was shown in [[Bibliography#KlMa1995|KlMa1995]].
** For s > 1 LWP for the Temporal, Coulomb, or Lorentz gauges follows from Strichartz estimates [[references:PoSi1993 PoSi1993]].
+
** For s > 1 LWP for the Temporal, Coulomb, or Lorentz gauges follows from Strichartz estimates [[Bibliography#PoSi1993|PoSi1993]].
** For s > 3/2 LWP for the Temporal, Coulomb, or Lorentz gauges follows from energy estimates [[references:EaMc1982 EaMc1982]].
+
** For s > 3/2 LWP for the Temporal, Coulomb, or Lorentz gauges follows from energy estimates [[Bibliography#EaMc1982|EaMc1982]].
 
** There is a tentative conjecture that one in fact has ill-posedness in the energy class for the Lorentz gauge.
 
** There is a tentative conjecture that one in fact has ill-posedness in the energy class for the Lorentz gauge.
 
** For the model equation LWP fails for s < 3/4 [MaStz-p]
 
** For the model equation LWP fails for s < 3/4 [MaStz-p]
 
** The endpoint s=1/2 looks extremely difficult, even for Besov space variants.
 
** The endpoint s=1/2 looks extremely difficult, even for Besov space variants.
* GWP is known for data with finite Hamiltonian (morally, this is for s \geq 1) in the Coloumb or Temporal gauges [[references:KlMa1995 KlMa1995]].
+
* GWP is known for data with finite Hamiltonian (morally, this is for s \geq 1) in the Coloumb or Temporal gauges [[Bibliography#KlMa1995|KlMa1995]].
** For smooth data this was proven in [[references:EaMc1982 EaMc1982]].
+
** For smooth data this was proven in [[Bibliography#EaMc1982|EaMc1982]].
*** This result was extended to curved space in [[references:CcSa1997 CcSa1997]]
+
*** This result was extended to curved space in [[Bibliography#CcSa1997|CcSa1997]]
 
** It seems likely that one can improve this to something like s>7/8, in analogy with the [#mkg_on_R^3 theory for the Maxwell-Klein-Gordon equation].
 
** It seems likely that one can improve this to something like s>7/8, in analogy with the [#mkg_on_R^3 theory for the Maxwell-Klein-Gordon equation].
  
Line 823: Line 823:
 
* Scaling is s_c = 1.
 
* Scaling is s_c = 1.
 
* For the MKG equations in the Coulomb gauge, LWP is known for s > 1 [Sb-p5]. This is still not known for Yang-Mills.
 
* For the MKG equations in the Coulomb gauge, LWP is known for s > 1 [Sb-p5]. This is still not known for Yang-Mills.
** For the model equations this is in [[references:KlTt1999 KlTt1999]]
+
** For the model equations this is in [[Bibliography#KlTt1999|KlTt1999]]
*** For general quadratic DNLW this is only known for s > 5/4 (e.g. by the estimates in [[references:FcKl2000 FcKl2000]]). Strichartz estimates need s > 3/2 [[references:PoSi1993 PoSi1993]], while energy estimates need s > 2.
+
*** For general quadratic DNLW this is only known for s > 5/4 (e.g. by the estimates in [[Bibliography#FcKl2000|FcKl2000]]). Strichartz estimates need s > 3/2 [[Bibliography#PoSi1993|PoSi1993]], while energy estimates need s > 2.
 
** The latter two results (Strichartz and energy) easily extend to the actual MKG and YM equations in all three standard gauges.
 
** The latter two results (Strichartz and energy) easily extend to the actual MKG and YM equations in all three standard gauges.
 
* It is conjectured that one has global well-posedness results for small energy, but this is open.
 
* It is conjectured that one has global well-posedness results for small energy, but this is open.
 
** For small smooth compactly supported data, one can obtain global existence from the [#gwp_qnlw general theory of quasi-linear equations].
 
** For small smooth compactly supported data, one can obtain global existence from the [#gwp_qnlw general theory of quasi-linear equations].
** For large data Yang-Mills, numerics suggest that blowup does occur, with the solution resembling a rescaled instanton at each time [[references:BizTb2001 BizTb2001]], [Biz-p].
+
** For large data Yang-Mills, numerics suggest that blowup does occur, with the solution resembling a rescaled instanton at each time [[Bibliography#BizTb2001|BizTb2001]], [Biz-p].
 
*** Further numerics suggests that the radius of the instanton in fact decays like C t / sqrt(log t) [[references:BizOvSi BizOvSi-p]].
 
*** Further numerics suggests that the radius of the instanton in fact decays like C t / sqrt(log t) [[references:BizOvSi BizOvSi-p]].
 
** GWP for small B^{1,1} data (with an additional angular derivative of regularity) in the Lorentz gauge is in [Stz-p2].
 
** GWP for small B^{1,1} data (with an additional angular derivative of regularity) in the Lorentz gauge is in [Stz-p2].
Line 840: Line 840:
 
* Scaling is s_c = n/2 - 1.
 
* Scaling is s_c = n/2 - 1.
 
* LWP is almost certainly true for MKG-CG for s > s_c by adapting the results in [Sb-p5]. The corresponding question for Yang-Mills is still open.
 
* LWP is almost certainly true for MKG-CG for s > s_c by adapting the results in [Sb-p5]. The corresponding question for Yang-Mills is still open.
** For the model equations one can probably achieve this by adapting the results in [[references:Tt1999 Tt1999]]
+
** For the model equations one can probably achieve this by adapting the results in [[Bibliography#Tt1999|Tt1999]]
 
* For dimensions n\geq 6, GWP for small H^{n/2} data in MKG-CG is in [RoTa-p]. The corresponding question for Yang-Mills is still open, but a Besov result follows (in the Lorentz gauge) from [Stz-p3].
 
* For dimensions n\geq 6, GWP for small H^{n/2} data in MKG-CG is in [RoTa-p]. The corresponding question for Yang-Mills is still open, but a Besov result follows (in the Lorentz gauge) from [Stz-p3].
  
Line 851: Line 851:
 
* Suppose the potential energy V( f ) behaves like | f <nowiki>|^{p+1} (i.e. defocussing p^th power non-linearity). When p\leq3, the Higgs term is negligible, and the theory mimics that of the ordinary Yang-Mills equation. The most interesting case is p=5, since the Higgs component is then H^1-critical.</nowiki>
 
* Suppose the potential energy V( f ) behaves like | f <nowiki>|^{p+1} (i.e. defocussing p^th power non-linearity). When p\leq3, the Higgs term is negligible, and the theory mimics that of the ordinary Yang-Mills equation. The most interesting case is p=5, since the Higgs component is then H^1-critical.</nowiki>
 
* There is no perfect scale-invariance to this equation (unless p=3); the critical regularity is s_c = max(1/2, 3/2 - 2/(p-1))
 
* There is no perfect scale-invariance to this equation (unless p=3); the critical regularity is s_c = max(1/2, 3/2 - 2/(p-1))
* In the sub-critical case p<5 one has GWP for smooth data [[references:EaMc1982 EaMc1982]], [[references:GiVl1982b GiVl1981]]. This can be pushed to H^1 by the results in [[references:Ke1997 Ke1997]]. The local theory might be pushed even further.
+
* In the sub-critical case p<5 one has GWP for smooth data [[Bibliography#EaMc1982|EaMc1982]], [[references:GiVl1982b GiVl1981]]. This can be pushed to H^1 by the results in [[Bibliography#Ke1997|Ke1997]]. The local theory might be pushed even further.
* In the critical case p=5 one has GWP for s \geq 1 [[references:Ke1997 Ke1997]].
+
* In the critical case p=5 one has GWP for s \geq 1 [[Bibliography#Ke1997|Ke1997]].
 
* In the supercritical case p>5 one probably has LWP for s \geq s_c (because this is true for the Yang-Mills and NLW equations separately), but this has not been rigorously shown. No large data global results are known, but this is also true for the supposedly simpler supercritical NLW. It seems possible however that one could obtain small-data GWP results.
 
* In the supercritical case p>5 one probably has LWP for s \geq s_c (because this is true for the Yang-Mills and NLW equations separately), but this has not been rigorously shown. No large data global results are known, but this is also true for the supposedly simpler supercritical NLW. It seems possible however that one could obtain small-data GWP results.
  
Line 897: Line 897:
 
* Scaling is s_c = 0.
 
* Scaling is s_c = 0.
 
* Heuristically, one expects X^{s,\delta} methods to give LWP for s > 1/4, but we do not know if this has been done rigorously.
 
* Heuristically, one expects X^{s,\delta} methods to give LWP for s > 1/4, but we do not know if this has been done rigorously.
** Strichartz estimates give s > 1/2 [[references:PoSi1993 PoSi1993]], while energy methods give s>1.
+
** Strichartz estimates give s > 1/2 [[Bibliography#PoSi1993|PoSi1993]], while energy methods give s>1.
* GWP is known for smooth data in the temporal gauge [[references:Mc1980 Mc1980]].
+
* GWP is known for smooth data in the temporal gauge [[Bibliography#Mc1980|Mc1980]].
 
** This should extend to s \geq 1 and probably below, but we do not know if this is in the literature.
 
** This should extend to s \geq 1 and probably below, but we do not know if this is in the literature.
  
Line 912: Line 912:
 
* LWP for s>1/2 in the Coulomb Gauge [MaStz-p]
 
* LWP for s>1/2 in the Coulomb Gauge [MaStz-p]
 
** For the model equation LWP fails for s < 3/4 [MaStz-p]. Thus the MKG result exploits additional structure in the MKG equation which is not present in the model equation.
 
** For the model equation LWP fails for s < 3/4 [MaStz-p]. Thus the MKG result exploits additional structure in the MKG equation which is not present in the model equation.
** For s>3/4 this was proven in the Coloumb gauge in [[references:Cu1999 Cu1999]].
+
** For s>3/4 this was proven in the Coloumb gauge in [[Bibliography#Cu1999|Cu1999]].
** For s\geq1 this was proven in the Coulomb and Temporal gauges in [[references:KlMa1994 KlMa1994]].
+
** For s\geq1 this was proven in the Coulomb and Temporal gauges in [[Bibliography#KlMa1994|KlMa1994]].
** For s>1 this follows (in any of the three gauges) from Strichartz estimates [[references:PoSi1993 PoSi1993]]
+
** For s>1 this follows (in any of the three gauges) from Strichartz estimates [[Bibliography#PoSi1993|PoSi1993]]
 
** For s>3/2 this follows (in any of the three gauges) from energy estimates.
 
** For s>3/2 this follows (in any of the three gauges) from energy estimates.
 
** There is a tentative conjecture that one in fact has ill-posedness in the energy class for the Lorentz gauge.
 
** There is a tentative conjecture that one in fact has ill-posedness in the energy class for the Lorentz gauge.
 
** The endpoint s=1/2 looks extremely difficult, even for the model equation. Perhaps things would be easier if one only had to deal with the null form  Ñ ^{-1} Q( f ,  f ), as this is slightly smoother than Q( Ñ ^{-1}A,  f ).
 
** The endpoint s=1/2 looks extremely difficult, even for the model equation. Perhaps things would be easier if one only had to deal with the null form  Ñ ^{-1} Q( f ,  f ), as this is slightly smoother than Q( Ñ ^{-1}A,  f ).
 
* GWP for s>7/8 in the Coloumb gauge [[references:KeTa-p KeTa-p]].
 
* GWP for s>7/8 in the Coloumb gauge [[references:KeTa-p KeTa-p]].
** For s\geq 1 this was proven in [[references:KlMa1997 KlMa1997]].
+
** For s\geq 1 this was proven in [[Bibliography#KlMa1997|KlMa1997]].
** For smooth data this was proven in [[references:EaMc1982 EaMc1982]].
+
** For smooth data this was proven in [[Bibliography#EaMc1982|EaMc1982]].
* For physical applications it is of interest to study MKG when the scalar field  f  propagates with a strictly slower velocity than the electromagnetic field A. In this case one cannot exploit the null form estimates; nevertheless, the estimates are more favourable, mainly because the two light cones are now transverse. Indeed, one has GWP for s\geq1 in all three standard gauges [[references:Tg2000 Tg2000]]. The local and global theory for this equation may well be improvable.
+
* For physical applications it is of interest to study MKG when the scalar field  f  propagates with a strictly slower velocity than the electromagnetic field A. In this case one cannot exploit the null form estimates; nevertheless, the estimates are more favourable, mainly because the two light cones are now transverse. Indeed, one has GWP for s\geq1 in all three standard gauges [[Bibliography#Tg2000|Tg2000]]. The local and global theory for this equation may well be improvable.
* In the nonrelativistic limit this equation converges to a Maxwell-Poisson system [[references:MasNa2003 MasNa2003]]
+
* In the nonrelativistic limit this equation converges to a Maxwell-Poisson system [[Bibliography#MasNa2003|MasNa2003]]
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 939: Line 939:
  
 
* Scaling is (s_1, s_2) = (n/2-3/2, n/2-1).
 
* Scaling is (s_1, s_2) = (n/2-3/2, n/2-1).
* When n=1, there is GWP for small smooth data [[references:Chd1973 Chd1973]]
+
* When n=1, there is GWP for small smooth data [[Bibliography#Chd1973|Chd1973]]
* When n=3 there is LWP for (s_1, s_2) = (1, 1) in the Coulomb gauge [[references:Bou1999 Bou1999]], and for (s_1, s_2) = (1/2+, 1+) in the Lorentz gauge [[references:Bou1996 Bou1996]]
+
* When n=3 there is LWP for (s_1, s_2) = (1, 1) in the Coulomb gauge [[Bibliography#Bou1999|Bou1999]], and for (s_1, s_2) = (1/2+, 1+) in the Lorentz gauge [[Bibliography#Bou1996|Bou1996]]
** For (s_1, s_2) = (1,2) in the Coulomb gauge this is in [[references:Bou1996 Bou1996]]
+
** For (s_1, s_2) = (1,2) in the Coulomb gauge this is in [[Bibliography#Bou1996|Bou1996]]
 
** This has recently been improved by Selberg to (1/4+, 1). Note that for technical reasons, lower-regularity results do not automatically imply higher ones when the regularity of one field (e.g. A) is kept fixed.
 
** This has recently been improved by Selberg to (1/4+, 1). Note that for technical reasons, lower-regularity results do not automatically imply higher ones when the regularity of one field (e.g. A) is kept fixed.
** LWP for smooth data was obtained in [[references:Grs1966 Grs1966]]
+
** LWP for smooth data was obtained in [[Bibliography#Grs1966|Grs1966]]
** GWP for small smooth data was obtained in [[references:Ge1991 Ge1991]]
+
** GWP for small smooth data was obtained in [[Bibliography#Ge1991|Ge1991]]
 
* When n=4, GWP for small smooth data is known (Psarelli?)
 
* When n=4, GWP for small smooth data is known (Psarelli?)
  
In the nonrelativistic limit this equation converges to a Maxwell-Poisson system for data in the energy space [BecMauSb-p2]; furthermore one has a local well-posedness result which grows logarithmically in the asymptotic parameter. Earlier work appears in [[references:MasNa2003 MasNa2003]].
+
In the nonrelativistic limit this equation converges to a Maxwell-Poisson system for data in the energy space [BecMauSb-p2]; furthermore one has a local well-posedness result which grows logarithmically in the asymptotic parameter. Earlier work appears in [[Bibliography#MasNa2003|MasNa2003]].
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 966: Line 966:
  
 
* Scaling is (s_1, s_2) = (n/2-3/2, n/2-1).
 
* Scaling is (s_1, s_2) = (n/2-3/2, n/2-1).
* When n=1 there is GWP for (s_1,s_2) = (1,1) [[references:Chd1973 Chd1973]], [[references:Bou2000 Bou2000]] and LWP for (s_1, s_2) = (0, 1/2) [[references:Bou2000 Bou2000]].
+
* When n=1 there is GWP for (s_1,s_2) = (1,1) [[Bibliography#Chd1973|Chd1973]], [[Bibliography#Bou2000|Bou2000]] and LWP for (s_1, s_2) = (0, 1/2) [[Bibliography#Bou2000|Bou2000]].
* When n=2 there are some LWP results in [[references:Bou2001 Bou2001]]
+
* When n=2 there are some LWP results in [[Bibliography#Bou2001|Bou2001]]
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 982: Line 982:
  
 
* Scaling is s_c =1 (at least in the massless case m=0).
 
* Scaling is s_c =1 (at least in the massless case m=0).
* In R^3, LWP is known for H^s when s > 1 [[references:EscVe1997 EscVe1997]]
+
* In R^3, LWP is known for H^s when s > 1 [[Bibliography#EscVe1997|EscVe1997]]
 
** This can be improved to LWP in H^1 (and GWP for small H^1 data) if an epsilon of additional regularity as assumed in the radial variable [MacNkrNaOz-p]; in particular one has GWP for radial H^1 data.
 
** This can be improved to LWP in H^1 (and GWP for small H^1 data) if an epsilon of additional regularity as assumed in the radial variable [MacNkrNaOz-p]; in particular one has GWP for radial H^1 data.
 
* In R^3, GWP is known for small H^s data when s > 1 [MacNaOz-p2].Some results on the nonrelativistic limit of this equation are also obtained in that paper.
 
* In R^3, GWP is known for small H^s data when s > 1 [MacNaOz-p2].Some results on the nonrelativistic limit of this equation are also obtained in that paper.
Line 1,020: Line 1,020:
 
Energy estimates show that the general DDNLW equation is locally well-posed in H^s for s > s_c + 1. Using Strichartz estimates this can be improved to s > s_c + 3/4 in two dimensions and s > s_c + 1/2 in three and higher dimensions; the point is that these regularity assumptions together with Strichartz allow one to put  f  into L<sup>2</sup>_t L^ ¥ _x (or L^4_t L^ ¥ _x in two dimensions), so that one can then use the energy method.
 
Energy estimates show that the general DDNLW equation is locally well-posed in H^s for s > s_c + 1. Using Strichartz estimates this can be improved to s > s_c + 3/4 in two dimensions and s > s_c + 1/2 in three and higher dimensions; the point is that these regularity assumptions together with Strichartz allow one to put  f  into L<sup>2</sup>_t L^ ¥ _x (or L^4_t L^ ¥ _x in two dimensions), so that one can then use the energy method.
  
Using X^{s,b} estimates [[references:FcKl2000 FcKl2000]] instead of Strichartz estimates, one can improve this further to s > s_c + 1/4 in four dimensions and to the near-optimal s > s_c in five and higher dimensions [[references:Tt1999 Tt1999]].
+
Using X^{s,b} estimates [[Bibliography#FcKl2000|FcKl2000]] instead of Strichartz estimates, one can improve this further to s > s_c + 1/4 in four dimensions and to the near-optimal s > s_c in five and higher dimensions [[Bibliography#Tt1999|Tt1999]].
  
Without any further assumptions on the non-linearity, these results are sharp in 3 dimensions; more precisely, one generically has ill-posedness in H<sup>2</sup> [[references:Lb1993 Lb1993]], although one can recover well-posedness in the Besov space B<sup>2</sup>_{2,1} [[references:Na1999 Na1999]], or with an epsilon of radial regularity [MacNkrNaOz-p]. It would be interesting to determine what the situation is in the other low dimensions.
+
Without any further assumptions on the non-linearity, these results are sharp in 3 dimensions; more precisely, one generically has ill-posedness in H<sup>2</sup> [[Bibliography#Lb1993|Lb1993]], although one can recover well-posedness in the Besov space B<sup>2</sup>_{2,1} [[Bibliography#Na1999|Na1999]], or with an epsilon of radial regularity [MacNkrNaOz-p]. It would be interesting to determine what the situation is in the other low dimensions.
  
If the quadratic non-linearity ( Ñf )<sup>2</sup> is of the form Q_0( f , f ) (or of a null form of similar strength) then the LWP theory can be pushed to s > s_c in all dimensions (see [KlMa1997], [KlMa1997b] for d >= 4, [[references:KlSb1997 KlSb1997]] for d \geq 2, and [[references:KeTa1998b KeTa1998b]] for d=1).
+
If the quadratic non-linearity ( Ñf )<sup>2</sup> is of the form Q_0( f , f ) (or of a null form of similar strength) then the LWP theory can be pushed to s > s_c in all dimensions (see [KlMa1997], [KlMa1997b] for d >= 4, [[Bibliography#KlSb1997|KlSb1997]] for d \geq 2, and [[Bibliography#KeTa1998b|KeTa1998b]] for d=1).
  
 
If  G ( f ) is constant and d is at least 4, then one has GWP outside of convex obstacles [Met-p2]
 
If  G ( f ) is constant and d is at least 4, then one has GWP outside of convex obstacles [Met-p2]
  
* For d \geq 6 this is in [[references:ShbTs1986 ShbTs1986]]; for d \geq 4 and the case of a ball this is in [[references:Ha1995 Ha1995]].
+
* For d \geq 6 this is in [[Bibliography#ShbTs1986|ShbTs1986]]; for d \geq 4 and the case of a ball this is in [[Bibliography#Ha1995|Ha1995]].
 
* Without an obstacle, one can use the [#gwp_qnlw general theory of quasilinear NLW].
 
* Without an obstacle, one can use the [#gwp_qnlw general theory of quasilinear NLW].
  
Line 1,065: Line 1,065:
 
where  f  is viewed in Cartesian co-ordinates (and must therefore obey | f <nowiki>|=1 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  f  is viewed in Cartesian co-ordinates (and must therefore obey | f <nowiki>|=1 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. [[references:BgCcMc1995 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. [[Bibliography#BgCcMc1995|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^ ¥ , 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^ ¥ , so one cannot localize to a small co-ordinate patch (or perform algebraic operations properly).
Line 1,077: Line 1,077:
 
*** 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 [[references:SaSw2001 SaSw2001]] and [[references:NdStvUh2003b NdStvUh2003b]]. In the constant curvature case one also has global well-posedness for small data in H^{n/2} [[references:NdStvUh2003b NdStvUh2003b]]. This can be extended to manifolds with bounded second fundamental form [[references:SaSw2001 SaSw2001]].
+
*** 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=3 when the target is a Riemann surface [[references: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 [[Bibliography#Kri2003|Kri2003]], and to d=2 for hyperbolic space [Kri-p]
** For the critical Besov space B^{d/2,1}_2 this is in [[references:Tt1998 Tt1998]] when d \geq 4 and [[references:Tt2001b Tt2001b]] when d\geq2. (See also [[references: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 [[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.
** In the sub-critical spaces H^s, s > d/2 this was shown in [[references:KlMa1995b KlMa1995b]] for the d\geq4 case and in [[references:KlSb1997 KlSb1997]] for d\geq2.
+
** 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.
*** For the model wave map equation this was shown for d\geq3 in [[references:KlMa1997b KlMa1997b]].
+
*** For the model wave map equation this was shown for d\geq3 in [[Bibliography#KlMa1997b|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 [[references:Na1999 Na1999]], [[references: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 [[Bibliography#Na1999|Na1999]], [[Bibliography#Ta2000|Ta2000]]
** GWP is also known for smooth data close to a geodesic [[references:Si1989 Si1989]]. For smooth data close to a point this was in [[references:Cq1987 Cq1987]].
+
** 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]].
* For d \geq 3 singularities can form from large data, even when the data is smooth and rotationally symmetric [[references:CaSaTv1998 CaSaTv1998]]
+
* For d \geq 3 singularities can form from large data, even when the data is smooth and rotationally symmetric [[Bibliography#CaSaTv1998|CaSaTv1998]]
** For d=3 this was proven in [[references:Sa1988 Sa1988]]
+
** For d=3 this was proven in [[Bibliography#Sa1988|Sa1988]]
** For d\geq7 one can have singularities even when the target has negative curvature [[references:CaSaTv1998 CaSaTv1998]]
+
** For d\geq7 one can have singularities even when the target has negative curvature [[Bibliography#CaSaTv1998|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 [[references:Sw1997 Sw1997]], [[references:SaSw1998 SaSw1998]], [KlSb-p].
+
For further references see [[Bibliography#Sw1997|Sw1997]], [[Bibliography#SaSw1998|SaSw1998]], [KlSb-p].
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 1,098: Line 1,098:
  
 
* Scaling is s_c = 1/2.
 
* Scaling is s_c = 1/2.
* LWP in H^s for s > 1/2 [[references:KeTa1998b KeTa1998b]]
+
* LWP in H^s for s > 1/2 [[Bibliography#KeTa1998b|KeTa1998b]]
 
** Proven for s \geq 1 in [Zh-p]
 
** Proven for s \geq 1 in [Zh-p]
 
** Proven for s > 3/2 by energy methods
 
** Proven for s > 3/2 by energy methods
** One also has LWP in the space L^1_1 [[references:KeTa1998b KeTa1998b]]. Interpolants of this with the H^s results are probably possible.
+
** One also has LWP in the space L^1_1 [[Bibliography#KeTa1998b|KeTa1998b]]. Interpolants of this with the H^s results are probably possible.
** One has ill-posedness for H^{1/2}, and similarly for Besov spaces near H^{1/2} such as B^{1/2,1}_2 [[references:Na1999 Na1999]], [[references:Ta2000 Ta2000]]. However, the ill-posedness is not an instance of blowup, only of a discontinuous solution map, and perhaps a weaker notion of solution still exists and is unique.
+
** One has ill-posedness for H^{1/2}, and similarly for Besov spaces near H^{1/2} such as B^{1/2,1}_2 [[Bibliography#Na1999|Na1999]], [[Bibliography#Ta2000|Ta2000]]. However, the ill-posedness is not an instance of blowup, only of a discontinuous solution map, and perhaps a weaker notion of solution still exists and is unique.
* GWP in H^s for s>3/4 [[references:KeTa1998b KeTa1998b]] when the target manifold is a sphere
+
* GWP in H^s for s>3/4 [[Bibliography#KeTa1998b|KeTa1998b]] when the target manifold is a sphere
** Was proven for s \geq 1 in [[references:Zh1999 Zh1999]] for general manifolds
+
** Was proven for s \geq 1 in [[Bibliography#Zh1999|Zh1999]] for general manifolds
** Was proven for s \geq 2 for general manifolds in [[references:Gu1980 Gu1980]], [[references:LaSh1981 LaSh1981]], [[references:GiVl1982 GiVl1982]], [[references:Sa1988 Sa1988]]
+
** Was proven for s \geq 2 for general manifolds in [[Bibliography#Gu1980|Gu1980]], [[Bibliography#LaSh1981|LaSh1981]], [[Bibliography#GiVl1982|GiVl1982]], [[Bibliography#Sa1988|Sa1988]]
** One also has GWP and scattering in L^1_1. [[references:KeTa1998b KeTa1998b]] One probably also has asymptotic completeness.
+
** One also has GWP and scattering in L^1_1. [[Bibliography#KeTa1998b|KeTa1998b]] One probably also has asymptotic completeness.
** Scattering fails when the initial velocity is not conditionally integrable [[references:KeTa1998b KeTa1998b]].
+
** Scattering fails when the initial velocity is not conditionally integrable [[Bibliography#KeTa1998b|KeTa1998b]].
 
** It should be possible to improve the s>3/4 result by correction term methods, and perhaps to obtain interpolants with the L^{1,1} result. One should also be able to extend to general manifolds.
 
** It should be possible to improve the s>3/4 result by correction term methods, and perhaps to obtain interpolants with the L^{1,1} result. One should also be able to extend to general manifolds.
 
* ''Remark''<nowiki>: The non-linear term has absolutely no smoothing properties, because of the double derivative in the non-linearity and the lack of dispersion in the one-dimensional case.</nowiki>
 
* ''Remark''<nowiki>: The non-linear term has absolutely no smoothing properties, because of the double derivative in the non-linearity and the lack of dispersion in the one-dimensional case.</nowiki>
* ''Remark''<nowiki>: The equation is completely integrable [</nowiki>[references:Pm1976 Pm1976]], but not in the same way as KdV, mKdV or 1D NLS. (The additional conserved quantities do not control H^s norms, but rather the pointwise distribution of the energy. Indeed, the energy density itself obeys the free wave equation!).When the target is a symmetric space, homoclinic periodic multisoliton solutions were constructed in [TeUh-p2].
+
* ''Remark''<nowiki>: The equation is completely integrable [</nowiki>[Bibliography#Pm1976|Pm1976]], but not in the same way as KdV, mKdV or 1D NLS. (The additional conserved quantities do not control H^s norms, but rather the pointwise distribution of the energy. Indeed, the energy density itself obeys the free wave equation!).When the target is a symmetric space, homoclinic periodic multisoliton solutions were constructed in [TeUh-p2].
* Remark: When the target manifold is S<sup>2</sup>, the wave map equation is related to the [#Sine-Gordon sine-Gordon equation] [[references:Pm1976 Pm1976]].Homoclinic periodic breather solutions were constructed in [[references:SaSr1996 SaSr1996]].
+
* Remark: When the target manifold is S<sup>2</sup>, the wave map equation is related to the [#Sine-Gordon sine-Gordon equation] [[Bibliography#Pm1976|Pm1976]].Homoclinic periodic breather solutions were constructed in [[Bibliography#SaSr1996|SaSr1996]].
 
* When the target is a Lorentzian manifold, local existence for smooth solutions was established in [Cq-p2].A criterion on the target manifold to guarantee global existence of smooth solutions is in [Woo-p]; however if the target manifold is the Lorentz sphere S^{1,n-1} then there is a large class of data which blows up [Woo-p].
 
* When the target is a Lorentzian manifold, local existence for smooth solutions was established in [Cq-p2].A criterion on the target manifold to guarantee global existence of smooth solutions is in [Woo-p]; however if the target manifold is the Lorentz sphere S^{1,n-1} then there is a large class of data which blows up [Woo-p].
  
Line 1,122: Line 1,122:
 
* Scaling is s_c = 1 (energy-critical).
 
* Scaling is s_c = 1 (energy-critical).
 
* LWP in H^1 [Tt-p2]
 
* LWP in H^1 [Tt-p2]
** For B^{1,1}_2 this is in [[references:Tt2001b Tt2001b]].
+
** For B^{1,1}_2 this is in [[Bibliography#Tt2001b|Tt2001b]].
** LWP in H^s, s>1 was shown in [[references:KlSb1997 KlSb1997]].
+
** LWP in H^s, s>1 was shown in [[Bibliography#KlSb1997|KlSb1997]].
 
** For s>7/4 this can be shown by Strichartz methods.
 
** For s>7/4 this can be shown by Strichartz methods.
 
** For s>2 this can be shown by energy estimates.
 
** For s>2 this can be shown by energy estimates.
Line 1,129: Line 1,129:
 
** When the target manifold is H^2, regularity was obtained by Krieger [Kri-p]
 
** 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 [Ta-p6]
 
** When the target manifold is a sphere, regularity was obtained in [Ta-p6]
** For small B^{1,1}_2 data GWP is in [[references:Tt2001b Tt2001b]]
+
** For small B^{1,1}_2 data GWP is in [[Bibliography#Tt2001b|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 [[references#SaSw1993 SaSw1993]], [Sw-p2]; see also [[references:SaTv1992 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 [[references:BizCjTb2001 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 [[references:AcIb2000 AcIb2000]].
+
** 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 [[references#SaSw1993 SaSw1993]], [Sw-p2]; see also [[Bibliography#SaTv1992|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 [[Bibliography#BizCjTb2001|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 [[Bibliography#AcIb2000|AcIb2000]].
** Regularity is also known for large smooth radial data [[references:CdTv1993 CdTv1993]] assuming a convexity condition on the target manifold. This convexity condition was relaxed in [[references:Sw2002 Sw2002]], and then removed completely in [[references:Sw2003 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 [[references:CdTv1993b CdTv1993b]]
+
** Regularity is also known for large smooth radial data [[Bibliography#CdTv1993|CdTv1993]] assuming a convexity condition on the target manifold. This convexity condition was relaxed in [[Bibliography#Sw2002|Sw2002]], and then removed completely in [[Bibliography#Sw2003|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 [[Bibliography#CdTv1993b|CdTv1993b]]
 
** 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.
 
** 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, numerical evidence seems to suggest energy concentration and singularity formulation for large equivariant data [IbLie-p].In the equivariant case, examples of blowup in H^{1+eps} on domains |x|^alpha < t can be constructed if one adds a forcing term on the right-hand side [GeIv-p]
 
*** When the target manifold is a sphere, numerical evidence seems to suggest energy concentration and singularity formulation for large equivariant data [IbLie-p].In the equivariant case, examples of blowup in H^{1+eps} on domains |x|^alpha < t can be constructed if one adds a forcing term on the right-hand side [GeIv-p]
** Global weak solutions are known for large energy data [[references:MuSw1996 MuSw1996]], [[references:FrMuSw1998 FrMuSw1998]], but as far as is known these solutions might develop singularities or become "ghost" solutions.
+
** Global weak solutions are known for large energy data [[Bibliography#MuSw1996|MuSw1996]], [[Bibliography#FrMuSw1998|FrMuSw1998]], but as far as is known these solutions might develop singularities or become "ghost" solutions.
* When the domain and target are S<sup>2</sup>, stationary-rotating solutions exist and are stable with respect to corotational perturbations [[references:SaTv1997 SaTv1997]]
+
* When the domain and target are S<sup>2</sup>, stationary-rotating solutions exist and are stable with respect to corotational perturbations [[Bibliography#SaTv1997|SaTv1997]]
 
* BMO-type estimates on distance functions were obtained in [[references#Gl1998 Gl1998]]
 
* BMO-type estimates on distance functions were obtained in [[references#Gl1998 Gl1998]]
  
Line 1,152: Line 1,152:
 
Quasilinear NLWs appear frequently in general relativity. The most famous example is the [#Einstein Einstein equations], but there are others (coming from relativistic elasticity, hydrodynamics, [#Minimal_Surface_Equation minimal surfaces], etc. [Ed: anyone willing to contribute information on these other equations (even just their name and form) would be greatly appreciated.]). The most interesting dimension is of course the physical dimension d=3.
 
Quasilinear NLWs appear frequently in general relativity. The most famous example is the [#Einstein Einstein equations], but there are others (coming from relativistic elasticity, hydrodynamics, [#Minimal_Surface_Equation minimal surfaces], etc. [Ed: anyone willing to contribute information on these other equations (even just their name and form) would be greatly appreciated.]). The most interesting dimension is of course the physical dimension d=3.
  
Classically one has LWP for H^s when s > d/2+1 [[references:HuKaMar1977 HuKaMar1977]], but the [#dnlw semilinear theory] suggests that we should be able to improve this to s > s_c = d/2 with a null condition, and to s > d/2 + max(1/2, (d-5)/4) without one (these results would be sharp even in the semilinear case). In principle Strichartz estimates should be able to push down to s > d/2 + 1/2, but only partial results of this type are known. Specifically:
+
Classically one has LWP for H^s when s > d/2+1 [[Bibliography#HuKaMar1977|HuKaMar1977]], but the [#dnlw semilinear theory] suggests that we should be able to improve this to s > s_c = d/2 with a null condition, and to s > d/2 + max(1/2, (d-5)/4) without one (these results would be sharp even in the semilinear case). In principle Strichartz estimates should be able to push down to s > d/2 + 1/2, but only partial results of this type are known. Specifically:
  
 
* When d=2 one has LWP in the expected range s > d/2 + 3/4 without a null condition [SmTt-p]
 
* When d=2 one has LWP in the expected range s > d/2 + 3/4 without a null condition [SmTt-p]
 
** For s > d/2 + 3/4 + 1/12 this is in [Tt-p5] (using the FBI transform).
 
** For s > d/2 + 3/4 + 1/12 this is in [Tt-p5] (using the FBI transform).
** For s > d/2 + 3/4 + 1/8 this is in [[references:BaCh1999 BaCh1999]] (using FIOs) and [[references:Tt2000 Tt2000]] (using the FBI transform).
+
** For s > d/2 + 3/4 + 1/8 this is in [[Bibliography#BaCh1999|BaCh1999]] (using FIOs) and [[Bibliography#Tt2000|Tt2000]] (using the FBI transform).
 
* When d=3,4,5 one has LWP for s > d/2 + 1/2 [SmTt-p] (using parametrices and the equation for the metric); in the specific case of the [Einstein%20equations Einstein equations] see [KlRo-p3], [KlRo-p4], [KlRo-p5] (using vector fields and the equation for the metric)
 
* When d=3,4,5 one has LWP for s > d/2 + 1/2 [SmTt-p] (using parametrices and the equation for the metric); in the specific case of the [Einstein%20equations Einstein equations] see [KlRo-p3], [KlRo-p4], [KlRo-p5] (using vector fields and the equation for the metric)
 
** For s > d/2 + 1/2 + 1/7 (approx) and d=3 this is in [KlRo-p2] (vector fields and the equation for the metric)
 
** For s > d/2 + 1/2 + 1/7 (approx) and d=3 this is in [KlRo-p2] (vector fields and the equation for the metric)
 
** For s > d/2 + 1/2 + 1/6 and d=3 this is in [Tt-p5] (using the FBI transform).
 
** For s > d/2 + 1/2 + 1/6 and d=3 this is in [Tt-p5] (using the FBI transform).
 
** For s > d/2 + 1/2 + 1/5 (approx) and d=3 this is in [Kl-p2] (vector fields methods).
 
** For s > d/2 + 1/2 + 1/5 (approx) and d=3 this is in [Kl-p2] (vector fields methods).
** For s > d/2 + 1/2 + 1/4 and d\geq 3 this is in [[references:BaCh1999 BaCh1999]] (using FIOs) and [[references:Tt2000 Tt2000]] (using the FBI transform). See also [[references:BaCh1999b BaCh1999b]].
+
** For s > d/2 + 1/2 + 1/4 and d\geq 3 this is in [[Bibliography#BaCh1999|BaCh1999]] (using FIOs) and [[Bibliography#Tt2000|Tt2000]] (using the FBI transform). See also [[Bibliography#BaCh1999b|BaCh1999b]].
  
A special type of QNLW is the cubic equations, where g itself obeys an elliptic equaton of the form Delta g = |Du|^2, and the non-linearity is of the form Dg Du. For such equations, we have LPW for s > d/2 + 1/6 when d \geq 4 [BaCh-p], [[references:BaCh2002 BaCh2002]]. This equation has some similarity with the differentiated wave map equation in the Coulomb gauge.
+
A special type of QNLW is the cubic equations, where g itself obeys an elliptic equaton of the form Delta g = |Du|^2, and the non-linearity is of the form Dg Du. For such equations, we have LPW for s > d/2 + 1/6 when d \geq 4 [BaCh-p], [[Bibliography#BaCh2002|BaCh2002]]. This equation has some similarity with the differentiated wave map equation in the Coulomb gauge.
  
 
For small smooth compactly supported data of size  e  and smooth non-linearities, the GWP theory for QNLW is as follows.
 
For small smooth compactly supported data of size  e  and smooth non-linearities, the GWP theory for QNLW is as follows.
  
* If the non-linearity is a null form, then one has GWP for d\geq3; in fact one can take the data in a weighted Sobolev space H^{4,3} x H^{3,4} [[references:Cd1986 Cd1986]].
+
* If the non-linearity is a null form, then one has GWP for d\geq3; in fact one can take the data in a weighted Sobolev space H^{4,3} x H^{3,4} [[Bibliography#Cd1986|Cd1986]].
** Without the null structure, one has almost GWP in d=3 [[references:Kl1985b Kl1985b]], and this is sharp [[references:Jo1981 Jo1981]], [[references:Si1983 Si1983]]
+
** Without the null structure, one has almost GWP in d=3 [[Bibliography#Kl1985b|Kl1985b]], and this is sharp [[Bibliography#Jo1981|Jo1981]], [[Bibliography#Si1983|Si1983]]
 
*** In the semi-linear case and when the nonlinearity is quadratic in the derivatives, this is also true outside of a compact non-trapping obstacle [KeSmhSo-p2]. This has been generalized to the quasi-linear case in [KeSmhSo-p3] (and non-linear Dirichlet wave equations are also treated there, as are multiple speeds).
 
*** In the semi-linear case and when the nonlinearity is quadratic in the derivatives, this is also true outside of a compact non-trapping obstacle [KeSmhSo-p2]. This has been generalized to the quasi-linear case in [KeSmhSo-p3] (and non-linear Dirichlet wave equations are also treated there, as are multiple speeds).
** With a null structure and outside a star-shaped obstacle with Dirichlet conditions and d=3, one has GWP for small data in H^{9,8} x H^{8,9} which are compatible with the boundary [KeSmhSo-p]. Earlier work in this direction is in [[references:Dt1990 Dt1990]].
+
** With a null structure and outside a star-shaped obstacle with Dirichlet conditions and d=3, one has GWP for small data in H^{9,8} x H^{8,9} which are compatible with the boundary [KeSmhSo-p]. Earlier work in this direction is in [[Bibliography#Dt1990|Dt1990]].
*** For radial data and obstacle this was obtained in [[references:Go1995 Go1995]]; see also [[references:Ha1995 Ha1995]], [[references:Ha2000 Ha2000]].
+
*** For radial data and obstacle this was obtained in [[Bibliography#Go1995|Go1995]]; see also [[Bibliography#Ha1995|Ha1995]], [[Bibliography#Ha2000|Ha2000]].
 
*** In the semilinear case, the non-trapping condition was removed in [MetSo-p], even in the multiple speed case, provided one has an exponential decay result near the obstacle (this is true, for instance, if the obstacle is a union of a finite number of sufficiently separated strictly convex bodies).
 
*** In the semilinear case, the non-trapping condition was removed in [MetSo-p], even in the multiple speed case, provided one has an exponential decay result near the obstacle (this is true, for instance, if the obstacle is a union of a finite number of sufficiently separated strictly convex bodies).
** For d>3 or for cubic nonlinearities one has GWP regardless of the null structure [[refernces:KlPo1983 KlPo1983]], [[references:Sa1982 Sa1982]], [[references:Kl1985b Kl1985b]].
+
** For d>3 or for cubic nonlinearities one has GWP regardless of the null structure [[refernces:KlPo1983 KlPo1983]], [[Bibliography#Sa1982|Sa1982]], [[Bibliography#Kl1985b|Kl1985b]].
*** In three dimensions with a null structure, for systems with multiple wave speeds, one has GWP [[references:So2001 So2001]]
+
*** In three dimensions with a null structure, for systems with multiple wave speeds, one has GWP [[Bibliography#So2001|So2001]]
 
*** In the exterior of an nontrapping obstacle with Dirichlet conditions, with multiple speeds, one has GWP for sufficiently smooth and decaying data obeying the usual compatibility conditions at the boundary [MetSo-p2], if the quasilinear terms obey some symmetry conditions and the semilinear terms are quadratic in Du
 
*** In the exterior of an nontrapping obstacle with Dirichlet conditions, with multiple speeds, one has GWP for sufficiently smooth and decaying data obeying the usual compatibility conditions at the boundary [MetSo-p2], if the quasilinear terms obey some symmetry conditions and the semilinear terms are quadratic in Du
***# When the obstacle is a ball this is in [[references:Ha1995 Ha1995]].
+
***# When the obstacle is a ball this is in [[Bibliography#Ha1995|Ha1995]].
***# For d \geq 6 outside of a starshaped obstacle this is in [[references:ShbTs1984 ShbTs1984]], [[references:ShbTs1986 ShbTs1986]].
+
***# For d \geq 6 outside of a starshaped obstacle this is in [[Bibliography#ShbTs1984|ShbTs1984]], [[Bibliography#ShbTs1986|ShbTs1986]].
  
 
<div class="MsoNormal" style="text-align: center"><center>
 
<div class="MsoNormal" style="text-align: center"><center>
Line 1,191: Line 1,191:
 
<center>R_{ a  b } = C R g_{ a  b }</center>
 
<center>R_{ a  b } = C R g_{ a  b }</center>
  
where g is the metric for a 3+1-dimensional manifold, R is the Ricci curvature tensor, and C is an absolute constant. The Cauchy data for this problem is thus a three-dimensional Riemannian manifold together with the second fundamental form of this manifold (roughly speaking, this is like the initial position and initial velocity for the metric g). However, these two quantities are not completely independent; they must obey certain ''constraint equations''. These equations are now known to be well behaved for all s > 3/2 [Max-p], [Max2005] (see also earlier work in higher regularities in [[references:RenFri2000 RenFri2000]], [[references:Ren2002 Ren2002]]).
+
where g is the metric for a 3+1-dimensional manifold, R is the Ricci curvature tensor, and C is an absolute constant. The Cauchy data for this problem is thus a three-dimensional Riemannian manifold together with the second fundamental form of this manifold (roughly speaking, this is like the initial position and initial velocity for the metric g). However, these two quantities are not completely independent; they must obey certain ''constraint equations''. These equations are now known to be well behaved for all s > 3/2 [Max-p], [Max2005] (see also earlier work in higher regularities in [[Bibliography#RenFri2000|RenFri2000]], [[Bibliography#Ren2002|Ren2002]]).
  
 
Because of the diffeomorphism invariance of the Einstein equations, these equations are not hyperbolic as stated. However, this can be remedied by choosing an appropriate choice of co-ordinate system (a gauge, if you will). One popular choice is ''harmonic co-ordinates'' or ''wave co-ordinates'', where the co-ordinate functions x<sup> a </sup> are assumed to obey the wave equation Box<sub>g</sub> x<sup> a </sup> = 0 with respect to the metric g. In this case the Einstein equations take a form which (in gross caricature) looks something like
 
Because of the diffeomorphism invariance of the Einstein equations, these equations are not hyperbolic as stated. However, this can be remedied by choosing an appropriate choice of co-ordinate system (a gauge, if you will). One popular choice is ''harmonic co-ordinates'' or ''wave co-ordinates'', where the co-ordinate functions x<sup> a </sup> are assumed to obey the wave equation Box<sub>g</sub> x<sup> a </sup> = 0 with respect to the metric g. In this case the Einstein equations take a form which (in gross caricature) looks something like
Line 1,200: Line 1,200:
  
 
* Scaling is s_c = 3/2. Thus energy is super-critical, which seems to make a large data global theory extremely difficult.
 
* Scaling is s_c = 3/2. Thus energy is super-critical, which seems to make a large data global theory extremely difficult.
* LWP is known in H^s for s > 5/2 by energy estimates (see [[references:HuKaMar1977 HuKaMar1977]], [AnMc-p]; for smooth data s > 4 this is in [[references:Cq1952 Cq1952]]) - given that the initial data obeys the constraint equations, of course.
+
* LWP is known in H^s for s > 5/2 by energy estimates (see [[Bibliography#HuKaMar1977|HuKaMar1977]], [AnMc-p]; for smooth data s > 4 this is in [[Bibliography#Cq1952|Cq1952]]) - given that the initial data obeys the constraint equations, of course.
 
** This result can be improved to s>2 by the [#Quasilinear recent quasilinear theory] (see in particular [KlRo-p3], [KlRo-p4], [KlRo-p5]).
 
** This result can be improved to s>2 by the [#Quasilinear recent quasilinear theory] (see in particular [KlRo-p3], [KlRo-p4], [KlRo-p5]).
 
** This result has now been improved further to s=2 [KlRo-p6], [KlRo-p7], [KlRo-p8]
 
** This result has now been improved further to s=2 [KlRo-p6], [KlRo-p7], [KlRo-p8]
** For smooth data, one has a (possibly geodesically incomplete) maximal Cauchy development [[references:CqGc1969 CqGc1969]].
+
** For smooth data, one has a (possibly geodesically incomplete) maximal Cauchy development [[Bibliography#CqGc1969|CqGc1969]].
* GWP for small smooth asymptotically flat data was shown in [[references:CdKl1993 CdKl1993]] (see also [[references:CdKl1990 CdKl1990]]). In other words, Minkowski space is stable.
+
* GWP for small smooth asymptotically flat data was shown in [[Bibliography#CdKl1993|CdKl1993]] (see also [[Bibliography#CdKl1990|CdKl1990]]). In other words, Minkowski space is stable.
** Another proof using the double null foliation is in [[references:KlNi2003 KlNi2003]], [KlNi-p]
+
** Another proof using the double null foliation is in [[Bibliography#KlNi2003|KlNi2003]], [KlNi-p]
** Another proof of this fact (using the Lorenz gauge, and assuming Schwarzschild metric outside of a compact set) is in [LbRo-p] (see also [[references:LbRo2003 LbRo2003]] for a treatment of the asymptotic dynamics)
+
** Another proof of this fact (using the Lorenz gauge, and assuming Schwarzschild metric outside of a compact set) is in [LbRo-p] (see also [[Bibliography#LbRo2003|LbRo2003]] for a treatment of the asymptotic dynamics)
** Singularities must form if there is a trapped surface [[references:Pn1965 Pn1965]].
+
** Singularities must form if there is a trapped surface [[Bibliography#Pn1965|Pn1965]].
 
* Many special solutions (Schwarzschild space, Kerr space, etc.) The stability of these spaces is a very interesting (and difficult) question.
 
* Many special solutions (Schwarzschild space, Kerr space, etc.) The stability of these spaces is a very interesting (and difficult) question.
 
* The equations can simplify under additional symmetry assumptions. The U(1)-symmetric case reduces to a system of equations which closely resembles the [#wm_on_R^2 two-dimensional wave maps equation] (with the target manifold being hyperbolic space H^2).
 
* The equations can simplify under additional symmetry assumptions. The U(1)-symmetric case reduces to a system of equations which closely resembles the [#wm_on_R^2 two-dimensional wave maps equation] (with the target manifold being hyperbolic space H^2).
Line 1,222: Line 1,222:
 
<center>partial<sub> a </sub> [ (1 +  f<sub>b</sub>f<sup>b</sup> )^{-1/2}  f<sup>a</sup>  ] = 0</center>
 
<center>partial<sub> a </sub> [ (1 +  f<sub>b</sub>f<sup>b</sup> )^{-1/2}  f<sup>a</sup>  ] = 0</center>
  
where  f  is a scalar function on R^{n-1}xR (the graph of a surface in R^n x R ). This is the Minkowski analogue of the minimal surface equation in Euclidean space, see [[references:Hp1994 Hp1994]].
+
where  f  is a scalar function on R^{n-1}xR (the graph of a surface in R^n x R ). This is the Minkowski analogue of the minimal surface equation in Euclidean space, see [[Bibliography#Hp1994|Hp1994]].
  
 
* This is a [#Quasilinear quasilinear wave equation], and so LWP in H^s for s > n/2 + 1 follows from energy methods, with various improvements via Strichartz possible. However, it is likely that the special structure of this equation allows us to do better.
 
* This is a [#Quasilinear quasilinear wave equation], and so LWP in H^s for s > n/2 + 1 follows from energy methods, with various improvements via Strichartz possible. However, it is likely that the special structure of this equation allows us to do better.

Revision as of 19:19, 28 July 2006

Non-linear wave equations


Overview

Let be endowed with the Minkowski metric

.

(In many papers, the opposite sign of the metric is used, but the difference is purely notational). We use the usual summation, raising, and lowering conventions.
The D'Lambertian operator

is naturally associated to this metric, the same way that the Laplace-Beltrami operator is associated with a Riemannian metric.

Space and time have the same scaling for wave equations. We will often use D to denote an unspecified derivative in either the space or time directions.

All relativistic field equations in (classical) physics are variants of the free wave equation

where is either scalar or vector-valued. One can also consider add a mass term to obtain the Klein-Gordon equation

.

In practice, this mass term makes absolutely no difference to the local well-posedness theory of an equation (since the mass term is negligible for high frequencies), but often plays a key role in the global theory (because of the improved decay and dispersion properties, and because the Hamiltonian controls the low frequencies more effectively).

There are several ways to perturb this equation. There are linear perturbations, which include the addition of potential terms, connection terms, and drag terms, as well as the replacement of the flat Minkowski metric with a more general curved metric, or by placing obstacles or otherwise changing the topology of the domain manifold R^{n+1}. There is an extensive literature on all of these perturbations, but we shall not discuss them in depth, and concentrate instead on model examples of non-linear perturbations to the free wave equation. In the fullest generality, this would mean studying equations of the form

where denotes differentation in space or time and the Taylor expansion of to first order is the free wave or Klein-Gordon equation. Such fully non-linear equations, though, are very difficult to study, and have only really been analyzed in the one-dimensional case (in which case it can be subsumed into the general theory of 1+1-dimensional hyperbolic systems). In higher dimensions the only known tool to analyze this case is to differentiate the equation, turning it into a quasi-linear system. As such we do not discuss fully non-linear wave equations here. Instead, we consider three less general types of equations, which in increasing order of complexity are the [#semilinear semi-linear], [#dnlw semi-linear with derivatives], and [#Quasilinear quasi-linear] equations.

Non-linear wave equations are often the Euler-Lagrange equation for some variational problem, usually with a Lagrangian that resembles

(this being the Lagrangian for the free wave equation). As such the equation usually comes with a divergence-free stress-energy tensor , which in turn leads to a conserved Hamiltonian . on constant time slices (and other spacelike surfaces). There are a few other conserved quantites such as momentum and angular momentum, but these are rarely useful in the well-posedness theory. It is often worthwhile to study the behaviour of where is some differentiation operator of order one or greater, preferably corresponding to one or more Killing or conformal Killing vector fields. These are particularly useful in investigating the decay of energy at a point, or the distribution of energy for large times.

It is often profitable to study these equations using conformal transformations of spacetime. The Lorentz transformations, translations, scaling, and time reversal are the most obvious examples, but conformal compactification (mapping conformally to a compact subset of known as the Einstein diamond) is also very useful, especially for global well-posedness and scattering theory. One can also blow up spacetime around a singularity in order to analyze the behaviour near that singularity better.

The one-dimensional case is special for several reasons. Firstly, there is the very convenient null co-ordinate system which can be used to factorize . Also, the stress-energy tensor often becomes trace-free, which leads to better conformal invariance properties. There are a vastly larger number of conformal transformations, indeed anything of the form is conformal. Also, the one-dimensional wave equation has no decay, local smoothing, or dispersion properties, and its solutions are essentially travelling waves. Finally, there are a much larger range of spaces beyond Sobolev spaces which are available for well-posedness theory, because the free wave evolution operator preserves all translation-invariant spaces. (In two and higher dimensions only -based spaces such as Sobolev spaces H^s are preserved, because waves can focus at a point (or defocus from a point)).

The higher-dimensional case is usually quite different from the one-dimensional case, although in spherically symmetric situations one can obtain similar behaviour, especially when viewed in the null co-ordinates . Indeed one can think of spherically symmetric wave equations as one-dimensional wave equations with a singular drag term .

A very basic property of wave equations is finite speed of propagation: information only propagates at the speed of light (which we have normalized to 1) or slower. Also, singularities only propagate at the speed of light (even for Klein-Gordon equations). This allows one to localize space whenever time is localized. Because of this, there is usually no distinction between periodic and non-periodic wave equations. Another application is to convert local existence results for large data to that of small data (though in sub-critical situations this is often better achieved by scaling or similar arguments). Also, the behaviour of blowup at a point is only determined by the solution in the backwards light cone from that point; thus to avoid blowup one needs to show that the solution cannot concentrate into a backwards light cone. One can also use finite speed of propagation to truncate constant-in-space solutions (which evolve by some simple ODE) to obtain localized solutions. This is often useful to demonstrate blowup for various focussing equations.

The non-linear expressions which occur in non-linear wave equations often have a null form structure. Roughly speaking, this means that travelling waves do not self-interact, or only self-interact very weakly. When one has a null form present, the local and global well-posedness theory often improves substantially. There are several reasons for this. One is that null forms behave better under conformal compactification. Another is that null forms often have a nice representation in terms of conformal Killing vector fields. Finally, bilinear null forms enjoy much better estimates than other bilinear forms, as the interactions of parallel frequencies (which would normally be the worst case) is now zero.

An interesting variant of these equations occur when one has a coupled system of two fields and , with propagating slower than , e.g.

where and for some . This case occurs physically when propagates at the speed of light and v propagates at some slower speed. In this case the null forms are not as useful, however the estimates tend to be more favourable (if the non-linearities are "off-diagonal") since the light cone for is always transverse to the light cone for . One can of course generalize this to consider multiple speed (nonrelativistic) wave equations.


Wave estimates

Solutions to the linear wave equation and its perturbations are either estimated in mixed space-time norms , or in spaces, defined by

Linear space-time estimates are known as [#linear Strichartz estimates]. They are especially useful for the [#semilinear semilinear NLW without derivatives], and also have applications to other non-linearities, although the results obtained are often non-optimal (Strichartz estimates do not exploit any null structure of the equation). The spaces are used primarily for [#bilinear bilinear estimates], although more recently [#multilinear multilinear estimates have begun to appear]. These spaces first appear in one-dimension in RaRe1982 and in higher dimensions in Be1983 in the context of propagation of singularities; they were used implicitly for LWP in KlMa1993, while the Schrodinger and KdV analogues were developed in Bo1993, Bo1993b.


Linear estimates

[Thanks to Chengbo Wang for some corrections \u2013 Ed.]

  • Fixed-time estimates for free solutions f :
    • (Energy estimate) If is in , then is also.
    • (Decay estimate) If has more than derivatives in , then decays like . One can obtain the endpoint of derivatives if one is willing to localize in frequency or use Hardy spaces and BMO.
    • One can interpolate between these estimates to get estimates with the sharp loss of regularity Br1975. This is useful for Strichartz estimates and for scattering theory.
  • Strichartz estimates: A free solution is in if
    • (Scaling)
    • (Parallel interactions)
    • (Increase of integrability)
    • (No double endpoints)
      • This estimate can be recovered for radial functions KlMa1993, or when a small amount of smoothing (either in the Sobolev sense, or in relaxing the integrability) in the radial variable [MacNkrNaOz-p].However in the general case one cannot recover the estimate even if one uses the BMO norm or attempts Littlewood-Paley frequency localization Mo1998
      • Actually even when , the estimate is slightly subtle; one has BMO and Besov space estimates but not directly estimates. However, the endpoint is OK; see KeTa1998.
    • In the case , a maximizer exists (e.g. with initial position zero and initial velocity given by the Cauchy distribution , witih best constant [Fc-p4]
    • These results extend globally outside of a convex obstacle [Bu-p], SmhSo1995, [SmhSo-p], [Met-p]; see [So-p] for a survey of this issue and applications to nonlinear wave equations outside of an obstacle.
    • For data which is radial (or otherwise enjoys additional angular regularity) a much larger range of Strichartz estimates is possible (basically because the parallel interaction obstruction is substantially weakened); see [Stz-p4] for further discussion.

These estimates extend to some extent to the Klein-Gordon equation .A useful heuristic to keep in mind is that this equation behaves like the Schrodinger equation when the frequency has magnitude less than , but behaves like the wave equation for higher frequencies.Some basic Strichartz estimates here are in MsSrWa1980; see for instance [Na-p], [MacNaOz-p], [MacNkrNaOz-p] for more recent treatments.

For inhomogeneous estimates it is known that a solution with zero initial data and forcing term containing s-1 derivatives in a dual space will lie in if both and are admissible in the above sense, if , and if one has the scaling condition

.The \u201cs-1\u201d represents a smoothing effect of one derivative, though this full gain is only attainable if one uses the energy exponents and . It is possible to obtain inhomogeneous estimates in which only one of the exponents are admissible; this phenomenon was first observed in Har1990, Ob1989 (see also KeTa1998).More recently in [Fc-p2], inhomogeneous estimates are obtained with the above scaling condition assuming the weaker conditions and or and similarly for , and if the following additional conditions hold:

In no further conditions are required;

When ,math>d=3 r, R</math> are required to be finite;

When , either , , and , or , , and .

Strichartz estimates extend to situations in which there is a potential or when the metric is variable.For local-in-time estimates and smooth potentials or

metrics this is fairly straightforward (the potential can be treated by iterative methods, and the metric by parametrix methods).More interesting issues

arise for global-in-time estimates with smooth potentials/metrics or local-in-time estimates with rough potentials/metrics (the two types of results are linked by

scaling).For potentials of power-type decay, the global results are as follows:

For potentials of the form with and , one has global Strichartz estimates [BuPlStaTv-p]; a simplified proof and more general result dealing with inverse square-like potentials which are not too negative is in [BuPlStaTv-p2]. The condition on a is necessary to avoid bound states.For potentials decaying slower than this, Strichartz estimates can fail (Duyckaerts?) For potentials decaying an epsilon faster than and assumed to be nonnegative, dispersive and Strichartz estimates were obtained when in GeVis2003.

(More results to be added in future).

Bilinear estimates
  • Let . If , are free and solutions respectively, then one can control fy in \dot X^{s,b} if and only if
    • (Scaling)
    • (Parallel interactions)
    • (Lack of smoothing)
    • (Frequency cancellation)
    • (No double endpoints) .

See FcKl2000. Null forms can also be handled by identities such as

  • Some bilinear Strichartz estimates are also known. For instance, if , , are as in the linear Strichartz estimates , are solutions, then

as long as references:FcKl-p FcKl-p. Similar estimates for null forms also exist Pl2002; see also TaVa2000b, [Ta-p4].


Multilinear estimates

There are some isolated examples of multilinear estimates that cannot be obtained from linear and bilinear estimates and Holder's inequality. For instance, the inequality

is proven for and in [Sb-p].


Semilinear wave equations

[Note: Many references needed here!]

Semi-linear wave equations (NLW) and semi-linear Klein-Gordon equations (NLKG) take the form

respectively where is a function only of and not of its derivatives, which vanishes to more than first order. Typically grows like for some power . If is the gradient of some function , then we have a conserved Hamiltonian

For NLKG there is an additional term of in the integrand, which is useful for controlling the low frequencies of . If V is positive definite then we call the NLW defocussing; if is negative definite we call the NLW focussing. The term "coercive" does not have a standard definition, but generally denotes a potential which is positive for large values of .

To analyze these equations in we need the non-linearity to be sufficiently smooth. More precisely, we will always assume either that is smooth, or that is a p^th-power type non-linearity with .

The scaling regularity is . Notable powers of include the , the -critical or conformal power p_{H^{1/2}} = 1 + 4/(d-1), and the -critical power .

Dimension d

Strauss exponent (NLKG)

-critical exponent

Strauss exponent (NLW)

H^{1/2}-critical exponent

H^1-critical exponent

1

3.56155...

5

infinity

infinity

N/A

2

2.41421...

3

3.56155...

5

infinity

3

2

2.33333...

2.41421...

3

5

4

1.78078...

2

2

2.33333...

3

The following necessary conditions for LWP are known. Firstly, for focussing NLW/NLKG one has blowup in finite time for large data, as can be seen by the ODE method. One can scale this and obtain ill-posedness for any focussing NLW/NLKG in the supercritical regime s < s_c; this has been extended to the defocusing case in [CtCoTa-p2]. By using Lorentz scaling instead of isotropic scaling one can also obtain ill-posedness whenever s is below the conformal regularity

-critical power or below, this condition is stronger than the scaling requirement.
  • When and 1 < p < p_{H^{1/2}} with the focusing sign, blowup is known to occur when a certain Lyapunov functional is negative, and the rate of blowup is self-similar MeZaa2003; earlier results are in AntMe2001, CafFri1986, Al1995, KiLit1993, KiLit1993b.

To make sense of the non-linearity in the sense of distributions we need s \geq 0 (indeed we have illposedness below this regularity by a high-to-low cascade, see [CtCoTa-p2]). In the one-dimensional case one also needs the condition to keep the non-linearity integrable, because there is no Strichartz smoothing to exploit.

Finally, in three dimensions one has ill-posedness when and Lb1993.

  • In dimensions d\leq3 the above necessary conditions are also sufficient for LWP.
  • For d>4 sufficiency is only known assuming the condition
(*)

and excluding the double endpoint when (*) holds with equality and s=s_{conf} Ta1999. The main tool is two-scale Strichartz estimates.

    • By using standard Strichartz estimates this was proven with (*) replaced by
; (**)

see KeTa1998 for the double endpoint when (**) holds with equality and s=s_{conf}, and LbSo1995 for all other cases. A slightly weaker result also appears in Kp1994.

GWP and scattering for NLW is known for data with small norm when is at or above the -critical power (and this has been extended to Besov spaces; see [Pl-p4]. This can be used to obtain self-similar solutions, see [MiaZg-p2]). One also has GWP in in the defocussing case when p is at or below the -critical power. (At the critical power this result is due to Gl1992; see also SaSw1994. For radial data this was shown in Sw1988). For more scattering results, see below.

For the defocussing NLKG, GWP in , , is known in the following cases:

  • references:KnPoVe-p2 KnPoVe-p2
  • [MiaZgFg-p]
  • , and

[MiaZgFg-p]. Note that this is the range of p for which s_conf obeys both the scaling condition and the condition (**).

  • [Fo-p]; this is for the NLW instead of NLKG.
  • [Fo-p]; this is for the NLW instead of NLKG.

GWP and blowup has also been studied for the NLW with a conformal factor

;

the significance of this factor is that it behaves well under conformal compactification. See Aa2002, BcKkZz2002, Gue2003 for some recent results.


Scattering theory for semilinear NLW

[Thanks to Kenji Nakanishi for many helpful additions to this section - Ed.]

The Strauss exponent

plays a key role in the GWP and scattering theory. We have ; ; note that is always between the and critical powers, and is always between the and critical powers.

Another key power is

which lies between the critical power and .

Caveats: the cases may be somewhat different from what is stated here (partly because some of the powers here are not well-defined). Also, in many of the NLW results one needs some additional decay at spatial infinity (e.g. finiteness of the conformal energy), except in the special -critical case. This is because (unlike NLS and NLKG) there is no a priori bound on the norm (even with conservation of energy).

Scattering for small data for arbitrary NLW:

  • Known for Sr1981.
  • For one has blow-up Si1984.
  • When this is extended to , but scattering fails for [Hi-p3]
  • When this is extended to , but scattering fails for [Hi-p3]
  • An alternate argument based on conformal compactification but giving slightly different results are in BcKkZz1999

Scattering for large data for defocussing NLW:

  • Known for BaSa1998, BaGd1997 (GWP was established earlier in GiVl1987).
  • Known for , BaeSgZz1990
  • When this is extended to [Hi-p3]
  • When this is extended to [Hi-p3]
  • For one expects scattering when , but this is not known.

Scattering for small smooth compactly supported data for arbitrary NLW:

  • GWP and scattering when GeLbSo1997
    • For this is in Jo1979
  • Blow-up for arbitrary nonzero data when Si1984 (see also Rm1987, JiZz2003
    • For this is in Gs1981b
    • For this is in Jo1979
  • At the critical power there is blowup for non-negative non-trivial data [YoZgq-p2]
    • For and arbitrary nonzero data this is in Scf1985
    • For large data and arbitrary this is in Lev1990

Scattering for small data for arbitrary NLKG:

  • Decay estimates are known when MsSrWa1980, Br1984, Sr1981, Pe1985.
  • Known when Na1999c, Na1999d, [Na-p5]. Indeed, one has existence of wave operators and asymptotic completeness in these cases.

Scattering for large data for defocussing NLKG:

  • In this case one has an a priori bound and one does not need decay at spatial infinity.
  • Scattering is known for Na1999c, Na1999d, [Na-p5]
    • For and not -critical this is in Br1985 GiVl1985b
    • The -critical case is an interesting open problem.

Scattering for small smooth compactly supported data for arbitrary NLKG:

  • GWP and scattering for when LbSo1996
    • When this can be obtained by energy estimates and decay estimates.
    • In principle this extends to higher dimensions but there is a difficulty with lack of smoothness in the nonlinearity.
  • Blowup in the non-Hamiltonian case when KeTa1999. The endpoint remains open but one probably also has blow-up here.
    • Failure of scattering for was shown in Gs1973.

An interesting (and apparently under-explored) problem is what happens to these global existence and scattering results when there is an obstacle. For [#nlw-5_on_R^3 NLW-5 on ] one has global regularity for convex obstacles SmhSo1995, and for smooth non-linearities there is the [#gwp_qnlw general quasilinear theory]. If one adds a suitable damping term near the obstacle then one can recover some global existence results Nk2001.

On the Schwarzschild manifold some scattering and decay results for NLW and NLWKG can be found in BchNic1993, Nic1995, BluSf2003


Non-relativistic limit of NLKG

By inserting a parameter (the speed of light), one can rewrite NLKG as

.

One can then ask for what happens in the non-relativistic limit (keeping the initial position fixed, and dealing with the initial velocity appropriately). In Fourier space, should be localized near the double hyperboloid

.

In the non-relativistic limit this becomes two paraboloids

and so one expects to resolve as

where , solve some suitable NLS.

A special case arises if one assumes to be small at time zero (say in some Sobolev norm). Then one expects to vanish and to get a scalar NLS. Many results of this nature exist, see [Mac-p], Nj1990, Ts1984, [MacNaOz-p], [Na-p]. In more general situations one expects and to evolve by a coupled NLS; see MasNa2002.

Heuristically, the frequency portion of the evolution should evolve in a Schrodinger-type manner, while the frequency portion of the evolution should evolve in a wave-type manner. (This is consistent with physical intuition, since frequency is proportional to momentum, and hence (in the nonrelativistic regime) to velocity).

A similar non-relativistic limit result holds for the [#mkg Maxwell-Klein-Gordon] system (in the Coulomb gauge), where the limiting equation is the coupled
Schrodinger-Poisson system

under reasonable hypotheses on the initial data [BecMauSb-p]. The asymptotic relation between the MKG-CG fields , , and the Schrodinger-Poisson fields u, v^+, v^- are

where (a variant of ).


Sine-Gordon

[Contributions to this section are sorely needed!]

The sine Gordon equation

in arises in the study of optical pulses, or from the Scott model of a continuum of pendula hanging from a wire. It is a completely integrable equation, and has many interesting solutions, including "breather" solutions.

Because the non-linearity is bounded, GWP is easily obtained for or even data.


Quadratic NLW/NLKG

[Thanks to Chengbo Wang for some corrections \u2013 Ed.]

  • Scaling is .
  • For LWP is known for by Strichartz estimates LbSo1995. This is sharp by scaling arguments.
  • For LWP is known for by Strichartz estimates LbSo1995.This is sharp from Lorentz invariance (concentration) considerations.
  • For LWP is known for by Strichartz estimates LbSo1995.
    • One has ill-posedness for Lb1996. This is related to the failure of endpoint Strichartz when .
  • For LWP is known for by Strichartz estimates (or energy estimates and Sobolev in the case).
    • For s<0 one has rather severe ill-posedness generically, indeed cannot even interpret the non-linearity as a distribution [CtCoTa-p2].
    • In the two-speed case ([#two-speed see Overview]) one can improve this to for non-linearities of the form and [Tg-p].

Cubic NLW/NLKG on R
  • Scaling is .
  • LWP for by energy estimates and Sobolev (solution is in ).
    • For one has ill-posedness [CtCoTa-p2], indeed it is not even possible to make sense of solutions in the distributional sense.
  • GWP for for defocussing NLKG Bo1999
    • For this is clear from energy conservation (for both NLKG and NLW).
    • Improvement is certainly possible, both in lowering the s index and in replacing NLKG with NLW.
    • In the focussing case there is blowup from large data by the ODE method.
  • Remark: NLKG can be viewed as a symplectic flow with the symplectic form of . NLW is similar but with the homogeneous .
  • Small global solutions to NLKG (either focusing or defocusing) have logarithmic phase corrections due to the critical nature of the nonlinearity (neither short-range nor long-range).However there is still an asymptotic development and an asymptotic completeness theory, see De2001, [LbSf-p]

Cubic NLW/NLKG on
  • Scaling is .
  • LWP for by Strichartz estimates (see e.g. LbSo1995)
    • This is sharp by concentration examples in the focusing case; the defocusing case is still open.
  • GWP for for defocussing NLKG Bo1999 and for defocussing NLW [Fo-p]
    • For this is clear from energy conservation (for both NLKG and NLW)..
    • In the focussing case there is blowup from large data by the ODE method.
  • Remark: This is a symplectic flow with the symplectic form of <math>H^{1/2}</math>, as in [#nlw-3_on_R the one-dimensional case].

Cubic NLW/NLKG on
  • Scaling is .
  • LWP for by Strichartz estimates (see e.g. LbSo1995; earlier references exist)
    • When the time of existence depends on the profile of the data and not just on the norm.
    • One can improve the critical space to a slightly weaker Besov space [Pl-p2].
    • For one has instantaneous blowup in the focusing case, and unbounded growth of H^s norms in the defocusing case [CtCoTa-p2]
  • GWP for references:KnPoVe-p2 KnPoVe-p2 for defocussing NLKG.(An alternate proof is in GalPl2003).
    • For this is clear from energy conservation (for both NLKG and NLW).
    • One also has GWP and scattering for data with small norm for general cubic non-linearities (and for either NLKG or NLW).
    • In the defocussing case one has scattering for large data BaeSgZz1990, see also [Hi-p3].
    • Improvement is certainly possible, both in lowering the s index and in replacing NLKG with NLW.
    • In the focussing case there is blowup from large data by the ODE method.
  • For periodic defocussing NLKG there is a weak turbulence effect in for (low frequencies decay in time) but a symplectic non-squeezing effect in H^{1/2} Kuk1995b.In particular cannot be a symplectic phase space for .

Cubic NLW/NLKG on
  • Scaling is .
  • LWP for by Strichartz estimates (see e.g. LbSo1995; earlier references exist)
    • When the time of existence depends on the profile of the data and not just on the norm.
    • One has strong uniqueness in the energy class [Pl-p5], FurPlTer2001. This argument extends to other energy-critical and sub-critical powers in dimensions 4 and higher.
    • For one has instantaneous blowup in the focusing case, and unbounded growth of norms in the defocusing case [CtCoTa-p2]
  • GWP for in the defocussing case SaSw1994 (see also Gl1990, Gl1992, Sw1988, Sw1992, BaSa1998, BaGd1997).
    • In the focussing case there is blowup from large data by the ODE method.

Quartic NLW/NLKG
  • Scaling is .
  • For LWP is known for by Strichartz estimates. This is sharp by scaling argumentsin both the focusing and defocusing cases [CtCoTa-p2]
  • For LWP is known for by Strichartz estimates. This is sharp by concentration arguments in the focusing case; the defocusing case is open.
    • In the defocusing case one has GWP for [Fo-p]
  • For one has LWP for by energy estimates and Sobolev (solution is in ). Below this regularity one cannot even make sense of the solution as a distribution.

Quintic NLW/NLKG on R
  • Scaling is .
  • LWP for by energy estimates and Sobolev (solution is in )
    • For one has ill-posedness [CtCoTa-p2], indeed it is not even possible to make sense of solutions in the distributional sense.
  • GWP for in the defocussing case from energy conservation.
    • It is overwhelmingly likely that one can lower this s index.
    • In the focussing case there is blowup from large data by the ODE method.

Quintic NLW/NLKG on
  • Scaling is .
  • LWP for by Strichartz estimates (see e.g. LbSo1995; earlier references exist)
    • When the time of existence depends on the profile of the data and not just on the norm.
    • For one has instantaneous blowup in the focusing case, and unbounded growth of norms in the defocusing case [CtCoTa-p2]
  • GWP for for defocussing NLW/NLKG [Fo-p]
    • For this follows energy conservation.
    • One also has GWP and scattering for data with small norm for general quintic non-linearities (and for either NLW or NLKG).
    • In the focussing case there is blowup from large data by the ODE method.

Quintic NLW/NLKG on
  • Scaling is .
  • LWP for by Strichartz estimates (see e.g. LbSo1995; earlier references exist)
    • When the time of existence depends on the profile of the data and not just on the norm.
    • For one has instantaneous blowup in the focusing case, and unbounded growth of norms in the defocusing case [CtCoTa-p2]
  • GWP for in the defocussing case Gl1990, Gl1992. The main new ingredient is energy non-concentration Sw1988, Sw1992
    • Further decay estimates and scattering were obtained in BaSa1998; global Lipschitz dependence was obtained in BaGd1997.
    • For smooth data GWP and scattering was shown in Gl1992; see also SaSw1994
    • For radial data GWP and scattering was shown in Sw1988
    • For data with small energy this was shown for general quintic non-linearities (and for either NLW or NLKG) in Ra1981.
    • Global weak solutions can be constructed by general methods (e.g. Sr1989, Sw1992); uniqueness was shown in Kt1992
    • In the focussing case there is blowup from large data by the ODE method.
    • When there is a convex obstacle GWP for smooth data is known SmhSo1995.

Septic NLW/NLKG on R
  • Scaling is .
  • LWP for by energy estimates and Sobolev (solution is in )
    • For it is not even possible to make sense of the solution as a distribution (note there are no smoothing effects for the 1D wave equation!) and so there is ill-posedness [CtCoTa-p2].
  • GWP for in the defocusing case by energy conservation. Presumably this is improvable.

Septic NLW/NLKG on
  • Scaling is .
  • LWP for by Strichartz estimates LbSo1995
    • For one has instantaneous blowup in the focusing case, and unbounded growth of norms in the defocusing case [CtCoTa-p2]
  • GWP for in the defocusing case [Fo-p]
    • For this follows from energy conservation.

Septic NLW/NLKG on
  • Scaling is .
  • LWP for by Strichartz estimates (see e.g. LbSo1995; earlier references exist)
    • When the time of existence depends on the profile of the data and not just on the norm.
    • For one has instantaneous blowup in the focusing case, and unbounded growth of norms in the defocusing case [CtCoTa-p2]
  • Global existence of large smooth solutions is unknown in the defocussing case; in the focussing case one certainly has blowup by ODE methods.
    • In the energy class , one has ill-posedness in the sense that the solution map is not uniformly continuous Leb2000; for higher dimensions see BrKum2000. This is despite an a priori bound on the norm in the defocussing case from energy conservation. A variant of this result appears in [CtCoTa-p2].
    • For small data one of course has GWP and scattering LbSo1995
    • It is not known what happens to large smooth solutions in the defocusing case, even in the radial case. This can be viewed as an extremely simplified model problem for the global regularity issue for Navier-Stokes.

NLW with derivatives

The D-NLW equation is given by

where is scalar or vector valued, and is at least quadratic. The D-NLKG equation is similar:

.

From a LWP perspective the two equations are virtually equivalent, but the NLKG is slightly better behaved for the GWP (it decays like the NLW at one higher dimension).

Among the more intensively studied derivative NLWs are the [#dnlw-2 quadratic DNLWs] (which include the Yang-Mills and Maxwell-Klein-Gordon equations) and the [#ddnlw DDNLWs] (which include equations of wave maps type).

From energy estimates one can always obtain LWP in for . (or if the non-linearity is at most linear in ). However, this is rarely best possible.

In many cases the non-linearity has a null structure. The precise meaning of this is hard to quantify exactly, but roughly speaking this means that if u is a plane wave then the highest order terms in the non-linearity vanish. In other words, the self-interaction of plane waves is relatively small. The presence of a null structure usually makes the LWP and GWP theory significantly better.

The GWP theory for small data is usually accomplished by vector fields methods (or similar methods which try to capture the decay, and proximity to the light cone, of the global solution), or via conformal compactification. The method of normal forms is also often useful, as it can eliminate the worst terms in a non-linearity.
As a general principle, the small data GWP theory becomes better whenever the order of the non-linearity increases (because this makes the non-linearity even smaller) or when the dimension increases (because there is more decay). There is rarely any need to distinguish between u and Du in the small data GWP theory. In many cases the theory is robust enough to carry over to the [#Quasilinear quasilinear case].

For small smooth compactly supported data of size and smooth non-linearities, the GWP theory for D-NLW is as follows.

  • If the non-linearity is a null form, then one has GWP for d\geq3; in fact one can take the data in a weighted Sobolev space Cd1986
    • This is also true in the multi-speed (i.e. nonrelativistic) case KlSi1996 (see also Yk2000). Earlier related work appears in Ko1987, Ko1989
      • In fact, one does not need the compact support condition, and can take data small in H^9 [SiTu-p].
    • Without the null structure, one has almost GWP in d=3 Kl1985b, and this is sharp Jo1981, Si1983
    • With the null structure and outside a convex obstacle one has GWP in KeSmhSo2000, assuming the standard compatibility conditions on the data. Earlier work in this direction is in Dt1990.
      • For radial data and obstacle this was obtained in Go1995; see also Ha1995.
      • GWP for small smooth data outside a star-shaped obstacle was shown for and non-linearities quadratic in in ShbTs1984, ShbTs1986.
    • For or for cubic nonlinearities one has GWP regardless of the null structure refernces:KlPo1983 KlPo1983, Sa1982, Kl1985b.
  • For the case, the results are as follows.
    • One has existence for roughly without a null condition, but at least with a null condition references:Al1999b Al1999, Al1999b, Al2001, Al2001b
      • For semilinear equations these are in Gd1993
      • For cubic nonlinearities these are in Hg1995; furthermore one has global existence assuming a "second null condition"
      • For spherically symmetric data this is in Lad1999; furthermore one has global existence assuming a "second null condition"
    • Earlier results are in Ky1993. Non-relativistic variants are in Hg1998, HgKu2000

For small smooth compactly supported data of size and smooth non-linearities, the GWP theory for D-NLKG is as follows.

  • One has GWP for SnTl1993, OzTyTs1996.
    • For this was proven in Kl1985 (by vector fields) and Sa1985 (by normal forms).
    • For this result is extended to Klein-Gordon-Zakharov systems in OzTyTs1995
  • For one has GWP for quartic and higher non-linearities LbSo1996.
    • For cubic non-linearities one has almost global existence (for time ); see Ho1997. This is sharp KeTa1999, [Yo-p]. Explicit lower bounds on the constant are in De1999.
    • Using normal forms one can push the almost global existence to quadratic non-linearities MrTwSr1997.
    • For septic and higher nonlinearities one has global existence Mr1997, Yag1994
    • For quadratic non-linearities of null form type one has existence for time roughly De1997
      • The compact support condition can be weakened substantially De1997. One can even just assume small data, but then the time of existence shrinks slightly, to De1997b.
      • Without the null form one cannot do better than about KeTa1999.
      • A necessary and sufficient condition on the nonlinearity has been obtained as to whether one can obtain global existence for small data De2001

For small smooth data of size , and smooth non-linearities, the GWP theory for D-NLKG is as follows.

  • For quadratic non-linearities one has existence for time . De1998.This was extended to higher dimensional tori and to quasilinear NLKG in [DeSze-p]
  • For higher non-linearities of order r, one has existence for time , and in some cases this bound is sharp. De1998
  • One has a similar result (with more technical time of existence when the domain is a sphere, although now one must exclude a set of masses of measure zero. [DeSze-p]

For non-smooth non-linearities of order , one has blow-up examples for D-NLKG from small smooth compactly supported data whenever KeTa1999, although in certain cases (esp. coercive Hamiltonian systems) one still has GWP Ca1985. One also has failure of scattering for this range of powers Gl1981b. It would be interesting to see if one could obtain GWP for D-NLKG the case (though in the non-smooth non-linearity case one probably is restricted to in order to keep the non-linearity sufficiently smooth).


Damping DNLW

The equation

in three dimensions is known to be locally well-posed in any sub-critical regularity , and has scattering in [Smh-p]. It would be interesting to see whether one has local well-posedness in the critical energy regularity .


Quadratic DNLW

By Quadratic DNLW we mean equations with the schematic form

.

This equation has the same scaling as cubic NLW, but is more difficult technically because of the derivative in the non-linearity. In practice one can always add a cubic term to the non-linearity without disrupting any of the well-posedness theory, as is usually much easier to estimate than .

Important examples of this type of equation include the [#mkg Maxwell-Klein-Gordon] and [#ym Yang-Mills] equations (in the Lorentz gauge, at least), as well as the simplified model equations for these equations. The [#ymh Yang-Mills-Higgs] equation is formed by coupling equations of this type to a semi-linear wave equation. The most interesting dimensions are 3 (for physical applications) and 4 (since the energy regularity is then critical). The two-dimensional case appears to be somewhat under-explored. The Yang-Mills and Maxwell-Klein-Gordon equations behave very similarly, but from a technical standpoint the latter is slightly easier to analyze.

In d dimensions, the critical regularity for this equation is . However, there are no instances of Quadratic DNLW for which any sort of well-posedness is known at this critical regularity (except for those special cases where the equation can be algebraically transformed into a simpler equation such as NLW or the free wave equation).

Energy estimates give local well-posedness for . Using Strichartz estimates this can be improved to in two dimensions and in three and higher dimensions PoSi1993; the point is that these regularity assumptions together with Strichartz allow one to put into , hence in , so that one can then use the energy method.

Using estimates FcKl2000 instead of Strichartz estimates, one can improve this further to in four dimensions and to the near-optimal in five and higher dimensions. In six and higher dimensions one can obtain global well-posedness for small critical Besov space [Stz-p3], and local well-posedness for large Besov data.In four dimensions one has a similar result if one imposes one additional angular derivative of regularity [Stz-p2].

Without any further assumptions on the non-linearity, these results are sharp in 3 dimensions; more precisely, one generically has ill-posedness in Lb1993, although one can recover well-posedness in the Besov space B^1_{2,1} Na1999, or when an epsilon of radial regularity is imposed [MacNkrNaOz-p]. It would be interesting to determine what the situation is in the other low dimensions.

If the non-linearity has a null structure then one can improve upon the previous results. For instance, the model equations for the Yang-Mills and Maxwell-Klein-Gordon equations are locally well-posed for in three KlMa1997 and higher KlTt1999 dimensions. It would be interesting to determine what happens in two dimensions for these equations (probably one can get down to . In one dimension the model equation trivially collapses to the free wave equation.


Two-speed quadratic DNLW
  • One can consider two-speed variants of quadratic DNLW ([#two-speed see Overview]), when both F and G have the form U DU.
  • The Strichartz and energy estimates carry over without difficulty to this setting. The results obtained by estimates change, however. The null forms are no longer as useful, however the estimates are usually more favourable because of the transversality of the two light cones. Of course, if contains or contains then one cannot do any better than the one-speed case.
  • For one can obtain LWP for for non-linearities of the form and OzTyTs1999, Tg2000.
    • When contains uDv the relevant bilinear estimate generically fails by a logarithmic factor OzTyTs2000
  • For one can obtain LWP for for non-linearities of the form and [Tg-p].
  • For one can obtain LWP for for non-linearities of the form and [Tg-p].
    • One can improve this to for non-linearities of the form and [Tg-p]. These expressions are better behaved than the previous ones, for instance their Fourier transform vanishes at the origin.

The Yang-Mills equation

Let be a connection on R^{d+1} which takes values in the Lie algebra g of a compact Lie group G. Formally, the connection A is said to obey the Yang-Mills equation if it is a critical point for the Lagrangian functional

where is the curvature of the connection . The Euler-Lagrange equations for this functional have the schematic form

where is the spacetime divergence of . A more succinct (but less tractable) formulation of this equation is

.

It is often convenient to split into temporal and spatial components as .

As written, the Yang-Mills equation is under-determined because of the gauge invariance

in the equation, where U is an arbitrary function taking values in . In order to correctly formulate a Cauchy problem, one must impose a further constraint on the gauge. There are three standard ones:

Temporal gauge:
Coulomb gauge:
Lorentz gauge:

There are also several other useful gauges, such as the Cronstrom gauge Cs1980 centered around a point in spacetime.

The Lorentz gauge has the advantage of being invariant under conformal transformations, but it appears that the Yang-Mills equation is not well-behaved in this gauge for rough data. (For smooth data one can obtain local well-posedness in this gauge by energy estimates). The Coulomb gauge is the simplest to work with technically, and in this gauge the bilinear expression acquires a null structure KlMa1995 which allows for a satisfactory analysis of the equation. Unfortunately there are often difficulties in creating a global Coulomb gauge, and one often has to rely instead on local Coulomb gauges pieced together using finite speed of propagation; see KlMa1995. The Temporal gauge is fairly close to the Coulomb gauge, and one can develop a parallel theory for this gauge. The temporal gauge has the advantage of being easy to establish globally, but the null form structure is less obvious (one needs to partition the connection into divergence-free and curl-free components). See e.g. references:Ta-p3 Ta-p3.

In the Coulomb or Temporal gauges, one can create a model equation for the Yang-Mills system by ignoring cubic terms and any contribution from the "elliptic portion of the gauge ( in the Coulomb gauge, or the curl-free portion of in the Temporal gauge). The resulting model equation is

where is some null form such as

.

The results known for the model equation are slightly better than those known for the actual Yang-Mills or Maxwell-Klein-Gordon equations.

The Yang-Mills equations come with a positive definite conserved Hamiltonian

which mostly controls the norm of and the norm of . However, there are some portions of the norm which are not controlled by the Hamiltonian (in the Coulomb gauge, it is ; in the Temporal gauge, it is the norm of the curl-free part of ). This causes some technical difficulties in the global well-posedness theory.

The Yang-Mills equations can also be coupled with a g-valued scalar field , with the Lagrangian functional of the form

where are covariant derivatives and is some potential function (e.g. . The corresponding Euler-Lagrange equations have the schematic form

and are generally known as the Yang-Mills-Higgs system of equations. This system may be thought of as a Yang-Mills equation coupled with a semi-linear wave equation. [#mkg The Maxwell-Klein-Gordon system] is a special case of Yang-Mills-Higgs.

The theory of Yang-Mills connections is considerably more advanced in the elliptic case (when the Minkowski metric is replaced by a Riemannian one), especially in the critical case of four dimensions, but a discussion of this topic is beyond our expertise.

Attention has mostly focussed on the [#YM_on_R^3 three] and [#YM_on_R^4 four dimensional] cases; the one-dimensional case is trivial (e.g. in the temporal gauge it collapses to A_tt = 0). In higher dimensions n=5,7,9 singularities can develop from large smooth radial data CaSaTv1998 (see also [Biz-p]). Numerics suggest this phenomenon is generic, and also one appears to have blowup also at the critical dimension BizTb2001, [Biz-p].

The Yang-Mills equations can also be coupled with a spinor field. In the case this becomes the Maxwell-Dirac equation.

The Yang-Mills equations in dimension n have many formal similarities with the wave maps equation at dimension n-2 (see e.g. CaSaTv1998 for a discussion)


Yang-Mills on
  • Scaling is .
  • One can use the method of descent and finite speed of propagation to infer R2 results from [#YM_on_R^3 the R3 results]. Thus, for instance, one has LWP for s>3/4 in the temporal gauge and GWP in the temporal gauge for s\geq 1. These results are almost certainly non-optimal, however, and probably have much simpler proofs (for instance, one can obtain the LWP result from the general theory of DNLW without using any null form structure).

Yang-Mills on R3

[Thanks to Jacob Sterbenz for corrections - Ed.]

  • Scaling is s_c = 1/2.
  • LWP for s > 3/4 in the Temporal gauge if the norm is sufficiently small references:Ta-p3 Ta-p3. The main tools are bilinear estimates involving both X^{s,\theta} spaces and product Sobolev spaces.
    • Presumably the small data assumption can be removed, but the usual methods to do this fail because there are too many time derivatives in the non-linearity in the temporal gauge.
    • For s \geq 1 in the Temporal or Coulomb gauges LWP for large data was shown in KlMa1995.
    • For s > 1 LWP for the Temporal, Coulomb, or Lorentz gauges follows from Strichartz estimates PoSi1993.
    • For s > 3/2 LWP for the Temporal, Coulomb, or Lorentz gauges follows from energy estimates EaMc1982.
    • There is a tentative conjecture that one in fact has ill-posedness in the energy class for the Lorentz gauge.
    • For the model equation LWP fails for s < 3/4 [MaStz-p]
    • The endpoint s=1/2 looks extremely difficult, even for Besov space variants.
  • GWP is known for data with finite Hamiltonian (morally, this is for s \geq 1) in the Coloumb or Temporal gauges KlMa1995.
    • For smooth data this was proven in EaMc1982.
      • This result was extended to curved space in CcSa1997
    • It seems likely that one can improve this to something like s>7/8, in analogy with the [#mkg_on_R^3 theory for the Maxwell-Klein-Gordon equation].

MKG and Yang-Mills in R^4
  • Scaling is s_c = 1.
  • For the MKG equations in the Coulomb gauge, LWP is known for s > 1 [Sb-p5]. This is still not known for Yang-Mills.
    • For the model equations this is in KlTt1999
      • For general quadratic DNLW this is only known for s > 5/4 (e.g. by the estimates in FcKl2000). Strichartz estimates need s > 3/2 PoSi1993, while energy estimates need s > 2.
    • The latter two results (Strichartz and energy) easily extend to the actual MKG and YM equations in all three standard gauges.
  • It is conjectured that one has global well-posedness results for small energy, but this is open.
    • For small smooth compactly supported data, one can obtain global existence from the [#gwp_qnlw general theory of quasi-linear equations].
    • For large data Yang-Mills, numerics suggest that blowup does occur, with the solution resembling a rescaled instanton at each time BizTb2001, [Biz-p].
    • GWP for small B^{1,1} data (with an additional angular derivative of regularity) in the Lorentz gauge is in [Stz-p2].

MKG and Yang-Mills in R^n, n>4
  • Scaling is s_c = n/2 - 1.
  • LWP is almost certainly true for MKG-CG for s > s_c by adapting the results in [Sb-p5]. The corresponding question for Yang-Mills is still open.
    • For the model equations one can probably achieve this by adapting the results in Tt1999
  • For dimensions n\geq 6, GWP for small H^{n/2} data in MKG-CG is in [RoTa-p]. The corresponding question for Yang-Mills is still open, but a Besov result follows (in the Lorentz gauge) from [Stz-p3].

Yang-Mills-Higgs on R3
  • Suppose the potential energy V( f ) behaves like | f |^{p+1} (i.e. defocussing p^th power non-linearity). When p\leq3, the Higgs term is negligible, and the theory mimics that of the ordinary Yang-Mills equation. The most interesting case is p=5, since the Higgs component is then H^1-critical.
  • There is no perfect scale-invariance to this equation (unless p=3); the critical regularity is s_c = max(1/2, 3/2 - 2/(p-1))
  • In the sub-critical case p<5 one has GWP for smooth data EaMc1982, references:GiVl1982b GiVl1981. This can be pushed to H^1 by the results in Ke1997. The local theory might be pushed even further.
  • In the critical case p=5 one has GWP for s \geq 1 Ke1997.
  • In the supercritical case p>5 one probably has LWP for s \geq s_c (because this is true for the Yang-Mills and NLW equations separately), but this has not been rigorously shown. No large data global results are known, but this is also true for the supposedly simpler supercritical NLW. It seems possible however that one could obtain small-data GWP results.


The Maxwell-Klein-Gordon equation

The Maxwell-Klein-Gordon is the special case of the [#ymh Yang-Mills-Higgs equation] when the Lie group G is just the circle U(1), and there is no potential energy term V( f ). Thus A is now purely imaginary, and f is complex.

Despite the name, the Maxwell-Klein-Gordon equation is not really related to the (massive) Klein-Gordon equation. Rather, it is the Maxwell equation coupled with a massless scalar equation (i.e. a free wave equation). If the scalar field f is set to 0, the equation collapses to the linear Maxwell equations, which are basically a vector-valued variant of the free wave equation.

As with Yang-Mills, the three standard gauges are Lorentz gauge, Coloumb gauge, and Temporal gauge. The Lorentz gauge is most natural from a co-ordinate free viewpoint, but is difficult to work with technically. In principle the temporal gauge is the easiest to work with, being local in space, but in practice the Coloumb gauge is preferred because the null form structure of Maxwell-Klein-Gordon is most apparent in this gauge.

In the Coulomb gauge MKG has the schematic form

D A_0 = ff _t + F 3
\Box A = Ñ ^{-1} Q( f , f )
\Box f = Q( Ñ ^{-1} A, f ) + (A_0)_t f + A_0 f _t + F 3

where F 3 denotes terms that are cubic in (A_0, A, f ). Unfortunately, the equation for the A_0 portion of the Coloumb gauge is elliptic, which generates some low frequency issues. However, if we ignore the A_0 terms and the cubic terms then we reduce to the model equation

\Box A = Ñ ^{-1} Q( f , f )
\Box f = Q( Ñ ^{-1} A, f )

which is slightly better than the corresponding model for Yang-Mills.

MKG has the advantage over YM that the Coulomb gauge is easily constructed globally using Riesz transforms, so there are less technical issues involved with this gauge.


Maxwell-Klein-Gordon on R
  • Scaling is s_c = -1/2.
  • LWP can be shown in the temporal gauge for s>1/2 by energy estimates. For s<1/2 one begins to have difficulty interpreting the solution even in the distributional sense, but this might be avoidable, perhaps by a good choice of gauge. (The Coulomb gauge seems to have some technical difficulties however).
  • GWP is easy to show in the temporal gauge for s \geq 1 by energy methods and Hamiltonian conservation. Presumably one can improve the s \geq 1 constraint substantially.

Maxwell-Klein-Gordon on R2
  • Scaling is s_c = 0.
  • Heuristically, one expects X^{s,\delta} methods to give LWP for s > 1/4, but we do not know if this has been done rigorously.
    • Strichartz estimates give s > 1/2 PoSi1993, while energy methods give s>1.
  • GWP is known for smooth data in the temporal gauge Mc1980.
    • This should extend to s \geq 1 and probably below, but we do not know if this is in the literature.

Maxwell-Klein-Gordon on R3

[Thanks to Jacob Sterbenz for corrections - Ed.]

  • Scaling is s_c = 1/2.
  • LWP for s>1/2 in the Coulomb Gauge [MaStz-p]
    • For the model equation LWP fails for s < 3/4 [MaStz-p]. Thus the MKG result exploits additional structure in the MKG equation which is not present in the model equation.
    • For s>3/4 this was proven in the Coloumb gauge in Cu1999.
    • For s\geq1 this was proven in the Coulomb and Temporal gauges in KlMa1994.
    • For s>1 this follows (in any of the three gauges) from Strichartz estimates PoSi1993
    • For s>3/2 this follows (in any of the three gauges) from energy estimates.
    • There is a tentative conjecture that one in fact has ill-posedness in the energy class for the Lorentz gauge.
    • The endpoint s=1/2 looks extremely difficult, even for the model equation. Perhaps things would be easier if one only had to deal with the null form Ñ ^{-1} Q( f , f ), as this is slightly smoother than Q( Ñ ^{-1}A, f ).
  • GWP for s>7/8 in the Coloumb gauge references:KeTa-p KeTa-p.
    • For s\geq 1 this was proven in KlMa1997.
    • For smooth data this was proven in EaMc1982.
  • For physical applications it is of interest to study MKG when the scalar field f propagates with a strictly slower velocity than the electromagnetic field A. In this case one cannot exploit the null form estimates; nevertheless, the estimates are more favourable, mainly because the two light cones are now transverse. Indeed, one has GWP for s\geq1 in all three standard gauges Tg2000. The local and global theory for this equation may well be improvable.
  • In the nonrelativistic limit this equation converges to a Maxwell-Poisson system MasNa2003

The Maxwell-Dirac equation

[More info on this equation would be greatly appreciated. - Ed.]

This equation essentially reads

D_A y <nowiki\geq</nowiki> - y
\Box A + Ñ (\div_{x,t} A)= y y

where y is a spinor field (solving a coupled massive Dirac equation), and D is the Dirac operator with connection A. We put y in H^{s_1} and A in H^{s_2} x H^{s_2 - 1}.

  • Scaling is (s_1, s_2) = (n/2-3/2, n/2-1).
  • When n=1, there is GWP for small smooth data Chd1973
  • When n=3 there is LWP for (s_1, s_2) = (1, 1) in the Coulomb gauge Bou1999, and for (s_1, s_2) = (1/2+, 1+) in the Lorentz gauge Bou1996
    • For (s_1, s_2) = (1,2) in the Coulomb gauge this is in Bou1996
    • This has recently been improved by Selberg to (1/4+, 1). Note that for technical reasons, lower-regularity results do not automatically imply higher ones when the regularity of one field (e.g. A) is kept fixed.
    • LWP for smooth data was obtained in Grs1966
    • GWP for small smooth data was obtained in Ge1991
  • When n=4, GWP for small smooth data is known (Psarelli?)

In the nonrelativistic limit this equation converges to a Maxwell-Poisson system for data in the energy space [BecMauSb-p2]; furthermore one has a local well-posedness result which grows logarithmically in the asymptotic parameter. Earlier work appears in MasNa2003.


Dirac-Klein-Gordon equation

[More info on this equation would be greatly appreciated. - Ed.]

This equation essentially reads

D y = f y - y
Box f = y y

where y is a spinor field (solving a coupled massive Dirac equation), D is the Dirac operator and f is a scalar (real) field. We put
y in H^{s_1} and ( f , f _t) in H^{s_2} x H^{s_2 - 1}.

The energy class is essentially (s_1,s_2) = (1/2,1), but the energy density is not positive. However, the L^2 norm of y is also positive and conserved..

  • Scaling is (s_1, s_2) = (n/2-3/2, n/2-1).
  • When n=1 there is GWP for (s_1,s_2) = (1,1) Chd1973, Bou2000 and LWP for (s_1, s_2) = (0, 1/2) Bou2000.
  • When n=2 there are some LWP results in Bou2001

Nonlinear Dirac equation

This equation essentially reads

D y - m y = l(g y, y) y

where y is a spinor field, m > 0 is the mass, l is a complex parameter, g is the zeroth Pauli matrix, and (,) is the spinor inner product.

  • Scaling is s_c =1 (at least in the massless case m=0).
  • In R^3, LWP is known for H^s when s > 1 EscVe1997
    • This can be improved to LWP in H^1 (and GWP for small H^1 data) if an epsilon of additional regularity as assumed in the radial variable [MacNkrNaOz-p]; in particular one has GWP for radial H^1 data.
  • In R^3, GWP is known for small H^s data when s > 1 [MacNaOz-p2].Some results on the nonrelativistic limit of this equation are also obtained in that paper.

DDNLW

We use DDNLW to denote a semi-linear wave equation whose non-linear term is quadratic in the derivatives, i.e.

\Box f = G ( f ) D f D f .

A fairly trivial example of such equations arise by considering fields of the form f = f(u), where f is a given smooth function (e.g. f(x) = exp(ix)) and u is a scalar solution to the free wave equation. In this case f solves the equation

\Box f = f''( f ) Q_0( f , f )

where Q_0 is the null form

Q_0( f , y ) := \partial_ af \partial^ a y = Ñf . Ñy - f _t y _t.

The above equation can be viewed as the wave equation on the one-dimensional manifold f(R), with the induced metric from R. The higher-dimensional version of this equation is known as the [#wm wave map equation].

DDNLW behaves like DNLW but with all fields requiring one more derivative of regularity. One explicit way to make this connection is to differentiate
DDNLW and view the resulting as an instance of DNLW for the system of fields ( f , D f ). The reader should compare the results below with the [#dnlw-2 corresponding results for quadratic DNLW].

The critical regularity is s_c = d/2. For subcritical regularities s > s_c, f has some Holder continuity, and so one heuristically expects the G ( f ) terms
to be negligible. However, this term must play a crucial role in the critical case s=s_c. For instance, Nirenberg [ref?] observed that the real scalar equation

\Box f = - f Q_0( f , f )

is globally well-posed in H^{d/2}, but the equation

\Box f = f Q_0( f , f )

is ill-posed in H^{d/2}; this is basically because the non-linear operator f -> exp(if) is continuous on (real-valued) H^{d/2}, while f -> exp(f) is not.

Energy estimates show that the general DDNLW equation is locally well-posed in H^s for s > s_c + 1. Using Strichartz estimates this can be improved to s > s_c + 3/4 in two dimensions and s > s_c + 1/2 in three and higher dimensions; the point is that these regularity assumptions together with Strichartz allow one to put f into L2_t L^ ¥ _x (or L^4_t L^ ¥ _x in two dimensions), so that one can then use the energy method.

Using X^{s,b} estimates FcKl2000 instead of Strichartz estimates, one can improve this further to s > s_c + 1/4 in four dimensions and to the near-optimal s > s_c in five and higher dimensions Tt1999.

Without any further assumptions on the non-linearity, these results are sharp in 3 dimensions; more precisely, one generically has ill-posedness in H2 Lb1993, although one can recover well-posedness in the Besov space B2_{2,1} Na1999, or with an epsilon of radial regularity [MacNkrNaOz-p]. It would be interesting to determine what the situation is in the other low dimensions.

If the quadratic non-linearity ( Ñf )2 is of the form Q_0( f , f ) (or of a null form of similar strength) then the LWP theory can be pushed to s > s_c in all dimensions (see [KlMa1997], [KlMa1997b] for d >= 4, KlSb1997 for d \geq 2, and KeTa1998b for d=1).

If G ( f ) is constant and d is at least 4, then one has GWP outside of convex obstacles [Met-p2]

  • For d \geq 6 this is in ShbTs1986; for d \geq 4 and the case of a ball this is in Ha1995.
  • Without an obstacle, one can use the [#gwp_qnlw general theory of quasilinear NLW].

Two-speed DDNLW
  • One can consider two-speed variants of DDNLW ([#two-speed see Overview]), when both F and G have the form G (U) DU DU.
  • The Strichartz and energy estimates carry over without difficulty to this setting. The results obtained by X^{s,\theta} estimates change, however. The null forms are no longer as useful, however the estimates are usually more favourable because of the transversality of the two light cones. Of course, if F contains DuDu or G contains DvDv then one cannot do any better than the one-speed case.
  • For d=2 one can obtain LWP for the near-optimal range s>3/2 when F does not contain DuDu and G does not contain DvDv [Tg-p].
  • For d=1 one can obtain LWP for the near-optimal range s>1 when F does not contain DuDu and G does not contain DvDv [Tg-p].
  • For d=3 one can obtain GWP for small compactly supported data for quasilinear equations with multiple speeds, as long as the nonlinearity has no explicit dependence on U [KeSmhSo-p3]

A special case of two-speed DDNLS arises in elasticity (more on this to be added in later).


Wave maps

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

\int f _ a . f ^ a dx dt.

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

Box f = G ( f ) Q_0( f , f )

where G ( f ) is the second fundamental form and Q_0 is the null form [#ddnlw mentioned earlier]. When the target manifold is a unit sphere, this simplifies to

Box f = - f Q_0( f , f )

where f is viewed in Cartesian co-ordinates (and must therefore obey | f |=1 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 S2 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^ ¥ , 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 [#wm_on_R one-dimensional] and [#wm_on_R^2 two-dimensional] cases, which are covered in more detail below) 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]

For further references see Sw1997, SaSw1998, [KlSb-p].


Wave maps on R
  • Scaling is s_c = 1/2.
  • LWP in H^s for s > 1/2 KeTa1998b
    • Proven for s \geq 1 in [Zh-p]
    • Proven for s > 3/2 by energy methods
    • One also has LWP in the space L^1_1 KeTa1998b. Interpolants of this with the H^s results are probably possible.
    • One has ill-posedness for H^{1/2}, and similarly for Besov spaces near H^{1/2} such as B^{1/2,1}_2 Na1999, Ta2000. However, the ill-posedness is not an instance of blowup, only of a discontinuous solution map, and perhaps a weaker notion of solution still exists and is unique.
  • GWP in H^s for s>3/4 KeTa1998b when the target manifold is a sphere
    • Was proven for s \geq 1 in Zh1999 for general manifolds
    • Was proven for s \geq 2 for general manifolds in Gu1980, LaSh1981, GiVl1982, Sa1988
    • One also has GWP and scattering in L^1_1. KeTa1998b One probably also has asymptotic completeness.
    • Scattering fails when the initial velocity is not conditionally integrable KeTa1998b.
    • It should be possible to improve the s>3/4 result by correction term methods, and perhaps to obtain interpolants with the L^{1,1} result. One should also be able to extend to general manifolds.
  • Remark: The non-linear term has absolutely no smoothing properties, because of the double derivative in the non-linearity and the lack of dispersion in the one-dimensional case.
  • Remark: The equation is completely integrable [[Bibliography#Pm1976|Pm1976]], but not in the same way as KdV, mKdV or 1D NLS. (The additional conserved quantities do not control H^s norms, but rather the pointwise distribution of the energy. Indeed, the energy density itself obeys the free wave equation!).When the target is a symmetric space, homoclinic periodic multisoliton solutions were constructed in [TeUh-p2].
  • Remark: When the target manifold is S2, the wave map equation is related to the [#Sine-Gordon sine-Gordon equation] Pm1976.Homoclinic periodic breather solutions were constructed in SaSr1996.
  • When the target is a Lorentzian manifold, local existence for smooth solutions was established in [Cq-p2].A criterion on the target manifold to guarantee global existence of smooth solutions is in [Woo-p]; however if the target manifold is the Lorentz sphere S^{1,n-1} then there is a large class of data which blows up [Woo-p].

Wave maps on R2
  • Scaling is s_c = 1 (energy-critical).
  • LWP in H^1 [Tt-p2]
    • For B^{1,1}_2 this is in Tt2001b.
    • LWP in H^s, s>1 was shown in KlSb1997.
    • For s>7/4 this can be shown by Strichartz methods.
    • For s>2 this can be shown by energy estimates.
  • 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 [Ta-p6]
    • For small B^{1,1}_2 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 references#SaSw1993 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
    • 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, numerical evidence seems to suggest energy concentration and singularity formulation for large equivariant data [IbLie-p].In the equivariant case, examples of blowup in H^{1+eps} on domains |x|^alpha < t can be constructed if one adds a forcing term on the right-hand side [GeIv-p]
    • 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 references#Gl1998 Gl1998

Quasilinear wave equations (QNLW)

In a local co-ordinate chart, quasilinear wave equations (QNLW) take the form

partial_ a g^{ ab }(u) partial_ b u = F(u, Du).

One could also consider equations where the metric depends on derivatives of u, but one can reduce to this case (giving up a derivative) by differentiating the equation. One can also reduce to the case g^{00} = 1, g^{0i} = g^{i0} = 0 by a suitable change of variables. F is usually quadratic in the derivatives Du, as this formulation is then robust under many types of changes of variables.

Quasilinear NLWs appear frequently in general relativity. The most famous example is the [#Einstein Einstein equations], but there are others (coming from relativistic elasticity, hydrodynamics, [#Minimal_Surface_Equation minimal surfaces], etc. [Ed: anyone willing to contribute information on these other equations (even just their name and form) would be greatly appreciated.]). The most interesting dimension is of course the physical dimension d=3.

Classically one has LWP for H^s when s > d/2+1 HuKaMar1977, but the [#dnlw semilinear theory] suggests that we should be able to improve this to s > s_c = d/2 with a null condition, and to s > d/2 + max(1/2, (d-5)/4) without one (these results would be sharp even in the semilinear case). In principle Strichartz estimates should be able to push down to s > d/2 + 1/2, but only partial results of this type are known. Specifically:

  • When d=2 one has LWP in the expected range s > d/2 + 3/4 without a null condition [SmTt-p]
    • For s > d/2 + 3/4 + 1/12 this is in [Tt-p5] (using the FBI transform).
    • For s > d/2 + 3/4 + 1/8 this is in BaCh1999 (using FIOs) and Tt2000 (using the FBI transform).
  • When d=3,4,5 one has LWP for s > d/2 + 1/2 [SmTt-p] (using parametrices and the equation for the metric); in the specific case of the [Einstein%20equations Einstein equations] see [KlRo-p3], [KlRo-p4], [KlRo-p5] (using vector fields and the equation for the metric)
    • For s > d/2 + 1/2 + 1/7 (approx) and d=3 this is in [KlRo-p2] (vector fields and the equation for the metric)
    • For s > d/2 + 1/2 + 1/6 and d=3 this is in [Tt-p5] (using the FBI transform).
    • For s > d/2 + 1/2 + 1/5 (approx) and d=3 this is in [Kl-p2] (vector fields methods).
    • For s > d/2 + 1/2 + 1/4 and d\geq 3 this is in BaCh1999 (using FIOs) and Tt2000 (using the FBI transform). See also BaCh1999b.

A special type of QNLW is the cubic equations, where g itself obeys an elliptic equaton of the form Delta g = |Du|^2, and the non-linearity is of the form Dg Du. For such equations, we have LPW for s > d/2 + 1/6 when d \geq 4 [BaCh-p], BaCh2002. This equation has some similarity with the differentiated wave map equation in the Coulomb gauge.

For small smooth compactly supported data of size e and smooth non-linearities, the GWP theory for QNLW is as follows.

  • If the non-linearity is a null form, then one has GWP for d\geq3; in fact one can take the data in a weighted Sobolev space H^{4,3} x H^{3,4} Cd1986.
    • Without the null structure, one has almost GWP in d=3 Kl1985b, and this is sharp Jo1981, Si1983
      • In the semi-linear case and when the nonlinearity is quadratic in the derivatives, this is also true outside of a compact non-trapping obstacle [KeSmhSo-p2]. This has been generalized to the quasi-linear case in [KeSmhSo-p3] (and non-linear Dirichlet wave equations are also treated there, as are multiple speeds).
    • With a null structure and outside a star-shaped obstacle with Dirichlet conditions and d=3, one has GWP for small data in H^{9,8} x H^{8,9} which are compatible with the boundary [KeSmhSo-p]. Earlier work in this direction is in Dt1990.
      • For radial data and obstacle this was obtained in Go1995; see also Ha1995, Ha2000.
      • In the semilinear case, the non-trapping condition was removed in [MetSo-p], even in the multiple speed case, provided one has an exponential decay result near the obstacle (this is true, for instance, if the obstacle is a union of a finite number of sufficiently separated strictly convex bodies).
    • For d>3 or for cubic nonlinearities one has GWP regardless of the null structure refernces:KlPo1983 KlPo1983, Sa1982, Kl1985b.
      • In three dimensions with a null structure, for systems with multiple wave speeds, one has GWP So2001
      • In the exterior of an nontrapping obstacle with Dirichlet conditions, with multiple speeds, one has GWP for sufficiently smooth and decaying data obeying the usual compatibility conditions at the boundary [MetSo-p2], if the quasilinear terms obey some symmetry conditions and the semilinear terms are quadratic in Du
        1. When the obstacle is a ball this is in Ha1995.
        2. For d \geq 6 outside of a starshaped obstacle this is in ShbTs1984, ShbTs1986.

Einstein equations

[Note: This is an immense topic, and we do not even begin to do it justice with this very brief selection of results. For more detail, we recommend the very nice survey on existence and global dynamics of the Einstein equations by Alan Rendall. Further references are, of course, always appreciated. We thank Uwe Brauer, Daniel Pollack, and some anonymous contributors to this section.]

The (vacuum) Einstein equations take the form

R_{ a b } = C R g_{ a b }

where g is the metric for a 3+1-dimensional manifold, R is the Ricci curvature tensor, and C is an absolute constant. The Cauchy data for this problem is thus a three-dimensional Riemannian manifold together with the second fundamental form of this manifold (roughly speaking, this is like the initial position and initial velocity for the metric g). However, these two quantities are not completely independent; they must obey certain constraint equations. These equations are now known to be well behaved for all s > 3/2 [Max-p], [Max2005] (see also earlier work in higher regularities in RenFri2000, Ren2002).

Because of the diffeomorphism invariance of the Einstein equations, these equations are not hyperbolic as stated. However, this can be remedied by choosing an appropriate choice of co-ordinate system (a gauge, if you will). One popular choice is harmonic co-ordinates or wave co-ordinates, where the co-ordinate functions x a are assumed to obey the wave equation Boxg x a = 0 with respect to the metric g. In this case the Einstein equations take a form which (in gross caricature) looks something like

Boxg g = G (g) Q(dg, dg) + lower order terms

where Q is some quadratic form of the first two derivatives. In other words, it becomes a [#Quasilinear quasilinear wave equation]. One would then specify initial
data on the initial surface x = 0; the co-ordinate x plays the role of time, locally at least.

  • Scaling is s_c = 3/2. Thus energy is super-critical, which seems to make a large data global theory extremely difficult.
  • LWP is known in H^s for s > 5/2 by energy estimates (see HuKaMar1977, [AnMc-p]; for smooth data s > 4 this is in Cq1952) - given that the initial data obeys the constraint equations, of course.
    • This result can be improved to s>2 by the [#Quasilinear recent quasilinear theory] (see in particular [KlRo-p3], [KlRo-p4], [KlRo-p5]).
    • This result has now been improved further to s=2 [KlRo-p6], [KlRo-p7], [KlRo-p8]
    • For smooth data, one has a (possibly geodesically incomplete) maximal Cauchy development CqGc1969.
  • GWP for small smooth asymptotically flat data was shown in CdKl1993 (see also CdKl1990). In other words, Minkowski space is stable.
    • Another proof using the double null foliation is in KlNi2003, [KlNi-p]
    • Another proof of this fact (using the Lorenz gauge, and assuming Schwarzschild metric outside of a compact set) is in [LbRo-p] (see also LbRo2003 for a treatment of the asymptotic dynamics)
    • Singularities must form if there is a trapped surface Pn1965.
  • Many special solutions (Schwarzschild space, Kerr space, etc.) The stability of these spaces is a very interesting (and difficult) question.
  • The equations can simplify under additional symmetry assumptions. The U(1)-symmetric case reduces to a system of equations which closely resembles the [#wm_on_R^2 two-dimensional wave maps equation] (with the target manifold being hyperbolic space H^2).
  • Another important question is the Cosmic Censorship Hypothesis. Informally, this asserts that singularities are always (or at least generically) concealed by black holes. Another (slightly different) version of the conjecture asserts that the maximal Cauchy development is always inextendable as a (suitably regular) Lorentzian manifold. This question is already interesting in the U(1)-symmetric case (perhaps with a matter coupling).

Minimal surface equation

This quasilinear equation takes the form

partial a [ (1 + fbfb )^{-1/2} fa ] = 0

where f is a scalar function on R^{n-1}xR (the graph of a surface in R^n x R ). This is the Minkowski analogue of the minimal surface equation in Euclidean space, see Hp1994.

  • This is a [#Quasilinear quasilinear wave equation], and so LWP in H^s for s > n/2 + 1 follows from energy methods, with various improvements via Strichartz possible. However, it is likely that the special structure of this equation allows us to do better.
  • GWP for small smooth compactly supported data is in [Lb-p].