High-contrast homogenization: #
Provider.PolynomialHomogenization.Root.CorrectorDecay.CenteredCubeH1Interpolation
Imported from the Apache-2.0 HighContrastHomogenization development at commit
7a13dbcd8d6609264a713373f5c69ceeac870472.
Fractional interpolation for centered-cube H1 vector fields #
The scale-normalized coordinate gradient sum is invariant under pullback to the centered unit cube. Combining this transport with continuous interpolation gives a quantitative Hs bound without a boundary condition.
noncomputable def
HCPolySupport.CubeVectorH1Function.centeredEuclideanL2Field
{d : ℕ}
{m : ℤ}
(G : CubeVectorH1Function (originCube d m))
:
The represented field of a coordinatewise centered-cube H1 function, with its Euclidean L2 certificate.
Equations
- G.centeredEuclideanL2Field = { toField := G.toField, euclideanMemL2 := ⋯ }