A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
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 …