# GWP of Gross-Pitaevskii Equation on R4

Last week, I had a chance to visit Edinburgh in part to serve as the external examiner on the PhD Thesis (papers) of Tim Candy. Tim is now Dr. Timothy Candy and has an exciting research program to develop as a postdoc at Imperial.

It turned out I had lucky timing since my visit overlapped with a visit by Oana Pocovnicu. I had a chance to hear her speak about her recent work on the Gross-Pitaevskii equation. I took some notes during Oana’s talk and they appear below.

(joint work with Rowan Killip, Tadahiro Oh, and Monica Visan)

Edinburgh talk. 2012-05-21

- Dynamics becomes more interesting with a nonvanishing condition at infinity.
- This is the so-called energy critical case.

**GP**

$$ i \partial_t u + \Delta u = (|u|^2 - 1)u, u(0) = u_0 $$

The modulus will tend to 1 as $ |x| \rightarrow 1$.

**Literature**

- $R$
- Zhidkov 1987: introduced Zhidkov spaces.
- Gall 2004. gGWP in $X^1 (R)$

- $R^2, R^3$
- Bethuel-Saut 1999 in $1+ H^1$.
- Gourbet 2007
- Gallo 2008
- Gerard 2006 in the energy space.

- $R^4$
- Gerard 2006, small energy data such that $\nabla u \in L^2_t L^4_x.$

- Gerard 2006 considered the energy space:

Finite energy data do not have winding at spatial infinity. Therefore, to treat the finite energy case, it suffices to reduce the study to the setting where $u = 1 + v$ and $v$ satisfies…. She reduces the study to finite energy data so the set up excludes vortices right away.

**Theorem (K-O-P-V):**
GP is GWP in the energy space $E_{GP} (R^4)$.

Two ingredients:

- GWP of energy-critical defocusing NLS on $R^4$.
- Perturbation theory: We will treat the equation as a perturbation off the cubic NLS.

**Scaling Invariance**

- Dilation invariance of solutions for cubic NLS is described.
- Dependence of $\dot{H}^s$ in terms of the scaling parameter $\lambda$.
- critical, subcritical, supercritical.
- Cubic NLS on $R^4$ is critical in $\dot{H}^1$. Quintic NLS on $R^3$ is also critical in $\dot{H}^1$.

**Strichartz Estimates**

- Dispersive decay estimate
- Strichartz Norm; supremum over the admissible pairs.
- $N(I \times R^d)$ is the dual space of the Strichartz space $S(I\times R^d)$.
- Homogeneous Strichartz estimate
- Inhomogeneous Strichartz estimate
- Admissible pairs on $R^4: (\infty, 2), (2,4), (6, \frac{12}{5})$.
- By Sobolev embedding, we have some nice Strichartz containments.

**Energy Critical NLS**

- LWP. Cazenave-Weissler 1989
- GWP for small data. She then describes this by passing through Strichartz and identifies:
- If $\| \nabla e^{it \Delta } w_0 \|{L^6_t L^{12/5}_x}$ is small, we can close the argument.
- The smallness of this expression can be insured by shrinking $T$, but this depends upon the profile properties not just upon the norm of the data.
- GWP for small data follows.

- Explains the blowup critereon showing that the spacetime $L^6$ norm controls the GWP+Scattering theory.

**Main Results on defocusing energy-critical NLS**

- Bourgain 1999: GWP + Scattering, quintic NLS on $R^3$ with radial data.
- induction on energy
- localized Morawetz estimate

- Grillakis 2000: global regularity for quintic NLS on $R^3$ with radial data.
- CKSTT 2003: removed the radial assumption on $R^3$.
- Ryckman-Visan 2007: GWP and scattering for cubic NLS on $R^4$.
- Visan 2010: Simpler method for GWP+Scattering for cubic NLS on $R^4$, building on work of Dodson.
- Kenig-Merle 2006:
*focusing*energy-critical NLS on $R^3, R^4, R^4, R^5$. GWP+ Scattering for radial data with energy and kinetic energy smaller than those of the stationary solution.

**Goal: prove existence of a global solution with control on the spacetime $L^6$.**

- Contradiction strategy.
- Minimal blowup solution must exist.
- Minimal blowup solutions mut be almost periodic. They are localized in physical and Fourier space.
- Frequency localized Morawetz inequality. (only true for the minimal blowup solution). This is obtained by localizing in frequency the interaction Morawetz estimate.
- This show that we have a smallness property on the spacetime $L^3$ norm on the high frequencies.
- With some interpolation, we can then prove that the spacetime $L^6$ is bounded, contradicting the hypothesis.

**Cubic NLS on $R^4$ (Visan)**

(Original proof due to Ryckman-Visan but Visan recently simplified that following some ideas of Dodson.)

- By contradiction and using concentration-compactness we have a minimal blowup solution.
- There are only two scenarios. Rapid frequency cascade scenario; quasi-soliton scenario.

**Perturbation theory**

Recalls the perturbation lemma from CKSTT, adapted to this problem.

She nicely describes the reduction to proving a local result on a time interval controlled by the energy. Once we have this type of local theory, we essentially convert the critical problem into one that behaves like the subcritical problem so GWP will follow.

**Remarks on Proof**

Subcritical quadratic terms in the Duhamel-Strichartz analysis on local intervals have a time factor. If this time factor is small enough, these subcritical terms can be absorbed. Oh, now I understand! The point here is that GP can be viewed as the energy-critical NLS plus some quadratic terms which don’t destroy energy conservation. This perspective guides the KOPV analysis. They show that the GP equation can be treated as a perturbation off the dilation invariant energy critical case.

**Cubic-Quintic NLS with non-vanishing BC on $R^3$**

They write $u=1+v$ and observe that $v$ satisfies energy critical NLS with subcritical lower order terms. The Hamiltonian is not sign definite so does not provide coercive control over the kinetic energy term. This is compensated for by using a lower order term $M(v)$, the $L^2$ norm of the real part of $v$. This quantity is not conserved. They show that it satisfies a Gronwall type estimate and that turns out to suffice.

**Scattering for the GP equation in the case of large data**

- GP equation has traveling wave solutions that do NOT scatter.
- Formation of traveling waves require a minimal energy in $R^d, d \geq 3$. Bethuel-Gravejat-Saut 2009, de Laire 2009.
- Solutions with sufficiently small energy scatter. (Gustafson-Nakanish-Tsai 2006)
- Can one prove scattering up to the minimal energy of a traveling wave?

**Killip-Oh-Pocovnicu-Visan**

For a Cubic-Quintic NLS with zero boundary conditions (which has conserved mass and energy and has soliton solutions) the are working to show that if $v_0 \in H^1 (R^3)$ then scattering holds true if the mass is smaller than the mass of any soliton OR if it has positive energy, smaller than the enrgy of any solution.

(Final statement is a work in progress.)