[논문 리뷰] Boundary exponential stabilization of 1-D inhomogeneous quasilinear hyperbolic systems

Long Hu, Rafael Vázquez외 2명|arXiv (Cornell University)|2015. 12. 11.

Stability and Controllability of Differential Equations참고 문헌 14인용 수 29

한 줄 요약

이 논문은 일차원 비균질 비선형 초구형 시스템에 대해 백스테핑 기반 경계 피드백 제어 설계를 제안하며, $H^2$ 노름에서 국소적 지수 안정성을 달성한다. 비선형 볼테라 변환을 구성하고 리아푸노프 함수를 사용하여, 다중 경계 피드백 제어기가 작은 초기 자료에 대해 임의의 지정된 속도 $\lambda > 0$로 상태의 지수 감쇠를 보장함을 증명한다.

ABSTRACT

This paper deals with the problem of boundary stabilization of first-order n imes n inhomogeneous quasilinear hyperbolic systems. A backstepping method is developed. The main result supplements the previous works on how to design multi-boundary feedback controllers to realize exponential stability of the original nonlinear system in the spatial H^2 sense.

연구 동기 및 목표

• n × n 비균질 비선형 초구형 시스템에 대한 경계 지수 안정성 문제를 $H^2$ 노름에서 해결하기.
• 임의의 감쇠 속도 $\lambda > 0$를 갖는 국소적 지수 안정성을 보장하는 피드백 제어 법칙 설계하기.
• 기존의 백스테핑 방법을 선형 시스템에서 비선형 및 비균질 시스템으로 확장하고 다중 경계 제어를 가능하게 하기.
• 비균질 시스템에서 임의로 큰 감쇠 속도를 도출할 수 있는 리아푸노프 함수를 구성하는 데 어려움을 극복하기.
• 경계에서 $C^1$ 호환 조건을 만족할 때의 잘 정의됨과 안정성 확립하기.

제안 방법

• 원래 시스템을 원하는 안정성 특성을 갖는 목표 시스템으로 매핑하기 위해 비선형 볼테라 백스테핑 변환을 개발한다.
• 목표 시스템에 대해 리아푸노프 함수를 구성하여 $H^2$ 노름에서의 지수 안정성을 증명한다.
• 변환이 역행 가능하고 $H^2$까지의 정(regularity)을 유지하도록 경계 조건을 부과한다.
• 변환의 커널 방정식에서 피드백 법칙을 도출하며, 비균질 항을 포함한 쌍곡형 편미분방정식 시스템을 푼다.
• 에너지 추정과 소볼레프 포함을 사용하여 변환된 변수의 노름을 유한하게 제한하고 안정성을 보장한다.
• 유입 및 유출 경계를 모두 갖는 시스템에 백스테핑 프레임워크를 적용하여 다중 경계 제어 입력을 허용한다.

실험 결과

연구 질문

• RQ1 n × n 비균질 비선형 초구형 시스템에 대해 백스테핑 기반 피드백 제어 법칙을 설계하여 $H^2$ 노름에서 지수 안정성을 달성할 수 있는가?
• RQ2 백스테핑 방법은 어떻게 비균질 항과 비선형성을 포함한 편미분방정식 시스템을 다룰 수 있는가?
• RQ3 경계 피드백을 통해 닫힌 루프 시스템에서 임의의 지수 감쇠 속도 $\lambda > 0$를 달성할 수 있는가?
• RQ4 백스테핑 변환이 $H^2$ 설정에서 역행 가능성과 정(regularity)을 보장하는 조건는 무엇인가?
• RQ5 경계에서의 호환 조건이 닫힌 루프 시스템의 잘 정의됨과 안정성에 어떻게 영향을 주는가?

주요 결과

• 다중 경계 피드백 제어 법칙이 닫힌 루프 시스템의 $H^2$ 노름에서 지수 안정성을 보장하도록 구성되었다.
• 피드백 제어기의 적절한 설계를 통해 감쇠 속도 $\lambda > 0$를 임의로 크게 만들 수 있다.
• 초기 자료가 원점 주변의 작은 이웃에 있을 경우, 해는 공간 $C^0([0,\infty); (H^2(0,1))^n)$ 내에 존재하고 유일하다.
• 백스테핑 변환이 역행 가능하고 $H^2$ 함수를 $H^2$ 함수로 매핑하며 정(regularity)을 유지함이 입증되었다.
• 표준 리아푸노프 함수가 비균질 시스템에서 임의의 큰 감쇠 속도를 도출하지 못하는 한계를 성공적으로 극복하였다.
• 이전의 백스테핑 결과를 선형 시스템에서 비선형 및 비균질 시스템으로 일반화하여, 더 넓은 범위의 초구형 편미분방정식에 프레임워크를 확장하였다.