KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
URN: urn:nbn:de:swb:90-292809

Computer-assisted enclosures for fourth order elliptic equations

Fazekas, Borbála

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.

Zugehörige Institution(en) am KIT Institut für Analysis (IANA)
Publikationstyp Hochschulschrift
Jahr 2012
Sprache Englisch
Identifikator KITopen-ID: 1000029280
Verlag Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Mathematik (MATH)
Institut Institut für Analysis (IANA)
Prüfungsdaten 11.07.2012
Referent/Betreuer Prof. M. Plum
Schlagworte Fourth order semilinear elliptic boundary value problems, computer-assisted proofs
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page