Convergence of spectrum

128 Views Asked by At

Consider a one-parameter real analytic family of metrics $g_t$ on a compact manifold $M$ converging to a metric $g$ in $C^k$-norm, for some $k$. It is known that the Laplace spectrum of $g_t$ will converge to the Laplace spectrum of $g$. However, is it clear that $\lambda_n(t)$ will converge to $\lambda_n$, where $0 \leq \lambda_1(t) \leq \lambda_2(t) \leq....$ denotes the Laplace spectrum of $g_t$, and $0 \leq \lambda_1 \leq \lambda_2 \leq.....$ denotes the Laplace spectrum of $g$? Thanks!

Addendum: I just found the following paper. Regarding the theorem on page 1, I wish to ask more generally: the theorem says that if the operators $A(t)$ are $C^M$, where $M$ could be $\omega, \infty$ or Holder class, then the eigenvalues of $A(t)$ can be parametrized (under certain conditions) to be $C^M$. But does that mean the following: if the operators $A(t)$ are positive, self-adjoint and have discrete spectrum, and for each $t$, we have $0 \leq \lambda_1(t) \leq \lambda_2(t) \leq....$ as the spectrum of $A(t)$, then are $\lambda_i(t)$ parametrized to be $C^M$?

Edit: This question is also posted on Mathoverflow. Please post your answers there. Thanks!