3
$\begingroup$

I have a question about eigenvalue problem on the geodesic ball in $n$-dimensional sphere $\mathbb{S}^n\subset\mathbb{R}^{n+1}$.

Consider the eigenvalue problem in the geodesic ball $\Omega=\{x_{n+1}\geq c\}$ where $c\geq 0$:

$\Delta u+nu=0$ in $\Omega$

$u=0$ on $\partial\Omega$.

For the upper hemisphere, i.e. when $c=0$ and $\Omega=\{x_{n+1}\geq 0\}$, the first eigenfunction is given by $u=x_{n+1}$. My question is: for $c>0$, can we find the first eigenfunction explicitly? Can we write down the expression of the first eigenfunction, say, in terms of the coordinate functions? I was told it is related to Legendre function. But I am still not sure how to write down the expression.

$\endgroup$
2
  • $\begingroup$ I changed $n$ into $\lambda$. The eigenvalue is $n$ for $c=0$, but it an increasing function of $c$. $\endgroup$ Commented Apr 21, 2011 at 9:07
  • $\begingroup$ Thanks, Denis! You are exactly right. I changed it. And that's the question I would like to ask. Thanks. $\endgroup$
    – Paul
    Commented Apr 21, 2011 at 9:10

1 Answer 1

3
$\begingroup$

You have the following estimate (see (3.10) of Stability of minimal surfaces and eigenvalues of the Laplacian, Barbosa & do Carmo).

Let $D$ a simply connected domain of $S^2$,

if $\vert D\vert \leq 2\pi$ then $\lambda_1\geq \frac{4\pi}{\vert D\vert}$,

if $2\pi \leq \vert D\vert\leq 4\pi$ then $\lambda_1\leq \frac{2(4\pi-\vert D\vert)}{\vert D\vert}$.

You will find other estimate in the Book of Chavel: Isoperimetric inequalities.

Finally you can compute explicitly the solution since every thing is radial, but it depends of Bessel function if i remember well. Anyway there are solutions of an explicit second order o.d.e., which could be enough for numeric estimate.

$\endgroup$
1
  • $\begingroup$ This looks strange. Suppose that $|D|=2\pi$, then your inequalities give $\lambda_1=2$, not depending upon the shape of $D$. I can't believe it! When $D$ is a thin strip (therefore a long one), $\lambda_1$ must be large. Perhaps you mean an inequality $\lambda_1\ge\cdots$ in the second case. $\endgroup$ Commented Apr 6, 2012 at 16:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.