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 条

[31] 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
[32] Existence of three positive solutions for some second-order boundary value problems
Bai, ZB
Ge, WG
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2004, 48 (5-6) : 699 - 707
[33] Existence of Nontrivial Solutions for Some Second-Order Multipoint Boundary Value Problems
Li, Hongyu
Zhang, Junting
JOURNAL OF FUNCTION SPACES, 2018, 2018
[34] Nodal Solutions for Some Second-Order Semipositone Integral Boundary Value Problems
Lu, Huiqin
Wang, Yang
Liu, Yansheng
ABSTRACT AND APPLIED ANALYSIS, 2014,
[35] BOUNDARY VALUE PROBLEMS FOR SECOND ORDER DELAY DIFFERENTIAL EQUATIONS
Skora, Lidia
OPUSCULA MATHEMATICA, 2012, 32 (03) : 551 - 558
[36] Boundary value problems for second order delay differential equations
Li, Longtu
Wang, Zhicheng
Qian, Xiangzheng
Applied Mathematics and Mechanics (English Edition), 1993, 14 (06) : 573 - 580
[37] THE BOUNDARY VALUE PROBLEMS FOR A CLASS OF SECOND ORDER MIXED EQUATIONS
孙龙祥
Science China Mathematics, 1988, (03) : 286 - 297
[38] PERIODIC BOUNDARY VALUE PROBLEMS FOR SECOND ORDER DIFFERENTIAL EQUATIONS
Hong, Shihuang
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS, 2009, 39 (03) : 843 - 852
[39] Boundary value problems for impulsive second order differential equations
Lakmeche, A
Boucherif, A
DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2002, 9 (03): : 313 - 319
[40] Periodic and boundary value problems for second order differential equations
Nikolaos S. Papageorgiou
Francesca Papalini
Proceedings Mathematical Sciences, 2001, 111 : 107 - 125

← 1 2 3 4 5 →