Skip to main content
Erschienen in: Foundations of Computational Mathematics 2/2018

16.01.2018

The Differential Counting Polynomial

verfasst von: Markus Lange-Hegermann

Erschienen in: Foundations of Computational Mathematics | Ausgabe 2/2018

Einloggen

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

search-config
loading …

Abstract

The aim of this paper is a quantitative analysis of the solution set of a system of polynomial nonlinear differential equations, both in the ordinary and partial case. Therefore, we introduce the differential counting polynomial, a common generalization of the dimension polynomial and the (algebraic) counting polynomial. Under mild additional assumptions, the differential counting polynomial decides whether a given set of solutions of a system of differential equations is the complete set of solutions.

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
It implies other descriptions like Cartan characters or Einstein’s strength.
 
2
This is independent of the order in which the axioms are applied [16, Prop. 3.3].
 
Literatur
1.
Zurück zum Zitat Maple 17.00. Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario. Maple 17.00. Maplesoft, a division of Waterloo Maple Inc., Waterloo, Ontario.
2.
Zurück zum Zitat T. Bächler, V. P. Gerdt, M. Lange-Hegermann, and D. Robertz. Algorithmic Thomas decomposition of algebraic and differential systems. J. Symbolic Comput., 47(10):1233–1266, 2012. (arXiv:1108.0817). T. Bächler, V. P. Gerdt, M. Lange-Hegermann, and D. Robertz. Algorithmic Thomas decomposition of algebraic and differential systems. J. Symbolic Comput., 47(10):1233–1266, 2012. (arXiv:​1108.​0817).
3.
4.
Zurück zum Zitat E. S. Cheb-Terrab and K. von Bülow. A computational approach for the analytical solving of partial differential equations. Computer Physics Communications, 90(1):102–116, 1995.CrossRefMATH E. S. Cheb-Terrab and K. von Bülow. A computational approach for the analytical solving of partial differential equations. Computer Physics Communications, 90(1):102–116, 1995.CrossRefMATH
5.
Zurück zum Zitat J. Denef and L. Lipshitz. Power series solutions of algebraic differential equations. Math. Ann., 267(2):213–238, 1984.MathSciNetCrossRefMATH J. Denef and L. Lipshitz. Power series solutions of algebraic differential equations. Math. Ann., 267(2):213–238, 1984.MathSciNetCrossRefMATH
6.
Zurück zum Zitat O. Golubitsky, M. Kondratieva, M. Moreno Maza, and A. Ovchinnikov. A bound for the Rosenfeld-Gröbner algorithm. J. Symbolic Comput., 43(8):582–610, 2008.MathSciNetCrossRefMATH O. Golubitsky, M. Kondratieva, M. Moreno Maza, and A. Ovchinnikov. A bound for the Rosenfeld-Gröbner algorithm. J. Symbolic Comput., 43(8):582–610, 2008.MathSciNetCrossRefMATH
7.
Zurück zum Zitat E. Hubert. Factorization-free decomposition algorithms in differential algebra. J. Symbolic Comput., 29(4–5):641–662, 2000. Symbolic computation in algebra, analysis, and geometry (Berkeley, CA, 1998). E. Hubert. Factorization-free decomposition algorithms in differential algebra. J. Symbolic Comput., 29(4–5):641–662, 2000. Symbolic computation in algebra, analysis, and geometry (Berkeley, CA, 1998).
8.
Zurück zum Zitat M. Janet. Leçons sur les systèmes d’équations aux dérivées partielles. Cahiers Scientifiques IV. Gauthiers-Villars, Paris, 1929.MATH M. Janet. Leçons sur les systèmes d’équations aux dérivées partielles. Cahiers Scientifiques IV. Gauthiers-Villars, Paris, 1929.MATH
9.
Zurück zum Zitat J. Johnson. Differential dimension polynomials and a fundamental theorem on differential modules. Amer. J. Math., 91:239–248, 1969.MathSciNetCrossRefMATH J. Johnson. Differential dimension polynomials and a fundamental theorem on differential modules. Amer. J. Math., 91:239–248, 1969.MathSciNetCrossRefMATH
10.
Zurück zum Zitat E. R. Kolchin. The notion of dimension in the theory of algebraic differential equations. Bull. Amer. Math. Soc., 70:570–573, 1964.MathSciNetCrossRefMATH E. R. Kolchin. The notion of dimension in the theory of algebraic differential equations. Bull. Amer. Math. Soc., 70:570–573, 1964.MathSciNetCrossRefMATH
11.
Zurück zum Zitat E. R. Kolchin. Differential algebra and algebraic groups. Academic Press, New York, 1973. Pure and Applied Mathematics, Vol. 54. E. R. Kolchin. Differential algebra and algebraic groups. Academic Press, New York, 1973. Pure and Applied Mathematics, Vol. 54.
12.
Zurück zum Zitat M. V. Kondratieva, A. B. Levin, A. V. Mikhalev, and E. V. Pankratiev. Differential and difference dimension polynomials, volume 461 of Mathematics and its Applications. Kluwer Academic Publishers, Dordrecht, 1999. M. V. Kondratieva, A. B. Levin, A. V. Mikhalev, and E. V. Pankratiev. Differential and difference dimension polynomials, volume 461 of Mathematics and its Applications. Kluwer Academic Publishers, Dordrecht, 1999.
13.
Zurück zum Zitat M. Lange-Hegermann. The differential dimension polynomial for characterizable differential ideals. submitted, (arXiv:1401.5959). M. Lange-Hegermann. The differential dimension polynomial for characterizable differential ideals. submitted, (arXiv:​1401.​5959).
15.
Zurück zum Zitat H. Lewy. An example of a smooth linear partial differential equation without solution. Ann. of Math. (2), 66:155–158, 1957.MathSciNetCrossRefMATH H. Lewy. An example of a smooth linear partial differential equation without solution. Ann. of Math. (2), 66:155–158, 1957.MathSciNetCrossRefMATH
16.
17.
Zurück zum Zitat W. Plesken and T. Bächler. Counting polynomials for linear codes, hyperplane arrangements, and matroids. Documenta Math., 19(9):247–284, 2014.MathSciNetMATH W. Plesken and T. Bächler. Counting polynomials for linear codes, hyperplane arrangements, and matroids. Documenta Math., 19(9):247–284, 2014.MathSciNetMATH
18.
Zurück zum Zitat C. Riquier. Les systèmes d’équations aux dérivées partielles. Gauthiers-Villars, Paris, 1910.MATH C. Riquier. Les systèmes d’équations aux dérivées partielles. Gauthiers-Villars, Paris, 1910.MATH
19.
Zurück zum Zitat W. M. Seiler. Involution, volume 24 of Algorithms and Computation in Mathematics. Springer-Verlag, Berlin, 2010. The formal theory of differential equations and its applications in computer algebra. W. M. Seiler. Involution, volume 24 of Algorithms and Computation in Mathematics. Springer-Verlag, Berlin, 2010. The formal theory of differential equations and its applications in computer algebra.
Metadaten
Titel
The Differential Counting Polynomial
verfasst von
Markus Lange-Hegermann
Publikationsdatum
16.01.2018
Verlag
Springer US
Erschienen in
Foundations of Computational Mathematics / Ausgabe 2/2018
Print ISSN: 1615-3375
Elektronische ISSN: 1615-3383
DOI
https://doi.org/10.1007/s10208-018-9378-z

Weitere Artikel der Ausgabe 2/2018

Foundations of Computational Mathematics 2/2018 Zur Ausgabe

Premium Partner