The MeanField Limit for the Dynamics of Large Particle Systems


 Augustine Strickland
 1 years ago
 Views:
Transcription
1 Journées Équations aux dérivées partielles ForgeslesEaux, 2 6 juin 23 GDR 2434 (CRS) The MeanField Limit for the Dynamics of Large Particle Systems François Golse Abstract This short course explains how the usual meanfield evolution PDEs in Statistical Physics such as the VlasovPoisson, SchrödingerPoisson or timedependent HartreeFock equations are rigorously derived from first principles, i.e. from the fundamental microscopic models that govern the evolution of large, interacting particle systems. Mon cher Athos, je veux bien, puisque votre santé l exige absolument, que vous vous reposiez quinze jours. Allez donc prendre les eaux de Forges ou telles autres qui vous conviendront, et rétablissezvous promptement. Votre affectionné Tréville Alexandre Dumas Les Trois Mousquetaires 1. A review of physical models The subject matter of these lectures is the relation between exact microscopic models that govern the evolution of large particle systems and a certain type of approximate models known in Statistical Mechanics as meanfield equations. This notion of meanfield equation is best understood by getting acquainted with the most famous examples of such equations, described below. MSC 2 : 82C5, 82C1, 82C22, 35A1, 35Q4, 35Q55. Keywords : meanfield limit, Vlasov equation, Hartree approximation, HartreeFock equations, BBGKY hierarchy, propagation of chaos, Slater determinant. IX 1
2 1.1. Examples of meanfield equations Roughly speaking, a meanfield equation is a model that describes the evolution of a typical particle subject to the collective interaction created by a large number of other, like particles. The state of the typical particle is given by its phase space density; the force field exerted by the other particles on this typical particle is approximated by the average with respect to the phase space density of the force field exerted on that particle from each point in the phase space. Here are the most famous examples of meanfield equations The Vlasov equation The Vlasov equation is the kinetic model for collisionless gases or plasmas. Let f f(t, x, ξ) be the phase space density of point particles that occupy position x R D and have momentum ξ R D at time t. Let V V (x, y) be the potential describing the pairwise interaction exerted by a particle located at position y on a particle located at position x. Vlasov s equation reads t f + 1 m ξ xf + F (t, x) ξ f =, x, ξ R D, F (t, x) = x R D R D V (x, y)f(t, y, ξ)dξdy. (1.1) The parameter m in the PDE above is the particle mass; below, we shall set it to be 1 without further apology, along with other physical constants. In other words, Vlasov s equation can be put in the form of a Liouville equation t f + {H f(t,, ),f} = with a timedependent Hamiltonian given by the formula H f(t,, ) (x, ξ) = 1 2m ξ 2 + V (x, y)f(t, y, ξ)dξdy. (1.2) R D R D This formulation may be the best justification for the term meanfield": the field exerted on the typical particle at time t and position x is created by the potential V (x, y) f(t, x, ξ)dξ dy R D R D which is the sum of the elementary potentials created at position x by one particle located at position y distributed according to the macroscopic density ρ f (t, x) = f(t, x, ξ)dξ. (1.3) R D The best known physical example of (1.1) (in space dimension D =3) is the case where V (x, y) = q 1 4π x y electrostatic potential created by a charge q IX 2
3 that is used to model collisionless plasmas with negligible magnetic effects. In truth, plasmas are made of several species of charged particles (electrons and ions); thus in reality the description of a plasma would involve as many transport equations in (1.1) as there are particle species to be considered, while the total electric force would be computed in terms of the sum of macroscopic densities of all particles weighted by the charge number of each particle species (e.g., if q is minus the charge of one electron, Z = 1 for electrons, Z =1, 2,... for positively charged ions...) Another physical example of (1.1) is the case where V (x, y) = Gm x y gravitational potential created by a mass m where G is ewton s constant. This model is used in Astronomy, in very specific contexts. Its mathematical theory is harder than that of the electrostatic case because the interaction between like particles in the present case is attractive (unlike in the previous case, where particle of like charges are repelled by the electrostatic force), which may lead to buildup of concentrations in the density. Both models go by the name of VlasovPoisson equation, since V is, up to a sign, the fundamental solution of Poisson s equation x U = ρ in R 3. There are many more physical examples of mean field equations of the Vlasov type than these two. For instance, one can replace the electrostatic interaction with the full electromagnetic interaction between charged, relativistic particles. The analogue of the VlasovPoisson equation in this case (in the somewhat unphysical situation where only one species of charged particles is involved) is t f + 1 m ξ xf + q m coupled to the system of Maxwell s equations E + 1 c v(ξ) B(t, x) ξ f = (1.4) t E c curl x B = j f, div x E = ρ f, t B + c curl x E =, div x B =, (1.5) where ξ v(ξ) =, j f (t, x) = v(ξ)f(t, x, ξ)dξ. m 2 + ξ 2 R 3 c 2 The system (1.4)(1.5) is called the relativistic VlasovMaxwell system". It is a good exercise to find its Hamiltonian formulation. There are many more examples of Vlasov type equations, such as the Vlasov Einstein equation which is the relativistic analogue of the gravitational Vlasov Poisson equation above. There also exists a VlasovYangMills equation for the quarkgluon plasma. IX 3
4 The meanfield Schrödinger equation Vlasovtype equations are classical, instead of quantum, models. There exist nonrelativistic, quantum analogues of Vlasov s equation (1.1). We shall be mainly concerned with two such models, the meanfield Schrödinger equation that is presented in this section, and the timedependent HartreeFock equation, to be described in the next section. The recipe for building the meanfield Schrödinger equation is to start from the timedependent, classical meanfield Hamiltonian (1.2) in the form H ρ(t, ) (x, ξ) = 1 2m ξ 2 + V (x, y)ρ(t, y)dy R D and to quantize it by the usual rule ξ i x, leading to the operator H ρ(t, ) = 2 2m x + V (x, y)ρ(t, y)dy. R D If one considers a large number of undistinguishable quantum particles in the same pure" state, the whole system of such particles is described by one wave function ψ ψ(t, x) C, and the density ρ is given by ρ(t, x) = ψ(t, x) 2. The evolution of the wave function ψ is governed by the meanfield Schrödinger equation i t ψ = H ψ(t, ) 2ψ = 2 (1.6) 2m xψ + V (x, y) ψ(t, y) 2 dy ψ R D It may also happen that the particles are in distinct quantum states, defined by a family of wave functions, ψ k ψ k (t, x), k =1,...,, that are orthonormal in L 2, i.e. ψ k ψ l = δ kl. In this case, the density ρ is ρ(t, x) = 1 ψ k (t, x) 2, and each wave function is governed by the Schrödinger equation defined by the Hamiltonian H ρ(t, ), i.e. the system i t ψ k = 2 1 2m xψ k + V (x, y) ψ k (t, y) 2 dy ψ k, R D (1.7) k =1,...,. One might think that the meanfield Schrödinger equation is a less universal object than its classical counterpart (the Vlasov equation) since there are so many variants of it (1.6) and (1.7) for instance. In fact, (1.6) and (1.7) (and all the other variants of the meanfield Schrödinger equation) are unified by considering instead the formulation of Quantum Mechanics IX 4
5 in terms of operators. In this formulation, the state of this system is described by a timedependent, integral operator D(t) L(L 2 (R D )) with integral kernel denoted by D(t, x, y) that satisfies the von eumann equation i t D =[H ρ(t, ),D], where ρ(t, x) =D(t, x, x). (1.8) The operator D(t) is usually referred to as the density operator, while its integral kernel D(t, x, y) is called the density matrix. A more explicit form of (1.8) is i t D(t, x, y) = 2 ( 2m x y )D(t, x, y) + D(t, x, y) (V (x z) V (y z))d(t, z, z)dz. (1.9) In the case corresponding to the single meanfield Schrödinger equation (1.6), the density matrix is given by and the density operator it defines is usually denoted D(t, x, y) =ψ(t, x)ψ(t, y), (1.1) D(t) = ψ(t, )ψ(t, ). In the case corresponding to the system of coupled meanfield Schrö dinger equations (1.7), the density matrix is given by D(t, x, y) = 1 ψ k (t, x)ψ k (t, y), (1.11) while the density operator it defines is D(t) = 1 ψ k (t, )ψ k (t, ). Of course, in either case, the meanfield von eumann equation (1.8) is equivalent to (1.6) or (1.7) up to some unessential phase factor that may depend on t, the wave functions are recovered as the eigenfunctions of the density operator. However, the meanfield von eumann equation (1.8) does not take into account a purely quantum effet, the exchange interaction", that is described in the next section The (timedependent) HartreeFock equation It is a wellknown fact that the electrical interaction of (nonrelativistic) charged particles is independent of their spins. However, the effect of the spin of nonrelativistic particles is seen on their statistics. Indeed, one deduces from Relativistic Quantum Mechanics that particles with integer spin are bosons, meaning that the wave function of a system consisting of such particles is a symmetric function of their positions (see [2], 11). A similar argument shows that the wave function of a IX 5
6 system of particles with halfinteger spin is a skewsymmetric function of their positions (see [2], 25); in other words, such particles are fermions. For instance photons, α particles, hydrogen atoms, or π mesons are bosons, while electrons, positrons, protons, neutrons etc... are fermions. That the wave function of a system of fermions is skewsymmetric implies Pauli s exclusion principle: two (or more) fermions cannot find themselves in the same quantum state. This apparently innocuous statement has farreaching physical consequences for instance on the structure of atoms, where successive electronic layers are filled with electrons of opposite spins. Returning to the discussion in the previous section, one immediately sees that the meanfield Schrödinger equation (1.6), applies to bosons only, since it is a model based on the assumption that the particles are in the same quantum state characterized by the wave function φ. This particular situation is referred to as Bose condensation", and is typical for bosons at zero temperature. Consider next a system consisting of 2 fermions: its wave function takes the form 1 2 (ψ 1 (x 1 )ψ 2 (x 2 ) ψ 1 (x 2 )ψ 2 (x 1 )), where (ψ 1,ψ 2 ) is an orthonormal system of L 2 (R D ). If V V ( x 1 x 2 ) is a pairwise interaction potential, the interaction energy of this system is V (x 1 x 2 ) ψ 1 (x 1 ) 2 ψ 2 (x 2 ) 2 dx 1 dx 2 V (x 1 x 2 )ψ 1 (x 1 )ψ 1 (x 2 )ψ 2 (x 2 )ψ 2 (x 1 )dx 1 dx 2. (1.12) In the expression above, the second integral is the exchange interaction" (see [19], 62, problem 1). From this elementary computation, one easily arrives at the meanfield equation for fermions: the kth particle is subject to the sum of all interactions of the form (1.12) exerted by the 1 other particles: i t ψ k (t, x) = 2 ψ 2m k(t, x) + 1 ψ k (t, x) V ( x y ) ψ l (t, y) 2 dy 1 l=1 l=1 ψ l (t, x) V ( x y )ψ k (t, y)ψ l (t, y)dy, 1 k. (1.13) This system of equations is known as the time dependent HartreeFock equations" (abbreviated as TDHF); the wave functions ψ k go by the name of orbitals" of the system we recall that the term orbital applies to that part of the wave function that does not depend on the spin variables. Perhaps the simplest method for obtaining this system consists in writing the Hamiltonian as the sum of the kinetic energies of each particle, i.e. 2 2m x ψ k (t, x) 2 dx, IX 6
7 and of all the terms of the form (1.12) corresponding to each pair of particles. Then the evolution equation associated to the resulting Hamiltonian, say H, is i t ψ k = δh δψ k (t, x). The constant 1/ on the righthand side of (1.13) scales the interaction so that in the total energy (Hamiltonian H), both the kinetic and interaction energies are of the same order of magnitude. To emphasize the similarity between the TDHF equations and (1.9) which may not seem that obvious on the formulation involving orbitals let us write the operator form of (1.13). Let D D(t, x, y) be the density matrix defined as in (1.11); assuming that the orbitals ψ k satisfy (1.13), D(t, x, y) must satisfy i t D(t, x, y) = 2 ( 2m x y )D(t, x, y) + (V (x z) V (y z))d(t, x, y)d(t, z, z)dz (V (x z) V (y z))d(t, x, z)d(t, z, y))dz. (1.14) In fact there are several variants of the TDHF equations presented here. In many applications (to Chemistry, for instance), they govern the evolution of electrons. In this case, the interaction potential V involved in equations (1.13) is the Coulomb repulsive potential between negatively charged particles; it is also necessary to include other terms modelling the effect of the positively charged particles (nuclei, ions...). In most cases, including these terms does not result in additional mathematical difficulties, since they lead to linear perturbations of (1.13) in the electronic orbitals. For this reason, we shall restrict our attention to the simplified model (1.13) or (1.14) in this course First principle equations ext we turn our attention to the fundamental equations describing the dynamics of a system of particles. In this course, we only consider nonrelativistic particles. We are mainly concerned with quantum models; however, we also discuss the derivation of Vlasov s equation from the classical body problem, in the limit as The classical body problem Consider a system of point particles of mass m. In the absence of external forces (such as gravity), these particles are subject only to binary interactions corresponding to a potential V V (x 1,x 2 ). (Obviously, V is symmetric: V (x 1,x 2 )= V (x 2,x 1 )). If x k x k (t) denotes the position of the kth particle, ewton s second law of motion for each particle is expressed in the form of the system of secondorder differential equations: mẍ k = xk V (x k,x l ), 1 k. (1.15) 1 l=k IX 7
8 Equivalently, one can write the Hamiltonian of this system of particles as the total energy = kinetic energy + potential energy, i.e. H (x 1,...,x,ξ 1,...,ξ )= ξ k 2 2m + 1 l<k V (x k,x l ). (1.16) The system of second order differential equations (1.15) is equivalent to the system of Hamilton s equations ẋ k = ξk H, ξ k = xk H. (1.17) The integral curves of this system of firstorder differential equations are the characteristic curves of the Liouville equation t F + {H,F } := t F + ξk H xk F xk H ξk F = (1.18) In (1.18), F F (t, x 1,...,x,ξ 1,...,ξ ) can be seen as the joint probability density of the system of particles in the body phase space, i.e. F (t, x 1,...,x,ξ 1,...,ξ )dx 1... dx dξ 1... dξ is the probability that the particle 1 is to be found in a volume dx 1 dξ 1 of the 1 particle phase space R D R D around (x 1,ξ 1 ), that the particle 2 is to be found in a volume dx 2 dξ 2 of the 1particle phase space R D R D around (x 2,ξ 2 ), and so on. (In truth, the system of characteristics (1.17) can be used to propagate just any function F on the body phase space, but the only such function that is physically meaningful is the joint probability density described above) The quantum body problem ext we describe the quantum analogue of (1.15). The quickest route to this model is to quantize the Hamiltonian H in (1.16), as we already did for the meanfield Hamiltonian. Here, quantization means associating to a function defined on the  body phase space (R D x R D ξ ) an operator acting on the Hilbert space L 2 ((R D x ) ) here, (R D x ) is usually called the configuration space. For an arbitrary function, there is more than one way of doing this; but for a function such as H, quantization means replacing the momentum variable ξ k with the momentum operator i x k. Therefore, the Hamiltonian function H is transformed into the Hamiltonian operator H = 2 2m x k + 1 k<l V (x k,x l ). (1.19) With the Hamiltonian (1.19), one writes the body Schrödinger equation i t Ψ = H Ψ = 2 2m x k Ψ + 1 k<l V (x k,x l )Ψ. (1.2) IX 8
9 Here Ψ Ψ (t, x 1,...,x ) is the wavefunction of the system of particles. The analogue of the classical, body Liouville equation (1.18) is the body von eumann equation i t D (t, X,Y )=[H,D ](t, X,Y ) = 2 ( 2m x k yk )D (t, X,Y ) + 1 k<l (V (x k,x l ) V (y k,y l ))D (t, X,Y ), (1.21) with the notation X =(x 1,,...,x ), Y =(y 1,...,y ), where the density matrix is defined in terms of the wavefunction by the formula D (t, X,Y )=Ψ (t, X )Ψ (t, Y ). It is left as an easy exercise to check that, if Ψ is a solution of the Schrödinger equation (1.2), then the density matrix defined by the formula above is a solution of the von eumann equation (1.21) Another example of meanfield limit There is another classical example of meanfield limit, namely the vorticity formulation of the twodimensional Euler equation of perfect, incompressible fluids. Let u(t, x) =(u 1 (t, x 1,x 2 ),u 2 (t, x 1,x 2 )) be the velocity field and ω =( x1 u 2 x2 u 1 ). The Euler equation is t u +(u x )u + x p =, div u =. Taking the curl of the equation above leads to t ω + div x (uω) =, u = x 1 ω where the orthogonal gradient is defined as =( x2, x1 ). The operator x 1 say, on T 2 is an integral operator of the form u(t, x) =(Kω(t, ))(x), where K is the orthogonal gradient of the fundamental solution of, so that the vorticity formulation above of the Euler equation is recast as t ω + div x ((K ω(t, ))ω) =. (1.22) This is another example of meanfield PDE, very similar to the VlasovPoisson equation. In his famous article [28], Onsager got the idea of explaining twodimensional turbulence by the methods of Statistical Mechanics applied to (1.22), viewed as the meanfield limit of a system of point vortices of equal strengths located at the positions z 1 (t),...,z (t) satisfying the system of ODEs z k = 1 1 l=k K(Z k (t) z l (t)), 1 k. (1.23) IX 9
10 We refer to [9] and to [17] for a mathematical treatment of some of the main ideas in Onsager s paper. This description is also used to design numerical methods for the twodimensional Euler equations (the socalled vortex method): we refer the interested reader to the book by MarchioroPulvirenti [23] and to the references therein. However, we shall not insist too much on this theme in these lectures, since the vortex system (1.23) is not a fundamental principle of physics, but rather an approximation of the physical model (1.22). Yet, in view of the simplicity of this model, we shall use it instead of Vlasov s equation in Appendices AB to part I of these lectures, to show Dobrushin s stability estimate in terms of the Wasserstein distance, with its application to the propagation of chaos The Boltzmann equation is not a meanfield equation Vlasov s equation belongs to the kinetic theory of plasmas. Indeed, it governs the 1particle phase space density of a system consisting of a large number of like point particles, which is precisely the fundamental notion that appeared in the founding papers by Maxwell and Boltzmann. However, not every kinetic model is a meanfield equation. The most famous of such models, the Boltzmann equation itself, is not. It reads ( t + v x )f = (f f1 ff 1 ) v ω dv 1 dω (1.24) R 3 S 2 where f f(t, x, v) is the probability density of particles which, at time t, are at position x with velocity v. The notations f 1, f and f 1 designate respectively f(t, x, v 1 ), f(t, x, v ), and f(t, x, v 1), where v = v (v v 1 ) ωω, v 1 = v 1 +(v v 1 ) ωω. It is interesting to compare the Vlasov equation (1.1) with (1.24). Since the momentum ξ = mv where m is the particle mass, this amounts to comparing F ξ f with (f f1 ff 1 ) v ω dv 1 dω. R 3 S 2 The latter term, which is Boltzmann s collision integral, describes the loss of particles with velocity v due to binary collisions with particles located at the same position x with an arbitrary velocity v 1, and the creation of particles with that velocity v due to binary collisions involving one particle with velocity v and another particle with velocity v 1, both located at that same position x. Here, particles are viewed as hard spheres with radius and the collisions are assumed to be perfectly elastic. Hence, each particle is unaffected by all the other particles, unless it touches another particle, in which case a collision of the type described above occurs. Because the radius of these particles is negligible or collisions involving more than two particles are infinitely rare events and are discarded in Boltzmann s equation. By constrast, the former term, i.e. the meanfield term in Vlasov s equation, takes into account the effect on any given particle of all the other particles, and not IX 1
11 only the effect of its closest neighbor. In this sense, one could think that Vlasov s equation is better adapted at describing longrange interactions, while Boltzmann s equation is better suited for shortrange interactions. There is some truth in such a statement, which however fails to capture the essential differences between both models. In fact, Boltzmann s equation for hard spheres was rigorously derived by Lanford [22] from the model analogous to (1.15) where the potential V is replaced with hard sphere collisions, under some scaling assumption known as the BoltzmannGrad scaling. There is an unpublished proof by King [18] that does the same for some class of shortrange potentials. Vlasov s equation is also derived from (1.15), but under a very different scaling assumption. Rather strikingly, both limits lead to very different qualitative behaviors. For instance, it is believed (and indeed proved in a variety of cases by Desvillettes and Villani [13]) that the long time limit of the Boltzmann equation in a compact domain (e.g. on a flat 3torus) leads to uniform Maxwellian distributions (i.e. Gaussian distributions in the v variable with moments that are constant in the variable x). Boltzmann s HTheorem states that, if f is a solution to the Boltzmann equation, the quantity f(t, x, v) ln f(t, x, v)dxdv (1.25) (which represents some form of entropy) increases until f reaches a Maxwellian equilibrium. This is related to the notion of irreversibility in Statistical Mechanics, however in a way that was very misleading in Boltzmann s time, thereby leading to bitter controversy. On the contrary, this quantity is a constant if f is a solution to the Vlasov equation this is left as an easy exercise, whose solution is reminiscent of the proof of Liouville s theorem on Hamilton s equation (i.e. the invariance of the measure dxdξ under the Hamiltonian flow). Moreover, the long time limit of the solution of Vlasov s equation on a compact domain, say on a flat torus, is not yet understood, and seems a rather formidable open problem. By the way, it is interesting to note that the quantum analogue of (1.25) is trace(d(t) ln D(t)) where D D(t) is the density operator notice that D(t) ln D(t) is well defined by the continuous functional calculus, since D(t) is a positive selfadjoint operator and z z ln z a continuous function on R +. Outline Part I: From the classical body problem to Vlasov s equation Part II: From the quantum body problem to Hartree s equation Part III: From the quantum body problem to the TDHF equations IX 11
12 Part I. From the classical body problem to Vlasov s equation In this section, we start from the classical body problem in Hamiltonian form: ẋ k = ξ k, ξ k = 1 1 k=l x V (x k,x l ) (I.1) which is equivalent to (1.17) with a Hamiltonian H (x 1,...,x,ξ 1,...,ξ )= 1 2 ξ k l<k V (x k,x l ) (I.2) where the interaction potential V V (x, y) is scaled by the 1/ factor. This situation is known as the weak coupling scaling"; it naturally leads to meanfield equations, since the force exerted on each particle is of order one as +. Perhaps the most convincing argument in favor of this scaling is as follows: since the total kinetic energy is a sum of terms and the total potential energy is a sum of 1 ( 1) terms, the 1/ factor in multiplying the potential scales the kinetic 2 and potential energy in the Hamiltonian to be of the same order of magnitude as +. For notational simplicity, we set z k =(x k,ξ k ) R D R D, with k =1,...,. The potential V : R D R D R is assumed to satisfy V C 2 b (R D R D ), V(x, y) =V (y, x) for all x, y R D. (I.3) Under this assumption, the Hamiltonian vector field Z ( xk H (Z), ξk H (Z)) T 1 k belongs to Cb 1((RD R D ), (R D R D ) ). By the CauchyLipschitz theorem, for each Z (RD R D ), there exists a unique solution Z (t) =(x k (t),ξ k (t)) 1 k to the system of ODEs (1.17) such that Z () = Z. This solution is denoted by Z Z (t, Z ) and is defined for all times. Finally, Z belongs to C 1 (R (R D R D ) ;(R D R D ) ). Definition I.1. The empirical distribution of the system of particles is the probability measure on R D R D defined as f,z (t, ) = 1 δ zk (t,z ). This is a probability measure on the 1particle phase space, and yet, it is equivalent to know f,z or to know the trajectory of each of the particles considered. This probability measure is not to be confused with the unknown in the Liouville equation (1.18), the latter being a probability measure on the particle phase space. IX 12
13 We shall discuss the relation between these two probability measures in Appendix B below. For the time being, let us point at a nice feature of the empirical distribution: like the solution f of the Vlasov s equation the target equation to be derived from (1.17) it is already defined on the 1particle phase space, unlike the solution of the Liouville equation (1.18), that lives in a different, bigger space. In fact, f,z is a solution in fact an approximate solution to (1.1) in the sense of distributions, and this statement is equivalent to the fact that (x k,ξ k ) is a solution to (1.17). Lemma I.2. Let Z Z (t, Z ) be the solution of (I.1) with initial data Z (,Z )= Z. Then the empirical distribution f,z satisfies t f,z + ξ x f,z + div ξ (F,Z (t, x)f,z ) = 1 div 2 ξ ( x V (x k,x k )δ zk (t,z ) ) (I.4) in the sense of distributions, where F,Z (t, x) = x V (x, y)f,z (t, dy, dξ). (In (I.4), x V designates the derivative with respect to the first group of variables in the product space R D R D ). Proof. Let φ φ(x, ξ) C c (R D R D ). Then t f,z (t),φ = = ẋ k (t) x φ(x k (t),ξ k (t)) ξ k (t) ξ φ(x k (t),ξ k (t)) ξ k (t) x φ(x k (t),ξ k (t)) F,Z (t, x k (t)) ξ φ(x k (t),ξ k (t)) x V (x k (t),x k (t)) ξ φ(x k (t),ξ k (t)) which gives the announced equality. ext we study the limiting behavior of f,z as + ; some uniform estimates are needed for this. In fact we need only the conservation of Hamilton s function under the Hamiltonian flow (1.17), expressed in the following manner: IX 13
14 Lemma I.3. Let Z =(x k,ξ k ) 1 k. Assume that Then sup 1 t R sup ξk < +. 1 k 1 ξ 2 f,z (t, x, ξ)dxdξ < +. Proof. The Hamiltonian H is constant on the integral curves of the associated Hamiltonian vector field; hence 1 H (Z (t, Z)) = 1 H (Z) 1 sup ξ 2 k 2 + 1V 2 L. 1 k, 1 On the other hand, one has ξ 2 f,z (t, x, ξ)dxdξ = 1 which implies the announced result. ξ k (t) 2 2 H (Z (t, Z )) + V L, Lemma I.4. Let V C 2 r (R D R D ) 1. Let Z be such that f,z () = 1 δ (Z ) k f weakly* in M(R D R D ) 2 and H (Z )=O() as +. Then, the sequence f,z is relatively compact in C(R + ; w M(R D R D )) (for the topology of uniform convergence on compact subsets of R + ) and each of its limit points as + is a solution f to the Vlasov equation t f + ξ x f + F (t, x) ξ f =, x, ξ R D, F (t, x) = x R D R D V (x, y)f(t, y, ξ)dξdy. (I.5) in the sense of distributions, with initial data f t= = f. 1 We denote by C k r (R ) the space of C k functions f on R D such that, for all n and all p =1,...,k, D p f(x) = O( x n ) as x +. 2 We denote by M(X) the space of Radon measures on a locally compact space X; its weak* topology is the one defined by duality with test functions in C c (X). IX 14
15 Proof. For each t, f,z (t) is a sequence of probability measures on R D R D. Hence f,z is weakly* relatively compact in M(R + R D R D ). Denote by f,z be a subsequence of f,z weakly* converging to f. Because of Lemma I.3, f,z (t, x, ξ)dξ f(t, x, ξ)dξ weakly* in M(R + R D ) as +. On the other hand, any solution to the Hamiltonian system (I.1) satisfies the bound sup ẍ k (t) x V L. t 1 k From this bound, an easy argument shows that, for each φ C c (R D R D ), the sequence of functions t f Z (t),φ (I.6) is equicontinuous on compact subsets of R +. By Ascoli s theorem x V (x, y)f(t, y, η)dηdy F,Z uniformly on compact subsets of R + R D as +. Thus F,Z f,z f(t, x, ξ) x V (x, y)f(t, y, η)dηdy in the sense of distributions on R + R D R D. Hence f solves Vlasov s equation (1.1) in the sense of distributions. Also, f t= = f because of the equicontinuity of (I.6). otice that classical solutions to the Vlasov equation (I.5) are unique ly defined by their initial data, as shown by the following Lemma I.5. Let V Cr 2 (R D R D ), and let f C 1 (R D R D ) be such that f, (1 + ξ ) 2 f (x, ξ)dxdξ, +. Then the Vlasov equation (I.5) has a unique classical solution f C 1 (R + R D R D ) with initial data f t= = f. Any g C(R +,w M(R D R D )) that solves (1.1) in the sense of distributions on R + R D R D and satisfies g t= = f must coincide with f on all of R + R D R D. The (easy) proof of this Lemma is left to the reader (we shall prove a slightly more general result later). Collecting the results in Lemmas I.4 and I.5, we arrive at the following Theorem, proved by several authors (eunzert [26], BraunHepp [8], Dobrushin [14] and Maslov [24]). IX 15
16 Theorem I.6. Let V Cr 2 (R D R D ). Start from a sequence Z, configurations of particles such that of initial and Then 1 1 δ (Z, ) k f in w M(R D R D ) H (Z, )=O(). δ zk (t,z, ) f(t,, ) in w M(R D R D ) uniformly on compacts subsets of R +, where f is the solution to the Vlasov equation (1.1) with initial data f. Hence, Vlasov s equation (1.1) is shown to be the meanfield limit of the body Hamiltonian system (1.17) as +. In fact the proof given here reduces to the continuous dependence on initial data of the solution to Vlasov s equation. I.A. Meanfield PDEs and Wasserstein distance In this first appendix to Part I, we present Dobrushin s beautiful idea of proving stability of first order meanfield PDEs in the Wasserstein distance. Definition I.7. Let µ and ν be two probability measures on R D. The Wasserstein distance between µ and ν is W (µ, ν) = inf{e X Y X (resp. Y ) has distribution µ (resp. ν)} In other words, let E(µ, ν) be the set of probability measures P on R D R D such that the image of P under the projection on the first factor (resp. on the second factor) is µ (resp. ν). Then W (µ, ν) = x y P (dxdy). inf P E(µ,ν) Consider next the meanfield, 1st order PDE, for the unknown ρ ρ(t, z), t ρ + div z ((K z ρ)ρ) =, ρ t= = ρ. (I.7) where K is a Lipschitz continuous vectorfield on R D and z denotes the convolution in z. This is model is analogous to the vorticity formulation of the twodimensional Euler equation (see section 1 above), except that the function K in that case is singular at the origin. In the context of vortex method for the Euler equation, it is customary to replace the original kernel K by a truncation of it near the origin this is called the vortex blob" method, since it amounts to assign a positive thickness to each vortex center in the system considered: see [23]. IX 16
17 The associated system of characteristics is ż(t, a, ρ )=(K z ρ(t))(z(t, a, ρ )), z(, a, ρ )=a, ρ(t) =z(t,,ρ ) ρ. (I.8) (We recall the following usual notation for transportation of measure: given two measurable spaces (X, M) and (Y, ), a measurable map f : X Y and a measure µ on (X, M), one defines a measure ν on (Y, ) called the image of µ by f" and denoted by ν = f µ, by the formula ν(b) =µ(f 1 (B)) for B ). In other words ż(t, a, ρ )= K(z(t, a, ρ ) z(t, a,ρ ))ρ (da ). (I.9) Let µ µ(t, dz) and ν ν(t, dz) be two solutions to the meanfield PDE (I.7) in C(R +,w M 1 (R D )) 3 Then Dobrushin s inequality W (µ(t),ν(t)) W (µ,ν )e 2tK Lip, t. Proof. Let P E(µ,ν ); define P (t) to be the image of P under the map (a, b) (z(t, a, µ ),z(t, b, ν )). Then P (t) E(µ(t),ν(t)). Set Φ(t) = a b P (t, dadb) = z(t, a, µ ) z(t, b, ν ) P (dadb). Observe that and similarly so that z(t, a, µ )=a + = a + z(t, b, ν )=b + = b + t t t t K(z(s, a, µ ) z(s, a,µ ))µ (da )ds K(z(s, a, µ ) z(s, a,µ ))P (da db )ds K(z(s, b, ν ) z(s, b,ν ))ν (db )ds K(z(s, b, ν ) z(s, b,ν ))P (da db )ds, z(t, a, µ ) z(t, b, ν ) a b t + K Lip (z(s, a, µ ) z(s, a,µ )) (z(s, b, ν ) z(s, b,ν )) P (da db )ds t a b + K Lip z(s, a, µ ) z(s, b, ν )) ds t + K Lip z(s, a,µ ) z(s, a,ν )) P (da db )ds. 3 M 1 (X) denotes the set of probability measures on X. IX 17
18 Integrating both sides of this inequality with respect to P (dadb) leads to z(t, a, µ ) z(t, b, ν ) P (dadb) a b P (dadb) t + K Lip z(s, a, µ ) z(s, b, ν )) P (dadb)ds t + K Lip z(s, a,µ ) z(s, b,ν )) P (da db )P (dadb)ds which implies that z(t, a, µ ) z(t, b, ν ) P (dadb) a b P (dadb) t +2K Lip z(s, a, µ ) z(s, b, ν )) P (dadb)ds or in other words By Gronwall s inequality t Φ(t) Φ() + 2K Lip Φ(s)ds. Φ(t) Φ()e 2tK Lip and taking the infimum of both sides of this inequality over E(µ,ν ) leads to Dobrushin s inequality. At this point, Dobrushin s inequality can be used in two different ways in the proof of the meanfield limit: it proves in particular the uniqueness of the solution to (I.7) within the class C(R +,w M 1 (R D )); if one takes ν, to be of the form then for each k 1, z k z k (t, z, k,ν, )= 1 ν, = 1 δ z, k, (t, z, k,ν, ) is the solution to the system of ODE l=1 z k (,z, k,ν, )= z, k ; then, by setting ν (t) = 1 K(z k (t, z, k,ν, ) z l (t, z, l,ν, )) δ z k (t,z, k,ν, ), a direct application of Dobrushin s inequality shows that W (µ(t),ν (t)) for each t> as + if W (µ,ν, ). Since the Wasserstein distance metricizes the weak* topology of M 1 (R D ), this gives another proof of the meanfield limit as in Theorem I.6 IX 18
19 I.B. Chaotic sequences In Theorem I.6, we proved the convergence of the empirical distribution of particles to the solution of Vlasov s equation in the large limit and for the weak coupling scaling. Even if the empirical distribution is a natural object encoding the motion of particles under the Hamiltonian flow of (I.1), it is a probability measure on the 1particle phase space. Another, equally natural object to consider is the joint distribution of the same system of undistinguishable particles which is a probability measure on the particle phase space. The next Lemma explains how both objects are related. More generally, this Appendix is aimed at explaining in detail the respective roles of the particle and the 1particle phase spaces in the meanfield limit. Lemma I.8. Let f M 1 (R D ) and, for all 1, F M 1 ((R D ) ) symmetric in all variables i.e. F is invariant under the transformation (x 1,...,x ) (x σ(1),...,x σ() ) for each σ S. The two following statements are equivalent (1) for each > and each φ C c (R D ), F ({(x 1,...,x ) (R D ) 1 δ xk f,φ }) as + ; (2) the sequence F :j of marginal distributions of F i.e. F :j is the image of F under the projection (x 1,...,x ) (x 1,...,x j ) satisfies F :j f j weakly*, as +. Proof. Let us show how (1) implies (2). First, (1) clearly implies that j E F 1 δ xk f,φ for all j 1 as +. For j =1, observe that, by symmetry of F, E F 1 δ xk f,φ = E F 1 φ(x k ) f,φ and hence For j =2 E F 1 = E F :1 φ f,φ F :1 f weakly* as +. 2 δ xk f,φ = E F 1 2f,φE F IX 19 φ(x k ) 1 2 φ(x k ) + f,φ 2.
20 On the other hand E F 1 2 φ(x k ) = 1 2 EF EF φ(x k ) 2 1 k=l = 1 EF :1 φ 2 + so that, by using again the symmetry of F, E F 1 2 δ xk f,φ = φ(x k )φ(x l ) ( 1) E F :2 φ 2 2 ( 1) E F :2 φ 2 2 2f,φE F :1 φ + f,φ EF :1 φ 2 (I.1) Hence, if as +, one has E F 1 2 δ xk f,φ F :2 f 2 weakly* as +. The extension to js larger than 2 is done in the same manner. Conversely, assume that (2) holds for j =1, 2. By the BienaymeChebyshev inequality so that, because of (I.1) F ({(x 1,...,x ) (R D ) 1 F ({(x 1,...,x ) (R D ) 1 δ xk f,φ }) 1 2 EF 1 δ xk f,φ 2 δ xk f,φ }) = 1 ( 1) E F :2 φ 2 2f,φE F :1 φ + f,φ EF :1 φ 2 Keeping > fixed and letting + leads to (1) because of the limits as +. E F :1 φ f,φ, E F :2 φ 2 f,φ 2 IX 2.
1D 3D 1D 3D. is called eigenstate or state function. When an operator act on a state, it can be written as
Chapter 3 (Lecture 45) Postulates of Quantum Mechanics Now we turn to an application of the preceding material, and move into the foundations of quantum mechanics. Quantum mechanics is based on a series
More informationThe integrating factor method (Sect. 2.1).
The integrating factor method (Sect. 2.1). Overview of differential equations. Linear Ordinary Differential Equations. The integrating factor method. Constant coefficients. The Initial Value Problem. Variable
More informationRate of convergence towards Hartree dynamics
Rate of convergence towards Hartree dynamics Benjamin Schlein, LMU München and University of Cambridge Universitá di Milano Bicocca, October 22, 2007 Joint work with I. Rodnianski 1. Introduction boson
More informationQuasistatic evolution and congested transport
Quasistatic evolution and congested transport Inwon Kim Joint with Damon Alexander, Katy Craig and Yao Yao UCLA, UW Madison Hard congestion in crowd motion The following crowd motion model is proposed
More informationPhysics 9e/Cutnell. correlated to the. College Board AP Physics 1 Course Objectives
Physics 9e/Cutnell correlated to the College Board AP Physics 1 Course Objectives Big Idea 1: Objects and systems have properties such as mass and charge. Systems may have internal structure. Enduring
More informationAn optimal transportation problem with import/export taxes on the boundary
An optimal transportation problem with import/export taxes on the boundary Julián Toledo Workshop International sur les Mathématiques et l Environnement Essaouira, November 2012..................... Joint
More informationAn Introduction to HartreeFock Molecular Orbital Theory
An Introduction to HartreeFock Molecular Orbital Theory C. David Sherrill School of Chemistry and Biochemistry Georgia Institute of Technology June 2000 1 Introduction HartreeFock theory is fundamental
More informationNotes on Elastic and Inelastic Collisions
Notes on Elastic and Inelastic Collisions In any collision of 2 bodies, their net momentus conserved. That is, the net momentum vector of the bodies just after the collision is the same as it was just
More informationElasticity Theory Basics
G22.3033002: Topics in Computer Graphics: Lecture #7 Geometric Modeling New York University Elasticity Theory Basics Lecture #7: 20 October 2003 Lecturer: Denis Zorin Scribe: Adrian Secord, Yotam Gingold
More informationORDINARY DIFFERENTIAL EQUATIONS
ORDINARY DIFFERENTIAL EQUATIONS GABRIEL NAGY Mathematics Department, Michigan State University, East Lansing, MI, 48824. SEPTEMBER 4, 25 Summary. This is an introduction to ordinary differential equations.
More informationClass Meeting # 1: Introduction to PDEs
MATH 18.152 COURSE NOTES  CLASS MEETING # 1 18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u = u(x
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More information2.2. Instantaneous Velocity
2.2. Instantaneous Velocity toc Assuming that your are not familiar with the technical aspects of this section, when you think about it, your knowledge of velocity is limited. In terms of your own mathematical
More informationEXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL
EXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL Exit Time problems and Escape from a Potential Well Escape From a Potential Well There are many systems in physics, chemistry and biology that exist
More informationHydrodynamic Limits of Randomized Load Balancing Networks
Hydrodynamic Limits of Randomized Load Balancing Networks Kavita Ramanan and Mohammadreza Aghajani Brown University Stochastic Networks and Stochastic Geometry a conference in honour of François Baccelli
More informationMASTER OF SCIENCE IN PHYSICS MASTER OF SCIENCES IN PHYSICS (MS PHYS) (LIST OF COURSES BY SEMESTER, THESIS OPTION)
MASTER OF SCIENCE IN PHYSICS Admission Requirements 1. Possession of a BS degree from a reputable institution or, for nonphysics majors, a GPA of 2.5 or better in at least 15 units in the following advanced
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationTHE CENTRAL LIMIT THEOREM TORONTO
THE CENTRAL LIMIT THEOREM DANIEL RÜDT UNIVERSITY OF TORONTO MARCH, 2010 Contents 1 Introduction 1 2 Mathematical Background 3 3 The Central Limit Theorem 4 4 Examples 4 4.1 Roulette......................................
More informationThe Essence of Gravitational Waves and Energy
The Essence of Gravitational Waves and Energy F. I. Cooperstock Department of Physics and Astronomy University of Victoria P.O. Box 3055, Victoria, B.C. V8W 3P6 (Canada) March 26, 2015 Abstract We discuss
More informationHarmonic Oscillator Physics
Physics 34 Lecture 9 Harmonic Oscillator Physics Lecture 9 Physics 34 Quantum Mechanics I Friday, February th, 00 For the harmonic oscillator potential in the timeindependent Schrödinger equation: d ψx
More informationGenerally Covariant Quantum Mechanics
Chapter 15 Generally Covariant Quantum Mechanics by Myron W. Evans, Alpha Foundation s Institutute for Advance Study (AIAS). (emyrone@oal.com, www.aias.us, www.atomicprecision.com) Dedicated to the Late
More informationDirichlet forms methods for error calculus and sensitivity analysis
Dirichlet forms methods for error calculus and sensitivity analysis Nicolas BOULEAU, Osaka university, november 2004 These lectures propose tools for studying sensitivity of models to scalar or functional
More informationLaws of Motion and Conservation Laws
Laws of Motion and Conservation Laws The first astrophysics we ll consider will be gravity, which we ll address in the next class. First, though, we need to set the stage by talking about some of the basic
More informationSystems with Persistent Memory: the Observation Inequality Problems and Solutions
Chapter 6 Systems with Persistent Memory: the Observation Inequality Problems and Solutions Facts that are recalled in the problems wt) = ut) + 1 c A 1 s ] R c t s)) hws) + Ks r)wr)dr ds. 6.1) w = w +
More informationState of Stress at Point
State of Stress at Point Einstein Notation The basic idea of Einstein notation is that a covector and a vector can form a scalar: This is typically written as an explicit sum: According to this convention,
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More information1 Lecture 3: Operators in Quantum Mechanics
1 Lecture 3: Operators in Quantum Mechanics 1.1 Basic notions of operator algebra. In the previous lectures we have met operators: ˆx and ˆp = i h they are called fundamental operators. Many operators
More information(Most of the material presented in this chapter is taken from Thornton and Marion, Chap. 7)
Chapter 4. Lagrangian Dynamics (Most of the material presented in this chapter is taken from Thornton and Marion, Chap. 7 4.1 Important Notes on Notation In this chapter, unless otherwise stated, the following
More informationARBITRAGEFREE OPTION PRICING MODELS. Denis Bell. University of North Florida
ARBITRAGEFREE OPTION PRICING MODELS Denis Bell University of North Florida Modelling Stock Prices Example American Express In mathematical finance, it is customary to model a stock price by an (Ito) stochatic
More informationElectronic Structure Methods. by Daniel Rohr Vrije Universiteit Amsterdam
Electronic Structure Methods by Daniel Rohr Vrije Universiteit Amsterdam drohr@few.vu.nl References WFT Szaboo & Ostlund Modern Quantum Chemistry Helgaker, Jørgensen & Olsen Molecular ElectronicStructure
More informationCoefficient of Potential and Capacitance
Coefficient of Potential and Capacitance Lecture 12: Electromagnetic Theory Professor D. K. Ghosh, Physics Department, I.I.T., Bombay We know that inside a conductor there is no electric field and that
More informationTime dependence in quantum mechanics Notes on Quantum Mechanics
Time dependence in quantum mechanics Notes on Quantum Mechanics http://quantum.bu.edu/notes/quantummechanics/timedependence.pdf Last updated Thursday, November 20, 2003 13:22:3705:00 Copyright 2003 Dan
More informationPHYS 1624 University Physics I. PHYS 2644 University Physics II
PHYS 1624 Physics I An introduction to mechanics, heat, and wave motion. This is a calculus based course for Scientists and Engineers. 4 hours (3 lecture/3 lab) Prerequisites: Credit for MATH 2413 (Calculus
More informationMATH 425, PRACTICE FINAL EXAM SOLUTIONS.
MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator
More informationU.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra
U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory
More informationA QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS
A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors
More informationCBE 6333, R. Levicky 1 Differential Balance Equations
CBE 6333, R. Levicky 1 Differential Balance Equations We have previously derived integral balances for mass, momentum, and energy for a control volume. The control volume was assumed to be some large object,
More informationReference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.
5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationChapter 22 The Hamiltonian and Lagrangian densities. from my book: Understanding Relativistic Quantum Field Theory. Hans de Vries
Chapter 22 The Hamiltonian and Lagrangian densities from my book: Understanding Relativistic Quantum Field Theory Hans de Vries January 2, 2009 2 Chapter Contents 22 The Hamiltonian and Lagrangian densities
More informationElectromagnetism Laws and Equations
Electromagnetism Laws and Equations Andrew McHutchon Michaelmas 203 Contents Electrostatics. Electric E and Dfields............................................. Electrostatic Force............................................2
More informationF ij = Gm im j r i r j 3 ( r j r i ).
Physics 3550, Fall 2012 Newton s Third Law. Multiparticle systems. Relevant Sections in Text: 1.5, 3.1, 3.2, 3.3 Newton s Third Law. You ve all heard this one. Actioni contrariam semper et qualem esse
More information1 The basic equations of fluid dynamics
1 The basic equations of fluid dynamics The main task in fluid dynamics is to find the velocity field describing the flow in a given domain. To do this, one uses the basic equations of fluid flow, which
More information* Biot Savart s Law Statement, Proof Applications of Biot Savart s Law * Magnetic Field Intensity H * Divergence of B * Curl of B. PPT No.
* Biot Savart s Law Statement, Proof Applications of Biot Savart s Law * Magnetic Field Intensity H * Divergence of B * Curl of B PPT No. 17 Biot Savart s Law A straight infinitely long wire is carrying
More informationCHEM6085: Density Functional Theory Lecture 2. Hamiltonian operators for molecules
CHEM6085: Density Functional Theory Lecture 2 Hamiltonian operators for molecules C.K. Skylaris 1 The (timeindependent) Schrödinger equation is an eigenvalue equation operator for property A eigenfunction
More information1. Degenerate Pressure
. Degenerate Pressure We next consider a Fermion gas in quite a different context: the interior of a white dwarf star. Like other stars, white dwarfs have fully ionized plasma interiors. The positively
More informationChemistry 223: MaxwellBoltzmann Distribution David Ronis McGill University
Chemistry 223: MaxwellBoltzmann Distribution David Ronis McGill University The molecular description of the bulk properties of a gas depends upon our knowing the mathematical form of the velocity distribution;
More informationExample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x
Lecture 4. LaSalle s Invariance Principle We begin with a motivating eample. Eample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum Dynamics of a pendulum with friction can be written
More informationEðlisfræði 2, vor 2007
[ Assignment View ] [ Pri Eðlisfræði 2, vor 2007 28. Sources of Magnetic Field Assignment is due at 2:00am on Wednesday, March 7, 2007 Credit for problems submitted late will decrease to 0% after the deadline
More informationWhite Dwarf Properties and the Degenerate Electron Gas
White Dwarf Properties and the Degenerate Electron Gas Nicholas Rowell April 10, 2008 Contents 1 Introduction 2 1.1 Discovery....................................... 2 1.2 Survey Techniques..................................
More informationChapter 7: Polarization
Chapter 7: Polarization Joaquín Bernal Méndez Group 4 1 Index Introduction Polarization Vector The Electric Displacement Vector Constitutive Laws: Linear Dielectrics Energy in Dielectric Systems Forces
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationAppendix E  Elements of Quantum Mechanics
1 Appendix E  Elements of Quantum Mechanics Quantum mechanics provides a correct description of phenomena on the atomic or sub atomic scale, where the ideas of classical mechanics are not generally applicable.
More informationTheory of electrons and positrons
P AUL A. M. DIRAC Theory of electrons and positrons Nobel Lecture, December 12, 1933 Matter has been found by experimental physicists to be made up of small particles of various kinds, the particles of
More informationLecture 11. 3.3.2 Cost functional
Lecture 11 3.3.2 Cost functional Consider functions L(t, x, u) and K(t, x). Here L : R R n R m R, K : R R n R sufficiently regular. (To be consistent with calculus of variations we would have to take L(t,
More informationRotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve
QUALITATIVE THEORY OF DYAMICAL SYSTEMS 2, 61 66 (2001) ARTICLE O. 11 Rotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve Alexei Grigoriev Department of Mathematics, The
More informationMechanics 1: Conservation of Energy and Momentum
Mechanics : Conservation of Energy and Momentum If a certain quantity associated with a system does not change in time. We say that it is conserved, and the system possesses a conservation law. Conservation
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2016 47 4. Diophantine Equations A Diophantine Equation is simply an equation in one or more variables for which integer (or sometimes rational) solutions
More informationSome Comments on the Derivative of a Vector with applications to angular momentum and curvature. E. L. Lady (October 18, 2000)
Some Comments on the Derivative of a Vector with applications to angular momentum and curvature E. L. Lady (October 18, 2000) Finding the formula in polar coordinates for the angular momentum of a moving
More informationElectrostatic Fields: Coulomb s Law & the Electric Field Intensity
Electrostatic Fields: Coulomb s Law & the Electric Field Intensity EE 141 Lecture Notes Topic 1 Professor K. E. Oughstun School of Engineering College of Engineering & Mathematical Sciences University
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
More informationTill now, almost all attention has been focussed on discussing the state of a quantum system.
Chapter 13 Observables and Measurements in Quantum Mechanics Till now, almost all attention has been focussed on discussing the state of a quantum system. As we have seen, this is most succinctly done
More informationDOCTOR OF PHILOSOPHY IN PHYSICS
DOCTOR OF PHILOSOPHY IN PHYSICS The Doctor of Philosophy in Physics program is designed to provide students with advanced graduate training in physics, which will prepare them for scientific careers in
More informationFuzzy Differential Systems and the New Concept of Stability
Nonlinear Dynamics and Systems Theory, 1(2) (2001) 111 119 Fuzzy Differential Systems and the New Concept of Stability V. Lakshmikantham 1 and S. Leela 2 1 Department of Mathematical Sciences, Florida
More informationLinear Codes. Chapter 3. 3.1 Basics
Chapter 3 Linear Codes In order to define codes that we can encode and decode efficiently, we add more structure to the codespace. We shall be mainly interested in linear codes. A linear code of length
More informationThe Quantum Harmonic Oscillator Stephen Webb
The Quantum Harmonic Oscillator Stephen Webb The Importance of the Harmonic Oscillator The quantum harmonic oscillator holds a unique importance in quantum mechanics, as it is both one of the few problems
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More informationDimension Theory for Ordinary Differential Equations
Vladimir A. Boichenko, Gennadij A. Leonov, Volker Reitmann Dimension Theory for Ordinary Differential Equations Teubner Contents Singular values, exterior calculus and Lozinskiinorms 15 1 Singular values
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More informationContents. Goldstone Bosons in 3HeA Soft Modes Dynamics and Lie Algebra of Group G:
... Vlll Contents 3. Textures and Supercurrents in Superfluid Phases of 3He 3.1. Textures, Gradient Energy and Rigidity 3.2. Why Superfuids are Superfluid 3.3. Superfluidity and Response to a Transverse
More informationNumerical Methods for Differential Equations
Numerical Methods for Differential Equations Course objectives and preliminaries Gustaf Söderlind and Carmen Arévalo Numerical Analysis, Lund University Textbooks: A First Course in the Numerical Analysis
More informationRecall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula:
Chapter 7 Div, grad, and curl 7.1 The operator and the gradient: Recall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula: ( ϕ ϕ =, ϕ,..., ϕ. (7.1 x 1
More informationCLASSICAL CONCEPT REVIEW 8
CLASSICAL CONCEPT REVIEW 8 Kinetic Theory Information concerning the initial motions of each of the atoms of macroscopic systems is not accessible, nor do we have the computational capability even with
More information3.8 Finding Antiderivatives; Divergence and Curl of a Vector Field
3.8 Finding Antiderivatives; Divergence and Curl of a Vector Field 77 3.8 Finding Antiderivatives; Divergence and Curl of a Vector Field Overview: The antiderivative in one variable calculus is an important
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More information{f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,...
44 CHAPTER 4. CONTINUOUS FUNCTIONS In Calculus we often use arithmetic operations to generate new continuous functions from old ones. In a general metric space we don t have arithmetic, but much of it
More informationFrom Einstein to KleinGordon Quantum Mechanics and Relativity
From Einstein to KleinGordon Quantum Mechanics and Relativity Aline Ribeiro Department of Mathematics University of Toronto March 24, 2002 Abstract We study the development from Einstein s relativistic
More informationON FIBER DIAMETERS OF CONTINUOUS MAPS
ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there
More informationIntroduction to Green s Functions: Lecture notes 1
October 18, 26 Introduction to Green s Functions: Lecture notes 1 Edwin Langmann Mathematical Physics, KTH Physics, AlbaNova, SE16 91 Stockholm, Sweden Abstract In the present notes I try to give a better
More informationLOOKING FOR A GOOD TIME TO BET
LOOKING FOR A GOOD TIME TO BET LAURENT SERLET Abstract. Suppose that the cards of a well shuffled deck of cards are turned up one after another. At any timebut once only you may bet that the next card
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationElectromagnetism  Lecture 2. Electric Fields
Electromagnetism  Lecture 2 Electric Fields Review of Vector Calculus Differential form of Gauss s Law Poisson s and Laplace s Equations Solutions of Poisson s Equation Methods of Calculating Electric
More informationIntroduction to SME and Scattering Theory. Don Colladay. New College of Florida Sarasota, FL, 34243, U.S.A.
June 2012 Introduction to SME and Scattering Theory Don Colladay New College of Florida Sarasota, FL, 34243, U.S.A. This lecture was given at the IUCSS summer school during June of 2012. It contains a
More informationTaylor Polynomials and Taylor Series Math 126
Taylor Polynomials and Taylor Series Math 26 In many problems in science and engineering we have a function f(x) which is too complicated to answer the questions we d like to ask. In this chapter, we will
More informationProperties of BMO functions whose reciprocals are also BMO
Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a nonnegative BMOfunction w, whose reciprocal is also in BMO, belongs to p> A p,and
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete
More informationDifferential Relations for Fluid Flow. Acceleration field of a fluid. The differential equation of mass conservation
Differential Relations for Fluid Flow In this approach, we apply our four basic conservation laws to an infinitesimally small control volume. The differential approach provides point by point details of
More information1 Norms and Vector Spaces
008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)
More informationRev. Mat. Iberoam, 17 (1), 49{419 Dynamical instability of symmetric vortices Lus Almeida and Yan Guo Abstract. Using the MaxwellHiggs model, we prove that linearly unstable symmetric vortices in the
More informationt := maxγ ν subject to ν {0,1,2,...} and f(x c +γ ν d) f(x c )+cγ ν f (x c ;d).
1. Line Search Methods Let f : R n R be given and suppose that x c is our current best estimate of a solution to P min x R nf(x). A standard method for improving the estimate x c is to choose a direction
More informationA First Course in Elementary Differential Equations. Marcel B. Finan Arkansas Tech University c All Rights Reserved
A First Course in Elementary Differential Equations Marcel B. Finan Arkansas Tech University c All Rights Reserved 1 Contents 1 Basic Terminology 4 2 Qualitative Analysis: Direction Field of y = f(t, y)
More informationMathematical Methods of Engineering Analysis
Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................
More informationUltraproducts and Applications I
Ultraproducts and Applications I Brent Cody Virginia Commonwealth University September 2, 2013 Outline Background of the Hyperreals Filters and Ultrafilters Construction of the Hyperreals The Transfer
More information4. The Infinite Square Well
4. The Infinite Square Well Copyright c 215 216, Daniel V. Schroeder In the previous lesson I emphasized the free particle, for which V (x) =, because its energy eigenfunctions are so simple: they re the
More informationThe Electric Field. Electric Charge, Electric Field and a Goofy Analogy
. The Electric Field Concepts and Principles Electric Charge, Electric Field and a Goofy Analogy We all know that electrons and protons have electric charge. But what is electric charge and what does it
More informationReview of Vector Analysis in Cartesian Coordinates
R. evicky, CBE 6333 Review of Vector Analysis in Cartesian Coordinates Scalar: A quantity that has magnitude, but no direction. Examples are mass, temperature, pressure, time, distance, and real numbers.
More informationThis makes sense. t 2 1 + 1/t 2 dt = 1. t t 2 + 1dt = 2 du = 1 3 u3/2 u=5
1. (Line integrals Using parametrization. Two types and the flux integral) Formulas: ds = x (t) dt, d x = x (t)dt and d x = T ds since T = x (t)/ x (t). Another one is Nds = T ds ẑ = (dx, dy) ẑ = (dy,
More informationQuantum Mechanics and Representation Theory
Quantum Mechanics and Representation Theory Peter Woit Columbia University Texas Tech, November 21 2013 Peter Woit (Columbia University) Quantum Mechanics and Representation Theory November 2013 1 / 30
More informationLecture L18  Exploring the Neighborhood: the Restricted ThreeBody Problem
S. Widnall 16.07 Dynamics Fall 008 Version 1.0 Lecture L18  Exploring the Neighborhood: the Restricted ThreeBody Problem The ThreeBody Problem In Lecture 1517, we presented the solution to the twobody
More information