[論文レビュー] On Lp -theory for parabolic and elliptic integro-differential equations with scalable operators in the whole space

R. Mikulevíčius, C. Phonsom|arXiv (Cornell University)|May 23, 2016

advanced mathematical theories参考文献 6被引用数 6

ひとこと要約

本稿は、全空間 $\mathbb{R}^d$ 上の $L_p$-空間における、スケーラブルで、非対称である可能性のある Lévy 済みを有する放物型および楕円型積分微分方程式の解の存在および一意性を確立する。関連する作用素と関連するベクトル場族の Hörmander 条件を検証し、Calderón–Zygmund 理論を適用することで、Lévy 済みにスケーリング性および可積分性の仮定を置いたもとで、解の $L_p$-推定を証明する。これは、分数的ソボレフ空間の結果を一般のスケーラブル作用素へと拡張するものである。

ABSTRACT

Elliptic and parabolic integro-differential model problems are considered in the whole space. By verifying Hörmander condition, the existence and uniqueness is proved in L_{p}-spaces of functions whose regularity is defined by a scalable, possibly nonsymmetric, Levy measure. Some rough probability density function estimates of the associated Levy process are used as well.

研究の動機と目的

• 全空間 $\mathbb{R}^d$ 上の、スケーラブルで、非対称である可能性のある Lévy 済みを有する放物型および楕円型積分微分方程式の $L_p$-理論を確立すること。
• 基準となる Lévy 済み $\pi_0$ を用いて定義される $L_p$-関数空間上での解の存在および一意性を証明すること。
• Lévy 済みにスケーリング性の条件が与えられたもとで、解の $L_p$-推定を一様に得ること。
• 分数的ラプラシアンに対する既知の結果を、確率論的および調和解析的道具を用いて、一般のスケーラブルな積分微分作用素へと拡張すること。

提案手法

• 積分微分作用素 $L^\pi$ に関連するベクトル場族に対して Hörmander 条件を検証し、作用素の擬微分性を保証する。
• Calderón–Zygmund 分解および最大関数の推定を用いて、弱型の境界を制御し、$L_p$-有界性を導出する。
• 核の衰減条件、特に核の非対角成分の衰減における並進不変性を含む条件 (5.5) を仮定することで、特異積分作用素の $L_p$-推定を適用する。
• 関連する Lévy プロセスの粗い密度推定を用いて、作用素の低正則性領域における挙動を制御する。
• スケーリング仮定 (仮定 D($\kappa,l$)) を用いて、記号 $\psi^\pi(\xi)$ を基準記号 $\psi^{\pi_0}(\xi)$ と比較し、スケール間での一様な制御を保証する。
• Lévy–Itô 積分による作用素の表現と $\chi_\sigma(y)$ を用いた切断を用いることで、非局所的特異性を制御された方法で取り扱う。

実験結果

リサーチクエスチョン

• RQ1 Lévy 済み $\pi$ がどのような条件下に、放物型初期値問題 $\partial_t u = Lu - \lambda u + f$ が $L_p$-関数空間上に一意解を有するか。
• RQ2 Lévy 済みがスケーラブルであるが、非対称的または回転対称的でない場合に、解の $L_p$-推定を確立できるか。
• RQ3 一般のスケーラブル Lévy 済みを有する非局所的作用素に対して Hörmander 条件はどのように適用され、擬微分性および正則性にどのような含意を持つのか。
• RQ4 Fourier乗数法が失敗するような非滑らか記号を有する非局所的作用素に対して、Calderón–Zygmund 理論をどの程度まで適応可能にすることができるか。
• RQ5 基準測度 $\pi_0$ が $L_p$-関数スケールを定義する上で果たす役割は何か。また、$\pi$ が $\pi_0$ に対してスケーリング可能であることは、解の推定にどのように影響を与えるか。

主な発見

• 本稿は、放物型問題 (1.1) および楕円型問題 (1.2) に対して、それぞれ $L_p$-関数空間 $\mathcal{H}_p^{\pi_0}(E)$ および $H_p^{\pi_0}(\mathbb{R}^d)$ 上での解の存在および一意性を証明する。
• スケーリング条件 (1.3) および $\pi$ の可積分性仮定のもとで、解の推定 $\|u\|_{\mathcal{H}_p^{\pi_0}} \leq C\|f\|_{L_p(E)}$ および $\|u\|_{H_p^{\pi_0}} \leq C\|g\|_{L_p(\mathbb{R}^d)}$ が成り立つ。
• 作用素 $L^\pi$ に関連するベクトル場族に対して Hörmander 条件が検証され、作用素の擬微分性が保証され、Calderón–Zygmund 理論の適用が可能になる。
• 標準的な Fourier 乗数理論の必要性を回避するために、記号 $\psi^\pi(\xi)$ が $\xi$ に関して滑らかでない場合にも本手法が適用可能である。
• 既知の分数的ラプラシアン $(-\Delta)^{\sigma/2}$ に対する $L_p$-推定結果が、より広いクラスのスケーラブルで、非対称である可能性のある非局所的作用素へと一般化される。
• 証明は Calderón–Zygmund 分解および弱型推定に依拠しており、関連する特異積分作用素の $L_p$-有界性を保証するための核の衰減条件 (5.5) が鍵となる。