2025-11-24T00:37:17.546885

On elliptic equations with N-independent stable operators

Du, Yang

We investigate the positive solutions of the semilinear elliptic equation \begin{align*} \sum^{N}_{i=1}\left(-\partial_{ii}\right)^{s}u=u^{p} \end{align*} with one-dimensional symmetric $2s$-stable operators. Firstly, in the whole space $\R^{N}$, we establish the nonexistence of positive supersolutions for $1<p\leq\frac{N}{N-2s}$. Furthermore, the symmetry of positive solutions is obtained when $p>\frac{N}{N-2s}$. It is crucial for these solutions to exhibit suitable decay at infinity to compensate for the absence of the Kelvin transform. Notably, while these solutions are symmetric, they are not radially symmetric due to the non-rotational invariance of the operator involved. Next, in the half space $\R_{+}^{N}$, we observe the nonexistence of positive supersolutions in the region $1<p\leq\frac{N+s}{N-s}$. Additionally, we find that positive solutions with appropriate decay for the Dirichlet boundary problem do not exist. Finally, we present the symmetry of positive solutions in the unit ball $B_{1}$.

academic

On elliptic equations with N-independent stable operators

基本信息

论文ID: 2501.00198
标题: On elliptic equations with N-independent stable operators
作者: Lele Du, Minbo Yang
分类: math.AP (偏微分方程)
发表时间: 2024年12月31日
论文链接: https://arxiv.org/abs/2501.00198

摘要

本文研究了带有N个独立一维对称2s-稳定算子的半线性椭圆方程 $\sum_{i=1}^{N}(-\partial_{ii})^s u = u^p$ 的正解。首先，在全空间 $\mathbb{R}^N$ 中，我们建立了当 $1<p\leq\frac{N}{N-2s}$ 时正超解的不存在性。进一步地，当 $p>\frac{N}{N-2s}$ 时获得了正解的对称性。由于缺乏Kelvin变换，这些解在无穷远处展现适当的衰减性质至关重要。值得注意的是，虽然这些解是对称的，但由于算子的非旋转不变性，它们不是径向对称的。接下来，在半空间 $\mathbb{R}_{+}^{N}$ 中，我们观察到在区域 $1<p\leq\frac{N+s}{N-s}$ 内正超解的不存在性。此外，我们发现具有适当衰减的Dirichlet边界问题的正解不存在。最后，我们给出了单位球 $B_1$ 中正解的对称性。

研究背景与动机

研究问题: 本文研究的核心问题是分析带有N个独立一维对称2s-稳定算子的半线性椭圆方程的解的存在性、不存在性和对称性质。这类算子不同于经典的分数阶Laplacian算子 $(-\Delta)^s$ ，它们沿坐标轴方向进行扩散。
重要性: 这类算子在物理现象、生物模型和数学金融中具有重要应用，特别是与Lévy过程相关的积分-微分方程建模。算子 $I = \sum_{i=1}^N I_i$ 是N个独立一维对称稳定过程的无穷小生成元，其中每个过程 $X_t^i$ 只能沿正负坐标轴方向随机跳跃。
现有方法的局限性: 经典的分数阶Laplacian $(-\Delta)^s$ 具有旋转不变性，可以使用Kelvin变换等工具。然而，本文研究的算子 $I$ 缺乏旋转不变性，使得传统的分析方法不再适用。
研究动机: 填补非旋转不变分数阶算子理论的空白，建立相应的Liouville型定理和对称性结果，这对理解更一般的非局部椭圆方程具有重要意义。

核心贡献

建立了全空间中的Liouville型定理: 证明了当 $1<p\leq\frac{N}{N-2s}$ 时，方程 $-Iu \geq u^p$ 在 $\mathbb{R}^N$ 中不存在非平凡的正解。
获得了正解的对称性质: 当 $p>\frac{N}{N-2s}$ 时，证明了正解关于坐标超平面对称但不是径向对称的。
扩展到半空间的结果: 在半空间 $\mathbb{R}_{+}^{N}$ 中建立了当 $1<p\leq\frac{N+s}{N-s}$ 时的不存在性定理。
提供了新的分析技术: 由于缺乏Kelvin变换，发展了新的移动平面方法和积分方程技术来处理非旋转不变算子。
构造了对称势函数: 引入了势函数 $G_s$ 并分析了其性质，特别是当 $s=\frac{1}{2}$ 时的显式表达式。

方法详解

任务定义

研究半线性椭圆方程： $\sum_{i=1}^{N}(-\partial_{ii})^s u = u^p \quad \text{在不同区域中}$

其中 $(-\partial_{ii})^s u := -I_i u$ ， $I_i u(x) := \frac{C_s}{2}\int_{\mathbb{R}} \frac{u(x+te_i)+u(x-te_i)-2u(x)}{|t|^{1+2s}}dt$ 。

模型架构

1. 算子定义与性质

分数阶算子: $I_i$ 是一维对称2s-稳定算子，总算子 $I = \sum_{i=1}^N I_i$
Fourier符号: $\hat{I}(\xi) = \sum_{i=1}^N |2\pi\xi_i|^{2s}$
非旋转不变性: 算子只在坐标轴方向扩散

2. 函数空间

定义适当的函数空间：

$L^s = \{u \in L_{loc}^1(\mathbb{R}^N): \limsup_{|x|\to\infty} \frac{|u|}{|x|^{2s-\delta_1}} < +\infty\}$
$\overline{L^s} = \{u \in L_{loc}^1(\mathbb{R}^N): \limsup_{|x|\to\infty} \frac{|u|}{|x|^{2s-N+1-\delta_2}} < +\infty\}$