[논문 리뷰] Dimension-free Euler estimates of rough differential equations

Youness Boutaib, Lajos Gergely Gyurkó외 2명|arXiv (Cornell University)|2013. 07. 17.

Advanced Numerical Analysis Techniques참고 문헌 14인용 수 16

한 줄 요약

이 논문은 바나흐 공간에서 $p$-rough 경로에 의해 구동되는 거친 미분 방정식의 해에 대해 차원에 의존하지 않는 고차수 오일러 추정을 제시한다. 이는 명시적인 오차 한계를 가진 리 급수 지수 근사법을 사용한다. 주요 기여는 이전 결과를 무한차원 설정으로 확장하는 차원에 독립적인 일반적인 오차 추정이다. 이는 모든 바나흐 공간에서 차원 의존 없이 안정적인 분석을 가능하게 한다.

ABSTRACT

We give a dimension-free Euler estimation of solution of rough differential equations in term of the driving rough path. In the meanwhile, we prove that, the solution of rough differential equation is close to the exponential of a Lie series, with a concrete error bound.

연구 동기 및 목표

• 무한차원 바나흐 공간에서 거친 미분 방정식의 해에 대해 차원에 의존하지 않는 고차수 오일러 추정을 개발한다.
• Davie, Friz, 그리고 Victoir의 이전 결과를 차원 의존적인 것에서 모든 바나흐 공간에서 유효한 일반적 프레임워크로 확장한다.
• 거친 미분 방정식의 해와 리 급수의 지수 사이의 구체적인 오차 한계를 수립한다.
• 구성 요소의 진동 성분에 대한 세부 경로 분석 없이도, 진동 성분의 영향을 정량화하는 상향식의, 기계 구조에 의존하지 않는 추정을 제공한다.
• 차원 제약 조건을 제거함으로써 거친 경로 이론이 확률적 및 무한차원 시스템에 더 넓게 적용될 수 있도록 한다.

제안 방법

• Davie와 Friz-Victoir의 방법을 수정하여 기하적 근사 기법을 조정함으로써 차원 의존성을 제거한다.
• 작은 간격 $[s,t]$에서 거친 미분 방정식의 해를 $s,t$에 따라 변하는 벡터장이 있는 보조 상미분방정식(ODE)의 해와 비교한다.
• Arous, Hu, 그리고 Castell의 영감을 얻어 리 급수 지수 표현을 사용하여 반복된 리 브라켓을 통한 해의 근사화를 수행한다.
• 일반적인 극한 정리를 적용하여 유계 변동 경로에 의해 구동되는 상미분방정식에서 거친 미분 방정식의 극한으로의 전환을 수행한다.
• $p$-변동 거리와 $S_n$-서명 사상($S_n$-signature map)을 사용하여 근사 경로의 수렴을 거친 경로 위상에서 제어한다.
• 단계-$n$의 노름이 있는 리 군 $G^n(\mathcal{V})$ 상의 동차 노름을 사용하여 오차 한계를 확립함으로써 모든 차원에서의 균일성을 확보한다.

실험 결과

연구 질문

• RQ1 바나흐 공간에서 거친 미분 방정식에 대한 고차수 오일러 추정을 차원에 의존하지 않게 만들 수 있는가?
• RQ2 거친 미분 방정식의 해와 리 급수의 지수 사이의 정확한 오차 한계는 무엇인가?
• RQ3 어떻게 거친 미분 방정식의 해를 리 브라켓 벡터장이 있는 시간 스케일링된 ODE를 통해 근사화할 수 있는가?
• RQ4 일반적인 극한 정리는 유한차원 결과를 무한차원 설정으로 확장하는 데 얼마나 효과적으로 사용될 수 있는가?
• RQ5 모든 바나흐 공간에서 근사 해의 수렴을 균일하게 정량화할 수 있는가?

주요 결과

• 논문은 어떤 바나흐 공간에서든 $p$-rough 경로에 의해 구동되는 거친 미분 방정식의 해에 대해 차원에 의존하지 않는 고차수 오일러 추정을 수립하였으며, 이는 기저 차원에 무관한 오차 한계를 가진다.
• 거친 미분 방정식의 해는 $C_{p,\gamma}(|f|_{Lip(\gamma)} \|X\|_{p\text{-var},[s,t]})^{\gamma+1}$ 이내에 리 급수의 지수와 일치하며, 이는 $p$와 $\gamma$에만 의존하는 명시적인 상수를 가진다.
• 근사 경로 $x^l$ 이 거친 경로 $X$ 에 대해 $p$-변동에서 수렴함에 따라, $t \in [0,T]$ 에서 근사 해 $y^l$ 이 진짜 해 $Y$ 로 균일하게 수렴한다.
• 구간 $[s,t]$에서의 해는 $S_{\lfloor\gamma\rfloor+1}(X)_{s,t}$ 의 서명에 기반한 리 급수로부터 유도된 벡터장이 있는 $[0,1]$ 에서의 스케일링된 ODE 로 근사된다.
• 근사 ODE의 해 $y^{s,t,l}$ 이 $l \to \infty$ 일 때 제한 ODE의 해 $y^{s,t}$ 로 수렴함을 보여, 근사의 안정성을 확보한다.
• 단계-$n$의 리 군 $G^n(\mathcal{V})$ 상의 동차 노름을 사용함으로써 모든 바나흐 공간, 특히 무한차원 공간에서도 균일한 오차 제어를 달성한다.