DOCSLIB.ORG

Lie Symmetry Group Theory for Turbulence Modelling and Simulation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Lie Symmetry Group Theory for Turbulence Modelling and Simulation Lie symmetry group theory for turbulence modelling and simulation Aziz Hamdouni∗, Dina Razafindralandy∗, Marx Chhay†, and Nazir Al Sayed‡ ∗Laboratoire des Sciences de l’Ingénieur pour l’Environnement – UMR 7356 Université de La Rochelle – France †Laboratoire Optimisation de la Conception et Ingénieurie de l’Environnement – UMR 5271 Université de Savoie – France ‡Laboratoire de Mécanique des Structures Industrielles Durables – UMR EDF/CNRS/CEA 8193 EDF R&D – France Abstract—In this paper, we present some applica- II. Lie symmetry group theory and application tions of the Lie-group theory to fluid mechanics prob- to the non-isothermal Navier-Stokes equations lems. We present how to use the Lie-group theory to de- duce conservation laws of the Navier-Stokes equations Instead of presenting the Lie symmetry group theory and scaling laws of turbulent flows. We also develop on a general equation, we apply it directly to the non- symmetry preserving turbulent models, and show how isothermal Navier-Stokes equations: the symmetry theory can contribute to build robust numerical schemes. ∂u 1 + div(u ⊗ u) + ∇p − ν∆u − βgθ e = 0 ∂t ρ 3 I. Introduction ∂θ (1) + div(θu) − ∆θ = 0 ∂t The literature shows that the Lie-symmetry group the- ory constitutes a powerful modelling tool in engineering div u = 0 science. They allow, for instance, the computation of A continuous symmetry of equations (1) is a transforma- Green function of linear equations. In addition, symme- tion tries are extensively used in literature to compute self- ˆ similar solutions of various equations. In turbulence, vor- T : q = (t, x, u, p, θ) 7−→ qˆ = (t,ˆ xˆ, uˆ, p,ˆ θ), (2) tex solutions of the Navier-Stokes equations was found depending smoothly on the parameter , and which leave as special self-similar solutions. Finally, we mention that the set of solutions of (1) invariant. In other words, T is the symmetries may give an information on the large-time a symmetry of (1) if behaviour of the solution. To some extent, the symmetries traduce the physics of the equations. NS(q) = 0 =⇒ NS(qˆ) = 0 (3) In this communication, we present some applications to where NS designate equations (1). A Lie symmetry group fluid mechanics, and especially to the modelling and sim- of NS is a set of continuous transformations which has a ulation of turbulent flows. In section II, we recall briefly Lie group structure. the theory of Lie-symmetry group and how to compute Definition (3) permits to compute some but not all them. We then list the Lie-symmetry transformations of symmetry groups of NS. In order to be exhaustive, one the Navier-Stokes equations in the non-isothermal case. introduces the tangent vector: Next, we recall the Nœther’s theorem which links the symmetries of an equation to conservation laws in the case ∂ ∂ ∂ ∂ ∂ X = ξ + ξ · + ξ · + ξ + ξ (4) of a Lagrangian-described system. We then show how to t ∂t x ∂x u ∂u p ∂p θ ∂θ extend this theorem to non-Lagrangian systems and how where to find conservation laws of the Navier-Stokes equations. ∂qˆ ξ = . (5) In section IV, we are especially interested in turbulent q ∂ flows. We use the Lie-group theory to find wall and scaling =0 laws of non-isothermal turbulent flows. Next, we develop A tangent vector of a Lie group is also called its generator symmetry preserving turbulence models and show their since, knowing the components ξq of X, one can determine numerical performance. the elements T of the group by solving the equation In section V, we build robust numerical schemes, based dqˆ on symmetry preservation. = ξ(qˆ), qˆ( = 0) = q. (6) d Definition (3) is equivalent to the infinitesimal condition • the group of the first scaling transformations: NS(q) = 0 =⇒ X(2) · NS(q) = 0. (7) (t, x, u, p, θ) 7−→ (e2 t, e x, e− u, e−2 p, e−3 θ) (21) X(2) is a prolongation of X which accounts for the first which shows how u, p and θ change when the spatio- and second order partial derivatives in the equations (see temporal scale is multiplied by (e, e2), [1]–[3]). This condition enables to compute the tangent • and the group of the second scaling transformations: vectors of all the Lie symmetry groups of (1): 2 2 2 ∂ (t, x, u, p, θ, ν, κ) 7→ (t, e x, e u, e p, e θ, e ν, e κ) X = (8) (22) 1 ∂t which shows the consequence of a modification of the ∂ spatial scale. X2 = ζ(t) (9) ∂p Equations (1) own other known non-Lie symmetries, ∂ 1 ∂ which are: X3 = βg x3 + (10) ∂p ρ ∂θ • the reflections about x1 and x2 axes • and the material indifference in the limit of a 2D ∂ ∂ ∂ ∂ horizontal flow in a simply connected domain [4]: X4 = x2 − x1 + u2 − u1 (11) ∂x1 ∂x2 ∂u1 ∂u2 (t, x, u, p) 7→ (t , R(t)xˆ , R(t)u + R˙ (t)x , pˆ) (23) ∂ ∂ ∂ X4+i = αi(t) +α ˙ i(t) − ρ xiα¨i(t) , i = 1, 2, 3, ∂xi ∂ui ∂p with (12) pˆ = p − 3ωφ + ω2kxk2/2 ∂ ∂ ∂ ∂ ∂ X8 = 2t + x · − u · − 2p − 3θ (13) where R(t) is an horizontal 2D rotation matrix with ∂t ∂x ∂u ∂p ∂θ angle ωt, ω a real parameter, and φ the usual 2D where ζ and the αi’s are arbitrary functions of time. The stream function. dot symbol ( ˙ ) stands for time derivation. In the next section, we recall Nœther’s theorem which We can also consider symmetries (which are sometimes links symmetries to conservation laws. called equivalence transformations) of the form (t, x, u, p, θ, ν, κ) 7−→ (t,ˆ xˆ, uˆ, p,ˆ θ,ˆ ν,ˆ κˆ). (14) III. Symmetry and conservation laws Consider a system described by a Lagrangian action Such symmetries take a solution of (1) into a solution of Z other non-isothermal Navier–Stokes equations with differ- L[w] = L(y, w, w˙ ) (24) ent values of ν and κ. Applying condition (7) leads to the Ω infinitesimal generator and the corresponding Euler-Lagrange equation ∂ ∂ ∂ ∂ ∂ ∂ ∂L ∂L X9 = x· +u· +2p +θ +2ν +2κ . (15) − Div = 0, (25) ∂x ∂u ∂p ∂θ ∂ν ∂κ ∂w ∂w˙ From these generators, the symmetry group of (1) can P ∂f be identified. They are, respectively: where Div f = i for any smooth function f. ∂yi • the group of time translations: Nœther showed that to each Lie group which leaves the action L invariant corresponds a conservation law [5]. More (t, x, u, p, θ) 7−→ (t + , x, u, p, θ), (16) precisely, if • the group of pressure translations: X ·L = 0 (26) (t, x, u, p, θ) 7−→ (t, x, u, p + ζ(t), θ), (17) then Div C = 0. (27) • the group of pressure-temperature translations: The conserved quantity C is defined by (t, x, u, p, θ) 7−→ (t, x, u, p + βg x3, θ + a/ρ), (18) " #T ∂L • the group of horizontal rotations: C = Lξ + (ξ − γξ ) (28) y ∂γ w y (t, x, u, p, θ) 7−→ (t, Rx, Ru, p, θ) (19) where R is a 2D (constant) rotation matrix, j ∂wj where γk = . • the three-parameter group of generalized Galilean ∂yk Unfortunately, Nœther’s theorem does not apply di- transformations: rectly to equations (1) for these later do not have a (t, x, u, p, θ) 7−→ (t, x+α(t), u+α˙ (t), p+ρ xα¨(t), θ), Lagrangian structure. However, one can associate to (1) (20) adjoint equations such that, together, they derive from a “Bilagrangian” function. Indeed, consider, for example, Using the described theory, one can compute the Lie the isothermal case. Then, the Navier-Stokes equations symmetry groups of (33) which, for lack of space, are not ∂u 1 listed here but can be found in [6]. + u · ∇u + ∇p − ν∆u = 0 A scaling law of equations (33) verifies the condition ∂t ρ (29) X · U = 0, X · Θ = 0 (34) 1 div u = 0 where X is the generator of one of the Lie symmetry and their adjoint equations groups of (33). Solving these equations leads to the fol- ∂v 1 lowing scaling laws (among others). − + v · ∇u − u · ∇v − ∇s − ν∆v = 0 ∂t ρ • The linear law which can be found in the middle (30) region of a Couette flow and in the viscous sublayer of a boundary flow: div u = 0 derive from the Bilagrangian U1 = C1x2 + C3, Θ = C2x2 + C4. (35) ! 1 du dv 1 1 • The classical logarithmic wall law and its correspond- L = · v − u · + s − u · v div u 2 dt dt ρ 2 ing temperature law: (31) 1 U = C ln(x +b)+C , Θ = C [x +b]−1+C . (36) − p div v + ν tr(∇uT ∇v). 1 1 2 3 2 2 4 ρ • The exponential law: In these expressions, v and s are adjoint variables. With this extension of the notion of Lagrangian system, U1 = C1 exp(Cx2) + C3, Θ = C2 exp(2Cx2) + C4. Nœther’s theorem can be applied to the Navier-Stokes (37) equations to find conservation laws. • The power law of velocity discovered by Oberlack In the next section, we show some applications of sym- [7] in the buffer region of a boundary layer and its metry analysis to the understanding and simulation of temperature counterpart: turbulence. a 2a−1 U1 = C1(x2 + b) + C3, Θ = C2(x2 + b) + C4. IV. Symmetry and turbulence (38) In the first subsection, we present the derivation of scal- As we now know, symmetries contain fundamental phys- ing laws of turbulent flows from symmetry.
Load more

Recommended publications
  • About Symmetries in Physics
    LYCEN 9754 December 1997 ABOUT SYMMETRIES IN PHYSICS Dedicated to H. Reeh and R. Stora1 Fran¸cois Gieres Institut de Physique Nucl´eaire de Lyon, IN2P3/CNRS, Universit´eClaude Bernard 43, boulevard du 11 novembre 1918, F - 69622 - Villeurbanne CEDEX Abstract. The goal of this introduction to symmetries is to present some general ideas, to outline the fundamental concepts and results of the subject and to situate a bit the following arXiv:hep-th/9712154v1 16 Dec 1997 lectures of this school. [These notes represent the write-up of a lecture presented at the fifth S´eminaire Rhodanien de Physique “Sur les Sym´etries en Physique” held at Dolomieu (France), 17-21 March 1997. Up to the appendix and the graphics, it is to be published in Symmetries in Physics, F. Gieres, M. Kibler, C. Lucchesi and O. Piguet, eds. (Editions Fronti`eres, 1998).] 1I wish to dedicate these notes to my diploma and Ph.D. supervisors H. Reeh and R. Stora who devoted a major part of their scientific work to the understanding, description and explo- ration of symmetries in physics. Contents 1 Introduction ................................................... .......1 2 Symmetries of geometric objects ...................................2 3 Symmetries of the laws of nature ..................................5 1 Geometric (space-time) symmetries .............................6 2 Internal symmetries .............................................10 3 From global to local symmetries ...............................11 4 Combining geometric and internal symmetries ...............14
    [Show full text]
  • Symmetries in Physics Are [2, 4, 5]
    Symmetries in physics ∗ Roelof Bijker ICN-UNAM, AP 70-543, 04510 M´exico, DF, M´exico E-mail: [email protected] August 24, 2005 Abstract The concept of symmetries in physics is briefly reviewed. In the first part of these lecture notes, some of the basic mathematical tools needed for the understanding of symmetries in nature are presented, namely group theory, Lie groups and Lie algebras, and Noether’s theorem. In the sec- ond part, some applications of symmetries in physics are discussed, ranging from isospin and flavor symmetry to more recent developments involving the interacting boson model and its extension to supersymmetries in nuclear physics. 1 Introduction Symmetry and its mathematical framework—group theory—play an increasingly important role in physics. Both classical and quantum systems usually display great complexity, but the analysis of their symmetry properties often gives rise to simplifications and new insights which can lead to a deeper understanding. In addition, symmetries themselves can point the way toward the formulation of a correct physical theory by providing constraints and guidelines in an otherwise intractable situation. It is remarkable that, in spite of the wide variety of systems one may consider, all the way from classical ones to molecules, nuclei, and elementary particles, group theory applies the same basic principles and extracts the same kind of useful information from all of them. This universality in the applicability of symmetry considerations is one of the most attractive features of group theory. Most people have an intuitive understanding of symmetry, particularly in its most obvious manifestation in terms of geometric transformations that leave a body arXiv:nucl-th/0509007v1 2 Sep 2005 or system invariant.
    [Show full text]
  • Symmetries in Quantum Field Theory and Quantum Gravity
    Symmetries in Quantum Field Theory and Quantum Gravity Daniel Harlowa and Hirosi Oogurib;c aCenter for Theoretical Physics Massachusetts Institute of Technology, Cambridge, MA 02139, USA bWalter Burke Institute for Theoretical Physics California Institute of Technology, Pasadena, CA 91125, USA cKavli Institute for the Physics and Mathematics of the Universe (WPI) University of Tokyo, Kashiwa, 277-8583, Japan E-mail: [email protected], [email protected] Abstract: In this paper we use the AdS/CFT correspondence to refine and then es- tablish a set of old conjectures about symmetries in quantum gravity. We first show that any global symmetry, discrete or continuous, in a bulk quantum gravity theory with a CFT dual would lead to an inconsistency in that CFT, and thus that there are no bulk global symmetries in AdS/CFT. We then argue that any \long-range" bulk gauge symmetry leads to a global symmetry in the boundary CFT, whose consistency requires the existence of bulk dynamical objects which transform in all finite-dimensional irre- ducible representations of the bulk gauge group. We mostly assume that all internal symmetry groups are compact, but we also give a general condition on CFTs, which we expect to be true quite broadly, which implies this. We extend all of these results to the case of higher-form symmetries. Finally we extend a recently proposed new motivation for the weak gravity conjecture to more general gauge groups, reproducing the \convex hull condition" of Cheung and Remmen. An essential point, which we dwell on at length, is precisely defining what we mean by gauge and global symmetries in the bulk and boundary.
    [Show full text]
  • Continuous Symmetries and Lie Algebras
    Continuous Symmetries and Lie Algebras Gian Gentinetta Proseminar: Algebra and Topology in Quantum Mechanics and Field Theory Prof. Matthias Gaberdiel Tutor: Dr. Pietro Longhi May 2020 Abstract Continuous symmetries are an important tool in the calculation of eigenstates of the Hamiltonian in quantum mechanics. With the example of the hydrogen atom, we show how Lie groups and Lie algebras are used to represent symmetries in physics and how Lie group and Lie algebra representations are defined and calculated. In addition to the rotational symmetry of the hydrogen atom, the Runge-Lenz vector is also considered to derive an so(4) symmetry. Finally, using this symmetry the energy mk2 2 eigenvalues En = − 2n2 with their their n degeneracy are calculated. 1 Contents 1 Introduction and Motivation 3 1.1 Hydrogen Atom . 3 1.2 Continuous Symmetries and Noether’s Theorem . 3 2 Lie Groups and Lie Algebras 5 2.1 Lie Algebras . 6 2.2 The Exponential Map . 7 3 Representation Theory of sl(2; C) 8 3.1 Lie Algebra of SO(3) .............................. 8 3.2 Isomorphism so(3) ⊗ C ! sl(2; C) ....................... 9 3.3 Simple Lie Algebras . 10 3.4 Irreducible Representations of sl(2; C) ..................... 11 3.5 Representations of SO(3) ............................ 12 4 Runge-Lenz Vector 13 4.1 so(4) Symmetry of the Hydrogen Atom . 14 4.2 Isomorphism so(4) ! so(3) ⊕ so(3) ...................... 15 4.3 Calculating the Energy Eigenvalues . 16 4.4 Degeneracy . 17 5 Conclusion 17 References 18 2 1 Introduction and Motivation In previous talks we have seen that symmetries can be used to simplify the calculation of eigenstates of the Hamiltonian.
    [Show full text]
  • Noether's Theorem and Symmetry
    Noether’s Theorem and Symmetry Edited by P.G.L. Leach and Andronikos Paliathanasis Printed Edition of the Special Issue Published in Symmetry www.mdpi.com/journal/symmetry Noether’s Theorem and Symmetry Noether’s Theorem and Symmetry Special Issue Editors P.G.L. Leach Andronikos Paliathanasis MDPI • Basel • Beijing • Wuhan • Barcelona • Belgrade Special Issue Editors P.G.L. Leach Andronikos Paliathanasis University of Kwazulu Natal & Durban University of Technology Durban University of Technology Republic of South Arica Cyprus Editorial Office MDPI St. Alban-Anlage 66 4052 Basel, Switzerland This is a reprint of articles from the Special Issue published online in the open access journal Symmetry (ISSN 2073-8994) from 2018 to 2019 (available at: https://www.mdpi.com/journal/symmetry/ special issues/Noethers Theorem Symmetry). For citation purposes, cite each article independently as indicated on the article page online and as indicated below: LastName, A.A.; LastName, B.B.; LastName, C.C. Article Title. Journal Name Year, Article Number, Page Range. ISBN 978-3-03928-234-0 (Pbk) ISBN 978-3-03928-235-7 (PDF) Cover image courtesy of Andronikos Paliathanasis. c 2020 by the authors. Articles in this book are Open Access and distributed under the Creative Commons Attribution (CC BY) license, which allows users to download, copy and build upon published articles, as long as the author and publisher are properly credited, which ensures maximum dissemination and a wider impact of our publications. The book as a whole is distributed by MDPI under the terms and conditions of the Creative Commons license CC BY-NC-ND.
    [Show full text]
  • Emmy Noether and Symmetry
    Emmy Noether and Symmetry Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver ∼ London, October, 2018 Amalie Emmy Noether (1882–1935) Noether’s Fundamental Contributions to Analysis and Physics First Theorem. There is a one-to-one correspondence between symmetry groups of a variational problem and conservation laws of its Euler–Lagrange equations. Second Theorem. An infinite-dimensional variational symmetry group depending upon an arbitrary function corresponds to a nontrivial differential relation among its Euler–Lagrange equations. ⋆ The conservation laws associated with the variational symmetries in the Second Theorem are trivial — this resolved Hilbert’s original paradox in relativity that was the reason he and Klein invited Noether to G¨ottingen. Noether’s Three Fundamental Contributions to Analysis and Physics First Theorem. There is a one-to-one correspondence between symmetry groups of a variational problem and conservation laws of its Euler–Lagrange equations. Second Theorem. An infinite-dimensional variational symmetry group depending upon an arbitrary function corresponds to a nontrivial differential relation among its Euler–Lagrange equations. Introduction of higher order generalized symmetries. = later (1960’s) to play a fundamental role in the discovery ⇒ and classification of integrable systems and solitons. Symmetries = Conservation Laws ⇒ symmetry under space translations • = conservation of linear momentum ⇒ symmetry under time translations • = conservation of energy ⇒ symmetry under rotations • = conservation
    [Show full text]
  • Conservation Laws? the Modern Converse Noether Theorem Vs Pragmatism
    Do symmetries \explain" conservation laws? The modern converse Noether theorem vs pragmatism. Harvey R. Brown Faculty of Philosophy, University of Oxford, Radcliffe Observatory Quarter 555, Woodstock Road, Oxford OX2 6GG, U.K. October 16, 2020 Abstract Noether's first theorem does not establish a one-way explanatory ar- row from symmetries to conservation laws, but such an arrow is widely assumed in discussions of the theorem in the physics and philosophy lit- erature. It is argued here that there are pragmatic reasons for privileging symmetries, even if they do not strictly justify explanatory priority. To this end, some practical factors are adduced as to why Noether's direct theorem seems to be more well-known and exploited than its converse, with special attention being given to the sometimes overlooked nature of Noether's converse result and to its strengthened version due to Luis Martinez Alonso in 1979 and Peter Olver in 1986. Contents 1 Introduction 1 2 The standard account 2 3 Subtleties of Noether's theorem 3 4 The converse Noether theorem 5 4.1 Noether 1918 . 5 4.2 The free particle . 8 4.3 The modern Noether map . 10 5 Global space-time symmetries 13 6 A brief ode to symmetries 14 6.1 Pragmatic considerations . 14 6.2 Heuristics . 17 1 7 Acknowledgments 19 8 Appendix 20 1 Introduction In 2004, I argued with Peter Holland [10] that in her celebrated 1918 paper, Emmy Noether established by way of her (first) theorem1 a correlation between variational symmetries and conservations laws, but not an explanatory one- way arrow from the former to the latter.
    [Show full text]
  • Lie Symmetries of Differential Equations: Classical Results and Recent Contributions
    Symmetry 2010, 2, 658-706; doi:10.3390/sym2020658 OPEN ACCESS symmetry ISSN 2073-8994 www.mdpi.com/journal/symmetry Review Lie Symmetries of Differential Equations: Classical Results and Recent Contributions Francesco Oliveri Department of Mathematics, University of Messina, Contrada Papardo, Viale Ferdinando Stagno d’Alcontres 31, I–98166 Messina, Italy; Tel.: +39-090-6765065; Fax: +39-090-393502; E-Mail: [email protected] Received: 2 January 2010 / Accepted: 30 March 2010 / Published: 8 April 2010 Abstract: Lie symmetry analysis of differential equations provides a powerful and fundamental framework to the exploitation of systematic procedures leading to the integration by quadrature (or at least to lowering the order) of ordinary differential equations, to the determination of invariant solutions of initial and boundary value problems, to the derivation of conservation laws, to the construction of links between different differential equations that turn out to be equivalent. This paper reviews some well known results of Lie group analysis, as well as some recent contributions concerned with the transformation of differential equations to equivalent forms useful to investigate applied problems. Keywords: lie point symmetries; invariance of differential equations; invertible mappings between differential equations Classification: MSC 22E70, 34A05, 35A30, 58J70, 58J72. 1. Introduction Symmetry (joined to simplicity) has been, is, and probably will continue to be, an elegant and useful tool in the formulation and exploitation of the laws of nature. The request of symmetry accounts for the regularities of the laws that are independent of some inessential circumstances. For instance, the reproducibility of experiments in different places at different times relies on the invariance of the laws Symmetry 2010, 2 659 of nature under space translation and rotation (homogeneity and isotropy of space), and time translation (homogeneity of time).
    [Show full text]
  • Lie Symmetry Analysis, Lie-Bäcklund Symmetries, Explicit Solutions, and Conservation Laws of Drinfeld-Sokolov-Wilson System
    Zhang and Zhao Boundary Value Problems (2017)2017:154 DOI 10.1186/s13661-017-0885-7 R E S E A R C H Open Access Lie symmetry analysis, Lie-Bäcklund symmetries, explicit solutions, and conservation laws of Drinfeld-Sokolov-Wilson system Yufeng Zhang1* and Zhonglong Zhao2 *Correspondence: [email protected] Abstract 1College of Mathematics, China University of Mining and The symmetry analysis method is used to study the Drinfeld-Sokolov-Wilson system. Technology, Xuzhou, 221116, The Lie point symmetries of this system are obtained. An optimal system of P.R. China one-dimensional subalgebras is derived by using Ibragimov’s method. Based on the Full list of author information is available at the end of the article optimal system, similarity reductions and explicit solutions of the system are presented. The Lie-Bäcklund symmetry generators are also investigated. Furthermore, the method of constructing conservation laws of nonlinear partial differential equations with the aid of a new conservation theorem associated with Lie-Bäcklund symmetries is presented. Conservation laws of the Drinfeld-Sokolov-Wilson system are constructed by using this method. MSC: 76M60; 34A05; 70S10 Keywords: Drinfeld-Sokolov-Wilson system; optimal system; Lie-Bäcklund symmetries; explicit solutions; conservation laws 1 Introduction The Lie symmetry method was initiated by Lie [] in the second half of the nineteenth cen- tury. It has become one of the most powerful methods to study nonlinear partial differen- tial equations (NLPDEs). The core idea of the Lie symmetry method is that one-parameter groups of transformations acting on the space of the independent and dependent variables leave the NLPDEs unchanged [–].
    [Show full text]
  • Nonrelativistic Symmetries
    faculteit Wiskunde en Natuurwetenschappen Nonrelativistic symmetries. Bacheloronderzoek Wis- en Natuurkunde, deel 1: Wiskunde Augustus 2012 Student: P.L.Los Begeleider natuurkunde: D. Boer Begeleider wiskunde: J. Top 1 Introduction Symmetry is, in physics, the invariance of properties of a physical system under coordinate trans- formations of this system. This symmetry often can be used to deduce properties of the system. The main purpose of this bachelor's thesis is, besides giving a general mathematical description of continuous symmetries and Lie groups, to provide the correct mathematical language to study some questions about different physical systems with nonrelativistic symmetries. One of these questions, which will be studied not in this thesis but in a continuation on it, is: What is the exact physical meaning of the central extension with a certain generator M of the Lie algebra of the Schr¨odingergroup? It has something to do with mass, but what does it mean exactly? Similar questions are about the physical meaning of subgoups of the Lorenz group and very spe- cial relativity and about examples of nonrelativistic physical systems and systems with Lifshitz symmetry. In this thesis we first will descibe what symmetry exactly is. Then we will consider continuous symmetries: what are they and how to describe them mathematically? This will bring us to the important concepts of topological group, Lie group and Lie algebra. Further we want to describe Noether's theorem about the relation between symmetry and conser- vation laws. As an important physical example of a system with continuous symmetry, we will derive the maximal symmetry group of a free nonrelativistic point particle, which will be found to be the Schr¨odingergroup.
    [Show full text]
  • Mathematics Via Symmetry
    Mathematics via Symmetry Noson S. Yanofsky∗ Mark Zelcery June 17, 2013 Abstract We state the defining characteristic of mathematics as a type of symmetry where one can change the connotation of a mathematical statement in a certain way when the statement's truth value remains the same. This view of mathematics as satisfying such symmetry places mathematics as comparable with modern views of physics and science where, over the past century, symmetry also plays a defining role. We explore the very nature of mathematics and its relationship with natural science from this perspective. This point of view helps clarify some standard problems in the philosophy of mathematics. 1 Introduction For1 a number of years philosophers of science have been making use of symme- try and arguments that emerge from considerations of symmetry to understand how science works and to explicate fundamental concepts in physical theories. Most related philosophical questions deal with specific symmetries, objectivity, interpreting limits on physical theories, classification, and laws of nature (see [BC03] for examples of each). In this essay we argue that symmetry also lies at the heart of the nature of mathematics. The recent history of the philosophy of mathematics is largely focused on grasping and defining the nature and essence of mathematics and its objects. Attempts to do this include explicating versions of: mathematics is just logic, ∗Department of Computer and Information Science, Brooklyn College, CUNY, Brooklyn, N.Y. 11210 and the Computer Science Department of the Graduate Center, CUNY, New York, N.Y. 10016. e-mail: [email protected] ye-mail: [email protected] 1We wish to thank our friend and mentor Distinguished Professor Rohit Parikh for helpful conversations and for much warm encouragement.
    [Show full text]
  • P528 Notes #3: Symmetries 1 Symmetries In
    P528 Notes #3: Symmetries David Morrissey January 31, 2019 Symmetries play a central role in modern particle physics. Insofar as we believe that elementary particles can be described by QFT (and the evidence so far points in this direction), our role as theoretical and experimental particle physicists is to figure out the Lagrangian of our world. In particular, we must specify a set of fields and their interactions. Once we have a candidate Lagrangian, we can compute the dynamics of the theory and compare to experiment. Symmetries make the task of figuring out the Lagrangian much easier because they strongly constrain the set of possible fields and interactions. They are also enormously useful in computing the dynamics because they relate different sets of solutions to the system. In this note, we will first describe how symmetries are dealt with in QFT. Next, we will generalize the notion of symmetries to gauge invariance as it applies to QED. And finally, we will give some formal details of the mathematical description of symmetries that will be useful later on. 1 Symmetries in QFT Let us begin with the treatment of symmetries in QFT. We will show that if a system has a continuous symmetry, there is a related conservation law. Before getting to this key result, called Noether’s theorem, we will start with a few examples. e.g. 1. Discrete scalar field symmetry 1 1 λ L = (∂φ)2 m2φ2 φ4 . 2 − 2 − 4! This theory is symmetric under φ φ in that the form of the Lagrangian stays the same after the transformation.
    [Show full text]