 Research article
 Open access
 Published:
A separated representation involving multiple time scales within the Proper Generalized Decomposition framework
Advanced Modeling and Simulation in Engineering Sciences volume 8, Article number: 26 (2021)
Abstract
Solutions of partial differential equations can exhibit multiple time scales. Standard discretization techniques are constrained to capture the finest scale to accurately predict the response of the system. In this paper, we provide an alternative route to circumvent prohibitive meshes arising from the necessity of capturing finescale behaviors. The proposed methodology is based on a timeseparated representation within the standard Proper Generalized Decomposition, where the time coordinate is transformed into a multidimensional time through new separated coordinates, each representing one scale, while continuity is ensured in the scale coupling. For instance, when considering two different time scales, the governing Partial Differential Equation is commuted into a nonlinear system that iterates between the socalled microtime and macrotime, so that the time coordinate can be viewed as a 2D time. The macroscale effects are taken into account by means of a finite elementbased macrodiscretization, whereas the microscale effects are handled with unidimensional parent spaces that are replicated throughout the time domain. The resulting separated representation allows us a very fine time discretization without impacting the computational efficiency. The proposed formulation is explored and numerically verified on thermal and elastodynamic problems.
Introduction
Many engineering problems are defined in very large time intervals (e.g., when dealing with fatigue, aging, dynamics with loadings involving multiple characteristic times) and, at the same time, the response must encompass the different time scales present in the model. Following standard time marching approaches, a suitable time step that captures the evolution of the finest scale has to be adopted to ensure a reliable modeling, deriving into a prohibitive simulation cost. Many numerical algorithms have been proposed to bypass the time marching approach up to the finest time scale.
For instance, when only macroscale effects are envisaged, timehomogenization techniques perform well, although subject to a number of hypotheses which are not always realistic, as well as to the scale separation.
In [1], it is proposed a technique that makes use of the separation of variables. The time domain is partitioned into a number of subdomains, where times defining the subdomain partition describe the macrotime, whereas the subdomain discretization resolves fast responses (microtime). The main issue characterizing this technique is the necessity of ensuring the continuity of the resulting twoscale discretization. Lagrange multipliers are adopted for this purpose. This choice makes substantially prohibitive the computational implementation associated with this procedure.
In [2,3,4] a numerical algorithm based on the LArge Time INcrementProper Generalized Decomposition (LATINPGD) is presented. Temporal and spatial multiscale behaviors in solid mechanic problems are handled by associating a temporal macro basis with the interfacial degrees of freedom coupling different macro domains. The scalability of the methodology is restored via an appropriate correction of the temporal basis founded on the residual.
Also in [5], the time domain is partitioned into subintervals, and a common reduced basis is adopted in every subinterval. Afterwards, additional interface restrictions are imposed to ensure the continuity of the primal variable and of the associated time derivative. Hence, values at the endpoints of each macro interval are enforced to vanish, and the offset is calculated on the macro discretization.
An alternative view is proposed in [6, 7], within the socalled Parareal scheme, that iterates between macro and micro domain partitions, so that the initial conditions for each micro interval are provided by the macro resolution of the problem. The algorithm is easily parallelizable, making it very efficient for addressing general models.
Another numerical strategy based on combining different PGDs under the partition of unity (PU) rationale is proposed in [8, 9]. Here, the main idea is to use macro shape functions fulfilling the partition of unity. This ensures moving throughout different PGDs in diverse intervals while guaranteeing a perfect continuity. Actually, the overlap between the PGDs solutions related to the overlapping subdomains ensures the continuity when the PGDs solutions are multiplied by the macroscopic shape functions thanks to the standard PU features. Despite its effectiveness, the necessity of combining microscopic discretization with the macroscopic PU enrichment, hinders the computational implementation of this approach.
This paper aims at computing the time evolution of the unknown fields involved by a multiscale Partial Differential Equation (PDE), taking into account all the information that it involves, i.e., covering all the time scales. The solution procedure that we are proposing includes neither major hypotheses, nor the need of time scale separation, as for time homogenization techniques. In more detail, the new approach ensures continuity in a direct and computationally inexpensive manner without resorting to the use of Lagrange multipliers, penalty or the PU paradigm. Our proposal directly derives from the discrete tensor formulation of the separated representation involved in the PGD constructor, making use of a tensor formalism. For that purpose, in the next section, after providing the basics for a PGD tensor representation,^{Footnote 1} we introduce the new approach to manage temporal multiscale problems and we apply it to the heat equation. In “Multiscale resolution of transient elastodynamic problems” section we extend such an approach to computational solid mechanics and, more concretely, to elastodynamics. Finally “Conclusion” section shortly summarizes the main achievements of the present work.
Time multiscale with PGD
Tensorbased PGD methods
Here we shortly recall the PGD algorithm in a general tensor framework, as described in [13, 14]. For a detailed formalization of the PGD method, we refer the interested reader, e.g., to [15,16,17,18,19,20]. The solution of a multidimensional problem is built as a sum of tensor products of functions defined in some subspaces with moderate dimension (1, 2 or 3), thus providing a general separable representation form. In particular, the authors make use of the best rank1 approximation property of tensors of order 3 or higher [21] (in [22], it has been proved that tensors of order 3 or higher can fail to have best rankn approximation) to propose an iterative method based on the socalled projectionenrichment technique [13].
Let \(\Omega \) be a multidimensional domain involving several coordinates \(x_i\) (not necessarily onedimensional), which can coincide, for instance, with spatial coordinates, time, model or geometric parameters. We consider the weak formulation of a linear problem:
with \(V(\Omega )\) an adequate function space ensuring the wellposedness of such a formulation.
We assume that, after a discretization of problem (1), we are lead to solve the linear system:
where the operator on the lefthand side and the righthand side member are expressed in a separated form as
The approximated PGD solution \({{\,\mathrm{\varvec{\uppsi }}\,}}\) is sought in the discrete separated form
and an analogous representation is adopted for the test function \({{\,\mathrm{\varvec{\uppsi }}\,}}^*\), being
with \(i=1, \ldots , N_F\).
Solution \({{\,\mathrm{\varvec{\uppsi }}\,}}\) is builtup by using a projectionenrichment iterative scheme [13]. In particular, it will be assumed that the global convergence is attained when the error estimator \(\varepsilon = \left \left {{\,\mathrm{\mathcal {A}}\,}}{{\,\mathrm{\varvec{\uppsi }}\,}} {{\,\mathrm{\mathcal {B}}\,}}\right \right _2\) is small enough, where \(\left \left \cdot \right \right _2\) denotes the standard Frobenius norm of a tensor of order d.
The projection stage consists of finding the set of coefficients \(\alpha _j\) in (4) verifying the relations
where
The enrichment stage includes new candidates for enriching the reduced separated approximation basis, so that \({{\,\mathrm{\varvec{\uppsi }}\,}}\) can be updated as
and (2) is replaced by the system
In particular, within a fixed point alternating direction algorithm, at each iteration we look for the computation of a single discrete function, \({{\,\mathrm{\mathbf {r}}\,}}_j\), all the other components of \({{\,\mathrm{\varvec{\uppsi }}\,}}_{{{\,\mathrm{\mathbf {r}}\,}}}\) being assumed known, and after setting \({{\,\mathrm{\varvec{\uppsi }}\,}}^*\) to \({{\,\mathrm{\mathbf {r}}\,}}_1 \otimes \cdots {{\,\mathrm{\mathbf {r}}\,}}_{j1} \otimes {{\,\mathrm{\mathbf {r}}\,}}_{j}^*\otimes {{\,\mathrm{\mathbf {r}}\,}}_{j+1}\cdots \otimes {{\,\mathrm{\mathbf {r}}\,}}_d\). This strategy leads to solve the linear system
where
For the explicit computations leading to system (8), we refer the interested reader to [13], whereas a convergence analysis for this greedy rank1 update algorithm can be found in [21].
Remark 0.1
The projection in (5) does not represent the only possible choice when defining \({{\,\mathrm{\varvec{\uppsi }}\,}}\). Alternatively, one could use a standard greedybased enrichment [14, 21]. The aim of the projection is to regularize the solution, thus getting rid of possible spurious modes yielded by an enrichment procedure and, consequently, to enhance the global convergence. Indeed, since modes are normalized, coefficients \(\alpha _j\) in (5) can be intended as a truncation error since they express the importance of the different enrichment terms. This allows us to stop the enrichment procedure when not significant modes occur, thus limiting the inclusion of noisy information.
Remark 0.2
As discussed in [13], the convergence of the fixed point strategy characterizing the enrichment step is guaranteed for symmetric discrete operators. Actually, numerical tests performed with non symmetric discrete operators (e.g., with hyperbolic operators) exhibit some difficulties in the convergence of the fixed point procedure as well as a loss of optimality in terms of number of function products to be computed. For this reason, all the problems analyzed in this work are suitably rewritten in order to deal with a symmetric operator. In general, the new problem to be solved reads:
and the associated projection stage becomes
where
Analogously, system (7) will be replaced by the new one
so that system (8) takes the form
with
A twotime scale separated representation within the PGD method
In the proposal of numerical methods to manage multiscale phenomena, a crucial point is represented by the capability to ensure the continuity of the approximation. This turns out to be an issue also when dealing with a PGD approach. For instance, in [9], PGD is combined with the partition of unity (PU) paradigm to circumvent the continuity problem. Thus, a generic multiscale function u is expressed as
where the collection, \(\{x_i\}_{i=1}^N\), of the socalled centroids \(x_i\) introduces a macropartition of the time window, \(N_i(x)\) is the macroscale shape function associated with the ith centroid, \(x_i\), \({\xi } (x  x_i)\) is a dependent variable characterized by an offset based on \(x_i\), and \(G_j({\xi })\) denotes the jth microscale shape function, with \(g_j\) the corresponding microscale degree of freedom. Here, the microscale effects occurring in the compact support of the macroscale shape function \(N_i(x)\) are mapped into the corresponding microscale space, via \({\xi }\). Formulation (9) allows the authors to automatically ensure the continuity to the approximation u as proved in [9]. Other formulations enforce the continuity in different way, for instance by resorting to Lagrange multipliers as in [1].
The present work takes a step forward with respect to the available literature by proposing a new approach which ensures the continuity of the PGD solution in a computationally inexpensive manner, without resorting to Lagrange multipliers or penalization strategies.
We exemplify the new method on a simple problem, i.e., on the heat equation solved in a onedimensional spatial domain \(\Omega _{x} = (0,L)\) over the time window \(\Omega _t = (0, T_f)\), and completed with non homogeneous Dirichlet data,
with k the diffusivity coefficient and \(f=f(x,t)\) the source term.
A standard timemarching approach requires a discretization of \(\Omega _{t}\) by means of \(N_t\) times. On the contrary, the technique here presented is based on splitting the whole time interval \((0,T_{f})\) into M macro subintervals \(\Omega _{i+1} = [T_i,T_{i+1}]\), for \(i = 0,\dots , M1\), of constant amplitude \(\Delta T\), by choosing a sequence \(\left\{ T_i \right\} _{i=0}^{M}\) of equispaced macrodofs and by setting \(T_0 = 0\) and \(T_M = T_f\). Afterwards, in the first macro subinterval, a new continuous timemicroscale, \(\tau (\Omega _1)\), is introduced so that the subinterval \(\Omega _1\) is discretized by involving \(m + 1\) microdofs, \(\{\tau _j^1\}_{j=0}^m\) and setting \(\tau _0^1 = T_0\). Also the discretization at the microscale is uniform, with a constant time step set to \(\Delta \tau \) throughout \(\Omega _{1}\). Moreover, the last microdof is internal to \(\Omega _1\), being \(\tau ^1_m=T_1\Delta \tau \). By means of a tensor product, the micro discretization in \(\Omega _1\) is replicated throughout the other subintervals \(\Omega _{i+1}\), covering the whole time window (see Fig. 1 for a sketch). In such a way, a fine time grid consisting of \(N_t = M(m+1)\) dofs is obtained by mapping \(m+1\) microdofs onto a coarser grid of M macro intervals, without a priori needing a fine discretization of the whole time window. In particular, the value of the solution at the right endpoint, \(T_{i+1}\), of each subinterval \(\Omega _{i+1}\) is recovered by means of this tensor product. As a consequence, such a discretization is intentionally not meant to predict values at \(T_M = T_f\). Figure 2 shows the Cartesian product of the macro and micro dofs together, with the associated nodal evaluations of the generic unknown function u in (10).
If we discretize the time derivative in (10) by means of a standard finite difference formula, we have:
that we can write also as
with
where the first equation understands that the initial value \(u_0\) has to be included in the righthand side of the equation associated with \(n=0\), while the subscript \(N_t\) for the operator \({{\,\mathrm{\mathbf {E}}\,}}\) denotes the size of the corresponding matrix. This notation will be particularly useful to simplify the discussion which follows.
Using a twoscale time variable, the time derivative in (11) is replaced by the new one
where \(T \in \{T_i\}_{i=0}^{M1}\) is adopted to identify the subinterval \(\Omega _{i+1}\) of interest, while \(\tau \in [T_0, T_1)\) represents the actual temporal independent variable, spanning \(\Omega _1\), i.e, via tensor product, the generic subinterval \(\Omega _{i+1}\). This leads to perform the time derivation with respect to variable \(\tau \).
With a view to the application of PGD for approximating problem (10) with the twoscale time discretization, matrix \({{\,\mathrm{\mathbf {E}}\,}}_{N_t}\) in (13) associated with the standard time coordinate deserves to be modified in order to replicate the PGD tensor structure. The idea is to introduce a suitable macromicro decomposition of the time derivative operator in (12). For this purpose, let us identify the partial derivative of order zero with respect to T, \(\frac{\partial ^0}{\partial T^0}\), with the identity operator, so that, \(\frac{\partial ^0}{\partial T^0}f(T)= f(T)\), and, as a consequence, identity
holds true. This equality suggested the authors in [1] to propose the approximation
for the standard time derivative, which will be investigated and further developed throughout this work. Approximation (14) can thus be written in matrix form as
where now the subscript M refers to the number of blocks constituting matrix \({{\,\mathrm{\mathbf {E}}\,}}_{T^0, \tau }\), while matrix \({{\,\mathrm{\mathbf {E}}\,}}_{m+1}\), sized according to discretization at the microscale, is defined as in (13), after replacing \(\Delta t\) with \(\Delta \tau \), and replicated throughout the subintervals \(\Omega _{i+1}\) by means of the Kronecker product with the discrete identity operator \({{\,\mathrm{\mathbf {I}}\,}}_M\).^{Footnote 2}
However, definition (15) leads to have some entries along the first subdiagonal which are identically null. This happens essentially when switching from a block to the subsequent one, namely, when moving from the last internal dof associated with the microscale in a certain subinterval, \(\Omega _{i+1}\), to the first dof associated with the macroscale of the subinterval \(\Omega _{i+2}\), resulting in a loss of continuity between the fine and the coarse time grids. An effective, yet computationally demanding, remedy to this issue is based on enforcing the continuity in all the macrodofs, either by using a penalized formulation or by employing Lagrange multipliers, as detailed in [1].
In this work, we propose to exploit the properties of the tensor product to recover the equality in (15). To this aim, we introduce the decomposition
which, in a compact form, reads as
where matrices \({{\,\mathrm{\mathbf {C}}\,}}_{m+1}\) and \({{\,\mathrm{\mathbf {L}}\,}}_M\) are defined as
respectively with \({\displaystyle \delta _{ij}}\) the Kronecker symbol. The decomposition in (17) allows us to reconstruct the correct time derivative operator while preserving the macromicro decomposition characterizing the twoscale time derivative operator. This method embraces the PGD formalism while reducing significantly the computational cost, since no extra computational effort is required to enforce continuity at each dof associated with the macroscale.
Remark 0.3
The multiscale approach proposed in this paper exhibits two main benefits:

1.
The possibility of describing in an efficient way physical phenomena with the fine scale resolution;

2.
A description richness equal to \(N_t = M (m+1)\) accomplished with a computational complexity of the order of \(M+m+1\), thus yielding considerably reduced memory allocation requirements to store time operators.
Coming back to the approximation of the heat equation in (10), a classical discrete PGD approximation, based on a space–time separated form, reads:
where \(N_U\) denotes the number of the PGD modes, index 1 refers to the space dependence, index 2 is associated with the time, \({{\,\mathrm{\mathcal {B}}\,}}_H\) is a suitable discrete separated approximation of the source term f(t, x) evaluated at some discrete points, \({{\,\mathrm{\mathcal {A}}\,}}_H\) is a discrete separated representation of the differential operators in (10), built by exploiting the tensorial identity
and assembled according to the discretization adopted for the space (e.g., finite differences, finite elements) and for the time. With the same notation as in (14), we identify the partial derivatives of order zero with the corresponding identity operator. For instance, let us assume to discretize (10) by employing the implicit Euler scheme for the time and a centered finite difference approximation for the space derivative, with \(N_x\) the number of spatial dofs and \(N_t\) the number of discrete times. Then, the operator \(\mathcal {A}_H\) can be separated as
where \({{\,\mathrm{\mathbf {E}}\,}}_{N_t}\) denotes the matrix associated with the implicit Euler scheme, \({{\,\mathrm{\mathbf {I}}\,}}_{N_x}\) and \({{\,\mathrm{\mathbf {I}}\,}}_{N_t}\) are the identity matrices in space and time, respectively and \({{\,\mathrm{\mathbf {D}}\,}}_{N_x}\) is the matrix of the discrete Laplacian. Figure 3 shows the sparsity pattern associated with four matrices \({{\,\mathrm{\mathbf {A}}\,}}_i^k\).
Now, in order to apply the new PGD formulation based on a twoscale time discretization to problem (10), we have to recast the differential operators in (20) into a multiscale framework, by adding a further temporal independent variable. This leads us to deal with a framework characterized by two dimensions in time and one dimension in space. For this purpose, we adopt the approximation
and we enforce the continuity between the macro and the micro time partitions by resorting to the twoscale decomposition in (17), so that the operator \({{\,\mathrm{\mathcal {A}}\,}}_H\) in (19) can be separated as
where, analogously as in (19), subscript 1 identifies the space dependence, while subscripts 2 and 3 refer to the time microscale and to the time macroscale, respectively. The spatial operators are defined in a straightforward way as
whereas the twoscale time discretization leads us to adopt the modified tensorial decomposition in (16),
with \({{\,\mathrm{\mathbf {A}}\,}}_2^1 = {{\,\mathrm{\mathbf {E}}\,}}_{m+1}\) the matrix characterizing the implicit Euler discretization at the microscale; \({{\,\mathrm{\mathbf {A}}\,}}_3^1 = {{\,\mathrm{\mathbf {A}}\,}}_3^3= {{\,\mathrm{\mathbf {I}}\,}}_{M}\) the discrete identity matrix associated with the subintervals \(\Omega _{i+1}\); \({{\,\mathrm{\mathbf {A}}\,}}_2^2 = {{\,\mathrm{\mathbf {C}}\,}}_{m+1}\) the correction matrix, sized according to the microscale, with a unique nonnull element in the upperright corner; \({{\,\mathrm{\mathbf {A}}\,}}_3^2 = {{\,\mathrm{\mathbf {L}}\,}}_{M}\) the lower shift matrix, sized according to the macroscale, with the first subdiagonal of elements all equal to one; \({{\,\mathrm{\mathbf {A}}\,}}_2^3 = {{\,\mathrm{\mathbf {I}}\,}}_{m+1}\) the discrete identity matrix associated with the microscale. Figure 4 gathers the sparsity pattern of the nine matrices involved in the separated representation (22).
Concerning the righthand side in (19), operator \({{\,\mathrm{\mathcal {B}}\,}}_H\) coincides with a separated representation, with respect to the spatial scale and the two temporal ones, of the source term f(t, x) in (10), evaluated at some discrete points, and computed through a HOSVD [24].
Remark 0.4
A cross comparison between Figs. 3 and 4 highlights that the twoscale PGD formulation of problem (10) does not affect the spatial discretization. On the contrary, the matrices associated with the twoscale time discretization are much smaller with respect to the ones characterizing the separated representation in (21), with a consequent reduction in terms of memory allocation (in particular, the storage requirement for the time matrices reduces from \(3(m+1)M  1\) to \(3(m+1 + M)  1\), which means of a factor about equal to \(M^{1}\), for \(M \ll m + 1\)). Notice that the time decomposition in Fig. 4 suits the time grid in Fig. 3, being \(M(m+1) = N_t = 1000\).
Multiscale resolution of transient elastodynamic problems
This section generalizes the multiscale PGD formulation detailed on the heat equation in the previous section to a more challenging setting represented by an elastodynamic problem in a multiscale transient regime. In this setting, different strategies based on the separation of the space and time are investigated in [23]. Here, the authors propose a multifield Proper Generalized Decomposition which adopts standard finite elements to discretize the space, to be combined with several discretization schemes in time, such as the Newmark scheme [25], a singlefield time discontinuous Galerkin method, a twofields time continuous and discontinuous Galerkin approach.
To simplify the discussion, we focus on a transient elastodynamic problem in a onedimensional spatial domain which models, for instance, the tractioncompression waves travelling along a linear elastic medium, \(\Omega = (0,L)\), during time interval \(I = [0,T)\). The scalar displacement field is denoted by \(u=u(x,t)\), for \(x\in \Omega \) and \(t \in I\). The medium is subject to a displacement, \(u^d=u^d(x,t)\), and to an external force, \(f^d=f^d (x, t)\), applied to portions, \(\partial \Omega _u \times I\) and \(\partial \Omega _f \times I\), of the boundary of the space–time cylinder, respectively, with \(\partial \Omega _f \cup \partial \Omega _u = \partial \Omega \) and \({\mathop {\partial \Omega _f}\limits ^{\circ }} \cap {\mathop {\partial \Omega _u}\limits ^{\circ }} = \emptyset \) (notice that, in the specific context at hand, \(\partial \Omega _u\) and \(\partial \Omega _f\) reduce to the endpoints of the domain \(\Omega \), dealing with a onedimensional setting). The initial state is described by the displacement field, \(u_0=u_0 (x)\), and by the velocity field, \(v_0=v_0 (x)\), at time \(t=0\). Finally, the medium is characterized by a density, \(\rho \), an elasticity modulus, E, and a section, A. Thus, the strong formulation of the considered transient elastodynamic problem reads: find \(u : \Omega \times I \rightarrow \mathbb {R}\), such that
To simplify the notation, in the following we adopt the convention \(\dot{u}\) and \(\ddot{u}\) to denote the first and the secondorder time derivative, \(\displaystyle \frac{\partial u}{\partial t}\) and \(\displaystyle \frac{\partial ^2 u}{\partial {t}^2}\), of u respectively.
We employ a standard centered finite difference scheme to approximate the space, after discretizing \(\Omega \) with \(N_x\) dofs, so that the associated semidiscrete formulation is: find \({{\,\mathrm{\mathbf {u}}\,}}: I \rightarrow \mathbb {R}^{ {N_{x}} }\), such that
where \({{\,\mathrm{\mathbf {M}}\,}}=\displaystyle \frac{\rho }{E} {{\,\mathrm{\mathbf {I}}\,}}_{N_x}\) and \({{\,\mathrm{\mathbf {K}}\,}}=  {{\,\mathrm{\mathbf {D}}\,}}_{N_x}\) denote the mass and the stiffness matrix, respectively, with \({{\,\mathrm{\mathbf {I}}\,}}_{N_x}\) and \({{\,\mathrm{\mathbf {D}}\,}}_{N_x}\) the identity and discrete Laplacian operators, \({{\,\mathrm{\mathbf {u}}\,}}_0\) and \({{\,\mathrm{\mathbf {v}}\,}}_0\) are the vectors sampling the initial data, \(u_0\) and \(v_0\), at the spatial dofs, and where the boundary data have been properly included in the righthand side \({{\,\mathrm{\mathbf {F}}\,}}\).
To discretize the time, we subdivide the whole time window, I, by means of \((N_t + 1)\) uniformly distributed times, \(t_i\), such that \(t_0=0\), \(t_{N_t} = T\), and \(t_i  t_{i1} = \Delta t\), for \(i = 1,\dots , N_t\). Following [23], we apply the Newmark scheme to (24), so that we have to solve the fully discretized problem: find \({{\,\mathrm{\mathbf {u}}\,}}\in \mathbb {R}^{ {N_{x}} \times {N_t} }\), such that
where : denotes the two times contracted product between tensors^{Footnote 3},
with \(0 \le \gamma \le 1\) and \(0 \le \beta \le \frac{1}{2}\) the parameters involved by the Newmark algorithm, \(a = 1/2  2 \beta + \gamma \), \(b =1/2 + \beta  \gamma \), \({{\,\mathrm{\mathbf {F}}\,}}(t_0)\) is the righthand side in (24) evaluated at the initial time \(t_0\), and \({{\,\mathrm{\mathbf {F}}\,}}\) collects all the vectors \({{\,\mathrm{\mathbf {F}}\,}}(t_i)\) for \(i = 1, \dots , N_t\), accounting for the exterior force and the imposed displacement (we refer the interested reader to the reference paper [23] where the explicit computations leading to linear system (25) can be found).
Formulation (25) is instrumental to provide the discrete PGD approximation for problem (23) based on a standard space–time separation, which reads
where
the same notation as in (19) being adopted for the subscripts identifying the space and the time, respectively, while \({{\,\mathrm{\mathcal {B}}\,}}_E\) simplifies to
after assuming \({{\,\mathrm{\mathbf {F}}\,}}= {{\,\mathrm{\mathbf {0}}\,}}\) (i.e., no external forces) and \({{\,\mathrm{\mathbf {u}}\,}}_0 = {\varvec{0}}\) (i.e., a vanishing initial displacement).
The discrete operators involved in the definition of \({{\,\mathrm{\mathcal {A}}\,}}_E\) have the sparsity pattern shown in Fig. 5, when choosing \(\Omega = (0,1)\) and \(I = [0,100)\).
We now generalize the twoscale temporal discretization for a PGD approximation introduced in the previous section to the elastodynamic problem (23). For this purpose, the tensor decomposition correction proposed in (16) for the implicit Euler discrete operator, \({{\,\mathrm{\mathbf {E}}\,}}_{N_t}\), is here extended to the Newmark discrete operators, \({{\,\mathrm{\mathbf {N}}\,}}_1\) and \({{\,\mathrm{\mathbf {N}}\,}}_2\), in (26), so that it holds
\(m+1\) and M denoting the number of the temporal microdofs and of the time macro subintervals as in “A twotime scale separated representation within the PGD method” section, with \(N_t=M(m+1)\). Decompositions (29) and (30) can be rewritten in a compact form as
where matrices \({{\,\mathrm{\mathbf {N}}\,}}_{1,m+1}\) and \({{\,\mathrm{\mathbf {N}}\,}}_{2,m+1}\) are defined exactly as \({{\,\mathrm{\mathbf {N}}\,}}_{1}\) and \({{\,\mathrm{\mathbf {N}}\,}}_{2}\), respectively except for the size (equal to \(m+1\) instead of \(N_t\)); \({{\,\mathrm{\mathbf {I}}\,}}_M\) is the discrete identity matrix associated with the macroscale; \({{\,\mathrm{\mathbf {L}}\,}}_M\) is the lower shift matrix defined as in (18); the correction matrices \({{\,\mathrm{\mathbf {C}}\,}}_{1,m+1}\) and \({{\,\mathrm{\mathbf {C}}\,}}_{2,m+1}\) are given by
The tensorial decompositions in (31) ensure the continuity between the macro and the micro time scales, analogously to decomposition (17). This allows us to extend the temporal continuity between different scales to \({{\,\mathrm{\mathcal {A}}\,}}_E\) in (27), after separating this operator in terms of the coordinates x, T and \(\tau \), and by exploiting decompositions (31), so that we have
subscript 1 referring to the space dependence, while 2 and 3 to the temporal micro and macroscale, respectively as in the previous section. In particular, the spatial contributions coincide with matrices \({{\,\mathrm{\mathbf {M}}\,}}\) and \({{\,\mathrm{\mathbf {K}}\,}}\) in (24), being
The operators associated with the time microscale are
while the ones related to the temporal macroscale are
In particular, the time microscale is characterized by the Toeplitz matrices, \({{\,\mathrm{\mathbf {A}}\,}}_2^1\) and \({{\,\mathrm{\mathbf {A}}\,}}_2^3\), and by the correction matrices, \({{\,\mathrm{\mathbf {A}}\,}}_2^2\) and \({{\,\mathrm{\mathbf {A}}\,}}_2^4\), with only three not null elements; the diagonal matrices \({{\,\mathrm{\mathbf {A}}\,}}_3^1\) and \({{\,\mathrm{\mathbf {A}}\,}}_3^3\) and the lower shift matrices \({{\,\mathrm{\mathbf {A}}\,}}_3^2\) and \({{\,\mathrm{\mathbf {A}}\,}}_3^4\) identify the time macroscale. The sparsity pattern associated with the 12 operators in (32) is shown in Fig. 6, for \(\Omega =(0,1)\) and \(I=[0, 100)\).
The righthand side in (27) has to be separated, as operator \({{\,\mathrm{\mathcal {A}}\,}}_E\), in terms of the spatial scale and of the two temporal ones, so that we have
Remark 0.5
As expected, it turns out that the temporal multiscale PGD discrete formulation does not affect the spatial representation, the sparsity pattern of matrices \({{\,\mathrm{\mathbf {A}}\,}}_1^1\) and \({{\,\mathrm{\mathbf {A}}\,}}_1^2\) in Fig. 5 being preserved by matrices \({{\,\mathrm{\mathbf {A}}\,}}_1^1\)–\({{\,\mathrm{\mathbf {A}}\,}}_1^2\) and \({{\,\mathrm{\mathbf {A}}\,}}_1^3\)–\({{\,\mathrm{\mathbf {A}}\,}}_1^4\) of Fig. 6, respectively. On the contrary, the multiscale time discretization yields matrices with a considerably lower size, albeit in a larger number, with a remarkable saving in terms of memory allocation (notice that the decomposition adopted in the twoscale discretization suits the time grid in Fig. 5, being \(N_t = M (m+1) = 2000\)).
Numerical simulations
In this section we assess in more detail the PGD approximation combining the twoscale Newmark scheme with the centered finite difference method. To this aim, we consider a beam with constant section \(A = 1\), in a traction and compression regime, where an initial velocity, \(v_0\), is prescribed.
Simulations are performed by considering \(\Omega = (0,1)\) over the time domain \(I = [0,100)\), under the following assumptions:

Average constant acceleration (middle point rule) for Newmark scheme, i.e.,
$$\begin{aligned} \beta = \frac{1}{4},\quad \gamma = \frac{1}{2} \implies a = \frac{1}{2},\quad b = \frac{1}{4}; \end{aligned}$$ 
Material parameters: \(\kappa =\displaystyle \frac{\rho }{E} \in K= \{ 25, 100, 400, 500\}\);

Sinusoidal initial velocity:
$$\begin{aligned} v_0 (x)= {\left\{ \begin{array}{ll} \displaystyle \frac{1}{100} \sin \left( \frac{\pi x}{0.3}\right) ^2 &{} \text {for}\, x < 0.3\\[3mm] 0 &{} \text {otherwise}; \end{array}\right. } \end{aligned}$$ 
Discretization parameters: \(N_x =51\), \(m+1 = 400\), \(M = 5\).
Figure 7 collects the space–time contour plot for the propagation of the elastic wave, for each \(\kappa \in K\). The values in K have been selected in order to obtain solutions with a different level of detail in terms of behaviour at the microscale. Indeed, quantity \(\kappa \) can be easily related to the speed of the stress wave along the beam, after rewriting the differential equation in (23) as
with \( c = \sqrt{E/\rho } = \sqrt{1/\kappa } \in C = \left\{ \frac{1}{5}, \frac{1}{10}, \frac{1}{20}, \frac{1}{10\sqrt{5}} \right\} \). In particular, the time taken by the wave to travel along the whole beam (i.e., to propagate from the left to the rightendpoint) is equal to \(\Delta t = 1/c \in \{5, 10, 20, 10\sqrt{5}\}\). Now, since we have set the number of the macro subintervals to \(M = 5\), it turns out that the microscale time variable \(\tau \) varies in the interval [0, 20). As a consequence, we register two complete wave paths (i.e., two round trips where three reflections take place) for \(\kappa = 25\), a single complete wave path (with a unique reflection) when \(\kappa = 100\), and a single oneway path for \(\kappa = 400\). On the contrary, when \(\kappa = 500\), the wave propagates too slow with respect to the microscale adopted, causing a delay between macrodofs and reflection. This discrepancy is evident, for instance, by the low accuracy characterizing the contour plot in the bottomright panel of Fig. 7.
These comments find a further confirmation in the trend characterizing the PGD modes associated with the temporal micro and macroscales, and with the spatial one, collected in Figs.8, 9 and 10, respectively for the first three values of \(\kappa \). In particular, for \(\kappa = 25, 100\), the information about the periodicity of the solution are already rich enough at the microscale, which allows us to capture the complete wave path (single and double, respectively), whereas the modes over the macroscale are almost constant (only information about wave amplitude are gathered). On the contrary, when \(\kappa = 400\), the microscale follows only a oneway migration and the information about the wave reflection is recovered at the macro level through more informative macroscale modes.
To sum up, we can state that the choice of the macroscale (and, consequently, of the microscale) is crucial to properly manage the periodicity of the solution. A rough selection of M and of \(m+1\) may lead to an inaccurate solution, unless a sufficiently large number of temporal modes is adopted for the PGD reconstruction. Convergence of the PGD procedure can be also deteriorated by a not proper choice of parameters M and \(m+1\). This issue is highlighted by Fig. 11 which shows the trend of the \(L^2(\Omega )\)norm of the relative error associated with the PGD approximation as a function of the number of the PGD enrichment iterations. As a reference, we adopt the solution to (24)–(25) coinciding with a centered finite difference discretization (in space) combined with the Newmark scheme (in time). In particular, the slow decay of the PGD error in the right panel, for \(\kappa = 500\), can be ascribed to the decomposition adopted at the macro and at the microscale, which does not match the periodicity of the wave propagation.
Conclusions
The present work successfully accomplished addressing problems exhibiting different time scales within a multitime separated Proper Generalized Decomposition. The classical onedimensional time is converted into a multidimensional temporal variable, where different time coordinates correspond to different levels of resolution. This strategy leads to a considerable reduction in terms of computational complexity. Moreover, the issue related to the continuity enforcement between different scales, that motivated several works in the past, is here addressed in a very simple and efficient way, by writing the tensor decomposition in order to reproduce the tensor form of the single time scale discretization. The proposed method is numerically verified first on the onedimensional heat problem and successively generalized to the wave propagation in elastodynamics.
As a first extension to this work, we are planning to apply the method here developed to viscoelastodynamic equations in a multiscale framework, and, successively, to the nonlinear setting of the viscoelastic–plastic model. In this context, our main interest is for the response of viscoelastic–plastic materials subject to longterm cyclic fatigue loadings [26,27,28] and, in particular, under Very High Cycle Fatigue regimes [29]. Separated space–time representations and hyperreduction of mechanical models have already been successfully applied in former studies to elasticplastic problems [30, 31], as well as to nonlinear viscoelastic systems [5, 32,33,34]. The idea is to extend the representations provided in this literature to a time multiscale framework, by further tensorization of the time coordinate, following the approach proposed in this paper. Moreover, some theoretical issues characterizing the multitime PGD method here introduced, such as the impact of nonperiodicity in time caused by irreversible plastic deformations, deserve to be addressed with a more thorough analysis.
Availability of data and materials
Interested reader can contact authors.
Notes
We observe that symbol \(\otimes \) refers to a revision of the standard Kronecker product, being meant
$$\begin{aligned} {{\,\mathrm{\mathbf {A}}\,}}\otimes {{\,\mathrm{\mathbf {B}}\,}}= \begin{pmatrix} B_{1,1} {{\,\mathrm{\mathbf {A}}\,}}&{} B_{1,2} {{\,\mathrm{\mathbf {A}}\,}}&{} \cdots &{} B_{1,n}{{\,\mathrm{\mathbf {A}}\,}}\\ B_{2,1} {{\,\mathrm{\mathbf {A}}\,}}&{} B_{2,2} {{\,\mathrm{\mathbf {A}}\,}}&{} \cdots &{} B_{2,n}{{\,\mathrm{\mathbf {A}}\,}}\\ \vdots &{} \vdots &{} \ddots &{} \vdots \\ B_{m,1} {{\,\mathrm{\mathbf {A}}\,}}&{} B_{m,2} {{\,\mathrm{\mathbf {A}}\,}}&{} \cdots &{} B_{m,n} {{\,\mathrm{\mathbf {A}}\,}}\end{pmatrix} \quad \text {and} \quad {{\,\mathrm{\mathbf {a}}\,}}\otimes {{\,\mathrm{\mathbf {b}}\,}}= \begin{pmatrix} b_1 {{\,\mathrm{\mathbf {a}}\,}}\\ \vdots \\ b_m {{\,\mathrm{\mathbf {a}}\,}}\end{pmatrix}, \end{aligned}$$Footnote 3 continued
respectively. This is a common choice in the PGD community to preserve the same order of the variables in the separated form [23].
The two times contracted product : between second or fourth order tensors is defined as \({{\,\mathrm{\mathbf {A}}\,}}: {{\,\mathrm{\mathbf {B}}\,}}= \displaystyle \sum _{i,j} A_{ij} B_{ij}.\)
References
Ammar A, Chinesta F, Cueto E, Doblare M. Proper generalized decomposition of timemultiscale models. Int J Numer Methods Eng. 2012;90:569–96.
Néron D, Ladevèze P. Proper generalized decomposition for multiscale and multiphysics problems. Arch Comput Methods Eng. 2010;17(4):351–72.
Passieux JC, Ladevèze P, Néron D. A scalable timespace multiscale domain decomposition method: adaptive time scale separation. Comput Mech. 2010;46(4):621–33.
Dureisseix D, Ladevèze P, Schrefler B. A LATIN computational strategy for multiphysics problems–application to poroelasticity. Int J Numer Methods Eng. 2003;56:1489–510.
Fritzen F, Hassani MR. Spacetime model order reduction for nonlinear viscoelastic systems subjected to longterm loading. Meccanica. 2018;53:1333–55.
Maday Y, Turinici G. A parareal in time procedure for the control of partial differential equations. C R Math. 2002;335(4):387–92.
Maday Y, Riahi, M, Salomon J. Parareal in time intermediate targets methods for optimal control problems. In: Control and optimization with PDE constraints. Internat Ser Numer Math. Basel: Springer. 2013. p. 7992.
Badias A, Gonzalez D, Alfaro I, Chinesta F, Cueto E. Local proper generalized decomposition. Int J Numer Methods Eng. 2017;112:1715–32.
Ibáñez R, Ammar A, Cueto E, Huerta A, Duval JL, Chinesta F. Multiscale proper generalized decomposition based on the partition of unity. Int J Numer Methods Eng. 2019;120(6):727–47.
Benner P, Schilders W, GrivetTalocia S, Quarteroni A, Rozza G, Miguel Silveira L. Model order reduction applications. Berlin: De Gruyter; 2020.
Benner P, Schilders W, GrivetTalocia S, Quarteroni A, Rozza G, Miguel Silveira L. Model order reduction: snapshotbased methods and algorithms. Berlin: De Gruyter; 2020.
Benner P, Schilders W, GrivetTalocia S, Quarteroni A, Rozza G, Miguel Silveira L. Model order reduction: system and datadriven methods and algorithms. Berlin: De Gruyter; 2020.
Ammar A. The proper generalized decomposition: a powerful tool for model reduction. Int J Mater Form. 2010;3:89–102.
Ammar A, Chinesta F, Díez P, Huerta A. An error estimator for separated representations of highly multidimensional models. Comput Methods Appl Mech Eng. 2010;199:1872–80.
Chinesta F, Keunings R, Leygue A. The proper generalized decomposition for advanced numerical simulations. A primer. Springerbriefs in applied sciences and technology. Cham: Springer; 2014.
Chinesta F, Ammar A, Cueto E. Recent advances and new challenges in the use of the proper generalized decomposition for solving multidimensional models. Arch Comput Methods Eng. 2010;17(4):327–50.
Chinesta F, Cueto E. PGDbased modeling of materials. Structures and processes. ESAFORM Bookseries on material forming. Cham: Springer; 2014.
Perotto S, Carlino MG, Ballarin F. Model reduction by separation of variables: a comparison between hierarchical model reduction and proper generalized decomposition. In: Sherwin SJ, Moxey D, Peirò J, Vincent PE, Schwab C, editors. Spectral and high order methods for partial differential equations ICOSAHOM 2018, vol. 134. Series: Lect. Notes Comput. Sci. Eng. Cham: Springer; 2020. p. 61–77.
Chinesta F, Ammar A, Lemarchand F, Beauchene P, Boust F. Alleviating mesh constraints: model reduction, parallel time integration and high resolution homogenization. Comput Methods Appl Mech Eng. 2008;197(5):400–13.
Chinesta F, Ladevèze P, Cueto E. A short reviewinmodel order reduction based on proper generalized decomposition. Arch Comput Methods Eng. 2011;18(4):395–404.
Ammar A, Chinesta F, Falcó A. On the convergence of a greedy rankone update algorithm for a class of linear systems. Arch Comput Methods Eng. 2010;17(4):473–86.
de Silva V, Lim LH. Tensor rank and the illposedness of the best lowrank approximation problem. SIAM J Matrix Anal Appl. 2006;30(3):1084–127.
Boucinha L, Gravouil A, Ammar A. Spacetime proper generalized decompositions for the resolution of transient elastodynamic models. Comput Methods Appl Mech Eng. 2013;255:67–88.
Lathauwer L, De Moor B. A multilinear singular value decomposition. J Soc Ind Appl Math. 2000;21:1253–78.
Newmark NM. A method of computation for structural dynamics. J Eng Mech. 1959;85:67–94.
Oskay C, Fish J. Multiscale modeling of fatigue for ductile materials. Int J Multiscale Comp Eng. 2004;2:329–54.
Oskay C, Fish J. Fatigue life prediction using 2scale temporal asymptotic homogenization. Int J Numer Methods Eng. 2004;61:329–59.
Cognard JY, Ladevèze P. A large time increment approach for cyclic viscoplasticity. Int J Plast. 1993;9(3):141–57.
Furuya Y, Hirukawa H, Takeuchi E. Gigacycle fatigue in high strength steels. Sci Technol Adv Mater. 2019;20(1):643–56.
Bergheau JM, Zuchiatti S, Roux JC, Feulvarch É, Tissot S, Perrin G. The proper generalized decomposition as a spacetime integrator for elastoplastic problems. Meccanica. 2016;344:759–68.
Nasri MA, Aguado JV, Ammar A, Cueto E, Chinesta F, Morel F, Robert C, El Arem S. Separated representations of incremental elastoplastic simulations. Key Eng Mater. 2015;651–653:1285–93.
Ryckelynck D, Benziane D. Hyperreduction framework for model calibration in plasticityinduced fatigue. Adv Model Simul Eng Sci. 2016;3:10.
Cremonesi M, Néron D, Guidault P, Ladevèze P. A PGDbased homogenization technique for the resolution of nonlinear multiscale problems. Comput Methods Appl Mech Eng. 2013;267:275–92.
Ladevèze P, Nouy A. On a multiscale computational strategy with time and space homogenization for structural mechanics. Comput Methods Appl Mech Eng. 2003;192(28–30):3061–87.
Funding
The authors acknowledge the support of the ESI Group through its research chair at ENSAM ParisTech and through the project 20190060 “Simulated Reality” at the University of Zaragoza. The support of the Spanish Ministry of Science through Grant number CICYTDPI201785139C21R and by the Regional Government of Aragon and the European Social Fund, are also gratefully acknowledged. This work has been also partially supported by European Union’s Horizon 2020 research and innovation programme under the Marie SkłodowskaCurie Actions, Grant agreement 872442 (ARIA) and by the research project GNCSINdAM 2020.
Author information
Authors and Affiliations
Contributions
All the authors participated in the definition of techniques and algorithms. 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
Pasquale, A., Ammar, A., Falcó, A. et al. A separated representation involving multiple time scales within the Proper Generalized Decomposition framework. Adv. Model. and Simul. in Eng. Sci. 8, 26 (2021). https://doi.org/10.1186/s40323021002117
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40323021002117