Numerical Enclosure-Methods for the Weak Solution of Elliptic Problems with Unilateral Constraints

Autor:	E. Kaucher, M.I. Durucu
Rok vydání:	1994
Předmět:	Basis (linear algebra) Weak solution Computation Scheme (mathematics) Applied Mathematics Mathematical analysis Enclosure Penalty method Uniqueness Boundary value problem Analysis Mathematics
Zdroj:	Journal of Mathematical Analysis and Applications. 186(2):306-337
ISSN:	0022-247X
DOI:	10.1006/jmaa.1994.1301
Popis:	In this paper we discuss elliptic boundary value problems of second order with unilateral constraints and give a complete numerical solution scheme related to the lately developed Verification-Methods or E-Methods which are the basis for computations to prove automatically the existence, uniqueness, and an enclosure of the solution. Here we apply the penalty method to prove the existence and uniqueness of the solution of the variational problem and to get finite element approximations which we prove to converge to the solution of the analytic problem. We give the associated bounds for error estimates and then develop direct and iterative E-methods for verified computations.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a1908bab3fbbe62bb9bc3c4a0dddbb3f Zobrazit plný text záznamu