VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS

被引：0

作者：

Ryoo, Cheon Seoung ^{[1
]}

机构：

[1] Hannam Univ, Dept Math, Daejeon 34430, South Korea

来源：

JOURNAL OF APPLIED MATHEMATICS & INFORMATICS | 2021年 / 39卷 / 3-4期

基金：

新加坡国家研究基金会;

关键词：

Numerical verification method; automatic proof; Newton-like method; error estimates; unilateral boundary value problems for second order equations; interval arithmetic; NUMERICAL VERIFICATION; WEAK SOLUTIONS; EXISTENCE;

D O I：

10.14317/jami.2021.295

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

In this paper, we propose a new iterative algorithm to automatically prove the existence of solutions for a unilateral boundary value problems for second order equations.

引用

页码：295 / 302

页数：8

共 50 条

[1] Solutions of multipoint boundary value problems for second order equations
Henderson, J
[J]. DYNAMIC SYSTEMS AND APPLICATIONS, 2006, 15 (01): : 111 - 117
[2] On the existence of solutions of boundary value problems for second order differential equations
Kelevedjiev, P
[J]. NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1998, 32 (04) : 563 - 573
[3] ON SOME BOUNDARY VALUE PROBLEMS FOR SECOND ORDER NONLINEAR DIFFERENTIAL EQUATIONS
Dosla, Zuzana
Marini, Mauro
Matucci, Serena
[J]. MATHEMATICA BOHEMICA, 2012, 137 (02): : 113 - 122
[4] On some boundary value problems for second order functional differential equations
Stanek, S
[J]. NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1997, 28 (03) : 539 - 546
[5] NONEXISTENCE OF SOLUTIONS TO SOME BOUNDARY-VALUE PROBLEMS FOR SECOND-ORDER ORDINARY DIFFERENTIAL EQUATIONS
Karakostas, George L.
[J]. ELECTRONIC JOURNAL OF DIFFERENTIAL EQUATIONS, 2012,
[6] Nontrivial solutions of boundary value problems of second-order difference equations
Bai, Dingyong
Xu, Yuantong
[J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2007, 326 (01) : 297 - 302
[7] Existence of solutions of boundary value problems for second order functional differential equations
Ma, RY
Castaneda, N
[J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2004, 292 (01) : 49 - 59
[8] Positive Solutions of Second Order Impulsive Differential Equations with Boundary Value Problems
Li, Haichun
[J]. PROCEEDINGS OF THE 7TH CONFERENCE ON BIOLOGICAL DYNAMIC SYSTEM AND STABILITY OF DIFFERENTIAL EQUATION, VOLS I AND II, 2010, : 623 - 628
[9] Positive solutions for boundary value problems of second order difference equations and their computation
Ji, Jun
Yang, Bo
[J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2010, 367 (02) : 409 - 415
[10] Some boundary value problems for nonlinear degenerate elliptic equations of second order
Wen, Guochun
[J]. ACTA MATHEMATICA SCIENTIA, 2007, 27 (03) : 663 - 672

← 1 2 3 4 5 →