 Original article
 Open Access
 Published:
A mixture theorybased concrete corrosion model coupling chemical reactions, diffusion and mechanics
Pacific Journal of Mathematics for Industry volume 10, Article number: 5 (2018)
Abstract
A 3D continuum mixture model describing the corrosion of concrete with sulfuric acid is built. Essentially, the chemical reaction transforms slaked lime (calcium hydroxide) and sulfuric acid into gypsum releasing water. The model incorporates the evolution of chemical reaction, diffusion of species within the porous material and mechanical deformations. This model is applied to a 1D problem of a platelayer between concrete and sewer air. The influx of slaked lime from the concrete and sulfuric acid from the sewer air sustains a gypsum creating chemical reaction (sulfatation or sulfate attack). The combination of the influx of matter and the chemical reaction causes a net growth in the thickness of the gypsum layer on top of the concrete base. The model allows for the determination of the plate layer thickness h=h(t) as function of time, which indicates both the amount of gypsum being created due to concrete corrosion and the amount of slaked lime and sulfuric acid in the material. The existence of a parameter regime for which the model yields a nondecreasing plate layer thickness h(t) is identified numerically. The robustness of the model with respect to changes in the model parameters is also investigated.
Introduction
Forecasting concrete corrosion is a major issue in civil engineering due to its potential of drastically decreasing the lifespan of constructions such as sewers, bridges and dams, see e.g. [13, 33, 35]. As an example, the differences in mechanical properties between gypsum and concrete result in volume expansion, cracking, and decrease in loadbearing capacity of the concrete resulting in compromised structural integrity followed by expensive repairs, construction replacements or even accidents due to (partial) collapse [19, 38] resulting in major costs for society [14, 39].
We focus on three related topics: Firstly, we aim to construct a 3D continuum mixture model describing concrete corrosion capable of exhibiting realistic behaviour of the growth of a concrete layer due to the formation of gypsum inside the concrete layer. Secondly, we apply the new model to a specific 1D situation of the concrete layer and investigate the validity of the behavior of this 1D model with respect to physical constraints and expected physical behavior. Finally, we investigate the parameter dependence of both the time span of realistic behavior and growth of the concrete layer for the 1D model.
Even though concrete is a heterogeneous material, a lot of research has been done relying on continuum models, where the heterogeneity details are averaged out. In [26] the reader can find a short historical overview of the use of continuum models in concrete research. Similar to the continuum models from [26], the authors of ref. [31] proposed a composite material model of concrete with an explicit volume division into mortar and aggregate. These models were mostly created to better describe the behavior of concrete under high stresses, and, hence, to predict the cracking behavior observed in the experiments reported in [26, 31]. The mathematical community has addressed this corrosion issue mainly from a singlescale or multiplescale reactiondiffusion perspective. Usually, the single scale approach involves one or two moving sharp reaction interfaces [1, 12, 17, 18, 29, 30], while the multiple scale setting prefers exploiting a better understanding of the porosity and tortuosity of the material without involving free boundaries [2, 10, 16]. There are still a number of open issues concerning on how poromechanics of the material couples with chemical reactions, flow, diffusion and heat transfer hindering a successful forecast of the durability of the concrete exposed to sulfate attack. In this paper, we are interested in understanding and then predicting eventual critical situations occurring before cracking. Particularly, we want to describe the corrosion of concrete by acid attack [37], which usually leads at a later stage to cracking followed by erosion. The main inspiration source for our problem setting is the basic scenario described in [4] which considers a simple reaction mechanism producing gypsum, without involving the ettringite formation.
In [4] an isothermal acid attack continuum model for sulfuric acid corrosion was proposed with a similar sewer pipe geometry as in our model, but including also the porosity of the gypsum. This model focussed solely on the creation of hydrogen sulfide and sulfuric acid, which reacts at the boundary to create gypsum. The model assumed that almost all the gypsum was created at the boundary separating the uncorroded concrete causing a moving sharp corrosion front penetrating irreversibly the material. We deviate from this model by assuming that the gypsum reaction gradually takes place in the full domain, and that the corrosion front is caused by the penetration of sulfuric acid. In some sense our model can be seen as a description of the moving corrosion front in [4] as a fixed bulk reaction domain, and can, therefore, be idealized into a platelayer model. To avoid describing the exact growth of the involved phases of the material, we take a modeling route in the spirit of the classical mixture theory.
Figure 1 shows the concrete geometry we have in mind. A concrete sewer pipe contains in the air phase acid droplets wanting to react with the concrete to form gypsum. When zooming in the pipe wall, the curvature vanishes, which allows for the formulation of a plate layer model of the concrete pipe. We neglect, therefore, the tangential directions and only focus on the normal (z) direction. Hence, a 1D model can be posed to approximate the concrete corrosion in a simplistic 3D sewer pipe.
It is worth noting that most of the assumptions mentioned in [4] are taken over here as well. For example, our model is supposed to reflect the entire corrosion process with no other contributing chemical reactions and species than those explicitly mentioned. Also, the external concentration and influx rates of sulfuric acid and hydrogen sulfide are constant. Both these assumptions are restrictive. For example, competing corrosion reactions and other reacting chemicals, such as nitrates, are present in an actual concrete corrosion process according to [4]. Moreover, in [9] it is explained that experiments show that external concentrations and influx rates are not even approximately constant because flow changes (changing Reynolds number) have enormous influences, which according to [4] could change rates and concentrations with many powers of 10. Hence, the assumptions of ref. [4] are necessary to reduce the complexity of our model.
Our paper is organized as follows. In Section 2, we construct several 3D continuum mixture models of chemical corrosion of concrete. We take into account effective balance laws, diffusion processes, chemical reaction effects, mechanical effects due to elastic and/or viscoelastic stresses, local interactions due to for instance the Stokes drag, and influx from external reservoirs and from domain growth due to a moving corrosion layer. In Section 3, we focus on the normal (z) direction to obtain an effective 1D model of the corroding concrete for one of the constructed models. In Section 4, we briefly describe both the code used to simulate the model of Section 3 and the validation of this code with respect to the asymptotic expansion solution obtained in Appendix A. In Section 5, we investigate the validity of the numerical behavior of the model of Section 3. In Subsection 5.1, we investigate the dependence of the realistic behavior on specific tuples of model parameters. Finally, in the conclusion we summarize our results and discuss the relation of these results with known literature.
Derivation of a mixturetheorybased concrete corrosion model
The presentation of a continuous 3component mixture model in this section is based on the theory of mixtures of Bowen in [7].
2.1 Preliminaries
Let the index α denote the different constituents of our mixture, α=1 the gypsum (solid), α=2 the lime (solid) and α=3 the acid (fluid). The configuration \(\mathcal {G}(t)\) indicates the domain occupied by the mixture body at time t>0 in R_{3}, and \(\mathbf {x}=\mathbf {x}(t)\in \mathcal {G}(t)\) is the momentary position of a material point of the mixture body. Let \(g(t)\subset \mathcal {G}(t)\) be a generic element of material volume, which by definition has no fixed volume. This partial material volume g(t) contains n_{α}(g(t)) molecules of the constituent α with molecular mass M_{α}. The mass m_{α}(g(t)) of constituent α in g(t) is given by
where N_{A} denotes the Avogadro constant (i.e. 6.022×10^{23} molecules per mole) and \(\mathcal {M}_{\alpha }\) the molar mass of constituent α. The total mass m(g(t)) of the mixture in g(t) is given by
A strictly positive integrable function ρ_{α}(x,t), called the partial density of component α, is defined by
The density of the mixture in the point (x,t) is
Let \(\tilde {\rho }_{\alpha }\) be the intrinsic density of component α (i.e. the density of the isolated component) and let ϕ_{α}(x,t) be its volume fraction, then
We assume that the constituents of the mixture are incompressible. Hence, the intrinsic densities \(\tilde {\rho }_{\alpha }\) are uniform constants.
2.2 Balance laws
Following [7] and in analogy with [6, 27], we describe the time evolution of our 3component mixture by means of two sets of global balance laws for each component of the mixture: one for mass and one for momentum conservation. We assume that the chemical reaction is an isothermal process; the conservation of energy is then automatically satisfied.
The conservation of the partial mass for component α is formulated as the balance law for the partial density ρ_{α}=ρ_{α}(x,t) in the form:
In this balance law, the outward flux is given by Fick’s law of diffusion, and equals −δ_{α}∇ ρ_{α}, where δ_{α} is the diffusion coefficient of the αth component. The production term by chemical reaction R_{α} acts either as a source (sink) when the constituent is being produced (consumed) in the chemical reaction. Remark, Eq. 6 indicates that g(t) is NOT an element of material volume for a single constituent, but it is an element of material volume for the collection of all constituent particles. Hence, in Eq. 6, summing up over α and using that g(t) is an element of material volume such that m(g(t)) is constant, we obtain
Note, the elements g(t) can overlap due to the diffusion term, but that it does not violate the material element rules.
Since a chemical reaction is inherently a massconserving process, we obtain \(\sum _{\alpha } R_{\alpha } = 0\). Thus this global mass conservation is satisfied if \(\sum _{\alpha }\delta _{\alpha }\nabla \rho _{\alpha } = \sum _{\alpha }\delta _{\alpha }\tilde {\rho }_{\alpha }\nabla \phi _{\alpha }=0\), a compatibility condition for the allowed types of internal diffusion processes. This is satisfied if, for instance, \(\delta _{\alpha } = \delta /\tilde {\rho }_{\alpha }\). Hence, δ=0 (no internal diffusion) would suffice.
Conservation of linear momentum for the component α is formulated as
where ρ_{α}v_{α} is the linear momentum density of the component α, while the outward flux is given by the partial stress tensor \(\mathbb {T}_{\alpha }\) and the production term by the internal linear momentum production B_{α}. The latter two terms will be specified in the next subsection. Since in our setting the mechanical processes and flow dynamics are slow, we assume a quasistatic regime. This implies that the inertia term on the lefthand side in Eq. 8 may be neglected. Moreover, the sum of the internal momentumproduction terms B_{α} must be zero, i.e. \(\sum _{\alpha }\mathbf {B}_{\alpha }=0\), by Newton’s third law.
2.3 Local equations and jump conditions
The global balance equations can in the usual way be converted into local balance equations and jump conditions across a singular surface Σ(t). Thus, we obtain from Eq. 6 the local partial mass balance equations (or continuity equations):
together with the jump condition at Σ(t)
where [ [· ] ] denotes the outward jump across the surface Σ(t), V the velocity of Σ(t), and n the outward unit normal on Σ(t). We rewrite the mass equations by elimination of ρ_{α} in favour of ϕ_{α} yielding
Summing Eq. 11 over all α, we obtain
with use of \(\delta _{\alpha } = \delta /\tilde {\rho }_{\alpha }\). We refer to Eq. 12 as the incompressibility condition. Later we shall use Eq. 12 to replace one of the three mass equations (e.g. for α=2, and then use ϕ_{2}=1−ϕ_{1}−ϕ_{3}).
Analogously, the quasistatic momentum balance yields
with the jump condition
Summing Eq. 13 over all α and using \(\mathbb {T} = \sum _{\alpha }\mathbb {T}_{\alpha }\), the total stress tensor, and \(\sum _{\alpha }\mathbf {B}_{\alpha }=0\), we find
Before we can evaluate the local momentum equations any further we have to make constitutive assumptions concerning the structure of \(\mathbb {T}_{\alpha }\) and B_{α}.
The two solid components, α=(1,2) are modeled as linearly (visco)elastic media, the stress tensor \(\mathbb {T}_{\alpha }\) of which is given by
where p is the pressure (this pressure term is needed to compensate for the incompressibility assumption), \(\mathbb {I}\) the unit tensor, \(\mathbb {T}_{\alpha }^{\text {el}}\) is the linear elastic part and \(\mathbb {T}_{\alpha }^{\text {ve}}\) the linear viscoelastic part. The first one is given by Hooke’s law as
where \(\mathbb {E}_{\alpha } = \left (\nabla \mathbf {u}_{\alpha }+(\nabla \mathbf {u}_{\alpha })^{\top }\right)/2\) is the linear deformation tensor written in terms of the displacement u_{α}, Tr(A) means the trace of the matrix A, and λ_{α} and μ_{α} are the corresponding Lamé parameters. The viscoelastic part is modeled such that Eq. 16 follows the KelvinVoigt model, see [8, 25], and has the general structure
where \(\mathbb {D}_{\alpha } = \left (\nabla \mathbf {v}_{\alpha }+(\nabla \mathbf {v}_{\alpha })^{\top }\right)/2\) is the rate of deformation tensor based on the velocity v_{α}=∂u_{α}/∂t, while the coefficients γ_{αβ} are material constants that will be further specified below.
The internal linear momentum production represents the Stokes Drag ([27], Eq. (92)), i.e.
and
such that \(\sum _{\alpha }\mathbf {B}_{\alpha }^{(SD)}=0\). For an explicit definition of the material parameter χ_{α}, we refer to the note ^{†} in Table 1.
The fluid is modeled as an inviscid Newtonian fluid, possibly modified by an extra linear viscoelastic term, which in general is zero, except for the first of the four systems to be introduced next, i.e.
The specification of γ_{αβ} entering the structure of \(\mathbb {T}_{\alpha }^{\text {ve}}\) (cf. Eq. 18) differs for the four systems we introduce now:

1
System A: This system corresponds best to the evolution systems studied in [40], where conditions for the existence of weak solutions were obtained. Here, the individual constituents are assumed to be viscoelastic, such that the mixture as a whole remains purely elastic. For this, we choose γ_{αβ}=γ_{α} if β=α∈{1,2}, and γ_{αβ}=0 if β≠α, resulting in
$$ \mathbb{T}_{\alpha}^{\text{ve}}=\gamma_{\alpha}\mathbb{D}_{\alpha}\;\text{ for }\alpha \in \{1,2\}. $$(22)Moreover, we take \(\mathbb {T}_{3}^{\text {ve}}\) such that
$$ \mathbb{T}_{3}^{\text{ve}}=\sum_{\alpha=1}^{2}\gamma_{\alpha}\mathbb{D}_{\alpha}=\sum_{\alpha=1}^{2}\mathbb{T}_{\alpha}^{\text{ve}}, $$(23)providing that \(\mathbb {T} = \sum _{\alpha =1}^{3}\mathbb {T}_{\alpha }^{\text {ve}}=0\).

2
System B: Here, γ_{αβ}=0: the solid components are thus purely elastic and the fluid inviscid.

3
System C: As in System A, the solid components are intrinsic viscoelastic, but the fluid is inviscid, so \(\mathbb {T}_{3}=\phi _{3}p\mathbb {I}\), implying that the mixture as a whole is also viscoelastic. This has consequences on the pressure term p, as can be seen in the 1D problem described in Section 3; see (41).

4
System D: In this case, we assume that the viscoelastic terms in the stresses are proportional to the differences in shear rates of the two solids so that these stresses are zero if the velocities, or displacements, of the solids are equal. Moreover, we let the sum of the two stresses equal zero and keep the fluid inviscid. Thus, the total stress is purely elastic. This results in the following choice for γ_{αβ}
$$ \gamma_{11}=\gamma_{22}=\gamma,~~~\text{and}~~~\gamma_{12}=\gamma_{21}=\gamma. $$(24)
System A is wellposed mathematically (cf. [40]), but is possibly physically incorrect as the sulfuric acid viscoelastic stress is defined by the viscoelastic stress of the other components, see (23). System B is physically nice, but mathematically it needs an additional viscoelastic term to ensure the existence of weak solutions and FEM approximations. System C combines the strong points of systems A and B. It is physically justified and mathematically sound. However, the mixture is viscoelastic, which is a behavior one would expect on unnaturally large timescales. System D is both mathematically and physically sound, supporting an elastic mixture, which favors timescales compatible with measurements.
The physical derivation of systems A, B, C and D indicate that only system D has the right physical properties at the desired timescales. Hence, from here on we will focus on system D from both analytical and numerical perspectives, for example when we judge solutions to exhibit realistic behaviors. To reduce complexity, we investigate a special situation leading effectively to a 1D version of system D.
2.4 Chemical corrosion of concrete with sulphates
The concrete corrosion we discuss here refers to sulfuric acid reacting with slaked lime to create gypsum. The reaction mechanism is very complex, leading to ettringite growth, e.g. see [37]. In this paper, the chemical reaction mechanism takes the simplified form (s: solid, f: fluid)
Hence, the stoichiometric coefficients N_{α} are N_{1}=1 and N_{2}=N_{3}=−1.
The chemical reaction, as shown above, is the net reaction and does not reflect the full complexity of all the intermediate steps necessary for this reaction. The complexity is encompassed in a single rate equation. A similar reaction as above but with calcite, CaCO_{3}, instead of slaked lime has been treated in [5]. Therefore, we assume a rate equation similar to the one in [5], i.e.
where we denote \(\mathcal {L}(u) = u\mathcal {H}(u)\) with \(\mathcal {H}\) the Heaviside function, k is the volumetric reaction rate (in [m^{3}/mol ·s]), [f] the molar concentration of f, C_{eq} the dissolution equilibrium molar concentration of the sulfuric acid, and C_{max} the maximum precipitation molar concentration of gypsum.
The mass production term R_{α}=R_{α}(x,t) is given by
which satisfies \(\sum _{\alpha } R_{\alpha }=0\). Moreover, Eq. 26 implies that the volume fraction production can be written as
with
where ϕ_{1,sat} is the gypsum saturation level, while ϕ_{3,thr} represents the sulfuric acid dissolution threshold.
2.5 Initial and boundary conditions
We consider a mixture body, placed freely in space, and initially in a homogeneous, undeformed state, free of stress and movement. This yields the initial conditions:
where \(\phi _{\alpha 0} = \rho _{\alpha 0}/\tilde {\rho }_{\alpha }\) are prescribed initial concentration values.
We wish to point out here that, although u_{3}(x,0^{+})=0, there is a jump in the velocity v_{3}, which is inherent to the quasistatic approximation we used.
Due to the influx of material (acid and/or gypsum) across the boundary and the chemical reactions, the domain G will change as time elapses, i.e. \(G = \mathcal {G}(t)\) as does its boundary \(\partial G = \partial \mathcal {G}(t)\). However, in consistency with the linear deformation assumption, the boundary condition may be considered to hold on the undeformed (reference) boundary. The space outside the domain can contain any of the constituents with a concentration \(\phi _{\alpha }^{+}\). The influx is assumed to be proportional to the concentration difference [ [ϕ_{α} ] ] across ∂G, provided this difference is positive. The boundary is semipermeable for all constituents α, allowing only onesided transfer from outside the domain into the domain if \(\phi _{\alpha }^{+}>\phi _{\alpha }_{\partial G}\). This leads to the boundary condition (compare with Eq. 10), holding for t>0
where n denotes the outward normal on ∂G, V the velocity of the boundary, \([\!\!\!\![\phi _{\alpha }\, ]\!\!\!\!] = \phi _{\alpha }^{+}\phi _{\alpha }\) with \(\phi _{\alpha }^{+}\) the volume fraction of α outside ∂G and ϕ_{α} just inside it, while \(\mathcal {J}_{\alpha }\) is a material constant. If, on the other hand, for certain α, we have \(\phi _{\alpha }^{+}<\phi _{\alpha }_{\partial G}\), then the influx is zero (due to the semipermeability), leading to the boundary condition^{Footnote 1}
If the outer space contains only one constituent, say β, then Eq. 31 holds for the two values α≠β, but then \(\sum _{\alpha }\phi _{\alpha } = 1\) yields directly that also ∇ϕ_{β}·n=0, and thus the second term on the lefthand side of Eq. 30 vanishes, so that this boundary condition for α→β becomes
the righthand side of which is greater than zero if \(\phi _{\beta }^{+}>\phi _{\beta }\).
For the free unloaded body that we will consider in this paper, the boundary is free of stress, which implies
If, for some α, we have \(\phi _{\alpha }^{+} < \phi _{\alpha }\), then the flux is zero and hence, the boundary condition (6) reduces to
However, instead of (30) a different boundary condition, particular for the solid constituents (α=1,2) is used, namely
In Eq. 35, W denotes the displacement vector of the boundary such that V(t)=dW/dt. In [40] it was shown that a finite positive value of A_{α} is useful to prove existence of a realistic numerical approximation of weak solutions. Note that in the limit A_{α}→∞ the boundary condition u_{α}=W is retrieved. On the other hand, in the opposite limit A_{α}→0 the boundary condition becomes the homogeneous Neumann boundary condition
which is equivalent to requiring that the partial normal stress of constituent α is zero.
2.6 Summary of the model equations
Based on the discussion from the preceding sections, we are now able to formulate complete 3D systems of equations and boundary conditions for the reacting, diffusing and deforming 3component continuum mixture. From the four systems presented before, we opt for System D. The internal unknowns (6 in number, of which 3 scalar and 3 vectorial) are {ϕ_{1},ϕ_{3},u_{1},u_{2},v_{3},p}, with ϕ_{2}=1−ϕ_{1}−ϕ_{3}, for which we have a set of balance equations, following from successively the local mass balances, the incompressibility condition and the 3 local momentum balances. Together with the constitutive equations for \(\mathbb {T}_{\alpha }\) and B_{α}, given by Eqs. (16) to (21) and (24), we obtain for t>0 and x∈G:
where v_{β}=∂_{t}u_{β}=∂u_{β}/∂t for β∈1,2. Combining the three momentum equations, and using that \(\sum _{\alpha =1}^{3}\phi _{\alpha }=1\), we obtain the global momentum equation:
in which the γterm is only nonzero for System C.
We can replace Eq. 37d describing the fluid motion by this global equation, and then determine the pressure p from it with the aid of the stress boundary condition.
The initial conditions are given in Eq. 29 and the necessary boundary conditions are Eqs. 30, 31, 33 and 35.
Dimension reduction: 1D model of a concrete platelayer
We reduce the 3D model of Section 2 to a simpler 1D problem, namely a flat platelayer of concrete of initial thickness H, which is exposed at its upper side to acidic air due to the presence of droplets of sulfuric acid. The bottom of the plate layer is fixed on a rigid ground space of nonreacting concrete having a fixed concentration of lime. The material of the layer (concrete) is a mixture of gypsum (α=1), lime (α=2) and sulfuric acid (α=3). Initially, i.e. for t<0, the layer is in a homogeneous, undeformed, and stressfree state, where the sulfuric acid has penetrated the concrete and has already partially reacted to create gypsum, such that ϕ_{α0}>0 for α=(1,2,3). The external space both below and above the plate is free of stress. As the layer is created in a homogeneous and uniform way, and the acid is in equilibrium, we can forget about the tangential directions and only focus on the normal (z) direction. Hence, a 1D platelayer model is sufficient to model a 3D sewer pipe as already explained in the Introduction.
From t>0 onwards, the inflow of lime from below and acid from above into the plate takes place and chemical reactions start; here it is assumed that the concentrations \(\phi _{2}^{}\), of lime in the ground space, and \(\phi _{3}^{+}\), of acid in the air above the plate, are greater than ϕ_{20} and ϕ_{30}, respectively, resulting in an inflow of lime and acid. Due to the combination of inflow and the chemical reactions, the plate grows, as is experimentally observed in [19, 38], and the thickness of the plate increases to a value h(t)>H=h(0) at time t>0. We consider only a time span from t=0 to a final time t_{f} in which the growth remains small, i.e. such that (h(t)−H)/H≪1. Thus justifying our linear deformation assumption. A direct consequence of this assumption is that we may apply the boundary conditions at z=H instead of at z=h(t). All field variables are only dependent on z and t, and the only displacement components are u_{α}=u_{α}(z,t)=u_{α}·e_{z}, with e_{z} the unit vector in the zdirection. This leads us to our 1D model, valid for all four systems. Before recapitulating the resulting set of equations, we first use the global equation of equilibrium for the total stress Eq. 38, which in 1D version reads
where E_{1(2)}=λ_{1(2)}+2μ_{1(2)} is the Young’s modulus of the solid constituent. Since the upper plane z=H is free of stress, we have, for the moment for Systems A, B, and D only,
which, in combination with the equation above, implies that the total stress must be zero everywhere in the plate, yielding
This result holds for Systems A, B, and D, but for System C an extended expression is found, because in System C the total stress contains a viscoelastic part. Due to this, we get here
which further on leads to the expressions \(\tilde {\gamma }_{\alpha \beta }\); see Eq. 45. After the elimination of p from Eqs. 37c and 37d, the set of unknown variables in the onedimensional model is
for z∈(0,H) and t∈(0,t_{f}). Reducing Eqs. 37a to 37d to their 1D version, eliminating p, and inserting the volume fraction production R_{α} due to chemical reactions given by Eq. 27, we obtain the following 1D model:
where \(\mathcal {F}(\phi _{1},\phi _{3})\) is given in Eq. 28, \(\delta _{\alpha } = \delta /\tilde {\rho }_{\alpha }\), ϕ_{2}=1−ϕ_{1}−ϕ_{3}, and
Moreover, γ_{11}=γ_{1}, γ_{22}=γ_{2}, γ_{12}=γ_{21}=0 for System A, γ_{11}=γ_{22}=γ_{12}=γ_{21}=0 for System B, and γ_{11}=γ_{22}=−γ_{12}=−γ_{21}=γ for System D. For System C one has, due to the additional terms in p, the effective coefficients \(\tilde {\gamma }\) defined by
instead of γ. Since these effective coefficients depend on the volume fractions ϕ_{1,2} the (numerical) analysis of this system becomes more complicated than for the other systems.
The initial conditions at t=0 are
As boundary conditions we have for t>0 at z=0:
and at z=H:
as they follow from (31), (32) and (35), respectively. We notice that we need in total 9 boundary conditions (2 for each of ϕ_{1}, ϕ_{2}, u_{1}, u_{2} and 1 for v_{3}), as well as an extra condition to determine h(t), so in total 10 conditions.
3.1 Dimensionless formulation
We nondimensionalize the fundamental variables, unknowns and parameters by dividing them by a normalization constant to make them dimensionless and \(\mathcal {O}(1)\). The normalization constants are denoted as U for the displacement, H for the position, V for the velocity, T for the time, and J for the flux. Material coefficients χ_{1,2} and E_{1,2} are normalized with respect to the largest value of all constituents, so χ= max{χ_{1},χ_{2}}, E= max{E_{1},E_{2}}. Moreover, we introduce the small parameter ε as the ratio of U and H. This small parameter recalls that our model uses linear deformation theory, in which deformations are small with respect to the size of the domain. We note here that this assumption holds as long as \((h(t)H)/H = \mathcal {O}(\epsilon)\). Concerning the choice of the time scale T, we have three natural options: diffusion time scale T=U/V, reaction time scale T=1/K, and inflow time scale T=U/J. If we opt for the diffusion time scale and nondimensionalize Eq. 43c making all terms and coefficients of the same order, we obtain V=HK and J=HK yielding T=U/V=U/J=(U/H)/K=ε/K, for both the diffusion and the inflow time scale. Consequently, the diffusion time scale is much smaller than the reaction time scale, implying that diffusion is much faster than the reaction, and therefore we opt here for the normalization constant T=U/V=ε/K. Analogously, we find from Eqs. 43d or 43e the relation EU/H^{2}=χV. All this leads to the definitions of the following dimensionless numbers, viz:
Looking at the problem at the diffusion time scale regime, we obtain the following nondimensionalized system equations:
where
In these equations all material coefficients are made dimensionless in the usual way and without changing their notation, meaning that:
Due to the nondimensionalization, the domain changes from (0,H) to (0,1). The initial conditions and most of the boundary conditions do not change their structure. Only the nonzero boundary conditions at the upper boundary (now at z=1) change due to the introduction of the dimensionless boundary displacement function \(\mathcal {W}(t) = (h(t)H)/\epsilon H\) such that \(\mathcal {W} = \mathcal {O}(1)\). The nonhomogeneous boundary conditions at z=1 become
Integrating Eq. 43c from z=0 to z=1, and using (47) and (48), we obtain a closed expression for \(\mathcal {W}(t)\) for all t>0 in terms of influxes, the production term by the chemical reaction, and the mismatch of displacement at the boundary, viz.
We note here that in the limiting case A_{1,2}↓0, as then also ∂_{z}u_{1,2}→0, the last term of Eq. 54 becomes undetermined. In this case we cannot use (53b) and (53c), which results in the following adapted relation for \(\mathcal {W}(t)\) (derived in a way analogously to the derivation of Eq. 54)
From both these results we conclude that the first two terms, the influxes with \(\mathcal {J}_{2,3}\) being positive, yield a positive contribution to \(\mathcal {W}(t)\) making the layer increase in thickness. Whether or not the third term has an increasing or decreasing effect depends on the sign of S_{K}; when, as in our case, S_{K}=−1, the chemical reaction does shrink the layer. At this moment, nothing specific can be said for the last term. However, our numerical results reveal that the effect of this term is always small. Thus, we can state that the domain of the layer only grows if the magnitude of the first two terms is greater than the third one. Hence, there is a competition effect here.
In Appendix A, a solution for System D has been obtained as a formal asymptotic expansion in ε. The asymptotic expansion is formal as it is not a priori known whether or not this expansion is converging in ε. The predictive power of a formal asymptotic expansion should not be underestimated, because there exist formal asymptotic expansions, which are diverging, but can be very accurate when only a truncated version of the expansion is used; see the example in Section 1.4.2 on pages 13 and 14 of [21]. This motivated us in the choice of the two Jparameters; see Table 1.
Numerical method
In this section, we solve numerically the systems A, C and D. We omit system B, because a viscoelastic term is needed to obtain a coercive system, such as in system A, for which we have proven the convergence of the timediscrete evolutions to the corresponding weak solution; see [40]. We expect that similar convergence results can be obtained for the systems C and D, as they have a viscoelastic term similar to the one in system A. Also, when solving system D we exclude the Laplacian terms in Eq. 43c, or stated in another way: the numerical method uses δ_{α}=0 for (43c). This exclusion is justified by an order analysis of the terms of (43c) from the ϕ_{α}solutions of (43a) and (43b), which states that \(\sum _{\alpha =1}^{3}\delta _{\alpha }\Delta \phi _{\alpha } = \mathcal {O}\left (\sqrt {\epsilon }\mathcal {F}\right)\).
Our code is called NewGypsum and it is based on a combination of MATLAB routines. We start off with a Rothe time discretization of the systems A, C and D, which linearizes the systems. Benefitting from the onedimensionalinspace formulation, solving the linear systems is done automatically by using the builtin boundary value problem (BVP) solvers of MATLAB, see bvp4c and bvp5c; [22, 23]. These solvers take a grid, a guess for the solution, and the BVP system as input. Then they automatically readjust the grid and interpolate the guess solution to obtain a starting point for the numerical scheme, controlling a certain error metric to determine the solution based on userdefinedconvergence criteria.
The solver bvp4c is an implicit RungeKutta method using the 3stage Lobatto IIIa formula with control on the residual [22]. The method is only applicable to linear Lipschitz systems [22]. Fortunately, systems A, C, and D can be shown to satisfy this condition within certain parameter constraints (which we will explain more thoroughly in the next section). For an easy guide in understanding and using bvp4c we recommend [36]. Moreover, [36] shows that boundary layer effects are well resolved by the bvp4c solver.
The solver bvp5c is an implicit RungeKutta method using the 4stage Lobatto IIIa formula with control on the true error [23]. The solver bvp5c is more precise than bvp4c, but it is also less versatile [23]. This does not pose a problem as our three systems A, C and D still satisfy the applicability conditions for bvp5c and bvp5c has similar capabilities in handling boundary layers as bvp4c [23]. In our case the choice was made to use bvp5c as it made our simulations about 27 times faster than when using bvp4c.
A more detailed explanation of our NewGypsum can be found in Section 2.4 of [40]. Moreover, in Appendix A one can find a validation of the NewGypsum routine with a Mathematica simulation of the asymptotic εexpansion solutions derived in the same appendix.
Quest for realistic numerical behavior
Even though our systems were derived based on first principles in terms of balance/conservation laws, this does not guarantee that all physical constraints are automatically satisfied for large variations in the model parameters. A solution is said to show realistic behavior if the following three constraints are satisfied within this framework:

1
The volume fractions should be nonnegative and less than one. From the mathematical analysis point of view we expect that system A behaves poorly when volume fractions become very small. To outlaw this unwanted behavior a positive minimal value ϕ_{min} is introduced, leading to the constraint
$$ 0<\phi_{\min}\leq\phi_{\alpha}(t,z)<1 $$(56)for all α∈{1,2,3}, for all z∈(0,1), and for all t∈(0,t_{f}).

2
A second condition is a demand on the upper bound for the velocity. Fast local deformations are allowed as long as the total contribution to the domain deformation is still small, the stresses remain low and the quasistatic approximation is not violated. Hence, it is natural to cap both the total velocity in the domain and the total spatial change of the velocity in the domain. This is reflected in the condition
$$ {\begin{aligned} \v_{3}\_{L^{2}(t_{0},t;H^{1}(0,1))}^{2} = \int_{0}^{t}\left[ \int_{0}^{1}\left(v_{3}(s,z)^{2}+\left(\partial_{z}v_{3}(s,z)\right)^{2}\right)\text{d}z\right]\text{d}s<V^{2} \end{aligned}} $$(57)for all t∈(0,t_{f}).

3
The concrete layer has two boundaries that allow influx. Even though the chemical reaction itself is volume contractive, the combination of influx and chemical reactions must be volume expansive due to the porous nature of gypsum [28]. Hence, the height of the platelayer must be a nondecreasing function:
$$ \partial_{t}h(t) = \epsilon\partial_{t}\mathcal{W}(t)\geq0\quad\text{for all }t\in(0,t_{f}). $$(58)
Realistic behavior is defined as satisfying all three constraints Eqs. 56 to 58. We immediately stop a simulation when one of the three inequalities is violated.
We need a benchmark of our numerical program to test the numerical solutions for realistic behavior. For this we introduce a reference set of material constants. The values of these constants, and their dimensionless counterparts, dimensionalized with respect to the diffusion time scale, are listed in Table 1. The numerical evaluations use a time step Δt, the size of the time interval t_{f}, and a number of spatial subdivisions, 1/Δz. We choose fixed values Δt=0.001, t_{f}=0.500 and 1/Δz=300 for these parameters. In the remainder of this paper we implicitly use the parameter values of Table 1, whenever parameter values are not explicitly specified. A spatialtemporal analysis of our benchmark problem with the parameter values of Table 1 can be found in Section 2.6 of [40], showing that our benchmark simulation gives expected behaviour.
5.1 Parameter dependence of found realistic behavior
We aim to determine how the size of the realistic time interval, given in number of numerical iterations N_{R}, depends on the system parameters. Our definition of realistic behavior contains three constraints, see the beginning of Section 5, which can be numerically checked. We investigate the numerical simulation applied to systems A, C and D for a large parameter range, by changing specific parameters in Table 1. In this way our results even hold when experimental values with large uncertainties are used for the model parameters if these values with uncertainties remain in the probed region. Out of the 20 model parameters, we will only change specific parameters chosen on basis of their influence on the analytical bounds in the existence proof in [40]. When a bound in this existence proof contains a product of two parameters, then this parameter pair is chosen. All parameters are modified in a double exponential fashion such that large parameter ranges are investigated. Finally, the initial condition (ϕ_{10},ϕ_{20},ϕ_{30}) is chosen, because they immediately determine whether chemical reactions or influx do occur.
We have chosen to investigate the response of the model with respect to the following parameters and parameter tuples, because these parameters or combinations of parameters are either crucial for System D from a physical perspective or dominant in mathematically derived upper bounds in the existence proof in [40]:
The parameter pair (A_{2},γ_{2}) should be investigated as well. However, we chose to fix the ratios A_{1}/A_{2} and γ_{1}/γ_{2}, because the dependence on (A_{2},γ_{2}) is expected to be similar to the dependence on (A_{1},γ_{1}). Similarly, we chose to fix the ratios \(\mathcal {J}_{2}/\mathcal {J}_{3}\) and ϕ_{2,res}/ϕ_{3,res}. Moreover, if parameters are not mentioned to have special values, then these parameters are set to their standard values as listed in Table 1.
The existence proof in [40] points out a dependence on the (κ_{1},κ_{3},ϕ_{1,sat}) parameter triple. However, the dependence on ϕ_{1sat}, κ_{1} and κ_{3} is quite subtle: only for ϕ_{1,sat}>ϕ_{1}≈ϕ_{10} the chemical reaction is active and \(\mathcal {F}>0\). This has only a relevant effect on the incompressibility condition, because in the first two diffusion equations Eqs. 50a and 50b the righthand sides are of \(\mathcal {O}(\epsilon)\). This implies that the effect of κ_{1} and κ_{3} on the simulations is expected to be (negligibly) small. As we made not enough simulations for ϕ_{1} above the ϕ_{1,sat} threshold value, we can not draw any conclusions concerning its effect on realistic behavior. However, we expect an increasing ϕ_{1,sat} to decrease the size of the realistic time interval, as increasing ϕ_{1,sat} increases the size of \(\mathcal {F}\) and, hence, also the size of v_{3}.
We investigate the triple (ϕ_{10},ϕ_{20},ϕ_{30}) using a barycentric triangular grid with grid size 0.1, as shown in Fig. 2. The performance of the simulations is measured in terms of the number of consecutive iterations yielding realistic behavior. Each number denotes that the first unrealistic behavior occurs at the next iteration, while 500 denotes that no unrealistic behavior has been encountered. This performance value is placed at the grid point of the initial volume fraction values used for obtaining the result. We have added the existence region of [40] to the barycentric plots of Fig. 2 as a shaded region.
The three systems behave differently as one can see from the size of the parameter region with 500 iterations. The parametric region pointing at the high acid concentration region is outperforming the other parameter regions in all systems. A high concentration of acid implies that the reaction is slow (i.e. \(\mathcal {F}\) is small), and consequently, the velocity v_{3} remains small. Moreover, also the influx of acid is low or even absent. This results in a relatively small increase of the norm of v_{3}, and, therefore, violating the velocity norm upper bound (which is the most critical of the three conditions to violate) takes more time for large values of ϕ_{3}. This explains the good performance of this parameter region.
For the determination of the dependence on other parameters the best choice of initial conditions for each system is exactly in the transition region between the regions of small (single digit) and high (500) amount of iterations. In this transition region, the amount of iterations is expected about half way in between 1 and 500 iterations. Any dependence yielding lower or higher amounts of iterations is faithfully represented. Outside this transition region the registration of the dependence is limited to a onesided deviation of the reference level of amount of iterations, while in this transition region the registration allows for the full twosided deviation of the reference level of the amount of iterations. We have chosen (ϕ_{10},ϕ_{20},ϕ_{30}) equal to (11/30,11/30,8/30), (1/3,1/3,1/3), and (1/4,1/4,1/2) for System A, C, and D, respectively.
As for δ and ε, we modified their values in an exponential fashion. Again, we recorded the amount of consecutive iterations, N_{R}, for which the solutions remained realistic. The amount N_{R} for Systems A, C and D is recorded in Table 2 for changes in δ.
For all systems, we see that the size of δ has practically no influence and is, therefore, unimportant in establishing realistic behavior defined in this section. This makes sense because the initial conditions are smooth, which leads to small values of the Laplacian. Hence, δ has only a minor effect on the simulation output.
In Fig. 3, the values of N_{R} are plotted for systems A, C and D for ε equal to 1.4 times a factor equal to all powers of \(\sqrt {10}\) between 10^{−2} and 10^{3}. Only the unambiguous values of N_{R}<500, are plotted next to similar simulations executed with the modified parameter values (ϕ_{10},ϕ_{20},ϕ_{30})=(0.2,0.3,0.5).
The effect of ε shows a different performance for ε≥0.0014 and ε<0.0014, where in the former case the behavior becomes worse for greater values of ε. However, one should be aware that only small values of ε are acceptable because our model is based on the assumption of linear (small) deformations (ε≪1). The linear behavior of system D in the loglog plot of Fig. 3 is a clear power law signal. In Table 3, we have listed the power law exponent estimate and its unbiased variance estimate for both initial value data sets. The estimators are explained in detail in Section 14.2 of [34]. Essentially, T_{real}=N_{R}Δt∼ε^{−0.5} is a reasonable hypothesis for System D and it indicates how the validity of our model depends on physical scale separation.
The realistic behavior is affected by changes in \(\mathcal {J}_{\alpha }\), α∈{2,3}, as they control the rate of influx and so a major aspect of thickness growth. Increasing the size of \(\mathcal {J}_{\alpha }\) gives a corresponding increase in the size of \(\mathcal {W}(t)\) for large enough \(\mathcal {J}_{\alpha }\). However, for small \(\mathcal {J}_{\alpha }\) we cannot expect the same correspondence, because at some point the reaction becomes the dominant contributor. Hence, for small \(\mathcal {J}_{\alpha }\) the growth of \(\mathcal {W}(t)\) must be independent of \(\mathcal {J}_{\alpha }\), while at large \(\mathcal {J}_{\alpha }\) this growth must be in a onetoone correspondence.
The size of \(\mathcal {W}(t)\) correlates with the size of \(\mathcal {J}_{\alpha }\), see Eq. 54. However, Eqs. 47 and 48 show that ∂_{t}u_{2} and v_{3} are related to \(\mathcal {J}_{\alpha }\). The incompressibility condition Eq. 50c immediately gives that the norm of v_{3} is, then, correlated with the size of \(\mathcal {J}_{\alpha }\). Hence, from Eqs. 50c and 54 we expect for small \(\mathcal {J}_{\alpha }\) no dependence between the realistic time interval T_{real} and \(\mathcal {J}_{\alpha }\). At large \(\mathcal {J}_{\alpha }\), we expect an inverse dependence of the realistic time interval T_{real} on \(\mathcal {J}_{\alpha }\). In Fig. 4 the expected behavior is shown. This figure also shows that the choice of the system (A, C, or D) and the value of ϕ_{α,res} has only a minor influence on the realistic behavior.
The size of the viscoelastic parameter γ_{α} has a major effect on the realistic behavior: when γ_{α} is too small, the system loses coercivity and the numerical program immediately terminates. This happens for all values of γ_{α}<0.005. For large enough values of γ_{α} the system preserves ellipticity, resulting in stable realistic behavior; see Table 4 for System A, C, and D.
The realistic behavior depends also on A_{α}. When A_{α} takes large values, then the coupling between \(\mathcal {W}(t)\) and the displacements u_{1} and u_{2} becomes strong, leading to a larger value of v_{3}, and thus smaller N_{R}. On the other hand, when A_{α} is small (say A_{α}<1), then the boundary condition will behave more like a Neumann boundary condition, having no effect whatsoever on the realistic time interval. Again, we see these behaviors in Table 4 for Systems A, C, and D. This behavior agrees with the analytical results from [40] for System A.
For System D, we have used the standard values for the parameters and initial conditions, the dimensionless thickness growth \(\mathcal {W}(t)\). In Fig. 5, the results for a set of εvalues are depicted. For ε≥0.0014 the curve of \(\mathcal {W}(t)\) has a rotated S shape, whereas for ε<0.0014 the behavior is linear and identically the same for all ε. This linear behavior is clearly different for t/T≈0 and should not be confused with a windowing artifact applied to an Sshaped curve as the linear behavior occurs immediately and does not show a characteristic decrease in slope as with ε<0.0014. Therefore, it seems there exists a bifurcation value of ε at which the system changes the qualitative behavior in \(\mathcal {W}(t)\) near t=0. A deeper insight in this aspect requires more numerical and theoretical investigations. Future investigations are needed to shed light on this bifurcation behavior.
Conclusion
We have derived, based on first principles, several models describing concrete corrosion by taking into account mixture theory, small deformations, compressibility and viscoelastic effects, diffusion, chemical reactions, influx of chemical species and an expanding domain. The most suitable model is System D. For this system, we could obtain the best numerical results with nice power law behaviors, which lead us to the hypothesis that the realistic time interval T_{real} scales as \(1/\sqrt {\epsilon }\). Moreover, we could interpret the spatial behavior of all variables by taking into account the physical effects of the chemical reaction and of the influx of reacting materials.
Even though we have derived our systems from first principles, many material constants (δ_{α}, γ_{α}, A_{α}) have either unknown values or are determined at length scales orders of magnitude larger than our simulated domain (e.g. the Young modulus cf. [32]). Consequently, many of our model parameters need to be identified. Better insight in the model parameters is needed. This can be obtained in at least three ways:

(i)
By performing more specific measurements at the length scale of our domain;

(ii)
By upscaling procedures, obtain effective material coefficients at length scales compatible with the measurements;

(iii)
By suitably combining (i) and (ii).
By performing simulations with intentionally large parameter ranges, we localized the uncertainties in the model parameters and probed simultaneously the continuous dependence of the solution to our systems on the choice of parameters. In this way, the behavior of System D is valid, even for the model parameters with large uncertainties. While probing the parameter dependence of our system on 20 different parameters, of which about 10 are indeterminate, we immediately encounter the curse of dimensionality – sampling a high dimensional space^{Footnote 2} is a sparse operation. A more structured sampling was possible by targeting the variables present in analytical upper bounds derived in [40]. An additional complication is the nonlinear coupling of all unknowns involved concurrently in several physical processes. Such a strong coupling prohibits a fast simulation at a single parameter tuple and creates a complex nonlinear parameter dependence of the solution behavior.
What concerns System D, at least for a short transient time the realistic behavior showed practically constant concentrations due to the slow reaction with respect to the influx. The displacements and velocities seemed consistent with the influx of material, while the thickness of the concrete layer was growing steadily, as expected from real world observations. Moreover, these results coincide with [4] as the plate thickness increases in time and the correct changes in volume fractions were observed. Displacements and velocities could not be related to any quantity in [4], because their reaction occurs in the boundary, while ours occurs in the full domain.
The Systems A, C, and D showed strong dependence on several parameters. For all systems the number of consecutive iterations yielding realistic behavior (N_{R}) is highly dependent on the choice of ϕ_{30}, due to the incompressibility condition, while ϕ_{10} and ϕ_{20} seem unimportant, as long as ϕ_{10}+ϕ_{20}=1−ϕ_{30}. The diffusion coefficient δ>0 had no effect on N_{R}, while the scale separation parameter ε greatly influenced N_{R} for all systems, especially for System D with an apparent power law dependence. The reaction parameters κ_{1}, κ_{3}, ϕ_{1,sat} had no influence on N_{R}, because ε is small and \(\mathcal {J}_{3}>1\). The flux parameters \(\mathcal {J}_{2}\) and \(\mathcal {J}_{3}\) are unimportant at small values (\(\mathcal {J}_{2}<1\)), while almost in one to one correspondence with N_{R} at large values (\(\mathcal {J}_{2}>10\)) due to Eq. 54. The external concentrations ϕ_{res} had almost no influence on N_{R}, what can be attributed to an under sampling of large values (ϕ_{res}>0.3). The viscoelastic parameters γ_{1} and γ_{2} are important for keeping coercivity. They show a high dependence on N_{R} for Systems A and C, but almost no dependence for System D. The boundary condition parameters A_{1} and A_{2} highly influence N_{R}, but for Systems A and C the behavior seems erratic, except at small values due to the convergence to Neumann boundary conditions. The thickness \(\mathcal {W}(t)\) for System D becomes larger for smaller values of ε, but changes behavior for ε<0.0014, for which \(\mathcal {W}(t)\) seems independent of ε. This behavioral change is unexpected and advocates for additional research. Moreover, the thickness \(\mathcal {W}(t)\) increases continuously as expected from experiments.
Hence, the important parameters of Systems A, C, and D describing the behavior of N_{R} are ϕ_{30}, ε, \(\mathcal {J}_{\alpha }\), γ_{β} and A_{β} for α∈{2,3} and β∈{1,2}. Moreover, the observed behavior of the thickness \(\mathcal {W}(t)\) is largely as expected from observations.
Appendix A
7.1 Asymptotic εsmall solutions to System D
The system (50a)(50e) contains the small parameter ε, 0<ε≪1, and we assume that the solution of this system can be expanded as a Poincaré series in ε, for instance:
and the same for u_{α}(z,t;ε) and v_{3}(z,t;ε).
We substitute these expansions into the equations of system (50a)(50e) and develop them with respect to ε. We start with (50a), which results in
The ε^{0}term yields \(\partial _{t} \phi _{1}^{(0)}=0\). Together with the initial condition \(\phi _{1}^{(0)}(z,0) = \phi _{10}\), this gives \(\phi _{1}^{(0)}(z,t) = \phi _{10}\) for all t>0 and all z∈(0,1). If needed, the following equation for the firstorder perturbation of ϕ_{1} can be used
In analogous way we obtain from (50b): \(\phi _{3}^{(0)}(z,t) = \phi _{30}\), implying that also \(\phi _{2}^{(0)}(z,t) = 1 \phi _{10} \phi _{30} = \phi _{20}\), and
For the remaining three Eqs. (50c), (50d), and (50e), we are only interested in the zerothorder approximation, meaning that we let ε→0. From here on, we denote \(u_{1}^{(0)},u_{2}^{(0)},v_{3}^{(0)}\) simply by u_{1},u_{2},v_{3}; moreover we use here S_{K}=−1. This reduces these equations to:
Integrating the first equation to z and using the boundary condition at z = 0: \(\phi _{20} \partial _{t} u_{2}(0,t)= \mathcal {J}_{2}~\mathcal {L}(\phi _{2,res}\phi _{20})=:F_{1}\), we obtain
We eliminate v_{3} with use of this relation from the last two equations. After some manipulations we can write these two equations as one matrix equation of the form
with
This system is a linear pseudoparabolic system with constant coefficients for 2 unknown variables: u_{1}(z,t) and u_{2}(z,t) and for z∈(0,1) and t∈(0,t_{f}). The initial and boundary conditions for this system are u(z,0)=0 and
Moreover, \(\mathcal {W}(t)\) can be found from (55) as
with \(\phi _{30} J_{3}:= \mathcal {J}_{3} \mathcal {L}(\phi _{3,res}\phi _{30})\).
For χ_{1}χ_{2}ϕ_{30}≠0 and E_{1}E_{2}ϕ_{30}≠0, we can rewrite the pseudoparabolic equation above as an initialboundaryvalue problem by introducing
where the first two terms are chosen such that \(\tilde {\mathbf {u}}\) satisfies the homogeneous pseudoparabolic equation
together with the homogeneous boundary conditions
and the inhomogeneous initial condition
such that the original initial condition u(z,0)=0 is still satisfied. In (71) \(\hat {\mathbb {B}}=\mathbb {A}^{1} \mathbb {B}\) and \(\hat {\mathbb {C}}=\mathbb {A}^{1} \mathbb {C}\), and, while U_{0}(z) is given by
with b_{1}=−2b_{2}−3b_{3}, \(2\mathbf {b}_{2} = \hat {\mathbb {B}}^{1}(\mathbf {J}\hat {\mathbf {r}}_{1})\) and \(6\mathbf {b}_{3}=  \hat {\mathbb {B}}^{1}\hat {\mathbf {r}}_{0}\), where \(\hat {\mathbf {r}}(z)=\mathbb {A}^{1} \mathbf {r}(z)=:\hat {\mathbf {r}}_{1} + \hat {\mathbf {r}}_{0} z\). Note, \(\mathbb {A}\) and \(\mathbb {B}\) are invertible because χ_{1}χ_{2}ϕ_{30}≠0 and E_{1}E_{2}ϕ_{30}≠0, respectively.
For \(\gamma \neq \frac {\chi _{1}\chi _{2}}{\chi _{1}+\chi _{2}}\frac {4}{\pi ^{2}(2k1)^{2}}\) with k≥1 integer, i.e. γ>0 for χ_{1},χ_{2}>0, we write the solution of (71) with the homogeneous boundary conditions as a series expansion in sine terms such that the boundary conditions are automatically satisfied of the form
with ζ_{k}=(2k−1)π/2, while the functions U_{k}(t) have to satisfy the ODE
or, because \(\hat {\mathbb {C}}+ \zeta _{k}^{2}\mathbb {I}\) is invertible due to choice of γ, slightly rewritten as
with \(\mathbb {K}_{k} = \left (\hat {\mathbb {C}}+ \zeta _{k}^{2}\mathbb {I} \right)^{1}\hat {\mathbb {B}}\) and \(\mathbb {I}\) the 2D unit matrix. This ODE has the fundamental solutions \(\phantom {\dot {i}\!}\text {e}^{\lambda _{1k} t}\) and \(\phantom {\dot {i}\!}\text {e}^{\lambda _{2k} t}\), where λ_{1k} and λ_{2k} are the eigenvalues of the 2x2matrix \(\mathbb {K}_{k}\). Hence, U_{k}(t) must be of the form
where \(\mathbb {U}_{k}\) is the matrix of the eigenvectors of \(\mathbb {K}_{k}\), i.e.
with K_{kij} the (i,j) entry of \(\mathbb {K}_{k}\), while
with c_{k1} and c_{k2} two unknown constants that will be determined from the condition that
Realizing that U_{0}(z) can be expanded in the sine series
with
we find
With this result, the solution for u(z,t) is complete. Recapitulating, we write (70) as
Finally, we find v_{3}(z,t) from (65) and \(\mathcal {W}(t)\) from (69).
Simulating these results with both Mathematica and MATLAB gave near identical results, except for an unphysical velocity v_{3}(z,t) in the MATLAB simulation yielding almost negligible small oscillations in time for u_{1}(z,t), u_{2}(z,t), and \(\mathcal {W}(z,t)\). Even though the MATLAB and Mathematica simulations use different approaches, especially for determining the initial velocity v_{3}(z,0^{+}), we can conclude that both simulations are accurate with respect to u_{1}(z,t), u_{2}(z,t), and \(\mathcal {W}(z,t)\), while only the Mathematica simulation shows accurate physical velocities of v_{3}(z,t). The MATLAB simulations of u_{1}(z,t), u_{2}(z,t) and \(\mathcal {W}(t)\) for different fixed z or t values are shown in Figs. 6, 7, 8, 9 and 10, while the Mathematica plots of v_{3}(z,t) for different fixed z or t are shown in Figs. 11 and 12, respectively. All simulations are dimensionless.
Notes
 1.
In principle the righthand side of Eq. 31 should be −ϕ_{α}(v_{α}−V) instead of 0. However, in our linear theory the value 0 is justified due to the scale separation between displacement and the actual size of the domain. See Section 3 for the effect of scale separation on the system in the dimension reduction process.
 2.
In our case, the dimensionality is linked to the space of simulations for all possible combinations of parameter values.
References
 1
Alì, G, Furuholt, V, Natalini, R, Torcicollo, I: A mathematical model of sulphite chemical aggression of limestones with high permeability. part ii: Numerical approximation. Transp. Porous. Media. 69(2), 175–188 (2007).
 2
Arab, N, Zemskov, EP, Muntean, A, Fatima, T: Homogenization of a reactiondiffusion system modeling sulfate corrosion of concrete in locally periodic perforated domains. J. Engrg. Math. 69(2), 261–276 (2011).
 3
Basista, M, Weglewski, W: Micromechanical modelling of sulphate corrosion in concrete: influence of ettringite forming reaction. Theoret. Appl. Mech. 35(13), 29–52 (2008).
 4
Böhm, M., Devinny, J, Jahani, F, Rosen, G: On a movingboundary system modeling corrosion in sewer pipes. Appl. Math. Comput. 92, 247–269 (1998).
 5
Bouchelaghem, F: A numerical and analytical study on calcite dissolution and gypsum precipitation. Appl. Math. Model. 34, 467–480 (2010).
 6
Bowen, RM: Incompressible porous media models by use of the theory of mixtures. Int. J. Engng. Sci. 18, 1129–1148 (1980).
 7
Bowen, RM: Continuum Physics. vol. 3(Eringen, AC, ed.)Academic Press, New York (1976). Chap. 1. Theory of Mixtures.
 8
Bulíc̆ek, M, Málek, J, Rajagopal, R: On KelvinVoigt model and its generalizations (2010). Technical report, Nec̆as Center for Mathematical Modeling, Mathematical Institute, Charles University, Prague, Czech Republic.
 9
Cahn, RW, Haasen, P, Kramer, EJ: Materials Science and Technology  A Comprehensive Treatment. Corrosion and Environmental Degradation, vol. 1. WILEYVCH, Chichester (2000). Volume Editor: Michael Schütze.
 10
Chalupecky, V, Fatima, T, Muntean, A, Kruschwitz, J: Macroscopic corrosion front computations of sulfate attack in sewer pipes based on a micromacro reactiondiffusion model. In: of Mathematics for Industry, FI (ed.)Multiscale Mathematics: Hierarchy of Collective Phenomena and Interrelations Between Hierarchical Structures. COE Lecture Note Series, pp. 22–31. Kyushu University, Japan (2011). Collaborate Research Meeting of Institute of Mathematics for Industry & Mext Collaborative Workshop of Mathematics and Mathematical Sciences with Various Sciences and Industrial Technologies, Fukuoka, Japan, December 811, 2011.
 11
Claisse, PA, et al.: In situ measurement of the intrinsic permeability of concrete. Mag. Concr. Res. 55, 125–132 (2003).
 12
Clarelli, F, Fasano, A, Natalini, R: Mathematics and monument conservation: free boundary models of marble sulfation. SIAM J. Appl. Math. 69(1), 149–168 (2008).
 13
During, EDD: Corrosion Atlas  A Collection of Illustrated Case Histories, 3rd exp. rev. edn. Elsevier, Amsterdam (1997).
 14
Elsener, B: Materials Science and Technology  A Comprehensive Treatment. Corrosion and Environmental Degradation, vol. 2(Cahn, RW, Haasen, P, Kramer, EJ, eds.)WILEYVCH, Chichester (2000). Chap. 8. Corrosion of Steel in Concrete. Volume Editor: Michael Schütze.
 15
Fasullo, GT: Sulphuric Acid: Use & Handling. McGraw Hill, New York (1965).
 16
Fatima, T, Muntean, A: Sulfate attack in sewer pipes: Derivation of a concrete corrosion model via twoscale convergence. Nonlinear Anal. Real World Appl. 15, 326–344 (2014).
 17
Fusi, L, Farina, A, Primicerio, M: A free boundary problem for C a C O _{3} neutralization of acid waters. Nonlinear Anal. Real World Appl. 15, 42–50 (2014). https://doi.org/10.1016/j.nonrwa.2013.05.004.
 18
Fusi, L, Primicerio, M, Monti, A: A model for calcium carbonate neutralization in the presence of armoring. Appl. Math. Modell. 39, 348–362 (2015). https://doi.org/10.1016/j.apm.2014.05.037.
 19
Gu, JD, Ford, TE, Mitchell, R: Uhlig’s Corrosion Handbook, 3rd edn(Winston Revie, R, ed.)Wiley, Hoboken (2011). Chap. 32. Microbial Corrosion of Concrete.
 20
Haynes, WM, Lide, DR, Bruno, TJ: CRC Handbook of Chemistry and Physics. 97th edition edn. CRC Press, Boca Raton (2017).
 21
Holmes, MH: Introduction to Perturbation Methods. 2nd edn. Texts in Applied Mathematics. vol. 20. Springer, Berlin (2013).
 22
Kierzenka, J, Shampine, LF: A BVP solver based on residual control and the MATLAB PSE. ACM Trans. Math. Software. 27(3), 299–316 (2001).
 23
Kierzenka, J, Shampine, LF: A BVP solver that controls residual and error. J. Num. Anal., Indus. & Appl. Math. 3(12), 27–41 (2008).
 24
Lafhaj, Z, et al.: Experimental determination of intrinsic permeability of limestone and concrete: Comparison between in situ and laboratory results. Build. Environ. 42, 3042–3050 (2007).
 25
Meyers, MA, Chawla, K: Mechanical Behavior of Materials. 2nd edn. Cambridge University Press, Cambridge (1999).
 26
Monteiro, PJM: Interfacial Transition Zone in Concrete. 1st edn. RILEM Report(Maso, JC, ed.)E & FN SPON, London (1996). Chap. 4. Mechanical modelling of the transition zone. StateoftheArt Report prepared by RILEM Technical Committee 1081CC, Interfaces in Cementitious Composites.
 27
Morro, A: Diffusion in mixtures of reacting thermoelastic solids. J. Elast. 123, 59–84 (2015).
 28
Nikolopoulos, CV: A mushy region in concrete corrosion. Appl. Math. Model. 34, 4012–4030 (2010).
 29
Nikolopoulos, CV: Macroscopic models for a mushy region in concrete corrosion. J. Engrg. Math. 91(1), 143–163 (2014).
 30
Nikolopoulos, CV: Mathematical modelling of a mushy region formation during sulphation of calcium carbonate. Netw. Heterog. Media. 9(4), 635–654 (2014).
 31
Ortiz, M, Popov, EP: Plain concrete as a composite material. Mech. Mater. 1, 139–150 (1982).
 32
Plachy, T, Tesarek, P, Padevet, P, Polak, M: Determination of Young’s modulus of gypsum blocks using two different experimental methods. In: Bulucea, CA (ed.)Recent Advances in Applied and Theoretical Mechanics. WSEAS Press (2009). www.wseas.org. 5th WSEAS Int. Conf. Appl. Theor. Mech.
 33
Rendell, F, Jauberthie, R, Grantham, M: Deteriorated Concrete. Thomas Telford Publishing, London (2002).
 34
Rice, JA: Mathematical Statistics and Data Analysis. 3rd edn. Duxbury Advanced Series. Thomson Brooks/Cole, Pacific Grove (2007). International Student Edition.
 35
Sand, W: Materials Science and Technology  A Comprehensive Treatment. Corrosion and Environmental Degradation, vol. 1(Cahn, RW, Haasen, P, Kramer, EJ, eds.)WILEYVCH, Chichester (2000). Chap. 4. Microbial Corrosion. Volume Editor: Michael Schütze.
 36
Shampine, LF, Reichelt, MW, Kierzenka, J: Solving boundary value problems for ordinary differential equations in matlab with bvp4c. Technical report, Math. Dept., SMU, Dallas (2000). The tutorial and programs are available at http://www.mathworks.com/bvp_tutorial.
 37
Taylor, HFW: Cement Chemistry. 2nd edn.Thomas Telford Publishing, London (1997).
 38
Trethewey, KR, Chamberlain, J: Corrosion for Science & Engineering. 2nd edn. Longman Group, Harlow (1995).
 39
Verdink Jr., ED: Economics of Corrosion. In: Winston Revie, R (ed.)Uhlig’s Corrosion Handbook, 3rd edn.Wiley, Hoboken (2011).
 40
Vromans, AJ: A pseudoparabolic reactiondiffusionmechanics system: modeling, analysis and simulation. Licentiate thesis, Karlstad University (2018).
 41
Wittmann, HF: Estimation of the modulus of elasticity of calcium hydroxide. Cem. Concr. Compos. 16, 971–972 (1986).
Acknowledgements
We acknowledge NWO and NDNS+ for the funding leading to this manuscript.
Funding
This work was funded by the Netherlands Organization for Scientific Research (NWO) under contract no. NWOMPE 657.000.004. Moreover, we acknowledge the NWO cluster Nonlinear Dynamics in Natural Systems (NDNS+) for funding a research stay of AJV at Karlstads University to visit AM. These funding bodies had no roles in the design of the study and collection, analysis, and interpretation of data and in writing.
Availability of data and materials
The simulation codes and simulation data will become available at an open repository, when this paper is accepted.
Author information
Affiliations
Contributions
The contributions of the authors are as followed: AJV 50%, AM 10%, FvdV 40%. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Arthur J. Vromans.
Ethics declarations
Ethics approval and consent to participate
The authors declare that the research presented in this manuscript complies with the ethics guidelines of their respective institutions. The research presented in this manuscript is devoid of participation by individuals.
Consent for publication
The authors declare that the research presented in this manuscript is devoid of personal data of individuals.
Competing interests
The authors declare that they have no competing interests.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Additional information
Authors’ information
AJV is a PhD student at both Eindhoven University of Technology in the Netherlands, and Karlstads Universitet, Sweden. AM is a full professor at Karlstads Universitet. FvdV is a emeritus professor at Eindhoven University of Technology.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Received
Accepted
Published
DOI
Keywords
 Reactiondiffusion
 Mechanics
 Mixture theory
 Concrete corrosion
 Sulfatation attack
Mathematics Subject Classification (2010)
 Primary 74D05
 74F20
 secondary 74B05
 74F10
 74F25
PACS Codes
 Primary 47.70.Fw
 83.10.Ff
 secondary 46.70.p
 47.10.Ab
 83.60.Bc