[논문 리뷰] Fractional Stability

Vasily E. Tarasov|arXiv (Cornell University)|2007. 11. 14.

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

한 줄 요약

이 논문은 Caputo 도수의 도함수로부터 유도된 분수주기 변화를 사용하여 동역학 시스템에 대한 분수안정성의 새로운 개념을 제안한다. 고전적 Lyapunov 기준에 따라 불안정한 시스템이 분수주기 변화 하에서 점근적 안정성을 나타낼 수 있음을 보여주며, 이는 정수계수 동역학 분석의 범위를 비정수계수 동역학으로 확장한다.

ABSTRACT

A fractional generalization of variations is used to define a stability of non-integer order. Fractional variational derivatives are suggested to describe the properties of dynamical systems at fractional perturbations. We formulate stability with respect to motion changes at fractional changes of variables. Note that dynamical systems, which are unstable "in sense of Lyapunov", can be stable with respect to fractional variations.

연구 동기 및 목표

• 고전적 안정성 이론을 분수주기 일반화된 변화 및 안정성으로 확장하기 위해.
• 장거리 또는 프랙탈 유사 동역학을 특징으로 하는 시스템을 기술하는 데 있어 Lyapunov 안정성의 한계를 해결하기 위해.
• 시스템 변수의 분수주기 변화에 대해 안정성을 정의함으로써, 비정수계수 변화 반응을 보이는 시스템의 분석을 가능하게 하기 위해.
• 분수안정성 이론이 고전적 Lyapunov 분석에서 불안정하다고 간주되는 시스템에서도 안정된 행동을 포착할 수 있음을 보여주기 위해.

제안 방법

• Caputo 분수도함수를 사용하여 순서 α (m−1 < α ≤ m) 에 대한 분수주기 변화 δ^αf(x) = [δx]^α · C D^α_x f(x) 를 정의한다.
• 시스템의 미분방정식에 분수주기 변화를 적용하여 분수주기 변화의 운동 방정식을 유도하며, D^1_t δ^αx_i = C D^α_x_j F_i(x) [δx_j]^α 를 도출한다.
• 좌표의 Caputo 도함수의 역함수를 사용하여 변화의 분수거듭제곱 [δx_j]^α 를 분수주기 변화 δ^αx_j 로 표현한다: [δx_j]^α = (C D^α_x_j x_j)^{-1} δ^αx_j.
• 시스템을 선형 행렬 미분방정식 D^1_t Z(t) = A_α Z(t) 로 변환한다. 여기서 Z(t) 는 분수주기 변화의 벡터이고, A_α 는 분수변화도의 행렬이다.
• A_α 의 고유값을 통해 안정성을 정의한다: 모든 고유값의 실수부가 음수이면 점근적 안정성이 성립한다.
• 분수변화도 행렬 A_α 의 고유값 실수부의 부호에 기반한 새로운 안정성 기준을 수립하며, 이는 Lyapunov 안정성의 비정수계수 일반화이다.

실험 결과

연구 질문

• RQ1 고전적 Lyapunov 안정성 기준에서 불안정한 동역학 시스템이 분수주기 변화 하에서는 안정해질 수 있는가?
• RQ2 동역학 시스템에 대해 Caputo 도함수를 사용하여 분수주기 변화를 수학적으로 어떻게 정의할 수 있는가?
• RQ3 ODE 시스템에서 분수주기 변화를 지배하는 미분방정식의 형태는 어떠한가?
• RQ4 정수계수 변화에 대한 안정성과 분수주기 변화에 대한 안정성은 어떻게 다를 수 있는가?
• RQ5 α = 1 일 때, 분수안정성 이론이 고전적 Lyapunov 안정성 이론을 특수한 경우로 포함할 수 있는가?

주요 결과

• 분수안정성은 분수변화도로부터 유도된 행렬 A_α 의 고유값을 통해 정의되며, 모든 고유값의 실수부가 음수일 경우 점근적 안정성이 성립한다.
• 시스템이 분수주기 변화에 대해 점근적으로 안정하려면 lim_{t→∞} ||δ^αx(t,α)|| = 0 이 성립해야 하며, 이는 A_α 의 스펙트럼 성질에 의해 결정된다.
• Lyapunov 안정성 기준에서 불안정한 시스템(예: 선형화 시 실수부가 양수인 경우)이 A_α 의 고유값 실수부가 음수일 경우 분수주기 변화 하에서는 여전히 점근적으로 안정해질 수 있다.
• 분수주기 변화 δ^αx_i 는 δ^αx_i = [δx_i]^α · C D^α_x_i x_i 로 표현되며, 이는 분수주기 변화와 좌표의 분수도함수를 연결한다.
• 행렬 A_α(α) = (C D^α_x_j x_j)^{-1} C D^α_x_j F_i(x) 는 분수주기 변화의 진화 및 따라서 안정성 행동을 완전히 결정한다.
• 분수안정성은 고전적 안정성의 일반화이다: α = 1 일 때, 분수안정성 조건은 표준 Lyapunov 안정성 조건으로 축소된다.