[논문 리뷰] Existence of weak solutions to time-dependent mean-field games

Rita Ferreira, Diogo A. Gomes외 1명|arXiv (Cornell University)|2020. 01. 12.

Stochastic processes and financial applications참고 문헌 26인용 수 4

한 줄 요약

이 논문은 비국소적 결합과 비가역성 파라볼릭 역학을 갖는 광범위한 시간에 의존하는 평균장 게임(MFGs)에 대한 약한 해의 존재성을 확립한다. 고차원 시공간 타원형 정규화와 샤페르의 고정점 정리를 사용하여 정규화된 문제에 대한 존재성과 유일성을 증명한 후, 민티의 방법을 적용하여 정규화 파arameter가 0으로 갈 때의 극한을 취함으로써 일반적인 단조성 및 정칙성 조건 하에서 원래 MFG 시스템의 약한 해를 도출한다.

ABSTRACT

Here, we establish the existence of weak solutions to a wide class of time-dependent monotone mean-field games (MFGs). These MFGs are given as a system of degenerate parabolic equations with initial and terminal conditions. To construct these solutions, we consider a high-order elliptic regularization in space-time. Then, using Schaefer's fixed-point theorem, we obtain the existence and uniqueness for this regularized problem. Using Minty's method, we prove the existence of a weak solution to the original MFG. Finally, the paper ends with a discussion on congestion problems and density constrained MFGs.

연구 동기 및 목표

• 비국소적 결합과 비가역성 파라볼릭 역학을 갖는 광범위한 시간에 의존하는 평균장 게임에 대한 약한 해의 존재성을 확립한다.
• 일반적인 단조성 결합 항과 비연속 데이터를 갖는 MFG 시스템을 해결하는 데 도전하는 데 있어 고차원 시공간 정규화를 도입함으로써 문제를 해결한다.
• 초기 및 종료 조건, 비국소적 상호작용, 그리고 밀도 과잉 효과를 포함한 경우로 MFG 이론을 확장한다.
• 에이전트 밀도가 상한으로 제약을 받는 밀도 제약이 있는 MFG를 분석한다. 이는 인구 분포의 물리적 또는 사회적 제약을 모델링한다.

제안 방법

• 원래의 비가역성 파라볼릭 MFG 시스템에 고차원 시공간 타원형 정규화를 도입하여, 잘 정의된 균일한 파라볼릭 문제로 변환한다.
• 샤페르의 고정점 정리를 적용하여 소볼레프 유형 함수 공간에서 정규화된 문제의 해가 존재하고 유일함을 증명한다.
• 정규화 파arameter가 0으로 갈 때의 극한을 취하기 위해 민티의 방법을 사용하여 정규화된 해가 원래 MFG 시스템의 약한 해로 수렴함을 증명한다.
• 비선형성과 비가역성 처리를 위해 힘의 하이퍼볼릭 방정식과 포크너-플랭크 방정식의 변분형 및 약한 형태를 활용한다.
• 적절한 함수 공간(예: 밀도에 대해 $L^1$, 가치 함수에 대해 $L^\rho$)을 정의하고, 콤���트성 및 약한 수렴 논증을 사용한다.
• 밀도 제약을 처리하기 위해 허용 가능한 밀도 집합 $\widehat{\mathcal{A}}_1$ 를 도입하고, 이 제약 조건 하에서 고정점 논증을 적응시킨다.

실험 결과

연구 질문

• RQ1 비국소적 결합과 비가역성 확산을 갖는 시간에 의존하는 평균장 게임에 대해 약한 해가 존재하는 조건은 무엇인가?
• RQ2 일반적인 단조성 결합 항과 비연속 데이터를 갖는 MFG에 대해 해의 존재성을 확보할 수 있는가?
• RQ3 밀도 제약, 예를 들어 $0 \leq m \leq M$ 을 포함한 해 이론은 어떻게 확장될 수 있는가?
• RQ4 고차원 시공간 정규화는 비가역성 파라볼릭 MFG 시스템의 존재성 증명에서 어떤 역할을 하는가?
• RQ5 민티의 방법은 종료 조건과 비국소적 상호작용을 갖는 시간에 의존하는 MFG에 효과적으로 적용될 수 있는가?

주요 결과

• 저자들은 일반적인 단조성 및 정칙성 가정 하에서 원래 시간에 의존하는 MFG 시스템에 대해 약한 해 $(m, \tilde{u}) \in L^1(\Omega_T) \times L^\gamma((0,T); W^{1,\gamma}(\mathbb{T}^d))$ 의 존재성을 증명한다.
• 밀도 제약이 적용된 경우, $m \geq 0$ 이고 $m \leq M$ 이 $\Omega_T$ 거의 모든 곳에서 성립한다.
• 각 $\epsilon > 0$ 에 대해 정규화된 문제는 유일한 해를 가지며, 이 해는 $\epsilon \to 0$ 일 때 원래 시스템의 약한 해로 약하게 수렴한다.
• 모리의 정리와 레릴리히–콘드라코프 임베딩을 기반으로 한 콤팩트성 논증을 통해 수렴이 확보되며, 이는 어떤 $l \in (0,1)$ 에 대해 $C^{2,l}(\overline{\Omega}_T)$ 에서 강한 수렴을 보장한다.
• 비국소적 결합 $g(m, h(\boldsymbol{m}))$ 을 갖는 MFG에 대해서도 이 방법이 적용 가능하며, 이는 국소적 결합을 넘어서 범위를 확장한다. 여기서 $h$ 는 측도 기반 밀도 $\boldsymbol{m}$ 에 대한 비선형 연산자이다.
• 해의 존재 결과는 해밀토니안 $H$ 가 엄격히 볼록하거나 강력한 성질을 갖지 않더라도, $g$ 와 $H$ 의 성장 조건이 충족된다면 여전히 성립한다.