[論文レビュー] Dirichlet Heat Kernel Estimates for Subordinate Brownian Motions with Gaussian Components

Zhen-Qing Chen, Panki Kim+1 more|arXiv (Cornell University)|Mar 26, 2013

Nonlinear Partial Differential Equations参考文献 22被引用数 4

ひとこと要約

本稿は、$\mathbb{R}^d$ 内の $C^{1,1}$ 開集合において、ガウス成分を有する部分従属ブラウン運動のディリクレ熱核について、鋭い両側推定を確立する。境界ハーナック原理とリーヴィ系手法を活用することで、有界領域におけるすべての $t > 0$ に対して明示的な境界が得られ、純粋に不連続な過程の先行結果を、一般の部分従属子を有する混合拡散・ジャンプ過程へと拡張する。

ABSTRACT

In this paper, we derive explicit sharp two-sided estimates for the Dirichlet heat kernels, in C^{1,1} open sets D in R^d, of a large class of subordinate Brownian motions with Gaussian components. When D is bounded, our sharp two-sided Dirichlet heat kernel estimates hold for all t>0. Integrating the heat kernel estimates with respect to the time variable t, we obtain sharp two-sided estimates for the Green functions, in bounded C^{1,1} open sets, of such subordinate Brownian motions with Gaussian components.

研究の動機と目的

• ガウス成分とジャンプ成分を併せ持つ部分従属ブラウン運動の鋭い両側ディリクレ熱核推定を拡張すること。
• すべての $t > 0$ に対して、有界な $C^{1,1}$ 開集合において、境界付近の混合拡散・ジャンプダイナミクスに起因する課題を克服し、このような推定を確立すること。
• 時間積分により熱核を統合することで、対応する鋭いグリーン関数推定を導出すること。
• 純粋に不連続な過程（例：安定過程）に関する先行結果を、拡散的およびジャンプ的挙動を併せ持つ過程へ一般化すること。
• 完全バーチャル・スケーリング関数と零近傍における制御されたリーヴィ測度を有する一般の部分従属子に対して、熱核推定の統一的枠組みを提供すること。

提案手法

• 正のドリフトと完全バーチャル・スケーリング関数を有する部分従属子 $S_t$ を用い、そのラプラス指数が $\phi(\lambda) = \lambda + \psi(\lambda)$ となるように定式化する。ここで $\psi$ は部分従属子のラプラス指数である。
• 標準ブラウン運動 $B$ が $S$ と独立であると仮定し、$X_t = B_{S_t}$ として従属ブラウン運動を構成する。これにより無限小生成作用素 $\mathcal{L}^X = \Delta - \psi(-\Delta)$ が得られる。
• リーヴィ系表現を用いてジャンプダイナミクスを記述し、リーヴィ密度を $J(x) = \int_0^\infty (4\pi t)^{-d/2} e^{-|x|^2/(4t)} \mu(t) dt$ と定義する。ここで $\mu$ は部分従属子のリーヴィ測度である。
• $C^{1,1}$ 領域における $\Delta + \Delta^{\alpha/2}$-型作用素に対する境界ハーナック原理を適用し、調和関数の境界減衰率を制御する。
• 時間・空間パス統合を用いて熱核推定を導出し、時間積分を $t$ と $|x-y|^2$ の相対的スケールに基づく領域に分割する。
• スケーリングおよび比較論法を用い、関数 $u_0 = \delta_D(x)\delta_D(y)/|x-y|^2$ を介して、次元 $d=1,2,d\geq3$ の各場合において、積分を一様に評価する。

実験結果

リサーチクエスチョン

• RQ1 $C^{1,1}$ 領域におけるガウス成分とジャンプ成分を有する部分従属ブラウン運動のディリクレ熱核について、鋭い両側推定は何か？
• RQ2 境界挙動および退出時間分布は、このようなハイブリッド過程における熱核推定にどのように影響を与えるか？
• RQ3 混合ガウス成分およびジャンプ成分を有する非局所作用素に対し、境界ハーナック原理を拡張可能か？
• RQ4 熱核は境界からの距離および空間的分離 $|x-y|$ に対して、どのように依存するか？
• RQ5 時間積分により熱核を統合した場合、グリーン関数の推定はどのように導かれるか？

主な発見

• 有界な $C^{1,1}$ 開集合において、ガウス成分を有する広範なクラスの部分従属ブラウン運動について、すべての $t > 0$ に対して鋭い両側ディリクレ熱核推定が確立された。
• 推定は明示的であり、境界からの距離 $\delta_D(x)$, $\delta_D(y)$、および空間的距離 $|x-y|$ に依存し、$d \geq 3$ では $\asymp \left(1 \wedge \frac{\delta_D(x)}{\sqrt{t}}\right)\left(1 \wedge \frac{\delta_D(y)}{\sqrt{t}}\right) \left(t^{-1} \wedge \frac{t}{|x-y|^4}\right)$ の形をとる。低次元では調整が施されている。
• $d=2$ の場合、熱核推定は $\asymp \log\left(1 + \frac{\delta_D(x)\delta_D(y)}{|x-y|^2}\right)$ で有界であり、対数的境界減衰を反映している。
• $d=1$ の場合、推定は $\asymp \left(\delta_D(x)\delta_D(y)\right)^{1/2} \wedge \frac{\delta_D(x)\delta_D(y)}{|x-y|}$ とスケーリングされ、境界付近で平方根依存性を示している。
• 時間積分により熱核を統合すると、有界な $C^{1,1}$ 領域におけるグリーン関数についても、時間統合領域において熱核と同じ関数的形を有する鋭い両側推定が得られる。
• リーヴィ測度の正則性を保証するための成長条件 $\mu(r) \leq c\mu(2r)$（$r \in (0,K)$）を満たす場合に、境界ハーナック原理が適用可能となる。