[논문 리뷰] On the martingale probem associated to the 2D and 3D Stochastic Navier-Stokes equations

Giuseppe Da Prato, Arnaud Debussche|ArXiv.org|2008. 05. 13.

Stochastic processes and financial applications참고 문헌 13인용 수 7

한 줄 요약

이 논문은 2차원 및 3차원 스토하스틱 나비에-스토크스 방정식의 마팅게일 문제를 분석하기 위해 관련된 콜모고로프 연산자와 그 무한소 생성자에 초점을 맞춘다. 2차원에서는 콜모고로프 연산자의 명시적 코어를 확립하여 고전적 방법으로 유일성을 증명하고, 3차원에서는 수정된 콜모고로프 연산자를 도입하여 해가 정칙성을 유지하는 시간까지의 유일성을 증명한다. 이는 수정된 셈그룹과 페인만-카크 유형의 추정을 활용한다.

ABSTRACT

We consider the martingale problem associated to the Navier-Stokes in dimension 2 or 3. Existence is well known and it has been recently shown that markovian transition semi group associated to these equations can be constructed. We study the Kolmogorov operator associated to these equations. It can be defined formally as a differential operator on an infinite dimensional Hilbert space. It can be also defined in an abstract way as the infinitesimal generator of the transition semi group. We explicit cores for these abstract operators and identify them with the concrete differential operators on these cores. In dimension 2, the core is explicit and we can use a classical argument to prove uniqueness for the martingale problem. In dimension 3, we are only able to exhibit a core which is defined abstractly and does not allow to prove uniqueness for the martingale problem. Instead, we exhibit a core for a modified Kolmogorov operator which enables us to prove uniqueness for the martingale problem up to the time the solutions are regular.

연구 동기 및 목표

• 무한차원 힐베르트 공간에서 마코프 전이 셈그룹의 추상적 무한소 생성자와 콜모고로프 연산자의 구체적 미분 형태 사이의 관계를 명확히 하기 위해.
• 2차원에서 콜모고로프 연산자의 명시적 코어를 확립하여 마팅게일 문제에 대한 고전적 유일성 증명 기법을 가능하게 하기 위해.
• 3차원에서 명시적 코어의 부재를 극복하기 위해 수정된 콜모고로프 연산자를 도입하여, 해가 정칙성을 유지하는 시간까지의 유일성 증명을 가능하게 하기 위해.
• 페인만-카크 유형의 지수 함수를 통해 정의된 수정된 셈그룹 $ S_t $를 활용하여 콤팩트성 증명에 필수적인 스무딩 및 사전 추정을 도출하기 위해.
• 소음에 대해 최소한의 조건(트레이스 클래스, 비퇴화, $ \text{Tr}((-A)^{1+g}Q) < \fty $)을 가정할 때, 전체 3차원 사례로의 마코프 전이 셈그룹의 구성 확장을 위해.

제안 방법

• 마코프 전이 셈그룹 $ P_t $의 무한소 생성자로 콜모고로프 연산자 $ L $을 정의하고, 코어 영역에서 형식적 미분 연산자 $ L\varphi(x) = \frac{1}{2}\text{Tr}\{QD^2\varphi(x)\} + (Ax + b(x), D\varphi(x)) $ 와 일치시킨다.
• Galerkin 근사에서 $ S_t^m\varphi(x) = \mathbb{E}\left[ e^{-K\int_0^t |AX(s,x)|^2 ds} \varphi(X(t,x)) \right] $ 로 정의된 수정된 셈그룹 $ S_t^m $을 구성하며, 이는 정(regularity)을 향상시키는 감쇠 인자를 포함한다.
• 식 $ P_t^m\varphi = S_t^m\varphi + K\int_0^t S_{t-s}^m(|A\cdot|^2 P_s^m\varphi) ds $ 를 이용해 $ S_t^m $ 에서의 추정을 $ P_t^m $ 으로 이전시키며, 콤팩트성 증명에 기여한다.
• 요소화 방법을 적용하여 확률적 컨볼루션 $ Z(t) = \int_0^t e^{(t-s)A}\sqrt{Q} dW(s) $ 를 제어하고, $ \epsilon < g $ 일 때 $ \mathbb{E}[\sup_t |Z(t)|_{2+\epsilon}^h] \leq C $ 를 증명한다.
• Y = X - Z 에 대해 $ |Y(t)|_{2}^2 $ 에 대한 사전 추정을 도출하며, 비선형 항 $ b(Y+Z) $ 를 가가르도-니레버그 및 소볼레프 포함을 통해 추정한다.
• Gronwall 유형의 추론을 통해 $ \exp\left(-c\int_0^t |X(s,x)|^2 |X(s,x)|_1^2 ds\right) $ 를 포함한 지수 모멘트 경계를 확립하고, $ |X(t,x)|_1^k $ 의 모멘트 제어로 이어진다.

실험 결과

연구 질문

• RQ1 2차원 스토하스틱 나비에-스토크스 방정식과 관련된 콜모고로프 연산자에 대해 명시적 코어를 식별할 수 있는가? 이를 통해 고전적 유일성 증명 기법을 적용할 수 있는가?
• RQ2 3차원의 경우, 표준 코어가 마팅게일 문제의 유일성을 보장하지 못하는 이유는 무엇이며, 수정된 연산자가 이를 극복할 수 있는가?
• RQ3 감쇠 인자 $ e^{-K\int |AX|^2 ds} $ 를 포함한 수정된 셈그룹 $ S_t $ 는 3차원에서 어떻게 균일한 추정과 콤팩트성 확보에 활용될 수 있는가?
• RQ4 소음의 구조(트레이스 클래스, 비퇴화)는 마코프 과정의 존재성과 페인만-카크 표현의 타당성에 어떤 역할을 하는가?
• RQ5 지수 가중치와 확률 미적분 기법을 통해 $ |X(t,x)|_1 $ 과 $ |AX(t,x)| $ 의 모멘트 추정은 어느 정도 제어될 수 있는가?

주요 결과

• 2차원에서는 콜모고로프 연산자에 대한 명시적 코어를 식별하여 마팅게일 문제에 대한 경로 유일성 증명에 고전적 기법을 적용할 수 있다.
• 3차원에서는 원래 콜모고로프 연산자에 대해 명시적 코어가 존재하지 않지만, 수정된 연산자 $ N\varphi = L\varphi - K|Ax|^2\varphi $ 는 해가 정칙성을 유지하는 시간까지의 유일성 증명을 가능하게 한다.
• 페인만-카크 유형의 지수 함수로 정의된 수정된 셈그룹 $ S_t $ 는 강력한 스무딩 성질을 가지며, 갈레르킨 근사에서의 추정을 전체 시스템으로 이전시키는 데 기여한다.
• 모든 $ k \in \mathbb{N} $, $ \epsilon > 0 $, $ T > 0 $ 에 대해, $ \mathbb{E}\left[ e^{-\epsilon\int_0^t |(-A)^{1/2}X_m(s,x)|^6 ds} |AX_m(t,x)|^k \right] \leq C(\epsilon,k,T,Q,A)(1 + |Ax|^k) $ 는 $ m $ 에 대해 일관되게 성립하며, 이는 타이트니스를 보장한다.
• 이토의 공식을 $ e^{-c\int |X|^2 |X|_1^2 ds} |X|_1^2 $ 에 적용하여, 가가르도-니레버그 및 파이카르 불등식을 통해 경계가 통제되는 사전 추정을 도출한다.
• 증명은 $ x \mapsto -\epsilon x^6 + c x^4 $ 의 유계성과 $ \mathbb{E}[\sup_t |Z(t)|_{2+\epsilon}^h] $ 의 적분 가능성에 의존하며, 이는 요소화 방법과 트레이스 클래스 소음 가정에서 유도된다.