Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates

DOI10.1007/978-3-319-24021-3_30MaRDI QIDQ3454560zbMATH OpenOpenAlexFDO

Authors Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger

Publication date 25 November 2015

Published in Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1505.01956

Mechanization of proofs and logical operations (03B35) Linear boundary value problems for ordinary differential equations (34B05) Positive solutions to nonlinear boundary value problems for ordinary differential equations (34B18) Symbolic computation and algebraic computation (68W30)

Abstract: We develop a new theory for treating boundary problems for linear ordinary differential equations whose fundamental system may have a singularity at one of the two endpoints of the given interval. Our treatment follows an algebraic approach, with (partial) implementation in the Theorema software system (which is based on Mathematica). We study an application to graded Kirchhoff plates for illustrating a typical case of such boundary problems.

Recommendations

Describes a project that uses

Uses Software

This page was built for publication: Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3454560)