[論文レビュー] Backward uniqueness for parabolic operators with non-Lipschitz coefficients

Daniele Del Santo, Christian Jäh+1 more|Osaka City University (Osaka City University)|Apr 29, 2014

Advanced Mathematical Modeling in Engineering参考文献 19被引用数 6

ひとこと要約

本稿では、Littlewood-Paley理論とBonyの準積分を用いて負のSobolev空間におけるCarleman推定を確立することにより、時間および空間で非Lipschitz係数をもつ放物型作用素に対して後向き一意性を確立する。主な結果は、時間正則性がOsgoodモジュラスに従い、空間正則性が関連するモジュラスに従う係数に対しても一意性を拡張し、空間でLipschitz連続またはHölder連続を要する従来の結果を改善する。

ABSTRACT

In this paper we study the backward uniqueness for parabolic equations with non-Lipschitz coefficients in time and space. The result presented here improves an old uniqueness theorem due to Lions and Malgrange [Math. Scand. ${\bf 8}$ (1960), 277--286] and some more recent results of Del Santo and Prizzi [J. Math. Pures Appl. ${\bf 84}$ (2005), 471--491; Ann. Mat. Pura Appl., to appear].

研究の動機と目的

• 空間でLipschitz連続でない係数をもつ放物型作用素に対する後向き一意性の結果を拡張すること。
• 時間および空間変数の両方で正則性を欠く場合の一意性理論におけるギャップを埋めること。
• 空間で$ C^2 $ やLipschitz正則性を要する従来の結果を改善し、弱い空間正則性を許容すること。
• 係数に対する最小限の正則性仮定の下で、空間$ \mathcal{H} = L^2([0,T],H^2) \cap H^1([0,T],L^2) $ における一意性を確立すること。
• Osgood型モジュラスを通じて時間と空間の正則性条件を統一し、時間正則性を変換された空間モジュラスに結びつけること。

提案手法

• 前人研究から適応された重み関数を用いた、$ s \in (0,1) $ における負のSobolev空間 $ H^{-s} $ におけるCarleman推定の使用。
• 解を二進周波数ブロック $ v_q $ に分解するためのLittlewood-Paley分解の適用により、局所的解析を可能にする。
• 作用素における係数と微分の積を取り扱うためにBonyの準積分分解の使用。
• 連続性モジュラス $ \mu $ の性質を用いて、低周波数および高周波数分解に起因する誤差項の推定。
• $ \mu $-正則性および補間推定を用いて、$ \Delta_q $ と係数 $ a_{jk} $ の交換子項の制御。
• 周波数局所化推定を統合し、グローバルなCarleman不等式を導出し、エネルギー型制御により一意性を導く。

実験結果

リサーチクエスチョン

• RQ1 係数が空間でLipschitz連続でない場合でも、時間が正則な場合に後向き一意性を確立できるか？
• RQ2 時間正則性がOsgoodモジュラスに従う場合に、空間で必要な最小正則性は何か？
• RQ3 時間と空間の正則性の相互作用をどのように形式化すれば、Lipschitz条件を超えた一意性を拡張できるか？
• RQ4 非滑らか係数を扱うために、負のSobolev空間におけるCarleman推定を構築できるか？
• RQ5 変換 $ \omega(s) = \sqrt{\mu(s^2)} $ は、一意性証明における時間と空間正則性の関連付けにどのような役割を果たすか？

主な発見

• 本稿では、$ \mu $ がOsgood条件 $ \int_0^1 \frac{1}{\mu(s)}ds = \infty $ を満たすとき、係数 $ a_{jk} \in C^\mu([0,T],L^\infty) \cap L^\infty([0,T],C^\omega) $ をもつ放物型作用素に対して後向き一意性を証明する。
• 空間正則性 $ C^\omega $ はLipschitzより弱く、$ \omega(s) = \sqrt{\mu(s^2)} $ により、係数が空間で非Lipschitzであっても許容される。
• 証明は、$ s \in (0,1) $ における $ H^{-s} $ でのCarleman推定に依拠し、$ \gamma $ に依存する重み関数 $ \Phi $ を用いる。周波数局所化により最適化される。
• 推定は、解を二進周波数ブロック $ v_q $ に分解し、各ブロックの時間発展を準積分推定および交換子項の境界で制御することにより導出される。
• 最終的なCarleman不等式は、解の $ L^2 $-ノルムを低次の項と重み依存の強制項で制御し、一意性を導く。
• Del SantoとPrizziの先行研究（空間で $ C^2 $ またはLipschitz正則性を要した）を改善し、空間正則性を $ C^\omega $ にまで弱める。ここで $ \omega $ は時間モジュラス $ \mu $ に依存する。