Spatial Gradient

Supporting estimates for the Navier–Stokes development.

noncomputable def CKN.spatialGradient (u : Foundation.Parabolic.ParabolicPoint → Foundation.Parabolic.Vec3) (z : Foundation.Parabolic.ParabolicPoint) (i : Fin 3) : Foundation.Parabolic.Vec3

The classical coordinate gradient expression associated with rem:gradient-datum.

Equations

• CKN.spatialGradient u z i j = CKN.spatialPartial (fun (w : CKN.Foundation.Parabolic.ParabolicPoint) => u w i) j z