[논문 리뷰] On the existence of classical solutions for stationary extended mean field games

Diogo A. Gomes, Stefania Patrizi외 1명|arXiv (Cornell University)|2013. 05. 13.

Geometric Analysis and Curvature Flows참고 문헌 5인용 수 7

한 줄 요약

이 논문은 값 함수 $u$, 밀도 $m$, 효율 힘함수 $\overline{H}$, 속도장 $V$를 포함하는 확장된 평균장 게임 시스템에 대해 사전 추정, 수반 방법, 연속성 방법을 사용하여 속도장에 의존하는 해밀토니안을 가진 정적 확장 평균장 게임에 대해 고전적 해의 존재성을 확립한다. 일반 해밀토니안, 특히 로그 및 거듭제곱형 비선형성의 경우에도 매끄러운 해가 존재함을 증명하며, 명시적인 차원에 의존하는 정규성 임계값을 제공한다.

ABSTRACT

In this paper we consider extended stationary mean field games, that is mean-field games which depend on the velocity field of the players. We prove various a-priori estimates which generalize the results for quasi-variational mean field games in [GPSM12]. In addition we use adjoint method techniques to obtain higher regularity bounds. Then we establish existence of smooth solutions under fairly general conditions by applying the continuity method. When applied to standard stationary mean-field games as in [LL06a], [GSM11] or [GPSM12] this paper yields various new estimates and regularity properties not available previously. We discuss additionally several examples where existence of classical solutions can be proved.

연구 동기 및 목표

• 속도에 의존하는 비용 함수를 가진 정적 평균장 게임에서 고전적 해에 대한 존재 결과 부족 문제를 해결한다.
• 기존의 준변분 평균장 게임에 대한 사전 추정과 정규성 경계를 확장된 설정으로 일반화한다.
• 연속성 방법과 수반 기법을 통해 일반 조건 하에서 매끄러운 해의 존재를 확립한다.
• 표준 평균장 게임의 정규성 및 존재 결과를 속도 의존성으로 확장하여 새로운 결과를 제공한다.
• 로그 및 거듭제곱형 비선형성과 같은 구체적 예제를 분석하여 적용 가능성과 차원에 의존하는 해법 가능성의 타당성을 입증한다.

제안 방법

• 값 함수 $u$, 밀도 $m$, 효율 해밀토니안 $\overline{H}$, 속도장 $V$를 포함하는 확장된 평균장 게임 시스템에 대한 사전 추정을 유도한다.
• 수반 방법 기법을 적용하여 해의 고차 정규성 경계를 확보한다.
• 기본 해에서 전체 시스템으로의 변형을 통해 연속성 방법을 사용하여 고전적 해의 존재를 증명한다.
• 해밀토니안의 헤시안과 그가 $V$에 의존하는 방식을 분석하여 시스템 내 비선형 항을 제어한다.
• 가중치 $L^2$ 추정과 코시-슈바르츠/횔더 부등식을 사용하여 이차형식 $\mathcal{H}_{\lambda,I}$ 내의 교차항을 제어한다.
• 선형화된 연산자의 일관된 타원성 보장을 위해 $D^2_{pp}H$, $V$, $m$에 대한 경계를 통해 이차형식 $\mathcal{H}_{\lambda,I}$의 강제성 확보

실험 결과

연구 질문

• RQ1 속도에 의존하는 해밀토니안을 가진 정적 확장 평균장 게임에서 고전적 해가 존재하는 조건은 무엇인가?
• RQ2 해밀토니안에 속도장 $V$가 포함될 경우 해의 정규성과 존재성에 어떤 영향을 미치는가?
• RQ3 매끄러운 해의 존재를 위해 비선형성 $g(m)$에 대한 차원에 의존하는 제약 조건은 무엇인가?
• RQ4 비변분적 구조를 가진 확장 평균장 게임에 대해 연속성 방법을 성공적으로 적용할 수 있는가?
• RQ5 이 확장된 프레임워크에서 선형화된 연산자의 정밀한 정규성 및 강제성 경계는 무엇인가?

주요 결과

• 논문은 해밀토니안 $H$에 대한 일반 조건 하에서 확장된 정적 평균장 게임 시스템 (1.2)에 대해 고전적 해의 존재를 증명한다.
• 예시 $H(x,p,m,V) = \frac{1}{2}|p|^2 - \alpha p \int V \, dm - \ln m$ 에서는 임의의 차원 $d$ 에서 매끄러운 해가 존재한다.
• 예시 $H(x,p,m,V) = \frac{1}{2}|p|^2 - \alpha p \int V \, dm - m^\gamma$ 에서는 $d \leq 4$ 이거나 $d \geq 5$ 이면 $\gamma \leq \frac{1}{d-4}$ 일 때 매끄러운 해가 존재한다.
• 분석을 통해 기존에 표준 평균장 게임에 대해 확보되지 않았던 새로운 사전 추정과 고차 정규성 경계를 확보한다.
• 이차형식 $\mathcal{H}_{\lambda,I}$ 의 강제성은 $L^2$-가중 추정과 $D^2_{pp}H$ 에 대한 경계를 통해 확보되어 선형화된 문제의 해법 가능성을 보장한다.
• |\alpha| 가 충분히 작을 경우 (특히 $|\alpha| \leq \min\{\sigma_1/26, \eta_0/27\}$), 이차형식은 일관된 강제성을 가지며 연속성 방법의 적용을 가능하게 한다.