[論文レビュー] Heat Equation With a Geometric Rough Path Potential in One Space Dimension: Existence and Regularity of Solution

H.-J. Kim, Sergey V. Lototsky|arXiv (Cornell University)|Dec 21, 2017

Advanced Mathematical Modeling in Engineering参考文献 4被引用数 3

ひとこと要約

本稿は、幾何学的粗いパス理論を用いて、ホルダー連続関数から導かれる分布値のポテンシャルを有する1次元熱方程式の解の存在および正則性を確立する。正則化手法とストラトノビッチ型積 $ u\dot{W} $ の解釈を用いて、解が空間で $ C^{1+\alpha} $、時間で $ C^{(1+\alpha)/2} $ のホルダー正則性を有することを証明する。これは、古典的放物型理論と比較して空間で1階微分の損失、時間で半分の微分の損失と一致する。

ABSTRACT

A solution of the heat equation with a distribution-valued potential is constructed by regularization. When the potential is the generalized derivative of a Hölder continuous function, regularity of the resulting solution is in line with the standard parabolic theory.

研究の動機と目的

• ホルダー連続関数 $ \alpha \in (0,1) $ の $ W $ から導かれる分布値のポテンシャル $ \dot{W} $ を有する1次元熱方程式の解の存在および正則性を厳密に確立すること。
• 一般化関数である $ \dot{W} $ の場合に生じる積 $ u\dot{W} $ の解釈の曖昧さを、幾何学的粗いパス（GRP）理論を用いて解消すること。
• 解が古典的放物型理論と比較して空間で1階微分、時間で半分の微分の損失を示すことを示し、空間で $ C^{1+\alpha} $、時間で $ C^{(1+\alpha)/2} $ の正則性を達成すること。
• $ W $ を滑らかな関数 $ W^{(\varepsilon)} $ で近似することにより、古典的および一般化されたGRP解を定義・解析し、適切なノルムで収束を保証すること。
• 変数係数を有するより一般的な放物型方程式および非ゼロのディリクレ境界条件または一般境界条件への結果の拡張を検討すること。

提案手法

• 幾何学的粗いパス理論を用いて、$ u\dot{W} $ の積を解釈し、$ W $ が不規則であっても $ \int_0^x W(s)\dot{W}(s)ds = \frac{1}{2}W^2(x) $ といった古典的微積分の法則の有効性を保証すること。
• 正則化された方程式の解 $ u^{(\varepsilon)} $ の極限として解を構成し、$ W^{(\varepsilon)} $ を $ W $ の滑らかな近似とし、$ \dot{W}^{(\varepsilon)} \in L_\infty $ となるようにすること。
• 弱解に対して変分（一般化）形式を用い、近似の $ L^\infty $ 収束のもとで $ L^2 $-型ノルムでの収束を確立すること。
• 演算子 $ \mathbf{L} $ に対してスペクトル理論を適用し、純粋離散スペクトルで $ \lambda_k \sim k^2 $ の固有値を持つことを示し、固有関数展開により基本解を構成すること。
• 基本GRP解を $ \mathfrak{p}(t,x,y) = e^{-\int_0^x W(s)ds} \mathfrak{p}_W(t,x,y) e^{\int_0^y W(s)ds} $ として明示的に与える。ここで $ \mathfrak{p}_W $ は正則化された方程式の基本解である。
• 変数変換 $ u(t,x) = v(t,x)\exp\left(-\int_{L_1}^x W(s)ds\right) $ を適用し、粗いポテンシャル問題を滑らかな係数を持つ標準的な放物型方程式に還元すること。

実験結果

リサーチクエスチョン

• RQ1 ホルダー連続関数 $ \alpha \in (0,1) $ の $ W $ を有する粗いポテンシャル $ \dot{W} $ を有する熱方程式に対して、古典的解が存在しうるか。その正則性はどのようなものか？
• RQ2 時間パラメータを持たない状況において、$ \dot{W} $ が一般化関数である場合に積 $ u\dot{W} $ をどのように解釈すべきか？
• RQ3 幾何学的粗いパスポテンシャルを有する熱方程式の解は、空間で1階微分、時間で半分の微分の損失に一致する正則性を示すか？
• RQ4 正則化による一般化解は、$ W $ の近似に対して安定的か。また、両者が存在する場合、古典的解と一致するか？
• RQ5 変数係数、非ゼロのディリクレ境界条件、または周期的境界条件を有する方程式へも結果を拡張可能か？

主な発見

• ホルダー連続関数 $ \alpha \in (0,1) $ の $ W $ を有する粗いポテンシャル $ \dot{W} $ を有する熱方程式の古典的GRP解は、空間で $ C^{1+\alpha} $、時間で $ C^{(1+\alpha)/2} $ の正則性を有することが示された。これは期待される正則性損失と一致する。
• 一般化GRP解は正則化された方程式の解の極限として構成され、近似 $ W^{(\varepsilon)} $ の $ L^\infty $ 収束のもとで $ L^2 $-型ノルムで収束が成立する。
• 基本GRP解は $ \mathfrak{p}(t,x,y) = e^{-\int_0^x W(s)ds} \mathfrak{p}_W(t,x,y) e^{\int_0^y W(s)ds} $ として明示的に与えられ、ここで $ \mathfrak{p}_W $ は正則化された方程式の基本解である。
• 演算子 $ \mathbf{L} $ の固有値 $ \lambda_k $ は $ \lambda_k \sim k^2 $ を満たし、固有関数 $ \mathfrak{m}_k $ は $ L^2((0,\pi)) $ において正規直交基底をなすため、解のスペクトル表現が可能となる。
• 古典的GRP解が存在する場合、それは一般化GRP解と一致し、両者の定式化の整合性が保証される。
• 変数係数 $ a,b,c,f $ を有する方程式および一般境界条件への拡張は可能であるが、標準的放物型理論を越える追加の解析を要する。