[論文レビュー] Optimal control of the bidomain system (IV): Corrected proofs of the stability and regularity theorems

Karl Kunisch, Marcus Wagner|arXiv (Cornell University)|Sep 24, 2014

Cardiac electrophysiology and arrhythmias参考文献 17被引用数 3

ひとこと要約

この論文は、心筋電気生理学における bidomain および monodomain 系の安定性および正則性定理を是正・精錬し、最適制御理論の厳密な基礎を確立する。先行研究における誤った証明を是正し、修正された解析に基づいて過去の最適化結果の妥当性を確認するとともに、bidomain モデルにイオン動態を含む制御問題における一次最適性条件を導出するために不可欠な改善された正則性推定を提供する。

ABSTRACT

In a series of papers on optimal control problems for the monodomain as well as for the bidomain equations of cardiac electrophysiology, the authors studied existence of minimizers and derived first-order necessary optimality conditions. The analysis of these control problems is based on a regularity discussion for weak solutions, resulting in a stability estimate and a uniqueness theorem for the monodomain and bidomain system, respectively. Unfortunately, the authors recognized a serious error within the proof of these theorems. However, the present investigation shows that the assertions from [Kunisch/Wagner 12] and [Kunisch/Wagner 13a] can be maintained (with minor changes only) while the proofs must be subjected to considerable alterations. As a consequence, the optimization theorems from [Kunisch/Wagner 13b] allow for substantial improvements. Therefore, in the present paper we provide a refined regularity discussion of the bidomain system together with corrected proofs.

研究の動機と目的

• 先行研究の証明に重大な誤りが含まれていたことが判明したため、bidomain および monodomain 系の弱解に関する安定性および正則性定理を是正・再確立すること。
• Kunisch & Wagner (2012, 2013a, 2013b) が得た過去の最適制御結果の妥当性を、洗練された正則性解析に基づく是正・厳密な証明によって回復すること。
• bidomain 系の正則性議論を完了させることを目的とし、特に制御問題の解析的枠組みを強化するための定理 1.5 の追加を行う。
• 補助系の解析および一次最適性条件が、是正された正則性仮定のもとで、特に Rogers-McCulloch、FitzHugh-Nagumo、線形化 Aliev-Panfilov ionic モデルに対して有効であることを保証すること。
• 心筋電気活動の最適制御のための是正・完全な理論的基盤を提供することにより、信頼性の高い数値シミュレーションおよび臨床応用を可能にすること。

提案手法

• 時間的・空間的正則性に注目した、bidomain および monodomain 系の弱解に対する洗練された正則性解析を実施する。特に、膜電位およびゲーティング変数の正則性を重点的に扱う。
• Kunisch & Wagner (2012) と同一の仮定のもとで、弱解の安定性推定を再証明するが、修正された関数解析的議論および改善されたエネルギー推定を用いる。
• 解の一意性および正則性は、洗練されたソボレフ埋め込みおよびトレース定理を用いて確立され、制御系および補助系と整合性を持つように保証される。
• 補助系は弱形式で導出され、マルチプライヤーおよび演算子（例：Q, P2）は、制御領域および状態制約と整合した変分形式によって定義される。
• 修正版の定理 4.2, 4.3, 4.5 を用いて最適性条件を再導出する。これにより、原始解および補助解の正則性が適切に反映される。
• 線形化 Aliev-Panfilov モデルへの応用を拡張し、修正された定理がこの場合にも変更なしに適用可能であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 過去の証明に欠陥が判明した後でも、bidomain および monodomain 系の安定性および正則性定理を、厳密に再証明することは可能か？
• RQ2 Kunisch & Wagner (2012, 2013a, 2013b) が得た過去の最適制御結果は、是正された証明および洗練された正則性仮定のもとで、依然として有効であるか？
• RQ3 bidomain 制御問題における一次最適性条件の有効性を保証するため、補助系に必要な追加の正則性特性は何か？
• RQ4 是正された解析が、monodomain および bidomain 系の文脈における補助方程式の構造および可解性にどのように影響するか？
• RQ5 Rogers-McCulloch、FitzHugh-Nagumo、線形化 Aliev-Panfilov などのイオンモデルを含めた場合、心筋電気生理学の最適制御理論の理論的基盤は保持されるか？

主な発見

• Kunisch & Wagner (2012) と同一の仮定のもとで、monodomain 系の弱解に対する安定性推定が、修正された関数解析的議論により厳密に再証明された。
• 弱解の一意性および正則性は、洗練されたエネルギー推定およびソボレフ埋め込み定理を用いて、monodomain および bidomain 系の両方で確立された。
• 修正された証明により、Kunisch & Wagner (2013b) の過去の最適性条件、特に定理 5.2 が正当化された。これには、修正版の定理 4.2, 4.3, 4.5 が根拠として用いられている。
• 補助系が一次最適性条件の導出に十分な正則性を有することを示した。特に、マルチプライヤーが所定の可積分性およびトレース条件を満たすことが確認された。
• 線形化 Aliev-Panfilov モデルへの応用が拡張され、修正された定理がこのイオンモデルに対しても変更なしに適用可能であることが確認された。
• 制御領域および補助形式が、是正された正則性フレームワークのもとで一貫性を保つことが分析により確認され、心筋モデルの最適制御理論の堅牢性が保証された。