A computer assisted study of uniqueness of ground state solutions

For the problem (here u=u(x)u=u(x)) Δu−up+αuq+βur=0,x∈Rn,lim|x|→∞u(x)=0, with constants 1≤p0α,β>0, 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 pp, qq, rr, and nn.