Regular Point #
Part of the Caffarelli–Kohn–Nirenberg partial regularity proof.
def
CKN.IsRegularPoint
(Ω : Set Foundation.Parabolic.Vec3)
(I : Set ℝ)
(u : Foundation.Parabolic.ParabolicPoint → Foundation.Parabolic.Vec3)
(z₀ : Foundation.Parabolic.ParabolicPoint)
:
The regular-point predicate from paper label def:regular, with the Hölder representative
convention of docs/DESIGN_NOTES.md.
Equations
- One or more equations did not get rendered due to their size.