Gradient flows in Hilbert spaces: Difference between revisions

From Optimal Transport Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
Line 1: Line 1:
Editing in progressEdits will be rendered when the draft is complete.
'''Gradient Flows in Hilbert Spaces''' are generalizations of time-derivatives with a gradient constraintSpecifically, a gradient flow is a Hilbert Space valued function who's time derivative lies in some generalized collection of gradient vectors.  Gradient flows are a key topic in the study of non-linear time evolution partial differential equations.  In this exposition, we will draw from Ambrosio et al.'s resource ''Lectures on Optimal Transport''<ref name="Ambrosio, Brué, Semola"/> and Evans' ''Partial Differential Equations''<ref name="Evans"/>


<!-- '''Gradient Flows in Hilbert Spaces''' are generalizations of time-derivatives with a gradient constraint.  Specifically, a gradient flow is a Hilbert Space valued function who's time derivative lies in some generalized collection of gradient vectors.  Gradient flows are a key topic in the study of non-linear time evolution partial differential equations.  !-->
==Introduction==


<!-- ==Introduction== The heat equation is a classic example of a time evolution partial differential equation.  In particular, the heat equation is a linear parabolic partial differential equation.  Such PDEs are well understood and are solvable using several different approaches.  One particularly interesting technique is to view the PDE as a Banach-space valued ODE in the time variable.  In this case, we can try to understand how to write the solution of the PDE as a flow in time which is a generalization of the exponential function.  The techniques which one implements to find such a solution ultimately result in the Hille-Yosida theorem, which gives necessary and sufficient conditions for the operator T to be infinitesimal generator of a contraction semigroup of the given PDE.  In some sense, these ideas can be extended to non-linear time evolution PDEs, leading to the general notion of flows on Hilbert spaces.  We will discuss in this article how the theory of flows can be used to yield existence of a solution of a "non-linear heat equation." --!>
The heat equation is a classic example of a time evolution partial differential equation.  In particular, the heat equation is a linear parabolic partial differential equation.  Such PDEs are well understood and are solvable using several different approaches.  One particularly interesting technique is to view the PDE as a Banach-space valued ODE in the time variable.  In this case, we can try to understand how to write the solution of the PDE as a flow in time which is a generalization of the exponential function.  The techniques which one implements to find such a solution ultimately result in the Hille-Yosida theorem, which gives necessary and sufficient conditions for the operator T to be infinitesimal generator of a contraction semigroup of the given PDE.  In some sense, these ideas can be extended to non-linear time evolution PDEs, leading to the general notion of flows on Hilbert spaces.  We will discuss in this article how the theory of flows can be used to yield existence of a solution of a "non-linear heat equation."


<!-- ==Definitions== A gradient flow <math>x(t):(0,\infty)\rightarrow\text{dom}(f)<\math> is a locally absolutely continuous function with the property that <math>X’(t)\in\partial_G(f(x(t))<\math> Where <math>\partial_G(f)<\math> Denotes the Gateau Subdifferential of <math>F</math> At <math>X(t)</math>.  --!>
==Definitions==  


<!-- ==Main Existence Theorem== --!>
A gradient flow <math>x(t):(0,\infty)\rightarrow\text{dom}(f)</math> is a locally absolutely continuous function with the property that <math>x'(t)\in\partial_G(f(x(t))</math> Where <math>\partial_G(f)</math> Denotes the Gateau Subdifferential of <math>f</math> At <math>x(t)</math>.


<!-- ==Example== --!>
==Main Existence Theorem==


<!-- ==References== <ref>Ambrosio, Brue, Semola; Lectures on Optimal Transport</ref>, <ref>Evans; PDEs</ref>--!>
==Example==
 
==References==  
 
<references>
<ref name="Ambrosio, Brué, Semola">[https://link.springer.com/book/10.1007/978-3-030-72162-6 L Ambrosio, E Brué, D Semola, ''Lectures on Optimal Transport'', p. 109-124]</ref>
<ref name="Evans"> L Evans, ''Partial Differential Equations'', p. 435-443, p. 562-579</ref>
</references>

Revision as of 16:27, 9 February 2022

Gradient Flows in Hilbert Spaces are generalizations of time-derivatives with a gradient constraint. Specifically, a gradient flow is a Hilbert Space valued function who's time derivative lies in some generalized collection of gradient vectors. Gradient flows are a key topic in the study of non-linear time evolution partial differential equations. In this exposition, we will draw from Ambrosio et al.'s resource Lectures on Optimal Transport[1] and Evans' Partial Differential Equations[2]

Introduction

The heat equation is a classic example of a time evolution partial differential equation. In particular, the heat equation is a linear parabolic partial differential equation. Such PDEs are well understood and are solvable using several different approaches. One particularly interesting technique is to view the PDE as a Banach-space valued ODE in the time variable. In this case, we can try to understand how to write the solution of the PDE as a flow in time which is a generalization of the exponential function. The techniques which one implements to find such a solution ultimately result in the Hille-Yosida theorem, which gives necessary and sufficient conditions for the operator T to be infinitesimal generator of a contraction semigroup of the given PDE. In some sense, these ideas can be extended to non-linear time evolution PDEs, leading to the general notion of flows on Hilbert spaces. We will discuss in this article how the theory of flows can be used to yield existence of a solution of a "non-linear heat equation."

Definitions

A gradient flow is a locally absolutely continuous function with the property that Where Denotes the Gateau Subdifferential of At .

Main Existence Theorem

Example

References

  1. L Ambrosio, E Brué, D Semola, Lectures on Optimal Transport, p. 109-124
  2. L Evans, Partial Differential Equations, p. 435-443, p. 562-579