[논문 리뷰] A Semi-Lagrangian scheme for a degenerate second order Mean Field Game system

Elisabetta Carlini, Francisco J. Silva|arXiv (Cornell University)|2014. 04. 23.

Stochastic processes and financial applications참고 문헌 32인용 수 60

한 줄 요약

이 논문은 기하학적 비퇴화 제2형 평균장게임(MFG) 시스템을 해결하기 위한 완전 이산화된 준라그랑주 방법을 제안한다. 이는 힘의-자코비-벨리만 방정식에 대한 준라그랑주 이산화와 제1형 포커-플랑크 방법의 제2형 동역학으로의 새로운 확장 방식을 융합한 것으로, 상태 차원이 1인 경우 연속 MFG 시스템의 해로 향하는 수렴 증명이 핵심 기여이다. 수치 시뮬레이션을 통해 비퇴화 및 비퇴화 확산 영역 간의 해의 행동 차이를 검증하였다.

ABSTRACT

In this paper we study a fully discrete Semi-Lagrangian approximation of a second order Mean Field Game system, which can be degenerate. We prove that the resulting scheme is well posed and, if the state dimension is equals to one, we prove a convergence result. Some numerical simulations are provided, evidencing the convergence of the approximation and also the difference between the numerical results for the degenerate and non-degenerate cases.

연구 동기 및 목표

• 변동 및 비퇴화 확산을 다룰 수 있도록 기존 방법을 일반화한 비퇴화 제2형 평균장게임(MFG) 시스템을 위한 완전 이산화된 준라그랑주 방법을 개발한다.
• 브라우어 고정점 정리를 활용하여 이산화된 방법의 잘 정의됨을 입증한다.
• 상태 차원이 1인 경우, 이산화된 해가 연속 MFG 시스템의 점성해로 수렴함을 증명한다.
• 비퇴화, 비비퇴화, 결정론적 확산 영역에서의 해 행동을 수치적으로 비교한다.

제안 방법

• 시스템 내 힘-자코비-벨리만 방정식에 대해 시간 및 공간 이산화 단위 $\rho$ 및 $h$ 를 사용한 완전 이산화된 준라그랑주 방법을 적용한다.
• 값 함수 근사 $v^{\varepsilon}_{\rho,h}[\mu]$ 의 부드러움과 안정성을 확보하기 위해, 매끄러움을 위한 매끄러움 함수 $\phi_\varepsilon$ 와의 컨볼루션을 통한 정규화를 실시한다.
• 제2형 동역학을 위한 제1형 포커-플랑크 방법의 새로운 확장 방식을 제안하여, 측도 $m^{\varepsilon}_{\rho,h}[\mu]$ 의 일致한 진화를 보장한다.
• 고정점 반복을 통해 이산화된 시스템을 해결하며, 해 $\mu$ 가 $m^{\varepsilon}_{\rho,h}[\mu] = \mu$ 를 만족해야 하며, 존재성을 확보하기 위해 브라우어 고정점 정리를 활용한다.
• 이산화된 측도 해의 상대적 컴acts를, 방법의 마코프 체인 해석을 통해 확립한다.
• 값 함수의 이산화된 반볼류미티와 밀도에 대한 $L^\infty$-유계를 사용하여, 기울기의 거의 everywhere 수렴성과 측도의 약한 수렴성을 증명한다.

실험 결과

연구 질문

• RQ1 준라그랑주 방법은 제2형 비퇴화 평균장게임 시스템으로 효과적으로 확장될 수 있는가?
• RQ2 제안된 완전 이산화된 방법은 확산 계수의 퇴화 조건에서도 잘 정의되는가?
• RQ3 1차원 공간에서 MFG 시스템의 이산화된 해는 연속 시스템의 해로 수렴하는가?
• RQ4 비퇴화, 비비퇴화, 결정론적 확산 영역 간의 수치적 해는 어떻게 다를까?

주요 결과

• 제안된 준라그랑주 방법은 잘 정의되어 있으며, 브라우어 고정점 정리를 통해 해가 존재함을 입증하였다.
• 1차원 경우, 이산화 파rameter에 적절한 조건이 만족될 경우, 이산화된 방법은 연속 MFG 시스템의 점성해로 수렴한다.
• 수치 시뮬레이션은 고정점 반복의 수렴을 확인하였으며, $\tau = 10^{-3}$ 정밀도를 만족하기 위해 평균 6~10회 반복이 필요하였다.
• $\rho = 6.25 \times 10^{-3}$, $\varepsilon = 0.15$ 인 경우, 값 함수 오차는 최소 $1.08 \times 10^{-6}$, 밀도 오차는 최소 $1.17 \times 10^{-4}$ 수준이었다.
• 비퇴화 케이스($\sigma(t) = \max(0, 0.2 - |t-1|)$)에서는 확산이 $[0.8, 1.2]$ 에서만 작용하여 일시적인 퍼짐 이후 재집중 현상이 발생하며, 일정한 확산 케이스와는 뚜렷한 차이를 보였다.
• $V_\delta$ 페널티 항은 피크 밀도 집중 현상을 크게 감소시켜, 이 항이 존재하지 않을 경우 물리적으로 비합리적인 군집 현상을 방지하였다.