EXISTENCE AND INCLUSION METHODS FOR NONLINEAR ELLIPTIC BOUNDARY VALUE PROBLEMS ON UNBOUNDED DOMAINS

B BREUER

bodo@ma1euler.mathematik.uni-karlsruhe.de

Mathematisches Institut I

Universität Karlsruhe

D-76128 Karlsruhe, Germany

Universität Karlsruhe

D-76128 Karlsruhe, Germany

Computer-assisted existence and inclusion methods for nonlinear elliptic boundary value problems of the type

in on

with some given nonlinearity yield good results when the spectrum of the linearisation of the left-hand side at some approximate solution is well bounded away from zero.
Here we will focus on unbounded domains where an additional difficulty consists in the possible presence of essential spectrum.

In the case of the Emden's equation, where
, we will present an existence and inclusion result when the domain is an infinite strip and discuss generalisations to more general domains.

EPSRC Gregynog Workshop, 21-26 July 2002