Uniqueness of bound states to $Δu-u+|u|^{p-1}u= 0$ in $\mathbb{R}^n$, $n\ge 3$

Moxun Tang
2024-09-11
Abstract:We give a positive answer to a conjecture of Berestycki and Lions in 1983 on the uniqueness of bound states to $\Delta u +f(u)=0$ in $\mathbb{R}^n$, $u\in H^1(\mathbb{R}^n)$, $u\not\equiv 0$, $n\ge 3$. For the model nonlinearity $f(u)=-u+|u|^{p-1}u$, $1<p<(n+2)/(n-2)$, arisen from finding standing waves of Klein-Gordon equation or nonlinear Schrödinger equation, we show that, for each integer $k\ge 1$, the problem has a unique solution $u=u(|x|)$, $x\in \mathbb{R}^n$, up to translation and reflection, that has precisely $k$ zeros for $|x|>0$.
Analysis of PDEs
What problem does this paper attempt to address?
### The Problem the Paper Attempts to Solve This paper attempts to solve a conjecture proposed by Berestycki and Lions in 1983, which concerns the uniqueness of solutions to the semilinear elliptic equation \(\Delta u + f(u) = 0\) in \(R^n\). Specifically, the paper focuses on the uniqueness of bound state solutions with a specific number of nodes (i.e., simple zeros) when the nonlinear term \(f(u) = -u + |u|^{p-1}u\). ### Detailed Interpretation 1. **Background and Problem Definition**: - In their classic study, Berestycki and Lions considered the following semilinear elliptic problem: \[ \Delta u + f(u) = 0 \quad \text{in} \quad R^n, \quad u \in H^1(R^n), \quad u \not\equiv 0, \quad n \geq 3 \] - Here, \(f: R \to R\) is a continuous and odd function that satisfies certain assumptions. - They proved that under these conditions, the problem has infinitely many different solutions. 2. **Main Problem**: - Berestycki and Lions proposed a conjecture: for certain classes of \(f\), there exists exactly one solution with exactly \(k-1\) nodes. - When \(k=1\), this problem involves the uniqueness of the ground state solution. - When \(k > 1\), this problem involves the uniqueness of bound state solutions with a specific number of nodes. 3. **Main Contributions of the Paper**: - The authors proved that for each positive integer \(k\), the equation \(\Delta u - u + |u|^{p-1}u = 0\) has exactly one bound state solution with exactly \(k\) nodes, ignoring translations and reflections. - This result not only verifies the conjecture of Berestycki and Lions but also provides a deeper understanding of the structure and properties of solutions to such equations. 4. **Methods and Techniques**: - The authors used variational methods and ODE techniques to prove uniqueness. - By analyzing the behavior of the variation \(v(r) = \frac{\partial u(r, \alpha)}{\partial \alpha}\) of the solution, they proved the uniqueness of the zeros of the variation \(v\) in each phase. - Several auxiliary functions, such as the Pohozaev function \(P(r)\), were introduced, and the properties of these functions were used to derive the uniqueness of the solution. ### Conclusion Through rigorous mathematical proof, this paper resolves the conjecture of Berestycki and Lions regarding the uniqueness of solutions to the semilinear elliptic equation, particularly the uniqueness of bound state solutions with a specific number of nodes. This result not only verifies the conjecture but also provides an important theoretical foundation for further research in the related field.