High Order Homogenization of the Stokes System in a Periodic Porous Medium
Florian Feppon
DOI: https://doi.org/10.1137/20M1348078
IF: 2.071
2021-05-19
SIAM Journal on Mathematical Analysis
Abstract:SIAM Journal on Mathematical Analysis, Volume 53, Issue 3 , Page 2890-2924, January 2021. We derive high order homogenized models for the incompressible Stokes system in a cubic domain filled with periodic obstacles. These models have the potential to unify the three classical limit problems (namely the "unchanged" Stokes system, the Brinkman model, and Darcy's law) corresponding to various asymptotic regimes of the ratio between the radius of the holes and the size of the periodic cell. What is more, a novel, rather surprising feature of our higher order effective equations is the occurrence of odd order differential operators when the obstacles are not symmetric. Our derivation relies on the method of two-scale power series expansions and on the existence of a "criminal" ansatz, which allows to reconstruct the oscillating velocity and pressure . as a linear combination of the derivatives of their formal average weighted by suitable corrector tensors. The formal average is itself the solution to a formal, infinite order homogenized equation, whose truncation at any finite order is in general ill-posed. Inspired by the variational truncation method of [V. P. Smyshlyaev and K. Cherednichenko, J. Mech. Phys. Solids, 48 (2000), pp. 1325--1357; K. D. Cherednichenko and J. A. Evans, Multiscale Model. Simul., 14 (2016), pp. 1513--1539] we derive, for any , a well-posed model of order which yields approximations of the original solutions with an error of order in the norm. Furthermore, the error improves up to the order if a slight modification of this model remains well-posed. Finally, we find asymptotics of all homogenized tensors in the low volume fraction limit and in dimension . This allows us to obtain that our effective equations converge coefficientwise to either of the Brinkman or Darcy regimes which arise when is, respectively, equivalent, or greater than the critical scaling .
mathematics, applied