[논문 리뷰] Hörmander's theorem for stochastic partial differential equations

Н. В. Крылов|arXiv (Cornell University)|2013. 09. 22.

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

한 줄 요약

이 논문은 시간에 따라 변화하는 Hörmander 조건을 만족할 때, 계수들이 시간에 대해 only 측정 가능할 경우에도 국소적으로 초타원성을 보장하는 스토하스틱 편미분방정식(SPDE)에 대한 결과를 제시한다. 이는 해가 공간에서 무한번 미분 가능하다는 것을 증명한다. 방법론은 Wentzell의 랜덤 좌표변환을 사용하여 국소적으로 확률적 항을 제거하고, 이로 인해 랜덤 계수를 가진 결정론적 포물형 방정식으로 SPDE를 변환함으로써 고전적인 정규성 이론을 적용할 수 있도록 한다. 이는 국소 리 대수의 질량 조건 하에서 무한번 미분 가능성을 달성한다.

ABSTRACT

We prove Hörmander's type hypoellipticity theorem for stochastic partial differential equations when the coefficients are only measurable with respect to the time variable. The need for such kind of results comes from filtering theory of partially observable diffusion processes, when even if the initial system is autonomous, the observation process enters the coefficients of the filtering equation and makes them time-dependent with no good control on the smoothness of the coefficients with respect to the time variable.

연구 동기 및 목표

• 계수들이 시간에 대해 측정 가능할 경우에도 SPDE에 대한 국소 초타원성을 확립함으로써, 부분적으로 관측된 확산의 필터링 이론에서 자연스럽게 나타나는 설정을 다루는 것.
• 이전 연구에서 요구하던 전역 조건이나 시간에 대한 Hölder 연속성 조건을 초월하여, 시간 의존성에 대한 최소한의 측정 가능성 가정 하에서도 정규성을 입증하는 것.
• 계수들이 시간과 확률에 의해 비연속적으로 의존하더라도, SPDE의 해가 국소적으로 공간에서 무한번 미분 가능하다는 것을 보여주는 것.
• Malliavin 미분학이나 전역 가정에 의존하지 않는 강력한 방법을 제공함으로써, 국소 Wentzell 유형의 변환을 사용하여 SPDE를 결정론적 방정식으로 환원하는 것.

제안 방법

• SPDE의 확률적 항을 제거하기 위해 Wentzell의 랜덤 좌표변환을 적용하여, 랜덤이고 시간에 따라 변화하는 계수를 가진 결정론적 포물형 방정식으로 변환한다.
• 벡터장 $\sigma^{d_1+k}_t$, $k=1,\dots,d_2$에 대해 국소 Hörmander 조건을 사용하여, 공역 $\mathbb{R}^d$ 가 구 $B$ 내에서 리 대수에 의해 생성됨을 보장한다.
• 고전적인 포물형 방정식에 대한 정규성 결과를 적용할 수 있도록 SPDE를 변형하여, 변환된 계수들이 균일하게 비퇴화됨을 이용한다.
• 구 $B_{R_0}$ 내에서 지지되는 캐시 함수 $\zeta$ 를 구성하고, 이를 통해 해를 국소화하여, 변환된 방정식이 필요한 적분 가능성과 미분 가능성 조건을 만족하도록 한다.
• 열 방정식을 사용하여 종료 시간 $T$ 이후로 해를 연장함으로써, $H^m_2$-값을 가지는 초기 자료를 사용하여 정규성을 유지하고, 더 큰 시간 간격에서 Theorem 2.3의 적용을 가능하게 한다.
• 해를 $u_t = v_t + w_t$ 로 분해하여, $v_t$ 는 초기 자료를 처리하고 $w_t$ 는 초기 조건이 0인 수정된 SPDE를 만족함으로써, 초기 조건이 0인 경우로의 환원을 가능하게 한다.

실험 결과

연구 질문

• RQ1 계수들이 시간에 대해 측정 가능할 뿐만 아니라 Hölder 연속성이나 미분 가능성 조건 없이도 SPDE에 대해 초타원성을 확립할 수 있는가?
• RQ2 소음 벡터장이 생성하는 리 대수에 대한 국소 Hörmander 조건이, 계수들이 확률적이고 시간에 따라 변화함에도 불구하고 해의 무한번 미분 가능성을 보장하는가?
• RQ3 Wentzell의 랜덤 좌표변환 방법을 비마르코프적이고 측정 가능한 계수를 가진 SPDE에 적용하여 국소적으로 확률적 항을 제거할 수 있는가?
• RQ4 시간과 확률에 대한 최소한의 가정 하에서도 일반화된 해(즉, $\mathcal{D}^{-\infty}$ 내의 해)에 대해 국소 정규성을 확보할 수 있는가?

주요 결과

• 지역 Hörmander 조건이 성립하고, 강제항 $f_t, g^k_t$ 가 미분 가능할 경우, SPDE의 해는 $(s_1,s_2) \times B$ 의 임의의 컴acts부분집합에서 공간에 대해 무한번 미분 가능하다.
• 모든 $\omega \in \Omega_0$ 에 대해, 해 $u_t$ 는 $t \in (s_1,s_2)$ 에서 $B$ 내에서 $x$ 에 대해 $C^\infty$ 임을 보장한다. 이는 계수들이 시간에 대해 예측 가능할 경우에도 성립한다.
• 핵심 기술적 단계는 국소 Wentzell 변환으로, 이는 확률적 항을 제거하고 문제를 랜덤이고 균일하게 비퇴화된 계수를 가진 결정론적 포물형 방정식으로 환원한다.
• 논문은 계수 $\sigma^k_t$ 가 $t$ 에 대해 측정 가능할 경우에도 해가 여전히 미분 가능하다는 것을 증명한다. 이는 이전의 Malliavin 미분학 기반 접근법이 다루지 못하는 설정이다.
• 결과는 일반화된 해 $\mathcal{D}^{-\infty}$ 에 대해서도 성립하며, 정규성은 국소적으로 성립하며 전역적으로 성립하지 않아 무한대에서의 성장 문제를 피한다.
• 해를 열 방정식을 통해 $T$ 이후로 연장하고 계수를 재정의함으로써, 더 큰 시간 간격에서 Theorem 2.3를 적용할 수 있게 되었으며, 이는 $[S,T] \times B_r$ 에서 전체 정규성 결과를 증명한다.