Skip to main content

2018 | OriginalPaper | Buchkapitel

85. Sumudu Transform for Automatic Mathematical Proof and Identity Generation

verfasst von : Jun Zhang, Fangyang Shen

Erschienen in: Information Technology - New Generations

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Laplace Transform is among a few of these transforms playing important roles in pure and applied mathematics. Sumudu Transform is relatively new but has many good properties for solving problems in computational science. In this work, the authors introduce Sumudu Transform in computational approach which leads to various interesting and useful applications. Traditionally, the invention of mathematical formulae and proof of mathematical identities belong to the intelligent human beings. But in this work, we shall show that Sumudu Transform can be used to prove existing formulae and generate new mathematical identities automatically without embellishment. To show how it works, a good number of sample formulae and identities are provided for demonstration, including some famous ones such as Euler’s Formula, de Moivre’s Identity and Pythagorean Identity. Not only the work presented here is straightforward to introduce to students but also can be useful to assist new research works related to computational applications!

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
1.
Zurück zum Zitat Zhang, J. (2008). Sumudu transform based coefficients calculation. Nonlinear Studies, 15(4), 355–372.MathSciNetMATH Zhang, J. (2008). Sumudu transform based coefficients calculation. Nonlinear Studies, 15(4), 355–372.MathSciNetMATH
2.
Zurück zum Zitat Belgacem, F. B. M. (2006). Introducing and analysing deeper Sumudu properties. Nonlinear Studies, 13(1), 23–41.MathSciNetMATH Belgacem, F. B. M. (2006). Introducing and analysing deeper Sumudu properties. Nonlinear Studies, 13(1), 23–41.MathSciNetMATH
3.
Zurück zum Zitat Kiligman, A., & Altun, O. (2014). Some remarks on the fractional Sumudu transform and applications. Applied Mathematics and Information Sciences, 8(6), 2881–2888.MathSciNetCrossRef Kiligman, A., & Altun, O. (2014). Some remarks on the fractional Sumudu transform and applications. Applied Mathematics and Information Sciences, 8(6), 2881–2888.MathSciNetCrossRef
4.
Zurück zum Zitat Zhang, J., Shen, F., & Liu, C. (2016) A computational approach to introduce Sumudu Transform to students. In The Proceedings of the 12th International Conference on Frontiers in Education: Computer Science and Computer Engineering, Las Vegas. Zhang, J., Shen, F., & Liu, C. (2016) A computational approach to introduce Sumudu Transform to students. In The Proceedings of the 12th International Conference on Frontiers in Education: Computer Science and Computer Engineering, Las Vegas.
5.
Zurück zum Zitat Zhang, J. (2007). A Sumudu based algorithm for solving differential equations. Computer Science Journal of Moldova, 153(45), 303–313. Zhang, J. (2007). A Sumudu based algorithm for solving differential equations. Computer Science Journal of Moldova, 153(45), 303–313.
6.
Zurück zum Zitat Widder, D. V. (1971). An introduction to transform theory. New York: Academic Press.MATH Widder, D. V. (1971). An introduction to transform theory. New York: Academic Press.MATH
7.
Zurück zum Zitat Petkovsek, M., Wilf, H. S., & Zeilberger, D. (1996). A = B. A K Peters, Ltd.MATH Petkovsek, M., Wilf, H. S., & Zeilberger, D. (1996). A = B. A K Peters, Ltd.MATH
8.
Zurück zum Zitat Ravenscroft, R. A. (1994). Rational generating function applications. In R. Lopez (Ed.), Maple V: Mathematics and its application. Boston: Birkhaser. Ravenscroft, R. A. (1994). Rational generating function applications. In R. Lopez (Ed.), Maple V: Mathematics and its application. Boston: Birkhaser.
9.
Zurück zum Zitat Ravenscroft, R. A., & Lamagna, E. A. (1989). Symbolic summation with generating functions. In Proceedings of the International Symposium on Symbolic and Algebraic Computation (pp. 228–233). New York: Association for Computing Machinery. Ravenscroft, R. A., & Lamagna, E. A. (1989). Symbolic summation with generating functions. In Proceedings of the International Symposium on Symbolic and Algebraic Computation (pp. 228–233). New York: Association for Computing Machinery.
10.
Zurück zum Zitat Salvy, B., & Zimmermann, P. (1994). GFUN: A maple package for the Manipulation of generating and holonomic functions in one variable. ACM Transactions on Mathematical Software, 20, 163–177.CrossRefMATH Salvy, B., & Zimmermann, P. (1994). GFUN: A maple package for the Manipulation of generating and holonomic functions in one variable. ACM Transactions on Mathematical Software, 20, 163–177.CrossRefMATH
Metadaten
Titel
Sumudu Transform for Automatic Mathematical Proof and Identity Generation
verfasst von
Jun Zhang
Fangyang Shen
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-54978-1_85

Premium Partner