Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Harmonic Sums, Polylogarithms,Special Numbers, and Their Generalizations Kapitel lesen Erstes Kapitel lesen

2013 | OriginalPaper | Buchkapitel

Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

verfasst von : Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann

Erschienen in: Computer Algebra in Quantum Field Theory

Verlag: Springer Vienna

Einloggen

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

search-config
loading …

Abstract

We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear in the famous Handbook of Mathematical Functions, as well as in its successor, the DLMF, but their proofs were lost. We use generating functions and symbolic summation techniques to produce new proofs for them.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Multiple Zeta Values and Modular Forms in Quantum Field Theory
Nächstes Kapitel Conformal Methods for Massless Feynman Integrals and Large N f Methods
Fußnoten
1
Finally Chap. 10 Bessel Functions.
 
Literatur
1.
Ablinger, J., Blümlein, J., Round, M., Schneider, C.: Advanced Computer Algebra Algorithms for the Expansion of Feynman Integrals. In: Loops and Legs in Quantum Field Theory 2012, PoS(2012), Wernigerode, pp. 1–14 (2012)
2.
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions. Dover, New York (1973). A reprint of the tenth National Bureau of Standards edition, 1964
3.
Andrews, G.E., Paule, P., Schneider, C.: Plane partitions VI: Stembridge’s TSPP theorem. Adv. Appl. Math. 34(4), 709–739 (2005). (Special Issue Dedicated to Dr. David P. Robbins. Edited by D. Bressoud)MathSciNetCrossRefMATH
4.
Chyzak, F.: An extension of Zeilberger’s fast algorithm to general holonomic functions. Discrete Math. 217, 115–134 (2000)MathSciNetCrossRefMATH
5.
Gerhold, S.: Uncoupling systems of linear Ore operator equations. Master’s thesis, RISC, J. Kepler University, Linz (2002)
6.
Gerhold, S.: The Hartman-Watson distribution revisited: asymptotics for pricing Asian options. J. Appl. Probab. 48(3), 892–899 (2011)MathSciNetCrossRefMATH
7.
Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics, 2nd edn. Addison Wesley, Reading (1994)MATH
8.
Ince, E.L.: Ordinary Differential Equations. Dover, New York (1926)
9.
Kauers, M.: The holonomic toolkit. In: Blümlein, J., Schneider, C. (eds.) Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions. Texts and Monographs in Symbolic Computation. Springer, Vienna (2013)
10.
11.
Koutschan, C.: Advanced applications of the holonomic systems approach. PhD thesis, RISC, J. Kepler University, Linz (2009)
12.
Koutschan, C., Moll, V.H.: The integrals in Gradshteyn and Ryzhik. Part 18: some automatic proofs. SCIENTIA Ser. A Math. Sci. 20, 93–111 (2011)
13.
Mallinger, C.: Algorithmic manipulations and transformations of univariate holonomic functions and sequences. Master’s thesis, RISC, J. Kepler University, Linz (1996)
14.
Meunier, L., Salvy, B.: ESF: an automatically generated encyclopedia of special functions. In: Rafael Sendra, J. (ed.) Proceedings of the ISSAC’03, Philadelphia, pp. 199–206. ACM (2003)
15.
16.
Paule, P., Schorn, M.: A mathematica version of Zeilberger’s algorithm for proving binomial coefficient identities. J. Symb. Comput. 20(5–6), 673–698 (1995)MathSciNetCrossRefMATH
17.
Prause, K.: The generalized hyperbolic model: estimation, financial derivatives, and risk measures. PhD thesis, Albert-Ludwigs-Universität, Freiburg i. Br. (1999)MATH
18.
Salvy, B., Zimmermann, P.: Gfun: a package for the manipulation of generating and holonomic functions in one variable. ACM Trans. Math. Softw. 20, 163–177 (1994)CrossRefMATH
19.
Schneider, C.: A new Sigma approach to multi-summation. Adv. Appl. Math. 34(4), 740–767 (2005). (Special Issue Dedicated to Dr. David P. Robbins. Edited by D. Bressoud)CrossRefMATH
20.
Schneider, C.: Symbolic summation assists combinatorics. Sém. Lothar. Comb. 56, 1–36, (2007). (Article B56b)
21.
Szegö, G.: Orthogonal Polynomials. Volume XXIII of Colloquium Publications, 4th edn. AMS, Providence (1975)MATH
22.
Metadaten
Titel
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
verfasst von
Stefan Gerhold
Manuel Kauers
Christoph Koutschan
Peter Paule
Carsten Schneider
Burkhard Zimmermann
Copyright-Jahr
2013
Verlag
Springer Vienna
Buch
Computer Algebra in Quantum Field Theory

Print ISBN: 978-3-7091-1615-9

Electronic ISBN: 978-3-7091-1616-6

Copyright-Jahr: 2013

DOI
https://doi.org/10.1007/978-3-7091-1616-6_3