[论文解读] An overdetermined problem in Riesz-potential and fractional Laplacian

Guozhen Lu, Jiuyi Zhu|arXiv (Cornell University)|Jan 9, 2011

Nonlinear Partial Differential Equations参考文献 26被引用 10

一句话总结

本文解决了关于涉及Riesz势和分数阶拉普拉斯算子的超定积分方程的两个开放问题。通过将移动平面法推广至积分方程，证明了若Riesz势（或对数Riesz势）在$C^1$有界区域$\Omega$的边界上为常数，则$\Omega$必为球体——在较弱的正则性和直径约束下成立。该结果通过势论的超定条件刻画了球体，将经典结果推广至非局部算子。

ABSTRACT

The main purpose of this paper is to address two open questions raised by W. Reichel on characterizations of balls in terms of the Riesz potential and fractional Laplacian. For a bounded $C^1$ domain $Ω\subset \mathbb R^N$, we consider the Riesz-potential $$u(x)=\int_Ω\frac{1}{|x-y|^{N-α}} \,dy$$ for $2\leq α ot =N$. We show that $u=$ constant on the boundary of $Ω$ if and only if $Ω$ is a ball. In the case of $ α=N$, the similar characterization is established for the logarithmic potential. We also prove that such a characterization holds for the logarithmic Riesz potential. This provides a characterization for the overdetermined problem of the fractional Laplacian. These results answer two open questions of W. Reichel to some extent.

研究动机与目标

• 解决W. Reichel提出的关于利用Riesz势和分数阶拉普拉斯算子刻画球体的两个开放问题。
• 在Reichel关于$\alpha \neq N$时Riesz势结果的基础上，去除凸性假设。
• 在$\alpha > N$且区域直径充分小时，为对数Riesz势建立类似的刻画。
• 通过积分方程，为分数阶拉普拉斯算子提供球体的势论刻画。

提出的方法

• 通过分析Riesz势及其反射的对称性，将移动平面法适配于积分方程。
• 定义势$u(x)$关于超平面$T_\lambda$的反射$u_\lambda(x)$，并在区域$\Sigma_\lambda$中比较$u_\lambda(x)$与$u(x)$。
• 利用函数$s^{\alpha-N}\log s$在$s < e^{1/(N-\alpha)}$时的单调性，证明在直径约束下$u_\lambda(x) < u(x)$在$\Sigma_\lambda$中成立。
• 应用连续性方法和边界行为分析，证明对称性在极限处必然成立，从而推出$\Omega$为球体。
• 利用在切点处有$\partial u/\partial x_1 = 0$的事实，通过反证法排除非对称构型。
• 利用分数阶拉普拉斯算子$(-\Delta)^{\alpha/2}$的基本解结构，当$\frac{\alpha-N}{2} \in \mathbb{N}_0$时成立。

实验结果

研究问题

• RQ1 在$\Omega$无凸性假设下，是否仍能保持通过边界上常Riesz势刻画球体？
• RQ2 能否为形如$u(x) = \int_\Omega |x-y|^{\alpha-N} \log \frac{1}{|x-y|} \, dy$的对数Riesz势建立类似刻画？
• RQ3 区域直径在确保此类对数势对称性方面起何作用？
• RQ4 移动平面法如何从微分方程推广至涉及分数阶算子的积分方程？

主要发现

• 当$\alpha \neq N$时，若Riesz势$u(x) = \int_\Omega |x-y|^{\alpha-N} \, dy$在$\partial\Omega$上为常数，则$\Omega$必为球体，即使无凸性假设——仅需$C^1$正则性。
• 当$\alpha = N$时，若对数势$u(x) = \int_\Omega \log \frac{1}{|x-y|} \, dy$在$\partial\Omega$上为常数，则在$C^1$正则性下$\Omega$必为球体。
• 当$\alpha > N$且$\frac{\alpha-N}{2} \in \mathbb{N}_0$时，若$\text{diam}(\Omega) < e^{1/(N-\alpha)}$，则$u(x) = \int_\Omega |x-y|^{\alpha-N} \log \frac{1}{|x-y|} \, dy$在$\partial\Omega$上为常数，意味着$\Omega$为球体。
• 结果证实，边界势的超定条件唯一刻画了球体，将经典结果推广至非局部算子。
• 证明依赖于移动平面法在积分方程上的新颖应用，辅以对差值$u_\lambda(x) - u(x)$符号的细致分析。
• 直径约束$\text{diam}(\Omega) < e^{1/(N-\alpha)}$是精确的，因为它确保了相关距离下$s^{\alpha-N}\log s$的递减单调性。