Homogenization at a polynomial scale in high contrast

Abstract

We prove an upper bound on the homogenization length scale which is a fixed power of the coarse ellipticity ratio for coefficient fields that satisfy a finite range of dependence assumption.

82 pages. Visual paper at https://scottnarmstrong.github.io/hcp-visual-paper/ Lean formalisation at https://github.com/scottnarmstrong/HighContrastHomogenization/