GLOBAL SEMICLASSICAL LIMIT FROM HARTREE TO VLASOV EQUATION FOR CONCENTRATED INITIAL DATA arxiv:190.0850v3 [math.ap] 15 Oct 00 LAURENT LAFLECHE 1 Abstract. We prove a quatitative ad global i time semiclassical limit from the Hartree to the Vlasov equatio i the case of a sigular iteractio potetial i dimesio d 3 icludig the case of a Coulomb sigularity i dimesio d = 3. This result holds for iitial data cocetrated eough i the sese that some space momets are iitially sufficietly small. As a itermediate result we also obtai quatitative bouds o the space ad velocity momets of eve order ad the asymptotic behavior of the spatial desity due to dispersio effects uiform i the Plack costat. Table of Cotets 1. Itroductio 1 1.1. Mai results 3. Free Trasport 8 3. Propagatio of momets 10 3.1. Classical case. 10 3.. Boudedess of Euleria momets 11 3.3. Applicatio to the semiclassical limit 19 4. Ackowledgmets 4 Refereces 4 1. Itroductio The equatio goverig the dyamics of a large umber of iteractig particles of desity f = ft x ξ i the phase space is the Vlasov equatio Vlasov t f + ξ x f + E ξ f = 0 Date: October 16 00. 010 Mathematics Subject Classificatio. 8C10 35Q41 35Q55 8C0535Q83. Key words ad phrases. Hartree equatio Noliear Schrödiger equatio Vlasov equatio Coulomb iteractio gravitatioal iteractio semiclassical limit. 1 CEREMADE UMR CNRS 7534 Uiversité Paris-Dauphie PSL Research Uiversity Place du Maréchal de Lattre de Tassigy 75775 Paris cedex 16 Frace lafleche@ceremade.dauphie.fr. CMLS École polytechique CNRS Uiversité Paris-Saclay 9118 Palaiseau cedex Frace. 1
LAURENT LAFLECHE 1 where E = V is the force field correspodig to the mea field potetial V = V x give by V = K ρ f = Kx y ρ f y dy R d where we deote by ρ f x := R d fx v dv the spatial desity ad by Kx the pair iteractio potetial betwee two particles at distace x. The couterpart of the Vlasov equatio i quatum mechaics is the Hartree equatio Hartree i t ρ = [H ρ] where ρ is a self-adjoit Hilbert-Schmidt operator called the desity operator ad the Hamiltoia is defied by H = h + V. I this formula the potetial is defied by V = K ρ where the spatial desity ρ is defied as the diagoal of the kerel x y of the operator ρ i.e. ρx = x x. I this paper we study i a quatitative way the limit whe 0 of the Hartree equatio which is kow to coverge to the Vlasov equatio. The questio of the derivatio of this equatio from the quatum mechaics is a very active topic of research. No-costructive results i weak topologies have ideed already bee proved icludig the case of Coulomb iteractios startig from the work of Lios ad Paul [36] ad Markowich ad Mauser [39]. See also [3 3 31 1]. Some more precise quatitative results have also more recetly bee proved for smooth forces which are always at least Lipschitz i [6 3 4 1 6]. I [7] Golse ad Paul itroduce a pseudo-distace o the model of the Wasserstei-Moge- Katorovitch betwee classical phase space desities ad quatum desity operators to get a rate of covergece for the semiclassical limit for Lipschitz forces. This strategy has bee used i the recet paper [35] of the preset author to exted this result to more sigular iteractios but oly up to a fixed time i the case of potetials with a strog sigularity such as the Coulomb iteractio. We also metio the work of Porta et al [48] ad Saffirio [50] about the questio of the mea-field limit for the Schrödiger equatio to the Hartree equatio for Fermios sice this limit is coupled with a semiclassical limit. Results are proved for the Coulomb iteractio uder assumptios of propagatio of regularity alog the Hartree dyamics which is still a ope problem. Other results about the mea-field limit ca be foud i [10 0 9] where o-quatitative results are established for the Coulomb potetial ad more precise limits ca be foud i [49 47 6 40 7 9 30] for Bosos ad i [ 1 13 11 7 45 48 44] for Fermios. Here we exteds the results of [35] by provig a global i time semiclassical limit uder a smalless coditio of space momets. We first prove a global i time boud o some modified space momets from which we obtai the propagatio of space ad velocity momets. The same kid of results were already kow for = 1 see Remark 1.4 ad the mai ovelty is the fact that the bouds we prove are uiform i. The boud o the velocity is the sufficiet to use the theory already used i the above metioed paper to get a global L boud o the spatial desity ad the quatitative semiclassical limit i the quatum Wasserstei pseudo-distace.
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 3 The fact that the time decay due to the dispersio properties gives global estimates for the Vlasov equatio was already used i [8]. The modified space momets of order are liked to a Lyapuov fuctioal remiiscet of the coservatio of eergy see [43 19]. The propagatio of modified space momets was ivestigated further i [16 41 4]. 1.1. Mai results. We adopt the same otatioal covetios as i [35]. I particular L p deotes the weak Lebesgue spaces of fuctios o R d ad we defie the quatum versio of the phase space Lebesgue ad weighted Lebesgue spaces as } L p := {ρ BL ρ L p := h d/p Tr ρ p 1 p < L p + := {ρ Lp ρ = ρ 0} L p m := {ρ L p ρ m L p } where BL deotes the set of bouded liear operators o L ad Tr deotes the trace. We also defie the quatum probability measures by P := { ρ L 1 + Trρ = 1}. Moreover i order to esure well-posedess We will deote by p := i the quatum impulsio which is a ubouded operator o L ad by M 0 the commo total mass of the desities i both the quatum ad the classical settig M 0 := Trρ = ft x v dx dv. R d Our first result states that if the spatial desity is cocetrated eough the the Euleria momets Tr x tp ρ are bouded globally i time. Theorem 1. Let d 3 N \ {0} r [1 ] ad defie b := r +d +1. Assume 1 K L b with b max d 3 b 4b d ad let ρ be a solutio of the Hartree equatio with iitial coditio ρ i L r L 1 + 1 + x + p. The there exists a explicit costat C > 0 depedig o M 0 Tr p ρ i K L b ρ i L r ad ot o such that if Tr x ρ i < C the uiformly i. Tr x tp ρ L R + Remark 1.1. The theorem applies i particular i the case of iteractio kerels K with a sigularity like the Coulomb iteractio. For example for ay ε > 0 Kx = ±1 x 1 x 1 + ±1 x 1+ε1 x >1.
4 LAURENT LAFLECHE 1 A other iterestig case of applicatio is the case of the Yukawa potetial that is commoly used as a approximatio i the case whe there are particles with positive ad egative charge ad which is of the form Kx = e x /λd x where λ D > 0 is the Debye legth which represets the characteristic size of the iteractio. Remark 1.. A other good example of potetials verifyig the assumptios of the theorem are potetials of the form 3 Kx = ±1 x a with a = d b 1 1 8 7 whe d = 3. I dimesio d = 4 d = 5 ad d 6 oe ca eve better take respectively a 1 3 a 1 16 9 ad a 1. Of course regular potetials also eter the scope of this first theorem as log as they decay sufficietly at ifiity so that we ca take for example for ay a > 1. Kx = ±1 1 + x a Remark 1.3. Sice ρ L 1 + it is a Hilbert-Schmidt operator that ca be writte as a itegral operator of kerel x y ad it ca also be diagoalized by the spectral theorem. Hece we ca write for ay ϕ L 4 ρ ϕx = x y ϕy dy = λ j ψ j ψ j ϕ R d j J where ψ j j J L J with J N is a orthogoal basis. The space desity ca the be writte ad the space momets ρx := x x = j J λ j ψ j x Tr x ρ = ρx x dx. R d For eve itegers N the velocity momets ca be writte Tr p ρ = λ j ψj 5. j J R d Remark 1.4. Notice that the existece theory for both Hartree ad Vlasov equatios is already quite well uderstood see for example [4 5 33 14 34 15] for the Hartree equatio ad [37 51 46] for the Vlasov equatio. For more sigular potetials tha the Coulomb potetial remark that by the real iterpolatio defiitio of Loretz spaces our hypothesis 1 o K implies K L p + L q for ay p q such that 0 < p < b < q <
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 5 where oe ca take p = d+8 d+8 sice b > b 4. Moreover by Sobolev embeddigs sice b > d 3 K L r0 + L with r 0 > d ad also with r 0 > d+4 4 whe d 3 sice b > b 4. Therefore our assumptios implies hypotheses 90 ad 91 i [36] ad so the existece of solutios for both equatios. Remark that as i our previous paper [35] we are ot tryig to prove here the propagatio of regularity for ψ. I particular the global i time propagatio for = 1 of the multi-sobolev orms defied by Formula 5 is proved i [15 Appedix] i the case of the Coulomb potetial where they are deoted by Ψ H λ for Ψ = ψ j j J. The same aalysis ca be performed for our class of potetials. Thus sice we assume iitially bouded velocity momets of order this implies that our solutios will always satisfy Ψ L loc 0 T H λ but with a boud a priori ot uiform i. Hece the difficulty lies i the fact to obtai idepedet bouds which prevet for example to estimate separately each part of the commutator appearig i Hartree equatio. We ca state the aalogue of this theorem for solutios of the Vlasov equatio Propositio 1.1. Let d 3 N r [1 ] ad assume K verifies Coditio 1. Let f be a solutio of the Vlasov equatio with oegative iitial coditio f i L r xξ L1 1 + x + ξ. The there exists a explicit costat C > 0 such that if R d f i x ξ x dx dξ < C the R d f x ξ x tξ dx dξ L R +. Remark 1.5. For the Vlasov equatio cotrarily to the Hartree equatio we geerally ot have strog solutios i our settig the velocity momets are ot derivatives i the classical case. However we still have global existece of reormalized solutios see [17 18]. We ca use the first theorem to obtai good estimates o the space ad velocity momets ad o the spatial desity that do ot deped o. Theorem. Let d 3 r [d ] N\{0 } ad assume 6 K L b with b max b 4 d 3 d ad let ρ be a solutio of the Hartree equatio with iitial coditio ρ i L r L 1 +1 + x 4 + p for a give eve iteger 4. The there exists a costat C depedig o M 0 Tr p 4 ρ i K L b ad ρ i L r such that if Tr x 4 ρ i C
6 LAURENT LAFLECHE 1 the there exists c = c dr 0 ad C > 0 depedig o the iitial coditios such that 7 8 9 Tr p ρ C t c Tr x ρ C t c+1 ρ L p C t d/p where p = r + d 4 ad t = 1 + t. Moreover if Tr x ρ i is sufficietly small the we ca get more precise estimates where p = r + d. Tr p ρ C Tr x ρ C t ρ L p C t d/p We ca oce more state the aalogue result for the Vlasov equatio. Propositio 1.. Let d 3 r [d ] N\{0 } ad assume K verifies 6. Let f be a solutio of the Vlasov equatio with oegative iitial coditio f i L r xξ L 1 xξ1 + x 4 + ξ for a give eve iteger 4. The there exists C > 0 such that if R d f i x ξ x 4 dx dξ C the there exists c = c dr > 0 ad C > 0 depedig o the iitial coditios such that Rd ft x ξ ξ dx dξ C t c R d ft x ξ x dx dξ C t c +1 ρ f L p C t d/p where p = r + d 4. As i the previous theorem oe ca take c = 0 ad p = r + d if the iitial space momets of order are small. Before statig the result about the semiclassical limit we recall the defiitio of the semiclassical Wasserstei-Moge-Katorovitch distace itroduced by Golse ad Paul i [7]. We say that γ L 1 R d P is a semiclassical couplig betwee a classical kietic desity f L 1 PR d ad a desity operator ρ P ad we write γ C f ρ whe Trγz = fz γz dz = ρ. R d The we defie the semiclassical Wasserstei-Moge-Katorovich pseudo-distace i the followig way 10 W f ρ := if γ C fρ R d Trc zγz dz 1
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 7 where c zϕy = x y + ξ p ϕy z = x ξ ad p = i y. This is ot a distace but it is comparable to the classical Wasserstei distace W betwee the Wiger trasform of the quatum desity operator ad the ormal kietic desity i the sese of the followig theorem. Theorem 3 Golse & Paul [7]. Let ρ P ad f PR d be such that fx ξ x + ξ dx dξ <. R d The oe has W f ρ d ad for the Husimi trasform f of ρ it holds 11 W f f W f ρ + d. See [8] for more results about this pseudo-distace ad the defiitio of the Husimi trasform. Our last theorem uses these results to obtai the semiclassical limit. We also recall the followig theorem which will gives us our assumptios o the classical solutio of the Vlasov equatio. Theorem 4 Lios & Perthame [37] Loeper [38]. Assume f i L xξ R6 verify 1 f i ξ 0 dx dξ < C for a give 0 > 6 R 6 ad for all R > 0 13 sup ess yw R 6 {f i y + tξ w x y Rt ξ w Rt} L loc R + L x L1 ξ. The there exists a uique solutio to the Vlasov equatio with iitial coditio f t=0 = f i. Moreover i this case the spatial desity verifies ρ f L loc R + L. Theorem 5. Let d 3 ad assume K B 1 1 L b with b max b 4 d 3 d. Let ρ be a solutio of the Hartree equatio with iitial coditio ρ i P verifyig i [[1 d] p 0 i ρ i L ρ i L L 1 +1 + p 1 where p i := i i [[1 d] = [1 d] N ad 0 N is such that 0 > d d +b 0 1. b 1 Let f is a solutio of the Vlasov equatio with iitial coditio f i verifyig the hypotheses of Theorem 4 ad of mass M 0 = 1. The there exists a costat C > 0 depedig o Tr p 4 ρ i K L b ad ρ i L such that if Tr x 4 ρ i C the there exists a costat C > 0 depedig o the iitial coditios such that 14 ρt L C t 01+ c b
8 LAURENT LAFLECHE 1 where c = c is give by 7. Agai if additioally Tr x ρ i is also sufficietly small the oe ca take c = 0. Moreover the followig semiclassical estimate holds W ft ρt W f i ρ i eθλt e eλt with θ = sigl W f i ρ i λt = C i t 1+01+ c b C i = 1 + C K B 1 1 sup t ρ f t L + ρt L t 01+c/b for some costat C > 0 idepedet from the iitial coditios. Remark 1.6. Agai the additioal assumptio K B1 1 is compatible with a kerel with a Coulomb sigularity i dimesio d = 3 such as the oe give i Remark 1.1. However higher local sigularities such that the oe from Equatio 3 are ot admissible for this result. This seems atural sice eve the uiqueess of solutios for the Vlasov equatio is ot kow for such sigular potetials. Remark 1.7. This theorem implies a result of covergece i the classical Wasserstei distace at a rate C t Ct as soo as the quatity W f i ρ i is iitially smaller tha some power of. I particular this implies weak covergece of the Wiger trasform of the solutio of the Hartree equatio to the solutio of the Vlasov equatio. Remark that by [7 Theorem.4] W f i ρ i is always larger tha d. The fact that W ca be cotrolled by the classical Wasserstei distace up to a error term d ca be proved for example whe the iitial states are superpositio of coheret states ad this leads to results that ca be writte uiquely i term of the classical Wasserstei distace as i [35 Sectio 7].. Free Trasport We wat to use the time decay properties of the kietic free trasport equatio which writes for f = ft x ξ t f + ξ x f = 0. I quatum mechaics free trasport is give by the free Schrödiger equatio i t ψ = H 0 ψ where = h π ad H 0 = which ca be writte H 0 = p with the otatio p = i. The solutio correspodig to the iitial coditio ψ i ca be writte T t ψ i where the semigroup T t is give by 15 T t ψ = e ith0/ ψ = e iπ x /ht iht d/ ψ. The correspodig equatio for desity operators ρ P is 16 i t ρ = [H 0 ρ] whose solutio is S t ρ i where the semigroup S t is defied by 17 S t ρ := T t ρt t.
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 9 As it ca be easily oticed it holds T t = T 1 t = T t ad for ay ρ 1 ρ P Sρρ = SρSρ. Moreover a straightforward computatio shows that 18 S t p = p S t x = x tp. By the spectral theory it implies that S t fx = fx tp for ay ice fuctio f. By aalogy we ca defie the operator of traslatio of the impulsio p by 19 T t ψx := e π x t ih ψx = G t xψx S t ρ := T t ρ T t which verifies the equatio [ ] x i t S t ρ = S t ρ ad the two followig relatios 0 S t x = x S t p = p tx. We recall the quatum kietic iterpolatio iequality that was already used i [35 Theorem 6]. For k N we defie ρ k := λ j p k ψj = diag p k k ρ p j J ad for r 1 ad 0 k we defie the expoet p k by its Hölder cojugate 1 p k = p k with p = r + d. The the followig iequality holds Propositio.1. Let k N be such that k ad ρ L 1 ρ L r + for a give r [1 ]. The there exists C = C drk > 0 such that where θ = r p. k ρ k L p k C Tr p ρ 1 θ ρ θ L r From this result we ca get a iequality with a additioal time decay if we replace the velocity momets by the Euleria momets Tr x tp ρ. Corollary.1. Let N r [1 ] p := r + d ad θ = r p. The ρ L p 1 t d/p Tr x tp ρ 1 θ ρ θ L r. Proof of Corollary.1. We just remark that by Formula 0 we get t Tr x tp ρ = Tr p x/t ρ = Tr S1/t p ρ = Tr p S 1/t ρ. Moreover sice T is a uitary trasformatio the followig idetities hold diag St ρ = G t x x x G t x = ρx S 1/t ρ L r = ρ L r.
10 LAURENT LAFLECHE 1 The by the iterpolatio Iequality we get ρ L p = diag S 1/t ρ L p Tr p S 1/t ρ 1 θ S 1/t ρ θ L r t 1 θ Tr x tp ρ 1 θ ρ θ L r. Fially we remark that 1 θ = r +d/ r r +d/ = d p to get the result. 3. Propagatio of momets 3.1. Classical case. I this sectio we defie the classical Euleria velocity ad space momets by L := ft x ξ x tξ dx dξ R d M := ft x ξ ξ dx dξ R d N := ft x ξ x dx dξ. R d Propositio 3.1 Classical large time estimate. Let rb [1 ] [b ] K L b ad f L R + L r xξ L1 xξ be a oegative solutio of Vlasov equatio. The for ay N there exists a costat C = C dr > 0 such that dl dt C K L M Θ0 b 0 f i r L 1+ a b t L r xξ t a where a = d b 1 ad Θ 0 = 1 a r b. Proof. We write f = ft x ξ E = Ex ad we compute dl = x tξ ξ x f E ξ f x tξ x tξ ξf dx dξ dt R d = t f x tξ x tξ E dξ dx. R d By Hölder s iequality we deduce for t 0 ad ay p 1 dl dt R t f x tξ 1 dξ E L p d L p x t R f x t ξ 1 dξ K ρ f d L p L p x C K t R ft x ξ + x t ξ 1 dξ f dξ d L p x R d L q where we used Hardy-Littlewood-Sobolev s iequality with C K = K L b p 1 such that 3 1 p + 1 q = 1 b. ad
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 11 The we wat to use the classical kietic iterpolatio iequality which tells that for p k = k r + d ad g = gx ξ 0 it holds 4 gx ξ ξ k 1 r dξ C dr gx ξ ξ R d L p k R /p k r dξ dx g /p k L. r d xξ Sice 1 + 1 1 p = r 1 1 + 1 = + 1 + d/ r + d = 1 1 b b p 1 we ca choose p p 1 ad q p 0 verifyig 3. Take p := p 1. The 1 < q p ad by iterpolatio f dξ M 1 p p q 0 f dξ /q R d L q R d L p. Usig the above iequality ad the the iterpolatio iequality 4 for k = 0 ad k = 1 yields dl dt C dr C K t M 1 p q 0 ft x ξ + x t p ξ 1 dξ f dξ R d L p x R /q d L p C dr C K t r 1+ 1 1 b M + 1 1 b d 1 d 0 f r b L ft x ξ + x r xξ t b ξ dξ. R d With a = d b 1 ad by a chage of variable we get dl dt C drc K t M 1 r b a 0 f r b L ft x ξ ξ x r xξ t dξ R d C dr C K t a M 1 r b a 0 f r b L ft x ξ x tξ dξ r xξ R d which is the expected iequality. 1+ a 1+ a 3.. Boudedess of Euleria momets. We defie ρ := S 1/t ρ ad for N ρ := diag p / ρ p / l := t ρ. We also itroduce the followig otatios for the Euleria velocity ad space momets L := Tr x tp ρ M := Tr p ρ N := Tr x ρ as well as the correspodig momets M ad Ñ for ρ. I particular sice we have L = Tr x tp ρ = t Tr p x/t ρ = t Tr p ρ = t Trp / ρ p / we obtai with these otatios L = R d l M = R d ρ ad N = R d ρx x dx.
1 LAURENT LAFLECHE 1 3..1. Log time estimate. To obtai a differetial iequality which will give us the log time behavior of the solutio we first eed the followig time depedet iterpolatio iequalities. Propositio 3.. Let 0 k ad p k := k p ad p [1 p k ]. The for ay α k there exists a costat C = C drk > 0 such that 5 6 where ρ k L p C M 1 θ kα α M θ kα r p l k L p C t d/p L 1 θ kα θ kα = p α p r p ρ L r α L θ kα r p + k α α. Proof. By the kietic iterpolatio iequality 1 r p ρ k L p k C drk M k ρ r p ρ L r r p k L. r Therefore sice p p k by iterpolatio betwee L p spaces we get ρ k L p ρ k 1 θ L ρ k θ 1 L p k CM 1 θ k M θ r p r p ρ L r where θ = θ kk = p k p ad we used the fact that ρ k L 1 = M k. It already proves Iequality 5 for k = α. Sice k [α ] we ca also boud M k i the followig way M k M k α 1 α α M k α α which yields Iequality 5. To get 6 we follow the proof of Corollary.1. Sice S preserves the Schatte orms we ca write ρ L r = ρ L r. Hece by replacig ρ by ρ i the kietic iterpolatio iequality ad multiplyig by t k we obtai l k L p k = t k ρ k L p k Next we remark that k + r p k = k + Ct k Tr p S 1/t ρ 1 r p k S 1/t ρ r Ct k Tr p x/t 1 ρ Ct 1 k r r + d/ r k + 1 r p p k L k ρ r p p k ρ k L r r p k L. r r p k L r d/ = k r = d + d/ p k ad we deduce Iequality 6 agai by iterpolatio of L p betwee L 1 ad L p k ad by iterpolatio of L k betwee L α ad L.
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 13 Propositio 3.3 Large time estimate. Let rb [1 ] [b ] K L b ad ρ L R + L r L 1 + be a solutio of the Hartree equatio. The for ay N there exists a costat C = C dr > 0 such that dl dt C K L M Θ0 b 0 ρ i r b L r where a = d b 1 ad Θ 0 = 1 a r b. L 1+ a t t a Proof. We first remark that by Formula 18 ad spectral theory we deduce x tp = S t x. Therefore by defiig H 0 := p by defiitio of S t i t S t x = [H 0 S t x ] = [H 0 x tp ]. Hece by differetiatig L with respect to time we obtai i t L = Tr[H 0 x tp ] ρ + x tp [H 0 + V ρ] = Tr[H 0 x tp ] ρ + [ x tp H 0 + V ] ρ = Tr[ x tp V ] ρ. The we use the operator S t of traslatio i the x directio defied i 19. By formulas 0 ad spectral theory we deduce that for ay t R S t V = V. Therefore we deduce i t L = t Tr[ p x/t V ] ρ = t Tr [ S1/t p V ] ρ = t Tr [ S1/t p S 1/t V ] ρ = t Tr S1/t [ p V ] ρ = t Tr[ p V ] ρ. As it has bee proved i [35 Equatio 38] this expressio ca be bouded i the followig way Tr[ p V ] ρ C K M 1 1 1 1 sup ρ a L ρ a+b+c =/ 1 α b L ρ β c where a b c N d 3 are multi-idices with a = a 1 +... + a d ad 7 b = 1 α + 1 β + 1 γ C K = C d K L b. As i [35 Proof of Theorem 3 Step ] we remark that for the expoets p k defied i 1 ad multi-idices such that a + b + c = / 1 we have 1 p + 1 a p + 1 b p = 1 a + b + c + 1 b p 3 = r + d =. b Therefore sice b b we ca fid α β γ [1 p a ] [1 p b ] [1 p b ] verifyig 7 ad use the iterpolatio iequality 6 for α = 0. By the defiitio L γ
14 LAURENT LAFLECHE 1 of l k ad the fact that L 0 = M 0 we deduce t L C K t / a + b + c L 1 C K t L 1 sup a+b+c =/ 1 C dr C K M Θ0 0 ρ Θ1 L r t a L Θ sup a+b+c =/ 1 1 l a 1 1 1 l a l b l c L α L β where a = d 1 α + 1 β + 1 γ 1 = d b 1 Θ 0 = 1 1 3 p α + 1 β + 1 a + b + c γ 1 1 l L α b l L β c = 1 + 1 p b = 1 a r b Θ 1 = r 1 α + 1 β + 1 γ = r b Θ = 1 1 1 + p α + 1 β + 1 a + b + c 1 γ + r α + 1 β + 1 γ = 1 + 1 d b 1 = 1 + a. We coclude by recallig that ρ L r = ρ i L r sice the Hartree equatio preserves the Schatte orm. 3... Short time estimate. To prove the short time estimate we will use the boudedess of M ad N for short times to get the boudedess of L. To achieve this we first eed some lemmas to boud traces expressios with products of x ad p by M ad N. Lemma 3.1 Iterpolatio for weighted traces. Let 0 k ad A = p or A = x. The for ay operator ρ 0 we have the followig iequalities 8 Tr A k ρ TrA ρ k Trρ 1 k. Proof. By our defiitio of the absolute value for two positive operators we have AB = BA B. Therefore the lemma follows from Hölder s iequality for the trace ad Araki-Lieb-Thirrig iequality [5] sice Tr A k ρ = A k 1 ρ A k k ρ k ρ 1 1 k k L γ A 1 ρ k L γ Trρ 1 k ad the right-had side here is exactly the right-had side of Iequality 8. I the more geeral case of mixed product of x ad p for ay i [[1 d] we ca defie the set Z k i = {z i1... z i j [[1 ] z ij = x ij or z ij = p ij {j zj = p j } = k}. of operators z cosistig of a product of k partial derivatives ad k multiplicatios by a coordiate of x ad look at the followig quatities Trz ρ = Trz i1... z i ρ.
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 15 We deote by Zk := i [[1d]] Z k i. The we have the followig Lemma. Lemma 3.. Let N k [[1 1] ad Zk = sup Trz ρ. z Z k The there exist a iteger I [[0 ] ad a costat C > 0 depedig oly o d ad k such that for ay operator ρ 0 I Zk M k N 1 k + C Z i 1 k 1 M i k N 1 i 1 9 k. i=0 Moreover Z 0 = N ad Z = M. This implies the fact that that for ay ε > 0 there exists C ε > 0 such that 30 Z k ε N + C ε M + M0. Remark 3.1. I the case k = 1 sice Z0 = N N the followig iequalities I Z1 M 1 N 1 1 + C i M 1 i i N 31 i=0 C M 1 N 1 1 + M 0 N 1 0 M 1 1 1+ i Remark 3.. For N by expadig Tr x p ρ with the formula 3 1 Tr x p ρ = Tr x ρ + Tr p ρ + k=1 z Z k M 0 this leads to C z Trz ρ usig the above lemma ad Youg s iequality ad replacig by t we obtai for ay ε > 0 33 Tr x tp ρ 1 + ε Tr x ρ + C ε Tr tp + t ρ. Proof. The idea of the proof is to reiterate commutatio of operators z i ad Hölder s iequality for the trace. We start with the simplest case =. Step 1. Case =. I this case it is sufficiet to look at Tr xi p j ρ for ay i j [[1 d]. By Hölder s ad Youg s iequalities we get 34 Tr x i p j ρ = Tr ρ 1 xi p j ρ 1 ρ 1 pj xi ρ 1 N 1 M 1. Step. Case >. Let z Zk. Sice we have the followig commutatio relatios for j k [[1 d] 35 36 [x j p k ] = [ ] p j p k = [xj x k ] = [x j x j ] = 0 [ ] xj p j = i ay commutatio operatio of the form 36 of two adjacet z j i Trz ρ = Trz i1... z i ρ will add a term of the form Tr z ρ with z Z k 1. Therefore we will use the otatio C i the followig steps to deote a term of the form C = C z Tr z ρ z Z k 1
16 LAURENT LAFLECHE 1 for some costats C z > 0. Hece we ca write Trz ρ Tr p α x β ρ + C Tr ρ 1 p α x β ρ 1 + C with α β N d such that α = k ad β = k where we use the multi-idex otatios α = α 1 + + α d x β = x β1 1... xβ d d ad pα = i α x α1 1... x α1 1. If α the we ca write β = γ δ with γ = α 0 ad δ = so that by Hölder s iequality Tr p α x β ρ ρ = Tr ρ 1 p α x γ x δ ρ 1 1 Tr p α x γ 1 x Tr δ ρ 1 1 Tr p α x γ p α ρ 1 N 1 Tr p α x γ ρ 1 N 1 + C 1 N 1 where we used the iequality a + b a + b. If α = the γ = 0 ad Tr p α x γ ρ M. If α < remark that Tr p α x γ ρ = Tr p α 1 x β 1ρ with α 1 = α ad β 1 = γ which is of the same form as the term Tr x α p β ρ we started from but with α1 = α > α. We ca cotiue repeatig this process creatig i this way a sequece α i i {1...j} as log as αi 1 < ad with the property that αi = i α is icreasig ad βi = αi is decreasig. If the last term of this sequece α j verifies α j = the β j = ad we get Trz ρ Tr p α j x β j ρ 1 M 1 j+1 j N 1 1 j + N 1 j+1 1 j+1 + i=0 j i=0 C 1 i N 1 1 i C 1 i N 1 1 i where C depeds o i. If this is ot the case the we get αj so we are i the case of terms of the form Tr p α x β ρ with α >. For such a term we do the same reasoig as i the case α < but replacig the role of x ad p. This gives us a sequece α i β i i [[jj]] with β i < strictly icreasig α i > strictly decreasig ad such that Tr p α j x β j ρ Tr p α j x β j ρ 1 j j M 1 1 j j + j j i=1 C 1 i M 1 1 i. Oe more time the last term verifies either αj = either αj < i which case we cotiue to create the sequece as we did for i j. If the sequece αi i N ever coverges to there is a periodic orbit. More precisely sice the sequece αi i N takes values i the fiite set [[1 1]\{ } we deduce that it will come back twice at the same poit i.e. there exists i 0 i 1 N such that 0 < i 0 < i 1 < α i0 = α i1 ad 37 Tr p α i 0 x β i 0 ρ Tr p α i 1 x β i 1 ρ i M θ i N εi + i i=1 C i M θi N εi
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 17 where i = i 1 i 0 ad θ i ε i 0 1 are such that θ i + ε i = 1 i =: τ i. From Iequality 37 usig Youg s iequality o the first term of the right-had side ad removig i Tr p α i 0 x β i 0 ρ o both side yields ad this leads to τ i Tr p α i 0 x β i 0 ρ τ i M θ i τ i N ε i τ i + i i=1 Trz ρ Tr p α i 0 x β i 0 ρ i 0 M Θ i0 N Ei 0 + M Θ N E + i 1 i=0 C i M Θi N Ei C i M θi N εi i 0 i=0 C i M Θi N Ei where Θ i E i = Θ i0 E i0 + i0 θ i i0 ε i i0 if i > i 0 ad Θ = i 0θ i τ i particular sice Θ i1 = Θ i0 + i0 θ i we deduce that Θ = Θ i0 + 1 Θ i1 Θ i0 = Θ i1 + i0 τ i i1 Θ i0 i 1 Θ i0 > Θ i1 ad similarly E = 1 Θ > E i1. I all the cases we ed up with a iequality of the form 38 Trz ρ M Θ N E + I i=0 C i M Θi N Ei + Θ i0. I where Θ i i [[0I]] ad E i i [[0I]] are two icreasig sequeces with values i [0 1 such that E i + Θ i = τ i Θ Θ I ad E E I. Step 3. Rescalig. Replacig by λ for some λ > 0 ad dividig Formula 38 by λ k yields Trz ρ λ Θ k M Θ N 1 Θ + I i=0 i=0 λ Θi τik C i M Θi N τi Θi. Takig λ = N 1 M 1 we arrive at the followig formula I Trz ρ M k N 1 k + C i N τi1 k M τi k. from which we deduce 9. Formula 30 the follows by a iductio o Lemma 3.1 ad Youg s iequality. To get a short time Euleria momet estimate we use [35 Theorem 3] which tells us that for ay N ad b > maxb 4 b there exists a time 39 T = T K L b ρ i L r M 0M i dr ad a positive costat m depedig o K ρ i L r M 0 M i d r ad such that 40 k t [0 ] [0 T ] M k t m.
18 LAURENT LAFLECHE 1 Propositio 3.4 Short time estimate. Assume 0 1 ad let N\{0} r [1 ] K L b for b maxb 4 b ] ad ρ L [0 T ] L r L 1 +1 + x + p be a solutio of the Hartree equatio. The for ay t [0 T ] it holds L Tr x ρ i + C dt m 1 + t where T is give by 39. Proof. We first remark that [ x p ] = i x p i x = i x x p i d +. Therefore recallig the otatio N := Tr x ρ ad usig the fact that x commutes with V x we ca compute [ ] dn = 1 dt i Tr x p + V ρ = x Tr x p i d + ρ = Tr x x p ρ i d + Tr x ρ. But sice N remais a real umber its derivative is the same as the derivative of its real part ad we fially obtai dn 41 = Tr x x p ρ. dt This quatity ca be bouded usig Iequality 31 leadig to 4 dn dt C M 0 N 1 + C M 1 N 1 1. Sice M is uiformly bouded o [0 T ] by the boud 40 we deduce by Growall s Lemma that N is also bouded uiformly o [0 T ]. Therefore sice we ca write N 1 C T N o [0 T ] with CT = N L 0T depedig oly o the iitial coditios. Thus Iequality 4 implies t N C T N with C T = M 0 + C C T m 1. Therefore usig oce more Growall s Lemma N t N i + C T t 1 N i + C 43 T t. Fially by Iequality 33 with 1 + ε = 1/ ad the fact that t T we obtai L N + C t M + t M 0 N i + t C T + C T m + C M0 which yields the result.
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 19 3..3. Global estimate. To prove the first theorem we will ow combie the short time estimate which tells that L is ot growig fast iitially with the log time estimate which works oly whe L is ot to large after a short time. Sice by assumptio L is small iitially the combiatio of these estimates will give us a global boud o L. Proof of Theorem 1. Sice b < d we have a := d b 1 > 1. Thus by Growall s Lemma ad Propositio 3.3 for ay t > τ > 0 we obtai L t a/ L τ a/ + 1 1 A t a 1 1 τ a 1 L τ a/ 1 Aτ a 1 where A = 1 1. a C K L b M Θ0 0 ρ i r b L r Combiig the above iequality with Propositio 3.4 we kow that there exists T such that for ay τ 0 T ] ad t > 0 it holds L t N i + C T τ a 1 /a Aτ a 1 as soo as the right-had side is positive ad with C T = C TN i M4 i M0. Now we choose τ ad N i so that this positivity property holds. Sice b > d 3 we have < a = a a 1. Thus we ca defie τ 0 := mi T AC a T a ad N := A a τ a 0 C T τ 4 0. We remark that N 0 sice Takig τ = τ 0 ad N i τ 0 AC a T a = CT τ 4 a 0 A a = N 0. < N we obtai that C TN i M4 i := M0 N i + C T τ 4 0 1 a Aτ0 a 1 > N + C T τ 0 a 1 Aτ0 a 1 = 0. We deduce that for ay t > 0 which proves the result. L t < C a TN i Mi 4 M0 3.3. Applicatio to the semiclassical limit. We fix ow ρ 0 a solutio of the Hartree equatio ad we assume 1 or equivaletly we do ot write the depedece of costats that are bouded whe 0. We will ow use the uiform i time estimate o L ad agai the differetial iequality for N to obtai bouds o N ad M. To implemet this strategy first remark that by defiig ρ := S 1/t ρ ad M := Tr p ρ the as i the proof of Corollary.1 it holds 44 t M = t Tr p S 1/t ρ = Tr x tp ρ = L
0 LAURENT LAFLECHE 1 while Tr x ρ = N ad Tr ρ = M 0 are uchaged by this trasformatio. Similarly we also have t M = Tr x + tp ρ Expadig the right-had side of this iequality as i Equatio 3 ad the usig Formula 44 we obtai 45 t M N + L + C 1 t k Z k k=1 where Z k = sup z Z Trz ρ. From this iequality ad the result of Theorem 1 k we obtai the followig bouds. Propositio 3.5. Uder the hypotheses of Theorem 1 it holds N N i + C t + t M C ad for ay k [[0 ] Z k C t k t k where the costats C > 0 ivolved depeds o K L b M 0 M i ρ i L r d ad r. Proof. Oce agai we will proceed by iductio o. Step 1. Case =. I this case coservatio of eergy together with the d+ r boudedess of the potetial eergy by M as soo as K L 4 + L implies that M is uiformly bouded idepedetly from ad t see e.g. [35 Remark 3.1] or [36]. By Sobolev s embeddig this is always true if K L b4. The by Formula 41 ad Iequality 34 we deduce dn dt = Trx p ρ M 1 N 1 which by Growall s iequality yields N t N 0 1 + m t where m = M L R +. The by Formula 44 we obtai Trx p ρ M 1 Ñ 1 = t 1 L 1 N 1 C t 1 t from which we easily deduce that Z 1 C t 1 t. Fially Z 0 = N C t ad Z = M = L t. Step. Case >. We go back to Equatio 41 which together with Iequality 9 with k = 1 ad the fact that by our iductio hypothesis Z0 = N C t implies that 46 dn dt M 1 N 1 1 M 1 N 1 1 + C i=0 t i M 1 i N 1 i 1 1 + C t + t ε M 1 ε N 1 ε1 1
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 1 with ε =. Remark that we ca replace N by N := 1 + N i Iequality 46. From Theorem 1 we kow that L is bouded by a costat hece by Iequality 45 we ca boud M by 47 M N t + C 1 t + C t k Z k. To cotrol Z k we use Iequality 9 with ρ. Together with the the iductio hypothesis o Z k 1 the fact that M C t ad the fact that Ñ = N N we get Z k C t k N 1 k + C t i k t i 1 k N 1 i 1 k 48 i=0 C t k N 1 k + t 1 k t 1 k + t ε k t ε 1 k N 1 ε1 k. where the secod iequality follows from Youg s iequality for the product. Puttig these iequalities back ito Formula 47 ad usig agai Youg s iequality we obtai for ay t τ > 0 49 M N t + C N 1 1 τ t + 1 t for some costat C τ depedig o τ. Together with 46 ad the fact that t τ ad N 1 this implies dn N dt N 1 1 t + C τ + N 1 1 + t + N 1 ε t t 1 t + N 1 ε1 1. 1 ε 1 t 1 ε 1 or equivaletly for N = N t N 1 1 d N dt C τ t 1+ 1 + N 1 1 t 1+ 1 + t + k=1 1 ε N t 1+ε + N 1 ε1 1 =: F t 1+ε1+ N t 1 with F C 1 0 [τ. Takig yt as the solutio of y t = Fyt t with iitial coditio yτ = Nτ we see that y t 0 hece yt yτ > 0. Therefore up to multiplyig by a costat depedig o τ we ca keep oly the biggest powers of y ad t i Fy t if we just wat to boud y by above. This leads to y yt 1 ε t C τ t 1+ε where we used the fact that ε 1 = sice 4. This implies that for ay t > τ yt ε yτ ε + C τ is bouded if yτ is bouded. However we already kow by Iequality 43 that N t N i+c T t for ay t [0 T ] for some T > 0. Therefore takig for example τ = T we obtai that yτ = N T + 1 T is bouded. Therefore y is bouded for t T ad also N sice N t N i + C T t if t T N t = Nt t 1 yt t C τ t if t T. The boud o M is the a immediate cosequece of Iequality 49 for large times ad the fact that M is bouded o [0 T ] while the boud o Z k is a cosequece of Formula 48.
LAURENT LAFLECHE 1 Actually it is sufficiet to use the coditio of smalless of momets for = 4 to get a global propagatio of higher momets as soo as b 4 > b which correspods to r >. This leads to the followig propositio. d d 1 Propositio 3.6. Uder the coditio of Theorem M L loc R + ad more precisely there exists c = c dr 0 ad C > 0 depedig o the iitial coditios such that M C t c. Proof of the propositio ad of Theorem. Sice b b 4 ad b d 3 we ca use Propositio 3.5 for = 4 ad deduce M 4 C for a give C > 0. This already proves the result i the case = 4 so that we assume ow that 6. The we use Formula 44 from [35] which reads 50 with dm dt C dr C K ρ i Θ L r M Θ0 M Θ Θ = 1 + 1 Θ 0 = 1 ε b b 3 r p 1. where ε = Θ = 3 Θ 1 Θ 0 r + d r + d r. + 3d b I particular sice r d the b is a o-icreasig sequece ad we deduce that for ay 6 b > b 4 b which implies that Θ < 1. We the obtai Iequality 7 by Growall s Lemma ad by iductio over N. From this boud Formula 8 about N ca be deduced by usig agai Iequality 4 ad Growall s Lemma. Fially sice we kow by Theorem 1 that L 4 is bouded the asymptotic behavior of ρ i Formula 9 is a cosequece of Corollary.1. The other iequalities follows from Propositio 3.5. Proof of Theorem 5. The hypotheses of Theorem are fulfilled with r = thus we deduce the existece of oegative costats c ad ν M such that M ν M t c. Therefore we ca use [35 Propositio 5.3] which tells us that for ay 0 N verifyig d < 0 1 b 1 + 1 d b it holds 51 c d0 ρt L ρt L m 0 ρ i L m + C ρ i t + t 0 M 1 1 b 0 0 ρ i L m + C ν M ρ i t 01+ c b
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 3 1+ 0 where m = 1 + d i=1 p0 i ad C ρ i = C d0 K L b 1 + M 0 0 ρ i b. L This proves 14. As i [7 Sectio 4] we the defie the time depedet couplig γ = γt z with z = x ξ as the solutio to the Cauchy problem t γ = v x E ξ γ + 1 [H γ] i with iitial coditio γ i C f i ρ i. As proved i [7 Lemma 4.] the couplig property is preserved by the dyamics ad so γ Cft ρt. We also defie with the otatios of 10 the quatity E = E t := Trc zγz dz R d so that by the defiitio 10 of W we have 5 de dt W ft ρt E. Moreover remark that by [7 Theorem.4] the left-had side here is bigger or equal to d so that E d. The as i [35 Proof of Propositio 6.3] we obtai E + 14 1 E le E + E C 1 E + d + C with C 1 = C K max 1 ρt L ρ f t L ρt 1 L ad C = C K ρt L with C K = C d K B 1. Usig the facts that E d ad C C 1 ad dividig the 1 iequality by E this leads to d le dt 1 + 6 C 1 + C le 1 1 + 6 C1 + C le. Remark that the right-had side is a Lipschitz fuctio of le. Deotig by yt y 0 the solutio of t y = 1 + 6 C 1 + C y with iitial coditio y 0 we deduce by Iequality 5 ad compariso of ordiary differetial equatios that W ft ρt E t e ytle 0. Sice yt is a o-decreasig fuctio miimizig over E 0 yields 53 W ft ρt e yt lw ftρt. Recallig that 1 + 6C 1 ad C are bouded by above by a fuctio of the form bt = C i t 01+ c b we fid by solvig the equatio y = bt 1 + y that yt y0 + 1 e Bt 1 if y0 0 yt y0 e Bt + 1 e Bt if y0 0 ad yt 0 yt ebt 1 if y0 0 ad yt 0 1 y0 where Bt = t 0 bs ds ad Ci ρ = 1 + C d K B 1 sup f t L + ρt L 1 t t 0 1+c/b deped oly o the iitial coditios by Iequality 51. Remark that i the last case we have 0 y0 1 e Bt + 1 thus we obtai that yt e Bt 1 y0 1 e Bt + e Bt. Therefore we ca summarize the iequalities for ay values of y0 by yt y0 e sigy0bt + e Bt.
4 LAURENT LAFLECHE 1 We coclude by combiig this iequality with Formula 53. 4. Ackowledgmets This work has bee supported by Uiversité Paris-Dauphie PSL Research Uiversity. Refereces [1] L. Ambrosio A. Figalli G. Friesecke J. Giaoulis ad T. Paul. Semiclassical Limit of Quatum Dyamics with Rough Potetials ad Well-posedess of Trasport Equatios with Measure Iitial Data. Commuicatios o Pure ad Applied Mathematics 649:1199 14 011. [] L. Ambrosio G. Friesecke ad J. Giaoulis. Passage from Quatum to Classical Molecular Dyamics i the Presece of Coulomb Iteractios. Commuicatios i Partial Differetial Equatios 358:1490 1515 July 010. [3] L. Amour M. Khodja ad J. Nourrigat. The classical limit of the Heiseberg ad timedepedet Hartree Fock equatios: the Wick symbol of the solutio. Mathematical Research Letters 01:119 139 Ja. 013. [4] L. Amour M. Khodja ad J. Nourrigat. The Semiclassical Limit of the Time Depedet Hartree Fock Equatio: the Weyl Symbol of the Solutio. Aalysis & PDE 67:1649 1674 013. [5] H. Araki. O a iequality of Lieb ad Thirrig. Letters i Mathematical Physics 19:167 170 1990. [6] A. Athaassoulis T. Paul F. Pezzotti ad M. Pulvireti. Strog Semiclassical Approximatio of Wiger Fuctios for the Hartree Dyamics. Redicoti Licei - Matematica e Applicazioi 4:55 55 011. arxiv: 1009.0470. [7] V. Bach S. Breteaux S. Petrat P. Pickl ad T. Tzaeteas. Kietic Eergy Estimates for the Accuracy of the Time-Depedet Hartree-Fock Approximatio with Coulomb Iteractio. Joural de Mathématiques Pures et Appliquées 1051:1 30 Ja. 016. [8] C. Bardos ad P. Degod. Global Existece for the Vlasov-Poisso Equatio i 3 Space Variables with Small Iitial Data. Aales de l Istitut Heri Poicaré. Aalyse No Liéaire :101 118 1985. [9] C. Bardos L. Erdös F. Golse N. J. Mauser ad H.-T. Yau. Derivatio of the Schrödiger Poisso Equatio from the Quatum N-body Problem. Comptes Redus Mathematique 3346:515 50 Ja. 00. [10] C. Bardos F. Golse ad N. J. Mauser. Weak Couplig Limit of the N-particle Schrödiger Equatio. Methods ad Applicatios of Aalysis 7:75 94 000. [11] N. Beedikter V. Jaksic M. Porta C. Saffirio ad B. Schlei. Mea-Field Evolutio of Fermioic Mixed States. Commuicatios o Pure ad Applied Mathematics 691:50 303 016. [1] N. Beedikter M. Porta C. Saffirio ad B. Schlei. From the Hartree Dyamics to the Vlasov Equatio. Archive for Ratioal Mechaics ad Aalysis 11:73 334 016. [13] N. Beedikter M. Porta ad B. Schlei. Mea-field Evolutio of Fermioic Systems. Commuicatios i Mathematical Physics 3313:1087 1131 Nov. 014. [14] F. Brezzi ad P. A. Markowich. The Three-Dimesioal Wiger-Poisso Problem: Existece Uiqueess ad Approximatio. Mathematical Methods i the Applied Scieces 141:35 61 Ja. 1991. [15] F. Castella. L Solutios to the Schrödiger Poisso System: Existece Uiqueess Time Behaviour ad Smoothig Effects. Mathematical Models ad Methods i Applied Scieces 708:1051 1083 1997. [16] F. Castella. Propagatio of space momets i the Vlasov-Poisso Equatio ad further results. Aales de l Istitut Heri Poicare C No Liear Aalysis 164:503 533 July 1999. [17] R. DiPera ad P.-L. Lios. Solutios globales d équatios du type Vlasov-Poisso. Comptes Redus des Séaces de l Académie des Scieces. Série I. Mathématique 3071:655 658 1988. [18] R. J. DiPera ad P.-L. Lios. Global weak solutios of kietic equatios. Red. Sem. Mat. Uiv. Politec. Torio 463:59 88 1988. Publisher: Citeseer.
GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 5 [19] J. Dolbeault ad G. Rei. Time-depedet rescaligs ad Lyapuov fuctioals for the Vlasov-Poisso ad Euler-Poisso systems ad for related models of kietic equatios fluid dyamics ad quatum physics. Mathematical Models ad Methods i Applied Scieces 1103:407 43 Apr. 001. [0] L. Erdös ad H.-T. Yau. Derivatio of the Noliear Schrödiger Equatio from a May Body Coulomb System. Advaces i Theoretical ad Mathematical Physics 56:1169 105 001. [1] J. Fröhlich ad A. Kowles. A Microscopic Derivatio of the Time-Depedet Hartree-Fock Equatio with Coulomb Two-Body Iteractio. Joural of Statistical Physics 1451:3 Oct. 011. arxiv: 0810.48. [] J. Fröhlich A. Kowles ad S. Schwarz. O the Mea-Field Limit of Bosos with Coulomb Two-Body Iteractio. Commuicatios i Mathematical Physics 883:103 1059 Jue 009. arxiv: 0805.499. [3] I. Gasser R. Iller P. A. Markowich ad C. Schmeiser. Semiclassical t asymptotics ad dispersive effects for Hartree-Fock systems. ESAIM: Mathematical Modellig ad Numerical Aalysis 36:699 713 1998. [4] J. Giibre ad G. Velo. O a Class of o Liear Schrödiger Equatios with o Local Iteractio. Mathematische Zeitschrift 170:109 136 1980. [5] J. Giibre ad G. Velo. The Global Cauchy Problem for the o Liear Schrödiger Equatio Revisited. Aales de l Istitut Heri Poicare C No Liear Aalysis 4:309 37 July 1985. [6] F. Golse C. Mouhot ad T. Paul. O the Mea Field ad Classical Limits of Quatum Mechaics. Commuicatios i Mathematical Physics 3431:165 05 016. arxiv: 150.06143. [7] F. Golse ad T. Paul. The Schrödiger Equatio i the Mea-Field ad Semiclassical Regime. Archive for Ratioal Mechaics ad Aalysis 31:57 94 017. [8] F. Golse ad T. Paul. Wave Packets ad the Quadratic Moge-Katorovich Distace i Quatum Mechaics. Comptes Redus Mathematique 356:177 197 Feb. 018. [9] F. Golse ad T. Paul. Empirical Measures ad Quatum Mechaics: Applicatios to the Mea-Field Limit. Commuicatios i Mathematical Physics 1711:arXiv:1711.08350 Mar. 019. [30] F. Golse T. Paul ad M. Pulvireti. O the Derivatio of the Hartree Equatio from the N-Body Schrödiger Equatio: Uiformity i the Plack Costat. Joural of Fuctioal Aalysis 757:1603 1649 Oct. 018. [31] S. Graffi A. Martiez ad M. Pulvireti. Mea-Field Approximatio of Quatum Systems ad Classical Limit. Mathematical Models ad Methods i Applied Scieces 1301:59 73 Ja. 003. arxiv: math-ph/005033. [3] P. Gérard P. A. Markowich N. J. Mauser ad F. Poupaud. Homogeizatio Limits ad Wiger Trasforms. Commuicatios o Pure ad Applied Mathematics 504:33 379 1997. [33] N. Hayashi ad T. Ozawa. Smoothig Effect for Some Schrödiger Equatios. Joural of Fuctioal Aalysis 85:307 348 Aug. 1989. [34] R. Iller P. F. Zweifel ad H. Lage. Global Existece Uiqueess ad Asymptotic Behaviour of Solutios of the Wiger-Poisso ad Schrodiger-Poisso Systems. Mathematical Methods i the Applied Scieces 175:349 376 Apr. 1994. [35] L. Lafleche. Propagatio of Momets ad Semiclassical Limit from Hartree to Vlasov Equatio. Joural of Statistical Physics 1771:0 60 July 019. [36] P.-L. Lios ad T. Paul. Sur les mesures de Wiger. Revista Matemática Iberoamericaa 93:553 618 1993. [37] P.-L. Lios ad B. Perthame. Propagatio of momets ad regularity for the 3-dimesioal Vlasov-Poisso system. Ivetioes Mathematicae 105:415 430 1991. [38] G. Loeper. Uiqueess of the solutio to the Vlasov-Poisso system with bouded desity. Joural de Mathématiques Pures et Appliquées 861:68 79 July 006. [39] P. A. Markowich ad N. J. Mauser. The Classical Limit of a Self-Cosistet Quatum Vlasov Equatio. Mathematical Models ad Methods i Applied Scieces 301:109 14 Feb. 1993. [40] D. Mitrouskas S. Petrat ad P. Pickl. Bogoliubov correctios ad trace orm covergece for the Hartree dyamics. Reviews i Mathematical Physics page 195004 Feb. 019. arxiv: 1609.0664.
6 LAURENT LAFLECHE 1 [41] C. Pallard. Momet Propagatio for Weak Solutios to the Vlasov Poisso System. Commuicatios i Partial Differetial Equatios 377:173 185 July 01. [4] C. Pallard. Space Momets of the Vlasov-Poisso System: Propagatio ad Regularity. SIAM Joural o Mathematical Aalysis 463:1754 1770 Ja. 014. [43] B. Perthame ad P.-L. Lios. Time decay propagatio of low momets ad dispersive effects for kietic equatios. Commuicatios i Partial Differetial Equatios 13-4:801 806 Ja. 1996. [44] S. Petrat. Hartree Correctios i a Mea-field Limit for Fermios with Coulomb Iteractio. Joural of Physics A: Mathematical ad Theoretical 504:44004 017. [45] S. Petrat ad P. Pickl. A New Method ad a New Scalig for Derivig Fermioic Mea-Field Dyamics. Mathematical Physics Aalysis ad Geometry 191:3 Mar. 016. [46] K. Pfaffelmoser. Global classical solutios of the Vlasov-Poisso system i three dimesios for geeral iitial data. Joural of Differetial Equatios 95:81 303 Feb. 199. [47] P. Pickl. A Simple Derivatio of Mea Field Limits for Quatum Systems. Letters i Mathematical Physics 97:151 164 Aug. 011. [48] M. Porta S. Rademacher C. Saffirio ad B. Schlei. Mea Field Evolutio of Fermios with Coulomb Iteractio. Joural of Statistical Physics 1666:1345 1364 017. [49] I. Rodiaski ad B. Schlei. Quatum Fluctuatios ad Rate of Covergece Towards Mea Field Dyamics. Commuicatios i Mathematical Physics 911:31 61 Oct. 009. arxiv: 0711.3087. [50] C. Saffirio. Mea-Field Evolutio of Fermios with Sigular Iteractio. I D. Cadamuro M. Duell W. Dybalski ad S. Simoella editors Macroscopic Limits of Quatum Systems Spriger Proceedigs i Mathematics & Statistics pages 81 99 Cham 018. Spriger Iteratioal Publishig. arxiv: 1801.0883. [51] J. Schaeffer. Global existece of smooth solutios to the Vlasov-Poisso system i three dimesios. Commuicatios i Partial Differetial Equatios 168-9:1313 1335 Ja. 1991.