摘要
For the problem (here u = u(x)) %26lt;br%26gt;Delta u - u(P) + alpha u(q) + beta u(r) = 0. x is an element of R-n. (vertical bar x vertical bar -%26gt; infinity)lim u(x) = 0. %26lt;br%26gt;with constants 1 %26lt;= p %26lt; q %26lt; r %26lt; n+2/n-2, and a, beta %26gt; 0, uniqueness of radial solution (called ground 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.
- 出版日期2012-5