[논문 리뷰] Discrete Itô Formulas and Their Applications to Stochastic Numerics

Jirô Akahori|ArXiv.org|2006. 03. 14.

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

한 줄 요약

이 논문은 조건부 푸리에 급수에서의 직교 전개를 사용하여 이토의 보조정리의 이산시간 대응체인 이산 이토 공식을 제안한다. 이는 확률적 편미분방정식(PDE)에 대한 유한차분 스킴을 유도하는 데 쓰이며, 증분의 직교 전개 기반으로 차원에 의존하지 않는 수치 스킴을 구성함으로써 고차원 몬테카를로 시뮬레이션을 가능하게 한다. 수렴 속도는 이산화 과정에서 모멘트 일치와 관련되어 있다.

ABSTRACT

This is a survey note of the author's observations on the discrete-time analogues of Itô formulas.

연구 동기 및 목표

• 스토크래틱 적분 대신 직교 전개를 사용하여 이토의 보조정리의 이산시간 대응체를 개발하는 것.
• 스토크래틱 차분 방정식에서 유도된 유한차분 스킴을 통해 고차원 PDE를 시뮬레이션할 수 있는 계산 프레임워크를 구축하는 것.
• 특히 완전한 시장 모델에서 이토-마루야마 유형의 스킴의 수렴성을 이산 이토 미적분학을 통해 분석하는 것.
• 월라시 시스템 기반의 직교 전개를 사용하여 고차원 SDE에 대한 차원에 의존하지 않는 몬테카를로 시뮬레이션 방법을 제안하는 것.
• 마코프 체인 근사와 유한차분 스킴 간의 대응관계를 비선형 및 비정규 설정으로 일반화하는 것.

제안 방법

• L²(ν)에서의 직교 전개를 통해 이산 이토 공식을 유도하며, 증분 분포 ν에 대한 정규직교 기저 {Hₙ}를 사용한다.
• 이 전개를 랜덤 워크와 스토크래틱 차분 방정식에 적용하여 증분을 제0차, 제1차, 그리고 고차원 카오스 항으로 분해한다.
• N ∫ f(x + F(x, Δt, H(y))) ν(dy)를 통해 정의된 Lᴺ 연산자를 사용하여 SDE의 생성자에 대한 이산화를 통해 유한차분 스킴을 구성한다.
• [0,1)에서의 월라시 체계를 정규직교 기저로 사용하여 준난수 증분을 생성함으로써 차원에 의존하지 않는 시뮬레이션을 가능하게 한다.
• 이산 과정의 경로를 [0,1)ᴺ에서의 몬테카를로 또는 준난수 샘플링을 통해 시뮬레이션하며, 안정성과 수렴성을 보장한다.
• 이산 연산자 ∂ᵗᴺ + Lᴺ이 연속 생성자 ∂ₜ + L과 일致함을 확인함으로써 스킴의 수렴성을 확립한다.

실험 결과

연구 질문

• RQ1 스토크래틱 적분에 의존하지 않고 이토 공식을 어떻게 이산 시간으로 재구성할 수 있는가?
• RQ2 증분 분포가 비정규 또는 비원자적일 경우 이산 이토 공식의 구조는 어떻게 되는가?
• RQ3 고차원 PDE에 대한 유한차분 스킴은 이산 이토 미적분학과 몬테카를로 방법을 통해 어떻게 구성할 수 있는가?
• RQ4 특히 완전한 시장 모델에서 이산 이토 공식에서 유도된 이산 스킴의 수렴 속도는 어떻게 되는가?
• RQ5 L²(ν)에서의 직교 전개를 어떻게 사용하여 SDE에 대한 차원에 의존하지 않는 수치 스킴을 설계할 수 있는가?

주요 결과

• 이산 이토 공식은 이산 과정의 함수 증분을 조건부 기대값(제0차 카오스), 선형 항(제1차 카오스), 그리고 고차원 직교 보정 항으로 분해한다.
• 이토-마루야마 스킴의 경우, Δt → 0일 때 이산 이토 공식은 표준 이토 공식으로 수렴하며, n ≥ 2일 때 완전한 시장에서 수렴 속도는 최소 √Δt 이상이다.
• 증분 분포 ν가 [0,1]에서 르베그 측도일 때, 월라시 체계를 정규직교 기저로 사용하면 결과 스킴은 실질적으로 차원에 의존하지 않으며 약 3000차원까지의 시뮬레이션을 지원한다.
• 이산 이토 공식에서 유도된 유한차분 스킴은 이산 연산자 ∂ᵗᴺ + Lᴺ이 연속 생성자 ∂ₜ + L과 일치할 경우 해당 PDE의 해로 수렴한다.
• 이 방법은 [0,1)ᴺ에서 균일 샘플링과 직교 증분을 사용하여 경로 시뮬레이션으로 문제를 환원함으로써 고차원 PDE의 효율적 몬테카를로 시뮬레이션을 가능하게 한다.
• 이 프레임워크는 약한 근사 스킴과 비선형 SDE로 일반화되며, 고전적인 커셔의 마코프 체인과 유한차분 스킴 간의 대응관계를 확장한다.