[論文レビュー] Boundary Harnack inequalities for regional fractional Laplacian

Qing-Yang Guan|ArXiv.org|May 11, 2007

Nonlinear Partial Differential Equations参考文献 19被引用数 21

ひとこと要約

本稿は、$C^{1,\beta-1}$ 域およびリプシッツ域において、非一様なジャンプ核を有する局所的分数階ラプラシアンに対して境界ハーナック不等式（BHI）を確立する。非一様な場合、調和関数は境界付近で $\rho(x)^{\alpha-1}$ の割合で減少し、内部域の場合には $\rho(x)^{\alpha/2}$ の割合で減少することが示された。これらの結果は、一様な分数階ラプラシアンに対する既知のBHIを一般化し、変動するジャンプ強度を有する遮断安定的過程への応用を拡張する。

ABSTRACT

We consider boundary Harnack inequalities for regional fractional Laplacian which are generators of censored stable-like processes on G taking κ(x,y)/|x-y|^{n+α}dxdy, x,y\in G as the jumping measure. When G is a C^{1,β-1} open set, 1

研究の動機と目的

• 一様な局所的分数階ラプラシアンに対する既知の境界ハーナック不等式（BHI）を、ジャンプ強度 $\kappa(x,y)$ が変動する非一様な場合に一般化すること。
• $1 < \alpha < \beta \leq 2$ および $\kappa \in C^1(\overline{G} \times \overline{G})$ でゼロから離れて有界な場合、$C^{1,\beta-1}$ 域における局所的分数階ラプラシアンに対するBHIを確立すること。
• $D \subset \overline{D} \subset G$ である有界な部分域に対して $0 < \alpha \leq \beta \leq 2$ を満たし、$\partial D$ 付近での調和関数の減衰率が $\rho(x)^{\alpha/2}$ であることを示すこと。
• リプシッツ域における局所的分数階ラプラシアンに対するBHIを、非一様設定における未解決問題に対応して確立すること。

提案手法

• 半空間において基本解 $w_p(x) = \rho(x)^p$ の摂動を通じて構築された明示的な超調和／下調和関数 $u_p$ を、領域 $D$ に適合させること。
• 境界付近の dyadic ボックスにおけるハーナック不等式、カールソン推定、調和測度の比較を組み合わせたボックス法の応用。
• $\alpha/2 < p < \alpha$ の範囲で、積分核および $\kappa$ の正則性を用いて、$D \cap B(Q,1/A_{14})$ 内で $\Delta^{\alpha/2,\kappa}u_p \geq A_{14}\rho(x)^{p-\alpha}$ を満たす関数 $u_p$ の構成。
• 先行研究（例：[18]）からのポアソン核推定および鋭い熱核評価を用いて、カールソン推定における明示的ポアソン核の代わりに使用すること。
• バスとバーディー [4] の確率的アプローチおよび [12] の経路別比較技術を非一様設定に適応すること。
• 反射安定過程と遮断安定過程との関係を用いて調和測度推定を導出すること。

実験結果

リサーチクエスチョン

• RQ1 非一様なジャンプ核 $\kappa(x,y)$ を有する局所的分数階ラプラシアンに対して、正の調和関数が境界付近でどの程度の割合で減少するか？
• RQ2 ジャンプ強度 $\kappa$ が定数でないが滑らかでゼロから離れて有界な場合、一様な局所的分数階ラプラシアンに対する境界ハーナック不等式は拡張可能か？
• RQ3 領域 $D$ が $\overline{D} \subset G$ を満たし、$\kappa$ が非定数である場合、一様な場合の $\rho(x)^{\alpha/2}$ 減衰率は維持されるか？
• RQ4 リプシッツ域において、非一様設定下での局所的分数階ラプラシアンに対する境界ハーナック原理は確立可能か？

主な発見

• $1 < \alpha < \beta \leq 2$ で、$\kappa \in C^1(\overline{G} \times \overline{G})$ が正の定数で有界な $C^{1,\beta-1}$ 開集合 $G$ に対して、調和関数は $\partial G$ 付近で $\rho(x)^{\alpha-1}$ の割合で減少する。
• $0 < \alpha \leq \beta \leq 2$ で、$C^{1,\beta-1}$ 部分域 $D \subset \overline{D} \subset G$ に対して、調和関数は $\partial D$ 付近で $\rho(x)^{\alpha/2}$ の割合で減少する。
• [8] の手法と [18] の鋭い推定を用いて、非一様 $\kappa$ を有する局所的分数階ラプラシアンに対するカールソン推定を確立した。
• リプシッツ域において境界ハーナック不等式を証明し、$C^{1,1}$ を超えるより広いクラスの領域へ結果を拡張した。
• BHI の定数は領域の正則性、$\alpha$、$\beta$、$\kappa$ の有界性に依存するが、境界上の特定の位置には依存しない。
• 標準的な局所的分数階ラプラシアン（例：[12]）に対する既知のBHIを非一様設定に一般化し、遮断安定的過程のための統一的枠組みを提供した。