Strict monotonicity of the first $q$-eigenvalue of the fractional $p$-Laplace operator over annuli

K Ashok Kumar,Nirjan Biswas
DOI: https://doi.org/10.1007/s12220-023-01539-9
2024-02-21
Abstract:Let $B, B'\subset \mathbb{R}^d$ with $d\geq 2$ be two balls such that $B'\subset \subset B$ and the position of $B'$ is varied within $B$. For $p\in (1, \infty ),$ $s\in (0,1)$, and $q \in [1, p^*_s)$ with $p^*_s=\frac{dp}{d-sp}$ if $sp < d$ and $p^*_s=\infty $ if $sp \geq d$, let $\lambda ^s_{p,q}(B\setminus \overline{B'})$ be the first $q$-eigenvalue of the fractional $p$-Laplace operator $(-\Delta _p)^s$ in $B\setminus \overline{B'}$ with the homogeneous nonlocal Dirichlet boundary conditions. We prove that $\lambda ^s_{p,q}(B\setminus \overline{B'})$ strictly decreases as the inner ball $B'$ moves towards the outer boundary $\partial B$. To obtain this strict monotonicity, we establish a strict Faber-Krahn type inequality for $\lambda _{p,q}^s(\cdot )$ under polarization. This extends some monotonicity results obtained by Djitte-Fall-Weth (Calc. Var. Partial Differential Equations, 60:231, 2021) in the case of $(-\Delta )^s$ and $q=1, 2$ to $(-\Delta _p)^s$ and $q\in [1, p^*_s).$ Additionally, we provide the strict monotonicity results for the general domains that are difference of Steiner symmetric or foliated Schwarz symmetric sets in $\mathbb{R}^d$.
Analysis of PDEs,Mathematical Physics,Optimization and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the strict monotonicity of the first q - eigenvalue of the fractional - order p - Laplace operator on the annular region. Specifically, the author studies the change of the first q - eigenvalue $\lambda_{s}^{p,q}(B \backslash B')$ when the inner sphere $B'$ moves towards the outer boundary $\partial B$. The main goal of the paper is to prove that this eigenvalue strictly decreases as the inner sphere approaches the outer boundary. To achieve this goal, the author establishes a strict Faber - Krahn - type inequality, which holds under the polarization transformation. In addition, the author also provides strict monotonicity results in more general domains, which are composed of the differences of Steiner - symmetric or foliated Schwarz - symmetric sets. ### Main contributions 1. **Strict monotonicity**: Prove that the first q - eigenvalue strictly decreases when the inner sphere moves towards the outer boundary. 2. **Faber - Krahn - type inequality**: Establish a strict Faber - Krahn - type inequality under the polarization transformation. 3. **Extension of existing results**: Extend the monotonicity results obtained by Djitte - Fall - Weth et al. in the local case to the non - local case, that is, the fractional - order p - Laplace operator. ### Mathematical background - **Fractional - order p - Laplace operator**: It is defined as \[ (-\Delta_p)^s u(x)=\text{P.V.} \int_{\mathbb{R}^d} \frac{|u(x)-u(y)|^{p - 2}(u(x)-u(y))}{|x - y|^{d+sp}} \, dy \] where P.V. represents the principal value integral. - **Eigenvalue problem**: Consider the following nonlinear fractional - order eigenvalue problem \[ (-\Delta_p)^s u=\lambda_{s}^{p,q}(\Omega) u^{q - 1} \quad \text{in } \Omega, \quad u = 0 \quad \text{in } \mathbb{R}^d\backslash\Omega \] where $\Omega$ is a bounded open set and $\lambda_{s}^{p,q}(\Omega)$ is the first q - eigenvalue. - **Polarization transformation**: For a polarizer $H$, the polarization transformation $P_H(\Omega)$ is defined as \[ P_H(\Omega)=[(\Omega\cup\sigma_H(\Omega))\cap H]\cup[\Omega\cap\sigma_H(\Omega)] \] where $\sigma_H$ is the reflection about the hyperplane $\partial H$. ### Conclusion By establishing a strict Faber - Krahn - type inequality, the author proves that on the annular region, when the inner sphere moves towards the outer boundary, the first q - eigenvalue strictly decreases. This result not only extends the existing local results but also provides new insights into the eigenvalue monotonicity in the non - local case.