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 条

[1] 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
[2] Numerical verification of solutions for obstacle problems
Ryoo, CS
Nakao, MT
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2003, 161 (02) : 405 - 416
[3] NUMERICAL-SOLUTIONS OF UNILATERAL PROBLEMS IN ELASTICITY
NOOR, MA
TIRMIZI, SIA
MATHEMATICAL MODELLING, 1987, 8 : 540 - 543
[4] An approach to the numerical verification of solutions for obstacle problems
Ryoo, Cheon Seoung
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2007, 53 (05) : 842 - 850
[5] A numerical verification of solutions of free boundary problems
Ryoo, CS
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2004, 48 (3-4) : 429 - 435
[6] Numerical Verification of Solutions for Nonlinear Parabolic Problems
Hashimoto, Kouji
Kinoshita, Takehiko
Nakao, Mitsuhiro T.
NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION, 2020, 41 (12) : 1495 - 1514
[7] Numerical verification methods for solutions of free boundary problems
Nakao, MT
Ryoo, CS
MATHEMATICAL MODELING AND NUMERICAL SIMULATION IN CONTINUUM MECHANICS, 2002, 19 : 195 - 208
[8] Numerical verification method for positive solutions of elliptic problems
Tanaka, Kazuaki
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2020, 370
[9] Verification for existence of solutions for some generalized obstacle problems
Ryoo, CS
APPLIED MATHEMATICS LETTERS, 2005, 18 (06) : 635 - 640
[10] Numerical verification of solutions for elasto-plastic torsion problems
Nakao, MT
Lee, SH
Ryoo, CS
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2000, 39 (3-4) : 195 - 204

← 1 2 3 4 5 →