Author： Rosenkranz M. Buchberger B. Engl H.W.
Publisher： Taylor & Francis Ltd
ISSN： 0003-6811
Source： Applicable Analysis, Vol.82, Iss.7, 2003-07, pp. : 655-675
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
A new approach for symbolically solving linear boundary value problems is presented. Rather than using general-purpose tools for obtaining parametrized solutions of the underlying ODE and fitting them against the specified boundary conditions (which may be quite expensive), the problem is interpreted as an operator inversion problem in a suitable Banach space setting. Using the concept of the oblique Moore-Penrose inverse, it is possible to transform the inversion problem into a system of operator equations that can be attacked by virtue of non-commutative Gröbner bases. The resulting operator solution can be represented as an integral operator having the classical Green's function as its kernel. Although, at this stage of research, we cannot yet give an algorithmic formulation of the method and its domain of admissible inputs, we do believe that it has promising perspectives of automation and generalization; some of these perspectives are discussed.
Related content
Gröbner-Shirshov Basis for the Onsager and Tetrahedron Algebras
Communications in Algebra, Vol. 41, Iss. 2, 2013-02 ,pp. :
Access to resources
Recommend
