[논문 리뷰] Finite-Time Stabilization Of Systems Of Conservation Laws On Networks

Vincent Perrollaz, Lionel Rosier|arXiv (Cornell University)|2013. 02. 23.

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

한 줄 요약

이 논문은 네트워크 상의 1차원 비선형 포텐셜 하이퍼볼릭 시스템에 대해 비-Lipschitz 경계 피드백 법칙을 사용하여 유한 시간 안정화 전략을 제시한다. 해석이 작은 Lipschitz 연속 초기 데이터를 가진 해는 고정된 점근적 방법과 에너지 추정을 통해 유한 시간 내에 원점에 도달함을 증명한다. 양쪽 경계가 제어되는 경우 약 $1/c$의 시간, 한쪽 경계만 제어되는 경우 약 $2/c$의 시간이 소요된다.

ABSTRACT

We investigate the finite-time boundary stabilization of a 1-D first order quasilinear hyperbolic system of diagonal form on [0,1]. The dynamics of both boundary controls are governed by a finite-time stable ODE. The solutions of the closed-loop system issuing from small initial data in Lip([0,1]) are shown to exist for all times and to reach the null equilibrium state in finite time. When only one boundary feedback law is available, a finite-time stabilization is shown to occur roughly in a twice longer time. The above feedback strategy is then applied to the Saint-Venant system for the regulation of water flows in a network of canals.

연구 동기 및 목표

• 네트워크 상의 1차원 비선형 포텐셜 하이퍼볼릭 시스템에 대해 유한 시간 안정화를 확립하기 위해.
• 파동 방정식의 유한 시간 소멸 성질을 더 일반적인 하이퍼볼릭 시스템과 리만 불변량으로 확장하기 위해.
• 유한 시간 안정인 ODE 기반의 경계 피드백 법칙을 설계하여 평형 상태로의 빠른 수렴을 보장하기 위해.
• 수로 네트워크에서 물 흐름 조절을 위한 세인트-베나탕 시스템의 안정화를 분석하기 위해.
• 초기 데이터에 대한 최소한의 정규성 조건 하에서 해의 존재성, 유일성 및 유한 시간 감쇠를 증명하기 위해.

제안 방법

• 리만 불변량 $u$와 $v$를 사용하여 비선형 하이퍼볼릭 시스템을 대각형 형태로 변환하기 위해.
• 비-Lipschitz 경계 피드백 법칙 적용: $\frac{d}{dt}u(t,0) = -K \text{sgn}(u(t,0))|u(t,0)|^\gamma$ 와 유사하게 $v(t,1)$에 대해서도 적용하며, $K>0$, $\gamma \in (0,1)$이다.
• 리만 불변량의 공간에서 리만 불변량의 연속성과 에너지 추정을 기반으로 한 고정점 정리(Schauder의 정리)를 사용하여 해의 존재성과 유일성을 증명하기 위해.
• 해의 성장 억제 및 유한 시간 감쇠 보장을 위해 에너지 추정을 적용하기 위해.
• 결합 조건을 이용하여 나무 구조의 수로 네트워크에 대해 유도법을 통해 결과를 확장하기 위해.
• 유한 시간 안정성 분석을 위해 확장 연산자 $\Pi$를 사용하여 해를 주기적으로 확장하고 리만 불변량의 리만 연속성을 유지하기 위해.

실험 결과

연구 질문

• RQ1 비-Lipschitz 경계 피드백 법칙을 사용할 때 1차원 비선형 하이퍼볼릭 시스템의 대각형 형태에 대해 유한 시간 안정화를 달성할 수 있는가?
• RQ2 해가 이러한 피드백 법칙 하에서 원점에 도달하는 데 필요한 최소 시간은 얼마이며, 이는 시스템 매개변수에 어떻게 의존하는가?
• RQ3 양쪽 경계가 제어되는 것과 한쪽 경계만 제어되는 경우의 유한 시간 안정화 행동은 어떻게 다른가?
• RQ4 이 전략은 세인트-베나탕 방정식으로 제어되는 수로 네트워크와 같은 네트워크 시스템으로 확장될 수 있는가?
• RQ5 초기 데이터와 시스템 구조에 어떤 조건이 성립할 경우 평형 상태로의 유한 시간 수렴이 보장되는가?

주요 결과

• 양쪽 경계가 제어되는 폐쇄형 시스템의 해는 유한 시간 내에 존재하며, $\text{Lip}([0,1])$ 내의 작은 초기 데이터에 대해 약 $T \approx 1/c$의 시간에 사라진다.
• 한쪽 경계만 제어되는 경우, 파동 반사 및 전파 지연로 인해 유한 시간 안정화가 약 두 배의 시간, $T \approx 2/c$에 걸려 발생한다.
• 유한 시간 안정화는 형태 $\dot{u} = -K \text{sgn}(u)|u|^\gamma$의 비-Lipschitz 피드백 법칙을 통해 달성되며, 이는 경계에서 ODE 역학의 유한 시간 수렴을 보장한다.
• 해의 존재성과 유일성은 Schauder의 고정점 정리와 리만 연속 함수 공간 내 에너지 추정을 통해 증명된다.
• 유도법을 통해 나무 구조의 수로 네트워크에 대해 네트워크 깊이에 따라 결과를 확장하여 각 결합점에서의 유한 시간 감쇠를 보장한다.
• 개방 수로 흐름을 위한 세인트-베나탕 시스템이 이 피드백 전략을 통해 유한 시간 안정화 가능하다는 것이 입증되었으며, 이는 물 수위와 유량의 신속한 조절을 가능하게 한다.