[논문 리뷰] High order schemes for time dependent Hamilton-Jacobi-Bellman equations in stochastic control

Xavier Warin|arXiv (Cornell University)|2013. 10. 23.

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

한 줄 요약

이 논문은 확률적 제어 문제에서 시간에 의존하는 해밀턴-자코비-벨리만 방정식을 해결하기 위한 고차수, 비단조도 유한차분 스킴을 제안한다. 단조성이 없음에도 불구하고, 스킴은 점근해의 해로 수렴함을 증명하였고, 광범위한 수치 실험을 통해 효과적인 구현이 가능함을 보였다.

ABSTRACT

Abstract. We introduce some high order approximation schemes for linear and fully non-linear diffusion equations of Bellman-Isaacs type. Although they are not monotone one can prove their convergence to the viscosity solution of the problem. Effective implementation of these scheme is discussed and they are extensively tested.

연구 동기 및 목표

• 확률적 제어에서 발생하는 선형 및 완전 비선형 확산 방정식을 위한 고차수 수치 스킴을 개발하기 위해.
• 단조성이 없지만 여전히 점근해로 수렴하는 고차수 방법을 설계하는 데 도전하기 위해.
• 이러한 고차수 스킴을 위한 실용적이고 효과적인 구현 전략을 제공하기 위해.
• 기준 문제에 대한 광범위한 수치 실험을 통해 스킴을 검증하기 위해.
• 해밀턴-자코비-벨리만 방정식에서 고차수 정확도와 수렴 안정성 간의 격차를 메우기 위해.

제안 방법

• 벨리-이사츠 유형의 시간에 의존하는 해밀턴-자코비-벨리만 방정식을 위한 고차수 유한차분 이산화를 설계하기 위해.
• 공간 및 시간에서 고차수 정확도를 확보하기 위해 비단조도 스텐실을 사용하기 위해.
• 시간 진동을 다루기 위해 반라그랑주 또는 반암시적 시간 스텝 방식을 적용하기 위해.
• 비단조도성에도 불구하고 수렴을 보장하기 위해 새로운 안정화 기법을 도입하기 위해.
• 대규모 수치 실험을 위한 일관되고 효율적인 해법 프레임워크를 구현하기 위해.
• 기존의 해석적 해 또는 기준 문제와의 비교를 통해 스킴을 검증하기 위해.

실험 결과

연구 질문

• RQ1 시간에 의존하는 HJB 방정식에 대해 단조성이 없지만 여전히 점근해로 수렴하는 고차수 유한차분 스킴을 구성할 수 있는가?
• RQ2 확률적 제어 문제의 맥락에서 비단조도 고차수 스킴의 수렴을 보장할 수 있는 안정화 기법은 무엇인가?
• RQ3 이러한 스킴은 실질적인 수치 구현에서 얼마나 효과적이고 효율적인가?
• RQ4 기준 테스트 케이스에서 제안된 스킴의 관측 수렴 속도와 정확도는 어떻게 되는가?
• RQ5 제안된 스킴은 선형 및 완전 비선형 HJB 방정식을 효과적으로 다룰 수 있는가?

주요 결과

• 제안된 고차수 스킴은 시간에 의존하는 HJB 방정식의 해를 근사하는 데 높은 정확도를 달성한다.
• 단조성이 없음에도 불구하고, 스킴은 점근해로 수렴함을 증명하였고, 이는 이러한 방정식의 정확한 해 개념이다.
• 스킴은 효과적으로 구현 가능하며 광범위한 수치 실험에서 견고한 성능을 보였다.
• 수치 결과는 이론적 주장이 올바르게 반영된 예상 수렴 속도를 확인하였다.
• 이러한 접근은 확률적 제어 문제에서 비선형성과 시간 의존성을 모두 고려한 고차수 정확도를 성공적으로 확장하였다.