[論文レビュー] $L^2$ well-posedness of boundary value problems for parabolic systems with measurable coefficients

Pascal Auscher, Moritz Egert+1 more|arXiv (Cornell University)|Jul 21, 2016

Advanced Mathematical Modeling in Engineering参考文献 47被引用数 24

ひとこと要約

本稿は、上半空間における時間に依存する可測係数をもつ2階放物型系の境界値問題について、境界における放物型ディラック作用素に基づく新規の1階戦略を導入することで、$L^2$における適切性を確立する。主な貢献は、最小限の正則性仮定の下で、平方関数の推定、非接続的最大関数の制御、および層関数の可逆性を証明することであり、すべての変数に可測係数をもつこのような放物型作用素のカトウ平方根問題を解決する。

ABSTRACT

Compared to v1, 15 more pages with thorough reorganisation of some proofs and additional new uniqueness results, role of the signum operator and connections to layer potentials. New title.

研究の動機と目的

• 時間を含むすべての変数に依存する可測係数をもつ2階放物型系のディリクレ問題、ノイマン問題、および正則性問題について、$L^2$における適切性を確立すること。
• 従来、楕円型系に用いられてきた1階戦略を放物型設定に拡張し、非局所的半階数時間微分の課題を克服すること。
• すべての変数に可測係数をもつ作用素の放物型カトウ平方根問題を解き、作用素の平方根の定義域が形式的定義域と一致することを証明すること。
• 可測係数をもつ系について、$L^2$-型ソボレフ空間における層関数理論を構築し、その可逆性を証明すること。
• 係数の時間不変性を仮定する必要があった従来の結果を一般化し、放物型境界値問題の可解理論における主要な制限を除去すること。

提案手法

• 2階放物型作用素に関連する1階系をモデル化するため、境界における放物型ディラック作用素を導入する。
• 放物型系の1階還元を用いて、境界値問題をコーシー＝リーマン型方程式系に再定式化する。
• $T(b)$定理とカトウ予想の解決を用いて、摂動された放物型ディラック作用素のリゾルベント推定と2次形式推定を確立する。
• 平方関数制御と双対性の議論を用いて、逆ヒルダー推定および非接続的最大関数推定を証明する。
• 作用素$PM$の有界な正則関数計算を用いて、平方関数推定および層関数の可逆性を導出する。
• 分数的ソボレフ空間および放物型ダブリング構造の詳細な分析を通じて、半階数時間微分の非局所性を丁寧に取り扱う。

実験結果

リサーチクエスチョン

• RQ1 時間を含むすべての変数に依存する可測係数をもつ放物型系について、時間不変性を仮定せずに、$L^2$における適切性を確立できるか？
• RQ2 可測な時間依存性に起因する非局所的半階数時間微分を扱うために、放物型ディラック作用素に基づく1階戦略をどのように適応できるか？
• RQ3 すべての変数に可測係数をもつ作用素の放物型カトウ平方根問題は、解けるか？
• RQ4 可測係数をもつ放物型系の層関数が、最小限の正則性仮定の下で$L^2$-型ソボレフ空間で可逆であることを示せるか？
• RQ5 このような系の解を特徴づける、正確な平方関数推定および非接続的最大関数推定は何か？

主な発見

• 本稿は、上半空間における時間に依存する可測係数をもつ放物型系について、$L^2$における適切性を初めて証明する。
• 作用素の平方根の定義域が形式的定義域と一致することを示し、すべての変数に可測係数をもつ放物型作用素のカトウ平方根問題を解決する。
• 自然な関数空間における解について、平方関数推定および非接続的最大関数推定を証明し、非接続的最大関数や平方関数を含む関数空間が含まれる。
• 単一層関数および二重層関数の$L^2$-型ソボレフ空間における可逆性が確立され、ディリクレ問題、ノイマン問題、正則性問題の解法が可能になる。
• $PM$作用素の有界な正則関数計算が、$p=2$に近い$L^p$空間へ拡張され、事前制御による平方関数推定が得られる。
• 理論は円柱型領域および重み付きの退化放物型方程式へ拡張され、重み付き$L^p$推定およびさらなる一般化への道筋が示唆される。