A computer assisted study of uniqueness of ground state solutions

作者:Korman Philip*; Li Yi
来源:Journal of Computational and Applied Mathematics, 2012, 236(11): 2838-2843.
DOI:10.1016/j.cam.2012.01.020

摘要

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

全文