[論文レビュー] Perturbations of Functional Inequalities for Lévy Type Dirichlet Forms

Xin Chen, Feng‐Yu Wang+1 more|arXiv (Cornell University)|Mar 29, 2013

Spectral Theory in Mathematical Physics参考文献 1被引用数 5

ひとこと要約

本稿は、非局所的 Lévy 型ディリクレ形式における超ポincareおよび弱ポincare不等式の摂動結果を確立し、従来の拡散型結果を拡張する。ポテンシャル摂動のための鋭い成長条件を提示し、ジャンプ範囲が有限の場合、結果は古典的な拡散設定に一般化されるが、無限大のジャンプ範囲では根本的に異なる挙動を示し、明示的な例とレート関数の鋭さによって最適性が示されている。

ABSTRACT

Perturbations of super Poincaré and weak Poincaré inequalities for Lévy type Dirichlet forms are studied. When the range of jumps is finite our results are natural extensions to the corresponding ones derived earlier for diffusion processes; and we show that the study for the situation with infinite range of jumps is essentially different. Some examples are presented to illustrate the optimality of our results.

研究の動機と目的

• 拡散過程から非局所的 Lévy 型ディリクレ形式への関数不等式の摂動理論を拡張すること。
• 超ポincareおよび弱ポincare不等式がポテンシャル摂動のもとで保たれる十分条件を確立すること。
• 特に無限大ジャンプ範囲の場合に、弱ポincare不等式におけるレート関数の鋭さを特定すること。
• 有界でない摂動下での挙動が、非局所的設定と局所的（拡散）設定とで根本的に異なることを示すこと。
• 導出された条件およびレート関数の最適性を示す明示的な例を提供すること。

提案手法

• ポリッシュ空間 $ (E,d) $ にボレル確率測度 $ \mu $ を持ち、有限の2階モーメント条件を満たす非負の核 $ q(x,y) $ を備えた設定で分析が行われる。
• ディリクレ形式 $ \mathscr{E}(f,g) $ はジャンプ型生成子 $ \Gamma(f,g)(x) = \int_E (f(x)-f(y))(g(x)-g(y)) q(x,y) \mu(\mathrm{d}y) $ を用いて定義され、$ \rho $-有界関数の空間 $ \mathscr{A} $ を定義域とする。
• ポテンシャル摂動 $ V $ が導入され、$ \mu_V(\mathrm{d}x) = e^{V(x)} \mu(\mathrm{d}x) $ であり、$ \mu(e^V) = 1 $ を満たす。これにより摂動されたディリクレ形式 $ \mathscr{E}_V $ が得られる。
• 主な技術は、$ V $ の成長条件を用いたスペクトルギャップおよび減衰率の推定であり、特に $ \tilde{K}_{n,k}(V) $、$ \tilde{Z}_n(V) $、および尾確率 $ \mu_V(\rho > n) $ の評価が行われる。
• 証明は、$ \mathscr{E}_V(f_n) $ と分散 $ \mathrm{Var}_{\mu_V}(f_n) $ を制御できるようなテスト関数 $ f_n \in C^\infty(\mathbb{R}^m) $ の構成に依存し、これによりレート関数の境界が導出される。
• 鋭さは背理法により確立される：より小さいレート関数を仮定すると、$ f_n $ の分散の成長と矛盾が生じる。特に $ \phi(r) \to \infty $ の場合に顕著である。

実験結果

リサーチクエスチョン

• RQ1 非局所的 Lévy 型ディリクレ形式における超ポincareおよび弱ポincare不等式は、拡散過程と比較してどのように摂動に反応するか？
• RQ2 非局所的設定において弱ポincare不等式が成立するためのポテンシャル $ V $ の鋭い成長条件は何か？
• RQ3 ジャンプ範囲が無限大の場合、弱ポincare不等式におけるレート関数 $ \beta_V(r) $ は導出された形を超えて改善可能か？
• RQ4 関数 $ \phi(r) $ がポテンシャル $ V(x) = \varepsilon \log(1+|x|) + \phi(|x|) + K_0 $ に果たす役割は何か？なぜ $ \phi(r) \uparrow \infty $ となる有界でない関数に置き換えると不等式が破綻するのか？
• RQ5 ジャンプ範囲が無限大か有限かに応じて、摂動されたディリクレ形式の挙動はどのように根本的に異なるか？

主な発見

• 条件 $ -s\varepsilon\log(1+|x|) - K \leq V(x) \leq (1-s)\varepsilon\log(1+|x|) + K $、$ \varepsilon \in [0,\alpha) $、$ s \in [0,1] $、$ \mu(e^V) = 1 $ のもとで、$ \mathscr{E}_V $ に対して弱ポincare不等式が成立し、レート関数は $ \beta_V(r) = C(1 + r^{-\varepsilon/(α - (1-s)\varepsilon)}) $ である。
• $ s = 0 $ の場合、レート関数 $ \beta_V(r) $ は鋭い：もし $ \lim_{r \to 0} r^{\varepsilon/(α - \varepsilon)} \beta_V(r) = 0 $ ならば、弱ポincare不等式は成立しない。
• ポテンシャルの境界における定数 $ K $ は、$ \phi(r) \uparrow \infty $ となる有界でない関数に置き換えることはできない。そうでないと、弱ポincare不等式は破綻する。たとえ $ \mu(e^{\varepsilon\log(1+|\cdot|) + \phi(|\cdot|)}) < \infty $ であっても同様である。
• $ V(x) = \varepsilon\log(1+|x|) + \phi(|x|) + K_0 $ の場合、テスト関数 $ f_n $ の分散は $ \mathrm{e}^{\phi(n)} / n^{\alpha - \varepsilon} $ のように成長する。これは仮定されたレート関数と矛盾し、その最適性を示している。
• 結果は、古典的な拡散過程への摂動理論を非局所的 Lévy 型生成子へ拡張するものであり、非局所的設定ではチェインルールが存在しないという点が主な違いを生じさせている。
• レート関数の鋭さは、$ \beta_V(r) $ が速く減衰する場合に不等式が破綻することを示す関数列 $ f_n $ の構成により確認される。これにより、導出された成長条件の必要性が示されている。