[논문 리뷰] Itô's formula for flows of measures on semimartingales

Xin Guo, Huyên Pham외 1명|arXiv (Cornell University)|2020. 10. 11.

Stochastic processes and financial applications인용 수 4

한 줄 요약

이 논문은 먼저 원통형 함수에 대해 유도한 후 근사와 국소화를 통해 일반적인 세미마르팅글, 즉 점프 디퓨전 포함, 일반적인 세미마르팅글에 의해 구동되는 확률 측도의 흐름에 대한 일반형 이토의 정리를 수립한다. 주요 기여는 점프와 혼합된 정규-특이 제어를 포함한 맥컬린-브라스프 제어 문제에 대해 동적 프로그래밍 원리와 검증 정리의 가능성을 열어주며, 측도 미분을 통한 최대 원리와 동적 프로그래밍 원리 간의 일반화된 관계를 제시한다.

ABSTRACT

We establish Itô's formula along flows of probability measures associated with general semimartingales; this generalizes existing results for flows of measures on Itô processes. Our approach is to first establish Itô's formula for cylindrical functions and then extend it to the general case via function approximation and localization techniques. This general form of Itô's formula enables the derivation of dynamic programming equations and verification theorems for McKean--Vlasov controls with jump diffusions and for McKean--Vlasov mixed regular-singular control problems. It also allows for generalizing the classical relationship between the maximum principle and the dynamic programming principle to the McKean--Vlasov singular control setting, where the adjoint process is expressed in terms of the derivative of the value function with respect to the probability measures.

연구 동기 및 목표

• 점프를 포함한 일반적인 세미마르팅글에 의해 구동되는 측도 흐름에 대한 일반적인 이토의 정식을 개발함으로써, 기존의 연속적인 이토 과정을 초월한다.
• 불연속적인 세미마르팅글에 의해 구동되는 측도 값 과정에 대한 일반적인 이토의 정식 부재로 인해 맥컬린-브라스프 제어 문제에서 동적 프로그래밍 접근이 저해되어 왔음을 해결한다.
• 점프 디퓨전과 혼합된 정규-특이 제어를 포함한 맥컬린-브라스프 제어 문제에 대해 동적 프로그래밍 방정식과 검증 정리를 유도할 수 있도록 한다.
• 클래식한 최대 원리와 동적 프로그래밍 원리 간의 관계를 맥컬린-브라스프 특이 제어 설정으로 일반화하며, 이는 가역적 과정이 측도에 대한 가치 함수의 도함수로 표현됨을 의미한다.

제안 방법

• 선형 도함수의 성질을 활용하여, 적분 가능 형태를 갖는 매끄러운 평균장 함수인 원통형 함수에 대해 이토의 정식을 유도한다.
• 공간의 연속적 두 번 미분 가능한 함수 공간에서 C¹,¹ 위상에 대해, 연속적 두 번 미분 가능한 함수 공간에서 원통형 함수가 조밀함을 보이기 위해, 공동 워셔스타인 및 유클리드 공간의 컴act 집합에 대해 일반화된 스톤-바이어스트라스 정리를 적용한다.
• 적절한 적분 가능성 및 정칙 조건 하에서, 국소화 기법을 적용하여 원통형 함수에서 일반 함수로의 이토의 정식을 확장한다.
• 기저 세미마르팅글 과정의 점프와 측도 흐름의 점프의 무한소적 행동을 포착하기 위해, 확률 측도 공간에서의 선형 도함수를 활용한다.
• 점프 디퓨전과 특이 제어를 포함한 맥컬린-브라스프 SDE의 구조를 활용하여 관련된 가역적 방정식을 유도하고, 유도된 동적 프로그래밍 원리를 통해 최적성 조건을 검증한다.
• 최대 원리에서 유도된 FBSDE 시스템을 특이 제어를 포함한 보조 평균장 게임의 시스템과 공식적으로 식별함으로써, MFG와 맥컬린-브라스프 제어 프레임워크 간의 연결 고리를 수립한다.

실험 결과

연구 질문

• RQ1 일반적인 세미마르팅글, 특히 점프를 포함한 경우에 대해, 고전적인 이토 과정 설정을 초월하여 측도 흐름에 대한 이토의 정식을 일반화할 수 있는가?
• RQ2 점프 디퓨전과 혼합된 정규-특이 제어를 포함한 맥컬린-브라스프 제어 문제에 대해 동적 프로그래밍 방정식과 검증 정리를 어떻게 도출할 수 있는가?
• RQ3 맥컬린-브라스프 특이 제어 문제의 맥락에서 최대 원리와 동적 프로그래밍 원리 간의 정확한 관계는 무엇인가?
• RQ4 최적 경로를 따라 가치 함수에 대한 측도에 대한 도함수로 표현된 최대 원리의 가역적 과정은 어떻게 기술할 수 있는가?

주요 결과

• 원통형 함수에 대해 먼저 증명한 후 근사와 국소화를 통해, 점프 디퓨전 포함 일반 세미마르팅글에 의해 구동되는 측도 흐름에 대한 일반적인 이토의 정식이 수립되었다.
• 유도된 이토의 정식을 통해, 점프 디퓨전과 혼합된 정규-특이 제어를 포함한 맥컬린-브라스프 제어 문제에 대해 동적 프로그래밍 방정식과 검증 정리를 도출할 수 있게 되었다.
• 클래식한 최대 원리와 동적 프로그래밍 원리 간의 관계가 맥컬린-브라스프 특이 제어 설정으로 일반화되었으며, 이 경우 가역적 과정은 최적 경로를 따라 가치 함수에 대한 측도 도함수로 표현된다.
• 일차원 평균-분산 특이 제어 예제에서 최적 제어는 상태와 그 기대값을 포함하는 피드백 형태로 명시적으로 도출되었으며, 임계 조건에 따라 활성 영역와 비활성 영역로의 전환을 보였다.
• 제어된 과정은 경계에서 과정을 반사하는 특이 제어를 포함한 스코로호드 유형의 SDE를 따르며, 존재성과 유일성은 일차원 스코로호드 문제의 해를 통해 보장된다.
• 가치 함수는 V(t, μ) = A(t)Var(μ) + B(t)μ̄² + C(t)μ̄ + D(t) 형태를 띠며, 시간에 따라 변화하는 계수들이 존재하며, 이는 해석적으로 풀 수 있는 상미분 방정식계를 만족한다.