Darboux s theorem and symplectic geometry
|
|
- Eileen Watts
- 6 years ago
- Views:
Transcription
1 Darboux s theorem an symplectic geometry Liang, Feng May 9, 2014 Abstract Symplectic geometry is a very important branch of ifferential geometry, it is a special case of poisson geometry, an coul also give some geometric view of classical mechanics. In this project, we will give some basic concepts an properties of Symplectic manifol; moreover, we will also introuce the very funamental property of Symplectic geometry- Darboux s theorem, which shows that any Symplectic manifol is locally isomorphic to some R 2n with its stanar symplectic form. 1 Basic concepts A Symplectic manifol is a smooth manifol M of even imension 2n with a symplectic structure: a nonegenerate close 2-form ω Ω 2 (M) Notice such ω satisfies that: ω(u, v) = ω(v, u) if ω(u, v) = 0 for v, then u = 0 We call a pair (V, ω) of a finite imensional real space with a bilinear form ω: V V R a Symplectic vector space if the ω satisfies the two conitions above. By such efinition, (T p M, ω q ) is a Symplectic vector space. Moreover, as ω close, it efines a homotopy class a = [ω] H 2 (M; R) Give some examples: Example1.1 1
2 Sympletic manifol R 2n with stanar symplectic form ω 0 = n x i y i i=1 Notice: ω 0 ω 0 is a volume form. Every Riemann surface with its area form is a symplectic manifol The prouct of two symplectic manifol M 1 M 2 is a symplectic manifol with the symplectic form ω 1 ω2 Remark ω gives a isomorphism: T M T M : X ι(x)ω = ω(x, ) Uner this isomorphism, we can consier more structures on a Sympletic manifol. A symplectomorphism of a symplectic manifol (M, ω) is a iffeomorphism ψ Diff(M) which preserves the symplectic form ω = ψ ω enote the group of symplectomorphisms by Symp(M, ω), or just Symp(M). A vector fiel X χ(m) is calle symplectic if ι(x)ω is close. Example1.2 ψ : R 4 R 2 ; (x, y) (x + j, A j y + k), A j = ( ) 1 j 2 0 1, (j, k) Z 2. It preserves the stanar syplectic form. In the course of ifferential manifol, we have seen that a vector fiel on a smooth manifol M can give a flow on it which is a family of iffeomorphisms in Diff(M); conversely, we can get a vector fiel by ifferentiating a family of iffeomorphisms. Inee, we can also get a similar corresponence between symplectomorphisms an symplectic vector fiels. It follows the next proposition Proposition 1.1 Let M be a close manifol. If t ψ t Diff (M) is a smooth family of iffeomorphisms generate by a family of vector fiels X t χ(m) via t ψ t = X t ψ t, ψ 0 = i, 2
3 then ψ t Symp (M, ω) for every t if an only if X t χ(m, ω) for every t. Moreover, if X, Y χ(m, ω) then [X, Y ] χ(m, ω) an ι([x, Y ])ω = H, where H = ω(x, Y ). Proof: (1) t ψ t ω = ψ t (ι(x t )ω + (ι(x t )ω)) = ψ t (ι(x t )ω), L X ω = ι(x)ω + (ι(x)ω) (2) ι([x, Y ])ω = t ι(ψt X)ω = L Y (ι(x)ω) = ι(y )ι(x)ω = (ω(x, Y )). t=0 As we mentione in the very beginning, to give a well relation with the classical mechanics, we also want to stuy the object relate to Energy, or more generally, Hamiltonian. For a Symplectic manifol (M, ω), consier a smooth function H : M R, we can etermine a vector fiel by: ι(x)ω = H We call such vector fiel the Hamiltonian vector fiel associate to the Hamiltonian function H. Also, efine the associate Hamiltonian flow φ t H Diff(M), which satisfies: t φt H = X H φ t H, φ 0 H = i Remark By noticing the fact: H(X H ) = (ι(x H )ω)(x H ) = ω(x H, X H ) = 0 can see that Hamiltonian vector fiel is along to the level set of Hamiltonian function H. Example1.3 H : S 2 R; (x 1, x 2, x 3 ) x 3, φ t H is the rotation along x 3-axis with constant spee, X H is simply θ 3
4 As expecte, there are some properties for Hamiltonian things. Proposition 1.2 (M, ω) symplectic manifol. i Hamiltonian flow φ t H Symp(M, ω), tangent to the level surfaces of H. ii H : M R an ψ Symp (M, ω), then X H ψ = ψ X H. iii [X F, X G ] = X {F,G}, Poisson bracket efine as F, G = ω(x F, X H ) = F (X H ) Proof : (i) irectly from last Proposition 3.2 an closeness from efinitions. (ii) comes from: ι(x H ψ )ω = (H ψ) = ψ H = ψι(x H )ω = ι(ψ X H )ω. (iii) By (i), φ t G Symp(M, ω), then [X F, X G ] = t (φ t F ) X G = t=0 t X G φ t F. t=0 Hence ι([x F, Y G ])ω = t (G φ t F ) t=0 = t G φ t F = (G(X F )) = {G, F } t=0 = {F, G} = X {F,G} After knowing some basic properties of Hamiltonian things. We want to exten some more concepts in ifferential geometry, give the efinition of Hmiltonian isotopies. In topology or ifferential geometry, Isotopy is a topology concepts, which is a family of embeings connecting 2 continuous embeings in a smooth manifol or a topological space. Then, relate it with Symlectic manifol. M Symplectic, consier smooth map [0, 1] M M : (t, q) ψ t (q) with ψ t Symp(M, ω) an ψ 0 =i. Call such a family of symplectomorphism symplectic isotopies. Given ψ t, we can fin its relate vector fiels X t by t ψ t = X t ψ t, X t) symplectic by previous proposition, shows ι(x t )ω close. Furthermore, if it is a bounary with ι(x t )ω=h, we call 4
5 such H t time-epenent Hamiltonian, call such ψ t Hamiltonian isotopy. For ψ Symp(M, ω) with a Hamiltonian isotopy ψ t connecting it an ientity, i.e. ψ o =i, ψ 1 = ψ, we call such ψ is Hamiltonian. Denote the group of Hamiltoniansymplectomorphisms by Ham(M, ω), it is normal in Symp(M). Example1.4 unknot is not isotopic to Trefoil knot. unknot is not isotopic to Trefoil knot. Before proving the Darboux s theorem, we want to give a cotangent boule T L a symplectic struction to finish the basic concept part. For a smooth M, let x = (x 1,..., x n ): U R n the local coorinate chart on L, as T q L has the basis x i, v T q L, it is in a unique form λ can := n i=1 y i x i, this gives the canonical 1-form, by taking the ifferential, we get the canonical 2-form ω can = λ can = x y. By this construction, we see that inee, canonical 1-form at (x, v ) is just v itself in some sense. Moreover, not har to check that (T L, ω can ) is a symplectic manifol, which means that we fin a symplectic structure for that cotangent bunle. There is also a proposition without proof here follows: Proposition 1.3 λ can is uniquely characterize by the property: σ λ can = σ, 1-form σ. 2 Darboux s theorem Finally, we come to a very important an funamental results in many fiels-darboux s theorem. It was foun by Jean Gaston Darboux when he solve the Pfaff problem. Here, 5
6 we will talk about it in the most known form for symplectic geometry. Darboux s theorem Every symplectic form ω on M is locally iffeomorphic to the stanar form ω 0 on R 2n This theorem tells us any symplectic manifol in same imension looks same locally. Next, we give a proof by applying the Moser s argument. Lemma 1/ Moser s argument For every family of symplectic forms ω t Ω 2 (M) which are exact:, t ω t = σ t then, a family of iffeomorphisms ψ t Diff(M) such that:. newline ψ t ω t = ω 0 Proof: We want to think ψ t as a flow of some X t, via ψ t t = X t ψ t, ψ 0 = i,, It satisfies the conition for the manifol, still nee to solve the equation to satisfies the conition for the symplectic form on it, ifferentiate both sie of ψ t ω t = ω 0, get: 0 = t ψ t ω t = ψ t ( t ω t + ι(x t )ω t + ι(x t )ω t ) = ψ t (σ t + ι(x t )ω t ) Solve: ψ t (σ t + ι(x t )ω t ), as ω t nonegenerate, get such X t. Move on to last Lemma for the Proof of Darboux theorem. Lemma 2 Let M be a 2n-imensional smooth manifol an Q M be a compact submanifol. Suppose that ω 0, ω 1 Ω 2 (M) are equal an non-egenerate on T q M. Then there exist open neighborhoos N 0 an N 1 of Q an a iffeomorphism ψ : N 0 N 1 such that ψ Q = i, ψ ω 1 = ω 0. This lemma is very strong. If we take Q as a point, this lemma tells us if two symplectic form are ientical or isomorphic at some point, they are ientical or isomorphic on their 6
7 germ. Also, we can see any symplectic form are isomorphic on M at a point, we can think locally M as R 2n, After this isomorphism, we are in R 2n. As we just point out, it then gives a isomorphism to the stanar form at a point, then, by lemma, we get an isomorphism to ω 0 on the germ of this point. Composite all germs, we get the Darboux s theorem. Proof of lemma 2: Proof: By Moser: enough to show some 1-form σ Ω 1 (N 0 ) such that σ TQ M= 0, σ = ω 1 ω 0. With ω t = ω 0 + t(ω 1 ω 0 ) = ω 0 + tσ satisfies the conition of Moser, on N 0. Shrinking N 0 to ensure that ω t is non-egenerate in N 0 for every t as Moser requires. Shrinking N 0 again to ensure the solution for Moser exist on the require time interval 0 t 1. Prove what we claim at the beginning of the proof: Consier the restriction of exponential map to the normal bunle T Q of the submanifol Q with respect to any Riemannian metric on M: exp : T Q M. Consier the neighbourhoo of the zero section: U ε = {(q, v) T M q Q, v T q Q, v < ε}. Then get a iffeomorphsim: N 0 = exp(u ε ) for ε > 0 sufficiently small. Define φ t : N 0 N 0 for 0 t 1 by φ t (exp(q, v)) = exp(q, tv). φ t is a iffeomorphism for t > 0 with φ 0 (N 0 ) Q, φ 1 = i, an φ t Q = i. This implies φ 0 τ = 0, φ 1 τ = τ, where τ = ω 1 ω 0. Then, can efine the vector fiel X t = ( t φ t) φ 1 t for t > 0. X t singular at t = 0. However, we obtain t φ t τ = φ t L Xt τ = (φ t ι(x t )τ) = σ t, but such family of σ t (q; v) = τ(φ t (q); t φ t(q), φ t (q)v) smooth at t = 0 an vanishes on Q. 7
8 Finally, we get: This finish the proof. τ = φ 1 τ φ 0 τ = 1 0 t φ t τt = σ, σ = 1 0 σ t t. This paper follows part of the reference text Chapter 3, gives a introuction to the symplectic geometry. Darboux s theorem is very funamental an also very important. We can not expect the math worl without it nowaays. Hope we can fin more such theorems in the future. The way to the future is not flat but we will go further. Thank you. 8
9 References [1] Dusa McDuff, Dietmar Salamon (1998), Introuction to Symplectic Topology, Clarenon University Press 9
SYMPLECTIC GEOMETRY: LECTURE 3
SYMPLECTIC GEOMETRY: LECTURE 3 LIAT KESSLER 1. Local forms Vector fiels an the Lie erivative. A vector fiel on a manifol M is a smooth assignment of a vector tangent to M at each point. We think of M as
More informationarxiv: v1 [math.dg] 1 Nov 2015
DARBOUX-WEINSTEIN THEOREM FOR LOCALLY CONFORMALLY SYMPLECTIC MANIFOLDS arxiv:1511.00227v1 [math.dg] 1 Nov 2015 ALEXANDRA OTIMAN AND MIRON STANCIU Abstract. A locally conformally symplectic (LCS) form is
More informationLECTURE 1: BASIC CONCEPTS, PROBLEMS, AND EXAMPLES
LECTURE 1: BASIC CONCEPTS, PROBLEMS, AND EXAMPLES WEIMIN CHEN, UMASS, SPRING 07 In this lecture we give a general introuction to the basic concepts an some of the funamental problems in symplectic geometry/topology,
More informationDIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10
DIFFERENTIAL GEOMETRY, LECTURE 15, JULY 10 5. Levi-Civita connection From now on we are intereste in connections on the tangent bunle T X of a Riemanninam manifol (X, g). Out main result will be a construction
More informationCHAPTER 1 : DIFFERENTIABLE MANIFOLDS. 1.1 The definition of a differentiable manifold
CHAPTER 1 : DIFFERENTIABLE MANIFOLDS 1.1 The efinition of a ifferentiable manifol Let M be a topological space. This means that we have a family Ω of open sets efine on M. These satisfy (1), M Ω (2) the
More informationNöether s Theorem Under the Legendre Transform by Jonathan Herman
Nöether s Theorem Uner the Legenre Transform by Jonathan Herman A research paper presente to the University of Waterloo in fulfilment of the research paper requirement for the egree of Master of Mathematics
More informationTensors, Fields Pt. 1 and the Lie Bracket Pt. 1
Tensors, Fiels Pt. 1 an the Lie Bracket Pt. 1 PHYS 500 - Southern Illinois University September 8, 2016 PHYS 500 - Southern Illinois University Tensors, Fiels Pt. 1 an the Lie Bracket Pt. 1 September 8,
More informationThe Non-abelian Hodge Correspondence for Non-Compact Curves
1 Section 1 Setup The Non-abelian Hoge Corresponence for Non-Compact Curves Chris Elliott May 8, 2011 1 Setup In this talk I will escribe the non-abelian Hoge theory of a non-compact curve. This was worke
More informationSchrödinger s equation.
Physics 342 Lecture 5 Schröinger s Equation Lecture 5 Physics 342 Quantum Mechanics I Wenesay, February 3r, 2010 Toay we iscuss Schröinger s equation an show that it supports the basic interpretation of
More informationIntroduction to the Vlasov-Poisson system
Introuction to the Vlasov-Poisson system Simone Calogero 1 The Vlasov equation Consier a particle with mass m > 0. Let x(t) R 3 enote the position of the particle at time t R an v(t) = ẋ(t) = x(t)/t its
More informationPhysics 5153 Classical Mechanics. The Virial Theorem and The Poisson Bracket-1
Physics 5153 Classical Mechanics The Virial Theorem an The Poisson Bracket 1 Introuction In this lecture we will consier two applications of the Hamiltonian. The first, the Virial Theorem, applies to systems
More informationThe derivative of a function f(x) is another function, defined in terms of a limiting expression: f(x + δx) f(x)
Y. D. Chong (2016) MH2801: Complex Methos for the Sciences 1. Derivatives The erivative of a function f(x) is another function, efine in terms of a limiting expression: f (x) f (x) lim x δx 0 f(x + δx)
More informationMAT 545: Complex Geometry Fall 2008
MAT 545: Complex Geometry Fall 2008 Notes on Lefschetz Decomposition 1 Statement Let (M, J, ω) be a Kahler manifol. Since ω is a close 2-form, it inuces a well-efine homomorphism L: H k (M) H k+2 (M),
More informationWitten s Proof of Morse Inequalities
Witten s Proof of Morse Inequalities by Igor Prokhorenkov Let M be a smooth, compact, oriente manifol with imension n. A Morse function is a smooth function f : M R such that all of its critical points
More informationON THE GEOMETRIC APPROACH TO THE MOTION OF INERTIAL MECHANICAL SYSTEMS
ON THE GEOMETRIC APPROACH TO THE MOTION OF INERTIAL MECHANICAL SYSTEMS ADRIAN CONSTANTIN AND BORIS KOLEV Abstract. Accoring to the principle of least action, the spatially perioic motions of one-imensional
More information6 General properties of an autonomous system of two first order ODE
6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x
More informationAgmon Kolmogorov Inequalities on l 2 (Z d )
Journal of Mathematics Research; Vol. 6, No. ; 04 ISSN 96-9795 E-ISSN 96-9809 Publishe by Canaian Center of Science an Eucation Agmon Kolmogorov Inequalities on l (Z ) Arman Sahovic Mathematics Department,
More informationLecture Introduction. 2 Examples of Measure Concentration. 3 The Johnson-Lindenstrauss Lemma. CS-621 Theory Gems November 28, 2012
CS-6 Theory Gems November 8, 0 Lecture Lecturer: Alesaner Mąry Scribes: Alhussein Fawzi, Dorina Thanou Introuction Toay, we will briefly iscuss an important technique in probability theory measure concentration
More informationInterpolated Rigid-Body Motions and Robotics
Interpolate Rigi-Boy Motions an Robotics J.M. Selig Faculty of Business, Computing an Info. Management. Lonon South Bank University, Lonon SE AA, U.K. seligjm@lsbu.ac.uk Yaunquing Wu Dept. Mechanical Engineering.
More informationGeometric descriptions of polygon and chain spaces. HAUSMANN, Jean-Claude. Abstract
Proceeings Chapter Geometric escriptions of polygon an chain spaces HAUSMANN, Jean-Claue Abstract We give a few simple methos to geometically escribe some polygon an chain-spaces in R^. They are strong
More informationNotes on Lie Groups, Lie algebras, and the Exponentiation Map Mitchell Faulk
Notes on Lie Groups, Lie algebras, an the Exponentiation Map Mitchell Faulk 1. Preliminaries. In these notes, we concern ourselves with special objects calle matrix Lie groups an their corresponing Lie
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationINTERSECTION HOMOLOGY OF LINKAGE SPACES IN ODD DIMENSIONAL EUCLIDEAN SPACE
INTERSECTION HOMOLOGY OF LINKAGE SPACES IN ODD DIMENSIONAL EUCLIDEAN SPACE DIRK SCHÜTZ Abstract. We consier the mouli spaces M (l) of a close linkage with n links an prescribe lengths l R n in -imensional
More informationVariational analysis of some questions in dynamical system and biological system
Available online www.jocpr.com Journal of Chemical an Pharmaceutical Research, 014, 6(7):184-190 Research Article ISSN : 0975-7384 CODEN(USA) : JCPRC5 Variational analsis of some questions in namical sstem
More informationEuler Equations: derivation, basic invariants and formulae
Euler Equations: erivation, basic invariants an formulae Mat 529, Lesson 1. 1 Derivation The incompressible Euler equations are couple with t u + u u + p = 0, (1) u = 0. (2) The unknown variable is the
More informationMath Notes on differentials, the Chain Rule, gradients, directional derivative, and normal vectors
Math 18.02 Notes on ifferentials, the Chain Rule, graients, irectional erivative, an normal vectors Tangent plane an linear approximation We efine the partial erivatives of f( xy, ) as follows: f f( x+
More informationarxiv: v1 [math.dg] 3 Jun 2016
FOUR-DIMENSIONAL EINSTEIN MANIFOLDS WITH SECTIONAL CURVATURE BOUNDED FROM ABOVE arxiv:606.057v [math.dg] Jun 206 ZHUHONG ZHANG Abstract. Given an Einstein structure with positive scalar curvature on a
More informationPDE Notes, Lecture #11
PDE Notes, Lecture # from Professor Jalal Shatah s Lectures Febuary 9th, 2009 Sobolev Spaces Recall that for u L loc we can efine the weak erivative Du by Du, φ := udφ φ C0 If v L loc such that Du, φ =
More informationRELATIVE CHERN CHARACTER, BOUNDARIES AND INDEX FORMULÆ
RELATIVE CHERN CHARACTER, BOUNDARIES AND INDEX FORMULÆ PIERRE ALBIN AND RICHARD MELROSE.9A; Revise: 5-15-28; Run: August 1, 28 Abstract. For three classes of elliptic pseuoifferential operators on a compact
More informationSturm-Liouville Theory
LECTURE 5 Sturm-Liouville Theory In the three preceing lectures I emonstrate the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series are just the tip of the iceberg of the theory
More informationA FORMULA RELATING ENTROPY MONOTONICITY TO HARNACK INEQUALITIES
A FORMULA RELATING ENTROPY MONOTONICITY TO HARNACK INEQUALITIES KLAUS ECKER 1. Introuction In [P], Perelman consiere the functional Wg, f, τ = τ f + R + f n + 1 u V X for τ > 0 an smooth functions f on
More information1 Heisenberg Representation
1 Heisenberg Representation What we have been ealing with so far is calle the Schröinger representation. In this representation, operators are constants an all the time epenence is carrie by the states.
More informationSOME RESULTS ON THE GEOMETRY OF MINKOWSKI PLANE. Bing Ye Wu
ARCHIVUM MATHEMATICUM (BRNO Tomus 46 (21, 177 184 SOME RESULTS ON THE GEOMETRY OF MINKOWSKI PLANE Bing Ye Wu Abstract. In this paper we stuy the geometry of Minkowski plane an obtain some results. We focus
More informationEuler equations for multiple integrals
Euler equations for multiple integrals January 22, 2013 Contents 1 Reminer of multivariable calculus 2 1.1 Vector ifferentiation......................... 2 1.2 Matrix ifferentiation........................
More informationWUCHEN LI AND STANLEY OSHER
CONSTRAINED DYNAMICAL OPTIMAL TRANSPORT AND ITS LAGRANGIAN FORMULATION WUCHEN LI AND STANLEY OSHER Abstract. We propose ynamical optimal transport (OT) problems constraine in a parameterize probability
More informationarxiv: v1 [math.dg] 27 Jul 2017
A REMARK ON THE BISMUT-RICCI FORM ON 2-STEP NILMANIFOLDS MATTIA PUJIA AND LUIGI VEZZONI arxiv:1707.08809v1 [math.dg] 27 Jul 2017 Abstract. In this note we observe that on a 2-step nilpotent Lie group equippe
More informationINTRODUCTION TO SYMPLECTIC MECHANICS: LECTURE IV. Maurice de Gosson
INTRODUCTION TO SYMPLECTIC MECHANICS: LECTURE IV Maurice e Gosson ii 4 Hamiltonian Mechanics Physically speaking, Hamiltonian mechanics is a paraphrase (an generalization!) of Newton s secon law, popularly
More informationA LOCAL CURVATURE ESTIMATE FOR THE RICCI FLOW. 1. Introduction Let M be a smooth n-dimensional manifold and g(t) a solution to the Ricci flow
A LOCAL CURVATURE ESTIATE FOR THE RICCI FLOW RETT OTSCHWAR, OVIDIU UNTEANU, AND JIAPING WANG Abstract. We show that the norm of the Riemann curvature tensor of any smooth solution to the Ricci flow can
More informationMany problems in physics, engineering, and chemistry fall in a general class of equations of the form. d dx. d dx
Math 53 Notes on turm-liouville equations Many problems in physics, engineering, an chemistry fall in a general class of equations of the form w(x)p(x) u ] + (q(x) λ) u = w(x) on an interval a, b], plus
More informationCurvature, Conformal Mapping, and 2D Stationary Fluid Flows. Michael Taylor
Curvature, Conformal Mapping, an 2D Stationary Flui Flows Michael Taylor 1. Introuction Let Ω be a 2D Riemannian manifol possibly with bounary). Assume Ω is oriente, with J enoting counterclockwise rotation
More informationThe Ehrenfest Theorems
The Ehrenfest Theorems Robert Gilmore Classical Preliminaries A classical system with n egrees of freeom is escribe by n secon orer orinary ifferential equations on the configuration space (n inepenent
More informationOn the number of isolated eigenvalues of a pair of particles in a quantum wire
On the number of isolate eigenvalues of a pair of particles in a quantum wire arxiv:1812.11804v1 [math-ph] 31 Dec 2018 Joachim Kerner 1 Department of Mathematics an Computer Science FernUniversität in
More information1 Second Facts About Spaces of Modular Forms
April 30, :00 pm 1 Secon Facts About Spaces of Moular Forms We have repeately use facts about the imensions of the space of moular forms, mostly to give specific examples of an relations between moular
More informationAssignment 1. g i (x 1,..., x n ) dx i = 0. i=1
Assignment 1 Golstein 1.4 The equations of motion for the rolling isk are special cases of general linear ifferential equations of constraint of the form g i (x 1,..., x n x i = 0. i=1 A constraint conition
More informationCharacteristic classes of vector bundles
Characteristic classes of vector bunles Yoshinori Hashimoto 1 Introuction Let be a smooth, connecte, compact manifol of imension n without bounary, an p : E be a real or complex vector bunle of rank k
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial Differential Equations «Viktor Grigoryan 6 Wave equation: solution In this lecture we will solve the wave equation on the entire real line x R. This correspons to a string of infinite
More informationREVERSIBILITY FOR DIFFUSIONS VIA QUASI-INVARIANCE. 1. Introduction We look at the problem of reversibility for operators of the form
REVERSIBILITY FOR DIFFUSIONS VIA QUASI-INVARIANCE OMAR RIVASPLATA, JAN RYCHTÁŘ, AND BYRON SCHMULAND Abstract. Why is the rift coefficient b associate with a reversible iffusion on R given by a graient?
More informationPartial Differential Equations
Chapter Partial Differential Equations. Introuction Have solve orinary ifferential equations, i.e. ones where there is one inepenent an one epenent variable. Only orinary ifferentiation is therefore involve.
More informationSecond order differentiation formula on RCD(K, N) spaces
Secon orer ifferentiation formula on RCD(K, N) spaces Nicola Gigli Luca Tamanini February 8, 018 Abstract We prove the secon orer ifferentiation formula along geoesics in finite-imensional RCD(K, N) spaces.
More information3.7 Implicit Differentiation -- A Brief Introduction -- Student Notes
Fin these erivatives of these functions: y.7 Implicit Differentiation -- A Brief Introuction -- Stuent Notes tan y sin tan = sin y e = e = Write the inverses of these functions: y tan y sin How woul we
More informationCalculus of Variations
Calculus of Variations Lagrangian formalism is the main tool of theoretical classical mechanics. Calculus of Variations is a part of Mathematics which Lagrangian formalism is base on. In this section,
More informationCohomology of Stacks
Cohomology of Stacks K. Behren Department of Mathematics, University of British Columbia, Vancouver, Canaa Lectures given at the School an Conference on Intersection Theory an Mouli Trieste, 9-27 September
More informationSYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA. where L is some constant, usually called the Lipschitz constant. An example is
SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA. Uniqueness for solutions of ifferential equations. We consier the system of ifferential equations given by x = v( x), () t with a given initial conition
More informationFrom Local to Global Control
Proceeings of the 47th IEEE Conference on Decision an Control Cancun, Mexico, Dec. 9-, 8 ThB. From Local to Global Control Stephen P. Banks, M. Tomás-Roríguez. Automatic Control Engineering Department,
More informationDeformations of Transverse Calabi Yau Structures on Foliated Manifolds
Publ. RIMS Kyoto Univ. 46 (2010), 335 357 DOI 10.2977/PRIMS/11 Deformations of Transverse Calabi Yau Structures on Foliate Manifols by Takayuki Moriyama Abstract We evelop a eformation theory of transverse
More informationCalculus of Variations
16.323 Lecture 5 Calculus of Variations Calculus of Variations Most books cover this material well, but Kirk Chapter 4 oes a particularly nice job. x(t) x* x*+ αδx (1) x*- αδx (1) αδx (1) αδx (1) t f t
More informationarxiv: v1 [math.dg] 30 May 2012
VARIATION OF THE ODUUS OF A FOIATION. CISKA arxiv:1205.6786v1 [math.dg] 30 ay 2012 Abstract. The p moulus mo p (F) of a foliation F on a Riemannian manifol is a generalization of extremal length of plane
More informationCohomology of Stacks
Cohomology of Stacks K Behren University of British Columbia Lectures given at the: School an conference on Intersection theory an mouli September 9 27, 2002 LNS Abstract We construct the e Rham cohomology
More informationThe Lie Algebra of Local Killing Fields
The Open Mathematics Journal, 011, 4, 5-11 5 The Lie Algebra of Local Killing Fiels Open Access Richar Atkins * Department of Mathematics, Trinity Western University, 7600 Glover Roa, Langley, BC, VY 1Y1,
More informationJUST THE MATHS UNIT NUMBER DIFFERENTIATION 2 (Rates of change) A.J.Hobson
JUST THE MATHS UNIT NUMBER 10.2 DIFFERENTIATION 2 (Rates of change) by A.J.Hobson 10.2.1 Introuction 10.2.2 Average rates of change 10.2.3 Instantaneous rates of change 10.2.4 Derivatives 10.2.5 Exercises
More informationSymplectic and Poisson Manifolds
Symplectic and Poisson Manifolds Harry Smith In this survey we look at the basic definitions relating to symplectic manifolds and Poisson manifolds and consider different examples of these. We go on to
More informationRelation between the propagator matrix of geodesic deviation and the second-order derivatives of the characteristic function
Journal of Electromagnetic Waves an Applications 203 Vol. 27 No. 3 589 60 http://x.oi.org/0.080/0920507.203.808595 Relation between the propagator matrix of geoesic eviation an the secon-orer erivatives
More informationLinear ODEs. Types of systems. Linear ODEs. Definition (Linear ODE) Linear ODEs. Existence of solutions to linear IVPs.
Linear ODEs Linear ODEs Existence of solutions to linear IVPs Resolvent matrix Autonomous linear systems p. 1 Linear ODEs Types of systems Definition (Linear ODE) A linear ODE is a ifferential equation
More informationANALYSIS OF A GENERAL FAMILY OF REGULARIZED NAVIER-STOKES AND MHD MODELS
ANALYSIS OF A GENERAL FAMILY OF REGULARIZED NAVIER-STOKES AND MHD MODELS MICHAEL HOLST, EVELYN LUNASIN, AND GANTUMUR TSOGTGEREL ABSTRACT. We consier a general family of regularize Navier-Stokes an Magnetohyroynamics
More informationarxiv:math/ v1 [math.dg] 31 Jan 2006
NON-NEGATIVE CURVATURE OBSTRUCTIONS IN COHOMOGENEITY ONE AND THE KERVAIRE SPHERES arxiv:math/0601765v1 [math.dg] 31 Jan 006 KARSTEN GROVE, LUIGI VERDIANI, BURKHARD WILKING, AND WOLFGANG ZILLER Deicate
More informationBLOW-UP FORMULAS FOR ( 2)-SPHERES
BLOW-UP FORMULAS FOR 2)-SPHERES ROGIER BRUSSEE In this note we give a universal formula for the evaluation of the Donalson polynomials on 2)-spheres, i.e. smooth spheres of selfintersection 2. Note that
More informationSOME REMARKS ON HUISKEN S MONOTONICITY FORMULA FOR MEAN CURVATURE FLOW
SOE REARKS ON HUISKEN S ONOTONICITY FORULA FOR EAN CURVATURE FLOW ANNIBALE AGNI AND CARLO ANTEGAZZA ABSTRACT. We iscuss a monotone quantity relate to Huisken s monotonicity formula an some technical consequences
More informationBACKGROUND IN SYMPLECTIC GEOMETRY
BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations
More informationSINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
Communications on Stochastic Analysis Vol. 2, No. 2 (28) 289-36 Serials Publications www.serialspublications.com SINGULAR PERTURBATION AND STATIONARY SOLUTIONS OF PARABOLIC EQUATIONS IN GAUSS-SOBOLEV SPACES
More informationLOCAL AND GLOBAL MINIMALITY RESULTS FOR A NONLOCAL ISOPERIMETRIC PROBLEM ON R N
LOCAL AND GLOBAL MINIMALITY RSULTS FOR A NONLOCAL ISOPRIMTRIC PROBLM ON R N M. BONACINI AND R. CRISTOFRI Abstract. We consier a nonlocal isoperimetric problem efine in the whole space R N, whose nonlocal
More informationCAUCHY INTEGRAL THEOREM
CAUCHY INTEGRAL THEOREM XI CHEN 1. Differential Forms, Integration an Stokes Theorem Let X be an open set in R n an C (X) be the set of complex value C functions on X. A ifferential 1-form is (1.1) ω =
More informationThe topology of symplectic four-manifolds
The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form
More informationTHE DUCK AND THE DEVIL: CANARDS ON THE STAIRCASE
MOSCOW MATHEMATICAL JOURNAL Volume 1, Number 1, January March 2001, Pages 27 47 THE DUCK AND THE DEVIL: CANARDS ON THE STAIRCASE J. GUCKENHEIMER AND YU. ILYASHENKO Abstract. Slow-fast systems on the two-torus
More informationEnergy-preserving affine connections
2 A. D. Lewis Enery-preservin affine connections Anrew D. Lewis 28/07/1997 Abstract A Riemannian affine connection on a Riemannian manifol has the property that is preserves the kinetic enery associate
More informationSOME HIGHLIGHTS OF SYMPLECTIC GEOMETRY, SUMMER SCHOOL UTRECHT, GEOMETRY, AUGUST 16, 2017
SOME HIGHLIGHTS OF SYMPLECTIC GEOMETRY, SUMMER SCHOOL UTRECHT, GEOMETRY, AUGUST 16, 2017 FABIAN ZILTENER Overview Symplectic geometry originated from classical mechanics, where the canonical symplectic
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationProblem set 2: Solutions Math 207B, Winter 2016
Problem set : Solutions Math 07B, Winter 016 1. A particle of mass m with position x(t) at time t has potential energy V ( x) an kinetic energy T = 1 m x t. The action of the particle over times t t 1
More informationLinear Algebra- Review And Beyond. Lecture 3
Linear Algebra- Review An Beyon Lecture 3 This lecture gives a wie range of materials relate to matrix. Matrix is the core of linear algebra, an it s useful in many other fiels. 1 Matrix Matrix is the
More informationON THE RIEMANN EXTENSION OF THE SCHWARZSCHILD METRICS
ON THE RIEANN EXTENSION OF THE SCHWARZSCHILD ETRICS Valerii Dryuma arxiv:gr-qc/040415v1 30 Apr 004 Institute of athematics an Informatics, AS R, 5 Acaemiei Street, 08 Chisinau, olova, e-mail: valery@ryuma.com;
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationA SUFFICIENT CONDITION THAT A MAPPING OF RIEMANNIAN MANIFOLDS BE A FIBRE BUNDLE
A SUFFICIENT CONDITION THAT A MAPPING OF RIEMANNIAN MANIFOLDS BE A FIBRE BUNDLE ROBERT HERMANN1 1. Introuction. All manifols, maps, tensor-fiels, curves, etc. will be of ifferentiability class C unless
More informationYou should also review L Hôpital s Rule, section 3.6; follow the homework link above for exercises.
BEFORE You Begin Calculus II If it has been awhile since you ha Calculus, I strongly suggest that you refresh both your ifferentiation an integration skills. I woul also like to remin you that in Calculus,
More informationSOME LYAPUNOV TYPE POSITIVE OPERATORS ON ORDERED BANACH SPACES
Ann. Aca. Rom. Sci. Ser. Math. Appl. ISSN 2066-6594 Vol. 5, No. 1-2 / 2013 SOME LYAPUNOV TYPE POSITIVE OPERATORS ON ORDERED BANACH SPACES Vasile Dragan Toaer Morozan Viorica Ungureanu Abstract In this
More informationAcute sets in Euclidean spaces
Acute sets in Eucliean spaces Viktor Harangi April, 011 Abstract A finite set H in R is calle an acute set if any angle etermine by three points of H is acute. We examine the maximal carinality α() of
More informationSolutions to Math 41 Second Exam November 4, 2010
Solutions to Math 41 Secon Exam November 4, 2010 1. (13 points) Differentiate, using the metho of your choice. (a) p(t) = ln(sec t + tan t) + log 2 (2 + t) (4 points) Using the rule for the erivative of
More informationCONSERVATION PROPERTIES OF SMOOTHED PARTICLE HYDRODYNAMICS APPLIED TO THE SHALLOW WATER EQUATIONS
BIT 0006-3835/00/4004-0001 $15.00 200?, Vol.??, No.??, pp.?????? c Swets & Zeitlinger CONSERVATION PROPERTIES OF SMOOTHE PARTICLE HYROYNAMICS APPLIE TO THE SHALLOW WATER EQUATIONS JASON FRANK 1 an SEBASTIAN
More informationFractional Geometric Calculus: Toward A Unified Mathematical Language for Physics and Engineering
Fractional Geometric Calculus: Towar A Unifie Mathematical Language for Physics an Engineering Xiong Wang Center of Chaos an Complex Network, Department of Electronic Engineering, City University of Hong
More informationHAWKING MASS AND LOCAL RIGIDITY OF MINIMAL TWO-SPHERES IN THREE-MANIFOLDS
HAWKING MASS AND LOCAL RIGIDITY OF MINIMAL TWO-SPHERES IN THREE-MANIFOLDS DAVI MÁXIMO AND IVALDO NUNES Abstract. We stuy rigiity of minimal two-spheres that locally maximize the Hawking mass on a Riemannian
More informationFLUCTUATIONS IN THE NUMBER OF POINTS ON SMOOTH PLANE CURVES OVER FINITE FIELDS. 1. Introduction
FLUCTUATIONS IN THE NUMBER OF POINTS ON SMOOTH PLANE CURVES OVER FINITE FIELDS ALINA BUCUR, CHANTAL DAVID, BROOKE FEIGON, MATILDE LALÍN 1 Introuction In this note, we stuy the fluctuations in the number
More informationarxiv: v2 [math.dg] 16 Dec 2014
A ONOTONICITY FORULA AND TYPE-II SINGULARITIES FOR THE EAN CURVATURE FLOW arxiv:1312.4775v2 [math.dg] 16 Dec 2014 YONGBING ZHANG Abstract. In this paper, we introuce a monotonicity formula for the mean
More informationGEODESIC BOUNDARY VALUE PROBLEMS WITH SYMMETRY. Colin J. Cotter. Darryl D. Holm. (Communicated by the associate editor name)
Manuscript submitte to AIMS Journals Volume X, Number 0X, XX 200X Website: http://aimsciences.org pp. X XX GEODESIC BOUNDARY VALUE PROBLEMS WITH SYMMETRY Colin J. Cotter Department of Aeronautics Imperial
More informationOn a limit theorem for non-stationary branching processes.
On a limit theorem for non-stationary branching processes. TETSUYA HATTORI an HIROSHI WATANABE 0. Introuction. The purpose of this paper is to give a limit theorem for a certain class of iscrete-time multi-type
More information4. Important theorems in quantum mechanics
TFY4215 Kjemisk fysikk og kvantemekanikk - Tillegg 4 1 TILLEGG 4 4. Important theorems in quantum mechanics Before attacking three-imensional potentials in the next chapter, we shall in chapter 4 of this
More informationSymplectic Geometry versus Riemannian Geometry
Symplectic Geometry versus Riemannian Geometry Inês Cruz, CMUP 2010/10/20 - seminar of PIUDM 1 necessarily very incomplete The aim of this talk is to give an overview of Symplectic Geometry (there is no
More informationQuantum Mechanics in Three Dimensions
Physics 342 Lecture 20 Quantum Mechanics in Three Dimensions Lecture 20 Physics 342 Quantum Mechanics I Monay, March 24th, 2008 We begin our spherical solutions with the simplest possible case zero potential.
More informationLECTURE 4: SYMPLECTIC GROUP ACTIONS
LECTURE 4: SYMPLECTIC GROUP ACTIONS WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic circle actions We set S 1 = R/2πZ throughout. Let (M, ω) be a symplectic manifold. A symplectic S 1 -action on (M, ω) is
More informationSome Examples. Uniform motion. Poisson processes on the real line
Some Examples Our immeiate goal is to see some examples of Lévy processes, an/or infinitely-ivisible laws on. Uniform motion Choose an fix a nonranom an efine X := for all (1) Then, {X } is a [nonranom]
More informationImplicit Differentiation
Implicit Differentiation Thus far, the functions we have been concerne with have been efine explicitly. A function is efine explicitly if the output is given irectly in terms of the input. For instance,
More informationIntegration Review. May 11, 2013
Integration Review May 11, 2013 Goals: Review the funamental theorem of calculus. Review u-substitution. Review integration by parts. Do lots of integration eamples. 1 Funamental Theorem of Calculus In
More information