Computer-Assisted Proofs for Semilinear Elliptic Boundary Value Problems

被引:29
作者
Plum, Michael [1 ]
机构
[1] Univ Karlsruhe TH, Inst Anal, D-76128 Karlsruhe, Germany
关键词
elliptic boundary value problem; semilinear; computer-assisted proof; existence; enclosures; error bounds; multiplicity; EXISTENCE;
D O I
10.1007/BF03186542
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
For second-order semilinear elliptic boundary value problems on bounded or unbounded domains, a general computer-assisted method for proving the existence of a solution in a "close" and explicit neighborhood of an approximate solution, computed by numerical means, is proposed. To achieve such an existence and enclosure result, we apply Banach's fixed-point theorem to an equivalent problem for the error, i.e., the difference between exact and approximate solution. The verification of the conditions posed for the fixed-point argument requires various analytical and numerical techniques, for example the computation of eigenvalue bounds for the linearization at the approximate solution. The method is used to prove existence and multiplicity results for some specific examples.
引用
收藏
页码:419 / 442
页数:24
相关论文
共 39 条
[1]  
Adams R., 2003, Pure and Applied Mathematics, V140
[2]  
[Anonymous], 1980, VARIATIONAL METHODS
[3]  
BAUER H, 1978, WAHRSCHEINLICHKEITST
[4]  
BEHNKE H, 1994, SERIES STUDIES COMPU, P277
[5]  
BEHNKE H, 1987, COMPUTING S, V6, P69
[6]   A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam [J].
Breuer, B ;
Horák, J ;
McKenna, PJ ;
Pluma, M .
JOURNAL OF DIFFERENTIAL EQUATIONS, 2006, 224 (01) :60-97
[7]   Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof [J].
Breuer, B ;
McKenna, PJ ;
Plum, M .
JOURNAL OF DIFFERENTIAL EQUATIONS, 2003, 195 (01) :243-269
[8]   A MOUNTAIN PASS METHOD FOR THE NUMERICAL-SOLUTION OF SEMILINEAR ELLIPTIC PROBLEMS [J].
CHOI, YS ;
MCKENNA, PJ .
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1993, 20 (04) :417-437
[9]  
Collatz L., 1952, ARCH MATH, V3, P366, DOI [10.1007/BF01899376, DOI 10.1007/BF01899376]
[10]  
Collatz L., 1960, The Numerical Treatment of Differential Equations