A factorization algorithm for linear ordinary differential equations
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Complexity of factoring and calculating the GCD of linear ordinary differential operators
Journal of Symbolic Computation
An introduction to commutative and noncommutative Gro¨bner bases
Selected papers of the second international colloquium on Words, languages and combinatorics
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Term rewriting and all that
Groebner Bases for Non-Commutative Polynomial Rings
AAECC-3 Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes
Generalized Loewy-decomposition of d-modules
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
A new symbolic method for solving linear two-point boundary value problems on the level of operators
Journal of Symbolic Computation
Integro-differential polynomials and operators
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
ACM Communications in Computer Algebra
A skew polynomial approach to integro-differential operators
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A Symbolic Framework for Operations on Linear Boundary Problems
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
A maple package for integro-differential operators and boundary problems
ACM Communications in Computer Algebra
Regular and singular boundary problems in maple
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Transforming problems from analysis to algebra: A case study in linear boundary problems
Journal of Symbolic Computation
ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple
ACM Communications in Computer Algebra
Annihilating monomials with the integro-differential Weyl algebra
ACM Communications in Computer Algebra
Hi-index | 0.00 |
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 linear integro-differential operators that is expressive enough for specifying regular boundary problems with arbitrary Stieltjes boundary conditions as well as their solution operators. On the basis of these structures, we define a new multiplication on regular boundary problems in such a way that the resulting Green's operator is the reverse composition of the constituent Green's operators. We provide also a method for lifting any factorization of the underlying differential operator to the level of boundary problems. Since this method only needs the computation of initial value problems, it can be used as an effective alternative for computing Green's operators in the case where one knows how to factor the given differential operators.