ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY. 1. Introduction
|
|
- Stewart Hart
- 5 years ago
- Views:
Transcription
1 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.
2 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=
3 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 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
5 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 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)
7 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 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
9 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
10 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 ɛ ξ ɛ ξ ξ ξ ξ ξ ξ ɛ
11 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+ ()
12 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
13 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+).
14 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) σ.
15 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.
16 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.
17 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
18 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.
19 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)
20 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)
21 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), [3] M. Keel, T. Tao Endpoint Strichartz estimates, Amer. J. Math, (998), no 5, Department of Mathematics, Princeton University, Princeton, NJ, 854 Department of Mathematics, University of Maryland, College Park, MD, 74
Low Regularity Uniqueness of Solutions to the Gross-Pitaevskii Hierarchy
Low Regularity Uniqueness of Solutions to the Gross-Pitaevskii Hierarchy Kenny Taliaferro (based on joint works with Y. Hong and Z. Xie) November 22, 2014 1 / 19 The Cubic Gross-Pitaevskii Hierarchy The
More informationDERIVATION OF THE CUBIC NLS AND GROSS-PITAEVSKII HIERARCHY FROM MANYBODY DYNAMICS IN d = 2, 3 BASED ON SPACETIME NORMS
DERIVATIO OF THE CUBIC LS AD GROSS-PITAEVSKII HIERARCHY FROM MAYBODY DYAMICS I d = 2, 3 BASED O SPACETIME ORMS THOMAS CHE AD ATAŠA PAVLOVIĆ Abstract. We derive the defocusing cubic Gross-Pitaevskii (GP)
More informationMean Field Limits for Interacting Bose Gases and the Cauchy Problem for Gross-Pitaevskii Hierarchies. Thomas Chen University of Texas at Austin
Mean Field Limits for Interacting Bose Gases and the Cauchy Problem for Gross-Pitaevskii Hierarchies Thomas Chen University of Texas at Austin Nataša Pavlović University of Texas at Austin Analysis and
More informationFrom many body quantum dynamics to nonlinear dispersive PDE, and back
From many body quantum dynamics to nonlinear dispersive PDE, and back ataša Pavlović (based on joint works with T. Chen, and with T. Chen and. Tzirakis) University of Texas at Austin June 18, 2013 SF-CBMS
More informationA NEW PROOF OF EXISTENCE OF SOLUTIONS FOR FOCUSING AND DEFOCUSING GROSS-PITAEVSKII HIERARCHIES. 1. Introduction
A EW PROOF OF EXISTECE OF SOLUTIOS FOR FOCUSIG AD DEFOCUSIG GROSS-PITAEVSKII HIERARCHIES THOMAS CHE AD ATAŠA PAVLOVIĆ Abstract. We consider the cubic and quintic Gross-Pitaevskii (GP) hierarchies in d
More informationFrom the N-body problem to the cubic NLS equation
From the N-body problem to the cubic NLS equation François Golse Université Paris 7 & Laboratoire J.-L. Lions golse@math.jussieu.fr Los Alamos CNLS, January 26th, 2005 Formal derivation by N.N. Bogolyubov
More informationA COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE
More informationA PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION
A PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION TERENCE TAO Abstract. Let d 1, and let u, v : R R d C be Schwartz space solutions to the Schrödinger
More informationTHE QUINTIC NLS AS THE MEAN FIELD LIMIT OF A BOSON GAS WITH THREE-BODY INTERACTIONS. 1. Introduction
THE QUINTIC NLS AS THE MEAN FIELD LIMIT OF A BOSON GAS WITH THREE-BODY INTERACTIONS THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We investigate the dynamics of a boson gas with three-body interactions in
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationEnergy method for wave equations
Energy method for wave equations Willie Wong Based on commit 5dfb7e5 of 2017-11-06 13:29 Abstract We give an elementary discussion of the energy method (and particularly the vector field method) in the
More informationA REMARK ON AN EQUATION OF WAVE MAPS TYPE WITH VARIABLE COEFFICIENTS
A REMARK ON AN EQUATION OF WAVE MAPS TYPE WITH VARIABLE COEFFICIENTS DAN-ANDREI GEBA Abstract. We obtain a sharp local well-posedness result for an equation of wave maps type with variable coefficients.
More informationCORRELATION STRUCTURES, MANY-BODY SCATTERING PROCESSES AND THE DERIVATION OF THE GROSS-PITAEVSKII HIERARCHY
CORRELATIO STRUCTURES, MAY-BODY SCATTERIG PROCESSES AD THE DERIVATIO OF THE GROSS-PITAEVSKII HIERARCHY XUWE CHE AD JUSTI HOLMER A. We consider the dynamics of bosons in three dimensions. We assume the
More informationDerivation of the cubic non-linear Schrödinger equation from quantum dynamics of many-body systems
Derivation of the cubic non-linear Schrödinger equation from quantum dynamics of many-body systems The Harvard community has made this article openly available. Please share how this access benefits you.
More informationDerivation of the time dependent Gross-Pitaevskii equation for the dynamics of the Bose-Einstein condensate
Derivation of the time dependent Gross-Pitaevskii equation for the dynamics of the Bose-Einstein condensate László Erdős University of Munich Evian-les-Bains, 2007 June Joint work with B. Schlein and H.T.
More informationTADAHIRO OH 0, 3 8 (T R), (1.5) The result in [2] is in fact stated for time-periodic functions: 0, 1 3 (T 2 ). (1.4)
PERIODIC L 4 -STRICHARTZ ESTIMATE FOR KDV TADAHIRO OH 1. Introduction In [], Bourgain proved global well-posedness of the periodic KdV in L T): u t + u xxx + uu x 0, x, t) T R. 1.1) The key ingredient
More informationEffective dynamics of many-body quantum systems
Effective dynamics of many-body quantum systems László Erdős University of Munich Grenoble, May 30, 2006 A l occassion de soixantiéme anniversaire de Yves Colin de Verdiére Joint with B. Schlein and H.-T.
More informationarxiv: v3 [math-ph] 23 Apr 2013
O THE RIGOROUS DERIVATIO OF THE 3D CUBIC OLIEAR SCHRÖDIGER EQUATIO WITH A QUADRATIC TRAP XUWE CHE Dedicated to Xuqing. arxiv:14.15v3 [math-ph] 3 Apr 13 Abstract. We consider the dynamics of the 3D -body
More informationGlobal well-posedness for KdV in Sobolev spaces of negative index
Electronic Journal of Differential Equations, Vol. (), No. 6, pp. 7. ISSN: 7-669. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Global well-posedness for
More informationAn introduction to Birkhoff normal form
An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationMany body quantum dynamics and nonlinear dispersive PDE
Many body quantum dynamics and nonlinear dispersive PDE Nataša Pavlović (University of Texas at Austin) August 24-28, 2015 Introductory Workshop: Randomness and long time dynamics in nonlinear evolution
More informationPiecewise Smooth Solutions to the Burgers-Hilbert Equation
Piecewise Smooth Solutions to the Burgers-Hilbert Equation Alberto Bressan and Tianyou Zhang Department of Mathematics, Penn State University, University Park, Pa 68, USA e-mails: bressan@mathpsuedu, zhang
More informationBALANCING GAUSSIAN VECTORS. 1. Introduction
BALANCING GAUSSIAN VECTORS KEVIN P. COSTELLO Abstract. Let x 1,... x n be independent normally distributed vectors on R d. We determine the distribution function of the minimum norm of the 2 n vectors
More informationFrom quantum many body systems to nonlinear dispersive PDE, and back
From quantum many body systems to nonlinear dispersive PDE, and back Nataša Pavlović (University of Texas at Austin) Based on joint works with T. Chen, C. Hainzl, R. Seiringer, N. Tzirakis May 28, 2015
More informationALMOST CONSERVATION LAWS AND GLOBAL ROUGH SOLUTIONS TO A NONLINEAR SCHRÖDINGER EQUATION
ALMOST CONSERVATION LAWS AND GLOBAL ROUGH SOLUTIONS TO A NONLINEAR SCHRÖDINGER EQUATION J. COLLIANDER, M. KEEL, G. STAFFILANI, H. TAKAOKA, AND T. TAO Abstract. We prove an almost conservation law to obtain
More informationat time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))
Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time
More informationj=1 [We will show that the triangle inequality holds for each p-norm in Chapter 3 Section 6.] The 1-norm is A F = tr(a H A).
Math 344 Lecture #19 3.5 Normed Linear Spaces Definition 3.5.1. A seminorm on a vector space V over F is a map : V R that for all x, y V and for all α F satisfies (i) x 0 (positivity), (ii) αx = α x (scale
More informationStochastic Differential Equations.
Chapter 3 Stochastic Differential Equations. 3.1 Existence and Uniqueness. One of the ways of constructing a Diffusion process is to solve the stochastic differential equation dx(t) = σ(t, x(t)) dβ(t)
More informationQuivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014
Quivers of Period 2 Mariya Sardarli Max Wimberley Heyi Zhu ovember 26, 2014 Abstract A quiver with vertices labeled from 1,..., n is said to have period 2 if the quiver obtained by mutating at 1 and then
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationBose-Einstein condensation and limit theorems. Kay Kirkpatrick, UIUC
Bose-Einstein condensation and limit theorems Kay Kirkpatrick, UIUC 2015 Bose-Einstein condensation: from many quantum particles to a quantum superparticle Kay Kirkpatrick, UIUC/MSRI TexAMP 2015 The big
More informationAn idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim
An idea how to solve some of the problems 5.2-2. (a) Does not converge: By multiplying across we get Hence 2k 2k 2 /2 k 2k2 k 2 /2 k 2 /2 2k 2k 2 /2 k. As the series diverges the same must hold for the
More informationA LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.
A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion
More informationarxiv: v1 [math.co] 8 Feb 2014
COMBINATORIAL STUDY OF THE DELLAC CONFIGURATIONS AND THE q-extended NORMALIZED MEDIAN GENOCCHI NUMBERS ANGE BIGENI arxiv:1402.1827v1 [math.co] 8 Feb 2014 Abstract. In two recent papers (Mathematical Research
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More informationKernel Method: Data Analysis with Positive Definite Kernels
Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University
More informationThe De Giorgi-Nash-Moser Estimates
The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following
More informationOn Backward Product of Stochastic Matrices
On Backward Product of Stochastic Matrices Behrouz Touri and Angelia Nedić 1 Abstract We study the ergodicity of backward product of stochastic and doubly stochastic matrices by introducing the concept
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationLecture 4: Numerical solution of ordinary differential equations
Lecture 4: Numerical solution of ordinary differential equations Department of Mathematics, ETH Zürich General explicit one-step method: Consistency; Stability; Convergence. High-order methods: Taylor
More informationNOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017
NOTES ON FRAMES Damir Bakić University of Zagreb June 6, 017 Contents 1 Unconditional convergence, Riesz bases, and Bessel sequences 1 1.1 Unconditional convergence of series in Banach spaces...............
More informationRoth s Theorem on 3-term Arithmetic Progressions
Roth s Theorem on 3-term Arithmetic Progressions Mustazee Rahman 1 Introduction This article is a discussion about the proof of a classical theorem of Roth s regarding the existence of three term arithmetic
More informationMathematics Department Stanford University Math 61CM/DM Inner products
Mathematics Department Stanford University Math 61CM/DM Inner products Recall the definition of an inner product space; see Appendix A.8 of the textbook. Definition 1 An inner product space V is a vector
More informationA Perron-type theorem on the principal eigenvalue of nonsymmetric elliptic operators
A Perron-type theorem on the principal eigenvalue of nonsymmetric elliptic operators Lei Ni And I cherish more than anything else the Analogies, my most trustworthy masters. They know all the secrets of
More informationOn the Logarithmic Calculus and Sidorenko s Conjecture
On the Logarithmic Calculus and Sidorenko s Conjecture by Xiang Li A thesis submitted in conformity with the requirements for the degree of Msc. Mathematics Graduate Department of Mathematics University
More informationBOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET
BOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET WEILIN LI AND ROBERT S. STRICHARTZ Abstract. We study boundary value problems for the Laplacian on a domain Ω consisting of the left half of the Sierpinski
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationLocal Kesten McKay law for random regular graphs
Local Kesten McKay law for random regular graphs Roland Bauerschmidt (with Jiaoyang Huang and Horng-Tzer Yau) University of Cambridge Weizmann Institute, January 2017 Random regular graph G N,d is the
More informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationDiscrete Applied Mathematics
Discrete Applied Mathematics 194 (015) 37 59 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: wwwelseviercom/locate/dam Loopy, Hankel, and combinatorially skew-hankel
More informationMATH 425, FINAL EXAM SOLUTIONS
MATH 425, FINAL EXAM SOLUTIONS Each exercise is worth 50 points. Exercise. a The operator L is defined on smooth functions of (x, y by: Is the operator L linear? Prove your answer. L (u := arctan(xy u
More informationDerivatives of Harmonic Bergman and Bloch Functions on the Ball
Journal of Mathematical Analysis and Applications 26, 1 123 (21) doi:1.16/jmaa.2.7438, available online at http://www.idealibrary.com on Derivatives of Harmonic ergman and loch Functions on the all oo
More informationProperly forking formulas in Urysohn spaces
Properly forking formulas in Urysohn spaces Gabriel Conant University of Notre Dame gconant@nd.edu March 4, 2016 Abstract In this informal note, we demonstrate the existence of forking and nondividing
More informationCommutator estimates in the operator L p -spaces.
Commutator estimates in the operator L p -spaces. Denis Potapov and Fyodor Sukochev Abstract We consider commutator estimates in non-commutative (operator) L p -spaces associated with general semi-finite
More informationThe double layer potential
The double layer potential In this project, our goal is to explain how the Dirichlet problem for a linear elliptic partial differential equation can be converted into an integral equation by representing
More informationScattered Data Interpolation with Polynomial Precision and Conditionally Positive Definite Functions
Chapter 3 Scattered Data Interpolation with Polynomial Precision and Conditionally Positive Definite Functions 3.1 Scattered Data Interpolation with Polynomial Precision Sometimes the assumption on the
More informationON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 4 (2004), #A21 ON MULTI-AVOIDANCE OF RIGHT ANGLED NUMBERED POLYOMINO PATTERNS Sergey Kitaev Department of Mathematics, University of Kentucky,
More informationthe neumann-cheeger constant of the jungle gym
the neumann-cheeger constant of the jungle gym Itai Benjamini Isaac Chavel Edgar A. Feldman Our jungle gyms are dimensional differentiable manifolds M, with preferred Riemannian metrics, associated to
More information2014:05 Incremental Greedy Algorithm and its Applications in Numerical Integration. V. Temlyakov
INTERDISCIPLINARY MATHEMATICS INSTITUTE 2014:05 Incremental Greedy Algorithm and its Applications in Numerical Integration V. Temlyakov IMI PREPRINT SERIES COLLEGE OF ARTS AND SCIENCES UNIVERSITY OF SOUTH
More informationHW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).
Teddy Einstein Math 430 HW Solutions Problem 1:. Find the sign and inverse of the permutation shown in the book (and below). Proof. Its disjoint cycle decomposition is: (19)(8)(37)(46) which immediately
More informationA NEW UPPER BOUND FOR FINITE ADDITIVE BASES
A NEW UPPER BOUND FOR FINITE ADDITIVE BASES C SİNAN GÜNTÜRK AND MELVYN B NATHANSON Abstract Let n, k denote the largest integer n for which there exists a set A of k nonnegative integers such that the
More informationChapter Four Gelfond s Solution of Hilbert s Seventh Problem (Revised January 2, 2011)
Chapter Four Gelfond s Solution of Hilbert s Seventh Problem (Revised January 2, 2011) Before we consider Gelfond s, and then Schneider s, complete solutions to Hilbert s seventh problem let s look back
More informationDerivation of Mean-Field Dynamics for Fermions
IST Austria Mathematical Many Body Theory and its Applications Bilbao, June 17, 2016 Derivation = show that solution of microscopic eq. is close to solution of effective eq. (with fewer degrees of freedom)
More informationOptimal series representations of continuous Gaussian random fields
Optimal series representations of continuous Gaussian random fields Antoine AYACHE Université Lille 1 - Laboratoire Paul Painlevé A. Ayache (Lille 1) Optimality of continuous Gaussian series 04/25/2012
More informationSOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES
Communications on Stochastic Analysis Vol. 4, No. 3 010) 45-431 Serials Publications www.serialspublications.com SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES YURI BAKHTIN* AND CARL MUELLER
More informationarxiv:math/ v1 [math.ap] 24 Apr 2003
ICM 2002 Vol. III 1 3 arxiv:math/0304397v1 [math.ap] 24 Apr 2003 Nonlinear Wave Equations Daniel Tataru Abstract The analysis of nonlinear wave equations has experienced a dramatic growth in the last ten
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial Differential Equations «Viktor Grigoryan 15 Heat with a source So far we considered homogeneous wave and heat equations and the associated initial value problems on the whole line, as
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationOn an Approximation Result for Piecewise Polynomial Functions. O. Karakashian
BULLETIN OF THE GREE MATHEMATICAL SOCIETY Volume 57, 010 (1 7) On an Approximation Result for Piecewise Polynomial Functions O. arakashian Abstract We provide a new approach for proving approximation results
More informationDISPERSIVE EQUATIONS: A SURVEY
DISPERSIVE EQUATIONS: A SURVEY GIGLIOLA STAFFILANI 1. Introduction These notes were written as a guideline for a short talk; hence, the references and the statements of the theorems are often not given
More informationNormal form for the non linear Schrödinger equation
Normal form for the non linear Schrödinger equation joint work with Claudio Procesi and Nguyen Bich Van Universita di Roma La Sapienza S. Etienne de Tinee 4-9 Feb. 2013 Nonlinear Schrödinger equation Consider
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationUsing Laplacian Eigenvalues and Eigenvectors in the Analysis of Frequency Assignment Problems
Using Laplacian Eigenvalues and Eigenvectors in the Analysis of Frequency Assignment Problems Jan van den Heuvel and Snežana Pejić Department of Mathematics London School of Economics Houghton Street,
More informationSPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS
More informationarxiv: v1 [math.pr] 22 Dec 2018
arxiv:1812.09618v1 [math.pr] 22 Dec 2018 Operator norm upper bound for sub-gaussian tailed random matrices Eric Benhamou Jamal Atif Rida Laraki December 27, 2018 Abstract This paper investigates an upper
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationLECTURE 12 A MODEL OF LIQUIDITY PREFERENCE (CONCLUDED)
LECTURE 12 A MODEL OF LIQUIDITY PREFERENCE (CONCLUDED) JACOB T. SCHWARTZ EDITED BY KENNETH R. DRIESSEL Abstract. We prove Theorem 11.6 and Theorem 11.9 of the previous lecture. 1. Proof of Theorem 11.6
More informationRANDOM PROPERTIES BENOIT PAUSADER
RANDOM PROPERTIES BENOIT PAUSADER. Quasilinear problems In general, one consider the following trichotomy for nonlinear PDEs: A semilinear problem is a problem where the highest-order terms appears linearly
More informationAPPLICATIONS OF THE THICK DISTRIBUTIONAL CALCULUS
Novi Sad J. Math. Vol. 44, No. 2, 2014, 121-135 APPLICATIONS OF THE THICK DISTRIBUTIONAL CALCULUS Ricardo Estrada 1 and Yunyun Yang 2 Abstract. We give several applications of the thick distributional
More informationSome asymptotic properties of solutions for Burgers equation in L p (R)
ARMA manuscript No. (will be inserted by the editor) Some asymptotic properties of solutions for Burgers equation in L p (R) PAULO R. ZINGANO Abstract We discuss time asymptotic properties of solutions
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions
ARCS IN FINITE PROJECTIVE SPACES SIMEON BALL Abstract. These notes are an outline of a course on arcs given at the Finite Geometry Summer School, University of Sussex, June 26-30, 2017. Let K denote an
More informationWeak Separation, Pure Domains and Cluster Distance
Discrete Mathematics and Theoretical Computer Science DMTCS vol (subm, by the authors, 1 1 Weak Separation, Pure Domains and Cluster Distance Miriam Farber 1 and Pavel Galashin 1 1 Department of Mathematics,
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationIntroduction to Bases in Banach Spaces
Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers
More informationFOCUSING QUANTUM MANY-BODY DYNAMICS II: THE RIGOROUS DERIVATION OF THE 1D FOCUSING CUBIC NONLINEAR SCHRÖDINGER EQUATION FROM 3D
FOCUSING QUANTUM MANY-BODY DYNAMICS II: THE RIGOROUS DERIVATION OF THE 1D FOCUSING CUBIC NONLINEAR SCHRÖDINGER EQUATION FROM 3D XUWEN CHEN AND JUSTIN HOLMER Abstract. We consider the focusing 3D quantum
More informationLimits and Continuity
Limits and Continuity Notes by Walter Noll, 1991 1 Real Sequences, Convergence Let an index set I be given. The set R I of all real families indexed on I has the natural structure of a commutative ring
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS SYSTEMS OF EQUATIONS AND MATRICES Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationLagrangian submanifolds and generating functions
Chapter 4 Lagrangian submanifolds and generating functions Motivated by theorem 3.9 we will now study properties of the manifold Λ φ X (R n \{0}) for a clean phase function φ. As shown in section 3.3 Λ
More informationUniform in N estimates for a Bosonic system of Hartree-Fock-Bogoliubov type. Joint work with M. Grillakis
Uniform in N estimates for a Bosonic system of Hartree-Fock-Bogoliubov type Joint work with M. Grillakis 1 Overview of the problem: Approximate symmetric solutions to the manybody problem 1 i t ψ N(t,
More informationSupplementary Notes for W. Rudin: Principles of Mathematical Analysis
Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning
More informationJordan Journal of Mathematics and Statistics (JJMS) 8(3), 2015, pp THE NORM OF CERTAIN MATRIX OPERATORS ON NEW DIFFERENCE SEQUENCE SPACES
Jordan Journal of Mathematics and Statistics (JJMS) 8(3), 2015, pp 223-237 THE NORM OF CERTAIN MATRIX OPERATORS ON NEW DIFFERENCE SEQUENCE SPACES H. ROOPAEI (1) AND D. FOROUTANNIA (2) Abstract. The purpose
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More information