PerturbCoeffOn #
Ported from scottnarmstrong/Superdiffusion at 7f20476385d4af418f110303085ad0740c9eba46. Module imports, support namespace and local option directives adapted for Lean Pool.
noncomputable def
Algsuperdiff.Frozen.Section24.perturbCoeffOn
{d : ℕ}
(U : HCPolySupport.Book.Ch02.Domain d)
(a : HCPolySupport.Book.Ch02.CoeffOn U)
(h : LInfSkewMatrixFieldOn U)
(t : ℝ)
:
Perturb a coefficient by an essentially bounded skew field while retaining ellipticity.
Equations
- One or more equations did not get rendered due to their size.