arxiv: v3 [math.ap] 15 Oct 2020

Size: px
Start display at page:

Download "arxiv: v3 [math.ap] 15 Oct 2020"

Transcription

1 GLOBAL SEMICLASSICAL LIMIT FROM HARTREE TO VLASOV EQUATION FOR CONCENTRATED INITIAL DATA arxiv: v3 [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 Mai results 3. Free Trasport 8 3. Propagatio of momets Classical case Boudedess of Euleria momets Applicatio to the semiclassical limit 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 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 Paris cedex 16 Frace CMLS École polytechique CNRS Uiversité Paris-Saclay 9118 Palaiseau cedex Frace. 1

2 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 [ ]. Some more precise quatitative results have also more recetly bee proved for smooth forces which are always at least Lipschitz i [ ]. 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 [ ] for Bosos ad i [ ] 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.

3 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 [ ] 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 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 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 whe d = 3. I dimesio d = 4 d = 5 ad d 6 oe ca eve better take respectively a 1 3 a 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 [ ] for the Hartree equatio ad [ ] 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 <

5 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 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 6 LAURENT LAFLECHE 1 the there exists c = c dr 0 ad C > 0 depedig o the iitial coditios such that 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

7 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 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 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 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.

9 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 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

11 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 p = r = 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 b M 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.

12 1 LAURENT LAFLECHE 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.

13 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 sup ρ a L ρ a+b+c =/ 1 α b L ρ β c where a b c N d 3 are multi-idices with a = a 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 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 l a l b l c L α L β where a = d 1 α + 1 β + 1 γ 1 = d b 1 Θ 0 = p α + 1 β + 1 a + b + c γ 1 1 l L α b l L β c = p b = 1 a r b Θ 1 = r 1 α + 1 β + 1 γ = r b Θ = p α + 1 β + 1 a + b + c 1 γ + r α + 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 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 ρ.

15 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 C i M 1 i i N 31 i=0 C M 1 N M 0 N 1 0 M 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] [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 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 α = α α d x β = x β xβ d d ad pα = i α x α 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

17 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 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 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.

19 GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 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/ 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 τ 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 M 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

20 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 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 C i=0 t i M 1 i N 1 i C t + t ε M 1 ε N 1 ε1 1

21 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 t + N 1 ε t t 1 t + N 1 ε ε 1 t 1 ε 1 or equivaletly for N = N t N 1 1 d N dt C τ t N 1 1 t 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.

22 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 Θ Θ = Θ 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 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

23 GLOBAL LIMIT FROM HARTREE TO VLASOV EQUATION 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 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 C 1 + C le 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 = 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.

24 4 LAURENT LAFLECHE 1 We coclude by combiig this iequality with Formula 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: [] 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: 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: Ja [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: [5] H. Araki. O a iequality of Lieb ad Thirrig. Letters i Mathematical Physics 19: [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: arxiv: [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 [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 : [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: 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: [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: [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: [13] N. Beedikter M. Porta ad B. Schlei. Mea-field Evolutio of Fermioic Systems. Commuicatios i Mathematical Physics 3313: Nov [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 [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: [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: July [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: [18] R. J. DiPera ad P.-L. Lios. Global weak solutios of kietic equatios. Red. Sem. Mat. Uiv. Politec. Torio 463: Publisher: Citeseer.

25 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: Apr [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: [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 arxiv: [] 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: Jue 009. arxiv: [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: [4] J. Giibre ad G. Velo. O a Class of o Liear Schrödiger Equatios with o Local Iteractio. Mathematische Zeitschrift 170: [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: July [6] F. Golse C. Mouhot ad T. Paul. O the Mea Field ad Classical Limits of Quatum Mechaics. Commuicatios i Mathematical Physics 3431: arxiv: [7] F. Golse ad T. Paul. The Schrödiger Equatio i the Mea-Field ad Semiclassical Regime. Archive for Ratioal Mechaics ad Aalysis 31: [8] F. Golse ad T. Paul. Wave Packets ad the Quadratic Moge-Katorovich Distace i Quatum Mechaics. Comptes Redus Mathematique 356: Feb [9] F. Golse ad T. Paul. Empirical Measures ad Quatum Mechaics: Applicatios to the Mea-Field Limit. Commuicatios i Mathematical Physics 1711:arXiv: Mar [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: Oct [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 arxiv: math-ph/ [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] N. Hayashi ad T. Ozawa. Smoothig Effect for Some Schrödiger Equatios. Joural of Fuctioal Aalysis 85: Aug [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: Apr [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: [37] P.-L. Lios ad B. Perthame. Propagatio of momets ad regularity for the 3-dimesioal Vlasov-Poisso system. Ivetioes Mathematicae 105: [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: Feb [40] D. Mitrouskas S. Petrat ad P. Pickl. Bogoliubov correctios ad trace orm covergece for the Hartree dyamics. Reviews i Mathematical Physics page Feb arxiv:

26 6 LAURENT LAFLECHE 1 [41] C. Pallard. Momet Propagatio for Weak Solutios to the Vlasov Poisso System. Commuicatios i Partial Differetial Equatios 377: July 01. [4] C. Pallard. Space Momets of the Vlasov-Poisso System: Propagatio ad Regularity. SIAM Joural o Mathematical Aalysis 463: Ja [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: Ja [44] S. Petrat. Hartree Correctios i a Mea-field Limit for Fermios with Coulomb Iteractio. Joural of Physics A: Mathematical ad Theoretical 504: [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 [46] K. Pfaffelmoser. Global classical solutios of the Vlasov-Poisso system i three dimesios for geeral iitial data. Joural of Differetial Equatios 95: Feb [47] P. Pickl. A Simple Derivatio of Mea Field Limits for Quatum Systems. Letters i Mathematical Physics 97: Aug [48] M. Porta S. Rademacher C. Saffirio ad B. Schlei. Mea Field Evolutio of Fermios with Coulomb Iteractio. Joural of Statistical Physics 1666: [49] I. Rodiaski ad B. Schlei. Quatum Fluctuatios ad Rate of Covergece Towards Mea Field Dyamics. Commuicatios i Mathematical Physics 911:31 61 Oct arxiv: [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 Cham 018. Spriger Iteratioal Publishig. arxiv: [51] J. Schaeffer. Global existece of smooth solutios to the Vlasov-Poisso system i three dimesios. Commuicatios i Partial Differetial Equatios 168-9: Ja

SAMPLE QUESTIONS FOR FINAL EXAM. (1) (2) (3) (4) Find the following using the definition of the Riemann integral: (2x + 1)dx

SAMPLE QUESTIONS FOR FINAL EXAM. (1) (2) (3) (4) Find the following using the definition of the Riemann integral: (2x + 1)dx SAMPLE QUESTIONS FOR FINAL EXAM REAL ANALYSIS I FALL 006 3 4 Fid the followig usig the defiitio of the Riema itegral: a 0 x + dx 3 Cosider the partitio P x 0 3, x 3 +, x 3 +,......, x 3 3 + 3 of the iterval

More information

Sequences and Series

Sequences and Series CHAPTER 9 Sequeces ad Series 9.. Covergece: Defiitio ad Examples Sequeces The purpose of this chapter is to itroduce a particular way of geeratig algorithms for fidig the values of fuctios defied by their

More information

Our aim is to show that under reasonable assumptions a given 2π-periodic function f can be represented as convergent series

Our aim is to show that under reasonable assumptions a given 2π-periodic function f can be represented as convergent series 8 Fourier Series Our aim is to show that uder reasoable assumptios a give -periodic fuctio f ca be represeted as coverget series f(x) = a + (a cos x + b si x). (8.) By defiitio, the covergece of the series

More information

Infinite Sequences and Series

Infinite Sequences and Series CHAPTER 4 Ifiite Sequeces ad Series 4.1. Sequeces A sequece is a ifiite ordered list of umbers, for example the sequece of odd positive itegers: 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29...

More information

In nite Sequences. Dr. Philippe B. Laval Kennesaw State University. October 9, 2008

In nite Sequences. Dr. Philippe B. Laval Kennesaw State University. October 9, 2008 I ite Sequeces Dr. Philippe B. Laval Keesaw State Uiversity October 9, 2008 Abstract This had out is a itroductio to i ite sequeces. mai de itios ad presets some elemetary results. It gives the I ite Sequeces

More information

Properties of MLE: consistency, asymptotic normality. Fisher information.

Properties of MLE: consistency, asymptotic normality. Fisher information. Lecture 3 Properties of MLE: cosistecy, asymptotic ormality. Fisher iformatio. I this sectio we will try to uderstad why MLEs are good. Let us recall two facts from probability that we be used ofte throughout

More information

Class Meeting # 16: The Fourier Transform on R n

Class Meeting # 16: The Fourier Transform on R n MATH 18.152 COUSE NOTES - CLASS MEETING # 16 18.152 Itroductio to PDEs, Fall 2011 Professor: Jared Speck Class Meetig # 16: The Fourier Trasform o 1. Itroductio to the Fourier Trasform Earlier i the course,

More information

THE ABRACADABRA PROBLEM

THE ABRACADABRA PROBLEM THE ABRACADABRA PROBLEM FRANCESCO CARAVENNA Abstract. We preset a detailed solutio of Exercise E0.6 i [Wil9]: i a radom sequece of letters, draw idepedetly ad uiformly from the Eglish alphabet, the expected

More information

A sharp Trudinger-Moser type inequality for unbounded domains in R n

A sharp Trudinger-Moser type inequality for unbounded domains in R n A sharp Trudiger-Moser type iequality for ubouded domais i R Yuxiag Li ad Berhard Ruf Abstract The Trudiger-Moser iequality states that for fuctios u H, 0 (Ω) (Ω R a bouded domai) with Ω u dx oe has Ω

More information

Example 2 Find the square root of 0. The only square root of 0 is 0 (since 0 is not positive or negative, so those choices don t exist here).

Example 2 Find the square root of 0. The only square root of 0 is 0 (since 0 is not positive or negative, so those choices don t exist here). BEGINNING ALGEBRA Roots ad Radicals (revised summer, 00 Olso) Packet to Supplemet the Curret Textbook - Part Review of Square Roots & Irratioals (This portio ca be ay time before Part ad should mostly

More information

Department of Computer Science, University of Otago

Department of Computer Science, University of Otago Departmet of Computer Sciece, Uiversity of Otago Techical Report OUCS-2006-09 Permutatios Cotaiig May Patters Authors: M.H. Albert Departmet of Computer Sciece, Uiversity of Otago Micah Colema, Rya Fly

More information

Convexity, Inequalities, and Norms

Convexity, Inequalities, and Norms Covexity, Iequalities, ad Norms Covex Fuctios You are probably familiar with the otio of cocavity of fuctios. Give a twicedifferetiable fuctio ϕ: R R, We say that ϕ is covex (or cocave up) if ϕ (x) 0 for

More information

Chapter 5: Inner Product Spaces

Chapter 5: Inner Product Spaces Chapter 5: Ier Product Spaces Chapter 5: Ier Product Spaces SECION A Itroductio to Ier Product Spaces By the ed of this sectio you will be able to uderstad what is meat by a ier product space give examples

More information

Chapter 7 Methods of Finding Estimators

Chapter 7 Methods of Finding Estimators Chapter 7 for BST 695: Special Topics i Statistical Theory. Kui Zhag, 011 Chapter 7 Methods of Fidig Estimators Sectio 7.1 Itroductio Defiitio 7.1.1 A poit estimator is ay fuctio W( X) W( X1, X,, X ) of

More information

Lecture 13. Lecturer: Jonathan Kelner Scribe: Jonathan Pines (2009)

Lecture 13. Lecturer: Jonathan Kelner Scribe: Jonathan Pines (2009) 18.409 A Algorithmist s Toolkit October 27, 2009 Lecture 13 Lecturer: Joatha Keler Scribe: Joatha Pies (2009) 1 Outlie Last time, we proved the Bru-Mikowski iequality for boxes. Today we ll go over the

More information

3. Greatest Common Divisor - Least Common Multiple

3. Greatest Common Divisor - Least Common Multiple 3 Greatest Commo Divisor - Least Commo Multiple Defiitio 31: The greatest commo divisor of two atural umbers a ad b is the largest atural umber c which divides both a ad b We deote the greatest commo gcd

More information

THIN SEQUENCES AND THE GRAM MATRIX PAMELA GORKIN, JOHN E. MCCARTHY, SANDRA POTT, AND BRETT D. WICK

THIN SEQUENCES AND THE GRAM MATRIX PAMELA GORKIN, JOHN E. MCCARTHY, SANDRA POTT, AND BRETT D. WICK THIN SEQUENCES AND THE GRAM MATRIX PAMELA GORKIN, JOHN E MCCARTHY, SANDRA POTT, AND BRETT D WICK Abstract We provide a ew proof of Volberg s Theorem characterizig thi iterpolatig sequeces as those for

More information

Asymptotic Growth of Functions

Asymptotic Growth of Functions CMPS Itroductio to Aalysis of Algorithms Fall 3 Asymptotic Growth of Fuctios We itroduce several types of asymptotic otatio which are used to compare the performace ad efficiecy of algorithms As we ll

More information

0.7 0.6 0.2 0 0 96 96.5 97 97.5 98 98.5 99 99.5 100 100.5 96.5 97 97.5 98 98.5 99 99.5 100 100.5

0.7 0.6 0.2 0 0 96 96.5 97 97.5 98 98.5 99 99.5 100 100.5 96.5 97 97.5 98 98.5 99 99.5 100 100.5 Sectio 13 Kolmogorov-Smirov test. Suppose that we have a i.i.d. sample X 1,..., X with some ukow distributio P ad we would like to test the hypothesis that P is equal to a particular distributio P 0, i.e.

More information

A probabilistic proof of a binomial identity

A probabilistic proof of a binomial identity A probabilistic proof of a biomial idetity Joatho Peterso Abstract We give a elemetary probabilistic proof of a biomial idetity. The proof is obtaied by computig the probability of a certai evet i two

More information

Lecture 5: Span, linear independence, bases, and dimension

Lecture 5: Span, linear independence, bases, and dimension Lecture 5: Spa, liear idepedece, bases, ad dimesio Travis Schedler Thurs, Sep 23, 2010 (versio: 9/21 9:55 PM) 1 Motivatio Motivatio To uderstad what it meas that R has dimesio oe, R 2 dimesio 2, etc.;

More information

1. MATHEMATICAL INDUCTION

1. MATHEMATICAL INDUCTION 1. MATHEMATICAL INDUCTION EXAMPLE 1: Prove that for ay iteger 1. Proof: 1 + 2 + 3 +... + ( + 1 2 (1.1 STEP 1: For 1 (1.1 is true, sice 1 1(1 + 1. 2 STEP 2: Suppose (1.1 is true for some k 1, that is 1

More information

I. Chi-squared Distributions

I. Chi-squared Distributions 1 M 358K Supplemet to Chapter 23: CHI-SQUARED DISTRIBUTIONS, T-DISTRIBUTIONS, AND DEGREES OF FREEDOM To uderstad t-distributios, we first eed to look at aother family of distributios, the chi-squared distributios.

More information

CS103A Handout 23 Winter 2002 February 22, 2002 Solving Recurrence Relations

CS103A Handout 23 Winter 2002 February 22, 2002 Solving Recurrence Relations CS3A Hadout 3 Witer 00 February, 00 Solvig Recurrece Relatios Itroductio A wide variety of recurrece problems occur i models. Some of these recurrece relatios ca be solved usig iteratio or some other ad

More information

Irreducible polynomials with consecutive zero coefficients

Irreducible polynomials with consecutive zero coefficients Irreducible polyomials with cosecutive zero coefficiets Theodoulos Garefalakis Departmet of Mathematics, Uiversity of Crete, 71409 Heraklio, Greece Abstract Let q be a prime power. We cosider the problem

More information

Entropy of bi-capacities

Entropy of bi-capacities Etropy of bi-capacities Iva Kojadiovic LINA CNRS FRE 2729 Site école polytechique de l uiv. de Nates Rue Christia Pauc 44306 Nates, Frace iva.kojadiovic@uiv-ates.fr Jea-Luc Marichal Applied Mathematics

More information

Lecture 3. denote the orthogonal complement of S k. Then. 1 x S k. n. 2 x T Ax = ( ) λ x. with x = 1, we have. i = λ k x 2 = λ k.

Lecture 3. denote the orthogonal complement of S k. Then. 1 x S k. n. 2 x T Ax = ( ) λ x. with x = 1, we have. i = λ k x 2 = λ k. 18.409 A Algorithmist s Toolkit September 17, 009 Lecture 3 Lecturer: Joatha Keler Scribe: Adre Wibisoo 1 Outlie Today s lecture covers three mai parts: Courat-Fischer formula ad Rayleigh quotiets The

More information

SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES

SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES Read Sectio 1.5 (pages 5 9) Overview I Sectio 1.5 we lear to work with summatio otatio ad formulas. We will also itroduce a brief overview of sequeces,

More information

Incremental calculation of weighted mean and variance

Incremental calculation of weighted mean and variance Icremetal calculatio of weighted mea ad variace Toy Fich faf@cam.ac.uk dot@dotat.at Uiversity of Cambridge Computig Service February 009 Abstract I these otes I eplai how to derive formulae for umerically

More information

ON THE DENSE TRAJECTORY OF LASOTA EQUATION

ON THE DENSE TRAJECTORY OF LASOTA EQUATION UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 2005 ON THE DENSE TRAJECTORY OF LASOTA EQUATION by Atoi Leo Dawidowicz ad Najemedi Haribash Abstract. I preseted paper the dese trajectory

More information

Lecture 4: Cauchy sequences, Bolzano-Weierstrass, and the Squeeze theorem

Lecture 4: Cauchy sequences, Bolzano-Weierstrass, and the Squeeze theorem Lecture 4: Cauchy sequeces, Bolzao-Weierstrass, ad the Squeeze theorem The purpose of this lecture is more modest tha the previous oes. It is to state certai coditios uder which we are guarateed that limits

More information

Annuities Under Random Rates of Interest II By Abraham Zaks. Technion I.I.T. Haifa ISRAEL and Haifa University Haifa ISRAEL.

Annuities Under Random Rates of Interest II By Abraham Zaks. Technion I.I.T. Haifa ISRAEL and Haifa University Haifa ISRAEL. Auities Uder Radom Rates of Iterest II By Abraham Zas Techio I.I.T. Haifa ISRAEL ad Haifa Uiversity Haifa ISRAEL Departmet of Mathematics, Techio - Israel Istitute of Techology, 3000, Haifa, Israel I memory

More information

MARTINGALES AND A BASIC APPLICATION

MARTINGALES AND A BASIC APPLICATION MARTINGALES AND A BASIC APPLICATION TURNER SMITH Abstract. This paper will develop the measure-theoretic approach to probability i order to preset the defiitio of martigales. From there we will apply this

More information

THE REGRESSION MODEL IN MATRIX FORM. For simple linear regression, meaning one predictor, the model is. for i = 1, 2, 3,, n

THE REGRESSION MODEL IN MATRIX FORM. For simple linear regression, meaning one predictor, the model is. for i = 1, 2, 3,, n We will cosider the liear regressio model i matrix form. For simple liear regressio, meaig oe predictor, the model is i = + x i + ε i for i =,,,, This model icludes the assumptio that the ε i s are a sample

More information

Analysis Notes (only a draft, and the first one!)

Analysis Notes (only a draft, and the first one!) Aalysis Notes (oly a draft, ad the first oe!) Ali Nesi Mathematics Departmet Istabul Bilgi Uiversity Kuştepe Şişli Istabul Turkey aesi@bilgi.edu.tr Jue 22, 2004 2 Cotets 1 Prelimiaries 9 1.1 Biary Operatio...........................

More information

Soving Recurrence Relations

Soving Recurrence Relations Sovig Recurrece Relatios Part 1. Homogeeous liear 2d degree relatios with costat coefficiets. Cosider the recurrece relatio ( ) T () + at ( 1) + bt ( 2) = 0 This is called a homogeeous liear 2d degree

More information

Factors of sums of powers of binomial coefficients

Factors of sums of powers of binomial coefficients ACTA ARITHMETICA LXXXVI.1 (1998) Factors of sums of powers of biomial coefficiets by Neil J. Cali (Clemso, S.C.) Dedicated to the memory of Paul Erdős 1. Itroductio. It is well ow that if ( ) a f,a = the

More information

THE HEIGHT OF q-binary SEARCH TREES

THE HEIGHT OF q-binary SEARCH TREES THE HEIGHT OF q-binary SEARCH TREES MICHAEL DRMOTA AND HELMUT PRODINGER Abstract. q biary search trees are obtaied from words, equipped with the geometric distributio istead of permutatios. The average

More information

Overview of some probability distributions.

Overview of some probability distributions. Lecture Overview of some probability distributios. I this lecture we will review several commo distributios that will be used ofte throughtout the class. Each distributio is usually described by its probability

More information

WHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER?

WHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER? WHEN IS THE (CO)SINE OF A RATIONAL ANGLE EQUAL TO A RATIONAL NUMBER? JÖRG JAHNEL 1. My Motivatio Some Sort of a Itroductio Last term I tought Topological Groups at the Göttige Georg August Uiversity. This

More information

INFINITE SERIES KEITH CONRAD

INFINITE SERIES KEITH CONRAD INFINITE SERIES KEITH CONRAD. Itroductio The two basic cocepts of calculus, differetiatio ad itegratio, are defied i terms of limits (Newto quotiets ad Riema sums). I additio to these is a third fudametal

More information

Research Article Sign Data Derivative Recovery

Research Article Sign Data Derivative Recovery Iteratioal Scholarly Research Network ISRN Applied Mathematics Volume 0, Article ID 63070, 7 pages doi:0.540/0/63070 Research Article Sig Data Derivative Recovery L. M. Housto, G. A. Glass, ad A. D. Dymikov

More information

Section 11.3: The Integral Test

Section 11.3: The Integral Test Sectio.3: The Itegral Test Most of the series we have looked at have either diverged or have coverged ad we have bee able to fid what they coverge to. I geeral however, the problem is much more difficult

More information

Chapter 6: Variance, the law of large numbers and the Monte-Carlo method

Chapter 6: Variance, the law of large numbers and the Monte-Carlo method Chapter 6: Variace, the law of large umbers ad the Mote-Carlo method Expected value, variace, ad Chebyshev iequality. If X is a radom variable recall that the expected value of X, E[X] is the average value

More information

Theorems About Power Series

Theorems About Power Series Physics 6A Witer 20 Theorems About Power Series Cosider a power series, f(x) = a x, () where the a are real coefficiets ad x is a real variable. There exists a real o-egative umber R, called the radius

More information

1 Computing the Standard Deviation of Sample Means

1 Computing the Standard Deviation of Sample Means Computig the Stadard Deviatio of Sample Meas Quality cotrol charts are based o sample meas ot o idividual values withi a sample. A sample is a group of items, which are cosidered all together for our aalysis.

More information

FIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. 1. Powers of a matrix

FIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. 1. Powers of a matrix FIBONACCI NUMBERS: AN APPLICATION OF LINEAR ALGEBRA. Powers of a matrix We begi with a propositio which illustrates the usefuless of the diagoalizatio. Recall that a square matrix A is diogaalizable if

More information

Trigonometric Form of a Complex Number. The Complex Plane. axis. ( 2, 1) or 2 i FIGURE 6.44. The absolute value of the complex number z a bi is

Trigonometric Form of a Complex Number. The Complex Plane. axis. ( 2, 1) or 2 i FIGURE 6.44. The absolute value of the complex number z a bi is 0_0605.qxd /5/05 0:45 AM Page 470 470 Chapter 6 Additioal Topics i Trigoometry 6.5 Trigoometric Form of a Complex Number What you should lear Plot complex umbers i the complex plae ad fid absolute values

More information

Approximating Area under a curve with rectangles. To find the area under a curve we approximate the area using rectangles and then use limits to find

Approximating Area under a curve with rectangles. To find the area under a curve we approximate the area using rectangles and then use limits to find 1.8 Approximatig Area uder a curve with rectagles 1.6 To fid the area uder a curve we approximate the area usig rectagles ad the use limits to fid 1.4 the area. Example 1 Suppose we wat to estimate 1.

More information

4.3. The Integral and Comparison Tests

4.3. The Integral and Comparison Tests 4.3. THE INTEGRAL AND COMPARISON TESTS 9 4.3. The Itegral ad Compariso Tests 4.3.. The Itegral Test. Suppose f is a cotiuous, positive, decreasig fuctio o [, ), ad let a = f(). The the covergece or divergece

More information

Basic Elements of Arithmetic Sequences and Series

Basic Elements of Arithmetic Sequences and Series MA40S PRE-CALCULUS UNIT G GEOMETRIC SEQUENCES CLASS NOTES (COMPLETED NO NEED TO COPY NOTES FROM OVERHEAD) Basic Elemets of Arithmetic Sequeces ad Series Objective: To establish basic elemets of arithmetic

More information

A RANDOM PERMUTATION MODEL ARISING IN CHEMISTRY

A RANDOM PERMUTATION MODEL ARISING IN CHEMISTRY J. Appl. Prob. 45, 060 070 2008 Prited i Eglad Applied Probability Trust 2008 A RANDOM PERMUTATION MODEL ARISING IN CHEMISTRY MARK BROWN, The City College of New York EROL A. PEKÖZ, Bosto Uiversity SHELDON

More information

arxiv:1506.03481v1 [stat.me] 10 Jun 2015

arxiv:1506.03481v1 [stat.me] 10 Jun 2015 BEHAVIOUR OF ABC FOR BIG DATA By Wetao Li ad Paul Fearhead Lacaster Uiversity arxiv:1506.03481v1 [stat.me] 10 Ju 2015 May statistical applicatios ivolve models that it is difficult to evaluate the likelihood,

More information

Permutations, the Parity Theorem, and Determinants

Permutations, the Parity Theorem, and Determinants 1 Permutatios, the Parity Theorem, ad Determiats Joh A. Guber Departmet of Electrical ad Computer Egieerig Uiversity of Wiscosi Madiso Cotets 1 What is a Permutatio 1 2 Cycles 2 2.1 Traspositios 4 3 Orbits

More information

Metric, Normed, and Topological Spaces

Metric, Normed, and Topological Spaces Chapter 13 Metric, Normed, ad Topological Spaces A metric space is a set X that has a otio of the distace d(x, y) betwee every pair of poits x, y X. A fudametal example is R with the absolute-value metric

More information

Modified Line Search Method for Global Optimization

Modified Line Search Method for Global Optimization Modified Lie Search Method for Global Optimizatio Cria Grosa ad Ajith Abraham Ceter of Excellece for Quatifiable Quality of Service Norwegia Uiversity of Sciece ad Techology Trodheim, Norway {cria, ajith}@q2s.tu.o

More information

Partial Di erential Equations

Partial Di erential Equations Partial Di eretial Equatios Partial Di eretial Equatios Much of moder sciece, egieerig, ad mathematics is based o the study of partial di eretial equatios, where a partial di eretial equatio is a equatio

More information

1 Correlation and Regression Analysis

1 Correlation and Regression Analysis 1 Correlatio ad Regressio Aalysis I this sectio we will be ivestigatig the relatioship betwee two cotiuous variable, such as height ad weight, the cocetratio of a ijected drug ad heart rate, or the cosumptio

More information

Hypothesis testing. Null and alternative hypotheses

Hypothesis testing. Null and alternative hypotheses Hypothesis testig Aother importat use of samplig distributios is to test hypotheses about populatio parameters, e.g. mea, proportio, regressio coefficiets, etc. For example, it is possible to stipulate

More information

Degree of Approximation of Continuous Functions by (E, q) (C, δ) Means

Degree of Approximation of Continuous Functions by (E, q) (C, δ) Means Ge. Math. Notes, Vol. 11, No. 2, August 2012, pp. 12-19 ISSN 2219-7184; Copyright ICSRS Publicatio, 2012 www.i-csrs.org Available free olie at http://www.gema.i Degree of Approximatio of Cotiuous Fuctios

More information

A Recursive Formula for Moments of a Binomial Distribution

A Recursive Formula for Moments of a Binomial Distribution A Recursive Formula for Momets of a Biomial Distributio Árpád Béyi beyi@mathumassedu, Uiversity of Massachusetts, Amherst, MA 01003 ad Saverio M Maago smmaago@psavymil Naval Postgraduate School, Moterey,

More information

A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length

A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length Joural o Satisfiability, Boolea Modelig ad Computatio 1 2005) 49-60 A Faster Clause-Shorteig Algorithm for SAT with No Restrictio o Clause Legth Evgey Datsi Alexader Wolpert Departmet of Computer Sciece

More information

S. Tanny MAT 344 Spring 1999. be the minimum number of moves required.

S. Tanny MAT 344 Spring 1999. be the minimum number of moves required. S. Tay MAT 344 Sprig 999 Recurrece Relatios Tower of Haoi Let T be the miimum umber of moves required. T 0 = 0, T = 7 Iitial Coditios * T = T + $ T is a sequece (f. o itegers). Solve for T? * is a recurrece,

More information

.04. This means $1000 is multiplied by 1.02 five times, once for each of the remaining sixmonth

.04. This means $1000 is multiplied by 1.02 five times, once for each of the remaining sixmonth Questio 1: What is a ordiary auity? Let s look at a ordiary auity that is certai ad simple. By this, we mea a auity over a fixed term whose paymet period matches the iterest coversio period. Additioally,

More information

A Note on Sums of Greatest (Least) Prime Factors

A Note on Sums of Greatest (Least) Prime Factors It. J. Cotemp. Math. Scieces, Vol. 8, 203, o. 9, 423-432 HIKARI Ltd, www.m-hikari.com A Note o Sums of Greatest (Least Prime Factors Rafael Jakimczuk Divisio Matemática, Uiversidad Nacioal de Luá Bueos

More information

Building Blocks Problem Related to Harmonic Series

Building Blocks Problem Related to Harmonic Series TMME, vol3, o, p.76 Buildig Blocks Problem Related to Harmoic Series Yutaka Nishiyama Osaka Uiversity of Ecoomics, Japa Abstract: I this discussio I give a eplaatio of the divergece ad covergece of ifiite

More information

Vladimir N. Burkov, Dmitri A. Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT

Vladimir N. Burkov, Dmitri A. Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT Keywords: project maagemet, resource allocatio, etwork plaig Vladimir N Burkov, Dmitri A Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT The paper deals with the problems of resource allocatio betwee

More information

Solutions to Selected Problems In: Pattern Classification by Duda, Hart, Stork

Solutions to Selected Problems In: Pattern Classification by Duda, Hart, Stork Solutios to Selected Problems I: Patter Classificatio by Duda, Hart, Stork Joh L. Weatherwax February 4, 008 Problem Solutios Chapter Bayesia Decisio Theory Problem radomized rules Part a: Let Rx be the

More information

Maximum Likelihood Estimators.

Maximum Likelihood Estimators. Lecture 2 Maximum Likelihood Estimators. Matlab example. As a motivatio, let us look at oe Matlab example. Let us geerate a radom sample of size 00 from beta distributio Beta(5, 2). We will lear the defiitio

More information

AP Calculus BC 2003 Scoring Guidelines Form B

AP Calculus BC 2003 Scoring Guidelines Form B AP Calculus BC Scorig Guidelies Form B The materials icluded i these files are iteded for use by AP teachers for course ad exam preparatio; permissio for ay other use must be sought from the Advaced Placemet

More information

Heat (or Diffusion) equation in 1D*

Heat (or Diffusion) equation in 1D* Heat (or Diffusio) equatio i D* Derivatio of the D heat equatio Separatio of variables (refresher) Worked eamples *Kreysig, 8 th Ed, Sectios.4b Physical assumptios We cosider temperature i a log thi wire

More information

Efficient tree methods for pricing digital barrier options

Efficient tree methods for pricing digital barrier options Efficiet tree methods for pricig digital barrier optios arxiv:1401.900v [q-fi.cp] 7 Ja 014 Elisa Appolloi Sapieza Uiversità di Roma MEMOTEF elisa.appolloi@uiroma1.it Abstract Adrea igori Uiversità di Roma

More information

CME 302: NUMERICAL LINEAR ALGEBRA FALL 2005/06 LECTURE 8

CME 302: NUMERICAL LINEAR ALGEBRA FALL 2005/06 LECTURE 8 CME 30: NUMERICAL LINEAR ALGEBRA FALL 005/06 LECTURE 8 GENE H GOLUB 1 Positive Defiite Matrices A matrix A is positive defiite if x Ax > 0 for all ozero x A positive defiite matrix has real ad positive

More information

AP Calculus AB 2006 Scoring Guidelines Form B

AP Calculus AB 2006 Scoring Guidelines Form B AP Calculus AB 6 Scorig Guidelies Form B The College Board: Coectig Studets to College Success The College Board is a ot-for-profit membership associatio whose missio is to coect studets to college success

More information

Taking DCOP to the Real World: Efficient Complete Solutions for Distributed Multi-Event Scheduling

Taking DCOP to the Real World: Efficient Complete Solutions for Distributed Multi-Event Scheduling Taig DCOP to the Real World: Efficiet Complete Solutios for Distributed Multi-Evet Schedulig Rajiv T. Maheswara, Milid Tambe, Emma Bowrig, Joatha P. Pearce, ad Pradeep araatham Uiversity of Souther Califoria

More information

UC Berkeley Department of Electrical Engineering and Computer Science. EE 126: Probablity and Random Processes. Solutions 9 Spring 2006

UC Berkeley Department of Electrical Engineering and Computer Science. EE 126: Probablity and Random Processes. Solutions 9 Spring 2006 Exam format UC Bereley Departmet of Electrical Egieerig ad Computer Sciece EE 6: Probablity ad Radom Processes Solutios 9 Sprig 006 The secod midterm will be held o Wedesday May 7; CHECK the fial exam

More information

The Stable Marriage Problem

The Stable Marriage Problem The Stable Marriage Problem William Hut Lae Departmet of Computer Sciece ad Electrical Egieerig, West Virgiia Uiversity, Morgatow, WV William.Hut@mail.wvu.edu 1 Itroductio Imagie you are a matchmaker,

More information

THE LEAST COMMON MULTIPLE OF A QUADRATIC SEQUENCE

THE LEAST COMMON MULTIPLE OF A QUADRATIC SEQUENCE THE LEAST COMMON MULTIPLE OF A QUADRATIC SEQUENCE JAVIER CILLERUELO Abstract. We obtai, for ay irreducible quadratic olyomial f(x = ax 2 + bx + c, the asymtotic estimate log l.c.m. {f(1,..., f(} log. Whe

More information

THE ARITHMETIC OF INTEGERS. - multiplication, exponentiation, division, addition, and subtraction

THE ARITHMETIC OF INTEGERS. - multiplication, exponentiation, division, addition, and subtraction THE ARITHMETIC OF INTEGERS - multiplicatio, expoetiatio, divisio, additio, ad subtractio What to do ad what ot to do. THE INTEGERS Recall that a iteger is oe of the whole umbers, which may be either positive,

More information

On Formula to Compute Primes. and the n th Prime

On Formula to Compute Primes. and the n th Prime Applied Mathematical cieces, Vol., 0, o., 35-35 O Formula to Compute Primes ad the th Prime Issam Kaddoura Lebaese Iteratioal Uiversity Faculty of Arts ad cieces, Lebao issam.kaddoura@liu.edu.lb amih Abdul-Nabi

More information

2-3 The Remainder and Factor Theorems

2-3 The Remainder and Factor Theorems - The Remaider ad Factor Theorems Factor each polyomial completely usig the give factor ad log divisio 1 x + x x 60; x + So, x + x x 60 = (x + )(x x 15) Factorig the quadratic expressio yields x + x x

More information

Convex Bodies of Minimal Volume, Surface Area and Mean Width with Respect to Thin Shells

Convex Bodies of Minimal Volume, Surface Area and Mean Width with Respect to Thin Shells Caad. J. Math. Vol. 60 (1), 2008 pp. 3 32 Covex Bodies of Miimal Volume, Surface Area ad Mea Width with Respect to Thi Shells Károly Böröczky, Károly J. Böröczky, Carste Schütt, ad Gergely Witsche Abstract.

More information

Perfect Packing Theorems and the Average-Case Behavior of Optimal and Online Bin Packing

Perfect Packing Theorems and the Average-Case Behavior of Optimal and Online Bin Packing SIAM REVIEW Vol. 44, No. 1, pp. 95 108 c 2002 Society for Idustrial ad Applied Mathematics Perfect Packig Theorems ad the Average-Case Behavior of Optimal ad Olie Bi Packig E. G. Coffma, Jr. C. Courcoubetis

More information

Nr. 2. Interpolation of Discount Factors. Heinz Cremers Willi Schwarz. Mai 1996

Nr. 2. Interpolation of Discount Factors. Heinz Cremers Willi Schwarz. Mai 1996 Nr 2 Iterpolatio of Discout Factors Heiz Cremers Willi Schwarz Mai 1996 Autore: Herausgeber: Prof Dr Heiz Cremers Quatitative Methode ud Spezielle Bakbetriebslehre Hochschule für Bakwirtschaft Dr Willi

More information

Chapter 7 - Sampling Distributions. 1 Introduction. What is statistics? It consist of three major areas:

Chapter 7 - Sampling Distributions. 1 Introduction. What is statistics? It consist of three major areas: Chapter 7 - Samplig Distributios 1 Itroductio What is statistics? It cosist of three major areas: Data Collectio: samplig plas ad experimetal desigs Descriptive Statistics: umerical ad graphical summaries

More information

The Gompertz Makeham coupling as a Dynamic Life Table. Abraham Zaks. Technion I.I.T. Haifa ISRAEL. Abstract

The Gompertz Makeham coupling as a Dynamic Life Table. Abraham Zaks. Technion I.I.T. Haifa ISRAEL. Abstract The Gompertz Makeham couplig as a Dyamic Life Table By Abraham Zaks Techio I.I.T. Haifa ISRAEL Departmet of Mathematics, Techio - Israel Istitute of Techology, 32000, Haifa, Israel Abstract A very famous

More information

Non-life insurance mathematics. Nils F. Haavardsson, University of Oslo and DNB Skadeforsikring

Non-life insurance mathematics. Nils F. Haavardsson, University of Oslo and DNB Skadeforsikring No-life isurace mathematics Nils F. Haavardsso, Uiversity of Oslo ad DNB Skadeforsikrig Mai issues so far Why does isurace work? How is risk premium defied ad why is it importat? How ca claim frequecy

More information

EGYPTIAN FRACTION EXPANSIONS FOR RATIONAL NUMBERS BETWEEN 0 AND 1 OBTAINED WITH ENGEL SERIES

EGYPTIAN FRACTION EXPANSIONS FOR RATIONAL NUMBERS BETWEEN 0 AND 1 OBTAINED WITH ENGEL SERIES EGYPTIAN FRACTION EXPANSIONS FOR RATIONAL NUMBERS BETWEEN 0 AND OBTAINED WITH ENGEL SERIES ELVIA NIDIA GONZÁLEZ AND JULIA BERGNER, PHD DEPARTMENT OF MATHEMATICS Abstract. The aciet Egyptias epressed ratioal

More information

Lecture 7: Stationary Perturbation Theory

Lecture 7: Stationary Perturbation Theory Lecture 7: Statioary Perturbatio Theory I most practical applicatios the time idepedet Schrödiger equatio Hψ = Eψ (1) caot be solved exactly ad oe has to resort to some scheme of fidig approximate solutios,

More information

5 Boolean Decision Trees (February 11)

5 Boolean Decision Trees (February 11) 5 Boolea Decisio Trees (February 11) 5.1 Graph Coectivity Suppose we are give a udirected graph G, represeted as a boolea adjacecy matrix = (a ij ), where a ij = 1 if ad oly if vertices i ad j are coected

More information

3 Energy. 3.3. Non-Flow Energy Equation (NFEE) Internal Energy. MECH 225 Engineering Science 2

3 Energy. 3.3. Non-Flow Energy Equation (NFEE) Internal Energy. MECH 225 Engineering Science 2 MECH 5 Egieerig Sciece 3 Eergy 3.3. No-Flow Eergy Equatio (NFEE) You may have oticed that the term system kees croig u. It is ecessary, therefore, that before we start ay aalysis we defie the system that

More information

The Fundamental Forces of Nature

The Fundamental Forces of Nature Gravity The Fudametal Forces of Nature There exist oly four fudametal forces Electromagetism Strog force Weak force Gravity Gravity 2 The Hierarchy Problem Gravity is far weaker tha ay of the forces! Why?!?

More information

Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.

Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed. This documet was writte ad copyrighted by Paul Dawkis. Use of this documet ad its olie versio is govered by the Terms ad Coditios of Use located at http://tutorial.math.lamar.edu/terms.asp. The olie versio

More information

Heavy Traffic Analysis of a Simple Closed Loop Supply Chain

Heavy Traffic Analysis of a Simple Closed Loop Supply Chain Heavy Traffic Aalysis of a Simple Closed Loop Supply Chai Arka Ghosh, Sarah M. Rya, Lizhi Wag, ad Aada Weerasighe April 8, 2 Abstract We cosider a closed loop supply chai where ew products are produced

More information

Running Time ( 3.1) Analysis of Algorithms. Experimental Studies ( 3.1.1) Limitations of Experiments. Pseudocode ( 3.1.2) Theoretical Analysis

Running Time ( 3.1) Analysis of Algorithms. Experimental Studies ( 3.1.1) Limitations of Experiments. Pseudocode ( 3.1.2) Theoretical Analysis Ruig Time ( 3.) Aalysis of Algorithms Iput Algorithm Output A algorithm is a step-by-step procedure for solvig a problem i a fiite amout of time. Most algorithms trasform iput objects ito output objects.

More information

BASIC STATISTICS. f(x 1,x 2,..., x n )=f(x 1 )f(x 2 ) f(x n )= f(x i ) (1)

BASIC STATISTICS. f(x 1,x 2,..., x n )=f(x 1 )f(x 2 ) f(x n )= f(x i ) (1) BASIC STATISTICS. SAMPLES, RANDOM SAMPLING AND SAMPLE STATISTICS.. Radom Sample. The radom variables X,X 2,..., X are called a radom sample of size from the populatio f(x if X,X 2,..., X are mutually idepedet

More information

Factoring x n 1: cyclotomic and Aurifeuillian polynomials Paul Garrett <garrett@math.umn.edu>

Factoring x n 1: cyclotomic and Aurifeuillian polynomials Paul Garrett <garrett@math.umn.edu> (March 16, 004) Factorig x 1: cyclotomic ad Aurifeuillia polyomials Paul Garrett Polyomials of the form x 1, x 3 1, x 4 1 have at least oe systematic factorizatio x 1 = (x 1)(x 1

More information

Your organization has a Class B IP address of 166.144.0.0 Before you implement subnetting, the Network ID and Host ID are divided as follows:

Your organization has a Class B IP address of 166.144.0.0 Before you implement subnetting, the Network ID and Host ID are divided as follows: Subettig Subettig is used to subdivide a sigle class of etwork i to multiple smaller etworks. Example: Your orgaizatio has a Class B IP address of 166.144.0.0 Before you implemet subettig, the Network

More information

PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY AN ALTERNATIVE MODEL FOR BONUS-MALUS SYSTEM

PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY AN ALTERNATIVE MODEL FOR BONUS-MALUS SYSTEM PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY Physical ad Mathematical Scieces 2015, 1, p. 15 19 M a t h e m a t i c s AN ALTERNATIVE MODEL FOR BONUS-MALUS SYSTEM A. G. GULYAN Chair of Actuarial Mathematics

More information

CS103X: Discrete Structures Homework 4 Solutions

CS103X: Discrete Structures Homework 4 Solutions CS103X: Discrete Structures Homewor 4 Solutios Due February 22, 2008 Exercise 1 10 poits. Silico Valley questios: a How may possible six-figure salaries i whole dollar amouts are there that cotai at least

More information