Skip to main content

2020 | OriginalPaper | Buchkapitel

The Lie Algebra of Vector Fields Package with Applications to Mappings of Differential Equations

verfasst von : Zahra Mohammadi, Gregory J. Reid, S.-L. Tracy Huang

Erschienen in: Maple in Mathematics Education and Research

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Lie symmetry groups of transformations (mappings) of differential equations leave them invariant, and are most conveniently studied through their Lie algebra of vector fields (essentially the linearization of the mappings around the identity transformation). Maple makes powerful and frequent use of such Lie algebras, mostly through routines that are dependent on Maple’s powerful exact integration routines, that essentially automate traditional hand-calculation strategies. However these routines are usually heuristic, and algorithmic approaches require a deeper integration of differential elimination (differential algebraic) approaches in applications to differential equations. This is the underlying motivation of the LieAlgebrasOfVectorFields (LAVF) package of Huang and Lisle. The LAVF package introduces a powerful algorithmic calculus for doing calculations with differential equations without the heuristics of integration to calculate efficiently many properties of such systems.
We use LAVF in the development of our MapDE package, which determines the existence of analytic invertible mappings of an input DE to target DE. Theory, algorithms, and examples of MapDE can be found in [5, 6]. Here we present a brief summary, through examples, of the application of LAVF to MapDE.

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!

Literatur
2.
Zurück zum Zitat Huang, S.L.: Properties of lie algebras of vector fields from lie determining system. Ph.D. thesis, University of Canberra (2015) Huang, S.L.: Properties of lie algebras of vector fields from lie determining system. Ph.D. thesis, University of Canberra (2015)
3.
Zurück zum Zitat Lisle, I.G., Huang, S.-L.T: Algorithmic calculus for Lie determining systems. J. Symbolic Comput. 79(part 2), 482–498 (2017)MathSciNetCrossRef Lisle, I.G., Huang, S.-L.T: Algorithmic calculus for Lie determining systems. J. Symbolic Comput. 79(part 2), 482–498 (2017)MathSciNetCrossRef
4.
Zurück zum Zitat Lyakhov, D., Gerdt, V., Michels, D.: Algorithmic verification of linearizability for ordinary differential equations. In: Proceedings ISSAC 2017, pp. 285–292. ACM (2017) Lyakhov, D., Gerdt, V., Michels, D.: Algorithmic verification of linearizability for ordinary differential equations. In: Proceedings ISSAC 2017, pp. 285–292. ACM (2017)
5.
Zurück zum Zitat Mohammadi, Z., Reid, G., Huang, S.-L.T.: Introduction of the MapDE algorithm for determination of mappings relating differential equations. arXiv:1903.02180v1 [math.AP] (2019). To appear in Proceedings of ISSAC 2019. ACM Mohammadi, Z., Reid, G., Huang, S.-L.T.: Introduction of the MapDE algorithm for determination of mappings relating differential equations. arXiv:​1903.​02180v1 [math.AP] (2019). To appear in Proceedings of ISSAC 2019. ACM
6.
Zurück zum Zitat Mohammadi, Z., Reid, G., Huang, S.-L.T.: Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE. Submitted to Mathematics of Computer Science (Revision requested 15 May 2019) Mohammadi, Z., Reid, G., Huang, S.-L.T.: Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE. Submitted to Mathematics of Computer Science (Revision requested 15 May 2019)
Metadaten
Titel
The Lie Algebra of Vector Fields Package with Applications to Mappings of Differential Equations
verfasst von
Zahra Mohammadi
Gregory J. Reid
S.-L. Tracy Huang
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-41258-6_27

Premium Partner