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] On the existence of solutions of boundary value problems for second order differential equations
Kelevedjiev, P
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1998, 32 (04) : 563 - 573
[2] On some boundary value problems for second order functional differential equations
Stanek, S
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1997, 28 (03) : 539 - 546
[3] Numerical verification of solutions for some unilateral boundary value problems
Ryoo, CS
Song, H
Kim, SD
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2002, 44 (5-6) : 787 - 797
[4] NONEXISTENCE OF SOLUTIONS TO SOME BOUNDARY-VALUE PROBLEMS FOR SECOND-ORDER ORDINARY DIFFERENTIAL EQUATIONS
Karakostas, George L.
ELECTRONIC JOURNAL OF DIFFERENTIAL EQUATIONS, 2012,
[5] Boundary data smoothness for solutions of nonlocal boundary value problems for second order differential equations
Ehrke, John
Henderson, Johnny
Kunkel, Curtis
Sheng, Qin
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2007, 333 (01) : 191 - 203
[6] Nonnegative solutions to some singular second-order boundary value problems
Kelevedjiev, P
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1999, 36 (04) : 481 - 494
[7] 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
[8] 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
[9] BOUNDARY VALUE PROBLEMS FOR SECOND ORDER DELAY DIFFERENTIAL EQUATIONS
Skora, Lidia
OPUSCULA MATHEMATICA, 2012, 32 (03) : 551 - 558
[10] Positive Solutions of Boundary Value Problems for General Second-Order Nonlinear Difference Equations
Liu, Ruoyi
Zhou, Zhan
MATHEMATICS, 2024, 12 (23)

← 1 2 3 4 5 →