[논문 리뷰] On the convergence of monotone schemes for path-dependent PDE

Zhenjie Ren, Xin Tan|arXiv (Cornell University)|2015. 04. 08.

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

한 줄 요약

이 논문은 경로에 따라 변하는 편미분방정식(PPDEs)에 적용된 단조 수치적 방법에 대한 수렴 정리를 수립한다. 기존 Barles-Souganidis 프레임워크를 확장하여, 이는 이산 시간 최적 정지 문제를 통한 안정성 및 일致성 조건의 재구성으로 이루어지며, 유한 차분, 몬테카를로, 트리 기반 방법과 같은 표준 단조 수치적 방법이 모두 PPDE의 점성해로 수렴함을 증명한다. 이는 비마코프성 확률적 제어 문제와 2차 역방향 SDEs의 수치적 해를 가능하게 한다.

ABSTRACT

We propose a reformulation of the convergence theorem of monotone numerical schemes introduced by Zhang and Zhuo for viscosity solutions of path-dependent PDEs, which extends the seminal work of Barles and Souganidis on the viscosity solution of PDE. We prove the convergence theorem under conditions similar to those of the classical theorem in the work of Barles and Souganidis. These conditions are satisfied, to the best of our knowledge, by all classical monotone numerical schemes in the context of stochastic control theory. In particular, the paper provides a unified approach to prove the convergence of numerical schemes for non-Markovian stochastic control problems, second order BSDEs, stochastic differential games etc.

연구 동기 및 목표

• 상태공간이 국소적으로 컴act하지 않은 경우 경로에 따라 변하는 편미분방정식(PPDEs)의 맥락으로 고전적인 Barles-Souganidis 수렴 정리의 일반화를 위한 목표.
• PPDEs에서의 비국소적 컴팩트성 문제를 해결하기 위해 기존 접근 방식과 다름없는 새로운 이산 시간 최적 정지 문제를 도입함.
• 유한 차분, 반라그랑주안, 삼항수 나무 방법 등과 같은 고전적 단조 수치적 방법이 제안된 수렴 조건을 만족함을 보임.
• 비마코프성 확률적 제어 문제, 확률적 미분 게임, 2차 역방향 SDEs를 위한 수치적 방법을 구성하는 일반적인 프레임워크 제공.
• 기존 수렴 결과를 통합 및 일반화하기 위해, 새로운 조건이 최적 제어 맥락에서 알려진 모든 고전적 단조 수치적 방법에 의해 만족됨을 보임.

제안 방법

• 제안된 프레임워크에서 제안된 수렴 정리를 이산 시간 최적 정지 문제를 통한 제어 과정으로 재구성함으로써, Zhang과 Zhuo(2015)에서 사용된 연속 시간 최적 정지 문제의 대체를 수행함.
• 해의 해와 시험 함수의 유계성 및 연속성 모듈러스를 활용하여, 이산 시간 과정 간 차이의 기대값에 기반한 새로운 안정성 논증을 도입함.
• 모순 논증을 통한 수렴 확립: 수치적 해가 수렴하지 않는다고 가정하고, 해의 종료값 기대값에 대한 추정을 통해 모순을 도출함.
• PPDE의 점성해 안정성 성질과 이산 측도가 위너 측도로 수렴함을 조합하여, 수렴성 조건에서 오차 항을 제어함.
• 비콤팩트 상태공간을 다루기 위해 정지시간 τ*를 통한 국소화 기법을 적용하여, 콤팩트 부분집합에서 수치적 방법의 오차에 대한 균일한 유계성을 확보함.
• 유한 차분, 몬테카를로, 트리 방법 등 고전적 방법들이 제안된 프레임워크 하에서 새로운 일치성, 단조성, 안정성 조건을 만족함을 검증함.

실험 결과

연구 질문

• RQ1 고전적인 Barles-Souganidis 수렴 정리가 상태공간이 국소적으로 컴팩트하지 않은 경로에 따라 변하는 편미분방정식(PPDEs)의 맥락으로 확장 가능한가?
• RQ2 국소적 컴팩트성이 결여된 상황에서 단조 수치적 방법에 대한 수렴 조건은 무엇인가? 이는 PPDE의 점성해로 수렴함을 보장한다.
• RQ3 유한 차분, 몬테카를로, 트리 기반 방법 등 표준 단조 수치적 방법들이 경로에 따라 변하는 맥락에서 새로운 수렴 조건을 만족하는가?
• RQ4 제안된 프레임워크는 비마코프성 2차 역방향 SDEs와 확률적 미분 게임을 위한 새로운 수치적 방법을 생성할 수 있는가?
• RQ5 연속 시간 최적 정지에 의존하지 않고, 경로 공간의 비국소적 컴팩트성 문제를 어떻게 극복할 수 있는가?

주요 결과

• 제안된 수렴 정리는 고전적인 Barles-Souganidis 결과를 PPDEs로 일반화하여, 고전적 경우와 유사한 조건 하에서 단조 수치적 방법의 국소 균일 수렴을 확립함.
• 최적 제어 맥락에서 알려진 모든 고전적 단조 수치적 방법—유한 차분, 반라그랑주안, 삼항수 나무, 몬테카를로 방법 등—이 새로운 수렴 조건을 만족함으로써, 이들의 비마코프성 문제로의 확장이 가능해짐.
• 비국소적 컴팩트성 문제를 해결하기 위해 이산 시간 최적 정지 논증을 도입함으로써, Zhang과 Zhuo(2015)의 연속 시간 접근과 다름없는 방법을 제공함.
• 모순 논증을 통한 수렴 증명은 수치적 방법의 종료값 기대값에 대한 유계성에 기반하며, 오차 항은 모듈러스의 연속성 및 측도 수렴을 통해 제어됨.
• 이 프레임워크는 비마코프성 맥락에서 2차 역방향 SDEs의 z-의존 생성자 및 확률적 미분 게임에 대해 처음으로 알려진 수치적 방법을 가능하게 함.
• 증명에서의 오차 추정은 이산화 파ameter h → 0일 때 수치적 해와 점성해의 차이를 임의로 작게 만들 수 있음을 보여주며, εδ/4 유형의 명시적 제어가 가능함.