[논문 리뷰] On the regularization of conservative maps

Artur Avila|ArXiv.org|2008. 10. 08.

Mathematical Dynamics and Fractals참고 문헌 23인용 수 6

한 줄 요약

이 논문은 매끄러운 다양체 위에서 $C^\infty$ 체적 보존 사상들이 $C^1$ 체적 보존 사상들의 공간에서 $C^1$-밀집임을 증명하며, 동역학계에서 오랫동안 미해결된 문제를 해결한다. 증명은 표면 기반 기법과 PDE에 영향을 받은 아이디어를 혼합한 국소적이고 귀납적인 접합 절차를 통해 매끄러운 근사치를 구성하며, 장거리 의존성을 피하기 위해 국소성을 확보하고, $C^1$ 정규성에서 표준 정규화 기법의 실패를 극복한다.

ABSTRACT

We show that smooth maps are $C^1$-dense among $C^1$ volume preserving maps.

연구 동기 및 목표

• 모든 $C^1$ 체적 보존 사상들 사이에서 $C^\infty$ 체적 보존 사상들이 $C^1$-위상에서 밀집되는지 여부라는 미해결 문제를 해결하기 위해.
• Zehnder의 작업 이후 $r>1$인 경우에 대해 오랫동안 미해결 상태였던 $C^1$ 보존 사상에 대한 정규화 정리 제공.
• 특히 체적 요인의 $C^0$ 노름에 대한 통제 부족으로 인해 $C^1$ 정규화 기법이 실패하는 문제를 극복하기 위해.
• $C^1_{\operatorname{vol}}$ 범주가 보존 동역학의 올바른 프레임워크임을 입증하기 위해, 연속적인 체적 형식이 반드시 매끄럽지 않은 것과 $C^1$-동치가 되지 않을 수 있음을 고려하여.
• $C^1_{\operatorname{vol}}$의 구조가 반드시 $C^\infty_{\operatorname{vol}}$의 구조와 호환되지 않는다는 점을 보여주며, $C^1_{\operatorname{vol}}$ 범주의 필요성을 강조하기 위해.

제안 방법

• 셀의 계층적 순서에 따라 랭크 기반의 귀납적 절차를 사용하여, 중첩된 셀 가족 위에서 국소적 $C^\infty_{\operatorname{vol}}$ 사상을 정의함으로써 매끄러운 근사치를 구성한다.
• 구축 과정에서 호환성과 국소성을 확보하기 위해 배경 사상 $f$를 사용하여 국소적 결정을 유도한다.
• 매개변수 $\lambda_x$, $H_x$, $s$를 통한 스케일링 및 접합 기법을 활용하여, $x$-좋음 조건을 만족하고 서로 겹치는 셀 간에 호환되는 $\tilde{h}_x$를 정의한다.
• Corollary 4를 적용하여 국소 사상을 전체 셀로 확장하면서 체적 보존성과 $C^\infty$ 정규성을 유지하고, $C^1$-노름에 대한 통제를 확보한다.
• 다양체의 삼등분을 사용하고 차원 기반으로 국소 구조를 차례로 확장하여 전역적 근사치로 확장한다.
• 단계별로 단순체의 차원이 증가하는 순서로 매끄럽게 다듬는 과정을 수행하며, 이미 다듬어진 영역 근처의 사상은 유지한다.

실험 결과

연구 질문

• RQ1 모든 $C^\infty$ 체적 보존 사상들은 $C^1$ 체적 보존 사상들에 의해 $C^1$-근사될 수 있는가?
• RQ2 Dacorogna-Moser 접근법은 $r \geq 2$인 경우에선 작동하지만, 왜 $C^1$ 경우에선 실패하는가?
• RQ3 모든 연속적인 체적 형식은 $C^1$ 다양체 위에서 매끄러운 체적 형식과 $C^1$-동치인가?
• RQ4 $C^1_{\operatorname{vol}}$ 범주가 보존 동역학의 올바른 설정인가, 아니면 $C^1$과 연속적인 체적 형식만으로는 부족한가?
• RQ5 $유도 흐름이나 생성 함수에 의존하지 않고도 $C^1$ 보존 사상에 대한 정규화 정리를 달성할 수 있는가?

주요 결과

• $C^\infty$ 체적 보존 사상들의 공간은 임의의 $C^\infty$ 다양체 위에서 $C^1$ 체적 보존 사상들의 공간에서 $C^1$-밀집이다.
• Burago-Kleiner 및 McMullen의 반례는 $C^1$ 표면 위에서 모든 연속적인 체적 형식이 반드시 매끄럽지 않은 것과 $C^1$-동치가 되지 않음을 보여주며, 난이도 있는 정규화 접근법의 실패를 입증한다.
• $C^1_{\operatorname{vol}}$의 구조는 반드시 $C^\infty_{\operatorname{vol}}$의 구조와 호환되지 않으며, 이는 고정밀도에서의 성질과는 다르다.
• 구축 과정은 $\|\tilde{f} - f\|_{C^1}$ 이 전역적으로 작고, 컴acts 집합 $K_0$ 근처에서는 $\tilde{f} = f$ 임을 보장한다.
• 전역 근사치는 삼등분 기반의 귀납적 절차를 통해 달성되며, 이는 점진적으로 증가하는 차원의 셀들 사이에서 국소적 $C^\infty_{\operatorname{vol}}$ 사상을 매끄럽게 확장한다.
• 원래 사상 $f$에 의해 유도되는 결정 과정을 통해 국소성을 강제함으로써 장거리 영향을 피하고, 이산화된 PDE 접근법의 함정을 피한다.