Show Summary Details
More options …

Editor-in-Chief: Radulescu, Vicentiu / Squassina, Marco

IMPACT FACTOR 2018: 6.636

CiteScore 2018: 5.03

SCImago Journal Rank (SJR) 2018: 3.215
Source Normalized Impact per Paper (SNIP) 2018: 3.225

Mathematical Citation Quotient (MCQ) 2018: 3.18

Open Access
Online
ISSN
2191-950X
See all formats and pricing
More options …
Volume 9, Issue 1

# Sharp estimates on the first Dirichlet eigenvalue of nonlinear elliptic operators via maximum principle

Francesco Della Pietra
/ Giuseppina di Blasio
/ Nunzia Gavitone
• Dipartimento di Matematica e Applicazioni “R. Caccioppoli”, Università degli studi di Napoli Federico II, Via Cintia, Monte S. Angelo – 80126 Napoli, Italy
• Email
• Other articles by this author:
Published Online: 2018-09-20 | DOI: https://doi.org/10.1515/anona-2017-0281

## Abstract

In this paper, we study optimal lower and upper bounds for functionals involving the first Dirichlet eigenvalue ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$ of the anisotropic p-Laplacian, $1. Our aim is to enhance, by means of the $\mathcal{𝒫}$-function method, how it is possible to get several sharp estimates for ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$ in terms of several geometric quantities associated to the domain. The $\mathcal{𝒫}$-function method is based on a maximum principle for a suitable function involving the eigenfunction and its gradient.

MSC 2010: 35P30; 49Q10

## 1 Introduction

Given a bounded domain $\mathrm{\Omega }\subset {ℝ}^{N}$ and $p\in \right]1,+\mathrm{\infty }\left[$, let us consider the first Dirichlet eigenvalue of the anisotropic p-Laplacian, that is,

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)=\underset{\psi \in {W}_{0}^{1,p}\left(\mathrm{\Omega }\right)\setminus \left\{0\right\}}{\mathrm{min}}\frac{{\int }_{\mathrm{\Omega }}F{\left(\nabla \psi \right)}^{p}dx}{{\int }_{\mathrm{\Omega }}{|\psi |}^{p}dx},$

where $F:{ℝ}^{N}\to \left[0,+\mathrm{\infty }\left[$, $N\ge 2$, is a convex, even, 1-homogeneous ${C}^{3,\beta }\left({ℝ}^{N}\setminus \left\{0\right\}\right)$-function such that ${\left[{F}^{p}\right]}_{\xi \xi }$ is positive definite in ${ℝ}^{N}\setminus \left\{0\right\}$, $1. We are interested in the study of optimal lower and upper bounds for functionals involving ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$. In this order of ideas, our aim is to enhance how these estimates may be obtained as a consequence of a maximum principle for a function which involves an eigenfunction and its gradient, namely, the so-called $\mathcal{𝒫}$-function, introduced by L. E. Payne in the case of the classical Euclidean Laplace operator. We refer the reader to the book by Sperb [29] and the references contained therein for a survey on the $\mathcal{𝒫}$-function method in the Laplacian case and its applications. More precisely, if u is a positive eigenfunction associated to ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$, we introduce the function

$\mathcal{𝒫}:=\left(p-1\right){F}^{p}\left(\nabla u\right)+{\lambda }_{F}\left(p,\mathrm{\Omega }\right)\left({u}^{p}-{M}^{p}\right),$(1.1)

where M is the maximum value of u. We show that the function $\mathcal{𝒫}$ verifies a maximum principle in $\overline{\mathrm{\Omega }}$ in order to get a pointwise estimate for the gradient in terms of u. This is the starting point to prove several useful bounds, involving quantities which depend on the domain Ω. As a matter of fact, the use of the $\mathcal{𝒫}$-function method in the anisotropic setting has been studied in the recent paper [14]. Here, the authors consider the p-anisotropic torsional rigidity

${T}_{F}^{p-1}\left(p,\mathrm{\Omega }\right)=\underset{\psi \in {W}_{0}^{1,p}\left(\mathrm{\Omega }\right)\setminus \left\{0\right\}}{sup}\frac{{\left({\int }_{\mathrm{\Omega }}|\psi |dx\right)}^{p}}{{\int }_{\mathrm{\Omega }}F{\left(\nabla \psi \right)}^{p}dx}$(1.2)

and show optimal bounds for two functionals involving ${T}_{F}\left(p,\mathrm{\Omega }\right)$ and some geometric quantities related to the domain. In this spirit, we aim to analyze the case of the eigenvalue problem. Given a convex, bounded domain $\mathrm{\Omega }\subset {ℝ}^{N}$, our main results can be summarized as follows: We prove the anisotropic version of the Hersch inequality for ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$, namely, that

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)\ge {\left(\frac{{\pi }_{p}}{2}\right)}^{p}\frac{1}{{R}_{F}{\left(\mathrm{\Omega }\right)}^{p}},$(1.3)

where ${R}_{F}\left(\mathrm{\Omega }\right)$ is the anisotropic inradius defined in Section 2, and

${\pi }_{p}:=2{\int }_{0}^{{\left(p-1\right)}^{\frac{1}{p}}}\frac{dt}{{\left[1-\frac{{t}^{p}}{p-1}\right]}^{\frac{1}{p}}}=2\pi \frac{{\left(p-1\right)}^{\frac{1}{p}}}{p\mathrm{sin}\frac{\pi }{p}}.$(1.4)

Regarding the Euclidean setting, for $p=2$, inequality (1.3) has been proved by Hersch [18], improved in [27] and generalized for any p in [19] (see also [26]). In the general anisotropic case or $p=2$, it has been studied in [6, 33]. Another consequence of the maximum principle for $\mathcal{𝒫}$ that we obtain is the inequality

${\left(\frac{p-1}{p}\right)}^{p-1}{\left(\frac{{\pi }_{p}}{2}\right)}^{p}\le {\lambda }_{F}\left(p,\mathrm{\Omega }\right){M}_{{v}_{\mathrm{\Omega }}}^{p-1},$(1.5)

where ${v}_{\mathrm{\Omega }}$ is the positive maximizer of (1.2) such that

${T}_{F}\left(p,\mathrm{\Omega }\right)={\int }_{\mathrm{\Omega }}{v}_{\mathrm{\Omega }}dx,$

and ${M}_{{v}_{\mathrm{\Omega }}}$ is the maximum of ${v}_{\mathrm{\Omega }}$. Inequality (1.5), in the Euclidean case ($p=2$), has been first proved in [24] and then studied also, for instance, in [29, 31, 17].

The last main result we show is the following: Let u be a first eigenfunction relative to ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$, and consider the so-called anisotropic “efficiency ratio”

${E}_{F}\left(p,\mathrm{\Omega }\right):=\frac{{\parallel u\parallel }_{p-1}}{{|\mathrm{\Omega }|}^{\frac{1}{p-1}}{\parallel u\parallel }_{\mathrm{\infty }}}.$

Then we prove that

${E}_{F}\left(p,\mathrm{\Omega }\right)\le \frac{1}{{\left(p-1\right)}^{\frac{1}{p}}}{\left(\frac{2}{{\pi }_{p}}\right)}^{\frac{1}{p-1}},$(1.6)

where ${\pi }_{p}$ is defined in (1.4). In the Euclidean case and $p=2$, this inequality is due to Payne and Stakgold, who proved it in [25].

Finally, we show the optimality in (1.3) and (1.5), while the optimality of (1.6) in the class of convex sets is still an open problem.

As a matter of fact, the convexity assumption in (1.3), (1.5) and (1.6) can be weakened, since they are also valid in the case of smooth domains with anisotropic nonnegative mean curvature (see Section 2 for the definition).

In the present paper, we also emphasize the relation of ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$ to the so-called anisotropic Cheeger constant ${h}_{F}\left(\mathrm{\Omega }\right)$ (see Section 3 for the definition). Indeed, in the class of convex sets, we prove the validity of a Cheeger-type inequality for ${\lambda }_{F}$, as well as a reverse Cheeger inequality.

The paper is organized as follows: In Section 2, we fix the notation and recall some basic facts regarding the eigenvalue problem for the anisotropic p-Laplacian and the torsional rigidity ${T}_{F}\left(p,\mathrm{\Omega }\right)$. Section 3 is devoted to the study of ${h}_{F}\left(\mathrm{\Omega }\right)$. More precisely, we recall the definition and the main properties, and we prove optimal lower and upper bounds for ${h}_{F}\left(\mathrm{\Omega }\right)$ in terms of the anisotropic inradius ${R}_{F}\left(\mathrm{\Omega }\right)$ of a convex set Ω. In Section 4, we prove that the $\mathcal{𝒫}$-function in (1.1) verifies a maximum principle. Finally, in Section 5, we prove the quoted results (1.3), (1.5), (1.6) and a reverse Cheeger inequality investigating also the optimality issue.

## 2 Notation and preliminaries

Throughout the paper, we will consider a convex, even, 1-homogeneous function

$\xi \in {ℝ}^{N}↦F\left(\xi \right)\in \left[0,+\mathrm{\infty }\left[,$

that is, a convex function such that

$F\left(t\xi \right)=|t|F\left(\xi \right),t\in ℝ,\xi \in {ℝ}^{N},$(2.1)

and such that

$a|\xi |\le F\left(\xi \right),\xi \in {ℝ}^{N},$(2.2)

for some constant $a>0$. The hypotheses on F imply that there exists $b\ge a$ such that

$F\left(\xi \right)\le b|\xi |,\xi \in {ℝ}^{N}.$

Moreover, throughout the paper, we will assume that $F\in {C}^{3,\beta }\left({ℝ}^{N}\setminus \left\{0\right\}\right)$, and

${\left[{F}^{p}\right]}_{\xi \xi }\left(\xi \right)\text{is positive definite in}{ℝ}^{N}\setminus \left\{0\right\}$(2.3)

with $1.

The hypothesis (2.3) on F ensures that the operator

${\mathcal{𝒬}}_{p}u:=\mathrm{div}\left(\frac{1}{p}{\nabla }_{\xi }\left[{F}^{p}\right]\left(\nabla u\right)\right)$

is elliptic, hence there exists a positive constant γ such that

$\frac{1}{p}\sum _{i,j=1}^{n}{\nabla }_{{\xi }_{i}{\xi }_{j}}^{2}\left[{F}^{p}\right]\left(\eta \right){\xi }_{i}{\xi }_{j}\ge \gamma {|\eta |}^{p-2}{|\xi |}^{2}$

for any $\eta \in {ℝ}^{n}\setminus \left\{0\right\}$ and for any $\xi \in {ℝ}^{n}$. The polar function ${F}^{o}:{ℝ}^{N}\to \left[0,+\mathrm{\infty }\left[$ of F is defined as

${F}^{o}\left(v\right)=\underset{\xi \ne 0}{sup}\frac{〈\xi ,v〉}{F\left(\xi \right)}.$

It is easy to verify that also ${F}^{o}$ is a convex function which satisfies properties (2.1) and (2.2). Furthermore,

$F\left(v\right)=\underset{\xi \ne 0}{sup}\frac{〈\xi ,v〉}{{F}^{o}\left(\xi \right)}.$

From the above property, it holds that

$|〈\xi ,\eta 〉|\le F\left(\xi \right){F}^{o}\left(\eta \right)\mathit{ }\text{for all}\xi ,\eta \in {ℝ}^{N}.$(2.4)

The set

$\mathcal{𝒲}=\left\{\xi \in {ℝ}^{N}:{F}^{o}\left(\xi \right)<1\right\}$

is the so-called Wulff shape centered at the origin. We put ${\kappa }_{N}=|\mathcal{𝒲}|$, where $|\mathcal{𝒲}|$ denotes the Lebesgue measure of $\mathcal{𝒲}$. More generally, we denote by ${\mathcal{𝒲}}_{r}\left({x}_{0}\right)$ the set $r\mathcal{𝒲}+{x}_{0}$, that is, the Wulff shape centered at ${x}_{0}$ with measure ${\kappa }_{N}{r}^{N}$ and ${\mathcal{𝒲}}_{r}\left(0\right)={\mathcal{𝒲}}_{r}$.

The following properties of F and ${F}^{o}$ hold true:

$〈{F}_{\xi }\left(\xi \right),\xi 〉=F\left(\xi \right),〈{F}_{\xi }^{o}\left(\xi \right),\xi 〉={F}^{o}\left(\xi \right)$$\text{for all}\xi \in {ℝ}^{N}\setminus \left\{0\right\}$$F\left({F}_{\xi }^{o}\left(\xi \right)\right)={F}^{o}\left({F}_{\xi }\left(\xi \right)\right)=1$$\text{for all}\xi \in {ℝ}^{N}\setminus \left\{0\right\},$${F}^{o}\left(\xi \right){F}_{\xi }\left({F}_{\xi }^{o}\left(\xi \right)\right)=F\left(\xi \right){F}_{\xi }^{o}\left({F}_{\xi }\left(\xi \right)\right)=\xi$$\text{for all}\xi \in {ℝ}^{N}\setminus \left\{0\right\}.$

## 2.1 Anisotropic mean curvature

Let Ω be a ${C}^{2}$-bounded domain, let ${n}_{\mathcal{ℰ}}\left(x\right)$ be the unit outer normal at $x\in \partial \mathrm{\Omega }$, and let $u\in {C}^{2}\left(\overline{\mathrm{\Omega }}\right)$ such that ${\mathrm{\Omega }}_{t}=\left\{u>t\right\}$, $\partial {\mathrm{\Omega }}_{t}=\left\{u=t\right\}$ and $\nabla u\ne 0$ on $\partial {\mathrm{\Omega }}_{t}$. The anisotropic outer normal ${n}_{F}$ to $\partial {\mathrm{\Omega }}_{t}$ is given by

${n}_{F}\left(x\right)={F}_{\xi }\left({n}_{\mathcal{ℰ}}\left(x\right)\right)={F}_{\xi }\left(-\nabla u\right),x\in \partial \mathrm{\Omega }.$

It holds

${F}^{o}\left({n}_{F}\right)=1.$

The anisotropic mean curvature of $\partial {\mathrm{\Omega }}_{t}$ is defined as

${\mathcal{ℋ}}_{F}\left(x\right)=\mathrm{div}\left({n}_{F}\left(x\right)\right)=\mathrm{div}\left[{\nabla }_{\xi }F\left(-\nabla u\left(x\right)\right)\right],x\in \partial {\mathrm{\Omega }}_{t}.$

It holds that

$\frac{\partial u}{\partial {n}_{F}}=\nabla u\cdot {n}_{F}=\nabla u\cdot {F}_{\xi }\left(-\nabla u\right)=-F\left(\nabla u\right).$(2.5)

In [14], it has been proved that, for a smooth function u on its level sets $\left\{u=t\right\}$, it holds

${\mathcal{𝒬}}_{p}u={F}^{p-2}\left(\nabla u\right)\left(\frac{\partial u}{\partial {n}_{F}}{\mathcal{ℋ}}_{F}+\left(p-1\right)\frac{{\partial }^{2}u}{\partial {n}_{F}^{2}}\right).$(2.6)

Finally, we recall the definition of the anisotropic distance from the boundary and the anisotropic inradius. Let us consider a bounded domain Ω, that is a connected, open set of ${ℝ}^{N}$ with nonempty boundary. The anisotropic distance of $x\in \overline{\mathrm{\Omega }}$ to the boundary of $\partial \mathrm{\Omega }$ is the function

${d}_{F}\left(x\right)=\underset{y\in \partial \mathrm{\Omega }}{inf}{F}^{o}\left(x-y\right),x\in \overline{\mathrm{\Omega }}.$

We stress that when $F=|\cdot |$, then ${d}_{F}={d}_{\mathcal{ℰ}}$, the Euclidean distance function from the boundary. It is not difficult to prove that ${d}_{F}\in {W}_{0}^{1,\mathrm{\infty }}\left(\mathrm{\Omega }\right)$, and using the property of F, we have

$F\left(\nabla {d}_{F}\left(x\right)\right)=1\mathit{ }\text{a.e. in}\mathrm{\Omega }.$(2.7)

Moreover, we recall that Ω is convex, and the anisotropic distance function is concave. The quantity

${R}_{F}\left(\mathrm{\Omega }\right)=sup\left\{{d}_{F}\left(x\right),x\in \mathrm{\Omega }\right\}$(2.8)

is called the anisotropic inradius of Ω. For further properties of the anisotropic distance function, we refer the reader to [10].

## 2.2 The first Dirichlet eigenvalue for ${\mathcal{𝒬}}_{p}$

Let Ω be a bounded, open set in ${ℝ}^{N}$, $N\ge 2$, $1, and consider the eigenvalue problem

$\left\{\begin{array}{cccc}\hfill -{\mathcal{𝒬}}_{p}u& =\lambda {|u|}^{p-2}u\hfill & & \hfill \text{in}\mathrm{\Omega },\\ \hfill u& =0\hfill & & \hfill \text{on}\partial \mathrm{\Omega }.\end{array}$(2.9)

The smallest eigenvalue, denoted by ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$, has the following well-known variational characterization:

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)=\underset{\phi \in {W}_{0}^{1,p}\left(\mathrm{\Omega }\right)\setminus \left\{0\right\}}{\mathrm{min}}\frac{{\int }_{\mathrm{\Omega }}{F}^{p}\left(\nabla \phi \right)dx}{{\int }_{\mathrm{\Omega }}{|\phi |}^{p}dx}.$(2.10)

The following two results which enclose the main properties of ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$ hold true. We refer the reader, for example, to [4, 15].

#### Theorem 2.1.

If Ω is a bounded, open set in ${\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$, there exists a function ${u}_{\mathrm{1}}\mathrm{\in }{C}^{\mathrm{1}\mathrm{,}\alpha }\mathit{}\mathrm{\left(}\mathrm{\Omega }\mathrm{\right)}\mathrm{\cap }C\mathit{}\mathrm{\left(}\overline{\mathrm{\Omega }}\mathrm{\right)}$ which achieves the minimum in (2.10) and satisfies the problem (2.9) with $\lambda \mathrm{=}{\lambda }_{F}\mathit{}\mathrm{\left(}p\mathrm{,}\mathrm{\Omega }\mathrm{\right)}$. Moreover, if Ω is connected, then ${\lambda }_{F}\mathit{}\mathrm{\left(}p\mathrm{,}\mathrm{\Omega }\mathrm{\right)}$ is simple, that is, the corresponding eigenfunctions are unique up to a multiplicative constant, and the first eigenfunctions have constant sign in Ω.

In the following proposition, the scaling and monotonicity properties of ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$ are recalled.

#### Proposition 2.2.

Let Ω be a bounded, open set in ${\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$. Then the following properties hold:

• (1)

For $t>0$ , it holds ${\lambda }_{F}\left(p,t\mathrm{\Omega }\right)={t}^{-p}{\lambda }_{F}\left(p,\mathrm{\Omega }\right)$.

• (2)

If ${\mathrm{\Omega }}_{1}\subseteq {\mathrm{\Omega }}_{2}\subseteq \mathrm{\Omega }$ , then ${\lambda }_{F}\left(p,{\mathrm{\Omega }}_{1}\right)\ge {\lambda }_{F}\left(p,{\mathrm{\Omega }}_{2}\right)$.

• (3)

For all $1 , we have $p{\left[{\lambda }_{F}\left(p,\mathrm{\Omega }\right)\right]}^{\frac{1}{p}}.

## 2.3 Anisotropic p-torsional rigidity

In this subsection, we summarize some properties of the anisotropic p-torsional rigidity. We refer the reader to [12] for further details.

Let Ω be a bounded domain in ${ℝ}^{N}$, and let $1. Throughout the paper, we will denote by q the Hölder conjugate of p,

$q:=\frac{p}{p-1}.$

Let us consider the torsion problem for the anisotropic p-Laplacian

$\left\{\begin{array}{cccc}\hfill -{\mathcal{𝒬}}_{p}v:=-\mathrm{div}\left({F}^{p-1}\left(\nabla v\right){F}_{\xi }\left(\nabla v\right)\right)& =1\hfill & & \hfill \text{in}\mathrm{\Omega },\\ \hfill v& =0\hfill & & \hfill \text{on}\partial \mathrm{\Omega }.\end{array}$(2.11)

By classical result, there exists a unique solution of (2.11), that we will always denote by ${v}_{\mathrm{\Omega }}$, which is positive in Ω. Moreover, by (2.3) and letting $F\in {C}^{3}\left({ℝ}^{n}\setminus \left\{0\right\}\right)$, then ${v}_{\mathrm{\Omega }}\in {C}^{1,\alpha }\left(\mathrm{\Omega }\right)\cap {C}^{3}\left(\left\{\nabla {v}_{\mathrm{\Omega }}\ne 0\right\}\right)$ (see [21, 30]).

The anisotropic p-torsional rigidity of Ω is

${T}_{F}\left(p,\mathrm{\Omega }\right)={\int }_{\mathrm{\Omega }}F{\left(\nabla {v}_{\mathrm{\Omega }}\right)}^{p}dx={\int }_{\mathrm{\Omega }}{v}_{\mathrm{\Omega }}dx.$

The following variational characterization for ${T}_{F}\left(p,\mathrm{\Omega }\right)$ holds:

${T}_{F}{\left(p,\mathrm{\Omega }\right)}^{p-1}=\underset{\psi \in {W}_{0}^{1,p}\left(\mathrm{\Omega }\right)\setminus \left\{0\right\}}{\mathrm{max}}\frac{{\left({\int }_{\mathrm{\Omega }}|\psi |dx\right)}^{p}}{{\int }_{\mathrm{\Omega }}F{\left(\nabla \psi \right)}^{p}dx},$(2.12)

and the solution ${v}_{\mathrm{\Omega }}$ of (2.11) realizes the maximum in (2.12).

By the maximum principle, ${M}_{{v}_{\mathrm{\Omega }}}\le {M}_{{v}_{\stackrel{~}{\mathrm{\Omega }}}}$ holds, where ${M}_{{v}_{\mathrm{\Omega }}}$ is the maximum of the torsion function in Ω. Finally, we recall the following estimates for ${M}_{{v}_{\mathrm{\Omega }}}$ contained in [14].

#### Theorem 2.3.

Let Ω be a bounded, convex open set in ${\mathrm{R}}^{N}$, and ${R}_{F}$ the anisotropic inradius defined in (2.8). Then

$\frac{{R}_{F}^{q}\left(\mathrm{\Omega }\right)}{q{N}^{q-1}}\le {M}_{{v}_{\mathrm{\Omega }}}\le \frac{{R}_{F}^{q}\left(\mathrm{\Omega }\right)}{q}.$(2.13)

## 3 Anisotropic Cheeger constant

Let Ω be an open subset of ${ℝ}^{N}$. The total variation of a function $u\in BV\left(\mathrm{\Omega }\right)$ with respect to F is (see [3])

${\int }_{\mathrm{\Omega }}{|\nabla u|}_{F}=sup\left\{{\int }_{\mathrm{\Omega }}u\mathrm{div}\sigma dx:\sigma \in {C}_{0}^{1}\left(\mathrm{\Omega };{ℝ}^{N}\right),{F}^{o}\left(\sigma \right)\le 1\right\}.$

This yields the following definition of anisotropic perimeter of $K\subset {ℝ}^{N}$ in Ω:

${P}_{F}\left(K\right)={\int }_{{ℝ}^{N}}{|\nabla {\chi }_{K}|}_{F}=sup\left\{{\int }_{K}\mathrm{div}\sigma dx:\sigma \in {C}_{0}^{1}\left({ℝ}^{N};{ℝ}^{N}\right),{F}^{o}\left(\sigma \right)\le 1\right\}.$(3.1)

It holds that

${P}_{F}\left(K\right)={\int }_{{\partial }^{*}K}F\left({n}_{\mathcal{ℰ}}\right)d{\mathcal{ℋ}}^{N-1},$

where ${\mathcal{ℋ}}^{N-1}$ is the $\left(N-1\right)$-dimensional Hausdorff measure in ${ℝ}^{N}$, ${\partial }^{*}K$ is the reduced boundary of F and ${n}_{\mathcal{ℰ}}$ is the Euclidean unit outer normal to K (see [3]).

An isoperimetric inequality for the anisotropic perimeter holds, namely, ${\mathcal{𝒲}}_{R}$ is the Wulff shape such that $|{\mathcal{𝒲}}_{R}|=|K|$, then

${P}_{F}\left(K\right)\ge {P}_{F}\left({\mathcal{𝒲}}_{R}\right)=N{\kappa }_{N}^{\frac{1}{N}}{|K|}^{1-\frac{1}{N}},$(3.2)

and the equality holds if and only if Ω is a Wulff shape (see for example [5, 16, 2]). The following lemma will play a key role in order to investigate on optimality issue of the quoted results.

#### Lemma 3.1.

Let ${\mathrm{\Omega }}_{a\mathrm{,}k}\mathrm{=}\mathrm{\right]}\mathrm{-}a\mathrm{,}a\mathrm{\left[}\mathrm{×}{\mathrm{\right]}\mathrm{-}k\mathrm{,}k\mathrm{\left[}}^{N\mathrm{-}\mathrm{1}}$ be an N-rectangle in ${\mathrm{R}}^{N}$, and suppose that ${R}_{F}\mathit{}\mathrm{\left(}{\mathrm{\Omega }}_{a\mathrm{,}k}\mathrm{\right)}\mathrm{=}a\mathit{}{F}^{o}\mathit{}\mathrm{\left(}{e}_{\mathrm{1}}\mathrm{\right)}$. Then

$\underset{k\to +\mathrm{\infty }}{lim}\frac{{P}_{F}\left({\mathrm{\Omega }}_{a,k}\right)}{|{\mathrm{\Omega }}_{a,k}|}=\frac{1}{a{F}^{o}\left({e}_{1}\right)}.$(3.3)

#### Proof.

First observe that (see [14])

${F}^{o}\left({e}_{1}\right)F\left({e}_{1}\right)=1.$(3.4)

By definition of anisotropic perimeter, we get

$\frac{{P}_{F}\left({\mathrm{\Omega }}_{a,k}\right)}{|{\mathrm{\Omega }}_{a,k}|}=\frac{2{\left(2k\right)}^{N-1}F\left({e}_{1}\right)+O\left({k}^{N-2}\right)}{{2}^{N}{k}^{N-1}a},$

hence, using (3.4) and passing to the limit, we get (3.3). ∎

The anisotropic Cheeger constant associated to an open, bounded set $\mathrm{\Omega }\subseteq {ℝ}^{N}$ is defined as

${h}_{F}\left(\mathrm{\Omega }\right)=\underset{K\subset \mathrm{\Omega }}{inf}\frac{{P}_{F}\left(K\right)}{|K|}.$

We recall that for a given bounded, open set in ${ℝ}^{N}$, the Cheeger inequality states that

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)\ge {\left(\frac{{h}_{F}\left(\mathrm{\Omega }\right)}{p}\right)}^{p}.$(3.5)

This inequality, well known in the Euclidean case after the paper by Cheeger ([8]) for $p=2$, has been proved in [20] in the anisotropic case. We refer the reader to [22] and the references contained therein for a survey on the properties of the Cheeger constant in the Euclidean case.

It is known (see [20] and the references therein) that if Ω is a Lipschitz bounded domain, there exists a Cheeger set, that is, a set ${K}_{\mathrm{\Omega }}$ for which

${h}_{F}\left(\mathrm{\Omega }\right)=\frac{{P}_{F}\left({K}_{\mathrm{\Omega }}\right)}{|{K}_{\mathrm{\Omega }}|}.$

When $\mathrm{\Omega }={\mathcal{𝒲}}_{R}$, we immediately get ${K}_{{\mathcal{𝒲}}_{R}}={\mathcal{𝒲}}_{R}$ and

${h}_{F}\left({\mathcal{𝒲}}_{R}\right)=\frac{N}{R}.$(3.6)

We observe that usually the Cheeger set ${K}_{\mathrm{\Omega }}$ is not unique, nevertheless, Ω is convex (see, for instance, [1, 7, 20]).

#### Theorem 3.2.

If Ω is a bounded, convex domain, there exists a unique convex Cheeger set.

The next results give an upper bound for the Cheeger constant in terms of the anisotropic inradius of Ω.

#### Proposition 3.3.

If Ω is a bounded, open set in ${\mathrm{R}}^{N}$, then

${h}_{F}\left(\mathrm{\Omega }\right)\le \frac{N}{{R}_{F}\left(\mathrm{\Omega }\right)}.$(3.7)

Moreover, the equality holds if Ω is a Wulff shape.

#### Proof.

By definition, the constant ${h}_{F}\left(\mathrm{\Omega }\right)$ is monotonically decreasing with respect to the set inclusion. Then, by (3.6) and the definition of anisotropic inradius, we get inequality (3.7). ∎

Regarding a lower bound for the anisotropic Cheeger constant in terms of the inradius of Ω, we have the following:

#### Proposition 3.4.

If Ω is a bounded, open, convex set in ${\mathrm{R}}^{N}$, then

$\frac{1}{{R}_{F}\left(\mathrm{\Omega }\right)}\le {h}_{F}\left(\mathrm{\Omega }\right).$(3.8)

Moreover, the inequality is optimal for a suitable sequence of N-rectangular domains.

#### Proof.

Using (2.7), (2.1) and the coarea formula, we have, for a bounded, convex set $K\subseteq \mathrm{\Omega }$, that

$|K|={\int }_{K}F\left(\nabla {d}_{F}\right)dx={\int }_{0}^{{R}_{F}\left(K\right)}dt{\int }_{{d}_{F}=t}F\left({n}_{\mathcal{ℰ}}\right)d\sigma ={\int }_{0}^{{R}_{F}\left(K\right)}{P}_{F}\left(\left\{{d}_{F}\le t\right\}\right)dt\le {P}_{F}\left(K\right){R}_{F}\left(K\right).$

Hence, since K is convex, ${R}_{F}\left(K\right)\le {R}_{F}\left(\mathrm{\Omega }\right)$, then

$\frac{{P}_{F}\left(K\right)}{|K|}\ge \frac{1}{{R}_{F}\left(\mathrm{\Omega }\right)}.$

Passing to the infimum on K, we get (3.8). The optimality follows immediately from (3.3). ∎

More generally, for convex sets, the following result holds (see also, for instance, [13], where the case $N=2$ is given with a different proof):

#### Proposition 3.5.

If $\mathrm{\Omega }\mathrm{\subset }{\mathrm{R}}^{N}$ is a bounded, open, convex set, then

$\frac{{P}_{F}\left(\mathrm{\Omega }\right)}{|\mathrm{\Omega }|}\le \frac{N}{{R}_{F}\left(\mathrm{\Omega }\right)}.$

For the Wulff shape, the equality holds.

#### Proof.

Let ${x}_{0}\in \mathrm{\Omega }$ be such that ${R}_{F}\left(\mathrm{\Omega }\right)={d}_{F}\left({x}_{0}\right)$. By the concavity of ${d}_{F}$, we have

${d}_{F}\left({x}_{0}\right)-{d}_{F}\left(x\right)\le -\nabla {d}_{F}\left(x\right)\cdot \left(x-{x}_{0}\right)={n}_{\mathcal{ℰ}}\left(x\right)\cdot \left(x-{x}_{0}\right)|\nabla {d}_{F}\left(x\right)|.$

Hence, for $x\in \partial \mathrm{\Omega }$, it holds that ${R}_{F}\left(\mathrm{\Omega }\right)\le {n}_{\mathcal{ℰ}}\left(x\right)\cdot \left(x-{x}_{0}\right)|\nabla {d}_{F}\left(x\right)|$. By the divergence theorem and observing also that $F\left({n}_{\mathcal{ℰ}}\right)=\frac{1}{|\nabla {d}_{F}|}$, we have

$|\mathrm{\Omega }|=\frac{1}{N}{\int }_{\mathrm{\Omega }}\mathrm{div}\left(x-{x}_{0}\right)dx=\frac{1}{N}{\int }_{\partial \mathrm{\Omega }}\left(x-{x}_{0}\right)\cdot {n}_{\mathcal{ℰ}}\left(x\right)d\sigma \ge \frac{{R}_{F}\left(\mathrm{\Omega }\right)}{N}{\int }_{\partial \mathrm{\Omega }}\frac{1}{|\nabla {d}_{F}\left(x\right)|}d\sigma =\frac{{R}_{F}\left(\mathrm{\Omega }\right){P}_{F}\left(\mathrm{\Omega }\right)}{N},$

and this completes the proof. ∎

#### Remark 3.6.

We observe that the equality in the inequality of Proposition 3.5 holds, in general, also for other kinds of convex sets. For example, if $N=2$ and $F=\mathcal{ℰ}$, the equality holds for circles with two symmetrical caps (see, for instance, [28]).

An immediate consequence of the anisotropic isoperimetric inequality is the following:

#### Theorem 3.7.

Let Ω be a bounded, open set. Then

${h}_{F}\left(\mathrm{\Omega }\right)\ge {h}_{F}\left({\mathcal{𝒲}}_{R}\right),$(3.9)

where ${\mathcal{W}}_{R}$ is the Wulff shape such that $\mathrm{|}\mathrm{\Omega }\mathrm{|}\mathrm{=}\mathrm{|}{\mathcal{W}}_{R}\mathrm{|}$, and the equality holds if and only if Ω is a Wulff shape.

#### Proof.

Let $K\subseteq \mathrm{\Omega }$. Then, if $|{\mathcal{𝒲}}_{r}|=|K|$, by (3.2), we have

$\frac{{P}_{F}\left(K\right)}{|K|}\ge \frac{{P}_{F}\left({\mathcal{𝒲}}_{r}\right)}{|{\mathcal{𝒲}}_{r}|}\ge \frac{{P}_{F}\left({\mathcal{𝒲}}_{R}\right)}{|{\mathcal{𝒲}}_{R}|}=h\left({\mathcal{𝒲}}_{R}\right).$

Passing to the infimum on K, we get the result. ∎

#### Remark 3.8.

Let Ω be an open, bounded set of ${ℝ}^{N}$. Then inequality (3.7) implies

${h}_{F}\left(\mathrm{\Omega }\right)-{h}_{F}\left({W}_{R}\right)\le N\left(\frac{1}{{R}_{F}\left(\mathrm{\Omega }\right)}-\frac{1}{R}\right).$(3.10)

When Ω is convex, (3.10) can be read as a stability result for (3.9).

In [12], the following upper bound for ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$ is proved in terms of volume and anisotropic perimeter of Ω for convex domains.

#### Theorem 3.9.

Let $\mathrm{\Omega }\mathrm{\subset }{\mathrm{R}}^{N}$ be a bounded, convex, open set. Then

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)\le {\left(\frac{{\pi }_{p}}{2}\right)}^{p}{\left(\frac{{P}_{F}\left(\mathrm{\Omega }\right)}{|\mathrm{\Omega }|}\right)}^{p},$(3.11)

where ${\pi }_{p}$ is defined in (1.4) and ${P}_{F}\mathit{}\mathrm{\left(}\mathrm{\Omega }\mathrm{\right)}$ is the anisotropic perimeter of Ω defined in (3.1).

The following reverse anisotropic Cheeger inequality holds (see [23] for the Euclidean case with $N=p=2$).

#### Proposition 3.10.

Let $\mathrm{\Omega }\mathrm{\subset }{\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$, be a bounded, open, convex set. Then

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)\le {\left(\frac{{\pi }_{p}}{2}\right)}^{p}{h}_{F}{\left(\mathrm{\Omega }\right)}^{p},$(3.12)

where ${\pi }_{p}$ is defined in (1.4).

#### Proof.

Let ${K}_{\mathrm{\Omega }}\subseteq \mathrm{\Omega }$ be the convex Cheeger set of Ω. Since ${\lambda }_{p}\left(\cdot \right)$ is monotonically decreasing by set inclusion, then by (3.11), we have

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)\le {\lambda }_{F}\left(p,{K}_{\mathrm{\Omega }}\right)\le {\left(\frac{{\pi }_{p}}{2}\right)}^{p}{\left(\frac{{P}_{F}\left({K}_{\mathrm{\Omega }}\right)}{|{K}_{\mathrm{\Omega }}|}\right)}^{p}={\left(\frac{{\pi }_{p}}{2}\right)}^{p}{h}_{F}{\left(\mathrm{\Omega }\right)}^{p}.\mathit{∎}$

The equality sign holds in the limiting case when Ω approaches a slab. This will be shown in Theorem 5.8.

## 4 The $\mathcal{𝒫}$-function

In order to give some sharp lower bound for ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$, we will use the so-called $\mathcal{𝒫}$-function method. Let us consider the general problem

$\left\{\begin{array}{cccc}\hfill -{\mathcal{𝒬}}_{p}w& =f\left(w\right)\hfill & & \hfill \text{in}\mathrm{\Omega },\\ \hfill w& =0\hfill & & \hfill \text{on}\partial \mathrm{\Omega },\end{array}$(4.1)

where f is a nonnegative ${C}^{1}\left(0,+\mathrm{\infty }\right)\cap {C}^{0}\left(\left[0,+\mathrm{\infty }\left[\right)$-function, and define

$\mathcal{𝒫}\left(x\right):=\frac{p-1}{p}{F}^{p}\left(\nabla w\left(x\right)\right)-{\int }_{w\left(x\right)}^{{\mathrm{max}}_{\overline{\mathrm{\Omega }}}w}f\left(s\right)ds.$

The following result is proved in [9].

#### Proposition 4.1.

Let Ω be a domain in ${\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$, and let $w\mathrm{\in }{W}_{\mathrm{0}}^{\mathrm{1}\mathrm{,}p}\mathit{}\mathrm{\left(}\mathrm{\Omega }\mathrm{\right)}$ be a solution of (4.1). Set

${d}_{ij}:=\frac{1}{F\left(\nabla {u}_{\mathrm{\Omega }}\right)}{\partial }_{{\xi }_{i}{\xi }_{j}}\left[\frac{{F}^{p}}{p}\right]\left(\nabla {u}_{\mathrm{\Omega }}\right).$

Then it holds that

${\left({d}_{ij}{\mathcal{𝒫}}_{i}\right)}_{j}-{b}_{k}{\mathcal{𝒫}}_{k}\ge 0\mathit{ }\text{𝑖𝑛}\left\{\nabla {u}_{\mathrm{\Omega }}\ne 0\right\},$

where

${b}_{k}=\frac{p-2}{{F}^{3}\left(\nabla w\right)}{F}_{{\xi }_{\mathrm{\ell }}}\left(\nabla w\right){\mathcal{𝒫}}_{{x}_{\mathrm{\ell }}}{F}_{{\xi }_{k}}\left(\nabla w\right)+\frac{2p-3}{{F}^{2}\left(\nabla w\right)}\left(\frac{{F}_{{\xi }_{k}{\xi }_{\mathrm{\ell }}}\left(\nabla w\right){\mathcal{𝒫}}_{{x}_{\mathrm{\ell }}}}{p-1}-f\left(w\right){F}_{{\xi }_{k}}\left(\nabla w\right)\right).$

As a consequence of the previous result, we get the following maximum principle for $\mathcal{𝒫}$.

#### Theorem 4.2.

Let Ω be a bounded ${C}^{\mathrm{2}\mathrm{,}\alpha }$-domain in ${\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$, with nonnegative anisotropic mean curvature ${\mathcal{H}}_{F}\mathrm{\ge }\mathrm{0}$ on $\mathrm{\partial }\mathit{}\mathrm{\Omega }$, and let $w\mathrm{>}\mathrm{0}$ be a solution to the problem (4.1). Then

$\mathcal{𝒫}\left(x\right)=\frac{p-1}{p}{F}^{p}\left(\nabla w\left(x\right)\right)-{\int }_{w\left(x\right)}^{{\mathrm{max}}_{\overline{\mathrm{\Omega }}}w}f\left(s\right)ds\le 0\mathit{ }\text{𝑖𝑛}\overline{\mathrm{\Omega }},$(4.2)

that is, the function $\mathcal{P}$ achieves its maximum at the points ${x}_{M}\mathrm{\in }\mathrm{\Omega }$ such that $w\mathit{}\mathrm{\left(}{x}_{M}\mathrm{\right)}\mathrm{=}{\mathrm{max}}_{\overline{\mathrm{\Omega }}}\mathit{}w$.

#### Proof.

Let us denote by $\mathcal{𝒞}$ the set of the critical points of w, that is, $\mathcal{𝒞}=\left\{x\in \overline{\mathrm{\Omega }}:\nabla w\left(x\right)=0\right\}$. Being $\partial \mathrm{\Omega }\in {C}^{2,\alpha }$, by the Hopf lemma (see, for example, [11]), $\mathcal{𝒞}\cap \partial \mathrm{\Omega }=\mathrm{\varnothing }$.

Applying Proposition 4.1, the function $\mathcal{𝒫}$ verifies a maximum principle in the open set $\mathrm{\Omega }\setminus \mathcal{𝒞}$. Then we have

$\underset{\overline{\mathrm{\Omega }\setminus \mathcal{𝒞}}}{\mathrm{max}}\mathcal{𝒫}=\underset{\partial \left(\mathrm{\Omega }\setminus \mathcal{𝒞}\right)}{\mathrm{max}}\mathcal{𝒫}.$

Hence, one of the following three cases occurs:

• (1)

The maximum point of $\mathcal{𝒫}$ is on $\partial \mathrm{\Omega }$.

• (2)

The maximum point of $\mathcal{𝒫}$ is on $\mathcal{𝒞}$.

• (3)

The function $\mathcal{𝒫}$ is constant in $\overline{\mathrm{\Omega }}$.

In order to prove the theorem, we have to show that statement (1) cannot happen. Let us compute the derivative of $\mathcal{𝒫}$ in the direction of the anisotropic normal ${n}_{F}$ in the sense of (2.5). Hence, on $\partial \mathrm{\Omega }$, we get

$\begin{array}{cc}\hfill \frac{\partial \mathcal{𝒫}}{\partial {n}_{F}}& =\frac{p-1}{p}\frac{\partial }{\partial {n}_{F}}{\left(-\frac{\partial w}{\partial {n}_{F}}\right)}^{p}+f\left(w\right)\frac{\partial w}{\partial {n}_{F}}=-\left(p-1\right){\left(-\frac{\partial w}{\partial {n}_{F}}\right)}^{p-1}\frac{{\partial }^{2}w}{\partial {n}_{F}^{2}}+f\left(w\right)\frac{\partial w}{\partial {n}_{F}}\hfill \\ & =-F\left(\nabla w\right){\mathcal{𝒬}}_{p}\left[w\right]-{F}^{p}\left(\nabla w\right){\mathcal{ℋ}}_{F}-f\left(w\right)F\left(\nabla w\right)=-{F}^{p}\left(\nabla w\right){\mathcal{ℋ}}_{F},\hfill \end{array}$

where last identity follows by (2.6). On the other hand, if a maximum point $\overline{x}$ of $\mathcal{𝒫}$ is on $\partial \mathrm{\Omega }$, by the Hopf lemma, either $\mathcal{𝒫}$ is constant in $\overline{\mathrm{\Omega }}$, or $\frac{\partial \mathcal{𝒫}}{\partial {n}_{F}}\left(\overline{x}\right)>0$. Hence, since ${\mathcal{ℋ}}_{F}\ge 0$, we have a contradiction. ∎

#### Remark 4.3.

Let Ω be a bounded, open, convex set, and let us consider u a positive eigenfunction relative to the first eigenvalue ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$ of problem (2.9). Then, with M denoting ${\mathrm{max}}_{\overline{\mathrm{\Omega }}}u$, inequality (4.2) becomes

$\left(p-1\right){F}^{p}\left(\nabla u\right)\le {\lambda }_{F}\left(p,\mathrm{\Omega }\right)\left({M}^{p}-{u}^{p}\right)\mathit{ }\text{in}\overline{\mathrm{\Omega }}.$(4.3)

Integrating over Ω in both sides of (4.3) and recalling that u satisfies problem (2.9), we get

${\int }_{\mathrm{\Omega }}{u}^{p}\le \frac{{M}^{p}|\mathrm{\Omega }|}{p}.$

By the definition of ${\pi }_{p}$ in (1.4), we have

$\frac{{\pi }_{p}}{2}={\int }_{0}^{{\left(p-1\right)}^{\frac{1}{p}}}{\left[1-\frac{{t}^{p}}{p-1}\right]}^{-\frac{1}{p}}dt={\int }_{0}^{M{\left(p-1\right)}^{\frac{1}{p}}}{\left({M}^{p}-\frac{{t}^{p}}{p-1}\right)}^{-\frac{1}{p}}dt,$

where u is a first positive eigenfunction of $-{\mathcal{𝒬}}_{p}$. Let us consider the function

$\mathrm{\Phi }\left(s\right)={\left(\frac{{\pi }_{p}}{2}\right)}^{\frac{p}{p-1}}-{\left({\int }_{s{\left(p-1\right)}^{\frac{1}{p}}}^{M{\left(p-1\right)}^{\frac{1}{p}}}\frac{dt}{{\left({M}^{p}-\frac{{t}^{p}}{p-1}\right)}^{\frac{1}{p}}}\right)}^{\frac{p}{p-1}},s\in \left[0,M\right].$

#### Proposition 4.4.

Let Ω be a bounded ${C}^{\mathrm{2}}$-domain in ${\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$, with nonnegative anisotropic mean curvature ${\mathcal{H}}_{F}\mathrm{\ge }\mathrm{0}$ on $\mathrm{\partial }\mathit{}\mathrm{\Omega }$. Then the following inequalities hold:

$\mathrm{\Phi }\left(u\left(x\right)\right)\le \frac{p}{p-1}{\lambda }_{F}{\left(p,\mathrm{\Omega }\right)}^{\frac{1}{p-1}}{v}_{\mathrm{\Omega }}\left(x\right),$(4.4)${\mathrm{\Phi }}^{\prime }\left(u\right)F\left(\nabla u\right)\le \frac{p}{p-1}{\lambda }_{F}{\left(p,\mathrm{\Omega }\right)}^{\frac{1}{p-1}}F\left(\nabla {v}_{\mathrm{\Omega }}\right)\mathit{ }\text{𝑜𝑛}\partial \mathrm{\Omega },$(4.5)

where ${v}_{\mathrm{\Omega }}$ is the stress function of Ω.

#### Proof.

In order to prove (4.4), we will show that

$-{\mathcal{𝒬}}_{p}\left[\mathrm{\Phi }\right]\le -{\mathcal{𝒬}}_{p}\left[\frac{p}{p-1}{\lambda }_{F}{\left(p,\mathrm{\Omega }\right)}^{\frac{1}{p-1}}{v}_{\mathrm{\Omega }}\right]={\lambda }_{F}\left(p,\mathrm{\Omega }\right){\left(\frac{p}{p-1}\right)}^{p-1}.$(4.6)

By the comparison principle, being $\mathrm{\Phi }\left(u\right)={v}_{\mathrm{\Omega }}=0$ on $\partial \mathrm{\Omega }$, then (4.4) holds.

With $\phi \left(u\right)$ denoting

${\int }_{u{\left(p-1\right)}^{\frac{1}{p}}}^{M{\left(p-1\right)}^{\frac{1}{p}}}{\left({M}^{p}-\frac{{t}^{p}}{p-1}\right)}^{-\frac{1}{p}}dt,$

we have

${\mathrm{\Phi }}^{\prime }\left(u\right)=q{\left(p-1\right)}^{\frac{1}{p}}\phi {\left(u\right)}^{q-1}{\left({M}^{p}-{u}^{p}\right)}^{-\frac{1}{p}},$

and

$\begin{array}{cc}\hfill {\mathrm{\Phi }}^{\prime \prime }\left(u\right)& =-q\left(q-1\right){\left(p-1\right)}^{\frac{2}{p}}\phi {\left(u\right)}^{q-2}{\left({M}^{p}-{u}^{p}\right)}^{-\frac{2}{p}}+q{\left(p-1\right)}^{\frac{1}{p}}\phi {\left(u\right)}^{q-1}{\left({M}^{p}-{u}^{p}\right)}^{-\frac{1}{p}-1}{u}^{p-1}\hfill \\ & =q{\left(p-1\right)}^{\frac{1}{p}}\phi {\left(u\right)}^{q-1}{\left({M}^{p}-{u}^{p}\right)}^{-\frac{1}{p}}\left[\frac{{u}^{p-1}}{{M}^{p}-{u}^{p}}-\left(q-1\right){\left(p-1\right)}^{\frac{1}{p}}\phi {\left(u\right)}^{-1}\frac{1}{{\left({M}^{p}-{u}^{p}\right)}^{\frac{1}{p}}}\right]\hfill \\ & ={\mathrm{\Phi }}^{\prime }\left(u\right)\left[\frac{{u}^{p-1}}{{M}^{p}-{u}^{p}}-\left(q-1\right){\left(p-1\right)}^{\frac{1}{p}}\phi {\left(u\right)}^{-1}\frac{1}{{\left({M}^{p}-{u}^{p}\right)}^{\frac{1}{p}}}\right]={\mathrm{\Phi }}^{\prime }\left(u\right)\mathrm{\Psi }\left(u\right),\hfill \end{array}$

where we denoted the last square bracket with $\mathrm{\Psi }\left(u\right)$. Then

$\begin{array}{cc}\hfill {Q}_{p}\mathrm{\Phi }\left(u\right)& =\mathrm{div}\left[{\left({\mathrm{\Phi }}^{\prime }\right)}^{p-1}F{\left(\nabla u\right)}^{p-1}{F}_{\xi }\left(\nabla u\right)\right]\hfill \\ & ={\left({\mathrm{\Phi }}^{\prime }\right)}^{p-1}{Q}_{p}u+\left(p-1\right){\left({\mathrm{\Phi }}^{\prime }\right)}^{p-2}{\mathrm{\Phi }}^{\prime \prime }\left(u\right)F{\left(\nabla u\right)}^{p}\hfill \\ & ={\left({\mathrm{\Phi }}^{\prime }\right)}^{p-1}\left[-{\lambda }_{F}\left(p,\mathrm{\Omega }\right){u}^{p-1}+\left(p-1\right)F{\left(\nabla u\right)}^{p}\mathrm{\Psi }\left(u\right)\right].\hfill \end{array}$

To prove the claim, we need to show that (4.6) holds, that is,

${\left({\mathrm{\Phi }}^{\prime }\right)}^{p-1}\left[-{\lambda }_{F}\left(p,\mathrm{\Omega }\right){u}^{p-1}+\left(p-1\right)F{\left(\nabla u\right)}^{p}\mathrm{\Psi }\left(u\right)\right]+{q}^{p-1}{\lambda }_{F}\left(p,\mathrm{\Omega }\right)\ge 0.$

Substituting, we get

$\begin{array}{cc}& -{\lambda }_{F}\left(p,\mathrm{\Omega }\right){u}^{p-1}+\left(p-1\right)F{\left(\nabla u\right)}^{p}\left[\frac{{u}^{p-1}}{{M}^{p}-{u}^{p}}-\left(q-1\right){\left(p-1\right)}^{\frac{1}{p}}\phi {\left(u\right)}^{-1}\frac{1}{{\left({M}^{p}-{u}^{p}\right)}^{\frac{1}{p}}}\right]+\frac{{\lambda }_{F}\left(p,\mathrm{\Omega }\right){\left[{M}^{p}-{u}^{p}\right]}^{\frac{p-1}{p}}}{{\left(p-1\right)}^{\frac{1}{q}}\phi \left(u\right)}\hfill \\ & =\left\{{\left(p-1\right)}^{-\frac{1}{q}}\phi {\left(u\right)}^{-1}{\left[{M}^{p}-{u}^{p}\right]}^{1-\frac{1}{p}}-{u}^{p-1}\right\}\left[{\lambda }_{F}\left(p,\mathrm{\Omega }\right)-\frac{\left(p-1\right)F{\left(\nabla u\right)}^{p}}{{M}^{p}-{u}^{p}}\right].\hfill \end{array}$

The function in the last square brackets is nonnegative by (4.2). To conclude, we show that the function

$B\left(u\right):={\left[{M}^{p}-{u}^{p}\right]}^{1-\frac{1}{p}}-{\left(p-1\right)}^{1-\frac{1}{p}}{u}^{p-1}\phi \left(u\right)$

is nonnegative. This is true, since $B\left(M\right)=0$ and ${B}^{\prime }\le 0$. This concludes the proof of (4.4). Finally, by computing the derivative of Φ with respect to the anisotropic normal ${n}_{F}$ on $\partial \mathrm{\Omega }=\left\{u=0\right\}$, we have

Recalling (4.4), by the Hopf lemma, we get

$\frac{\partial \mathrm{\Phi }}{\partial {n}_{F}}\ge \frac{p}{p-1}{\lambda }_{F}{\left(p,\mathrm{\Omega }\right)}^{\frac{1}{p-1}}\frac{\partial {v}_{\mathrm{\Omega }}}{\partial {n}_{F}}\mathit{ }\text{on}\partial \mathrm{\Omega }.$

Then

${\mathrm{\Phi }}^{\prime }\left(u\right)F\left(\nabla u\right)\le \frac{p}{p-1}{\lambda }_{F}{\left(p,\mathrm{\Omega }\right)}^{\frac{1}{p-1}}F\left(\nabla {v}_{\mathrm{\Omega }}\right)\mathit{ }\text{on}\partial \mathrm{\Omega },$

which is (4.5), and this concludes the proof of the theorem. ∎

## 5 Applications

Now we prove several inequalities involving ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$, ${R}_{F}\left(\mathrm{\Omega }\right)$, ${h}_{F}\left(\mathrm{\Omega }\right)$, ${M}_{{v}_{\mathrm{\Omega }}}$, ${E}_{F}\left(p,\mathrm{\Omega }\right)$. The main estimates that we prove using the $\mathcal{𝒫}$-function method (Theorem 5.1, Proposition 5.2, Theorem 5.3 and Theorem 5.6) are stated for ${C}^{2}$-bounded domains in ${ℝ}^{N}$ with nonnegative anisotropic mean curvature. Actually, for bounded, convex sets, the ${C}^{2}$-regularity is not needed. This can be proved approximating Ω in the Hausdorff distance by an increasing sequence of strictly convex smooth domains contained in Ω. A similar argument has been used, for example, in [14].

## 5.1 Anisotropic Hersch inequality

#### Theorem 5.1.

Let Ω be a bounded ${C}^{\mathrm{2}}$-domain in ${\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$, with nonnegative anisotropic mean curvature ${\mathcal{H}}_{F}\mathrm{\ge }\mathrm{0}$ on $\mathrm{\partial }\mathit{}\mathrm{\Omega }$. Then the following anisotropic Hersch inequality holds:

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)\ge {\left(\frac{{\pi }_{p}}{2}\right)}^{p}\frac{1}{{R}_{F}{\left(\mathrm{\Omega }\right)}^{p}},$(5.1)

where ${R}_{F}\mathit{}\mathrm{\left(}\mathrm{\Omega }\mathrm{\right)}$ is the anisotropic inradius defined in (2.8).

#### Proof.

Let u be a positive eigenfunction relative to ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$, and let v be a direction of ${ℝ}^{N}$. Let $M={\mathrm{max}}_{\overline{\mathrm{\Omega }}}u$. Then by Theorem 4.2 with $f\left(w\right)=\lambda {w}^{p-1}$ and property (2.4), we have

$\frac{\partial u}{\partial v}=〈\nabla u,v〉\le F\left(\nabla u\right){F}^{o}\left(v\right)\le {\left(\frac{{\lambda }_{F}\left(p,\mathrm{\Omega }\right)}{p-1}\right)}^{\frac{1}{p}}{\left({M}^{p}-{u}^{p}\right)}^{\frac{1}{p}}{F}^{o}\left(v\right).$(5.2)

Let us denote by ${x}_{M}$ the point of Ω such that $M=u\left({x}_{M}\right)$, by $\overline{x}\in \partial \mathrm{\Omega }$ the point such that ${F}^{o}\left({x}_{M}-\overline{x}\right)={d}_{F}\left({x}_{M}\right)$ and by v the direction of the straight line joining the points ${x}_{M}$ and $\overline{x}$. Then by (5.2), since ${F}^{o}\left(\overline{x}-{x}_{M}\right)\le {R}_{F}\left(\mathrm{\Omega }\right)$, we get

$\begin{array}{cc}\hfill {\int }_{0}^{M\left(\mathrm{\Omega }\right)}\frac{1}{{\left({M}^{p}\left(\mathrm{\Omega }\right)-{u}^{p}\right)}^{\frac{1}{p}}}du& \le {\left(\frac{{\lambda }_{F}\left(p,\mathrm{\Omega }\right)}{p-1}\right)}^{\frac{1}{p}}{F}^{o}\left(v\right)|\overline{x}-{x}_{M}|\hfill \\ & ={\left(\frac{{\lambda }_{F}\left(p,\mathrm{\Omega }\right)}{p-1}\right)}^{\frac{1}{p}}{F}^{o}\left(\overline{x}-{x}_{M}\right)\le {\left(\frac{{\lambda }_{F}\left(p,\mathrm{\Omega }\right)}{p-1}\right)}^{\frac{1}{p}}{R}_{F}\left(\mathrm{\Omega }\right).\hfill \end{array}$(5.3)

By definition of (1.4) and a change of variables, we get

${\int }_{0}^{M\left(\mathrm{\Omega }\right)}\frac{1}{{\left({M}^{p}\left(\mathrm{\Omega }\right)-{u}^{p}\right)}^{\frac{1}{p}}}du=\frac{1}{{\left(p-1\right)}^{\frac{1}{p}}}\frac{{\pi }_{p}}{2}.$(5.4)

Finally, joining (5.3) and (5.4), we get inequality (5.1). ∎

The equality sign in (5.1) holds in the limiting case when Ω approaches a slab. This will be shown in Theorem 5.8.

From the Hersch inequality (5.1) and the bound (3.7), the following immediately holds:

#### Proposition 5.2.

Let Ω be a bounded ${C}^{\mathrm{2}}$-domain in ${\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$, with nonnegative anisotropic mean curvature ${\mathcal{H}}_{F}\mathrm{\ge }\mathrm{0}$ on $\mathrm{\partial }\mathit{}\mathrm{\Omega }$. Then

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)\ge {\left(\frac{{\pi }_{p}}{2N}\right)}^{p}{h}_{F}^{p}\left(\mathrm{\Omega }\right).$(5.5)

Hence, for $p\ge \frac{2N}{{\pi }_{p}}$, inequality (5.5) gives a better constant than (3.5).

## 5.2 An upper bound for the efficiency ratio

As a consequence of the Theorem 4.4, we obtain the following inequality:

#### Theorem 5.3.

Let Ω be a bounded ${C}^{\mathrm{2}}$-domain in ${\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$, with nonnegative anisotropic mean curvature ${\mathcal{H}}_{F}\mathrm{\ge }\mathrm{0}$ on $\mathrm{\partial }\mathit{}\mathrm{\Omega }$. Then

${\left(\frac{p-1}{p}\right)}^{p-1}{\left(\frac{{\pi }_{p}}{2}\right)}^{p}\le {\lambda }_{F}\left(p,\mathrm{\Omega }\right){M}_{{v}_{\mathrm{\Omega }}}^{p-1},$(5.6)

where ${M}_{{v}_{\mathrm{\Omega }}}\mathrm{=}{\mathrm{max}}_{\overline{\mathrm{\Omega }}}\mathit{}{v}_{\mathrm{\Omega }}$.

#### Proof.

The proof is a direct consequence of Theorem 4.4 and of the definition (1.4) of ${\pi }_{p}$. Indeed, by (4.4) and the explicit expression of Φ, evaluating both sides at the maximizer ${x}_{m}$ of u, we obtain

${\left(\frac{p-1}{p}\right)}^{p-1}{\left(\frac{{\pi }_{p}}{2}\right)}^{p}\le {v}_{\mathrm{\Omega }}^{p-1}\left({x}_{m}\right){\lambda }_{F}\left(p,\mathrm{\Omega }\right)\le {\lambda }_{F}\left(p,\mathrm{\Omega }\right){M}_{{v}_{\mathrm{\Omega }}}^{p-1},$

which is the desired inequality (5.6). ∎

The equality sign in (5.6) holds in the limiting case when Ω approaches a slab. This will be shown in Theorem 5.8.

#### Remark 5.4.

We observe that the functional involved in Theorem 5.3 is related to other functionals studied in literature. Indeed, it holds that

${\lambda }_{F}\left(p,\mathrm{\Omega }\right){\left(\frac{{T}_{F}\left(p,\mathrm{\Omega }\right)}{|\mathrm{\Omega }|}\right)}^{p-1}\le {\lambda }_{F}\left(p,\mathrm{\Omega }\right){M}_{{v}_{\mathrm{\Omega }}}^{p-1}\le {\left(\frac{|\mathrm{\Omega }|{M}_{{v}_{\mathrm{\Omega }}}}{{T}_{F}\left(p,\mathrm{\Omega }\right)}\right)}^{p-1}.$(5.7)

The functional on the left-hand side of (5.7) has been studied, for example, in [32] for $p=2$ in the Euclidean case. The functional on the right-hand side of (5.7) has been investigated, for instance, in [17] for $p=2$ in the Euclidean case and in [14] for any p in the anisotropic setting.

#### Remark 5.5.

Using the upper bound in (2.13) and (5.6) we directly get the anisotropic Hersch inequality for ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$:

${\lambda }_{F}\left(p,\mathrm{\Omega }\right)\ge {\left(\frac{{\pi }_{p}}{2}\right)}^{p}\frac{1}{{R}_{F}{\left(\mathrm{\Omega }\right)}^{p}}.$

Let u be the first eigenfunction relative to ${\lambda }_{F}\left(p,\mathrm{\Omega }\right)$, and let us define the anisotropic efficiency ratio as

${E}_{F}\left(p,\mathrm{\Omega }\right):=\frac{{\parallel u\parallel }_{p-1}}{{|\mathrm{\Omega }|}^{\frac{1}{p-1}}{\parallel u\parallel }_{\mathrm{\infty }}}.$(5.8)

We stress that, by Remark 4.3 and the Hölder inequality, for open, bounded, convex sets, we obtain the following upper bound for (5.8):

${E}_{F}^{p}\left(p,\mathrm{\Omega }\right)\le \frac{1}{p}.$(5.9)

Actually, as a consequence of Theorem 4.4, we get the following upper bound for ${E}_{F}\left(p,\mathrm{\Omega }\right)$ which, in the Euclidean case, is due to Payne and Stakgold [25]:

#### Theorem 5.6.

Let Ω be a bounded ${C}^{\mathrm{2}}$-domain in ${\mathrm{R}}^{N}$, $N\mathrm{\ge }\mathrm{2}$, with nonnegative anisotropic mean curvature ${\mathcal{H}}_{F}\mathrm{\ge }\mathrm{0}$ on $\mathrm{\partial }\mathit{}\mathrm{\Omega }$. Then

${E}_{F}\left(p,\mathrm{\Omega }\right)\le {\left(p-1\right)}^{-\frac{1}{p}}{\left(\frac{2}{{\pi }_{p}}\right)}^{\frac{1}{p-1}}.$(5.10)

#### Proof.

Passing to the power $p-1$ in both sides of (4.5), integrating on $\partial \mathrm{\Omega }$ and using the equations, by the divergence theorem, we have

${\left(p-1\right)}^{\frac{1}{q}}\frac{{\pi }_{p}}{2}{\int }_{\mathrm{\Omega }}{u}^{p-1}dx\le {M}^{p-1}|\mathrm{\Omega }|.$

That gives the following upper bound for the efficiency ratio ${E}_{p}$:

${E}_{F}\left(p,\mathrm{\Omega }\right)=\frac{{\parallel u\parallel }_{p-1}}{{|\mathrm{\Omega }|}^{\frac{1}{p-1}}{\parallel u\parallel }_{\mathrm{\infty }}}\le \frac{1}{{\left(p-1\right)}^{\frac{1}{p}}}{\left(\frac{2}{{\pi }_{p}}\right)}^{\frac{1}{p-1}}.\mathit{∎}$

#### Remark 5.7.

We observe that the bound in (5.10) improves the one given in (5.9).

Finally, we are in the position to give the following optimality result.

#### Theorem 5.8.

The equality sign in (3.8), (3.11), (3.12), (5.1), (5.6) and in the upper bound of (2.13) holds in the limiting case when Ω approaches a suitable infinite slab.

#### Proof.

Let Ω be a bounded, open, convex set of ${ℝ}^{N}$. Then by (5.1), (3.12) and the definition of ${h}_{F}$, we get

${\left(\frac{{\pi }_{p}}{2}\right)}^{p}\le {R}_{F}{\left(\mathrm{\Omega }\right)}^{p}{\lambda }_{F}\left(p,\mathrm{\Omega }\right)\le {\left(\frac{{\pi }_{p}}{2}\right)}^{p}{\left({h}_{F}\left(\mathrm{\Omega }\right){R}_{F}\left(\mathrm{\Omega }\right)\right)}^{p}\le {\left(\frac{{\pi }_{p}}{2}\right)}^{p}{\left(\frac{{P}_{F}\left(\mathrm{\Omega }\right){R}_{F}\left(\mathrm{\Omega }\right)}{|\mathrm{\Omega }|}\right)}^{p},$(5.11)

and by (5.6), (3.11) and the upper bound in (2.13), we get

${\left(\frac{p-1}{p}\right)}^{p-1}{\left(\frac{{\pi }_{p}}{2}\right)}^{p}\le {\lambda }_{F}\left(p,\mathrm{\Omega }\right){M}_{{v}_{\mathrm{\Omega }}}^{p-1}\le {\left(\frac{p-1}{p}\right)}^{p-1}{\left(\frac{{\pi }_{p}}{2}\right)}^{p}{\left(\frac{{P}_{F}\left(\mathrm{\Omega }\right){R}_{F}\left(\mathrm{\Omega }\right)}{|\mathrm{\Omega }|}\right)}^{p}.$(5.12)

Choosing $\mathrm{\Omega }={\mathrm{\Omega }}_{a,k}$ in (5.11) and (5.12) as in Lemma 3.1 and passing to the limit, we get the required optimality. ∎

#### Remark 5.9.

For a general planar, open, convex set, in [31], in the Euclidean case, the author proves the following result:

$\lambda \left(\mathrm{\Omega }\right){M}_{{v}_{\mathrm{\Omega }}}\le \left(\frac{{\pi }^{2}}{8}\right)\left(1+7\cdot {3}^{\frac{2}{3}}{\left(\frac{W\left(\mathrm{\Omega }\right)}{d\left(\mathrm{\Omega }\right)}\right)}^{\frac{2}{3}}\right),$

where $\lambda \left(\mathrm{\Omega }\right)$ is the first Dirichlet eigenvalue of $-\mathrm{\Delta }$, $d\left(\mathrm{\Omega }\right)$ denotes the Euclidean diameter and $W\left(\mathrm{\Omega }\right)$ the width. Then, for a planar, open, convex set and $p=2$, in the Euclidean case, the equality in (5.6) holds for the sets such that $\frac{W\left(\mathrm{\Omega }\right)}{d\left(\mathrm{\Omega }\right)}\to 0$.

#### Remark 5.10.

The slab is not optimal for ${E}_{F}\left(p,\mathrm{\Omega }\right)$. Indeed, if, for example, $N=p=2$ and $F=\mathcal{ℰ}={\left({\sum }_{i}{x}_{i}^{2}\right)}^{\frac{1}{2}}$, for any rectangle R, it holds that ${E}_{\mathcal{ℰ}}\left(2,R\right)={\left(\frac{2}{\pi }\right)}^{2}$.

## References

• [1]

F. Alter and V. Caselles, Uniqueness of the Cheeger set of a convex body, Nonlinear Anal. 70 (2009), no. 1, 32–44.

• [2]

A. Alvino, V. Ferone, G. Trombetti and P.-L. Lions, Convex symmetrization and applications, Ann. Inst. H. Poincaré Anal. Non Linéaire 14 (1997), no. 2, 275–293.

• [3]

M. Amar and G. Bellettini, A notion of total variation depending on a metric with discontinuous coefficients, Ann. Inst. H. Poincaré Anal. Non Linéaire 11 (1994), no. 1, 91–133.

• [4]

M. Belloni, V. Ferone and B. Kawohl, Isoperimetric inequalities, Wulff shape and related questions for strongly nonlinear elliptic operators, Z. Angew. Math. Phys. 54 (2003), no. 5, 771–783.

• [5]

H. Busemann, The isoperimetric problem for Minkowski area, Amer. J. Math. 71 (1949), 743–762.

• [6]

G. Buttazzo, S. Guarino Lo Bianco and M. Marini, Sharp estimates for the anisotropic torsional rigidity and the principal frequency, J. Math. Anal. Appl. 457 (2018), no. 2, 1153–1172.

• [7]

V. Caselles, A. Chambolle, S. Moll and M. Novaga, A characterization of convex calibrable sets in ${ℝ}^{N}$ with respect to anisotropic norms, Ann. Inst. H. Poincaré Anal. Non Linéaire 25 (2008), no. 4, 803–832.  Google Scholar

• [8]

J. Cheeger, A lower bound for the smalles eigenvalue of the Laplacian, Problems in Analysis. A Symposium in Honor of Salomon Bochner, Princeton University Press, Princeton (1970), 195–199.  Google Scholar

• [9]

M. Cozzi, A. Farina and E. Valdinoci, Gradient bounds and rigidity results for singular, degenerate, anisotropic partial differential equations, Comm. Math. Phys. 331 (2014), no. 1, 189–214.

• [10]

G. Crasta and A. Malusa, The distance function from the boundary in a Minkowski space, Trans. Amer. Math. Soc. 359 (2007), no. 12, 5725–5759.

• [11]

M. Cuesta and P. Takáč, A strong comparison principle for positive solutions of degenerate elliptic equations, Differential Integral Equations 13 (2000), no. 4–6, 721–746.  Google Scholar

• [12]

F. Della Pietra and N. Gavitone, Sharp bounds for the first eigenvalue and the torsional rigidity related to some anisotropic operators, Math. Nachr. 287 (2014), no. 2–3, 194–209.

• [13]

F. Della Pietra and N. Gavitone, Symmetrization with respect to the anisotropic perimeter and applications, Math. Ann. 363 (2015), no. 3–4, 953–971.

• [14]

F. Della Pietra, N. Gavitone and S. Guarino Lo Bianco, On functionals involving the torsional rigidity related to some classes of nonlinear operators, J. Differential Equations, in press.

• [15]

F. Della Pietra, N. Gavitone and G. Piscitelli, On the second Dirichlet eigenvalue of some nonlinear anisotropic elliptic operators, Bull. Sci. Math., to appear.

• [16]

I. Fonseca and S. Müller, A uniqueness proof for the Wulff theorem, Proc. Roy. Soc. Edinburgh Sect. A 119 (1991), no. 1–2, 125–136.

• [17]

A. Henrot, I. Lucardesi and G. Philippin, On two functionals involving the maximum of the torsion function, ESAIM Control Optim. Calc. Var., to appear.

• [18]

J. Hersch, Sur la fréquence fondamentale d’une membrane vibrante: évaluations par défaut et principe de maximum, Z. Angew. Math. Phys. 11 (1960), 387–413.

• [19]

R. Kajikiya, A priori estimate for the first eigenvalue of the p-Laplacian, Differential Integral Equations 28 (2015), no. 9–10, 1011–1028.  Google Scholar

• [20]

B. Kawohl and M. Novaga, The p-Laplace eigenvalue problem as $p\to 1$ and Cheeger sets in a Finsler metric, J. Convex Anal. 15 (2008), no. 3, 623–634.  Google Scholar

• [21]

O. A. Ladyzhenskaya and N. N. Ural’tseva, Linear and Quasilinear Elliptic Equations, Academic Press, New York, 1968.  Google Scholar

• [22]

E. Parini, An introduction to the Cheeger problem, Surv. Math. Appl. 6 (2011), 9–21.  Google Scholar

• [23]

E. Parini, Reverse Cheeger inequality for planar convex sets, J. Convex Anal. 24 (2017), no. 1, 107–122.  Google Scholar

• [24]

L. E. Payne, Bounds for solutions of a class of quasilinear elliptic boundary value problems in terms of the torsion function, Proc. Roy. Soc. Edinburgh Sect. A 88 (1981), no. 3–4, 251–265.

• [25]

L. E. Payne and I. Stakgold, On the mean value of the fundamental mode in the fixed membrane problem, Appl. Anal. 3 (1973), 295–306.

• [26]

G. Poliquin, Bounds on the principal frequency of the p-Laplacian, Geometric and Spectral Analysis, Contemp. Math. 630, American Mathematical Society, Providence (2014), 349–366.  Google Scholar

• [27]

M. H. Protter, A lower bound for the fundamental frequency of a convex region, Proc. Amer. Math. Soc. 81 (1981), no. 1, 65–70.

• [28]

L. A. Santalò, Sobre los sistemas completos de desigualdades entre tres elementos de una figura convexa plana, Math. Notae 17 (1961), 82–104.  Google Scholar

• [29]

R. Sperb, Maximum Principles and Applications, Academic Press, New York, 1981.  Google Scholar

• [30]

P. Tolksdorf, Regularity for a more general class of quasilinear elliptic equations, J. Differential Equations 51 (1984), no. 1, 126–150.

• [31]

M. van den Berg, Spectral bounds for the torsion function, Integral Equations Operator Theory 88 (2017), no. 3, 387–400.

• [32]

M. van den Berg, V. Ferone, C. Nitsch and C. Trombetti, On Pólya’s inequality for torsional rigidity and first Dirichlet eigenvalue, Integral Equations Operator Theory 86 (2016), no. 4, 579–600.

• [33]

G. Wang and C. Xia, An optimal anisotropic Poincaré inequality for convex domains, Pacific J. Math. 258 (2012), no. 2, 305–325.

Accepted: 2018-09-05

Published Online: 2018-09-20

Published in Print: 2019-03-01

This work has been partially supported by GNAMPA of INdAM.

Citation Information: Advances in Nonlinear Analysis, Volume 9, Issue 1, Pages 278–291, ISSN (Online) 2191-950X, ISSN (Print) 2191-9496,

Export Citation