Skip to main content
2 of 2
added 46 characters in body
Willie Wong
  • 39k
  • 4
  • 94
  • 176

Let me quote Lemma 3.4 from the paper, with some paraphrasing to make extremely clear certain points. The function $W$ here is some function $\mathbb{R}^N\to \mathbb{R}$ solving a certain nonlinear elliptic equation (see start of Section 3 of the paper). Its precise form does not matter for our discussion, other than that it is a fixed function.

Definition If $u:\mathbb{R}^N \to \mathbb{C}$, we say that the energy of $u$ is $$ E(u) := \frac12 \int |\nabla u|^2 \mathrm{d}x - \frac{N-2}{2N} \int |u|^{2N/(N-2)} \mathrm{d}x$$

Lemma 3.4 Let $u:\mathbb{R}^N\to \mathbb{C}$ be some function. Assume that there exists some $\delta_0> 0$ such that $u$ satisfies

  • $E(u) \leq (1-\delta_0) E(W)$
  • $\|\nabla u\|_{L^2} < \|\nabla W\|_{L^2}$

then the following hold:

  • $E(u) \geq 0$
  • there exists $\bar{\delta} = \bar{\delta}(\delta_0,N) > 0$ such that $$ \|\nabla u\|_{L^2}^2 \leq (1 - \bar{\delta}) \|\nabla W\|_{L^2}^2 $$ and $$ \int |u|^{2N / (N-2)} \mathrm{d}x \leq (1 - \bar{\delta}) \|\nabla u\|^2_{L^2} $$

Now, in order to prove Theorem 3.9, we look at Lemma 3.4, and see that by energy conservation the first condition that $E(u) \leq (1 - \delta_0) E(W)$ is automatically satisfied if the initial data satisfies it. So it remains to show that $\|\nabla u\| < \|\nabla W\|$ with strict inequality pointwise in time. And here we use the continuity argument:

For contradiction, assume there is some $t > 0$ denoting the first time at which $$ \|\nabla u(t) \| = \|\nabla W\| $$ (there is a first positive time since $\|\nabla u(0)\| < \|\nabla W\|$ and $t \mapsto \|\nabla u(t)\|$ is continuous). Then for every $\tau \in [0,t)$ we have that $\|\nabla u(\tau)\| < \|\nabla W\|$, and hence we can apply Lemma 3.4 to $u(\tau)$ to conclude that $\|\nabla u(\tau)\|^2 \leq (1 - \bar{\delta})\|\nabla W\|^2$ uniformly in $\tau$. But this means $\limsup_{\tau \to t} \|\nabla u(\tau)\| \leq \sqrt{1 - \bar{\delta}} \|\nabla W\| < \|\nabla W\|$ contradicting the continuity of $t \mapsto \|\nabla u(t)\|$. Q.E.D.


This result is called energy trapping because it indicates a trapped set in state space, which is bounded by some "energy-like" conditions.

The NLS has a negative nonlinear potential, so in principle conservation of energy does not give a priori bounds on $\|\nabla u\|_{L^2}$ (it is not coercive). In principle it may be the case that you start with a solution with small energy that by losing potential energy through the negatively-signed self-interaction you gain a lot of kinetic energy. This theorem says that such a scenario cannot happen, provided initially your kinetic energy is not too big. In the small data case this is not very hard. In this case, however, the argument is not via "smallness", since "not too big" means here bounded by the first soliton energy which is "medium sized". The argument is that the first soliton actually provides a barrier to the runaway scenario described above. So that the set of initial data where both the conserved and the kinetic energies are less than that of the soliton is a "trapped set" for the flow associated to the NLS: solutions starting in this set can never escape it.

Willie Wong
  • 39k
  • 4
  • 94
  • 176