A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem

DOI10.1007/978-3-0348-0249-9_3MaRDI QIDQ3145991zbMATH OpenOpenAlexFDO

Authors Filomena Pacella, Michael Plum, D. Roth, P. Joseph Mckenna

Publication date 17 December 2012

Published in Inequalities and Applications 2010 (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1210.5893

zbMATH Keywords

computer-assisted proofsemilinear elliptic boundary value problemuniqueness

Mathematics Subject Classification ID

Boundary value problems for second-order elliptic equations (35J25) Nonlinear elliptic equations (35J60) Error bounds for boundary value problems involving PDEs (65N15)

Abstract: A wide variety of articles, starting with the famous paper (Gidas, Ni and Nirenberg in Commun. Math. Phys. 68, 209-243 (1979)) is devoted to the uniqueness question for the semilinear elliptic boundary value problem -{Delta}u={lambda}u+u^p in {Omega}, u>0 in {Omega}, u=0 on the boundary of {Omega}, where {lambda} ranges between 0 and the first Dirichlet Laplacian eigenvalue. So far, this question was settled in the case of {Omega} being a ball and, for more general domains, in the case {lambda}=0. In (McKenna et al. in J. Differ. Equ. 247, 2140-2162 (2009)), we proposed a computer-assisted approach to this uniqueness question, which indeed provided a proof in the case {Omega}=(0,1)x(0,1), and p=2. Due to the high numerical complexity, we were not able in (McKenna et al. in J. Differ. Equ. 247, 2140-2162 (2009)) to treat higher values of p. Here, by a significant reduction of the complexity, we will prove uniqueness for the case p=3.

Recommendations

• A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
• Computer-assisted existence and uniqueness proofs for semilinear elliptic boundary value problems
• Computer-assisted proofs for semilinear elliptic boundary value problems
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
• scientific article; zbMATH DE number 1432037
• Computer-assisted existence proofs for two-point boundary value problems
• A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
• On the uniqueness of solution for a class of semilinear elliptic problems
• A uniqueness result for certain semilinear elliptic equations

Cited in

(13)

• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
• A posteriori verification of the positivity of solutions to elliptic boundary value problems
• Finite element approximation of invariant manifolds by the parameterization method
• A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations
• Morse index and uniqueness of positive solutions of the Lane-Emden problem in planar domains
• A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
• Rigorous FEM for One-Dimensional Burgers Equation
• Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
• Computer-assisted existence and uniqueness proofs for semilinear elliptic boundary value problems
• Uniqueness and nondegeneracy for Dirichlet fractional problems in bounded domains via asymptotic methods
• Uniqueness and nondegeneracy of least-energy solutions to fractional Dirichlet problems

This page was built for publication: A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3145991)