[논문 리뷰] Optimal control of the bidomain system (IV): Corrected proofs of the stability and regularity theorems

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

Cardiac electrophysiology and arrhythmias참고 문헌 17인용 수 3

한 줄 요약

이 논문은 심장 전기생리학에서 이중체 및 단일체 시스템의 안정성과 정규성 정리들을 수정하고 정교화하여 최적 제어 이론의 엄밀한 기초를 구축한다. 이전 연구에서 발견된 오류가 있는 증명들을 수정하고, 보완된 분석을 통해 이전의 최적화 결과의 타당성을 확인하며, 이중체 모델에 이온 역학을 포함한 최적 제어 문제에서 일阶 최적성 조건을 도출하는 데 필수적인 향상된 정규성 추정치를 제공한다.

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.

연구 동기 및 목표

• 이중체 및 단일체 시스템의 약한 해에 대한 안정성과 정규성 정리들을 수정하고 재정립함으로써, 이전 증명에서 발견된 심각한 오류를 시정한다.
• 쿠니슈 및 웨이거(2012, 2013a, 2013b)의 이전 최적 제어 결과의 타당성을 복원하기 위해, 정교화된 정규성 분석에 기반한 수정된 엄밀한 증명을 제공한다.
• 이중체 시스템에 대한 정규성 논의를 완성하기 위해, 정규성 프레임워크를 강화하는 데 기여하는 정리 1.5를 추가한다.
• 특히 로저스-맥컬로우, 피츠휴-나구모, 선형화된 알iev-판피로프 이온 모델에 대해, 수정된 정규성 가정 하에 수반 시스템 분석과 일阶 최적성 조건이 그대로 유지됨을 보장한다.
• 이중체 모델에 대한 심장 전기 활동 최적 제어를 위한 수정된 완전한 이론적 기초를 제공함으로써, 신뢰할 수 있는 수치 시뮬레이션과 임상 적용을 가능하게 한다.

제안 방법

• 이중체 및 단일체 시스템의 약한 해에 대한 정교화된 정규성 분석을 수행하여, 복합 전압과 게이팅 변수의 시간 및 공간 정규성을 중점적으로 다룬다.
• 쿠니슈 및 웨이거(2012)의 가정과 동일한 조건 하에서 안정성 추정치를 재증명하지만, 수정된 함수해석학적 추론과 향상된 에너지 추정치를 사용한다.
• 유일성과 해의 정규성은 정교화된 소볼레프 포함 및 경계 정리에 기반하여 확립되며, 제어 및 수반 시스템과의 호환성을 보장한다.
• 수반 시스템은 약한 형태로 유도되며, 다중변수 및 연산자(Q, P2 등)는 제어 영역과 상태 제약 조건과 일치하는 변분 형식에 의해 정의된다.
• 수정된 제4.2, 제4.3, 제4.5 정리의 버전을 사용하여 최적성 조건을 재유도함으로써, 원래 해와 수반 해의 정규성 요건을 정확히 반영한다.
• 분석을 선형화된 알iev-판피로프 모델로 확장하여, 이 경우에도 수정된 정리가 수정 없이 적용됨을 확인한다.

실험 결과

연구 질문

• RQ1 이전 증명에서 오류가 발견된 이중체 및 단일체 시스템의 안정성과 정규성 정리들을 수정된 증명을 통해 엄밀하게 재증명할 수 있는가?
• RQ2 쿠니슈 및 웨이거(2012, 2013a, 2013b)의 이전 최적 제어 결과들이 수정된 증명과 정교화된 정규성 가정 하에서도 그 타당성을 유지하는가?
• RQ3 이중체 최적 제어 문제에서 일阶 최적성 조건의 타당성을 보장하기 위해 수반 시스템에 추가로 필요한 정규성 성질은 무엇인가?
• RQ4 수정된 분석은 단일체 및 이중체 시스템의 수반 방정식의 구조와 해법 가능성에 어떤 영향을 미치는가?
• RQ5 로저스-맥컬로우, 피츠휴-나구모, 선형화된 알iev-판피로프 이온 모델을 포함할 경우, 심장 전기생리학 최적 제어의 이론적 기초는 유지되는가?

주요 결과

• 쿠니슈 및 웨이거(2012)의 가정과 동일한 조건 하에서, 단일체 시스템의 약한 해에 대한 안정성 추정치가 수정된 함수해석학적 추론을 통해 엄밀하게 재증명되었다.
• 단일체 및 이중체 시스템의 약한 해에 대한 유일성과 정규성은 정교화된 에너지 추정치와 소볼레프 포함 정리에 기반하여 확립되었다.
• 수정된 증명은 쿠니슈 및 웨이거(2013b)의 이전 최적성 조건, 특히 제5.2 정리의 타당성을 확인하였으며, 이제 수정된 제4.2, 제4.3, 제4.5 정리에 기초한다.
• 수반 시스템이 일阶 최적성 조건 유도에 필요한 충분한 정규성을 갖는 것으로 밝혀졌으며, 다중변수들이 필요한 적분 가능성 및 경계 조건을 만족함을 보였다.
• 선형화된 알iev-판피로프 모델로의 분석 확장은 수정된 정리가 이 모델에 대해서도 수정 없이 적용됨을 확인하였다.
• 분석은 제어 영역과 수반 형식이 수정된 정규성 프레임워크 하에서도 일관됨을 확인하였으며, 이는 심장 모델에 대한 최적 제어 이론의 강건성을 보장한다.