Wave equations: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
Line 1: Line 1:
==Non-linear wave equations==
==Non-linear wave equations==
<div class="MsoNormal" style="text-align: center"><center>
----
</center></div>
===Overview===


Nonlinear wave equations arise in physics from two major sources: relativity and [[elasticity]].
Nonlinear wave equations arise in physics from two major sources: relativity and [[elasticity]].
Line 26: Line 20:
A third is via [[finite speed of propagation]].  The covariance also generates some important [[null structure]]s in the nonlinear components of the equation.
A third is via [[finite speed of propagation]].  The covariance also generates some important [[null structure]]s in the nonlinear components of the equation.


== Dependence on dimension ==
The perturbative theory for nonlinear wave equations rests on various linear, bilinear, and nonlinear [[wave estimates|estimates for the linear wave equation]].
 
===Dependence on dimension===


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)).
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)).
Line 32: Line 28:
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>.
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>.


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

Revision as of 21:45, 30 July 2006

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 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 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