심장 모델 근사 시스템의 균일 영 제어 가능성 연구

논문은 먼저 심장 조직의 전기활동을 기술하는 기존의 bidomain 모델(1.1)을 소개하고, 전도성 텐서 M_i, M_e와 전위 차이 v=u_i−u_e를 이용해 두 개의 결합된 파라볼릭 방정식으로 표현한다. 이 모델은 복잡한 ODE‑PDE 결합을 포함하지만, 전류 입력이 동일하고 M_i와 M_e가 비례할 경우, 보다 단순한 mono‑domain 모델(1.4)로 축소된다. mono‑domain 모델은 하나의 파라볼릭 방정식과 하나의 타원 방정식으로 구성되며, 제어 이론적으로는 파라볼릭‑타원형 결합이 새로운 도전 과제를 제공한다. 연구자는 ε∈(0,1]을 도입해 mono‑domain 모델을 ε가 0에 접근함에 따라 파라볼릭‑파라볼릭 시스템(1.5)으로 근사한다. ε가 양수일 때는 두 방정식 모두 시간 미분을 포함하므로 기존의 Carleman 기반 제어 기법을 적용할 수 있다. 그러나 ε→0⁺일 때 두 번째 방정식은 타원형으로 변하고, 제어 입력이 첫 번째 방정식에만 작용하므로 관측 가능성 상수가 ε에 따라 발산할 위험이 있다. 이에 대한 핵심 질문(Question 1.1)은 “ε>0인 경우에 존재하는 영 제어 입력 f_ε가 ε→0⁺일 때 수렴하여 원래 mono‑domain 시스템을 영 제어할 수 있는가?”이다. 이를 해결하기 위해 저자들은 다음과 같은 단계적 접근을 취한다. 1. **선형화**: 비선형 시스템(1.5)을 a(t,x)·v 형태의 선형 항으로 근사한 (1.6)을 고려한다. 2. **Adjoint 시스템**: (1.6)의 힐베르트 공간 쌍대 문제로 adjoint 시스템(1.7)을 도출한다. 여기서 ϕ와 ϕ_e는 각각 첫 번째와 두 번째 방정식의 관측 변수이며, 결합 항이 div(M_i∇ϕ_e) 형태로 나타난다. 3. **관측 가능성 부등식**: (1.8) 형태의 균일 관측 가능성 부등식을 증명한다. 이를 위해 두 개의 가중 함수 φ와 α를 정의하고, ε에 대한 정밀한 스케일링을 포함한 Carleman 부등식을 구축한다. 4. **Carleman 추정**: Theorem 2.1에서 제시된 (2.1) 부등식은 ϕ와 ρ=div(M∇ϕ_e)에 대한 전역적인 L² 추정을 제공한다. 여기서 핵심은 ε⁻¹ 항이 포함된 에너지 부등식을 적절히 결합해 상수가 ε에 독립적임을 보이는 것이다. 5. **선형 시스템 영 제어**: 균일 관측 가능성으로부터 HUM 원리를 적용해 Theorem 2.3을 증명한다. 즉, 모든 ε∈(0,1]에 대해 단일 제어 f_ε∈L²(ω×(0,T))가 존재하여 (v_ε,u_ε)를 시간 T에 영 상태로 만든다. 제어 비용은 ‖f_ε‖_{L²} ≤ C(‖v₀‖_{L²}+ε‖u₀‖_{L²}) 형태로 ε에 균일하게 제한된다. 6. **비선형 시스템 영 제어**: h가 전역 Lipschitz인 경우와 작은 초기 데이터에 대해 각각 Theorem 2.4를 증명한다. 선형 제어를 기반으로 고정점 이론을 적용해 비선형 항 h(v)·v를 처리한다. 여기서도 제어 비용이 ε에 독립적인 상수 C에 의해 제한된다. 논문은 또한 기존 문헌과의 관계를 상세히 논한다. 비선형 파라볼릭 시스템의 제어에 대한 연구(