ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY SERGIU KLAINERMAN AND MATEI MACHEDON Abstract. The purpose of this note is to give a new proof of uniqueness of the Gross- Pitaevskii hierarchy, first established in [], in a different space, based on space-time estimates similar in spirit to those of [].. Introduction The Gross-Pitaevskii hierarchy refers to a sequence of functions γ (k) (t, x k, x k ), k =,,, where t R, x k = (x, x,, x k ) R 3k, x k = (x, x,, x k ) R 3k which are symmetric, in the sense that and γ (k) (t, x k, x k) = γ (k) (t, x k, x k) γ (k) (t, x σ(), x σ(k), x σ(), x σ(k)) = γ (k) (t, x, x k, x, x k) () for any permutation σ, and satisfy the Gross-Pitaevskii infinite linear hierarchy of equations, ( ) i t + xk x k γ (k) = with prescribed initial conditions k B j, k+ (γ (k+) ). () j= γ (k) (, x k, x k) = γ (k) (x k, x k). Here xk, x k refer to the standard Laplace operators with respect to the variables x k, x k R3k and the operators B j, k+ = B j, k+ B j, k+ The first author is supported by the NSF grant DMS-686.
SERGIU KLAINERMAN AND MATEI MACHEDON are defined according to, Bj, k+(γ (k+) )(t, x k, x k) = δ(x j x k+ )δ(x j x k+)γ (k+) (t, x k+, x k+) dx k+ dx k+ Bj, k+(γ (k+) )(t, x k, x k) = δ(x j x k+ )δ(x j x k+)γ (k+) (t, x k+, x k+) dx k+ dx k+. In other words Bj, k+, resp. B j, k+, acts on γ(k+) (t, x k+, x k+ ) replacing both variables x k+ and x k+ by x j, resp x j. We shall also make use of the operators, B k+ = j k B j, k+ One can easily verify that a particular solution to () is given by, γ (k) (t, x k, x k) = k φ(t, x j )φ(t, x j) (3) j= where each φ satisfies the non-linear Schrödinger equation in 3+ dimensions (i t + ) φ = φ φ, φ(, x) = φ(x) (4) In [] L. Erdös, B. Schlein and H-T Yau provide a rigorous derivation of the cubic non-linear Schrödinger equation (4) from the quantum dynamics of many body systems. An important step in their program is to prove uniqueness to solutions of () corresponding to the special initial conditions γ (k) (, x k, x k) = γ (k) (x k, x k) = k φ(x j )φ(x j) (5) with φ H (R 3 ). To state precisely the uniqueness result of [], denote S j = ( xj ) /, S j = ( x j ) / and S (k) = k j= S j k j= S j. If the operator given by the integral kernel γ (k) (x k, x k ) is positive (as an operator), then so is S (k) γ (k) (x k, x k ), and the trace norm of S(k) γ (k) is (S γ (k) Hk = (k) γ (k) (x k, x k) ) x dx k =x k. k j=
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY3 The authors of [] prove uniqueness of solutions to () in the set of symmetric, positive operators γ k satisfying, for some C >, sup γ (k) (t,, ) Hk C k (6) t T In that work, the equations () are obtained as a limit of the BBGKY hierarchy (see []), and it is proved that solutions to BBGKY with initial conditions (5) converge, in a weak sense, to a solution of () in the space (6). The purpose of this note is to give a new proof of uniqueness of the Gross- Pitaevskii hierarchy (), in a different space, motivated, in part, by space-time type estimates, similar in spirit to those of []. Our norms will be R (k) γ (k) (t,, ) L (R 3k R 3k ) (7) Here, R j = ( xj ) /, R j = ( x j ) / and R (k) = k j= R j k j= R j. Notice that for a symmetric, smooth kernel γ, for which the associated linear operator is positive we have R (k) γ (k) (t,, ) L (R 3k R 3k ) S (k) γ (k) (t,, ) L (R 3k R 3k ) γ (k) (t,, ) Hk since S (k) γ (k) (x, x ) S (k) γ (k) (x, x)s (k) γ (k) (x, x ). This is similar to the condition a ii a jj a ij which is satisfied by all n n positive semi-definite Hermitian matrices. Our main result is the following: Theorem. (Main Theorem). Consider solutions γ (k) (t, x k, x k ) of the Gross-Pitaevskii hierarchy (), with zero initial conditions, which verify the estimates, T R (k) B j,k+ γ (k+) (t,, ) L (R 3k R 3k ) dt C k (8) for some C > and all j < k. Then R (k) γ (k) (t,, ) L (R 3k R 3k ) = for all k and all t.
4 SERGIU KLAINERMAN AND MATEI MACHEDON Therefore, solutions to () verifying the initial conditions (5), are unique in the space-time norm (8). We plan to address the connection with solutions of BBGKY in a future paper. The following remark is however reassuring. Remark.. The sequence γ (k), given by (3) with φ an arbitrary solution of (4) with H data, verifies (8) for every T > sufficiently small. Moreover, if the H norm of the initial data is sufficiently small then (8) is verified for all values of T >. Proof. Observe that R (k) B,k+ γ (k+) (t, x,..., x k ; x..., x k ) can be written in the form, R (k) B,k+ γ (k+) (t,, ) = R ( φ(t, x ) φ(t, x ) ) R (φ(t, x ) R k (φ(t, x k ) R (φ(t, x ) R k(φ(t, x k) Therefore, in [, T ] R 3k R 3k we derive R (k) B j,k+ γ (k+) L t L R ( φ φ) L t L x R φ L t L x R kφ L t L x R φ L t L x R φ L t L x R kφ L t L x C ( φ φ) L t L φ k x L t L x where the norm on the left is in [, T ] R 3k R 3k and all norms on the right hand side are taken relative to the space-time domain [, T ] R 3. In view of the standard energy identity for the nonlinear equation (4) we have apriori bounds for sup t [,T ] φ(t) L (R 3 ). Therefore we only need to provide a uniform bound for the norm ( φ φ) L t L. We x shall show below that this is possible for all values of T > provided that the H norm of φ() is sufficiently small. The case of arbitrary size for φ() H and sufficiently small T is easier and can be proved in a similar manner. We shall rely on the following Strichartz estimate (see [3]) for the linear, inhomogeneous, Schrödinger equation i t φ + φ = f in [, T ] R 3, φ L t L C ( f 6 x L t L + φ ) x L (9) t L x We start by using Hölder inequality, in [, T ] R 3, ( φ φ) L t L x C φ L t L 6 x φ L t L 3 x C φ L t L6 x φ L 4 t L6 x
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY5 Using (9) for f = φ φ we derive, φ L t L C ( ( φ φ) 6 x L t L + φ ) x L t L x Denoting, we derive, A(T ) = φ φ L t L x([,t ] R 3 ) B(T ) = ( φ φ) L t L x ([,T ] R3 ) B(T ) C ( B(T ) + φ() L ) φ L 4 t L6 x C ( B(T ) + φ() L ) φ L φ t L6 x L t L6 x C ( A(T ) + φ() L )( B(T ) + φ() L ) φ() L x On the other hand, using (9) again, A(T ) C ( φ 3 L t L + φ() ) x L ) C(A(T ) 3 + φ() L Observe this last inequality implies that, for sufficiently small φ() L, A(T ) remains uniformly bounded for all values of T. Thus, for all values of T, with another value of C, B(T ) C ( B(T ) + φ() L ) φ() L x from which we get a uniform bound for B(T ) provided that φ() L is also sufficiently small. The proof of Theorem (.) is based on two ingredients. One is expressing γ (k) in terms of the future iterates γ (k+), γ (k+n) using Duhamel s formula. Since B (k+) = k j= B j, k+ is a sum of k terms, the iterated Duhamel s formula involves k(k + ) (k + n ) terms. These have to be grouped into much fewer O(C n ) sets of terms. This part of our paper follows in the spirit of the Feynman path combinatorial arguments of []. The second ingredient is the main novelty of our work. We derive a space-time estimate, reminiscent of the bilinear estimates of [].
6 SERGIU KLAINERMAN AND MATEI MACHEDON Theorem.3. Let γ (k+) (t, x k+, x k+ ) verify the homogeneous equation, ( ) i t + k+ γ (k+) =, (k+) = xk+ x k+ () γ (k+) (, x k+, x k+) = γ (k+) (x k+, x k+). Then there exists a constant C, independent of j, k, such that R (k) B j,k+ (γ (k+) ) L (R R 3k R 3k ) () C R (k+) γ (k+) L (R 3(k+) R 3(k+) ). Proof of the estimate Without loss of generality, we may take j = in B j,k+. It also suffices to estimate the term in Bj,k+, the term in B j,k+ can be treated in the same manner. Let γ (k+) be as in (). Then the Fourier transform of γ (k+) with respect to the variables (t, x k, x k ) is given by the formula, δ(τ + ξ k ξ k )ˆγ(ξ, ξ ) where τ corresponds to the time t and ξ k = (ξ, ξ,..., ξ k ), ξ k = (ξ, ξ,..., ξ k ) correspond to the space variables x k = (x, x,..., x k ) and x k = (x, x,..., x k ). We also write ξ k+ = (ξ k, ξ k+), ξ k+ = (ξ k, ξ k+ ) and, ξ k+ = ξ +... + ξ k + ξ k+ = ξ k + ξ k+ ξ k+ = ξ +... + ξ k + ξ k+ The Fourier transform of B,k+ (γ(k+) ), with respect to the same variables (t, x k, x k ), is given by, δ( )ˆγ(ξ ξ k+ ξ k+, ξ,, ξ k+, ξ )dξ k+ k+ dξ k+ () where, δ( ) = δ(τ + ξ ξ k+ ξ k+ + ξ k+ ξ ξ k+ ) and γ denotes the initial condition γ (k+). By Plancherel s theorem, estimate () is equivalent to the following estimate, I k [f] L (R R k R k ) C ˆf L (R k+ R k+ ), (3)
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY7 applied to f = R (k+) γ, where, I k [f](τ, ξ k, ξ k ) = δ(...) ξ ˆf(ξ ξ k+ ξ k+, ξ,, ξ k+, ξ k+ ) ξ ξ k+ ξ k+ ξ k+ ξ k+ dξ k+ dξ k+. Applying the Cauchy-Schwarz inequality with measures, we easily check that, I k [f] ξ δ(...) ξ ξ k+ ξ k+ ξ k+ ξ dξ k+ k+ dξ k+ δ(...) ˆf(ξ ξ k+ ξ k+, ξ,, ξ k+, ξ k+ ) dξ k+ dξ k+ If we can show that the supremum over τ, ξ ξ k, ξ ξ k of the first integral above is bounded by a constant C, we infer that, I k [f] L C δ(...) ˆf(ξ ξ k+ ξ k+, ξ,, ξ k+, ξ k+ ) dξ k+ dξ dτ k+ Thus, C ˆf L (R k+ R k+ ) I k [f] L (R R k R k ) C ˆf L (R k+ R k+ ) as desired. Thus we have reduced matters to the following, Proposition.. There exists a constant C such that δ(τ + ξ ξ k+ ξ k+ + ξ k+ ξ k+ ) uniformly in τ, ξ. ξ ξ ξ k+ ξ k+ ξ k+ ξ k+ dξ k+dξ k+ C The proof is based on the following lemmas Lemma.. Let P be a dimensional plane or sphere in R 3 with the usual induced surface measure ds. Let < a <, < b <, a+b >. Let ξ R 3. Then there exists C independent of ξ and P such that P ξ η a η b ds(η) C ξ a+b
8 SERGIU KLAINERMAN AND MATEI MACHEDON Proof. If P = R and ξ R this is well known. The same proof works in our case, by breaking up the integral I I + I + I 3 over the overlapping regions: Region : ξ < η < ξ. In this region ξ η < 3 ξ and I C ξ b ξ η ds(η) a C ξ b C ξ b P { ξ η <3 ξ } i= i= P {3 i ξ < ξ η <3 i ξ } 3 i ξ a (3i ξ ) = C ξ a+b ξ η a ds(η) where we have used the obvious fact that the area of P {3 i ξ < ξ η < 3 i ξ } is C(3 i ξ ). Region : ξ < ξ η < ξ. In this region η < 3 ξ and in complete analogy with region. I C ξ a P { η <3 ξ } η ds(η) b C (4) ξ a+b Region 3: η > ξ or ξ η > ξ. In this region, η > ξ and ξ η ξ η + ξ η, thus I 3 C ds(η) P { η > ξ } η a+b C ds(η) i= P { i ξ < η < i ξ } η a+b C i ξ a+b (i ξ ) C = ξ a+b i= (5) We also have
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY9 Lemma.3. Let P, ξ as in Lemma (.) and let ɛ =. Then P ξ η ɛ ξ η η ɛ ds(η) C ξ 3 ɛ Proof. Consider separately the regions η > ξ ξ, and ξ η >, and apply the previous lemma. We are ready to prove the main estimate of Proposition (.) Proof. Changing k + to, we have to show I = δ(τ + ξ ξ ξ + ξ ξ ξ ) ξ ξ ξ ξ ξ dξ dξ C The integral is symmetric in ξ ξ ξ and ξ so we can integrate, without loss of generality, over ξ ξ ξ > ξ. Case. Consider the integral I restricted to the region ξ > ξ and integrate ξ first. Notice δ(τ + ξ ξ ξ + ξ ξ )dξ = δ(τ + ξ ξ (ξ ξ ) ξ + ξ )dξ = ds(ξ ) ξ ξ (6) where ds is surface measure on a plane P in R 3, i.e. the plane ξ ω = λ with ω S and λ = τ+ ξ ξ + ξ ξ ξ. In this region
SERGIU KLAINERMAN AND MATEI MACHEDON I ξ ξ dξ R ξ 3 ξ ξ P dξ R ξ 3 +ɛ ξ ξ ds(ξ ) ξ ξ ξ ξ ds(ξ ) ξ ξ ξ ɛ ξ ɛ P C ξ dξ R ξ 3 +ɛ ξ ξ 3 ɛ C (7) Case. Consider the integral I restricted to the region ξ < ξ and integrate ξ first. Notice δ(τ + ξ ξ ξ + ξ ξ )dξ ( = δ τ + ξ ξ (ξ ξ ξ = δ (τ + ξ ξ ds(ξ ) = 4 ξ ξ ξ ) + (ξ ξ ξ ) + ξ ) ξ ξ dξ + ξ ξ ) ξ ξ dξ (8) where ds is surface measure on a sphere P, i.e. the sphere in ξ centered at (ξ ( ξ ) and radius ξ τ ξ ) ξ. Thus I ξ ξ ξ dξ R ξ 3 P dξ R ξ 3 +ɛ ds(ξ ) ξ ξ ξ ξ ξ ξ ξ ds(ξ ) P dξ R ξ 3 +ɛ ξ ξ C 3 ɛ ξ ɛ ξ ξ ξ ξ ξ ξ ɛ
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY 3. Duhamel expansions and regrouping This part of our note is based on a somewhat shorter version of the combinatorial ideas of []. We are grateful to Schlein and Yau for explaining their arguments to us. Recalling the notation (k) = xk x k and,xj = xj x j we write, γ () (t, ) = = t t t e i(t t ) () B (γ (t )) dt = = t e i(t t ) () B e i(t t 3 ) () (γ 3 (t 3 )) dt dt 3 tn where, t n+ = (t,..., t n+ ) and J(t n+ ) dt dt n+ (9) J(t n+ ) = e i(t t ) () B e i(tn t n+) (n) Bn+ (γ (n+) )(t n+, ) Expressing B (k+) = k j= B j, k+,, the integrand J(t n+ ) = J(t,..., t n+ ) in (9) can be written as where, J(t n+ ) = µ M J(t n+ ; µ) () J(t n+ ; µ) = e i(t t ) () B, e i(t t 3 ) () Bµ(3),3 e i(tn t n+) (n) Bµ(n+),n+ (γ (n+) )(t n+, ) Here we have denoted by M the set of maps µ : {,, n + } {, n} satisfying µ() = and µ(j) < j for all j. Graphically, such a µ can be represented by selecting one B entry from each column of an n n matrix such as, for example, (if µ() =, µ(3) =, µ(4) =, etc), B, B,3 B,4 B,n+ B,3 B,4 B,n+ B 3,4 B 3,n+ B n,n+ ()
SERGIU KLAINERMAN AND MATEI MACHEDON To such a matrix one can associate a Feynman graph whose nodes are the selected entries, as in []. However, our exposition will be selfcontained and will not rely explicitly on the Feynman graphs. We will consider I(µ, σ) = J(t n+ ; µ)dt dt n+ () t t σ() t σ(3) t σ(n+) where σ is a permutation of {,, n + }. The integral I(µ, σ) is represented by (µ, σ), or, graphically, by the matrix t σ () t σ (3) t σ (4) t σ (n+) B, B,3 B,4 B,n+ row B,3 B,4 B,n+ row B 3,4 B 3,n+ row 3 B n,n+ row n column column 3 column 4 column n+ (3) Notice the columns of this matrix are labelled to n +, while the rows are labelled through n. We will define a set of acceptable moves on the set of such matrices. Imagine a board game where the names B i,j are carved in, and one entry B µ(j),j, µ(j) < j, in each column is highlighted. If µ(j + ) < µ(j), the player is allowed to exchange the highlighted entries in columns j and j + and, at the same time, exchange the highlighted entries in rows j and j +. This changes µ to a new µ = (j, j + ) µ (j, j + ). Here (j, j + ) denotes the permutation which reverses j and j +. The rule for changing σ is σ = σ (j, j + ). In other words, σ changes according to column exchanges. Thus going from t t 5 t 4 t 3 B, B,3 B,4 B,5 B,3 B,4 B,5 B 3,4 B 3,5 B 4,5 (4) to
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY 3 t t 4 t 5 t 3 B, B,3 B,4 B,5 B,3 B,4 B,5 B 3,4 B 3,5 B 4,5 (5) is an acceptable move. In the language of [] the partial order of the graphs is preserved by an acceptable move. The relevance of this game to our situation is explained by the following, Lemma 3.. Let (µ, σ) be transformed into (µ, σ ) by an acceptable move. Then, for the corresponding integrals (), I(µ, σ) = I(µ, σ ) Proof. We will first explain the strategy of the proof by focusing on an explicit example. Consider the integrals I corresponding to (4) and I corresponding to (5): I = I = e i(t () t ) B, e i(t t 3 ) () B,3 (6) t t t 5 t 4 t 3 e i(t 3 t 4 ) (3) B,4 e i(t 4 t 5 ) (4) B4,5 (γ (5) (t 5, )dt dt 5 t t t 5 t 3 t 4 e i(t t ) () B, e i(t t 3 ) () B,3 (7) e i(t 3 t 4 ) (3) B,4 e i(t 4 t 5 ) (4) B3,5 (γ (5) (t 5, )dt dt 5 We first observe the identity, e i(t t 3 ) () B,3 e i(t 3 t 4 ) (3) B,4 e i(t 4 t 5 ) (4) = e i(t t 4 ) () B,4 e i(t 3 t 4 )( (3),x 3 +,x4 ) B,3 e i(t 3 t 5 ) (4) In other words, (t 3, x 3, x 3) and (t 4, x 4, x 4) and the position of B,3 and B,4 have been exchanged. This is based on trivial commutations, and is proved below in general, see(37). Recalling the definition (3) we abbreviate the integral kernel of B j,k+, δ j,k+ = δ(x j x k+ )δ(x j x k+) δ(x j x k+ )δ(x j x k+).
4 SERGIU KLAINERMAN AND MATEI MACHEDON We also denote, γ 3,4 = γ (5) (t 5, x, x, x 3, x 4, x 5 ; x, x, x 3, x 4, x 5) γ 4,3 = γ (5) (t 5, x, x, x 4, x 3, x 5 ; x, x, x 4, x 3, x 5). By the symmetry assumption (), γ 3,4 = γ 4,3. Thus the integral I of (6) equals I = t t t 5 t 4 t 3 e i(t () t ) δ, (8) R 4 e i(t t 4 ) () δ,4 e i(t 3 t 4 )( (3),x 3 +,x4 ) δ,3 e i(t 3 t 5 ) (4) δ 4,5 γ 4,3 dt dt 5 dx dx 5 dx dx 5 In the above integral we perform the change of variables which exchanges (t 3, x 3, x 3) with (t 4, x 4, x 4). Thus, in particular, x3 becomes x4, and (3) = () +,x3 becomes () +,x4. Thus, (3),x3 +,x4 changes to, () +,x4,x4 +,x3 = (3), and (4) stays unchanged. The integral (8) becomes I = t t t 5 t 3 t 4 e i(t () t ) δ, R 4 e i(t t 3 ) () δ,3 e i(t 3 t 4 ) (3) δ,4 e i(t 4 t 5 ) (4) = δ 3,5 γ 3,4 dt dt 5 dx dx 5 dx dx 5 t t t 5 t 3 t 4 e i(t t ) () B, e i(t t 3 ) () B,3 e i(t 3 t 4 ) (3) B,4 e i(t 4 t 5 ) (4) B3,5 (γ (5) (t 5, )dt dt 5 = I Therefore, I = I as stated above. Notice the domain of integration corresponds to σ () =, σ (3) = 5, σ (4) = 3, σ (5) = 4, that is, σ = (3, 4) σ.
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY 5 Now we proceed to the general case. Consider a typical term, I(µ, σ) = = t t σ(j) t σ(j+) t σ(n+) t t σ(j) t σ(j+) t σ(n+) J(t n+ ; µ)dt... dt n+ (9) e i(t j t j ) (j ) B l,j e i(t j t j+ ) (j) Bi,j+ e i(t j+ t j+ ) (j+) ( )dt... dt n+ (3) with associated matrix of the form, t σ (j) t σ (j+) B i,j B i,j+ B l,j B l,j+ row j row j+ (3) where µ(j) = l and µ(j + ) = i and i < l < j < j +. It is understood that rows j or j+ may in fact not have highlighted entries, as in the previous example. We plan to show I = I (3) where I = t t σ (j) t σ (j+) t σ (n+) e i(t j t j ) (j ) B i,j e i(t j t j+ ) (j) Bl,j+ e i(t j+ t j+ ) (j+) ( ) dt... dt n+ (33) The at the beginning of (3) and (33) are the same. Any B j,α in ( ) in (3) become B j+,α in ( ) in (33). Similarly, any B j+,α in ( ) in (3) become B j,α in ( ) in (33), while the rest is unchanged.
6 SERGIU KLAINERMAN AND MATEI MACHEDON Thus I is represented by the matrix, t σ (j) t σ (j+) B i,j B i,j+ B l,j B l,j+ (row j) (row j+) (34) where the highlighted entries of (row j), respectively (row j+) in (34) have the positions of the highligted entries of row j+, respectively row j in (3). To prove (3) denote, terms, and We will show that, (j) = (j),xj +,xj+. We consider the P = B l,j e i(t j t j+ ) (j) Bi,j+ (35) P = B i,j+ e i(t (j) j t j+ ) Bl,j (36) e i(t j t j ) (j ) P e i(t j+ t j+ ) (j+) = e i(t j t j+ ) (j ) P e i(t j t j+ ) (j+) (37) Indeed in (35) we can write (j) =,xi + ( (j),xi ). Therefore, e i(t j t j+ ) (j) = e i(t j t j+ ),xi e i(t j t j+ )( (j),x i ) Observe that the first terms on the right can be commuted to the left of B l,j, the second one to the right of B i,j+ in the expression for I. Thus, and P = e i(t j t j+ )(,xi ) B l,j B i,j+ e i(t j t j+ )( (j),x i ) e i(t j t j ) (j ) P e i(t j+ t j+ ) (j+) = e i(t j t j ) (j ) e i(t j t j+ )(,xi ) B l,j B i,j+ e i(t j t j+ )( (j),x ) i e i(t j+ t j+ ) (j+) = e i(t j t j ) (j ) e i(t j t j+ ),xibi,j+ B l,j e i(t j+ t j+ )(,xi +,xj+ ) e i(t j t j+ )(,x + ˆ,xi + +,xj ) where a hat denotes a missing term.
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY 7 Similarly, in view of the definition of (j), we can write, (j) = (j),xj +,xj+ = (j ) +,xj+ = (j ),xi +,xi +,xj+ Hence, e i(t (j) j t j+ ) = e i(t j t j+ )( (j ),x i) e i(t j t j+ )(,xi +,xj+ ) and consequently, Now, P = e i(t j t j+ )( (j ),xi ) B i,j+ B l,j e i(t j t j+ )(,xi +,xj+ ) e i(t j t j+ ) (j ) P e i(t j t j+ ) (j+) = e i(t j t j+ ) (j ) e i(t j t j+ )( (j ),xi ) B i,j+ B l,j e i(t j t j+ )(,xi +,xj+ ) e i(t j t j+ ) (j+) = e i(t j t j ) (j ) e i(t j t j+ ),xibi,j+ B l,j e i(t j+ t j+ )(,xi +,xj+ ) e i(t j t j+ )(,x + ˆ,xi + +,xj ) and (37) is proved. Now the argument proceeds as in the example. In the integral (9) use the symmetry () to exchange x j, x j with x j+, x j+ in the arguments of γ (n+) (only). Then use (37) in the integrand and also replace the B s by their corresponding integral kernels δ. Then we make the change of variables which exchanges t j, x j, x j with t j+, x j+, x j+ in the whole integral. To see the change in the domain of integration, say σ(a) = j and σ(b) = j +, and say b < a. Then the domain t σ(b) σ(a) changes to t σ(a) σ(b). In other words, a = σ (j) and b = σ (j + ) have been reversed. This proves (3). Next, we consider the subset {µ s } M of special, upper echelon, matrices in which each highlighted element of a higher row is to the left of each highlighted element of a lower row. Thus (5) is in upper echelon form, and (4) is not. According to our definition, the matrix
8 SERGIU KLAINERMAN AND MATEI MACHEDON is also in upper echelon form B, B,3 B,4 B,5 B,3 B,4 B,5 B 3,4 B 3,5 (38) B 4,5 Lemma 3.. For each element of M there is a finite set of acceptable moves which brings it to upper echelon form. Proof. The strategy is to start with the first row and do acceptable moves to bring all marked entries in the first row in consecutive order, B, through B,k. If there are any highlighted elements on the second row, bring them to B,k+, B,l. This will not affect the marked entries of the first row. If no entries are highlighted on the second row, leave it blank and move to the third row. Continue to lower rows. In the end, the matrix is reduced to an upper echelon form. Lemma 3.3. Let C n be the number of n n special, upper echelon matrices of the type discussed above. Then C n 4 n. Proof. The proof consists of steps. First dis-assemble the original special matrix by lifting all marked entries to the first row. This partitions the first row into subsets {,, k }, {k +,, k } etc. Let P n be the number of such partitions. Look at the last subset of the partition. It can have elements, in which case there is no last partition. This case contributes precisely one partitions to the total number P n. If the last subset has k elements then the remaining n k, can contribute exactly P n k partitions. Thus P n = + P + P n, and therefore P n n by induction. In the second step we will reassemble the upper echelon matrix by lowering {,, k } to the first used row (we give up the requirement that only the upper triangle is used, thus maybe counting more matrices) {k +,, k } to the second used row etc. Now suppose that we have exactly i subsets in a given partition of the first row, which will be lowered in an orderpreserving way to the available n rows. This can be done in exactly ( n i) ways. Thus Cn P n ( n i i) 4 n. This is in agreement with the combinatorial arguments of []. Theorem 3.4. Let µ s be a special, upper echelon matrix, and write µ µ s if µ can be reduced to µ s in finitely many acceptable moves.
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY 9 There exists D a subset of [, t ] n such that t tn J(t n+ ; µ)dt dt n+ = J(t n+ ; µ s )dt dt n+ µ µ s D (39) Proof. Start with the integral, I(µ, id) = t tn J(t n+ ; µ)dt dt n+ with its corresponding matrix, t t 3 t 4 t n+ B µ(), B,3 B µ(4),4 B,n+ B µ(3),3 B,4 B,n+ B 3,4 B 3,n+ B n,n+ (4) As in Lemma (3.) perform finitely many acceptable moves on it, transforming the matrix determined by the pair (µ, id) to the special upper echelon form matrix corresponding to a pair (µ s, σ), t σ () t σ (3) t σ (4) t σ (n+) B, B,3 B,4 B,n+ B,3 B,4 B,n+ (4) B 3,4 B 3,n+ By Lemma (3.), I(µ, id) = I(µ s, σ). Now observe that if (µ, id) and (µ, id), with µ µ lead to the same echelon form µ s the corresponding permutations σ and σ must be different. The lemma is thus proved with D the union of all {t t σ() t σ(3) t σ(n )} for all permutations σ which occur in a given class of equivalence of a given µ s. Proof of Main Theorem (.) γ () (t, ) = µ We start by fixing t. Express t tn J(t n+, µ) (4)
SERGIU KLAINERMAN AND MATEI MACHEDON where, we recall, J(t n+, µ) = e i(t t ) () B, e i(t t 3 ) () Bµ(3),3 e i(tn t n+) (n) Bµ(n+),n+ (γ (n+) )(t n+, ) Using Theorem (3.4) we can write γ () (t, ) as a sum of at most 4 n terms of the form D J(t n+, µ s ) (43) Let C n = [, t ] [, t ] [, t ] (product of n terms). Also, let D t = {(t 3,, t n+ ) (t, t 3,, t n+ ) D}. We have R () γ () (t, ) L (R 3 R 3 ) = R () e i(t t ) () B, e i(t t 3 ) () Bµs(3),3 dt dt n+ L (R 3 R 3 ) D ( t ) = e i(t t ) () R () B, e i(t () t 3 ) Bµs(3),3 dt 3 dt n+ dt L (R 3 R 3 ) D t = t t t e i(t t ) () R () B, e i(t () t 3 ) Bµs(3),3 dt 3 dt n+ L (R 3 R 3 )dt D t () Bµs(3),3 dt 3 dt n+ L (R 3 R 3 )dt R () B, e i(t t 3 ) D t ( ) R () B, e i(t () t 3 ) Bµs(3),3 L (R 3 R 3 ) dt 3 dt n+ dt D t R () B, e i(t t 3 ) C n () Bµs(3),3 L (R 3 R 3 )dt dt 3 dt n+ (44)
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY Applying Cauchy-Schwarz in t and Theorem (.3) n- times, we estimate () Bµs(3),3 L (R 3 R 3 )dt dt 3 dt n+ R () B, e i(t t 3 ) C n t Ct R () B, e i(t () t 3 ) C n ( Bµs(3),3 ) L ((t [,t ]) R 3 R 3 )dt 3 dt n+ R () B µs(3),3e i(t (3) 3 t 4 ) Bµs(4),4 L (R 6 R 6 )dt 3 dt n+ C n (Ct t ) n R (n) B µs(n+),n+γ (n+) (t n+, ) L (R 3n R 3n )dt n+ C(Ct ) n Consequently, R () γ () (t, ) L (R 3 R 3 ) C(Ct ) n (45) If Ct < and we let n and infer that R () γ () (t, ) L (R 3 R 3 ) =. The proof for all γ (k) = is similar. Clearly we can continue the argument to show that all γ (k) vanish for all t as desired. References [] L. Erdos, B. Schlein, H-T Yau Derivation of the Cubic Non-linear Schródinger equation from Quantum dynamics of Many-Body Systems, preprint [] S Klainerman, M Machedon Space-time estimates for null forms and the local existence theorem, Comm. Pure Appl. Math 46 (993), 69-77 [3] M. Keel, T. Tao Endpoint Strichartz estimates, Amer. J. Math, (998), no 5, 955-98. Department of Mathematics, Princeton University, Princeton, NJ, 854 Department of Mathematics, University of Maryland, College Park, MD, 74