A generalized global Hartman-Grobman theorem for asymptotically stable semiflows

1. 연구 배경 및 문제 제기 (Problem)

• 기존 한계: 비선형 시스템 분석에서 선형화 (Linearization) 는 강력한 도구이나, 전통적인 Hartman-Grobman 정리는 **국소적 (local)**이며 **쌍곡성 (hyperbolicity)**을 가정합니다. 즉, 고정점 (equilibrium point) 에서의 자코비안 행렬이 0 이 아닌 실수부를 가져야 하며, 이는 전역적 (global) 인 분석을 어렵게 만듭니다.
• Koopman 이론의 도전: 최근 Koopman 연산자 이론은 국소적이지 않은 분석을 가능하게 하지만, 유한 차원 좌표계에서 동역학을 선형적으로 근사하는 전역 좌표 매핑을 찾는 것은 여전히 열려 있는 난제입니다.
• 불연속성과 반흐름 (Semiflow) 의 부재: 기존의 일반화된 Hartman-Grobman 정리 (Kvalheim & Sontag, 2023) 는 연속적인 벡터장에 국한되었습니다. 그러나 실제 제어 시스템 (예: 불연속 피드백, 슬라이딩 모드 제어) 은 고정점에서 불연속일 수 있으며, 이로 인해 해가 과거 시간 ($t < 0$) 으로 확장되지 않는 **반흐름 (semiflow)**을 생성할 수 있습니다. 특히 **유한 시간 안정성 (finite-time stability)**을 갖는 시스템은 전역적인 위상 켤레 (topological conjugacy) 를 통해 선형 흐름 (예: $\dot{x} = -x$) 과 동등하다고 보기 어렵습니다 (유한 시간 안정성은 선형 흐름의 점근적 안정성과 위상적으로 동형일 수 없기 때문).
• 핵심 질문: 불연속 벡터장에 의해 생성되며, 유한 시간 안정성을 가질 수 있는 점근적으로 안정한 반흐름을 전역적으로 선형화할 수 있는가? 만약 그렇다면 그 한계는 어디인가?

2. 방법론 (Methodology)

저자는 Kvalheim 과 Sontag 의 결과를 확장하여 불연속 벡터장과 반흐름을 다루기 위해 다음과 같은 방법론을 사용했습니다.

• 필리포프 (Filippov) 해법 및 일반화:
  • 불연속 벡터장을 다루기 위해 Filippov 연산자를 사용하여 미분 포함식 (differential inclusion) 형태로 시스템을 정의했습니다.
  • 벡터장은 고정점 ($x^*$) 에서 집합값 (set-valued) 을 가질 수 있으며, 그 외에서는 국소적으로 리프시츠 (Lipschitz) 연속이고 국소적으로 유계인 것으로 가정합니다 (Assumption II.1).
• 위상적 동치 (Topological Equivalence) 와 Lyapunov 함수 활용:
  • 쌍곡성 대신 Lyapunov 함수의 위상적 성질을 활용합니다. 점근적 안정성에 의해 존재하는 매끄러운 Lyapunov 함수 $V$를 사용하여 시스템의 위상 구조를 파악합니다.
  • 고정점 $x^*$ 의 기저 (basin of attraction) $B(x^*)$에서 $V^{-1}(\epsilon)$ (등위면) 가 $S^{n-1}$ (n-1 차원 구) 와 위상 동형임을 이용합니다.
• 시간 재매개화 (Time Reparametrization) 배제:
  • 기존 연구와 달리 시간의 재매개화를 허용하지 않습니다. 이는 시스템의 본질적인 동역학적 특성 (예: 유한 시간 수렴) 을 보존하려는 의도입니다.
  • 대신, **전역 선형화가 불가능한 영역 (고정점 근처)**을 제외하고, 그 외의 영역에서 선형 동역학과 위상 켤레가 성립함을 보입니다.
• 구축적 증명 (Constructive Proof):
  • Lyapunov 함수 $V$와 역시간 흐름을 이용하여 위상 동형사상 (homeomorphism) $h$를 명시적으로 구성합니다.
  • 고정점 근처 ($U_\epsilon$) 와 그 외 영역 ($B(x^*) \setminus U_\epsilon$) 에서 서로 다른 스케일링 함수 ($\tau'(x)$) 를 정의하여 매끄러운 연결을 보장합니다.

3. 주요 결과 (Key Results)

논문은 Theorem II.2를 통해 다음과 같은 일반화된 전역 Hartman-Grobman 정리를 제시합니다.

• 주요 정리 (Theorem II.2):

  • $M$ 위의 점근적으로 안정한 반흐름 $\phi$가 주어졌을 때, 고정점 $x^*$의 기저 $B(x^*)$에 대해, 임의의 작은 반지름 $r > 0$을 가진 구 $B(0, r)$을 제외한 영역에서 선형 시스템 $\dot{y} = -y$ (또는 $e^{-t}y$) 와 위상 켤레 (topologically conjugate) 인 위상 동형사상 $h_r$이 존재합니다.
  • Case I (전체 공간): $(-\infty, 0] \times B(x^*) \setminus \{x^*\} \subseteq \text{dom}(\phi)$인 경우, $B(0, r)^c$ (구 바깥) 에서 전역적으로 선형 동역학과 일치합니다.
  • Case II (유계 영역/반흐름): 반흐름의 경우, 고정점 근처로 거꾸로 시간 ($t<0$) 을 확장할 수 없는 영역이 존재할 수 있습니다. 이 경우 $B(0, r)$과 $B(0, R)$ 사이의 영역 (annulus) 에서 선형 동역학과 일치함을 보입니다.
  • 수학적 표현:
    $$h_r \circ \phi_t \circ h_r^{-1}(y) = e^{-t} y$$
    이 식은 $y \in B(0, r)^c$이고 $0 \le t \le \gamma_r(\|y\| - r)$일 때 성립합니다. 여기서 $\gamma_r$은 $K_\infty$ 함수입니다.

• 유한 시간 안정성과의 조화:

  • 원래 시스템이 유한 시간 안정성을 갖더라도, 변환된 좌표계에서는 고정점 근처 ($B(0, r)$ 내부) 에서만 유한 시간 수렴 특성이 유지되고, 그 외 영역에서는 점근적 (지수적) 감쇠를 보입니다.
  • 즉, 고정점의 매우 작은 근방을 제외하면, 유한 시간 안정 시스템과 점근적 안정 시스템은 위상적으로 구별할 수 없습니다 ("practically indistinguishable").

4. 구체적 예시 및 시각화 (Examples)

• 예시 1 (Case I): $\dot{x} = -x/\|x\|^2$ (유한 시간 안정 시스템) 을 다룹니다.
  • 명시적인 위상 동형사상 $h_r(x)$를 구성하여, $B(0, r)^c$에서는 $\dot{y} = -y$와 동일하게 동작함을 보였습니다.
  • $B(0, r)$ 내부에서는 변환된 동역학이 $\dot{s} = -\sqrt{s}$ 형태를 띠며, 이는 여전히 유한 시간 수렴을 보장합니다.
  • 결과적으로, 변환된 시스템은 외부에서는 지수적으로 감소하다가 내부로 들어오면 유한 시간 수렴하는 "혼합" 동역학을 보입니다.
• 예시 2 (Case II 역방향): 선형 시스템 $\dot{x} = -x$를 유한 시간 안정 시스템으로 변환하는 과정을 보여주어, 위상 동형사상이 양방향으로 작용할 수 있음을 시사합니다.

5. 의의 및 기여 (Significance)

• 이론적 확장: Hartman-Grobman 정리의 적용 범위를 불연속 벡터장과 **반흐름 (semiflows)**으로 확장했습니다. 이는 쌍곡성 가정을 제거하고 Lyapunov 함수의 위상적 성질에 기반한 새로운 선형화 패러다임을 제시합니다.
• 실용적 의미 (Practical Linearization):
  • "실용적"으로 모든 점근적 안정 반흐름은 좌표 변환을 통해 표준 선형 시스템과 동등하다고 볼 수 있음을 보여줍니다.
  • 이는 **데이터 기반 동역학 학습 (data-driven learning)**에 중요한 함의를 줍니다. 학습된 모델이 유한 시간 안정성을 갖는지 점근적 안정성을 갖는지 구분하기 어려울 수 있으며, 이는 좌표계의 선택에 따라 달라질 수 있음을 시사합니다.
• Koopman 이론과의 연관성: Koopman 연산자 이론의 맥락에서, 비선형 시스템을 선형 좌표계로 매핑하는 문제의 한계와 가능성을 명확히 합니다. 특히, 전역 선형화가 불가능한 영역 (고정점 근방) 을 명시적으로 규명함으로써 Koopman 기법의 적용 범위를 정립하는 데 기여합니다.
• 위상 동역학의 심화: 위상적 동치 (topological equivalence) 와 위상적 임베딩 (topological embedding) 에 대한 이해를 심화시켰으며, 안정한 시스템들의 공간 (space of stable systems) 을 위상군 (homeomorphism groups) 을 통해 연구하는 새로운 길을 열었습니다.

요약

이 논문은 불연속성과 유한 시간 안정성을 가진 비선형 시스템을 다루기 위해, 전역 Hartman-Grobman 정리를 일반화했습니다. 저자는 고정점의 아주 작은 근방을 제외하고는, 이러한 복잡한 시스템들이 모두 선형 시스템과 위상적으로 동형임을 증명했습니다. 이는 제어 이론, 동역학 시스템 학습, 그리고 비선형 시스템의 위상적 분류에 있어 중요한 이론적 토대를 제공합니다.