[논문 리뷰] Measure-Valued Generators of General Piecewise Deterministic Markov Processes

Zhaoyang Liu, Yong Jiao외 1명|arXiv (Cornell University)|2017. 04. 04.

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

한 줄 요약

이 논문은 임의의 점프 간격 시간 분포를 가진 일반적인 조각별 결정론적 마르코프 과정(PDMPs)을 위한 측도-가치 생성자를 도입하며, 반동 동적 시스템(SDS)의 가감성 함수를 분석적 프레임워크로 사용한다. 주요 기여는 경로 연속성 및 점프 행동에 대한 분석 조건을 통해 생성자의 정의역을 완전히 특성화하고, 가감성 함수의 예상 누적 할인된 가치를 지배하는 측도 적분미분 방정식을 유도하는 것이다.

ABSTRACT

We consider a piecewise-deterministic Markov process (PDMP) with general conditional distribution of inter-occurrence time, which is called a general PDMP here. Our purpose is to establish the theory of measure-valued generator for general PDMPs. The additive functional of a semi-dynamic system (SDS) is introduced firstly, which presents us an analytic tool for the whole paper. The additive functionals of a general PDMP are represented in terms of additive functionals of the SDS. The necessary and sufficient conditions of being a local martingale or a special semimartingale for them are given. The measure-valued generator for a general PDMP is introduced, which takes value in the space of additive functionals of the SDS. And its domain is completely described by analytic conditions. The domain is extended to the locally (path-)finite variation functions. As an application of measure-valued generator, we study the expected cumulative discounted value of an additive functional of the general PDMP, and get a measure integro-differential equation satisfied by the expected cumulative discounted value function.

연구 동기 및 목표

• 일반적인 PDMPs를 위한 측도-가치 생성자의 엄밀한 이론을 구축하여, 준이토 또는 밀도 가정 설정을 초월하는 데 목적이 있다.
• 일반적인 PDMPs의 가감성 함수와 그 기초가 되는 반동 동적 시스템(SDS)의 가감성 함수 사이의 연결을 수립하는 데 목적이 있다.
• 경로 연속성 및 점프 행동에 대한 분석 조건을 통해 측도-가치 생성자의 정의역을 특성화하는 데 목적이 있다.
• 지역적으로(경로상으로) 유한한 변동성을 가진 함수로 정의역을 확장하고, 예상 누적 할인된 가치에 대한 측도 적분미분 방정식을 유도하는 데 목적이 있다.
• 생성자 기반 방정식을 통해 PDMPs에서 최적 제어 및 예상 값 문제를 해결하기 위한 프레임워크를 제공하는 데 목적이 있다.

제안 방법

• 반동 동적 시스템(SDS)의 가감성 함수를 일반적인 PDMPs를 위한 기초 분석 도구로 도입한다.
• 일반적인 PDMPs의 가감성 함수를 기초가 되는 SDS의 가감성 함수로 표현한다.
• 이러한 함수가 국소 마틴갈 또는 특수 세미마르코프 과정이 되기 위한 필요 및 충분 조건을 수립한다.
• 경로별 연속성 및 점프 지지 집합 조건으로 특성화된 정의역을 가진 측도-가치 생성자를 정의한다.
• 생성자를 통해 예상 누적 할인된 가치 함수가 만족하는 측도 적분미분 방정식을 도출한다.
• 생성자 프레임워크를 적용하여, 적분 가능성 및 감쇠 조건이 만족될 경우 측도 적분미분 방정식의 해가 할인된 가감성 함수의 기댓값과 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 점프 간격 시간 분포가 밀도를 갖지 않을 경우 PDMPs에 대한 확장된 생성자의 적절한 일반화는 무엇인가?
• RQ2 기초가 되는 반동 동적 시스템을 사용하여 일반적인 PDMPs의 가감성 함수를 체계적으로 어떻게 표현할 수 있는가?
• RQ3 측도-가치 생성자의 정의역을 완전히 특성화하는 데 필요한 분석 조건는 무엇인가?
• RQ4 가감성 함수의 예상 누적 할인된 가치는 어떤 측도 적분미분 방정식으로 특성화될 수 있는가?
• RQ5 측도 적분미분 방정식의 해가 할인된 함수의 기댓값과 일치하는 조건는 무엇인가?

주요 결과

• 측도-가치 생성자는 잘 정의되어 있으며, 기초가 되는 반동 동적 시스템의 가감성 함수의 공간에 값을 취한다.
• 생성자의 정의역은 경로별 절대 연속성 및 점프 지지 집합 조건에 의해 완전히 특성화된다: $ J_{Df} \subseteq J_{\Lambda} \cup \mathrm{Supp}_g $.
• 예상 누적 할인된 가치 함수 $ V(x) $ 는 생성자를 포함하는 측도 적분미분 방정식을 만족하며, 이는 비율 및 점프 성분을 포함한다.
• 만약 $ \Lambda^{sc} = 0 $ 이고 충돌 상태가 존재하지 않으며, 적분 가능성 및 감쇠 조건이 만족될 경우 측도 적분미분 방정식의 해는 적분 가능성 및 감쇠 조건 하에서 할인된 기댓값과 일치한다.
• 논문은 측도 적분미분 방정식의 해 $ f(x) $ 가 $ \mathbb{E}_x[\int_{(0,t]} e^{-\delta s} dA_s] $ 와 같음을 증명하며, 생성자와 확률적 기댓값 간의 연결 고리를 맺는다.
• 이 프레임워크는 국소적으로 유한한 변동성을 가진 함수로까지 확장되어, 매끄럽거나 유계 함수를 초월한 적용 범위를 넓힌다.