Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anL∞Residual Method☆

Abstract We consider a numerical enclosure method with guaranteedL∞error bounds for the solution of nonlinear elliptic problems of second order. By using an a posteriori error estimate for the approximate solution of the problem with a higher orderC0-finite element, it is shown that we can obtain the guaranteedL∞error bounds with high accuracy. A particular emphasis is that our method needs no assumption of the existence of the solution of the original nonlinear equation, but it follows as the result of computation itself. A numerical example that confirms the effectiveness of the method is presented.

[1]  I. Babuska,et al.  A‐posteriori error estimates for the finite element method , 1978 .

[2]  M. Nakao.  Solving Nonlinear Elliptic Problems with Result Verification Using an H -1 Type Residual Iteration , 1993 .

[3]  Mitsuhiro Nakao.  A numerical approach to the proof of existence of solutions for elliptic problems II , 1988 .

[4]  Ricardo H. Nochetto,et al.  Pointwise a posteriori error estimates for elliptic problems on highly graded meshes , 1995 .

[5]  Nobito Yamamoto,et al.  Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria , 1997 .

[6]  Seiji Kimura,et al.  On the Best Constant in the Error Bound for theH10-Projection into Piecewise Polynomial Spaces , 1998 .

[7]  Claes Johnson,et al.  Introduction to Adaptive Methods for Differential Equations , 1995, Acta Numerica.

[8]  S. Rump.  Verification methods for dense and sparse systems of equations , 1994 .

[9]  R. Verfürth.  A posteriori error estimates for nonlinear problems: finite element discretizations of elliptic equations , 1994 .

[10]  Michael Plum.  Existence proofs in combination with error bounds for approximate solutions of weakly nonlinear second-order elliptic boundary value problems , 1991 .

[11]  Mitsuhiro Nakao,et al.  A numerical verification method for the existence of weak solutions for nonlinear boundary value problems , 1992 .

[12]  Mitsuhiro Nakao,et al.  Numerical verifications of solutions for nonlinear elliptic equations , 1993 .

[13]  G. Alefeld,et al.  Introduction to Interval Computation , 1983 .

[14]  Michael Plum,et al.  Explicit H2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems , 1992 .

[15]  M. Nakao,et al.  Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element , 1995 .