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 条

[21] Existence of solutions for three-point boundary value problems for second order equations
Henderson, J
Karna, B
Tisdell, CC
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2005, 133 (05) : 1365 - 1369
[22] On the existence of multiple solutions to boundary value problems for second order ordinary differential equations
Agarwal, Ravi P.
Thompson, Harold B.
Tisdell, Christopher C.
[J]. DYNAMIC SYSTEMS AND APPLICATIONS, 2007, 16 (03): : 595 - 609
[23] Nontrivial solutions of boundary value problems for second-order functional differential equations
Calamai, Alessandro
Infante, Gennaro
[J]. ANNALI DI MATEMATICA PURA ED APPLICATA, 2016, 195 (03) : 741 - 756
[24] On positivity of solutions of degenerate boundary value problems for second-order elliptic equations
Yehuda Pinchover
Tiferet Saadon (Suez)
[J]. Israel Journal of Mathematics, 2002, 132 : 125 - 168
[25] Nontrivial solutions of boundary value problems for second-order functional differential equations
Alessandro Calamai
Gennaro Infante
[J]. Annali di Matematica Pura ed Applicata (1923 -), 2016, 195 : 741 - 756
[26] On positive solutions for second-order boundary value problems of functional differential equations
Karaca, Ilkay Yaslan
[J]. APPLIED MATHEMATICS AND COMPUTATION, 2013, 219 (10) : 5433 - 5439
[27] On positivity of solutions of degenerate boundary value problems for second-order elliptic equations
Pinchover, Y
Saadon, T
[J]. ISRAEL JOURNAL OF MATHEMATICS, 2002, 132 (1) : 125 - 168
[28] REMARKS ON SOME PROPERTIES OF SOLUTIONS OF SOME BOUNDARY VALUE PROBLEMS FOR QUASI-LINEAR PARABOLIC AND ELLIPTIC EQUATIONS OF SECOND ORDER
KUSANO, T
[J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1963, 39 (04): : 217 - &
[29] BOUNDARY VALUE PROBLEMS FOR SOME DEGENERATE ELLIPTIC EQUATIONS OF SECOND ORDER WITH DIRICHLET CONDITION
NAKAOKA, A
[J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1970, 46 (03): : 248 - &
[30] SOME MULTI POINT BOUNDARY VALUE PROBLEMS FOR SECOND ORDER SINGULAR DIFFERENTIAL EQUATIONS
Kiguradze, Ivan
Lomtatidze, Alexander
Partsvania, Nino
[J]. MEMOIRS ON DIFFERENTIAL EQUATIONS AND MATHEMATICAL PHYSICS, 2012, 56 : 133 - 141

← 1 2 3 4 5 →