Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.

DOI10.1016/S0022-0396(03)00186-4zbMath1156.35359MaRDI QIDQ1416464

Michael Plum, Patrick J. McKenna, B. Breuer

Publication date: 14 December 2003

Published in: Journal of Differential Equations (Search for Journal in Brave)

zbMATH Keywords

multiplicity of solutions; computer-assisted proof; semilinear elliptic boundary value problem

Mathematics Subject Classification ID

47J30: Variational methods involving nonlinear operators

35J25: Boundary value problems for second-order elliptic equations

35J65: Nonlinear boundary value problems for linear elliptic equations

35A15: Variational methods applied to PDEs

35J60: Nonlinear elliptic equations

58E05: Abstract critical point theory (Morse theory, Lyusternik-Shnirel'man theory, etc.) in infinite-dimensional spaces

Uses Software

• C-XSC
• C-XSC 2.0
• PROFIL/BIAS