[논문 리뷰] Weak solutions for mean field games with congestion

P. Jameson Graber|arXiv (Cornell University)|2015. 03. 16.

Stochastic processes and financial applications참고 문헌 9인용 수 12

한 줄 요약

이 논문은 밀도 $ m $ 에 대해 특이한 의존성을 보이는 해밀토니안 $ H = |p|^r / (r m^\alpha) $ 를 가진 혼잡도를 고려한 평균장 게임 시스템에 대해 짧은 시간 동안 약한 해의 존재성과 유일성을 확립한다. 주요 기여는 $ m $ 와 $ 1/m $ 에 대한 사전 추정치를 제공함으로써, Fokker-Planck 분석과 비선형 PDE 기법을 통해 컴팩트성과 해의 구성이 가능하게 한다. 이는 $ r $ 이 너무 크지 않을 경우에 유효하다.

ABSTRACT

We study the short-time existence and uniqueness of solutions to a coupled system of partial differential equations arising in mean field game theory. It has the generic form $$ \left\{ \begin{array}{c} -\partial_t u - Δu + H(t,x,m, abla u) = f(t,x,m) \\ \partial_t m - Δm - \mathrm{div} \left(m abla_p H(t,x,m, abla u) ight) = 0 \end{array} ight. $$ plus initial-final and boundary conditions. The novelty of the problem is that the Hamiltonian $H(t,x,m,p)$ may take such forms as $m^{-α}|p|^r$ for some $α\geq 0$ and $r > 1$. Our main result is the existence of weak solutions for small times $T$ so long as $r$ is not too large, and uniqueness under additional constraints. The main ingredient in the proof is an a priori estimate on solutions to the Fokker-Planck equation. We also briefly consider existence and uniqueness of solutions to an optimal control problem related to mean field games.

연구 동기 및 목표

• 해밀토니안이 밀도 $ m $ 에 대해 강한 특이성(예: $ H = |p|^r / (r m^\alpha) $)을 갖는 평균장 게임 시스템에 대해 약한 해의 존재성과 유일성을 확립하는 것.
• 해밀토니안 항에서 $ m \to 0 $ 일 때 $ H $ 가 발산함에 따라 고전적인 준선형 PDE 기법이 무력화되는 상황에서 컴팩트성 문제를 다루는 것.
• 해밀토니안이 $ m $ 에 대해 독립적일 때의 기존 평균장 게임 이론을 초월하여, $ \nabla u $ 에 대한 해밀토니안의 성장률 $ r $ 에 대한 조건 하에서 해의 존재성을 증명하는 것.
• 이중성에 의해 평균장 게임 시스템을 최적 제어 문제와 연결하여, 게임의 해와 기능 $ J $ 의 최소화자 간의 동치성을 보여주는 것.

제안 방법

• Fokker-Planck 방정식의 해에 대해 $ \|m\|_{\infty} + \|1/m\|_{\infty} \leq C $ 를 만족하는 사전 추정치를 유도하여, 해밀토니안의 특이성을 제어하는 것.
• Fokker-Planck 방정식의 구조를 이용해 벡터장 $ m \nabla_p H $ 의 유계성을 확보함으로써 컴팩트성에 필요한 적절한 적분 가능성을 확보하는 것.
• 준선형 포물선 이론에서의 컴팩트성 기준과 사전 추정치를 적용하여 작은 시간 $ T $ 에서 약한 해를 구성하는 것.
• Gâteaux 미분과 수반 방정식을 통해, $ w = -m \nabla_p H $ 인 $ (m,w) \in \mathcal{K} $ 에서의 기능 $ J(m,w) $ 의 최소화자와 평균장 게임 해의 동치성을 확립하는 것.
• 기능 $ J $ 가 특이한 $ m $-의존성으로 인해 미분 가능성이 없을 경우, Fenchel-Rockafellar 이중성을 일반화 전략으로 사용하는 것.

실험 결과

연구 질문

• RQ1 해밀토니안 $ H = |p|^r / (r m^\alpha) $ 를 가진 혼잡도가 있는 평균장 게임 시스템이 작은 시간 $ T $ 에서 약한 해를 갖기 위한 $ r $ 과 $ \alpha $ 의 조건은 무엇인가?
• RQ2 해밀토니안 $ H $ 가 $ m \to 0 $ 일 때 발산함에도 불구하고, 특이한 $ H $ 조건 하에서 Fokker-Planck 방정식에 대해 $ m $ 과 $ 1/m $ 에 대한 사전 추정치를 확립할 수 있는가?
• RQ3 고전적인 준선형 방법이 실패할 때, 해밀토니안 항에서 $ m $ 에 대해 비선형적이고 특이적인 의존성이 있는 상황에서 컴팩트성이 어떻게 달성될 수 있는가?
• RQ4 평균장 게임 시스템과 관련된 최적 제어 문제 사이의 관계는 무엇이며, 기능 $ J $ 의 최소화를 통해 해를 특성화할 수 있는가?
• RQ5 기능 $ J $ 가 Gâteaux 미분 가능성이 없을 경우, 이중성 방법을 통해 현재의 가정을 초월해 해의 존재성과 유일성을 어떻게 확장할 수 있는가?

주요 결과

• 해밀토니안 $ H = |p|^r / (r m^\alpha) $ 를 가진 혼잡도가 있는 평균장 게임 시스템에 대해, $ r $ 이 너무 크지 않은 한 짧은 시간 $ T $ 에서 약한 해가 존재한다.
• Fokker-Planck 방정식의 해에 대해 $ \|m\|_{\infty} + \|1/m\|_{\infty} \leq C $ 를 만족하는 사전 추정치가 확립되었으며, 이는 해밀토니안의 특이 행동을 제어한다.
• 해의 유일성은 $ m $ 과 $ 1/m $ 의 유계성 및 기능 $ J $ 의 엄격한 볼록성 등의 추가 조건 하에서 성립한다.
• 평균장 게임 시스템은 $ w = -m \nabla_p H $ 인 $ (m,w) \in \mathcal{K} $ 에서의 최소화 문제와 동치이며, 해는 기능 $ J $ 의 최소화자에 해당한다.
• 기능 $ J $ 는 $ m $ 과 $ 1/m $ 이 유계일 경우 최소화점에서 Gâteaux 미분 가능하며, 이는 수반 방정식 유도와 최적성 검증에 기여한다.
• Fenchel-Rockafellar 이중성을 통해 이 방법은 더 넓은 설정으로 확장 가능하며, 특이한 $ m $-의존성으로 인해 미분 가능성이 없을 경우에도 존재성 결과를 도출할 수 있다.