On the optimization of the first weighted eigenvalue

Nirjan Biswas; Ujjal Das; Mrityunjoy Ghosh

doi:10.1017/prm.2022.60

On the optimization of the first weighted eigenvalue

Part of: Existence theories Equations of mathematical physics and other areas of application Partial differential equations Spectral theory and eigenvalue problems Variational methods for eigenvalues of operators

Published online by Cambridge University Press: 12 September 2022

and

Nirjan Biswas: Affiliation:
Tata Institute of Fundamental Research, Centre For Applicable Mathematics, Post Bag No 6503, Sharada Nagar, Bangalore, 560065, India ([email protected])
Ujjal Das: Affiliation:
Department of Mathematics, Technion - Israel Institute of Technology, Haifa, 32000, Israel ([email protected])
Mrityunjoy Ghosh: Affiliation:
Department of Mathematics, Indian Institute of Technology Madras, Chennai, 600036, India ([email protected])

Article contents

Abstract
Introduction
Preliminaries
Existence of optimizer
Symmetry of minimizers
References

Rights & Permissions

Abstract

For $N\geq 2$, a bounded smooth domain $\Omega$ in $\mathbb {R}^{N}$, and $g_0,\, V_0 \in L^{1}_{loc}(\Omega )$, we study the optimization of the first eigenvalue for the following weighted eigenvalue problem:

\[ -\Delta_p \phi + V |\phi|^{p-2}\phi = \lambda g |\phi|^{p-2}\phi \text{ in } \Omega, \quad \phi=0 \text{ on } \partial \Omega, \]

where $g$

and $V$

vary over the rearrangement classes of $g_0$

and $V_0$

, respectively. We prove the existence of a minimizing pair $(\underline {g},\,\underline {V})$

and a maximizing pair $(\overline {g},\,\overline {V})$

for $g_0$

and $V_0$

lying in certain Lebesgue spaces. We obtain various qualitative properties such as polarization invariance, Steiner symmetry of the minimizers as well as the associated eigenfunctions for the case $p=2$

. For annular domains, we prove that the minimizers and the corresponding eigenfunctions possess the foliated Schwarz symmetry.

Keywords

Optimization of the principal eigenvalue polarization invariance Schwarz symmetry Steiner symmetry foliated Schwarz symmetry

MSC classification

Primary: 35B06: Symmetries, invariants, etc. 49J30: Optimal solutions belonging to restricted classes (Lipschitz controls, bang-bang controls, etc.) 35P15: Estimation of eigenvalues, upper and lower bounds 35Q93: PDEs in connection with control and optimization 49R05: Variational methods for eigenvalues of operators (should also be assigned at least one other classification number in Section 49)

Type: Research Article
Information: Proceedings of the Royal Society of Edinburgh Section A: Mathematics , Volume 153 , Issue 6 , December 2023 , pp. 1777 - 1804

DOI: https://doi.org/10.1017/prm.2022.60 [Opens in a new window]
Copyright: Copyright © The Author(s), 2022. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction

Let $N \ge 2$ and $\Omega$ be a smooth bounded domain in ${{\mathbb {R}}^{N}}$. For $p \in (1,\, \infty )$ and $g,\,V\in L^{1}_{loc}(\Omega )$, we consider the following weighted eigenvalue problem:

(1.1)\begin{equation} \begin{aligned} -\Delta_p \phi + V |\phi|^{p-2}\phi & = \lambda g |\phi|^{p-2}\phi \text{ in } \Omega,\\ \phi & =0\text{ on } \partial \Omega, \end{aligned} \end{equation}

where $\Delta _p \phi := \text {div}(|\nabla \phi |^{p-2}\nabla \phi )$ is the $p$-Laplace operator and $\lambda$ is a real parameter. We say $\lambda$ is an eigenvalue of (1.1), if there exists $\phi \in {{W^{1,p}_0(\Omega )}} \setminus \{0\}$ so that the following identity holds:

\[ \int_{\Omega} |\nabla \phi|^{p-2}\nabla \phi . \nabla \psi \, {{\rm d}x} + \int_{\Omega} V |\phi|^{p-2}\phi \psi \, {{\rm d}x} = \lambda \int_{\Omega} g |\phi|^{p-2}\phi \psi \, {{\rm d}x}, \quad \forall \, \psi \in {{W^{1,p}_0(\Omega)}}. \]

Let $g,\,V$ be such that

\[ \Lambda(g,V) := \inf \left\{ \frac{\int_{\Omega} |\nabla \phi|^{p} + V|\phi|^{p} } { \int_{\Omega} g |\phi|^{p}} : \phi \in {{W^{1,p}_0(\Omega)}}, \int_{\Omega} g |\phi|^{p} > 0 \right\} \]

is positive. If $\Lambda (g,\,V)$ is attained at some $\phi \in {{W^{1,p}_0(\Omega )}}$, then we say $\Lambda (g,\,V)$ is the first eigenvalue and $\phi$ is a first eigenfunction of (1.1). In the context of studying eigenvalue problems, many authors have provided various sufficient conditions on $g,\,V$ so that the first eigenvalue is simple (i.e., any two first eigenfunctions are constant multiple of each other), and principal (i.e., first eigenfunctions do not change their sign). For example, we refer [Reference Anoop, Lucia and Ramaswamy5, Reference Cuesta and Ramos Quoirin24, Reference Leadi and Yechoui38, Reference Szulkin and Willem45] to list a few and the references therein. In this article, we make the following assumptions on $g$ and $V$:

(A)\begin{equation*} \begin{aligned} & (\textbf{A1}) \quad g,V \in X:= \left\{ \begin{array}{@{}ll} L^{\frac{N}{p}}(\Omega), & \text{ if } N > p; \\ L^{q}(\Omega); q \in (1, \infty), & \text{ if } N\leq p, \end{array}\right. \\ & (\textbf{A2}) \quad g^{+} \not\equiv 0 \text{ and } \lVert{V^{-}}\rVert_{X} \le \displaystyle \frac{1-\delta_0}{S^{p}}, \text{ for some } \delta_0 \in (0, 1), \end{aligned} \end{equation*}

where for a function $f:\Omega \rightarrow \mathbb {R}$, $f^{\pm }(x) := \max \{ \pm f(x),\, 0 \}$, $S$ is the embedding constant of ${{W^{1,p}_0(\Omega )}} \hookrightarrow L^{p^{*}}(\Omega )$ ($p^{*}= \frac {pN}{N-p}$) if $N > p$ and ${{W^{1,p}_0(\Omega )}} \hookrightarrow L^{pq'}(\Omega )$ if $N \leq p$. For $g,\, V$ satisfying (A), using variational technique and the Picone's identity, one can show that $\Lambda (g,\,V)$ (for instance, see [Reference Leadi and Yechoui38] when $\Omega$ is unbounded) is a simple principal eigenvalue of (1.1). However, for the sake of completeness, we give a proof of these results for bounded domains in the appendix (theorem A.3). Now, for $g_0,\, V_0$ as given in (A), we define:

\begin{align*} \Lambda_{\min}(g_0,V_0) & = \inf \left\{ \Lambda(g,V): g \in {{\mathcal{E}}}(g_0), V \in {{\mathcal{E}}}(V_0) \right\}, \\ \Lambda_{\max}(g_0,V_0) & = \sup \left\{ \Lambda(g,V): g \in {{\mathcal{E}}}(g_0), V \in {{\mathcal{E}}}(V_0) \right\}, \end{align*}

where ${{\mathcal {E}}}(f)$ is the set of all rearrangements of a measurable function $f$, which is defined as

\[ {{\mathcal{E}}}(f)=\{h: \Omega \rightarrow {{\mathbb{R}}}: \, h \text{ is measurable}, \ |\{h>t\}| = |\{f>t\}|, \; \forall \, t \in {{\mathbb{R}}}\}. \]

In this article, we are concerned about the following optimization problems:

(1.2)\begin{align} {\textit{does there exist}}\;({{\underline{g}}},{{\underline{V}}})\in {{\mathcal{E}}}(g_0)\times {{\mathcal{E}}}(V_0)\; {\textit{such that}}\;\Lambda_{\min}(g_0,V_0)=\Lambda({{\underline{g}}},{{\underline{V}}})? \end{align}

(1.3)\begin{align} {\textit{does there exist}}\;({{\overline{g}}},{{\overline{V}}})\in {{\mathcal{E}}}(g_0)\times {{\mathcal{E}}}(V_0)\; {\textit{such that}}\;\Lambda_{\max}(g_0,V_0)=\Lambda({{\overline{g}}},{{\overline{V}}}) ? \end{align}

The above problems have significant importance in the study of elasticity theory, population dynamics and many other mathematical models. For example, the following diffusive logistic equation is considered in [Reference Skellam44]:

(1.4)\begin{equation} \begin{aligned} u_t - \Delta u & = \mu (g_0-u)u \quad \mbox{in} \; \Omega\times (0,\infty), \\ u & = 0 \quad \mbox{on} \; \partial \Omega\times (0,\infty), \\ u(x,0) & \gneqq 0 \quad \mbox{on} \; \overline{\Omega}, \end{aligned} \end{equation}

where $u(x,\,t)$ represents the density of a species at position $x$ and time $t$, $g_0$ is a weight function, $\mu$ is a positive parameter and $u=0$ on $\partial \Omega \times (0,\,\infty )$ (i.e., Dirichlet conditions) represents that the region outside the domain is completely lethal. In this mathematical model, one can predict the persistence or extinction of a species by means of certain parameters that are directly related to the principal eigenvalue of Laplacian [Reference Cantrell and Cosner17, Reference Cantrell and Cosner18]. More precisely, in (1.4), $\mu > \Lambda _{\max }(g_0,\,0)$ ensures the survival of the species and $\mu \leq \Lambda _{\min }(g_0,\, 0)$ leads to the extinction of the species as time $t$ increases. In this viewpoint, it is important to identify an optimal distribution of resources that optimize $\Lambda (g,\,0)$ over the rearrangement class. Also, studying qualitative properties of such optimizers (if it exists) is equally essential to know the nature of an optimal arrangement, such as the shape of a favourable and unfavourable zone for the species to survive, fragmentation/concentration phenomena, etc. To see more such problems, see [Reference Berestycki, Hamel and Roques7, Reference Mazari, Nadin and Privat40] and the references therein.

The objective of this article is twofold. Firstly, we study the existence of optimizers in (1.2)–(1.3) for a general class of weight functions and potentials as mentioned in (A). Secondly, we investigate the geometry of the optimizers.

1.1 Existence of optimizers

Krein [Reference Krein35, for $N=1,\,p=2$] and Cox-McLaughlin [Reference Cox and McLaughlin21, for $N\geq 1$, $p=2$] have studied the optimization problems (1.2)–(1.3) for $V_0=0,$ $g_0= \alpha \chi _D + \beta \chi _{\Omega \setminus D}$, $0\leq \alpha <\beta$ and $D \subset \Omega$ with $0 < |D|=c < |\Omega |$, where the optimization was taken over the class

\[ \mathcal{A}_{\alpha,\beta,c}=\left\{g \in L^{\infty}(\Omega): \alpha \leq g \leq \beta, \int_{\Omega} g = c\right\}. \]

Several authors have considered similar problems where the optimization parameter varies over different admissible classes, e.g. [Reference Ashbaugh and Harrell6, Reference Derlet, Gossez and Takáč27, Reference Fernández Bonder and Del Pezzo29, Reference Pielichowski42]. The authors of [Reference Cuccu, Emamizadeh and Porru22] considered the optimization problems (1.2)–(1.3) over the rearrangement class $\mathcal {E}(g_0)$. If $V_0=0$ and $g_0 \in L^{\infty }(\Omega )$ with $g_0\geq 0$, they have proved that $\Lambda _{\min }(g_0,\,0)$ and $\Lambda _{\max }(g_0,\,0)$ are attained in $\mathcal {E}(g_0)$ and $\overline {\mathcal {E}(g_0)}$ (weak* closure of $\mathcal {E}(g_0)$ in $L^{\infty }(\Omega )$) respectively. In addition, if $\Omega$ is a ball, they showed that $\Lambda _{\max }(g_0,\,0)$ is attained in $\mathcal {E}(g_0)$ itself. For the minimization problem (1.2), in [Reference Emamizadeh and Prajapat28], authors consider nonnegative $g_0,\, V_0 \in L^{\infty }(\Omega )$ with certain restriction on the norm of $V_0$. In [Reference Del Pezzo and Fernández Bonder26], authors have enlarged the class of weight functions and potentials for the existence of minimizer by considering $g_0,\,V_0 \in L^{q}(\Omega )$ with $q > \frac {N}{p}$ (if $N\geq p$), and $q=1$ (if $N< p$), and certain restriction on $\lVert {V_0^{-}}\rVert _{L^{q}}$. In order to get the existence of optimizers, the compactness of the Sobolev embedding ${{W^{1,p}_0(\Omega )}} \hookrightarrow L^{r}(\Omega )$ with $r< p^{*}$ (if $N >p$) and $r< \infty$ (if $N \le p$) plays an important role. In this article, we extend all the existence results for (1.2)–(1.3) with $g_0,\,V_0$ satisfying (A). Now we state our results.

Theorem 1.1 Let $\Omega$ be a smooth bounded domain in ${{\mathbb {R}}}^{N}$. Assume that $g_0,\, V_0$ satisfy (A). Then the following holds:

(i) (Existence of minimizer) There exists $({{\underline {g}}} ,\,{{\underline {V}}})\in {{\mathcal {E}}}(g_0) \times {{\mathcal {E}}}(V_0)$ such that
\[ \Lambda_{\min}(g_0, V_0) = \Lambda({{\underline{g}}},{{\underline{V}}}), \]
(ii) (Existence of maximizer) In addition, if $g_0\geq 0,$ then there exists $({{\overline {g}}},\, {{\overline {V}}}) \in {{\mathcal {E}}}(g_0) \times {{\mathcal {E}}}(V_0)$ such that
\[ \Lambda_{\max}(g_0, V_0) = \Lambda({{\overline{g}}},{{\overline{V}}}). \]

For $N>p$ and $g_0,\,V_0 \in L^{\frac {N}{p}}(\Omega )$, one of the main difficulties occurs in the minimization problem due to the non-compactness of the critical Sobolev embedding ${{W^{1,p}_0(\Omega )}} \hookrightarrow L^{p^{*}}(\Omega )$. However, we overcome this by using certain regularity of the solution of (1.1) due to Guedda-Veron [Reference Guedda and Véron30] and a gradient estimate obtained by Damascelli-Pardo [Reference Damascelli and Pardo25]. For the maximization problem, we mainly use the rearrangement inequality (by Burton [Reference Burton15]) to get the existence of maximizer in the rearrangement classes of $g_0,\,V_0$.

In theorem 1.1, we call each of $({{\underline {\phi }}},\,{{\underline {g}}},\,{{\underline {V}}})$ and $({{\overline {\phi }}},\,{{\overline {g}}},\,{{\overline {V}}})$ as an optimal triple, where ${{\underline {\phi }}}$ is a first eigenfunction of (1.1) associated to ${{\underline {g}}},\,{{\underline {V}}}$ and ${{\overline {\phi }}}$ is a first eigenfunction of (1.1) associated to ${{\overline {g}}},\,{{\overline {V}}}$. Notice that if $g_0,\, V_0$ are constant functions, then the rearrangement class is singleton. In these cases, we call an optimal triple as optimal pair. We set

\begin{align*} ({{\underline{\phi}}},{{\underline{g}}},{{\underline{V}}}):= \left\{ \begin{array}{@{}ll} ({{\underline{\phi}}},{{\underline{g}}}), & \text{ if }V_0\text{ is constant}, \\ ({{\underline{\phi}}},{{\underline{V}}}), & \text{ if }g_0\text{ is constant}, \end{array}\right. \end{align*}

and the similar convention holds for $({{\overline {\phi }}},\,{{\overline {g}}},\,{{\overline {V}}})$ as well.

1.2 Symmetry of minimizers

In the pioneering article [Reference Chanillo, Grieser, Imai, Kurata and Ohnishi19], authors considered (1.2) for $p=2$, $g_0=1$ and $V_0=\alpha \chi _D$, where $\alpha >0$ and $\chi _D$ is the characteristic function of a measurable set $D\subset \Omega$, and proposed the question of whether, or not, an optimal pair $({{\underline {\phi }}},\,{{\underline {V}}})$ inherits the symmetry of the underlying domain $\Omega$. In [Reference Chanillo, Grieser, Imai, Kurata and Ohnishi19, theorem 4], they proved that if $\Omega$ is Steiner symmetric with respect to a hyperplane $P$ (i.e., $\Omega$ is convex and symmetric with respect to $P$), then $({{\underline {\phi }}},\,{{\underline {V}}})$ is also Steiner symmetric with respect to $P$. They also showed that a symmetry of the underlying domain would not carry to an optimal pair $({{\underline {\phi }}},\,{{\underline {V}}})$ without the convexity assumption. For example, [Reference Chanillo, Grieser, Imai, Kurata and Ohnishi19, theorem 6] provides a concentric annular region and a $V_0$ for which $({{\underline {\phi }}},\,{{\underline {V}}})$ is not rotationally symmetric. Furthermore, [Reference Chanillo, Grieser, Imai, Kurata and Ohnishi19, theorem 7] gives a dumbbell domain for which the axial symmetry breaks for an optimal pair. In [Reference Chanillo, Grieser, Imai, Kurata and Ohnishi19, section 6], authors have also conjectured several necessary and sufficient criteria on domains (concentric annulus, dumbbell, etc.) for which symmetry is preserved.

For certain convex domains, the minimizers of (1.2) preserve the symmetry of the underlying domains. For example, when $\Omega =B_1(0)$, with the same assumptions on $g_0$ and $V_0$ as in [Reference Chanillo, Grieser, Imai, Kurata and Ohnishi19], Pielichowski [Reference Pielichowski42] proved that an optimal pair $({{\underline {\phi }}},\,{{\underline {V}}})$ is radial. For $V_0 \equiv 0$ and nonnegative $g_0\in L^{\infty }(B_1(0))$, in [Reference Cuccu, Emamizadeh and Porru22] authors showed that an optimal pair $({{\underline {\phi }}},\,{{\underline {g}}})$ is radial and radially decreasing in $B_1(0)$. This result has been further extended by Emamizadeh-Prajapat [Reference Emamizadeh and Prajapat28, theorem 3.3] for nonnegative $V_0 \in L^{\infty }(B_1(0))$ satisfying certain norm bound, and in addition, authors obtained that ${{\underline {V}}}$ is radial and radially increasing in $B_1(0)$. For Steiner symmetric domains, the Steiner symmetry of $({{\underline {\phi }}},\,{{\underline {g}}})$ is obtained in [Reference Anedda and Cuccu2, theorem 3.1] for $g_0=\alpha \chi _D + \beta \chi _{\Omega \setminus D}$ (where $0\leq \alpha <\beta$ and $D\subset \Omega$ such that $0 < |D| < |\Omega |$) and $V_0=0.$ For similar symmetry preserving results related to other variational problems in this direction, we refer to [Reference Cadeddu and Porru16, Reference Cuccu and Porru23, Reference Jha and Porru32, Reference Kurata, Shibata and Sakamoto36] and the references therein. We also refer to [Reference Lamboley, Laurain, Nadin and Privat37, Reference Mazzoleni, Pellacci and Verzini41] for further results on the symmetry of the optimal weights.

Notice that, for the domains where symmetry breaking happens, the classical symmetrizations such as Schwarz and Steiner symmetrization were not applicable. However, it is natural to ask: for such domains, do optimal pairs have any partial symmetry? In this article, using polarization (also known as two-point symmetrization; cf. [Reference Bianchi, Gardner, Gronchi and Kiderlen8, Reference Brock and Solynin13]), we prove various symmetries of an optimal triple on a more general class of domains (not necessarily simply connected) for the linear case (i.e., $p=2$ in (1.2)). To the best of our knowledge, there are no such results available in the literature regarding the symmetry properties of an optimal triple for the problem (1.2) on domains that are not simply connected, except a few counterexamples (for symmetry breaking) mentioned earlier. Before stating our results, we first define polarization of a domain and polarization of a function.

Polarization

Let $H$ be an open affine half-space in ${{\mathbb {R}}}^{N}$ and $\sigma _H$ denote the reflection with respect to the boundary $\partial H$ of $H$.

Definition 1.2

(i) The polarization of $\Omega \subset {{\mathbb {R}}}^{N}$ with respect to $H$ is defined as
\[ \Omega_H =\big((\Omega\cup\sigma_H(\Omega))\cap H\big)\cup\big(\Omega\cap \sigma_H(\Omega)\big). \]
(ii) For a measurable function $f:\mathbb {R}^{N} \rightarrow {{\mathbb {R}}}$, the polarization of $f$ with respect to $H$ is defined as
\[ f_H(x)=\left\{\begin{array}{@{}cc} \max \{f(x),f(\sigma_H(x))\}, & \text{if} \ x \in H, \\ \min \{f(x),f(\sigma_H(x))\}, & \ \text{if}\ x \notin H. \end{array} \right. \]
For $\Omega \subsetneq {{\mathbb {R}}}^{N}$, we define the polarization of a function $f:\Omega \rightarrow {{\mathbb {R}}}$ with respect to $H$ by $f_H=\tilde {f}_H|_\Omega$, where $\tilde {f}$ is the extension of $f$ to $\mathbb {R}^{N}$ by 0 outside of $\Omega$. We also define a dual-polarization of $f$ as $f^{H} =f_H\circ \sigma _H.$
(iii) Let $f:\Omega \rightarrow {{\mathbb {R}}}$ be a measurable function. If $f_H=f$ a.e. in $\Omega$, then $f$ is said to be polarization invariant with respect to $H$. Similarly, if $f^{H}=f$ a.e. in $\Omega$, then $f$ is said to be dual-polarization invariant with respect to $H$.

Now we state our next result.

Theorem 1.3 Let $p=2$ and $H\subset {{\mathbb {R}}}^{N}$ be an open affine half-space such that $0\in \overline {H}$. Let $\Omega$ be a smooth, bounded domain in ${{\mathbb {R}}}^{N}$ such that $\Omega =\Omega _H$. Let $g_0,\, V_0$ satisfy the assumption as given in (A). In addition, we assume that $g_0,\, V_0 \ge 0$. Let $({{\underline {\phi }}},\,{{\underline {g}}},\,{{\underline {V}}})$ be an optimal triple as given by theorem 1.1-$(i)$. Then the following holds:

(i) if $\sigma _H(\Omega )\neq \Omega$ and $V_0=0,$ then ${{\underline {\phi }}},\,\; {{\underline {g}}}$ are polarization invariant with respect to $H,$
(ii) if $\sigma _H(\Omega )=\Omega,$ then ${{\underline {\phi }}},\,{{\underline {g}}},\,{{\underline {V}}}$ are either polarization invariant or else dual-polarization invariant with respect to $H$.

Let us now briefly describe the technique of our proof. As seen in [Reference Anedda and Cuccu2, Reference Chanillo, Grieser, Imai, Kurata and Ohnishi19, Reference Cuccu, Emamizadeh and Porru22], the techniques for proving the Schwarz and Steiner symmetry of the minimizers mainly rely on the Hardy-Littlewood inequality and the characterizations for the equality case in Pólya-Szegö inequality, namely, $(i)$ Brothers-Ziemer's characterization [Reference Brothers and Ziemer14, for Schwarz symmetrization], $(ii)$ the counterpart of Brothers-Ziemer's characterization due to Cianchi-Fusco [Reference Cianchi and Fusco20, for Steiner symmetrization]. Indeed, an analogue of the Hardy-Littlewood inequality for polarization plays a vital role in our proof as well. However, since the gradient norm of a function remains unchanged under polarization (proposition 2.2), equality occurs in the Pólya-Szegö type inequality. Thus the analogue of Brothers-Ziemer type characterization is no more valid in the case of polarization. We bypass this deficiency by using a version of strong maximum principle (proposition 4.1) and compare ${{\underline {\phi }}}$ and ${{\underline {\phi }}}_H$ on $\Omega \cap H$. This indeed helps us to prove the above theorem.

As we mentioned earlier, for $g_0$ taking a finite number of nonnegative values, Anedda-Cuccu studied the Steiner symmetry of minimizers [Reference Anedda and Cuccu2, remark 3.1]. This particular choice of $g_0$ allowed them to use the result by Cianchi-Fusco [Reference Cianchi and Fusco20, theorem 2.6] in their proof. In this article, as an application of theorem 1.3, we extend Cuccu-Anedda's result for a more general class of weight functions $g_0$.

Corollary 1.4 Steiner symmetry

Let $p,\,g_0,\,H$ be as given in theorem 1.3 and $V_0=0$. Assume that $\Omega$ is a Steiner symmetric domain with respect to the hyperplane $\partial H$. Then an optimal pair $({{\underline {\phi }}},\,{{\underline {g}}})$ is Steiner symmetric with respect to $\partial H$ in $\Omega$. In particular, we have ${{\underline {\phi }}}={{\underline {\phi }}}\circ \sigma _H$ and ${{\underline {g}}}={{\underline {g}}}\circ \sigma _H$ a.e. in $\Omega$.

We observe that the concentric annulus is polarization invariant with respect to any open half-space containing the origin on the boundary. On the other hand, the non-concentric annulus is polarization invariant with respect to any open half-space which contains the origin on the boundary and does not contain the centre of the inner ball. This kind of geometry motivates us to study certain partial symmetry of $({{\underline {\phi }}},\,{{\underline {g}}},\,{{\underline {V}}})$ on the annular region. Indeed, in the following theorem, we show that $({{\underline {\phi }}},\,{{\underline {g}}},\, {{\underline {V}}})$ is foliated Schwarz symmetric in annular domains.

Theorem 1.5 Let $\Omega _{R,r}=B_R(0)\setminus \overline {B_r(te_1)},\,\;0\leq t< R-r$ and $p,\,g_0,\,V_0$ be as in theorem 1.3. Let $({{\underline {\phi }}},\,{{\underline {g}}},\,{{\underline {V}}})$ be an optimal triple. Then the following holds:

(i) (Concentric case) if $t=0,$ then there exists $\gamma \in \mathbb {S}^{N-1}$ such that ${{\underline {\phi }}},\,{{\underline {g}}}$ are foliated Schwarz symmetric in $\Omega _{R,r}$ with respect to $\gamma$ and ${{\underline {V}}}$ is foliated Schwarz symmetric in $\Omega _{R,r}$ with respect to $-\gamma,$
(ii) (Non-concentric case) if $t>0$ and $V_0=0,$ then ${{\underline {\phi }}}$ and ${{\underline {g}}}$ are foliated Schwarz symmetric in $\Omega _{R,r}$ with respect to $-e_1$.

As a by-product of theorem 1.3 and theorem 1.5, we prove that maxima of the first eigenfunction of (1.1) associated to a minimizer of (1.2) on nonconcentric annulus will lie on a segment of the negative $x_1$-axis.

Corollary 1.6 Let $p=2$ and $\Omega =\Omega _{R,r}=B_R(0)\setminus \overline {B_r(te_1)},$ where $0< t< R-r$. Assume that $g_0\in L^{q}(\Omega ),$ where $q>\frac {N}{2},$ is nonnegative and $V_0=0$. Let $({{\underline {\phi }}},\,{{\underline {g}}})$ be an optimal pair. Define

\[ L_{\Omega}=\bigg\{x=\big(x_1,x_2,\ldots,x_N\big)\in \Omega\cap (-{{\mathbb{R}}}^{+} e_1): x_1\geq{-}\frac{R+r-t}{2}\bigg\}, \]

where ${{\mathbb {R}}}^{+}$ is the set of nonnegative real numbers. Then $\max \limits _{x\in \Omega }{{\underline {\phi }}}(x)=\max \limits _{x\in L_{\Omega }} {{\underline {\phi }}}(x)$. In addition, if ${{\underline {g}}}$ is continuous, then $\max \limits _{x\in \Omega }{{\underline {g}}}(x)=\max \limits _{x\in L_{\Omega }} {{\underline {g}}}(x)$.

The remainder of the article is organized as follows. In § 2.1, we briefly discuss polarization and prove certain related results that are essential for the development of this article. In § 2.2, we recall three different types of symmetrizations and their characterizations in terms of polarization. Proof of the existence result (theorem 1.1) is given in § 3. In § 4, we study the symmetry results. This section contains the proof of theorem 1.3–1.5 and corollary 1.4–1.6. The existence of the first eigenvalue of (1.1) is derived in appendix.

2. Preliminaries

2.1 Polarizations

Let ${{\mathcal {H}}}$ be the collection of all open affine half-spaces in ${{\mathbb {R}}}^{N}$, and ${{\mathcal {H}}}_0\subset {{\mathcal {H}}}$ denotes the set of all $H\in {{\mathcal {H}}}$ such that $0\in \overline {H}$. For $\beta \in {{\mathbb {R}}}^{N}$, we set

\begin{align*} \widehat{{{\mathcal{H}}}}_0& :=\{H\in {{\mathcal{H}}}_0: 0\in \partial H\},\\ {{\mathcal{H}}}(\beta)& :=\{H\in {{\mathcal{H}}}:\beta\in H\},\\ \widehat{{{\mathcal{H}}}}_0(\beta)& :=\{H\in\widehat{{{\mathcal{H}}}}_0 :\beta\in H\}. \end{align*}

In the next proposition, we prove some results which will be used in subsequent sections.

Proposition 2.1 Let $H\in {{\mathcal {H}}}$ and $\Omega$ be a domain in ${{\mathbb {R}}}^{N}$ such that $\Omega =\Omega _H$. Then

(i) $\sigma _H( \Omega ^{c}\cap H) \subset \Omega ^{c}\cap H^{c}$.
(ii) $\sigma _H(\Omega \cap \overline {H}^{c}) \subset \Omega \cap H$.
(iii) if $\sigma _H(\Omega )\neq \Omega,$ then there exists $A\subset \Omega \cap H$ such that $|A|>0$ and $\sigma _H(A)\subset \Omega ^{c}\cap \overline {H}^{c}$.
(iv) Let $f:\Omega \rightarrow {{\mathbb {R}}}^{+}$ be a measurable function. Let $\tilde {f}_H$ be the polarization of $\tilde {f}$ as given in definition 1.2-(ii). Then $\tilde {f}_H=0$ a.e. in $\Omega ^{c}$.

Proof. $(i)$ Let $x\in \Omega ^{c}\cap H$. Then $\sigma _H(x)\in H^{c}$. We claim that $\sigma _H(x)\in \Omega ^{c}$. On the contrary, suppose $\sigma _H(x)\in \Omega$. Let $y=\sigma _H(x)$. Then $\sigma _H(y)\in \sigma _H(\Omega )$. Thus $\sigma _H(y)\in \sigma _H(\Omega )\cap H\subset \Omega _H$. Since $\Omega =\Omega _H$, we have $\sigma _H(y)\in \Omega$. Therefore $x(=\sigma _H(y))\in \Omega$, which is a contradiction as $x\in \Omega ^{c}$.

$(ii)$ Proof follows using a similar set of arguments as given above.

$(iii)$ From $(ii)$, we have $\sigma _H(\Omega \cap \overline {H}^{c}) \subset \Omega \cap H$. Since $\sigma _H(\Omega )\neq \Omega$, we get $\sigma _H(\Omega \cap \overline {H}^{c}) \subsetneq \Omega \cap H$. Therefore, the set $A:=(\Omega \cap H)\setminus \sigma _H(\Omega \cap \overline {H}^{c})$ is nonempty. Then $\sigma _H(A)\subset \Omega ^{c}\cap \overline {H}^{c}$. Now it is enough to show that int$(A)$ is nonempty. Suppose int$(A)=\emptyset$. Then for every $x\in A$, there exists $r_x>0$ such that $B_r(x)\cap \sigma _H(\Omega \cap \overline {H}^{c})\neq \emptyset,\, \; \forall \, r\in (0,\,r_x)$. This implies that $A\subset \partial (\sigma _H(\Omega \cap \overline {H}^{c}))$ and hence

(2.1)\begin{equation} \sigma_H(\Omega \cap \overline{H}^{c}) \subsetneq \Omega \cap H\subset \overline{\sigma_H(\Omega \cap \overline{H}^{c})}. \end{equation}

On the other hand, $A \subset \partial (\sigma _H(\Omega \cap \overline {H}^{c})) \cap (\Omega \cap H)$ and $\Omega \cap H$ is open. Hence for $y\in A$, there exists $r>0$ such that $B_r(y)\subset \Omega \cap H$ and $B_r(y)\cap (\overline {\sigma _H(\Omega \cap \overline {H}^{c})})^{c}\neq \emptyset$, a contradiction to (2.1). Thus, int$(A)$ must be nonempty.

$(iv)$ Let $x\in \Omega ^{c}\cap H$. Since $\Omega =\Omega _H$, using proposition 2.1-$(i)$, $\sigma _H(x)\in \Omega ^{c}\cap H^{c}$ and $\tilde {f}_H(x)= \max \{\tilde {f}(x),\, \tilde {f}(\sigma _H(x))\} = 0.$ If $x \in \Omega ^{c}\cap H^{c}$, then $\tilde {f}_H(x)=\min \{ {{\tilde {f}}}(x),\, {{\tilde {f}}}(\sigma _H(x)) \} \leq 0$. Thus, $\tilde {f}_H=0$ a.e. in $\Omega ^{c}$.

In the next proposition, we prove that the polarization of a measurable function defined on $\Omega$ is a rearrangement of that function. For $\Omega ={{\mathbb {R}}}^{N}$, this result is well known as polarization is a two-point rearrangement (see [Reference Brock and Solynin13, section 5]). For $\Omega \subsetneq {{\mathbb {R}}}^{N}$, we give a proof using definition 1.2-(ii). We also state some results related to the invariance of norms under polarization.

Proposition 2.2 Let $H\in {{\mathcal {H}}}$ and let $\Omega \subsetneq {{\mathbb {R}}}^{N}$ be a domain such that $\Omega =\Omega _H$. Let $f:\Omega \rightarrow {{\mathbb {R}}}^{+}$ be a measurable function, and its polarization $f_H$ be as given in definition 1.2-(ii). Then the following holds:

(i) $f_H$ is a rearrangement of $f,$
(ii) If $f\in L^{p}(\Omega )$ for some $p\in [1,\,\infty ),$ then $f_H\in L^{p}(\Omega )$ with $\lVert {f}\rVert _p=\lVert {f_H}\rVert _p$. Furthermore, if $f\in {{W^{1,p}_0(\Omega )}},$ then $f_H\in {{W^{1,p}_0(\Omega )}}$ with $\lVert {\nabla f}\rVert _p=\lVert {\nabla f_H}\rVert _p$.

Proof. $(i)$ Let $t<0$. Since $f \ge 0$, it is clear that $\tilde {f}_H \ge 0$. Thus $f_H \ge 0$ and hence $\lvert {\{x \in \Omega : f_H(x)>t\}}\rvert =|\Omega |$. Let $t \ge 0$. In this case, it is easy to observe that

(2.2)\begin{align} \lvert{\{x\in \Omega:f(x)>t\}}\rvert & = \lvert{\{x\in {{\mathbb{R}}}^{N}:\tilde{f}(x)>t\}}\rvert \nonumber\\ & = \lvert{\{x\in {{\mathbb{R}}}^{N}:\tilde{f}_H(x)>t\}}\rvert \nonumber\\ & =\lvert{\{x\in \Omega:f_H(x)>t\}}\rvert+\lvert{\{x\in \Omega^{c}:\tilde{f}_H(x)>t\}}\rvert. \end{align}

Since $f \ge 0$ a.e. in $\Omega$, applying proposition 2.1-$(iv)$ we have $\lvert {\{x\in \Omega ^{c}:\tilde {f}_H(x)>t\}}\rvert = 0$. Therefore, from (2.2) we conclude $\lvert {\{x\in \Omega :f(x)>t\}}\rvert =\lvert {\{x\in \Omega :f_H(x)>t\}}\rvert.$

$(ii)$ Both the claims follow from [Reference Van Schaftingen46, proposition 2.3].

In the following remark, we enlist some elementary facts about the polarized domains and functions. If $g=h$ a.e. in $\Omega$, then we write $g=h$ in $\Omega$ now onwards.

Remark 2.3 Let $H\in {{\mathcal {H}}},\, \Omega \subset {{\mathbb {R}}}^{N}$ be a domain and $f:\Omega \rightarrow {{\mathbb {R}}}^{+}$ be a measurable function.

(i) If $\Omega =\Omega _H=\Omega _{\overline {H}^{c}}$, then $\Omega$ is symmetric with respect to the hyperplane $\partial H$. For such domain if $f$ satisfies $f=f_H=f^{H}$ in $\Omega$, then it is easy to see that $f=f\circ \sigma _H$ in $\Omega$, i.e., $f$ is symmetric with respect to $\partial H$.
(ii) From definition 1.2-(ii), it follows that
\[ f^{H} =f_{\overline{H}^{c}},\quad f_H=f^{\overline{H}^{c}}, \ (f^{H})_H=(f_H)_H=f_H,\ (f_H)^{H}=(f^{H})^{H}=f^{H}. \]
(iii) If $\Omega =\Omega _{\overline {H}^{c}}$, then (analogous to proposition 2.2-$(i)$), $f^{H}$ is a rearrangement of $f$. However, the assumption $\Omega =\Omega _H$ alone is not sufficient to ensure that $f^{H}$ is a rearrangement of $f$. For example, we consider an open set $\Omega := \{x\in {{\mathbb {R}}}^{2}: |x|<1\}\cap \{x \in {{\mathbb {R}}}^{2}: x_2>0 \}$. Let $f: \Omega \rightarrow {{\mathbb {R}}}^{+} \setminus \{0\}$ be a measurable function. Let $H\in {{\mathcal {H}}}_0(e_2)$ where $e_2 = (0,\,1)$. Then $\Omega = \Omega _H$ and $\sigma _H(\Omega ) \neq \Omega$. Therefore, $\sigma _H(\Omega \cap \overline {H}^{c}) \subsetneq \Omega \cap H$ (by proposition 2.1-$(ii)$). Set $A= (\Omega \cap H) \setminus \sigma _H(\Omega \cap \overline {H}^{c})$. From proposition 2.1-$(iii)$, $|A|>0$. Then for each $x \in A,\, \sigma _H(x) \in \Omega ^{c} \cap H^{c}$ and hence using definition 1.2-(ii), $f_H(x) = 0$. Thus $\lvert {x \in \Omega : f_H(x)>0}\rvert \le |\Omega \setminus A| < |\Omega | = \lvert {x \in \Omega : f(x)>0}\rvert$.
(iv) If $\Omega =\Omega _H$ and $f\in {H^{1}_0(\Omega )}$, then it is not necessary that $f^{H}$ lies in ${H^{1}_0(\Omega )}$. For example, consider $\Omega \subset {{\mathbb {R}}}^{2}$ and $H$ as above. For such $H$, it is easy to see that $f^{H}\notin {H^{1}_0(\Omega )}$. However, in addition if $\Omega =\Omega _{\overline {H}^{c}}$, then we have $f^{H}=f_{\overline {H}^{c}}\in {H^{1}_0(\Omega )}$.

2.1.1 Hardy-Littlewood and reverse Hardy-Littlewood inequality.

Next, we discuss the Hardy-Littlewood and the reverse Hardy-Littlewood inequality for polarization.

Proposition 2.4 Let $p \in (1,\,\infty ),$ $H\in {{\mathcal {H}}}_0$ and $v,\,w\in L^{p}({{\mathbb {R}}}^{N})$ be such that $vw\in L^{1}({{\mathbb {R}}}^{N})$. Then

\[ \int_{{{\mathbb{R}}}^{N}} v(x) w(x) \, {{\rm d}x} \leq \int_{{{\mathbb{R}}}^{N}} v_H(x) w_H(x)\, {{\rm d}x}. \]

Proof. For a proof, we refer to [Reference Brock11, lemma 2].

In the following proposition, we first derive the Hardy-Littlewood inequality for functions defined on polarization invariant domains other than ${{\mathbb {R}}}^{N}$. Then, we prove a reverse Hardy-Littlewood inequality involving the polarization and the dual-polarization of functions.

Proposition 2.5 Let $p \in (1,\, \infty ),$ $H\in {{\mathcal {H}}}_0$ and $\Omega \subset {{\mathbb {R}}}^{N}$ be a bounded domain such that $\Omega =\Omega _H$. Let $v,\,w \in L^{p}(\Omega )$ with $vw \in L^{1}(\Omega )$.

(i) (Hardy-Littlewood inequality) Assume that at least one of $v$ and $w$ are nonnegative. Then
(2.3)\begin{equation} \int_{\Omega} v(x) w(x) \, {{\rm d}x} \leq \int_{\Omega} v_H(x) w_H(x) \, {{\rm d}x}. \end{equation}
(ii) (Reverse Hardy-Littlewood inequality) Assume that $w$ is nonnegative. Then
\[ \int_{\Omega} v^{H}(x) w_H(x) \, {{\rm d}x} \leq \int_{\Omega} v(x)w(x) \, {{\rm d}x}. \]

Proof. $(i)$ Let $\tilde {v},\,\tilde {w}$ are the zero extensions of $v,\,w$ respectively to $\mathbb {R}^{N}$. Then, using proposition 2.4, we have

(2.4)\begin{equation} \int_{{{\mathbb{R}}}^{N}} \tilde{v}(x) \tilde{w}(x) \, {{\rm d}x} \leq \int_{{{\mathbb{R}}}^{N}} \tilde{v}_H(x) \tilde{w}_H(x) \, {{\rm d}x}. \end{equation}

From the definition $\tilde {v}(x)= 0$ for $x \in \Omega ^{c}$. Using (2.4), we write

\begin{align*} \int_{\Omega} v(x)w(x) \, {{\rm d}x}=\int_{{{\mathbb{R}}}^{N}} \tilde{v}(x)\tilde{w}(x) \, {{\rm d}x} & \leq \int_{{{\mathbb{R}}}^{N}} \tilde{v}_H(x) \tilde{w}_H(x) \, {{\rm d}x} \nonumber \\ & = \int_{\Omega} v_H(x)w_H(x) \, {{\rm d}x} +\int_{\Omega^{c}} \tilde{v}_H(x) \tilde{w}_H(x) \, {{\rm d}x}. \end{align*}

Without loss of generality, we assume $v \ge 0$ in $\Omega$. Applying proposition 2.1-$(iv)$ we see that $\tilde {v}_H= 0$ in $\Omega ^{c}$. Thus from the above inequality, we get (2.3).

$(ii)$ First, notice that

\[{-}v^{H}(x)={-}v_H(\sigma_H(x)) =({-}v)_H(x). \]

Now, using (2.3), we get

\[ \int_{\Omega}({-}v)(x) w(x) \, {{\rm d}x} \leq \int_{\Omega}({-}v)_H(x) w_H(x) \, {{\rm d}x}={-}\int_{\Omega}v^{H}(x)w_H(x) \, {{\rm d}x}. \]

Therefore, $\int _{\Omega } v^{H}(x) w_H(x) \, {{\rm d}x} \leq \int _{\Omega } v(x) w(x) \, {{\rm d}x}.$

2.2 Symmetrizations

In this section, we define Schwarz symmetry, Steiner symmetry and Foliated Schwarz symmetry of a function. We also characterize these symmetries using polarization.

2.2.1 Schwarz symmetry

Definition 2.6 Schwarz symmetric function

Let $f:B_1(0)\rightarrow {{\mathbb {R}}}$ be a measurable function. Then $f$ is called Schwarz symmetric in $B_1(0)$ if $f$ is radial and radially decreasing in $B_1(0)$.

Now we give an equivalent criterion for Schwarz symmetry via polarization. The following result is proved in [Reference Brock and Solynin13, lemma 6.3].

Proposition 2.7 Let $f:B_1(0)\rightarrow {{\mathbb {R}}}$ be a measurable function. Then $f$ is Schwarz symmetric in $B_1(0)$ if and only if $f=f_H$ for all $H\in {{\mathcal {H}}}(0)$.

2.2.2 Steiner symmetry.

In this section, we give a definition of Steiner symmetrization; cf. [Reference Henrot31, section 2.2]. First, we fix some notations. We write $x \in {{\mathbb {R}}^{N}}$ as $x=(x',\,x_N)$, where $x'=(x_1,\,x_2,\,\ldots,\,x_{N-1})\in {{\mathbb {R}}}^{N-1}$ and $x_N\in {{\mathbb {R}}}$. Let $\pi _{N-1}$ denotes the orthogonal projection from ${{\mathbb {R}}}^{N}$ to ${{\mathbb {R}}}^{N-1}$. For a measurable set $\Omega \subset {{\mathbb {R}}}^{N}$, we define the slice of $\Omega$ through $x'$ in the direction $x_N$ as $\Omega _{x'}=\{x_N\in {{\mathbb {R}}}:(x',\,x_N) \in \Omega \}$.

Definition 2.8 Steiner symmetric domain

The Steiner symmetrization of $\Omega$ with respect to the hyperplane $x_N=0$ is defined by

\[ \Omega^\#=\left\{(x',x_N)\in {{\mathbb{R}}}^{N}: |x_N|< \frac{|\Omega_{x'}|_1}{2}, x'\in \pi_{N-1}(\Omega)\right\}, \]

where $|\cdot |_1$ denotes the $1$-dimensional Lebesgue measure. If $\Omega =\Omega ^\#$ (up to translation), then $\Omega$ is said to be Steiner symmetric with respect to the hyperplane $x_N=0$.

Equivalently $\Omega$ is Steiner symmetric with respect to the hyperplane $x_N=0$ if $(i)$ $\Omega$ is symmetric with respect to the hyperplane $x_N=0$, and $(ii)$ $\Omega$ is convex with respect to the $x_N$-axis, i.e., any line segment parallel to the $x_N$-axis joining two points in $\Omega$ lies completely inside $\Omega$.

Definition 2.9 Steiner symmetric function

Let $\Omega \subset \mathbb {R}^{N}$ be a measurable set and $f:\Omega \rightarrow {{\mathbb {R}}}$ be a nonnegative measurable function. Then the Steiner symmetrization $f^\#$ of $f$ on $\Omega ^\#$ with respect to the the hyperplane $x_N=0$ is defined as

\[ f^\#(x)=\sup\left\{c\in {{\mathbb{R}}}:x\in \{y\in \Omega:f(y)\geq c\}^\#\right\}, \text{ where }x\in \Omega^\#. \]

Let $\Omega =\Omega ^\#$. If $f=f^\#$ in $\Omega$, then $f$ is called Steiner symmetric with respect to the hyperplane $x_N=0$.

Next, we give a characterization of Steiner symmetric domains and Steiner symmetric functions in terms of polarization; cf. [Reference Brock and Solynin13, lemma 6.3].

Proposition 2.10 Let $\Omega$ be a measurable set in ${{\mathbb {R}}}^{N}$ and $f:\Omega \rightarrow {{\mathbb {R}}}$ be a nonnegative measurable function. Also, let ${{\mathcal {H}}}_*\subset {{\mathcal {H}}}$ be the collection of all half-spaces $H$ such that $H$ contains the hyperplane $x_N=0$ and $\partial H$ is parallel to the hyperplane $x_N=0$. Then the following holds:

(i) $\Omega =\Omega ^\#$ if and only if $\Omega =\Omega _H$ for all $H\in {{\mathcal {H}}}_*,$
(ii) if $\Omega =\Omega ^\#,$ then $f$ is Steiner symmetric with respect to the hyperplane $x_N=0$ if and only if $f=f_H$ for all $H\in {{\mathcal {H}}}_*$.

2.2.3 Foliated Schwarz symmetry.

First, we define the foliated Schwarz symmetrization of a function on radial domains following [Reference Brock, Croce, Guibé and Mercaldo12].

Definition 2.11 Foliated Schwarz symmetrization

Let $\Omega$ be a radial domain with respect to 0 and $f:\Omega \rightarrow {{\mathbb {R}}}$ be a nonnegative measurable function. Then the foliated Schwarz symmetrization $f^{\circledast }$ of $f$ with respect to a vector $\beta \in \mathbb {S}^{N-1}$ is the function satisfying the following properties:

(i) $f^{\circledast }(x)=h(r,\,\theta )$, $\forall x\in \Omega$, for some function $h:[0,\,\infty )\times [0,\,\pi )\rightarrow {{\mathbb {R}}}$, which is decreasing in $\theta$, where $(r,\,\theta ):=(|x|,\,{\rm {arccos}}(\frac {x\cdot \beta }{|x|}))$.
(ii) for $a,\,b\in \mathbb {R}$ with $a< b$ and $r\geq 0$,
\[ |\{x:|x|=r,\; a< f(x)\leq b\}|_{N-1}=|\{x:|x|=r,\; a< f^{\circledast}(x)\leq b\}|_{N-1}, \]
where $|\cdot |_{N-1}$ denotes the $(N-1)$-dimensional Lebesgue measure.

Definition 2.12 Foliated Schwarz symmetric function

Let $\Omega$ be a radial domain with respect to 0. Then a nonnegative measurable function $f:\Omega \rightarrow {{\mathbb {R}}}$ is said to be foliated Schwarz symmetric with respect to a vector $\beta \in \mathbb {S}^{N-1}$ if $f=f^{\circledast }$.

Next, we give an analogous definition of foliated Schwarz symmetry on nonconcentric annular domains motivated by [Reference Anoop, Ashok Kumar and Kesavan4].

Definition 2.13 Foliated Schwarz symmetry on non-concentric annulus

Let $\Omega _{R,r}=B_R(0)\setminus \overline {B_r(te_1)}$, where $0< t< R-r$, and $f:\Omega _{R,r}\rightarrow {{\mathbb {R}}}$ be a nonnegative measurable function. We call $f$ is foliated Schwarz symmetric with respect to $-e_1$ if $\tilde {f}$ is foliated Schwarz symmetric with respect to $-e_1$ in $B_R(0)$, where $\tilde {f}$ is the extension of $f$ to $B_R(0)$ by 0 outside of $\Omega _{R,r}$.

From the definition, it follows that if $f$ is foliated Schwarz symmetric with respect to $\beta \in \mathbb {S}^{N-1}$, then $f$ is axially symmetric with respect to the axis ${{\mathbb {R}}} \beta$ and decreasing in the polar angle $\theta ={\rm {arccos}}(\frac {x\cdot \beta }{|x|})$. Alternatively, this symmetry is also known as spherical symmetry [Reference Kawohl33] or co-dimension one symmetry [Reference Brock10] in the literature. Now we state a characterization for foliated Schwarz symmetry in terms of polarization. The first part of the following proposition is proved in [Reference Brock, Croce, Guibé and Mercaldo12, theorem 3.5] for measurable functions. For continuous functions, the second assertion is proved in [Reference Weth47, proposition 2.4]. However, using a similar approach as given in [Reference Brock, Croce, Guibé and Mercaldo12, theorem 3.5], one can obtain the same result for measurable functions. We omit the proof here.

Proposition 2.14 Let $p\in [1,\,\infty )$, $\Omega$ be a radial domain with respect to 0 and $f\in L^{p}(\Omega )$ be nonnegative.

(i) If for every $H\in \widehat {{{\mathcal {H}}}}_0,$ either $f_H=f$ or $f^{H}=f,$ then there exists $\gamma \in \mathbb {S}^{N-1}$ such that $f$ is foliated Schwarz symmetric with respect to $\gamma$.
(ii) Let $\beta \in \mathbb {S}^{N-1}$. Then $f$ is foliated Schwarz symmetric with respect to $\beta$ if and only if $f_H=f$ for all $H\in \widehat {{{\mathcal {H}}}}_0(\beta )$.

Remark 2.15 From definition 2.13 and proposition 2.14-$(ii)$, a nonnegative measurable function $f:\Omega _{R,r}\rightarrow {{\mathbb {R}}}$ is foliated Schwarz symmetric with respect to $-e_1$ if and only if $\tilde {f}_H=\tilde {f}\;\text {in}\;B_R(0),\,\;\forall \,H\in \widehat {{{\mathcal {H}}}}_0(-e_1)$. Observe that by definition 2.13, $\tilde {f}_H=\tilde {f}$ in $B_r(te_1)$ for all $H\in \widehat {{{\mathcal {H}}}}_0(-e_1)$. Therefore $f$ is foliated Schwarz symmetric in $\Omega _{R,r}$ with respect to $-e_1$ if and only if $\tilde {f}_H=\tilde {f}\;\text {in}\;B_R(0)\setminus \overline {B_r(te_1)}$, i.e., $f_H=f\;\text {in}\;\Omega _{R,r}$ for all $H\in \widehat {{{\mathcal {H}}}}_0(-e_1)$.

3. Existence of optimizer

In this section, we study the existence and uniqueness of both minimizer and maximizer for (1.2)–(1.3). First, we recall a few properties of rearrangement and an important rearrangement inequality due to Burton [Reference Burton15].

Proposition 3.1 Let $p \in [1,\, \infty )$ and $f_0 \in L^{p}(\Omega )$.

(i) If $f_1 \in {{\mathcal {E}}}(f_0)$, then $f_1^{\pm } \in {{\mathcal {E}}}(f_0^{\pm })$.
(ii) If $f_1 \in {{\mathcal {E}}}(f_0)$, then $\lVert {f_1}\rVert _p = \lVert {f_0}\rVert _p$.
(iii) Let $h \in L^{{{p^{\prime }}}}(\Omega )$. Then there exists $f_1,\, f_2 \in {{\mathcal {E}}}(f_0)$ such that
\[ {{\displaystyle \int_{\Omega}}}f_1(x) h(x) \, {{\rm d}x} \le {{\displaystyle \int_{\Omega}}}f(x) h(x) \, {{\rm d}x} \le {{\displaystyle \int_{\Omega}}}f_2(x) h(x) \, {{\rm d}x}, \quad \forall \, f \in \overline{{{\mathcal{E}}}(f_0)}, \]
where $\overline {{{\mathcal {E}}}(f_0)}$ is the weak closure of ${{\mathcal {E}}}(f_0)$ in $L^{p}(\Omega )$.

Proof. $(i)$ It is enough to show that for $t \in {{\mathbb {R}}}^{+}$, $|\{x \in \Omega : f_1^{-}(x) >t\}| = |\{x \in \Omega : f_0^{-}(x) > t\}|$. Let $t \in {{\mathbb {R}}}^{+}$. Then we have $\{ x \in \Omega : f_i^{-}(x) > t \} = \{x \in \Omega :f_i(x) < -t \},\, \; i=0,\,1$. Therefore, as $f_1$ is a rearrangement of $f_0$, we get

\begin{align*} |\{ x \in \Omega: f_1^{-}(x) > t \}| = |\Omega| - |\{x \in \Omega:f_1(x) \ge -t \}| & = |\Omega| - |\{x \in \Omega:f_0(x) \ge -t \}| \\ & = |\{ x \in \Omega: f_0^{-}(x) > t \}|. \end{align*}

Thus $f_1^{-} \in {{\mathcal {E}}}(f_0^{-})$. In a similar procedure, $f_1^{+}$ is a rearrangement of $f_0^{+}$.

$(ii)$ and $(iii)$ follow from [Reference Burton15, lemma 2.1 and lemma 2.4].

The following proposition gives regularity and a gradient estimate of the solutions of (1.1) that play a crucial role in the existence of minimizer.

Proposition 3.2 Let $p \in (1,\, \infty ),\, N\geq p,$ and $\Omega$ be a smooth bounded domain.

(a) Let $g,\, V \in L^{q}(\Omega )$ with $q>\frac {N}{p}$. If $\phi \in {{W^{1,p}_0(\Omega )}}$ is a solution of (1.1), then $\phi \in C^{1}(\overline {\Omega })$.
(b) Let $N>p,$ and $g,\, V \in L^{\frac {N}{p}}(\Omega )$. Let $\phi \in {{W^{1,p}_0(\Omega )}}$ be a solution of (1.1). Then
1. (i) $\phi \in L^{r}(\Omega )$ for any $r \in [1,\, \infty )$.
2. (ii) there exists $C=C(N,\,r)>0$ such that $\lVert {\nabla \phi }\rVert _{\frac {Nr(p-1)}{N-r}} \le C \lVert (\lambda g - V)|\phi |^{p-2} \phi \rVert ^{\frac {1}{p-1}}_{r},\, \text { for } r \in [(p^{*})',\, N).$

Proof. (a) Proof follows using [Reference Guedda and Véron30, proposition 1.3] and [Reference Lieberman39, theorem 1]. (b) Proof of $(i)$ follows using [Reference Guedda and Véron30, proposition 1.2], and proof of $(ii)$ follows as a consequence of [Reference Damascelli and Pardo25, theorem 2.7].

Next, we prove a preparatory lemma for theorem 1.1.

Lemma 3.3 Let $q,\,r \in (1,\, \infty )$. Let $f_n \rightharpoonup f$ in $L^{q}(\Omega )$ and $h_n \rightarrow h$ in $L^{rq'}(\Omega )$. Then

\[ \lim_{n \rightarrow \infty} {{\displaystyle \int_{\Omega}}}f_n |h_n|^{r} = {{\displaystyle \int_{\Omega}}}f|h|^{r}. \]

Proof. Let $\varepsilon > 0$ be given. For each $n \in {{\mathbb {N}}}$, we have

\[ \lvert{\left(f_n|h_n|^{r} - f|h|^{r} \right)}\rvert \le |f_n-f||h|^{r} + |f_n|\lvert{ \left(|h_n|^{r}-|h|^{r} \right)}\rvert. \]

Since $f_n \rightharpoonup f$ in $L^{q}(\Omega )$ and $|h|^{r} \in L^{q'}(\Omega )$, there exists $n_1 \in {{\mathbb {N}}}$ such that

(3.1)\begin{equation} {{\displaystyle \int_{\Omega}}} |f_n-f||h|^{r} < \varepsilon, \quad \forall \, n \ge n_1. \end{equation}

Next, since $h_n \rightarrow h$ in $L^{rq'}(\Omega )$, we get $\lVert {|h_n|^{r}}\rVert _{q'} \rightarrow \lVert {|h|^{r}}\rVert _{q'}$ and up to subsequence $|h_n|^{r} \rightarrow |h|^{r}$ a.e. in $\Omega$. Hence $|h_n|^{r} \rightarrow |h|^{r}$ in $L^{q'}(\Omega )$. Therefore, there exists $n_2 \in {{\mathbb {N}}}$ such that

(3.2)\begin{equation} {{\displaystyle \int_{\Omega}}} |f_n|\lvert{ \left(|h_n|^{r}-|h|^{r} \right)}\rvert \le \lVert{f_n}\rVert_q \lVert{ \left( |h_n|^{r}-|h|^{r} \right)}\rVert_{q'} < C \varepsilon, \quad \forall \, n \ge n_2. \end{equation}

The last inequality uses the fact that $(f_n)$ is bounded in $L^{q}(\Omega )$. From (3.1) and (3.2), we conclude that $\int _{\Omega } f_n |h_n|^{r} \rightarrow \int _{\Omega } f|h|^{r}.$

Proof of theorem 1.1. By the hypothesis,

(3.3)\begin{equation} g_0, V_0 \in X:=\left\{ \begin{array}{@{}ll} L^{\frac{N}{p}}(\Omega), & \text{ if } N > p;\\ L^{q}(\Omega); q \in (1, \infty), & \text{ if } N\leq p, \end{array}\right. g_0^{+} \not \equiv 0, \text{ and } \lVert{V_0^{-}}\rVert_{X} \le \displaystyle \frac{1-\delta_0}{S^{p}}. \\ \end{equation}

$(i)$ Existence of minimizer: Let $N>p$. Recall that

\[ \Lambda_{\min}(g_0, V_0)= \inf \left\{ \Lambda(g,V): g \in {{\mathcal{E}}}(g_0), V \in {{\mathcal{E}}}(V_0) \right\}, \]

where ${{\mathcal {E}}}(g_0)$ and ${{\mathcal {E}}}(V_0)$ are the set of all rearrangements of $g_0$ and $V_0$ respectively. Let $(g_n),\, (V_n)$ be minimizing sequences in ${{\mathcal {E}}}(g_0),\, {{\mathcal {E}}}(V_0)$ such that

(3.4)\begin{equation} \Lambda_{\min}(g_0, V_0) = \lim_{n \rightarrow \infty} \Lambda(g_n,V_n). \end{equation}

For brevity, we denote $\Lambda (g_n,\,V_n)$ as $\Lambda _n$. For each $n \in {{\mathbb {N}}}$, using proposition 3.1-$(i)$, we see that $g_n,\, V_n$ satisfies all the assumptions as given in (3.3). Therefore, applying theorem A.3, we get

(3.5)\begin{equation} \Lambda_n = \frac{\int_{\Omega} |\nabla \phi_n|^{p} + V_n \phi_n^{p} } { \int_{\Omega} g_n \phi_n^{p}}, \end{equation}

where $\phi _n$ is an eigenfunction of (1.1) corresponding to $\Lambda _n$, $\phi _n>0$ in $\Omega$ and $\int _{\Omega } g_n \phi _n^{p}>0$. For $r \in ((p^{*})',\, \frac {N}{p})$, we set $r_1 = \frac {Nr(p-1)}{N-pr}$. Using proposition 3.2 ($(i$) of (b)), $(\phi _n) \subset L^{r_1}(\Omega )$. It is easy to see that $\Phi _n := \frac {\phi _n}{\lVert {\phi _n}\rVert _{r_1}}$ is also a positive eigenfunction of (1.1) corresponding to $\Lambda _n$ normalized as $\lVert {\Phi _n}\rVert _{r_1} = 1$. Moreover, from (3.4) and (3.5),

(3.6)\begin{equation} \Lambda_{\min}(g_0, V_0) = \lim_{n \rightarrow \infty} \frac{\int_{\Omega} |\nabla \Phi_n|^{p} + V_n \Phi_n^{p}} { \int_{\Omega} g_n \Phi_n^{p}}. \end{equation}

Now we show that $(\Phi _n)$ is bounded in $W_{0}^{1, r_2}(\Omega )$, where $r_2=\frac {Nr(p-1)}{N-r}>p$. For each $n \in {{\mathbb {N}}}$, using proposition 3.2 ($(ii$) of (b)), we have the following gradient estimate:

(3.7)\begin{equation} \lVert{ \nabla \Phi_n}\rVert_{r_2} \le C \lVert{(\Lambda_n g_n-V_n)\Phi_n}\rVert_r. \end{equation}

We apply the Hölder's inequality with the conjugate pair $(\frac {N}{pr},\, \frac {N}{N-pr})$ to get

\begin{align*} \lVert{(\Lambda_n g_n-V_n)\Phi_n^{p-1}}\rVert^{\frac{1}{p-1}}_r & \le \left( {{\displaystyle \int_{\Omega}}} |\Lambda_n g_n-V_n|^{\frac{N}{p}} \right)^{\frac{p}{N(p-1)}} \left( {{\displaystyle \int_{\Omega}}} \Phi_n^{r_1} \right)^{\frac{1}{r_1}} \\ & \le \lVert{\Lambda_n g_n - V_n}\rVert_{\frac{N}{p}}^{\frac{1}{p-1}} \lVert{\Phi_n}\rVert_{r_1} = \lVert{\Lambda_n g_n - V_n}\rVert_{\frac{N}{p}}^{\frac{1}{p-1}}. \end{align*}

Since $(g_n,\, V_n) \in {{\mathcal {E}}}(g_0) \times {{\mathcal {E}}}(V_0)$, it follows that $\lVert {\Lambda _n g_n - V_n}\rVert _{\frac {N}{p}} \le \Lambda _n \lVert {g_0}\rVert _{\frac {N}{p}} + \lVert {V_0}\rVert _{\frac {N}{p}} \le C$. Therefore, from (3.7), the sequence $(\lVert { \nabla \Phi _n}\rVert _{r_2})$ is bounded. Also, since $r_2< r_1$ and $\Omega$ is bounded, we infer that $(\Phi _n)$ is bounded in $L^{r_2}(\Omega ).$ Thus the sequence $(\Phi _n)$ is bounded in $W_{0}^{1, r_2}(\Omega )$. By the reflexivity of $W_{0}^{1, r_2}(\Omega )$, there exists a subsequence $(\Phi _{n_k})$ such that $\Phi _{n_k} \rightharpoonup {{\underline {\phi }}}$ in $W_{0}^{1, r_2}(\Omega )$. Since $r_2^{*}>p^{*}$, $W_{0}^{1, r_2}(\Omega )$ is compactly embedded into $L^{p^{*}}(\Omega )$. Therefore, $\Phi _{n_k} \rightarrow {{\underline {\phi }}}$ in $L^{p^{*}}(\Omega )$ and ${{\underline {\phi }}} \ge 0$ in $\Omega$. Further, the sequences $(g_{n_k})$ and $(V_{n_k})$ are bounded in $L^{\frac {N}{p}}(\Omega )$. By the reflexivity of $L^{\frac {N}{p}}(\Omega )$, up to a subsequence $g_{n_k} \rightharpoonup \tilde {g}$ and $V_{n_k} \rightharpoonup \tilde {V}$ in $L^{\frac {N}{p}}(\Omega )$. Hence using lemma 3.3, we get

\[ \lim_{k \rightarrow \infty} {{\displaystyle \int_{\Omega}}}g_{n_k} \Phi_{n_k}^{p} = {{\displaystyle \int_{\Omega}}} \tilde{g} ({{\underline{\phi}}})^{p} \; \text{ and } \; \lim_{k \rightarrow \infty} {{\displaystyle \int_{\Omega}}}V_{n_k} \Phi_{n_k}^{p} = {{\displaystyle \int_{\Omega}}} \tilde{V} ({{\underline{\phi}}})^{p}. \]

Therefore, (3.6) and the weak lower semicontinuity of $\lVert {\nabla ( \cdot )}\rVert _p$ yield

\[ \Lambda_{\min}(g_0, V_0) \ge \frac{\int_{\Omega} |\nabla {{\underline{\phi}}}|^{p} + \tilde{V} ({{\underline{\phi}}})^{p}} { \int_{\Omega} \tilde{g} ({{\underline{\phi}}})^{p}}, \text{ where } (\tilde{g}, \tilde{V}) \in \overline{{{\mathcal{E}}}(g_0)} \times \overline{{{\mathcal{E}}}(V_0)}. \]

Furthermore, from proposition 3.1-$(iii)$ there exists $({{\underline {g}}} ,\,{{\underline {V}}}) \in {{\mathcal {E}}}(g_0) \times {{\mathcal {E}}}(V_0)$ such that $\int _{\Omega } {{\underline {V}}} ({{\underline {\phi }}})^{p} \le \int _{\Omega } \tilde {V} ({{\underline {\phi }}})^{p}$ and $\int _{\Omega } {{\underline {g}}} ({{\underline {\phi }}})^{p} \ge \int _{\Omega } \tilde {g} ({{\underline {\phi }}})^{p}$. Using these inequalities it follows that

\[ \Lambda_{\min}(g_0, V_0) \ge \frac{\int_{\Omega} |\nabla {{\underline{\phi}}}|^{p} + \tilde{V} ({{\underline{\phi}}})^{p}} { \int_{\Omega} \tilde{g} ({{\underline{\phi}}})^{p}} \ge \frac{\int_{\Omega} |\nabla {{\underline{\phi}}}|^{p} + {{\underline{V}}} ({{\underline{\phi}}})^{p}} { \int_{\Omega} {{\underline{g}}} ({{\underline{\phi}}})^{p}} \ge \Lambda_{\min}(g_0, V_0). \]

Thus $\Lambda _{\min }(g_0,\, V_0)$ is attained at $({{\underline {g}}},\,{{\underline {V}}}) \in {{\mathcal {E}}}(g_0) \times {{\mathcal {E}}}(V_0)$. For $N \le p$, the existence of minimizer follows from [Reference Del Pezzo and Fernández Bonder26, theorem 3.4].

$(ii)$ Existence of maximizer: Recall that

\[ \Lambda_{\max}(g_0,V_0) := \sup \left\{ \Lambda(g,V): (g, V) \in {{\mathcal{E}}}(g_0) \times {{\mathcal{E}}}(V_0) \right\}. \]

Let $(g_n) \subset {{\mathcal {E}}}(g_0)$ and $(V_n) \subset {{\mathcal {E}}}(V_0)$ be maximizing sequences, i.e.,

(3.8)\begin{equation} \Lambda_{\max}(g_0,V_0) = \lim_{n \rightarrow \infty} \Lambda(g_n,V_n) = \lim_{n \rightarrow \infty} \frac{\int_{\Omega} |\nabla \phi_n|^{p} + V_n \phi_n^{p}} { \int_{\Omega} g_n \phi_n^{p}}, \end{equation}

where $\phi _n$ is a positive eigenfunction of (1.1) corresponding to $\Lambda (g_n,\,V_n)$ (by proposition 3.1-$(i)$ and theorem A.3). As before, we denote $\Lambda (g_n,\,V_n)$ as $\Lambda _n$. Since the sequences $(g_n)$ and $(V_n)$ are bounded in $X$, by the reflexivity of $X$, up to a subsequence $g_n \rightharpoonup g$ and $V_n \rightharpoonup V$ in $X$. Now $\int _{\Omega } g_n f \rightarrow \int _{\Omega } gf,\, \; \forall \, f \in X'$, where $X'$ is the dual of $X$. Further, since $g_n \in {{\mathcal {E}}}(g_0)$ and $g_0 \geq 0$, it follows from proposition 3.1-$(ii)$ that $\int _{\Omega } g_n = \int _{\Omega } g_0.$ Now, by taking $f=1$, we obtain

\[ \int_{\Omega} g = \lim_{n \rightarrow \infty} \int_{\Omega} g_n = \int_{\Omega} g_0 > 0. \]

Therefore, $g^{+} \not \equiv 0$ on a set of positive measure. Also, from the weak lower semicontinuity of $\lVert {\cdot }\rVert _{X}$,

\[ \lVert{V^{-}}\rVert_{X} \le \lVert{V}\rVert_{X} \le \liminf_{n \rightarrow \infty} \, \lVert{V_n}\rVert_{X} \le \frac{1-\delta_0}{S^{p}}. \]

Thus $g,\,V$ satisfies all the assumptions in (3.3), and by theorem A.3, there exists an eigenfunction ${{\overline {\phi }}}$ of (1.1) corresponding to $\Lambda (g,\,V)$. Now we write

(3.9)\begin{align} \Lambda_n & = \frac{\int_{\Omega} |\nabla \phi_n|^{p} + V_n \phi_n^{p} } { \int_{\Omega} g_n \phi_n^{p}} \le \frac{\int_{\Omega} |\nabla {{\overline{\phi}}}|^{p} + V_n ({{\overline{\phi}}})^{p}} { \int_{\Omega} g_n ({{\overline{\phi}}})^{p}}\nonumber\\ & = \Lambda(g,V) \frac{\int_{\Omega} g ({{\overline{\phi}}})^{p}}{\int_{\Omega} g_n ({{\overline{\phi}}})^{p}} + \frac{\int_{\Omega} (V_n-V) ({{\overline{\phi}}})^{p} } { \int_{\Omega} g_n ({{\overline{\phi}}})^{p}}. \end{align}

From the Sobolev embedding ${{W^{1,p}_0(\Omega )}} \hookrightarrow Y$, where $Y=L^{p^{*}}(\Omega )$ (if $N>p$) and $Y = L^{pq'}(\Omega )$ (if $N \le p$), we have $({{\overline {\phi }}})^{p} \in X'$. Therefore, $\int _{\Omega } (V_n-V) ({{\overline {\phi }}})^{p} \rightarrow 0$ and $\int _{\Omega } (g_n-g) ({{\overline {\phi }}})^{p} \rightarrow 0$, as $n \rightarrow \infty$. Now using (3.9), we obtain

\[ \limsup_{n \rightarrow \infty} \Lambda_n \le \Lambda(g,V). \]

Therefore, $\Lambda _{\max }(g_0,\,V_0) \leq \Lambda (g,\,V),$ where $g \in \overline {{{\mathcal {E}}}(g_0)}$ and $V \in \overline {{{\mathcal {E}}}(V_0)}$. Further, from the rearrangement inequality (proposition 3.1-$(iii)$) there exists $({{\overline {g}}} ,\,{{\overline {V}}}) \in {{\mathcal {E}}}(g_0) \times {{\mathcal {E}}}(V_0)$ such that $\int _{\Omega } {{\overline {V}}} ({{\overline {\phi }}})^{p} \ge \int _{\Omega } V ({{\overline {\phi }}})^{p}$ and $\int _{\Omega } {{\overline {g}}} ({{\overline {\phi }}})^{p} \le \int _{\Omega } g ({{\overline {\phi }}})^{p}$. Therefore,

\[ \Lambda_{\max}(g_0,V_0) \le \frac{\int_{\Omega} |\nabla {{\overline{\phi}}}|^{p} + V ({{\overline{\phi}}})^{p} } { \int_{\Omega} g ({{\overline{\phi}}})^{p}} \le \frac{\int_{\Omega} |\nabla {{\overline{\phi}}}|^{p} + {{\overline{V}}} ({{\overline{\phi}}})^{p} } { \int_{\Omega} {{\overline{g}}} ({{\overline{\phi}}})^{p}} \le \Lambda_{\max}(g_0,V_0). \]

Thus $\Lambda _{\max }(g_0,\,V_0)$ is attained at $({{\overline {g}}},\, {{\overline {V}}}) \in {{\mathcal {E}}}(g_0) \times {{\mathcal {E}}}(V_0)$.

Remark 3.4 Notice that, in order to get the existence of optimizers, we have used the reflexivity of the space $X$. Naturally, when $X = L^{1}(\Omega )$, the above procedure fails due to the lack of reflexivity.

In the following proposition, we give a characterization of minimizers ${{\underline {g}}}$ and ${{\underline {V}}}$.

Proposition 3.5 Let $g_0,\, V_0$ be as given in theorem 1.1. Let $({{\underline {\phi }}},\, {{\underline {g}}},\, {{\underline {V}}})$ be an optimal triple. Then there exists an increasing function $F : {{\mathbb {R}}} \mapsto {{\mathbb {R}}}$ and a decreasing function $G : {{\mathbb {R}}} \mapsto {{\mathbb {R}}}$ such that

\[ {{\underline{g}}}= F \circ {{\underline{\phi}}} \text{ and } {{\underline{V}}} = G \circ {{\underline{\phi}}} \; \text{ in} \; \Omega. \]

Proof. Proof follows using theorem 1.1-$(i)$ and the similar set of arguments as given in [Reference Del Pezzo and Fernández Bonder26, theorem 3.5].

Next, we study the uniqueness for the maximization problem (1.3). In [Reference Cuccu, Emamizadeh and Porru22, theorem 4.4], authors proved the uniqueness of maximizer when $\Omega$ is a ball and $g_0\in L^{\infty }(\Omega )$ is nonnegative. Here we establish the uniqueness for more general domains $\Omega$ and nonnegative $g_0\in X$ ($X$ is as in (A)) by extending ideas of the preceding paper. In order to get this, we derive the weak continuity of the map $g\mapsto \Lambda (g,\,0)$ in $X$. For brevity, we denote $\Lambda (f)=\Lambda (f,\,0)$ for a function $f$.

Proposition 3.6 Let $g_0$ satisfies (A) , $g_0 \ge 0$ and $V_0 = 0$. Then the following holds:

(i) Let $\overline {{{\mathcal {E}}}(g_0)}$ be the weak closure of ${{\mathcal {E}}}(g_0)$ in $X$. Then the map $g \mapsto \Lambda (g)$ is continuous on $\overline {{{\mathcal {E}}}(g_0)},$ i.e., for every sequence $(g_n)$ in $\overline {{{\mathcal {E}}}(g_0)}$ if $g_n \rightharpoonup g$ in $X,$ then $\Lambda (g_n) \rightarrow \Lambda (g),$
(ii) There exists a unique maximizer of $\Lambda _{\max }(g_0,\,0)$.

Proof. $(i)$ Let $N>p$ and $g_0 \in L^{\frac {N}{p}}(\Omega )$. Let $(g_n)$ be a sequence in $\overline {{{\mathcal {E}}}(g_0)}$ such that $g_n \rightharpoonup g$ in $L^{\frac {N}{p}}(\Omega )$. We show that $\Lambda (g_n) \rightarrow \Lambda (g)$. For each $n \in {{\mathbb {N}}}$, since $g_n \in \overline {{{\mathcal {E}}}(g_0)}$, there exists a sequence $(g_{n,m})$ in ${{\mathcal {E}}}(g_0)$ such that $g_{n,m} \rightharpoonup g_n$ in $L^{\frac {N}{p}}(\Omega )$. Now for every $f \in (L^{\frac {N}{p}}(\Omega ))'$, we have $\int _{\Omega } g_{n,m} f \rightarrow \int _{\Omega } g_nf$, as $m \rightarrow \infty$ and $\int _{\Omega } g_n f \rightarrow \int _{\Omega } gf,$ as $n \rightarrow \infty$. In particular, for $f=1$,

\[ {{\displaystyle \int_{\Omega}}}g_n = \lim_{m \rightarrow \infty} \int_{\Omega} g_{n,m} = \int_{\Omega} g_0 \; \text{ and } \; {{\displaystyle \int_{\Omega}}}g = \lim_{n \rightarrow \infty} \int_{\Omega} g_n = \int_{\Omega} g_0. \]

Therefore, for each $n \in {{\mathbb {N}}}$, $\text {supp}(g_n^{+})$ and $\text {supp}(g^{+})$ have positive measure. Hence using theorem A.3, there exist positive eigenfunctions $\phi _n$ and $\phi$ of (1.1) corresponding to $\Lambda (g_n)$ and $\Lambda (g)$, respectively. Further,

\[ \Lambda(g_n) = \frac{\int_{\Omega} |\nabla \phi_n|^{p}} { \int_{\Omega} g_n \phi_n^{p}} \le \frac{\int_{\Omega} |\nabla \phi|^{p}} { \int_{\Omega} g_n \phi^{p}} = \Lambda(g) \frac{\int_{\Omega} g \phi^{p}}{\int_{\Omega} g_n \phi^{p}}. \]

This yields $\underset {n \rightarrow \infty }{\limsup } \, \Lambda (g_n) \le \Lambda (g)$. On the other hand, following the steps as given in the proof of theorem 1.1-$(i)$, we get a sequence $(\Phi _n)$ of eigenfunctions of (1.1) such that

(3.10)\begin{equation} \Lambda(g_n) = \frac{\int_{\Omega} |\nabla \Phi_n|^{p}} { \int_{\Omega} g_n \Phi_n^{p}}, \Phi_n \rightharpoonup {{\underline{\phi}}} \text{ in } {{W^{1,p}_0(\Omega)}}, \text{ and } \int_{\Omega} g_{n} \Phi_n^{p} \rightarrow \int_{\Omega} g ({{\underline{\phi}}})^{p}. \end{equation}

Hence (3.10) and the weak lower semicontinuity of $\lVert {\nabla ( \cdot )}\rVert _p$ give

\[ \liminf_{n \rightarrow \infty} \Lambda(g_n) \ge \frac{\int_{\Omega} |\nabla {{\underline{\phi}}}|^{p}} { \int_{\Omega} g ({{\underline{\phi}}})^{p}} \ge \Lambda(g). \]

Thus the sequence $(\Lambda (g_n))$ converges to $\Lambda (g)$. For $N \le p$, proof follows using the similar set of arguments.

$(ii)$ We consider the following maximization problem:

(3.11)\begin{equation} \overline{\Lambda}_{\max}(g_0) = \sup \left\{ \Lambda(g): g \in \overline{{{\mathcal{E}}}(g_0)} \right\}. \end{equation}

Step 1: First, we show that the maximizer of (3.11) is attained in ${{\mathcal {E}}}(g_0)$. Let $(g_n)$ be a maximizing sequence in $\overline {{{\mathcal {E}}}(g_0)}$ such that $\Lambda (g_n) \rightarrow \overline {\Lambda }_{\max }(g_0)$. Since the set $\overline {{{\mathcal {E}}}(g_0)}$ is weakly sequentially compact (by [Reference Burton15, lemma 2.2]), up to a subsequence $g_n \rightarrow \tilde {g}$ in $\overline {{{\mathcal {E}}}(g_0)}$ (i.e., $g_n \rightharpoonup \tilde {g}$ in $X$). Using the continuity of $g \mapsto \Lambda (g)$, we have $\Lambda ({{\tilde {g}}}) = \underset {n \rightarrow \infty }{\lim } \Lambda (g_n) = \overline {\Lambda }_{\max }(g_0)$. Further, using proposition 3.1-$(iii)$, there exists $\hat {g} \in {{\mathcal {E}}}(g_0)$ such that $\Lambda ({{\tilde {g}}}) \le \Lambda (\hat {g})$. Thus, $\Lambda (\hat {g}) = \overline {\Lambda }_{\max }(g_0)$.

Step 2: Next, we claim that the maximizer $\hat {g}$ of (3.11) is unique. One can verify that

\[ \hat{\Lambda}_{\min}(g_0) := \inf \left\{ \frac{1}{\Lambda(g)}: g \in \overline{{{\mathcal{E}}}(g_0)} \right\} = \left( \overline{\Lambda}_{\max}(g_0) \right)^{{-}1}. \]

Thus the uniqueness of maximizer for $\overline {\Lambda }_{\max }(g_0)$ is equivalent to the uniqueness of minimizer for $\hat {\Lambda }_{\min }(g_0)$. Suppose there exists $g_1,\, g_2 \in {{\mathcal {E}}}(g_0)$ such that $\frac {1}{\Lambda (g_1)} = \frac {1}{\Lambda (g_2)} = \hat {\Lambda }_{\min }(g_0)$. For $t \in (0,\,1)$, set $f_t = tg_1 + (1-t)g_2$. Since $\overline {{{\mathcal {E}}}(g_0)}$ is convex (by [Reference Burton15, lemma 2.2]), $f_t \in \overline {{{\mathcal {E}}}(g_0)}$. Let $\phi _{f_t},\, \phi _{g_1},$ and $\phi _{g_2}$ be eigenfunctions of (1.1) corresponding to $\Lambda (f_t),\, \Lambda (g_1)$ and $\Lambda (g_2)$. Then

\begin{align*} \hat{\Lambda}_{\min}(g_0) & \le \frac{1}{\Lambda(f_t)} = t \frac{\int_{\Omega} g_1 \phi_{f_t}^{p}}{ \int_{\Omega} |\nabla \phi_{f_t}|^{p}} + (1-t) \frac{\int_{\Omega} g_2 \phi_{f_t}^{p}}{ \int_{\Omega} |\nabla \phi_{f_t}|^{p}}\\ & \le t \frac{\int_{\Omega} g_1 \phi_{g_1}^{p}}{ \int_{\Omega} |\nabla \phi_{g_1}|^{p}} + (1-t) \frac{\int_{\Omega} g_2 \phi_{g_2}^{p}}{ \int_{\Omega} |\nabla \phi_{g_2}|^{p}} \\ & = t \frac{1}{\Lambda(g_1)} + (1-t)\frac{1}{\Lambda(g_2)} = \hat{\Lambda}_{\min}(g_0). \end{align*}

Hence the equality holds in each of the above inequalities. Therefore, the following equations hold weakly:

\[ -\Delta_p \phi_{f_t} = \Lambda(g_1)g_1\phi_{f_t}^{p-1}, \text{ and }-\Delta_p \phi_{f_t} = \Lambda(g_2)g_2\phi_{f_t}^{p-1} \, \text{ in } \Omega. \]

From the above identities, it follows that $\Lambda (g_1) g_1 = \Lambda (g_2) g_2$ in $\Omega$. Further, $g_0 \in L^{1}(\Omega )$ and using proposition 3.1-$(ii)$ we have $\int _{\Omega } g_1 = \int _{\Omega } g_2 = \int _{\Omega } g_0 >0$. Therefore, $\Lambda (g_1) = \Lambda (g_2)$ and $g_1 = g_2$ in $\Omega$. Thus the minimizer of $\hat {\Lambda }_{\min }(g_0)$ is unique, and the uniqueness of $\hat {g}$ follows immediately.

Step 3: From step 1, we have

\[ \Lambda_{\max}(g_0) \le \overline{\Lambda}_{\max}(g_0) = \Lambda(\hat{g}) \le \Lambda_{\max}(g_0). \]

Therefore, using step 2, it is evident that the maximizer of (1.3) is unique.

Remark 3.7 In general, minimizer of (1.2) need not be unique (see remark 4.5). However, when $\Omega$ is a ball, there exists a unique minimizer for (1.2); cf. [Reference Cuccu, Emamizadeh and Porru22, theorem 3.3].

4. Symmetry of minimizers

This section is devoted to studying the various symmetry of the minimizers of (1.2). First, we state a strong maximum principle due to Brezis and Ponce in [Reference Brezis and Ponce9, corollary 4], which will be used in our proof of theorem 1.3.

Proposition 4.1 Strong maximum principle

Let $O \subset {{\mathbb {R}}^{N}}$ be a bounded domain and $V \in L^{1}_{loc}(O)$ with $V \geq 0$ a.e. in $O$. Assume that $\phi \geq 0$, $V\phi \in L^{1}_{loc}(O)$ and $\Delta \phi$ is a Radon measure on $O$. Suppose that the following inequality holds in the sense of distribution:

\[ -\Delta \phi + V \phi \ge 0. \]

Then either $\phi \equiv 0$ or $\phi > 0$ a.e. in $O$.

For the rest of this section, we denote ${{\underline {\phi }}}$ as $\phi.$

Proof of theorem 1.3. $(i)$ Let $H\in {{\mathcal {H}}}_0$. By the hypothesis, $\Omega = \Omega _H,\, \sigma _H(\Omega )\neq \Omega, V_0=0$, $g_0$ satisfies (A) with $g_0 \ge 0$, and ${{\underline {g}}}$ is given in theorem 1.1-$(i)$. For simplicity, we set $\Lambda _{\min }(g_0):=\Lambda _{\min }(g_0,\,0)$. From theorem 1.1-$(i)$ and theorem A.3, there exists $\phi \in {H^{1}_0(\Omega )}$ such that $\phi >0$ in $\Omega$ and

(4.1)\begin{equation} \displaystyle \Lambda_{\min}(g_0) =\Lambda(\underline{g})= \frac{\int_{\Omega} |\nabla \phi|^{2}} {\int_{\Omega} \underline{g} \phi^{2}}. \end{equation}

Using proposition 2.2-$(i)$, we see that ${{\underline {g}}}_H \in {{\mathcal {E}}}(g_0)$. Hence, ${{\underline {g}}}_H \ge 0$ and ${{\underline {g}}}_H$ satisfies (A). Thus, using theorem A.3, we infer that $\Lambda ({{\underline {g}}}_H)$ is achieved. Further, since ${{\underline {g}}}_H \in {{\mathcal {E}}}(g_0)$, it follows that

(4.2)\begin{equation} \Lambda(\underline{g}_H) \geq \Lambda_{\min}(g_0). \end{equation}

Now from the Hardy-Littlewood inequality (proposition 2.5-$(i)$),

(4.3)\begin{equation} \int_{\Omega} \underline{g} \phi^{2} \le \int_{\Omega} {{\underline{g}}}_H (\phi_H)^{2} , \end{equation}

where we also used the fact that $(\phi ^{2})_H=(\phi _H)^{2}$ (as $\phi >0$). Furthermore, since $\phi \in {H^{1}_0(\Omega )}$ and $\phi >0$ in $\Omega$, by proposition 2.2-$(ii)$, we have $\phi _H \in {H^{1}_0(\Omega )}$ and $\lVert {\nabla \phi }\rVert _2 = \lVert {\nabla \phi _H}\rVert _2$. Therefore, using (4.1), (4.2) and (4.3), we get

\[ \Lambda({{\underline{g}}}) = \frac{\int_{\Omega} |\nabla \phi|^{2} }{\int_{\Omega} {{\underline{g}}} \phi^{2}} \ge \frac{\int_{\Omega} |\nabla \phi_H|^{2}}{\int_{\Omega} {{\underline{g}}}_H (\phi_H)^{2}} \ge \Lambda({{\underline{g}}}_H) \ge \Lambda({{\underline{g}}}). \]

Thus the equality occurs in each of the above inequalities. As a consequence, $\phi$ and $\phi _H$ satisfy the following equations weakly:

(4.4)\begin{equation} -\Delta \phi = \Lambda({{\underline{g}}}) {{\underline{g}}} \phi \text{ in } \Omega, \text{ and } -\Delta \phi_H = \Lambda({{\underline{g}}}) {{\underline{g}}}_H \phi_H \text{ in } \Omega. \end{equation}

Set $w=\phi _H-\phi$. Then $w \ge 0$ in $\Omega \cap H$, and from (4.4), $w$ satisfies the following equation weakly:

(4.5)\begin{equation} -\Delta w = \Lambda({{\underline{g}}}) ({{\underline{g}}}_H\phi_H-{{\underline{g}}} \phi) \text{ in } \Omega\cap H, \; w = 0 \text{ on } \partial(\Omega\cap H). \end{equation}

Moreover, since $g_0\geq 0$, we get ${{\underline {g}}} \ge 0$ and hence ${{\underline {g}}}_H\phi _H-{{\underline {g}}} \phi \geq 0$ in $\Omega \cap H$. Therefore, applying the strong maximum principle (proposition 4.1) and using (4.5) we obtain $w>0$ or $w = 0$ in $\Omega \cap H$, i.e.,

(4.6)\begin{equation} \phi_H>\phi \text{ in } \Omega\cap H, \; \text{ unless }\; \phi_H=\phi \text{ in } \Omega\cap H. \end{equation}

Further, since $\sigma _H(\Omega )\neq \Omega$, using proposition 2.1-$(iii)$, there exists $A \subset \Omega \cap H$ such that $|A|>0$ and $\sigma _H(A)\subset \Omega ^{c}\cap \overline {H}^{c}$. For $x \in A$, from definition 1.2-(ii), $\phi _H(x) = \tilde {\phi }_H(x) = \tilde {\phi }(x) = \phi (x),$ i.e., $\phi _H=\phi$ in $A$. Therefore, from (4.6), we must have $\phi _H=\phi$ in $\Omega \cap H$, i.e., $\phi \geq \phi \circ \sigma _H$ in $\Omega \cap H$. Consequently, we get $\phi _H=\phi$ in $\Omega$. Moreover, from (4.5) the conclusion ${{\underline {g}}}_H={{\underline {g}}}$ in $\Omega$ follows immediately.

$(ii)$ Let $H\in {{\mathcal {H}}}_0$ be such that $\sigma _H(\Omega ) = \Omega$. By the hypothesis, $g_0,\, V_0$ satisfy (A), with $g_0,\, V_0 \ge 0$, and ${{\underline {g}}},\, {{\underline {V}}}$ are given in theorem 1.1-$(i)$. Using theorem 1.1-$(i)$ and theorem A.3, there exists positive $\phi \in {H^{1}_0(\Omega )}$ such that

(4.7)\begin{equation} \displaystyle \Lambda_{\min}(g_0, V_0) =\Lambda({{\underline{g}}}, {{\underline{V}}})= \frac{\int_{\Omega} |\nabla \phi|^{2} + {{\underline{V}}} \phi^{2}} {\int_{\Omega} \underline{g} \phi^{2}}. \end{equation}

From proposition 2.2-$(i)$ and remark 2.3-$(iii)$, we obtain $({{\underline {g}}}_H,\, {{\underline {V}}}^{H}) \in {{\mathcal {E}}}(g_0)\times {{\mathcal {E}}}(V_0)$. Hence, ${{\underline {g}}}_H,\, {{\underline {V}}}^{H} \ge 0$, and ${{\underline {g}}}_H,\, {{\underline {V}}}^{H}$ satisfy (A). Therefore, by theorem A.3, $\Lambda ({{\underline {g}}}_H,\, {{\underline {V}}}^{H})$ is achieved. Further, from the Hardy-Littlewood inequality (proposition 2.5-$(i)$), reverse Hardy-Littlewood inequality (proposition 2.5-$(ii)$) and using proposition 2.2-$(ii)$, we obtain

\[ \int_{\Omega} \underline{g} \phi^{2} \le \int_{\Omega} {{\underline{g}}}_H (\phi_H)^{2} , \quad {{\displaystyle \int_{\Omega}}} {{\underline{V}}} \phi^{2} \ge {{\displaystyle \int_{\Omega}}} {{\underline{V}}}^{H} \phi_H^{2}, \quad \lVert{\nabla \phi}\rVert_2 = \lVert{\nabla \phi_H}\rVert_2. \]

Therefore, (4.7) yields

\begin{align*} \Lambda_{\min}(g_0,V_0) & = \frac{\int_{\Omega} |\nabla \phi|^{2} + {{\underline{V}}} \phi^{2}} {\int_{\Omega} {{\underline{g}}} \phi^{2}}\\ & \ge \frac{\int_{\Omega} |\nabla \phi_H|^{2} + {{\underline{V}}}^{H} (\phi_H)^{2}} {\int_{\Omega} {{\underline{g}}}_H (\phi_H)^{2}} \ge \Lambda({{\underline{g}}}_H, {{\underline{V}}}^{H}) \ge \Lambda_{\min}(g_0,V_0). \end{align*}

Since equality occurs in each of the above inequalities, the following equations hold weakly:

(4.8)\begin{equation} {-}\Delta \phi + {{\underline{V}}} \phi = \Lambda({{\underline{g}}}, {{\underline{V}}}) {{\underline{g}}} \phi, \, \text{ and } -\Delta \phi_H + {{\underline{V}}}^{H} \phi_H = \Lambda({{\underline{g}}}, {{\underline{V}}}) {{\underline{g}}}_H \phi_H \text{ in } \Omega. \end{equation}

As before, we set $w = \phi _H - \phi$ and using (4.8) see that $w \in {H^{1}_0(\Omega )}$ satisfies the following equation weakly:

(4.9)\begin{equation} {-}\Delta w + {{\underline{V}}}w \ge -\Delta w + ({{\underline{V}}}^{H}\phi_H - {{\underline{V}}} \phi) \ge 0 \text{ in } \Omega\cap H, \; w = 0 \text{ on } \partial(\Omega\cap H). \end{equation}

Further, $\int _{\Omega \cap H} {{\underline {V}}}w \le ( \int _{\Omega \cap H} {{\underline {V}}} )^{\frac {1}{2}} ( \int _{\Omega \cap H} {{\underline {V}}}w^{2} )^{\frac {1}{2}} < \infty.$ Therefore, by proposition 4.1, we conclude that either $\phi _H>\phi$ or $\phi _H=\phi$ in $\Omega \cap H.$ Now we consider these two possibilities separately:

$(a)$ Let $\phi _H=\phi$ in $\Omega \cap H$, i.e., $\phi \circ \sigma _H \le \phi$ in $\Omega \cap H$. Then using proposition 3.5, we get

\begin{align*} & {{\underline{g}}} \circ \sigma_H = F \circ (\phi \circ \sigma_H) \le F \circ \phi = {{\underline{g}}} \text{ in } \Omega \cap H. \\ & {{\underline{V}}} \circ \sigma_H = G \circ (\phi \circ \sigma_H) \ge G \circ \phi = {{\underline{V}}} \text{ in } \Omega \cap H. \end{align*}

Therefore, $\phi _H=\phi$, ${{\underline {g}}}_H={{\underline {g}}}$ and ${{\underline {V}}}^{H}={{\underline {V}}}$ in $\Omega$.

$(b)$ If $\phi _H > \phi$ in $\Omega \cap H$, i.e., $\phi \circ \sigma _H>\phi$ in $\Omega \cap H$, then using proposition 3.5, ${{\underline {g}}} \circ \sigma _H > {{\underline {g}}}$ and ${{\underline {V}}} \circ \sigma _H < {{\underline {V}}}$ in $\Omega \cap H$. Therefore, we get $\phi ^{H}=\phi,\, {{\underline {g}}}^{H}={{\underline {g}}}$ and ${{\underline {V}}}^{H} = {{\underline {V}}} \circ \sigma _H$ in $\Omega$. Further, using definition 1.2-(ii), it follows that ${{\underline {V}}}_H={{\underline {V}}}$ in $\Omega$.

Combining both possibilities, we complete the proof.

Remark 4.2 Radiality on ball

If $\Omega =B_1(0)$, then we have $\Omega _H=\Omega$ and $\sigma _H(\Omega )\neq \Omega$ for every $H\in {{\mathcal {H}}}(0)$. Therefore, by theorem 1.3-$(i)$, $\phi _H=\phi$ and ${{\underline {g}}}_H={{\underline {g}}}$ in $\Omega$ for all $H\in {{\mathcal {H}}}(0)$. Hence from proposition 2.7, we conclude that $\phi$ and ${{\underline {g}}}$ are radial and radially decreasing on $\Omega$. For $1< p <\infty$, this result has been proved in [Reference Cuccu, Emamizadeh and Porru22] with $V_0=0$ and in [Reference Emamizadeh and Prajapat28] with $V_0\geq 0$. Here we recover the same result for $p=2$ and $V_0=0$, using the polarization invariance structure of a minimizing weight and the associated first eigenfunctions.

Proposition 4.3 Let $\Omega$ be a bounded domain containing 0, $g_0=\chi _E,$ where $E\subsetneq \Omega$ with $0<|E|<|\Omega |$ and $V_0=0$. If $\Omega =B_R(0)$ for some $R>0,$ then ${{\underline {g}}}=\chi _{B_r(0)}$ for some $r>0$ such that $|E|=|B_r(0)|$. Furthermore, the converse is also true.

Proof. Let $\Omega =B_R(0)$. Since $g_0=\chi _E$, we have ${{\underline {g}}}=\chi _F$ for some $F\subsetneq \Omega$ with $|F|=|E|$. Now by remark 4.2, ${{\underline {g}}}$ is radial and radially decreasing. Thus, ${{\underline {g}}}(0)=1$. Moreover, $|\{{{\underline {g}}} = 1\}|=|\{g_0 =1\}|=|E|.$ Thus $F$ must be a ball centred at origin, i.e., $F=B_r(0)$ for some $r>0$ such that $|E|=|B_r(0)|$. The proof of the converse result follows adapting the similar ideas used in [Reference Lamboley, Laurain, Nadin and Privat37, theorem 2].

If a domain is symmetric with respect to the hyperplane $\partial H$, where $H\in {{\mathcal {H}}}_0$, then theorem 1.3-$(ii)$ states that any optimal triple remains either polarization invariant or dual-polarization invariant with respect to $H$. This is the finest result (in a certain sense) one can expect without any further assumptions on the domain. The following remark emphasizes this assertion.

Remark 4.4 Nonradiality on concentric annulus

Let $\Omega =B_{R+1}(0)\setminus \overline {B_R(0)}\subset {{\mathbb {R}}}^{2}$, where $R>0$ is sufficiently large and $V_0=0$. Then proceeding in the same way as in the proof of [Reference Chanillo, Grieser, Imai, Kurata and Ohnishi19, theorem 6], we can show that there exists $g_0=\chi _D$, where $D\subset \Omega$, such that ${{\underline {g}}}$ is not radial. Consequently, any first eigenfunction $\phi$ associated to ${{\underline {g}}}$ is nonradial.

Remark 4.5 Nonuniqueness of minimizer

Nonuniqueness of minimizer of (1.2) follows from the asymmetric nature of minimizers, as mentioned in remark 4.4. More precisely, let us choose a concentric annulus $\Omega$ centred at the origin and a weight function $g_0$ such that a minimizing weight ${{\underline {g}}}$ is not radial. Thus there exists $H\in {{\mathcal {H}}}_0$ such that ${{\underline {g}}}\neq {{\underline {g}}}_H$. Further, we show that ${{\underline {g}}}_H$ is also a minimizer for (1.2) (in the proof of theorem 1.3-$(i)$). Hence the minimizer for (1.2) is not unique.

As a consequence of theorem 1.3-$(i)$, next, we prove corollary 1.4, which assures that an optimal pair $(\phi,\,{{\underline {g}}})$ preserves the Steiner symmetry if the underlying domain is Steiner symmetric.

Proof of corollary 1.4. Let $H\in {{\mathcal {H}}}_0$ and $\Omega$ be Steiner symmetric with respect to $\partial H$. Since the Laplace operator is invariant under isometries, without loss of generality, we assume that $H=\{(x_1,\,x_2,\,\ldots,\,x_N)\in {{\mathbb {R}}}^{N}: x_N<0\}$, i.e., $\Omega$ is Steiner symmetric with respect to the hyperplane $\partial H=\{(x_1,\,x_2,\,\ldots,\,x_N)\in {{\mathbb {R}}}^{N}: x_N=0\}$. Let ${{\mathcal {H}}}_*\subset {{\mathcal {H}}}_0$ be the collection of all open half-spaces $\widetilde {H}$ containing $\partial H$ such that $\partial \widetilde {H}$ is parallel to $\partial H$. Therefore, using proposition 2.10-$(i)$, we have $\Omega _{\widetilde {H}}=\Omega$ for all $\widetilde {H}\in {{\mathcal {H}}}_*$. Since $\Omega$ is symmetric with respect to $\partial H$, it is easy to observe that $\sigma _{\widetilde {H}}(\Omega )\neq \Omega$ for every $\widetilde {H}\in {{\mathcal {H}}}_*$. Hence by theorem 1.3-$(i)$, we get $\phi _{\widetilde {H}}=\phi$ and ${{\underline {g}}}_{\widetilde {H}}={{\underline {g}}}$ in $\Omega$ for all $\widetilde {H}\in {{\mathcal {H}}}_*$. Therefore by proposition 2.10-$(ii)$, we conclude that $\phi$ and ${{\underline {g}}}$ are Steiner symmetric in $\Omega$.

Now we study the foliated Schwarz symmetry of the minimizers. First, we prove theorem 1.5. Then we discuss some of its consequences.

Proof of theorem 1.5. $(i)$ By the hypothesis, $\Omega =B_R(0)\setminus \overline {B_r(0)}$, where $0< r< R$. Recall that $\widehat {{{\mathcal {H}}}}_0=\{H\in {{\mathcal {H}}}_0:0\in \partial H\}$. For each $H\in \widehat {{{\mathcal {H}}}}_0$, we have $\sigma _H(\Omega )=\Omega$, and we apply theorem 1.3-$(ii)$ to get $\phi _H=\phi$ or $\phi ^{H}=\phi$ in $\Omega$. Therefore, from proposition 2.14-$(i)$, there exists $\gamma \in \mathbb {S}^{N-1}$ such that $\phi$ is foliated Schwarz symmetric in $\Omega$ with respect to $\gamma$. Hence using proposition 2.14-$(ii)$, we get $\phi _H=\phi,\,\;\forall \,H\in \widehat {{{\mathcal {H}}}}_0(\gamma )$. Further, following the arguments as given in the proof of theorem 1.3-$(ii)$, we also get ${{\underline {g}}}_H={{\underline {g}}}$ and ${{\underline {V}}}^{H}={{\underline {V}}},\,\;\forall \,H\in \widehat {{{\mathcal {H}}}}_0(\gamma )$. Therefore, from the sufficient condition for the foliated Schwarz symmetrization (proposition 2.14-$(ii)$), we conclude ${{\underline {g}}}$ is foliated Schwarz symmetric in $\Omega$ with respect to $\gamma$. Moreover, since ${{\underline {V}}}^{H}={{\underline {V}}}$ for $H\in \widehat {{{\mathcal {H}}}}_0(\gamma )$, from remark 2.3-$(ii)$ we have ${{\underline {V}}}_{\widetilde {H}}={{\underline {V}}}$, where $\widetilde {H}=\overline {H}^{c}\in \widehat {{{\mathcal {H}}}}_0(-\gamma )$. Since $H$ is arbitrary, ${{\underline {V}}}_H={{\underline {V}}},\,\;\forall \,H\in \widehat {{{\mathcal {H}}}}_0(-\gamma )$. Now again from proposition 2.14-$(i)$, it follows that ${{\underline {V}}}$ is foliated Schwarz symmetric in $\Omega$ with respect to $-\gamma$.

$(ii)$ In this case, $\Omega =B_R(0)\setminus \overline {B_r(te_1)}$, where $0< t< R-r$, and $V_0=0$. Recall that $\widehat {{{\mathcal {H}}}}_0(-e_1)=\{H\in \widehat {{{\mathcal {H}}}}_0:-e_1\in H\}.$ It is easy to observe that $\Omega _H=\Omega$ and $\sigma _H(\Omega )\neq \Omega$ for every $H\in \widehat {{{\mathcal {H}}}}_0(-e_1)$. Thus by theorem 1.3-$(i)$, we have $\phi _H=\phi$ and ${{\underline {g}}}_H={{\underline {g}}}$ for every $H\in \widehat {{{\mathcal {H}}}}_0(-e_1)$. Therefore, $\phi$ and ${{\underline {g}}}$ are foliated Schwarz symmetric with respect to $-e_1$ in $\Omega$ (by remark 2.15).

Corollary 4.6 Let $u_1$ be a positive eigenfunction associated to the first eigenvalue $\lambda _1$ of the following eigenvalue problem on $\Omega =B_R(0)\setminus \overline {B_r(te_1)},$ where $0< t< R-r$:

\[ -\Delta u=\lambda u \text{ in }\Omega\; ;\;u=0\text{ on } \partial \Omega. \]

Then $u_1$ is foliated Schwarz symmetric with respect to $-e_1$ on $\Omega$.

Proof. We note that if $g_0=1$, then ${{\mathcal {E}}}(g_0)=\{g_0\}$. Thus $\Lambda _{\min }(g_0)=\lambda _1$ and hence $(u_1,\,g_0)$ is an optimal pair. Now the assertion follows from $(ii)$ of theorem 1.5.

Remark 4.7

(i) Let $\Omega =B_R(0)\setminus \overline {B_r(te_1)},\,\;0< t< R-r$ and $V_0=0$. Let $(\phi,\, {{\underline {g}}})$ be an optimal pair as given in theorem 1.1-$(i)$. Then from theorem 1.5-$(ii)$, $\phi$ is axially symmetric with respect to the axis ${{\mathbb {R}}}e_1$ and decreasing in the polar angle $\arccos ( \frac {-x\cdot e_1}{|x|})$. If $g_0\in L^{q}(\Omega )$ with $q>\frac {N}{2}$, then continuity of $\phi$ (proposition 3.2) along with the foliated Schwarz symmetry ensures that maxima of $\phi$ is attained on $\Omega \cap (-{{\mathbb {R}}}^{+} e_1)$.
(ii) Let $\Omega =B_R(0)\setminus \overline {B_r(0)}$, where $0< r< R$. Also let $g_0=1$, $V_0=\alpha \chi _D$, where $\alpha >0$, and $D\subset \Omega$. Observe that in this case ${{\underline {V}}}=\alpha \chi _E$ for some $E\subset \Omega$ with $|E|=|D|$. In [Reference Chanillo, Grieser, Imai, Kurata and Ohnishi19, theorem 6], the authors showed that there exist $R,\,r,\,V_0$ for which $E$ is not rotationally symmetric. However, using theorem 1.5-$(i)$ we conclude that for any $R,\,r$ with $0< r< R$ and $D$, the function $\alpha \chi _E$ and hence $E$ is axially symmetric with respect to some axis passing through the origin. Thus the axial symmetry of $E$ does not depend on the choices of $R$, $r$ and $D$.

Proof of corollary 1.6. Let $\Omega =B_{R}(0)\setminus \overline {B_r(te_1)}$, where $0< t< R-r$. For $\alpha \in {{\mathbb {R}}}$, let $H_{\alpha }\in {{\mathcal {H}}}$ be defined as

\[ H_\alpha=\left\{\big(x_1,x_2,\ldots,x_N\big)\in {{\mathbb{R}}}^{N}: x_1> \alpha \right\}. \]

Then it is easy to observe that $\Omega _{H_\alpha }=\Omega,\,\;\forall \,\alpha \leq -\frac {R+r-t}{2}$ (however, if $\alpha > -\frac {R+r-t}{2}$, then $\Omega _{H_\alpha }\neq \Omega$). Let $\widetilde {\alpha }=-\frac {R+r-t}{2}$. Then $\Omega _{H_{\widetilde {\alpha }}}=\Omega$ and obviously $\sigma _{{H_{\widetilde {\alpha }}}}(\Omega )\neq \Omega$. Therefore by theorem 1.3-$(i)$, we have $\phi _{{H_{\widetilde {\alpha }}}}=\phi$ in $\Omega$. Since $g_0\in L^{q}(\Omega )$ for $q>\frac {N}{2}$, by standard elliptic regularity (proposition 3.2-$(a)$), $\phi \in C^{1}(\Omega )$. Thus

(4.10)\begin{equation} \phi(x)\leq \phi(\sigma_{{H_{\widetilde{\alpha}}}}(x)),\;\forall\,x\in \Omega\cap {H_{\widetilde{\alpha}}}^{H}. \end{equation}

We recall that $L_{\Omega }=\big \{x\in \Omega \cap (-{{\mathbb {R}}}^{+} e_1): x_1\geq \widetilde {\alpha }=-\frac {R+r-t}{2}\big \}$ (see Fig. 1). Then $L_{\Omega }\subset \Omega \cap \overline {{H_{\widetilde {\alpha }}}}$ and hence from (4.10), we have

(4.11)\begin{equation} \phi(x)\geq \phi(\sigma_{{H_{\widetilde{\alpha}}}}(x)), \;\forall\,x\in L_\Omega. \end{equation}

Also by $(i)$ of remark 4.7,

(4.12)\begin{equation} \max\limits_{x\in \Omega}\phi(x)=\max\limits_{x\in \Omega\cap (-{{\mathbb{R}}}^{+} e_1)} \phi(x). \end{equation}

Thus using (4.11) and (4.12), we conclude that $\max \limits _{x\in \Omega }\phi (x)=\max \limits _{x\in L_{\Omega }}\phi (x).$ If ${{\underline {g}}}$ is continuous, we can repeat the process, and hence the assertion follows.

Remark 4.8 We emphasize that for $g_0\in L^{\infty }(\Omega )$ and $\frac {2N+2}{N+2}< p<\infty$, using a stronger version of comparison principle [Reference Sciunzi43, theorem 1.3] and adapting similar techniques as given in this article, one can prove all the symmetry results obtained in theorem 1.3-1.5 and corollary 1.4-1.6. However, when $p \neq 2$ and $g_0$ is not bounded, the extension of the results obtained in § 4 seems challenging due to the lack of comparison principles which plays an important role in our proofs.

FIG. 1. Location of maxima of $\phi$ in $B_R(0)\setminus \overline {B_r(te_1)}$.

Appendix A.

In this section, we study the existence and some properties of $\Lambda (g,\, V)$. Let $X$ be as given in (A). For $g,\, V \in X$, we consider the following functionals on ${{W^{1,p}_0(\Omega )}}$:

\[ G(\phi) = {{\displaystyle \int_{\Omega}}}g|\phi|^{p}; \; J(\phi) = {{\displaystyle \int_{\Omega}}} |\nabla \phi|^{p} + V |\phi|^{p}, \quad \forall \, \phi \in {{W^{1,p}_0(\Omega)}}. \]

One can verify that $G,\,J \in C^{1}({{W^{1,p}_0(\Omega )}},\, {{\mathbb {R}}})$.

Remark A.1 For $N>p$ and $g \in L^{\frac {N}{p}}(\Omega )$, using [Reference Anoop3, lemma 4.1] the map $G$ is compact on ${{W^{1,p}_0(\Omega )}}$. For $N \le p$, the compactness of $G$ holds from the compact embeddings of ${{W^{1,p}_0(\Omega )}} \hookrightarrow L^{r}(\Omega )$ with $r \in (1,\, \infty )$ (when $N=p$) and ${{W^{1,p}_0(\Omega )}} \hookrightarrow L^{\infty }(\Omega )$ (when $N < p$).

The functional $J$ may not be coercive on ${{W^{1,p}_0(\Omega )}}$ for any sign-changing $V \in X$. However, in the following lemma under a suitable integrability assumption on $V^{-}$ we show that $J$ is coercive on ${{W^{1,p}_0(\Omega )}}$.

Lemma A.2 Let $V$ satisfies assumptions as given in (A). Then there exists $\delta _0 \in (0,\,1)$ such that

\[ {{\displaystyle \int_{\Omega}}} |\nabla \phi|^{p} + V |\phi|^{p} \ge \delta_0 {{\displaystyle \int_{\Omega}}} |\nabla \phi|^{p}, \quad \forall \phi \, \in {{W^{1,p}_0(\Omega)}}. \]

Proof. Let $N>p$. For $\phi \in {{W^{1,p}_0(\Omega )}}$, using the embedding ${{W^{1,p}_0(\Omega )}} \hookrightarrow L^{p^{*}}(\Omega )$ we get

\[ \int_{\Omega} V^{-} \phi^{p} \le \lVert{V^{-}}\rVert_{\frac{N}{p}} \lVert{\phi^{p}}\rVert_{\frac{p^{*}}{p}} = \lVert{V^{-}}\rVert_{\frac{N}{p}} \lVert{\phi}\rVert^{p}_{p^{*}} \le S^{p} \lVert{V^{-}}\rVert_{\frac{N}{p}} \int_{\Omega} |\nabla \phi|^{p}. \]

Hence

\[ {{\displaystyle \int_{\Omega}}} |\nabla \phi|^{p} + V \phi^{p} \ge {{\displaystyle \int_{\Omega}}} |\nabla \phi|^{p} - V^{-}\phi^{p} \ge \left( 1-S^{p} \lVert{V^{-}}\rVert_{\frac{N}{p}} \right) {{\displaystyle \int_{\Omega}}} |\nabla \phi|^{p} \ge \delta_0 {{\displaystyle \int_{\Omega}}} |\nabla \phi|^{p}, \]

$\forall \, \phi \in {{W^{1,p}_0(\Omega )}}$. Therefore, the functional $J$ is coercive on ${{W^{1,p}_0(\Omega )}}$. For $N \le p$, the coercivity of $J$ follows using same arguments.

Theorem A.3 Let $\Omega$ be a bounded domain in ${{\mathbb {R}}}^{N}$. Assume that $g,\, V$ satisfies (A). Then

\[ \Lambda(g,V) = \inf \left\{\frac{\int_{\Omega} |\nabla \phi|^{p} + V\phi^{p} } { \int_{\Omega} g \phi^{p}}: \phi \in {{W^{1,p}_0(\Omega)}}, \int_{\Omega} g \phi^{p} > 0 \right\} \]

is attained. Moreover, $\Lambda (g,\,V)$ is principal and simple.

Proof. Due to the homogeneity of the Rayleigh quotient, we write

\[ \Lambda = \inf \left\{ \frac{J(\phi)}{G(\phi)}: \phi \in {{W^{1,p}_0(\Omega)}}, G(\phi)> 0\right\} = \inf \left\{ J(\phi) : \phi \in {{W^{1,p}_0(\Omega)}}, G(\phi)=1 \right\}. \]

Existence of $\Lambda (g,\, V)$: Let $(\phi _n)$ be a minimizing sequence in ${{W^{1,p}_0(\Omega )}}$ such that $J(\phi _n) \rightarrow \Lambda (g,\, V)$ as $n \rightarrow \infty$. By lemma A.2, the sequence $(\phi _n)$ is bounded in ${{W^{1,p}_0(\Omega )}}$. By the reflexivity, up to a subsequence $\phi _n \rightharpoonup \Phi _1$ in ${{W^{1,p}_0(\Omega )}}$. Since $N$ is weakly closed by the compactness of $G$ (remark A.1), $\Phi _1 \in N$. Moreover, using the lower semicontinuity of $\lVert {\nabla (\cdot )}\rVert _p$,

\[ \Lambda(g,V) = \lim_{n \rightarrow \infty} {{\displaystyle \int_{\Omega}}} |\nabla \phi_n|^{p} + V |\phi_n|^{p} \ge {{\displaystyle \int_{\Omega}}} |\nabla \Phi_1|^{p} + V |\Phi_1|^{p} \ge \Lambda(g, V). \]

Thus $\Lambda (g,\, V)$ is attained, and $\Phi _1$ is a critical point of $J$ on $N$. Therefore, by the Lagrange multiplier, $\Lambda (g,\, V)$ is an eigenvalue of (1.1) and $\Phi _1$ is an eigenfunction corresponding to $\Lambda (g,\, V)$.

$\Lambda (g,\, V)$ is principal: Let $\Phi _1$ be an eigenfunction of (1.1) corresponding to $\Lambda (g,\, V)$. Then $|\Phi _1| \in {{W^{1,p}_0(\Omega )}}$ is also an eigenfunction corresponding to $\Lambda (g,\, V)$. For $\psi \in {{\mathcal {C}}_c^1}(\Omega )$ with $\psi \ge 0$,

\[ {{\displaystyle \int_{\Omega}}} |\nabla (|\Phi_1|)|^{p-2} \nabla (|\Phi_1|) \cdot \nabla \psi + (V^{+} + \Lambda g^{-}) |\Phi_1|^{p-1}\psi = {{\displaystyle \int_{\Omega}}} (V^{-} + \Lambda g^{+})|\Phi_1|^{p-1}\psi \ge 0. \]

Moreover, $V^{+} + \Lambda g^{-} \ge 0$ and

\[ \int_{\Omega} |V^{+} + \Lambda g^{-}| |\Phi_1|^{p-1} \le \left( \int_{\Omega} |V^{+} + \Lambda g^{-}| \right)^{\frac{1}{p}} \left( \int_{\Omega} |V^{+} + \Lambda g^{-}| |\Phi_1|^{p} \right)^{\frac{1}{{{p^{\prime}}}}} < \infty. \]

Thus $|\Phi _1| \in {{W^{1,p}_0(\Omega )}}$ satisfies all the properties of [Reference Kawohl, Lucia and Prashanth34, proposition 3.2] (for $N>p$) and [Reference Kawohl, Lucia and Prashanth34, part (b) of corollary 3.3] (for $N \le p$). Therefore, $|\Phi _1|>0$ a.e. in $\Omega$. $\Lambda (g,\, V)$ is simple: Suppose $\Phi _1$ and $\Phi _2$ are two eigenfunctions of (1.1) corresponding to $\Lambda (g,\,V)$. Without loss of generality we assume that $\Phi _1,\,\Phi _2>0$ a.e. in $\Omega.$ Set $P(\Phi _1,\,\Phi _2) := |\nabla \Phi _1|^{p} + (p-1) \frac {\Phi _1^{p}}{\Phi _2^{p}} \lvert {\nabla \Phi _2}\rvert ^{p} - p \frac {\Phi _1^{p-1}}{\Phi _2^{p-1}} \lvert {\nabla \Phi _2}\rvert ^{p-2} \nabla \Phi _2$ and $R(\Phi _1,\,\Phi _2) := \lvert {\nabla \Phi _1}\rvert ^{p} - \lvert {\nabla \Phi _2}\rvert ^{p-2} \nabla ( \frac {\Phi _1^{p}}{\Phi _2^{p-1}} ) \cdot \nabla \Phi _2.$ Let $\varepsilon > 0$ be given. Then using the Picone's identity ([Reference Allegretto and Huang1, theorem 1.1]),

\begin{align*} {{\displaystyle \int_{\Omega}}}P(\Phi_1, \Phi_2 + \varepsilon) = {{\displaystyle \int_{\Omega}}}R(\Phi_1, \Phi_2 + \varepsilon) & = {{\displaystyle \int_{\Omega}}} |\nabla \Phi_1|^{p} - |\nabla \Phi_2|^{p-2} \nabla \left( \frac{\Phi_1^{p}}{(\Phi_2 + \varepsilon)^{p-1}} \right) \cdot \nabla \Phi_2 \\ & = {{\displaystyle \int_{\Omega}}}(\Lambda g - V) \left( \Phi_1^{p} - \Phi_2^{p-1} \frac{\Phi_1^{p}}{(\Phi_2 + \varepsilon)^{p-1}} \right). \end{align*}

Now we let $\varepsilon \rightarrow 0$ and apply the dominated convergence theorem to get $\int _{\Omega } P(\Phi _1,\,\Phi _2) = 0.$ Since $P(\Phi _1,\,\Phi _2) \ge 0$, we obtain $P(\Phi _1,\, \Phi _2) = 0$ a.e. in $\Omega$. Therefore, again using the Picone's identity ([Reference Allegretto and Huang1, theorem 1.1]), we get that $\Phi _1$ is a constant multiple of $\Phi _2$. Thus $\Lambda$ is simple.

Acknowledgements

The authors are grateful to Prof. T. V. Anoop for his valuable suggestions and comments, which improved the article. The second author acknowledges the support of the Israel Science Foundation (grant 637/19) founded by the Israel Academy of Sciences and Humanities.

References

Allegretto, W. and Huang, Y. X.. A Picone's identity for the $p$

-Laplacian and applications. Nonlinear Anal. 32 (1998), 819–830.CrossRef Google Scholar

Anedda, C. and Cuccu, F.. Steiner symmetry in the minimization of the first eigenvalue in problems involving the $p$

-Laplacian. Proc. Amer. Math. Soc. 144 (2016), 3431–3440.CrossRef Google Scholar

Anoop, T. V.. Weighted eigenvalue problems for the $p$

-Laplacian with weights in weak Lebesgue spaces. Electron. J. Differ. Equ. 64 (2011), 222011.Google Scholar

Anoop, T. V., Ashok Kumar, K. and Kesavan, S.. A shape variation result via the geometry of eigenfunctions. J. Differ. Equ. 298 (2021), 430–462.CrossRef Google Scholar

Anoop, T. V., Lucia, M. and Ramaswamy, M.. Eigenvalue problems with weights in Lorentz spaces. Calc. Var. Partial Differ. Equ. 36 (2009), 355–376.CrossRef Google Scholar

Ashbaugh, M. S. and Harrell, E. M.. II. Maximal and minimal eigenvalues and their associated nonlinear equations. J. Math. Phys. 28 (1987), 1770–1786.CrossRef Google Scholar

Berestycki, H., Hamel, F. and Roques, L.. Analysis of the periodically fragmented environment model. I. Species persistence. J. Math. Biol. 51 (2005), 75–113.CrossRef Google Scholar PubMed

Bianchi, G., Gardner, R. J., Gronchi, P. and Kiderlen, M.. Rearrangement and polarization. Adv. Math. 374 (2020), 107380.CrossRef Google Scholar

Brezis, H. and Ponce, A. C.. Remarks on the strong maximum principle. Differ. Integral Equ. 16 (2003), 1–12.Google Scholar

Brock, F.. Symmetry and monotonicity of solutions to some variational problems in cylinders and annuli. Electron. J. Differential Equations 108 (2003), 1–20.Google Scholar

Brock, F.. Positivity and radial symmetry of solutions to some variational problems in $\Bbb R^{N}$

. J. Math. Anal. Appl. 296 (2004), 226–243.CrossRef Google Scholar

Brock, F., Croce, G., Guibé, O. and Mercaldo, A.. Symmetry and asymmetry of minimizers of a class of noncoercive functionals. Adv. Calc. Var. 13 (2020), 15–32.CrossRef Google Scholar

Brock, F. and Solynin, A. Y.. An approach to symmetrization via polarization. Trans. Amer. Math. Soc. 352 (2000), 1759–1796.CrossRef Google Scholar

Brothers, J. E. and Ziemer, W. P.. Minimal rearrangements of Sobolev functions. J. Reine Angew. Math. 384 (1988), 153–179.Google Scholar

Burton, G. R.. Variational problems on classes of rearrangements and multiple configurations for steady vortices. Ann. Inst. H. Poincaré Anal. Non Linéaire 6 (1989), 295–319.CrossRef Google Scholar

Cadeddu, L. and Porru, G., Symmetry breaking in problems involving semilinear equations. Discrete Contin. Dyn. Syst., (Dynamical systems, differential equations and applications. 8th AIMS Conference. Suppl. Vol. I):219–228, 2011.Google Scholar

Cantrell, R. S. and Cosner, C.. Diffusive logistic equations with indefinite weights: population models in disrupted environments. Proc. Roy. Soc. Edinburgh Sect. A 112 (1989), 293–318.CrossRef Google Scholar

Cantrell, R. S. and Cosner, C.. Diffusive logistic equations with indefinite weights: population models in disrupted environments. II. SIAM J. Math. Anal. 22 (1991), 1043–1064.CrossRef Google Scholar

Chanillo, S., Grieser, D., Imai, M., Kurata, K. and Ohnishi, I.. Symmetry breaking and other phenomena in the optimization of eigenvalues for composite membranes. Comm. Math. Phys. 214 (2000), 315–337.CrossRef Google Scholar

Cianchi, A. and Fusco, N.. Steiner symmetric extremals in Pólya-Szegö type inequalities. Adv. Math. 203 (2006), 673–728.CrossRef Google Scholar

Cox, S. J. and McLaughlin, J. R.. Extremal eigenvalue problems for composite membranes, I, II.. Appl. Math. Optim. 22 (1990), 153–167.CrossRef Google Scholar

Cuccu, F., Emamizadeh, B. and Porru, G.. Optimization of the first eigenvalue in problems involving the $p$

-Laplacian. Proc. Amer. Math. Soc. 137 (2009), 1677–1687.CrossRef Google Scholar

Cuccu, F. and Porru, G.. Optimization in a problem of heat conduction. Adv. Math. Sci. Appl. 12 (2002), 245–255.Google Scholar

Cuesta, M. and Ramos Quoirin, H.. A weighted eigenvalue problem for the $p$

-Laplacian plus a potential. NoDEA Nonlinear Differ. Equ. Appl. 16 (2009), 469–491.CrossRef Google Scholar

Damascelli, L. and Pardo, R.. A priori estimates for some elliptic equations involving the $p$

-Laplacian. Nonlinear Anal. Real World Appl. 41 (2018), 475–496.CrossRef Google Scholar

Del Pezzo, L. M. and Fernández Bonder, J.. An optimization problem for the first weighted eigenvalue problem plus a potential. Proc. Amer. Math. Soc. 138 (2010), 3551–3567.CrossRef Google Scholar

Derlet, A., Gossez, J.-P. and Takáč, P.. Minimization of eigenvalues for a quasilinear elliptic Neumann problem with indefinite weight. J. Math. Anal. Appl. 371 (2010), 69–79.CrossRef Google Scholar

Emamizadeh, B. and Prajapat, J. V.. Symmetry in rearrangement optimization problems. Electron. J. Differential Equations 149 (2009), 1–10.Google Scholar

Fernández Bonder, J. and Del Pezzo, L. M.. An optimization problem for the first eigenvalue of the $p$

-Laplacian plus a potential. Commun. Pure Appl. Anal. 5 (2006), 675–690.CrossRef Google Scholar

Guedda, M. and Véron, L.. Quasilinear elliptic equations involving critical Sobolev exponents. Nonlinear Anal. 13 (1989), 879–902.CrossRef Google Scholar

Henrot, A., Extremum problems for eigenvalues of elliptic operators. Frontiers in Mathematics. (Birkhäuser Verlag, Basel, 2006).CrossRef Google Scholar

Jha, K. and Porru, G.. Minimization of the principal eigenvalue under Neumann boundary conditions. Numer. Funct. Anal. Optim. 32 (2011), 1146–1165.CrossRef Google Scholar

Kawohl, B., Rearrangements and convexity of level sets in PDE, volume 1150 of Lecture Notes in Mathematics (Springer-Verlag, Berlin, 1985).CrossRef Google Scholar

Kawohl, B., Lucia, M. and Prashanth, S.. Simplicity of the principal eigenvalue for indefinite quasilinear problems. Adv. Differ. Equ. 12 (2007), 407–434.Google Scholar

Krein, M. G.. On certain problems on the maximum and minimum of characteristic values and on the Lyapunov zones of stability. Amer. Math. Soc. Transl. (2) 1 (1955), 163–187.Google Scholar

Kurata, K., Shibata, M. and Sakamoto, S.. Symmetry-breaking phenomena in an optimization problem for some nonlinear elliptic equation. Appl. Math. Optim. 50 (2004), 259–278.CrossRef Google Scholar

Lamboley, J., Laurain, A., Nadin, G. and Privat, Y.. Properties of optimizers of the principal eigenvalue with indefinite weight and Robin conditions. Calc. Var. Partial Differential Equations 55 (2016), 144.CrossRef Google Scholar

Leadi, L. and Yechoui, A.. Principal eigenvalue in an unbounded domain with indefinite potential. NoDEA Nonlinear Differ. Equ. Appl. 17 (2010), 391–409.CrossRef Google Scholar

Lieberman, G. M.. Boundary regularity for solutions of degenerate elliptic equations. Nonlinear Anal. 12 (1988), 1203–1219.CrossRef Google Scholar

Mazari, I., Nadin, G. and Privat, Y.. Optimal location of resources maximizing the total population size in logistic models. J. Math. Pures Appl. (9) 134 (2020), 1–35.CrossRef Google Scholar

Mazzoleni, D., Pellacci, B. and Verzini, G.. Asymptotic spherical shapes in some spectral optimization problems. J. Math. Pures Appl. (9) 135 (2020), 256–283.CrossRef Google Scholar

Pielichowski, W. a.. The optimization of eigenvalue problems involving the $p$

-Laplacian. Univ. Iagel. Acta Math. 42 (2004), 109–122.Google Scholar

Sciunzi, B.. Regularity and comparison principles for $p$

-Laplace equations with vanishing source term. Commun. Contemp. Math. 16 (2014), 1450013.CrossRef Google Scholar

Skellam, J. G.. Random dispersal in theoretical populations. Biometrika 38 (1951), 196–218.CrossRef Google Scholar PubMed

Szulkin, A. and Willem, M.. Eigenvalue problems with indefinite weight. Studia Math. 135 (1999), 191–201.Google Scholar

Van Schaftingen, J.. Symmetrization and minimax principles. Commun. Contemp. Math. 7 (2005), 463–481.CrossRef Google Scholar

Weth, T.. Symmetry of solutions to variational problems for nonlinear elliptic equations via reflection methods. Jahresber. Dtsch. Math.-Ver. 112 (2010), 119–158.CrossRef Google Scholar

FIG. 1. Location of maxima of $\phi$ in $B_R(0)\setminus \overline {B_r(te_1)}$.

Article contents

On the optimization of the first weighted eigenvalue

Abstract

Keywords

MSC classification

1. Introduction

1.1 Existence of optimizers

1.2 Symmetry of minimizers

Polarization

Corollary 1.4 Steiner symmetry

2. Preliminaries

2.1 Polarizations

2.1.1 Hardy-Littlewood and reverse Hardy-Littlewood inequality.

2.2 Symmetrizations

2.2.1 Schwarz symmetry

Definition 2.6 Schwarz symmetric function

2.2.2 Steiner symmetry.

Definition 2.8 Steiner symmetric domain

Definition 2.9 Steiner symmetric function

2.2.3 Foliated Schwarz symmetry.

Definition 2.11 Foliated Schwarz symmetrization

Definition 2.12 Foliated Schwarz symmetric function

Definition 2.13 Foliated Schwarz symmetry on non-concentric annulus

3. Existence of optimizer

4. Symmetry of minimizers

Proposition 4.1 Strong maximum principle

Remark 4.2 Radiality on ball

Remark 4.4 Nonradiality on concentric annulus

Remark 4.5 Nonuniqueness of minimizer

Appendix A.

Acknowledgements

References

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests