[논문 리뷰] Linear systems with persistent memory: An overview of the biblography on controllability

Luciano Pandolfi|arXiv (Cornell University)|2018. 04. 05.

Stability and Controllability of Differential Equations참고 문헌 72인용 수 7

한 줄 요약

이 논문은 기억 효과를 갖는 선형 시스템에 대한 가속성 결과를 종합적으로 검토한다. 기억 효과는 메모리 커널 $ N(t) $ 와 $ C_0 $-반군의 생성자 $ A $ 를 포함하는 적분미분방정식으로 모델링된다. 주요 기여는 이동하는 제어를 고려할 때의 가속성 성질 분석으로, 특히 지수적 메모리 커널의 경우, 제어 영역이 공간적으로 적절히 이동하면 제로로의 가속성과 정지 상태로의 가속성이 달성 가능하다는 것을 보여준다.

ABSTRACT

We discuss the bibliography on control problems for systems with persistent memory

연구 동기 및 목표

• 지속적 기억을 갖는 선형 시스템의 기존 문헌을 조사하고 체계화하는 것, 특히 메모리 커널을 포함하는 적분미분방정식에 의해 지배되는 시스템에 초점을 맞춘다.
• 기억 효과가 있는 시스템이 영가속성과 정지 상태로의 가속성을 달성할 수 있는지 조사한다. 특히 제어가 이동하는 공간 영역에 적용될 경우를 고려한다.
• 정규성과 인과성 제약 조건으로 인해 정확한 가속성이 불가능한 이유를 규명하며, 특히 열방정식과의 비교를 통해 분석한다.
• 기억 효과가 있는 시스템에서 제로로의 가속성이 불가능한 이유를 이동 제어의 역할을 통해 분석한다. 특히 (CG) 및 (GP) 시스템과 같은 모델에 대해 고려한다.
• 특히 지수적으로 감쇠하는 메모리 커널에 대해, 제로로의 가속성이 정지 상태로의 가속성을 유도하는 조건을 설정한다.

제안 방법

• 시스템의 상태공간 기반 접근법을 사용하여 반군 이론을 적용하여, 과거 전체 역사를 상태의 일부로 포함하는 무한차원 형태로 원래 방정식을 재구성한다.
• 시스템은 제2종 볼테라 적분방정식으로 모델링되며, 메모리 커널 $ N(t) $ 는 $ k \geq 1 $ 에 대해 $ C^k $ 라고 가정하고, $ \alpha = 0 $ 일 경우 $ N(0) > 0 $ 이다.
• 논문은 반군과 적분 연산자를 통한 해의 표현을 활용하며, 특히 공식 $ w(t) = \int_0^t N(t-s) \int_0^s N'(s-r) w(r) \, dr \, ds $ 를 통해 정규성과 가속성 성질을 분석한다.
• 가속성은 제어 영역 $ \omega(t) \subseteq \Omega $ 가 시간에 따라 변하는 부분집합에만 작용하는 이동 제어 영역을 통해 연구된다.
• 분석은 (CG) 모델(열형)과 (GP) 모델(파형)을 구분하며, 각각 다른 목표 상태를 갖는다: (GP)의 경우 이동과 속도, (CG)의 경우 온도와 열역학적 유량이다.
• 논문은 [44, 47, 48, 49]의 반례를 활용하여, 기억 효과가 있는 시스템이 열방정식의 제로로의 가속성 성질을 그대로 이어받는다는 추측을 반박한다.

실험 결과

연구 질문

• RQ1 기억 효과가 있는 시스템이 이동하는 공간 영역에 제어를 적용할 경우 영가속성을 달성할 수 있는가?
• RQ2 기억 효과가 있는 시스템에서 제로로의 가속성이 정지 상태로의 가속성을 유도하는가? 특히 지수적 커널의 경우에 대해 고려한다.
• RQ3 기억 효과가 있는 시스템에서 정확한 가속성이 불가능한 이유는 무엇이며, 이는 열방정식과 어떻게 비교되는가?
• RQ4 해가 시간 $ T $ 이후에 식별적으로 0이 되도록 보장하기 위해 메모리 커널 $ N(t) $ 과 제어 영역 $ \omega(t) $ 에 어떤 조건이 필요한가?
• RQ5 무한차원 과거 역사를 포함하는 상태공간 공식화가 정확한 가속성 가능성을 어떻게 영향을 주는가?

주요 결과

• 기억 효과가 있는 시스템에서 제로로의 가속성은 열방정식으로부터 유전되지 않는다. [44, 47, 48, 49]의 반례는 $ w(T) = 0 $ 과 $ \int_0^T N(T-s)w(s)\,ds = 0 $ 이면 $ t > T $ 에서도 해가 0이 되는 것으로 추측하는 것을 반박한다.
• 지수적 메모리 커널 $ N(t) = e^{-\beta t} $ 의 경우, 제로로의 가속성이 정지 상태로의 가속성을 유도한다. 기억의 구조로 인해 해는 $ T $ 이후에도 0을 유지한다.
• 제어 영역 $ \omega(t) $ 가 도메인 $ \Omega $ 전체를 덮도록 이동할 경우, (GP) 모델에서 상태 $ (w(T), w'(T), \int_0^T N(T-s)\nabla w(s)\,ds) $ 의 영가속성이 달성된다.
• 동일한 이동 제어 조건 하에서 (CG) 모델에서도 상태 $ (w(T), \int_0^T N(T-s)\nabla w(s)\,ds) $ 의 영가속성이 달성된다.
• 해 $ w(t) $ 는 열방정식 해와 동일한 정규성을 갖는다: 제곱-integrable 이지만 반드시 연속적이지는 않다. 이로 인해 정확한 가속성이 불가능하다.
• 경계 제어를 통해 모든 $ T > 0 $ 에 대해 $ L^2(\Omega) $ 에서의 근사 가속성이 가능하며, 정규성 부족으로 인해 정확한 가속성이 실패하더라도 가능하다.