비자율 측정 구동 적분미분 방정식의 정확 제어 가능성 연구

초록

본 논문은 비자율 연산자와 측정 구동 적분미분 방정식에 비국소 초기조건을 부여한 시스템의 정확 제어 가능성을 조사한다. 측정 비콤팩트성 이론과 Mönch 고정점 정리를 이용해, 선형 부분의 진화 연산자가 콤팩트일 필요 없이 충분조건을 제시한다.

상세 분석

본 연구는 비자율(non‑autonomous) 연산자 군 {A(t)}와 측정 구동 적분항 ∫₀ᵗΔ(t,s)ζ(s)ds, 그리고 측정 d h(t)·δ(t,ζ(t))가 포함된 적분미분 방정식 (1.2)의 정확 제어 가능성을 분석한다. 기존 문헌에서는 주로 A가 시간에 독립적인 경우나, 선형 부분의 진화 연산자 U(t,s)가 콤팩트성을 가정한 상황에 한정되었으나, 저자들은 이러한 가정을 완전히 제거하고, 대신 resolvent 연산자 R(t,s)의 측정 비콤팩트성(hausdorff measure of noncompactness)과 Mönch 고정점 정리를 활용한다. 핵심 아이디어는 다음과 같다. 첫째, Grimmer가 제시한 resolvent 연산자 이론을 확장하여, A(t)와 Δ(t,s)의 연속성 및 안정성(C1–C3) 조건 하에 R(t,s)가 존재하고 norm‑continuous임을 보인다. 둘째, R(t,s)와 연관된 진화 연산자 S(t,s) 사이의 관계를 이용해, 비국소 초기조건 ζ(0)+g(ζ)=ζ₀를 포함한 mild solution을 integral 형태로 정의한다. 셋째, 비국소 연산자 g와 비선형 항 δ가 만족해야 할 Lipschitz‑type 조건을 설정하고, 이때 발생하는 연산자 집합이 bounded 및 equiregulated임을 증명한다. 넷째, 이러한 집합에 대해 Hausdorff 비콤팩트성 λ를 계산하면, λ(Φ(B))≤k·λ(B) 형태의 수축성을 확보할 수 있다(여기서 Φ는 제어와 비선형 항을 포함한 연산자). 마지막으로, Mönch 정리를 적용해 Φ가 고정점을 갖는다는 것을 보임으로써, 주어진 목표 상태로 정확히 이동할 수 있는 제어 u∈L²(I,K)의 존재를 증명한다. 논문은 또한 h(t)가 bounded variation을 갖는 경우 무한히 많은 불연속점을 허용함으로써 Zeno 현상 모델링이 가능함을 강조한다. 전체적으로, 선형 부분의 콤팩트성 가정을 없애고, 측정 비콤팩트성 및 Mönch 정리를 통한 새로운 접근법을 제시함으로써 기존 결과들을 일반화·강화한다.