Jim Colliander, Mark Keel, Gigliola Staffilani, Hideo Takaoka, and I have just uploaded to the arXiv the paper “Weakly turbulent solutions for the cubic defocusing nonlinear Schrödinger equation“, which we have submitted to Inventiones Mathematicae. This paper concerns the numerically observed phenomenon of weak turbulence for the periodic defocusing cubic non-linear Schrödinger equation
in two spatial dimensions, thus u is a function from to . This equation has three important conserved quantities: the mass
and the energy
(These conservation laws, incidentally, are related to the basic symmetries of phase rotation, spatial translation, and time translation, via Noether’s theorem.) Using these conservation laws and some standard PDE technology (specifically, some Strichartz estimates for the periodic Schrödinger equation), one can establish global wellposedness for the initial value problem for this equation in (say) the smooth category; thus for every smooth there is a unique global smooth solution to (1) with initial data , whose mass, momentum, and energy remain constant for all time.
However, the mass, momentum, and energy only control three of the infinitely many degrees of freedom available to a function on the torus, and so the above result does not fully describe the dynamics of solutions over time. In particular, the three conserved quantities inhibit, but do not fully prevent the possibility of a low-to-high frequency cascade, in which the mass, momentum, and energy of the solution remain conserved, but shift to increasingly higher frequencies (or equivalently, to finer spatial scales) as time goes to infinity. This phenomenon has been observed numerically, and is sometimes referred to as weak turbulence (in contrast to strong turbulence, which is similar but happens within a finite time span rather than asymptotically).
To illustrate how this can happen, let us normalise the torus as . A simple example of a frequency cascade would be a scenario in which solution starts off at a low frequency at time zero, e.g. for some constant amplitude A, and ends up at a high frequency at a later time T, e.g. for some large frequency N. This scenario is consistent with conservation of mass, but not conservation of energy or momentum and thus does not actually occur for solutions to (1). A more complicated example would be a solution supported on two low frequencies at time zero, e.g. , and ends up at two high frequencies later, e.g. . This scenario is consistent with conservation of mass and momentum, but not energy. Finally, consider the scenario which starts off at and ends up at . This scenario is consistent with all three conservation laws, and exhibits a mild example of a low-to-high frequency cascade, in which the solution starts off at frequency N and ends up with half of its mass at the slightly higher frequency , with the other half of its mass at the zero frequency. More generally, given four frequencies which form the four vertices of a rectangle in order, one can concoct a similar scenario, compatible with all conservation laws, in which the solution starts off at frequencies and propagates to frequencies .
One way to measure a frequency cascade quantitatively is to use the Sobolev norms for ; roughly speaking, a low-to-high frequency cascade occurs precisely when these Sobolev norms get large. (Note that mass and energy conservation ensure that the norms stay bounded for .) For instance, in the cascade from to , the norm is roughly at time zero and at time T, leading to a slight increase in that norm for . Numerical evidence then suggests the following
Conjecture. (Weak turbulence) There exist smooth solutions to (1) such that goes to infinity as for any .
We were not able to establish this conjecture, but we have the following partial result (“weak weak turbulence”, if you will):
Theorem. Given any , there exists a smooth solution to (1) such that and for some time T.
This is in marked contrast to (1) in one spatial dimension , which is completely integrable and has an infinite number of conservation laws beyond the mass, energy, and momentum which serve to keep all norms bounded in time. It is also in contrast to the linear Schrödinger equation, in which all Sobolev norms are preserved, and to the non-periodic analogue of (1), which is conjectured to disperse to a linear solution (i.e. to scatter) from any finite mass data (see this earlier post for the current status of that conjecture). Thus our theorem can be viewed as evidence that the 2D periodic cubic NLS does not behave at all like a completely integrable system or a linear solution, even for small data. (An earlier result of Kuksin gives (in our notation) the weaker result that the ratio can be made arbitrarily large when , thus showing that large initial data can exhibit movement to higher frequencies; the point of our paper is that we can achieve the same for arbitrarily small data.) Intuitively, the problem is that the torus is compact and so there is no place for the solution to disperse its mass; instead, it must continually interact nonlinearly with itself, which is what eventually causes the weak turbulence.
As mentioned earlier, the three conservation laws of mass, momentum, and energy work to inhibit the low-to-high frequency cascade necessary to prove the theorem. For instance, one can easily show that any cascade involving three or fewer frequencies is morally incompatible with the three conservation laws (since three equations in three unknowns gives basically just one possible value for the amplitudes at the three frequencies). The simplest cascade is the four-wave model discussed earlier, in which four frequencies at the corners of a rectangle transfer their mass, energy, and momentum from two diagonally opposite corners to the other two diagonally opposite corners. One can in fact rigorously show that such four-wave cascades (plus negligible noise terms) can actually occur in (1) in the high frequency limit, by using perturbation theory to eliminate all frequencies except the four frequencies of the rectangle (thus reducing the PDE to an ODE), using symmetry to assume that diagonally opposite frequencies have the same Fourier coefficients, and then using the conservation laws to reduce the dimension of the ODE down to a scalar first-order ODE that can be solved more or less exactly. The dynamics of the resulting solution (for the model ODE, rather than the PDE that it approximates) resembles an “Arnold whisker” in the theory of Arnold diffusion – it asymptotically converges to a “two-wave” periodic orbit based on one diagonal of the rectangle as , and to a two-wave periodic orbit on the other diagonal as , lying in the unstable manifold of the former orbit and stable manifold of the latter.
This four-wave solution can be constructed from arbitrarily small initial data, but it only gets us a little way towards our theorem, as it only bumps up the norm by a factor of about . To establish the theorem, we needed to chain a lot of these four-wave solutions together, in the spirit of the classic paper of Arnold that established the possibility of diffusion from one invariant torus in a certain Hamiltonian system to another. In terms of the approximating ODE (which was now more complicated, although still manageable thanks to symmetry reductions), the main task was to concoct a solution that started out near one invariant torus, bounced towards another torus, did a ricochet off of that to the next torus, and so on until one reached a torus extremely far away from the original torus. The best way we could describe this procedure succinctly was by citing a classic Super Bowl commercial for McDonald’s featuring Michael Jordan and Larry Bird:
(This citation, of course, appears in the bibliography to the paper, like any other reference.)
Actually showing such a solution exists turned out to require a very delicate stability and control theory analysis, in which stable, neutral, and unstable directions were treated in very different ways. As one might imagine, the initial data has to be extremely special in order to obtain a multi-ricochet solution.
Once such a solution for the approximating ODE is constructed, one still has to embed it somehow back into the PDE (1). Here one faces a combinatorial and number-theoretic problem of being able to place a large number of frequencies in the lattice , such that certain specific quadruples of these frequencies form rectangles, and all other quadruples do not. [The frequencies turn out to be organised in a series of "generations", in which a pair of "parent" frequencies from each generation pass on their mass to a pair of "child" frequencies to the next generation, with one child inheriting virtually all of the energy, and the other child inheriting close to nothing; the children in that generation then pair up and become parents themselves, and so forth. In the first generation, all frequencies initially have the same energy (having comparable magnitudes and amplitudes), but by the end of the process, almost all the energy in the last generation is concentrated in a single, extremely large, frequency.] As is well known, the problem of constructing rectangles in the lattice is closely related to that of constructing Pythagorean triples , and so our construction ultimately relies on some basic facts about those triples (basically, we need that the unit vectors arising from Pythagorean triples are dense on the unit circle).
There are still some further directions to pursue here. Most obviously, the conjecture stated above remains open; the perturbation theory we use stops working after a long, but finite, amount of time, which has prevented us so far from resolving the conjecture, though the task may not be completely hopeless with current technology. The other thing is that the solutions we construct for our Theorem, much like the shots in the above video, are extremely special, and do not really indicate what is going on for generic data. The only non-trivial result we have for such data is that they do not scatter to a linear solution even after quotienting out by phase rotations, unless they are one of the explicit “one-wave” solutions . This is done by a simple compactness argument involving, of all things, Liouville’s theorem that harmonic functions of polynomial growth are in fact polynomial.