Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

A new symbolic method for solving linear two-point boundary value problems on the level of operators

Markus Rosenkranz
Organization: Johann Radon Institute for Computational and Applied Mathematics, Austrian Academy of Sciences
Journal / Anthology

Journal of Symbolic Computation
Year: 2005
Volume: 39
Issue: 2
Page range: 171-199

We present a new method for solving regular boundary value problems for linear ordinary differential equations with constant coefficients (the case of variable coefficients can be adopted readily but is not treated here). Our approach works directly on the level of operators and does not transform the problem to a functional setting for determining the Green’s function. We proceed by representing operators as noncommutative polynomials, using as indeterminates basic operators like differentiation, integration, and boundary evaluation. The crucial step for solving the boundary value problem is to understand the desired Green’s operator as an oblique Moore–Penrose inverse. The resulting equations are then solved for that operator by using a suitable noncommutative Gröbner basis that reflects the essential interactions between basic operators. We have implemented our method as a Mathematica™ package, embedded in the TH∃OREM∀ system developed in the group of Prof. Bruno Buchberger.We show some computations performed by this package.

*Mathematics > Calculus and Analysis > Differential Equations
*Wolfram Technology > Application Packages > Additional Applications > Theorema