[논문 리뷰] Minimal time control of exact synchronization for parabolic systems

Lijuan Wang, Qishu Yan|arXiv (Cornell University)|2018. 03. 01.

Stability and Controllability of Differential Equations참고 문헌 16인용 수 3

한 줄 요약

이 논문은 선형 포아송 시스템에서 정확한 동기화를 위한 최소 시간 제어의 필수 및 필요 조건을 수립하며, 최적 제어가 존재하는 것은 제어 노름이 초기 상태에 의존하는 임계 임계값을 초월할 경우에만 가능하다는 것을 증명한다. 주요 기여는 포아송 PDE에 대한 상태 제약 조건을 고려한 시간 최적 제어 프레임워크를 통해 최소 시간 제어와 최소 노름 제어 문제 사이의 이중성 기반 특성화를 제공하는 것이다.

ABSTRACT

This paper studies a kind of minimal time control problems related to the exact synchronization for a controlled linear system of parabolic equations. Each problem depends on two parameters: the bound of controls and the initial state. The purpose of such a problem is to find a control (from a constraint set) synchronizing components of the corresponding solution vector for the controlled system in the shortest time. In this paper, we build up a necessary and sufficient condition for the optimal time and the optimal control; we also obtain how the existence of optimal controls depends on the above mentioned two parameters.

연구 동기 및 목표

• 유계 제어를 가진 선형 포아송 시스템에서 정확한 동기화를 위한 최소 시간 제어 문제를 다루기.
• 시스템의 구성 요소를 가능한 한 빨리 동기화하는 최적 제어의 존재성과 특성화를 규명하기.
• 포아송 시스템에서 최소 시간 제어와 최소 노름 제어 문제 사이의 이중성 수립하기.
• 초기 상태와 제어 한계에 기반한 최적 제어 존재성에 대한 필요 및 충분 조건 유도하기.
• 최적 시간과 제어가 초기 상태와 제어 노름 제약 조건에 어떻게 의존하는지 분석하기.

제안 방법

• 도메인의 부분영역에서 분포형 제어를 가지며 딜레르흐 경계 조건을 갖는 선형 포아송 시스템에 대한 최소 시간 제어 문제를 수립한다.
• 제어 제약 집합 $\mathcal{U}_M$ 을 $L^2$-노름이 $M > 0$ 이하가 되도록 정의하고, 모든 구성 요소가 동일한 상태인 동기화 상태 집합 $S$ 를 목표 집합으로 정의한다.
• 성분 간의 차이를 나타내는 연산자 $D$ 를 도입하여 $D\bm{y} = \bm{0}$ 이 정확한 동기화를 특성화한다.
• 이중성 이론을 적용하여 최소 시간 제어 문제를 초기 자료 $D\bm{y}_0$ 를 갖는 변환된 시스템 $\bm{z}_t - \Delta \bm{z} + A\bm{z} = \chi_\omega B\bm{u}$ 에 대한 최소 노름 제어 문제와 연결한다.
• 폰트리아긴의 최대 원리와 시간 역전 기법을 활용하여 최소 시간 문제의 최적성 조건을 도출한다.
• 함수 $N(T, \bm{y}_0)$ 을 통해 최소 시간 문제의 최적 제어와 최소 노름 문제의 최적 제어 간의 동치성을 수립한다. 여기서 $N(T, \bm{y}_0)$ 은 시간 $T$ 이내에 동기화를 달성하기 위해 필요한 최소 $L^2$-노름을 나타낸다.

실험 결과

연구 질문

• RQ1 주어진 제어 한계 하에서 포아송 시스템의 정확한 동기화를 위한 최소 시간 제어가 존재하는 조건은 무엇인가?
• RQ2 최적 시간은 초기 상태와 제어 노름 제약 조건에 어떻게 의존하는가?
• RQ3 포아송 시스템의 맥락에서 최소 시간 제어와 최소 노름 제어 간의 관계는 무엇인가?
• RQ4 최소 시간 문제의 최적 제어는 최소 노름 제어 문제와의 이중성에 의해 특성화될 수 있는가?
• RQ5 동기화를 위한 최적 제어의 존재를 보장하는 제어 노름 $M$ 의 정확한 임계값은 무엇인가?

주요 결과

• 최적 시간 $T(M, \bm{y}_0)$ 이 유한한 것은 $M > M(\bm{y}_0)$ 인 경우에만 성립하며, 여기서 $M(\bm{y}_0)$ 은 동기화를 달성하기 위해 필요한 최소 $L^2$-노름이다.
• 최소 시간 문제에 대한 최적 제어가 존재하는 것은 제어 노름 $M$ 이 초기 상태 $\bm{y}_0$ 에 따라 결정되는 임계값 $M(\bm{y}_0)$ 을 초월할 경우에만 가능하다.
• $(TP)_M^{\bm{y}_0}$ 에 대한 최적 제어 $\bm{u}^*$ 는 $\|\bm{u}^*\|_{L^2(0,\infty;L^2(\Omega)^m)} = N(T(M, \bm{y}_0), \bm{y}_0)$ 를 만족하며, 이는 최소 시간 문제와 최소 노름 문제 사이의 연결 고리를 나타낸다.
• 최적 시간 $T(M, \bm{y}_0)$ 는 $T(M, \bm{y}_0) = T(N(T(M, \bm{y}_0), \bm{y}_0), \bm{y}_0)$ 를 만족하며, 이는 시간 최소화와 노름 최소화 간의 자기 일관성 있는 이중성 특성을 보여준다.
• 최적 제어 $\bm{u}^*$ 는 $(0, T(M, \bm{y}_0))$ 내에서 양의 측도를 갖는 집합에서 비영이므로, 동기화 과정 전반에 걸쳐 제어가 활성화되어 있음을 확인한다.
• 문제는 잘 정의되어 있다: $M > M(\bm{y}_0)$ 이면 $T(M, \bm{y}_0) > 0$ 이고, 최적 제어는 유일하며 변환된 시스템의 최소 노름 제어에 의해 특성화된다.