Differential geometry MOC

Critical points/values and regular points/values

Let 𝑓 :𝑋 β†’π‘Œ be a 𝐢∞ differentiable map between 𝐢∞ differentiable manifolds 𝑋,π‘Œ of dimensions 𝑛,π‘š respectively. A point π‘₯ βˆˆπ‘‹ is called a critical point iff rank⁑𝑇π‘₯𝑓 <π‘š where 𝑇π‘₯𝑓 is the Tangent map at π‘₯; otherwise π‘₯ is a regular point (and 𝑓 is submersive at π‘₯). The image of a critical point is a critical value, and a value which is not critical is a regular value.

Special cases

Single variable function

A critical point is either a Local extremum or a point of inflection (POI). It is defined as a point where the derivative is either 0 or undefined. generalize

Classifying critical points

First derivative test

Given 𝑓′(𝑐) =0,

  1. Iff. βˆ€π‘₯ <𝑐 . 𝑓′(π‘₯) β‰₯0 and βˆ€π‘₯ >𝑐 . 𝑓′(π‘₯) ≀0 then 𝑐 is a Local maximum.
  2. Iff. βˆ€π‘₯ <𝑐 . 𝑓′(π‘₯) ≀0 and βˆ€π‘₯ >𝑐 . 𝑓′(π‘₯) β‰₯0 then 𝑐 is a Local minimum.
  3. Otherwise, it is neither.
Second derivative test

We can also use the second derivative to test for Concavity at a critical point, which can classify a critical point. Given 𝑓′(𝑐) =0,

  1. Iff. 𝑓″(𝑐) <0 the critical point is Concave down and 𝑐 is a Local maximum.
  2. Iff. 𝑓″(𝑐) >0 the critical point is Concave up and 𝑐 is a Local minimum.

tidy | SemBr