17-109 Gianni Arioli, Hans Koch
Validated numerical solutions for some semilinear elliptic equations on the disk (1990K, pdf) Nov 29, 17
Abstract , Paper (src), View paper (auto. generated pdf), Index of related papers

Abstract. Starting with approximate solutions of the equation <it>-&Delta;u=wu<sup>3</sup></it> on the disk, with zero boundary conditions, we prove that there exist true solutions nearby. One of the challenges here lies in the fact that we need simultaneous and accurate control of both the (inverse) Dirichlet Laplacean and nonlinearities. We achieve this with the aid of a computer, using a Banach algebra of real analytic functions, based on Zernike polynomials. Besides proving existence, and symmetry properties, we also determine the Morse index of the solutions.

Files: 17-109.src( 17-109.comments , 17-109.keywords , zerni4.pdf.mm )