[논문 리뷰] Homological differential calculus

Nicolas Vichery|arXiv (Cornell University)|2013. 10. 17.

Mathematical and Theoretical Analysis참고 문헌 7인용 수 7

한 줄 요약

이 논문은 미세국소 층 이론을 활용하여 닫힘 미분 가능 다양체 위의 연속 함수에 대해 새로운 호모로지 하위미분을 도입하며, 그 하위선형성, 곱법칙, 그리고 균일 수렴 하에서의 근사성을 입증한다. 주요 기여는 고전적 개념을 일반화하고, 특히 $C^0$ 해밀토니안 시스템에서의 $C^0$ 심플렉틱 기하학과 아브리-마처 이론에 적합한 강력하고 호모로지 기반의 하위미분을 제공하는 것이다.

ABSTRACT

This article provides a definition of a subdifferential for continuous functions based on homological considerations. We show that it satisfies all the requirement for a good notion of subdifferential. Moreover, we prove sublinearity, a Leibniz formula and an approximation result. This work fits in the framework of microlocal analysis of sheaves for C^0 symplectic problems and application to Aubry-Mather theory.

연구 동기 및 목표

• 호모로지적이고 미세국소 층 이론적 방법을 사용하여 연속 함수에 대한 새로운 하위미분을 정의하는 것.
• 이 새로운 하위미분이 하위선형성과 곱법칙과 같은 좋은 하위미분의 표준 공리들을 만족시키도록 보장하는 것.
• 고급 미세지지 기반 기법에 의존하지 않고도 접근 가능한, 호모로지 기반의 정의를 제시하는 것.
• 균일 수렴하는 $C^0$ 함수 수열에 대해 근사 결과를 확립하는 것.
• 이 새로운 하위미분을 통해 비볼록 해밀토니안 시스템에서 아브리-마처 이론을 확장하는 기초를 마련하는 것.

제안 방법

• 카시와라-샤피라의 프레임워크에 따라 층의 미세지지와 층의 특이지지 개념을 사용하여 호모로지 하위미분을 정의한다.
• 코homological 변화를 통한 미세국소 모스 변형 개념을 활용하여 임계점을 특성화하고 하위미분을 정의한다.
• 함수가 연속일 경우 특이 호모로지를 사용하여 하위미분을 정의함으로써 고급 층 이론적 장비에 의존하지 않는다.
• 층 사상과 미세지지의 성질을 이용하여 호모로지 하위미분의 하위선형성과 곱법칙을 증명한다.
• 균일 수렴하는 $C^0$ 수열에서 하위미분의 행동을 입증하며, 이는 심플렉틱 기하학에서의 파울리 브라켓 극한과 연결된다.
• 확장된 레지온드르 변환과 층의 미세지지 사이의 관계를 규명하여, 호모로지 하위미분이 $T^*M$에서 미분의 회전된 그래프와 대응됨을 보여준다.

실험 결과

연구 질문

• RQ1 호모로지적이고 미세국소 층 이론적 도구를 사용하여 연속 함수에 대한 하위미분을 정의할 수 있는가?
• RQ2 이 호모로지 하위미분은 하위선형성과 곱법칙과 같은 표준 하위미분 공리들을 만족하는가?
• RQ3 이 호모로지 하위미분은 리프시츠 함수의 경우 고전적 하위미분(클라크 하위미분, 근사 하위미분 등)과 어떻게 관련이 있는가?
• RQ4 이 하위미분을 사용하여 비볼록 해밀토니안 시스템에서 아브리-마처 이론을 일반화할 수 있는가?
• RQ5 특히 파울리 브라켓과의 관련성에서, 이 하위미분은 $C^0$ 수열의 균일 수렴 하에서 어떻게 행동하는가?

주요 결과

• 호모로지 하위미분은 하위선형성과 곱법칙을 포함한 모든 좋은 하위미분의 표준 요구사항을 만족한다.
• 고급 미세지지 기반 장비에 의존하지 않는, 호모로지 기반의 대체 정의가 제시되어 연속 함수에 대해 접근 가능하다.
• 하위미분은 균일 수렴 하에서 안정적이다: 만약 $f_n \to f$ 이면, $f$의 하위미분은 큰 $n$에 대해 $f_n$의 하위미분들의 폐포들의 교집합에 속한다.
• 호모로지 하위미분은 $C^1$ 함수의 고전적 도함수를 일반화하고, 자연스럽게 $C^0$ 함수로 확장된다.
• 리프시츠 함수의 확장된 레지온드르 변환은 그 볼록 쌍대 함수의 에피그래프에 대응하는 층과 동형이며, 이는 층 이론적 구성과 볼록 해석학을 연결한다.
• 표준 회전 $J$ 하에서, 하위미분은 $T^*M$에서 미분의 회전된 그래프와 대응되며, 심플렉틱 기하학적 해석을 제공한다.