[論文レビュー] A variational approach to the mean field planning problem

Carlo Orrieri, Alessio Porretta+1 more|arXiv (Cornell University)|Jul 25, 2018

Geometric Analysis and Curvature Flows参考文献 12被引用数 4

ひとこと要約

本稿は、凸解析および最適輸送理論を用いて、1階平均場計画問題の変分的枠組みを導入する。系を、プライマルなエントロピー・輸送問題と双対的なハミルトニアン・ジャコビ最適化の双対性として定式化することにより、接触欠陥測度および正規化された解を用いて、弱解の存在および部分的一意性を確立する。解は経路空間上の動的計画を通じてラグランジュ的特徴付けを受ける。

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.

研究の動機と目的

• 2次ハミルトニアンおよび単調な相互作用を有する1階平均場計画問題のための変分的構造を確立すること。
• 最適輸送の文脈において、双対性および凸解析を用いて、弱解の存在および部分的一意性を証明すること。
• 連続曲線の空間上の測度を用いて、ラグランジュ的視点から解を特徴付けること。
• 源項に対して最小限のsummability仮定の下で、ハミルトニアン・ジャコビ方程式の弱下解を分析すること。
• 変分的枠組みにおける最適性条件を記述するために、接触欠陥測度を導入すること。

提案手法

• 平均場計画系を、凸的動的最適エントロピー輸送問題の1階最適性条件として定式化する。
• プライマル問題（エントロピー・輸送コストの最小化）と双対問題（HJ方程式の下解上での積分関数の最大化）の間の双対性を用いる。
• 低正則性の密度およびフラックスを取り扱うために、連続の方程式の正規化された解を用いる。
• 最適性における、下解とハミルトニアン・ジャコビ方程式との間の乖離を捉えるために、接触欠陥測度を導入する。
• 超位置原理を用いて、Euler的枠組みからLagrangian枠組みへと解を持ち上げ、解を連続曲線の空間上の測度として記述する。
• 非等方的畳み込みおよび重み付き$L^p$空間を用いて、測度における収束および下解の安定性を扱う。

実験結果

リサーチクエスチョン

• RQ1 2次ハミルトニアンおよび終端制約を有する平均場計画問題は、凸的変分問題として再定式化可能か？
• RQ2 源項に対して最小限の可積分性仮定の下で、ハミルトニアン・ジャコビ方程式の弱下解はどのように分析可能か？
• RQ3 接触欠陥測度は、変分的枠組みにおける最適性の特徴付けにおいて果たす役割は何か？
• RQ4 動的計画を用いて、Lagrangian設定における平均場計画系の解はどのように表現可能か？
• RQ5 プライマル問題と双対問題の間の双対性が、解の存在および部分的一意性をもたらす条件は何か？

主な発見

• 2次成長を示す凸ハミルトニアンおよび多項式成長を示す単調な$f$を有する条件下で、平均場計画系の弱解$(m, u)$の存在が確立される。
• 解は、エントロピー正則化付きの凸的動的最適輸送問題の最小化子として生じる。
• 双対問題は、ハミルトニアン・ジャコビ方程式の下解上での積分関数の最大化であり、最適性は接触欠陥測度によって特徴付けられる。
• 接触欠陥測度は、下解がHJ方程式を満たさない失敗を測度として捉え、正確な双対記述を可能にする。
• 超位置原理を用いて、解のLagrangian表現が達成され、解は連続曲線の空間上の確率測度と関連づけられる。
• HJ不等式の右辺に対して最小限のsummability条件の下で、弱下解の安定性および収束結果が証明される。