Math 2.0

Dynamical systems and ergodic theory Definition

Gradient flow on a manifold

Builds on Riemannian manifoldSmooth functionGradientFlow of a vector field

Definition

Let (M,g)(M, g) be a Riemannian manifold and let f ⁣:M→ℝf \colon M \to \R be a smooth function. The gradient of ff is the vector field ∇f\nabla f on MM with g(∇f,X)=df(X)g(\nabla f, X) = df(X) for every tangent vector XX. The (negative) gradient flow of ff is the flow φ\varphi of −∇f-\nabla f. So it is the solution of ∂∂tφt(x)=−∇f(φt(x)),φ0(x)=x,\frac{\partial}{\partial t} \varphi_t(x) = -\nabla f\big(\varphi_t(x)\big), \qquad \varphi_0(x) = x, defined on its maximal domain.

Remarks

Along a flow line, ddtf(φt(x))=−∣∇f∣2≤0\frac{d}{dt} f(\varphi_t(x)) = -\abs{\nabla f}^2 \le 0, with equality exactly at critical points of ff. So ff is a Lyapunov function for the flow, and the rest points of the flow are the critical points of ff. If MM is compact, the flow is defined for all t∈ℝt \in \R.

Example: on ℝ2\R^2 with the Euclidean metric, let f(x,y)=x2−y2f(x, y) = x^2 - y^2. Then −∇f=(−2x,2y)-\nabla f = (-2x, 2y) and φt(x,y)=(e−2tx,e2ty)\varphi_t(x, y) = (e^{-2t} x, e^{2t} y). The origin is the only rest point, and the flow has the familiar saddle picture.

Non-example: on ℝ2\R^2, the rotation field X(x,y)=(−y,x)X(x, y) = (-y, x) is not −∇f-\nabla f for any smooth ff. Its flow has closed orbits, but ff would strictly decrease along a nonconstant flow line of a gradient flow, so it could not return to its starting point.

The flow depends on the metric gg, not only on ff. A vector field XX with df(X)<0df(X) < 0 away from the critical points, and of a standard form near them, is called gradient-like for ff. Such fields serve the same purposes in Morse theory. For a Morse function and a generic metric, the gradient flow is a Morse–Smale system.

Reading path

To understand this page from the ground up, read these 11 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Euclidean space object
  2. Flow of a vector field concept
  3. Function concept
  4. Riemannian manifold concept
  5. Smooth function concept
  6. Total derivative concept
  7. Function of several variables concept
  8. Differentiable function of several variables concept
  9. Partial derivative concept
  10. Gradient concept
  11. Gradient flow on a manifold definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Gradient-like_vector_field
About this page
Tag86SJSP7WAY
URIm2://86SJSP7WAY
Kinddefinition
WritingW0 stub
MSC37C10, 58E05, 57R70
DefinesGradient flow on a manifold
UsesRiemannian manifold, Smooth function, Gradient, Flow of a vector field

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.