[논문 리뷰] A variational approach to the mean field planning problem

Carlo Orrieri, Alessio Porretta외 1명|arXiv (Cornell University)|2018. 07. 25.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 4

한 줄 요약

이 논문은 볼록 해석학과 최적 운반 이론을 활용하여 일阶 평균장 계획 문제를 위한 변분 프레임워크를 제안한다. 시스템을 원추적 엔트로피-운반 문제와 이중적 힘-하미르토니안 최적화 간의 이중성으로 공식화함으로써, 접촉-결함 측도와 재규격화된 해를 통해 약한 해의 존재성과 부분적 유일성을 확립하며, 경로 공간 위의 동적 계획을 통한 라그랑주적 특성화를 제공한다.

ABSTRACT

We investigate a first-order mean field planning problem of the form \begin{equation} \left\lbrace\begin{aligned} -\partial_t u + H(x,Du) &= f(x,m) && ext{in } (0,T) imes \mathbb{R}^d, \\ \partial_t m - abla\cdot (m\,H_p(x,Du)) &= 0 && ext{in }(0,T) imes \mathbb{R}^d,\\ m(0,\cdot) = m_0, \; m(T,\cdot) &= m_T && ext{in } \mathbb{R}^d, \end{aligned} ight. \end{equation} associated to a convex Hamiltonian $H$ with quadratic growth and a monotone interaction term $f$ with polynomial growth. We exploit the variational structure of the system, which encodes the first order optimality condition of a convex dynamic optimal entropy-transport problem with respect to the unknown density $m$ and of its dual, involving the maximization of an integral functional among all the subsolutions $u$ of an Hamilton-Jacobi equation. Combining ideas from optimal transport, convex analysis and renormalized solutions to the continuity equation, we will prove existence and (at least partial) uniqueness of a weak solution $(m,u)$. A crucial step of our approach relies on a careful analysis of distributional subsolutions to Hamilton-Jacobi equations of the form $-\partial_t u + H(x,Du) \leq α$, under minimal summability conditions on $α$, and to a measure-theoretic description of the optimality via a suitable contact-defect measure. Finally, using the superposition principle, we are able to describe the solution to the system by means of a measure on the path space encoding the local behavior of the players.

연구 동기 및 목표

• 이차 하미르토니안과 단조성 상호작용을 갖는 일阶 평균장 계획 문제에 대해 변분 구조를 수립하기.
• 최적 운반의 맥락에서 이중성과 볼록 해석학을 활용하여 약한 해의 존재성과 부분적 유일성을 증명하기.
• 연속 곡선의 공간 위의 측도를 사용한 라그랑주적 시각으로 해를 특성화하기.
• 소스 항에 대해 최소한의 적분 가능성을 가정할 때 힘-하미르토니안 방정식의 약한 하위해를 분석하기.
• 변분 프레임워크에서 최적성 조건을 묘사하기 위해 접촉-결함 측도를 도입하기.

제안 방법

• 평균장 계획 시스템을 볼록 동적 최적 엔트로피-운반 문제의 일阶 최적 조건으로 공식화하기.
• 원추 문제(엔트로피-운반 비용 최소화)와 이중 문제(하미르토니안-하이젠베르크 방정식의 하위해 위에서 적분 기능을 최대화) 간의 이중성 사용하기.
• 낮은 정규성의 밀도와 유량을 다루기 위해 연속 방정식의 재규격화된 해를 활용하기.
• 최적성에서 하위해가 하이젠베르크 방정식을 충족하지 못하는 데 기인한 불일치를 포착하기 위해 접촉-결함 측도 도입하기.
• 초과성 원리(superposition principle)를 적용하여 유동적 프레임워크에서 라그랑주적 프레임워크로 해를 이행하고, 해를 연속 곡선 공간 위의 측도로 묘사하기.
• 이방향 컨볼루션과 가중 $L^p$ 공간을 사용하여 측도 수렴과 하위해의 안정성 다루기.

실험 결과

연구 질문

• RQ1 일阶 하미르토니안과 종료 조건을 갖는 평균장 계획 문제는 볼록 변분 문제로 재구성될 수 있는가?
• RQ2 소스 항에 대해 최소한의 적분 가능성을 가정할 때 힘-하미르토니안 방정식의 약한 하위해는 어떻게 분석할 수 있는가?
• RQ3 접촉-결함 측도는 변분 프레임워크에서 최적성의 특성을 묘사하는 데 어떤 역할을 하는가?
• RQ4 동적 계획을 사용하여 라그랑주적 설정에서 평균장 계획 시스템의 해는 어떻게 표현할 수 있는가?
• RQ5 원추 문제와 이중 문제 간의 이중성이 약한 해의 존재성과 부분적 유일성을 도출하는 데 어떤 조건에서 성립하는가?

주요 결과

• 이차 성장과 볼록 하미르토니안, 다항식 성장과 단조성 상호작용을 갖는 조건 하에서 평균장 계획 시스템의 약한 해 $(m, u)$ 가 존재함을 입증하였다.
• 해는 엔트로피 정규화를 포함한 볼록 동적 최적 운반 문제의 최소화자로 나타남을 보였다.
• 이중 문제에서는 하이젠베르크 방정식의 하위해 위에서 적분 기능을 최대화하며, 최적성은 접촉-결함 측도로 특성화됨을 확인하였다.
• 접촉-결함 측도는 하위해가 하이젠베르크 방정식을 충족하지 못하는 정도를 측도로서 포착하여 정밀한 이중성 기술을 가능하게 하였다.
• 초과성 원리를 통해 해는 연속 곡선 공간 위의 확률 측도로 라그랑주적 표현이 가능해졌으며, 이는 해를 경로 공간의 측도로 연결함을 의미한다.
• 하이젠베르크 부등식의 우변에 대해 최소한의 적분 가능 조건을 가정할 때 약한 하위해의 안정성 및 수렴 결과를 증명하였다.