Second radial eigenfunctions to a fractional Dirichlet problem and uniqueness for a semilinear equation
Mouhamed Moustapha Fall, Tobias Weth
TL;DR
The paper analyzes the radial second eigenfunctions of the fractional Dirichlet operator $(-\Delta)^s+V$ on the unit ball with radial, nondecreasing $V$, proving that the second radial eigenvalue $\sigma_2(V)$ is simple and its eigenfunction $w_2$ changes sign exactly once in the radial variable; it also establishes a nonvanishing fractional boundary derivative via a new Hopf-type lemma. Leveraging a rearrangement argument and a continuation from the classical Dirichlet Laplacian, the authors obtain a sharp nodal structure, including a two-nodal-domain property for the $s$-harmonic extension, and derive a local Hopf boundary behavior $\psi_{w_2}(1)<0$ under regularity of $V$. These spectral results feed into a nonlinear analysis showing uniqueness and nondegeneracy of positive ground state solutions to the semilinear problem $(-\Delta)^s u+\lambda u=u^p$ in $B$ with $u=0$ outside, for subcritical $p$; the approach relies on a combination of rearrangement, variational characterizations, and a localized fractional Hopf lemma. Overall, the work extends understanding of nodal properties and boundary behavior for nonlocal Dirichlet problems and their nonlinear consequences in a bounded domain.
Abstract
We analyze the shape of radial second Dirichlet eigenfunctions of fractional Schrödinger type operators of the form $(-Δ)^s +V$ in the unit ball $B$ in $\mathbb{R}^N$ with a nondecreasing radial potential $V$. Specifically, we show that the eigenspace corresponding to the second radial eigenvalue is simple and spanned by an eigenfunction $u$ which changes sign precisely once in the radial variable and does not have zeroes anywhere else in $B$. Moreover, by a new Hopf type lemma for supersolutions to a class of degenerate mixed boundary value problems, we show that $u$ has a nonvanishing fractional boundary derivative on $\partial B$. We apply this result to prove uniqueness and nondegeneracy of positive ground state solutions to the problem $(-Δ)^s u+λu=u^p$ on ${B}$, $\; u=0$ on $\mathbb{R}^N\setminus B$. Here $s\in (0,1)$, $λ\geq 0$ and $p>1$ is strictly smaller than the critical Sobolev exponent.
