EVA STAR Trefferanzeige

Volltext Fazekas_Borbala.pdf1.pdf (1,6 MB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-292809
Titel Computer-assisted enclosures for fourth order elliptic equations
Autor Fazekas, Borbála
Institution Institut für Analysis (IANA)
Dokumenttyp Buch
Verlag Karlsruhe
Jahr 2012
Hochschulschrift Dissertation
Fakultät für Mathematik (MATH)
Institut für Analysis (IANA)
Prüfungsdaten: 11.07.2012
Referent/Betreuer: Prof. M. Plum
Abstract We describe a computer-assisted method for proving existence and multiplicity of solutions of fourth order nonlinear elliptic boundary value problems: we compute a good
numerical approximation of a solution and certain defect bounds with computer-assistance, and then obtain a rigorous proof of the existence of an exact solution close to the numerical one by a fixed-point argument.