, , December 18, 2004. Revised February 15, 2005

1.1 The NLS Cauchy problem

The Cauchy problem for the one-dimensional periodic cubic nonlinear Schrödinger equation is

\begin{matrix} {\begin{matrix} i u_{t} + u_{x x} + ω | u |^{2} u = 0 \\ u (0, x) = u_{0} (x) \end{matrix} \end{matrix}

(NLS)

where

x \in T = R / 2 π Z

t \in R

, and the parameter

ω

equals

\pm 1

. Bourgain [2] has shown this problem to be wellposed in the Sobolev space

H^{s}

for all

s \geq 0

, in the sense of uniformly continuous dependence on the initial datum. In

H^{0}

it is wellposed globally in time, and as is typical in this subject, the uniqueness aspect of wellposedness is formulated in a certain auxiliary space more restricted than

C^{0} ([0, T], H^{s} (T))

, in which existence is also established. For

s < 0

it is illposed in the sense of uniformly continuous dependence [3] , and is illposed in stronger senses [5] as well.

The objectives of this paper are twofold. Firstly, we seek to establish the existence of solutions for wider classes of initial data than

H^{0}

. Secondly, we aim to develop an alternative method of solution.

The spaces of initial data considered here are the spaces

ℋ^{s, p}

for

s \geq 0

and

p \in [1, \infty]

, defined as follows:

Definition 1.1.

ℋ^{s, p} (T) = {f \in D (T) : 〈 \cdot 〉^{s} \hat{f} (\cdot) \in ℓ^{p}}

Here

D (T)

is the usual space of distributions, and

ℋ^{s, p}

is equipped with the norm

∥ f ∥_{ℋ^{s, p}} = ∥ \hat{f} ∥_{ℓ^{s, p} (Z)} = {(\sum_{n \in Z} 〈 n 〉^{p s} | \hat{f} (n) |^{p})}^{1 / p}

We write

ℋ^{p} = ℋ^{0, p}

, and are mainly interested in these spaces since, for

p > 2

, they are larger function spaces than the borderline Sobolev space

H^{0}

in which NLS is already known to be wellposed.

1.2 Motivations

At least four concrete considerations motivate analysis of the Cauchy problem in these particular function spaces. Firstly,

ℋ^{p}

scales like

H^{s (p)}

where

s (p) = - \frac{1}{2} + \frac{1}{p} ↓ - \frac{1}{2}

p ↑ \infty

, thus spanning the gap between the optimal exponent

s = 0

for Sobolev space wellposedness, and the scaling exponent

- \frac{1}{2}

A second motivation is the work of Kappeler and Topalov [9] ,[10] , who showed via an inverse scattering analysis that the periodic KdV and mKdV equations are wellposed for wider ranges of Sobolev spaces

H^{s}

than had previously been known. It is reasonable to seek a corresponding improvement for NLS , but this problem has been shown to be illposed in strong senses in

H^{s}

for all

s < 0

[5] . Christ and Erdogan have investigated in unpublished work the relatively simple “action variable” portion of the inverse scattering theory relevant to NLS , and have found that for any distribution in

ℋ^{p} (T)

with small norm, the sequence of gap lengths for the associated Dirac operator belongs to

ℓ^{p}

and has comparable norm.¹ Thus

ℋ^{p}

for

2 < p < \infty

may be a natural setting for inverse scattering theory for the Dirac operator relevant to the periodic cubic nonlinear Schrödinger equation.

A related third motivation is the goal of developing an alternative approach to the results of Kappeler and Topalov, independent of inverse scattering theory. NLS seems to be technically simpler than mKdV or KdV, so it may be a reasonable starting point.

Fourthly, Grünrock [7] has proved wellposedness for the cubic nonlinear Schrödinger equation in spaces analogous to

ℋ^{s, p}

, with

T

replaced by

R

, and for other PDE in these function spaces, as well.

¹ Having slightly better than bounded Fourier coefficients seems to be a minimal condition for the applicability of this machinery, since the eigenvalues for the free periodic Dirac system are equally spaced, and gap lengths for perturbations are to leading order proportional to absolute values of Fourier coefficients of the perturbing potential.

1.3 Modified equation

In order for the Cauchy problem to make any sense in

ℋ^{p}

for

p > 2

it seems to be essential to modify the differential equation. We consider

\begin{matrix} {\begin{matrix} i u_{t} + u_{x x} + ω (| u |^{2} - 2 μ (| u |^{2})) u = 0 \\ u (0, x) = u_{0} (x) \end{matrix} \end{matrix}

(NLS*)

where

\begin{matrix} μ (| f |^{2}) = (2 π)^{- 1} \int_{T} | f (x) |^{2} d x \end{matrix}

(1.1)

equals the mean value of the absolute value squared of

f

. In NLS* ,

μ (| u |^{2})

is shorthand for

μ (| u (t, \cdot) |^{2}) = ∥ u (t, \cdot) ∥_{L^{2}}^{2}

, which is independent of

t

for all sufficiently smooth solutions; modifying the equation in this way merely introduces a unimodular scalar factor

e^{2 i μ t}

, where

μ = μ (| u_{0} |^{2})

. For parameters

p, s

such that

ℋ^{s, p}

is not embedded in

H^{0}

μ (| u_{0} |^{2})

is not defined for typical

u_{0} \in ℋ^{s, p}

, but of course the same goes for the function

| u_{0} (x) |^{2}

, and we will nonetheless prove that the equation makes reasonable sense for such initial data.

The coefficient

2

in front of

μ (| u |^{2})

is the unique one for which solutions depend continuously on initial data in

ℋ^{p}

for

p > 2

1.4 Conclusions

Our main result is as follows. Recall that there exists a unique mapping

u_{0} \mapsto S u_{0} (t, x)

, defined for

u_{0} \in C^{\infty}

, which for all sufficiently large

s

extends to a uniformly continuous mapping from

H^{s} (T)

C^{0} ([0, \infty), H^{s} (T)) \cap C^{1} ([0, \infty), H^{s - 2} (T))

, such that

S u_{0}

is a solution of the modified Cauchy problem NLS* .

C^{\infty} (T)

is of course a dense subset of

ℋ^{s, p}

for any

p \in [1, \infty)

Theorem 1.1. For any

p \in [1, \infty)

, any

s \geq 0

, and any

R < \infty

, there exists

τ > 0

for which the solution mapping

S

extends by continuity to a uniformly continuous mapping from the ball centered at

0

of radius

R

ℋ^{s, p} (T)

C^{0} ([0, τ], ℋ^{s, p} (T))

For the unmodified equation this has the following consequence. Denote by

H_{c}^{0} = H_{c}^{0} (T)

the set of all

f \in H^{0}

such that

∥ f ∥_{L^{2}} = c

. Denote by

S^{'} u_{0}

the usual solution [2] of the unmodified Cauchy problem NLS with initial datum

u_{0}

, for

u_{0} \in H^{0}

Corollary 1.2. Let

p \in [1, \infty)

and

s \geq 0

. For any

R < \infty

there exists

τ > 0

such that for any finite constant

c > 0

, the mapping

H_{c}^{0} ∋ u_{0} \mapsto S^{'} u_{0}

is uniformly continuous as a mapping from

H_{c}^{0}

intersected with the ball centered at

0

of radius

R

ℋ^{s, p}

, equipped with the

ℋ^{s, p}

norm, to

C^{0} ([0, τ], ℋ^{s, p} (T))

The unpublished result of the author and Erdogan shows that for initial data in

L^{2}

, for which the solution is known to exist globally in time,

∥ u (t) ∥_{ℋ^{p}} \leq C ∥ u_{0} ∥_{ℋ^{p}}

uniformly for all

t \in [0, \infty)

, provided that

∥ u_{0} ∥_{ℋ^{p}}

is sufficiently small. This result, once published, will combine with Theorem 1.1 to yield global wellposedness for sufficiently small data.

The following result quantifies the relation between the nonlinear evolution NLS* ond the corresponding linear Cauchy problem

\begin{matrix} {\begin{matrix} i v_{t} + v_{x x} = 0 \\ v (0, x) = u_{0} (x) . \end{matrix} \end{matrix}

(1.2)

Proposition 1.3. Let

R < \infty

and

p \in [1, \infty)

. Let

q > p / 3

also satisfy

q \geq 1

Then there exist

τ, ɛ > 0

and

C < \infty

such that for any initial datum

u_{0}

satisfying

∥ u_{0} ∥_{ℋ^{p}} \leq R

, the solutions

u = S u_{0}

of NLS* and

v

of 1.2 satisfy

\begin{matrix} ∥ u (t, \cdot) - v (t, \cdot) ∥_{ℋ^{q}} \leq C t^{ɛ} for all t \in [0, τ] . \end{matrix}

(1.3)

Here

u

the solution defined by approximating

u_{0}

by elements of

C^{\infty}

and passing to the limit. Thus for

p > 1

the nonlinear terms are in a sense smoother than the linear evolution.

Our next result indicates that the function

u (t, x)

defined by the limiting procedure of Theorem 1.1 is a solution of the differential equation in a more natural sense than merely being a limit of smooth solutions. Define Fourier truncation operators

T_{N}

, acting on

ℋ^{s, p} (T)

, by

\hat{T_{N} f} (n) = 0

for all

| n | > N

, and

= \hat{f} (n)

whenever

| n | \leq N

T_{N}

acts also on functions

v (t, x)

by acting on

v (t, \cdot)

for each time

t

separately. We denote by

S (u_{0})

the limiting function whose existence, for nonsmooth

u_{0}

, is established by Theorem 1.1 .

Proposition 1.4. Let

p \in [1, \infty)

s \geq 0

, and

u_{0} \in ℋ^{s, p}

. Write

u = S (u_{0})

. Then for any

R < \infty

there exists

τ > 0

such that whenever

∥ u_{0} ∥_{ℋ^{s, p}} \leq R

N u (t, x) = (| u |^{2} - 2 μ (| u |^{2})) u

exists in the sense that

\begin{matrix} {lim}_{N \to \infty} N (T_{N} u) (t, x) exists in the sense of distributions in C^{0} ((0, τ), D^{'} (T)) . \end{matrix}

(1.4)

Moreover if

N (u)

is interpreted as this limit, then

u = S (u_{0})

satisfies NLS* in the sense of distributions in

(0, τ) \times T

More generally, the same holds for any sequence of Fourier multipliers of the form

\hat{T_{ν} f} (n) = m_{ν} (n) \hat{f} (n)

where each sequence

m_{ν}

is finitely supported,

{sup}_{ν} ∥ m_{ν} ∥_{ℓ^{\infty}} < \infty

, and

m_{ν} (n) \to 1

ν \to \infty

for each

n \in Z

; the limit is of course independent of the sequence

(m_{ν})

. Making sense of the nonlinearity via this limiting procedure is connected with general theories of multiplication of distributions [1] ,[6] , but the existence here of the limit over all sequences

(m_{ν})

gives

u

stronger claim to the title of solution than in the general theory.

Unlike the fixed point method, our proof yields no uniqueness statement corresponding to these existence results. But this failing is unavoidable; for all

p > 2

, solutions of the Cauchy problem in the class

C^{0} ([0, τ], ℋ^{p})

, in the sense of Proposition 1.4 , are not unique [4] .

1.5 Method

Define the partial Fourier transform

\begin{matrix} \hat{u} (t, n) = (2 π)^{- 1} \int_{T} e^{- i n x} u (t, x) d x . \end{matrix}

(1.5)

Our approach is to regard the partial differential equation as an infinite coupled nonlinear system of ordinary differential equations for these Fourier coefficients, to express the solution as a power series in the initial datum

\begin{matrix} \hat{u} (t, n) = \sum_{k = 0}^{\infty} {\hat{A}}_{k} (t) (\hat{u_{0}}, \dots, \hat{u_{0}}) \end{matrix}

(1.6)

where each

{\hat{A}}_{k} (t)

is a bounded multilinear operator² from a product of

k

copies of

ℋ^{s, p}

ℋ^{s, p}

, to show that the individual terms

{\hat{A}}_{k} (t) (\hat{u_{0}}, \dots, \hat{u_{0}})

are well-defined, and to show that the formal series converges absolutely in

C^{0} (R, ℋ^{s, p})

to a solution in the sense of 1.4 . The case

s \geq 0

follows from a very small modification of the analysis for

s = 0

, so we discuss primarily

s = 0

, indicating the necessary modifications for

s > 0

at the end of the paper.

The analysis is quite elementary, much of the paper being devoted to setting up the definitions and notation required to describe the operators

{\hat{A}}_{k} (t)

. A single number theoretic fact enters the discussion: the number of factorizations of an integer

n

as a product of two integer factors is

O (n^{δ})

n \to \infty

, for all

δ > 0

; this same fact was used in a more sophisticated way by Bourgain [2] .

The author is grateful to J. Bourgain, C. Kenig, H. Koch, and D. Tataru for invitations to conferences that stimulated this work, and to Betsy Stovall for thorough proofreading of the manuscript.

² Throughout the discussion we allow multilinear operators to be either conjugate linear or linear in each of their arguments, independently.

2 A system of coupled ordinary differential equations

2.1 General discussion

Define

\begin{matrix} σ (j, k, l, n) = n^{2} - j^{2} + k^{2} - l^{2} . \end{matrix}

(2.1)

It factors as

\begin{matrix} σ (j, k, l, n) = 2 (n - j) (n - l) = 2 (k - l) (k - j) provided that j - k + l = n . \end{matrix}

(2.2)

Written in terms of Fourier coefficients

{\hat{u}}_{n} (t) = \hat{u} (t, n)

, the equation

i u_{t} + u_{x x} + ω (| u |^{2} - 2 μ (| u |^{2})) u = 0

becomes

\begin{matrix} i \frac{d {\hat{u}}_{n}}{d t} - n^{2} {\hat{u}}_{n} + ω \sum_{j - k + l = n} {\hat{u}}_{j} \bar{{\hat{u}}_{k}} {\hat{u}}_{l} - 2 ω \sum_{m} | {\hat{u}}_{m} |^{2} {\hat{u}}_{n} = 0 . \end{matrix}

(2.3)

Here the first summation is taken over all

(j, k, l) \in Z^{3}

satisfying the indicated identity, and the second over all

m \in Z

. Substituting

\begin{matrix} a_{n} (t) = e^{i n^{2} t} \hat{u} (t, n), \end{matrix}

(2.4)

2.3 becomes

\begin{matrix} \frac{d a_{n}}{d t} = i ω \sum_{j - k + l = n}^{*} a_{j} {\bar{a}}_{k} a_{l} e^{i σ (j, k, l, n) t} - i ω | a_{n} |^{2} a_{n} . \end{matrix}

(2.5)

where the notation

\sum_{j - k + l = n}^{*}

means that the sum is taken over all

(j, k, l) \in Z^{3}

for which neither

j = n

nor

l = n

. This notational convention will be used throughout the discussion.

The effect of the term

- 2 ω μ (| u |^{2}) u

in the modified differential equation NLS* is to cancel out a term

2 i ω (\sum_{m} | a_{m} |^{2}) a_{n}

, which would otherwise appear on the right-hand side of 2.5 .

Reformulated as an integral equation, 2.5 becomes

\begin{matrix} a_{n} (t) = a_{n} (0) + i ω \sum_{j - k + l = n}^{*} \int_{0}^{t} a_{j} (s) {\bar{a}}_{k} (s) a_{l} (s) e^{i σ (j, k, l, n) s} d s - i ω \int_{0}^{t} | a_{n} (s) |^{2} a_{n} (s) d s . \end{matrix}

(2.6)

However, in deriving 2.6 from 2.5 , we have interchanged the integral over

[0, t]

with the summation over

j, k, l

without any justification. 2.6 is fully equivalent to

\begin{matrix} \hat{u} (t, n) = \hat{u_{0}} (n) - i n^{2} \int_{0}^{t} \hat{u} (s, n) d s + i ω \sum_{j - k + l = n}^{*} \int_{0}^{t} \hat{u} (s, j) \bar{\hat{u} (s, k)} \hat{u} (s, l) d s - i ω \int_{0}^{t} | \hat{u} (s, n) |^{2} \hat{u} (s, n) d s . \end{matrix}

(2.7)

Substituting for

a_{j}, a_{k}, a_{l}

in the right-hand side of 2.6 by means of the equation itself yields

\begin{matrix} a_{n} (t) & = a_{n} (0) + i ω \sum_{j - k + l = n}^{*} a_{j} (0) {\bar{a}}_{k} (0) {\bar{a}}_{l} (0) \int_{0}^{t} e^{i σ (j, k, l, n) s} d s - i ω | a_{n} (0) |^{2} a_{n} (0) \int_{0}^{t} 1 d s \end{matrix}

(2.8)

\begin{matrix} + additional terms . \end{matrix}

\begin{matrix} = a_{n} (0) (1 - i ω t | a_{n} (0) |^{2}) + \frac{1}{2} ω \sum_{j - k + l = n}^{*} \frac{a_{j} (0) {\bar{a}}_{k} (0) a_{l} (0)}{(n - j) (n - l)} (e^{i (n^{2} - j^{2} + k^{2} - l^{2}) t} - 1) \end{matrix}

\begin{matrix} + additional terms. \end{matrix}

\begin{matrix}  \end{matrix}

We recognize

1 - i ω t | a_{n} (0) |^{2}

as a Taylor polynomial for

exp (- i | a_{n} (0) |^{2} t)

, but for our purposes it will not be necessary to exploit this by recombining terms, and in particular we will not exploit the coefficient

i

which makes this exponential unimodular.

2.2 A sample term

One representative additional term is

(2.9) ( i ω ) 4 ∑ j 1 − j 2 + j 3 = n * ∑ m 1 1 − m 2 1 + m 3 1 = j 1 * ∑ m 1 2 − m 2 2 + m 3 2 = j 2 * ∑ m 1 3 − m 2 3 + m 3 3 = j 3 * ∫ 0 ≤ r 1 , r 2 , r 3 ≤ s ≤ t a m 1 1 ( r 1 ) a ¯ m 2 1 ( r 1 ) a m 3 1 ( r 1 ) a ¯ m 1 2 ( r 2 ) a m 2 2 ( r 2 ) a ¯ m 3 2 ( r 2 ) a m 1 3 ( r 3 ) a ¯ m 2 3 ( r 3 ) a m 3 3 ( r 3 ) e i σ ( j 1 , j 2 , j 3 , n ) s e i σ ( m 1 1 , m 2 1 , m 3 1 , j 1 ) r 1 e − i σ ( m 1 2 , m 2 2 , m 3 2 , j 2 ) r 2 e i σ ( m 1 3 , m 2 3 , m 3 3 , j 3 ) r 3 d r 1 d r 2 d r 2 d s .

Substituting via 2.6 for each coefficient

a

yields a main term

\begin{matrix} (i ω)^{4} \sum_{(m_{k}^{i})_{1 \leq i, k \leq 3}}^{*} ℐ (t, (m_{k}^{i})_{1 \leq i, k \leq 3})^{3} \prod_{i, j = 1} a_{m_{j}^{i}}^{*} (0) \end{matrix}

(2.10)

plus higher-degree terms, where the superscript

*

indicates here that the sum is taken over only certain

(m_{k}^{i})_{1 \leq i, k \leq 3} \subset Z^{9}

(more precisely, over most of a copy of

Z^{8}

affinely embedded in

Z^{9}

a_{m_{j}^{i}}^{*} (0) = a_{m_{j}^{i}} (0)

i + j

is even and

= \bar{a_{m_{j}^{i}} (0)}

i + j

is odd, and

\begin{matrix} ℐ (t, (m_{k}^{i})_{1 \leq i, k \leq 3}) = \int_{0 \leq r_{1}, r_{2}, r_{3} \leq s \leq t} e^{i θ (t, s, r_{1}, r_{2}, r_{3}, {m_{j}^{i} : 1 \leq i, j \leq 3})} d r_{1} d r_{2} d r_{2} d s, \end{matrix}

(2.11)

with

\begin{matrix} θ (t, s, r_{1}, r_{2}, r_{3}, (m_{j}^{i})_{1 \leq i, j \leq 3}) = σ (j_{1}, j_{2}, j_{3}, n) s + \sum_{i = 1}^{3} (- 1)^{i + 1} σ (m_{1}^{i}, m_{2}^{i}, m_{3}^{i}, j_{i}) r_{i}; \end{matrix}

(2.12)

here

j_{1}, j_{2}, j_{3}, n

are defined as functions of

(m_{j}^{i})

by the equations governing the sums in 2.9 . Continuing in this way yields formally an infinite expansion for the sequence

(a_{n} (t))_{n \in Z}

in terms of multilinear expressions in the initial datum

(a_{n} (0))

. This expansion is doubly infinite; the single (and relatively simple) term 2.10 is for instance an infinite sum over most of a copy of

Z^{8}

for each

n

The discussion up to this point has been purely formal, with no justification of convergence.

In the next section we will begin to describe the terms in this expansion systematically.

3 Trees

On a formal level

a (t) = (a_{n} (t))_{n \in Z}

equals an infinite sum

\sum_{k = 1}^{\infty} A_{k} (t) (a (0), a (0), a (0), \dots)

where each

A_{k} (t)

is a sum of finitely many multilinear operators, each of degree

k

. We now describe a class of trees which will be used both to name, and to analyze, these multilinear operators.

Definition 3.1. A tree

T

is a finite partially ordered set with the following properties:

(1) Whenever $v_{1}, v_{2}, v_{3}, v_{4} \in T$ and $v_{4} \leq v_{2} \leq v_{1}$ and $v_{4} \leq v_{3} \leq v_{1}$ , then either $v_{2} \leq v_{3}$ or $v_{3} \leq v_{2}$ .
(2) There exists a unique element $v_{0} \in T$ satisfying $v_{0} \geq v$ for all $v \in T$ .
(3) Each $v \in T$ has either three children, or no children; $w$ is said to be a child of $v$ if $w < v$ and if there exists no $u \in T$ satisfying $w < u < v$ .
(4) For each $v \in T$ there is given an element of ${\pm 1}$ , denoted $\pm_{v}$ .

Definition 3.2. Elements of

T

are called nodes. A terminal node is one with zero children. The maximal element of

T

is called its root node. For any

u \in T

T_{u} = {v \in T : v \leq u}

is a tree, with root node

u

T^{\infty}

denotes the set of all terminal nodes of

T

, while

T^{0} = T \ T^{\infty}

denotes the set

T^{0}

of all non-terminal nodes. The three children of any

v \in T^{0}

are denoted by

(v, 1), (v, 2), (v, 3)

The number

| T |

of nodes of a tree is of the form

1 + 3 k

for some nonnegative integer

k

The number of terminal nodes is then

\begin{matrix} | T^{\infty} | = 1 + 2 k = \frac{2}{3} | T | + \frac{1}{3} . \end{matrix}

(3.1)

Definition 3.3. An ornamented tree is a tree

T

together with the following additional structure:

(1) Associated to each node $v \in T$ is copy of $Z$ , indexed by the variable $j_{v}$ .
(2) There is given a partition of the set of all non-terminal nodes of $T$ into two disjoint classes, called simple nodes and general nodes. Terminal nodes are neither simple nor general.
(3) For each non-terminal node $v \in T^{0}$ , and each $i \in {1, 2, 3}$ such that the child $(v, i)$ is non-terminal, there is given a coefficient $ɛ_{v, i} \in {- 1, 0, 1}$ .

(4) Associated to each node

v \in T

is a

Z

-valued function

ρ_{v}

j = (j_{u})_{u \in T}

, defined by

\begin{matrix} ρ_{v} (j) = 0 if v \in T^{\infty} \end{matrix}

(3.2)

and

\begin{matrix} ρ_{v} (j) = σ (j_{(v, 1)}, j_{(v, 2)}, j_{(v, 3)}, j_{v}) + \sum_{i = 1}^{3} ɛ_{v, i} ρ_{(v, i)} if v \in T^{0} . \end{matrix}

(3.3)

ρ_{v} (j)

actually depends only on

{j_{u}, ɛ_{u, i} : u \leq v}

. We will use the symbol

T

to denote both the ornamented tree and the underlying tree, and will often write

ρ_{v}

instead of

ρ_{v} (j)

Definition 3.4. Let

T

be a tree.

J (T) \subset Z^{T}

denotes the set of all

j = (j_{v})_{v \in T}

satisfying the restrictions

\begin{matrix} j_{v} = j_{(v, 1)} - j_{(v, 2)} + j_{(v, 3)} for every v \in T^{0} \end{matrix}

(3.4)

\begin{matrix} {j_{v}, j_{(v, 2)}} \cap {j_{(v, 1)}, j_{(v, 3)}} = \emptyset for every general node v \in T^{0} \end{matrix}

(3.5)

\begin{matrix} j_{v} = j_{(v, i)} for all i \in {1, 2, 3} for every simple node v \in T^{0} . \end{matrix}

(3.6)

\begin{matrix}  \end{matrix}

Definition 3.5. Let

T

be any tree.

σ_{w} : J (T) \to Z

denotes the function

σ_{w} (j) = 0

w

is terminal, and

σ_{w} (j) = j_{w}^{2} - j_{(w, 1)}^{2} + j_{(w, 2)}^{2} - j_{(w, 3)}^{2}

w

is non-terminal.

Let

δ, c_{0} > 0

be sufficiently small positive numbers, to be chosen later. The following key definition involves these quantities.

Definition 3.6. Given an ornamented tree

T

and

j \in J (T)

, we say that a node

v \in T

is frozen if

v

is non-terminal and

\begin{matrix} | ρ_{v} (j) | \leq c_{0} | σ (j_{(v, 1)}, j_{(v, 2)}, j_{(v, 3)}, j_{v}) |^{1 - δ} . \end{matrix}

(3.7)

v

is not frozen, then

v

is said to be alive. A non-terminal node

v

is said to be exceptional if

ρ_{v} (j) = 0

Whether

v

is frozen depends on the values of

j_{u}

for all nodes

u \leq v

, as well as on

ɛ_{u, i}

for all non-terminal

u \leq v

, not merely on the structure of

T

; a non-terminal node will be frozen for some

j

, but alive for others. Thus it would be more felicitous to say that a pair

(v, j)

is frozen, rather than a node

v

Exceptional nodes are of course frozen. If

v \in T^{0}

is a general node all three of whose children of

v

are terminal, then

v

cannot be exceptional, for

ρ_{v} = σ (j_{(v, 1)}, j_{(v, 2)}, j_{(v, 3)}, j_{v}) = 2 (j_{v} - j_{(v, 1)}) (j_{v} - j_{(v, 3)})

cannot vanish, by 3.5 . But if

v

has at least one non-terminal child, then nothing prevents

ρ_{v}

from vanishing, and if

v

is a simple node all of whose children are terminal, then

v

is certainly exceptional.

Definition 3.7. A weathered ornamented tree

(T, T^{'})

is an ornamented tree

T

together with a subset

T^{'} \subset T^{0}

and the collection

\begin{matrix} J (T, T^{'}) = {j \in J (T) : v \in T is frozen if and only if v \in T^{'} .} \end{matrix}

(3.8)

4 Multilinear operators associated to trees

Definition 4.1. Let

T

be any tree, and let

t \in R

. The associated tree coefficients are

\begin{matrix} ℐ_{T} (t, j) = \int_{ℛ (T, t)} \prod_{u \in T^{0}} e^{\pm_{u} i ω σ_{u} (j) t_{u}} d t_{u} \end{matrix}

(4.1)

where

\begin{matrix} ℛ (T, t) = {(t_{u})_{u \in T^{0}} : 0 \leq t_{u} \leq t_{u^{'}} \leq t whenever u \leq u^{'}} . \end{matrix}

(4.2)

The following upper bounds for the coefficients

ℐ_{T} (t, j)

are the only information concerning them that will be used in the analysis.

Lemma 4.1. Let

T

be any tree, and let

j \in J (T)

. Then for all

t \in [0, 1]

\begin{matrix} | ℐ_{T} (t, j) | \leq t^{| T^{0} |} \end{matrix}

(4.3)

\begin{matrix} and & | ℐ_{T} (t, j) | \leq 2^{| T |} \sum_{(ɛ_{u, i})} \prod_{w \in T^{0}} 〈 ρ_{w} (j) 〉^{- 1} . \end{matrix}

(4.4)

\begin{matrix}  \end{matrix}

The notation

〈 x 〉

means

(1 + | x |^{2})^{1 / 2}

. The sum here is taken over all of the

3^{| T^{0} |}

possible choices of

ɛ_{u, i} \in {0, 1, - 1}

; these choices in turn determine the quantities

ρ_{w}

. This lemma will be proved in § 6 .

Definition 4.2. Let

T

be any ornamented tree. The tree operator

S_{T} (t)

associated to

T

is for each

t \in R

the multilinear operator that maps

(x_{v})_{v \in T^{\infty}}

, where each

x_{v}

is a sequence of complex numbers, to the sequence of complex numbers

\begin{matrix} S_{T} (t) (x_{v})_{v \in T^{\infty}} (n) = \sum_{j \in J (T) : j_{v_{0}} = n} ℐ_{T} (t, j) \prod_{w \in T^{\infty}} x_{w} (j_{w}) . \end{matrix}

(4.5)

5 Formalities

With all these definitions and notations in place, we can finally formulate the conclusion of the discussion in § 2 ; proofs will be supplied later.

Proposition 5.1. The recursive procedure indicated in § 2 yields a formal expansion

\begin{matrix} a (t) = \sum_{k = 1}^{\infty} A_{k} (t) (a (0), a (0), \dots), \end{matrix}

(5.1)

where each

A_{k} (t)

is a multilinear operator of the form

\begin{matrix} A_{k} (t) = \sum_{| T | = 3 k + 1} c_{T} S_{T} (t) \end{matrix}

(5.2)

where the scalars

c_{T} \in C

satisfy

| c_{T} | \leq C^{k}

for some finite constant

C

. The sum in 5.2 is taken over all ornamented trees

T

of the indicated cardinalities.

There exists a finite positive constant

c_{0}

such that whenever

a (0) \in ℓ^{1}

, the multiply infinite series

\sum_{k} A_{k} (t) (a (0), \dots)

converges absolutely to a function in

C^{0} ([0, τ], ℓ^{1})

provided that

τ ∥ a (0) ∥_{ℓ^{1}} \leq c_{0}

By this last statement we mean that

\sum_{j \in J (T)} | ℐ_{T} (t, j) | \prod_{w \in T^{\infty}} | a (0) (j_{w}) |

converges absolutely for each ornamented tree

T

, and that if its sum is denoted by

S_{T}^{*} (a (0), a (0), \dots) (t)

then the resulting series

\sum_{k = 1}^{\infty} \sum_{| T | = 3 k + 1} | c_{T} S_{T}^{*} (a (0), a (0), \dots) (t) |

likewise converges.S All but the last sentence follows from the discussion in § 2 and the definitions in §§ 3 ,section:treeops.

The operators

S_{T}

and coefficients

c_{T}

were defined so that the following holds automatically.

Lemma 5.2. There exists

c > 0

with the following property. Let

\hat{u_{0}}

be any numerical sequence and define

a (0) (n) = \hat{u_{0}} (n)

. Suppose that the infinite series defining

S_{T}^{*} (a (0), a (0), \dots) (t)

converges absolutely and uniformly for all

t \in [0, τ]

and that its sum is

O (c^{| T |})

, uniformly for every ornamented tree

T

Define

a (t)

to be the sequence

\sum_{k = 1}^{\infty} A_{k} (t) (a (0), a (0), \dots)

. Then

a

satisfies the integral equation 2.6 for

t \in [0, τ]

. Moreover the function

u (t, x)

defined by

\hat{u} (t, n) = e^{- i n^{2} t} a (t, n)

is a solution of the modified Cauchy problem NLS* in the corresponding sense 2.7 .

The main estimate in our analysis is as follows.

Proposition 5.3. Let

p \in (1, \infty)

. Then for any exponent

q > \frac{p}{| T^{\infty} |}

satisfying also

q \geq 1

, there exist

ɛ > 0

and

C < \infty

such that for all ornamented trees

T

and all sequences

x_{v} \in ℓ^{1}

\begin{matrix} ∥ S_{T} (t) (x_{v})_{v \in T^{\infty}} ∥_{ℓ^{q}} \leq (C t^{ɛ})^{| T^{\infty} |} \prod_{v \in T^{\infty}} ∥ x_{v} ∥_{ℓ^{p}} . \end{matrix}

(5.3)

Propositions 5.1 and 5.3 and Lemma 5.2 will be proved in subsequent sections. Together, they give:

Corollary 5.4. Let

p \in [1, \infty)

. For any

R < \infty

there exists

τ > 0

such that the solution mapping

u_{0} \mapsto u (t, \cdot)

for the modified Cauchy problem NLS* , initially defined for all sufficiently smooth

u_{0}

, extends by uniform continuity to a real analytic mapping from

{u_{0} \in ℋ^{p} : ∥ u_{0} ∥_{ℋ^{p}} \leq R}

C^{0} ([0, τ], ℋ^{p} (T))

We emphasize that analytic dependence on

t

is not asserted.

6 Tree coefficient bound

Proof of Lemma 4.1 . The first conclusion of the lemma holds simply because

| ℐ_{T} (t, j) | \leq | ℛ (T, t) |

. The proof of the main conclusion 4.4 proceeds recursively. In step 1 we integrate with respect to

t_{v}

for certain nodes

v

, holding fixed all other coordinates

t_{w}

in the integral defining

ℛ (T, t)

. Specifically, we hold fixed the coordinate

t_{v}

whenever at least one child of

v

is not terminal. We also fix

t_{v}

for every simple node

v

having only terminal children.

The former coordinates

t_{v}

, and underlying nodes

v

, are said to be temporarily fixed; the latter coordinates and nodes are said to be permanently fixed. No other coordinates are fixed at this step.

When

| T | = 1

there is nothing to prove. Otherwise there must always exist at least one node, all of whose children are terminal If there exists such a node which is also general, then at least coordinate

t_{v}

is not fixed. The subset, or slice, of

ℛ (T, t)

defined by setting each of the fixed coordinates equal to some constant is either empty, or takes the product form

\times_{u not fixed} [0, t_{u^{*}}]

, where

u^{*}

denotes the parent of

u

. Integrating over this slice with respect to all of the non-fixed coordinates thus yields

\prod_{w} e^{\pm_{w} i ω σ_{w} t_{w}} \prod_{u} \int_{0}^{t_{u^{*}}} e^{\pm_{u} i ω σ_{u} t_{u}} d t_{u},

where the first product is taken over all fixed

w \in T^{0}

, and the second over all remaining non-fixed

u \in T^{0}

None of the quantities

σ_{u}

can vanish in step 1, since a general node having only terminal children can never be exceptional, by 3.5 . Therefore the preceding expression equals

\prod_{w} e^{\pm_{w} i ω σ_{w} t_{w}} \prod_{u} (\pm_{u} i ω σ_{u})^{- 1} (e^{\pm i ω σ_{u} t_{u^{*}}} - 1) .

This may be expanded as a sum of

2^{N}

terms, where

N

is the number of non-fixed nodes in

T^{0}

. Each of these terms has the form

\pm \prod_{w} e^{\pm_{w} i ω σ_{w} t_{w}} \prod_{u} (i ω σ_{u})^{- 1} e^{ɛ_{u} i ω σ_{u} t_{u^{*}}}

for some numbers

ɛ_{u} \in {0, 1, - 1}

The other possibility in step 1 is that

| T | > 1

, but every nonterminal node that has only terminal children is simple. In that case all coordinates

t_{v}

are fixed at step 1, no integration is performed, and we move on to step 2.

We now carry out step 2. If a node

v

was permanently fixed at step 1 then it remains fixed for all subsequent steps; we never integrate with respect to

t_{v}

. More generally, any node that is permanently fixed at any step remains fixed through all subsequent steps.

On the other hand, once we've integrated with respect to some

t_{w}

, then the node

w

is also removed from further consideration. All other nodes remain active, including those temporarily fixed in step 1. Denote by

T_{1}

the set of all nodes that are active after the completion of step 1.

T_{1}

is itself a tree. There is an associated subset

ℛ_{T_{1}}

{(t_{w} : w \in T_{1})}

, defined by the inequalities

0 \leq t_{w} \leq t_{w^{'}} \leq t

whenever

w \leq w^{'}

, and also by

t_{u} \leq t_{w}

u \leq w

and

u

was permanently fixed in step 1. To each node

w \in T_{1}

is associated a modified phase

σ_{w}^{(2)}

, defined to be

σ_{w} + \sum_{i} ɛ_{(w, i)} σ_{(w, i)}

, where the sum is taken over all

i \in {1, 2, 3}

such that we integrated with respect to

t_{(w, i)}

in the first step.

A node

w

is permanently fixed at the second step if

w

is terminal in

T_{1}

and satisfies

σ_{w}^{(2)} = 0

. A node

w \in T_{1}

is temporarily fixed at the second step if

w

is not terminal in

T_{1}

. We now integrate

\prod_{w \in T_{1}} e^{\pm i ω σ_{w}^{(2)} (t_{w})}

over

ℛ_{T_{1}}

with respect to

t_{u}

for all

u \in T_{1}

that are neither temporarily nor permanently fixed. As in step 1, this integral has a product structure, and

2^{N_{2}}

terms are obtained, where

N_{2}

is the number of variables with respect to which we integrate.

In step 3 we consider the tree

T_{2}

consisting of all

w \in T_{1}

that were temporarily fixed in step 2. Associated to

T_{2}

is a set

ℛ_{T_{2}}

, and associated to each node

v \in T_{2}

is a modified phase

σ_{w}^{(3)} = σ_{w}^{(2)} + \sum_{i} ɛ_{(w, i)} σ_{(w, i)}^{(2)}

, the sum being taken over all

i \in {1, 2, 3}

such that

(w, i)

was not fixed in step 2. A node

v \in T_{2}

is then permanently fixed if it is terminal in

T_{2}

and

σ_{v}^{(3)} = 0

v \in T_{2}

is temporarily fixed if it is not terminal in

T_{2}

. We then integrate with respect to

t_{v}

for all

v \in T_{2}

that are neither temporarily nor permanently fixed.

This procedure terminates after finitely many steps, when for each node

v \in T^{0}

, either

v

has become permanently fixed, or we have integrated with respect to

t_{v}

. This yields a sum of at most

2^{| T^{0} |}

terms. Each term arises from some particular choice of the parameters

ɛ_{u, i}

, and is expressed as an integral with respect to

t_{v}

for all nodes

v \in T^{0}

that were permanently fixed at some step; the vector

(t_{v})

indexed by all such

v

varies over a subset of

[0, t]^{M}

where

M

is the number of such

v

. At step

n

, each integration with respect to some

t_{u}

yields a factor of

(σ_{u}^{(n)})^{- 1}

, multiplied by some unimodular factor; recall that

σ_{u}^{(n)} \neq 0

, since otherwise

u

would have been permanently fixed.

Thus for each term we obtain an upper bound of

\prod_{u} | ρ_{u} |^{- 1}

, where the product is taken over all nonexceptional nodes

u

; this bound must still be integrated with respect to all

t_{w}

where

w

ranges over all the exceptional nodes. Each such coordinate

t_{w}

is restricted to

[0, t]

. Thus we obtain a total bound

\begin{matrix} | ℐ (t, j) | \leq \sum_{(ɛ_{u, i})} {t^{M}}^{*} \prod_{w \in T^{0}} | ρ_{w} (j) |^{- 1} \end{matrix}

(6.1)

where for each

(ɛ_{u, i})

M = M ((ɛ_{u, i}))

is the number of exceptional nodes encountered in this procedure, that is, the number of permanently fixed nodes, and where for each

(ɛ_{u, i})

\prod_{w \in T^{0}}^{*}

denotes the product over all nonexceptional nodes

w \in T^{0}

that are nonexceptional with respect to

(ɛ_{u, i})

. □

7 A simple $ℓ^{1}$ bound

This section is devoted to a preliminary bound for simplified multilinear operators. For any tree

T

and any sequences

y_{v} \in ℓ^{1}

, define

\begin{matrix} {\tilde{S}}_{T} (y_{v})_{v \in T^{\infty}} (n) = \sum_{j : j_{v_{0}} = n}^{◆} \prod_{u \in T^{\infty}} y_{u} (j_{u}) . \end{matrix}

(7.1)

The notation

\sum_{j : j_{v_{0}} = n}^{◆}

indicates that the sum is taken over all indices

j \in Z^{T}

that satisfy 3.4 as well as

j_{v_{0}} = n

; the restrictions 3.5 and 3.6 are not imposed here.

Lemma 7.1. For any tree

T

and any sequences

{(y_{v}) : v \in T^{\infty}}

\begin{matrix} ∥ {\tilde{S}}_{T} (y_{v})_{v \in T^{\infty}} ∥_{ℓ^{1}} \leq \prod_{w \in T^{\infty}} ∥ y_{w} ∥_{ℓ^{1}}, \end{matrix}

(7.2)

with equality when all

y_{v} (j_{v})

are nonnegative.

Proof. Recall that for some nonnegative integer

k

| T | = 3 k + 1

| T^{\infty} | = 2 k + 1

, and

| T^{0} | = k

Consider the set

B \subset T

whose elements are

v_{0}

together with all

(v, i)

such that

v \in T^{0}

and

i \in {1, 3}

. Thus

| B | = 1 + 2 k = | T^{\infty} |

. Define

\begin{matrix} k_{v, i} = j_{v} - j_{(v, i)} for v \in T^{0} and i \in {1, 3} . \end{matrix}

(7.3)

Consider the

Z

-linear mapping

L

from

Z^{T^{\infty}}

Z^{B}

defined so that

L (j)

has coordinates

j_{v_{0}}

and all

k_{v, i}

j_{v}

and

j_{(v, i)}

are well-defined linear functionals of

j \in Z^{T^{\infty}}

, because given the quantities

j_{w}

for all

w \in T^{\infty}

j_{v}

can be recovered for all other

v \in T

via the relations 3.4 , by ascending induction on

v

. We claim that

L

is invertible. Indeed, from the quantities

j_{v_{0}}

and all

j_{v} - j_{(v, i)}

with

v \in T^{0}

and

i \in {1, 3}

j_{u}

can be recovered for all

u \in T

by descending induction on

u

, using again 3.4 at each stage. For instance, at the initial step,

j_{(v_{0}, i)} = j_{v_{0}} + k_{v_{0}, i}

for

i = 1, 3

, and then

j_{(v_{0}, 2)}

can be recovered via 3.4 . Thus

L

is injective, hence invertible.

By descending induction on nodes it follows in the same way from 3.4 that

j = (j_{w})_{w \in T^{\infty}}

satisfies a certain linear relation of the form

\begin{matrix} j_{v_{0}} = \sum_{w \in T^{\infty}} \pm_{w} j_{w} \end{matrix}

(7.4)

where each coefficient

\pm_{w}

equals

\pm 1

. By the conclusion of the preceding paragraph, this can be the only relation to which

(j_{w})_{w \in T^{\infty}}

is subject; the sum defining

{\tilde{S}}_{T} (y_{w})_{w \in T^{\infty}} (j_{v_{0}})

is taken over all

j

satisfying this relation. Therefore

\sum_{j_{v_{0}}} {\tilde{S}}_{T} (j_{v_{0}})

equals the summation over all

w \in T^{\infty}

and all

j_{w} \in Z

, without restriction, of

\prod_{w \in T^{\infty}} y_{w} (j_{w})

. The lemma follows. □

Corollary 7.2. For any ornamented tree, the sum defining

{\tilde{S}}_{T} (y_{v})_{v \in T^{\infty}} (n)

converges absolutely for all

n \in Z

whenever all

y_{v} \in ℓ^{1}

, and the resulting sequence satisfies

\begin{matrix} ∥ {\tilde{S}}_{T} (y_{v})_{v \in T^{\infty}} ∥_{ℓ^{1}} \leq \prod_{v \in T^{\infty}} ∥ y_{v} ∥_{ℓ^{1}} . \end{matrix}

(7.5)

There is no bound for

{\tilde{S}}_{T}

in terms of the quantities

∥ y_{w} ∥_{ℓ^{p}}

for

p > 1

. It is the additional factors

〈 ρ_{u} 〉^{- 1}

in the second tree coefficient bound 4.4 , reflecting the dispersive character of the partial differential equation, which make possible estimates in terms of weaker

ℓ^{p}

norms.

Proof of Proposition 5.1 . Consider any tree

T

and associated function

\begin{matrix} \int_{ℛ (T, t)} \sum_{j \in J (T)} \prod_{v \in T^{0}} e^{\pm_{v} i σ_{v} t_{v}} \prod_{u \in T^{\infty}} y_{u} (t_{u}, j_{u}) d t_{u} \end{matrix}

(7.6)

for

0 \leq t \leq τ

, with

t_{v_{0}} \equiv t

, under the assumption that for each

u \in T^{\infty}

y = y_{u}

belongs to

C^{0} ([0, τ], ℓ^{1})

. Here for each

t_{u}

y_{u} (t_{u})

is the sequence whose components are

y_{u} (t_{u}, j_{u})_{j_{u} \in Z}

Let each node

v \in T^{\infty}

be designated as either finished or unfinished. Assume that for each finished node,

y_{u} (t_{u}, j_{u})

is independent of

t_{u}

, while for each unfinished node, either the sequence-valued function

t_{u} \mapsto y_{u}

satisfies the integral equation

(7.7) y u ( t , n ) = y u ( 0 , n ) − i ω ∫ 0 t | y u ( s , n ) | 2 y u ( s , n ) d s + i ω ∑ j − k + l = n * ∫ 0 t y u ( s , j ) y ¯ u ( s , k ) y u ( s , l ) e i σ ( j , k , l , n ) s d s ,

or its complex conjugate satisfies this same equation.

The

C^{0} (ℓ^{1})

hypothesis guarantees that if we substitute the right-hand side of 7.7 for

y_{u} (t_{u}, j_{u})

in 7.6 for each unfinished node, then an absolutely convergent integral and sum are obtained. Thus we may interchange the outer integral with the sums. What results is a finite linear combination of expressions of the same character as 7.6 , each associated to a larger tree

T^{†} \supset T

. At most

3^{| T^{\infty} |}

such expressions are obtained, and each is multiplied by a unimodular numerical coefficient. Each non-terminal node of

T

is a non-terminal node of

T^{†}

, each finished node of

T^{\infty}

remains a terminal node of

T^{†}

, and each unfinished node of

T^{\infty}

becomes a non-terminal node of

T^{†}

, each of whose three children may independently be either finished or unfinished. An unfinished node

u

T

gives rise either to a simple node or a general node of

T^{†}

, depending on which of the two trilinear terms of 7.7 is substituted for

y_{u}

in 7.6 .

This discussion justifies the formal derivation of the expansion in § 2 . It follows by recursion that for any solution

u (t, x)

of the modified Cauchy problem NLS* in

C^{0} ([0, τ], H^{s})

for sufficiently large

s

, the associated coefficients

a_{n} (t) = e^{i n^{2} t} \hat{u} (t, n)

are given by the absolutely convergent infinite power series 5.1 , 5.2 for all sufficiently small

t

. □

8 Tree sum majorants

Definition 8.1. Let

T

be an ornamented tree. The tree sum majorant associated to

T

is the multilinear operator

\begin{matrix} S_{T} (y_{w})_{w \in T^{\infty}} (n) = \sum_{j \in J (T) : j_{v_{0}} = n} \prod_{u \in T^{0}} 〈 ρ_{u} (j) 〉^{- 1} \prod_{w \in T^{\infty}} y_{w} (j_{w}) . \end{matrix}

(8.1)

Here

t \geq 0

and

S_{T}

is initially defined when all

y_{w} \in ℓ^{1}

, in order to ensure absolute convergence of the sum.

Definition 8.2. Let

(T, T^{'})

be a weathered ornamented tree. The associated tree sum majorant is the multilinear operator

\begin{matrix} S_{(T, T^{'})} (y_{w})_{w \in T^{\infty}} (n) = \sum_{j \in J (T, T^{'}) : j_{v_{0}} = n} \prod_{u \in T^{0}} 〈 ρ_{u} (j) 〉^{- 1} \prod_{w \in T^{\infty}} y_{w} (j_{w}) . \end{matrix}

(8.2)

Thus

\begin{matrix} S_{T} = \sum_{T^{'} \subset T^{0}} S_{(T, T^{'})}, \end{matrix}

(8.3)

the sum being taken over all subsets

T^{'} \subset T^{0}

. The total number of such subsets is

2^{| T^{0} |} \leq 2^{| T |} \leq 2^{3 | T^{\infty} | / 2} = C^{| T^{\infty} |}

Let

(T, T^{'})

be a weathered ornamented tree. We seek an upper bound for the associated tree sum operator

S_{(T, T^{'})}

. The factors

〈 ρ_{v} 〉^{- 1}

in the definition of

S_{(T, T^{'})}

are favorable when

| ρ_{v} |

is large; frozen nodes are those for which

| ρ_{v} |

is relatively small, and hence these require special attention.

Denote by

Γ = (γ_{u})_{u \in T^{'}}

any element of

Z^{T^{'}}

. Let

\begin{matrix} J (T, T^{'}, Γ) = {j \in J (T, T^{'}) : ρ_{u} (j) = γ_{u} for all u \in T^{'}} . \end{matrix}

(8.4)

T^{'}

is the set of all frozen nodes, so by its definition we have

\begin{matrix} | γ_{u} | = | ρ_{u} (j) | \leq c_{0} | σ_{u} (j) |^{1 - δ} \forall u \in T^{'} \end{matrix}

(8.5)

with the shorthand notation

σ_{u} (j) = σ (j_{(u, 1)}, j_{(u, 2)}, j_{(u, 3)}, j_{u})

introduced earlier. In the remainder of the discussion, we always assume tacitly that

Γ

satisfies 8.5 .

This leads to a further decomposition

(8.6) S ( T , T ′ ) ( y v ) v ∈ T ∞ ( n ) = ∑ Γ ∑ j ∈ J ( T , T ′ , Γ ) : j v 0 = n ∏ u ∈ T 0 〈 ρ u ( j ) 〉 − 1 ∏ w ∈ T ∞ y w ( j w ) ≤ C | T | ∑ N ∏ v ∈ T ′ 2 − N v ∑ M ∏ u ∈ T 0 \ T ′ 2 − ( 1 − δ ) M u ∑ Γ ∑ j ∈ J ( T , T ′ , Γ ) : j v 0 = n ∏ w ∈ T ∞ y w ( j w )

where

N = (N_{v})_{v \in T^{'}}

and

M = (M_{u})_{u \in T^{0} \ T^{'}}

. The notation in the last line means that the first two sums are taken over all nonnegative integers

N_{v}, M_{u}

v

ranges over

T^{'}

and

u

over

T^{0} \ T^{'}

; the third sum is taken over all

Γ

such that

\begin{matrix} 〈 γ_{v} 〉 \in [2^{N_{v}}, 2^{1 + N_{v}}) for all v \in T^{'}; \end{matrix}

(8.7)

and the sum with respect to

j

is taken over all

j

satisfying the additional restrictions

\begin{matrix} | σ_{u} (j_{(u, 1)}, j_{(u, 2)}, j_{(u, 3)}, j_{u}) | \sim 2^{M_{u}} for all u \in T^{0} \ T^{'} \end{matrix}

(8.8)

\begin{matrix} ρ_{v} (j) = γ_{v} for all v \in T^{'} . \end{matrix}

(8.9)

\begin{matrix}  \end{matrix}

Thus there is an upper bound

2^{N_{v}} \leq C c_{0} | σ_{v} (j) |^{1 - δ}

for all

v \in T^{'}

For any

v \in T^{'}

and any parameter

γ_{v}

, for any

j \in J (T, T^{'}, Γ)

σ_{v} (j) = γ_{v} - \sum_{i = 1}^{3} ɛ_{v, i} ρ_{(v, i)}

where

ρ_{(v, i)} = ρ_{(v, i)} (j)

depends only on

{j_{w} - j_{(w, i)} : w < v, i \in {1, 2, 3}}

. Since the quantity

σ_{v}

on the left-hand side equals

2 (j_{v} - j_{(v, 1)}) (j_{v} - j_{(v, 3)})

, for any

{j_{w} - j_{(w, l)} : w < v, l \in {1, 2, 3}}

and any

γ_{v}

there are at most

C_{δ_{1}} | γ_{v} - \sum_{i = 1}^{3} ɛ_{v, i} ρ_{(v, i)} |^{δ_{1}}

ordered pairs

(j_{v} - j_{(v, 1)}, j_{v} - j_{(v, 3)})

satisfying 8.9 . Here

δ_{1}

is an arbitrarily small constant, to be chosen later.

For any frozen node

v \in T^{'}

| γ_{v} |

is small relative to

\sum_{i = 1}^{3} | ρ_{(v, i)} |^{1 - δ}

, provided that

c_{0}

is taken to be small in the definition of a frozen node. Therefore we can choose for each combination of parameters

N, M

a family

ℱ = ℱ_{N, M}

of vector-valued functions

F = (f_{v, i} : v \in T^{'}, i \in {1, 3})

of cardinality at most

C_{δ_{1}}^{| T |} \prod_{v \in T^{'}} 2^{{max}_{i} N_{(v, i)} δ_{1}}

such that for any

Γ

satisfying 8.7 and any

j \in J (T, T^{'}, Γ)

, there exists

F \in ℱ_{N, M}

such that for each

v \in T^{'}

and each

i \in {1, 3}

\begin{matrix} k_{v, i} = j_{v} - j_{(v, i)} = f_{v, i} (γ_{v}, (k_{w, i} : w < v)) . \end{matrix}

(8.10)

Thus for all nonnegative sequences

y_{w}

and all

n \in Z

\begin{matrix} | S_{(T, T^{'})} (y_{w})_{w \in T^{\infty}} (n) | \leq C^{| T |} \sum_{N, M} 2^{- | N |} 2^{- (1 - δ) | M |} \sum_{Γ} \sum_{F \in ℱ_{N, M}} | S_{T, T^{'}, N, M, Γ, F} (y_{w})_{w \in T^{\infty}} (n) | \end{matrix}

(8.11)

where

| N | = \sum_{v} N_{v}

| M | = \sum_{u} M_{u}

, and

\begin{matrix} S_{T, T^{'}, N, M, Γ, F} (y_{w})_{w \in T^{\infty}} (n) = \sum_{j \in J (T, T^{'}, Γ) : j_{v_{0}} = n} \prod_{w \in T^{\infty}} y_{w} (j_{w}) . \end{matrix}

(8.12)

In 8.11 , the second summation is taken over all

Γ = (γ_{u})_{u \in T^{'}}

satisfying both 8.7 and 8.5 . In 8.12 , the sum is taken over all

j \in J (T, T^{'}, Γ)

satisfying

j_{v_{0}} = n

, 8.8 , 8.9 , and the additional restriction 8.10 . We have finally arrived at our basic building blocks, the multilinear operators

S_{T, T^{'}, N, M, Γ, F}

Lemma 8.1. Let

p \in [1, \infty)

and

δ_{1} > 0

. Then for every exponent

q

satisfying

q \geq 1

and

q > p / | T^{\infty} |

, there exists

C < \infty

such that for every

T, T^{'}, N, M, Γ, F

and for every sequence

y_{v}

\begin{matrix} ∥ S_{T, T^{'}, N, M, Γ, F} (y_{v})_{v \in T^{\infty}} ∥_{ℓ^{q}} \leq C^{| T |} 2^{(1 + δ_{1}) | M |} \prod_{v \in T^{\infty}} ∥ y_{v} ∥_{ℓ^{p}} . \end{matrix}

(8.13)

Proof. As was shown in the proof of Lemma 7.1 , each quantity $j_{v}$ in the summation defining $S_{T, T^{'}, N, M, Γ, F} (y_{w})_{w \in T^{\infty}} (j_{v_{0}})$ can be expressed as a function, depending on $Γ, F$ , of $j_{v_{0}}$ together with all $k_{w, i} = j_{w} - j_{(w, i)}$ , where $w$ varies over the set $T^{0} \ T^{'}$ of all nodes that are neither frozen nor terminal, and $i$ varies over ${1, 3}$ . More precisely, $j_{v}$ equals $j_{v_{0}} + g_{v}$ , where $g_{v}$ is some function of all these $k_{w, i}$ .
$\prod_{v \in T^{\infty}} y_{v} (j_{v})$ can thus be rewritten as $\prod_{v \in T^{\infty}} y_{v} (j_{v_{0}} + g_{v})$ . If every $k_{w, i}$ is held fixed, then as a function of $j_{v_{0}}$ , this product belongs to $ℓ^{q}$ for $q = p / | T^{\infty} |$ with bound $\prod_{v \in T^{\infty}} ∥ y_{v} ∥_{ℓ^{p}}$ , by Hölder's inequality.
The total number of terms in the sum defining $S_{T, T^{'}, N, M, Γ, F}$ is the total possible number of vectors $(k_{w, i})$ where $w$ ranges over $T^{0} \ T^{'}$ and $i$ over ${1, 3}$ . The number of such pairs for a given $w$ is $\leq C_{δ_{1}} 2^{(1 + δ_{1}) M_{w}}$ , since $2 | k_{w, 1} k_{w, 3} | = | σ_{w} (j) | \leq 2^{M_{w} + 1}$ . Thus in all there are at most $C_{δ_{1}}^{| T |} 2^{(1 + δ_{1}) | M |}$ terms. Minkowski's inequality thus gives the stated bound. □

8.13 is a satisfactory bound, but it must be summed over all

F \in ℱ_{N, M}

. An upper bound for the number of such functions

F

is, roughly speaking,

C_{δ_{1}}^{| T^{'} |}

times the product over all

w \in T^{'}

{max}_{i} | ρ_{(w, i)} |^{δ_{1}}

. However, this does not quite make sense since

{max}_{i} | ρ_{(w, i)} |

is a function of

j

, which we wish to allow to vary while

F \in ℱ_{N, M}

remains fixed. Thus a correct upper bound is

\begin{matrix} | ℱ_{N, M} | \leq C_{δ_{1}}^{| T^{'} |} \prod_{v \in T^{'}} 2^{{max}_{i} K_{(v, i)} δ_{1}} \end{matrix}

(8.14)

where

K_{u} = N_{u}

for

u \in T^{'}

and

K_{u} = M_{u}

for

u \in T^{0} \ T^{'}

, and the maximum is taken over

i \in {1, 3}

A difficulty now appears. For each

v \in T^{'}

we have a compensating factor of

〈 γ_{w} (j) 〉^{- 1} \sim 2^{- N_{v}}

, but there is no upper bound whatsoever for the ratio

{max}_{i} | ρ_{(v, i)} |^{δ_{1}} / 〈 γ_{v} 〉

. Thus the factor gained for a given

v \in T^{'}

cannot compensate for the factor lost for that same node.

However in aggregate the factors gained compensate for those lost, as will now be shown.

Lemma 8.2. For any

ɛ > 0

there exists

C_{ɛ} < \infty

such that uniformly for all

T, T^{'}, N, M

\begin{matrix} | ℱ_{N, M} | \leq C_{ɛ}^{| T |} 2^{ɛ | M |} . \end{matrix}

(8.15)

Proof. If the constant

c_{0}

in the definition 3.7 of a frozen node is chosen to be sufficiently small, then any frozen node

u

has a child

(u, i)

such that

| ρ_{u} | \leq \frac{1}{2} | ρ_{(u, i)} |^{1 - δ}

. Consider any chain

v = u_{h} \geq u_{h - 1} \geq \dots \geq u_{1}

of nodes such that

u_{k + 1}

is the parent of

u_{k}

for each

1 \leq k < h

(

u_{k}

is called the

(k - 1)

-th generation ancestor of

u_{1}

u_{k}

is frozen for all

k > 1

u_{1}

is either not frozen or is terminal, and

| ρ_{u_{k}} | \leq \frac{1}{2} | ρ_{u_{k - 1}} |^{1 - δ}

. Then

| ρ_{u_{k}} | \leq 2^{1 - k} | ρ_{u_{1}} |^{(1 - δ)^{k - 1}}

; hence

2^{K_{u_{k}}} \leq C 2^{M_{u_{1}} (1 - δ)^{k - 1}}

u_{1}

is terminal then

ρ_{u_{1}} = 0

by definition, whence the inequality

| ρ_{u_{k}} | \leq 2^{1 - k} | ρ_{u_{1}} |^{(1 - δ)^{k - 1}}

forces

ρ_{u_{k}} = 0

for all

u_{k}

, as well. This means that

2^{{max}_{i} K_{(u_{k}, i)}} \sim 1

. In particular, this holds for

u_{k} = v

, so the factor

2^{{max}_{i} K_{(v, i)}}

will be harmless in our estimates. We say that a node

v

is negligible if there exists such a chain, with

v = u_{h}

for some

h \geq 1

For each nonnegligible frozen node

v

, choose one such chain with

u_{h} = v

, thus uniquely specifying

h

and

u_{1}

as functions of

v

; we then write

u_{1} = D (v)

. Given

u_{1}

and

h

, there can be at most one

v

such that

u_{1} = D (v)

and

v

is the

h

-th generation ancestor of

u_{1}

, simply because any node has at most one

h

-th generation ancestor. Now taking the product only over nonnegligible nodes

v \in T^{'}

on the left-hand side,

\begin{matrix} \prod_{v \in T^{'}} 2^{{max}_{i} K_{(v, i)} δ_{1}} \leq {\prod_{w \in T^{0} \ T^{'}}}^{\infty} \prod_{h = 1} 2^{(1 - δ)^{h - 1} δ_{1} M_{w}} = \prod_{w \in T^{0} \ T^{'}} 2^{M_{w} δ_{1} / δ}, \end{matrix}

(8.16)

since³ each factor

2^{{max}_{i} K_{(v, i)} δ_{1}}

in the first product is majorized by

2^{(1 - δ)^{h - 1} δ_{1} M_{w}}

in the second product, where

w = D (v)

and

v

is the

h

-th generation ancestor of

w

. This is not so for negligible nodes, but they contribute at most

C^{| T |}

to the left-hand side so the conclusion remains valid for the full product. Thus by choosing

δ_{1}

so that

δ_{1} / δ = ɛ

, since

| ℱ_{N, M} | \leq C_{δ_{1}}^{| T |} \prod_{v \in T^{'}} 2^{{max}_{i} K_{(v, i)} δ_{1}}

, we obtain

| ℱ_{N, M} | \leq C_{ɛ}^{| T |} \prod_{w \in T^{0} \ T^{'}} 2^{ɛ M_{w}} = C_{ɛ}^{| T |} 2^{ɛ | M |}

. □

Conclusion of proof of Proposition 5.3 . Combining the preceding two lemmas gives

\begin{matrix} \sum_{F \in ℱ_{N, M}} ∥ S_{T, T^{'}, N, M, Γ, F} (y_{v})_{v \in T^{\infty}} ∥_{ℓ^{q}} \leq C_{ɛ}^{| T |} 2^{(1 + ɛ) | M |} \prod_{v \in T^{\infty}} ∥ y_{v} ∥_{ℓ^{p}} \end{matrix}

(8.17)

for arbitrarily small

ɛ > 0

, provided

q \geq max (1, \frac{p}{| T^{\infty} |})

. Since

| Γ | \leq C^{| T |} 2^{| N |}

, it follows that

\begin{matrix} \sum_{Γ} \sum_{F \in ℱ_{N, M}} ∥ S_{T, T^{'}, N, M, Γ, F} (y_{v})_{v \in T^{\infty}} ∥_{ℓ^{q}} \leq C_{ɛ}^{| T |} 2^{| N |} 2^{(1 + ɛ) | M |} \prod_{v \in T^{\infty}} ∥ y_{v} ∥_{ℓ^{p}} . \end{matrix}

(8.18)

On the other hand, Lemma 7.1 gives a uniform

ℓ^{1}

norm bound of

C^{| T |} \prod_{v \in T^{\infty}} ∥ y_{v} ∥_{ℓ^{1}}

for the summation over all

j

. Thus if

q > \frac{p}{| T^{\infty} |}

and

q \geq 1

we may interpolate to find that there exists

η > 0

depending on

q - \frac{p}{| T^{\infty} |}

but not on

δ

such that

\begin{matrix} \sum_{Γ} \sum_{F \in ℱ_{N, M}} ∥ S_{T, T^{'}, N, M, Γ, F} (y_{v})_{v \in T^{\infty}} ∥_{ℓ^{q}} \leq C_{η}^{| T |} 2^{(1 - η) | N | + (1 - η) | M |} \prod_{v \in T^{\infty}} ∥ y_{v} ∥_{ℓ^{p}} . \end{matrix}

(8.19)

Taking into account the factors

2^{- | N |} 2^{- (1 - δ) | M |}

in 8.11 , summing over

N, M

as well as over all subsets

T^{'} \subset T^{0}

yields a convergent series and completes the proof of Proposition 5.3 . □

9 Loose ends

We may reinterpret the sum of our power series 5.1 , 5.2 as a function via the relation

\hat{u} (t, n) = e^{i n^{2} t} a_{n} (t)

with

a (0)

defined by

\hat{u_{0}} (n) = a_{n} (0)

, and will do so consistently without further comment, abusing notation mildly by writing

u (t, x) = S (t) u_{0} (x)

Lemma 9.1. Let

p \in [1, \infty)

. For any

R > 0

there exists

τ > 0

such that for any

u_{0} \in ℋ^{p}

with norm

\leq R

, the element

u (t, x) \in C^{0} ([0, τ], ℋ^{p})

defined by 5.1 , 5.2 is a limit, in

C^{0} ([0, τ], ℋ^{p})

norm, of smooth solutions of NLS* .

Proof. All of our estimates apply also in the spaces $ℋ^{s, p}$ defined by the condition that $(〈 n 〉^{s} \hat{f} (n))_{n \in Z} \in ℓ^{p}$ , provided that $1 \leq p < \infty$ and $s > 0$ . This follows from the proof given for $s = 0$ above, for the effect of working in $ℋ^{s, p}$ is to introduce a factor of $\prod_{v \in T^{0}} \frac{〈 j_{v} 〉^{s}}{\prod_{i = 1}^{3} 〈 j_{(v, i)} 〉^{s}}$ in the definition of the tree operator. The relation 3.4 ensures that ${max}_{i} | j_{(v, i)} | \geq \frac{1}{3} | j_{v} |$ , whence $\frac{〈 j_{v} 〉^{s}}{\prod_{i = 1}^{3} 〈 j_{(v, i)} 〉^{s}} ≲ 1$ , so the estimates for $s = 0$ apply directly to all $s > 0$ . More generally, if $ℋ^{s, p}$ is equipped with the norm $∥ f ∥_{ℋ_{ɛ}^{s, p}} = ∥ (1 + | ɛ \cdot |^{2 s})^{1 / 2} \hat{f} (\cdot) ∥_{ℓ^{p}}$ then all estimates hold uniformly in $ɛ \in [0, 1]$ and $s \geq 0$ .
Given $s$ and any initial datum $u_{0}$ satisfying $∥ u_{0} ∥_{ℋ^{p}} \leq R$ with the additional property that $\hat{u_{0}} (n) = 0$ for all $| n | > N$ , we may choose $ɛ > 0$ so that $∥ u_{0} ∥_{ℋ_{ɛ}^{s, p}} \leq 2 R$ ; $ɛ$ depends on $N$ but not on $R$ . Thus the infinite series converges absolutely and uniformly in $C^{0} ([0, τ], H^{s - \frac{1}{2} + \frac{1}{p}})$ if $p \geq 2$ and in $C^{0} ([0, τ], H^{s})$ if $p \leq 2$ , where $τ$ depends only on $R$ , not on $s$ . By Lemma 5.2 , the series sums to a solution of NLS* in the sense 2.7 ; but since the sum is very smooth as a function of $x$ (that is, its Fourier coefficients decay rapidly) this implies that it is a solution in the classical sense. Given an arbitrary $u_{0}$ satisfying $∥ u_{0} ∥_{ℋ^{p}} \leq R$ , we can thus approximate it by such special initial data to conclude that $S (t) u_{0}$ is indeed a limit, in $C^{0} ([0, τ], ℋ^{p})$ , of smooth solutions. □

Proof of Proposition 1.4 . Let

u_{0} \in ℋ^{p}

be given, let

u (t, x) = S (t) (u_{0}) \in C^{0} ([0, τ], ℋ^{p})

. We aim to prove that the nonlinear term

ω | u |^{2} u

has an intrinsic meaning as

{lim}_{N \to \infty} ω | T_{N} u |^{2} T_{N} u

in the sense of distributions in

(0, τ) \times T

. Forming

T_{N} S (t) (u_{0})

is of course not the same thing as forming

S (t) (T_{N} u_{0})

Define

a_{n} (t) = e^{i n^{2} t} \hat{u} (t, n)

. Denote also by

T_{N}

the operator that maps a sequence-valued function

(b_{n} (t))

(T_{N} b_{n} (t))

where

T_{N} b_{n} = b_{n}

| n | \leq N

, and

= 0

otherwise. It suffices to prove that

\begin{matrix} \int_{0}^{t} \sum_{j - k + l = n}^{*} T_{N} a_{j} (s) \bar{T_{N} a_{k} (s)} T_{N} a_{l} (s) e^{i σ (j, k, l, n) s} d s - \int_{0}^{t} | T_{N} a_{n} (s) |^{2} T_{N} a_{n} (s) d s \end{matrix}

(9.1)

converges in

ℓ^{p}

norm as

N \to \infty

, uniformly for all

t \in [0, τ]

, to

\sum_{j - k + l = n}^{*} \int_{0}^{t} a_{j} (s) \bar{a_{k} (s)} a_{l} (s) e^{i σ (j, k, l, n) s} d s - \int_{0}^{t} | a_{n} (s) |^{2} a_{n} (s) d s .

Convergence in the distribution sense follows easily from this by expressing any sufficiently smooth function of the time

t

as a superposition of characteristic functions of intervals

[0, t]

Now in the term

\int_{0}^{t} \sum_{j - k + l = n}^{*} T_{N} a_{j} (s) \bar{T_{N} a_{k} (s)} T_{N} a_{l} (s) e^{i σ (j, k, l, n) s} d s

, the integral may be interchanged with the sum since the truncation operators restrict the summation to finitely many terms. Expanding

a_{j}, a_{k}, a_{l}

out as infinite series of tree operators applied to

a (0)

, we obtain finally an infinite series of the general form

\sum_{k = 1}^{\infty} B_{k} (t) (a (0), \dots, a (0))

where

B_{k} (t)

is a finite linear combination of

O (C^{k})

tree sum operators, with coefficients

O (C^{k})

, applied to

a (0)

just as before, with the sole change that the extra restriction

| j_{(v_{0}, i)} | \leq N

for

i \in {1, 2, 3}

for indices corresponding to children of the root node is placed on

j

in the summation defining

S_{T}

for each tree

T

Since we have shown that all bounds hold for the sums of the absolute values of the terms in the tree sum, it follows immediately that this trilinear term converges as

N \to \infty

Convergence for the other nonlinear term is of course trivial. Likewise it is trivial that

(T_{N} u)_{t} \to u_{t}

and

(T_{N} u)_{x x} \to u_{x x}

, by linearity. □

This reasoning shows that the limit of each term equals the sum of a convergent power series, taking values in

C^{0} ([0, τ], ℋ^{p})

, in

u_{0}

Given

R > 0

, there exists

τ > 0

for which we have shown that for any

a (0) \in ℓ^{p}

satisfying

∥ a (0) ∥_{ℋ^{p}} \leq R

, our power series expansion defines

a (t) \in C^{0} ([0, τ], ℓ^{p})

, as an

ℓ^{p}

-valued analytic function of

a (0)

. Moreover for any

t \in [0, τ]

, both cubic terms in the integral equation 2.6 are well-defined as limits obtained by replacing

a (s)

T_{N} a (s)

, evaluating the resulting cubic expressions, and passing to the limit

N \to \infty

Lemma 9.2. Whenever

∥ a (0) ∥_{ℓ^{p}} \leq R

, the function

a (t) \in C^{0} ([0, τ], ℓ^{p})

defined as the sum of the power series expansion 5.1 satisfies the integral equation 2.7 when the nonlinear terms in 2.6 are defined by the limiting procedure described in the preceding paragraph.

Proof. This follows by combining Lemma 5.2 with the result just proved. □

Proof of Proposition 1.3 . Let $u_{0} \in ℋ^{p}$ . If $u = S u_{0}$ , and if $v$ is the solution of the Cauchy problem NLS* for the modified linear Schrödinger equation with initial datum $u_{0}$ , then $u_{0} - v$ is expressed as $\sum_{k = 1}^{\infty} B_{k} (t) (u_{0}, \dots, u_{0})$ where the $n$ -th Fourier coefficient of $B_{k} (t) (u_{0}, \dots) (t)$ equals $e^{- i n^{2} t} A_{k} (t) (a (0), \dots)$ with $a_{n} (0) = \hat{u_{0}} (n)$ . According to Proposition 5.3 , $∥ A_{k} (t) (a (0), \dots) ∥_{ℓ^{q}} = O (t^{k ɛ} ∥ a (0) ∥_{ℓ^{p}}^{k})$ whenever $q > \frac{p}{3}$ and $q \geq 1$ . Summing over $k$ yields the conclusion. □

References

H. A. Biagioni, A nonlinear theory of generalized functions, Second edition. Lecture Notes in Mathematics, 1421. Springer-Verlag, Berlin, 1990.
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.
N. Burq, P. Gérard, 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.
M. Christ, Nonuniqueness of weak solutions of the nonlinear Schrödinger equation, preprint February 2005.
M. Christ, J. Colliander, and T. Tao, Instability of the periodic nonlinear Schrödinger equation, preprint, math.AP/0311227.
J.-F. Colombeau, Multiplication of distributions. A tool in mathematics, numerical engineering and theoretical physics, Lecture Notes in Mathematics, 1532. Springer-Verlag, Berlin, 1992.
A. Grünrock, abstract in Mathematisches Forschungsinstitut Oberwohlfach report 50/2004.
, An improved local wellposedness result for the modified KdV equation, IMRN 2004, no. 61, 3287-3308.
T. Kappeler and P. Topalov, Global Well-Posedness of KdV in $H^{- 1} (T, R)$ , preprint.
, Global Well-Posedness of mKDV in $L^{2} (T, R)$ , preprint.
Y. Tsutsumi, $L^{2}$ -solutions for nonlinear Schrödinger equations and nonlinear groups, Funkcial. Ekvac. 30 (1987), no. 1, 115–125.

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