[논문 리뷰] Rough differential equation in Banach space driven by weak geometric p-rough path

Terry Lyons, Danyu Yang|arXiv (Cornell University)|2014. 02. 12.

Advanced Numerical Analysis Techniques참고 문헌 9인용 수 3

한 줄 요약

이 논문은 약한 기하적 $p$-rough 경로에 의해 구동되는 바나흐 공간 내의 근본 미분 방정식(RDEs)에 대해, 잘린 지수 해 흐름을 근사하기 위한 명시적 상미분방정식(ODE)을 사용하여 보편 극한 정리의 범위를 확장한다. $\gamma > p$ 인 $\gamma$-홀더 연속 벡터장 하에서 해의 존재성, 유일성 및 정량적 연속성을 확립하며, 고차 오일러 전개와 일치하는 차원에 영향을 받지 않는 오차 한계를 제공한다.

ABSTRACT

By using an explicit ordinary differential equation to approximate the exponential solution flow, we extend the universal limit theorem to rough differential equation in Banach space driven by weak geometric rough path, and give the quantitative dependence of solution in term of the initial value, vector field and driving rough path.

연구 동기 및 목표

• 특히 $p \geq 3$ 이고 벡터장이 전역 리프시츠가 아닐 경우, 무한차원 바나흐 공간에 대한 리프시츠 경로 이론의 격차를 메운다.
• 해의 연속성 증명에 있어서 클래식한 도구들인 야코비 행렬과 윌슨의 정리가 바나흐 공간에서 실패하는 문제를 극복한다.
• 기하적 리프시츠 경로 가정이 너무 엄격한 경우에 적합한, 바나흐 공간 내 약한 기하적 $p$-rough 경로에 의해 구동되는 RDEs에 대한 견고한 해 프레임워크를 제공한다.
• 바나흐 공간 내에서 보편 극한 정리의 정량적 형태를 확립하여, 해가 초기 조건, 벡터장, 구동 경로에 어떻게 의존하는지 명시적으로 연결한다.
• 차원에 영향을 받지 않는 오차를 갖는 명시적 ODE 근사를 통해 바나흐 공간 내 RDE 해를 시뮬레이션할 수 있도록 한다.

제안 방법

• 작은 시간 간격에서 RDE의 잘린 지수 해 흐름을 근사하기 위해 리 다항식 벡터장이 포함된 명시적 ODE를 사용한다.
• 분할된 간격에 대해 수학적 귀납법을 적용하여 RDE 해와 ODE 근사 간의 차이를 제어한다.
• 대칭군 작용과 호환되는 적합한 노름을 사용하여 바나흐 공간 위의 텐서 대수에 통제 가능한 노름 구조를 정의한다.
• 경로의 불규칙성 정도를 측정하고 근사의 수렴을 보장하기 위해 제어 함수 $\omega$ 와 파라미터 $\alpha \in (0,1]$ 을 도입한다.
• 텐서 대수 내 해 흐름의 프로젝션 $\pi_k$ 에 대한 추정을 통해 잘린 지수 급수의 각 수준에서의 오차를 근사한다.
• 고차 오일러 전개 정확도와 일치하는 차원에 영향을 받지 않는 오차 한계 $\omega(t_i,t_{i+1})^{(\lfloor p\rfloor +1)/p} \vee \omega(t_i,t_{i+1})^{\lfloor p\rfloor}$ 를 유도한다.

실험 결과

연구 질문

• RQ1 약한 기하적 $p$-rough 경로에 의해 구동되는 바나흐 공간 내 RDEs에 대해 보편 극한 정리를 확장할 수 있는가?
• RQ2 무한차원 설정에서 해가 초깃값, 벡터장, 구동 리프시츠 경로에 대해 정량적으로 어떻게 의존하는가?
• RQ3 차원에 영향을 받지 않는 오차 한계를 갖는 명시적 ODE 근사를 통해 바나흐 공간 내 RDE 해를 시뮬레이션할 수 있는가?
• RQ4 벡터장의 홀더 지수 $\gamma$ 가 $\gamma \in (p-1, p)$ 일 때 해의 정규성과 연속성은 어떻게 달라지는가?
• RQ5 확장된 바나흐 공간 설정에서 리프시츠, 구빈엘리, Davie, Friz–Victoir의 해 개념이 겹치는 영역에서 일치하는가?

주요 결과

• 벡터장이 $\gamma$-홀더 연속이며 $\gamma > p$ 를 만족할 경우, 약한 기하적 $p$-rough 경로에 의해 구동되는 바나흐 공간 내 RDE의 해는 존재하고 유일하다.
• 초기 조건, 벡터장, 구동 리프시츠 경로에 대해 해가 연속적으로 의존하며, $\exp\left(C_{p,\gamma}(\omega^{\alpha_0}(0,T) + \alpha^{-1}\omega^{\alpha}(0,T))\right)$ 를 포함하는 정량적 경계가 존재한다.
• 임의의 간격 $[s,t]$ 에서 RDE 해의 증분을 $[0,1]$ 에서의 명시적 ODE로 시뮬레이션할 수 있으며, 오차는 고차 오일러 전개와 같은 순서이다.
• ODE 근사와 진짜 RDE 해 사이의 오차는 차원에 영향을 받지 않으며, $C_{p,\gamma}\exp\left(C_{p,\gamma}(\omega^{\alpha_0}(0,T) + \alpha^{-1}\omega^{\alpha}(0,T))\right) \sum_{j=0}^{n-1} \left(\omega(t_j,t_{j+1})^{(\lfloor p\rfloor +1)/p} \vee \omega(t_j,t_{j+1})^{\lfloor p\rfloor}\right)$ 로 유계화된다.
• 근사 ODE의 해는 노말라이제이션된 리 군 내에 값을 가지며, 지수 사상의 대수적 구조를 유지한다.
• 제안된 프레임워크는 리프시츠, 구빈엘리, Davie, Friz–Victoir의 해 개념을 겹치는 영역에서 통합하여, 바나흐 공간 내 다양한 공식화 간의 일관성을 확인한다.