Gradient Flows pp 279-306 | Cite as

# Gradient Flows and Curves of Maximal Slope in Open image in new window_{p}(*X*)

Chapter

## Abstract

In this chapter we state some of the main results of the paper, concerning existence, uniqueness, approximation, and qualitative properties of gradient flows

*μ*_{ t }generated by a proper, l.s.c. functional*φ*in Open image in new window_{ p },*X*being a separable Hilbert space. Taking into account the first part of this book and the (sub)differential theory developed in the previous chapter, there are at least four possible approaches to gradient flows which can be adapted to the framework of Wasserstein spaces:- 1.
**The “Minimizing Movement” approximation**. We can simply consider any limit curve of the variational approximation scheme we introduced at the beginning of Chapter 2 (see Definition 2.0.6), i.e. a “Generalized minimizing movement”*GMM*(Φ;*μ*_{0}) in the terminology suggested by E. De Giorgi. In the context of Open image in new window_{2}(ℝ^{ d }) this procedure has been first used in [94, 121, 122, 120, 123] and subsequently it has been applied in many different contexts, e.g. by [93, 115, 124, 84, 85, 89, 78, 45, 46, 2, 86, 76, 15, 19]. - 2.
**Curves of Maximal Slope**. We can look for absolutely continuous curves \( \mu _t \in AC_{loc}^p \)((0,+∞); Open image in new window_{ p }(*X*)) which satisfy the differential form of the Energy inequalityfor$$ \frac{d} {{dt}}\varphi \left( {\mu _t } \right) \leqslant - \frac{1} {p}\left| {\mu '} \right|^p \left( t \right) - \frac{1} {q}\left| {\partial \varphi } \right|^q \left( {\mu _t } \right) \leqslant - \left| {\partial \varphi } \right|\left( {\mu _t } \right) \cdot \left| {\mu '} \right|\left( t \right) $$(11.0.1)*ℒ*^{1}-a.e.*t*∈ (*a, b*). Notice that in the present case of Open image in new window_{ p }(*X*), we established in Chapter 8 a precise description of absolutely continuous curve (in terms of the continuity equation) and of the metric velocity (in terms of the*L*^{p}(*μ*_{ t };*X*)-norm of the related velocity vector field); moreover, in Chapter 10 we have shown an equivalent differential characterization of the slope*|∂φ|*in terms of the*L*^{q}(*μ*_{ t };*X*)-norm of the Fréchet subdifferential of*φ* - 3.
**The pointwise differential formulation**. Since we have at our disposal a notion of tangent space and the related concepts of velocity vector field*v*_{ t }and (sub)differential*∂φ*(*μ*_{ t }), we can reproduce the simple definition of gradient flow modeled on smooth Riemannian manifold, i.e.trying to adapt it to the case$$ \upsilon _t \in - \partial \varphi \left( {\mu _t } \right), $$(11.0.2)*p*≠ 2 and to extended plan subdifferentials. - 4.
**Systems of Evolution Variational Inequalities (E.V.I.)**. When*p*= 2, in the case of*λ*-convex functionals along geodesics in Open image in new window_{2}(*X*), we can try to find solutions of the family of “metric” variational inequalitiesThis formulation provides the best kind of solutions, for which in particular one can prove not only uniqueness, but also error estimates. On the other hand it imposes severe restrictions on the space ($$ \frac{1} {2}\frac{d} {{dt}}W_2^2 \left( {\mu _t ,\nu } \right) - \varphi \left( \nu \right) - \varphi \left( {\mu _t } \right) - \frac{\lambda } {2}W_2^2 \left( {\mu _t ,\nu } \right)\forall \nu \in D\left( \varphi \right). $$(11.0.3)*p*= 2) and on the functional (*λ*-convexity along generalized geodesics).

## Keywords

Fisher Information Separable Hilbert Space Maximal Slope Limit Curve Discrete Solution
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## Preview

Unable to display preview. Download preview PDF.

## Copyright information

© Birkhäuser Verlag AG 2008