[논문 리뷰] Invariant Manifolds for Non-differentiable Operators

Marco Martens, Liviana Palmisano|arXiv (Cornell University)|2017. 04. 20.

Mathematical Dynamics and Fractals참고 문헌 29인용 수 4

한 줄 요약

이 논문은 비미분 가능 비선형 연산자에 대한 일반적인 불변 다변량 정리(Manifold Theorem)를 수립하며, 전통적인 미분 가능성과 쌍곡성 조건을 '도약-미분 가능성(jump-out differentiability)'과 위상적 쌍곡성으로 대체한다. 이는 $\mathcal{C}^{4+\epsilon}$ 피보나치 체리 맵의 공간이 $\mathcal{C}^1$ 코디멘션 1의 다변량을 이룬다는 것을 증명하며, 동역학에서 비미분 가능한 재규약 체계에 대한 불변 다변량 이론의 적용 가능성을 확장한다.

ABSTRACT

A general invariant manifold theorem is needed to study the topological classes of smooth dynamical systems. These classes are often invariant under renormalization. The classical invariant manifold theorem cannot be applied, because the renormalization operator for smooth systems is not differentiable and sometimes does not have an attractor. Examples are the renormalization operator for general smooth dynamics, such as unimodal dynamics, circle dynamics, Cherry dynamics, Lorenz dynamics, Hénon dynamics, etc. A general method to construct invariant manifolds of non-differentiable non-linear operators is presented. An application is that the $\mathcal C^{4+ε}$ Fibonacci Cherry maps form a $\mathcal C^1$ codimension one manifold.

연구 동기 및 목표

• 매끄러운 동역학계에서 전통적 정리가 실패하는 경우에도 적용 가능한 비미분 가능 연산자에 대한 일반적인 불변 다변량 정리 개발
• 일반적인 매끄러운 시스템(단조, 체리, 로렌츠, 헨온 동역학 등)의 재규약 연산자에서의 미분 가능성 부족과 급진기의 부재 문제 해결
• 특히 피보나치 체리 맵을 포함한 매끄러운 동역학의 위상적 동치류가 비미분 가능한 재규약에도 불구하고 매끄러운 다변량임을 증명
• 동일한 위상을 가진 시스템 간의 동치관계의 기하학적 강성 분석을 위한 프레임워크 수립

제안 방법

• 전통적 미분 가능성의 더 약한 대체로 '도약-미분 가능성'을 도입하여 비미분 설정에서 유사 도함수 제어 가능하게 함
• 미분 가능성 대신 리프시츠 연속성의 곡선 동역학을 사용하여 분해된 시스템에서 그림 변환 방법을 분석
• 재규약이 도약-미분 가능해지도록 시스템을 $\varphi^r$, $\varphi^l$ 성분으로 분해
• 일관된 유계성 조건 $D_{rs}$, $D_{rl}$ 을 $X_2$ 상에서 만족시키는 부분 도함수를 기반으로 그림 변환 방법을 통해 불변 다변량 구축
• 도함수 연산자에 대한 연속성과 허더 타입 추정: $ \left| \tilde{\varphi}^r(\underline{f}+\Delta\underline{\varphi}) - [\tilde{\varphi}^r(\underline{f}) + D\Delta\underline{\varphi}] \right|_2 = O_{\underline{f}}(|\Delta\underline{\varphi}|_2^{1+\epsilon}) $ 확립
• 부분 도함수 $ \frac{\partial\tilde{\varphi}^r_\tau}{\partial\varphi_{\tau'}} $ 가 $ X_2 $ 상에서 유계 연산자 $ D_{rs}, D_{rl} : X_2 \to X_2 $ 로 균일하게 연장됨을 증명

실험 결과

연구 질문

• RQ1 매끄러운 동역학계에서 비미분 가능한 재규약 연산자에 대해 불변 다변량을 구성할 수 있는가?
• RQ2 비미분 가능한 재규약에도 불구하고 $\mathcal{C}^{4+\epsilon}$ 피보나치 체리 맵의 공간은 매끄러운 다변량인가?
• RQ3 동일한 위상을 가진 시스템 간의 위상적 동치관계가 기하학적 강성, 즉 동치관계의 $\mathcal{C}^{1+\beta}$ 정규성을 암시하는가?
• RQ4 고전적 불변 다변량 정리는 미분 가능성과 쌍곡성 조건을 초월하여 일반화될 수 있는가?
• RQ5 급진기가 존재하지 않을 경우, 불변 다변량 존재를 보장하는 정량적 조건은 무엇인가?

주요 결과

• 정리 6.1에 따르면 $\mathcal{C}^{4+\epsilon}$ 피보나치 체리 맵은 $\mathcal{C}^1$ 코디멘션 1의 다변량을 이룬다.
• 피보나치 체리 동역학의 재규약 연산자는 미분 가능하지 않으며 급진기조차 없지만, 여전히 불변 다변량이 존재한다.
• 부분 도함수 $ \frac{\partial\tilde{\varphi}^r_\tau}{\partial\varphi_{\tau'}} $ 는 유계이며 $ X_2 $ 상에서 유계 연산자 $ D_{rs}, D_{rl} $ 로 균일하게 연장된다.
• 재규약 맵의 변화에 대한 변화량은 허더 타입 추정을 만족한다: $ \left| \tilde{\varphi}^r(\underline{f}+\Delta\underline{\varphi}) - [\tilde{\varphi}^r(\underline{f}) + D\Delta\underline{\varphi}] \right|_2 = O_{\underline{f}}(|\Delta\underline{\varphi}|_2^{1+\epsilon}) $.
• 이 방법은 매끄러운 일변도 동역학, 헨온 동역학 및 고전 정리가 비미분성으로 인해 실패하는 기타 시스템으로 광범위하게 적용 가능하다.