KIT | KIT-Bibliothek | Impressum | Datenschutz

Computer-assisted Multiplicity Proofs for Emden's Equation on Domains with Hole

Rütters, Dagmar


In this thesis we consider Emden's equation on a parameter dependent domain with hole and describe a computer-assisted method for proving existence and multiplicity of solutions to that problem. We obtain results for discrete parameter values as well as for some parameter intervals, in which case also the existence of smooth solution branches is proved. Moreover we prove the existence of a one-bump solution to Emden's equation on an unbounded L-shaped domain.

Volltext §
DOI: 10.5445/IR/1000041926
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Analysis (IANA)
Publikationstyp Hochschulschrift
Publikationsjahr 2014
Sprache Englisch
Identifikator urn:nbn:de:swb:90-419262
KITopen-ID: 1000041926
Verlag Karlsruher Institut für Technologie (KIT)
Art der Arbeit Dissertation
Fakultät Fakultät für Mathematik (MATH)
Institut Institut für Analysis (IANA)
Prüfungsdaten 09.04.2014
Schlagwörter computer-assisted proof, Emden's equation
Referent/Betreuer Plum, M.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page