Mean field game theory has been developed largely following two routes. One of them, called the direct approach, starts by solving a large-scale game and next derives a set of limiting equations as the population size tends to infinity. The second route is to apply mean field approximations and formalize a fixed point problem by analyzing the best response of a representative player. This paper addresses the connection and difference of the two approaches in a linear quadratic (LQ) setting. We first introduce an asymptotic solvability notion for the direct approach, which means for all sufficiently large population sizes, the corresponding game has a set of feedback Nash strategies in addition to a mild regularity requirement. We provide a necessary and sufficient condition for asymptotic solvability and show that in this case the solution converges to a mean field limit. This is accomplished by developing a re-scaling method to derive a low-dimensional ordinary differential equation (ODE) system, where a non-symmetric Riccati ODE has a central role. We next compare with the fixed point approach which determines a two-point boundary value (TPBV) problem, and show that asymptotic solvability implies feasibility of the fixed point approach, but the converse is not true. We further address non-uniqueness in the fixed point approach and examine the long time behavior of the non-symmetric Riccati ODE in the asymptotic solvability problem.

中文翻译：

---

线性二次平均场游戏：渐近可解性和与不动点方法的关系

平均场博弈论的发展主要遵循两条路线。其中一个称为直接方法，从解决大型游戏开始，然后随着人口规模趋于无穷大而推导出一组限制方程。第二种方法是应用平均场近似并通过分析代表性玩家的最佳响应来形式化定点问题。本文讨论了线性二次 (LQ) 设置中两种方法的联系和区别。我们首先为直接方法引入渐近可解性概念，这意味着对于所有足够大的人口规模，相应的游戏除了温和的规律性要求外，还具有一组反馈纳什策略。我们为渐近可解性提供了一个充分必要条件，并表明在这种情况下，解收敛到平均场极限。这是通过开发一种重新缩放方法来推导低维常微分方程 (ODE) 系统来实现的，其中非对称 Riccati ODE 具有核心作用。我们接下来与确定两点边界值（TPBV）问题的不动点方法进行比较，并表明渐近可解性意味着不动点方法的可行性，但反之则不然。我们进一步解决了不动点方法中的非唯一性问题，并检查了非对称 Riccati ODE 在渐近可解性问题中的长时间行为。这是通过开发一种重新缩放方法来推导低维常微分方程 (ODE) 系统来实现的，其中非对称 Riccati ODE 具有核心作用。我们接下来与确定两点边界值（TPBV）问题的不动点方法进行比较，并表明渐近可解性意味着不动点方法的可行性，但反之则不然。我们进一步解决了不动点方法中的非唯一性问题，并检查了非对称 Riccati ODE 在渐近可解性问题中的长时间行为。这是通过开发一种重新缩放方法来推导低维常微分方程 (ODE) 系统来实现的，其中非对称 Riccati ODE 具有核心作用。我们接下来与确定两点边界值（TPBV）问题的不动点方法进行比较，并表明渐近可解性意味着不动点方法的可行性，但反之则不然。我们进一步解决了不动点方法中的非唯一性问题，并检查了非对称 Riccati ODE 在渐近可解性问题中的长时间行为。但反之则不然。我们进一步解决了不动点方法中的非唯一性问题，并检查了非对称 Riccati ODE 在渐近可解性问题中的长时间行为。但反之则不然。我们进一步解决了不动点方法中的非唯一性问题，并检查了非对称 Riccati ODE 在渐近可解性问题中的长时间行为。