MatrixSecondDerivativeNorm #
Ported from scottnarmstrong/Superdiffusion at 7f20476385d4af418f110303085ad0740c9eba46. Module imports, support namespace and local option directives adapted for Lean Pool.
noncomputable def
Algsuperdiff.Frozen.Section24.matrixSecondDerivativeNorm
{d : ℕ}
(H : HCPolySupport.Vec d →L[ℝ] HCPolySupport.Vec d →L[ℝ] HCPolySupport.Mat d)
:
The twice-induced second-derivative norm for the frozen sensitivity statements.
Equations
- One or more equations did not get rendered due to their size.