1: \begin{abstract}
2: We explore the homogenization limit and rigorously derive upscaled equations for a microscopic
3: reaction-diffusion system modeling sulfate corrosion in sewer pipes made of concrete.
4: The system, defined in a periodically-perforated domain, is
5: semi-linear, partially dissipative and weakly coupled via a
6: non-linear ordinary differential equation posed on the solid-water interface at the pore level.
7: Firstly, we show the well-posedness of the microscopic model. We
8: then apply homogenization techniques based on two-scale convergence
9: for an uniformly periodic domain and derive upscaled equations
10: together with explicit formulae for the effective diffusion
11: coefficients and reaction constants. We use a boundary unfolding
12: method to pass to the homogenization limit in the non-linear ordinary differential equation. Finally, besides giving its strong formulation, we also
13: prove that the upscaled two-scale model admits a unique solution.
14: \end{abstract}
15: