Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

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

1 Answer 1

up vote 2 down vote accepted

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.

share|improve this answer
    
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. –  Denis Serre Apr 6 '12 at 16:01

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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