1: \section{Application: ill-posedness results}
2: \label{sec:cct}
3:
4: As a consequence of the analysis of Section~\ref{sec:ode}, we retrieve
5: some results established in \cite{CCT,CCT2} concerning ill-posedness
6: issues for the nonlinear Schr\"odinger equation without a small
7: parameter.
8: \begin{prop}[\cite{CCT2}, \cite{BGTENS}]\label{cor:CCT}
9: Let $n\ge 1$, $\omega \in \R\setminus \{0\}$ and $\si>0$ an integer.
10: Consider the nonlinear Schr\"odinger
11: equation in
12: $\R^n$:
13: \begin{equation}
14: \label{eq:NLSgen}
15: i\d_t u +\frac{1}{2}\Delta u = \omega |u|^{2\si}u \quad ;
16: \quad u_{\mid t=0}=u_0\, .
17: \end{equation}
18: $\bullet$ \emph{Ill-posedness}. Let $s<\frac{n}{2}-\frac{1}{\si}$. Then
19: \eqref{eq:NLSgen} is not locally well-posed in $H^s(\R^n)$: for any
20: $\delta >0$, we can find families $(u_{01}^\e)_{0<\e\le 1}$ and
21: $(u_{02}^\e)_{0<\e\le 1}$ with
22: \begin{equation*}
23: u_{01}^\e,u_{02}^\e\in \S(\R^n)\quad ;\quad \|u_{01}^\e\|_{H^s},
24: \|u_{02}^\e\|_{H^s} \le \delta\, ,\quad \|u_{01}^\e -
25: u_{02}^\e\|_{H^s}\ll 1\, ,
26: \end{equation*}
27: such that if $u_1^\e$ and $u_2^\e$ denote the solutions to
28: \eqref{eq:NLSgen} with these initial data, there exists $0<t^\e\ll
29: 1$ such that
30: $\displaystyle
31: \left\|u_1^\e\(t^\e\)-u_2^\e\(t^\e\) \right\|_{H^s}\gtrsim 1$.\\
32: $\bullet$ \emph{Norm inflation}. Assume $0<s
33: <\frac{n}{2}-\frac{1}{\si}$. We can find
34: $(u^\e)_{0<\e \le 1}$
35: solving
36: \eqref{eq:NLSgen}, such that
37: $u_0^\e \in \S(\R^n)$ and:
38: \begin{align*}
39: \left\|u_0^\e\right\|_{H^s} \ll 1 \quad ; \quad \exists t^\e\ll 1, \
40: \left\| u^\e\(
41: t^\e\) \right\|_{H^s} \gg 1\, .
42: \end{align*}
43: \end{prop}
44: \begin{proof}
45: This result is a
46: straightforward consequence of WKB analysis for small time, as in
47: Proposition~\ref{prop:bkwlog}. For $a_0\in \S(\R^n)$
48: with $\|a_0\|_{H^s}\le \delta /2$, and $\l >0$, consider $u$ solving
49: \eqref{eq:NLSgen} with:
50: \begin{equation*}
51: u_0(x) = \l^{-\frac{n}{2}+s}a_0\(\frac{x}{\l}\) .
52: \end{equation*}
53: Using the parabolic scaling and the scaling of $H^s$, define $u_\l$ by:
54: \begin{equation*}
55: u^\l (t,x) = \l^{\frac{n}{2}-s}u\( \l^2 t,\l x\).
56: \end{equation*}
57: It solves:
58: \begin{equation*}
59: i\d_t u^\l +\frac{1}{2}\Delta u^\l = \omega\l^{2-n+2s}|u^\l|^{2\si}u^\l
60: \quad ;\quad
61: u_{ \mid t=0}^\l=a_0\,.
62: \end{equation*}
63: Let $h=\l^{\frac{n\si}{2}-1-s\si}$: $\l$ and $h$ go to zero
64: simultaneously since $s<\frac{n}{2}-\frac{1}{\si}$. Define
65: \begin{equation*}
66: \psi^h(t,x) = u^\l ( h t,x) =\l^{\frac{n}{2}-s}u\(
67: \l^{\frac{n\si}{2}+1-s\si} t,\l x\)\, .
68: \end{equation*}
69: It solves:
70: \begin{equation}\label{eq:psi44}
71: ih\d_t \psi^h +\frac{h^2}{2}\Delta \psi^h =
72: \omega|\psi^h|^{2\si}\psi^h \quad
73: ;\quad \psi^h_{\mid t=0} = a_0\, .
74: \end{equation}
75: We go back to $u$ via the formula:
76: \begin{equation*}
77: u(t,x) = \l^{-\frac{n}{2}+s}\psi^h\(
78: \frac{t}{\l^{\frac{n\si }{2}+1-s\si}},\frac{x}{\l}\) \, .
79: \end{equation*}
80: \emph{Ill-posedness}. Let $\widetilde \psi^h$ solve \eqref{eq:psi44}
81: with a slightly different initial data:
82: \begin{equation*}
83: \widetilde \psi^h_{\mid t=0} = \(1+\delta^h\)a_0\, ,
84: \end{equation*}
85: with $\delta^h=|\ln h|^{-\theta}\ll 1$, where $\theta>0$ stems from
86: Proposition~\ref{prop:bkwlog}. We infer from
87: Proposition~\ref{prop:bkwlog} and the discussion of
88: Section~\ref{sec:ode} that for $t^h=c_0 h|\ln h|^\theta \ll
89: 1$, we have:
90: \begin{equation*}
91: \left\| \psi^h \( t^h\) - \widetilde\psi^h \( t^h\)\right\|_{H^s}
92: \gtrsim 1\, .
93: \end{equation*}
94: Back to the function $u$, this yields the first part of
95: Proposition~\ref{cor:CCT}. \\
96:
97:
98:
99:
100:
101:
102: \noindent\emph{Norm inflation}. In \cite{CCT2}, this phenomenon appears as a
103: transfer of energy from low to high Fourier modes. It corresponds to
104: the apparition of rapid oscillations in a
105: super-critical WKB r\'egime, which can be viewed as a particular case
106: of the above statement: even though $\psi^h$ is not $h$-oscillatory
107: initially, rapid oscillations appear instantly. Note that a similar
108: phenomenon was shown recently
109: in the context of Euler equations by C.~Cheverry and O.~Gu\`es
110: \cite{CG05}.
111:
112: Still from Proposition~\ref{prop:bkwlog} and the discussion of
113: Section~\ref{sec:ode}, with $t^h = c_0 h|\ln h|^\theta$, we
114: have
115: \begin{equation*}
116: \psi^h(t^h)\sim a_0(x)e^{i\frac{t^h}{h}\phi_1(x)}=
117: a_0(x)e^{-i\omega|a_0(x)|^{2\si}\(\ln\frac{1}{h}\)^\theta}.
118: \end{equation*}
119: Even though $\psi^h$ is not yet $h$-oscillatory, ``rapid'' oscillations
120: have appeared already. Now as in \cite{BGTENS}, we may replace $a_0$
121: with $ |\ln \l|^{-\theta'}a_0$ to complete the proof of
122: Proposition~\ref{cor:CCT}.
123: \end{proof}
124: