### March 17, 2005

2000 Mathematics Subject Classification. 35Q55.This material is based upon work supported by the National Science Foundation under Grant No. 0401260.
<ph f="cmbx">Nonuniqueness of Weak Solutions of the Nonlinear Schrödinger Equation</ph>

### Michael Christ

Michael Christ, Department of Mathematics, University of California, Berkeley, CA 94720-3840, USA URL: math.berkeley.edu/ $\sim$ mchrist E-mail address : mchrist@math.berkeley.edu
• Abstract. Generalized solutions of the Cauchy problem for the one-dimensional periodic nonlinear Schrödinger equation, with cubic or quadratic nonlinearities, are not unique. For any $s<0$  there exist nonzero generalized solutions varying continuously in the Sobolev space ${H}^{s}$  , with identically vanishing initial data.

1 Introduction

The Cauchy problem for the one-dimensional periodic cubic nonlinear Schrödinger equation is
 $\begin{array}{c}\left\{\begin{array}{cc}& i{u}_{t}+{u}_{xx}+\omega |u{|}^{2}u=0\\ & u\left(0,x\right)={u}_{0}\left(x\right)\end{array}\end{array}$ (NLS)
where $x\in \mathbb{T}=\mathbb{R}/2\pi \mathbb{Z}$  , $t\in \mathbb{R}$  , and the parameter $\omega$  equals $±1$  . Bourgain [2has shown this problem to be wellposed in the Sobolev space ${H}^{s}$  for all $s\ge 0$  . That is, there exists a Banach space $Y\subset {C}^{0}\left(\left[0,T\right],{H}^{s}\left(\mathbb{T}\right)\right)\cap {L}^{3}\left(\left[0,T\right]×\mathbb{T}\right)$  such that for any ${u}_{0}\in {H}^{s}$  there exists a solution $u\in Y$  , and solutions within the class $Y$  are unique. Here $T$  depends on the ${H}^{s}$  norm of the initial datum. An alternative proof of existence of solutions in ${C}^{0}\left(\left[0,T\right],{H}^{s}\left(\mathbb{T}\right)\right)$  for $s\ge 0$  , without any uniqueness assertion, was recently given [5.
On the other hand, the wellposedness theory breaks down in Sobolev spaces of negative order. For $s<0$  the mapping from smooth data to solutions fails to be uniformly continuous [4with respect to the ${H}^{s}$  norm, and is unstable in stronger senses [8as well. For $s<-\frac{1}{2}$  , for any $\varepsilon >0$  there exists a solution1 $u\in {C}^{\infty }$  satisfying $\parallel u{\parallel }_{{C}^{0}\left(\left[0,\varepsilon \right],{H}^{s}\right)}>{\varepsilon }^{-1}$  with initial datum satisfying $\parallel u\left(0,\cdot \right){\parallel }_{{H}^{s}}\le \varepsilon$  .
There remains the question of unconditional uniqueness, that is, uniqueness of solutions belonging to ${C}^{0}\left(\left[0,T\right],{H}^{s}\right)$  , without further restrictions. As it stands, this question is not well formulated, because of the lack of any well-defined product for general sufficiently singular distributions. In particular, the information $u\in {C}^{0}\left(\left[0,T\right],{H}^{s}\right)$  alone is insufficient to ensure that the nonlinear expression $|u{|}^{2}u$  has a natural interpretation as a space-time distribution. When $s$  is sufficiently large this expression makes sense, and solutions in ${C}^{0}\left(\left[0,T\right],{H}^{s}\right)$  are then well known to be unique. More refined work has established sufficient conditions on $s$  for unconditional uniqueness for various equations; see for instance [11and references cited there.
In this paper we establish nonuniqueness of solutions to the Cauchy problem for the (periodic, cubic) nonlinear Schrödinger equation and its variants with quadratic nonlinearities in classes ${C}^{0}\left(\left[0,T\right],{H}^{s}\left(\mathbb{T}\right)\right)$  for $s<0$  . While the paper focuses on one prototypical equation and some of its variants, the underlying construction is quite general. Two caveats must be admitted: (i) The solutions constructed are sufficiently singular that the meaning of the nonlinear terms in the equations must be clarified before it can be discussed whether the differential equation is actually satisfied. We prove that the required nonlinear expressions have reasonable and canonical interpretations, and that the differential equations hold under these interpretations. (ii) In the cubic case, the differential equation is modified slightly. The resulting modified Cauchy problem  NLS* has a reasonable existence theory with uniformly continuous dependence on initial data, in a natural but weak sense, for a wider class of function spaces than does  NLS . See below for more precise discussions of these two points.
For  NLS* there exist certain function spaces $\mathcal{ℋ}$  such that rather canonical solutions in ${C}^{0}\left(\left[0,T\right],\mathcal{ℋ}\right)$  exist for all initial data ${u}_{0}\in \mathcal{ℋ}$  , with uniformly continuous dependence upon initial data, yet solutions in ${C}^{0}\left(\left[0,T\right],\mathcal{ℋ}\right)$  fail to be unique. The same holds for the nonlinear Schrödinger equation with certain quadratic nonlinearities, in Sobolev spaces ${H}^{s}$  for all strictly negative $s$  .

1 The construction of these solutions in [8does not permit any passage to the limit to obtain nonvanishing solutions with vanishing initial data.

2 Results

2.1 Definitions

Our modified Cauchy problem is
 $\begin{array}{c}\left\{\begin{array}{cc}& i{u}_{t}+{u}_{xx}+\omega \mathbf{N}\left(u\right)=0\\ & u\left(0,x\right)={u}_{0}\left(x\right)\end{array}\end{array}$ (NLS*)
where
 $\begin{array}{cc}& \mathbf{N}\left(u\right)=\left(|u{|}^{2}-2\mu \left(|u{|}^{2}\right)\right)u\end{array}$ (2.1)
 $\begin{array}{cc}& \mu \left(f\right)=\left(2\pi {\right)}^{-1}{\int }_{\mathbb{T}}f\left(x\right)dx.\end{array}$ (2.2)
 $\begin{array}{}\end{array}$
$\mu \left(|u\left(t,\cdot \right){|}^{2}\right)$  is independent of $t$  for all sufficiently smooth solutions; modifying the equation in this way merely introduces a unimodular scalar factor ${e}^{2i\mu t}$  , where $\mu =\mu \left(|{u}_{0}{|}^{2}\right)$  . It is always assumed that $\omega \ne 0$  , so that the equation is genuinely nonlinear. For parameters $s<0$  , $\mu \left(|{u}_{0}{|}^{2}\right)$  is not defined for typical ${u}_{0}\in {H}^{s}$  , but of course the same goes for $|{u}_{0}\left(x\right){|}^{2}$  .
Subtracting $2\mu \left(|u{|}^{2}\right)u$  makes the equation better behaved, as discussed below; it contributes to the nonuniqueness of solutions by making it possible to reasonably interpret the modified differential equation for a wider class of distributions than the unmodified equation, but does not directly produce any wild behavior.
We will work with the partial Fourier transform, which is defined for smooth functions $f\left(t,x\right)$  by
 $\begin{array}{c}\stackrel{^}{f}\left(t,n\right)=\left(2\pi {\right)}^{-1}{\int }_{\mathbb{T}}f\left(t,x\right){e}^{-inx}dx\text{for}n\in \mathbb{Z},\end{array}$ (2.3)
and is extended to distributions by continuity.
Definition 2.1. A sequence of Fourier cutoff operators is any sequence of linear operators $\left({\mathcal{P}}_{N}{\right)}_{N\in \mathbb{N}}$  which act on ${\mathcal{D}}^{\prime }\left(\mathbb{T}\right)$  , and are of the Fourier multiplier form $\stackrel{^}{{\mathcal{P}}_{N}f}\left(n\right)={m}_{N}\left(n\right)\stackrel{^}{f}\left(n\right)$  where the functions ${m}_{N}:\mathbb{Z}\to \mathbb{C}$  each have finite support, are uniformly bounded, and satisfy ${lim}_{N\to \infty }{m}_{N}\left(k\right)=1$  for all $k\in \mathbb{Z}$  .
Let $\mathcal{N}$  be some nonlinear functional acting on functions of $\left(t,x\right)$  .
Definition 2.2. Let $u\in {\mathcal{D}}^{\prime }\left(\left(0,1\right)×\mathbb{T}\right)$  be a distribution. $\mathcal{N}\left(u\right)$  is said to exist and to equal $v\in {\mathcal{D}}^{\prime }\left(\left(0,1\right)×\mathbb{T}\right)$  if for every sequence $\left({\mathcal{P}}_{N}\right)$  of Fourier cutoff operators,
 $\begin{array}{c}{lim}_{N\to \infty }\mathcal{N}\left({\mathcal{P}}_{N}u\right)=v\end{array}$ (2.4)
in the topology of ${\mathcal{D}}^{\prime }\left(\left(0,1\right)×\mathbb{T}\right)$  .
We emphasize that  2.4 is to hold for every sequence $\left({\mathcal{P}}_{N}\right)$  , not merely for one sequence. Under general theories of multiplication of distributions [1,[9, products of the objects discussed are always defined, but these products depend on the choice of approximating truncation operators. One could require still more of $u$  by replacing Fourier cutoff operators by an appropriate class of pseudodifferential operators implementing cutoffs in phase space rather than merely in frequency space; we have not systematically investigated this more restrictive notion of existence for the solutions constructed in this paper.
Definition 2.3. $u\in {C}^{0}\left(\left[0,1\right],{H}^{s}\left(\mathbb{T}\right)\right)$  will be said to be a weak solution of  NLS* in the extended sense if $u\left(0,\cdot \right)={u}_{0}$  , $\mathbf{N}\left(u\right)$  exists in the sense of Definition  2.2 , and $u$  satisfies $i{u}_{t}+{u}_{xx}+\mathbf{N}\left(u\right)=0$  in the distribution sense in $\left(0,1\right)×\mathbb{T}$  with this interpretation of $\mathbf{N}\left(u\right)$  .
See [10for some discussion of this and related, less restrictive, notions of weak solutions. For any function space $\mathcal{ℋ}=\mathcal{ℋ}\left(\mathbb{T}\right)$  , ${C}^{-1}\left(\left[0,1\right],\mathcal{ℋ}\right)$  will denote the space of all space-time distributions $F\left(s,x\right)$  such that $\stackrel{~}{F}\left(t,x\right)={\int }_{0}^{t}F\left(s,x\right)ds$  belongs to ${C}^{0}\left(\left[0,1\right],\mathcal{ℋ}\right)$  , and $\parallel F{\parallel }_{{C}^{-1}\left(\left[0,1\right],\mathcal{ℋ}\right)}$  is the “norm” ${max}_{t\in \left[0,1\right]}\parallel \stackrel{~}{F}\left(t,\cdot \right){\parallel }_{\mathcal{ℋ}}$  .
The construction will rely on solutions of the inhomogeneous problem
 $\begin{array}{c}\left\{\begin{array}{cc}& i{v}_{t}+{v}_{xx}+\omega \mathbf{N}\left(v\right)=F\\ & v\left(0,x\right)={v}_{0}\left(x\right).\end{array}\end{array}$ (2.5)
We refer to $F$  as a driving force. Constructions of Scheffer [15and Shnirelman [16of nonunique solutions for the Euler equation have also utilized solutions of inhomogeneous equations.

2.2 Nonuniqueness for the cubic nonlinearity

Theorem 2.1. For any $s<0$  and $\omega \ne 0$  , there exists a space-time distribution $u\in {C}^{0}\left(\left[0,1\right],{H}^{s}\right)$  , not identically vanishing, which is a weak solution of  NLS* in the extended sense, with initial datum ${u}_{0}\equiv 0$  . Moreover, the limit  2.4 defining ${e}^{-it\Delta }\mathbf{N}\left(u\right)$  exists in the ${C}^{-1}\left(\left[0,1\right],{H}^{s}\right)$  norm.
It can be shown by an elaboration of the proof that for any initial datum with $\stackrel{^}{{u}_{0}}\in {\ell }^{1}$  , there exist $T>0$  and two distinct weak solutions in ${C}^{0}\left(\left[0,T\right],{H}^{s}\right)$  of  NLS* . Similar extensions are possible for all theorems stated below.
The solution $u$  qualifies as a solution in a second sense: There exist sequences of functions ${f}_{n}\in {C}^{\infty }\left(\left[0,1\right]×\mathbb{T}\right)$  , such that ${e}^{-i\Delta t}{f}_{n}\left(t,x\right)\to 0$  in ${C}^{-1}\left(\left[0,1\right],{H}^{s}\right)$  norm as $n\to \infty$  , and solutions ${u}_{n}\in {C}^{0}\left(\left[0,1\right],{H}^{1}\right)$  of  2.5 with driving forces ${f}_{n}$  and initial data ${u}_{0}\equiv 0$  , such that ${u}_{n}\to u$  in ${C}^{0}\left(\left[0,1\right],{H}^{s}\right)$  norm as $n\to \infty$  .
While Theorem  2.1 concerns rather irregular weak solutions, the essence of the construction is the following approximation result for smooth solutions of the inhomogeneous problem.
Proposition 2.2. Let $s<0$  and $\omega \ne 0$  . Suppose that $u\in {C}^{\infty }\left(\left[0,1\right]×\mathbb{T}\right)$  , and that each Fourier coefficient $\stackrel{^}{u}\left(t,n\right)$  vanishes to infinite order as $t\to {0}^{+}$  . Then for any $\varepsilon >0$  there exist $v,F\in {C}^{\infty }\left(\left[0,1\right]×\mathbb{T}\right)$  , each of whose Fourier coefficients vanishes to infinite order as $t\to {0}^{+}$  , such that $v$  is a solution of the inhomogeneous Cauchy problem  2.5 with driving force $F$  , with bounds
 $\begin{array}{cc}& \parallel v-u{\parallel }_{{C}^{0}\left(\left[0,1\right],{H}^{s}\right)}\le \varepsilon \end{array}$ (2.6)
 $\begin{array}{cc}& \parallel {e}^{-it\Delta }F{\parallel }_{{C}^{-1}\left(\left[0,1\right],{H}^{s}\right)}\le \varepsilon .\end{array}$ (2.7)
 $\begin{array}{}\end{array}$
The other theorems stated below are based on analogous facts.

2.3 Earlier nonuniqueness results

Theorem  2.1 should be contrasted with the examples of Scheffer [15and Shnirelman [16of nonunique weak solutions of the (periodic, two-dimensional) incompressible Euler equation in ${C}^{0}\left(\left[0,T\right],{H}^{0}\right)$  . The notion of a weak solution is less problematic in that framework, for the nonlinear term $v\cdot \nabla v$  is well-defined as a space-time distribution, under the usual straightforward interpretation via integration by parts, for any $v\in {C}^{0}\left(\left[0,T\right],{H}^{0}\right)$  .
A result related to nonuniqueness for the nonlinear Schrödinger equation on the real line has been established by Kenig, Ponce, and Vega [13: With a Dirac mass as initial datum, either there exists no solution, or there exists more than one solution.2 Dix [10has shown nonuniqueness of weak solutions in ${C}^{0}\left({H}^{s}\right)$  for Burgers' equation, for $s<-\frac{1}{2}$  , via the Cole-Hopf transformation, which transforms solutions of the heat equation to solutions of Burgers' equation by taking a logarithm.

2 [13does not address the issue of defining $|u{|}^{2}u$  , and the number of solutions could conceivably depend on the definition used. What is actually proved is that for any interpretation of $|u{|}^{2}u$  that is appropriately invariant under Galilean symmetries of the equation, there exists either no solution, or more than one solution.

2.4 Nonuniqueness in more restrictive function spaces

We will also establish, by a slightly more complicated argument, the analogue of Theorem  2.1 for certain less standard function spaces. These are the spaces ${\mathcal{ℋ}}^{p}$  for $p\in \left[1,\infty \right)$  , defined by
Definition 2.4. ${\mathcal{ℋ}}^{p}\left(\mathbb{T}\right)=\left\{f\in \mathcal{D}\left(\mathbb{T}\right):\stackrel{^}{f}\left(\cdot \right)\in {\ell }^{p}\right\}$  .
Here $\mathcal{D}\left(\mathbb{T}\right)$  is the usual space of distributions, and ${\mathcal{ℋ}}^{p}$  is equipped with the norm $\parallel \stackrel{^}{f}{\parallel }_{{\ell }^{p}\left(\mathbb{Z}\right)}$  .
The Cauchy problem  NLS* in ${\mathcal{ℋ}}^{p}$  exhibits certain attributes of wellposedness for all $p\in \left[1,\infty \right)$  [5: For any $R<\infty$  there exists $T>0$  such that the solution operator ${u}_{0}↦u\left(t,x\right)$  , defined initially for all ${u}_{0}\in {H}^{1}$  , is uniformly continuous (even real analytic) as a mapping from $\left\{{u}_{0}\in {H}^{1}:\parallel {u}_{0}{\parallel }_{{\mathcal{ℋ}}^{p}}\le R\right\}$  , equipped with the ${\mathcal{ℋ}}^{p}$  topology, to ${C}^{0}\left(\left[0,T\right],{\mathcal{ℋ}}^{p}\right)$  . Moreover the mapping ${u}_{0}↦u$  defined by extending this mapping from the dense subspace to all of ${\mathcal{ℋ}}^{p}$  is actually real analytic, and the function $u\left(t,x\right)$  thus defined is a weak solution of the differential equation in the extended sense. The unmodified Cauchy problem  NLS lacks these features for all $p>2$  ; the modified equation is better behaved.
Theorem 2.3. Let $p>2$  and $\omega \ne 0$  . There exists a weak solution $u\in {C}^{0}\left(\left[0,1\right],{\mathcal{ℋ}}^{p}\right)$  of  NLS* , in the extended sense, which does not vanish identically but has initial datum ${u}_{0}\equiv 0$  . Moreover, the limit  2.4 defining ${e}^{-it\Delta }\mathbf{N}\left(u\right)$  exists in the ${C}^{-1}\left(\left[0,1\right],{\mathcal{ℋ}}^{p}\right)$  norm.

Consider next the Cauchy problem
 $\begin{array}{c}\left\{\begin{array}{cc}& i{u}_{t}+{u}_{xx}+\omega Q\left(u\right)=0\\ & u\left(0,x\right)={u}_{0}\left(x\right)\end{array}\end{array}$ (NLS˙2)
where
 $\begin{array}{c}Q\left(u\right)={u}^{2},={\overline{u}}^{2},\text{or}=|u{|}^{2}-\mu \left(|u{|}^{2}\right).\end{array}$ (2.8)
Theorem 2.4. Let $s<0$  and $\omega \ne 0$  . For the Cauchy problem  NLS2̇ with any of the nonlinearities3  2.8 , there exists $u\in {C}^{0}\left(\left[0,1\right],{H}^{s}\right)$  which is a weak solution in the extended sense, does not vanish identically, and has initial datum ${u}_{0}\equiv 0$  . Moreover, ${lim}_{N\to \infty }{e}^{-it\Delta }Q\left({\mathcal{P}}_{N}u\right)$  exists in the ${C}^{-1}\left(\left[0,1\right],{H}^{s}\right)$  norm for any sequence of operators ${\mathcal{P}}_{N}$  satisfying the conditions of Definition  2.1 .
For $Q={u}^{2}$  or ${\overline{u}}^{2}$  , this Cauchy problem is wellposed in ${H}^{s}$  for all $s>-\frac{1}{2}$  [14, in the usual sense; for any initial datum in ${H}^{s}$  there exists a solution belonging to a space more restrictive than ${C}^{0}\left(\left[0,1\right],{H}^{s}\right)$  , and within this smaller space the solution is unique.
Thus for $s\in \left(-\frac{1}{2},0\right)$  we have simultaneously wellposedness in ${H}^{s}$  in the usual sense, and nonuniqueness of weak solutions in the extended sense in ${C}^{0}\left(\left[0,1\right],{H}^{s}\right)$  .

2.6 Discussion

The construction proceeds as follows. We consider a sequence of exact solutions ${u}_{\nu }$  of the modified Cauchy problem with initial data zero and with driving forces ${f}_{\nu }={\sum }_{|k|\ge {M}_{\nu }}{c}_{k,\nu }\left(t\right){e}^{ikx}$  , where ${M}_{\nu }\to \infty$  as $\nu \to \infty$  . To leading order, ${f}_{\nu }$  contributes ${v}_{\nu }\left(t\right)=-i{\int }_{0}^{t}{e}^{i\left(t-s\right)\Delta }{f}_{\nu }\left(s\right)ds$  to the solution ${u}_{\nu }$  . We choose ${f}_{\nu +1}$  so that $\mathbf{N}\left({v}_{\nu +1}\right)\approx {f}_{\nu }$  , modulo a very small remainder; it is essential to work in function spaces $\mathcal{ℋ}\left(\mathbb{T}\right)$  in which it is possible to simultaneously make ${v}_{\nu +1}$  small in ${C}^{0}\left(\left[0,1\right],\mathcal{ℋ}\right)$  , and $\mathbf{N}\left({v}_{\nu +1}\right)$  large in ${C}^{-1}\left(\left[0,1\right],\mathcal{ℋ}\right)$  . Thus nonuniqueness arises via an infinite cascade of “energy” from high spatial Fourier modes to lower Fourier modes, that is, from small spatial scales to large scales. Our construction and that of Shnirelman [16have in common both the use of driving forces tending weakly to zero, and the exploitation of this reverse energy cascade.
The motivation for the construction is that if the evolution is viewed as a coupled system of ordinary differential equations for the spatial Fourier coefficients of $\stackrel{^}{u}\left(t,n\right)$  , then because this system has infinite dimension, uniqueness should be expected to fail without some growth restriction as $|n|\to \infty$  . The main issues in the construction are then that exponential growth with respect to $n$  must be avoided, and that the inverse energy cascade inevitably produces many undesired terms along with terms useful in the construction, and it is required to make all undesired terms small in order to keep the ${H}^{s}$  norm finite, while useful terms are large and prescribed.

2.7 Extensions, and potential extensions

Various related results follow in a straightforward way from the same method.
• $\bullet$  Let $L$  be any linear operator of the form $\stackrel{^}{Lu}\left(n\right)=\sigma \left(n\right)\stackrel{^}{u}\left(n\right)$  where $\sigma$  is real-valued.
Then Theorem  2.1 and its proof carry through, nearly verbatim, when the linear term ${u}_{xx}$  in the differential equation is replaced by $Lu$  . More generally, if $\sigma$  has nonnegative imaginary part, the construction goes through if rewritten without the substitution  3.3 .
• $\bullet$  Generalization to higher dimensions is likewise straightforward.
• $\bullet$  Many other nonlinearities can be treated by the same method. Suitable modifications, analogous to the subtraction of $2\mu \left(|u{|}^{2}\right)u$  , are often needed in order to make sense of the equation in ${H}^{s}$  for negative $s$  .
• $\bullet$  In particular, the periodic Korteweg-de Vries equation admits nonunique solutions, in the extended weak sense, in ${C}^{0}\left({H}^{s}\right)$  for all $s<0$  . This contrasts with the work of Kappeler and Topalov [12, who have proved existence of quite canonical solutions in ${C}^{0}\left({H}^{s}\right)$  , which depend continuously on initial data in ${H}^{s}$  for all $s>-1$  .
These “solutions” were only proved to satisfy the PDE in the quite weak sense of being limits in ${C}^{0}\left({H}^{s}\right)$  of ${C}^{\infty }$  solutions. Our construction shows that if this notion of solution is liberalized by allowing limits of smooth solutions of inhomogeneous Cauchy problems with smooth driving forces tending to zero in the natural space ${e}^{it\Delta }\left({C}^{-1}\left({H}^{s}\right)\right)$  , then solutions are no longer unique.
• $\bullet$  The construction applies to semilinear hyperbolic equations ${u}_{tt}-{\Delta }_{x}u+\mathcal{N}\left(u\right)=0$  , for many nonlinearities $\mathcal{N}$  .
Other extensions and variants are at present more speculative. It appears to be possible to:
• $\bullet$  Sharpen the examples of Scheffer and Shnirelman for the Euler equation via this construction, to produce solutions in ${C}^{0}\left({L}^{2}\right)$  rather than merely in ${L}^{2}\left(\left[0,T\right]×\mathbb{T}\right)$  .
• $\bullet$  Establish nonuniqueness of the initial value problem for the Navier-Stokes equation, for solutions in the extended weak sense in ${C}^{0}\left({H}^{s}\right)$  for $s$  strictly negative. This does not address the question of uniqueness of Leray's weak solutions in ${C}^{0}\left({H}^{0}\right)$  .
• $\bullet$  Extend the construction to positive Sobolev exponents, for a certain class of artificial equations such as $i{u}_{t}+{u}_{xx}+{u}_{x}\overline{u}=0$  .
However, at present none of this has been verified in detail.
One feature of the construction is that it is relatively insensitive to the degree of the (semilinear) nonlinear term, in contrast to the behavior of threshold exponents in wellposedness theorems.
I thank Betsy Stovall for proofreading the manuscript.

3 Reformulation as an ordinary differential equation

We reformulate the Cauchy problem  NLS* as an infinite coupled system of ordinary differential equations for the Fourier coefficients of $u$  . Define
 $\begin{array}{c}\sigma \left(j,k,l,n\right)={n}^{2}-{j}^{2}+{k}^{2}-{l}^{2}.\end{array}$ (3.1)
Written in terms of Fourier coefficients ${\stackrel{^}{u}}_{n}\left(t\right)=\stackrel{^}{u}\left(t,n\right)$  and ${\stackrel{^}{F}}_{n}\left(t\right)=\stackrel{^}{F}\left(t,n\right)$  , the differential equation $i{u}_{t}+{u}_{xx}+\omega \mathbf{N}u=F$  becomes
 $\begin{array}{c}i\frac{d{\stackrel{^}{u}}_{n}}{dt}-{n}^{2}{\stackrel{^}{u}}_{n}+\omega {\sum }_{j-k+l=n}{\stackrel{^}{u}}_{j}\overline{{\stackrel{^}{u}}_{k}}{\stackrel{^}{u}}_{l}-2\omega {\stackrel{^}{u}}_{n}{\sum }_{m}|{\stackrel{^}{u}}_{m}{|}^{2}=\stackrel{^}{{F}_{n}}\left(t\right).\end{array}$ (3.2)
Here the first summation is taken over all $\left(j,k,l\right)\in {\mathbb{Z}}^{3}$  satisfying the indicated identity, and the second over all $m\in \mathbb{Z}$  . The term $-2\omega {\stackrel{^}{u}}_{n}{\sum }_{m}|{\stackrel{^}{u}}_{m}{|}^{2}$  cancels out certain terms of the first sum. Eliminating these and substituting4
 $\begin{array}{c}{y}_{n}\left(t\right)={e}^{i{n}^{2}t}\stackrel{^}{u}\left(t,n\right),\end{array}$ (3.3)
3.2 becomes
 $\begin{array}{c}\frac{d{y}_{n}}{dt}=i\omega {\sum }_{j-k+l=n}^{*}{y}_{j}{\overline{y}}_{k}{y}_{l}{e}^{i\sigma \left(j,k,l,n\right)t}-i\omega |{y}_{n}{|}^{2}{y}_{n}-i{e}^{i{n}^{2}t}\stackrel{^}{{F}_{n}}\left(t\right)\end{array}$ (3.4)
where the notation ${\sum }_{j-k+l=n}^{*}$  means that the sum is taken over all $\left(j,k,l\right)\in {\mathbb{Z}}^{3}$  for which neither $j=n$  nor $l=n$  .
For a sequence $a$  define
 $\begin{array}{c}\parallel a{\parallel }_{{\ell }_{s}^{2}}^{2}={\sum }_{n\in \mathbb{Z}}|{a}_{n}{|}^{2}\left(1+{n}^{2}{\right)}^{s}.\end{array}$ (3.5)
Clearly $y\in {C}^{0}\left(\left[0,T\right],{\ell }_{s}^{2}\right)$  if and only if $u\in {C}^{0}\left(\left[0,T\right],{H}^{s}\right)$  , with identical norms.
For any complex-valued sequence $z$  define ${\mathcal{N}}_{diag}\left(t\right)\left(z\right)$  and ${\mathcal{N}}_{main}\left(t\right)\left(z\right)$  to be the sequences whose $n$  -th terms are
 $\begin{array}{cc}& \left[{\mathcal{N}}_{main}\left(t\right)\left(z\right){\right]}_{n}=i\omega {\sum }_{j-k+l=n}^{*}{z}_{j}{\overline{z}}_{k}{z}_{l}{e}^{i\sigma \left(j,k,l,n\right)t}\end{array}$
 $\begin{array}{cc}& \left[{\mathcal{N}}_{diag}\left(t\right)\left(z\right){\right]}_{n}=-i\omega |{z}_{n}{|}^{2}{z}_{n}.\end{array}$
 $\begin{array}{}\end{array}$
and define $\mathcal{N}\left(z\right)={\mathcal{N}}_{main}\left(z\right)+{\mathcal{N}}_{diag}\left(z\right).$  For each $t\in \mathbb{R}$  , $\mathcal{N}\left(t\right)$  is a nonlinear operator which acts on a numerical sequence $z=\left({z}_{n}{\right)}_{n\in \mathbb{Z}}$  , and produces another numerical sequence.
We will work with sequence-valued functions $y$  of $t$  , and $\mathcal{N}\left(y\right)$  will denote the sequence-valued function $\mathcal{N}\left(t\right)\left(z\right)$  where $z=y\left(t\right)$  . With this notation,  3.4 becomes
 $\begin{array}{c}\frac{dy}{dt}=\mathcal{N}\left(y\right)+f\end{array}$ (3.6)
where ${f}_{n}\left(t\right)=-i{e}^{i{n}^{2}t}\stackrel{^}{{F}_{n}}\left(t\right).$  We say that a sequence-valued function $h\left(t\right)=\left({h}_{n}\left(t\right){\right)}_{n\in \mathbb{Z}}$  of $t\in \left[0,1\right]$  has support contained in $S\subset \mathbb{Z}$  if ${h}_{n}\left(t\right)\equiv 0$  for all $t\in \left[0,1\right]$  , for every $n/\in S$  . Thus we may speak of sequence-valued functions with finite supports.

4 This substitution is natural but does not materially simplify the analysis here. For dissipative equations it should of course be avoided.

4 The main step

Expressed in terms of Fourier coefficients, Proposition  2.2 becomes
Proposition 4.1. Let $s<0$  . Let $x\in {C}^{\infty }\left(\left[0,1\right]\right)$  be a finitely supported sequence-valued function such that $x\left(t,\cdot \right)$  vanishes to infinite order as $t\to {0}^{+}$  .
Then for any $\varepsilon >0$  there exist finitely supported sequence-valued functions $y,g\in {C}^{\infty }\left(\left[0,1\right]\right)$  satisfying
 $\begin{array}{c}\left\{\begin{array}{cc}& \frac{dy}{dt}=\mathcal{N}\left(y\right)+g\left(t\right)\\ & y\left(t,\cdot \right)\text{vanishes to infinite order as}t\to {0}^{+}\text{}\end{array}\end{array}$ (4.1)
with
 $\begin{array}{cc}& \parallel y-x{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le \varepsilon \end{array}$ (4.2)
 $\begin{array}{cc}& \parallel g{\parallel }_{{C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le \varepsilon .\end{array}$ (4.3)
 $\begin{array}{}\end{array}$
Moreover, for any $M<\infty$  , $y$  may be constructed so that $y-x$  and $g$  are supported in $\left[M,\infty \right)$  .

4.1 Construction of $y$

Define
 $\begin{array}{c}f=\frac{dx}{dt}-\mathcal{N}\left(x\right).\end{array}$ (4.4)
Since $x$  has finite support, so does $f$  . Let $S$  be a finite set in which $f$  is supported, and write $S=\left\{{n}_{j}:1\le j\le A\right\}$  where the ${n}_{j}$  are distinct. Choose a finite set ${S}^{†}\subset \mathbb{Z}\cap \left[M,\infty \right)$  , as follows. First choose ${m}_{1}\ge M$  , and define ${m}_{1}^{\prime }$  by the equation $2{m}_{1}-{m}_{1}^{\prime }={n}_{1}$  . Make ${m}_{1}$  sufficiently large to ensure that ${m}_{1}^{\prime }\ge M$  as well. Choose ${m}_{2}\ge M$  very large relative to ${m}_{1},{m}_{1}^{\prime }$  , and define ${m}_{2}^{\prime }$  by $2{m}_{2}-{m}_{2}^{\prime }={n}_{2}$  . Then choose ${m}_{3},{m}_{3}^{\prime },{m}_{4},{m}_{4}^{\prime }...$  in that order, satisfying
 $\begin{array}{c}2{m}_{j}-{m}_{j}^{\prime }={n}_{j}\text{for all}1\le j\le A\text{,}\end{array}$ (4.5)
and let ${S}^{†}=\left\{{m}_{1},{m}_{1}^{\prime },\cdots ,{m}_{A},{m}_{A}^{\prime }\right\}$  . The elements of ${S}^{†}$  are to be chosen to satisfy additional constraints:
• (1) If $k,l,m\in {S}^{†}$  and if $l/\in \left\{k,m\right\}$  then $|k-l+m|\ge M$  unless $\left(k,l,m\right)=\left({m}_{j},{m}_{j}^{\prime },{m}_{j}\right)$  for some $j$  .
• (2) If $k,l\in {S}^{†}$  and $n$  belongs to the support of $x$  then $|k-n+l|\ge M$  . Moreover $|k-l+n|\ge M$  provided that $k\ne l$  .
• (3) If $k\in {S}^{†}$  and $m,n$  belong to the support of $x$  then $|k-m+n|\ge M$  and $|m+k-n|\ge M$  .
Since each ${m}_{j}^{\prime }$  is approximately twice as large as ${m}_{j}$  , and since the support of $x$  is finite, all these conditions will hold, provided that ${m}_{1}$  is sufficiently large and each subsequent ${m}_{j}$  is chosen sufficiently large relative to ${m}_{1},\cdots ,{m}_{j-1}$  , while ${m}_{j}^{\prime }$  is defined to be $2{m}_{j}-{n}_{j}$  .
Choose ${C}^{\infty }$  functions $\left\{{h}_{m}\left(t\right):m\in {S}^{†}\right\}$  that vanish to infinite order as $t\to 0$  and satisfy
 $\begin{array}{c}i\omega \overline{{h}_{{m}_{j}^{\prime }}}\left(t\right){h}_{{m}_{j}}^{2}\left(t\right)\equiv \frac{1}{2}{e}^{-i\sigma \left({m}_{j},{m}_{j}^{\prime },{m}_{j},{n}_{j}\right)t}{f}_{{n}_{j}}\left(t\right)\end{array}$ (4.6)
for each ${n}_{j}\in S$  . It is essential that these functions be chosen so that ${max}_{m\in {S}^{†}}\parallel {h}_{m}{\parallel }_{{C}^{0}\left(\left[0,1\right]\right)}$  is bounded above by a finite quantity depending only5 on $S$  and on $f$  , not on the choice of ${S}^{†}$  itself. Define $h=\left({h}_{j}\left(t\right){\right)}_{j\in \mathbb{Z}}$  by ${h}_{j}\left(t\right)=0$  for all $j/\in {S}^{†}$  , and ${h}_{j}$  as above for all $j\in {S}^{†}$  . Define
 $\begin{array}{c}y=x+h.\end{array}$ (4.7)

5 The ${C}^{1}$  norms of the functions ${h}_{m}$  will be finite but must depend on ${S}^{†}$  . This is due to the dispersive nature of the PDE, and prevents us from making $dh/dt$  small in ${C}^{0}\left({\ell }_{s}^{2}\right)$  . This is an essential part of the obstruction to extending the construction to positive Sobolev exponents.

4.2 Remainder terms

Define
 $\begin{array}{c}g=\frac{dy}{dt}-\mathcal{N}\left(y\right).\end{array}$ (4.8)
Since $x,h$  have disjoint supports, ${\mathcal{N}}_{diag}\left(x+h\right)={\mathcal{N}}_{diag}\left(x\right)+{\mathcal{N}}_{diag}\left(h\right)$  . Consequently
 $\begin{array}{c}g=\left(f-{\mathcal{N}}_{main}\left(h\right)\right)+\frac{dh}{dt}-{\mathcal{N}}_{diag}\left(h\right)-\left({\mathcal{N}}_{main}\left(x+h\right)-{\mathcal{N}}_{main}\left(x\right)-{\mathcal{N}}_{main}\left(h\right)\right).\end{array}$ (4.9)
The bounds on $y-x$  and $g$  in Proposition  4.1 will now be established. As in other constructions of poorly behaved solutions [4,[6,[7,[8, we work in a regime in which nonlinear effects are more powerful than dispersion.
Lemma 4.2. Let $x$  be as in the hypotheses of Proposition  4.1 , and let $h$  be constructed as above. Then for any $\varepsilon >0$  there exists $M<\infty$  such that if ${S}^{†}$  is chosen as specified, then
 $\begin{array}{cc}& \parallel h{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le \varepsilon \end{array}$ (4.10)
 $\begin{array}{cc}& \parallel \frac{dh}{dt}{\parallel }_{{C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le \varepsilon \end{array}$ (4.11)
 $\begin{array}{cc}& \parallel {\mathcal{N}}_{main}\left(x\right)+{\mathcal{N}}_{main}\left(h\right)-{\mathcal{N}}_{main}\left(x+h\right){\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le \varepsilon \end{array}$ (4.12)
 $\begin{array}{cc}& \parallel {\mathcal{N}}_{main}\left(h\right)-f{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le \varepsilon \end{array}$ (4.13)
 $\begin{array}{cc}& \parallel {\mathcal{N}}_{diag}\left(h\right){\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le \varepsilon \end{array}$ (4.14)
 $\begin{array}{}\end{array}$
• Proof. ${h}_{k}\left(t\right)$  vanishes for all $k/\in {S}^{†}$  , and is bounded uniformly by a finite constant depending on $f$  , independent of the choice of ${S}^{†}$  . The cardinality of ${S}^{†}$  likewise depends only on $x$  . Since $s$  is strictly negative, it follows that $\parallel h{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le C{M}^{s}$  .
The bound for $\frac{dh}{dt}$  is merely a restatement of the bound for $h$  . ${\mathcal{N}}_{diag}\left(h\right)$  is also supported in ${S}^{†}$  , and the same reasoning as for $h$  applies to it.
${\mathcal{N}}_{main}\left(h\right)-f$  is supported on $\left\{n:|n|\ge M\right\}$  , by  1 . The term ${\mathcal{N}}_{main}\left(x\right)+{\mathcal{N}}_{main}\left(h\right)-{\mathcal{N}}_{main}\left(x+h\right)$  is supported in the same set, by  2 and  3 . Therefore the same reasoning applies to them and yields the same bound $C{M}^{s}$  .

5 A solution with zero initial datum

5.1 Construction of the solution

By induction on $n\in \mathbb{N}$  , we construct a sequence of finitely supported ${C}^{\infty }$  sequence-valued functions ${x}^{\left(n\right)}\in {C}^{1}\left(\left[0,1\right]\right)$  which vanish to infinite order as $t\to 0$  . To begin, choose ${x}^{\left(1\right)}$  to be smooth, to have finite support, to vanish to infinite order as $t\to 0$  , and moreover to have $0$  -th component satisfying
 $\begin{array}{c}\parallel {x}_{0}^{\left(1\right)}{\parallel }_{{C}^{0}\left(\left[0,1\right]\right)}\ge 1.\end{array}$ (5.1)
For the inductive step, construct ${x}^{\left(n+1\right)}=y$  by applying Proposition  4.1 to $x={x}^{\left(n\right)}$  .
Define the increments ${h}^{\left(n\right)}={x}^{\left(n+1\right)}-{x}^{\left(n\right)}$  and the driving forces ${f}^{\left(n+1\right)}=\frac{d{x}^{\left(n\right)}}{dt}-\mathcal{N}\left({x}^{\left(n\right)}\right)$  .
Then by induction ${h}^{\left(n\right)}$  and hence ${x}^{\left(n+1\right)}$  vanish to infinite order as $t\to 0$  . Taking $\varepsilon$  to be sufficiently small in the conclusion of the proposition at each step, we obtain bounds
 $\begin{array}{cc}& \parallel {h}^{\left(n\right)}{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le {\delta }_{n}\end{array}$ (5.2)
 $\begin{array}{cc}& \parallel {f}^{\left(n+1\right)}{\parallel }_{{C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le {\delta }_{n}\end{array}$ (5.3)
 $\begin{array}{cc}& {\delta }_{n}\le {2}^{-n-1}\end{array}$ (5.4)
 $\begin{array}{}\end{array}$
and moreover each ${\delta }_{n}$  may be arranged to be as small as may be desired, relative to any quantity depending only on ${x}^{\left(n\right)}$  . Moreover ${h}^{\left(n\right)}$  and ${f}^{\left(n+1\right)}$  are naturally expressed as finite sums of various constituent quantities, discussed in the proof of Proposition  4.1 and in Lemma  4.2 , which are also $\le {\delta }_{n}$  .
Define
 $\begin{array}{c}x={lim}_{n\to \infty }{x}^{\left(n\right)}\in {C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right);\end{array}$ (5.5)
the limit exists because the sequence $\left({x}^{\left(n\right)}{\right)}_{n\in \mathbb{N}}$  is constructed so as to be Cauchy in ${C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)$  , as stated in  5.2 . Together,  5.1 and  5.2 ensure that the component ${x}_{0}$  does not vanish identically as a function of $t\in \left[0,1\right]$  , so $x$  is a nonzero element of ${C}^{0}\left({\ell }_{s}^{2}\right)$  . Because ${x}^{\left(n\right)}\left(0\right)\equiv 0$  , the same holds for $x$  ; that is, $x$  satisfies the desired initial condition at time $t=0$  .

5.2 Existence of $\mathcal{N}\left(x\right)$

In order to show that $x$  satisfies the desired differential equation, we must first show that $\mathcal{N}\left(x\right)$  is well-defined.
Lemma 5.1. Let $\left({\mathfrak{m}}_{N}\right)$  be a uniformly bounded sequence of finitely supported functions from $\mathbb{Z}$  to $\mathbb{C}$  , and suppose that ${lim}_{N\to \infty }{\mathfrak{m}}_{N}\left(n\right)=1$  for all $n\in \mathbb{Z}$  .
Define6 the operators ${\mathcal{P}}_{N}{y}_{n}={\mathfrak{m}}_{N}\left(n\right){y}_{n}$  .
Then ${lim}_{N\to \infty }\mathcal{N}\left({\mathcal{P}}_{N}x\right)$  exists in ${C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)$  norm.
Two facts will be repeatedly used in the proof of Lemma  5.1 . Firstly,
 $\begin{array}{c}\parallel \mathcal{N}\left(v\right)-\mathcal{N}\left(w\right){\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }^{1}\right)}\le C\parallel v-w{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }^{1}\right)}\cdot {\left(\parallel v{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }^{1}\right)}+\parallel w{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }^{1}\right)}\right)}^{2}.\end{array}$ (5.6)
Secondly, the operators ${\mathcal{P}}_{N}$  are uniformly bounded on ${C}^{r}\left(\left[0,1\right],\mathcal{ℋ}\right)$  for $\mathcal{ℋ}={\ell }^{1}$  and $\mathcal{ℋ}={\ell }_{s}^{2}$  , for $r=0$  and $r=-1$  .
For any $N,k$  ,
 $\begin{array}{c}\parallel \mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(k\right)}\right)-\mathcal{N}\left({\mathcal{P}}_{N}x\right){\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }^{1}\right)}\le C{N}^{3}{2}^{-k},\end{array}$ (5.7)
since ${x}^{\left(k\right)}-x\le {2}^{-k}$  in ${C}^{0}\left(\left[0,1\right],{\ell }^{\infty }\right)$  norm and ${\mathcal{P}}_{N}y$  is supported $\left[-3N,3N\right]$  for any $y$  .
Thus for any index $J$
 $\begin{array}{c}\mathcal{N}\left({\mathcal{P}}_{N}x\right)=\mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(J\right)}\right)+{\sum }_{j=J}^{\infty }\left[\mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(j+1\right)}\right)-\mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(j\right)}\right)\right]\end{array}$ (5.8)
with convergence in the ${C}^{0}\left(\left[0,1\right],{\ell }^{1}\right)$  norm.
For any fixed $k$  , ${\mathcal{P}}_{N}{x}^{\left(k\right)}\to {x}^{\left(k\right)}$  in ${C}^{0}\left(\left[0,1\right],{\ell }^{1}\right)$  norm since the multipliers ${\mathfrak{m}}_{N}$  are uniformly bounded and tend pointwise to $1$  . Therefore
 $\begin{array}{c}\parallel \mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(k\right)}\right)-\mathcal{N}\left({x}^{\left(k\right)}\right){\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }^{1}\right)}\to 0\text{as}N\to \infty \text{}\end{array}$ (5.9)
by  5.6 .
Lemma 5.2. If the construction of the sequence $\left({x}^{\left(n\right)}{\right)}_{n\in \mathbb{Z}}$  is carried out so that each ${\delta }_{n}$  is sufficiently small relative to quantities determined at earlier steps of the construction, then there exists $C<\infty$  such that for all $k$  and all $N$  ,
 $\begin{array}{c}\parallel \mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(k+1\right)}\right)-\mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(k\right)}\right){\parallel }_{{C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le C{2}^{-k}.\end{array}$ (5.10)
• Proof. Rewrite
(5.11) N ( P N x ( k ) + P N h ( k ) ) N ( P N x ( k ) ) = [ N ( P N x ( k ) + P N h ( k ) ) N ( P N x ( k ) ) N ( P N h ( k ) ) ] + N m a i n ( P N h ( k ) ) + N d i a g ( P N h ( k ) ) .
Now ${\mathcal{N}}_{diag}\left({\mathcal{P}}_{N}{h}^{\left(k\right)}\right)$  can be bounded in ${C}^{0}\left({\ell }_{s}^{2}\right)$  norm exactly as was done for ${\mathcal{N}}_{diag}\left({h}^{\left(k\right)}\right)$  in the proof of Lemma  4.2 , up to an additional factor of $\parallel {\mathfrak{m}}_{N}{\parallel }_{{\ell }^{\infty }}^{3}$  . The same applies to $\mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(k\right)}+{\mathcal{P}}_{N}{h}^{\left(k\right)}\right)-\mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(k\right)}\right)-\mathcal{N}\left({\mathcal{P}}_{N}{h}^{\left(k\right)}\right)$  in comparison with $\mathcal{N}\left({x}^{\left(k\right)}+{h}^{\left(k\right)}\right)-\mathcal{N}\left({x}^{\left(k\right)}\right)-\mathcal{N}\left({h}^{\left(k\right)}\right)$  .
${\mathcal{N}}_{main}\left({\mathcal{P}}_{N}{h}^{\left(k\right)}\right)$  breaks up into two parts. First there is the contribution of all $3$  -tuples $\left(k,l,m\right)\in {{S}^{†}}^{3}$  , with $l\ne k,m$  , that are not of the form $\left({m}_{j},{m}_{j}^{\prime },{m}_{j}\right)$  . The same analysis given for ${\mathcal{N}}_{main}\left({h}^{\left(k\right)}\right)-{f}^{\left(k\right)}$  in the proof of Lemma  4.2 applies to the sum of these terms, up to the factor of $\parallel {\mathfrak{m}}_{N}{\parallel }_{{\ell }^{\infty }}^{3}$  . Thus the sum of these terms is again as small as desired in ${C}^{0}\left({\ell }_{s}^{2}\right)$  norm.
There remains the contribution of all $3$  -tuples $\left({m}_{j},{m}_{j}^{\prime },{m}_{j}\right)$  . Any such $3$  -tuple contributes exactly ${\mathfrak{m}}_{N}\left({m}_{j}{\right)}^{2}\overline{{\mathfrak{m}}_{N}\left({m}_{j}^{\prime }\right)}$  times ${f}_{{n}_{j}}^{\left(k\right)}\left(t\right)$  . Because ${\mathfrak{m}}_{N}\left({m}_{j}{\right)}^{2}\overline{{\mathfrak{m}}_{N}\left({m}_{j}^{\prime }\right)}$  is independent of $t$  , we therefore have the same upper bound in ${C}^{-1}\left({\ell }_{s}^{2}\right)$  as for ${f}^{\left(k\right)}$  itself, up to the factor $\parallel {\mathfrak{m}}_{N}{\parallel }_{{\ell }^{\infty }}^{3}$  .
Lemma  5.1 follows directly from the combination of Lemma  5.2 with  5.8 and  5.9 . Henceforth $\mathcal{N}\left(x\right)$  is well-defined, via Lemma  5.1 .
Corollary 5.3.
 $\begin{array}{c}\mathcal{N}\left({x}^{\left(k\right)}\right)\to \mathcal{N}\left(x\right)\text{in}{C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)\text{norm as}k\to \infty \text{.}\end{array}$ (5.12)
• Proof. By Lemma  5.2 ,  $\begin{array}{c}\parallel \mathcal{N}\left({\mathcal{P}}_{N}x\right)-\mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(k\right)}\right){\parallel }_{{C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le C{2}^{-k},\end{array}$ (5.13)
uniformly in $N$  . By Lemma  5.1 and  5.9 ,  $\begin{array}{c}\mathcal{N}\left({\mathcal{P}}_{N}x\right)-\mathcal{N}\left({\mathcal{P}}_{N}{x}^{\left(k\right)}\right)\to \mathcal{N}\left(x\right)-\mathcal{N}\left({x}^{\left(k\right)}\right)\text{in}{C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)\text{norm as}N\to \infty \text{.}\end{array}$ (5.14)
Therefore  $\begin{array}{c}\parallel \mathcal{N}\left(x\right)-\mathcal{N}\left({x}^{\left(k\right)}\right){\parallel }_{{C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}\le C{2}^{-k}.\end{array}$ (5.15)

5.3 A solution of the Cauchy problem

By definition of ${f}^{\left(n\right)}$  , ${x}^{\left(n\right)}\left(t\right)={\int }_{0}^{t}\mathcal{N}\left({x}^{\left(n\right)}\left(s\right)\right)ds+{\int }_{0}^{t}{f}^{\left(n\right)}\left(s\right)ds$  . Since ${f}^{\left(n\right)}\to 0$  in ${C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)$  norm, ${x}^{\left(n\right)}\to x$  in ${C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)$  , and $\mathcal{N}\left({x}^{\left(n\right)}\right)\to \mathcal{N}\left(x\right)$  in ${C}^{-1}\left(\left[0,1\right],{\ell }_{s}^{2}\right)$  , it follows at once that
 $\begin{array}{c}x\left(t\right)={\int }_{0}^{t}\mathcal{N}\left(x\left(s\right)\right)ds.\end{array}$ (5.16)
Define $u\in {C}^{0}\left(\left[0,1\right],{H}^{s}\right)$  by
 $\begin{array}{c}\stackrel{^}{u}\left(t,n\right)={e}^{-i{n}^{2}t}{x}_{n}\left(t\right).\end{array}$ (5.17)
Since ${x}^{\left(n\right)}\left(t,x\right)\in {C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)$  vanishes identically for $t=0$  and tends to $x$  in ${C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)$  norm, $u$  satisfies the initial condition $u\left(0,\cdot \right)\equiv 0$  . Lemma  5.1 states in equivalent form that $\mathcal{N}\left(u\right)$  exists in the sense of Definition  2.2 .  5.16 implies that $u$  is a weak solution in the extended sense of the modified nonlinear Schrödinger equation. This completes the proof of Theorem  2.1 .

6 Variants

6.1 The analogue for ${\mathcal{ℋ}}^{p}$

The proof of Theorem  2.3 is quite similar to that of Theorem  2.1 . The only significant change arises in the proof of Proposition  4.1 , for one cannot make $\parallel h{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }^{p}\right)}$  arbitrarily small simply by selecting ${S}^{†}\subset \left[M,\infty \right)$  for $M$  arbitrarily large, as can be done for $\parallel h{\parallel }_{{C}^{0}\left(\left[0,1\right],{\ell }_{s}^{2}\right)}$  .
The key now is that with a modification of the set ${S}^{†}$  of spatial Fourier modes in the support of the new driving force $g$  , making ${\mathcal{N}}_{main}\left(h\right)\approx f$  requires a lower bound on $h$  in ${C}^{0}\left(\left[0,1\right],{\ell }^{2}\right)$  but not in ${C}^{0}\left(\left[0,1\right],{\ell }^{p}\right)$  for $p>2$  . Let $S=\left\{{n}_{j}:1\le j\le A\right\}$  be as in the proof of Proposition  4.1 . ${S}^{†}$  will now be taken to consist of elements ${m}_{0}$  and ${m}_{j,i},{m}_{j,i}^{\prime }$  for $1\le j\le A$  and $1\le i\le K$  where the new parameter $K$  is to be determined. A large integer ${m}_{0}\in \mathbb{N}$  is chosen first, then ${m}_{1,1}<{m}_{1,2}<\cdots <{m}_{1,K}<{m}_{2,1}<{m}_{2,2}<\cdots <{m}_{2,K}<{m}_{3,1}<\cdots <{m}_{A,K}$  are chosen in that order, each sufficiently large relative to all its predecessors for later purposes, and then the quantities ${m}_{j,i}^{\prime }$  are uniquely determined by the relations
 $\begin{array}{c}{m}_{0}+{m}_{j,i}-{m}_{j,i}^{\prime }={n}_{j}\text{for all}j,i.\end{array}$ (6.1)
If ${m}_{0}$  is chosen so that ${m}_{0}-{n}_{j}>0$  for all $j$  then there is no obstruction to choosing ${m}_{j,i},{m}_{j,i}^{\prime }$  so that this equation holds and ${m}_{0},{m}_{j,i},{m}_{j,i}^{\prime }$  are three distinct integers.
${h}_{{m}_{0}}\left(t\right)$  is defined to be the constant function $c\varepsilon$  where $\varepsilon$  is the small quantity in the conclusion of the Proposition, and $c$  is some sufficiently small fixed constant. Coefficients $\left\{{h}_{m}:m\in {S}^{†}\right\}$  are chosen to be ${C}^{1}$  functions satisfying
 $\begin{array}{c}\begin{array}{}\text{(6.2)}& i\omega {h}_{{m}_{j,i}}\overline{{h}_{{m}_{j,i}^{\prime }}}{h}_{{m}_{0}}\left(t\right)\equiv \frac{1}{2}{K}^{-1}{e}^{-i\sigma \left({m}_{j},{m}_{j}^{\prime },{m}_{j},{n}_{j}\right)t}{f}_{{n}_{j}}\left(t\right)\parallel {h}_{m}{\parallel }_{{C}^{0}\left(\left[0,1\right]\right)}\le C{\left({\varepsilon }^{-1}{K}^{-1}\parallel {f}_{{n}_{j}}{\parallel }_{{C}^{0}}\right)}^{1/2}\text{if}m={m}_{j,i}\text{or}m={m}_{j,i}^{\prime }\text{.}\end{array}\end{array}$ (6.3)
for each $1\le j\le A$  and each $1\le i\le K$  . If $p$  is strictly greater than $2$  then for any given $\delta >0$  , $\left\{{h}_{j,i}\right\}$  can be made to satisfy
 $\begin{array}{c}{\left({\sum }_{m\ne {m}_{0}\in {S}^{†}}\parallel {h}_{m}{\parallel }_{{C}^{0}}\right)}^{1/p}\le \delta ,\end{array}$ (6.4)
by choosing $K$  to be sufficiently large as a function of $\varepsilon ,\delta$  , for the factor of ${K}^{1/p}$  arising from the number of terms on the left-hand side is more than compensated for by the factor of ${K}^{-1/2}$  in  6.3 , and this allows us to absorb the factor ${\varepsilon }^{-1/2}$  in  6.3 . The remainder of the proof of Proposition  4.1 is unchanged. Repeated applications of the Proposition establish Theorem  2.3 , just as for Theorem  2.1 .

Consider the nonlinearity $Q\left(u\right)={u}^{2}$  ; the discussion will apply to ${\overline{u}}^{2}$  and $|u{|}^{2}-\mu \left(|u{|}^{2}\right)$  with very minor changes which are left to the reader. If $S=\left\{{n}_{j}:1\le j\le A\right\}$  then we set ${S}^{†}=\left\{{m}_{j},{m}_{j}^{\prime }:1\le j\le A\right\}$  where ${m}_{j}+{m}_{j}^{\prime }={n}_{j}$  and $|{m}_{j}|,|{m}_{j}^{\prime }|\ge M$  for all $j$  . The conditions on $\left\{{h}_{m}\right\}$  now become
 $\begin{array}{c}i\omega {h}_{{m}_{j}}\left(t\right){h}_{{m}_{j}^{\prime }}\left(t\right)\equiv \frac{1}{2}{e}^{-i\left({m}_{j}^{2}+{{m}_{j}^{\prime }}^{2}-{n}_{j}^{2}\right)t}{f}_{{n}_{j}}\left(t\right).\end{array}$ (6.5)
By choosing ${m}_{1}$  sufficiently large and then $|{m}_{j}|$  sufficiently large relative to $|{m}_{j-1}|$  we may ensure that the analogue of Lemma  4.2 holds. The rest of the argument is unchanged. References

1. H. A. Biagioni, A nonlinear theory of generalized functions, Second edition. Lecture Notes in Mathematics, 1421. Springer-Verlag, Berlin, 1990.
2. J. Bourgain, Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. I. Schrödinger equations, Geom. Funct. Anal. 3 (1993), no. 2, 107–156. MR1209299 (95d:35160a)
3. , Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. II. The KdV-equation, Geom. Funct. Anal. 3 (1993), no. 3, 209–262. MR1215780 (95d:35160b)
4. N. Burq, P. Gérad and N. Tzvetkov, An instability property of the nonlinear Schrödinger equation on ${S}^{d}$  , Math. Res. Lett. 9 (2002), no. 2-3, 323–335. MR1909648 (2003c:35144)
5. M. Christ, Power series solution of a nonlinear Schrödinger equation, preprint December 2004.
6. M. Christ, J. Colliander, and T. Tao, Asymptotics, frequency modulation, and low regularity ill-posedness for canonical defocusing equations, Amer. J. Math. 125 (2003), no. 6, 1235–1293. MR2018661 (2005d:35223)
7. Illposedness for nonlinear Schrödinger and wave equations, to appear, Annales IHP Analyse Non Linéaire.
8. , Instability of the periodic nonlinear Schrödinger equation, preprint, math.AP/0311227.
9. J.-F. Colombeau, Multiplication of distributions. A tool in mathematics, numerical engineering and theoretical physics, Lecture Notes in Mathematics, 1532. Springer-Verlag, Berlin, 1992.
10. D. B. Dix, Nonuniqueness and uniqueness in the initial-value problem for Burgers' equation, SIAM J. Math. Anal. 27 (1996), no. 3, 708–724. MR1382829 (97c:35174)
11. G. Furioli, F. Planchon, and E. Terraneo, Unconditional well-posedness for semilinear Schrödinger and wave equations in ${H}^{s}$  , Harmonic analysis at Mount Holyoke (South Hadley, MA, 2001), 147–156, Contemp. Math., 320, Amer. Math. Soc., Providence, RI, 2003, MR1979937.
12. T. Kappeler and P. Topalov, Global Well-Posedness of KdV in ${H}^{-1}\left(T,R\right)$  , preprint.
13. C. E. Kenig, G. Ponce, and L. Vega, On the ill-posedness of some canonical dispersive equations, Duke Math. J. 106 (2001), no. 3, 617–633.
14. , Quadratic forms for the $1$  -D semilinear Schrödinger equation, Trans. Amer. Math. Soc. 348 (1996), no. 8, 3323–3353. MR1357398 (96j:35233)
15. V. Scheffer, An inviscid flow with compact support in space-time, J. Geom. Anal. 3 (1993), no. 4, 343–401.
16. A. Shnirelman, On the nonuniqueness of weak solution of the Euler equation, Comm. Pure Appl. Math. 50 (1997), no. 12, 1261–1286.

Michael Christ, Department of Mathematics, University of California, Berkeley, CA 94720-3840, USA URL: math.berkeley.edu/ $\sim$ mchrist E-mail address : mchrist@math.berkeley.edu