In a recently published (but submitted a long time ago) article [1] by S. Kolonitskii and myself, we studied the dependence of the least critical levels of the energy functional

upon domain perturbations driven by a family of diffeomorphisms

Here $F$ satisfies certain rather classical conditions.

Let us take an arbitrary minimizer $v_0$ of $E$ over the Nehari manifold $\mathcal{N}(\Omega)$ and consider a function $v_t(y) := v_0(\Phi_t^{-1}(y))$, $y \in \Omega_t$. One of the main results of our paper is the following Hadamard-type formula:

where $\alpha(v_t) \in \mathbb{R}$ is a normalization coefficient such that $\alpha(v_t) v_t \in \mathcal{N}(\Phi_t(\Omega))$, and $n$ is the outward unit normal vector to $\partial \Omega$.

In the particular case $F(u) = |u|^q$, $q \in [1, p^*)$, it can easily be checked that the finding of the least critical level of $E$ can be restated as the finding of minimum for the problem

As a corollary of the proof of the Hadamard formula above, we obtain the following fact. If $u_0$ is a minimizer of $\mu_q(\Omega)$ normalized such that $|u_0|_{L^q(\Omega)} = 1$, and $u_t(y) := u_0(\Phi_t^{-1}(y))$, $y \in \Omega_t$, then

$$\label{eq:had2} \left. \frac{\partial J(u_t)}{\partial t} \right|_{t=0} = - (p-1) \int_{\partial \Omega} \left| \frac{\partial u_0}{\partial n} \right|^p \left<R, n\right> \, d\sigma.$$

Short historical remark. If $q=p$, then $\mu_p(\Omega)$ is the first eigenvalue of the $p$-Laplacian, and the formula \eqref{eq:had2} (in fact, the actual derivative of $\mu_p(\Omega)$) was established by Garcia Melian & Sabina de Lis [2] in (2001) for $p>1$, and by Lamberti [3] in (2003) for $p \geq 2$. In the case $p=2$, this formula goes back to Hadamard (1908), see, e.g., [4].

However it appeared recently that the nonlinear case has been studied much earlier in a work of Roppongi [5] who established the Hadamard formula \eqref{eq:had2} for $p \geq 2$ and $q \geq p$ in (1994). In fact, the article of Roppongi is build upon the article of Osawa [6] who considered the case $p=2$, $q>2$. Moreover, Osawa also treated the Hadamard formula under the Robin boundary condition and the Neumann boundary condition. The reader will be able to find easily a few more related works of this Japanese group by looking at citations of Osawa’s article. Later, in (2017), the Hadamard formula \eqref{eq:had2} was independently stated in [7] by referring to the arguments from [2].

It is quite a pity that we didn’t know these references before and didn’t include them in our paper. Moreover, it seems that these works of the Japanese group are forgotten and have not being cited in related contemporary research. It makes sense to revive them.

The PDF-version of this post can be found here.

# Bibliography

1. Bobkov, V., & Kolonitskii, S. (2020). On qualitative properties of solutions for elliptic problems with the $p$-Laplacian through domain perturbations. Communications in Partial Differential Equations, 45(3), 230-252.

2. Garcia Melian, J., & Sabina de Lis, J. (2001). On the perturbation of eigenvalues for the $p$-Laplacian. Comptes Rendus de l’Acad'emie des Sciences-Series I-Mathematics, 332(10), 893-898.  2

3. Lamberti, P. D. (2003). A differentiability result for the first eigenvalue of the $p$-Laplacian upon domain perturbation. Nonlinear analysis and applications: to V. Lakshmikantham on his 80th birthday, 1(2), 741-754.

4. Garabedian, P. R., & Schiffer, M. (1952). Convexity of domain functionals. Journal d’Analyse Math'ematique, 2(2), 281-368.

5. Roppongi, S. (1994). The Hadamard variation of the ground state value of some quasi-linear elliptic equations. Kodai Mathematical Journal, 17(2), 214-227.

6. Osawa, T. (1992). The Hadamard variational formula for the ground state value of $-\Delta u = \lambda |u|^{p-1} u$. Kodai Mathematical Journal, 15(2), 258-278.

7. Carroll, T., Fall, M. M., & Ratzkin, J. (2017). On the rate of change of the sharp constant in the Sobolev-Poincare inequality. Mathematische Nachrichten, 290(14-15), 2185-2197.