Abstract
We study a class of Hamilton–Jacobi partial differential equations in the space of probability measures. In the first part of this paper, we prove comparison principles (implying uniqueness) for this class. In the second part, we establish the existence of a solution and give a representation using a family of partial differential equations with control. A large part of our analysis exploits special structures of the Hamiltonian, which might look mysterious at first sight. However, we show that this Hamiltonian structure arises naturally as limit of Hamiltonians of microscopical models. Indeed, in the third part of this paper, we informally derive the Hamiltonian studied before, in a context of fluctuation theory on the hydrodynamic scale. The analysis is carried out for a specific model of stochastic interacting particles in gas kinetics, namely a version of the Carleman model. We use a two-scale averaging method on Hamiltonians defined in the space of probability measures to derive the limiting Hamiltonian.
References
Ambrosio, L., Feng, J.: On a class of first order Hamilton–Jacobi equations in metric spaces. J. Differ. Equ. 256(7), 2194–2245 (2014). https://doi.org/10.1016/j.jde.2013.12.018
Ambrosio, L., Gigli, N., Savaré, G.: Gradient flows in metric spaces and in the space of probability measures. In: Lectures in Mathematics ETH Zürich, 2, x+334. Birkhäuser, Basel (2008)
Caprino, S., De Masi, A., Presutti, E., Pulvirenti, M.: A stochastic particle system modeling the Carleman equation. J. Stat. Phys. 55(3–4), 625–638 (1989)
Crandall, M.G., Lions, P.-L.: Hamilton–Jacobi equations in infinite dimensions. I. Uniqueness of viscosity solutions. J. Funct. Anal. 62(3), 379–396 (1985). https://doi.org/10.1016/0022-1236(85)90011-4
Crandall, M.G., Lions, P.-L.: Hamilton–Jacobi equations in infinite dimensions. II. Existence of viscosity solutions. J. Funct. Anal. 65(3), 368–405 (1986). https://doi.org/10.1016/0022-1236(86)90026-1
Crandall, M.G., Lions, P.-L.: Hamilton–Jacobi equations in infinite dimensions. III. J. Funct. Anal. 68(2), 214–247 (1986). https://doi.org/10.1016/0022-1236(86)90005-4
Crandall, M.G., Lions, P.-L.: Viscosity solutions of Hamilton–Jacobi equations in infinite dimensions. IV. Hamiltonians with unbounded linear terms. J. Funct. Anal. 90(2), 237–283 (1990). https://doi.org/10.1016/0022-1236(90)90084-X
Crandall, M.G., Lions, P.-L.: Viscosity solutions of Hamilton–Jacobi equations in infinite dimensions. V. Unbounded linear terms and \(B\)-continuous solutions. J. Funct. Anal. 97(2), 417–465 (1991). https://doi.org/10.1016/0022-1236(91)90010-3
Crandall, M.G., Lions, P.-L.: Hamilton–Jacobi equations in infinite dimensions. VI. Nonlinear \(A\) and Tataru’s method refined, Evolution equations, control theory, and biomathematics, (Han sur Lesse 1991). In: Lecture Notes in Pure and Applied Mathematics, 155, vol. 1994, pp. 51–89. Dekker, New York
Crandall, M.G., Lions, P.-L.: Viscosity solutions of Hamilton–Jacobi equations in infinite dimensions. VII. The HJB equation is not always satisfied. J. Funct. Anal. 125(1), 111–148 (1994). https://doi.org/10.1006/jfan.1994.1119
Dolgopyat, D., Liverani, C.: Energy transfer in a fast–slow Hamiltonian system. Commun. Math. Phys. 308(1), 201–225 (2011). https://doi.org/10.1007/s00220-011-1317-7
E, W.: Aubry–Mather theory and periodic solutions of the forced Burgers equation. Commun. Pure Appl. Math. 52(7), 811–828 (1999)
Evans, L.C.: Effective Hamiltonians and quantum states, Séminaire: Équations aux Dérivées Partielles, 2000–2001, Sémin. Équ. Dériv. Partielles, École Polytech., Palaiseau, Exp. No. XXII, 13 (2001)
Evans, L.C.: Towards a quantum analog of weak KAM theory. Commun. Math. Phys. 244(2), 311–334 (2004)
Evans, L.C.: A survey of partial differential equations methods in weak KAM theory. Commun. Pure Appl. Math. 57(4), 445–480 (2004)
Evans, L.C., Gomes, D.: Effective Hamiltonians and averaging for Hamiltonian dynamics. I. Arch. Ration. Mech. Anal. 157(1), 1–33 (2001)
Evans, L.C., Gomes, D.: Effective Hamiltonians and averaging for Hamiltonian dynamics. II. Arch. Ration. Mech. Anal. 161(4), 271–305 (2002)
Fathi, A.: Théorème KAM faible et théorie de Mather sur les systèmes lagrangiens, language=French, with English and French summaries. C. R. Acad. Sci. Paris Sér. I Math. 324(9), 1043–1046 (1997)
Fathi, A.: Solutions KAM faibles conjuguées et barrières de Peierls, French, with English and French summaries. C. R. Acad. Sci. Paris Sér. I Math. 325(6), 649–652 (1997)
Fathi, A.: Orbites hétéroclines et ensemble de Peierls, French, with English and French summaries. C. R. Acad. Sci. Paris Sér. I Math. 326(10), 1213–1216 (1998)
Fathi, A., Siconolfi, A.: Existence of \(C^1\) critical subsolutions of the Hamilton-equation. Invent. Math. 155(2), 363–388 (2004)
Fathi, A., Siconolfi, A.: PDE aspects of Aubry–Mather theory for quasiconvex Hamiltonians. Calc. Var. Partial Differ. Equ. 22(2), 185–228 (2005)
Fathi, A.: Weak KAM theorem in Lagrangian dynamics. In: Cambridge Studies in Advanced Mathematics, vol. 88. Cambridge University Press, Not Published
Feng, J., Kurtz, T.G.: Large Deviations for Stochastic Processes. Mathematical Surveys and Monographs, vol. 131. American Mathematical Society, Providence (2006)
Feng, J., Katsoulakis, M.: A comparison principle for Hamilton–Jacobi equations related to controlled gradient flows in infinite dimensions. Arch. Ration. Mech. Anal. 192(2), 275–310 (2009)
Feng, J., Święch, A.: Optimal control for a mixed flow of Hamiltonian and gradient type in space of probability measures, With an appendix by Atanas Stefanov. Trans. Am. Math. Soc. 365(8), 3987–4039 (2013). https://doi.org/10.1090/S0002-9947-2013-05634-6
Galaz-García, F., Kell, M., Mondino, A., Sosa, G.: On quotients of spaces with Ricci curvature bounded below. J. Funct. Anal. 275(6), 1368–1446 (2018). https://doi.org/10.1016/j.jfa.2018.06.002
Gangbo, W., Nguyen, T., Tudorascu, A.: Hamilton–Jacobi equations in the Wasserstein space. Methods Appl. Anal. 15(2), 155–183 (2008). https://doi.org/10.4310/MAA.2008.v15.n2.a4
Gangbo, W., Święch, A.: Metric viscosity solutions of Hamilton–Jacobi equations depending on local slopes. Calc. Var. Partial Differ. Equ. 54(1), 1183–1218 (2015). https://doi.org/10.1007/s00526-015-0822-5
Gangbo, W., Tudorascu, A.: Lagrangian dynamics on an infinite-dimensional torus; a weak KAM theorem. Adv. Math. 224(1), 260–292 (2010). https://doi.org/10.1016/j.aim.2009.11.005
Giga, Y., Hamamuki, G., Nakayasu, A.: Eikonal equations in metric spaces. Trans. Am. Math. Soc. 367(1), 49–66 (2015). https://doi.org/10.1090/S0002-9947-2014-05893-5
Gorban, A.N.: Hilbert’s sixth problem: the endless road to rigour. Philos. Trans. R. Soc. A 376(2118), 20170238 (2018). https://doi.org/10.1098/rsta.2017.0238
Guo, M.Z., Papanicolaou, G.C., Varadhan, S.R.S.: Nonlinear diffusion limit for a system with nearest neighbor interactions. Commun. Math. Phys. 118(1), 31–59 (1988)
Kipnis, C., Landim, C.: Scaling Limits of Interacting Particle Systems, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 320. Springer, Berlin (1999). https://doi.org/10.1007/978-3-662-03752-2
Kurtz, T.G.: Convergence of sequences of semigroups of nonlinear operators with an application to gas kinetics. Trans. Am. Math. Soc. 186(1973), 259–272 (1974)
Ladyženskaja, O.A., Solonnikov, V.A., Ural’ceva, N.N.: Linear and quasilinear equations of parabolic type, Russian, Translated from the Russian by S. Smith. Translations of Mathematical Monographs, vol. 23, American Mathematical Society, Providence, xi+648 (1968)
Lions, P.L., Toscani, G.: Diffusive limit for finite velocity Boltzmann kinetic models. Rev. Mat. Iberoam. 13(3), 473–513 (1997)
McKean, H.P.: The central limit theorem for Carleman’s equation. Isr. J. Math. 21(1), 54–92 (1975). https://doi.org/10.1007/BF02757134
Mischler, S., Mouhot, C.: Kac’s program in kinetic theory. Invent. Math. 193(1), 1–147 (2013). https://doi.org/10.1007/s00222-012-0422-3
Spohn, H.: Large Scale Dynamics of Interacting Particles. Springer, Berlin (1991)
Stroock, D.W.: An Introduction to the Theory of Large Deviations, Universitext. Springer, New York (1984). https://doi.org/10.1007/978-1-4613-8514-1
Uchiyama, K.: On the Boltzmann–Grad limit for the Broadwell model of the Boltzmann equation. J. Stat. Phys. 52(1–2), 331–355 (1988). https://doi.org/10.1007/BF01016418
Vázquez, J.L.: The Porous Medium Equation. Oxford Mathematical Monographs, Mathematical Theory. The Clarendon Press, Oxford (2007)
Villani, C.: Topics in Optimal Transportation. Graduate Studies in Mathematics, vol. 58. American Mathematical Society, Providence (2003). https://doi.org/10.1007/b12016
Villani, C.: Optimal Transport. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 338. Springer, Berlin (2009). https://doi.org/10.1007/978-3-540-71050-9
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by M. Hairer.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Jin Feng’s work was supported in part by US NSF Grant No. DMS-1440140 while he was in residence at MSRI - Berkeley, California, during fall 2018; and in part by a Simons Visiting Professorship to Mathematisches Forschungsinstitut Oberwolfach, Germany and to Technical University of Eindhoven, the Netherlands in November 2017, and in part by LABEX MILYON (ANR-10-LABX-0070) of Université de Lyon, within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operated by French National Research Agency (ANR). He thanks Albert Fathi for helpful discussions on weak KAM theory on numerous occasions. Toshio Mikami’s work was supported by JSPS KAKENHI Grant Numbers JP26400136 and JP16H03948 from Japan. Johannes Zimmer’s work was supported through a Royal Society Wolfson Research Merit Award.
Appendix A. Some Properties of \({\mathcal {P}}({\mathcal {O}})\)
Appendix A. Some Properties of \({\mathcal {P}}({\mathcal {O}})\)
1.1 A.1 Quotients and Coverings
1.1.1 A.1.1 Projections and lifts
As defined in Sect. 1.3, we view \({\mathcal {O}}:= {{\mathbb {R}}}/{{\mathbb {Z}}}\) as a quotient space with corresponding quotient metric r. We define a projection \({{\mathsf {p}}}:{{\mathbb {R}}}\mapsto {\mathcal {O}}\) by
Let \({\mathcal {P}}_2({{\mathbb {R}}})\) be the Wasserstein order-2 metric space [2]. For every \({\hat{\mu }} \in {\mathcal {P}}_2({{\mathbb {R}}})\), we define push forward of \({\hat{\mu }}\) by \(\mu := {{\mathsf {p}}}_\# {\hat{\mu }} \in {\mathcal {P}}({\mathcal {O}})\). That is, we project \({\hat{\mu }}\) to \(\mu \) in the following way
Here, we use the set \(A+k:= \{ x +k : x \in A\}\), and we write \({{\mathcal {B}}}({\mathcal {O}})\) to denote the collection of Borel sets in \({\mathcal {O}}\).
There are many ways to lift a probability measure \(\mu \in \mathcal P({\mathcal {O}})\) to a probability measure \({\hat{\mu }} \in \mathcal P_2({{\mathbb {R}}})\) such that \({{\mathsf {p}}}_\# {\hat{\mu }} = \mu \). Following Galaz-García, Kell, Mondino and Sosa [27], we now describe one class of such lifts. Given a family of weights
we introduce a probability measure on \({{\mathbb {R}}}\) by
Second, using the family of measures \(\{\nu _x \}_{x \in \mathcal O}\), we define a lift operator \(\Lambda : = \Lambda ^\alpha : \mathcal P({\mathcal {O}}) \mapsto {\mathcal {P}}_2({{\mathbb {R}}})\) as follows
We note that \({{\mathsf {p}}}_\# {\hat{\mu }} = \mu \).
Let \(C_{\mathrm{per}}({{\mathbb {R}}})\) be the collection of continuous functions which are 1-periodic on \({{\mathbb {R}}}\). Similarly, we define \(C_{\mathrm{per}}^p({{\mathbb {R}}})\) for \(p =1,2,\ldots , \infty \). For each \({\hat{\varphi }} \in C_{\mathrm{per}}^p({{\mathbb {R}}})\), we have translation invariance
Hence such a function \({\hat{\varphi }}\) projects to an element \(\varphi \in C^p({\mathcal {O}})\) as follows
On the other hand, each \(\varphi \in C^p({\mathcal {O}})\) has a lift to \({\hat{\varphi }} \in C^p_{\mathrm{per}}({{\mathbb {R}}})\) defined by
Such a lift is translation invariant in \({{\mathbb {Z}}}\) and its projection (as defined in (A.1)) gives \(\varphi \).
Given \(\rho , \gamma \in {\mathcal {P}}({\mathcal {O}})\) and \(\varphi \in C^p({\mathcal {O}})\), for a fixed \(\alpha \), let \({\hat{\rho }}, {\hat{\gamma }} \in {\mathcal {P}}_2({{\mathbb {R}}})\) and \({\hat{\varphi }} \in C^p_{\mathrm{per}}({{\mathbb {R}}})\) be lifts as just defined. Then
In particular, this implies that
1.1.2 A.1.2 A random variable description
The constructions of projection and lifts of the previous subsection A.1.1 can be described using the language of random variables. In certain situations, this can be more intuitive.
Let \((\Omega , {\mathcal {F}}, {\mathbb {P}})\) be a probability space and let \((X,K):\Omega \mapsto {\mathcal {O}} \times {{\mathbb {Z}}}\) be a pair of random variables. We define the \({{\mathbb {R}}}\)-valued random variable
Then
If \({\hat{X}}\) has the probability law \({\hat{\rho }}\), then
On the other hand, if X has the probability law \(\rho \), depending on the conditional probability law of the K,
or equivalently for the conditional law of \({\hat{X}}\)
the lift defined in (A.4) becomes
1.2 A.2 Equivalence of metric topologies
We recall inequality (1.18)
Next, we establish a converse of sorts. The proof below is an adaptation of Lemma 4.1 in Mischler–Mouhot [39].
Lemma A.1
For every \(\rho , \gamma \in {\mathcal {P}}({\mathcal {O}})\), we have
Proof
We can construct a probability space \((\Omega , {\mathcal {F}}, {\mathbb P})\) with two pairs of \({\mathcal {O}} \times {{\mathbb {Z}}}\)-valued random variables \((X,K_1), (Y,K_2)\) such that
We introduce
and denote \({\hat{\rho }}(d{\hat{x}}) := {{\mathbb {P}}}({\hat{X}} \in d {\hat{x}})\) and \({\hat{\gamma }}(d{\hat{y}}):={{\mathbb {P}}} ({\hat{Y}} \in d {\hat{y}})\). We use the Fourier transform
and
Then
where \(K:=K_1-K_2\).
On the other hand, it holds that
Therefore
Next, we note that
Therefore, with the quotient metric r defined in (1.15), we have
(see (1.16) for the definition of \(\Pi (\rho ,\gamma )\)). This leads to
\(\square \)
Rights and permissions
About this article
Cite this article
Feng, J., Mikami, T. & Zimmer, J. A Hamilton–Jacobi PDE Associated with Hydrodynamic Fluctuations from a Nonlinear Diffusion Equation. Commun. Math. Phys. 385, 1–54 (2021). https://doi.org/10.1007/s00220-021-04110-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-021-04110-1