Computer-assisted enclosure methods for elliptic differential equations (Q5929750)

This paper deals with nonlinear boundary value problems of the form \[ -\Delta u+F(x,u,\nabla u)=0 \tag{1} \] on \(\Omega\), \(u=0\) on \(\partial \Omega\), where \(\Omega\subset \mathbb{R}^n\) is a bounded domain with Lipschitz-continuous boundary \(\partial\Omega\), \(F\) is a given nonlinearity on \(\overline \Omega \times\mathbb{R} \times\mathbb{R}^n\) with values \(F(x,y,z) \in\mathbb{R}\), and \(F\) and its derivatives are assumed to be continuous. The author uses computer-assisted methods for proving the existence of a solution to problem (1) within a `close' and explicitly given neighborhood of some approximate solution. The conditions, under which such an existence and enclosure result can be stated, shall moreover be testable in an automatic way on a computer. A new approach which is based on a suitable fixed-point formulation of the problem and uses norm bounds for the inverse of the linearization of the given problem is presented. Finally, a brief description of Nakao's method for obtaining existence and enclosure results for problem (1) is given [cf. \textit{M. T. Nakao}, Computing Suppl. 9, 161-173 (1993; Zbl 0802.65111); \textit{M. T. Nakao} and \textit{N. Yamamoto}, J. Comput. Appl. Math. 60, No. 1-2, 271-279 (1995; Zbl 0832.65123)].