DOCSLIB.ORG

The Structure of Differential Invariant Algebras of Lie Groups and Lie

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Structure of Differential Invariant Algebras of Lie Groups and Lie The Structure of Di®erential Invariant Algebras of Lie Groups and Lie Pseudo{Groups Peter J. Olver University of Minnesota http://www.math.umn.edu/ » olver =) Juha Pohjanpelto Jeongoo Cheh à 0 Sur la th¶eorie, si importante sans doute, mais pour nous si obscure, des ¿groupes de Lie in¯nis, nous ne savons rien que ce qui trouve dans les m¶emoires de Cartan, premiere exploration a travers une jungle presque imp¶en¶etrable; mais celle-ci menace de se refermer sur les sentiers d¶eja trac¶es, si l'on ne procede bient^ot a un indispensable travail de d¶efrichement. | Andr¶e Weil, 1947 à 1 Pseudo-groups in Action ² Lie | Medolaghi | Vessiot ² Cartan : : : Guillemin, Sternberg ² Kuranishi, Spencer, Goldschmidt, Kumpera, : : : ² Relativity ² Noether's Second Theorem ² Gauge theory and ¯eld theories Maxwell, Yang{Mills, conformal, string, : : : ² Fluid Mechanics, Metereology Euler, Navier{Stokes, boundary layer, quasi-geostropic , : : : ² Linear and linearizable PDEs ² Solitons (in 2 + 1 dimensions) K{P, Davey-Stewartson, : : : ² Image processing ² Numerical methods | geometric integration ² Kac{Moody symmetry algebras ² Lie groups! à 2 What's New? Direct constructive algorithms for: ² Invariant Maurer{Cartan forms ² Structure equations ² Moving frames ² Di®erential invariants ² Invariant di®erential operators ² Constructive Basis Theorem ² Syzygies and recurrence formulae ² GrÄobner basis constructions ² Further applications =) Symmetry groups of di®erential equations =) Vessiot group splitting =) Gauge theories =) Calculus of variations à 3 Di®erential Invariants G | transformation group acting on p-dimensional submani- folds N = fu = f(x)g ½ M G(n) | prolonged action on the submanifold jet space Jn = Jn(M; p) Di®erential invariant I : Jn ! R I(g(n) ¢ (x; u(n))) = I(x; u(n)) =) curvature, torsion, : : : Invariant di®erential operators: D1; : : : ; Dp =) arc length derivative ? ? I(G) | the algebra of di®erential invariants ? ? à 4 The Basis Theorem Theorem. The di®erential invariant algebra I(G) is gener- ated by a ¯nite number of di®erential invariants I1; : : : ; I`, meaning that every di®erential invariant can be locally expressed as a function of the generating invariants and their invariant derivatives: DJ I· = Dj1Dj2 ¢ ¢ ¢ DjnI·: =) Tresse, Kumpera } } functional independence } } ? ? Constructive Version ? ? =) Computational algebra & GrÄobner bases à 5 The Algebra of Di®erential Invariants Key Issues: ² Minimal basis of generating invariants: I1; : : : ; I` ² Commutation formulae for the invariant di®erential operators: p i [ Dj; Dk ] = Aj;k Di iX=1 =) Non-commutative di®erential algebra ² Syzygies (functional relations) among the di®erentiated invariants: ©( : : : DJ I· : : : ) ´ 0 =) Gauss{Codazzi relations Applications: ² Equivalence and signatures of submanifolds and characteri- zation of moduli spaces ² Computation of invariant variational problems: L( : : : DJ I· : : : ) d! Z ² Group splitting of PDEs à 6 Basic Themes ² The structure of a (connected) pseudo-group is ¯xed by its Lie algebra of in¯nitesimal generators: g ² The in¯nitesimal generators satisfy an overdetermined system of linear partial di®erential equations | the determining equations: F = 0 ² The basic structure of an overdetermined system of PDEs is ¯xed by the algebraic structure of its symbol module: I ² The structure of the di®erential invariant algebra I(G) is ¯xed by the prolonged in¯nitesimal generators: g(1) ² These satisfy an overdetermined system of partial di®er- ential equations | the prolonged determining equa- tions: H = 0 ² The basic structure of the prolonged determining equa- tions is ¯xed by the algebraic structure of its prolonged symbol module: J à 7 Jets and Prolongation Jet = Taylor polynomial/series (Ehresmann) th jnv | n order jet of a vector ¯eld Jn = Jn(M; p) | jets of p-dimensional submanifolds N ½ M v(n) | prolonged vector ¯eld on Jn The prolongation map takes (jets of) vector ¯elds on M to vector ¯elds on the jet space Jn. (1) p : j1v 7¡! v There is an induced dual prolongation map p¤ : J ¡! I on the symbol modules, which is algebraic (at su±ciently high order). With this \algebraic prolongation" in hand, the structure of the prolonged symbol module, and hence the di®erential invariants, is algorithmically determined by the structure of the pseudo-group's symbol module. à 8 Pseudo-groups De¯nition. A pseudo-group is a collection of local di®eomorphisms ' : M ! M such that ² Identity: 1M 2 G, ² Inverses: '¡1 2 G, ² Restriction: U ½ dom ' =) ' j U 2 G, ² Composition: im ' ½ dom à =) à ± ' 2 G. De¯nition. A Lie pseudo-group G is a pseudo-group whose transformations are the solutions to an involutive system of partial di®erential equations: F (z; '(n)) = 0: ² Nonlinear determining equations =) analytic (Cartan{KÄahler) ? ? Key complication: 6 9 Abstract object G ? ? à 9 A Non-Lie Pseudo-group Acting on M = R2: X = '(x); Y = '(y) where ' 2 D(R). Ä Cannot be characterized by a system of partial di®erential equations ¢(x; y; X(n); Y (n)) = 0 Theorem. (Johnson, Itskov) Any non-Lie pseudo-group can be completed to a Lie pseudo-group with the same di®erential invariants. Completion of previous example: X = '(x); Y = Ã(y) where '; à 2 D(R). à 10 In¯nitesimal Generators g | Lie algebra of in¯nitesimal generators of the pseudo-group G z = (x; u) | local coordinates on M Vector ¯eld: m @ p @ q @ v = ³a(z) = »i + '® @za @xi @u® aX=1 iX=1 ®X=1 Vector ¯eld jet: (n) b jnv 7¡! ³ = ( : : : ³A : : : ) #A b k b b @ ³ @ ³ ³A = = @zA @za1 ¢ ¢ ¢ @zak In¯nitesimal (Linearized) Determining Equations L(z; ³(n)) = 0 (¤) Remark: If G is the symmetry group of a system of di®erential equations ¢(x; u(n)) = 0, then (¤) is the (involutive completion of) the usual Lie determining equations for the symmetry group. à 11 Symmetry Groups | Review System of di®erential equations: (n) ¢º(x; u ) = 0; º = 1; 2; : : : ; k Prolonged vector ¯eld: p @ q n @ v(n) = »i + ' ® @xi J @u® iX=1 ®X=1 #XJ=0 J where b p p ® ® ® i ® i ' J = DJ ' ¡ ui » + uJ;i » à ! iX=1 iX=1 b ® (n) (n) (n) ´ ©J (x; u ; » ; ' ) In¯nitesimal invariance: (n) v (¢º) = 0 whenever ¢ = 0: In¯nitesimal determining equations: L(x; u; »(n); '(n)) = 0 i ® i ® L( : : : ; x ; : : : ; u ; : : : ; »A; : : : ; 'A; : : : ) = 0 =) involutive completion à 12 The Korteweg{deVries equation ut + uxxx + uux = 0 Symmetry generator: @ @ @ v = ¿(t; x; u) + »(t; x; u) + '(t; x; u) @t @x @u Prolongation: @ @ @ v(3) = v + 't + 'x + ¢ ¢ ¢ + 'xxx @ut @ux @uxxx where t 2 ' = 't + ut'u ¡ ut¿t ¡ ut ¿u ¡ ux»t ¡ utux»u x 2 ' = 'x + ux'u ¡ ut¿x ¡ utux¿u ¡ ux»x ¡ ux»u xxx ' = 'xxx + 3ux'u + ¢ ¢ ¢ In¯nitesimal invariance: (3) t xxx x v (ut + uxxx + uux) = ' + ' + u ' + ux ' = 0 on solutions à 13 ut + uxxx + uux = 0 In¯nitesimal determining equations: ¿x = ¿u = »u = 't = 'x = 0 2 2 ' = »t ¡ 3 u¿t 'u = ¡ 3 ¿t = ¡ 2 »x ¿tt = ¿tx = ¿xx = ¢ ¢ ¢ = 'uu = 0 General solution: ¿ = c1 + 3c4t; » = c2 + c3t + c4x; ' = c3 ¡ 2c4u: Basis for symmetry algebra: @t; @x; t @x + @u; 3t @t + x @x ¡ 2u @u: The symmetry group GKdV is four-dimensional (x; t; u) 7¡! (¸3t + a; ¸x + ct + b; ¸¡2u + c) à 14 Moving Frames For a ¯nite-dimensional Lie group action, a moving frame is de¯ned to be a (right) equivariant map ½(n) : Jn ¡! G where ½(n)(g(n) ¢ z(n)) = ½(n)(z(n)) ¢ g¡1 Moving frames are explicitly constructed by choosing a cross-section to the group orbits, and solving the normaliza- tion equations for the group parameters. The existence of a moving frame requires that the group action be free, i.e., that there is no isotropy, or (locally) that the group orbits have the same dimension as the group itself. à 15 Moving Frames for Pseudo{Groups ² The role of the group parameters is played by the pseudo- group jet coordinates, while the group is replaced by a certain principal bundle H(n) ' Jn £ G(n) ¡! Jn. ² There are an in¯nite number of pseudo-group parameters to normalize, which are to be done order by order. (Or else use the Taylor series approach.) However, at each ¯nite order, the algebraic manipulations in the moving frame normalization procedure are identical to the ¯nite- dimensional calculus. ² Since the pseudo-group G is in¯nite-dimensional, classical freeness is impossible! Rather, a pseudo-group action is said to act freely at a jet z(n) 2 Jn if the only pseudo- group elements which ¯x z(n) are those whose n-jet coincides with the identity n-jet. Theorem. If G acts freely on Jn for n ¸ 1, then it acts freely on all Jk for k ¸ n. n? | order of freeness. à 16 Normalization Ä To construct a moving frame : I. Choose a cross-section to the pseudo-group orbits: ®· (n) uJ· = c·; · = 1; : : : ; rn = ¯ber dim G II. Solve the normalization equations ®· (n) (n) FJ· (x; u ; g ) = c· for the pseudo-group parameters g(n) = ½(n)(x; u(n)) III. Invariantization maps di®erential functions to di®erential invariants: ¶ : F (x; u(n)) 7¡! I(x; u(n)) = F ( ½(n)(x; u(n)) ¢ (x; u(n)) ) =) an algebra morphism and a projection: ¶ ± ¶ = ¶ I(x; u(n)) = ¶( I(x; u(n)) ) à 17 Invariantization A moving frame induces an invariantization process, denoted ¶, that projects functions to invariants, di®erential operators to invariant di®erential operators; di®erential forms to invari- ant di®erential forms, etc. Geometrically, the invariantization of an object is the unique invariant version that has the same cross-section values. Algebraically, invariantization amounts to replacing the group parameters in the transformed object by their moving frame formulas. à 18 Invariantization In particular, invariantization of the jet coordinates leads to a complete system of functionally independent
Load more

Recommended publications
  • A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets Khalil Ghorbal∗ Andrew Sogokon∗ Andre´ Platzer∗ November 2014 CMU-CS-14-140
    A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets Khalil Ghorbal∗ Andrew Sogokon∗ Andre´ Platzer∗ November 2014 CMU-CS-14-140 Publisher: School of Computer Science Carnegie Mellon University Pittsburgh, PA, 15213 To appear [14] in the Proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), 12-14 January 2015, Mumbai, India. This material is based upon work supported by the National Science Foundation (NSF) under NSF CA- REER Award CNS-1054246, NSF EXPEDITION CNS-0926181, NSF CNS-0931985, by DARPA under agreement number FA8750-12-2-029, as well as the Engineering and Physical Sciences Research Council (UK) under grant EP/I010335/1. The views and conclusions contained in this document are those of the authors and should not be inter- preted as representing the official policies, either expressed or implied, of any sponsoring institution or government. Keywords: algebraic invariant, deductive power, hierarchy, proof rules, differential equation, abstraction, continuous dynamics, formal verification, hybrid system Abstract This paper presents a theoretical and experimental comparison of sound proof rules for proving invariance of algebraic sets, that is, sets satisfying polynomial equalities, under the flow of poly- nomial ordinary differential equations. Problems of this nature arise in formal verification of con- tinuous and hybrid dynamical systems, where there is an increasing need for methods to expedite formal proofs. We study the trade-off between proof rule generality and practical performance and evaluate our theoretical observations on a set of heterogeneous benchmarks. The relationship between increased deductive power and running time performance of the proof rules is far from obvious; we discuss and illustrate certain classes of problems where this relationship is interesting.
    [Show full text]
  • Symmetry Transformation Groups and Differential Invariants — Eivind Schneider
    FACULTY OF SCIENCE AND TECHNOLOGY Department of Mathematics and Statistics Symmetry transformation groups and differential invariants — Eivind Schneider MAT-3900 Master’s Thesis in Mathematics November 2014 Abstract There exists a local classification of finite-dimensional Lie algebras of vector fields on C2. We lift the Lie algebras from this classification to the bundle C2 × C and compute differential invariants of these lifts. Acknowledgements I am very grateful to Boris Kruglikov for coming up with an interesting assignment and for guiding me through the work on it. I also extend my sincere gratitude to Valentin Lychagin for his help through many insightful lectures and conversations. A heartfelt thanks to you both, for sharing your knowledge and for the inspiration you give me. I would like to thank Henrik Winther for many helpful discussions. Finally, I thank my family, and especially my wife, Susann, for their support and encouragement. ii Contents 1 Introduction 1 2 Preliminaries 3 2.1 Jet spaces and prolongation of vector fields . 3 2.2 Classification of Lie algebras of vector fields in one and two dimensions . 5 2.3 Lifts . 7 2.3.1 Cohomology . 8 2.3.2 Coordinate change . 9 2.4 Differential invariants . 9 2.4.1 Determining the number of differential invariants of order k ........................... 10 2.4.2 Invariant derivations . 11 2.4.3 Tresse derivatives . 12 2.4.4 The Lie-Tresse theorem . 13 3 Warm-up: Differential invariants of lifts of Lie algebras in D(C) 15 3.1 g1 = h@xi .............................. 15 3.2 g2 = h@x; x@xi ..........................
    [Show full text]
  • The Invariant Variational Bicomplex
    Contemporary Mathematics The Invariant Variational Bicomplex Irina A. Kogan and Peter J. Olver Abstract. We establish a group-invariant version of the variational bicom- plex that is based on a general moving frame construction. The main appli- cation is an explicit group-invariant formula for the Euler-Lagrange equations of an invariant variational problem. 1. Introduction. Most modern physical theories begin by postulating a symmetry group and then formulating ¯eld equations based on a group-invariant variational principle. As ¯rst recognized by Sophus Lie, [17], every invariant variational problem can be written in terms of the di®erential invariants of the symmetry group. The associated Euler-Lagrange equations inherit the symmetry group of the variational problem, and so can also be written in terms of the di®erential invariants. Surprisingly, to date no-one has found a general group-invariant formula that enables one to directly construct the Euler-Lagrange equations from the invariant form of the variational problem. Only a few speci¯c examples, including plane curves and space curves and surfaces in Euclidean geometry, are worked out in Gri±ths, [12], and in Anderson's notes, [3], on the variational bicomplex. In this note, we summarize our recent solution to this problem; full details can be found in [16]. Our principal result is that, in all cases, the Euler-Lagrange equations have the invariant form (1) A¤E(L) ¡ B¤H(L) = 0; where E(L) is an invariantized version of the usual Euler-Lagrange expression or e e \Eulerian", while H(L) is an invariantized Hamiltonian, which in the multivariate context is,ein fact, a tensor, [20], and A¤; B¤ certain invariant di®erential operators, which we name the Euleriane and Hamiltonian operators.
    [Show full text]
  • Differential Invariant Algebras
    Differential Invariant Algebras Peter J. Olver† School of Mathematics University of Minnesota Minneapolis, MN 55455 [email protected] http://www.math.umn.edu/∼olver Abstract. The equivariant method of moving frames provides a systematic, algorith- mic procedure for determining and analyzing the structure of algebras of differential in- variants for both finite-dimensional Lie groups and infinite-dimensional Lie pseudo-groups. This paper surveys recent developments, including a few surprises and several open ques- tions. 1. Introduction. Differential invariants are the fundamental building blocks for constructing invariant differential equations and invariant variational problems, as well as determining their ex- plicit solutions and conservation laws. The equivalence, symmetry and rigidity properties of submanifolds are all governed by their differential invariants. Additional applications abound in differential geometry and relativity, classical invariant theory, computer vision, integrable systems, geometric flows, calculus of variations, geometric numerical integration, and a host of other fields of both pure and applied mathematics. † Supported in part by NSF Grant DMS 11–08894. November 16, 2018 1 Therefore, the underlying structure of the algebras‡ of differential invariants for a broad range of transformation groups becomes a topic of great importance. Until recently, though, beyond the relatively easy case of curves, i.e., functions of a single independent variable, and a few explicit calculations for individual higher dimensional examples,
    [Show full text]
  • Bulletin De La S
    BULLETIN DE LA S. M. F. GLORIA MARÍ BEFFA The theory of differential invariants and KDV hamiltonian evolutions Bulletin de la S. M. F., tome 127, no 3 (1999), p. 363-391 <http://www.numdam.org/item?id=BSMF_1999__127_3_363_0> © Bulletin de la S. M. F., 1999, tous droits réservés. L’accès aux archives de la revue « Bulletin de la S. M. F. » (http: //smf.emath.fr/Publications/Bulletin/Presentation.html) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/ conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Bull. Soc. math. France, 127, 1999, p. 363-391. THE THEORY OF DIFFERENTIAL INVARIANTS AND KDV HAMILTONIAN EVOLUTIONS BY GLORIA MARI BEFFA (*) ABSTRACT. — In this paper I prove that the second KdV Hamiltonian evolution associated to SL(n, R) can be view as the most general evolution of projective curves, invariant under the SL(n,R)-projective action on RP"'"1, provided that certain integrability conditions are satisfied. This way, I establish a very close relationship between the theory of geometrical invariance, and KdV Hamiltonian evolutions. This relationship was conjectured in [4]. RESUME. — LA THEORIE DES INVARIANTS DIFFERENTIELS ET LES EVOLUTIONS HAMILTONIENNES DE KDV. — Dans cet article, je prouve que la seconde evolution hamiltonienne de KdV, associee au groupe SL(n,R), peut etre consideree comme 1'evolution la plus generale des courbes projectives qui sont invariantes par Faction projective de SL(n, R) sur RP71"1, si une certaine condition d'integrabilite est satisfaite.
    [Show full text]
  • Point Classification of 2Nd Order Odes: Tresse Classification
    Point classification of 2nd order ODEs: Tresse classification revisited and beyond Boris Kruglikov Abstract In 1896 Tresse gave a complete description of relative differential in- variants for the pseudogroup action of point transformations on the 2nd order ODEs. The purpose of this paper is to review, in light of modern geometric approach to PDEs, this classification and also discuss the role of absolute invariants and the equivalence problem.1 Introduction Second order scalar ordinary differential equations have been the classical tar- get of investigations and source of inspiration for complicated physical models. Under contact transformations all these equations are locally equivalent, but to find such a transformation for a pair of ODEs is the same hard problem as to find a general solution, which as we know from Ricatti equations is not always possible. Most integration methods for second order ODEs are related to another pseudogroup action – point transformations, which do not act transitively on the space of all such equations. All linear 2nd order ODEs are point equivalent. S. Lie noticed that ODEs linearizable via point transformations have neces- sarily cubic nonlinearity in the first derivatives and described a general test to construct this linearization map [Lie2]. Later R. Liouville found precise condi- tions for linearization [Lio]. But it was A. Tresse who first wrote the complete set of differential invariants for general 2nd order ODEs. arXiv:0809.4653v1 [math.CA] 26 Sep 2008 The paper [Tr2] is a milestone in the geometric theory of differential equa- tions, but mostly one result (linearization of S.Lie-R.Liouville-A.Tresse) from the manuscript is used nowadays.
    [Show full text]
  • Differential Invariants of Measurements, and Their Relation to Central Moments
    entropy Article Differential Invariants of Measurements, and Their Relation to Central Moments Eivind Schneider Faculty of Science, University of Hradec Králové, Rokitanského 62, 50003 Hradec Králové, Czech Republic; [email protected] Received: 31 August 2020; Accepted: 30 September 2020; Published: 3 October 2020 Abstract: Due to the principle of minimal information gain, the measurement of points in an affine ∗ space V determines a Legendrian submanifold of V × V × R. Such Legendrian submanifolds are equipped with additional geometric structures that come from the central moments of the underlying probability distributions and are invariant under the action of the group of affine transformations on V. We investigate the action of this group of affine transformations on Legendrian submanifolds ∗ of V × V × R by giving a detailed overview of the structure of the algebra of scalar differential invariants, and we show how the scalar differential invariants can be constructed from the central moments. In the end, we view the results in the context of equilibrium thermodynamics of gases, and notice that the heat capacity is one of the differential invariants. Keywords: measurement; information gain; thermodynamics; symplectic geometry; contact geometry; central moments; differential invariants; heat capacity 1. Introduction It has been known since the work of Gibbs [1,2] that thermodynamics can be formulated in the language of contact geometry. Because the fundamental thermodynamic relation takes the form of a contact structure on an odd-dimensional manifold, closed systems in thermal equilibrium correspond to Legendrian submanifolds with respect to this contact structure. More recently, some effort has been devoted towards studying an additional metric structure in the context of thermodynamics (see for example [3,4] and references therein).
    [Show full text]
  • Introduction to Differential Invariants
    Introduction to Differential Invariants Valeriy Yumaguzhin Opava, 2005 Contents 1. Introduction 4 Chapter 1. Jet bundles 5 1. Jets 5 2. Bundles 7 3. Jet bundles 9 4. Cartan distributions 10 5. Exercises 11 Chapter 2. Lie transformations 13 1. Point transformations 13 2. Contact transformations 16 3. Lie transformations 17 4. Exercises 18 Chapter 3. Lie vector fields 19 1. Liftings of vector fields 19 2. The coordinate description of lifted vector fields 20 3. The Lie algebra of lifted vector fields 21 4. Exercises 22 Chapter 4. Lie pseudogroups 23 1. Pseudogroups 23 2. Lie algebras of pseudogroups 24 3. Exercises 25 Chapter 5. Differential invariants 27 1. Differential invariants on the jet bundles. The equivalence problem 27 2. Scalar differential invariants 28 3. Symmetries and invariants 30 4. Example 30 5. Exercises 32 Chapter 6. Classification of linear ODEs up to equivalence 33 1. Reduction to the lesser pseudogroup 33 3 4 CONTENTS 2. The natural bundle of linear ODEs 34 3. Differential invariants of linear ODEs 35 4. The equivalence problem 40 5. The classification of linear ODEs 41 6. Exercises 43 Chapter 7. Differential invariants in natural bundles 45 1. Differential groups and geometric structures 45 2. Natural bundles 47 3. Formal vector fields. Spencer cohomologies 50 4. The construction of differential invariants of natural bundles 52 5. Exercises 64 Chapter 8. G-structures 65 1. Frame bundles 65 2. Geometric structures and their prolongations 67 3. G-structures and geometric structures. The equivalence problem 68 4. The integrability problem 69 5. Structure functions of G-structures and their prolongations 70 6.
    [Show full text]
  • Modern Developments in the Theory and Applications of Moving Frames
    London Mathematical Society Impact150 Stories 1 (2015) 14{50 C 2015 Author(s) doi:10.1112/l150lms/l.0001 e Modern Developments in the Theory and Applications of Moving Frames Peter J. Olver Abstract This article surveys recent advances in the equivariant approach to the method of moving frames, concentrating on finite-dimensional Lie group actions. A sampling from the many current applications | to geometry, invariant theory, and image processing | will be presented. 1. Introduction. According to Akivis, [2], the method of rep`eresmobiles, which was translated into English as moving framesy, can be traced back to the moving trihedrons introduced by the Estonian mathematician Martin Bartels (1769{1836), a teacher of both Gauß and Lobachevsky. The apotheosis of the classical development can be found in the seminal advances of Elie´ Cartan, [25, 26], who forged earlier contributions by Frenet, Serret, Darboux, Cotton, and others into a powerful tool for analyzing the geometric properties of submanifolds and their invariants under the action of transformation groups. An excellent English language treatment of the Cartan approach can be found in the book by Guggenheimer, [49]. The 1970's saw the first attempts, cf. [29, 45, 46, 64], to place Cartan's constructions on a firm theoretical foundation. However, the method remained constrained within classical geometries and homogeneous spaces, e.g. Euclidean, equi-affine, or projective, [35]. In the late 1990's, I began to investigate how moving frames and all their remarkable consequences might be adapted to more general, non-geometrically-based group actions that arise in a broad range of applications.
    [Show full text]
  • Selected Topic S in the Geometrica L Study of Differentia L Equations
    Selected Topic s in the Geometrica l Study o f Differentia l Equations In fron t o f the Founder s Librar y From lef t t o right: crouching : Gloria Mari-Beffa , Pete r Olver , Thierry Robart , Nik y Kamran; stand - ing (fron t row) : Pete r Hydon , Barbar a Shipman , Irin a Kogan , Evelyn e Hubert , Mik e Lacorte , Mohammad Mahmood , Da n Grossman , Pau l Kainen , Elizabet h Mansfield , Sylvi e Desjardins , Maya Chhetri , Joshu a Leslie , Debr a Lewis , Gabrie l Ayine , Zhoud e Shao , Jin g Pin g Wang , Mingxiang Chen , Ami r Maleki ; standin g (bac k row): Stephen Shipman , Mar k Fels , Rafael Heredero , Enrique Reyes , Stanle y Einstein-Matthews , Andr e Wehner , Vladimi r Itskov , Pete r Clarkson , Jeffrey Morton , Austi n Roche , Pete r va n de r Kamp , Al i Ayari, Rober t Milson , Matthe w Biesecker , Clement Lutterodt . http://dx.doi.org/10.1090/cbms/096 Conference Boar d o f the Mathematical Science s CBMS Regional Conference Series in Mathematics Number 9 6 Selected Topic s in the Geometrica l Study o f Differentia l Equations Niky Kamran Published fo r th e Conference Boar d of the Mathematica l Science s by the American Mathematica l Societ y * fkL'' ^ Providence, Rhod e Islan d with support fro m th e National Science Foundatio n CBMS Conferenc e o n the Geometrica l Stud y o f Differentia l Equation s hel d a t Howar d University, Washington , D.C . June 20-25 , 200 0 Partially supporte d b y th e National Scienc e Foundatio n 2000 Mathematics Subject Classification.
    [Show full text]
  • Lie Symmetry Group Methods for Differential Equations
    Lie symmetry group methods for differential equations F. G¨ung¨or∗1 1Department of Mathematics, Faculty of Science and Letters, Istanbul Technical University, 34469 Istanbul, Turkey Abstract Fundamentals on Lie group methods and applications to differ- ential equations are surveyed. Numerous examples are included to elucidate their extensive applicability for analytically solving both or- dinary and partial differential equations. arXiv:1901.01543v8 [math.CA] 1 Jun 2021 ∗[email protected] 1 Contents 1 Vector fields and integral curves 4 2 Differential equations and their symmetry group 7 3 Differential invariants 18 3.1 Invariant differentiation . 19 4 Reduction of order for ordinary differential equations 24 4.1 Group classification problem . 50 5 Group-invariant solutions 57 5.1 Linearization by symmetry structure . 81 5.2 Lie’s Linearization Theorem . 88 5.3 Concludingremarks........................ 90 2 Introduction This paper reviews a treatment of differential equations using methods from Lie group theory. Symmetry group methods are amongst the most pow- erful universal tools for the study of differential equations. There has been rapid progress on these methods over the last few decades. Methods and algo- rithms for classifying subalgebras of Lie algebras, new results on the structure and classification of abstract finite and infinite dimensional Lie algebras [48] and methods for solving group classification problems for differential equa- tions greatly facilitated to systematically obtain exact analytic solutions by quadratures to ordinary differential
    [Show full text]
  • Differential Invariant Algebras of Lie Pseudo–Groups
    Differential Invariant Algebras of Lie Pseudo–Groups Peter J. Olver† Juha Pohjanpelto‡ School of Mathematics Department of Mathematics University of Minnesota Oregon State University Minneapolis, MN 55455 Corvallis, OR 97331 [email protected] [email protected] http://www.math.umn.edu/∼olver http://oregonstate.edu/∼pohjanpp Abstract. The aim of this paper is to describe, in as much detail as possible and constructively, the structure of the algebra of differential invariants of a Lie pseudo-group acting on the submanifolds of an analytic manifold. Under the assumption of local freeness of a suitably high order prolongation of the pseudo-group action, we develop computational algorithms for locating a finite generating set of differential invariants, a complete system of recurrence relations for the differentiated invariants, and a finite system of generat- ing differential syzygies among the generating differential invariants. In particular, if the pseudo-group acts transitively on the base manifold, then the algebra of differential invari- ants is shown to form a rational differential algebra with non-commuting derivations. The essential features of the differential invariant algebra are prescribed by a pair of commutative algebraic modules: the usual symbol module associated with the infinites- imal determining system of the pseudo-group, and a new “prolonged symbol module” constructed from the symbols of the annihilators of the prolonged pseudo-group genera- tors. Modulo low order complications, the generating differential invariants and differential syzygies are in one-to-one correspondence with the algebraic generators and syzygies of an invariantized version of the prolonged symbol module. Our algorithms and proofs are all constructive, and rely on combining the moving frame approach developed in earlier papers with Gr¨obner basis algorithms from commutative algebra.
    [Show full text]