Strong solvability up to clogging of an effective diffusion–precipitation model in an evolving porous medium

In the first part of this article, we extend the formal upscaling of a diffusion–precipitation model through a two-scale asymptotic expansion in a level set framework to three dimensions. We obtain upscaled partial differential equations, more precisely, a non-linear diffusion equation with effective coefficients coupled to a level set equation. As a first step, we consider a parametrization of the underlying pore geometry by a single parameter, e.g. by a generalized “radius” or the porosity. Then, the level set equation transforms to an ordinary differential equation for the parameter. For such an idealized setting, the degeneration of the diffusion tensor with respect to porosity is illustrated with numerical simulations. The second part and main objective of this article is the analytical investigation of the resulting coupled partial differential equation–ordinary differential equation model. In the case of non-degenerating coefficients, local-in-time existence of at least one strong solution is shown by applying Schauder's fixed point theorem. Additionally, non-negativity, uniqueness, and global existence or existence up to possible closure of some pores, i.e. up to the limit of degenerating coefficients, is guaranteed.