Zaher Hani Seminar: A Continuum Large Box Limit for the Cubic Nonlinear Schrödinger Equation


Analysis & Applied Math Seminar 2013-03-21

Speaker: Zaher Hani

Institution: New York University

Abstract: Inspired by the general paradigm of weak turbulence theory, we consider the 2D cubic nonlinear Schrödinger equation on a box of size L with periodic boundary conditions. In an appropriate “large box regime” (L very large), we derive a continuum equation on ℝ2 that governs the dynamics of the discrete frequency modes over nonlinear time scales. This equation turns out to satisfy many surprising symmetries and conservation laws, as well as several families of explicit solutions. (This is joint work with Erwan Faou (INRIA, France) and Pierre Germain (Courant Institute, NYU)).
Zaher Hani

#Introduction#

Setup

2d cubic defocsusing or focusing NLS on a box of size $L$. Energy and mass conservation. NLS is GWP for small data in $H^s$ for $ s \geq 1$. We are not concerned with the existence issue. We are working in the setting of global-in-time solutions.

Physical and mathematical setup: weak nonlinearity.

All that has happened was a change of variables enabling us to view the dynamics on the Fourier side.

Weak turbulence “paradigm”

The Kolmogorov-Zakharov kinetic equation. Long convolution equation localized on the convolution hypersurvface and further localized on the resonant set.

A New Limiting equation

Statistical averaging was causing problems. Let’s dispense with that but still take the large box and weak nonlinearity limits.

Resonant cutoff/normal forms transformation. He goes to the board and describes the separation. On the non-resonant portion, he makes a stationary phase type integration by parts, and then makes a crude estimate using the equation. This shows the non-resonant portion contributes at size $\epsilon^4 L^2$. Therefore, we concentrate our attention on the resonant terms.

(slide 1237 and we are 20 minutes into the talk….)

He analyzes the convolution + resonance condition and identifies orthogonality properties based on the pythagorean relationship among frequencies.

Parametrization of rectangles in $\mathbb{Z}^2 / L$.

A lattice point $ J \in \mathbb{Z}^2 / L$ is called visible if $z = (p,q)/L$ with $gcd (|p|, |q|) =1. $ These points can be connected by a straight to the origin without hitting another point in the lattice.

Some new coordinates involving an $\alpha$ and $\beta$.

Co-prime equidistribution:

You can, in certain circumstances, replace sums by corresponding integrals with bounds. A classical number theory result establishes the density of visible lattice points in $\mathbb{Z}^2 / M$ is $\frac{6}{\pi^2}$. This lets you translate equidistribution into a co-prime equidistribution statement enabling us to replace sums by corresponding integrals with bounds.

Q:…interesting, I wonder to what extent similar ideas can be used on the sums we have omitted earlier in the argument. Perhaps those sums can also be represented as integrals with appropriate bounds?

Continuum limit.

Following these formal arguments leads to an integral equation resembling the KZ equation. Q: What are the differences/similarities with the KZ equation? One difference is that it preserves the Hamiltonian structure and has a positive definite Hamiltonian. He calls this equation $*$.

Symmetries lead to conserved quantities.

He writes the trilinear term in the equation as $\mathcal{T}(f,g,h)$.

A scaling property.

Invariance under Fourier transform.

If $g$ solves $$ then $\hat{g}$ also solves $$.

Properties of the continuum equation

Boudedness properties and well-posedness. He reports on LWP and GWP properties of the equation $*$.

Gaussian family is a family of explicit stationary solutions. Gaussians are the unique maxima of the Hamiltonian functional.

Heavy tailed solutions.

Are there more?

Invariance of Harmonic oscillator eigenspaces. Hermite polynomials. The associated linear spans are invariant under the nonlinear flow $*$. The Hamiltonian of the harmonic oscillator is an integral of motion so the two flows commute and you get this easily.

Question: Is this equation $$ completely integrable?

Rigorous Approximate Results

In analogy to the CKSTT cascade result, there is a reduction to an equation related to NLS. Can we transfer information from $$ back to learn something about NLS?

Three difficulties:

  1. Pass to the resonant sum.
  2. Obtain good discrete to continuum error estimates.
  3. Trilinear estimates on resonant sums.
….discussion of these issues…. identifies the small nonlinearity regime characterized by the condition $$ \epsilon^4 L^2 \ll \frac{\epsilon^2 \log L}{L^2}.$$

Möbius inversion formula.

Convergence Theorem: ….long statement. He gets a convergence statement on an interval that is longer than the nonlinear time scale by a factor $ M \leq \log \log L$.

Further Questions