Uniqueness and nondegeneracy of positive solutions to elliptic equations with Robin boundary conditions

Technical Summary: Uniqueness and Nondegeneracy of Positive Solutions to Elliptic Equations with Robin Boundary Conditions

Problem Statement
This paper investigates the uniqueness and nondegeneracy of positive solutions to the semilinear elliptic Robin problem:
$$\begin{cases} -\Delta u = u^p, & \text{in } \Omega, \\ u > 0, & \text{in } \Omega, \\ \frac{\partial u}{\partial \nu} + \beta u = 0, & \text{on } \partial\Omega, \end{cases}$$
where $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) is a bounded smooth domain, $\beta > 0$ is a parameter, and $p$ is a subcritical exponent ($1 < p < \infty$ for $N=2$, $1 < p < \frac{N+2}{N-2}$ for $N \ge 3$).

While existence results are well-established for sublinear, subcritical, and critical cases, the uniqueness of positive solutions for arbitrary $\beta > 0$ remains an open problem, even when $\Omega$ is a ball. The classical method of moving planes, effective for Dirichlet and Neumann conditions, fails for Robin boundary conditions. This work aims to resolve the uniqueness question for arbitrary $\beta > 0$ under suitable conditions on $p$ and $\Omega$.

Methodology
The authors employ a combination of scaling arguments, asymptotic analysis as $p \to 1$, and a detailed study of the linearized problem. Key methodological components include:

1. Asymptotic Analysis as $p \to 1$: The authors establish that as $p \to 1$, the solution $u_p$ behaves asymptotically like the first eigenfunction $\phi_{1,\beta}$ of the Robin eigenvalue problem. Specifically, they prove that $\|u_p\|_\infty^{p-1} \to \lambda_{1,\beta}$, where $\lambda_{1,\beta}$ is the first Robin eigenvalue. This convergence is utilized to analyze the behavior of solutions near the linear case.
2. Contradiction via Linearization: To prove uniqueness, the authors assume the existence of two distinct solutions and construct a difference function. By normalizing this difference and taking the limit as $p \to 1$, they show that the limit function must satisfy the linearized eigenvalue problem. Using the properties of the first eigenfunction (specifically its sign and boundary behavior), they derive a contradiction, thereby proving that the solutions must coincide for $p$ close to 1.
3. Nondegeneracy Analysis: The nondegeneracy of solutions (i.e., the triviality of the kernel of the linearized operator) is proven by analyzing the linearized equation. For radial solutions on a ball, the authors utilize an auxiliary function $w = x \cdot \nabla u$ and integrate by parts to derive contradictions regarding the boundary conditions and the sign of the solution.
4. Variational Methods for Large $\beta$: For convex domains in $\mathbb{R}^2$ and large $\beta$, the authors analyze the minimization problem associated with the energy functional. They demonstrate that as $\beta \to \infty$, the Robin problem converges to the Dirichlet problem, allowing them to leverage known uniqueness results for the Dirichlet case to establish uniqueness for the Robin case for sufficiently large $\beta$.
5. Perturbation Analysis: The paper extends these results to a perturbed problem involving a concave term ($\gamma u^q$ with $0 < q < 1$) using the method of sub- and supersolutions and the Mountain Pass Theorem.

Key Contributions and Results

• Theorem 1.1 (Uniqueness and Nondegeneracy near $p=1$): There exists a threshold $p_0 > 1$ such that for all $1 < p < p_0$, the problem admits exactly one positive solution. Furthermore, this solution is nondegenerate. This result holds for any bounded smooth domain $\Omega$ and any $\beta > 0$.
• Corollary 1.2: If $\Omega$ is a ball, the unique positive solution is radial for $1 < p < p_0$.
• Theorem 1.3 (Uniqueness for Radial Solutions on Balls): If $\Omega$ is a ball, $p$ is subcritical, and either $N=2$ or ($N \ge 3$ and $\beta \ge N-2$), then every positive radial solution is nondegenerate and unique. This extends the range of $p$ for which uniqueness is guaranteed in the radial case beyond the neighborhood of $p=1$.
• Theorem 1.4 (Uniqueness for Large $\beta$ on Convex Domains): If $\Omega$ is bounded and convex in $\mathbb{R}^2$, there exists a threshold $\beta^* > 0$ such that the minimizer of the associated energy functional is unique for all $\beta > \beta^*$.
• Theorem 1.5 (Multiplicity in Perturbed Problems): For the perturbed equation $-\Delta u = u^p + \gamma u^q$ (with $0 < q < 1$), there exists a threshold $\gamma^* > 0$ such that for $0 < \gamma < \gamma^*$, the problem admits exactly two positive solutions: a minimal solution $\bar{u}_\gamma$ (which tends to 0 as $\gamma \to 0$) and a second solution $u_\gamma$ (which converges to the unique positive solution of the unperturbed problem as $\gamma \to 0$).

Significance and Claims
The paper addresses a significant gap in the literature regarding the uniqueness of solutions to elliptic equations with Robin boundary conditions. The authors explicitly state that the method of moving planes is inapplicable to this boundary condition, necessitating the development of new analytical approaches.

The primary significance of the work lies in:

1. Establishing uniqueness for arbitrary $\beta > 0$ in the regime where $p$ is close to 1, a result that was previously open.
2. Providing specific conditions (domain geometry and parameter ranges) under which uniqueness holds for the entire subcritical range of $p$, particularly for radial solutions on balls.
3. Demonstrating the nondegeneracy of solutions, which is a crucial property for further qualitative analysis and stability studies.
4. Applying these uniqueness results to characterize the multiplicity of solutions in perturbed problems involving concave-convex nonlinearities.

The authors maintain a modest scope, focusing on proving existence and uniqueness under specific structural conditions rather than claiming a complete solution for all domains and all exponents. The results are derived through rigorous analysis of the linearized operator and asymptotic behavior, offering a robust framework for understanding the qualitative properties of Robin problems.