Skip to main content
Top
Published in: Applicable Algebra in Engineering, Communication and Computing 1/2019

03-05-2018 | Original Paper

Computing with D-algebraic power series

Author: Joris van der Hoeven

Published in: Applicable Algebra in Engineering, Communication and Computing | Issue 1/2019

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this paper, we will present several algorithms for computing with D-algebraic power series. Such power series are specified by one or more algebraic differential equations and a sufficient number of initial conditions. The emphasis is not on the efficient computation of coefficients of such power series (various techniques are known for that), but rather on the ability to decide whether expressions involving D-algebraic power series are zero. We will both consider univariate and multivariate series and, besides the usual ring operations and differentiation, we will also consider composition, implicitly determined power series and monomial transformations.

Dont have a licence yet? Then find out more about our products and how to get one now:

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 "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!

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!

Literature
1.
go back to reference Bostan, A., Chyzak, F., Ollivier, F., Salvy, B., Schost, É., Sedoglavic, A.: Fast computation of power series solutions of systems of differential equations. In: Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms, pp. 1012–1021, New Orleans, Louisiana, U.S.A. (2007) Bostan, A., Chyzak, F., Ollivier, F., Salvy, B., Schost, É., Sedoglavic, A.: Fast computation of power series solutions of systems of differential equations. In: Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms, pp. 1012–1021, New Orleans, Louisiana, U.S.A. (2007)
3.
go back to reference Della Dora, J., Dicrescenzo, C., Duval, D.: A new method for computing in algebraic number fields. In Goos G., Hartmanis, J., (eds.) Eurocal’85 (2), Volume 174 of Lecture Notes in Computer Science, pp. 321–326. Springer, Berlin (1985) Della Dora, J., Dicrescenzo, C., Duval, D.: A new method for computing in algebraic number fields. In Goos G., Hartmanis, J., (eds.) Eurocal’85 (2), Volume 174 of Lecture Notes in Computer Science, pp. 321–326. Springer, Berlin (1985)
6.
go back to reference Fischer, M.J., Stockmeyer, L.J.: Fast on-line integer multiplication. In: Proceedings of the 5th ACM Symposium Theory of Computing, vol. 9, pp. 67–72 (1974) Fischer, M.J., Stockmeyer, L.J.: Fast on-line integer multiplication. In: Proceedings of the 5th ACM Symposium Theory of Computing, vol. 9, pp. 67–72 (1974)
7.
go back to reference Khovanskii, A.G.: Fewnomials. Translations of Mathematical Monographs, vol. 88. American Mathematical Society, Providence (1991) Khovanskii, A.G.: Fewnomials. Translations of Mathematical Monographs, vol. 88. American Mathematical Society, Providence (1991)
8.
go back to reference Kolchin, E.R.: Differential Algebra and Algebraic Groups. Academic Press, New York (1973)MATH Kolchin, E.R.: Differential Algebra and Algebraic Groups. Academic Press, New York (1973)MATH
9.
go back to reference Péladan-Germa, A.: Tests effectifs de nullité dans des extensions d’anneaux différentiels. Ph.D. thesis, Gage, École Polytechnique, Palaiseau, France (1997) Péladan-Germa, A.: Tests effectifs de nullité dans des extensions d’anneaux différentiels. Ph.D. thesis, Gage, École Polytechnique, Palaiseau, France (1997)
10.
go back to reference Risch, R.H.: Algebraic properties of elementary functions in analysis. Am. J. Math. 4(101), 743–759 (1975)MATH Risch, R.H.: Algebraic properties of elementary functions in analysis. Am. J. Math. 4(101), 743–759 (1975)MATH
11.
12.
go back to reference Shackell, J.: A differential-equations approach to functional equivalence. In: Proceedings of the ISSAC ’89, pp. 7–10, Portland, Oregon, ACM, New York. ACM Press (1989) Shackell, J.: A differential-equations approach to functional equivalence. In: Proceedings of the ISSAC ’89, pp. 7–10, Portland, Oregon, ACM, New York. ACM Press (1989)
13.
go back to reference Shackell, J.: Zero equivalence in function fields defined by differential equations. In: Proceedings of the American Mathematical Society, vol. 336, no. 1, pp. 151–172 (1993) Shackell, J.: Zero equivalence in function fields defined by differential equations. In: Proceedings of the American Mathematical Society, vol. 336, no. 1, pp. 151–172 (1993)
14.
go back to reference van der Hoeven, J.: A new zero-test for formal power series. In: Mora T., (ed.) Proceedings of the ISSAC ’02, pp. 117–122. Lille, France (2002) van der Hoeven, J.: A new zero-test for formal power series. In: Mora T., (ed.) Proceedings of the ISSAC ’02, pp. 117–122. Lille, France (2002)
17.
go back to reference van der Hoeven, J.: Faster relaxed multiplication. In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC’14), Kobe, Japan, pp. 405–412 (2014) van der Hoeven, J.: Faster relaxed multiplication. In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC’14), Kobe, Japan, pp. 405–412 (2014)
19.
go back to reference van der Hoeven, J., Shackell, J.R.: Complexity bounds for zero-test algorithms. JSC 41, 1004–1020 (2006)MathSciNetMATH van der Hoeven, J., Shackell, J.R.: Complexity bounds for zero-test algorithms. JSC 41, 1004–1020 (2006)MathSciNetMATH
Metadata
Title
Computing with D-algebraic power series
Author
Joris van der Hoeven
Publication date
03-05-2018
Publisher
Springer Berlin Heidelberg
Published in
Applicable Algebra in Engineering, Communication and Computing / Issue 1/2019
Print ISSN: 0938-1279
Electronic ISSN: 1432-0622
DOI
https://doi.org/10.1007/s00200-018-0358-y

Premium Partner