[논문 리뷰] A time-fractional mean field game

Fabio Camilli, Raul De Maio|arXiv (Cornell University)|2017. 09. 01.

Stochastic processes and financial applications인용 수 10

한 줄 요약

이 논문은 시간 분수적 평균장 게임(MFG) 모델을 제안하며, 여기서 에이전트의 역학은 고전적 확산을 대체하는 분수적 시간 미분으로 제어되는 서브디퓨전 과정을 따른다. 미약한 해와 고정점 추론을 통해 분수적 해밀토니안-자코비-벨만(Hamilton-Jacobi-Bellman, HJB) 및 포커-플랑크 방정식의 결합된 시스템의 잘 정의됨을 입증하며, 적절한 함수 공간에서 해의 존재성과 유일성을 보여준다.

ABSTRACT

We consider a Mean Field Games model where the dynamics of the agents is subdiffusive. According to the optimal control interpretation of the problem, we get a system involving fractional time-derivatives for the Hamilton-Jacobi-Bellman and the Fokker-Planck equations. We discuss separately the well-posedness for each of the two equations and then we prove existence and uniqueness of the solution to the Mean Field Games system

연구 동기 및 목표

• 시간 분수적 도함수를 도입하여 고전적 평균장 게임 이론을 서브디퓨전 역학으로 확장한다.
• 에이전트가 장기적인 대기 시간을 보이는 대규모 확률적 게임에서 기억 효과와 비정상적 확산을 모델링한다.
• 분수적 해밀토니안-자코비-벨만 및 포커-플랑크 방정식을 결합한 시스템의 잘 정의됨을 확립한다.
• 측도 값 설정에서 미약한 해와 고정점 추론을 사용하여 해의 존재성과 유일성을 증명한다.
• 분수적 차수 β → 1의 극한에서 고전적 MFG 정적인 상태를 회복한다.

제안 방법

• HJB 방정식에서 후행 리만-리우빌 분수 도함수와 포커-플랑크 방정식에서 전행 도함수를 사용하여 시간 분수적 MFG 시스템을 수립한다.
• 분수적 HJB 방정식의 미약한 해 이론을 적용하여 적절한 유계 조건 하에서 정규성과 존재성을 보장한다.
• 측도 이론 프레임워크에서 분수적 포커-플랑크 방정식의 약한 해를 사용하여 질량 보존성과 적분 가능성을 확보한다.
• 이차 모멘트가 유계이면서 β/2- Hölder 연속성을 갖는 확률 측도의 닫힘, 볼록, 컴act 부분집합에서 고정점 추론을 시행한다.
• HJB 해의 균일한 유계성과 FP 해의 유일성에 기반하여 해 매핑의 연속성을 확립한다.
• 동적 프ogram밍과 It\'o의 공식을 활용하여 제어 문제와 분수적 HJB 방정식 간의 연결을 정당화한다.

실험 결과

연구 질문

• RQ1 장기적인 대기 시간과 기억 효과를 특징으로 하는 서브디퓨전 역학으로 평균장 게임을 어떻게 일반화할 수 있는가?
• RQ2 HJB 및 포커-플랑크 방정식에 분수 도함수를 포함하는 결합 시스템의 올바른 수식은 무엇인가?
• RQ3 시간 분수적 MFG 시스템이 고유한 해를 갖는 조건은 무엇인가?
• RQ4 시간 분수적 MFG 시스템의 해는 β → 1의 극한에서 고전적 MFG 해와 어떻게 관련이 있는가?
• RQ5 분수적 HJB 및 포커-플랑크 방정식의 해는 어떤 정규성 및 적분 가능 성질을 갖는가?

주요 결과

• 시간 분수적 MFG 시스템에 대해 공간 C([0,T]; C¹∞(ℝᵈ)) × C([0,T]; ℙ₁(ℝᵈ)) 내에 고유한 해 (v, m) 가 존재한다.
• 해는 이차 모멘트가 유계이면서 β/2-Hölder 연속성을 갖는 확률 측도의 완전하고 볼록하며 컴act인 집합에서 고정점 추론을 통해 구성된다.
• 모든 t ∈ [0,T] 에 대해 HJB 방정식의 미약한 해는 C²(ℝᵈ) 내에서 균일하게 유계이며, 변화에 대한 안정성을 보장한다.
• 측도 공간에서 자기 자신으로의 매핑 Φ 는 연속적이며, 이는 Schauder 고정점 정리 적용에 필수적이다.
• 시간 분수적 MFG 시스템의 정적인 해는 β → 1일 때 고전적 MFG 해로 수렴하며, 표준 HJB-FP 시스템을 복원한다.
• 분수적 포커-플랑크 방정식은 약한 의미에서 잘 정의되어 있으며, 해 m 은 C([0,T]; ℙ₁(ℝᵈ)) 내의 약한 해이다.