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

Let $f$ be a positive real-analytic function on the closed unit disk. Consider the eigenvalue problem $\Delta \phi = \lambda f \phi$, with $\phi = 0$ on the boundary. There exists a sequence of eigenvalues $\lambda_n$. Now suppose $f$ depends real-analytically on a parameter $t$ for $t$ in some interval containing $0$. Let $n$ be given and let $k$ be the dimension of the eigenspace of $\lambda_n$. Do there exist $k$ functions of $t$, defined on some interval about $t=0$, that are at least $C^1$ in $t$ and give $k$ eigenvalues of $t$, all of which equal $\lambda_n$ when $t=0$?

Remarks: (1) Courant-Hilbert, Methods of Mathematical Physics, vol. 1, page 419 proves continuity (i.e. $C^0$ dependence). You would think if $C^1$ dependence were known (in 1953) they would mention it.

(2) We do not require that the functions preserve the order of the eigenvalues. For example it might happen that $\lambda_2 < \lambda_3$ for $t < 0$ and $\lambda_2 > \lambda_3$ for $t > 0$, and maybe they cross transversally, though I do not know if this can really happen.

(3) Perhaps one can even get real-analytic dependence on $t$.

(4) There is a thick book by Kato on perturbation theory with a lot of theorems in it, one or more of which possibly contains the answer.

share|improve this question
    
Kato has a lot of results on this. The basic picture is: as long as the eigenvalues are distinct, they are smooth (analytic). When the cross each other, singularities may arise, but typically (in the selfadjoint case) they remain Lipschitz. In general crossings do occur. –  Piero D'Ancona Feb 14 '11 at 22:11
    
So are you saying that the answer is "no"? Or can it be that this Lipschitz behavior is because of insisting that the eigenvalues remain in order, i.e. monotonic in the subscript? –  Michael Beeson Feb 14 '11 at 22:21

1 Answer 1

up vote 6 down vote accepted

In your case I think you can apply Rellich's theorem, that is Theorem VII.3.9 in Kato's book (p.392 in my edition). The result states that, whenever you have a family of selfadjoint operators with compact resolvent, depending analytically on a real parameter on some open interval of the reals, with a common domain independent of the parameter (this is what Kato calls a family of type (A)), then you can enumerate both eigenvalues and eigenfunctions in such a way that they are analytic functions of the parameter in the same interval.

share|improve this answer
1  
+1. I should have written analytically instead of holomorphically, since the parameter is reel. Besides, it should be emphasized that the Theorem, true for one-parameter families, becaomes false for two parameters or more. The standard counter-example is $$\begin{pmatrix} x & y \\\\ y & -x \end{pmatrix}.$$ –  Denis Serre Feb 15 '11 at 8:02
    
Right, I meant analytically of course. Edited –  Piero D'Ancona Feb 15 '11 at 17:31

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.