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] On positive solutions for second-order boundary value problems of functional differential equations
Karaca, Ilkay Yaslan
APPLIED MATHEMATICS AND COMPUTATION, 2013, 219 (10) : 5433 - 5439
[22] On positivity of solutions of degenerate boundary value problems for second-order elliptic equations
Pinchover, Y
Saadon, T
ISRAEL JOURNAL OF MATHEMATICS, 2002, 132 (1) : 125 - 168
[23] On positivity of solutions of degenerate boundary value problems for second-order elliptic equations
Yehuda Pinchover
Tiferet Saadon (Suez)
Israel Journal of Mathematics, 2002, 132 : 125 - 168
[24] Nontrivial solutions of boundary value problems for second-order functional differential equations
Alessandro Calamai
Gennaro Infante
Annali di Matematica Pura ed Applicata (1923 -), 2016, 195 : 741 - 756
[25] Multiple solutions for boundary value problems of second-order difference equations with resonance
Liu, Jinsheng
Wang, Shuli
Zhang, Jianming
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2011, 374 (01) : 187 - 196
[26] 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.
DYNAMIC SYSTEMS AND APPLICATIONS, 2007, 16 (03): : 595 - 609
[27] Existence of solutions for three-point boundary value problems for second order equations
Henderson, J
Karna, B
Tisdell, CC
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2005, 133 (05) : 1365 - 1369
[28] REMARKS ON SOME PROPERTIES OF SOLUTIONS OF SOME BOUNDARY VALUE PROBLEMS FOR QUASI-LINEAR PARABOLIC AND ELLIPTIC EQUATIONS OF SECOND ORDER
KUSANO, T
PROCEEDINGS OF THE JAPAN ACADEMY, 1963, 39 (04): : 217 - &
[29] SOME MULTI POINT BOUNDARY VALUE PROBLEMS FOR SECOND ORDER SINGULAR DIFFERENTIAL EQUATIONS
Kiguradze, Ivan
Lomtatidze, Alexander
Partsvania, Nino
MEMOIRS ON DIFFERENTIAL EQUATIONS AND MATHEMATICAL PHYSICS, 2012, 56 : 133 - 141
[30] BOUNDARY VALUE PROBLEMS FOR SOME DEGENERATE ELLIPTIC EQUATIONS OF SECOND ORDER WITH DIRICHLET CONDITION
NAKAOKA, A
PROCEEDINGS OF THE JAPAN ACADEMY, 1970, 46 (03): : 248 - &

← 1 2 3 4 5 →