High-contrast homogenization: Provider.PolynomialHomogenization.Root.Dirichlet.ScalarTailScaleFold #
Imported from the Apache-2.0 HighContrastHomogenization development at commit
7a13dbcd8d6609264a713373f5c69ceeac870472.
Folding a constant into the activation length #
The reference text's homogenization estimate is stated with a law-free amplitude and a homogenization length that carries the aspect ratio of the homogenized matrix, rather than with an amplitude that carries it. The passage from the first form to the second is a redefinition of the length: a bounded constant multiplying a quantitative power tail is absorbed by enlarging the activation length by the corresponding root, after which the amplitude is law-free and the whole dependence sits inside the ratio the tail is stated against.
This file records that move for ScalarIdentityPowerTail, together with the
transport of a folded tail to any larger activation length, which is the form
the response chain consumes.