Monday September 14

Rafael Benguria (PUC)

The Brezis-Nirenberg Problem on S^n, in spaces of fractional dimension

Abstract: We consider the nonlinear eigenvalue problem,

-Delta_{mathbb{S^n}} u = lambda u + |u|^{4/(n-2)} u,

with $u in H_0^1(Omega)$, where $Omega$ is a  geodesic ball in S^n.
In dimension 3, this problem was considered by  Bandle and Benguria.
For positive radial solutions of this problem one is led to an
ordinary differential equation (ODE) that still makes sense when n is
a real rather than a natural number. Here we consider precisely that
situation with 2<n<4. Our main result is that in this case one has a
positive solution if and only if $lambda ge -n(n-2)/4$ is such that

frac{1}{4} [(2 ell_2 +1)^2 – (n-1)^2] < lambda < frac{1}{4} [(2
ell_1 +1)^2 – (n-1)^2]

where $ell_1$ (respectively $ell_2$) is the first positive value of
$ell$ for which the associated Legendre function ${rm
P}_{ell}^{(2-n)/2} (costheta_1)$ (respectively ${rm
P}_{ell}^{(n-2)/2} (costheta_1)$) vanishes.