Markus Rosenkranz
ABSTRACT
We propose two algebraic structures for treating integral operators in conjunction with derivations: The algebra of integro-differential polynomials describes nonlinear integral and differential operators together with initial values. The algebra of integro-differential operators can be used to solve boundary problems for linear ordinary differential equations. In both cases, we describe canonical/normal forms with algorithmic simplifiers.
- F. Baader and T. Nipkow. Term rewriting and all that. Cambridge University Press, Cambridge, 1998. Google Scholar
- G. Baxter. An analytic problem whose solution follows from a simple algebraic identity. Pacific J. Math., 10:731--742, 1960.Google Scholar
- G. M. Bergman. The diamond lemma for ring theory. Adv. in Math., 29(2):178--218, 1978.Google Scholar
- A. H. Bilge. A REDUCE program for the integration of differential polynomials. Comput. Phys. Comm., 71(3):263--268, 1992.Google Scholar
- B. Buchberger. An algorithm for finding the bases elements of the residue class ring modulo a zero dimensional polynomial ideal (German). PhD thesis, Univ. of Innsbruck, 1965. English translation published in phJ. Symbolic Comput., 41(3-4):475--511, 2006. Google Scholar
- B. Buchberger. Introduction to Gröbner bases. 1998. In, pp. 3--31.Google Scholar
- B. Buchberger and R. Loos. Algebraic simplification. In Computer algebra, pages 11--43. Springer, Vienna, 1983.Google Scholar
- B. Buchberger and F. Winkler, editors. Gröbner bases and applications, volume 251 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1998. Papers from the Conference on 33 Years of Gröbner Bases held at the University of Linz, Linz, February 2--4, 1998.Google Scholar
- E. A. Coddington and N. Levinson. Theory of ordinary differential equations. McGraw-Hill Book Company, Inc., New York-Toronto-London, 1955.Google Scholar
- I. M. Gelfand and L. A. Dikiuı. Fractional powers of operators, and Hamiltonian systems. Funkcional. Anal. i Prilozen., 10(4):13--29, 1976. English translation: Functional Anal. Appl. 10 (1976), no. 4, 259--273 (1977).Google Scholar
- L. Guo. Baxter algebras and differential algebras. In Differential algebra and related topics (Newark, NJ, 2000), pages 281--305. World Sci. Publ., River Edge, NJ, 2002.Google Scholar
- L. Guo and W. Keigher. On differential Rota-Baxter algebras. J. Pure Appl. Algebra, 212(3):522--540, 2008.Google Scholar
- H. Hule. Polynome über universalen Algebren. Monatsh. Math., 73:329--340, 1969.Google Scholar
- I. Kaplansky. An introduction to differential algebra. Publ. Inst. Math. Univ. Nancago, No. 5. Hermann, Paris, 1957.Google Scholar
- E. Kolchin. Differential algebra and algebraic groups, volume 54 of Pure and Applied Mathematics. Academic Press, New York-London, 1973.Google Scholar
- H. Lausch and W. Nöbauer. Algebra of polynomials, volume 5 of North-Holland Mathematical Library. North-Holland Publishing Co., Amsterdam, 1973.Google Scholar
- F. Mora. Groebner bases for non-commutative polynomial rings. In AAECC-3: Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, pages 353--362, London, UK, 1986. Springer-Verlag. Google Scholar
- T. Mora. An introduction to commutative and noncommutative Gröbner bases. Theoret. Comput. Sci., 134(1):131--173, 1994. Second International Colloquium on Words, Languages and Combinatorics (Kyoto, 1992). Google Scholar
- M. Z. Nashed and G. F. Votruba. A unified operator theory of generalized inverses. In M. Z. Nashed, editor, Generalized inverses and applications (Proc. Sem., Math. Res. Center, Univ. Wisconsin, Madison, Wis., 1973), pages 1--109. Academic Press, New York, 1976.Google Scholar
- R. Ree. Lie elements and an algebra associated with shuffles. Ann. of Math. (2), 68:210--220, 1958.Google Scholar
- G. Regensburger and M. Rosenkranz. An algebraic foundation for factoring linear boundary problems. Ann. Mat. Pura Appl. (4), 2008. DOI:10.1007/s10231-008-0068-3.Google Scholar
- M. Rosenkranz. A new symbolic method for solving linear two-point boundary value problems on the level of operators. J. Symbolic Comput., 39(2):171--199, 2005. Google Scholar
- M. Rosenkranz and G. Regensburger. Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symbolic Comput., 2007. DOI:10.1016/j.jsc.2007.11.007. Google Scholar
- G.-C. Rota. Baxter algebras and combinatorial identities (I, II). Bull. Amer. Math. Soc., 75:325--334, 1969.Google Scholar
- G.-C. Rota. Ten mathematics problems I will never solve. Mitt. Dtsch. Math.-Ver., (2):45--52, 1998.Google Scholar
- I. Stakgold. Green's functions and boundary value problems. John Wiley & Sons, New York, 1979.Google Scholar
- M. van der Put and M. F. Singer. Galois theory of linear differential equations, volume 328 of Grundlehren der Mathematischen Wissenschaften. Springer, Berlin, 2003.Google Scholar
Index Terms
- Integro-differential polynomials and operators
Recommendations
Symbolic Computation with Integro-Differential Operators
ISSAC '16: Proceedings of the ACM on International Symposium on Symbolic and Algebraic ComputationThe algebraic and algorithmic study of integro-differential algebras and operators has only started in the past decade. Integro-differential operators allow us in particular to study initial value and boundary problems for linear ODEs from an algebraic ...
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
We present a new approach for expressing and solving boundary problems for linear ordinary differential equations in the language of differential algebras. Starting from an algebra with a derivation and integration operator, we construct an algebra of ...
A Nyström method for weakly singular integral operators on surfaces
We describe a modified Nystrom method for the discretization of the weakly singular boundary integral operators which arise from the formulation of linear elliptic boundary value problems as integral equations. Standard Nystrom and collocation schemes ...
Comments