Heat Orbit #
The componentwise Gaussian convolution of a vector field at a fixed time.
noncomputable def
ESS.heatConvVec3
(t : ℝ)
(b : CKN.Foundation.Parabolic.Vec3 → CKN.Foundation.Parabolic.Vec3)
(x : CKN.Foundation.Parabolic.Vec3)
:
The componentwise Gaussian convolution of a vector field at a fixed time.
Equations
- ESS.heatConvVec3 t b x i = CKN.Foundation.Heat.heatConv t (fun (y : CKN.Foundation.Parabolic.Vec3) => b y i) x
Instances For
noncomputable def
ESS.heatOrbit
(b : CKN.Foundation.Parabolic.Vec3 → CKN.Foundation.Parabolic.Vec3)
(z : CKN.Foundation.Parabolic.ParabolicPoint)
:
The heat orbit in sec:pv-trace, represented by CKN's Gaussian kernel.
Equations
- ESS.heatOrbit b z = ESS.heatConvVec3 z.2 b z.1