Mean-Field Limits for Large Particle Systems Lecture 3: From Schrödinger to Vlasov
|
|
- Alicia Hensley
- 5 years ago
- Views:
Transcription
1 for Large Particle Systems Lecture 3: From Schrödinger to Vlasov CMLS, École polytechnique Frontiers of Applied and Computational Mathematics Shanghai Jiao-Tong University, July
2 The diagram Schrödinger N Hartree 0 0 Liouville N Vlasov Problem (1) Uniformity as 0 of the horizontal limit? (2) Validity of the diagonal limit (1/N + 0)?
3 MEASURING DISTANCES BETWEEN QUANTUM STATES F.G. - T. Paul: C.R. Acad. Sci. Paris, Sér. I (2018)
4 A remark on the topology In the semiclassical limit (i.e. as 0), quantum particles become perfectly localized on trajectories in phase-space. Neighboring trajectories correspond to classical events that are close. Schatten norms fail to capture this; here is the reason why. Key observation (1) If π 1 = π1 and π 2 = π2 are rank-one projections in L(H) and ran(π 1 ) ran(π 2 ) = {0}, one has tr(π 1 π 2 ) = 0 so that π 1 π 2 L 1 (H) = 2 π 1 π 2 L 2 (H) = 2 π 1 π 2
5 Gaussian example Next, one computes explicitly π 1 π 2 L 2 (H) = tr(π 1 π 2 ) 2 = tr(π 1 + π 2 π 1 π 2 π 2 π 1 ) = 2(1 tr(π 1 π 2 )) Example For each q R d, set q (x) := (π ) d/4 e x q 2 /2 Pick q 1, q 2 R d and set π 1 = q 1 q 1, π 2 = q 2 q 2 then π 1 π 2 2 L 2 (H) = 2(1 q 1 q 2 2 ) = 2 (1 ) e q q 2 /2
6 MK distance vs. total variation Example: let q 1, q 2 R d ; then dist MK,p (δ q1, δ q2 ) = q 1 q 2 whereas { 2 if q1 q 2 δ q1, δ q2 TV = 0 if q 1 = q 2 Conclusion (1) Monge-Kantorovich well suited for measuring the proximity of particle trajectories unlike the total variation (2) Schatten norms behave like total variation on rank-one orthogonal projections (3) Therefore, one needs to export Monge-Kantorovich distances to the quantum world in order to measure the proximity between quantum states uniformly in
7 Quantum couplings Couplings between two density operators R 1, R 2 D(H): tr H H ((A I )R) = tr H (AR 1 ) R D(H H) s.t. tr H H ((I A)R) = tr H (AR 2 ) for all A L(H) Set of couplings of R 1, R 2 denoted Q(R 1, R 2 ) Example R 1 R 2 Q(R 1, R 2 ) (not very interesting...)
8 Quantum Monge-Kantorovich pseudo-distance For R 1, R 2 D(L 2 (R d )), define MK 2 (R 1, R 2 ) = inf tr (cr)1/2 R Q(R 1,R 2 ) where c = transportation cost = operator on H H analogous to d ((x m y m ) 2 + (ξ m η m ) 2 ) m=1 Specifically, c is chosen as follows: d c := ((x m y m ) 2 2 ( xm ym ) 2 ) m=1 Remark In general cr L 1 (H H) since c L 1 (H H), in fact ( tr (cr) := tr R 1/2 cr 1/2) [0, + ]
9 The cost operator c and the harmonic oscillator On R d R d, change the original variables (x, y) into { X = 1 2 (x + y) Y := x y so that { Xm = xm + ym Ym = 1 2 ( x m ym ) Since [ Ym, Y m ] = (Heisenberg s uncertainty principle) Then the cost operator c is a sum of harmonic oscillators in Y m Y 2 m Y m 2 = ( 2 Ym + Y m )(2 Ym + Y m ) = (2 Ym + Y m ) (2 Ym + Y m ) 0
10 Properties of MK 2 : separation? Hence c = d j=1 (Y 2 j Y j ) 2d Proposition For all R 1, R 2 D(H), one has MK 2 (R 1, R 2 ) 2 2d > 0 Indeed, if R Q(R 1, R 2 ), then tr H H (R 1/2 cr 1/2 ) 2d tr H H (R) = 2d Remark Even if R 1 = R 2, one has MK 2 (R 1, R 2 ) > 0; therefore MK 2 is not a distance on D(H)
11 Properties of MK2 : triangle inequality? Apart from the obvious case MK 2 (R 1, R 2 ) MK 2 (R 1, R 2 ) + 2d MK 2 (R 1, R 2 ) + MK 2 (R 2, R 2 ) one does not know whether MK 2 satisfies the triangle inequality Quantum analogue of the glueing of couplings procedure? π Π(λ, µ) and ρ Π(µ, ν) ω := π y δ y ρ y µ(dy) with π = π y δ y µ(dy), ρ = δ y ρ y µ(dy)
12 A CRASH COURSE ON TÖPLITZ OPERATORS N. Lerner: Psidos, Spinger LNM 1949
13 Coherent states For p, q R d, define the coherent state (Gaussian wave packet) q, p (x) = (π ) d/4 e x q 2 /2 e ip (x q)/ One easily checks that q, p L 2 (R d ) = 1, 1 (2π ) d R 2d q, p q, p dpdq = I L 2 (R d ) while F ( q, p ) = e ip q/ p, q where F φ(ξ) = 1 (2π ) d/2 e iξ x/ φ(x)dx
14 Z Y X Figure: With ~ = , Z =real part of coherent state centered at q = (0, 0) with momentum p = (1, 0) with space variable (X, Y ) R2
15 Figure: Oscillating structure of a Gaussian coherent state.
16 Töplitz quantization For all positive Borel measure µ on R 2d, define OP T [µ] := 1 (2π ) d R 2d q, p q, p µ(dpdq) with domain Dom(OP T [µ]) {ψ L2 (R d ) s.t. q, p ψ L 2 (µ(dpdq))} Elementary properties (a) OP T [µ] = OP T [µ], tr(opt [µ]) = 1 (2π ) d R 2d µ(dpdq) (b) m(p, q) 0 a.e. OP T [m] m L (R 2d ) (c) µ P(R 2d ) OP T [(2π )d µ] D(L 2 (R d ))
17 Töplitz operators with quadratic symbols If f is a quadratic form on R d, then OP T [f (q)] = f (x) ( f )I OP T [f (p)] = f ( i x) ( f )I Fourier s inversion formula implies that OP T [q kq l ](x, y) = 0, q (x) 2 q k q l dqδ(x y) and =(x k x l δ kl)δ(x y) F ( q, p ) = e ip q/ p, q OP T [p kp l ] = F 1 OP T [q kq l ]F
18 Wigner transform Let T be an operator on L 2 (R d ) with integral kernel T (x, y) Wigner transform of T at scale 1 W [T ](x, ξ) := T (2π ) d (x y, x 1 y)e iξ y 2 dy R d (to be understood in the sense of distributions if T S (R d R d )) Proposition (a) T = T implies that W [T ](x, ξ) R (b) T 0 does not imply that W [T ] 0 (c) R, S L 2 (L 2 (R d ) implies that tr(r S) = (2π ) d R d W [R](x, ξ)w [S](x, ξ)dxdξ
19 Wigner transform and Töplitz operators Important example W [ p, q p, q ](x, ξ) = (π ) d/2 e x q 2 + ξ p 2 Exercise For which ψ L 2 (R d ) does one have W [ ψ ψ ] 0? Wigner transform of a Töplitz operator W [OP T [µ]] = 1 (2π ) d e x,ξ/4 µ Other examples (a) W [I L 2 (R d )] = (2π ) d (b) W [f (x)](x, ξ) = (2π ) d f (x) for f quadratic form, and (c) W [f ( i x )](x, ξ) = (2π ) d f (ξ)
20 Husimi transform Husimi transform at scale of an operator T W [T ](x, ξ) := e x,ξ/4 W [T ](x, ξ) Proposition (a) T 0 implies that W [T ] 0 (b) for µ positive Borel measure on R 2d and T operator on L 2 (R d ) W [T ] L 1 (R 2d, µ) tr(t OP T [µ]) = R 2d W [T ](x, ξ)µ(dxdξ) (c) if µ P 2 (R 2d ) and if f is a quadratic form on R d tr((f (x) + f ( i x )) OP T [(2π )d µ]) = (f (p) + f (q))µ(dpdq) + 1 R 2d 2 f
21 ESTIMATING THE PSEUDO DISTANCE MK2 F. Golse, C. Mouhot, T. Paul Commun. Math. Phys. 343, (2016)
22 Comparing MK 2 and dist MK,2 Theorem (1) For all µ 1, µ 2 P 2 (R 2d ), one has MK 2 (OP T [(2π )d µ 1 ], OP T [(2π )d µ 2 ]) 2 dist MK,2 (µ 1, µ 2 ) 2 + 2d (2) For all R 1, R 2 D(L 2 (R d )), one has dist MK,2 ( W [R 1 ], W [R 2 ]) 2 MK 2 (R 1, R 2 ) 2 + 2d
23 Proof (1) If λ Π(µ 1, µ 2 ), then Q := OP T [(2π )2d λ] Q(OP T [(2π )d µ 1 ], OP T [(2π )d µ 2 ]) Since the cost operator c is a quadratic form in x y and x y, there is an explicit formula for tr(cq).
24 (2) Set µ j = W [R j ] for j = 1, 2; by convex duality ( dist MK,2 (µ 1, µ 2 ) 2 = sup a(x,ξ)+b(y,η) x y 2 + ξ η 2 a,b C b (R 2d ) aµ 1 + bµ 2 ) If a, b C b (R 2d ) satisfies a(x, ξ) + b(y, η) x y 2 + ξ η 2 (by positivity of Töplitz quantization+quantification of quadratic forms) OP T [a] I + I OPT [b] c + 2d I Thus, for all Q Q(R 1, R 2 ) tr(q 1/2 cq 1/2 ) + 2d tr(r 1 OP T [a]) + tr(r 2 OP T [b])) = aµ 1 + bµ 2
25 UNIFORM AS 0 CONVERGENCE RATE FOR THE QUANTUM MEAN FIELD LIMIT F. Golse, C. Mouhot, T. Paul Commun. Math. Phys. 343, (2016)
26 Theorem A (uniform as 0 bound on MK 2 ) Assume that the potential V is even with V Lip(R d ). Let R (t) be the solution of Hartree s equation with initial data D(H), and let R in R,N (t) = e ith N/ R in eith N/ with U σr in,n U σ = R in,n D(H N) for all σ S N. Then, for each n = 1,..., N, and each t 0 1 n MK 2 (R (t) n, R,N:n (t)) 2 1 N MK 2 ((R in ) N, R in,n )2 e Λ 2t + 8 N V 2 L e Λ 2t 1 Λ 2 with Λ 2 := 1 + max(1, 8 Lip( V ) 2 )
27 Evolution of quantum couplings Let Q in,n Q((Rin ) N, R in N ) and let t Q,N(t) be the solution of i t Q,N =[H N R (t) I H N +I HN H N, Q,N ], Q,N t=0 =Q in,n where N H N R (t) = I Hj 1 H R (t) I HN j, I H0 := 1 j=1 Lemma (1) for each t R, one has Q,N (t) Q((R (t)) N, R,N (t)) (2) for σ S N, set U σ Ψ 2N (X N, Y N ) := Ψ 2N (σ X N, σ Y N ). Then U σ Q in,n U σ = Q in,n U σq,n (t)u σ
28 The functional D,N Set D,N (t) := 1 N N tr H2N ((Q,N (t)) 1/2 c j (Q,N (t)) 1/2 ) j=1 where c j = I Hj 1 c I HN j In other words, c j is the cost (differential) operator acting on the variables corresponding to the j-th particle: c j = N ((x j,m y j,m ) 2 ( xj,m yj,m ) 2 ) m=1
29 Computing the evolution of D,N Following the computation of Ḋ N (t) in the classical case, one finds Ḋ,N(t) D,N(t) + IN (t) + J N (t) + 1 N tr H2N ( 2 xjm yjm 2 Q,N (t)) N j=1 Since R D(H), one has ρ (t, x) := R (t, x, x) L t L 1 x and N IN (t):=2 N V x ρ (t, x j ) V µ XN (x j ) 2 ρ (t, x j )dx j N j=1 k=1 JN (t) := 2 N tr H2N ( V µ XN (x j ) V µ YN (y j ) 2 Q,N (t)) N j=1 8 N Lip( V )2 tr H2N ( x j y j 2 Q,N (t))) N j=1
30 Theorem B (convergence rate for Töplitz initial states) Under the same conditions as in Theorem A, assume moreover that R in and R in N, are Töplitz operators, with symbols (2π )d µ in and (2π ) dn µ in N, resp. Then, for each n = 1,..., N, and each t 0 1 n dist MK,2( W [R (t) n ], W [R,N:n (t)]) 2 8 N V e Λ2t 1 2 L Λ N dist MK,2((µ in ) N, µ in,n )2 e Λ 2t + 2d (e Λ 2t + 1) with Λ 2 := 1 + max(1, 8 Lip( V ) 2 )
31 Classical/Quantum Dictionary Monge-Kantorovich dist MK,2 Pseudo-distance MK 2 a div(fu) = (u a)f tr(a[h, R]) = tr([h, A]R) Cauchy-Schwarz inequality and Young s inequality tr((a B + B A)R) tr(( A 2 + B 2 )R)
32 FROM N-BODY SCHRÖDINGER TO VLASOV F. Golse, T. Paul: Archive Rational Mech. Anal. 223, (2017)
33 Coupling quantum and classical densities Problem can one measure the difference between the quantum and the classical dynamics by a Monge-Kantorovich type distance? Couplings of R D(H) and p probability density on R d R d (x, ξ) Q(x, ξ) = Q(x, ξ) L(H) s.t.q(x, ξ) 0 tr(q(x, ξ)) = p(x, ξ), Q(x, ξ)dxdξ = R R d R d The set of couplings of the densities R and p is denoted C(p, R) Example the map p R : (x, ξ) p(x, ξ)r belongs to C(p, R)
34 Pseudo-distance between quantum and classical densities Cost function comparing classical and quantum coordinates (i.e. position and momentum) c (x, ξ) := x y 2 + ξ + i y 2 Definition of a pseudo-distance à la Monge-Kantorovich between classical and quantum densities E (p, R) := Remark ( ) 1/2 inf tr(c (x, ξ)q(x, ξ))dxdξ Q C(p,R) R d R d tr(c (x, ξ)q(x, ξ)) := tr(q(x, ξ) 1/2 c (x, ξ)q(x, ξ) 1/2 ) [0, ]
35 Theorem (From N-body von Neumann to Vlasov) Let f in f in (x, ξ) L 1 (( x 2 + ξ 2 )dxdξ) be a probability density and R in,n D(H N) such that, for all σ S N U σ R in,n U σ = R in,n Let f and R,N be the solutions of the Vlasov and the Heisenberg equation resp. with initial data f in and R in,n. (1) Then, for each t 0 one has E (f (t), R,N:1 (t)) 2 1 N E ((f in ) N, R,N in )2 e Λ2t + 4 V 2 L e Λ2t 1 N Λ 2 (2) If moreover R in,n = OPT [(2π )dn (f in ) N ], then dist MK,2 (f (t), W [R,N:1 (t)]) 2 d (1+e Λ 2t )+ 4 V 2 L N e Λ 2t 1 Λ 2
36 Dynamics of couplings Solve N t Q,N + H f (t, x j, ξ j ), Q,N + i [H N, Q N, ] = 0 j=1 Q,N t=0 = Q in,n with N H N := yj + 1 V (y j y k ) N j=1 1 j<k N H f (t, x, ξ) := 1 2 ξ 2 + V (x z)f (t, z, ζ)dzdζ R d R d Then for all t R and all σ S N, one has U σ Q,N (t, σ X N, σ Ξ N )U σ = Q,N (t, X N, Ξ N ) Q,N (t) C(f (t) N, R,N (t))
37 The functional D,N The proof is based on analyzing the evolution of the functional D,N (t) = 1 N N j=1 tr HN (c(x j, ξ j )Q,N (t, X N, Ξ N ))dx N dξ N following the computation presented in detail in Lecture 1, and the dictionary between the quantum and the classical dynamics
38 REMARKS AND OPEN PROBLEMS
39 Singular potentials (a) The mean-field limit of the N-particle Schrödinger equation to the Hartree equation for the Coulomb potential has been proved by Erdös-Yau [Adv. Theor. Math. Phys. 5, (2001)] (see also Pickl [loc. cit.]); result is not uniform as 0 (b) The mean-field limit of the Newton equations for an N-point particle system to the Vlasov-Poisson equation is still an open problem (c) Significant progress obtained by Hauray-Jabin (interaction force with singularity O(r α ) for α < 1) or for the Coulomb interaction with vanishing regularization as 1/N 0 [Arch. Rational Mech. Anal. 183, (2007)], [Ann. Sci. Ecole Normale Sup. 48, (2015)]; See also Lazarovici-Pickl arxiv:1502:04608 [math-ph] for the regularized Coulomb interaction
40 2nd quantization approach (a) Rodnianski-Schlein [Commun. Math. Phys. 291, (2009)] (b) Bardos-Golse-Gottlieb-Mauser [J. Stat. Phys. 115, (2004)] (c) Fröhlich-Knowles-Schwarz: [Commun. Math. Phys. 288, (2009)] (d) Benedikter-Jaksic-Porta-Saffirio-Schlein [Comm. on Pure Appl. Math., doi: /cpa.21598] Porta-Rademacher-Saffirio-Schlein arxiv:1608:05268 [math-ph], Benedikter-Porta-Saffirio-Schlein [Arch. Ration. Mech. Anal. 221, (2016)]
41 Other mean-field problems/mathematical techniques (a) Mean-field games P.-L. Lions; symmetric functions of infinitely many variables, video of the lectures of November 9 and 16, 2007, fr/site/pierre-louis-lions/ (b) Vortex dynamics in fluid mechanics (Goodman-Hou-Lowengrub [Comm. Pure Appl. Math. 43, (1990)], Hauray [Math. Models Methods Appl. Sci. 19, (2009)]) (c) From Kac s master equation to the space homogeneous Boltzmann equation
Mean-Field Limits for Large Particle Systems Lecture 2: From Schrödinger to Hartree
for Large Particle Systems Lecture 2: From Schrödinger to Hartree CMLS, École polytechnique & CNRS, Université Paris-Saclay FRUMAM, Marseilles, March 13-15th 2017 A CRASH COURSE ON QUANTUM N-PARTICLE DYNAMICS
More informationON THE MEAN-FIELD AND CLASSICAL LIMITS OF QUANTUM MECHANICS
O THE MEA-FIELD AD CLASSICAL LIMITS OF QUATUM MECHAICS FRAÇOIS GOLSE, CLÉMET MOUHOT, AD THIERRY PAUL Abstract. The main result in this paper is a new inequality bearing on solutions of the -body linear
More informationFrom the N-body problem to the cubic NLS equation
From the N-body problem to the cubic NLS equation François Golse Université Paris 7 & Laboratoire J.-L. Lions golse@math.jussieu.fr Los Alamos CNLS, January 26th, 2005 Formal derivation by N.N. Bogolyubov
More informationDerivation of Mean-Field Dynamics for Fermions
IST Austria Mathematical Many Body Theory and its Applications Bilbao, June 17, 2016 Derivation = show that solution of microscopic eq. is close to solution of effective eq. (with fewer degrees of freedom)
More informationPropagation of Monokinetic Measures with Rough Momentum Profiles I
with Rough Momentum Profiles I Ecole Polytechnique Centre de Mathématiques Laurent Schwartz Quantum Systems: A Mathematical Journey from Few to Many Particles May 16th 2013 CSCAMM, University of Maryland.
More informationCLASSICAL LIMIT FOR SEMI-RELATIVISTIC HARTREE SYSTEMS
CLASSICAL LIMIT FOR SEMI-RELATIVISTIC HARTREE SYSTEMS GONCA L. AKI, PETER A. MARKOWICH, AND CHRISTOF SPARBER Abstract. We consider the three-dimensional semi-relativistic Hartree model for fast quantum
More informationThe Calderon-Vaillancourt Theorem
The Calderon-Vaillancourt Theorem What follows is a completely self contained proof of the Calderon-Vaillancourt Theorem on the L 2 boundedness of pseudo-differential operators. 1 The result Definition
More informationApplied and Computational Harmonic Analysis
Appl. Comput. Harmon. Anal. 8 010) 313 319 Contents lists available at ScienceDirect Applied and Computational Harmonic Analysis www.elsevier.com/locate/acha Smoothed affine Wigner transform A. Athanassoulis
More informationOn a Class of Multidimensional Optimal Transportation Problems
Journal of Convex Analysis Volume 10 (2003), No. 2, 517 529 On a Class of Multidimensional Optimal Transportation Problems G. Carlier Université Bordeaux 1, MAB, UMR CNRS 5466, France and Université Bordeaux
More informationFourier transforms, I
(November 28, 2016) Fourier transforms, I Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/Fourier transforms I.pdf]
More informationTopics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationGAUSSIAN MEASURES ON 1.1 BOREL MEASURES ON HILBERT SPACES CHAPTER 1
CAPTE GAUSSIAN MEASUES ON ILBET SPACES The aim of this chapter is to show the Minlos-Sazanov theorem and deduce a characterization of Gaussian measures on separable ilbert spaces by its Fourier transform.
More informationWavelets and modular inequalities in variable L p spaces
Wavelets and modular inequalities in variable L p spaces Mitsuo Izuki July 14, 2007 Abstract The aim of this paper is to characterize variable L p spaces L p( ) (R n ) using wavelets with proper smoothness
More informationON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP
Dedicated to Professor Gheorghe Bucur on the occasion of his 7th birthday ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP EMIL POPESCU Starting from the usual Cauchy problem, we give
More informationHydrodynamic Limits for the Boltzmann Equation
Hydrodynamic Limits for the Boltzmann Equation François Golse Université Paris 7 & Laboratoire J.-L. Lions golse@math.jussieu.fr Academia Sinica, Taipei, December 2004 LECTURE 2 FORMAL INCOMPRESSIBLE HYDRODYNAMIC
More informationMean Field Limits for Interacting Bose Gases and the Cauchy Problem for Gross-Pitaevskii Hierarchies. Thomas Chen University of Texas at Austin
Mean Field Limits for Interacting Bose Gases and the Cauchy Problem for Gross-Pitaevskii Hierarchies Thomas Chen University of Texas at Austin Nataša Pavlović University of Texas at Austin Analysis and
More informationSome basic elements of Probability Theory
Chapter I Some basic elements of Probability Theory 1 Terminology (and elementary observations Probability theory and the material covered in a basic Real Variables course have much in common. However
More informationBLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED
BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis
More informationQUANTUM MECHANICS LIVES AND WORKS IN PHASE SPACE
Two slit experiment The Wigner phase-space quasi-probability distribution function QUANTUM MECHANICS LIVES AND WORKS IN PHASE SPACE A complete, autonomous formulation of QM based on the standard c- number
More informationEMPIRICAL MEASURES AND QUANTUM MECHANICS: APPLICATIONS TO THE MEAN-FIELD LIMIT
EMPIRICAL MEASURES AD QUATUM MECHAICS: APPLICATIOS TO THE MEA-FIELD LIMIT FRAÇOIS GOLSE AD THIERRY PAUL Abstract. In this paper, we define a quantum analogue of the notion of empirical measure in the classical
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationPARTIAL DIFFERENTIAL EQUATIONS MIDTERM
PARTIAL DIFFERENTIAL EQUATIONS MIDTERM ERIN PEARSE. For b =,,..., ), find the explicit fundamental solution to the heat equation u + b u u t = 0 in R n 0, ). ) Letting G be what you find, show u 0 x) =
More informationExistence of minimizers for the pure displacement problem in nonlinear elasticity
Existence of minimizers for the pure displacement problem in nonlinear elasticity Cristinel Mardare Université Pierre et Marie Curie - Paris 6, Laboratoire Jacques-Louis Lions, Paris, F-75005 France Abstract
More informationMixed exterior Laplace s problem
Mixed exterior Laplace s problem Chérif Amrouche, Florian Bonzom Laboratoire de mathématiques appliquées, CNRS UMR 5142, Université de Pau et des Pays de l Adour, IPRA, Avenue de l Université, 64000 Pau
More informationCONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence
1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.
More informationPresenter: Noriyoshi Fukaya
Y. Martel, F. Merle, and T.-P. Tsai, Stability and Asymptotic Stability in the Energy Space of the Sum of N Solitons for Subcritical gkdv Equations, Comm. Math. Phys. 31 (00), 347-373. Presenter: Noriyoshi
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationProjection Theorem 1
Projection Theorem 1 Cauchy-Schwarz Inequality Lemma. (Cauchy-Schwarz Inequality) For all x, y in an inner product space, [ xy, ] x y. Equality holds if and only if x y or y θ. Proof. If y θ, the inequality
More informationTheory and applications of time-frequency analysis
Theory and applications of time-frequency analysis Ville Turunen (ville.turunen@aalto.fi) Abstract: When and how often something happens in a signal? By properly quantizing these questions, we obtain the
More informationESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen
W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationVANISHING VISCOSITY IN THE PLANE FOR VORTICITY IN BORDERLINE SPACES OF BESOV TYPE
VANISHING VISCOSITY IN THE PLANE FOR VORTICITY IN BORDERLINE SPACES OF BESOV TYPE ELAINE COZZI AND JAMES P. KELLIHER Abstract. The existence and uniqueness of solutions to the Euler equations for initial
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationLocal Density Approximation for the Almost-bosonic Anyon Gas. Michele Correggi
Local Density Approximation for the Almost-bosonic Anyon Gas Michele Correggi Università degli Studi Roma Tre www.cond-math.it QMATH13 Many-body Systems and Statistical Mechanics joint work with D. Lundholm
More informationhal , version 1-22 Nov 2009
Author manuscript, published in "Kinet. Relat. Models 1, 3 8) 355-368" PROPAGATION OF GEVREY REGULARITY FOR SOLUTIONS OF LANDAU EQUATIONS HUA CHEN, WEI-XI LI AND CHAO-JIANG XU Abstract. By using the energy-type
More informationarxiv: v2 [math.ap] 23 Apr 2014
Multi-marginal Monge-Kantorovich transport problems: A characterization of solutions arxiv:1403.3389v2 [math.ap] 23 Apr 2014 Abbas Moameni Department of Mathematics and Computer Science, University of
More informationQuantum ergodicity. Nalini Anantharaman. 22 août Université de Strasbourg
Quantum ergodicity Nalini Anantharaman Université de Strasbourg 22 août 2016 I. Quantum ergodicity on manifolds. II. QE on (discrete) graphs : regular graphs. III. QE on graphs : other models, perspectives.
More informationAnalytic families of multilinear operators
Analytic families of multilinear operators Mieczysław Mastyło Adam Mickiewicz University in Poznań Nonlinar Functional Analysis Valencia 17-20 October 2017 Based on a joint work with Loukas Grafakos M.
More informationarxiv:math/ v1 [math.ap] 28 Oct 2005
arxiv:math/050643v [math.ap] 28 Oct 2005 A remark on asymptotic completeness for the critical nonlinear Klein-Gordon equation Hans Lindblad and Avy Soffer University of California at San Diego and Rutgers
More informationZ. Zhou On the classical limit of a time-dependent self-consistent field system: analysis. computation
On the classical limit of a time-dependent self-consistent field system: analysis and computation Zhennan Zhou 1 joint work with Prof. Shi Jin and Prof. Christof Sparber. 1 Department of Mathematics Duke
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationLiouville-type theorem for the Lamé system with singular coefficients
Liouville-type theorem for the Lamé system with singular coefficients Blair Davey Ching-Lung Lin Jenn-Nan Wang Abstract In this paper, we study a Liouville-type theorem for the Lamé system with rough coefficients
More informationOPTIMAL CONTROL AND STRANGE TERM FOR A STOKES PROBLEM IN PERFORATED DOMAINS
PORTUGALIAE MATHEMATICA Vol. 59 Fasc. 2 2002 Nova Série OPTIMAL CONTROL AND STRANGE TERM FOR A STOKES PROBLEM IN PERFORATED DOMAINS J. Saint Jean Paulin and H. Zoubairi Abstract: We study a problem of
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationFrom many body quantum dynamics to nonlinear dispersive PDE, and back
From many body quantum dynamics to nonlinear dispersive PDE, and back ataša Pavlović (based on joint works with T. Chen, and with T. Chen and. Tzirakis) University of Texas at Austin June 18, 2013 SF-CBMS
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationAccuracy of the time-dependent Hartree-Fock approximation
Accuracy of the time-dependent Hartree-Fock approximation Claude BARDOS, François GOLSE, Alex D. GOTTLIEB and Norbert J. MAUSER Abstract This article examines the time-dependent Hartree-Fock (TDHF) approximation
More information8 Singular Integral Operators and L p -Regularity Theory
8 Singular Integral Operators and L p -Regularity Theory 8. Motivation See hand-written notes! 8.2 Mikhlin Multiplier Theorem Recall that the Fourier transformation F and the inverse Fourier transformation
More informationSCHATTEN p CLASS HANKEL OPERATORS ON THE SEGAL BARGMANN SPACE H 2 (C n, dµ) FOR 0 < p < 1
J. OPERATOR THEORY 66:1(2011), 145 160 Copyright by THETA, 2011 SCHATTEN p CLASS HANKEL OPERATORS ON THE SEGAL BARGMANN SPACE H 2 (C n, dµ) FOR 0 < p < 1 J. ISRALOWITZ This paper is dedicated to the memory
More informationInequalities of Babuška-Aziz and Friedrichs-Velte for differential forms
Inequalities of Babuška-Aziz and Friedrichs-Velte for differential forms Martin Costabel Abstract. For sufficiently smooth bounded plane domains, the equivalence between the inequalities of Babuška Aziz
More informationON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY. 1. Introduction
ON THE UNIQUENESS OF SOLUTIONS TO THE GROSS-PITAEVSKII HIERARCHY SERGIU KLAINERMAN AND MATEI MACHEDON Abstract. The purpose of this note is to give a new proof of uniqueness of the Gross- Pitaevskii hierarchy,
More informationChaos, Quantum Mechanics and Number Theory
Chaos, Quantum Mechanics and Number Theory Peter Sarnak Mahler Lectures 2011 Hamiltonian Mechanics (x, ξ) generalized coordinates: x space coordinate, ξ phase coordinate. H(x, ξ), Hamiltonian Hamilton
More informationOPTIMAL TRANSPORTATION PLANS AND CONVERGENCE IN DISTRIBUTION
OPTIMAL TRANSPORTATION PLANS AND CONVERGENCE IN DISTRIBUTION J.A. Cuesta-Albertos 1, C. Matrán 2 and A. Tuero-Díaz 1 1 Departamento de Matemáticas, Estadística y Computación. Universidad de Cantabria.
More informationLocal semiconvexity of Kantorovich potentials on non-compact manifolds
Local semiconvexity of Kantorovich potentials on non-compact manifolds Alessio Figalli, Nicola Gigli Abstract We prove that any Kantorovich potential for the cost function c = d / on a Riemannian manifold
More informationarxiv: v1 [math.ap] 5 Nov 2018
STRONG CONTINUITY FOR THE 2D EULER EQUATIONS GIANLUCA CRIPPA, ELIZAVETA SEMENOVA, AND STEFANO SPIRITO arxiv:1811.01553v1 [math.ap] 5 Nov 2018 Abstract. We prove two results of strong continuity with respect
More informationDuality of multiparameter Hardy spaces H p on spaces of homogeneous type
Duality of multiparameter Hardy spaces H p on spaces of homogeneous type Yongsheng Han, Ji Li, and Guozhen Lu Department of Mathematics Vanderbilt University Nashville, TN Internet Analysis Seminar 2012
More informationCOMPLEX SPHERICAL WAVES AND INVERSE PROBLEMS IN UNBOUNDED DOMAINS
COMPLEX SPHERICAL WAVES AND INVERSE PROBLEMS IN UNBOUNDED DOMAINS MIKKO SALO AND JENN-NAN WANG Abstract. This work is motivated by the inverse conductivity problem of identifying an embedded object in
More informationj=1 [We will show that the triangle inequality holds for each p-norm in Chapter 3 Section 6.] The 1-norm is A F = tr(a H A).
Math 344 Lecture #19 3.5 Normed Linear Spaces Definition 3.5.1. A seminorm on a vector space V over F is a map : V R that for all x, y V and for all α F satisfies (i) x 0 (positivity), (ii) αx = α x (scale
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More informationApplication of wave packet transform to Schrödinger equations with a subquadratic potential
Application of wave packet transform to Schrödinger equations with a subquadratic potential Keiichi Kato(Tokyo University of Science) January 21, 2012 1 Introduction In this talk, we consider the following
More informationON SOME ELLIPTIC PROBLEMS IN UNBOUNDED DOMAINS
Chin. Ann. Math.??B(?), 200?, 1 20 DOI: 10.1007/s11401-007-0001-x ON SOME ELLIPTIC PROBLEMS IN UNBOUNDED DOMAINS Michel CHIPOT Abstract We present a method allowing to obtain existence of a solution for
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationLecture 19 October 28, 2015
PHYS 7895: Quantum Information Theory Fall 2015 Prof. Mark M. Wilde Lecture 19 October 28, 2015 Scribe: Mark M. Wilde This document is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike
More informationVelocity averaging a general framework
Outline Velocity averaging a general framework Martin Lazar BCAM ERC-NUMERIWAVES Seminar May 15, 2013 Joint work with D. Mitrović, University of Montenegro, Montenegro Outline Outline 1 2 L p, p >= 2 setting
More informationQuintic deficient spline wavelets
Quintic deficient spline wavelets F. Bastin and P. Laubin January 19, 4 Abstract We show explicitely how to construct scaling functions and wavelets which are quintic deficient splines with compact support
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationThe heat equation for the Hermite operator on the Heisenberg group
Hokkaido Mathematical Journal Vol. 34 (2005) p. 393 404 The heat equation for the Hermite operator on the Heisenberg group M. W. Wong (Received August 5, 2003) Abstract. We give a formula for the one-parameter
More informationVariations on Quantum Ergodic Theorems. Michael Taylor
Notes available on my website, under Downloadable Lecture Notes 8. Seminar talks and AMS talks See also 4. Spectral theory 7. Quantum mechanics connections Basic quantization: a function on phase space
More informationA note on scenario reduction for two-stage stochastic programs
A note on scenario reduction for two-stage stochastic programs Holger Heitsch a and Werner Römisch a a Humboldt-University Berlin, Institute of Mathematics, 199 Berlin, Germany We extend earlier work on
More informationNoncommutative Uncertainty Principle
Noncommutative Uncertainty Principle Zhengwei Liu (joint with Chunlan Jiang and Jinsong Wu) Vanderbilt University The 12th East Coast Operator Algebras Symposium, Oct 12, 2014 Z. Liu (Vanderbilt) Noncommutative
More informationOptimal series representations of continuous Gaussian random fields
Optimal series representations of continuous Gaussian random fields Antoine AYACHE Université Lille 1 - Laboratoire Paul Painlevé A. Ayache (Lille 1) Optimality of continuous Gaussian series 04/25/2012
More informationA new class of pseudodifferential operators with mixed homogenities
A new class of pseudodifferential operators with mixed homogenities Po-Lam Yung University of Oxford Jan 20, 2014 Introduction Given a smooth distribution of hyperplanes on R N (or more generally on a
More informationLECTURE 5: THE METHOD OF STATIONARY PHASE
LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =
More informationFree boundaries in fractional filtration equations
Free boundaries in fractional filtration equations Fernando Quirós Universidad Autónoma de Madrid Joint work with Arturo de Pablo, Ana Rodríguez and Juan Luis Vázquez International Conference on Free Boundary
More informationA NEW PROOF OF EXISTENCE OF SOLUTIONS FOR FOCUSING AND DEFOCUSING GROSS-PITAEVSKII HIERARCHIES. 1. Introduction
A EW PROOF OF EXISTECE OF SOLUTIOS FOR FOCUSIG AD DEFOCUSIG GROSS-PITAEVSKII HIERARCHIES THOMAS CHE AD ATAŠA PAVLOVIĆ Abstract. We consider the cubic and quintic Gross-Pitaevskii (GP) hierarchies in d
More informationPart II Probability and Measure
Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More information9. Boundary value problems in a constant-coefficient case
9.1 9. Boundary value problems in a constant-coefficient case 9.1. Boundary maps for the half-space. We have considered various realizations in Section 4.4 of the Laplacian and similar operators, defined
More informationHarmonic oscillator Wigner function extension to exceptional polynomials
Pramana J. Phys. (2018) 91:39 https://doi.org/10.1007/s12043-018-1619-9 Indian Academy of Sciences Harmonic oscillator Wigner function extension to exceptional polynomials K V S SHIV CHAITANYA Department
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationParaproducts and the bilinear Calderón-Zygmund theory
Paraproducts and the bilinear Calderón-Zygmund theory Diego Maldonado Department of Mathematics Kansas State University Manhattan, KS 66506 12th New Mexico Analysis Seminar April 23-25, 2009 Outline of
More informationNumerical methods for a fractional diffusion/anti-diffusion equation
Numerical methods for a fractional diffusion/anti-diffusion equation Afaf Bouharguane Institut de Mathématiques de Bordeaux (IMB), Université Bordeaux 1, France Berlin, November 2012 Afaf Bouharguane Numerical
More informationSUBELLIPTIC CORDES ESTIMATES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX0000-0 SUBELLIPTIC CORDES ESTIMATES Abstract. We prove Cordes type estimates for subelliptic linear partial
More informationESTIMATES FOR THE MONGE-AMPERE EQUATION
GLOBAL W 2,p ESTIMATES FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We use a localization property of boundary sections for solutions to the Monge-Ampere equation obtain global W 2,p estimates under
More informationGlobal well-posedness of the primitive equations of oceanic and atmospheric dynamics
Global well-posedness of the primitive equations of oceanic and atmospheric dynamics Jinkai Li Department of Mathematics The Chinese University of Hong Kong Dynamics of Small Scales in Fluids ICERM, Feb
More informationSobolev regularity for the Monge-Ampère equation, with application to the semigeostrophic equations
Sobolev regularity for the Monge-Ampère equation, with application to the semigeostrophic equations Alessio Figalli Abstract In this note we review some recent results on the Sobolev regularity of solutions
More informationExponentially Accurate Semiclassical Tunneling Wave Functions in One Dimension
Exponentially Accurate Semiclassical Tunneling Wave Functions in One Dimension Vasile Gradinaru Seminar for Applied Mathematics ETH Zürich CH 8092 Zürich, Switzerland, George A. Hagedorn Department of
More informationThe inviscid limit to a contact discontinuity for the compressible Navier-Stokes-Fourier system using the relative entropy method
The inviscid limit to a contact discontinuity for the compressible Navier-Stokes-Fourier system using the relative entropy method Alexis Vasseur, and Yi Wang Department of Mathematics, University of Texas
More informationA Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets
A Minimal Uncertainty Product for One Dimensional Semiclassical Wave Packets George A. Hagedorn Happy 60 th birthday, Mr. Fritz! Abstract. Although real, normalized Gaussian wave packets minimize the product
More informationBose-Einstein condensation and limit theorems. Kay Kirkpatrick, UIUC
Bose-Einstein condensation and limit theorems Kay Kirkpatrick, UIUC 2015 Bose-Einstein condensation: from many quantum particles to a quantum superparticle Kay Kirkpatrick, UIUC/MSRI TexAMP 2015 The big
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationΓ-convergence of functionals on divergence-free fields
Γ-convergence of functionals on divergence-free fields N. Ansini Section de Mathématiques EPFL 05 Lausanne Switzerland A. Garroni Dip. di Matematica Univ. di Roma La Sapienza P.le A. Moro 2 0085 Rome,
More informationSingularity formation for compressible Euler equations
Singularity formation for compressible Euler equations Geng Chen Ronghua Pan Shengguo Zhu Abstract In this paper, for the p-system and full compressible Euler equations in one space dimension, we provide
More informationPHY 396 K. Problem set #5. Due October 9, 2008.
PHY 396 K. Problem set #5. Due October 9, 2008.. First, an exercise in bosonic commutation relations [â α, â β = 0, [â α, â β = 0, [â α, â β = δ αβ. ( (a Calculate the commutators [â αâ β, â γ, [â αâ β,
More informationMicro-local analysis in Fourier Lebesgue and modulation spaces.
Micro-local analysis in Fourier Lebesgue and modulation spaces. Stevan Pilipović University of Novi Sad Nagoya, September 30, 2009 (Novi Sad) Nagoya, September 30, 2009 1 / 52 Introduction We introduce
More informationProblem List MATH 5143 Fall, 2013
Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was
More information