Is Leray Hopf Solution #
Supporting estimates for the Navier–Stokes development.
def
CKN.IsLerayHopfSolution
(T : ℝ)
(a : Foundation.Parabolic.Vec3 → Foundation.Parabolic.Vec3)
(u : Foundation.Parabolic.ParabolicPoint → Foundation.Parabolic.Vec3)
(Du : Foundation.Parabolic.ParabolicPoint → Fin 3 → Foundation.Parabolic.Vec3)
:
A finite-time Leray–Hopf solution with its specified time-slice representative,
as in def:leray-hopf.
Equations
- One or more equations did not get rendered due to their size.