[논문 리뷰] H\"ormander's theorem for rough differential equations on manifolds

Thomas Cass, Martin P. Weidner|arXiv (Cornell University)|2016. 04. 25.

Mathematical and Theoretical Analysis참고 문헌 29인용 수 4

한 줄 요약

이 논문은 레이블이 붙은 루트 트리 위의 Grossman-Larson 호프 대수를 사용하여 매끄러운 다양체 위에서의 거친 미분방정식(RDE)의 해에 대한 내재적이고 좌표에 불변인 정의를 제안한다. 벡터 공간에서의 고전적 Davie 해와의 등가성을 확립하고, 비특이성 조건을 만족하는 가우시안 거친 경로에 의해 구동되는 다양체 값 RDE의 해에 대해 Hormander 조건 하에서 매끄러운 조밀도 정규성을 증명하며, 마르티니 반복적 미분법을 다양체로 일반화한다.

ABSTRACT

We introduce a new definition for solutions $Y$ to rough differential equations (RDEs) of the form $\mathrm d Y_{t} =V\left (Y_{t} ight )\mathrm d\mathbf X_{t} ,Y_{0} =y_{0} ext{}$. By using the Grossman-Larson Hopf algebra on labelled rooted trees, we prove equivalence with the classical definition of a solution advanced by Davie when the state space $E$ for $Y$ is a finite-dimensional vector space. The notion of solution we propose, however, works when $E$ is any smooth manifold $\mathcal{M}$ and is therefore equally well-suited for use as an intrinsic defintion of an $\mathcal{M}$-valued RDE solution. This enables us to prove existence, uniqueness and coordinate-invariant theorems for RDEs on $\mathcal{M}$ bypassing the need to define a rough path on $\mathcal{M}$. Using this framework, we generalise result of Cass, Hairer, Litter and Tindel proving the smoothness of the density of $\mathcal{M}$-valued RDEs driven by non-degenerate Gaussian rough paths under H\ormander's bracket condition. In doing so, we reinterpret some of the foundational results of the Malliavin calculus to make them appropriate to the study $\mathcal{M}$-valued Wiener functionals.

연구 동기 및 목표

• 매끄러운 다양체 위에서의 거친 미분방정식(RDE) 해에 대한 좌표에 불변인 내재적 정의를 개발하는 것.
• 유한차원 벡터 공간에서 유효한 고전적 Davie 유형의 해를 다양체 설정으로 일반화하여 다양체 위에서의 거친 경로의 상승이 필요 없도록 하는 것.
• 비특이성 조건을 만족하는 가우시안 거친 경로에 의해 구동되는 다양체 값 RDE의 해에 대해 밀도의 존재, 유일성 및 매끄러움을 확립하는 것.
• 위너 기능에 대한 마르티니 반복적 미분법의 기초 결과를 다양체 값 확률과정의 맥락에서 재해석하는 것.

제안 방법

• 레이블이 붙은 루트 트리 위의 Grossman-Larson 호프 대수를 사용하여 다양체 위의 RDE에 대한 새로운 해 개념을 도입한다.
• 상태공간이 유한차원 벡터 공간일 경우, 새로운 해 정의와 Davie의 해 사이의 등가성을 확립한다.
• 레이블이 붙은 루트 트리의 대수적 구조를 사용하여 좌표에 의존하지 않는 방식으로 반복적 적분과 해 전개를 표현한다.
• 이 프레임워크를 활용하여 다양체 위의 RDE에 대해 거친 경로를 다양체 위에 구축하지 않고도 해의 존재성과 유일성을 증명한다.
• Hormander의 괄호 조건을 다양체 설정으로 일반화하고, 이 해 프레임워크를 사용하여 해의 법칙에 대한 매끄러운 조밀도를 증명한다.
• 마르티니 반복적 미분법 도구를 다양체 값 위너 기능에 적용할 수 있도록 재해석하여 밀도 정규성의 연구를 가능하게 한다.

실험 결과

연구 질문

• RQ1 레이블이 붙은 루트 트리 위의 호프 대수 같은 대수적 구조를 사용하여 매끄러운 다양체 위에서의 RDE 해에 대해 좌표에 불변인 내재적 정의를 구성할 수 있는가?
• RQ2 제안된 해 개념은 유한차원 벡터 공간에서의 고전적 Davie 해를 일반화하면서도 다양체에서 유효한가?
• RQ3 가우시안 거친 경로에 의해 구동되는 다양체 값 RDE의 해가 매끄러운 밀도를 갖는 조건은 무엇인가?
• RQ4 마르티니 반복적 미분법 도구를 다양체 값 위너 기능의 법칙의 정규성 연구에 어떻게 적응시킬 수 있는가?
• RQ5 Hormander 조건을 사용하여 비특이성 조건을 만족하는 가우시안 거친 경로에 의해 구동되는 다양체 위의 RDE 해에 대해 매끄러운 밀도를 확보할 수 있는가?

주요 결과

• 제안된 다양체 위의 RDE 해 개념은 유한차원 벡터 공간에서 Davie의 해와 등가적이며, 일관성을 검증한다.
• 해 프레임워크를 통해 다양체 위의 RDE에 대해 거친 경로를 다양체 위에 구축하지 않고도 해의 존재성과 유일성을 보장할 수 있다.
• 논문은 비특이성 조건을 만족하는 가우시안 거친 경로에 의해 구동되는 매끄러운 다양체 위의 RDE 해의 법칙이 Hormander의 괄호 조건을 만족할 경우 매끄러운 밀도를 가짐을 증명한다.
• 이 프레임워크를 통해 마르티니 반복적 미분법의 핵심 결과를 다양체 값 위너 기능에 적용할 수 있도록 재해석할 수 있으며, 그 적용 범위를 확장한다.
• 레이블이 붙은 루트 트리 위의 Grossman-Larson 호프 대수를 사용함으로써 다양체 위에서의 해 전개에 대한 반복적 적분을 체계적이고 내재적인 방식으로 다룰 수 있다.