DNLW

Derivative NLW (D-NLW) equations take the form

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Box u = F(u, Du)}

where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle u} is scalar or vector valued, and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle F} is at least quadratic. The derivative NLKG (D-NLKG) equation is similar:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Box u = u + F(u, Du)} .

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

• linear-derivative nonlinear wave equations (which include the Yang-Mills equations and the Maxwell-Klein-Gordon equations as spcial cases)
• quadratic-derivative nonlinear wave equations such as wave maps.

From energy estimates one can always obtain LWP in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^s} for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle s > n/2 + 1} . (or $s>n/2$ if the non-linearity is at most linear in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle Du} ). However, this is rarely best possible.

In many cases the non-linearity Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle F} has a null structure, which often causes the LWP and GWP theory to improve significantly.

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

For small smooth compactly supported data of size Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \epsilon} 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^{2,1} \times H^{1,2}} 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^{2,1} \times H^{1,2}} 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d \geq 6} and non-linearities quadratic in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle Du} in ShbTs1984, ShbTs1986.
  • For Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d>3} or for cubic nonlinearities one has GWP regardless of the null structure KlPo1983, Sa1982, Kl1985b.
• For the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d=2} case, the results are as follows.
  • One has existence for roughly Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \epsilon^{-2}} without a null condition, but at least Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle exp(C/ \epsilon^2)} with a null condition 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle e} and smooth non-linearities, the GWP theory for D-NLKG is as follows.

• One has GWP for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d \geq 2} SnTl1993, OzTyTs1996.
  • For Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d \geq 3} this was proven in Kl1985 (by vector fields) and Sa1985 (by normal forms).
  • For Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d=3} this result is extended to Klein-Gordon-Zakharov systems in OzTyTs1995
• For Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d=1} one has GWP for quartic and higher non-linearities LbSo1996.
  • For cubic non-linearities one has almost global existence (for time Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle exp(C/ \epsilon^2)} ); see Ho1997. This is sharp KeTa1999, [Yo-p]. Explicit lower bounds on the constant Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle C} are in De1999.
  • Using normal forms one can push the almost global existence to quadratic non-linearities MrTwTs1997.
  • 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle e^{-4}} De1997
    • The compact support condition can be weakened substantially De1997. One can even just assume small Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^3} data, but then the time of existence shrinks slightly, to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \epsilon ^{-4} log(1/ \epsilon )^{-6}} De1997b.
    • Without the null form one cannot do better than about Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \epsilon ^{-2}} 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle e<math> on the circle <math>T} , and smooth non-linearities, the GWP theory for D-NLKG is as follows.

• For quadratic non-linearities one has existence for time Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \epsilon^{-2}} . 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \epsilon^{1-r} log(1/\epsilon )^{3-r}} , 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle p} , one has blow-up examples for D-NLKG from small smooth compactly supported data whenever Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle p \leq 1+2/d} 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 Gs1981b. It would be interesting to see if one could obtain GWP for D-NLKG the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle p>1+2/d} case (though in the non-smooth non-linearity case one probably is restricted to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d=1,2,3} in order to keep the non-linearity sufficiently smooth).

Damping DNLW

The equation

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Box u = u^2 u_t}

in three dimensions is known to be locally well-posed in any sub-critical regularity Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle s>1} , and has scattering in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^3} Smh-p. It would be interesting to see whether one has local well-posedness in the critical energy regularity Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle H^1} .