论文信息 - A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

In this paper, we propose a method to prove the existence and the local uniqueness of solutions to infinite-dimensional fixed-point equations using computers. Choosing a set which possibly includes a solution, we transform it by an approximate linearization of the operator appearing in the equation. Then we calculate the radii of the transformed set in order to check sufficient conditions for Banach's fixed-point theorem. This method is applied to elliptic problems and numerical examples are given.

Nobito Yamamoto | N. Yamamoto

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

[2] Nobito Yamamoto,et al. Numerical verifications of solutions for elliptic equations with strong nonlinearity , 1991 .

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

[4] M. Plum. Existence and enclosure results for continua of solutions of parameter-dependent nonlinear boundary value problems , 1995 .

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

[6] Siegfried M. Rump,et al. Solving Algebraic Problems with High Accuracy , 1983, IMACS World Congress.

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

[8] E. Zeidler. Nonlinear functional analysis and its applications , 1988 .

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

[10] Jerrold Bebernes,et al. Mathematical Problems from Combustion Theory , 1989 .