## Stability of the spectrum for perturbations of the boundary

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Consider the Laplace operator on a smooth bounded open set with Dirichlet boundary conditions. I need some result of the following type: if one perturbs the boundary in a suitable sense to be determined, say depending on a small parameter $\epsilon$, then it is possible to order eigenvalues and eigenfunctions so that they are smooth functions of $\epsilon$ and spatial variables. At first this seemed a very natural result, but the total scarcity of references suggests otherwise, and I am starting to think that this kind of result is rather difficult, if one wants to achieve some generality. Has anyone encountered any result in this direction?

-

Assume your domains are diffeomorphic to a ball. Then instead of looking at the Laplace operator on the domain, you can look at the Laplace-Beltrami on the ball with a strange metric. This reduces the problem to comparing the Laplace operator for two different metrics. If I remember correctly, the main terms will be the same, so all that is left is a small perturbation in an appropriate operator theoretical sense. There might be quite a few details here that are annoying to work out, in particular if the closeness of metrics corresponds to the closeness you want. – Helge Jul 21 at 0:00
Indeed, but I guess one can obtain at most the asymptotics of eigenvalues and some quantities connected with the eigenfunctions, while I need more or less a sort of Fourier expansion depending on the parameter (probably too much) – Piero D'Ancona Jul 21 at 17:25

## 3 Answers

This is true, as long as your domain depends smoothly upon one real parameter. Say that you are insterested in the $n$ first eigenvalues. Using a Lyapunov-Schmidt procedure, you may reduce to the situation of an $n\times n$ symmetric matrix $S(\epsilon)$. Then look at Kato's book in the Grundlehren series.

If instead your domain depends on two or more parameters, the matrix $S$ will depend on several variables, and the eigenvalues will not be smooth functions, unless they remain simple.

-
Thank you Denis. Actually the domains I have in mind are sections of a higher dimensional domain, and I am looking for sensible assumptions on the global domain such that the sections have (locally) similar spectral properties. Clearly in the greatest generality this seems hopeless, but maybe for domains with a special structure... – Piero D'Ancona Jun 4 at 19:09
By the way, when I say smooth I mean $C^2$, but I could probably go a long way with Lipschitz only – Piero D'Ancona Jun 4 at 19:11

1
I remember that F. Murat wrote a paper on the dependency of elliptic BVPs upon the domain. – Denis Serre Jun 5 at 5:05

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Look at Perturbation of the boundary in boundary-value problems in partial differential equations'' by Dan Henry, London Math Society Lecture Notes #318

-

Thank you, I'll take a look – Piero D'Ancona Jun 4 at 19:09
Ah, now I recall I already checked that book, but it gave information on the eigenvalues mostly. I would rather need some kind of Fourier expansion depending on the parameter(s). It is easy to conceive some special cases (e.g. a ball with varying radius) and I was hoping some more general class of examples could be known. – Piero D'Ancona Jun 4 at 19:21

Hello, My name is Marcus Morocco. My doctoral thesis was on exactly these issues. I calculated the expressions for the first and second derivatives of eigenvalues ​​and eigenvectors of the laplace opelador ccom Neumann boundary condition. If interest can send the file.

-

Thank you for the info. Did you publish your results? – Piero D'Ancona Jul 21 at 17:23
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 7, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8969725370407104, "perplexity_flag": "head"}