Wave equations: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
 
(19 intermediate revisions by 5 users not shown)
Line 1: Line 1:
==Non-linear wave equations==
==Non-linear wave equations==


<div class="MsoNormal" style="text-align: center"><center>
Nonlinear wave equations arise in physics from two major sources: relativity and [[elasticity]].
----
</center></div>


===Overview===
All relativistic field equations in (classical) physics are variants of the [[free wave equation]] or [[Klein-Gordon equation]] on [[Minkowski space]].


Let <math>R^{d+1}</math> be endowed with the Minkowski metric
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 <math>R^{1+d}</math>.


<center><math>ds^2 = dx^2_{} - dt^2</math>.</center>
Here we shall focus more on purely ''non-linear'' perturbations, which collapse to a constant-coefficient wave equation in the [[small amplitude limit]].
 
In the fullest generality, this would mean studying equations of the form
(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. <br /> The D'Lambertian operator
 
<center><math>\Box := \partial_a \partial^a = \Delta - \partial_t^2</math></center>
 
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
 
<center><math>\Box f = 0,</math></center>
 
where <math>f</math> is either scalar or vector-valued. One can also consider add a mass term to obtain the Klein-Gordon equation
 
<center><math>\Box f  = f</math>.</center>
 
In practice, this mass term makes absolutely no difference to the local well-posedness theory of an equation (since the mass term <math>f</math> 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


<center><math>F(f, Df, D^2_{}f) = 0</math></center>
<center><math>F(f, Df, D^2_{}f) = 0</math></center>


where <math>D</math> denotes differentation in space or time and the Taylor expansion of <math>F</math> 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.
where <math>D</math> denotes differentiation in space or time and the Taylor expansion of <math>F</math> 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 [[NLW|semi-linear]], [[DNLW|semi-linear with derivatives]], and [[QNLW|quasi-linear]] equations.
 
Non-linear wave equations are often the Euler-Lagrange equation for some variational problem, usually with a Lagrangian that resembles
 
<center><math>\int \partial_af \partial^af dx dt</math></center>
 
(this being the Lagrangian for the free wave equation). As such the equation usually comes with a divergence-free stress-energy tensor <math> T^{ a  b }</math>, which in turn leads to a conserved Hamiltonian <math> E( f )</math>. 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 <math>E(D f )</math> where <math>D</math> 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 <math>R^{d+1}</math> conformally to a compact subset of <math> S^d x R</math> 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 <math>n=1</math> is special for several reasons. Firstly, there is the very convenient null co-ordinate system <math>u = t+x, v = t-x</math> which can be used to factorize <math>\Box</math>. 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 <math>(u,v) \rightarrow ( F (u),  Y (v))</math> 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 <math>L^2</math>-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 <math>u = t+r, v = t-r</math>. Indeed one can think of spherically symmetric wave equations as one-dimensional wave equations with a singular drag term <math>(n-1)  f _r / r</math>.
 
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 <math>exp(i (k.x +- |k|t))</math> 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 <math>u</math> and <math>v</math>, with <math>v</math> propagating slower than <math>u</math>, e.g.
 
<center><math>\Box u = F(U, DU), ~\Box_s v = G(U, DU)</math></center>
 
where <math>U = (u,v)</math> and <math>\Box_s = s^2  \Delta  - \partial_t^2</math> for some <math>0 < s < 1</math>. This case occurs physically when <math>u</math> 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 <math>F, G</math> are "off-diagonal") since the light cone for <math>u</math> is always transverse to the light cone for <math>v</math>. One can of course generalize this to consider multiple speed (nonrelativistic) wave equations.
 
----  [[Category:Equations]]
 
===Semilinear wave equations===
 
[Note: Many references needed here!]
 
Semilinear wave equations (NLW) and semi-linear Klein-Gordon equations (NLKG) take the form
 
<center><math>\Box  f  = F( f ) , \Box  f  =  f  + F( f )</math></center>
 
respectively where <math>F</math> is a function only of  <math>f</math>  and not of its derivatives, which vanishes to more than first order.
 
Typically <math>F</math> grows like <math>| f |^p</math> for some power <math>p</math>. If <math>F</math> is the gradient of some function <math>V</math>, then we have a conserved Hamiltonian
 
<center><math>\int | f _t |^2 / 2 + | \nabla f |^2 / 2 + V( f )\ dx.</math></center>
 
For NLKG there is an additional term of <math>| f |^2 /2</math> in the integrand, which is useful for controlling the low frequencies of  <math>f</math> . If V is positive definite then we call the NLW defocussing; if <math>V</math> is negative definite we call the NLW focussing. The term "coercive" does not have a standard definition, but generally denotes a potential <math>V</math> which is positive for large values of  <math>f</math> .
 
To analyze these equations in <math>H^s</math> we need the non-linearity to be sufficiently smooth. More precisely, we will always assume either that <math>F</math> is smooth, or that <math>F</math> is a p^th-power type non-linearity with <math>p > [s]+1</math>.
 
The scaling regularity is <math>s_c = d/2 - 2/(p-1)</math>. Notable powers of <math>p</math> include the <math>L^2</math>-critical power <math>p_{L^2} = 1 + 4/d</math>, the <math>H^{1/2}</math>-critical or ''conformal'' power p_{H^{1/2}} = 1 + 4/(d-1), and the <math>H^1</math>-critical'' power <math>p_{H^1} = 1 + 4/{d-2}</math>. <br />
 
{| class="MsoNormalTable" style="width: 100.0%; mso-cellspacing: 1.5pt; mso-padding-alt: 0in 0in 0in 0in" width="100%" border="1"
|- style="mso-yfti-irow: 0; mso-yfti-firstrow: yes"
| style="padding: .75pt .75pt .75pt .75pt" |
Dimension d
| style="padding: .75pt .75pt .75pt .75pt" |
Strauss exponent (NLKG)
| style="padding: .75pt .75pt .75pt .75pt" |
<math>L^2</math>-critical exponent
| style="padding: .75pt .75pt .75pt .75pt" |
Strauss exponent (NLW)
| style="padding: .75pt .75pt .75pt .75pt" |
H^{1/2}-critical exponent
| style="padding: .75pt .75pt .75pt .75pt" |
H^1-critical exponent
|- style="mso-yfti-irow: 1"
| style="padding: .75pt .75pt .75pt .75pt" |
1
| style="padding: .75pt .75pt .75pt .75pt" |
3.56155...
| style="padding: .75pt .75pt .75pt .75pt" |
5
| style="padding: .75pt .75pt .75pt .75pt" |
infinity
| style="padding: .75pt .75pt .75pt .75pt" |
infinity
| style="padding: .75pt .75pt .75pt .75pt" |
N/A
|- style="mso-yfti-irow: 2"
| style="padding: .75pt .75pt .75pt .75pt" |
2
| style="padding: .75pt .75pt .75pt .75pt" |
2.41421...
| style="padding: .75pt .75pt .75pt .75pt" |
3
| style="padding: .75pt .75pt .75pt .75pt" |
3.56155...
| style="padding: .75pt .75pt .75pt .75pt" |
5
| style="padding: .75pt .75pt .75pt .75pt" |
infinity
|- style="mso-yfti-irow: 3"
| style="padding: .75pt .75pt .75pt .75pt" |
3
| style="padding: .75pt .75pt .75pt .75pt" |
2
| style="padding: .75pt .75pt .75pt .75pt" |
2.33333...
| style="padding: .75pt .75pt .75pt .75pt" |
2.41421...
| style="padding: .75pt .75pt .75pt .75pt" |
3
| style="padding: .75pt .75pt .75pt .75pt" |
5
|- style="mso-yfti-irow: 4; mso-yfti-lastrow: yes"
| style="padding: .75pt .75pt .75pt .75pt" |
4
| style="padding: .75pt .75pt .75pt .75pt" |
1.78078...
| style="padding: .75pt .75pt .75pt .75pt" |
2
| style="padding: .75pt .75pt .75pt .75pt" |
2
| style="padding: .75pt .75pt .75pt .75pt" |
2.33333...
| style="padding: .75pt .75pt .75pt .75pt" |
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
 
<center><math>s_{conf} = (d+1)/4 - 1/(p-1)</math></center>
 
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 [[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.
 
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.
* For d>4 sufficiency is only known assuming the condition
 
<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} [[Bibliography#Ta1999|Ta1999]]. The main tool is two-scale Strichartz estimates.
 
** By using standard Strichartz estimates this was proven with (*) replaced by
 
<center><math>p ((d+1)/4-s) \leq (d+1)/2d ( (d+3)/2 - s)</math>; (**)</center>
 
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 [[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:
 
* <math>d=3, p = 3, s > 3/4</math> [[references:KnPoVe-p2 KnPoVe-p2]]
* <math>d=3, 3 \leq p < 5, s > [4(p-1) + (5-p)(3p-3-4)]/[2(p-1)(7-p)]</math> [MiaZgFg-p]
* <math>d=3, 2 < p < 3, or n\geq4, (d+1)^2/((d-1)^2+4) \leq p < (d-1)/(d-3)</math>, and
 
<center><math>s > [2(p-1)^2 - (d+2-p(d-2))(d+1-p(d-1))] / [2(p-1)(d+1-p(d-3))]</math></center>
 
[MiaZgFg-p]. Note that this is the range of p for which s_conf obeys both the scaling condition <math>s_{conf} > s_c</math> and the condition (**).
 
* <math>d=2, 3 \leq p \leq 5, s > (p-2)/(p-1)</math> [Fo-p]; this is for the NLW instead of NLKG.
* <math>d=2, p > 5, s > (p-1)/p</math> [Fo-p]; this is for the NLW instead of NLKG.
 
GWP and blowup has also been studied for the NLW with a conformal factor
 
<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 [[Bibliography#Aa2002|Aa2002]], [[Bibliography#BcKkZz2002|BcKkZz2002]], [[Bibliography#Gue2003|Gue2003]] for some recent results.
 
 
----  [[Category:Equations]]
====Scattering theory for semilinear NLW====
 
 
[Thanks to Kenji Nakanishi for many helpful additions to this section - Ed.]
 
The ''Strauss exponent''
 
<center><math>p_0(d) = [d + 2 + \sqrt{d^2 + 12d + 4}]/2d</math></center>
 
plays a key role in the GWP and scattering theory. We have <math>p_0(1) = [3+\sqrt{17}]/2</math>; <math>p_0(2) = 1+sqrt(2); p_0(3) = 2</math>; note that <math>p_0(d-1)</math> is always between the <math>L^2</math> and <math>H^{1/2}</math> critical powers, and <math>p_0(d)</math> is always between the <math>H^{1/2}</math> and <math>H^1</math> critical powers.
 
Another key power is
 
<center><math>p_*(d) = [d+2 + sqrt(d^2 + 8d)]/2(d-1)</math></center>
 
which lies between the <math>L^2</math> critical power and <math>p_0(d-1)</math>.
 
'''Caveats''': the <math>d=1,2</math> 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 <math>H^1</math>-critical case. This is because (unlike NLS and NLKG) there is no a priori bound on the <math>L^2</math> norm (even with conservation of energy).
 
Scattering for small <math>H^1</math> data for arbitrary NLW:
 
* 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 [[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=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 [[Bibliography#BcKkZz1999|BcKkZz1999]]
 
Scattering for large <math>H^1</math> data for defocussing NLW:
 
* 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> [[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=4</math> this is extended to <math>p_*(4) < p < 5/2</math> [Hi-p3]
* For <math>d>4</math> one expects scattering when <math>p_0(d-1) < p \leq p_{H^{1/2}}</math>, but this is not known.
 
Scattering for small smooth compactly supported data for arbitrary NLW:
 
* GWP and scattering when <math>p > p_0(d-1)</math> [[Bibliography#GeLbSo1997|GeLbSo1997]]
** 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> [[Bibliography#Si1984|Si1984]] (see also [[Bibliography#Rm1987|Rm1987]], [[Bibliography#JiZz2003|JiZz2003]]
** For <math>d=4</math> this is in [[Bibliography#Gs1981b|Gs1981b]]
** 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]
** 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 [[Bibliography#Lev1990|Lev1990]]
 
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>[[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> [[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:
 
* 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> [[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 [[Bibliography#Br1985|Br1985]] [[Bibliography#GiVl1985b|GiVl1985b]]
** 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:
 
* 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.
** 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> [[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 [[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 [[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 [[Bibliography#BchNic1993|BchNic1993]], [[Bibliography#Nic1995|Nic1995]], [[Bibliography#BluSf2003|BluSf2003]]
 
----  [[Category:Equations]]
 
====Non-relativistic limit of NLKG====
 
By inserting a parameter <math>c</math> (the speed of light), one can rewrite NLKG as
 
<center><math>u_{tt}/c^2 -  D  u + c^2 u + f(u) = 0</math>.</center>
 
One can then ask for what happens in the non-relativistic limit <math>c \rightarrow \infty</math> (keeping the initial position fixed, and dealing with the initial velocity appropriately). In Fourier space, <math>u</math> should be localized near the double hyperboloid
 
<center><math>t  = \pm c \sqrt{c^2 +  x^2}</math>.</center>
 
In the non-relativistic limit this becomes two paraboloids
 
<center><math>t  = \pm (c^2 +  x^2/2)</math></center>
 
and so one expects <math>u</math> to resolve as
 
<center><math> u = exp(i c^2 t) v_+ + exp(-i c^2 t) v_- </math></center>
<center><math> u_t = ic^2 exp(ic^2 t) v_+ - ic^2 exp(ic^2 t) v_- </math></center>
 
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], [[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).
 
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 <br /> Schrodinger-Poisson system
 
<center><math>i v^+_t +  D  v/2 = u v^+ </math></center>
<center><math>i v^-_t -  D  v/2 = u v^- </math></center>
<center><math>D  u = - |v^+|^2 + |v^-|^2</math></center>
 
under reasonable <math>H^1</math> hypotheses on the initial data [BecMauSb-p]. The asymptotic relation between the MKG-CG fields  <math>f</math> , <math>A</math>, <math>A_0</math> and the Schrodinger-Poisson fields u, v^+, v^- are
 
<center><math>A_0 \sim u </math></center>
<center><math>f  \sim exp(ic^2 t) v^+ + exp(-ic^2 t) v^- </math></center>
<center><math>f _t \sim i M exp(ic^2)v^+ - i M exp(-ic^2 t) v^-</math></center>
 
where <math>M = sqrt{c^4 - c^2 D}</math> (a variant of <math>c^2</math>).
 
 
----  [[Category:Equations]]
 
====Specific semilinear wave equations====
 
 
 
[[Sine-Gordon]]
 
[[Quadratic NLW/NLKG]]
 
[[Cubic NLW/NLKG on R]]
 
[[Cubic NLW/NLKG on R2]]
[[Cubic NLW/NLKG on R3]]
 
[[Cubic NLW/NLKG on R4]]
 
[[Quartic NLW/NLKG]]
 
[[Quintic NLW/NLKG on R]]
 
[[Quintic NLW/NLKG on R2]]
[[Quintic NLW/NLKG on R3]]
 
[[Septic NLW/NLKG on R]]
 
[[Septic NLW/NLKG on R2]]
 
[[Septic NLW/NLKG on R3]]
 
===NLW with derivatives===
 
[[DNLW]]
 
[[Yang-Mills Equations]]
 
[[Maxwell-Klein-Gordon Equations]]
 
[[Dirac Equations]]
 
 
====DDNLW====
 
We use DDNLW to denote a semi-linear wave equation whose non-linear term is quadratic in the derivatives, i.e.
 
<center>\Box  f  =  G ( f ) D f  D f .</center>
 
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
 
<center>\Box  f <nowiki> = f''(</nowiki> f ) Q_0( f , f )</center>
 
where Q_0 is the null form
 
<center>Q_0( f ,  y ) := \partial_ af  \partial^ a  y  =  Ñf  .  Ñy  -  f _t  y _t.</center>
 
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 <br /> 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 <br /> 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
 
<center>\Box  f  = - f  Q_0( f ,  f )</center>
 
is globally well-posed in H^{d/2}, but the equation
 
<center>\Box  f  =  f  Q_0( f ,  f )</center>
 
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 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 [[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> [[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, [[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]
 
* 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].
 
----  [[Category:Equations]]
 
[[Two-speed DDNLW]]
 
 
 
===Wave maps===
 
Wave maps are maps  f  from R^{d+1} to a Riemannian manifold M which are critical points of the Lagrangian
 
<center>\int  f _ a  .  f ^ a  dx dt.</center>
 
When M is flat, wave maps just obey the wave equation (if viewed in flat co-ordinates). More generally, they obey the equation
 
<center>Box  f  =  G ( f ) Q_0( f ,  f )</center>
 
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
 
<center>Box  f  = - f  Q_0( f , f )</center>
 
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. [[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 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 [[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 [[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 [[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 [[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 [[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 [[Bibliography#Na1999|Na1999]], [[Bibliography#Ta2000|Ta2000]]
** GWP is also known for smooth data close to a geodesic [[Bibliography#Si1989|Si1989]]. For smooth data close to a point this was in [[Bibliography#Cq1987|Cq1987]].
* 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 [[Bibliography#Sa1988|Sa1988]]
** 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 further references see [[Bibliography#Sw1997|Sw1997]], [[Bibliography#SaSw1998|SaSw1998]], [KlSb-p].
 
====Wave maps on R====
 
* Scaling is s_c = 1/2.
* LWP in H^s for s > 1/2 [[Bibliography#KeTa1998b|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 [[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 [[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 [[Bibliography#KeTa1998b|KeTa1998b]] when the target manifold is a sphere
** Was proven for s \geq 1 in [[Bibliography#Zh1999|Zh1999]] for general manifolds
** 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. [[Bibliography#KeTa1998b|KeTa1998b]] One probably also has asymptotic completeness.
** 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.
* ''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>[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] [[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].
 
====Wave maps on <math>R^2</math>====
 
* Scaling is s_c = 1 (energy-critical).
* LWP in H^1 [Tt-p2]
** For B^{1,1}_2 this is in [[Bibliography#Tt2001b|Tt2001b]].
** 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>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 [[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 [[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 [[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.
*** 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 [[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 [[Bibliography#SaTv1997|SaTv1997]]
* BMO-type estimates on distance functions were obtained in [[references#Gl1998 Gl1998]]
 
----  [[Category:Equations]]
 
----  [[Category:Equations]]
 
----  [[Category:Equations]]
 
===Quasilinear wave equations (QNLW)===
 
In a local co-ordinate chart, quasilinear wave equations (QNLW) take the form
 
<center>partial_ a  g^{ ab }(u) partial_ b  u = F(u, Du).</center>
 
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 [[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]
** 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 [[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)
** 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 [[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], [[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.
 
* 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 [[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).
** 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 [[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).
** 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 [[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
***# When the obstacle is a ball this is in [[Bibliography#Ha1995|Ha1995]].
***# For d \geq 6 outside of a starshaped obstacle this is in [[Bibliography#ShbTs1984|ShbTs1984]], [[Bibliography#ShbTs1986|ShbTs1986]].
 
----  [[Category:Equations]]
 
====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 [http://relativity.livingreviews.org/Articles/lrr-2002-6/index.html 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
 
<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 [[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


<center>Box<sub>g</sub> g = G (g) Q(dg, dg) + lower order terms</center>
Non-linear wave equations are often the [[Euler-Lagrange equation]] for some [[variational problem]]. This usually generates the conserved [[stress-energy tensor]], which is of fundamental importance in the analysis of such equations, especially for the global-in-time theory.


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 <br /> data on the initial surface x = 0; the co-ordinate x plays the role of time, locally at least.
The principle of relativity asserts that the equations of physics are covariant with respect to the underlying geometry of spacetime. This can be exploited in a number of ways.  One is via [[stress-energy tensor]] mentioned previously.  Another is via [[conformal transformation]] of spacetime. A third is via [[finite speed of propagation]]. The covariance also generates some important [[null structure]]s in the nonlinear components of the equation.


* Scaling is s_c = 3/2. Thus energy is super-critical, which seems to make a large data global theory extremely difficult.
The perturbative theory for nonlinear wave equations rests on various linear, bilinear, and nonlinear [[wave estimates|estimates for the linear wave equation]].
* 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 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 [[Bibliography#CqGc1969|CqGc1969]].
* 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 [[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 [[Bibliography#LbRo2003|LbRo2003]] for a treatment of the asymptotic dynamics)
** 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.
* 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).


===Dependence on dimension===
----  [[Category:Equations]]


====Minimal surface equation====
The one-dimensional case <math>d=1</math> is special for several reasons. Firstly, there is the very convenient null co-ordinate system <math>u = t+x, v = t-x</math> which can be used to factorize <math>\Box</math>. 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 <math>(u,v) \rightarrow ( F (u),  Y (v))</math> 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 <math>L^2</math>-based spaces such as Sobolev spaces H^s are preserved, because waves can focus at a point (or defocus from a point)).


This quasilinear equation takes the form
The higher-dimensional case <math>d>1</math> 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 <math>u = t+r, v = t-r</math>. Indeed one can think of spherically symmetric wave equations as one-dimensional wave equations with a singular drag term <math>(n-1)  f _r / r</math>.


<center>partial<sub> a </sub> [ (1 +  f<sub>b</sub>f<sup>b</sup> )^{-1/2}  f<sup>a</sup>  ] = 0</center>
===Specific wave equations===


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]].
* [[semilinear NLW|Semilinear wave equations]] ([[sine-Gordon]], etc.)
 
* [[DNLW|NLW with derivatives]]
* 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.
** [[linear-derivative nonlinear wave equations]] ([[YM|Yang-Mills]], [[YMH|Yang-Mills-Higgs]], [[MKG|Maxwell-Klein-Gordon]])
* GWP for small smooth compactly supported data is in [Lb-p].
** [[DDNLW|quadratic-derivative nonlinear wave equations]] ([[wave maps]])
* [[Dirac equations|Dirac-type equations]]
* [[QNLW|Quasilinear wave equations]] ([[Einstein]], [[minimal surface equation|minimal surface]], etc.)
* [[GMPDE|Generalized Microstructure PDE]]  


[[Category:Wave]]
[[Category:Equations]]
[[Category:Equations]]
==Wave estimates==
Solutions to the linear wave equation and its perturbations are either estimated in mixed space-time norms <math>L^q_t L^r_x</math>, or in <math>X^{s,b}_{}</math> spaces, defined by
<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 [[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]].
[[Category:Estimates]]
[[Linear wave estimates]]
[[Bilinear wave estimates]]
[[Multilinear wave estimates]]

Latest revision as of 08:44, 14 December 2008

Non-linear wave equations

Nonlinear wave equations arise in physics from two major sources: relativity and elasticity.

All relativistic field equations in (classical) physics are variants of the free wave equation or Klein-Gordon equation on Minkowski space.

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 .

Here we shall focus more on purely non-linear perturbations, which collapse to a constant-coefficient wave equation in the small amplitude limit. In the fullest generality, this would mean studying equations of the form

where denotes differentiation 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 semi-linear, semi-linear with derivatives, and quasi-linear equations.

Non-linear wave equations are often the Euler-Lagrange equation for some variational problem. This usually generates the conserved stress-energy tensor, which is of fundamental importance in the analysis of such equations, especially for the global-in-time theory.

The principle of relativity asserts that the equations of physics are covariant with respect to the underlying geometry of spacetime. This can be exploited in a number of ways. One is via stress-energy tensor mentioned previously. Another is via conformal transformation of spacetime. A third is via finite speed of propagation. The covariance also generates some important null structures in the nonlinear components of the equation.

The perturbative theory for nonlinear wave equations rests on various linear, bilinear, and nonlinear estimates for the linear wave equation.

Dependence on dimension

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 .

Specific wave equations