Computer-assisted existence proofs for two-point boundary value problems
Computer-assisted existence proofs for two-point boundary value problems
复制标题
两点边值问题的计算机辅助存在性证明
作者：
M. Plum
对于形式为−U“+F(x，U，U‘)=0，B_0[U]=B_1[U]=0的(标量)非线性两点边值问题，我们给出了一种证明解存在于近似解的”闭“C_1-邻域内的方法，它是−U”+F(x，U，U’)=0，B_0[U]=B_1[U]=0，B_0[U]=B_1[U]=0。一位名叫L的人在一家名为“Kleinen”的公司里工作。
For (scalar) nonlinear two-point boundary value problems of the form−U″+F(x, U, U′)=0, B0[U]=B1[U]=0, with Sturm-Liouville or periodic boundary operatorsB0 andB1, we present a method for proving the existence of a solution within a “close”C1-neighborhood of an approximate solution.ZusammenfassungFür (skalare) nichtlineare Zweipunkt-Randwertprobleme der Form−U″+F(x, U, U′)=0,B0[U]=B1[U]=0 mit Sturm-Liouville-oder periodischen RandoperatorenB0,B1 wird eine Methode vorgestellt, mit der die Existenz einer Lösung innerhalb einer “kleinen”C1-Umgebung einer Näherungslösung bewiesen werden kann.