[論文レビュー] Differential Equations in Metric Spaces with Applications

Rinaldo M. Colombo, Graziano Guerra|ArXiv.org|Dec 4, 2007

Stability and Controllability of Differential Equations被引用数 4

ひとこと要約

本稿は、構成的オイラー多角形近似フレームワークを用いて、より弱い仮定の下で完備な距離空間における微分方程式の局所的well-posednessを確立する。解の存在、一意性、連続的依存性を証明し、非局所的源を持つバランス法則、Hille-Yosidaの定理、作用素分割、最適な可換性条件を満たす熱方程式への応用を拡張する。

ABSTRACT

This paper proves the local well posedness of differential equations in metric spaces under assumptions that allow to comprise several different applications. We consider below a system of balance laws with a dissipative non local source, the Hille-Yosida Theorem, a generalization of a recent result on nonlinear operator splitting, an extension of Trotter formula for linear semigroups and the heat equation.

研究の動機と目的

• 従来の研究よりも弱い仮定の下で、距離空間における微分方程式の局所的well-posednessを確立すること。
• 距離空間における非線形作用素分割およびLie-Trotter積公式に関する既存の結果を一般化すること。
• 距離空間における微分方程式の応用を、散逸的非局所源を持つバランス法則へ拡張すること。
• より高い正則性と収束見積もりを備えた、オイラー多角形近似を用いた構成的フレームワークを提供すること。
• 反例を用いて、フレームワークにおける可換性条件の最適性を証明すること。

提案手法

• 完備な距離空間 $ (X,d) $ 上での局所フローの定義を用い、時間および状態変数におけるリプシッツ連続性を要請する。
• オイラー $ \varepsilon $-多角形近似を、小さな時間間隔における局所フロー写像の合成として定義する。
• オイラー近似のリプシッツ連続性と、正確な解への一様収束性を確立する。
• 一様なバウンディングと連続性モジュラスを活用した反復近似による構成的証明を適用する。
• dyadic分割における極限プロセスを用いて、グローバルなプロセス $ P(t,t_0)u $ を定義し、接線性および半群性質を保証する。
• オイラー近似と正確な解との誤差に関するキーテクニカル補題を用い、連続性モジュラスの積分によって誤差が有界であることを示す。

実験結果

リサーチクエスチョン

• RQ1 距離空間における微分方程式が、どのような弱い条件下で局所的well-posedであると示せるか？
• RQ2 線形性を要件としない距離空間において、オイラー多角形近似をどのようにして解を構成するのに用いることができるか？
• RQ3 作用素分割における収束に関して、距離空間における最適な可換性条件は何か？
• RQ4 このフレームワークは、非局所的で散逸的源を持つバランス法則へ拡張可能か？
• RQ5 提案手法は、非線形設定におけるHille-Yosidaの定理およびLie-Trotter積公式をどのように一般化するか？

主な発見

• 局所フローが存在する限り、距離空間における微分方程式のコーシー問題は局所的well-posedである。解はオイラー多角形近似によって構成される。
• オイラー $ \varepsilon $-多角形近似と正確な解との差は、$ \frac{2L^2}{\ln 2} \cdot t \int_0^\Delta \frac{\omega(\xi)}{\xi} d\xi $ によって有界であり、ここで $ \omega $ は連続性モジュラスである。
• 構成されたプロセス $ P(t,t_0)u $ は $ u $ に関して一様リプシッツ連続であり、$ (t,t_0) $ に関して連続であり、半群性質 $ P(t_2,t_1)P(t_1,t_0)u = P(t_2,t_0)u $ を満たす。
• 可換性条件 (2.7) は最適であり、第2.1節の反例により、その不成立が収束の不成立を引き起こすことが示された。
• このフレームワークは、熱方程式、Hille-Yosidaの定理、対角優勢な非局所源を持つバランス法則へ拡張可能であり、[12]の一般化を含む。
• 条件 (C) を満たすヒルバート空間の凸閉部分集合に対して、射影写像は二次誤差バウンディングを満たす：$ \| \Pi(\Pi(u+\tau v)+\tau' v) - \Pi(u+(\tau+\tau')v) \| \leq K \|v\| \tau \tau' $。