Uniqueness and multiple existence of positive radial solutions of the Brezis-Nirenberg Problem on annular domains in ${\mathbb{S}}^3$

The uniqueness and multiple existence of positive radial solutions to the Brezis-Nirenberg problem on a domain in the 3-dimensional unit sphere ${\mathbb{S}}^3$ \begin{equation*} \left{ \begin{aligned} Δ_{{\mathbb S}^3}U -λU + U^p&=0,, U>0 && $\text{in }{\mathrm{\Omega }}_{{\theta }_1,{\theta }_2}\text{,}$\ U &= 0&&$\text{on }\mathrm{\partial }{\mathrm{\Omega }}_{{\theta }_1,{\theta }_2}\text{,}$ \end{aligned} \right. \end{equation*} for $-{\lambda }_1<\lambda \le 1$ are shown, where ${\mathrm{\Delta }}_{{\mathbb{S}}^3}$ is the Laplace-Beltrami operator, ${\lambda }_1$ is the first eigenvalue of $-{\mathrm{\Delta }}_{{\mathbb{S}}^3}$ and ${\mathrm{\Omega }}_{{\theta }_1,{\theta }_2}$ is an annular domain in ${\mathbb{S}}^3$: whose great circle distance (geodesic distance) from $(0,0,0,1)$ is greater than ${\theta }_1$ and less than ${\theta }_2$. A solution is said to be radial if it depends only on this geodesic distance. It is proved that the number of positive radial solutions of the problem changes with respect to the exponent $p$ and parameter $\lambda$ when ${\theta }_1=\epsilon$, ${\theta }_2=\pi -\epsilon$ and $0<\epsilon$ is sufficiently small.