In the previous post we discussed that the classical FaberKrahn inequality for the first eigenvalue of the $p$Laplacian
can be refined in several ways, for instance, in the form
where $C>0$ is some coefficient and $\alpha$ is some deficiency factor.
However, in almost all improvements known for me, the refinement is given in a nonconstructive way. That is, at least the coefficient $C$ it not quantified. This causes some troubles if one wants to use such refinements for some particular domains $\Omega$ in order to get better lower estimates for $\lambda_1(\Omega)$. Nevertheless, in the linear case $p=2$ such quantification was done in [_{1}] (see also [_{2}] for an improvement).
In this post, I would like to transpose the arguments from [_{1}] to the nonlinear case $p \geq 2$. We will see how $C$ and $\alpha$ look like. Withal, the post could be served as a material to study some new techniques (at least for me :).
So, our main result is the following.
Theorem. Let $p \geq 2$. Let $\Omega \subset \mathbb{R}^2$ be a bounded simplyconnected domain. Let $B$ be a ball such that $\vert\Omega\vert = \vert B\vert$ and $r_0(\Omega)$ be its radius. Let $r_i(\Omega)$ be the inradius of $\Omega$. Define the interior deficiency of $\Omega$ as
Then the following inequality is satisfied:
\begin{equation}\label{eq:FKimp} \lambda_1(\Omega) \geq \lambda_1(B) \left(1 + \frac{\left(\sqrt{p^2+1}p\right)^p}{(p+1)(p+2)\pi^{p/2}} \, d_i(\Omega)^{p+1}\right). \end{equation}
Although the fraction in \eqref{eq:FKimp} is quite small and decreases to zero as $p \to \infty$, the expression in the brackets can be explicitly computed (estimated) for a given domain $\Omega$ and for any $p>1$.
Proof of Theorem. Let us assume, without loss of generality, that the first eigenfunction $u$ associated with $\lambda_1(\Omega)$ is normalized such that $\int_\Omega \vert u\vert^p \, dx = 1$. That is, we have
Denote by $u_0$ the spherical rearrangement of $u$, i.e., $u_0: B \to \mathbb{R}$ is rotation invariant, $u_0(\vert x\vert) \geq u_0(\vert y\vert)$ for $\vert x\vert<\vert y\vert$, and $\vert \{u_0 > t\}\vert = \vert \{u > t\}\vert $ for all $t \in [0, T]$, where $T$ is a maximum of $u$. Let us also denote $\varphi(t) := \vert \{u_0 > t\}\vert = \vert \{u > t\}\vert $ for $t \in [0, T]$.
Using the coarea formula (see, e.g., Theorem 2 in Section 3.4.3 on p. 117 in [_{3}])
we deduce that
Applying now the formula (31) on p. 161 of the wellknown paper of Brothers & Ziemer [_{4}] with $A(s) = s^p$ (or just using the Holder inequality), we get
Here we denote by $\sigma(\{u=t\})$ the $(N1)$dimensional Haussdorf measure of the set $\{u=t\}$. We also used the fact that (see Lemma 2.3 (iii) and formula (21) in [_{4}])
since the singular set $C:=\{ x:~ \vert \nabla u \vert(x) = 0 \}$ has zero Lebesgue measure, see the article of Lou [_{5}].
Therefore, we get
\begin{equation}\label{eq:1} \lambda_1(\Omega) = \int_\Omega \vert\nabla u\vert^p \, dx \geq \int_0^T \frac{\sigma^p(\{u=t\})}{(\varphi’(t))^{p1}} \, dt. \end{equation}
On the other hand, from the remark after formula (31) in [_{4}], we know that
which yields
\begin{equation}\label{eq:2} \int_\Omega \vert\nabla u_0\vert^p \,dx = \int_0^T \frac{\sigma^p(\{u_0=t\})}{(\varphi’(t))^{p1}} \, dt. \end{equation}
In particular, from the isoperimetric inequality $\sigma(\{u=t\}) \geq \sigma(\{u_0=t\})$ we deduce the classial FaberKrahn inequality $\lambda_1(\Omega) \geq \lambda_1(B)$:
Our aim now is to improve the inequality $\sigma^p(\{u=t\}) \geq \sigma^p(\{u_0=t\})$. Assume, without loss of generality due to rescaling, that $\vert \Omega\vert = 1$.
We use the Bonnesen inequality (see, e.g., [_{6}] or [_{7}]) for a closed Jordan curve, which connects the lenght $L$ of the curve, bounded area $A$, inradius $r_i$ and circumradius $R$ as
Note that circumradius of $\Omega$ is always greater or equal to $r_0(\Omega)$. Therefore, we have
Let us chose $s \in (0, T)$ such that
Then, by Lemma 5.2 of [_{1}], we have for any $t \in (0,s]$ that
which implies that
or, in an equivalent way,
Since $p \geq 2$, it holds $(A+B)^{p/2} \geq A^{p/2} + B^{p/2}$, and hence we deduce that
for any $t \in (0,s]$.
Substituting this inequality into \eqref{eq:1}, and recalling that $\sigma^p(\{u=t\}) \geq \sigma^p(\{u_0=t\})$ for all $t \in (s,T)$ (for all $t$, in general), we obtain
\begin{equation}\label{eq:3} \lambda_1(\Omega) \geq \int_0^T \frac{\sigma^p(\{u_0=t\})}{(\varphi’(t))^{p1}} \, dt + \pi^{p/2} \left(r_0(\Omega)r_i(\Omega)\right)^p \int_0^s \frac{dt}{(\varphi’(t))^{p1}}. \end{equation}
We want to estimate the last integral. For this end, we note that, by the Holder inequality,
Therefore, noting that
we get
Putting this inequality into \eqref{eq:3} and recalling \eqref{eq:2}, we obtain
Moreover, since $r_0(\Omega)r_i(\Omega) = r_0(\Omega) d_i(\Omega)$, and the assumption $\vert \Omega \vert = 1$ implies $r_0(\Omega) = \pi^{1/2}$, we get
Now we want to put this inequality into the form we need.
For this end, let us fix some $\alpha \in (0,1)$. (We will clarify it later.) Assume first that $s \geq \alpha d_i(\Omega)$. Then
Using an upper bound (4) for $\lambda_1(B)$ from [_{8}] and recalling that $r_0(\Omega) = \pi^{1/2}$, we get
which implies that
\begin{equation}\label{eq:part1} \lambda_1(\Omega) \geq \lambda_1(B) \left(1 + \frac{2^p \alpha^p}{(p+1)(p+2)\pi^{p/2}} d_i(\Omega)^{p+1}\right). \end{equation}
Assume now that $s \leq \alpha d_i(\Omega)$. First, we get
\begin{equation}\label{eq:5} \int_{\{u>s\}} \vert us\vert^p \, dx = \int_{\{u>s\}} \left\vert (us)^2\right\vert^\frac{p}{2} \, dx = \int_{\{u>s\}} \left\vert u^2  2 s u + s^2\right\vert^\frac{p}{2} \, dx = \int_{\{u>s\}} u^p \left\vert 1  \frac{2 s}{u} + \frac{s^2}{u^2}\right\vert^\frac{p}{2} \, dx. \end{equation}
Recalling that $p \geq 2$ and using the Bernoullitype inequality $\vert 1+x \vert^{p/2} \geq 1+\frac{p}{2}x$, $x \in \mathbb{R}$, we obtain
\begin{equation}\label{eq:6} \eqref{eq:5} \geq \int_{\{u>s\}} u^p \left(1  \frac{s p}{u} + \frac{s^2 p}{2u^2}\right) \, dx = \int_{\{u>s\}} u^p \, dx  s p \int_{\{u>s\}} u^{p1} \, dx + \frac{s^2 p}{2} \int_{\{u>s\}} u^{p2} \, dx. \end{equation}
We estimate from below the last integral by zero. Moreover, since $\vert \Omega\vert =1$ and $\int_\Omega u^p \, dx = 1$, we obtain $\int_\Omega u^{p1} \leq 1$. Therefore, we can write
Noting that $s^p < s^2$ for $s \in (0,1)$, we see that the positive root of $1  s^p  sp=0$ can be estimated from below by $s_0 = \frac{\sqrt{p^2+4}p}{2}$. For further simplicity of calculations, it would be convenient to introduce $s_1 = \frac{\sqrt{p^2+1}p}{2}$, and hence $s_1 < s_0$. Since $1  s^p  sp$ is strictly decreasing on $(0, s_0)$, and $d_i(\Omega) < 1$, we get
for all $s \in (0,s_1 d_i(\Omega))$. Moreover, it is possible to show (in fact, I didn’t prove it rigorously, but the plot suggests so) that for all $p \geq 2$ it holds
Thus, we finally obtain nice estimate
Now, we have
and hence we conclude that
It can be shown that
Indeed, if we can try to find a constant $A>0$ such that
then it is sufficient for $A$ to satisfy
It should be possible to show that the righthand side here is strictly decreasing with respect to $d_i(\Omega) \in (0,1)$. Hence, calculating the righthand side at $d_i(\Omega)=1$, we get $A \leq 2^\frac{p4}{2} 31$.
Thus, we counclude that
\begin{equation}\label{eq:part2} \lambda_1(\Omega) \geq \lambda_1(B) \left(1 + \left(2^\frac{p4}{2} 3  1\right) d_i(\Omega)^{p+1} \right) \end{equation}
for all $s \leq s_1 d_i(\Omega)$. Hance, we put $\alpha = s_1 = \frac{\sqrt{p^2+1}p}{2}$. Substituting this $\alpha$ into \eqref{eq:part1}, we get
\begin{equation}\label{eq:part12} \lambda_1(\Omega) \geq \lambda_1(B) \left(1 + \frac{\left(\sqrt{p^2+1}p\right)^p}{(p+1)(p+2)\pi^{p/2}} \, d_i(\Omega)^{p+1}\right). \end{equation}
Finally, one can convince himself that the expression in the brackets in \eqref{eq:part2} is strictly smaller that the corresponding one in \eqref{eq:part12}. Therefore, we conclude that \eqref{eq:part12} is valid for all $s \in (0,T)$. The proof is complete.
Remark. It is clear that almost all inequalities used in the proof are not optimal. Therefore, the fraction in \eqref{eq:part12} could be improved (possibly substantially). In particular, in [_{1}] for the case $p=2$ the coefficient for $d_i(\Omega)^3$ was estimated as $\frac{1}{250}$. If we substitute $p=2$ into \eqref{eq:part12}, then our coefficient will be worse.
Last modified: 29Jan18
Bibliography

Hansen, W., & Nadirashvili, N. (1994). Isoperimetric inequalities in potential theory. Potential Analysis, 3(1), 114. ↩ ↩^{2} ↩^{3} ↩^{4}

Bourgain, J. (2013). On Pleijel’s nodal domain theorem. arXiv preprint arXiv:1308.4422. ↩

Evans, L. C., & Gariepy, R. F. (2015). Measure theory and fine properties of functions. CRC press. ↩

Brothers, J. E., & Ziemer, W. P. (1988). Minimal rearrangements of Sobolev functions. J. reine angew. Math, 384(1), 988. ↩ ↩^{2} ↩^{3}

Lou, H. (2008). On singular sets of local solutions to $p$Laplace equations. Chinese Annals of MathematicsSeries B, 29(5), 521530. ↩

Bonnesen, T. (1924). Über das isoperimetrische Defizit ebener Figuren. Mathematische Annalen, 91(3), 252268. ↩

Fuglede, B. (1991). Bonnesen’s inequality for the isoperimetric deficiency of closed curves in the plane. Geometriae Dedicata, 38(3), 283300. ↩

Benedikt, J., & Drábek, P. (2012). Estimates of the principal eigenvalue of the $p$Laplacian. Journal of Mathematical Analysis and Applications, 393(1), 311315. ↩