In the terminology of homogenization method, “corrector” or “corrector estimate” is ascribed to be the error estimate between the approximate solution governed by the asymptotic procedure in two-scale analysis, and the exact solution. This word(s) typically originates from the French homogenization community since 20th century.
This note would follow up on those which we have had a glance before: “note 1” and “note 2“. To be more precise, it would present an extension of the homogenization method towards the elliptic systems posed in perforated media.
The semi-linear system we address here is likely to be a steady state-type of thermo-diffusion systems which describe the interplay between diffusion fluxes of a fixed number of colloidal populations and a heat flux incorporating the Dufour and Soret effects. Particularly, it is given by
associated with the boundary conditions
for the number of concentrations . Some notations could be elucidated here: follow the real-world application mentioned above, represents the molecular diffusion with the volume reaction rate and are deposition coefficients while indicates a surface chemical reaction for the immobile species. Notice that the quantity is called the homogenization parameter or the scale factor.
A little bit unlike the media that we considered in “note 2“, here we require that the media with microstructure must be connected and that the boundaries are Lipschitz. In other words, the admissible domain can be imagined that the holes do not intersect the exterior boundary. To illustrate, we depict it together with the basic geometry of the microstructure in the figure underneath the entire content.
Such requirement allows us to prove the -type estimate of solution by the Moser-like techniques. Otherwise, dependence of Sobolev embeddings on the dimension of media would ruin the whole proof. In addition, the well-posedness including the existence and uniqueness by variational techniques from the original work of Brezis and Oswald since 1994 can impose very well (but need modifications) in this problem.
The position of the -type estimate plays a very crucial role in this situation. In real-world applications, the reaction term is mostly locally Lipschitz and may hinder computations in the homogenization process while the global Lipschitzian performs very well. With that estimate at hands, we may further assume that:
For the asymptotic up to -level of expansion () given by
where is -periodic with the fast variable representing the microscopic geometry, there exists a globally Lipschitz function such that
Consequently, we obtain the corrector estimates in (which means for simplicity) up to -level of expansion:
and for the cut-off function defined in the book of Cioranescu and Saint Jean Paulin (1998), which allows us to have the corrector in a neighborhood of the boundary of the media , that
where is a generic positive constant independent of the choice of .
All of the above-mentioned results could be found in the preprint attached here.
Fig. 1: Admissible 2-D perforated domain (left) and basic geometry of the microstructure (right). (By courtesy of MSc. Mai Thanh Nhat Truong, Hankyong National University, Republic of Korea.)