[논문 리뷰] On Hölder continuity of the solution of stochastic wave equations

Yaozhong Hu, Jingyu Huang외 1명|arXiv (Cornell University)|2013. 08. 29.

Stochastic processes and financial applications참고 문헌 9인용 수 4

한 줄 요약

이 논문은 3차원 스토크래틱 웨이브 방정식의 해에 대한 허더 연속성을 공간 비균일한 가우시안 노이즈에 의해 유도하는 데, 푸리에 변환에 의존하지 않고 공분산 함수의 연속성 모듈러스에 대한 새로운 조건을 사용한다. 분수 Brown 운동 노이즈에 대해 최적의 허더 지수를 도출하고, 공간 연속성에 대한 직접적이고 푸리에 변환을 사용하지 않는 방법을 제시하며, 분산 하한을 통한 정밀한 경계 확인을 수행한다.

ABSTRACT

In this paper, we study the stochastic wave equations in the spatial dimension 3 driven by a Gaussian noise which is white in time and correlated in space. Our main concern is the sample path Hölder continuity of the solution both in time variable and in space variables. The conditions are given either in terms of the mean Hölder continuity of the covariance function or in terms of its spectral measure. Some examples of the covariance functions are proved to satisfy our conditions, which include the case of the work \cite{dalang4}. In particular, we obtain the Hölder continuity results for the solution of the stochastic wave equations driven by (space inhomogeneous) fractional Brownian noises. For this particular noise, the optimality of the obtained Hölder exponents is also discussed.

연구 동기 및 목표

• 3차원 스토크래틱 웨이브 방정식의 해에 대한 샘플 경로 허더 연속성을 공간 비균일한 가우시안 노이즈가 있는 경우에 확립한다.
• 푸리에 변환 기법을 회피하고 공분산 함수의 연속성 모듈러스에 직접 작용하는 방식으로 허더 연속성을 증명하는 새로운 방법을 개발한다.
• 공간에서 분수 Brown 운동 노이즈에 의해 영향을 받는 해에 대한 최적의 허더 지수를 결정한다.
• 기존의 푸리에 기반 방법과 비교하여, 공간 정규성 처리에서의 이점이 있는지를 보여준다.
• 선형이고 가우시안 노이즈가 있는 경우 분산 하한을 통해 도출된 허더 지수의 정밀성을 검증한다.

제안 방법

• 공분산 함수 $ f $ 에 대한 이동 연산자의 연속성 모듈러스에 기반한 새로운 접근법을 도입하며, $ \|D_w f - f\|_{L^1(\rho)} \leq C|w|^\gamma $ 과 $ \|D_w f + D_{-w} f - 2f\|_{L^1(\rho)} \leq C|w|^{\gamma'} $ 를 요구한다. 여기서 $ \rho(dz) = \mathbf{1}_{\{|z|\leq 2T\}} \frac{1}{|z|} dz $ 이다.
• 시간 허더 연속성을 증명하기 위해 시간 증분을 공간 증분으로 변환하고, $ [0,T] \times (S^2)^2 $ 에서 균일 측도를 갖는 이동 연산자에 대한 적분 조건을 도입한다.
• 푸리에 변환 방법을 보조적으로 적용하여, $ \int_{\mathbb{R}^3} \frac{\mu(d\zeta)}{1+|\zeta|^{2-2\gamma}} < \infty $ 이고 $ \mathcal{F}(|\zeta|^{2\gamma}\mu)(\zeta) \geq 0 $ 이면, $ \kappa < \gamma $ 에 대해 허더 연속성이 성립함을 보인다.
• 특정 공분산 함수에 대해 두 방법을 적용하며, Riesz 및 베셀 커널, 그리고 $ f(x) = \prod_{i=1}^3 |x_i|^{2H_i - 2} $, $ H_i \in (1/2,1) $ 인 분수 노이즈를 포함한다.
• 선형이고 가우시안 노이즈가 있는 경우 분산 하한을 통해 최적의 허더 지수 $ \bar{\kappa} = \sum_{i=1}^3 H_i - 2 $ 를 확립한다.
• 코모고로프의 보조정리와 모멘트 추정을 사용하여 선형 케이스에서 지수 $ \bar{\kappa} $ 의 정밀성을 확인한다.

실험 결과

연구 질문

• RQ1 공분산 함수 $ f $ 에 어떤 조건이 성립하면 3차원 스토크래틱 웨이브 방정식의 해가 시간과 공간 변수 모두에서 허더 연속성이 보장되는가?
• RQ2 푸리에 변환 기법에 의존하지 않고도 해의 허더 연속성을 확립할 수 있는가?
• RQ3 3차원에서 허스트 매개수 $ H_i \in (1/2,1) $ 를 가진 분수 Brown 운동 노이즈에 의해 영향을 받는 경우 해에 대한 최적의 허더 지수는 무엇인가?
• RQ4 기존의 푸리에 기반 접근법과 비교할 때, 새로운 연속성 모듈러스 기반 방법은 적용 가능성과 정밀성 측면에서 어떻게 다른가?
• RQ5 유도된 허더 지수 $ \bar{\kappa} = \sum H_i - 2 $ 는 분수 노이즈에 대해 최적이며, 이는 어떻게 확인되는가?

주요 결과

• 공분산 함수 $ f $ 에 대해 $ L^1(\rho) $-노름 하에서 이동 연산자의 허더 지수 $ \gamma $ 와 $ \gamma' $ 이 성립할 경우, 3차원 스토크래틱 웨이브 방정식의 해는 국소적으로 공간에서 지수 $ \kappa < \min(\gamma, \gamma'/2) $ 에 대해 허더 연속성이 보장된다.
• 시간 허더 연속성의 경우, $ [0,T] \times (S^2)^2 $ 에서의 적분 연속성 모듈러스에 대한 조건을 유도하여 시간 정규성 조건을 공간 유사 증분으로 이전할 수 있다.
• 푸리에 변환 방법을 통해 $ \int_{\mathbb{R}^3} \frac{\mu(d\zeta)}{1+|\zeta|^{2-2\gamma}} < \infty $ 이고 $ \mathcal{F}(|\zeta|^{2\gamma}\mu)(\zeta) \geq 0 $ 이면, $ \kappa < \gamma $ 에 대해 허더 연속성이 성립함을 보이며, 이는 Riesz 커널에 대한 직접적 증명을 제공한다.
• 분수 Brown 운동 노이즈에 대해 $ f(x) = \prod_{i=1}^3 |x_i|^{2H_i - 2} $ 이면, 해는 공간과 시간에서 지수 $ \kappa_i < \min(H_i - 1/2, \bar{\kappa}) $ 에 대해 허더 연속성이 보장되며, 여기서 $ \bar{\kappa} = \sum H_i - 2 $ 이고, 초기 조건이 0일 경우이다.
• 선형이고 가우시안 노이즈가 있는 경우($ \sigma=1, b=0, v_0=\bar{v}_0=0 $), 최적의 허더 지수는 $ \bar{\kappa} $ 이며, 증분에 대한 분산 하한을 통해 확인된다.
• 지수 $ \bar{\kappa} $ 는 정밀하다: 임의의 $ \kappa < \bar{\kappa} $ 에 대해 해는 거의 확실히 $ \kappa $-허더 연속성이지만, $ \bar{\kappa} $ 초과로는 지수를 향상시킬 수 없다.