Symbolic Method for Solving Nonlocal Boundary Value Problems for Systems of Ordinary Loaded Integro-Differential Equations

A symbolic method is presented for examining the solvability and constructing the exact solution to boundary value problems for systems of linear ordinary loaded differential equations and loaded integro-differential equations with nonlocal boundary conditions. The method uses the inverse of the differential operator involved in the system of loaded differential or integro-differential equations. A solvability criterion based on the determinant of a matrix and an exact analytical matrix-form solution formula are presented. For the implementation of the method into computer algebra system software, two algorithms are provided. The effectiveness of the method is demonstrated by solving several problems. The theoretical and practical results obtained complement the existing literature on the subject.