Skip to main content
Erschienen in: Foundations of Computational Mathematics 4/2013

01.08.2013

Discrete Moving Frames and Discrete Integrable Systems

verfasst von: Elizabeth Mansfield, Gloria Marí Beffa, Jing Ping Wang

Erschienen in: Foundations of Computational Mathematics | Ausgabe 4/2013

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Group-based moving frames have a wide range of applications, from the classical equivalence problems in differential geometry to more modern applications such as computer vision. Here we describe what we call a discrete group-based moving frame, which is essentially a sequence of moving frames with overlapping domains. We demonstrate a small set of generators of the algebra of invariants, which we call the discrete Maurer–Cartan invariants, for which there are recursion formulas. We show that this offers significant computational advantages over a single moving frame for our study of discrete integrable systems. We demonstrate that the discrete analogues of some curvature flows lead naturally to Hamiltonian pairs, which generate integrable differential-difference systems. In particular, we show that in the centro-affine plane and the projective space, the Hamiltonian pairs obtained can be transformed into the known Hamiltonian pairs for the Toda and modified Volterra lattices, respectively, under Miura transformations. We also show that a specified invariant map of polygons in the centro-affine plane can be transformed to the integrable discretization of the Toda Lattice. Moreover, we describe in detail the case of discrete flows in the homogeneous 2-sphere and we obtain realizations of equations of Volterra type as evolutions of polygons on the sphere.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
A sequence of moving frames was also used in [22] to minimize the accumulation of errors in an invariant numerical method.
 
2
In the literature the invariantization of a component z i is sometimes denoted as I(z i ), ι(z i ) or \(\bar{\iota}(z_{i})\); here we use I i (z).
 
3
We calculate the left Maurer–Cartan matrix for the left frame ρ −1 as the calculations are simpler.
 
4
Given a manifold M and a map F:MM, one standard coordinate free definition of the tangent map TF(z):T z MT F(z) M is as follows. If a path γ(t)⊂M satisfies γ(0)=z and the vector vT z M=d/dt| t=0 γ(t), then TF(z)(v)=d/dt| t=0 F(γ(t)).
 
Literatur
1.
Zurück zum Zitat M. Adler, On a trace functional for formal pseudo-differential operators and the symplectic structure of the KdV, Invent. Math. 50, 219–248 (1979). MATHCrossRef M. Adler, On a trace functional for formal pseudo-differential operators and the symplectic structure of the KdV, Invent. Math. 50, 219–248 (1979). MATHCrossRef
2.
Zurück zum Zitat M. Boutin, On orbit dimensions under a simultaneous Lie group action on n copies of a manifold, J. Lie Theory 12, 191–203 (2002). MathSciNetMATH M. Boutin, On orbit dimensions under a simultaneous Lie group action on n copies of a manifold, J. Lie Theory 12, 191–203 (2002). MathSciNetMATH
3.
Zurück zum Zitat E. Cartan, Oeuvres complètes (Gauthier-Villiars, Paris, 1952–1955). E. Cartan, Oeuvres complètes (Gauthier-Villiars, Paris, 1952–1955).
4.
Zurück zum Zitat M. Chhay, A. Hamdouni, A new construction for invariant numerical schemes using moving frames, C. R. Acad. Sci. Meca. 338, 97–101 (2010). MATHCrossRef M. Chhay, A. Hamdouni, A new construction for invariant numerical schemes using moving frames, C. R. Acad. Sci. Meca. 338, 97–101 (2010). MATHCrossRef
5.
Zurück zum Zitat I. Dorfman, Dirac Structures and Integrability of Nonlinear Evolution Equations (Wiley, Chichester, 1993). I. Dorfman, Dirac Structures and Integrability of Nonlinear Evolution Equations (Wiley, Chichester, 1993).
9.
Zurück zum Zitat H. Flaschka, On the Toda lattice. II Inverse-scattering solution, Prog. Theor. Phys. 51(3), 703–716 (1974). MathSciNetCrossRef H. Flaschka, On the Toda lattice. II Inverse-scattering solution, Prog. Theor. Phys. 51(3), 703–716 (1974). MathSciNetCrossRef
11.
Zurück zum Zitat M.L. Green, The moving frame, differential invariants and rigidity theorems for curves in homogeneous spaces, Duke Math. J. 45, 735–779 (1978). MathSciNetMATHCrossRef M.L. Green, The moving frame, differential invariants and rigidity theorems for curves in homogeneous spaces, Duke Math. J. 45, 735–779 (1978). MathSciNetMATHCrossRef
12.
Zurück zum Zitat P. Griffiths, On Cartan’s methods of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry, Duke Math. J. 41, 775–814 (1974). MathSciNetMATHCrossRef P. Griffiths, On Cartan’s methods of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry, Duke Math. J. 41, 775–814 (1974). MathSciNetMATHCrossRef
13.
Zurück zum Zitat M.S. Hickman, W. Hereman, Computation of densities and fluxes of nonlinear differential-difference equations, Proc. R. Soc. A 459, 2705–2729 (2003). MathSciNetMATHCrossRef M.S. Hickman, W. Hereman, Computation of densities and fluxes of nonlinear differential-difference equations, Proc. R. Soc. A 459, 2705–2729 (2003). MathSciNetMATHCrossRef
14.
Zurück zum Zitat E. Hubert, Differential algebra for derivations with nontrivial commutation rules, J. Pure Appl. Algebra 200(1–2), 163–190 (2005). MathSciNetMATHCrossRef E. Hubert, Differential algebra for derivations with nontrivial commutation rules, J. Pure Appl. Algebra 200(1–2), 163–190 (2005). MathSciNetMATHCrossRef
15.
Zurück zum Zitat E. Hubert, Differential invariants of a Lie group action: syzygies on a generating set, J. Symb. Comput. 44(4), 382–416 (2009). MathSciNetMATHCrossRef E. Hubert, Differential invariants of a Lie group action: syzygies on a generating set, J. Symb. Comput. 44(4), 382–416 (2009). MathSciNetMATHCrossRef
16.
Zurück zum Zitat E. Hubert, Generation properties of Maurer–Cartan invariants (2009). Preprint [hal:inria-00194528/en] E. Hubert, Generation properties of Maurer–Cartan invariants (2009). Preprint [hal:inria-00194528/en]
17.
Zurück zum Zitat E. Hubert, I.A. Kogan, Smooth and algebraic invariants of a group action. Local and global constructions, Found. Comput. Math. 7(4), 345–383 (2007). MathSciNetCrossRef E. Hubert, I.A. Kogan, Smooth and algebraic invariants of a group action. Local and global constructions, Found. Comput. Math. 7(4), 345–383 (2007). MathSciNetCrossRef
18.
Zurück zum Zitat E. Hubert, I.A. Kogan, Rational invariants of a group action. Construction and rewriting, J. Symb. Comput. 42(1–2), 203–217 (2007). MathSciNetMATHCrossRef E. Hubert, I.A. Kogan, Rational invariants of a group action. Construction and rewriting, J. Symb. Comput. 42(1–2), 203–217 (2007). MathSciNetMATHCrossRef
19.
20.
Zurück zum Zitat M. Kac, P. van Moerbecke, On an explicitly soluble system of nonlinear differential equations related to certain Toda lattice, Adv. Math. 16, 160–169 (1975). MATHCrossRef M. Kac, P. van Moerbecke, On an explicitly soluble system of nonlinear differential equations related to certain Toda lattice, Adv. Math. 16, 160–169 (1975). MATHCrossRef
22.
Zurück zum Zitat P. Kim, Invariantization of numerical schemes using moving frames, BIT Numer. Math. 47(3), 525 (2007). MATHCrossRef P. Kim, Invariantization of numerical schemes using moving frames, BIT Numer. Math. 47(3), 525 (2007). MATHCrossRef
23.
Zurück zum Zitat P. Kim, Invariantization of the Crank-Nicolson method for burgers’ equation, Physica D: Nonlinear Phenom. 237(2), 243 (2008). MATHCrossRef P. Kim, Invariantization of the Crank-Nicolson method for burgers’ equation, Physica D: Nonlinear Phenom. 237(2), 243 (2008). MATHCrossRef
24.
Zurück zum Zitat I.A. Kogan, P.J. Olver, Invariant Euler-Lagrange equations and the invariant variational bicomplex, Acta Appl. Math. 76, 137–193 (2003). MathSciNetMATHCrossRef I.A. Kogan, P.J. Olver, Invariant Euler-Lagrange equations and the invariant variational bicomplex, Acta Appl. Math. 76, 137–193 (2003). MathSciNetMATHCrossRef
25.
Zurück zum Zitat B.A. Kupershmidt, Discrete Lax Equations and Differential-Difference Calculus (Asterisque, 1985) B.A. Kupershmidt, Discrete Lax Equations and Differential-Difference Calculus (Asterisque, 1985)
26.
Zurück zum Zitat S.V. Manakov, Complete integrability and stochastization in discrete dynamical systems, Sov. Phys. JETP 40, 269–274 (1975). MathSciNet S.V. Manakov, Complete integrability and stochastization in discrete dynamical systems, Sov. Phys. JETP 40, 269–274 (1975). MathSciNet
27.
Zurück zum Zitat E.L. Mansfield, A Practical Guide to the Invariant Calculus (Cambridge University Press, Cambridge, 2010). MATHCrossRef E.L. Mansfield, A Practical Guide to the Invariant Calculus (Cambridge University Press, Cambridge, 2010). MATHCrossRef
28.
Zurück zum Zitat E.L. Mansfield, P.E. Hydon, Towards approximations of difference equations that preserve integrals, in Proc. 2001 International Symposium on Symbolic and Algebraic Manipulation (ISSAC, 2001), ed. by B. Mourrain (ACM, New York, 2001), pp. 217–222. CrossRef E.L. Mansfield, P.E. Hydon, Towards approximations of difference equations that preserve integrals, in Proc. 2001 International Symposium on Symbolic and Algebraic Manipulation (ISSAC, 2001), ed. by B. Mourrain (ACM, New York, 2001), pp. 217–222. CrossRef
29.
Zurück zum Zitat E.L. Mansfield, P. van der Kamp, Evolution of curvature invariants and lifting integrability, J. Geom. Phys. 56, 1294–1325 (2006). MathSciNetMATHCrossRef E.L. Mansfield, P. van der Kamp, Evolution of curvature invariants and lifting integrability, J. Geom. Phys. 56, 1294–1325 (2006). MathSciNetMATHCrossRef
30.
Zurück zum Zitat G. Marí Beffa, Geometric Hamiltonian structures on flat semisimple homogeneous manifolds, Asian J. Math. 12(1), 1–33 (2008). MathSciNetMATH G. Marí Beffa, Geometric Hamiltonian structures on flat semisimple homogeneous manifolds, Asian J. Math. 12(1), 1–33 (2008). MathSciNetMATH
31.
Zurück zum Zitat G. Marí Beffa, Poisson geometry of differential invariants of curves in some nonsemisimple homogenous spaces, Proc. Am. Math. Soc. 134, 779–791 (2006). MATHCrossRef G. Marí Beffa, Poisson geometry of differential invariants of curves in some nonsemisimple homogenous spaces, Proc. Am. Math. Soc. 134, 779–791 (2006). MATHCrossRef
32.
Zurück zum Zitat G. Marí Beffa, On bi-Hamiltonian flows and their realizations as curves in real semisimple homogeneous manifolds, Pac. J. Math. 247(1), 163–188 (2010). MATHCrossRef G. Marí Beffa, On bi-Hamiltonian flows and their realizations as curves in real semisimple homogeneous manifolds, Pac. J. Math. 247(1), 163–188 (2010). MATHCrossRef
34.
Zurück zum Zitat P.J. Olver, Moving frames—in geometry, algebra, computer vision, and numerical analysis, in Foundations of Computational Mathematics, ed. by R. DeVore, A. Iserles, E. Suli. London Math. Soc. Lecture Note Series, vol. 284 (Cambridge University Press, Cambridge, 2001), pp. 267–297. CrossRef P.J. Olver, Moving frames—in geometry, algebra, computer vision, and numerical analysis, in Foundations of Computational Mathematics, ed. by R. DeVore, A. Iserles, E. Suli. London Math. Soc. Lecture Note Series, vol. 284 (Cambridge University Press, Cambridge, 2001), pp. 267–297. CrossRef
35.
Zurück zum Zitat V. Ovsienko, R. Schwartz, S. Tabachnikov, The pentagram map: a discrete integrable system, Commun. Math. Phys. 299(2), 409–444 (2010). MathSciNetMATHCrossRef V. Ovsienko, R. Schwartz, S. Tabachnikov, The pentagram map: a discrete integrable system, Commun. Math. Phys. 299(2), 409–444 (2010). MathSciNetMATHCrossRef
36.
Zurück zum Zitat Y.B. Suris, The Problem of Integrable Discretization: Hamiltonian Approach. Progress in Mathematics, vol. 219 (Birkhäuser, Basel, 2003). CrossRef Y.B. Suris, The Problem of Integrable Discretization: Hamiltonian Approach. Progress in Mathematics, vol. 219 (Birkhäuser, Basel, 2003). CrossRef
37.
Zurück zum Zitat M. Toda, Theory of Nonlinear Lattice. Springer Series in Solid-State Sciences, vol. 20 (Springer, Berlin, 1989). CrossRef M. Toda, Theory of Nonlinear Lattice. Springer Series in Solid-State Sciences, vol. 20 (Springer, Berlin, 1989). CrossRef
38.
39.
Zurück zum Zitat R.I. Yamilov, Symmetries as integrability criteria for differential difference equations, J. Phys. A, Math. Gen. 39, R541–R623 (2006). MathSciNetMATHCrossRef R.I. Yamilov, Symmetries as integrability criteria for differential difference equations, J. Phys. A, Math. Gen. 39, R541–R623 (2006). MathSciNetMATHCrossRef
40.
Zurück zum Zitat H. Zhang, G.-Z. Tu, W. Oevel, B. Fuchssteiner, Symmetries, conserved quantities, and hierarchies for some lattice systems with soliton structure, J. Math. Phys. 32(7), 1908–1918 (1991). MathSciNetMATHCrossRef H. Zhang, G.-Z. Tu, W. Oevel, B. Fuchssteiner, Symmetries, conserved quantities, and hierarchies for some lattice systems with soliton structure, J. Math. Phys. 32(7), 1908–1918 (1991). MathSciNetMATHCrossRef
Metadaten
Titel
Discrete Moving Frames and Discrete Integrable Systems
verfasst von
Elizabeth Mansfield
Gloria Marí Beffa
Jing Ping Wang
Publikationsdatum
01.08.2013
Verlag
Springer US
Erschienen in
Foundations of Computational Mathematics / Ausgabe 4/2013
Print ISSN: 1615-3375
Elektronische ISSN: 1615-3383
DOI
https://doi.org/10.1007/s10208-013-9153-0

Weitere Artikel der Ausgabe 4/2013

Foundations of Computational Mathematics 4/2013 Zur Ausgabe

EditorialNotes

Foreword