[論文レビュー] Gaussian Estimates: A Brief History

D. G. Aronson|arXiv (Cornell University)|Jul 14, 2017

Gaussian Processes and Bayesian Inference被引用数 3

ひとこと要約

この論文は、有界で可測な係数をもつ2階線形放物型方程式の基本解に対する2面性ガウス型推定の歴史的発展をたどる。アロンソンは最小限の正則性のもとで真にガウス型の境界を確立したが、ファービスとストルックは後にナッシュのアイデアを直接応用し、ホルダー連続性とハルナックの不等式を結果として導出し、放物型PDEの基礎理論を統一的かつ簡素化した。

ABSTRACT

Two-sided Gaussian estimates for the fundamental solution of a second order linear parabolic differential equation are upper and lower bounds in terms of the fundamental solution of the classical heat conduction equation. In his seminal 1958 paper Nash stated, without proof, two-sided non-Gaussian bounds for the fundamental solution of a uniformly parabolic divergence structure equation assuming only boundedness of the coefficients. In his 1967-1968 papers Aronson derived truly Gaussian estimates for the fundamental solutions of a large class of linear parabolic equations (including the divergence structure equation) under minimal non-regularity assumptions on the coefficients. Subsequently in 1986 Fabes & Stroock derived Gaussian estimates for the divergence structure equation directly from the ideas of Nash and went on to prove Nash's continuity theorem and the Harnack inequality as a consequence of their estimate. In this note I describe these results together with various extensions.

研究の動機と目的

• 線形放物型方程式の基本解に対する2面性ガウス型推定の発展をたどること。
• ナッシュの未発表の境界が、その後アロンソンおよびファービス・ストルックによってどのように厳密に導出されたかを明確にすること。
• ガウス型推定がホルダー連続性やハルナックの不等式といった重要な正則性結果をどのように示すかを示すこと。
• 係数の正則性を最小限にした条件下で、発散型放物型方程式の理論的枠組みを統一すること。
• 構造的仮定(H)の下で、低次の項を含む一般の放物型方程式へのガウス型推定の拡張を試みること。

提案手法

• アロンソンの1967年論文に従い、エネルギー推定とハルナックの不等式を用いて2面性ガウス型推定を導出する。
• ナッシュのスケッチを再構成するため、彼のモーメント推定の洗練版と基本解の半群性質を用いる。
• デイビスのリーマン的距離技術を応用し、時間に依存しない係数の場合のガウス型推定の上界を鋭くする。
• 球の外部に台を持つ解に関する技術的補題を用いて、基本解の減衰を制御する。
• ナッシュの対数積分不等式と半群性質を用いて下界を確立する。
• ガウス型推定からホルダー連続性とハルナックの不等式を直接導出し、それらを前提条件ではなく結果とすること。

実験結果

リサーチクエスチョン

• RQ1 係数の滑らかさを仮定せずに、放物型PDEの基本解に対する2面性ガウス型推定をどのように導出できるか。
• RQ2 ナッシュの非ガウス型推定と、アロンソンおよびファービス・ストルックによるその後のガウス型推定との正確な関係は何か。
• RQ3 ハルナックの不等式とホルダー連続性を、中間段階ではなくガウス型推定から直接導出できるか。
• RQ4 係数に関する構造的仮定(H)が、ガウス型推定における定数にどのように影響するか。
• RQ5 ガウス型推定を、低次の項を含む方程式および時間に依存する係数をもつ方程式へどの程度まで拡張できるか。

主な発見

• 方程式(1)の基本解 $ \Gamma(x,t;\xi,\tau) $ に対して、定数 $ C $ が $ N, T $ および方程式の構造にのみ依存する形で、$ C^{-1}g_1(x-\tau,t-\tau) \leq \Gamma(x,t;\xi,\tau) \leq C g_2(x-\xi,t-\tau) $ の形の2面性ガウス型推定が、構造的仮定(H)のもとで成り立つ。
• 上界 $ \Gamma(x,t;\xi,\tau) \leq C(t-\tau)^{-N/2} $ は、モーメント推定と半群性質から導かれるが、ハルナックの不等式とは独立に得られる。
• 下界はナッシュの対数積分不等式と半群性質を用いて確立され、ガウス型の減衰構造が得られる。
• ファービスとストルックは、ガウス型推定が解のホルダー連続性とハルナックの不等式を両方とも導くことを示し、従来の論理的順序を逆転させた。
• 時間に依存しない係数で $ N \geq 3 $ の場合、ガウス型推定を統合すると $ K^{-1}|x-\xi|^{2-N} \leq G(x,\xi) \leq K|x-\xi|^{2-N} $ が得られ、古典的ポテンシャル理論の結果と一致する。
• 推定式における定数 $ \alpha_1, \alpha_2, C $ は、$ \nu, M, M_0, N, T $ および係数の可積分性構造にのみ依存し、点での滑らかさには依存しない。