Lyapunov exponents of fractional-order systems: definition from the diffusive representation, ageing of memory and effect of memory truncation

기술 요약: 분수계 차수 시스템의 리아푸노프 지수 (Lyapunov Exponents)

문제 제기
리아푸노프 지수는 전통적으로 오셀레데츠의 다중 에르고딕 정리(Oseledets' Multiplicative Ergodic Theorem, MET)를 통해 정의되는 카오스의 정량적 지표이다. 그러나 이 정리는 시스템이 유한 차원 공간 상의 흐름(flow)이어야 하며 불변 측도(invariant measure)를 가져야 하고, 선형화된 진화가 코사이크(cocycle)를 형성해야 한다는 가설에 의존한다. 카푸토(Caputo) 미분으로 정의되는 분수계 차수 시스템은 이러한 가설을 위반한다. 카푸토 미분은 비국소적(non-local)이어서, 시간 $t$에서의 시스템 상태가 점 $x \in \mathbb{R}^n$이 아닌 과거 궤적 전체에 의존하게 된다. 결과적으로, 이 시스템은 시간 병진 불변성(time translation invariance)을 갖지 않으며("노화"됨), 선형화된 진화 연산자는 유한 차원 흐름에 대한 코사이크를 형성하지 않는다. 수치 코드들이 분수계 카오스 시스템(예: Chen, Rössler)에 대해 지수를 일상적으로 계산하고 있음에도 불구하고, 카푸토 프레임워크 내에서 이러한 지수에 대한 엄밀한 수학적 정의는 존재하지 않으며, 영(zero) 지수의 부재나 "의사 지수(pseudo-exponents)"의 존재와 같은 수치적 관찰 결과 또한 설명되지 않은 채 남아 있다.

방법론
본 논문은 카푸토 연산자의 **확산 표현(diffusive representation)**을 사용하여 문제를 재구성한다. 차수가 $\nu \in (0,1)$인 카푸토 미분은 양의 측도의 라플라스 변환인 멱함수 커널(power-law kernel)과의 컨볼루션으로 표현될 수 있다. 이를 통해 분수계 시스템을 메모리 모드들의 무한 차원 힐베르트 공간 상의 **자율 세미리니어 진화 방정식(autonomous semilinear evolution equation)**으로 재작성할 수 있다.

1. 확장된 상태 공간: 시스템은 $X = \mathbb{R}^n \times H$인 곱 공간으로 격상된다. 여기서 $H = L^2(\mathbb{R}^+, \rho_\nu d\omega)$는 서로 다른 속도 $\omega$로 완화되는 연속적인 메모리 모드들을 나타낸다. 상태에는 관측값 $x$와 메모리 프로파일 $z(\omega, t)$가 포함된다.
2. 코사이크 구조: 이 확장된 공간에서 시스템은 자율적(autonomous)이 된다. 궤적을 따른 선형화는 힐베르트 공간 상의 점근적 컴팩트 코사이크(asymptotically compact cocycle)에 대해 확장된 Ruelle, Mañé, Thieullen의 MET 조건을 만족하는 코사이크 $M(t,s)$를 정의한다.
3. 수치 구현: 저자는 지수 합(sum-of-exponentials) 구적법을 사용하여 메모리 연속체를 이산화함으로써 확장된 시스템에 베네틴 알고리즘(Benettin algorithm)을 구현한다. 이 방법은 선형 시스템의 미첼-레플러 함수(Mittag-Leffler function) 해를 통해 검증된다.
4. 절단 분석(Truncation Analysis): 본 연구는 메모리 처리에 관한 세 가지 접근 방식을 비교한다:
   • 전체 메모리 (작은 $\omega_{min}$까지 연속체를 해상함).
   • 미분에 적용된 절단 (Grünwald-Letnikov 형태, "단기 기억 원리").
   • 적분 형태에 적용된 절단 (고정된 메모리 창 또는 유한 모드 실현).

주요 기여 및 결과

• 지수의 정의: 본 논문은 확장된 힐베르트 공간의 코사이크로부터, 그리고 제한된 접 공간 $\{\delta a = 0\}$ 상에서 추출된 카푸토 시스템의 리아푸노프 지수에 대한 엄밀한 정의를 제공한다.
• 메모리 노화(Memory Ageing): 유계인 카푸토 궤적에 대해, 힐베르트 공간 내의 메모리 노름(norm)이 $t^{(1-\nu)/2}$로 성장함을 증명한다. 시스템은 초기 조건을 잊지 않으며 "노화"된다. 따라서 지수는 정상 동역학( $(-\infty, \infty)$ 상에서 정의된 해) 상에서 정의되어야 하며, 카푸토 궤도는 $t^{-\nu}$의 대수적 속도로 이에 접근한다.
• 스펙트럼 구조:
  • 양의 지수: 이들은 잘 정의되며 이산 집합을 형성하고, 메모리 절단에 독립적이다.
  • 본질적 지수(Essential Exponent): 코사이크의 본질적 지수는 0이다.
  • 영(Zero) 지수: 확장된 시스템의 자율적 특성은 시간 이동 방향과 관련된 영 지수를 보장한다. 이는 기존의 분수계 코드들이 왜 영 지수를 감지하지 못하는지(메모리를 리셋하거나 0 초기 메모리로 제한하기 때문)를 설명한다.
  • 비양수 지수: 선형 사례에서 관측값은 지수적으로 수축하지 않고 대수적으로 감소한다. 저자는 비선형 카오스 시스템에서도 모든 비양수 지수는 0일 것이라고 추측한다. 기존 문헌에서 보고된 음의 지수들은 관측값의 유한 시간 수축률 또는 메모리 절단의 산물로 해석된다.
• 메모리 절단의 효과:
  • 미분 절단 (Grünwald-Letnikov): Podlubny의 방식대로 미분에 단기 기억 원리를 적용하면, 짧은 윈도우를 사용하더라도 최대 지수와 어트랙터의 기하학적 구조는 변하지 않는다.
  • 적분 절단: 적분 형태에 고정된 메모리 창을 적용하거나(또는 유한 모드 실현을 사용하는 경우)는 근본적으로 시스템을 변화시킨다. 이는 어트랙터를 변형시키고, 최대 지수를 20~50% 낮추며, 카오스를 완전히 억제할 수 있다. 유한 모드 실현에서는 $-1/\tau_m$ (여기서 $\tau_m$은 메모리 창) 차수의 가짜 음의 지수를 도입한다.
• 수렴 속도: 본 논문은 제로 메모리로부터 계산된 유한 시간 지수가 표준적인 $1/t$ 에르고딕 변동 외에도 $t^{-\nu}$에 비례하는 보정 항과 함께 실제 지수로 수렴한다고 추측한다.

의의 및 주장
본 논문은 무한 차원 상태 공간 상의 다중 에르고딕 정리에 근거한 정의를 제공함으로써 분수계 시스템의 리아푸노로프 지수에 관한 이론적 모호성을 해결한다고 주장한다. 또한 분수계 시스템의 "카오스"는 양의 지수에 의해서만 특징지어지며, 정수 차수 유사 시스템에서 발견되는 음의 지수는 분수계 사례($\nu < 1$)에서 (전체 상태 공간 상의 지수적 수축이라는 의미에서) 지속되지 않음을 명확히 한다.

저자는 다음과 같이 수치 모델링에 대한 실질적인 중요성을 강조한다:

1. 양의 지수의 신뢰성: 양의 지수는 메모리가 올바르게 처리될 때(전체 메모리 또는 미분 절단 사용 시)만 견고하다.
2. 음의 지수의 오해: 기존 코드에서 보고된 음의 지수는 수치적 방법(메모리 리셋 또는 적분 절단)의 산물이며, 시스템의 진정한 수축률을 나타내지 않는다.
3. 모델의 무결성: 적분 형태를 절단하는 것은 근저에 있는 동역학적 시스템을 변화시켜, 분기 임계값과 카오스 경계를 이동시킬 수 있다. 저자는 시스템의 역학을 보존하기 위해 Grünwald-Letnikov 미분에 단기 기억 원리를 사용하거나 확장 시스템 알고리즘을 사용할 것을 권장한다.

결론적으로, 카오스적 분수계 시스템에 대한 컴팩트 불변 집합의 존재는 가설로 남아 있으나, 제안된 프레임워크는 수치적 이상 현상을 성공적으로 설명하며 임의의 메모리 윈도우에 독립적인 일관된 지수 계산 방법을 제공한다.