[論文レビュー] Regularity of harmonic functions for anisotropic fractional Laplacian

Paweł Sztonyk|ArXiv.org|Jun 4, 2007

Advanced Mathematical Modeling in Engineering参考文献 21被引用数 4

ひとこと要約

本稿では、Lévy測度にやや弱い正則性条件が課された場合に、非等方的分数ラプラシアンと関連する調和関数のホルダー連続性および高階微分可能性を確立する。有界な調和関数は、Lévy測度の滑らかさに依存する指数で局所的ホルダー連続であり、より強い条件のもとでは3階まで微分可能であることが示される。

ABSTRACT

We prove that bounded harmonic functions of anisotropic fractional Laplacians are Hölder continuous under mild regularity assumptions on the corresponding Lévy measure. Under some stronger assumptions the Green function, Poisson kernel and the harmonic functions are even differentiable of order up to three.

研究の動機と目的

• Lévy測度にやや弱い滑らかさの条件が満たされる場合に、非等方的分数ラプラシアンに関連する調和関数の正則性を確立すること。
• Lévy測度の滑らかさパラメータ γ に基づいて、ポテンシャル核および調和関数のホルダー正則性を特徴づけること。
• Lévy測度の密度や下界の仮定を必要とせず、局所的楕円型作用素からのホルダー連続性の既知の結果を、非局所的非等方的分数作用素へと拡張すること。
• Lévy測度の正則性がより強い仮定のもとで、調和関数の導関数およびグリーン関数の鋭い推定値を提供すること。
• Lévy密度の存在や下界に関する仮定を避けることで、非対称で非等方的な安定過程へのポテンシャル理論の一般化を行うこと。

提案手法

• 解析は、対称 $ \alpha $-安定過程の密度 $ p_t $ を用いたポテンシャル核 $ V(x) = \int_0^\infty p_t(x)\,dt $ に依存する。
• Lévy測度 $ \nu $ の単位球面上での滑らかさを定量化するパラメータ $ \gamma $ を用いて、$ \kappa_0 = \gamma - (d - 2\alpha) $ を考察する。
• 導関数 $ D^\beta V(x) $ の推定に基づき、$ \mathbb{R}^d \setminus \{0\} $ 上での $ V(x) $ のホルダー連続性を確立する。推定式 $ |D^\beta V(x)| \leq c |x|^{\alpha - d - |\beta|} $ を得る。
• 調和関数に対しては、ポアソン核 $ P_B(x,z) $ 及びその導関数を用い、スケーリングおよびグリーン関数 $ G_B(x,z) $ からの推定を導出する。
• 証明法では、停止時間に関連する作用素 $ \mathcal{U}_r $ を用いて、劣解および上解を構成する。
• 重要な技術的手段として、グリーン関数の導関数における切断および比較論法を用い、$ |z| > 1 $ のとき $ |D_{x_i} P_B(x,z)| \leq c |z|^{-\gamma} (|z|^2 - 1)^{-\alpha/2} $ のような推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 Lévy測度の条件下で、原点を除く近傍でポテンシャル核 $ V(x) $ が局所的ホルダー連続となる条件は何か？
• RQ2 非等方的分数ラプラシアンに関連する調和関数の正則性は、Lévy測度の滑らかさにどのように依存するか？
• RQ3 Lévy測度の密度の存在を仮定しないで、調和関数の微分可能性を確立できるか？
• RQ4 Lévy測度の滑らかさパラメータ $ \gamma $ に対して、有界な調和関数の鋭いホルダー指数は何か？
• RQ5 Lévy測度がより強い滑らかさ条件を満たす場合、調和関数の正則性はどの程度向上できるか？

主な発見

• もし $ \kappa_0 = \gamma - (d - 2\alpha) > 0 $ であれば、ポテンシャル核 $ V(x) $ は局所的ホルダー空間 $ C^{\kappa_0}_{\text{loc}}(\mathbb{R}^d \setminus \{0\}) $ に属し、$ 0 \leq |\beta| < \kappa_0 $ のとき、推定式 $ |D^\beta V(x)| \leq c |x|^{\alpha - d - |\beta|} $ が成り立つ。
• もし $ \kappa_1 = \gamma - (d - \alpha) > 0 $ であれば、$ B(0,1) $ 内の任意の有界調和関数は、指数 $ \rho \in (0, \kappa_1] $ で局所的ホルダー連続であり、$ r \in (0,1/2] $ に対して $ \|u\|_{C^\rho(B(0,1-r))} \leq c r^{-\rho} \|u\|_\infty $ を満たす。
• もし $ \kappa_1 > 1 $ であれば、調和関数は3階まで微分可能であり、$ \kappa_1 \leq 1 $ のときはホルダー指数 $ \rho $ を $ \kappa_1 $ に、$ \kappa_1 > 1 $ のときは $ \rho \in (1, \kappa_1) $ にとることができる。
• ポアソン核の導関数は、$ |z| > 1 $ のとき $ |D_{x_i} P_B(x,z)| \leq c |z|^{-\gamma} (|z|^2 - 1)^{-\alpha/2} $ を満たす。この推定は $ \kappa_1 > 1 $ の条件のもとで成り立つ。
• 証明法は、Lévy測度の下界や密度の存在に関する仮定を避けており、従来の研究よりも高い非等方性を扱える。
• 結果として、Lévy測度の球面上での滑らかさにのみ依存する鋭い正則性推定を用いて、古典的ポテンシャル理論を非局所的・非等方的作用素へと拡張する。