English

Reverse Faber-Krahn inequalities for Zaremba problems

Analysis of PDEs 2024-10-10 v2 Optimization and Control

Abstract

Let Ω\Omega be a multiply-connected domain in Rn\mathbb{R}^n (n2n\geq 2) of the form Ω=ΩoutΩinˉ.\Omega=\Omega_{\text{out}}\setminus \bar{\Omega_{\text{in}}}. Set ΩD\Omega_D to be either Ωout\Omega_{\text{out}} or Ωin\Omega_{\text{in}}. For p(1,),p\in (1,\infty), and q[1,p],q\in [1,p], let τ1,q(Ω)\tau_{1,q}(\Omega) be the first eigenvalue of \begin{equation*} -\Delta_p u =\tau \left(\int_{\Omega}|u|^q \text{d}x \right)^{\frac{p-q}{q}} |u|^{q-2}u\;\text{in} \;\Omega,\; u =0\;\text{on}\;\partial\Omega_D, \frac{\partial u}{\partial \eta}=0\;\text{on}\; \partial \Omega\setminus \partial \Omega_D. \end{equation*} Under the assumption that ΩD\Omega_D is convex, we establish the following reverse Faber-Krahn inequality τ1,q(Ω)τ1,q(Ω),\tau_{1,q}(\Omega)\leq \tau_{1,q}({\Omega}^\bigstar), where Ω=BRBrˉ{\Omega}^\bigstar=B_R\setminus \bar{B_r} is a concentric annular region in Rn\mathbb{R}^n having the same Lebesgue measure as Ω\Omega and such that (i) (when ΩD=Ωout\Omega_D=\Omega_{\text{out}}) W1(ΩD)=ωnRn1W_1(\Omega_D)= \omega_n R^{n-1}, and (Ω)D=BR(\Omega^\bigstar)_D=B_R, (ii) (when ΩD=Ωin\Omega_D=\Omega_{\text{in}}) Wn1(ΩD)=ωnrW_{n-1}(\Omega_D)=\omega_nr, and (Ω)D=Br(\Omega^\bigstar)_D=B_r. Here Wi(ΩD)W_{i}(\Omega_D) is the ithi^{\text{th}} quermassintegralquermassintegral of ΩD.\Omega_D. We also establish Sz. Nagy's type inequalities for parallel sets of a convex domain in Rn\mathbb{R}^n (n3n\geq 3) for our proof.

Keywords

Cite

@article{arxiv.2205.12717,
  title  = {Reverse Faber-Krahn inequalities for Zaremba problems},
  author = {T. V. Anoop and Mrityunjoy Ghosh},
  journal= {arXiv preprint arXiv:2205.12717},
  year   = {2024}
}

Comments

17 pages; V2; Minor changes are made in the statements and proofs of equality case