[논문 리뷰] Nonuniform contractions and density stability results via a smooth topological equivalence

Álvaro Castañeda, Pablo Monzón외 1명|arXiv (Cornell University)|2018. 08. 22.

Stability and Controllability of Differential Equations참고 문헌 25인용 수 3

한 줄 요약

이 논문은 비선형 비자율 시스템과 그 선형화 사이의 매끄러운 위상적 동치성을 비균일 수축 조건 하에서 확립하며, 밀도 함수(리아푸노프 함수의 쌍대)를 선형 시스템에서 비선형 시스템으로 전달하는 $ C^2 $, 방향을 유지하는 미분동형사상의 존재를 증명한다. 주요 기여는 매끄러운 동치를 통한 밀도 안정성 유지에 대한 구성적 방법을 제시함으로써 하르트만–그로브먼 정리를 비균일, 비자율 설정으로 확장하고, 더 높은 정(regularity)과 방향성 유지 성질을 확보하는 데 있다.

ABSTRACT

We study the smoothness and preserving orientation properties of a global and nonautonomous version of the Hartman--Grobman Theorem when the linear system has a nonuniform contraction on the half line. The nonuniform contraction implies the existence of a density function (\emph{i.e} a dual type of Lyapunov function) for the linear system which combined with the above diffeomorphism allow us to construct a density function for the nonlinear system.

연구 동기 및 목표

• 반경선 반직선에서 비균일 수축 조건이 성립하는 비자율 시스템으로 하르트만–그로브먼 정리를 전역적으로 확장하는 것.
• 비균일 초월성 조건 하에서 선형 시스템과 비선형 시스템 간의 위상 동치 사상의 매끄러움과 방향성 유지 성질을 확립하는 것.
• 비선형 시스템의 밀도 함수를 선형 시스템의 밀도 함수를 매끄러운 미분동형사상으로 전달하여 구성하는 것.
• 비선형성에 대한 가정을 완화하고 동치 사상의 정(regularity)을 향상시켜 이전 결과를 일반화하는 것.

제안 방법

• 반경선 $ \mathbb{R}^+ $ 에서의 비균일 수축을 활용하여 선형 시스템 $ \dot{x} = A(t)x $ 에 대해 밀도 함수 $ \rho $ 가 존재함을 보이며, 거의 모든 곳에서 $ \frac{\partial \rho}{\partial t} + \nabla \cdot (\rho A(t)x) > 0 $ 을 만족함을 보임.
• 비선형 시스템 $ \dot{y} = A(t)y + f(t,y) $ 의 해 흐름을 통해 전역적 $ C^2 $, 방향을 유지하는 미분동형사상 $ G(t, \cdot) $ 를 구성하며, $ G(t, \cdot) $ 가 $ C^2 $ 미분동형사상이면서 양수의 자코비안 행렬식을 가짐을 보장함.
• 비선형 시스템의 밀도 함수 $ \bar{\rho}(t, \eta) = \rho(t, G(t, \eta)) \left| \frac{\partial G(t, \eta)}{\partial \eta} \right| $ 를 정의하며, 이는 선형 밀도의 양성과 방향성 유지 성질에서 유추됨.
• 리우빌의 공식과 연쇄법칙을 적용하여 $ \bar{\rho} $ 가 밀도 부등식 $ \frac{\partial \bar{\rho}}{\partial t} + \nabla \cdot (\bar{\rho} g(t, \eta)) > 0 $ 을 거의 모든 곳에서 만족함을 검증함으로써 비선형 시스템의 안정성을 확보함.
• 반경선 $ \mathbb{R}^+ $ 에서의 비균일 수축과 지수 분할을 활용하여 이전의 전역 $ \mathbb{R} $-분할 설정에 비해 기술적 가정을 단순화함.
• 비선형성 $ f(t, \cdot) $ 의 매끄러움과 기본행렬 $ X(t,s) $ 의 구조를 이용하여 $ G(t, \cdot) $ 가 $ C^2 $ 이면서 방향을 유지함을 보장함.

실험 결과

연구 질문

• RQ1 비균일 수축 조건 하에서 비선형 비자율 시스템과 그 선형화 사이에 매끄럽고 방향을 유지하는 동치 사상이 구성 가능한가?
• RQ2 선형 시스템에 대한 밀도 함수의 존재가 매끄러운 위상적 동치 조건 하에서 비선형 시스템에 대응하는 밀도 함수의 존재를 암시하는가?
• RQ3 반경선 $ \mathbb{R}^+ $ 으로 분할 조건을 제한할 경우, 전체 $ \mathbb{R} $-선에 비해 매끄러운 동치 사상의 구성이 어떻게 단순화되는가?
• RQ4 동치 사상의 자코비안 행렬식이 밀도 함수의 양성 유지에 어떤 역할을 하는가?
• RQ5 비균일 수축 프레임워크는 비선형성 $ f(t, y) $ 에 대한 더 약한 가정을 허용하면서도 여전히 매끄러운 동치 사상과 밀도 안정성을 보장할 수 있는가?

주요 결과

• 비균일 수축 조건 하에서 반경선 $ \mathbb{R}^+ $ 에서 비선형 시스템과 그 선형화 사이에 $ C^2 $, 방향을 유지하는 미분동형사상 $ G(t, \cdot) $ 가 존재하며, 이는 매끄러운 위상적 동치를 보장한다.
• 선형 시스템 $ \dot{x} = A(t)x $ 의 밀도 함수 $ \rho(t, x) $ 는 $ \bar{\rho}(t, \eta) = \rho(t, G(t, \eta)) \left| \frac{\partial G(t, \eta)}{\partial \eta} \right| $ 를 통해 비선형 시스템으로 전달되며, 이는 요구되는 양성 조건을 만족한다.
• 시간에 대한 $ \frac{\partial \bar{\rho}}{\partial t} + \nabla \cdot (\bar{\rho} g(t, \eta)) $ 의 양성은 선형 밀도의 도함수와 $ G(t, \cdot) $ 의 자코비안 행렬식이라는 두 양성 항의 곱으로 보장된다.
• 미분동형사상 $ G(t, \cdot) $ 의 방향성 유지 성질은 자코비안 행렬식이 양수임을 보장하며, 이는 밀도 함수의 시간 도함수의 부호 유지에 필수적이다.
• 반경선 $ \mathbb{R}^+ $ 으로 제한함으로써 이전 결과에 비해 기술적 가정을 단순화하였으며, $ f(t, \cdot) $ 에 대한 조건이 약해진 상태에서 $ C^2 $ 정(regularity)의 동치 사상 구현이 가능해졌다.
• 이 결과는 [6] 및 [8]의 이전 작업을 일반화하며, 비균일, 비자율 설정으로의 매끄러운 동치 사상의 정(regularity)과 밀도 함수의 존재를 향상된 정(regularity)과 방향성 제어로 확장한다.