Groups and topology in the Euler hydrodynamics and KdV
|
|
- Sherman Beasley
- 5 years ago
- Views:
Transcription
1 Groups and topology in the Euler hydrodynamics and KdV Boris Khesin Abstract We survey applications of group theory and topology in fluid mechanics and integrable systems. The main reference for most facts in this paper is [1], see also details in [4]. 1 Euler equations and geodesics. 1.1 The Euler hydrodynamics equation. Consider an incompressible fluid occupying a domain M in R n. The fluid motion is described by a velocity field v(t,x) and a pressure field p(t,x) which satisfy the classical Euler equation: t v + (v )v = p, (1) where div v = 0 and the field v is tangent to the boundary of M. The function p is defined uniquely modulo an additive constant by the condition that v has zero divergence at any moment t. The flow (t,x) g(t,x) describing the motion of fluid particles is defined by its velocity field v(t, x): t g(t,x) = v(t,g(t,x)), g(0,x) = x. Acceleration of particles is given by 2 t g(t,x) = ( tv+(v )v)(t,g(t,x)), according to the chain rule, and hence the Euler equation (1) is equivalent to 2 t g(t,x) = ( p)(t,g(t,x)). Boris Khesin, Department of Mathematics, University of Toronto, ON M5S 2E4, Canada, khesin@math.toronto.edu 1
2 2 Boris Khesin The latter form of the Euler equation (for a smooth flow g(t,x)) says that the acceleration of the flow is given by a gradient and hence it is L 2 -orthogonal to the set of volume-preserving diffeomorphisms, which satisfy the incompressibility condition det( x g(t,x)) = 1. More precisely, it is L 2 -orthogonal to the tangent to this set, the space of divergence-free fields. In other words, the fluid motion g(t, x) is a geodesic line on the set of such diffeomorphisms of the domain M with respect to the induced L 2 -metric. Note that this metric is invariant with respect to reparametrizing the fluid particles, i.e. it is right-invariant on the set of volume-preserving diffeomorphisms (a reparametrization of the independent variable is the right action of a diffeomorphism). More generally, the Euler equation describes an ideal incompressible fluid filling an arbitrary Riemannian manifold M, see [1, 5]. It defines the geodesic flow on the group of volume-preserving diffeomorphisms of M. It turns out that the groupgeodesic point of view, developed in [1] is quite fruitful for topological and qualitative understanding of the fluid motion, as well as for obtaining various quantitative results related to stability and first integrals of the Euler equation. 1.2 Geodesics on Lie groups. In [1] V. Arnold suggested a general framework for the Euler equations on an arbitrary group, which we recall below. In this framework the Euler equation describes a geodesic flow with respect to a suitable one-sided invariant Riemannian metric on the given group. More precisely, consider a (possibly infinite-dimensional) Lie group G, which can be thought of as the configuration space of some physical system. (Examples from [1]: the group SO(3) for a rigid body and the group SDiff(M) of volumepreserving diffeomorphisms for an ideal fluid filling a domain M.) The tangent space at the identity of the Lie group G is the corresponding Lie algebra g. Fix some (positive definite) quadratic form, the energy, on g. We consider right translations of this quadratic form to the tangent space at any point of the group (the translational symmetry of the energy). This way the energy defines a right-invariant Riemannian metric on the group G. The geodesic flow on G with respect to this energy metric represents the extremals of the least action principle, i.e., the actual motions of our physical system. (For a rigid body one has to consider left translations.) To describe a geodesic on the Lie group with an initial velocity v(0) = ξ, we transport its velocity vector at any moment t to the identity of the group (by using the right translation). This way we obtain the evolution law for v(t), given by a (non-linear) dynamical system dv/dt = F(v) on the Lie algebra g (Fig.1). Theorem 1. The system on the Lie algebra g, describing the evolution of the velocity vector along a geodesic in a right-invariant metric on the Lie group G, is called the Euler equation corresponding to this metric on G.
3 Groups and topology in the Euler hydrodynamics and KdV 3 g(t) e G Fig. 1 The vector ξ in the Lie algebra g is the velocity at the identity e of a geodesic g(t) on the Lie group G. 1.3 Geodesic description for various equations. A similar Arnold-type description via the geodesic flow on a Lie group can be given to a variety of conservative dynamical systems in mathematical physics. Below we list several examples of such systems to emphasize the range of applications of this approach. The choice of a group G (column 1) and an energy metric E (column 2) defines the corresponding Euler equations (column 3). Group Metric Equation SO(3) < ω, Aω > Euler top SO(3) +R 3 quadratic forms Kirchhoff equations for a body in a fluid SO(n) Manakov s metrics n dimensional top Diff(S 1 ) L 2 Hopf (or, inviscid Burgers) equation Virasoro L 2 KdV equation Virasoro H 1 Camassa Holm equation Virasoro Ḣ 1 Hunter Saxton (or Dym) equation SDiff(M) L 2 Euler ideal fluid SDiff(M) +SVect(M) L 2 + L 2 Magnetohydrodynamics Maps(S 1,SO(3)) H 1 Landau Lifschits equation In some cases these systems turn out to be not only Hamiltonian, but also bihamiltonian. More detailed descriptions and references can be found in the book [4]. 2 Topology of steady flows. 2.1 Arnold s classification of steady fluid flows. The stationary Euler equation in the domain M has the form (v )v = p
4 4 Boris Khesin on a divergence-free vector field v. In 3D this equation can be rewritten as follows: v curl v = α, i.e. the cross-product of the fields v and curl v is a potential vector field. Here α = p+ v 2 /2 is called the Bernoulli function. (Another way to express this is to say that the field v commutes with its vorticity curl v. The latter commutativity condition is valid in any dimension.) Theorem 2. [2, 3] Let M be a three-dimensional manifold without boundary. Then all non-critical level sets of α are 2-tori. Furthermore, both fields v and curl v are tangent to these levels and define there the R 2 -action. On a manifold M with boundary, the α-level sets are either 2-tori or annuli. On tori the flow lines are either all closed or all dense, and on annuli all flow lines are closed. The proof of the theorem is based on the observation that v is always tangent to the level sets of α, i.e. the function α is a first integral of the equation. On noncritical sets one has α 0, which implies that v 0. Thus the α-level sets are two-dimensional orientable surfaces which admit a non-vanishing tangent vector field. Thus these surfaces must be tori, since their Euler characteristic is 0. For M with boundary, the α-level sets could intersect boundary, in which case they are annuli, see Fig.2. (a) (b) Fig. 2 The flow lines of steady flows typically lie on tori or annuli: see the cases of M without boundary (a) and with boundary (b). Remark 1. [2, 3] i) Analyticity assumptions on M and v imply that there is a finite number of cells between the critical levels of α, which are foliated by tori or annuli. ii) The R 2 -action on tori is given by two commuting vector fields v and curl v. In particular, locally around a non-critical level of α there are coordinates {φ 1,φ 2,z} such that the α-levels are given by {z = const} and v = v 1 (z) φ1 + v 2 (z) φ2,
5 Groups and topology in the Euler hydrodynamics and KdV 5 curl v = w 1 (z) φ1 + w 2 (z) φ2. This way a steady 3D flow looks like a completely integrable Hamiltonian system with two degrees of freedom. iii) It could happen that α = 0 everywhere, i.e. α = const. Then v curl v = 0, and hence v is collinear with curl v at every point. Such fields are called force-free. If v 0 everywhere, we can express curl v as curl v = κ(x)v for a smooth function κ(x) on M. Then κ is a first integral of our dynamical system given by the field v. Indeed, 0 = div(curl v) = div(κv) = κ v. Again, the vector field v is tangent to the level sets of κ. On these sets there is only the R-action. iv) Another interesting case is when κ(x) = const. Then curl v = λv, i.e. v is an eigen field for the curl operator: curl ξ = λξ. Such fields are called Beltrami fields (or flows). One famious example is given by the so called ABC flows on a 3D-torus, which exhibit chaotic behavior and draw special attention in fast dynamo constructions: v x = Asinz +C cosy v y = Bsinx + Acosz v z = C siny + Bcosx v) There is a two-dimensional version of the above Arnold s theorem. Any areapreserving field in dimension 2 is a Hamiltonian field (with possibly a multivalued Hamiltonian function): v = sgrad ψ. This Hamiltonian function ψ is called the stream function for the field v. The condition that v is a steady flow, i.e. that it commutes with its vorticity curl v, amounts in 2D to the fact that the stream function ψ and its Laplacian ψ have the same level curves. In other words, locally there is a function F : R R such that ψ = F(ψ). 2.2 Variational principles for steady flows. The stationary solutions of the Euler equation come by as extremals from two different variational principles [3, 8]. i) The magneto-hydrodynamic ( MHD ) variational principle: consider the energy functional
6 6 Boris Khesin E(v) = v 2 d 3 x M on divergence-free vector fields v on a 3D manifold M. Then extremals of the energy functional among the fields diffeomorphic to a given one are singled out by the same condition as the steady Euler flows: such fields must commute with their vorticities. (This problem on conditional extremum corresponds to the restriction of the energy E to the adjoint orbits of the diffeomorphism group.) ii) The ideal hydrodynamic ( IHD ) principle: steady fields are extremal fields for the energy functional among the fields with diffeomorphic vorticities, i.e. among isovorticed fields. (The latter corresponds to the energy restriction to the coadjoint orbits of the same group.) In this sense these principles are dual to each other, but give the same sets of extremal fields. 3 Euler equations and integrable systems. 3.1 Hamiltonian reformulation of the Euler equations. The differential-geometric description of the Euler equation as a geodesic flow on a Lie group has a Hamiltonian reformulation. Fix the notation E(v) = 1 2 v,av for the energy quadratic form on g which we used to define the Riemannian metric. Identify the Lie algebra and its dual with the help of this quadratic form. This identification A : g g (called the inertia operator) allows one to rewrite the Euler equation on the dual space g. It turns out that the Euler equation on g is Hamiltonian with respect to the natural Lie Poisson structure on the dual space [1]. Moreover, the corresponding Hamiltonian function is minus the energy quadratic form lifted from the Lie algebra to its dual space by the same identification: E(m) = 1 2 A 1 m,m, where m = Av. Here we are going to take it as the definition of the Euler equation on the dual space g. (The minus is related to the consideration of a right-invariant metric on the group. It changes to plus for left-invariant metrics.) Definition 1. (see, e.g., [4]) The Euler equation on g, corresponding to the rightinvariant metric E(m) = 1 2 Av,v on the group, is given by the following explicit formula: dm = ad dt A 1 mm, (2) as an evolution of a point m g. Here ad is the coadjoint operator, dual to the operator defining the structure of the Lie algebra g. Below we explain the meaning of this operator in the case of the Virasoro algebra, responsible for several equations of mathematical physics.
7 Groups and topology in the Euler hydrodynamics and KdV The Virasoro algebra and the KdV equation. Definition 2. The Virasoro algebra vir = Vect(S 1 ) R is the vector space of pairs which consist of a smooth vector field on the circle and a number. This space is equipped with the following commutation operation: [( f (x) x, a), (g(x) ( x, b)] = ( f (x)g(x) f (x)g (x)) ) x S, f (x)g (x)dx, 1 for any two elements ( f (x) / x, a) and (g(x) / x, b) in vir. The bilinear skew-symmetric expression c( f,g) := S 1 f (x)g (x)dx the Gelfand Fuchs 2-cocycle. is called There exists a Virasoro group, an extension of the group of smooth diffeomorphisms of the circle, whose Lie algebra is the Virasoro algebra vir. Fix the L 2 -energy quadratic form in the Virasoro Lie algebra: E( f (x) x, a) = 1 ( ) 2 f 2 (x) dx + a 2. S 1 Applying the construction of Section 1 to the Virasoro group, one can equip this group with a (right-invariant) Riemannian metric and consider the corresponding Euler equation, i.e., the equation of the geodesic flow generated by this metric on the Virasoro group. Theorem 3. [9] The Euler equation corresponding to the geodesic flow (for the above right-invariant metric) on the Virasoro group is a one-parameter family of the Korteweg de Vries (KdV) equations: t u + u x u + c 3 x u = 0; tc = 0 on a time-dependent function u on S 1. Here c is a (constant) parameter, the depth of the fluid. Proof. The space vir can be identified with the set of pairs { (u(x)(dx) 2,c) u(x) is a smooth function on S 1, c R }. Indeed, it is natural to contract the quadratic differentials u(x)(dx) 2 with vector fields on the circle, while the constants are to be paired between themselves: (v(x) x, a),(u(x)(dx)2,c) = v(x) u(x) dx + a c. S1 The coadjoint action of a Lie algebra element ( f / x,a) vir on an element (u(x)(dx) 2,c) of the dual space vir is ad ( f / x,a) (u(dx)2,c) = (2( x f )u + f x u + c 3 x f, 0).
8 8 Boris Khesin It is obtained from the identity [( f x, a), (g x, b)],(u(dx)2,c) = (g x, b),ad ( f x, a)(u(dx)2,c), which holds for every pair (g x, b) vir. The quadratic energy functional E on the Virasoro algebra vir determines the tautological inertia operator A : vir vir, which sends a pair (u(x) / x,c) vir to (u(x)(dx) 2,c) vir. In particular, it defines the quadratic Hamiltonian on the dual space vir, E(u(dx) 2,c) = 1 2 ( u 2 dx + c 2 ) = 1 2 (u x,c), (u(dx)2,c) = 1 2 (u x,c), A(u x,c). The corresponding Euler equation for the right-invariant metric defined by E on the group (according to the general formula (2) above) is given by t (u(dx)2,c) = ad A 1 (u(dx) 2,c) (u(dx)2,c). Making use of the explicit formula for the Virasoro coadjoint action ad for we obtain the required Euler equation: ( f / x,a) = A 1 (u(dx) 2,c) = (u / x,c), t u = 2( x u)u u x u c 3 x u = 3u x u c 3 x u, t c = 0. The coefficient c is preserved in time, and the function u satisfies the KdV equation. QED. 3.3 Equations relatives and conservation laws. For different metrics on the Virasoro group, other interesting equations can appear from the same scheme. The Euler equation on the Virasoro group with respect to the right-invariant H 1 -metric gives the Camassa-Holm equation: t u xxt u = 3u x u + 2( x u) xx u + u xxx u + c 3 x u, see [7]. Similarly, the homogeneous Ḣ 1 -metric gives the Hunter-Saxton equation (an equation in the Dym hierarchy): xxt u = 2( x u) xx u u xxx u,
9 Groups and topology in the Euler hydrodynamics and KdV 9 see [6]. Remark 2. It turns out that all these three equations (KdV, CH, and HS) are bihamiltonian systems, and hence admit an infinite family of conservation laws. The corresponding Hamiltonian (or Poisson) structures are naturally related to the Virasoro algebra. For instance, for the KdV equation these conserved quantities can be expressed in the following way. Consider the KdV equation on (u(x)(dx) 2, c) as an evolution of Hill s operator c d2 + u(x). The monodromy M(u) of this operator is a 2 2- dx matrix with the unit determinant. 2 Look at the following function of the monodromy for a family of Hill s operators: h λ (u) := log(tracem(u λ 2 )), where M(u λ 2 ) is the monodromy of the Hill operator d2 + u(x) λ 2. dx Now, the expansion of the function h 2 λ in λ produces the first integrals of the KdV equation: where h λ (u) 2πλ n=1 h 1 = u(x)dx, h S 1 3 = u2 (x)dx, h 5 = S 1 S 1 c n h 2n 1 (u)λ 1 2n, (u 3 (x) 12 (u x(x)) 2 ) dx,... and c 1 = 1/2, c n = (2n 3)!!/(2 n n!) for n > 1. One can recognize here the familiar form of higher KdV integrals. Their appearance in this expansion is due to the fact that the trace of the monodromy M(u) is a Casimir function for the Virasoro algebra, while the coefficients in a Casimir expansion provide a hierarchy of conserved charges for any bihamiltonian systems, see more details on this and other equations in [6]. Acknowledgements This paper presents the lecture notes for author s minicourse on Mathematical Fluid Dynamics, given at the Fields Institute in September I am obliged to Walter Craig for the invitation to give this course, encouragement and careful notes. I am also grateful to the University of Geneva and Anton Alekseev for hospitality during the preparation of this survey. The present work was partially sponsored by an NSERC research grant.
10 10 Boris Khesin References 1. Arnold, V.I. (1966) Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l hydrodynamique des fluides parfaits. Ann. Inst. Fourier 16, Arnold, V.I. (1973) The asymptotic Hopf invariant and its applications. Proc. Summer School in Diff. Equations at Dilizhan, Erevan (in Russian); English transl.: Sel. Math. Sov. 5 (1986), Arnold, V.I. (1974) Mathematical methods in classical mechanics. English transl.: Graduate Texts in Mathematics, v.60. Springer-Verlag, New York, 1989, 516pp. 4. Arnold, V.I. & Khesin, B.A. (1998) Topological methods in hydrodynamics. Applied Mathematical Sciences, vol. 125, Springer-Verlag, New York, pp. xv Ebin, D. & Marsden, J. (1970) Groups of diffeomorphisms and the notion of an incompressible fluid. Ann. of Math. (2) 92, Khesin, B. & Misiołek, G. (2003) Euler equations on homogeneous spaces and Virasoro orbits. Advances in Math. 176, Misiołek, G. (1998) A shallow water equation as a geodesic flow on the Bott-Virasoro group. J. Geom. Phys. 24:3, ; Classical solutions of the periodic Camassa-Holm equation. Geom. Funct. Anal. 12:5 (2002), Moffatt, H.K. & Tsinober, A. (1992) Helicity in laminar and turbulent flow. Annual Review of Fluid Mechanics 24, Ovsienko, V.Yu. & Khesin, B.A. (1987) Korteweg-de Vries super-equation as an Euler equation. Funct. Anal. Appl. 21:4,
Dynamics of symplectic fluids and point vortices
Dynamics of symplectic fluids and point vortices Boris Khesin June 2011 In memory of Vladimir Igorevich Arnold Abstract We present the Hamiltonian formalism for the Euler equation of symplectic fluids,
More informationarxiv: v1 [math-ph] 13 Feb 2008
Bi-Hamiltonian nature of the equation u tx = u xy u y u yy u x V. Ovsienko arxiv:0802.1818v1 [math-ph] 13 Feb 2008 Abstract We study non-linear integrable partial differential equations naturally arising
More informationTopological fluid dynamics is a young
Topological Fluid Dynamics Boris Khesin Topological fluid dynamics is a young mathematical discipline that studies topological features of flows with complicated trajectories and their applications to
More informationCocycles and stream functions in quasigeostrophic motion
Journal of Nonlinear Mathematical Physics Volume 15, Number 2 (2008), 140 146 Letter Cocycles and stream functions in quasigeostrophic motion Cornelia VIZMAN West University of Timişoara, Romania E-mail:
More informationContents. Preface...VII. Introduction... 1
Preface...VII Introduction... 1 I Preliminaries... 7 1 LieGroupsandLieAlgebras... 7 1.1 Lie Groups and an Infinite-Dimensional Setting....... 7 1.2 TheLieAlgebraofaLieGroup... 9 1.3 The Exponential Map..............................
More informationIntegrable evolution equations on spaces of tensor densities
Integrable evolution equations on spaces of tensor densities J. Lenells, G. Misiolek and F. Tiglay* April 11, 21 Lenells, Misiolek, Tiglay* AMS Meeting, Minnesota, April 11, 21 slide 1/22 A family of equations
More informationHamiltonian aspects of fluid dynamics
Hamiltonian aspects of fluid dynamics CDS 140b Joris Vankerschaver jv@caltech.edu CDS 01/29/08, 01/31/08 Joris Vankerschaver (CDS) Hamiltonian aspects of fluid dynamics 01/29/08, 01/31/08 1 / 34 Outline
More informationRelation of the covariant and Lie derivatives and its application to Hydrodynamics
Relation of the covariant and Lie derivatives and its application to Hydrodynamics Yang Cao TU Darmstadt March 12, 2010 The Euler hydrodynamic equation on manifolds Let M denote a compact oriented Riemannian
More informationOn universality of critical behaviour in Hamiltonian PDEs
Riemann - Hilbert Problems, Integrability and Asymptotics Trieste, September 23, 2005 On universality of critical behaviour in Hamiltonian PDEs Boris DUBROVIN SISSA (Trieste) 1 Main subject: Hamiltonian
More informationOn the bi-hamiltonian structures of the Camassa-Holm and Harry Dym equations
arxiv:nlin/0407057v1 [nlin.si] 6 Jul 004 On the bi-hamiltonian structures of the Camassa-Holm and Harry Dym equations aolo Lorenzoni Dipartimento di Matematica e Applicazioni Università di Milano-Bicocca
More informationTHE POINCARÉ RECURRENCE PROBLEM OF INVISCID INCOMPRESSIBLE FLUIDS
ASIAN J. MATH. c 2009 International Press Vol. 13, No. 1, pp. 007 014, March 2009 002 THE POINCARÉ RECURRENCE PROBLEM OF INVISCID INCOMPRESSIBLE FLUIDS Y. CHARLES LI Abstract. Nadirashvili presented a
More informationPoisson Manifolds Bihamiltonian Manifolds Bihamiltonian systems as Integrable systems Bihamiltonian structure as tool to find solutions
The Bi hamiltonian Approach to Integrable Systems Paolo Casati Szeged 27 November 2014 1 Poisson Manifolds 2 Bihamiltonian Manifolds 3 Bihamiltonian systems as Integrable systems 4 Bihamiltonian structure
More informationThe group we will most often be dealing with in hydrodynamics is the innitedimensional. group of dieomorphisms that preserve the volume element of the
CHAPTER I GROUP AND HAILTONIAN STRUCTURES OF FLUID DYNAICS The group we will most often be dealing with in hydrodynamics is the innitedimensional group of dieomorphisms that preserve the volume element
More informationCURVATURES OF SOBOLEV METRICS ON DIFFEOMORPHISM GROUPS
To Dennis Sullivan on the occasion of his 70th birthday CURVATURES OF SOBOLEV METRICS ON DIFFEOMORPHISM GROUPS B. KHESIN, J. LENELLS, G. MISIO LEK, AND S. C. PRESTON Abstract. Many conservative partial
More informationSteady fluid flows and symplectic geometry *
ELSEVIER Journal of Geometry and Physics 14 (1994) 195 210 JOURNAL OF GEOMETRYA~D PHYSICS Steady fluid flows and symplectic geometry * Viktor L. Ginzburg a, Boris Khesin b a Department of Mathematics,
More informationAlexei F. Cheviakov. University of Saskatchewan, Saskatoon, Canada. INPL seminar June 09, 2011
Direct Method of Construction of Conservation Laws for Nonlinear Differential Equations, its Relation with Noether s Theorem, Applications, and Symbolic Software Alexei F. Cheviakov University of Saskatchewan,
More informationBurgers equation 324. Calugareanu formula 189. Calabi invariant 261, 265. integral, 265. form, 265. Casimir-momentum method 101. cat map 111, 281, 305
Index ABC-ows 76, 304 action along a path 245 principle of least action, 1, 17 action{angle variables 106, 326 adjoint operator 4 orbit, 8 representation, 5 almost complex structure 350 angular momentum
More informationThe geometry of Euler s equations. lecture 2
The geometry of Euler s equations lecture 2 A Lie group G as a configuration space subgroup of N N matrices for some N G finite dimensional Lie group we can think of it as a matrix group Notation: a,b,
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 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 informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationFor ideal fluids, Eulerian and Lagrangian instabilities are equivalent
For ideal fluids, Eulerian and Lagrangian instabilities are equivalent Stephen C. Preston September 4, 23 Contents Introduction 2 Geometry of D() and D µ () 3 2. The diffeomorphism group......................
More informationQuasiperiodic Motion for the Pentagram Map
Quasiperiodic Motion for the Pentagram Map Valentin Ovsienko, Richard Schwartz, and Sergei Tabachnikov 1 Introduction and main results The pentagram map, T, is a natural operation one can perform on polygons.
More informationarxiv:solv-int/ v1 24 Mar 1997
RIBS-PH-5/97 solv-int/9703012 arxiv:solv-int/9703012v1 24 Mar 1997 LAGRANGIAN DESCRIPTION, SYMPLECTIC STRUCTURE, AND INVARIANTS OF 3D FLUID FLOW Abstract Hasan Gümral TÜBİTAK Research Institute for Basic
More informationShock Waves for the Burgers Equation and Curvatures of Diffeomorphism Groups
ISSN 0081-5438, Proceedings of the Steklov Institute of Mathematics, 2007, Vol. 259, pp. 73 81. c Pleiades Publishing, Ltd., 2007. Shock Waves for the Burgers Equation and Curvatures of Diffeomorphism
More informationControlling Mechanical Systems by Active Constraints. Alberto Bressan. Department of Mathematics, Penn State University
Controlling Mechanical Systems by Active Constraints Alberto Bressan Department of Mathematics, Penn State University 1 Control of Mechanical Systems: Two approaches by applying external forces by directly
More informationarxiv: v1 [math.ap] 21 Dec 2018
On stability of Euler flows on closed surfaces with positive genus arxiv:1812.08959v1 [math.ap] 21 Dec 2018 Abstract Vladimir Yushutin Department of athematics, University of Houston, Houston, Texas 77204
More informationOn centro-affine curves and Bäcklund transformations of the KdV equation
On centro-affine curves and Bäcklund transformations of the KdV equation Serge Tabachnikov 1 A family of transformations on the space of curves This note stems from [1] where we study the integrable dynamics
More informationEULER-ARNOLD EQUATIONS AND TEICHMÜLLER THEORY
EULER-ARNOLD EQUATIONS AND TEICHMÜLLER THEORY STEPHEN C. PRESTON AND PEARCE WASHABAUGH Abstract. In this paper we prove that all initially-smooth solutions of the Euler-Weil-Petersson equation, which describes
More informationCHAPTER VI DYNAMICAL SYSTEMS WITH. features of a variety of dynamical systems and to emphasize suggestive
CHAPTER VI DYNAMICAL SYSTEMS WITH HYDRODYNAMICAL BACKGROUND This chapter is a survey of several relevant systems to which the group-theoretic scheme of the preceding chapters or its modications can be
More informationPoisson brackets in Hydrodynamics
Poisson brackets in Hydrodynamics Boris Kolev To cite this version: Boris Kolev. Poisson brackets in Hydrodynamics. Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical
More informationChanging sign solutions for the CR-Yamabe equation
Changing sign solutions for the CR-Yamabe equation Ali Maalaoui (1) & Vittorio Martino (2) Abstract In this paper we prove that the CR-Yamabe equation on the Heisenberg group has infinitely many changing
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationL 2 Geometry of the Symplectomorphism Group
University of Notre Dame Workshop on Innite Dimensional Geometry, Vienna 2015 Outline 1 The Exponential Map on D s ω(m) 2 Existence of Multiplicity of Outline 1 The Exponential Map on D s ω(m) 2 Existence
More informationarxiv:math-ph/ v2 1 Mar 2004
LIE GROUPS AND MECHANICS, AN INTRODUCTION BORIS KOLEV arxiv:math-ph/0402052v2 1 Mar 2004 Abstract. The aim of this paper is to present aspects of the use of Lie groups in mechanics. We start with the motion
More informationM3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011
M3-4-5 A16 Notes for Geometric Mechanics: Oct Nov 2011 Text for the course: Professor Darryl D Holm 25 October 2011 Imperial College London d.holm@ic.ac.uk http://www.ma.ic.ac.uk/~dholm/ Geometric Mechanics
More informationConservation Laws: Systematic Construction, Noether s Theorem, Applications, and Symbolic Computations.
Conservation Laws: Systematic Construction, Noether s Theorem, Applications, and Symbolic Computations. Alexey Shevyakov Department of Mathematics and Statistics, University of Saskatchewan, Saskatoon,
More informationA Class of Shock Wave Solutions of the Periodic Degasperis-Procesi Equation
ISSN 1749-3889 (print), 1749-3897 (online) International Journal of Nonlinear Science Vol.9(2010) No.3,pp.367-373 A Class of Shock Wave Solutions of the Periodic Degasperis-Procesi Equation Caixia Shen
More informationA new integrable system: The interacting soliton of the BO
Phys. Lett., A 204, p.336-342, 1995 A new integrable system: The interacting soliton of the BO Benno Fuchssteiner and Thorsten Schulze Automath Institute University of Paderborn Paderborn & Germany Abstract
More informationSymplectic structure on vortex sheets
Symplectic structure on vortex sheets Boris Khesin November 1, 2011 To the memory of Vladimir Igorevich Arnold Abstract We present a Lie algebraic framework for vortex sheets as singular 2-forms with support
More informationA PERIODICITY PROBLEM FOR THE KORTEWEG DE VRIES AND STURM LIOUVILLE EQUATIONS. THEIR CONNECTION WITH ALGEBRAIC GEOMETRY
A PERIODICITY PROBLEM FOR THE KORTEWEG DE VRIES AND STURM LIOUVILLE EQUATIONS. THEIR CONNECTION WITH ALGEBRAIC GEOMETRY B. A. DUBROVIN AND S. P. NOVIKOV 1. As was shown in the remarkable communication
More informationVISCOUS HYDRODYNAMICS THROUGH STOCHASTIC PERTURBATIONS OF FLOWS OF PERFECT FLUIDS ON GROUPS OF DIFFEOMORPHISMS *
UDK 519.216; 514.8 VISCOUS HYDRODYNAMICS THROUGH STOCHASTIC PERTURBATIONS OF FLOWS OF PERFECT FLUIDS ON GROUPS OF DIFFEOMORPHISMS * 2001 ã. Yu. E. Gliklikh Voronezh State University We construct some stochastic
More informationGeodesic Flow and Two (Super) Component Analog of the Camassa Holm Equation
Geodesic Flow and Two Super) Component Analog of the Camassa Holm Equation Partha Guha and Peter J. Olver S.N. Bose National Centre for Basic Sciences JD Block, Sector-3, Salt Lake Calcutta-700098, INDIA.
More informationEULER-ARNOLD EQUATIONS AND TEICHMÜLLER THEORY
EULER-ARNOLD EQUATIONS AND TEICHMÜLLER THEORY STEPHEN C. PRESTON AND PEARCE WASHABAUGH Abstract. In this paper we prove that for s > 3/2, all H s solutions of the Euler-Weil-Petersson equation, which describes
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationA little taste of symplectic geometry
A little taste of symplectic geometry Timothy Goldberg Thursday, October 4, 2007 Olivetti Club Talk Cornell University 1 2 What is symplectic geometry? Symplectic geometry is the study of the geometry
More informationOBSTRUCTION TO POSITIVE CURVATURE ON HOMOGENEOUS BUNDLES
OBSTRUCTION TO POSITIVE CURVATURE ON HOMOGENEOUS BUNDLES KRISTOPHER TAPP Abstract. Examples of almost-positively and quasi-positively curved spaces of the form M = H\((G, h) F ) were discovered recently
More informationKNOTS, LINKS and GEOMETRY
KNOTS, LINKS and GEOMETRY Herman Gluck Knots in Washington, May 2013 My mathematical life began with knots and low-dim'l topology, then moved into differential geometry, and later came back to knots and
More informationSeptember 21, :43pm Holm Vol 2 WSPC/Book Trim Size for 9in by 6in
1 GALILEO Contents 1.1 Principle of Galilean relativity 2 1.2 Galilean transformations 3 1.2.1 Admissible force laws for an N-particle system 6 1.3 Subgroups of the Galilean transformations 8 1.3.1 Matrix
More information[#1] R 3 bracket for the spherical pendulum
.. Holm Tuesday 11 January 2011 Solutions to MSc Enhanced Coursework for MA16 1 M3/4A16 MSc Enhanced Coursework arryl Holm Solutions Tuesday 11 January 2011 [#1] R 3 bracket for the spherical pendulum
More informationarxiv:math/ v2 [math.ap] 18 Feb 2005
arxiv:math/0502103v2 [math.ap] 18 Feb 2005 he periodic Cauchy problem of the modified Hunter-Saxton equation Feride ığlay April 13, 2008 Abstract We prove that the periodic initial value problem for the
More informationFinite and Infinite Dimensional Lie Groups And Evolution Equations. (Symmetries, Conservation Laws, And Integrable Systems) Michael E.
Finite and Infinite Dimensional Lie Groups And Evolution Equations (Symmetries, Conservation Laws, And Integrable Systems) Michael E. Taylor 1 2 Contents Chapter I. Geodesic Flows on Groups 1. Geodesic
More informationA DIFFERENTIAL GEOMETRIC APPROACH TO FLUID MECHANICS
International Journal of Scientific and Research Publications Volume 5 Issue 9 September 2015 1 A DIFFERENTIAL GEOMETRIC APPROACH TO FLUID MECHANICS Mansour Hassan Mansour * M A Bashir ** * Department
More informationHamiltonian partial differential equations and Painlevé transcendents
The 6th TIMS-OCAMI-WASEDA Joint International Workshop on Integrable Systems and Mathematical Physics March 22-26, 2014 Hamiltonian partial differential equations and Painlevé transcendents Boris DUBROVIN
More informationA LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM CONTENTS
A LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM TIMOTHY E. GOLDBERG ABSTRACT. This is a handout for a talk given at Bard College on Tuesday, 1 May 2007 by the author. It gives careful versions
More informationThe Averaged Fluid and EPDiff Equations: (A Deja Vu Lecture) Jerrold E. Marsden
C A L T E C H Control & Dynamical Systems The Averaged Fluid and EPDiff Equations: (A Deja Vu Lecture) Jerrold E. Marsden Control and Dynamical Systems, Caltech http://www.cds.caltech.edu/ marsden/ Boulder,
More informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationHamiltonian partial differential equations and Painlevé transcendents
Winter School on PDEs St Etienne de Tinée February 2-6, 2015 Hamiltonian partial differential equations and Painlevé transcendents Boris DUBROVIN SISSA, Trieste Cauchy problem for evolutionary PDEs with
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationManifolds in Fluid Dynamics
Manifolds in Fluid Dynamics Justin Ryan 25 April 2011 1 Preliminary Remarks In studying fluid dynamics it is useful to employ two different perspectives of a fluid flowing through a domain D. The Eulerian
More informationSOLUTIONS TO THE GINZBURG LANDAU EQUATIONS FOR PLANAR TEXTURES IN SUPERFLUID 3 He
SOLUTIONS TO THE GINZBURG LANDAU EQUATIONS FOR PLANAR TEXTURES IN SUPERFLUID 3 He V. L. GOLO, M. I. MONASTYRSKY, AND S. P. NOVIKOV Abstract. The Ginzburg Landau equations for planar textures of superfluid
More informationSolutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations
D. D. Holm Solutions to M3-4A16 Assessed Problems # 3 15 Dec 2010 1 Solutions of M3-4A16 Assessed Problems # 3 [#1] Exercises in exterior calculus operations Vector notation for differential basis elements:
More informationarxiv:nlin/ v1 [nlin.si] 25 Sep 2006
Remarks on the conserved densities of the Camassa-Holm equation Amitava Choudhuri 1, B. Talukdar 1a and S. Ghosh 1 Department of Physics, Visva-Bharati University, Santiniketan 73135, India Patha Bhavana,
More informationGeometry and Analysis of some Euler-Arnold Equations
City University of New York (CUNY) CUNY Academic Works Dissertations, Theses, and Capstone Projects Graduate Center 5-2018 Geometry and Analysis of some Euler-Arnold Equations Jae Min Lee The Graduate
More informationOn Arnold s variational principles in fluid mechanics
Fields Institute Communications Volume 00, 0000 On Arnold s variational principles in fluid mechanics V.A.Vladimirov K.I.Ilin epartment of Mathematics Hong Kong University of Science and Technology Clear
More informationAn integrable shallow water equation with peaked solitons
An integrable shallow water equation with peaked solitons arxiv:patt-sol/9305002v1 13 May 1993 Roberto Camassa and Darryl D. Holm Theoretical Division and Center for Nonlinear Studies Los Alamos National
More informationMath 575-Lecture 26. KdV equation. Derivation of KdV
Math 575-Lecture 26 KdV equation We look at the KdV equations and the so-called integrable systems. The KdV equation can be written as u t + 3 2 uu x + 1 6 u xxx = 0. The constants 3/2 and 1/6 are not
More informationOn local normal forms of completely integrable systems
On local normal forms of completely integrable systems ENCUENTRO DE Răzvan M. Tudoran West University of Timişoara, România Supported by CNCS-UEFISCDI project PN-II-RU-TE-2011-3-0103 GEOMETRÍA DIFERENCIAL,
More informationAn Invitation to Geometric Quantization
An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to
More informationScientiae Mathematicae Japonicae Online, Vol. 4, (2001), ASSOCIATED WITH CONTACT FORMS ON 3-MANIFOLDS. Atsuhide Mori
Scientiae Mathematicae Japonicae Online, Vol. 4, (200), 929 934 929 REMARKS ON THE SPACES OF RIEMANNIAN METRICS ASSOCIATED WITH CONTACT FORMS ON 3-MANIFOLDS Atsuhide Mori Received November 28, 2000; revised
More informationTopics in Fluid Dynamics: Classical physics and recent mathematics
Topics in Fluid Dynamics: Classical physics and recent mathematics Toan T. Nguyen 1,2 Penn State University Graduate Student Seminar @ PSU Jan 18th, 2018 1 Homepage: http://math.psu.edu/nguyen 2 Math blog:
More informationCanonically conjugate variables for the periodic Camassa-Holm equation
arxiv:math-ph/21148v2 15 Mar 24 Canonically conjugate variables for the periodic Camassa-Holm equation Alexei V. Penskoi Abstract The Camassa-Holm shallow water equation is known to be Hamiltonian with
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationFLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS
FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.
More informationMULTIVALUED FUNCTIONS AND FUNCTIONALS. AN ANALOGUE OF THE MORSE THEORY
MULTIVALUED FUNCTIONS AND FUNCTIONALS. AN ANALOGUE OF THE MORSE THEORY S. P. NOVIKOV I. Let M be a finite or infinite dimensional manifold and ω a closed 1-form, dω = 0. Integrating ω over paths in M defines
More informationLECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)
LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,
More informationarxiv: v3 [math.dg] 7 Sep 2012
GEODESIC DISTANCE FOR RIGHT INVARIANT SOBOLEV METRICS OF FRACTIONAL ORDER ON THE DIFFEOMORPHISM GROUP arxiv:115.37v3 [math.dg] 7 Sep 1 MARTIN BAUER, MARTINS BRUVERIS, PHILIPP HARMS, PETER W. MICHOR Abstract.
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationИзвестия НАН Армении. Математика, том 46, н. 1, 2011, стр HOMOGENEOUS GEODESICS AND THE CRITICAL POINTS OF THE RESTRICTED FINSLER FUNCTION
Известия НАН Армении. Математика, том 46, н. 1, 2011, стр. 75-82. HOMOENEOUS EODESICS AND THE CRITICAL POINTS OF THE RESTRICTED FINSLER FUNCTION PARASTOO HABIBI, DARIUSH LATIFI, MEERDICH TOOMANIAN Islamic
More informationThe Geometry of Euler s equation. Introduction
The Geometry of Euler s equation Introduction Part 1 Mechanical systems with constraints, symmetries flexible joint fixed length In principle can be dealt with by applying F=ma, but this can become complicated
More informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More informationSolutions to the Hamilton-Jacobi equation as Lagrangian submanifolds
Solutions to the Hamilton-Jacobi equation as Lagrangian submanifolds Matias Dahl January 2004 1 Introduction In this essay we shall study the following problem: Suppose is a smooth -manifold, is a function,
More informationTransverse geometry. consisting of finite sums of monomials of the form
Transverse geometry The space of leaves of a foliation (V, F) can be described in terms of (M, Γ), with M = complete transversal and Γ = holonomy pseudogroup. The natural transverse coordinates form the
More informationApplications of Nambu Mechanics to Systems of Hydrodynamical Type II
Journal of Nonlinear Mathematical Physics Volume 11, Number 2 (2004), 223 232 Article Applications of Nambu Mechanics to Systems of Hydrodynamical Type II Partha GUHA S.N. Bose National Centre for Basic
More informationBifurcations of Traveling Wave Solutions for a Generalized Camassa-Holm Equation
Computational and Applied Mathematics Journal 2017; 3(6): 52-59 http://www.aascit.org/journal/camj ISSN: 2381-1218 (Print); ISSN: 2381-1226 (Online) Bifurcations of Traveling Wave Solutions for a Generalized
More informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationA NOTE ON FISCHER-MARSDEN S CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 3, March 1997, Pages 901 905 S 0002-9939(97)03635-6 A NOTE ON FISCHER-MARSDEN S CONJECTURE YING SHEN (Communicated by Peter Li) Abstract.
More informationChoice of Riemannian Metrics for Rigid Body Kinematics
Choice of Riemannian Metrics for Rigid Body Kinematics Miloš Žefran1, Vijay Kumar 1 and Christopher Croke 2 1 General Robotics and Active Sensory Perception (GRASP) Laboratory 2 Department of Mathematics
More informationA CRASH COURSE IN EULER-POINCARÉ REDUCTION
A CRASH COURSE IN EULER-POINCARÉ REDUCTION HENRY O. JACOBS Abstract. The following are lecture notes from lectures given at the Fields Institute during the Legacy of Jerrold E. Marsden workshop. In these
More informationarxiv: v1 [math.oc] 22 Apr 2007
arxiv:0704.2886v1 [math.oc] 22 Apr 2007 Control of mechanical systems on Lie groups and ideal hydrodynamics Mikhail V. Deryabin Abstract In contrast to the Euler-Poincaré reduction of geodesic flows of
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More informationINTEGRABLE EVOLUTION EQUATIONS ON SPACES OF TENSOR DENSITIES AND THEIR PEAKON SOLUTIONS*
INTEGRABLE EVOLUTION EQUATIONS ON SPACES OF TENSOR DENSITIES AND THEIR PEAKON SOLUTIONS* JONATAN LENELLS, GERARD MISIO LEK, AND FERIDE TIĞLAY Abstract. We study a family of equations defined on the space
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial ifferential Equations «Viktor Grigoryan 3 Green s first identity Having studied Laplace s equation in regions with simple geometry, we now start developing some tools, which will lead
More informationHamiltonian Dynamics
Hamiltonian Dynamics CDS 140b Joris Vankerschaver jv@caltech.edu CDS Feb. 10, 2009 Joris Vankerschaver (CDS) Hamiltonian Dynamics Feb. 10, 2009 1 / 31 Outline 1. Introductory concepts; 2. Poisson brackets;
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationHamiltonian partial differential equations and Painlevé transcendents
Winter School on PDEs St Etienne de Tinée February 2-6, 2015 Hamiltonian partial differential equations and Painlevé transcendents Boris DUBROVIN SISSA, Trieste Lecture 2 Recall: the main goal is to compare
More informationGeometry and Dynamics of singular symplectic manifolds. Session 9: Some applications of the path method in b-symplectic geometry
Geometry and Dynamics of singular symplectic manifolds Session 9: Some applications of the path method in b-symplectic geometry Eva Miranda (UPC-CEREMADE-IMCCE-IMJ) Fondation Sciences Mathématiques de
More informationSymmetric Spaces Toolkit
Symmetric Spaces Toolkit SFB/TR12 Langeoog, Nov. 1st 7th 2007 H. Sebert, S. Mandt Contents 1 Lie Groups and Lie Algebras 2 1.1 Matrix Lie Groups........................ 2 1.2 Lie Group Homomorphisms...................
More informationThe Euler Equation of Gas-Dynamics
The Euler Equation of Gas-Dynamics A. Mignone October 24, 217 In this lecture we study some properties of the Euler equations of gasdynamics, + (u) = ( ) u + u u + p = a p + u p + γp u = where, p and u
More information