For an embedded surface with unit normal vector , the surface gradient is . It projects the ambient gradient onto the tangent space and is independent of how is extended normally off the surface.
Let be the tangential surface gradient on a sphere of radius . For smooth scalar fields, set . Its radial curl detects only :
To prove this, use the radial curl formula . The radial component never enters it. The terms cancel as by symmetry of second derivatives, while the terms give the unit-sphere Laplace-Beltrami operator. Taking the dot product with the position vector gives the displayed version. This tangential gradient decomposition does not assert that the whole vector field is solenoidal.
On the graph of a function , assume is differentiable, its planar gradient is nonzero, and speed is measured by the three-dimensional Euclidean norm. The upward unit normal vector is . Projecting the downward vertical vector onto the tangent plane gives . By the Cauchy-Schwarz inequality, normalizing this projected vector produces the tangent direction with greatest height decrease at the prescribed speed, giving the displayed velocity. Its vertical component is , and its horizontal direction is parallel to . Consequently its planar paths agree with negative gradient flow up to a change of time, although the speeds differ. Where , every tangent direction has zero first-order height change and this normalized formula is undefined.

Articles by others on the same topic (0)

There are currently no matching articles.