 Research article
 Open Access
 Published:
Enriched continuum for multiscale transient diffusion coupled to mechanics
Advanced Modeling and Simulation in Engineering Sciences volume 7, Article number: 14 (2020)
Abstract
In this article, we present a computationally efficient homogenization technique for linear coupled diffusion–mechanics problems. It considers a linear chemomechanical material model at the fine scale, and relies on a full separation of scales between the time scales governing diffusion and mechanical phenomena, and a relaxed separation of scales for diffusion between the matrix and the inclusion. When the characteristic time scales associated with mass diffusion are large compared to those linked to the deformation, the mechanical problem can be considered to be quasistatic, and a full separation of scales can be assumed, whereas the diffusion problem remains transient. Using equivalence of the sum of virtual powers of internal and transient forces between the microscale and the macroscale, a homogenization framework is derived for the mass diffusion, while for the mechanical case, considering its quasistatic nature, the classical equivalence of the virtual work of internal forces is used instead. Model reduction is then applied at the microscale. Assuming a relaxed separation of scales for diffusion phenomena, the microscopic fields are split into steadystate and transient parts, for which distinct reduced bases are extracted, using static condensation for the steadystate part and the solution of an eigenvalue problem for the transient part. The model reduction at the microscale results in emergent macroscopic enriched field variables, evolution of which is described with a set of ordinary differential equations which are inexpensive to solve. The net result is a coupled diffusion–mechanics enriched continuum at the macroscale. Numerical examples are conducted for the cathode–electrolyte system characteristic of a lithium ion battery. The proposed reduced order homogenization method is shown to be able to capture the coupled behavior of this system, whereby high computational gains are obtained relative to a full computational homogenization method.
Introduction
Coupled diffusion–mechanics problems arise in many application areas, when the diffusion of solute particles causes volumetric swelling of a host material, inducing chemical stresses which in turn affect the mass flux [1, 2]. It has a broad range of applications ranging from biological tissues to microelectromechanical systems devices. For example, the swelling of brain tissues, known as edema, due to water diffusion [3] or the bending of thin plates due to chemical saturation [4]. Another typical example is the swelling of the active material due to the lithiation process in lithiumion batteries [5], which is also governed by coupled diffusion–mechanics phenomena.
The fundamental physics behind coupled diffusion–mechanics takes place at the atomic scale where the atomic or ionic diffusion occurs [1, 6]. The diffusion rate of the solute particles and the swelling of the host material depends on the atomic size of the materials involved [7] and on the activation energy which causes the jump of atoms inside the crystal lattice [8]. The jump directions and the frequencies are affected by the stresses inside the material, which in turn alter the activation energy and hence the mass flux. At the continuum level, the diffusion of species are described as driven by the gradient of the chemical potential [9]. The induced chemical stresses affect the chemical potential, which in turn influences the mass flux in the material [9,10,11,12]; this is known as the Gorsky effect [13].
This article addresses the application of coupled diffusion–mechanics described by the simulation of swelling in lithium ion batteries. A lithium ion battery consists of four components: two electrodes—a cathode and an anode, an electrolyte and the separator. Through an electrochemical reaction, the chemical energy is converted to electrical energy in a discharge cycle; the reverse reaction takes place during the charging cycle. During charging the chemical potential across the cell forces the lithium ions to diffuse towards the anode compartment via the electrolyte while passing through the separator [14]. At the anode, the lithium ions are deposited in the active particles during an intercalation process which increases the volume of the active particle. Upon discharging, a similar reaction occurs in which the lithium in the anode is oxidized into lithium ions and electrons. The electrons flow through the external circuit to the cathode and lithium ions diffuse towards the cathode where they intercalate into the active particles.
The amount of swelling of the active particles depends on the cathode and anode materials. For example, swelling in the cathode of up to 6.5% is reported in different lithiummetaloxides and up to 10% in lithiumcobaltoxide [15], Siliconbased anode active particles can swell up to 300% [16]. Even when the deformation of cathode materials is small, e.g. LiCoO\( _2 \), LiMn\( _2 \)O\( _3 \) and LiFePO\( _4 \), the cyclic lithiation and delithiation of active particles leads to cracks and loss of contact with the matrix, which gradually results in a capacity loss and eventually failure of the battery [17, 18]. Hence, to design a longer lifetime and higher energy density batteries, simulation of coupled diffusion–mechanics is of primary importance [19, 20].
Most of the work done in the literature on the simulation of coupled diffusion–mechanics in batteries is based on the pioneering works of Larché and Cahn [21], in which a framework for solidstate diffusion was developed for compositional changes in the solid state [5]. In general, due to its multiphysics and multiscale nature, the simulation of lithium ion batteries is a challenging task [17]. Analytical methods for the solution of coupled diffusion–mechanics problems are limited to simple geometrical shapes [22], therefore approximate solutions using numerical techniques such as finite elements are often required [17]. However, with a complex microstructures [23] and transient phenomena [24], the direct numerical simulations (DNS) become prohibitively expensive.
Computational homogenization is a well known technique to reduce the computational costs associated with the modeling of physical phenomena in complex microstructures [25, 26]. It replaces a highly heterogeneous medium with an equivalent homogeneous one by decomposing the problem into smooth macroscale and highly oscillatory microscale problems. The effective behavior is computed from a representative microscopic element (RVE) [27] and transferred to the macroscale. The computational homogenization of transient phenomena, as associated with lithium diffusion in batteries, has been the focus of research recently [24, 28]. Effective responses have to be computed at each macroscopic material point at each time step, making homogenization of transient phenomena computationally demanding. For a general overview of multiscale computational modeling of lithium ion batteries, see [29, 30].
In this work, we propose a computationally efficient method for the homogenization of coupled diffusion–mechanics for the cathode material of a lithium ion battery. The homogenization of the underlying diffusion and mechanical problems is performed separately by using the method proposed in [24]. For the diffusion problem, equivalence of virtual power (extended HillMandel condition) is considered, while for the mechanical problem equivalence of virtual work is used (standard Hill–Mandel). Assuming linear material properties and small strains, the relaxed separation of scales allows the decomposition of the microscopic fields into their steadystate and transient parts. The mechanical response relies on the assumption of full scale separation since the characteristic time of the elastic deformation for the considered problem is very small compared to the characteristic diffusion time [2, 9]. Moreover, the characteristic diffusion time in the active material particles is several orders of magnitude larger, than the one of electrolyte (considered here as a matrix in which active particles are embedded) [28]. Therefore, the lithium ions travel instantly in the electrolyte as compared to their diffusion in the active material. This allows for a socalled relaxed separation of scales, in which diffusive species migrate instantly in the matrix and very slowly in the inclusions [31]. Next, a model reduction technique, inpired by [32] for elastodynamic problems and applied in [31] to heat conduction problems, can be performed to extract the reduced bases for the steadystate and transient parts of the microscopic response. Although mechanical inertia effects can be neglected, the mechanical deformation is coupled to the transient diffusion, i.e. it evolves in time with the concentration field. Hence, a decomposition of the microscopic displacement field into a steadystate and a transient part is also required.
Through model reduction, the fine scale coupleddiffusion equations are replaced by a set of ordinary differential equations for the emergent macroscopic field variables, giving rise to an enriched continuum at the macroscale. These equations are to be solved at the macroscale together with the macroscopic mass and linear momentum conservation and the constitutive effective mass flux, rate of change of concentration and stress, obtained through the reduced order homogenization. The resulting enriched continuum macroscopic problem is computationally significantly less expensive than the original fully resolved problem or the direct transient computational homogenization.
Outline
The general framework of the coupled diffusion–mechanics framework is presented in “Coupled diffusion–mechanics formulation” section, where the classical formulation in terms of concentration and strain is summarized. Next, a computationally more convenient formulation expressed in the terms of the chemical potential and strain is derived. “Computational homogenization” section presents the homogenization framework, in which the relaxed separation of scales is defined. The downscaling is performed and the macroscopic effective constitutive responses are obtained through an upscaling procedure. The model reduction is carried out in “Model reduction leading to an enriched continuum” section. First, a finite element discretization is introduced and the partitioned equations are shown. The reduced bases are identified, the macroscopic quantities are written in terms of the coefficients of the reduced bases and finally mode selection criteria are discussed. Numerical examples for the cathode material of a lithium ion battery are presented in “Numerical examples” section.
Symbols and notation
Macroscopic quantities are represented with a bar on top: for example scalar, vector and secondorder tensor macroscopic quantities are written as \(\bar{a}, \ \bar{ \varvec{a} }, \text { and } \bar{ \varvec{A} }\), respectively. Microscopic quantities are represented without a bar; microscopic scalar, vector and secondorder tensorial quantities are written as \(a, \ \varvec{a} \text { and } \varvec{A} \), respectively. The same Cartesian basis is adopted at the macro and micro scales. The dot products between two vectors, and between a secondorder tensor and a vector are represented as \( \varvec{a} \cdot \varvec{b} := a_i b_i\) and \( \varvec{A} \cdot \varvec{a} := A_{ij} a_j \varvec{e} _i\), respectively. A tensorial dyadic product is denoted as \( \varvec{a} \otimes \varvec{b} := a_i b_j \varvec{e} _i \otimes \varvec{e} _j\) and \( \varvec{A} \otimes \varvec{a} := A_{ij} a_k \varvec{e} _i \otimes \varvec{e} _j \otimes \varvec{e} _k\). The gradient of a scalar and a vector is defined as \(\varvec{\nabla }a := \frac{\partial a}{\partial x_i} \varvec{e} _i\) and \(\varvec{\nabla } \varvec{a} := \frac{\partial a_i}{\partial x_j} \varvec{e} _i \otimes \varvec{e} _j\). Similarly, the divergence operates as \(\varvec{\nabla }\cdot \varvec{a} := \frac{\partial a_i}{\partial x_i}\) and \(\varvec{\nabla }\cdot \varvec{A} := \frac{\partial A_{ij}}{\partial x_i} \varvec{e} _j\). For linear algebra operations, columns are represented with a tilde underneath a lowercase letter, e.g. \(a\), and matrices are represented with a bar underneath an uppercase letter e.g. \(\underline{A} \). The matrices and columns of vectors and tensor quantities are written with bold symbol, for example a matrix of a vector or a tensor quantity is written as \( \underline{ \varvec{A} } \). A tensorial product between two column arrays of vectors is defined as , where
The microscopic domain and its boundary are represented by \(\Omega \) and \(\partial \Omega \), respectively. The volume average of a microscopic quantity \( \bullet \) is defined as
where \(V = \int _{\Omega }\text {d}\Omega \) is the volume of the microscopic domain \(\Omega \).
Coupled diffusion–mechanics formulation
Coupled diffusion–mechanics equations describing the fully resolved (heterogeneous) problem are presented in this section. The conservation laws and the boundary conditions are written for the chemical and mechanical problems, followed by the derivation of the form of the constitutive equations [9]. First, the formulation considering the concentration and the displacement (strain) as the primary field variables is presented, which requires \( C^1 \)continuity and is therefore cumbersome to implement numerically. Next, using a Legendre transform, the primal field variables are transformed to the chemical potential and strain [24]. This formulation requires only \( C^0 \)continuity and standard finite elements can be used for the implementation. Finally, the material model to be used for the microscale constituents is presented.
Conservation laws
To take into account the large time scales associated with the mass diffusion problem a transient mass conservation equation is considered (without the volumetric source/sink term)
which states that the divergence of the mass flux \( \varvec{j} \) in a domain \( \Omega \)^{Footnote 1} is opposite to the time rate of the concentration field \( {\dot{c}} \). Equation (3) is supplemented with Dirichlet and Neumann boundary conditions, plus an initial condition
where \( {\widehat{c}} \) is the prescribed value of the concentration field on the Dirichlet part of the boundary \( \partial \Omega _{{\widehat{c}}} \), and \( {\widehat{j}}_n \) is the prescribed normal outward mass flux on the Neumann part of the boundary \( \partial \Omega _{{\widehat{j}}_n} \) such that \( \partial \Omega _{{\widehat{c}}} \cup \partial \Omega _{{\widehat{j}}_n} = \partial \Omega \) and \( \partial \Omega _{{\widehat{c}}} \cap \partial \Omega _{{\widehat{j}}_n} = \varnothing \). The initial value of the concentration at time \( t=0 \) is denoted by \( c_0 \).
Considering the short characteristic times of phenomena associated with the mechanical problem, it is justified to assume a conservation of linear momentum neglecting inertial terms, which without volumetric forces reads
requiring the divergence of stress field \( \varvec{\sigma }\) in a body \( \Omega \) vanish. Conservation of linear momentum (5) is also supplemented with the Dirichlet and Neumann boundary conditions
where \( \varvec{u} \) is the displacement field, \( {\widehat{ \varvec{u} }} \) is the prescribed displacement value on the Dirichlet part of the boundary \( \partial \Omega _{{\widehat{ \varvec{u} }}} \), and \( {\widehat{ \varvec{t} }}_n \) is the traction force applied on the Neumann part of the boundary \( \partial \Omega _{ \varvec{t} _n}\) such that \( \partial \Omega _{{\widehat{ \varvec{u} }}} \cup \partial \Omega _{ \varvec{t} _n} = \partial \Omega \) and \( \partial \Omega _{{\widehat{ \varvec{u} }}} \cap \partial \Omega _{ \varvec{t} _n} = \varnothing \). Constitutive equations for the mass flux \( \varvec{j} \), the concentration c and the stress \( \varvec{\sigma }\) are required to close the problem (3)–(6).
\( (c,\varvec{\varepsilon }) \) formulation
Following [9], the dissipation inequality for a coupled diffusion–mechanics problem can be written as
where \( \mu \) is the chemical potential, \( \varphi \) is the dissipation density at a material point \( \varvec{x} \) and \( {{\dot{\psi }}} \) is the time derivative of the Helmholtz’s free energy density. For coupled diffusion–mechanics problems, the Helmholtz’s free energy density \( \psi \) depends on the concentration field c and the strain \( \varvec{\varepsilon }\), related to the displacement field \( \varvec{u} \) by \( \varvec{\varepsilon }= \text {sym}(\varvec{\nabla } \varvec{u} ) \) (assuming linear kinematics). Using the chainrule, its material time derivative can be written as
substituting the expression of \( {\dot{\psi }} \) from Eq. (8) into the dissipation inequality (7) and rearranging terms yields
In the inequality (9), the restriction on the dissipation density to be positive is partially fulfilled by setting
which provides, for a given expression for the Helmholtz potential \( \psi \), the constitutive equations for the stress and the chemical potential, respectively. Considering a quadratic Helmholtz free energy density [9]
results in linear constitutive expressions for the stress and the chemical potential given by
and
where \( \mathbb {C}\) is the elastic stiffness tensor, \( \varvec{S} \) the chemical strain modulus tensor, \( c_0 \) the initial concentration and \( \Lambda \) is the chemical modulus. The constitutive model based on energy density function given in Eq. (11) is an alternative approach to the approach in which the microscopic strain field is decomposed in an elastic and volumetric swelling part, for more details see [33] . The remaining dissipation term in (9)
asserts a restriction on the constitutive form of the mass flux \( \varvec{j} \). Here, we use Fick’s second law which states that the mass flux \( \varvec{j} \) depends linearly on the gradient of the chemical potential \( \varvec{\nabla }\mu \) i.e.
where \( \varvec{M} \) is the secondorder mobility tensor which has to be positive definite to satisfy (14). Next, the constitutive Eqs. (12), (13) and (15) can be introduced in the mass conservation Eq. (3),
and in the conservation of linear momentum (5)
The mass and the linear momentum conservation Eqs. (16) and (17) can be solved together for the concentration and displacement fields \((c, \varvec{u} ) \). Equation (16), however, involves the thirdorder derivative of \( \varvec{u} \) and its numerical solution therefore requires a \( C^1 \)continuous finite element formulation. Various other solution techniques have also been proposed in the literature for this type of problems, see for example [24, 34]. In the current work, following [24], a Legendre transform is performed on the Helmholtz’s free energy density function \( \psi (c, \varvec{\varepsilon }) \) to obtain a dual energy density function \( \omega \), for which the primary field variables are the chemical potential \( \mu \) and the strain \( \varvec{\varepsilon }\).
\( (\mu , \varvec{\varepsilon }) \) formulation
Now, we derive the constitutive equations for stress \( \varvec{\sigma }\), concentration c and mass flux \( \varvec{j} \) considering \( (\mu ,\varvec{\varepsilon }) \) as the primary field variables. A Legendre transform can be performed on the Helmholtz’s free energy density function (11) to obtain the dual energy density function \( \omega \)
which is now a function of the chemical potential \( \mu \) and the strain \( \varvec{\varepsilon }\). The constitutive equations for the concentration and the stress fields \( (c, \varvec{\sigma }) \) can be obtained by the standard Coleman–Noll procedure. Substituting \( \psi = \omega + \mu c \) from (18) into (7) provides the dissipation inequality
Using the chainrule, the time derivative of the dual energy density \( {\dot{\omega }} \) can be written as
Substituting the expression for \( {\dot{\omega }} \), from Eq. (20), into the dissipation inequality (19) and rearranging terms yields
From here, the constitutive forms for the stress \( \varvec{\sigma }\) and the concentration field c are found as
Using constitutive Eq. (22) in conjunction with (18) and (11) provides the constitutive equations for the stress
and for the concentration field
For the remaining dissipation term \(  \varvec{j} \cdot \varvec{\nabla }\mu \ge 0 \), again Fick’s second law (15) can be used. Introducing the stress (23), the concentration field (24) and the mass flux (15) into the mass conservation (3) gives
while the conservation of linear momentum (5) reads
Equations (25) and (26) are solved for the chemical potential \( \mu \) and the displacement \( \varvec{u} \). The requirement of \( C^1 \)continuity on \( \varvec{u} \) is now relaxed by using the \( (\mu , \varvec{\varepsilon }) \) formulation, as can be seen from (26), for which a standard \( C^0 \)continuous finite element formulation can be used.
Linear isotropic constitutive model
A isotropic material model is considered for both mass diffusion and mechanical problems. The isotropic mobility tensor is given by
where \( \varvec{I} \) is the second order identity tensor and M is the scalar mobility coefficient. The chemical strain modulus \( \varvec{S} \) is assumed to have the following form [2]
where \( K = \frac{3\lambda +2G}{3} \) is the bulk modulus, \( \lambda \), G are Lamé’s constants and \( \gamma \) is the partial molar volume of the material, which is the volumetric increase of a material by the introduction of one mole of other substance. The linear elastic stiffness tensor \( \mathbb {C}\) is expressed in terms of Lamé’s constants as
where \( \mathbb {I}\) is the fourth order identity tensor. Next, the computational homogenization framework for the twoscale coupled diffusion–mechanics problem will be presented.
Computational homogenization
In this section, the computational homogenization of a twoscale coupled diffusion–mechanics problem is presented. First, the separation of scales regimes are defined for the mass diffusion and mechanics problems. Then, the governing equations at the micro and the macroscales are presented. The boundary conditions on the microscopic domain are defined through the constraints imposed by the downscaling relations. Finally, the upscaling is performed via equivalence of the virtual powers of the macro and microscales providing the constitutive forms for the macroscopic quantities.
The solution of the coupled diffusion mechanics problem on the fully resolved heterogeneous domain, as shown in Fig. 1a, is referred to as direct numerical simulation (DNS). Due to the computational expense of the DNS problem it is preferred, when possible, to divide the problem into micro and macro scales and solve a homogenized problem in a twoscale manner, as shown in Fig. 1b. The homogenizability of the DNS problem depends on the separation of scales, which is discussed next.
Separation of scales
The separation of scales can be defined through the material properties of the constituents, their characteristic length and time scales, and the characteristic scales of the physical phenomena under consideration [35]. For the coupled problem studied here, coupled scales for the mass diffusion, have to be considered, while for the mechanical phenomena a full separation of scales can be assumed. For more details on separation of scales see for example [35].
Mechanics: For the mechanical problem, a full separation of scales is adopted since the microscopic characteristic length scales \( (\ell _i < \ell _m) \) are much smaller than the macroscopic characteristic length scale L, which is typically the length over which the macroscopic fields vary over time i.e.
where \( \ell _m \) and \( \ell _i \) are the characteristic lengths of the microstructural components (matrix and inclusions, respectively) and L.
Mass diffusion In the mass diffusion problem, the separation of scales can be quantified based on the characteristic times associated with each material constituent. The characteristic times for the matrix \( t_m \) and the inclusion \( t_i \) can be written as
where \( {\mathcal {D}}_m \) and \( {\mathcal {D}}_i \) are the mass diffusivity coefficients of the matrix and inclusions, respectively. In the present work, a relaxed separation of scales is considered for the diffusion problem, which is a special case of coupled scales. In the regime of relaxed separation of scales, the characteristic diffusion time of the matrix \( t_m \) is very small compared to the one of the inclusion \( t_i \), and the macroscopic loading time T:
A relaxed separation of scales is applicable to the homogenization of mass diffusion problems in lithiumion batteries, where the lithium ions diffuse essentially instantaneously through the electrolyte material (matrix) in contrast to the very slow diffusion in the active particles (inclusions). The relaxed separation of scales has a direct implication for the model reduction presented in “Model reduction leading to an enriched continuum” section, since it allows the decomposition of the microscopic solution fields into the steadystate and transient parts. The separation of scales also indicates whether the transient terms in the conservation laws at the micro and macroscales should be included or not. These conservation laws are stated next.
Conservation laws at micro and macroscales
Mass conservation the mass conservation at the macroscale reads:
where \( \bar{ \varvec{j} }\) and \( {\dot{\bar{c}}} \) are the macroscopic mass flux and the macroscopic rate of change of the concentration field, respectively. To capture the time dependent mass diffusion behavior inside transient inclusions, the mass conservation is considered at the microscale:
where \( \varvec{j} \) and \( {\dot{c}} \) are the mass flux and the rate of change of concentration at the microscale.
Conservation of linear momentum For the considered problem, mechanical inertia can be neglected, for which the macroscopic linear momentum balance equation reads:
where \( \bar{\varvec{\sigma }}\) is the macroscopic stress tensor. Given the full separation of scales for the mechanical problem, the conservation of linear momentum at the microscale also does not include transient terms neither and reads
where \( \varvec{\sigma }\) is the microscopic stress tensor.
The constitutive equations for the macroscopic quantities \( \bar{\varvec{\sigma }}\), \( \bar{ \varvec{j} }\) and \( {\dot{\bar{c}}} \) are yet unknown; in the computational homogenization, these are obtained through an upscaling procedure. The boundary and initial conditions at the macroscale are given by the particular problem at hand. At the microscale, the constitutive equation for \( \varvec{\sigma }, \ \varvec{j} \) and c are assumed to be known, as presented in “Coupled diffusion–mechanics formulation” section. The boundary conditions at the microscale are obtained by downscaling relations, which will be presented next.
Downscaling
In firstorder computational homogenization, the microscopic fields are approximated as the firstorder Taylor’s series expansion around a macroscopic point \( \bar{ \varvec{x} }\). The chemical potential \( \mu \) in a microscopic domain \( \Omega \) can then be written as
where \( \bar{\mu }\) and \( \overline{\varvec{\nabla }}\bar{\mu }\) are the macroscopic chemical potential and its gradient, respectively, and \( {\tilde{\mu }}\) is the fluctuation field of the chemical potential at the microscale. The latter is due to the difference in material properties of the constituents, and the transient loading conditions at the macroscale. Similarly, the microscopic displacement field \( \varvec{u} \) can also be expressed as the first order Taylor’s series expansion around a macroscopic point \( \bar{ \varvec{x} }\)
where \( \bar{ \varvec{u} }\) and \( \overline{\varvec{\nabla }}\bar{ \varvec{u} }\) are the macroscopic displacement field and its gradient, respectively, and \( \tilde{ \varvec{u} }\) is the microfluctuation of the displacement field.
In computational homogenization, downscaling is referred to as the transfer of macroscopic quantities to the microscale, as shown in Fig. 1b. Macroscopic quantities which are to be transferred to the microscale depend on the physical phenomena under consideration. For instance, in firstorder transient computational homogenization, both for diffusion processes [36] and dynamics [37, 38], both the primary macroscopic field and its gradient are transferred to the microscale. In a steadystate/static computational homogenization scheme, only the gradient information needs to be transferred to the microscale.
In transient computational homogenization, the first constraint on the microscale solution is that the volume average of the microscopic primary field is enforced to be equal to the corresponding macroscopic field
which, by using the definitions (37) and (38) a chosen positioning of the microscopic domain such that \( \langle \varvec{x}  \bar{ \varvec{x} }\rangle = \varvec{0} \), requires that the average of the microfluctuations over the microscopic domain vanishes
The second constraint on the microscopic solution fields is that the average of the microscopic gradient fields should be equal to the corresponding macroscopic gradients
which by using Eqs. (37) and (38) and the identity \( \varvec{\nabla }( \varvec{x}  \bar{ \varvec{x} }) = \varvec{I} \) can be written as
The last terms in the above equations, i.e. the average of the gradient of the microfluctuation fields \( \langle \varvec{\nabla }{\tilde{\mu }}\rangle \) and \( \langle \varvec{\nabla }\tilde{ \varvec{u} }\rangle \) should vanish to satisfy the requirements (41). After applying Gauss’s theorem, these can be written as
where \( \varvec{n} \) is the outward unitnormal vector to the microscopic boundary \( \partial \Omega \) with an infinitesimal surface area \( \text {d}\Gamma \).
Constraints (40) can be applied by prescribing the respective fields at one point in the microscopic domain, along with the elimination of rigid body motion, to the corresponding macroscopic field values. To apply constraints (43), specific types of boundary conditions are used at the microscale. Typical choices for these boundary conditions are (i) zero fluctuation boundary conditions or (ii) periodic fluctuation boundary conditions as used later in this work.
Upscaling
Next, we discuss the upscaling relations which provide the constitutive equations for the macroscopic quantities. In computational homogenization, upscaling refers to the transfer of information from the microscale to the macroscale by requiring equality of the macroscopic and volume averaged microscopic (virtual) powers, known as the (extended) Hill–Mandel conditions in the literature [31, 37, 39]. The microscopic primary field ansatz e.g. (37) and (38), is then injected in the expression of the virtual power average and the macroscopic quantities are obtained by applying proper boundary conditions.
Mass diffusion The micromacro scale equivalence of the virtual power due to mass diffusion
Substituting the variation of the microscopic chemical potential \( \delta \mu \) using (37) in the right hand side of (44) yields
Rearranging the above expression for \( \delta \bar{\mu }\) and \( \delta {\tilde{\mu }}\) yields
The last term in the above expression, after applying the chain rule and the divergence theorem, reflects the weak form of the microfluctuation mass conservation
The first term on the right hand side of the above expression is the weighted residual of the microscopic conservation of mass (34), whose solution at the microscale should vanish. For the prescribed zero microfluctuation boundary condition or the periodic boundary conditions, the second term also vanishes and Eq. (46) reduces to
from where the macroscopic mass flux can be recognized as
and the rate of change of the macroscopic concentration as
The volume averages in Eqs. (49) and (50) can also be converted to boundary integrals using the divergence theorem and the microscopic mass conservation (34)
and
with \( j_n = \varvec{j} \cdot \varvec{n} \) the normal outward mass flux.
Mechanics In the absence of inertia effects, the standard Hill–Mandel condition
applies for the homogenization of the mechanical problem. Following similar steps as described above, allows identification of the (standard) macroscopic stress
which can be converted to an expression in terms of tractions at the microscopic boundary
Once the solution to the microscopic problem (34) and (36) is known, the reaction mass fluxes \( j_n \) and the reaction forces \( \varvec{t} _n \) can be computed and postprocessed to obtain the macroscopic quantities \( \bar{ \varvec{j} }, \ \dot{\bar{c}}\) and \( \bar{\varvec{\sigma }}\). Next, we discuss the solution procedure to obtain the reaction fluxes \( j_n \) and forces \( \varvec{t} _n \) through a reduced order model, rather than the fully resolved model of the microscopic domain.
An alternative homogenization route is to average the dissipation, given in Eq. (7), at the microscale and equating it to an assumed macroscopic dissipation expression. For a firstorder computational homogenization approach, the ansatz in Eqs. (40) and (43) can be inserted into the microscopic dissipation. Expanding and applying the required boundary conditions to eliminate the fluctuation fields, the corresponding macroscopic quantities can be obtained along with the weak forms of the balance laws at the microscale.
Model reduction leading to an enriched continuum
In this section, a model reduction of the microscopic coupled diffusion–mechanics problem is presented. The microscopic chemical potential and displacement fields are first decomposed into their steadystate and transient parts and reduced bases are identified. The reaction fluxes and tractions, which are required to compute the macroscopic quantities, are written in terms of the coefficients of these reduced bases. Next, the expressions for the macroscopic quantities are derived explicitly. Finally, an emergent macroscopic enrichedcontinuum formulation, which arises as a consequence of model reduction at the microscale, is presented.
Finite element discretization
Using the finite element discretization, the linear momentum balance (36), the mass conservation (34) and the constitutive models (27)–(29), the discretized coupled diffusion–mechanics problem in terms of the unknown nodal values of the chemical potential and displacements can be written as
where \( \underline{K} _{\mu \mu }, \ \underline{M} _{\mu \mu }, \ \underline{K} _{ \varvec{u} \varvec{u} } \) and \( \underline{K} _{ \varvec{u} \mu } \) are the mobility, mass, stiffness and coupling matrices, respectively, and \( \underline{\varvec{K}} _{\mu \varvec{u} }= \left[ \underline{\varvec{K}} _{ \varvec{u} \mu }\right] ^\text {T} \). The right hand sides and are the vector of reaction fluxes and reaction forces.
In the computational homogenization framework, once the solution for the microscopic primary fields and is known, the reaction fluxes and reaction forces can be computed. In a twoscale setting, this is an expensive task, especially in the transient regime, since it requires the solution of a coupled problem at each macroscopic material point at each time step. Hence, an approximate solution based on a model reduction technique is called for.
To apply the model reduction, instead of solving a coupled system of Eqs. (56)–(57), we first analyze each equation separately and then the coupling effect is taken into account when the reduced bases are constructed. The homogenization conditions in Eq. (40) amounts to kinematically constraint the microscale to the macroscopic point \( \bar{ \varvec{x} }\) and requires the macroscopic chemical potential \( \bar{\mu }\) to be the average value of the microscopic chemical potential field \( \mu \). In a discrete setting, it can be achieved by prescribing the microscopic fields \( \mu \) and \( \varvec{u} \) degrees of freedom (DOF), at a point \( \varvec{x} \) in the microscopic domain, equal to the corresponding reference values of macroscopic fields \( \bar{\mu }\) and \( \bar{ \varvec{u} }\). It is allowed to fix the displacement field and the chemical potential at a point in the microscale because all the material properties i.e. \( \mathbb {C}, \varvec{S} , \varvec{M} \text { and } \Lambda \) are independent of these solution fields. Also, the displacement field \( \varvec{u} \) at the microscale are defined up to the rigid body motion and the chemical potential \( \mu \) can also be defined up to a constant since the microscopic flux \( \varvec{j} \), given in Eq. (15), depends on the gradient of chemical potential \( \varvec{\nabla }\mu \) and linear momentum balance, given in Eq. (26), is not affected by adding a constant term to the chemical potential. In this study this point is chosen to be \( \varvec{x} _1 \) which is at the lower left corner of the rectangular microscopic domain. The constraint (43) is satisfied by applying the periodic boundary conditions on the fluctuation fields \( {\tilde{\mu }}\) and \( \tilde{ \varvec{u} }\). Due to the applied periodicity, the DOFs at the other three corner nodes, denoted as points \( \varvec{x} _2, \varvec{x} _3 \text { and } \varvec{x} _4\), are also fully prescribed, while the rest of the DOFs in the microscopic domain are considered free. More details on applying the boundary conditions in a discrete setting for a scalar field like \( \mu \) can be found in [31] and for a vector field like \( \varvec{u} \) in [32]. The discretized mass diffusion Eq. (56) partitioned into prescribed ‘p’ and free ‘f’ degree of freedoms takes the form
Similarly, the mechanical equation after partitioning into its prescribed and free DOF can be written as
For the microscopic response, both the chemical potential and displacement are next split into their steadystate and transient parts.
Microscopic fields decomposition
According to the relaxed separation of scales, the transient response of the system evolves independently from the steadystate one. The steadystate response depends on the macroscopic input parameters (\( \bar{\mu }, \ \bar{ \varvec{u} }, \ \overline{\varvec{\nabla }}\bar{\mu },\ \text {and } \overline{\varvec{\nabla }}\bar{ \varvec{u} }\)) through the prescribed DOFs and , whereas the transient response only affects the inclusions that are part of the free DOFs. (In a discrete setting this requires that the prescribed DOFs always reside in the matrix material so that the transient response can evolve independently.) Consequently, the free parts of the microscopic solution fields are decomposed into a steadystate and a transient part. The free part of the chemical potential field can be written as
where is the steadystate and is the transient part. Since the mechanical response is coupled to that of the mass diffusion, the displacement field will also evolve in time due to the change of the chemical potential. The free part of the microscopic displacement field is also decomposed into its steadystate and transient part
Next, the steadystate and transient reduced bases have to be determined for both the chemical and mechanical fields.
Steadystate response
The steadystate part of the microscale solution follows the macroscale solution instantaneously. To obtain the steadystate response, the discrete systems of Eqs. (58) and (59) are written considering the steadystate contributions and only.
Mass diffusion
Substituting the steadystate chemical potential field \( \mu _{ss} \) in the second line of Eq. (58) yields
Equation (62) is the evolution equation for \( \mu _{ss}^f \). Under the steadystate condition it holds that
The steadystate part of the chemical potential can then be expressed in terms of the prescribed DOF as
where \( \underline{S} ^{fp}_{\mu \mu }=  [\underline{K} ^{ff}_{\mu \mu }]^{1} \underline{K} ^{fp}_{\mu \mu }\) is the Schurcomplement. When multiplied with the macroscopic quantities \( \underline{S} ^{fp}_{\mu \mu }\) provides the steadystate homogenized response for the linear material model and thus can be considered as the steadystate reduced basis for the chemical potential field.
Mechanics
Similarly, to obtain the steadystate displacement field the second line of Eq. (59) is considered
Substituting expression (64) for in Eq. (65) yields
from where the expression for can be computed in terms of and
where \( \underline{\varvec{S}} ^{fp}_{ \varvec{u} \mu }= [\underline{\varvec{K}} ^{ff}_{ \varvec{u} \varvec{u} }] ^{\text {}1} \left( \underline{\varvec{K}} ^{fp}_{ \varvec{u} \mu }+ \underline{\varvec{K}} ^{ff}_{ \varvec{u} \mu }\underline{S} ^{fp}_{\mu \mu }\right) \) and \( \underline{\varvec{S}} ^{fp}_{ \varvec{u} \varvec{u} }= [\underline{\varvec{K}} ^{ff}_{ \varvec{u} \varvec{u} }] ^{\text {}1} \underline{\varvec{K}} ^{fp}_{ \varvec{u} \varvec{u} }\).
Transient response
As stated in “Microscopic fields decomposition” section , due to the relaxed separation of scales, to identify the transient reduced basis it is justified to use the free DOFs only. From Eq. (58) with account for (64), the free part of the discrete mass conservation equation can be written as
and from Eq. (59) with account for (65), the free part of the discrete conservation of linear momentum can be written as
from where
with \( \underline{\varvec{S}} ^{ff}_{ \varvec{u} \mu }= \left[ \underline{\varvec{K}} ^{ff}_{ \varvec{u} \varvec{u} }\right] ^{1} \underline{\varvec{K}} ^{ff}_{ \varvec{u} \mu }\).
Assuming that the transient part of the microscopic solution fields, and , can be expressed in terms of a set of reduced basis functions, the transient chemical potential is written in terms of these reduced basis functions and the corresponding coefficients \( \eta _\mu ^k \) as
where \( \overset{*}{\underline{\Phi } }_\mu \) is the matrix containing the columns of the reduced transient functions and \( N_q^\mu \) is the number of reduced basis functions for the chemical potential, which is much smaller than the total number of the free DOF \( N_f \), i.e. \( N_q^\mu \ll N_f \). Similarly, the transient displacement field can also be written in terms of the reduced basis functions and their corresponding coefficients \( \eta ^k_{ \varvec{u} } \) as
where \( N_q^{ \varvec{u} } \) is the number of reduced basis for the displacement field. We will show later that \( N_q^{\mu } \) and \( N_q^{ \varvec{u} } \) and \( \eta _{ \varvec{u} } \) and \( \eta _\mu \) are the same. The selection criteria for the set of \( N_q \) basis functions will also be presented later. Next, the reduced basis functions in Eqs. (71) and (72) are identified using a spectral decomposition scheme.
Mass diffusion
Substituting from Eq. (70) into Eq. (68) provides
where \( \overset{\star }{\underline{M} }_{\mu \mu }\ ^{ff}= \underline{M} ^{ff}_{\mu \mu }+ \underline{\varvec{K}} ^{ff}_{\mu \varvec{u} }\underline{\varvec{S}} ^{ff}_{ \varvec{u} \mu }\) is the coupled mass matrix. The mass conservation (34) is a parabolic partial differential equation which has a natural solution that decays exponentially in time, i.e. , substituting it in Eq. (73) yields the eigenvalue problems
where is the kth eigenvector and \( \alpha ^k \) the associated kth eigenvalue. For the diffusion problem (34), the eigenvectors are the chemical potential distribution modes inside the domain and the corresponding eigenvalues are the inverse of a decay/rise time, i.e. \( \tau ^k = \frac{2\pi }{\alpha ^k} \). Normalizing the eigenvectors with respect to the mass matrix \( \overset{\star }{\underline{M} }_{\mu \mu }\ ^{ff}\),
yields
The transient basis functions \( \overset{*}{\underline{\Phi } }_{\mu } \) in Eq. (71) can now be identified as the eigenvectors \( \overset{*}{\underline{\Phi } }\) obtained from the solution of the eigenvalue problem (74) i.e.
where \( \eta ^k \) can be interpreted as the modal amplitude, and is a column of size \( N_q \).
Mechanics
Substituting the expression of from Eqs. (77) in (70) provides the transient mechanical response
with \( \overset{*}{\underline{\Phi } }_{ \varvec{u} } = \underline{\varvec{S}} ^{ff}_{ \varvec{u} \mu }\overset{*}{\underline{\Phi } }\). Next, we reconstruct the total solution for the chemical potential and displacement fields from their respective transient and steadystate responses.
Linear superposition
Substituting the expressions for from (64) and from (77) into (60), the total chemical potential field at the microscale can be written as
where only the reduced basis \( \overset{*}{\underline{\Phi } }\) is coupled to the microscopic mechanical problem via the coupled mass matrix \( \overset{\star }{\underline{M} }_{\mu \mu }\ ^{ff}\) appearing in the eigenvalue problem (74).
Similarly, the total microscopic displacement field can be reconstructed by substituting the expression for from (67) and from (78) into Eq. (61) i.e.
Both, the steadystate and transient parts of the microscopic displacement field are coupled to the chemical problem as the coupling matrix \( \underline{\varvec{K}} _{ \varvec{u} \mu }\) appears in the matrices \( \underline{\varvec{S}} ^{ff}_{ \varvec{u} \mu },\, \underline{\varvec{S}} ^{ff}_{ \varvec{u} \mu }\) and \( \overset{*}{\underline{\Phi } }\). Equations (79) and (80) shows that the microscopic solution fields, and , are completely given by the chemical potential , the displacement at the prescribed DOFs and the coefficients of the transient reduced basis . Generally, in a twoscale setting, the microscopic fields at the prescribed DOFs, where the microfluctuations \( {\tilde{\mu }}\) and \( \tilde{ \varvec{u} }\) are zero, are given by the macroscopic quantities, as can be seen in Eqs. (37) and (38). Therefore, the only remaining unknown fields at the microscale are which can be obtained from the evolution equation, derived in the next subsection.
Evolution equation
The time evolution of can be obtained from the free part of Eq. (58)
Substituting the expressions for from Eq. (79) and from Eqs. (80) into (81) and rearranging terms
Using the definition \( \underline{S} ^{fp}_{\mu \mu }= \left[ \underline{K} ^{ff}_{\mu \mu }\right] ^{1}\underline{K} ^{fp}_{\mu \mu }\), the first term on the right hand side of (82) drops out. Premultiplying the remaining equation with \( [\overset{*}{\underline{\Phi } }]^\text {T} \), Eq. (82) is written as
which after using the normalization conditions in (75) and (76) takes the form
where
Equation (84) is a set of \( N_q \) decoupled ordinary differential equations (ODEs) which represent the reduced order model for the evolution of diffusion–mechanics behavior at the microscale. The right hand side of (84) acts as the forcing term to the set of ODEs in terms of macroscopic fields present in and .
Reaction fluxes and forces
Next, we write the reaction mass fluxes and tractions in terms of the coefficients of the steadystate and transient bases functions.
Reaction fluxes
The reaction mass fluxes can be obtained from the first line of the discrete mass conservation Eq. (58)
Substituting the expressions for and from Eqs. (79) and (80) respectively yields
Making use of in the free part of the mass conservation Eq. (73), then premultiplying it with \( \left[ \underline{S} ^{fp}_{\mu \mu }\right] ^\text {T} \) and using \( \underline{S} ^{fp}_{\mu \mu }= \left[ \underline{K} ^{ff}_{\mu \mu }\right] ^{1}\underline{K} ^{fp}_{\mu \mu }\), with account for the symmetry of \( \underline{K} _{\mu \mu }\), replaces the third term in Eq. (87) with i.e.
Now the steadystate constraint (63), projected onto the prescribed DOF, should be added to Eq. (88). For projecting the steadystate constraint (63) onto the prescribed DOF, it is first premultiplied with \( \left[ \underline{S} ^{fp}_{\mu \mu }\right] ^\text {T} \), then the expressions of the steadystate chemical potential from (64) and the steadystate displacement field from (67) are substituted and finally the transpose of the whole expression is performed i.e.
Rearranging terms gives the resulting reaction mass flux
where
Reaction Forces
Similarly, the first part of Eq. (59) provides the expression for the reaction forces at the prescribed DOF
Substituting the expressions for and from (79) and (80) into (92), gives
which after rearranging for terms can be written as
where
In the expressions of reaction fluxes (90) and reaction forces (94), the only unknown is which needs to be solved for in combination with the evolution Eq. (84), while and are written in terms of the given (prescribed) macroscopic quantities.
Macroscopic quantities
Next, the expressions for the macroscopic quantities \( \bar{\varvec{\sigma }},\ \bar{ \varvec{j} }\) and \( \dot{\bar{c}}\) are derived in terms of macroscopic DOF, and the coefficients of the microscopic transient basis .
Macroscopic flux
In the discretized form, the boundary integral (51) of the macroscopic flux \( \bar{ \varvec{j} }\) can be written as
where , with is the column of ones with dimension \( (p\times 1) \). Substituting the expression for from (90) in (96) gives
which after substituting the discretized form of expression (37) for gives
and (38) for as
After rearranging terms, (97) takes the following form
where in the notation \( ^n \varvec{A} ^{\bullet } \), n is the tensorial order and \( \bullet \) denotes the macroscopic quantity to which the coefficient \( \varvec{M} \) belongs to. The coefficients on the right hand side of Eq. (100) are given by
where it has been taken into account that .
Macroscopic concentration rate
In its discrete form, the expression for the rate of change of the macroscopic concentration field \( \dot{\bar{c}}\), Eq. (52), can be written as
Substituting the expressions of and from Eqs. (98) and (99) in Eq. (90) for respectively, and then rearranging terms in expression (102) gives
where the coefficients on the right hand side of Eq. (103) are given by
where has been used.
Macroscopic stress
Similarly, the expression (55) for the macroscopic stress \( \bar{\varvec{\sigma }}\) in its discrete form can be written as
Substituting the expression for the reaction forces from Eq. (94) provides
which after using the discretized and from Eqs. (98) and (99) take the following form
The coefficients in Eq. (107) are given by
where has been accounted for.
Mode selection criteria
The microscopic fields and , given by Eqs. (79) and (80), can be fully described by the macroscopic fields \( (\bar{\mu },\ \bar{ \varvec{u} }) \), their gradients \( (\overline{\varvec{\nabla }}\bar{\mu },\ \overline{\varvec{\nabla }}\bar{ \varvec{u} }) \) and the coefficients of the reduced bases . The size of the original eigenvalue problem is equal to the number of free DOF \( N_f \) present in the system, which provides the complete set of eigenvectors \( \underline{\Phi } \). Owing to the fact that in diffusion problems the lowest eigenvalues \( \alpha ^k \) are the most important ones, the eigenvectors corresponding to the first (several hundreds) lowest eigenvalues could be taken as the reduced basis. However, this would still entails a computationally inefficient scheme, since in a twoscale setting, where is solved at the macroscopic quadrature points as internal variables, solving hundreds of ordinary differential equations for the internal variables would still require noticeable computational efforts. Therefore, the reduced set of eigenvectors \( \overset{*}{\underline{\Phi } }\) can be extracted from \( \underline{\Phi } \) by taking into account that the right hand side of (84) acts as the forcing term and the modal coordinate \( \eta ^k \) corresponding to the forcing terms with a higher magnitude will have a higher amplitude and therefore contribute more to the homogenized behavior at the macroscale. Substituting the expressions for the prescribed chemical potential and displacement fields, Eqs. (98) and (99) , in the evolution Eq. (84) provides
which after using the definition of the coupling terms in (101), (104) and (108) takes the following form
where and , and takes into account that . The coefficients and couple the microscopic transient behavior, in terms of \( {\eta }^k \), to the macroscale fields. The higher the value of a coefficient, the higher the contribution of the respective \( \eta ^k \) to the macroscale behavior. This information can be exploited to identify a reduced set of eigen vectors \( \overset{*}{\underline{\Phi } }\). The eigenvectors associated to \( {^0{C}^{{\dot{\eta }}}_k} \) with a relatively high contribution are identified using
where \( \bullet  \) is the absolute value of \( \bullet \). Similarly, for each component of \( {^1{ \varvec{M} }^{{\dot{\eta }}}_k} \) it can be stated
and for each component of \( {^2{\mathbb {C}}^{{\eta }}_k} \) using
Then, a reduced eigenbasis \( \overset{*}{\underline{\Phi } }\) can be obtained by requiring a minimum threshold \( e_{\bullet } \) for a coefficient \( \bullet \), such that
For a macroscopic simulation during an offline stage, individual threshold value signifies the corresponding macroscopic quantity and it should be selected accordingly.
Macroscale enriched continuum
The model reduction at the microscale leads to an enriched continuum formulation, as shown in Fig. 1c, at the macroscale with as the emergent (internal) variables and the set of Eq. (110) as their evolution equations. The developed reduced computational homogenization consists of two stages: an offline stage and an online stage. For a specific microstructure with given material properties and the finite element matrices [(Eqs. (56) and (57)], the offline stage consists of the solution of the eigenvalue problem (74), the selection of relevant eigenvectors using (114), and the computation of the coefficients for the macroscopic quantities (101), (104) and (108). Through the model reduction of the microscopic problem, (56)–(57), each macroscopic material point entails a set of \( N_q \) decoupled ordinary differential equations, which are inexpensive to solve. The evolution Eq. (110) are to be solved during the online stage along with the macroscopic conservation Eqs. (33) and (35), the constitutive equations obtained through the homogenization (100), (103) and (107). All together this constitutes the enriched coupled diffusion–mechanics continuum description as follows
Macroscopic mass conservation:  \( \overline{\varvec{\nabla }}\cdot \bar{ \varvec{j} }+ \dot{\bar{c}}= 0 \), 
Macrocopic flux:  , 
Macroscopic concentration rate:  , 
Macroscopic momentum conservation:  \( \overline{\varvec{\nabla }}\cdot \bar{\varvec{\sigma }}= \varvec{0} \), 
Macroscopic stress:  , 
Internal variable evolution:  . 
Different solution methods can be adopted to solve the coupled diffusion–mechanics enriched continuum problem, depending on whether is evaluated at the macroscopic quadrature points, leading to an internal variable solution scheme, or at the nodes along with \( \bar{\mu }\) and \( \bar{ \varvec{u} }\), which leads to a multifield solution scheme. Numerical analysis for the solution of the enriched continuum formulation will be discussed in a future contribution.
Numerical examples
In this section, the proposed reduced order homogenization for coupled transient diffusion–mechanics is analyzed at the microscale. First, the problem setting is presented. The coupled transient bases are identified. Then, the microscopic fields and macroscopic quantities computed with the reduced order homogenization are compared with those obtained through the expensive, fully resolved, conventional computational homogenization scheme. Finally, the computational efficiency of the proposed reduced order homogenization is assessed.
Problem setting
Lithium ion battery electrodes are majorly composed of two components: the electrolyte (matrix) and the active particles (inclusions). As an example, in this study a cathode–electrolyte system is considered, in which the electrolyte is lithium hexafluoro phosphate (LiPF\( _6 \)) and the embedded active particles are made of lithium cobalt oxide (LiCO\( _2 \)). For simplicity, it is assumed that the active particles are surrounded by the electrolyte only. All the other materials, e.g. the polymer binders, conductive particles etc., are disregarded following similar simplifications made in [30, 40]. The material and geometric parameters are listed in Table 1. All material properties are assumed to be constant and do not change with the chemical potential or stresses in the material. For a given material, the chemical modulus \( \Lambda \) and the mobility coefficient M combine to form the diffusivity coefficient \( {\mathcal {D}} = \Lambda M \) of the material. The diffusivity \( {\mathcal {D}}_m \) of the lithium ions is much larger in the electrolyte as compared to the diffusivity \( {\mathcal {D}}_i \) in the active particles, indicating that the relaxed separation of scales (32) holds for the considered problem. It is assumed that the electrolyte material does not swell with the introduction of lithium ions. The active particles are spherical in shape, vary in size and are placed randomly in the electrolyte which creates a polydisperse heterogeneous medium [23]. In this example (for simplicity reasons), we consider a two dimensional monodispersed heterogeneous medium, as shown in Fig. 2, which is generated by a level set based random sequential adsorption method [41].
In the simulations, all the parameters were nondimensionalized, the time was normalized with respect to the characteristic diffusion time of the inclusion, i.e. \( {\hat{t}} = \frac{t}{t_i} \), the lengths are normalized with respect to the characteristic length of the microscopic domain, i.e. \( {\hat{x}} = \frac{x}{\ell } \), the chemical potential is normalized with respect to the maximum attainable chemical potential in the inclusion \( {\hat{\mu }} = \frac{\mu }{\mu _{\max }} \), where \( \mu _{\max } = \Lambda _i(c_{\max }  c_0) \), the displacement field is normalized with respect to the characteristic length of the microscopic domain, i.e. \( {\hat{ \varvec{u} }} = \frac{ \varvec{u} }{\ell } \) and the stresses are normalized with respected to the Young’s modulus of the inclusion \( E_i \).
The microscopic domain is excited by the chemical loading given in terms of the macroscopic chemical potential \( \bar{\mu }\) and the gradient of the macroscopic chemical potential \( \overline{\varvec{\nabla }}\bar{\mu }\) as a function of time i.e.
where \( \omega = \frac{2\pi }{T} \) is the angular loading frequency, T is the time of one period and \( \bar{\mu }= \mu _{\max } \) and \( \overline{\varvec{\nabla }}\bar{\mu }= 0.1\mu _{\max } \) are assumed. Externally applied mechanical loads to the microscale are neglected here. At the microscale, periodic boundary conditions are used to satisfy the HillMandel conditions for both the mass diffusion and mechanical problems. The microscopic domain, shown in Fig. 2b, is discretized with linear triangular finite elements. For time integration, the backwardEuler method was used with a time step \( \Delta t = 1\times 10^{3}T [\hbox {s}]\).
Reduced basis identification
After assembling the finite element matrices and applying the boundary conditions at the microscale, the first step of the reduced order homogenization is the solution of the coupled eigenvalue problem (74). This eigenvalue problem is solved for the first two hundred smallest eigenvalues and the corresponding eigenvectors \( \underline{\Phi } \). Then, using the mode selection criteria given by Eq. (114), the reduced basis \( \overset{*}{\underline{\Phi } }\in \underline{\Phi } \) is based on the coupling terms \( {^0{C}^{{\dot{\eta }}}_k},\ {^1{ \varvec{M} }^{{\dot{\eta }}}_k} \) and \( {^2{\mathbb {C}}^{{\eta }}_k} \) with the threshold value \( e_{C} = e_{ \varvec{M} } = e_{\mathbb {C}} = 0.1 \). The number of eigenvectors selected in the eigenbasis \( \overset{*}{\underline{\Phi } }\) depends on the topology of the microstructure, the strength of the coupling in diffusion–mechanics and the material contrast between the matrix and the inclusions. For each selected eigenvector , there is a corresponding coupled mechanical eigenvector , both \( \overset{*}{\underline{\Phi } }_{\mu } \) and \( \overset{*}{\underline{\varvec{\Phi }} }_{ \varvec{u} } \) are shown for the considered microstructure in a coupled manner in Fig. 3. The ten modes selected are not the modes corresponding to the 10 consecutive smallest eigenvalues.
The inclusions swell where the chemical potential is high, indicated by the red regions inside the domain and the inclusions shrink where the chemical potential is low, indicated by the blue regions. The modes have contributions in the inclusions only, in accordance with the relaxed separation of scales. If the material properties do not fulfill the requirements of relaxed separation of scales (32) then the eigenvectors might have contributions in the matrix and consequently the proposed reduced homogenization method will not capture the phenomena adequately.
Among the selected eigenvectors, shown in Fig. 3, there is one eigenvector with the highest relative importance of the eigenmodes in terms of their contribution to the macroscale, which can be quantified by a measure \( \xi ^k \)
where \( \bullet  \) and \( \bullet  \) are the absolute value and Frobenius norm of a quantity \( \bullet \). In this example, eigenvector numbered 7 has the highest contribution to the macroscale, while other eigenvectors in \( \overset{*}{\underline{\Phi } }\) make only small improvements in capturing the phenomena. For a more detailed mode selection analysis, in the case of heat diffusion, the reader is referred to [31].
Microscale simulations
Next, we compare the microscopic fields computed by the model reduction method and the (expensive) fully resolved finite element calculations. For the fully resolved finite element analysis, the coupled system of Eqs. (56)–(57) is solved for and , directly on the finite element mesh of the considered RVE 2b. For the reduced model, the coefficients are solved by using Eq. (110); subsequently, the microscopic fields and , are reconstructed (localization operation) by postprocessing through Eqs. (79) and (80), respectively. Note that, in a twoscale simulation the postprocessing of microscopic fields and , is generally not done, unless the microscopic fields are also the quantities of interest in addition to the macroscopic field. Figure 4 shows the contour plots of the normalized chemical potential \( {\hat{\mu }} \) and Fig. 5 shows the contour plots of the normalized hydrostatic stress \( {\hat{\sigma }}_{hyd} = \frac{{\hat{\sigma }}_{11}+{\hat{\sigma }}_{22}}{3}\) at time \( {\hat{t}} = 250\Delta {\hat{t}} \).
The minor differences between the fully resolved solution and the reduced order model are due to the approximate nature of the model reduction.
Effective macroscopic quantities
Next, we compare the macroscopic quantities \( \bar{ \varvec{j} },\ \dot{\bar{c}},\ \bar{\varvec{\sigma }}\) computed with the conventional transient homogenization and the developed reduced order homogenization. For conventional computational homogenization, the fully resolved finite element analysis of the coupled system of Eqs. (56)–(57) is performed and then the macroscopic flux \( \bar{ \varvec{j} }\) is computed using (96), the macroscopic concentration rate \( \dot{\bar{c}}\) using (102) and the macroscopic stress \( \bar{\varvec{\sigma }}\) using (105), where the reaction fluxes and the reaction forces are postprocessed using the expressions in (86) and (92), respectively. For the reduced model calculations, the eigenvalue problem (74) is solved in the offline stage and the coupling terms in (101), (104) and (108) are calculated and stored. During the online stage, the evolution Eq. (110) is solved for . Once is known, the macroscopic quantities are calculated directly from the expressions (100), (103) and (107) for the macroscopic mass flux \( \bar{ \varvec{j} }\), the macroscopic concentration rate \( \dot{\bar{c}}\) and the macroscopic stress \( \bar{\varvec{\sigma }}\), respectively. Figure 6 shows the time evolution of the macroscopic quantities computed with the (expensive) conventional transient computational homogenization (CTH) method (shown in red) and the proposed inexpensive reduced computational homogenization (RTH) method (shown in blue). The reduced order homogenization method shows an excellent approximation without any noticeable discrepancies.
The computational gains achieved with the reduced model are substantial. Neglecting the offline stage, motivated by the fact that for a specific microstructure and set of material parameters the offline stage only needs to be performed once. Using Matlab 2018b on a computer with Corei7 4.4 GHz processor and 16Gb memory, for the conventional computational homogenization the coupled problem (56)–(57) takes approximately 5000 times more computational time than the solution of the uncoupled ordinary differential Eq. (110). Next, we asses the proposed reduced model with different value of coupling coefficient \( \gamma \) and the microscopic domain size \( \ell \).
Diffusion–mechanics coupling effect
In diffusion–mechanics, the coupling is governed by the partial molar volume parameter \( \gamma \) in Eq. (28). The higher the value of \( \gamma \), the higher the coupling will be. The constitutive Eq. (23) has an upper limit of applicability since the effective elastic tensor \( \overset{*}{\mathbb {C}} = \left( \mathbb {C} \frac{ \varvec{S} \otimes \varvec{S} }{\Lambda } \right) \) can become nonpositive definite, which will make the eigenvalues (76) equal to zero or even negative. However, for the realistic material properties of the cathode in lithium ion batteries, this is not a problem since the upper limit for \( \gamma \) is \( 21\times 10^{6} (\hbox {mol m}^{3})\), which is much greater than the physical value of \( \gamma = 3.497\times 10^{6} (\hbox {mol m}^{3}) \). Figure 7 shows the effect of increasing the \( \gamma \) value. The macroscopic rate term \( \dot{\bar{c}}\) and the macroscopic stress \( \bar{\varvec{\sigma }}\) increase as \( \gamma \) increases in accordance with their microscopic counterparts (23) and (24), respectively.
The proposed model reduction scheme captures the full finite element solution very well, and hence for clarity the finite element solution is not shown anymore. Next, we analyze the effect of the microscopic domain size on the macroscopic quantities.
Size effect
To measure microscopic size effect on the macroscopic quantities, the material parameters are kept the same and the characteristic size of the microscopic domain \( \ell \) is changed while keeping the inclusions size \( \ell _i \) the same or scaling it along with the microscopic size. In the first case, the macroscopic quantities do not vary with the changing RVE size. However, if the inclusions size \( \ell _i \) is scaled along with the characteristic microscopic size \( \ell \) the microscopic and the macroscopic quantities change. For the later case, the normalized characteristic length of the microscale is changed from \( {\hat{\ell }} = 1\times 10^{2} \) to \( {\hat{\ell }} = 1\times 10^1 \) and accordingly the inclusion characteristic length from \( {\hat{\ell }}_i = 0.3 \times 10^{2} \) to \( {\hat{\ell }}_i = 0.3 \times 10^1\), respectively. As expected, for the smaller microstructures (up to \( {\hat{\ell }}=1\times 10^{1} \) with \( {\hat{\ell }}_i = 0.3\times 10^{1} \)), due to almost instantaneous mass diffusion in the inclusion at the microscale, the averaged macroscopic transient effects are negligible as compared to the transient effects computed with a larger unitcell, as can be seen in Fig. 8a.
For the larger microstructural sizes the response is clearly size dependent. In particular, the macroscopic stresses \( \bar{\varvec{\sigma }}\) are much higher for small microstructures compared to the large ones. This is due to the coupling effect and the diffusion rate. For smaller sizes, the chemical potential (and the concentration of a species) increases in the inclusion domain, which causes the inclusions to swell and produce higher stresses on average. Conversely, when the microscale size is increased, within the same time period, the mass diffusion happens to the outer layer of the inclusions, swelling only that part of the inclusions, which creates higher local stresses, as can be seen in Fig. 9. However, due to overall increase in the volume of the microscopic domain and the small relative volume of high stress regions, the macroscopic volume average stresses decrease, as can be observed in Fig. 8.
Conclusions
In this work, a model reduction based homogenization technique for coupled diffusion–mechanics problems has been presented. A formulation based on the chemical potential and linear strain field is derived, which eases the implementation since it only requires a \( C^0 \)continuous discretization. This is in contrast with the conventional formulation used in diffusion–mechanics based on the concentration and strain fields, which requires a less convenient \( C^1 \)continuous finite element formulation. For the homogenization of the coupled diffusion–mechanics, the equivalence of the virtual power for mass diffusion (extended Hill–Mandel condition), and the virtual work of internal forces (standard Hill–Mandel condition) are used for the diffusion and mechanical problems, respectively. A model reduction technique, inspired by the dynamic mode synthesis approach, is developed for the coupled system of equations relying on the linearity of the problem and the relaxed separation of scales. Accordingly, both the microscopic chemical potential and displacement fields are split into their steadystate and transient parts. Using static condensation, a reduced basis is first identified for the steadystate fields. Then for the transient part, a coupled eigenvalue problem is solved for the free part of the system. The expressions for the macroscopic effective quantities, i.e. macroscopic flux, rate of change of concentration field and the macroscopic stress, are finally obtained. As an emergent result of the model reduction at the microscale, a coupled diffusion–mechanics enriched continuum is obtained, in which the fully resolved microscopic coupled system of equations is replaced by a set of ordinary differential equations which are computationally inexpensive to solve. Numerical examples are presented, and a comparison is made between the fully resolved finite element calculations and the reduced order model for the cathode–electrolyte system of a lithium ion battery. The proposed reduced order homogenization has been shown to capture the coupled behavior with an excellent accuracy and largely improved computational efficiency.
Possible extensions to the current work are:
twoscale implementation of the coupled diffusion–mechanics enriched continuum, which can be compared to direct numerical simulations;
nonlinear regimes, both for elasticity and mass diffusion, can be analyzed, for example, by using model reduction technique with modal derivatives in combinations with a discrete empirical interpolation for the nonlinear forcing terms [43];
inelastic regimes and large deformations can be performed by using appropriate model reduction methods, e.g. using proper generalized decomposition, at the microscale [44].
Notes
Here, the domain \( \Omega \) is used as a general description of a continuum body and should not be confused with the description of a microscopic domain in computational homogenization.
Abbreviations
 DNS:

Direct numerical simulations
 RVE:

Representative volume element
 DOF:

Degree of freedom
 ODE:

Ordinary differential equation
 FE:

Finite element
 ROM:

Reduced order method
 CTH:

Transient computational homogenization
 RTH:

Reduced computational homogenization
References
Chu JL, Lee S. The effect of chemical stresses on diffusion. J Appl Phys. 1994;75(6):2823–9.
Yang F. Interaction between diffusion and chemical stresses. Mater Sci Eng A. 2005;409(1–2):153–9.
Marmarou A. A review of progress in understanding the pathophysiology and treatment of brain edema. Neurosurg Focus. 2007;22(5):1–10.
Gupta D, Ho PS. Diffusion phenomena in thin films and microelectronic materials. Park Ridge: Noyes Data Corporation; 1989. p. 588.
Cui Z, Gao F, Qu J. A finite deformation stressdependent chemical potential and its applications to lithium ion batteries. J Mech Phys Solids. 2012;60(7):1280–95.
Aziz MJ. Thermodynamics of diffusion under pressure and stress: relation to point defect mechanisms. Appl Phys Lett. 1997;70(21):2810–2.
Eremeev VS, Mikhailov VN, Boiko EB. Analysis of the level of concentration stresses and their effect on the mass transport process under diffusion saturation. Mat Met FizMekh Polya. 1983;17:43–8.
Frohberg G. Diffusion and atomic transport. Materials sciences in space. Berlin: Springer; 1986. p. 93–128.
Gurtin ME, Fried E, Anand L. The mechanics and thermodynamics of continua. Cambridge: Cambridge University Press; 2010.
Herring C. Diffusional viscosity of a polycrystalline solid. J Appl Phys. 1950;21(5):437–45.
Zener C. Elasticity and anelasticity of metals. Chicago: University of Chicago press; 1948.
Aifantis EC. On the problem of diffusion in solids. Acta Mech. 1980;37(3–4):265–96.
Gorsky WS. Theorie der elastischen nachwirkung in ungeordneten mischkristallen (elastische nachwirkung zweiter art). Physikalische Zeitschrift der Sowjetunion. 1935;8:457–71.
Golmon S, Maute K, Dunn ML. Numerical modeling of electrochemicalmechanical interactions in lithium polymer batteries. Comput Struct. 2009;87(23–24):1567–79.
Swallow JG, Woodford WH, Chen Y, Lu Q, Kim JJ, Chen D, Chiang YM, Carter WC, Yildiz B, Tuller HL, Van Vliet KJ. Chemomechanics of ionically conductive ceramics for electrical energy conversion and storage. J Electroceram. 2014;32(1):3–27.
Zhang X, Shyy W, Sastry AM. Numerical simulation of intercalationinduced stress in Liion battery electrode particles. J Electrochem Soc. 2007;154(10):A910–6.
Grazioli D, Magri M, Salvadori A. Computational modeling of Liion batteries. Comput Mech. 2016;58(6):889–909.
Zhao K, Pharr M, Vlassak JJ, Suo Z. Fracture of electrodes in lithiumion batteries caused by fast charging. J Appl Phys. 2010;108(7):073517.
Golmon S, Maute K, Dunn ML. Multiscale design optimization of lithium ion batteries using adjoint sensitivity analysis. Int J Numer Methods Eng. 2012;92(5):475–94.
Chiang YM, Hellweg B. Reticulated and controlled porosity battery structures, June 30 2009. US Patent 7,553,584.
Larché F, Cahn JW. A linear theory of thermochemical equilibrium of solids under stress. Acta Metall. 1973;21(8):1051–63.
Ko SC, Lee S, Chou YT. Chemical stresses in a square sandwich composite. Mater Sci Eng A. 2005;409(1–2):145–52.
Ebner M, Geldmacher F, Marone F, Stampanoni M, Wood V. Xray tomography of porous, transition metal oxide based lithium ion battery electrodes. Adv Energy Mater. 2013;3(7):845–50.
Kaessmair S, Steinmann P. Computational firstorder homogenization in chemomechanics. Arch Appl Mech. 2018;88(1–2):271–86.
Geers MGD, Kouznetsova VG, Brekelmans WAM. Multiscale computational homogenization: trends and challenges. J Comput Appl Math. 2010;234(7):2175–82.
Miehe C, Koch A. Computational microtomacro transitions of discretized microstructures undergoing small strains. Arch Appl Mech. 2002;72(4–5):300–17.
Ender M, Joos J, Carraro T, IversTiffée E. Threedimensional reconstruction of a composite cathode for lithiumion cells. Electrochem Commun. 2011;13(2):166–8.
Brassart L, Stainier L. Effective transient behaviour of heterogeneous media in diffusion problems with a large contrast in the phase diffusivities. J Mech Phys Solids. 2019;124:366–91.
Salvadori A, Bosco E, Grazioli D. A computational homogenization approach for Liion battery cells: part 1formulation. J Mech Phys Solids. 2014;65:114–37.
Salvadori A, Grazioli D, Geers MGD. Governing equations for a twoscale analysis of Liion battery cells. Int J Solids Struct. 2015;59:90–109.
Waseem A, Heuzé T, Stainier L, Geers MGD, Kouznetsova VG. Model reduction in computational homogenization for transient heat conduction. Comput Mech. 2020;65:249–66.
Sridhar A, Kouznetsova VG, Geers MGD. Homogenization of locally resonant acoustic metamaterials towards an emergent enriched continuum. Comput Mech. 2016;57(3):423–35.
Grazioli D. Multiscale and multiphysics modeling of liion battery cells. PhD thesis, Università degli Studi di Brescia; 2015.
Kaessmair S, Steinmann P. Comparative computational analysis of the Cahn–Hilliard equation with emphasis on c1continuous methods. J Comput Phys. 2016;322:783–803.
Auriault JL, Boutin C, Geindreau C. Homogenization of coupled phenomena in heterogenous media, vol. 149. Hoboken: Wiley; 2010.
Larsson F, Runesson K, Su F. Variationally consistent computational homogenization of transient heat flow. Int J Numer Methods Eng. 2010;81(13):1659–86.
De Souza Neto EA, Blanco PJ, Sánchez PJ, Feijóo RA. An RVEbased multiscale theory of solids with microscale inertia and body force effects. Mech Mater. 2015;80:136–44.
Pham K, Kouznetsova VG, Geers MGD. Transient computational homogenization for heterogeneous materials under dynamic excitation. J Mech Phys Solids. 2013;61(11):2125–46.
Ramos GR, dos Santos T, Rossi R. An extension of the HillMandel principle for transient heat conduction in heterogeneous media with heat generation incorporating finite RVE thermal inertia effects. Int J Numer Methods Eng. 2017;111(6):553–80.
Ji Liang, Guo Zhansheng. Analytical modeling and simulation of porous electrodes: liion distribution and diffusioninduced stress. Acta Mech Sin. 2018;34(1):187–98.
Sonon B, Francois B, Massart TJ. A unified level set based methodology for fast generation of complex microstructural multiphase RVEs. Comput Methods Appl Mech Eng. 2012;223:103–22.
Wu B, Lu W. A battery model that fully couples mechanics and electrochemistry at both particle and electrode levels by incorporation of particle interaction. J Power Sour. 2017;360:360–72.
Weeger Oliver, Wever Utz, Simeon Bernd. Nonlinear frequency response analysis of structural vibrations. Comput Mech. 2014;54(6):1477–95.
Chinesta F, Cueto E. PGDbased modeling of materials. Structures and processes. Berlin: Springer; 2014.
Acknowledgements
Support for this research was provided by European Commission through an Erasmus Mundus grant in the framework of the Simulation in Engineering and Entrepreneurship Development (SEED) program.
Funding
SEED program is an initiative of 8 universities Partners, managed by EACEA and financed by the European Commission with grant Ref. 20130043.
Author information
Affiliations
Contributions
All authors participated in the definition of the methods. AW implemented the methods, realized all computations. All authors contributed to the writing of the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Waseem, A., Heuzé, T., Stainier, L. et al. Enriched continuum for multiscale transient diffusion coupled to mechanics. Adv. Model. and Simul. in Eng. Sci. 7, 14 (2020). https://doi.org/10.1186/s40323020001492
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40323020001492
Keywords
 Multiscale analysis
 Coupled diffusion mechanics
 Model reduction
 Computational homogenization