[논문 리뷰] Linearized stability analysis of nonlinear partial differential equations

Rasha Al Jamal, Amenda Chow외 1명|arXiv (Cornell University)|2015. 09. 18.

Stability and Controllability of Differential Equations참고 문헌 10인용 수 7

한 줄 요약

이 논문은 비선형 무한차원 시스템에서 라플라스의 간접법을 통합된 프레임워크로 정립하며, 비선형 $C_0$-반군의 프리셰 도함수성(Fréchet differentiability)이 선형화된 안정성이 비선형 안정성으로 이어지기 위해 필수적임을 증명한다. 주요 기여는 비선형 반군의 프리셰 도함수성에 대한 새로운 충분조건을 제시하고, 쿠라모토-시바시크스 방정식에 적용하여, 선형화된 시스템이 지수적 안정성을 가지면 반군이 프리셰 도함수성을 만족할 경우 비선형 시스템의 국소적 지수적 안정성이 성립함을 보여준다.

ABSTRACT

Lyapunov's indirect method is an attractive method for analyzing stability of non-linear systems since only the stability of the corresponding linearized system needs to be determined. Unfortunately, the proof for finite-dimensional systems does not generalize to infinite-dimensions. In this paper a unified approach to Lyapunov's indirect method for infinite-dimensional system is described. It is shown how existing sufficient conditions fit this framework and a new sufficient condition is presented.

연구 동기 및 목표

• 유한차원에서의 라플라스의 간접법이 무한차원 시스템으로 일반화되지 않은 데 대한 문제를 해결하기 위해.
• 무한차원에서 선형화된 시스템의 안정성이 원래 비선형 시스템의 안정성과 관련이 되기 위한 필수 조건을 규명하기 위해.
• 비선형 무한차원 시스템에 의해 생성된 $C_0$-반군의 프리셰 도함수성에 대한 새로운 충분조건을 수립하기 위해.
• 기존의 가정을 만족하지 않는 비선형 편미분방정식(예: 쿠라모토-시바시크스 방정식)에 이 프레임워크의 적용 가능성을 보여주기 위해.
• 선형화된 불안정성 또는 지수적 안정성이 비선형 시스템의 동일한 성질을 유도하는 조건을 명확히 하기 위해.

제안 방법

• 비선형 시간불변 시스템 $\dot{z}(t) = F(z(t))$에 대해 $F$가 밀도 있게 정의되고 $C_0$-반군을 생성하는 바나흐 공간 설정에서 문제를 수립한다.
• 라플라스의 간접법이 성립하기 위해 핵심 조건이 되는 비선형 $C_0$-반군 $S(t)$의 평형점에서의 프리셰 도함수성을 도입한다.
• 선형화된 시스템을 $\dot{z} = (A - dJ(z_0))z$로 정의하며, 여기서 $A$는 선형 부분의 생성자이고 $dJ(z_0)$는 비선형 연산자 $J$의 가우타우 도함수이다.
• 리에즈-스펙트럴 연산자의 스펙트럼 결정 성장 성질을 적용하여 선형화된 시스템의 안정성을 분석하며, 특히 쿠라모토-시바시크스 방정식에 대해 적용한다.
• 반군의 프리셰 도함수의 생성자를 사용하여 선형화된 시스템과 비선형 역학을 연결하며, 선형화된 생성자가 반군의 도함수와 일치함을 보장한다.
• 라살의 불변성 원리와 라플라스 함수를 활용하여 특정 예시(예: 주기적 경계 조건을 가진 쿠라모토-시바시크스 방정식)에서 안정성을 검증한다.

실험 결과

연구 질문

• RQ1 선형화된 무한차원 시스템의 안정성이 원래 비선형 시스템의 안정성으로 이어지는 조건은 무엇인가?
• RQ2 비선형 무한차원 시스템에서 라플라스의 간접법을 정당화하는 데 있어 $C_0$-반군의 프리셰 도함수성의 역할은 무엇인가?
• RQ3 쿠라모토-시바시크스 방정식과 같이 이전의 가정을 만족하지 않는 비선형 편미분방정식에 라플라스의 간접법을 적용할 수 있는가?
• RQ4 비선형 편미분방정식에 의해 생성된 반군의 프리셰 도함수성을 보장하는 새로운 충분조건은 무엇인가?
• RQ5 반군이 프리셰 도함수성을 만족할 경우, 선형화된 연산자의 스펙트럼이 비선형 시스템의 안정성에 어떻게 영향을 미치는가?

주요 결과

• 비선형 시스템에 의해 생성된 $C_0$-반군 $S(t)$의 프리셰 도함수성은 무한차원 시스템에서 라플라스의 간접법이 유효하기 위한 필수적이고 충분한 조건이다.
• 쿠라모토-시바시크스 방정식의 경우, 불안정성 매개변수 $\nu > 1$이면 모든 정수 평형점은 국소적으로 지수적 안정성을 가지며, 이는 선형화된 연산자의 모든 고유값의 실수부가 엄격히 음수이기 때문이다.
• 만약 $\nu < 1$이면 선형화된 시스템은 불안정하며, 따라서 비선형 시스템도 불안정하다. 이는 스펙트럼에 실수부가 양수인 고유값이 포함되어 있기 때문이다.
• 쿠라모토-시바시크스 방정식의 선형화된 생성자 $A - dJ(z_0)$는 고유값 $\lambda_n = n^2(1 - \nu n^2) - i n z_e$를 가지며, 이는 스펙트럼 분석 접근법을 확인한다.
• $C_0$-반군 $S(t)$는 비선형성이 연속적이지 않고, 시스템이 준선형이 아니더라도, $L^2(-\pi, \pi)$ 내의 모든 $z_0$에서 프리셰 도함수성을 가진다.
• 선형화된 시스템이 오직 점근적 안정성만을 가지는 경우, 라플라스의 간접법은 비선형 시스템의 안정성 또는 불안정성을 판단할 수 없으며, 이는 선형화된 경우의 지수적 안정성이 필수적임을 시사한다.