<p>We propose a general method to identify nonlinear Fokker–Planck–Kolmogorov equations (FPK equations) as gradient flows on the space <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation> of probability measures on <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>, based on a classical technique, known as “lifting the geometry,” to define a natural differential structure on <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation> (just based on fixing suitable classes of curves in <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation> and test functions on <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation>), obtaining a corresponding tangent bundle over <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation> and the associated gradient operator. This is achieved without using any metric on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation>, such as the Wasserstein distance. One of the new outcomes of this approach is that the gradient flows are not formulated in some variational or generalized sense, but in a strong sense. We also explicitly identify the associated entropy functions and the corresponding energy functionals <i>E</i>, in particular their domains of definition. Furthermore, the latter functionals are Lyapunov functions for the solutions of the FPK equations. Moreover, we show uniqueness for such gradient flows, and we also prove that the gradient of <i>E</i> at <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mu \in \mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo>∈</mo> <mi mathvariant="script">P</mi> </mrow> </math></EquationSource> </InlineEquation> is a gradient field on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>, which can be approximated by smooth gradient fields. These results cover classical and generalized porous media equations, where the latter have a generalized diffusivity function and a nonlinear transport-type first-order perturbation.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Nonlinear Fokker–Planck–Kolmogorov equations as gradient flows on the space of probability measures

  • Marco Rehmeier,
  • Michael Röckner

摘要

We propose a general method to identify nonlinear Fokker–Planck–Kolmogorov equations (FPK equations) as gradient flows on the space \(\mathcal {P}\) P of probability measures on \(\mathbb {R}^d\) R d , based on a classical technique, known as “lifting the geometry,” to define a natural differential structure on \(\mathcal {P}\) P (just based on fixing suitable classes of curves in \(\mathcal {P}\) P and test functions on \(\mathcal {P}\) P ), obtaining a corresponding tangent bundle over \(\mathcal {P}\) P and the associated gradient operator. This is achieved without using any metric on \(\mathcal {P}\) P , such as the Wasserstein distance. One of the new outcomes of this approach is that the gradient flows are not formulated in some variational or generalized sense, but in a strong sense. We also explicitly identify the associated entropy functions and the corresponding energy functionals E, in particular their domains of definition. Furthermore, the latter functionals are Lyapunov functions for the solutions of the FPK equations. Moreover, we show uniqueness for such gradient flows, and we also prove that the gradient of E at \(\mu \in \mathcal {P}\) μ P is a gradient field on \(\mathbb {R}^d\) R d , which can be approximated by smooth gradient fields. These results cover classical and generalized porous media equations, where the latter have a generalized diffusivity function and a nonlinear transport-type first-order perturbation.