[논문 리뷰] Minimal time for the exact controllability of one-dimensional first-order linear hyperbolic systems by one-sided boundary controls

Long Hu, Guillaume Olive|arXiv (Cornell University)|2019. 01. 17.

Stability and Controllability of Differential Equations참고 문헌 11인용 수 13

한 줄 요약

이 논문은 단일 경계에서만 제어가 가능한 1차원 선형 초구형 시스템을 정확히 제어하기 위해 필요한 최소 시간에 대한 명시적이고 계산 가능한 공식을 수립한다. 이 방법은 시스템의 새로운 UL-분해와 컴actness-유일성 방법에 기반하며, 최소 시간이 시스템의 결합 매개변수와 고유값 구조에 명시적으로 의존함을 보여준다.

ABSTRACT

In this article we study the minimal time for the exact controllability of one-dimensional first-order linear hyperbolic systems when all the controls are acting on the same side of the boundary. We establish an explicit and easy-to-compute formula for this time with respect to all the coupling parameters of the system. The proof relies on the introduction of a canonical $UL$-decomposition and the compactness-uniqueness method.

연구 동기 및 목표

• 모든 제어가 단일 경계에만 작용할 때 1차원 선형 초구형 시스템의 정확한 경계 제어 가능성을 위한 최소 시간을 결정하는 것.
• 이 최소 시간에 대한 명시적이고 계산 가능한 공식을 유도하여 시스템의 결합 매개변수와 고유값 구조에 의존하도록 하는 것.
• 제어가 단일 경계에만 적용되는 조건 하에서 최소 시간을 확립하여 초구형 시스템의 결합성과 관련된 핵심 과제를 해결하는 것.
• UL-분해와 컴actness-유일성 방법을 기반으로 한 새로운 분석 프레임워크를 개발하여 제어 가능 시간 문제를 해결하는 것.

제안 방법

• 시스템 계수 행렬의 표준 UL-분해를 도입하여 동역학을 분리하고 제어 가능성 분석을 단순화한다.
• 컴actness-유일성 방법을 적용하여 제어 문제를 쌍대 시스템에서의 유일성 문제로 환원한다.
• 행렬 값 함수 $\Psi^k(x)$를 통한 변환을 구성하여 결합 구조를 대각화하고 비필수적인 결합을 제거한다.
• 결합 행렬 $\widetilde{M}$이 $\widetilde{M}^k(x) = \partial_x \Lambda^k(x)$를 만족하는 변환된 시스템을 유도하여 명시적 시간 계산을 가능하게 한다.
• 고유값 $\lambda_i(x)$의 구조를 활용하며, 여기서 $p$개는 음수이고 $m$개는 양수이며, 동일한 고유값은 전역적으로 일치한다고 가정한다.
• 변수 변화를 통해 원래 시스템과 변환된 시스템 간의 등가성을 확립하여 제어 가능성 성질을 유지한다.

실험 결과

연구 질문

• RQ1 모든 제어가 단일 경계에만 작용할 때 1차원 선형 초구형 시스템을 정확히 제어하기 위해 필요한 최소 시간은 얼마인가?
• RQ2 특히 행렬 $M(x)$와 경계 결합 $Q$를 포함한 시스템의 결합 매개변수가 최소 제어 가능 시간에 어떻게 영향을 미치는가?
• RQ3 최소 제어 가능 시간을 시스템의 구조적 매개변수에만 의존하는 명시적이고 계산 가능한 공식으로 표현할 수 있는가?
• RQ4 UL-분해는 특성 속도가 혼합된 초구형 시스템의 제어 가능성 분석을 어떻게 단순화하는가?
• RQ5 컴actness-유일성 방법은 이 맥락에서 최소 시간 추정의 정밀도를 확보하기 위해 어떻게 작용하는가?

주요 결과

• 최소 제어 가능 시간에 대한 명시적 공식이 도출되었으며, 이는 고유값 $\lambda_i(x)$, 결합 행렬 $M(x)$, 경계 결합 $Q$에만 의존한다.
• 최소 시간은 영역을 가로질러 특성 파동이 전파되는 최대 시간에 의해 결정되며, UL-분해를 통해 결합 구조에 의해 조정된다.
• 최소 시간은 유한하고 영이 아닌 양수이며, PDE를 풀지 않고도 시스템 매개변수로부터 직접 계산 가능하다.
• 같은 고유값이 전역적으로 일치한다는 가정 하에 성립하며, 이는 일관된 분해의 존재를 보장한다.
• 컴actness-유일성 방법은 쌍대 문제에서의 유일성 증명을 통해 시간 추정의 정밀도를 성공적으로 확립한다.
• $\Psi^k(x)$를 통한 변환은 변환된 시스템의 결합 행렬 $\widetilde{M}$이 $\Lambda$의 도함수와 일치함을 보장하여 분석을 단순화한다.