[論文レビュー] Local properties of solutions to non-autonomous parabolic PDEs with state-dependent delays

Alexander V. Rezounenko|arXiv (Cornell University)|Apr 6, 2011

Stability and Controllability of Differential Equations参考文献 18被引用数 3

ひとこと要約

本稿は、同時的な状態依存遅れ（離散的およびStieltjes積分による分布型）を有する非-autonomous放物型PDEに対して、局所的解の存在、一意性、不変性の原則を確立する。主な貢献は、状態依存遅れによる非Lipschitz性の課題を克服するための新規な枠組みを導入したことである。この枠組みにより、遅れの種類の動的切り替えが可能となり、数学的生物学および物理学における柔軟なモデルの厳密な解析が可能となる。

ABSTRACT

A wide class of non-autonomous nonlinear parabolic partial differential equations with delay is studied. We allow in our investigations different types of delays such as constant, time-dependent, state-dependent (both discrete and distributed) to be presented simultaneously. The main difficulties arise due to the presence of discrete state-dependent delays since the nonlinear delay term is not Lipschitz on the space of continuous functions. We find conditions for the local existence, uniqueness and study the invariance principle.

研究の動機と目的

• 非-autonomous放物型PDEにおける離散的状態依存遅れ（SDD）から生じる非Lipschitz非線形性の課題に対処すること。
• 同時に離散的および分布型SDDを有するPDEのための統一的枠組みを構築し、解に沿って遅れの種類と値が動的に変化することを許容すること。
• 特に生物学的および物理的モデルにおける正性保存ダイナミクスを対象として、SDDを有するPDEへの不変性原理の拡張を行うこと。
• 複雑で柔軟な遅れ構造を有する系における解の漸近的および定性的性質を研究する理論的基盤を提供すること。

提案手法

• 遅れ項 $ B(t, u_t) = G(t, u(0), F(t, u_t)) $ を有する非-autonomous放物型PDEを定式化し、ここで $ F(t, \rho) $ は離散的および分布型SDDを組み合わせたStieltjes積分である。
• well-posednessを保証するため、遅れカーネル $ g $ に構造的仮定 (A1)–(A5) を課し、状態依存性および正則性を含む。非Lipschitz性にもかかわらず、これにより解の適切な定義が可能となる。
• Banach空間 $ X $ における弱解を定義するために、$ -A $ が生成する $ C_0 $-半群 $ \{T(t)\} $ を用い、$ \|T(t)\| \leq e^{\omega t} $ を満たす。
• 区間 $[a-r, b]$ 上の連続関数空間における不動点定理を用い、Gronwallの不等式および一様コーシー列を活用して、存在性および一意性を証明する。
• 閉凸集合 $ K \subset X $（例えば $ K = [0,\infty)^m $）が動的条件下で不変であることを示すために、接線条件 $ \lim_{h \to 0^+} \frac{1}{h} d(\varphi(0) + hB(t,\varphi); K) = 0 $ を検証する。
• Lebesgue-Fatouの補題および $ F_d $ の連続性を用いて、反復スキームにおける遅れ項の収束を制御し、近似列の一様収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 非-autonomous放物型PDEに同時に離散的および分布型状態依存遅れを有する場合、どのように局所的解の存在および一意性を確立できるか？
• RQ2 解が与えられた凸不変集合（例：非負解）にとどまるための遅れカーネル $ g $ および非線形関数 $ G $ に必要な条件は何か？
• RQ3 状態依存離散遅れに起因する非Lipschitz遅れ項を有するPDEに対して、不変性原理をどのように拡張できるか？
• RQ4 遅れの値および種類（離散的 vs. 分布型）が状態に依存するという性質が、解の正則性および解の延長性にどのように影響するか？
• RQ5 Stieltjes積分の定式化が、離散的および分布型SDDを統一し、遅れの種類間での動的切り替えを可能にする役割は何か？

主な発見

• 本稿では、遅れ項が $ C $ 上で非Lipschitzであっても、混合状態依存遅れを有する非-autonomous放物型PDEに対して、弱解の局所的解の存在および一意性を証明する。
• 新規な不変性原理が確立された：半群が閉凸集合 $ K $ を保存し、ベクトル場が接線条件を満たすならば、解は $ K $ 内にとどまり、生物学的モデルにおける非負性を保証する。
• 標準的な延長論法により、解の存在区間が最大区間 $[a, b)$ で保証され、近似列 $ \{w^n\} $ が $[a-r, \sigma] $ 上で一様収束することが示された。
• 証明は、近似の差を表す列 $ \{v^n\} $ がGronwallの不等式およびLebesgue-Fatouの補題を用いて一様コーシー列であることを示すことに依存し、遅れ項の制御がなされている。
• 主な技術的洞察として、仮定(A5)のもとでは、遅れ関数 $ F_d $ が $ t \in [a, \sigma] $ において初期データ $ \varphi $ のみに依存することを示し、これにより $ F_d(\gamma^n(s), w^{n}_{\gamma^n(s)}) $ の一様収束が可能となる。
• 本結果は、SDDを有するPDEへの古典的不変性理論を拡張し、柔軟で状態依存的なダイナミクスを有する系における漸近的挙動および安定性の研究のための基盤を提供する。