Skip to main content

Constructions of Free Commutative Integro-Differential Algebras

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8372))

Abstract

In this survey, we outline two recent constructions of free commutative integro-differential algebras. They are based on the construction of free commutative Rota-Baxter algebras by mixable shuffles. The first is by evaluations. The second is by the method of Gröbner-Shirshov bases.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Albrecher, H., Constantinescu, C., Pirsic, G., Regensburger, G., Rosenkranz, M.: An algebraic operator approach to the analysis of Gerber-Shiu functions. Insurance Math. Econom. 46, 42–51 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  2. Albrecher, H., Constantinescu, C., Palmowski, Z., Regensburger, G., Rosenkranz, M.: Exact and asymptotic results for insurance risk models with surplus-dependent premiums. SIAM J. Appl. Math. 73, 47–66 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge U.P., Cambridge (1998)

    Google Scholar 

  4. Bai, C.: A unified algebraic approach to classical Yang-Baxter equation. J. Phys. A 40, 11073–11082 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  5. Baxter, G.: An analytic problem whose solution follows from a simple algebraic identity. Pacific J. Math. 10, 731–742 (1960)

    Article  MATH  MathSciNet  Google Scholar 

  6. Bergman, G.M.: The diamond lemma for ring theory. Adv. Math. 29, 178–218 (1978)

    Article  MathSciNet  Google Scholar 

  7. Bokut, L.A.: Imbeddings into simple associative algebras. Algebra i Logika 15, 117–142 (1976)

    Article  MATH  MathSciNet  Google Scholar 

  8. Bokut, L.A., Chen, Y., Chen, Y.: Composition-Diamond lemma for tensor product of free algebras. J. Algebra 323, 2520–2537 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  9. Bokut, L.A., Chen, Y., Deng, X.: Gröbner-Shirshov bases for Rota-Baxter algebras. Siberian Math. J. 51, 978–988 (2010)

    Article  MATH  Google Scholar 

  10. Bokut, L.A., Chen, Y., Li, Y.: Gröbner-Shirshov bases for categories. In: Operads and Universal Algebra, pp. 1–23. World Scientific Press (2012)

    Google Scholar 

  11. Bokut, L.A., Chen, Y., Qiu, J.: Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras. J. Pure Appl. Algebra 214, 89–110 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  12. Bokut, L.A., Latyshev, V., Shestakov, I., Zelmanov, E.(eds.): Selected Works of A.I. Shirshov. Birkhäuser, Boston (2009); transl. M. Bremner, M. Kotchetov

    Google Scholar 

  13. Buchberger, B.: An algorithm for finding a basis for the residue class ring of a zero-dimensional polynomial ideal (in German), Ph.D. thesis, University of Innsbruck, Austria (1965)

    Google Scholar 

  14. Cartier, P.: On the structure of free Baxter algebras. Adv. Math. 9, 253–265 (1972)

    Article  MATH  MathSciNet  Google Scholar 

  15. Cassidy, P., Guo, L., Keigher, W., Sit, W. (eds.): Differential Algebra and Related Topics (Proceedings for the International Workshop in Newark, NJ (2000). World Sci. Publishing (2002)

    Google Scholar 

  16. Connes, A., Kreimer, D.: Renormalization in quantum field theory and the Riemann-Hilbert problem. I. The Hopf algebra structure of graphs and the main theorem. Comm. Math. Phys. 210, 249–273 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  17. Cohn, P.M.: Algebra, 2nd edn., vol. 3. J. Wiley & Sons, Chichester (1991)

    MATH  Google Scholar 

  18. Ebrahimi-Fard, K., Guo, L.: Mixable shuffles, quasi-shuffles and Hopf algebras. J. Algebraic Combin. 24, 83–101 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  19. Ebrahimi-Fard, K., Guo, L., Kreimer, D.: Spitzer’s identity and the algebraic Birkhoff decomposition in pQFT. J. Phys. A: Math. Gen. 37, 11037–11052 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  20. Guo, L.: Operated semigroups, Motzkin paths and rooted trees. J. Algebraic Combin. 29, 35–62 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  21. Guo, L.: Introduction to Rota-Baxter Algebra. International Press (2012)

    Google Scholar 

  22. Gao, X., Guo, L., Sit, W.-Y., Zheng, S.: Rota-Baxter type operators, rewriting systems and Gröbner-Shirshov bases (preprint)

    Google Scholar 

  23. Gao, X., Guo, L., Zheng, S.: Construction of free commutative integro-differential algebras by the method of Gröbner-Shirshov bases. To appear in J. Algebra Appl., arXiv:1302.0041

    Google Scholar 

  24. Guo, L., Keigher, W.: Baxter algebras and shuffle products. Adv. Math. 150, 117–149 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  25. Guo, L., Keigher, W.: On free Baxter algebras: Completions and the internal construction. Adv. Math. 151, 101–127 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  26. Guo, L., Keigher, W.: On differential Rota-Baxter algebras. J. Pure Appl. Algebra 212, 522–540 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  27. Guo, L., Regensburger, G., Rosenkranz, M.: On integro-differential algebras. J. Pure Appl. Algebra 218, 456–471 (2014), arXiv:1212.0266

    Google Scholar 

  28. Guo, L., Sit, W., Zhang, R.: Differential type operators and Gröbner-Shirshov bases. J. Symolic Comput. 52, 97–123 (2012)

    Article  MathSciNet  Google Scholar 

  29. Guo, L., Zhang, B.: Renormalization of multiple zeta values. J. Algebra 319, 3770–3809 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  30. Guo, L., Zheng, S.: Relative locations of subwords in free operated semigroups (preprint)

    Google Scholar 

  31. Hironaka, H.: Resolution of singulatities of an algebraic variety over a field if characteristic zero, I. Ann. Math. 79, 109–203 (1964)

    Article  MATH  MathSciNet  Google Scholar 

  32. Hoffman, M.: Quasi-shuffle products. J. Algebraic Combin. 11, 49–68 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  33. Kolchin, E.R.: Differential Algebras and Algebraic Groups. Academic Press, New York (1973)

    Google Scholar 

  34. Qiu, J.: Gröbner-Shirshov bases for commutative algebras with multiple operators and free commutative Rota-Baxter algebras. Asian-European Jour. Math. (to appear)

    Google Scholar 

  35. Ritt, J.F.: Differential Equations from the Algebraic Standpoint. Amer. Math. Sco. Colloq. Pub. 14. Amer. Math. Soc., New York (1934)

    Google Scholar 

  36. Ritt, J.F.: Differential Algebra. Amer. Math. Sco. Colloq. Pub. 33. Amer. Math. Soc., New York (1950)

    Google Scholar 

  37. Rosenkranz, M., Regensburger, G.: Solving and factoring boundary problems for linear ordinary differential equations in differential algebra. J. Symbolic Comput. 43, 515–544 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  38. Rosenkranz, M., Regensburger, G., Tec, L., Buchberger, B.: A Symbolic Framework for Operations on Linear Boundary Problems. In: Gerdt, V.P., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2009. LNCS, vol. 5743, pp. 269–283. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  39. Rosenkranz, M., Regensburger, G., Tec, L., Buchberger, B.: Symbolic analysis for boundary problems: From rewriting to parametrized Gröbner bases. In: Langer, U., Paule, P. (eds.) Numerical and Symbolic Scientific Computing: Progress and Prospects, pp. 273–331. Springer, Vienna (2012)

    Chapter  Google Scholar 

  40. Rota, G.-C.: Baxter algebras and combinatorial identities I, II. Bull. Amer. Math. Soc. 75, 325–329, 330–334 (1969)

    Google Scholar 

  41. Rota, G.-C.: Baxter operators, an introduction. In: Kung, Joseph, P.S. (eds.) Gian-Carlo Rota on Combinatorics, Introductory Papers and Commentaries. Birkhäuser, Boston (1995)

    Google Scholar 

  42. Semenov-Tian-Shansky, M.A.: What is a classical r-matrix? Funct. Ana. Appl. 17, 259–272 (1983)

    Article  Google Scholar 

  43. Shirshov, A.I.: Some algorithmic problem for Lie-algebras. Sibirsk Mat. Z. 3, 132–137 (1962)

    MATH  MathSciNet  Google Scholar 

  44. Singer, M., van der Put, M.: Galois Theory of Linear Differential Equations. Springer (2003)

    Google Scholar 

  45. Wu, W.-T.: On the Decision Problem and the Mechanization of Theorem Proving in Elementary Geometry. Scientia Sinica 21(2), 159–172 (1978); Also reprinted in Contemporary Mathematics 29, 213–241 (1984)

    Google Scholar 

  46. Wu, W.-T.: A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theorem-proving of differential geometries. In: Differential Geometry and Differential Equations (Shanghai, 1985). Lecture Notes in Math., vol. 1255, pp. 173–189. Springer, Berlin (1987)

    Chapter  Google Scholar 

  47. Zhukov, A.I.: Reduced systems of defining relations in non-associative algebras. Mat. Sb (N.S.) 27(69), 267–280 (1950)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gao, X., Guo, L. (2014). Constructions of Free Commutative Integro-Differential Algebras. In: Barkatou, M., Cluzeau, T., Regensburger, G., Rosenkranz, M. (eds) Algebraic and Algorithmic Aspects of Differential and Integral Operators. AADIOS 2012. Lecture Notes in Computer Science, vol 8372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54479-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54479-8_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54478-1

  • Online ISBN: 978-3-642-54479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics