[논문 리뷰] The cohomological equation for partially hyperbolic diffeomorphisms

Amie Wilkinson|ArXiv.org|2008. 09. 29.

Mathematical Dynamics and Fractals참고 문헌 27인용 수 37

한 줄 요약

이 논문은 부분적으로 초구형 미분형식에서 $C^r$ 함수 $\phi$ 에 대해 코homological 방정식 $\phi = \Phi \circ f - \Phi$ 의 가역성과 정칙성을, 새로운 제트 기반 접근법과 Journé의 정리를 활용하여 증명한다. 이는 $r$-bunching 조건과 접근 가능성 조건 하에서 연속적인 해가 $C^r$ 임을 보여준다. 주요 기여는 중심-안정 및 불안정 리만에서의 호로지가 전역적인 $C^r$ 정칙성으로의 정칙성 전이 메커니즘을 제공하는 것이다.

ABSTRACT

We establish a theory for the existence and regularity of solutions to the cohomological equation over an accessible, partially hyperbolic diffeomorphism. As a by-product of our techniques, we show that for $r>1$, any $C^r$ homogeneous, locally compact submanifold of a $C^r$ manifold is in fact a $C^r$ submanifold.

연구 동기 및 목표

• 고전적인 Livsic 유형 기준이 적용되지 않는 부분적으로 초구형 시스템에서 주기 궤도의 장애 요소 부재 문제를 다룬다.
• 주기 궤도가 없는 문제를 해결하기 위해 $su$-경로와 고리 개념을 도입하여 새로운 장애 요소 프레임워크를 제시한다.
• 만일 $f$ 가 $r$-bunched 이고 접근 가능하며 $\phi$ 가 $C^r$ 이면, 코homological 방정식의 해에 대한 $C^r$ 정칙성을 확립한다. 이는 Anosov 시스템의 고전적 결과를 일반화한 것이다.
• 홀로지 데이터에서 허용 가능한 또는 $C^r$ 정칙성을 전역적 해의 정칙성으로 전이시키는 제트 기반 정칙성 전이 메커니즘을 개발한다.
• $r$-bunching 조건과 접근 가능성 조건 하에서 연속적인 해가 존재할 경우 $C^r$ 정칙성이 보장되는지에 대한 열린 문제를 해결하며, 연속적인 해가 $C^r$ 임을 보여준다.

제안 방법

• Anosov 시스템에서의 주기 궤도 장애를 부분적으로 초구형 시스템으로 일반화하기 위해 $su$-경로와 고리를 도입한다.
• 허용 가능한 다발의 포화된 섹션과 중심-안정/불안정 호로지를 정의하고, 이를 활용하여 동적 분할의 따라 정칙성을 전파한다.
• 차수 $\overline{\ell}$ 의 제트 다발을 구성하고, 그 호로지를 통해 전이 함수의 $C^{\overline{\ell},\overline{\alpha}}$ 정칙성을 정의한다.
• Journé의 정리를 적용하여 수직 분할(예: $\mathcal{W}^u$ 와 $\widehat{\mathcal{W}}^{cs}$)에서의 정칙성을 전체적인 $C^r$ 정칙성으로 승격시킨다.
• $r$-bunching 조건을 활용하여 제트 공간과 호로지 사상에서의 도함수 성장에 대한 균일한 제어를 확보한다.
• 제트 다발에 그래프 변환 기법을 적용하여 반복적으로 정칙성 추정치를 향상시키고, 전이 함수 $\Phi$ 의 $C^r$ 정칙성을 확립한다.

실험 결과

연구 질문

• RQ1 주기 궤도가 없는 경우, 부분적으로 초구형 미분형식에서 $C^r$ 함수 $\phi$ 에 대해 코homological 방정식 $\phi = \Phi \circ f - \Phi$ 가 해를 갖는가?
• RQ2 만일 연속적인 해 $\Phi$ 가 존재한다면, $r$-bunching 조건과 접근 가능성 조건 하에서 $C^r$ 정칙성이 보장되는가?
• RQ3 함수 $\phi$ 에서 $\Phi$ 로의 정칙성 전이 과정에서 도함수 하나를 잃는 것은 필수적인가, 아니면 임의의 $\varepsilon > 0$ 에 대해 $\Phi$ 가 $C^{r-\varepsilon}$ 임을 보일 수 있는가?
• RQ4 제트 기반 호로지 방법을 사용하여 비-Anosov 설정에서 분할 리만에서의 정칙성을 전체 다변량으로 확장할 수 있는가?
• RQ5 $su$-경로 장애가 부분적으로 초구형 시스템에서 코homological 방정식의 가역성을 완전히 특징짓는가?

주요 결과

• $r$-bunching 조건과 접근 가능성 조건 하에서, $\phi$ 가 $C^r$ 이고 $r > 1$ 이 정수가 아닐 경우, 연속적인 해 $\Phi$ 는 $C^r$ 이다.
• $f$ 와 $\phi$ 가 $C^1$ 이면 해 $\Phi$ 는 $C^1$ 이고, $f$ 와 $\phi$ 가 실해석 함수이면 $\Phi$ 는 실해석 함수이다.
• $f$ 가 $C^1$ 이면 연속적인 해는 허들 연속성을 가진다. 이는 Livsic 결과를 부분적으로 초구형 시스템으로 확장한 것이다.
• Journé의 정리를 새로운 방식으로 적용하여, 수직 분할(예: $\mathcal{W}^u$ 와 $\widehat{\mathcal{W}}^{cs}$)에서의 $C^{\overline{\ell},\overline{\alpha}}$ 정칙성을 전역적 $C^r$ 정칙성으로 전이시켰다.
• 제트 다발 프레임워크를 통해 호로지 근사의 오차를 정확하게 정량화할 수 있었으며, 오차는 $o(d(x,y)^r)$ 로 유계되어 정칙성 전이를 가능하게 하였다.
• $r$-bunched 이고 접근 가능한 부분적으로 초구형 미분형식은, $su$-경로 장애가 사라질 때에만 코homological 방정식에 $C^r$ 해를 가진다.