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 条
  • [41] Existence of solutions for some nonlinear elliptic unilateral problems having L 1 data
    Anane A.
    Chakrone O.
    Chehabi M.
    Lobachevskii Journal of Mathematics, 2011, 32 (4) : 254 - 269
  • [42] A numerical approach to the proof of existence of solutions for some generalized obstacle problems
    Ryoo, Cheon Seoung
    APPLIED MATHEMATICS AND COMPUTATION, 2010, 216 (11) : 3365 - 3369
  • [43] A SURVEY OF NUMERICAL SOLUTIONS FOR STOCHASTIC CONTROL PROBLEMS: SOME RECENT PROGRESS
    Jin, Zhuo
    Qiu, Ming
    Tran, Ky Q.
    Yin, George
    NUMERICAL ALGEBRA CONTROL AND OPTIMIZATION, 2022, 12 (02): : 213 - 253
  • [44] Accuracy and nonuniqueness aspects of numerical solutions of some natural convection problems
    Nikfetrat, K
    Djilali, N
    Dost, S
    APPLIED MATHEMATICAL MODELLING, 1996, 20 (05) : 371 - 378
  • [45] Some a Posteriori Error Bounds for Numerical Solutions of Plate in Bending Problems
    Korneev, V.
    Kostylev, V.
    LOBACHEVSKII JOURNAL OF MATHEMATICS, 2018, 39 (07) : 904 - 915
  • [46] Numerical verification of solutions for variational inequalities
    Cheon Seoung Ryoo
    Mitsuhiro T. Nakao
    Numerische Mathematik, 1998, 81 : 305 - 320
  • [47] Verification on the Ensemble of Independent Numerical Solutions
    Alekseev, A. K.
    Bondarev, A. E.
    Kuvshinnikov, A. E.
    COMPUTATIONAL SCIENCE - ICCS 2019, PT V, 2019, 11540 : 315 - 324
  • [48] Numerical verification of solutions for variational inequalities
    Ryoo, CS
    Nakao, MT
    NUMERISCHE MATHEMATIK, 1998, 81 (02) : 305 - 320
  • [49] EXPERIMENTAL-VERIFICATION OF NUMERICAL-SOLUTIONS OF ELASTIC-PLASTIC PROBLEMS USING CHROMORHEOLOGY
    RAUTU, S
    ZAHAVI, E
    MECHANICS RESEARCH COMMUNICATIONS, 1979, 6 (06) : 361 - 367
  • [50] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh–Bénard problems
    Myoungnyoun Kim
    Mitsuhiro T. Nakao
    Yoshitaka Watanabe
    Takaaki Nishida
    Numerische Mathematik, 2009, 111 : 389 - 406
12345