A computer assisted study of uniqueness of ground state solutions

摘要

For the problem (here u=u(x)) Δu−up+αuq+βur=0,x∈Rn,lim|x|→∞u(x)=0, with constants 1≤p0, uniqueness of radial solution (calledground state solution) is not known. We present a procedure, which opens the way to produce computer assisted proofs of uniqueness for specific p, q, r, and n.