Uniqueness of excited states to $-\Delta u+ uu^ 3= 0$ in three dimensions

摘要: We prove the uniqueness of several excited states to the ODE , , and for the model nonlinearity . The -th excited state is a solution with exactly zeros and which tends to as . These represent all smooth radial nonzero solutions to the PDE in . We interpret the ODE as a damped oscillator governed by a double-well potential, and the result is proved via rigorous numerical analysis of the energy and variation of the solutions. More specifically, the problem of uniqueness can be formulated entirely in terms of inequalities on the solutions and their variation, and these inequalities can be verified numerically.