[논문 리뷰] Sharp semi-concavity in a non-autonomous control problem and $L^p$ estimates in an optimal-exit MFG

Samer Dweik, Guilherme Mazanti|2018. 12. 20.

Advanced Mathematical Modeling in Engineering인용 수 4

한 줄 요약

이 논문은 시간에 대해 하한 리프시츠 연속성 조건만을 갖는 비자기적 최적 제어 문제에서 가치 함수의 날카운 반볼록성(semi-concavity)을 확립하고, 이를 바탕으로 최적 퇴출 평균장게임(MFG)에서 에이전트 분포의 일관된 $L^p$ 유계성 조건을 증명한다. 이는 역학의 미약한 정규성 조건 하에서도 초기 조건에서의 $L^p$ 적분 가능성 성질이 모든 향후 시간에 걸쳐 유지됨을 보장한다.

ABSTRACT

This paper studies a mean field game inspired by crowd motion in which agents evolve in a compact domain and want to reach its boundary minimizing the sum of their travel time and a given boundary cost. Interactions between agents occur through their dynamic, which depends on the distribution of all agents. We start by considering the associated optimal control problem, showing that semi-concavity in space of the corresponding value function can be obtained by requiring as time regularity only a lower Lipschitz bound on the dynamics. We also prove differentiability of the value function along optimal trajectories under extra regularity assumptions. We then provide a Lagrangian formulation for our mean field game and use classical techniques to prove existence of equilibria, which are shown to satisfy a MFG system. Our main result, which relies on the semi-concavity of the value function, states that an absolutely continuous initial distribution of agents with an $L^p$ density gives rise to an absolutely continuous distribution of agents at all positive times with a uniform bound on its $L^p$ norm. This is also used to prove existence of equilibria under fewer regularity assumptions on the dynamics thanks to a limit argument.

연구 동기 및 목표

• 시간에 따라 변화하는 역학에 대해 최소한의 시간 정규성 조건을 가정할 때, 비자기적 최적 제어 문제에서 가치 함수의 반볼록성을 확립한다.
• 더 강한 정규성 조건 하에서 최적 궤적 沿해 가치 함수의 미분 가능성 증명.
• 최적 퇴출 MFG에 대해 라그랑주 접근법을 제시하고, 평형의 존재를 증명한다.
• 초기 분포가 $L^p$ 밀도를 갖는 경우, 모든 양의 시간에서 에이전트 분포에 대한 균일한 $L^p$ 유계성 조건을 유도한다.
• 최소한의 정규성 조건 하에서도 $L^p$ 추정과 극한 근사 기법을 통해 평형 존재성을 확장한다.

제안 방법

• 시간에 대한 하한 리프시츠 조건만을 사용하여 가치 함수의 날카운 반볼록성을 증명하고, 상한 조건이 필요 없음을 보인다.
• 포트리아긴 최대원리(Maximum Principle)를 적용하여 최적 궤적을 특성화하고 필요 조건을 도출한다.
• 라그랑주 형식을 사용하여 에이전트의 진화를 기술하고, 연속성 방정식과 하밀턴–자코비 방정식으로 구성된 MFG 시스템을 유도한다.
• 가치 함수의 반볼록성 특성을 활용하여 모든 시간에 걸쳐 에이전트 분포의 균일한 $L^p$ 유계성 조건을 확립한다.
• 정규화된 역학의 수열을 구성하고, 약한 수렴과 컴팩턴스를 이용하여 극한으로 가는 과정을 통해 최소한의 정규성 조건 하에서도 평형 존재성을 증명한다.
• 비선형 해석 이론(Viscosity solution theory)을 사용하여 극한 해가 비선형 해석 의미에서 하밀턴–자코비 방정식을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 비자기적 최적 제어 문제에서 시간에 따라 변화하는 역학에 대해 하한 리프시츠 연속성 조건만을 갖는 경우, 가치 함수의 반볼록성을 확립할 수 있는가?
• RQ2 최적 퇴출 MFG 프레임워크에서 초기 $L^p$-적분 가능한 에이전트 분포가 모든 향후 시간에 걸쳐 분포의 $L^p$ 노름이 균일하게 유계임을 보장하는가?
• RQ3 최소한의 정규성 조건 하에서도 $L^p$ 추정과 극한 근사 기법을 통해 MFG 모델에서 평형 존재성을 증명할 수 있는가?
• RQ4 가치 함수의 반볼록성은 MFG 시스템에서 적분 가능성의 전파에 어떻게 기여하는가?
• RQ5 라그랑주 형식은 평형 존재성 증명과 MFG 시스템 유도에 있어 어떤 역할을 하는가?

주요 결과

• 가치 함수는 공간에 대해 반볼록적이며, 날카운 반볼록성 상수는 시간에 대한 하한 리프시츠 상수에만 의존한다.
• 역학에 추가적인 정규성 조건이 만족될 경우, 최적 궤적을 따라 가치 함수의 미분 가능성 보장된다.
• 절대 연속적인 초기 분포가 $L^p$ 밀도를 갖는 경우, 모든 양의 시간에서 절대 연속적인 분포를 유지하며, 그 $L^p$ 노름에 대한 균일한 유계성 조건이 성립한다.
• $L^p$ 추정을 활용하여 정규화된 역학의 수열에 대한 극한 근사 기법을 통해 덜 정규화된 모델에서 평형 존재성을 증명한다.
• 극한 분포는 분포 의미에서 MFG 시스템을 만족하며, 연속성 방정식과 하밀턴–자코비 방정식이 약한 의미에서 성립한다.
• 정규화된 가치 함수의 기울기 수열이 극한 가치 함수의 기울기로 수렴함을 증명하여 MFG 시스템의 역학 일관성을 확보한다.