In this article, we survey recent results (with Duyckaerts and Merle) on the long-time behavior of radial solutions of the energy critical nonlinear wave equation in odd dimensions.

The theory of nonlinear dispersive equations has seen a spectacular development in the last 40 years. These equations, introduced in the nineteenth century, model phenomena of nonlinear wave propagation, coming from physics and engineering. Examples of such equations are the Korteweg–de Vries (KdV) equations, the nonlinear Schrödinger (NLS) equations, and the nonlinear wave (NLW) equations. There are also dispersive geometric flows such as wave maps, Schrödinger maps, and Yang–Mills flows.

In the 1970s and 1980s, many works studied the behavior of special solutions (“nonlinear objects”) such as traveling waves/solitons and their stability (sometimes conditionally). The late 1980s and 1990s saw a systematic study of the local well-posedness theory (and the small data global well-posedness theory) using extensively tools from harmonic analysis.

The last 25 years have seen much interest in the study of the long-time behavior of solutions for large data. Issues such as blow-up, global existence, scattering, and long-time asymptotic behavior have come to the forefront, especially in critical problems.

In this article, I will focus the discussion on the energy critical wave equation in the focusing case. [In the defocusing case, it was shown (1990–2000) that all data in the energy space yield global in time solutions that scatter and there are “no nonlinear objects.”] The hope is that the results that we will describe will be a model for what to strive for in the study of other nonlinear dispersive equations,

We will let $p=pc=N+2N\u22122$, $(NLW)=(NLW)pc$, and $u0\u2208H1\u0307={u0:\u2207u0\u2208L2},u1\u2208L2$ (+ = defocusing, − = focusing (*N* = 3, |*u*|^{p−1}*u* = *u*^{5})).

The focusing case is very different from the defocusing one since, for instance, one can have finite time blow-up or solutions that exist for all time but do not scatter.

In NLW, small data yield unique global in time solutions that “scatter.” For large data, we have solutions in $C(I;H1\u0307\xd7L2)$ with a maximal interval of existence *I* = (*T*_{−}(*u*), *T*_{+}(*u*)). The energy norm is “critical”: $\u2200\lambda >0,u\lambda (x,t)=1\lambda N\u221222u(x\lambda ,t\lambda )$ is also a solution,

The focusing character means that the linear and nonlinear terms have “opposite signs,” and they fight each other. The conserved energy is

(See, for instance, Ref. 24 for details.)

One can construct solutions that blow up in finite time, say, at *T* = 1, by considering the ODE. For example, when $N=3,u(x,t)=341/4(1\u2212t)\u22121/2$ is a solution and using finite speed of propagation, it is then possible to construct solutions with *T*_{+} = 1 such that $limt\u21911\Vert (u(t),\u2202tu(t))\Vert H1\u0307\xd7L2=\u221e$. This is called type I or ODE blow-up. There are also type II blow-up solutions: *T*_{+} < *∞* and $sup0<t<T+\Vert (u(t),\u2202tu(t))\Vert H1\u0307\xd7L2<\u221e$. The breakdown happens by “concentration.” This is a typical feature of focusing energy critical problems.

Examples (radial): *N* = 3, Krieger, Schlag, and Tataru;^{27} *N* = 4, Hillairet and Raphaël;^{19} and *N* = 5, Jendrej.^{20}

In our work, we concentrate on solutions that are bounded in the energy space,

Examples of bounded solutions with *T*_{+} = +*∞* are “scattering solutions,” that is, with *T*_{+} = +*∞* so that there exists $(u0+,u1+)\u2208H1\u0307\xd7L2$ with

where $S(t)(u0+,u1+)$ is the solution to the associated linear problem.

Other such examples are the nontrivial stationary solutions,

For example, $W(x)=(1+|x|2N(N\u22122))(N\u22122)/N$ is such a solution. (Stationary solutions do not scatter because if *u* scatters, then $\u222b|x|<1|\u2207u(x,t)|2dx\u2192t\u2192\u221e0$.)

*W* has several important characterizations: up to sign and scaling,

is the only radial non-zero stationary solution. Up to translation and scaling, it is the only non-negative stationary solution. *W* is called the “ground state.” It minimizes the energy among all the non-zero stationary solutions (see Refs. 32, 18, and 29). There are also variable sign, non-radial stationary solutions (in great abundance).

Further examples of non-scattering bounded solutions with *T*_{+} = *∞* are the traveling wave solutions. They are obtained as Lorentz transforms of stationary solutions *Q*.

Let $l\u2192\u2208RN$, $|l\u2192|<1$. Then,

In Ref. 9, Duyckaerts, Kenig, and Merle showed that these are all the traveling wave solutions. (In the radial case, we must have $l\u2192=0$, *Q* = ±*W*_{λ}.)

In Ref. 24, Kenig and Merle initiated the study of the long-time behavior of large solutions of NLW establishing the “ground-state” conjecture.

Let *u* be a solution of NLW with *E*(*u*_{0}, *u*_{1}) < *E*(*W*, 0):

If $\Vert \u2207u0\Vert L2<\Vert \u2207W\Vert L2$, then

*T*_{±}= ±*∞*, and*u*scatters in both time directions.If $\Vert \u2207u0\Vert L2>\Vert \u2207W\Vert L2$,

*T*_{+}<*∞*,*T*_{−}> −*∞*.$\Vert \u2207u0\Vert L2=\Vert \u2207W\Vert L2$ is impossible.

The threshold case *E*(*u*_{0}, *u*_{1}) = *E*(*W*, 0) was completely described by Duyckaerts and Merle.^{14}

What happens for *E*(*u*_{0}, *u*_{1}) > *E*(*W*, 0)? When Kenig and Merle (Refs. 23–25) introduced their “concentration-completeness/rigidity theorem” method, used, for instance, in the proof of the result just mentioned, the ultimate goal was to describe the asymptotic behavior of bounded solutions as *t* → *T*_{+}, in the spirit of the “solution resolution” conjecture. Since the 1970s, there has been a widely held belief that “coherent structures” and “free radiation” describe the long-time asymptotic behavior of solutions to nonlinear dispersive equations. This came to be known as the “solution resolution” conjecture. Roughly speaking, this says that asymptotically in time, the evolution decouples as a sum of (modulated) traveling waves and a free radiation term (a dispersive term solving the associated linear equation). This is a remarkable, beautiful statement, which claims an “asymptotic simplification” in the complex, long-time dynamics of general solutions. The origin of this statement goes back to a “puzzling paradox” in a numerical simulation of Fermi, Pasta, and Ulam at Los Alamos, Ref. 17 (see also Ref. 34). In the mid 1960s, in order to explain the paradox, Kruskal^{28} brought the Korteweg–de Vries (KdV) equation into the picture. Kruskal and Zabusky^{35} were then led to an influential numerical simulation on KdV. They discovered two remarkable things:

(a) For simple data concentrated on one mode, the evolution for large time “equaled” a sum of traveling waves.

(b) If the data are a sum of two traveling waves, in the evolution they eventually “collide,” but after the collision, they re-appear unchanged, except for translation (“elastic collision”).

(a) was performed in connection with explaining the Fermi–Pasta–Ulam paradox. It gave rise to the “solution resolution conjecture.”

(b) was a consequence of “integrability,” an important new concept in nonlinear science that emerged from Ref. 36.

Integrable nonlinear equations can be reduced to a collection of linear problems. There are important examples, but it is a non-generic phenomenon. “Soliton resolution” has been proved in a few integrable cases (see Refs. 15, 31, and 2). The proofs are challenging, and issues are still unresolved. There are also many results in perturbative regimes (near traveling waves) and also in non-integrable settings.

The mechanism for relaxation to a “coherent structure” observed numerically and experimentally is the radiation of excess energy to spatial infinity. This appears in such diverse settings as the dynamics of gas bubbles in a compressible fluid and the formation of black holes in gravitational collapse. Proving this in generality, in non-integrable settings, is a major goal in the study of nonlinear dispersive equations.

Let us turn now to the “asymptotic simplification” results for bounded in energy norm solutions of NLW. For simplicity, we restrict to the case *T*_{+} = *∞*. The corresponding results hold for *T*_{+} < *∞*.

^{8}).

*Let*

*u*

*be a radial solution of*NLW

*,*

*N*= 3

*, which exists for all*

*t*≥ 0

*. Then, there exists*$J\u2208N\u222a{0}$

*, a radial solution*

*v*

_{L}

*of the linear wave equation,*

*∀*1 ≤

*j*≤

*J*

*,*

*i*

_{j}∈ {±1}

*,*

*λ*

_{j}(

*t*) > 0

*, with*

*where*

*λ*

_{j−1}(

*t*) ≪

*λ*

_{j}(

*t*)

*means that*$limt\u2192\u221e\lambda j(t)\lambda j\u22121(t)=\u221e$

*.*

The key ingredient in the proof is as follows: Let *u* be a radial solution of NLW, *N* = 3, defined for all *t*, *u* ≢ 0, *u* ≢ ±*W*_{λ}. Then, there exist *R* > 0, *η* > 0 such that *∀t* ≥ 0 or *∀t* ≤ 0,

(1) quantifies “the radiation of excess energy to spatial infinity.” The proof of (1) relies on “energy channels.” For *N* = 3, *r*_{0} > 0, let $Pr0={(ar\u22121,0):a\u2208R,r>r0}$ be considered as a one dimensional subspace of $H1\u0307\xd7L2(r>r0)$. Let $\Pi r0$ be the orthogonal projection to the orthogonal complement of $Pr0$. Then (DKM^{5}), for *v*, a radial solution of the linear wave equation, *N* = 3, *∀t* ≥ 0, or *∀t* ≤ 0, we have

A key point is that $W(x)=1(1+r2/3)1/2\u22481r$, which is what appears in the exceptional subspace $Pr0$. It is easy to see that (2) gives (1) for solutions of the linear wave equation. The passage to nonlinear solutions uses (2) and “elliptic arguments” of iterative type.

(2) has a non-radial version, corresponding to *r*_{0} = 0: Let *v* be a solution of the linear wave equation in $RN\xd7R$, *N* being odd. Then (DKM^{6}), *∀t* ≥ 0 or *∀t* ≤ 0,

At this point, a natural question is what corresponding results hold for NLW, *N* > 3, radial and *N* ≥ 3, non-radial. Relevant facts are as follows:

Fact1: (Côte, Kenig, and Schlag^{4}) (2) and (3) fail for all even *N* and radial solutions of the linear wave equation.

Fact2: (Kenig, Lawrie, Liu, and Schlag^{26}) For *N* being odd and *N* > 3, the following analog of (2) holds: Let *r*_{0} > 0, $Pr0=1rN\u22122k1,0,0,1rN\u22122k2$, $1\u2264k1\u2264N+24$, $1\u2264k2\u2264N4$. Then, if *v* is a radial solution of linear waves in $RN$, *N* being odd, then *∀t* ≥ 0 or *∀t* ≤ 0

Fact 3: The analog of (2) and (4) fails in all dimensions, in the non-radial case, with infinite dimensional counterexamples.

The fact that the subspace $Pr0$ appearing in (4) is of dimension bigger than 1, when *N* is odd, *N* ≥ 5, was responsible for the failure of the method of Proof of Theorem 1, yielding the higher dimensional analog of Theorem 1 since we can only use the one parameter scaling invariance to deal with the exceptional set. This has been a major obstacle until very recently.

In addition, fact 3 and the fact that the non-zero solutions of the elliptic equation constitute a huge set, for which no classification is available, have been responsible for the fact that no analog of Theorem 1 has been obtained yet in the nonradial case. Despite this, some weaker results have been obtained using monotonicity after time averaging, in analogy with geometric flow problems. The results obtained in this way, instead of holding for all times, hold for “well-chosen” sequences of times.

*Let*

*u*

*be a radial solution of*NLW

*,*

*N*> 3

*, such that*

*Then, the decomposition analogous to Theorem 1 holds, along a “well-chosen”*

*t*

_{n}→

*∞*

*. (For*

*N*

*odd this was proved by Rodriguez,*

^{29}

*for*

*N*= 4

*by Côte–Kenig–Lawrie–Schlag*

^{3}

*and for general*

*N*

*even by Jia–Kenig.*

^{21}

*)*

^{21}DKM;

^{10}Duyckaerts, Jia, Kenig, and Merle

^{7}).

*Let*

*u*

*be a (non-radial) solution of*NLW

*in*$RN,3\u2264N\u22646$

*such that*

*Then, there exist*$J\u2208N\u222a{0}$

*, a linear solution*

*v*

_{L}

*, a “well-chosen” sequence of times*{

*t*

_{n}}

*,*

*t*

_{n}→

*∞*

*,*

*∀j*, 1 ≤

*j*≤

*J*

*,*

*λ*

_{j,n}> 0

*,*$xj,n\u2208RN$

*,*|

*x*

_{j,n}/

*t*

_{n}| ≤

*β*

*,*

*β*∈ [0, 1)

*,*$limn\u2192\u221exj,n\lambda j,n=lj\u20d7$

*, and traveling waves*$Ql\u20d7jj$

*so that*

*with*

A method of proof using monotonicity after time averaging cannot give more than a decomposition for well-chosen sequences of time. This difficulty is illustrated by the harmonic map heat flow. Here, results analogous to ours are known, but the decomposition for all times need not hold in full generality. This was shown by Topping.^{33} The analogous result for wave maps is due to Engelstein and Mendelson.^{16}

We now turn to recent progress in the radial case of NLW, *N* > 3.

In a series of three papers posted at the end of 2019, DKM (Refs. 11–13) have proved the full decomposition.

*Let*

*N*> 3

*and odd,*

*u*

*be a radial solution of*NLW

*, and*

*Then, there exist*$J\u2208N\u222a{0}$

*, for*1 ≤

*j*≤

*J*

*,*

*i*

_{j}= {±1}

*,*

*λ*

_{j}(

*t*)

*,*0 ≪

*λ*

_{J}(

*t*) ≪ ⋯ ≪

*λ*

_{1}(

*t*) ≪

*t*

*, and a radial linear solution*

*v*

_{L}

*such that*

To prove Theorem 4, the starting point is Theorem 2, allowing us to study the dynamics close to a sum of scaled static solutions plus a linear dispersive term. We then study the “collisions” of two or more scaled static solutions (where the scales are far apart). We show that they are “inelastic” (in stark contrast with the integrable case of Kruskal and Zabusky^{35}). Specifically, we say that the radial solution *u* of NLW is a “pure multisolution” (asymptotically as *t* → ±*∞*) when there exists *J* ≥ 2, 0 < *λ*_{J}(*t*) ≪ ⋯ ≪ *λ*_{2}(*t*) ≪ *λ*_{1}(*t*) ≪ *t*, *i*_{j} = {±}, 1 ≤ *j* ≤ *J*, such that

If *u* is a “pure multisolution” as *t* → ±*∞*, we say that the collision between “the solitons” is elastic. When *N* = 3, (1) rules out elastic collisions.

In this series of papers, we prove a slightly weaker version of (1), namely that a radial solution of NLW that stays close to a sum of decoupled static solutions, for a sufficiently long time, must satisfy that *∀t* ≥ 0 or *∀t* ≤ 0,

Hence, elastic collisions are excluded.

The *M* is needed to “eliminate” the extra dimensions in $Pr0$ in (4). This “inelasticity” depends heavily on the “energy channel” property for the linearized wave equation $\u2202t2\u2212\Delta \u2212N+2N\u22122W4/N\u22122$, which we proved in the first paper.

*For N*≥ 5

*and*

*odd, let*(

*u*

_{0},

*u*

_{1})

*be radial. Then, there exists*

*C*> 0

*such that for all*

*t*≥ 0

*or for all*

*t*≤ 0,

*where*

*u*

*solves*$\u2202t2u\u2212\Delta u\u2212N+2N\u22122W4/(N\u22122)u=0$

*with initial data*(

*u*

_{0},

*u*

_{1})

*and if*$\Lambda W=x\u22c5\u2207W+N2\u22121W$

*,*

*Z*= span{Λ

*W*} × span{Λ

*W*}

*. (Note*

*L*

_{W}(Λ

*W*) = 0

*, where*$LW=\Delta +N+2N\u22122W4/(N\u22122)$

*)*

In the third paper, this is extended to the linearized operator around “multisolutions.” Another important ingredient in the proof is the notion of “non-radiative solution.” We say that *u* is non-radiative (at *t* = 0) if

It is weakly non-radiative if for large *R* > 0,

Note that (3) shows that non-zero solutions of the linear wave equation are not non-radiative (odd *N*). For *N* being even, this also holds and is proved in the second paper. Theorem 5 classifies the non-radiative solutions of the linearized operator (odd *N*), and (4) classifies the weakly non-radiative solutions of the linear wave equation (odd *N*).

In the second paper, we give decay estimates for the weakly non-radiative solutions of NLW for *N* being odd.

^{11}).

*Let*$m=N\u221212$

*be the dimension of*

*P*

_{R}

*and*

*ξ*

_{k}

*and*

*k*= 1, …,

*m*

*be generators of*

*P*

_{R}

*normalized to have norm*

*C*

_{k}/

*R*

^{k−1/2}

*. There exists*

*ϵ*

_{0}> 0

*such that if*

*u*

*is a radial weakly non-radiative solution of*NLW

*, with*$\Vert (u(0),\u2202tu(0))\Vert H1\u0307\xd7L2(|x|>R0)<\u03f50$

*and*$limt\u2192\xb1\u221e\u222b|x|>R0+|t||\u2207x,tu(t)|2=0$

*, there exist*$l\u2208R$

*,*$k0\u2208[1,m]\u2229N$

*such that for all*

*R*>

*R*

_{0}

*,*

*If* *u* *is non-radiative,* *k*_{0} = *m**, then* *u* = ±*W*_{λ}*.*

*If* *k*_{0} < *m**, then* *l* ≠ 0*.*

The proofs of Theorems 5 and 6 depend strongly on (4). For the Proof of Theorem 4, as in the Proof of Theorem 2, we first extract the radiation term *v*_{L}, which is the unique solution of the linear wave equation such that for all $A\u2208R$,

We then work with (*U*(*t*), *∂*_{t}*U*(*t*)) = (*u*(*t*) − *v*_{L}(*t*), *∂*_{t}*u*(*t*) − *∂*_{t}*v*_{L}(*t*)). By Theorem 2, we find a sequence {*t*_{n}} → *∞* for which the decomposition of *U* into “multisolitons” holds and, arguing by contradiction, another sequence {*t*_{n}′} for which it does not hold but on which *U* is still very close to a “multisoliton.” Using the property above of *v*_{L}, we prove that the “nonlinear profiles” in the nonlinear profile decomposition^{1} of *U*(*t*_{n}′), the “building blocks” of *U*(*t*_{n}′), are all “non-radiative” and close to a “multisoliton” (see Ref. 13). Using the “energy channel” for the linearized equation at a “multisoliton,” working with each nonlinear profile (that are all non-radiative), we obtain a lower bound on the exterior scaling parameter of the corresponding stationary solution, in terms of *l* in Theorem 6, and we derive an (approximate) system of the ODEs on the scaling parameters of the stationary solutions. The fact that at {*t*_{n}′}, the decomposition does not hold means that at least one nonlinear profile is not a stationary solution, and hence, *l* ≠ 0. After rescaling, this gives a uniform lower bound on the exterior scaling parameter of the “multisolitons.” The proof is concluded by analyzing the system of ODEs, finding a monotonicity formula for it, and showing that using it in conjunction with the lower bound on the exterior scaling parameter, we obtain an upper bound on the time of existence, which contradicts the fact that *u* exists for all positive times. See Ref. 13 for details.

## DEDICATION

Dedicated to the memory of Jean Bourgain.

## ACKNOWLEDGMENTS

This work was supported, in part, by NSF under Grant No. DMS-1800082.

## DATA AVAILABILITY

Data sharing is not applicable to this article as no new data were created or analyzed in this study.

## REFERENCES

^{1/2}–bounded solutions to the cubic, defocusing nonlinear Schrödinger equation in 3 dimensions