[논문 리뷰] On an inverse boundary problem for mean field games

Hongyu Liu, Shen Zhang|arXiv (Cornell University)|2022. 12. 18.

Stochastic processes and financial applications인용 수 8

한 줄 요약

이 논문은 평균장 게임(MFGs)에서 경계 측정을 통한 역경계 문제에 대해 최초로 유일한 식별 가능성 결과를 확립한다. 즉, 부분 도메인에서의 주행비용 함수 $F$가 MFG 시스템의 경계 측정값에 의해 유일하게 결정됨을 증명한다. 저자들은 비선형성과 확률측도 제약 조건을 가진 연쇄된 정방향-역방향 PDE를 다룰 수 있도록, 새로운 고차원 선형화 기법과 복소 기하광학(CGO) 해를 개발하였다. 이를 통해 노이만 경계 데이터로부터 $F$를 복원할 수 있다.

ABSTRACT

In this paper, we propose and study an inverse boundary problem for the mean field games (MFGs) governed by the first-order master equation in a bounded domain. We establish the unique identifiability result by showing that the running cost function within any given proper (state) space-time subdomain is uniquely determined by the MFG boundary data of this subdomain. There are several salient features of our study. The MFG system couples two nonlinear parabolic PDEs with one forward in time and the other one backward in time, and moreover there is a probability measure constraint. These make the inverse problem study new to the literature and highly challenging. We develop an effective and efficient scheme in tackling the inverse problem including the high-order variation in the probability space around a nontrivial distribution, and the construction of a novel class of CGO solutions to serve as the ``probing modes". Our study opens up a new field of research on inverse problems for MFGs.

연구 동기 및 목표

• 평균장 게임(MFG) 시스템의 경계 측정값으로부터 주행비용 함수 $F$를 복원하는 역문제를 다루는 것.
• 시간-역행 불가능한 역동성과 측도 기반 제약 조건으로 인해 매우 비선형적이고 구조적으로 복잡한 MFG 시스템에 대해, 첫 번째 유일한 식별 가능성 결과를 확립하는 것.
• 시간-역행 불가능한 역동성과 측도 기반 제약 조건으로 인해 매우 비선형적이고 구조적으로 복잡한 MFG 시스템에 대해, 첫 번째 유일한 식별 가능성 결과를 확립하는 것.
• 확률 공간 내 비선형 항의 비자명한 분포적 의존성을 극복하기 위해, 확률 공간에서의 고차원 변형 기법을 도입함으로써, 비선형성의 영향을 분리하는 것.

제안 방법

• 비선형 MFG 시스템을 분석하기 위해, 비자명한 분포를 중심으로 확률측도 공간에서의 변형을 다루는 새로운 고차원 선형화 전략을 제안한다.
• 선형화된 MFG 시스템에 대해 새로운 종류의 복소 기하광학(CGO) 해를 구성하며, 이는 $F$에 대한 정보를 경계 데이터에서 추출하는 탐사 모드로 기능한다.
• 다단계 선형화 접근법을 적용한다: 일차 및 이차 선형화를 통해 $F$가 측도와 가치함수에 미치는 비선형적 의존성을 분리한다.
• 카르레만 추정과 사전 $L^2$-유형 추정을 사용하여 선형화된 시스템의 해를 제어하고, 근사 수열의 수렴을 보장한다.
• 차이의 푸리에 변환의 영멸을 통해 고유한 계속성 성질을 활용하여 유일성을 도출한다.
• 유일한 관측 데이터로 MFG 시스템의 노이만 경계 데이터를 사용하여, 제안된 프레임워크 하에서 역문제가 잘 정의됨을 보장한다.

실험 결과

연구 질문

• RQ1 평균장 게임에서 주행비용 함수 $F$는 가치함수와 인구 밀도의 경계 측정값으로부터 유일하게 복원될 수 있는가?
• RQ2 확률측도 제약 조건이 있는 연쇄된 정방향-역방향 PDE 시스템의 역문제는 어떻게 다룰 수 있는가?
• RQ3 시간-역행 불가능한 구조와 비선형 결합으로 인해, MFG 시스템의 역문제를 연구하기 위해 어떤 새로운 분석 도구가 필요한가?
• RQ4 고차원 선형화 기법은 MFG 시스템의 확률측도 공간에 어떻게 적응시킬 수 있으며, $F$에 대한 구조적 정보를 어떻게 추출할 수 있는가?
• RQ5 경계 데이터로부터 주행비용을 식별하는 데 효과적인 탐사 해(예: CGO 유형)를 구성하는 것은 가능한가?

주요 결과

• MFG 시스템의 노이만 경계 데이터로부터, 어떤 적절한 시공간 부분도메인 $\Omega \times (0,T)$ 내에서 주행비용 함수 $F$가 유일하게 식별 가능하다.
• 두 MFG 시스템이 동일한 경계 데이터를 생성한다면, 그들의 주행비용 함수는 부분도메인 내에서 반드시 동일하다는 것을 증명한다. 즉, $F_1 = F_2$이다.
• 이 증명은 MFG 시스템의 다단계 고차원 선형화에 기반하며, $F$가 측도와 가치함수에 미치는 비선형적 의존성을 분리한다.
• 특정 진동 행동을 가진 CGO 해의 구성 덕분에, 차이 $F_1 - F_2$의 푸리에 변환을 추출할 수 있었으며, 이 값이 영이 되어 $F_1 = F_2$임을 의미한다.
• 초기 측도 $m_0$가 양이며, 해들이 충분히 정칙하다는 가정 하에, 이 방법은 안정적으로 작동하며 개방집합 내에서 영이 아닌 해를 보장한다.
• 최종 비용 $G$와 초기 데이터 $m_0$가 고정되어 있고, 오직 $F$만이 미지라는 조건 하에 결과가 성립하므로, 역문제가 잘 정의되어 있다.