Uniform short-time cutoff error bound

For radii at least one, the cutoff heat error has a fixed polynomial height majorant and one explicit lower-time transition term.

noncomputable def ESS.buShortUniformErrorCoeff (scale c₁ C₁ C₂ : ℝ) : ℝ

A radius-independent coefficient for the heat cutoff error.

Equations

• ESS.buShortUniformErrorCoeff scale c₁ C₁ C₂ = (3 * (c₁ * scale) + 18) * ESS.buShortUniformGradientCoeff scale + ESS.buShortUniformHeatCoeff scale C₁ C₂