Iterates Independent Coordinate Norms #
Support for the Armstrong–Vicol anomalous-diffusion formalization.
theorem
AVenhance.Infra.Section4.iterate_independent_coordinate_norms
{e g κ H : ℝ}
(he : 0 ≤ e)
(hg : 0 ≤ g)
(hκ : 0 ≤ κ)
(hH : 0 ≤ H)
(heH : e ≤ H ^ 2 / 4)
(hgH : κ * g ≤ H ^ 2 / 4)
:
Quarter-energy bounds control independently chosen scalar and gradient coordinate words. This matches the two separate maxima in the source norm.