Error bounds on a semi-discrete finite element approximations of a moving-boundary system arising in concrete corrosion

Finite element approximations of positive weak solutions to a onephase unidimensional moving-boundary system with kinetic condition describing the penetration of a sharp-reaction interface in concrete are considered. A priori and a posteriori error estimates for the semi-discrete ??elds of active concentrations and for the position of the moving interface are obtained. The important feature of the system of partial di??erential equations is that the nonlinear coupling occurs due to the presence of both the moving boundary and the non-linearities of localized sinks and sources by reaction