[論文レビュー] Estimates of potential kernel and Harnack's inequality for anisotropic fractional Laplacian

Krzysztof Bogdan, Paweł Sztonyk|ArXiv.org|Jul 27, 2005

Nonlinear Partial Differential Equations参考文献 23被引用数 7

ひとこと要約

本稿では、非等方的分数ラプラシアンに対するハルナックの不等式が成り立つための鋭い特徴付けを、Lévy測度νが相対カトウ条件（RK）を満たす場合に限って成り立つことを示している。著者らは、ポテンシャル核と半群の推定を導出し、単位球面上でのポテンシャル核の連続性および有界性が、Lévy測度における特定の同次性および可積分性条件と同値であることを示している。ここでRK条件は、非局所作用素におけるハルナック型挙動の臨界閾値として機能する。

ABSTRACT

We characterize those homogeneous translation invariant symmetric non-local operators with positive maximum principle whose harmonic functions satisfy Harnack's inequality. We also estimate the corresponding semigroup and the potential kernel.

研究の動機と目的

• 非等方的分数ラプラシアン作用素のクラスにおいてハルナックの不等式が成り立つ条件を特徴づけること。
• 単位球面S^{d−1}上でポテンシャル核Vが連続または有界となるようなLévy測度νに関する鋭い条件を確立すること。
• 翻訳不変かつ同次的非局所作用素の文脈において、相対カトウ条件（RK）がハルナックの不等式に対して必要かつ十分であることを証明すること。
• Lebesgue測度に関して絶対連続性の仮定を排除することで、既存の結果を拡張すること。
• このような作用素の境界ポテンシャル理論におけるポテンシャル核とポアソン核の特異性の関係を明確にすること。

提案手法

• 著者らは、指数α ∈ (0,2) における対称的かつ同次のLévy測度νと関連する畳み込み半群の生成子として非等方的分数ラプラシアンAを定義する。
• 相対カトウ条件（RK）を導入する：すべてのy ∈ ℝ^dに対して ∫_{B(y,1/2)} |y−v|^{α−d} ν(dv) ≤ K ν(B(y,1/2)) が成り立つ。これはνの局所的バランスを制御する。
• Aのダイニキン型の最大原理を用いて、単位球のグリーン関数G(x,v)の推定を行い、その特異性が|v−x|^{α−d}と同程度であることを示す。
• 池田・渡辺の公式を適用し、ポアソン核P(x,y)をグリーン関数およびポテンシャル核と関連づけ、特異性の強さがRK条件に依存することを示す。
• 主要定理の証明には、被覆論法と、[43]の技術を非絶対連続測度に適応した半群{P_t}の等方的推定を用いる。
• 極座標と球面上のスペクトル測度μを用いて、RK条件をμに関する可積分性条件、例えばd−α>1のとき ∫_{B_{ξ,r}} (|η−ξ|/r)^{α−(d−1)} μ(dη) ≤ c μ(B_{ξ,r}) として特徴づける。

実験結果

リサーチクエスチョン

• RQ1 Lévy測度νがどのような条件下で、非等方的分数ラプラシアンAに対してハルナックの不等式が成り立つか。
• RQ2 νの同次性および可積分性を用いて、単位球面S^{d−1}上でのポテンシャル核Vの連続性または有界性の正確な閾値は何か。
• RQ3 相対カトウ条件の不成立が、特にポアソン核およびグリーン関数に及ぼす境界ポテンシャル理論への影響は何か。
• RQ4 νがLebesgue測度に関して絶対連続であると仮定しない場合、ハルナックの不等式を球面上のスペクトル測度μのみを用いて特徴づけられるか。
• RQ5 γ-測度条件における厳密性仮定がハルナックの不等式の成立を保証するために果たす役割は何か。

主な発見

• 非等方的分数ラプラシアンAに対してハルナックの不等式が成り立つのは、Lévy測度νが相対カトウ条件（RK）を満たす場合に限る。
• d > α かつ単位球面上でνがγ-測度でγ > d−2αであるならば、ポテンシャル核Vは単位球面上で連続である。
• ポテンシャル核Vが単位球面上で有界であるならば、νは球面上で(d−2α)-測度でなければならない。これは、有界性の鋭い閾値がd−2αであることを示している。
• 単位球のグリーン関数G(x,v)は極点において|v−x|^{α−d}と同程度の特異性を示し、この特異性はRK条件によって直接制御される。
• d=2 かつ α>1 の場合、相対カトウ条件は常に満たされるため、この場合ハルナックの不等式は条件なしに成り立つ。
• d=2 かつ α=1 の場合、RK条件は ∫_{B_{ξ,r}} log(2r/|η−ξ|) μ(dη) ≤ c μ(B_{ξ,r}) と同値であり、対応する対数的可積分性基準を提供する。