[논문 리뷰] Linearized Asymptotic Stability for Fractional Differential Equations

Nguyen Dinh Cong, Thai Son Doan외 2명|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2015. 12. 15.

Fractional Differential Equations Solutions참고 문헌 11인용 수 6

한 줄 요약

이 논문은 순서 $\alpha \in (0,1)$인 카푸토 유형 분수차분 방정식에 대해 선형화된 점점 수렴성 안정성의 정리를 수립한다. 비선형 시스템의 평형점에서 선형화된 시스템의 스펙트럼이 영역 $\{\lambda \in \mathbb{C} : |\arg \lambda| > \alpha\pi/2\}$에 속할 경우, 평형점은 점점 수렴성 안정성을 가진다는 것을 증명한다. 이 결과는 리아푸노프의 제1법칙을 분수차수 시스템으로 확장하며, 이전 시도에서의 결함을 수정하고 안정성 분석을 위한 엄밀한 기초를 제공한다.

ABSTRACT

We prove the theorem of linearized asymptotic stability for fractional differential equations. More precisely, we show that an equilibrium of a nonlinear Caputo fractional differential equation is asymptotically stable if its linearization at the equilibrium is asymptotically stable. As a consequence we extend Lyapunov's first method to fractional differential equations by proving that if the spectrum of the linearization is contained in the sector $\{λ\in \C : |\arg λ| > \frac{απ}{2}\}$ where $α> 0$ denotes the order of the fractional differential equation, then the equilibrium of the nonlinear fractional differential equation is asymptotically stable.

연구 동기 및 목표

• 분수차분 방정식에 대해 리아푸노프의 제1법칙의 엄밀한 형태를 수립하기 위해.
• 이전의 분수계수 시스템에 대한 선형화 안정성 증명에서의 모순과 결함을 해결하기 위해.
• 선형화된 시스템의 스펙트럼을 바탕으로 평형점의 점점 수렴성 안정성에 대한 필요충분조건을 제공하기 위해.
• 선형 피드백을 통한 분수차분 로트카-볼테라 시스템의 안정화를 통해 이론의 적용 가능성을 보여주기 위해.
• 이전 연구에서 잘못된 그론발 렘마의 적용과 해의 크기 작음에 대한 불합리한 가정을 수정하기 위해.

제안 방법

• 저자들은 비선형 카푸토 분수차분 방정식 $^C D_{0+}^\alpha x(t) = A x(t) + f(x(t))$를 분석하며, 여기서 $f(0) = 0$ 이고 $Df(0) = 0$ 이다.
• 선형화된 시스템 $^C D_{0+}^\alpha x(t) = A x(t)$의 알려진 안정성 기준을 사용한다. 이 기준은 $A$의 모든 고유값이 $|\arg \lambda| > \alpha\pi/2$ 를 만족할 경우 성립한다.
• 증명은 그론발 유형의 잘못된 추론을 피하기 위해 적분 부등식과 미타그-레플러 함수 $E_\alpha$의 성질을 엄밀하게 적용한다.
• 기본 해를 이용한 비교 원리와 비선형 항의 국소 리프시츠 성질을 통한 추정을 통해 증명한다.
• 이전 증명들이 잘못된 가정에 기반해 해의 크기를 사전에 작다고 가정하는 것을 피한다.
• 이 방법은 상태 피드백 제어를 통해 분수차분 로트카-볼테라 시스템을 안정화시키는 데 적용되어 검증되었다.

실험 결과

연구 질문

• RQ1 비선형 카푸토 분수차분 방정식의 평형점이 점점 수렴성 안정성을 가지기 위해 선형화된 시스템의 스펙트럼이 어떤 조건을 만족해야 하는가?
• RQ2 이전의 분수계수 시스템에 대한 선형화 안정성 증명이 실패하는 이유는 무엇이며, 이러한 결함은 어떻게 수정할 수 있는가?
• RQ3 순서 $\alpha \in (0,1)$인 분수차수 시스템에 대해 리아푸노프의 제1법칙을 엄밀하게 확장할 수 있는가?
• RQ4 선형 피드백을 어떻게 사용하여 분수차수 로트카-볼테라 시스템을 안정화할 수 있는가?
• RQ5 미타그-레플러 함수는 분수계수 시스템의 안정성을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 비선형 분수차분 방정식 $^C D_{0+}^\alpha x(t) = A x(t) + f(x(t))$의 평형점은 $A$의 스펙트럼이 영역 $\{\lambda \in \mathbb{C} : |\arg \lambda| > \alpha\pi/2\}$에 포함될 경우 점점 수렴성 안정성을 가진다.
• 이 증명은 이전의 오류를 수정하며, 특히 잘못된 그론발 렘마의 적용과 해의 크기 작음에 대한 불합리한 가정을 바로잡는다.
• 선형화된 시스템 $^C D_{0+}^\alpha x(t) = A x(t)$는 $\sigma(A) \subset \{\lambda \in \mathbb{C} : |\arg \lambda| > \alpha\pi/2\}$일 때에만 점점 수렴성 안정성을 가지며, 이는 스펙트럼 조건을 확인한다.
• 분수차분 로트카-볼테라 시스템의 경우, 미타그-레플러 함수를 이용한 모순 추론을 통해 비제어 상태에서는 자명한 해가 불안정하다는 것이 밝혀졌다.
• 피드백 제어 $u(t) = Kx(t)$, $K = (-2h, 0)$를 적용하면, 닫힌 루프 시스템은 임의의 $\alpha \in (0,1)$에 대해 점점 수렴성 안정성을 가지며, $A + BK$의 고유값인 $-h$와 $-r$이 스펙트럼 조건을 만족하기 때문이다.
• 이 결과는 고전적인 리아푸노프 이론과 유사하게, 비선형 분수계수 시스템의 안정성에 대한 강력하고 일반적인 기준을 제공한다.