Parabolic Holder Vec Norm LE #
Part of the Caffarelli–Kohn–Nirenberg partial regularity proof.
def
CKN.ParabolicHolderVecNormLE
(U : Set Foundation.Parabolic.ParabolicPoint)
(g : Foundation.Parabolic.ParabolicPoint → Foundation.Parabolic.Vec3)
(γ C : ℝ)
:
A bounded vector-valued parabolic Hölder norm built from paper label def:holder.
Equations
- One or more equations did not get rendered due to their size.