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 条

[31] Analysis and comparison of some analytic and numerical solutions of hemodynamic problems
Ashmetkov, IV
Mukhin, SI
Sosnin, NV
Favorskii, AP
Khrulenko, AB
DIFFERENTIAL EQUATIONS, 2000, 36 (07) : 1021 - 1026
[32] Numerical algorithms for solutions of nonlinear problems in some distance spaces
Ahmad, Junaid
Ullah, Kifayat
George, Reny
AIMS MATHEMATICS, 2023, 8 (04): : 8460 - 8477
[33] On a Comparison of Solutions in Verification Problems
Alekseev A.K.
Bondarev A.E.
Mathematical Models and Computer Simulations, 2021, 13 (1) : 154 - 161
[34] NUMERICAL-METHODS FOR UNILATERAL PROBLEMS
NOOR, MA
TIRMIZI, SIA
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 1986, 16 (03) : 387 - 395
[35] A NUMERICAL-METHOD FOR UNILATERAL PROBLEMS
NOOR, MA
TIRMIZI, SIA
INTERNATIONAL JOURNAL OF ENGINEERING SCIENCE, 1984, 22 (04) : 467 - 473
[36] Extremal solutions for a class of unilateral problems
Huy, NB
Thanh, ND
Thanh, TD
ZEITSCHRIFT FUR ANALYSIS UND IHRE ANWENDUNGEN, 2002, 21 (02): : 371 - 380
[37] Numerical verification of solutions for nonlinear elliptic problems using an L infinity residual method
Nakao, Mitsuhiro T.
Yamamoto, Nobito
Journal of Mathematical Analysis and Applications, 1998, 217 (01):
[38] A NUMERICAL VERIFICATION METHOD FOR THE EXISTENCE OF WEAK SOLUTIONS FOR NONLINEAR BOUNDARY-VALUE-PROBLEMS
NAKAO, MT
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1992, 164 (02) : 489 - 507
[39] EXISTENCE OF ENTROPY SOLUTIONS FOR SOME QUASILINEAR ANISOTROPIC ELLIPTIC UNILATERAL PROBLEMS WITH VARIABLE EXPONENTS
Azroul, Elhoussine
Bouziani, Mohammed
Hjiaj, Hassane
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES S, 2025, 18 (01): : 93 - 112
[40] VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS
Ryoo, Cheon Seoung
JOURNAL OF APPLIED MATHEMATICS & INFORMATICS, 2021, 39 (3-4): : 295 - 302

← 1 2 3 4 5 →