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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .