PrincipalEnergyAverage #
The common descendant average used by the principal-response closure and the localization endpoint. Its lower imports keep those two consumer lanes separate.
noncomputable def
Algsuperdiff.Section3.Provider.Diffusivity.ApproximateRecurrence.principalEnergyAverage
{d : ℕ}
(M : ABKModel d)
(n : ℤ)
(h : ℕ)
(Kc : ℤ)
(j : ℕ)
(e e' : HCPolySupport.Vec d)
(wD : Cutoff.ShellSeq d → HCPolySupport.H10Function (HCPolySupport.openCubeSet (HCPolySupport.originCube d Kc)))
(wN : Cutoff.ShellSeq d → HCPolySupport.H1MeanZeroFunction (HCPolySupport.openCubeSet (HCPolySupport.originCube d Kc)))
:
The descendant average of the annealed localized principal energy at (n, n+h).
Equations
- One or more equations did not get rendered due to their size.