[논문 리뷰] A Liapunov function approach to the stabilization of second order coupled systems

Alain Haraux, Mohamed Ali Jendoubi|arXiv (Cornell University)|2016. 04. 22.

Stability and Controllability of Differential Equations참고 문헌 8인용 수 4

한 줄 요약

이 논문은 부분 감쇠가 있는 2차 연립계를 안정화하기 위해 새로운 리아푸노프 함수 접근법을 제안하며, 고전적 방법이 실패할 때조차 지수적 감쇠를 입증한다. 명시적 에너지 등가 리아푸노프 함수를 구성함으로써, 강한 결합 또는 유계가 아닌 결합 연산자 조건 하에서도 지수적 안정성을 증명한다. 이는 이전의 점근적 안정성 결과를 복원하고 확장하며, 날카운 감쇠 추정을 제공한다.

ABSTRACT

In 2002, Fatiha Alabau, Piermarco Cannarsa and Vilmos Komornik investigated the extent of asymptotic stability of the null solution for weakly coupled partially damped equations of the second order in time. The main point is that the damping operator acts only on the first component and, whenever it is bounded, the coupling is not strong enough to produce an exponential decay in the energy space associated to the conservative part of the system. As a consequence, for initial data in the energy space, the rate of decay is not exponential. Due to the nature of the result it seems at first sight impossible to obtain the asymptotic stability result by the classical Liapunov method. Surprisingly enough, this turns out to be possible and we exhibit, under some compatibility conditions on the operators, an explicit class of Liapunov functions which allows to do 3 different things: 1) When the problem is reduced to a stable finite dimensional space, we recover the exponential decay by a single differential inequality and we estimate the logarithmic decrement of the solutions with worst (slowest) decay. The estimate is optimal at least for some values of the parameters.

연구 동기 및 목표

• 약한 결합 및 부분 감쇠가 있는 2차 연립계에 대해 고전적 선형화 방법이 실패하는 상황에서 지수적 안정성을 입증하는 데서 비롯된 한계를 극복하는 것.
• 강한 결합 또는 무한대 연산자일 경우에도 지수적 감쇠 추정을 도출할 수 있는 명시적 리아푸노프 함수의 클래스를 구성하는 것.
• 이전 연구(Alabau 등, 2002)에서 도출된 비지수적 감쇠 결과를 통합된 리아푸노프 프레임워크를 통해 설명하고 일반화하는 것.
• 최적의 매개수 조건 하에서 가장 느리게 감쇠하는 해에 대한 날카운 로그 감쇠 추정을 수립하는 것.

제안 방법

• 저자들은 원래 에너지와 $ u $, $ v $, $ u' $, $ v' $를 포함한 교차항을 결합한 수정된 에너지 함수 $ H_{\rho}(u,v,u',v') $ 를 리아푸노프 함수로 구성한다.
• 매개수 $ \rho $ 를 도입하고 $ H_{\rho} = E_{-1} + \rho K $ 를 정의한다. 여기서 $ E_{-1} $ 는 수정된 에너지이고 $ K $ 는 양의 정부호 이차형식이다.
• 교차항을 양의 부등식을 통해 적절히 선택된 매개수로 추정함으로써 시간 도함수 $ \frac{d}{dt}H_{\rho} $ 가 음의 정부호 이차형식으로 위계를 정한다. 이는 감쇠를 보장한다.
• 적절히 $ \rho $ 를 작게 선택하고 매개수 $ \rho $, $ \rho $, $ \rho $ 를 조정함으로써 리아푸노프 함수의 양의 정부호성과 도함수의 엄격한 음의 정부호성을 확보한다.
• 보간법과 노름의 등가성을 이용하여 $ H_{\rho} $ 와 원래 에너지 $ E_0 $ 를 연결함으로써 감쇠 속도 추정을 가능하게 한다.
• 이 방법은 특히 $ A_1 $ 의 강제성과 결합 상수 $ c $ 의 크기와 관련된 연산자 $ A_1, A_2, B, C $ 의 스펙트럼 성질에 의존한다.

실험 결과

연구 질문

• RQ1 고전적 선형화 방법이 실패하는 상황에서, 리아푸노프 함수를 통해 약한 결합 및 부분 감쇠가 있는 2차 연립계에 대해 지수적 안정성을 입증할 수 있는가?
• RQ2 결합 연산자가 강하거나 무한대일 경우, 어떤 명시적 형태의 리아푸노프 함수가 지수적 감쇠를 보장할 수 있는가?
• RQ3 Alabau 등(2002)에서 도출된 비지수적 감쇠 결과는 어떻게 통합된 리아푸노프 프레임워크를 통해 설명하고 복원할 수 있는가?
• RQ4 강한 결합 조건 하에서 가장 느리게 감쇠하는 해에 대한 날카운 감쇠 속도는 무엇인가?
• RQ5 이 방법은 약한 결합 조건에서 $ 1/t $ 감쇠 속도의 최적성도 증명할 수 있는가?

주요 결과

• 저자들은 $ \frac{d}{dt}H_{\rho} \leq -\gamma K $ 를 만족하는 리아푸노프 함수 $ H_{\rho} $ 를 구성함으로써 에너지의 지수적 감쇠를 증명한다. 여기서 $ \gamma > 0 $ 이다.
• 유한 차원 시스템에서는 이 방법이 최적의 매개수 조건 하에서 날카운 로그 감쇠 추정을 회복하며, 특정 매개수 값에 대해 최적의 성능을 보인다.
• 결합 연산자가 항등원의 배수인 경우(Alabau 등, 2002 참조), 이 방법은 비지수적 감쇠를 설명하고 $ 1/t $ 감쇠 속도를 복원한다.
• 강한 또는 무한대 결합 연산자 조건 하에서는 이 방법이 최악의 경우 해에 대해 날카운 감쇠 추정을 제공하는 새로운 지수적 감쇠 결과를 도출한다.
• 에너지 $ E_{-1} $ 가 $ K $ 와 등가임을 보였으며, $ \frac{\lambda_1 - c}{2\lambda_1} K \leq E_{-1} \leq \frac{\lambda_1 + c}{2\lambda_1} K $ 를 만족한다. 이는 노름 비교를 가능하게 한다.
• $ 1/t $ 감쇠 속도는 약한 결합 조건에서 최적이며, $ K(t) \leq C \frac{E_0}{t} $ 를 통해 결과의 날카움을 확인한다.