# certain smoothness of principal eigenvalue of Dirichlet Laplacian on polygons

For a given polygon $P_N$, with side lengths $x_1,\cdots,x_N$ and interior angles $\theta_1,\cdots,\theta_N$ let $\lambda(x_1,\cdots,x_N,\theta_1,\cdots,\theta_N)$ denote the least eigenvalue of Dirichlet Laplacian on $P_N$.

Question. Is $\lambda$ as a function of $x_1,\cdots,x_N,\theta_1,\cdots,\theta_N$ smooth in each variable?if not, is it at least twice continuously differentiable?

Edit 1. The exitence and continuity of the first derivative follows from Theorem 2.5.1 of A. Henrot's book.

• Look in Kato's book on perturbation theory. Analytic deformations --> analytic eigenbranches. – Neal Oct 31 '16 at 17:13
• @Neal I actually own Kato's thick book and probed its contents and subject index but couldnt find anything on neither analytic deformation nor eigen branches. Are you sure this topics are discussed in Kato's? – BigM Nov 1 '16 at 17:25
• Have you looked in Chapter 7, Analytic perturbation theory? – Neal Nov 1 '16 at 19:10

$P_N$ seems to be real analytic. Part L of the main theorem of