Numerical verification of solutions for some unilateral problems

被引：0

作者：

Ryoo, CS ^{[1
]}

机构：

[1] Kyungpook Natl Univ, Dept Math, Taegu 702701, South Korea

来源：

APPLIED MATHEMATICS LETTERS | 2000年 / 13卷 / 06期

关键词：

numerical verification method; variational inequalities; Schauder fixed-point theorem; unilateral problems; error estimates;

D O I：

10.1016/S0893-9659(00)00047-1

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We proposed some numerical methods for the automatic proof of existence of solutions for some unilateral problems. In this paper, our goal is to establish a new procedure for numerical verification of some unilateral problems. (C) 2000 Elsevier Science Ltd. All rights reserved.

引用

页码：13 / 17

页数：5

共 50 条

[21] STABILITY OF NUMERICAL-SOLUTIONS OF SOME PROBLEMS IN GEOPHYSICS
CHERNYI, AV
GEOPHYSICAL JOURNAL, 1981, 3 (04): : 539 - 547
[22] Numerical solutions to some ill-posed problems
Kansas State University
[23] Existence of entropy solutions for some anisotropic quasilinear elliptic unilateral problems
Al-Hawmi M.
Azroul E.
Hjiaj H.
Touzani A.
Afrika Matematika, 2017, 28 (3-4) : 357 - 378
[24] Existence of solutions for some nonlinear elliptic unilateral problems with measure data
Yazough, C.
Azroul, E.
Redwane, H.
ELECTRONIC JOURNAL OF QUALITATIVE THEORY OF DIFFERENTIAL EQUATIONS, 2013, (43) : 1 - 21
[25] AN LS-ESTIMATE FOR THE GRADIENT OF SOLUTIONS OF SOME NONLINEAR UNILATERAL PROBLEMS
BOCCARDO, L
ANNALI DI MATEMATICA PURA ED APPLICATA, 1985, 141 : 277 - 287
[26] Numerical verification of solutions for obstacle problems using a Newton-like method
Ryoo, CS
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2000, 39 (3-4) : 185 - 194
[27] Numerical verification of solutions for Signorini problems using Newton-like method
Ryoo, Cheon Seoung
INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 2008, 73 (08) : 1181 - 1196
[28] Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
Tsuchiya T.
Nakao M.T.
Japan Journal of Industrial and Applied Mathematics, 1997, 14 (3) : 357 - 372
[29] Numerical verification of solutions for nonlinear elliptic problems using an L∞ residual method
Nakao, MT
Yamamoto, N
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1998, 217 (01) : 246 - 262
[30] Analysis and comparison of some analytic and numerical solutions of hemodynamic problems
I. V. Ashmetkov
S. I. Mukhin
N. V. Sosnin
A. P. Favorskii
A. B. Khrulenko
Differential Equations, 2000, 36 : 1021 - 1026

← 1 2 3 4 5 →