[논문 리뷰] Integration of rough paths - the truncated variation approach

Rafał M. Łochowski|arXiv (Cornell University)|2014. 09. 12.

Nonlinear Partial Differential Equations참고 문헌 15인용 수 4

한 줄 요약

이 논문은 유한한 $ p $-변동을 갖는 함수를 엄밀히 포함하는 새로운 바나흐 공간 ${\cal U}^p([a;b])$를 정의하고, 절단된 변동을 이용한 리만-스틸티jes 적분의 새로운 접근법을 제시한다. 이 방법은 로에브-영 부등식을 보다 정교하게 다듬고, 유한한 이차 변동을 갖지 않지만 새로운 노름 조건을 만족하는 중간 정도로 불규칙한 신호(예: 브라운 운동)에 의해 구동되는 적분 방정식에 대해 더 강력한 존재성 결과를 도출한다.

ABSTRACT

Using truncated variation techniques we obtain an improved version of the Loeve-Young inequality for the Riemann-Stieltjes integrals driven by rough paths. This allowed us to strenghten some result on the existence of solutions of integral equations driven by moderately irregular signals. We introduce also a new Banach space, containing as a proper subspace the paths with finite $p$-variation, and develop, in a systematic way, several parallel results for the paths from this space, obtained so far for the paths with finite $p$-variation. We start the paper with a general theorem on the existence of the Riemann-Stieltjes integral.

연구 동기 및 목표

• 리만-스틸티제스 적분의 존재 조건을 절단된 변동 기능을 이용해 일반화하는 것.
• 절단된 변동의 $\delta \to 0^+$ 행동과 $p$-변동의 유한성 간의 관계를 규명함으로써 로에브-영 부등식을 개선하는 것.
• 기존의 $p$-유한 변동 함수 공간을 엄밀히 포함하는 새로운 바나흐 공간 ${\cal U}^p([a;b])$를 도입하고 발전시키는 것.
• 전통적인 $p$-변동 프레임워크를 초월하여, 불규칙한 신호에 의해 구동되는 적분 방정식의 존재성 및 정규성 결과를 확장하는 것.

제안 방법

• 함수 $f$에 대해 $\text{TV}^\delta(f,[a;b])$를 $f$의 $\delta/2$-균일 근사의 총 변동의 하한으로 정의하며, 이는 분할에 대해 $\max\{|f(t_i)-f(t_{i-1})| - \delta, 0\}$의 합과 동치이다.
• 절단된 변동에 기반한 일반적인 존재 정리(정리 1)를 증명하여 유한 총 변동과 유한 $p$-변동의 경우를 통합한다.
• 노름 $\|f\|_{TV,p,[a;b]} := |f(a)| + \sup_{\delta>0} \left( \delta^{p-1} \text{TV}^\delta(f,[a;b]) \right)^{1/p}$을 도입하여 바나흐 공간 ${\cal U}^p([a;b])$를 정의한다.
• 새로운 노름을 이용해 이차 변동이 무한한 경로(예: 브라운 운동)가 거의 확실히 ${\cal U}^2([0;T])$에 속한다는 것을 증명한다.
• 적분 방정식에 프레임워크를 적용하기 위해, 절단된 변동 노름에 기반한 추론을 사용한 ${\cal U}^p$에서의 수축 사상 원리를 증명한다.
• 정량적 부등식(보조정리 2, 3)을 유도하여, $p$와 $q$-변동에 대한 명시적인 의존성을 포함하는 더 강력한 로에브-영 부등식의 형태를 도출한다.

실험 결과

연구 질문

• RQ1 총 변동이나 $p$-변동보다 더 정밀하게 불규칙성을 캡처하는 기능을 사용하여 리만-스틸티제스 적분의 존재성을 보장할 수 있는가?
• RQ2 절단된 변동의 $\delta \to 0^+$ 행동은 $p$-변동의 유한성과 어떻게 관련되는가?
• RQ3 유한 $p$-변동 경로 공간보다 엄밀히 큰 경로의 바나흐 공간을 정의할 수 있는가, 그러나 여전히 확률적 적분에 적합한가?
• RQ4 새로운 프레임워크는 $p$-변동 적분에 대해 로에브-영 부등식의 더 강력한 형태를 도출할 수 있는가?
• RQ5 기존에 알려진 것보다 넓은 함수 공간에서 불규칙한 신호에 의해 구동되는 적분 방정식의 해 존재성을 증명할 수 있는가?

주요 결과

• 모든 $\delta > 0$에 대해 절단된 변동 기능 $\text{TV}^\delta(f,[a;b])$가 유한한 것은 $f$가 조절된 함수일 때이고, 이는 분할에 대해 $\sum \max\{ |\Delta f| - \delta, 0 \}$의 명시적 공식과 동치이다.
• 기능 $\|f\|_{TV,p,[a;b]} = |f(a)| + \sup_{\delta>0} \left( \delta^{p-1} \text{TV}^\delta(f,[a;b]) \right)^{1/p}$는 공간 ${\cal U}^p([a;b])$ 위에서 노름을 정의하며, 이를 통해 바나흐 공간이 된다.
• ${\cal U}^p([a;b])$ 공간은 유한 $p$-변동 함수 공간 ${\cal V}^p([a;b])$를 엄밀히 포함한다. 브라운 운동이 $[0;T]$에서의 예로 제시된다.
• 브라운 운동 $B$에 대해 $V^2(B,[0;T]) = \infty$ 거의 확실히 성립하지만, $\|B\|_{TV,2,[0;T]} < \infty$ 거의 확실히 성립하므로 $B \in {\cal U}^2([0;T])$이다.
• 더 강력한 로에브-영 부등식이 유도되었다(보조정리 2, 3). 이는 $p$- 및 $q$-변동 신호에 대한 리만-스틸티제스 적분에 대해 기존의 경계를 향상시킨다.
• 모든 $F$가 전역 리프시츠 조건을 만족하고 $x$가 ${\cal U}^p$에 속할 때, 작은 시간 수축 조건 하에 $y(t) = y_0 + \int_a^t F(y(s)) \, dx(s)$의 유일한 해가 ${\cal U}^p([a;b])$에서 존재함을 증명하였다.