arxiv: v3 [math.ap] 15 Oct 2020


 Elisabeth Scott
 12 days ago
 Views:
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é ParisDauphie PSL Research Uiversity Place du Maréchal de Lattre de Tassigy Paris cedex 16 Frace CMLS École polytechique CNRS Uiversité ParisSaclay 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 selfadjoit HilbertSchmidt 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. Nocostructive 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 pseudodistace o the model of the WassersteiMoge 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 meafield 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 meafield limit ca be foud i [10 0 9] where oquatitative 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 pseudodistace.
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 wellposedess 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 HilbertSchmidt 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 multisobolev 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 WassersteiMogeKatorovitch 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 WassersteiMogeKatorovich pseudodistace 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 pseudodistace 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 HardyLittlewoodSobolev 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 multiidices 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 multiidices 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 ArakiLiebThirrig 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 righthad side here is exactly the righthad 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 multiidex 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 righthad 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 righthad 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 righthad 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 oicreasig 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 lefthad 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 righthad 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 odecreasig 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é ParisDauphie 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 Wellposedess 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 TimeDepedet HartreeFock 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 VlasovPoisso 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 Nbody Problem. Comptes Redus Mathematique 3346: Ja. 00. [10] C. Bardos F. Golse ad N. J. Mauser. Weak Couplig Limit of the Nparticle Schrödiger Equatio. Methods ad Applicatios of Aalysis 7: [11] N. Beedikter V. Jaksic M. Porta C. Saffirio ad B. Schlei. MeaField 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. Meafield Evolutio of Fermioic Systems. Commuicatios i Mathematical Physics 3313: Nov [14] F. Brezzi ad P. A. Markowich. The ThreeDimesioal WigerPoisso 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 VlasovPoisso 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 VlasovPoisso. 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. Timedepedet rescaligs ad Lyapuov fuctioals for the VlasovPoisso ad EulerPoisso 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 TimeDepedet HartreeFock Equatio with Coulomb TwoBody Iteractio. Joural of Statistical Physics 1451:3 Oct arxiv: [] J. Fröhlich A. Kowles ad S. Schwarz. O the MeaField Limit of Bosos with Coulomb TwoBody 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 HartreeFock 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 MeaField ad Semiclassical Regime. Archive for Ratioal Mechaics ad Aalysis 31: [8] F. Golse ad T. Paul. Wave Packets ad the Quadratic MogeKatorovich Distace i Quatum Mechaics. Comptes Redus Mathematique 356: Feb [9] F. Golse ad T. Paul. Empirical Measures ad Quatum Mechaics: Applicatios to the MeaField 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 NBody Schrödiger Equatio: Uiformity i the Plack Costat. Joural of Fuctioal Aalysis 757: Oct [31] S. Graffi A. Martiez ad M. Pulvireti. MeaField Approximatio of Quatum Systems ad Classical Limit. Mathematical Models ad Methods i Applied Scieces 1301:59 73 Ja arxiv: mathph/ [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 WigerPoisso ad SchrodigerPoisso 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 3dimesioal VlasovPoisso system. Ivetioes Mathematicae 105: [38] G. Loeper. Uiqueess of the solutio to the VlasovPoisso 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 SelfCosistet 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 VlasovPoisso 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 134: Ja [44] S. Petrat. Hartree Correctios i a Meafield 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 MeaField Dyamics. Mathematical Physics Aalysis ad Geometry 191:3 Mar [46] K. Pfaffelmoser. Global classical solutios of the VlasovPoisso 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. MeaField 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 VlasovPoisso system i three dimesios. Commuicatios i Partial Differetial Equatios 1689: 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 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 informationSequences 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 informationOur 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 informationInfinite 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 informationIn 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 informationProperties 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 informationClass 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 informationTHE 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 informationA sharp TrudingerMoser type inequality for unbounded domains in R n
A sharp TrudigerMoser type iequality for ubouded domais i R Yuxiag Li ad Berhard Ruf Abstract The TrudigerMoser iequality states that for fuctios u H, 0 (Ω) (Ω R a bouded domai) with Ω u dx oe has Ω
More informationExample 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 informationDepartment of Computer Science, University of Otago
Departmet of Computer Sciece, Uiversity of Otago Techical Report OUCS200609 Permutatios Cotaiig May Patters Authors: M.H. Albert Departmet of Computer Sciece, Uiversity of Otago Micah Colema, Rya Fly
More informationConvexity, 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 informationChapter 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 informationChapter 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 informationLecture 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 BruMikowski iequality for boxes. Today we ll go over the
More information3. 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 informationTHIN 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 informationAsymptotic 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 information0.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 KolmogorovSmirov 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 informationA 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 informationLecture 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 information1. 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 informationI. Chisquared Distributions
1 M 358K Supplemet to Chapter 23: CHISQUARED DISTRIBUTIONS, TDISTRIBUTIONS, AND DEGREES OF FREEDOM To uderstad tdistributios, we first eed to look at aother family of distributios, the chisquared distributios.
More informationCS103A 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 informationIrreducible 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 informationEntropy of bicapacities
Etropy of bicapacities Iva Kojadiovic LINA CNRS FRE 2729 Site école polytechique de l uiv. de Nates Rue Christia Pauc 44306 Nates, Frace iva.kojadiovic@uivates.fr JeaLuc Marichal Applied Mathematics
More informationLecture 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: CouratFischer formula ad Rayleigh quotiets The
More informationSECTION 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 informationIncremental 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 informationON 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 informationLecture 4: Cauchy sequences, BolzanoWeierstrass, and the Squeeze theorem
Lecture 4: Cauchy sequeces, BolzaoWeierstrass, 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 informationAnnuities 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 informationMARTINGALES AND A BASIC APPLICATION
MARTINGALES AND A BASIC APPLICATION TURNER SMITH Abstract. This paper will develop the measuretheoretic approach to probability i order to preset the defiitio of martigales. From there we will apply this
More informationTHE 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 informationAnalysis 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 informationSoving 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 informationFactors 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 informationTHE HEIGHT OF qbinary SEARCH TREES
THE HEIGHT OF qbinary 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 informationOverview 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 informationWHEN 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 informationINFINITE 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 informationResearch 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 informationSection 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 informationChapter 6: Variance, the law of large numbers and the MonteCarlo method
Chapter 6: Variace, the law of large umbers ad the MoteCarlo 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 informationTheorems 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 oegative umber R, called the radius
More information1 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 informationFIBONACCI 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 informationTrigonometric 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 informationApproximating 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 information4.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 informationBasic Elements of Arithmetic Sequences and Series
MA40S PRECALCULUS 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 informationA 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 informationarxiv: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 informationPermutations, 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 informationMetric, 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 absolutevalue metric
More informationModified 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 informationPartial 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 information1 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 informationHypothesis 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 informationDegree of Approximation of Continuous Functions by (E, q) (C, δ) Means
Ge. Math. Notes, Vol. 11, No. 2, August 2012, pp. 1219 ISSN 22197184; Copyright ICSRS Publicatio, 2012 www.icsrs.org Available free olie at http://www.gema.i Degree of Approximatio of Cotiuous Fuctios
More informationA 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 informationA Faster ClauseShortening Algorithm for SAT with No Restriction on Clause Length
Joural o Satisfiability, Boolea Modelig ad Computatio 1 2005) 4960 A Faster ClauseShorteig Algorithm for SAT with No Restrictio o Clause Legth Evgey Datsi Alexader Wolpert Departmet of Computer Sciece
More informationS. 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
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 informationA Note on Sums of Greatest (Least) Prime Factors
It. J. Cotemp. Math. Scieces, Vol. 8, 203, o. 9, 423432 HIKARI Ltd, www.mhikari.com A Note o Sums of Greatest (Least Prime Factors Rafael Jakimczuk Divisio Matemática, Uiversidad Nacioal de Luá Bueos
More informationBuilding 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 informationVladimir 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 informationSolutions 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 informationMaximum 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 informationAP 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 informationHeat (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 informationEfficient tree methods for pricing digital barrier options
Efficiet tree methods for pricig digital barrier optios arxiv:1401.900v [qfi.cp] 7 Ja 014 Elisa Appolloi Sapieza Uiversità di Roma MEMOTEF elisa.appolloi@uiroma1.it Abstract Adrea igori Uiversità di Roma
More informationCME 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 informationAP 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 otforprofit membership associatio whose missio is to coect studets to college success
More informationTaking DCOP to the Real World: Efficient Complete Solutions for Distributed MultiEvent Scheduling
Taig DCOP to the Real World: Efficiet Complete Solutios for Distributed MultiEvet Schedulig Rajiv T. Maheswara, Milid Tambe, Emma Bowrig, Joatha P. Pearce, ad Pradeep araatham Uiversity of Souther Califoria
More informationUC 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 informationThe 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 informationTHE 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 informationTHE 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 informationOn Formula to Compute Primes. and the n th Prime
Applied Mathematical cieces, Vol., 0, o., 3535 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 AbdulNabi
More information23 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 informationConvex 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 informationPerfect Packing Theorems and the AverageCase 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 AverageCase Behavior of Optimal ad Olie Bi Packig E. G. Coffma, Jr. C. Courcoubetis
More informationNr. 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 informationChapter 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 informationThe 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 informationNonlife insurance mathematics. Nils F. Haavardsson, University of Oslo and DNB Skadeforsikring
Nolife 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 informationEGYPTIAN 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 informationLecture 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 information5 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 information3 Energy. 3.3. NonFlow Energy Equation (NFEE) Internal Energy. MECH 225 Engineering Science 2
MECH 5 Egieerig Sciece 3 Eergy 3.3. NoFlow 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 informationThe 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 informationHere 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 informationHeavy 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 informationRunning 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 stepbystep procedure for solvig a problem i a fiite amout of time. Most algorithms trasform iput objects ito output objects.
More informationBASIC 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 informationFactoring 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 informationYour 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 informationPROCEEDINGS OF THE YEREVAN STATE UNIVERSITY AN ALTERNATIVE MODEL FOR BONUSMALUS 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 BONUSMALUS SYSTEM A. G. GULYAN Chair of Actuarial Mathematics
More informationCS103X: 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 sixfigure salaries i whole dollar amouts are there that cotai at least
More information