[論文レビュー] 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

ひとこと要約

本稿は、リーマン作用素および分数ラプラシアンを含む過決定積分方程式に関する2つの未解決問題を解決する。移動平面法を積分方程式へ拡張することで、$C^1$有界領域 $ abla$ の境界上でリーマン作用素（または対数的リーマン作用素）が一定であるならば、$ abla$ は球であることを証明する—これはやや弱い正則性および直径の制約のもとで成り立つ。これにより、ポテンシャル論的過決定条件による球の特徴付けが確立され、古典的結果が非局所作用素へ一般化される。

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. リッヘルが提示した、リーマン作用素および分数ラプラシアンを用いた球の特徴付けに関する2つの未解決問題に取り組むこと。
• リーマン作用素に関して、$ olimits \neq N$ の場合に、リッヘルの以前の結果における凸性仮定を除去すること。
• $ olimits > N$ かつ領域の直径が十分に小さい場合に、対数的リーマン作用素についても同様の特徴付けを確立すること。
• 積分方程式を通じて、分数ラプラシアンに関する球のポテンシャル論的特徴付けを提供すること。

提案手法

• リーマン作用素の対称性特性を分析することで、積分方程式に移動平面法を適応する。
• 超平面 $T_\lambda$ に関するポテンシャル $u(x)$ の反射 $u_\lambda(x)$ を定義し、領域 $\Sigma_\lambda$ において $u_\lambda(x)$ と $u(x)$ を比較する。
• 関数 $s^{\alpha-N}\log s$ が $s < e^{1/(N-\alpha)}$ で単調減少であることを用いて、直径制約のもとで $\Sigma_\lambda$ 内で $u_\lambda(x) < u(x)$ を示す。
• 連続性の方法および境界挙動解析を適用し、極限において対称性が成立することを示し、これにより $\Omega$ が球であることを導く。
• 接点において $\partial u/\partial x_1 = 0$ であるという事実を用いて、背理法により非対称な構成を除外する。
• 分数ラプラシアン $(-\Delta)^{\alpha/2}$ の基本解の構造を活用する—ここで $\frac{\alpha-N}{2} \in \mathbb{N}_0$ である。

実験結果

リサーチクエスチョン

• RQ1 領域 $ abla$ に対して凸性仮定を課さない場合、境界上でリーマン作用素が一定であるという球の特徴付けは成立するか？
• RQ2 形 $u(x) = \int_\Omega |x-y|^{\alpha-N} \log \frac{1}{|x-y|} \, dy$ の対数的リーマン作用素についても同様の特徴付けが可能か？
• RQ3 このような対数的ポテンシャルの対称性を保証するための領域直径の役割は何か？
• RQ4 微分方程式から非局所作用素を含む積分方程式へ、移動平面法をどのように拡張できるか？

主な発見

• $\alpha \neq N$ の場合、リーマン作用素 $u(x) = \int_\Omega |x-y|^{\alpha-N} \, dy$ が $\partial\Omega$ 上で一定であるならば、$ abla$ は球である—凸性は不要で、$C^1$ 正則性のみが要求される。
• $\alpha = N$ の場合、対数的ポテンシャル $u(x) = \int_\Omega \log \frac{1}{|x-y|} \, dy$ が $\partial\Omega$ 上で一定であるならば、$\nabla$ は球である—$C^1$ 正則性が条件となる。
• $\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$ 上で一定であるならば、$\nabla$ は球である。
• 結果は、境界上での過決定条件が球を一意に特徴付けることを確認し、古典的結果を非局所作用素へ拡張する。
• 証明は、差 $u_\lambda(x) - u(x)$ の符号を精密に分析するという、積分方程式に新たな応用を施した移動平面法に依拠している。
• 直径制約 $\text{diam}(\Omega) < e^{1/(N-\alpha)}$ は、関連する距離において $s^{\alpha-N}\log s$ の単調減少性を保証するため、鋭いものである。