[논문 리뷰] A new proof for the convergence of Picard's filter using partial Malliavin calculus

Hideyuki Tanaka|arXiv (Cornell University)|2013. 11. 24.

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

한 줄 요약

이 논문은 부분 مال리아빈 미분법을 활용하여 비선형 필터링에서 피카르 필터의 수렴에 대한 새로운 증명을 제시한다. 이로써 $ L^p $-수렴 속도 $ O(1/n) $를 $ p > 2 $ 에 대해 확립하였으며, 함수 $ g $ 가 불규칙할 경우에도 성립한다. 기존의 강한 수렴 및 약한 수렴 분석에 의존하지 않고, 위너 공간 위의 힐버트 공간 값 함수에 대한 쌍대성과 조건부 기대값을 활용함으로써 이 결과를 도출한다.

ABSTRACT

The discrete-time approximation for nonlinear filtering problems is related to both of strong and weak approximations of stochastic differential equations. In this paper, we propose a new method of proof for the convergence of approximate nonlinear filter analyzed by Jean Picard (1984), and show a more general result than the original one. For the proof, we develop an analysis of Hilbert space valued functionals on Wiener space.

연구 동기 및 목표

• 비선형 필터링에서 피카르의 원래 $ L^2 $-수렴 결과를 $ L^p $-노름($ p > 2 $) 으로 일반화하여 오차 추정의 강건성을 향상시키는 것.
• 표준 오일러 스킴 오차 분석에 의존하지 않고, $ g $ 의 정규성 조건을 더 약하게 하여도 수렴을 확보하는 것.
• 관측 흐름 $ \mathcal{F}_T^Y $ 에 대한 조건부 기대값을 다루기 위해 부분 ماليآ빈 미분법을 활용한 새로운 분석 프레임워크를 개발하는 것.
• 조건부 기대값 설정에서 확률적 적분과 스코로호드 적분 간의 쌍대성 분석을 통해 $ O(1/n) $ 수렴 속도의 메커니즘을 명확히 하는 것.
• 향후 연구를 위해 레비-기반 SDE 및 비 마코프성 또는 의존적인 신호-관측 과정으로의 방법 확장에 기초를 마련하는 것.

제안 방법

• 위너 공간 위의 힐버트 공간 값 함수에 대한 부분 ماليآ빈 미분법을 적용하여, 특히 관측 흐름 $ \mathcal{F}_T^Y $ 에 대한 조건부 기대값을 분석한다.
• 클락-오콘 공식과 스코로호드 적분의 쌍대성 관계를 적용하여 라돈-니코다임 미분 $ \Phi_T $ 의 근사 오차를 분해하고 추정한다.
• 칼리앙풀-스트리벨 공식을 활용하여 조건부 기대값 $ E[g(X_T)\Phi_T|\mathcal{F}_T^Y] $ 를 표현함으로써 $ \tilde{\Phi}_T $ 에 대한 근사 오차 분석을 가능하게 한다.
• 확률적 적분 간의 차이를 스코로호드 적분과 조건부 기대값을 포함한 반복 적분의 합으로 표현함으로써 오차 항 $ E_1(\rho, Z) $ 에 대한 핵심 항등식을 유도한다.
• 레마 3.2 를 활용하여 마리아빈 도함수와 조건부 기대값에 대한 추정치를 통해 오차의 $ L^p $-노름을 제어함으로써 $ O(1/n^p) $ bound 를 도출한다.
• 레마 3.9 를 적용하여 마리아빈 도함수 $ D_r^Y f_s $ 를 포함하는 항을 제한함으로써 최종적으로 $ L^p $ 에서 $ O(1/n) $ 의 수렴 속도를 확보한다.

실험 결과

연구 질문

• RQ1 피카르 필터의 $ L^2 $-수렴 결과는 $ p > 2 $ 인 $ L^p $-노름으로 확장될 수 있는가? 그리고 이를 위해 필요한 조건은 무엇인가?
• RQ2 함수 $ g $ 가 매끄럽지 않은 경우 피카르 필터의 수렴 속도는 어떻게 되며, 오일러 스킴의 강한 또는 약한 수렴에 의존하지 않고 이를 어떻게 증명할 수 있는가?
• RQ3 부분 ماليآ빈 미분법은 비선형 필터링에서 확률적 적분을 포함한 조건부 기대값을 더 정교하게 분석하는 데 어떻게 기여하는가?
• RQ4 확률적 적분과 스코로호드 적분 간의 쌍대성이 $ O(1/n) $ 수렴 속도 유도에 어떤 역할을 하는가?
• RQ5 이 증명 기법은 비 브라운 운동 또는 레비-기반 SDE 로 확장될 수 있으며, 이러한 일반화를 위해 어떤 새로운 도구가 필요한가?

주요 결과

• 논문은 피카르 필터 근사에 대해 $ p > 2 $ 에 대해 새로운 $ L^p $-수렴 속도 $ O(1/n) $ 를 확립하였으며, 피카르의 원래 $ L^2 $-결과를 일반화한다.
• 함수 $ g $ 가 불규칙할 경우에도 수렴이 성립하며, 이는 $ h \in C_b^2 $, $ b $, $ \sigma $ 가 리프시츠 조건을 만족하고 $ h $ 가 유계일 경우에 해당한다.
• 오차 추정은 부분 ماليآ빈 미분법의 새로운 응용을 통해 도출되었으며, 특히 확률적 적분과 스코로호드 적분 표현 간의 쌍대성에 기반한다.
• 핵심 기술적 단계는 마리아빈 도함수와 조건부 기대값에 대한 추정치를 통해 오차 항 $ E_1(\rho, Z) $ 의 $ L^p $-노름을 제어하는 것으로, 다음을 만족한다: $$ \|E_1(\rho,Z)\|_p^p \leq \frac{C_3}{n^p}\|Z\Gamma_T(\rho)\|_p^p + \frac{C_4}{n^p}E^{\mathcal{W}_Y}\left[\left(\int_0^T \operatorname{ess\,sup}_{0\leq r\leq T}|E^{\mathcal{W}_B}[(D_r^Y f_s)\theta_s]|^2 ds\right)^{p/2}\right] $$
• 증명은 관측 과정 $ Y $ 의 평균화 효과 덕분에 $ O(1/n) $ 수렴 속도가 유도된다고 보여주며, 이는 $ h(X_s) - h(X_{\eta(s)}) $ 의 $ O(1/n) $ 약한 오차에도 불구하고 조건부 기대값의 구조에 의해 유지된다.
• 이 방법은 불규칙한 $ g $ 에 대해서도 강건하며, 비퇴화한 극한이 존재할 경우 $ \alpha = 1 $ 을 달성할 수 없음을 고려할 때, 현재 프레임워크 하에서 $ O(1/n) $ 가 가능한 최선의 속도임을 시사한다.