Abstract
We use the algebraic orthogonality of rotationfree and divergencefree fields in the Fourier space to derive the solution of a class of linear homogenization problems as the solution of a large linear system. The effective constitutive tensor constitutes only a small part of the solution vector. Therefore, we propose to use a synchronous and local iterative method that is capable to efficiently compute only a single component of the solution vector. If the convergence of the iterative solver is ensured, i.e., the system matrix is positive definite and diagonally dominant, it outperforms standard direct and iterative solvers that compute the complete solution. It has been found that for larger phase contrasts in the homogenization problem, the convergence is lost, and one needs to resort to other linear system solvers. Therefore, we discuss the linear system’s properties and the advantages as well as drawbacks of the presented homogenization approach.
Highlights

Development of a Fourier method for linear homogenization problems.

Implementation of a local and synchronous solver for the solution of systems of linear equations.

Iterative computation of a single component of the solution vector.

Performance analysis of the novel approach compared to classical direct and iterative solvers.
Introduction
Homogenization subsumes methods and approaches that aim to provide the effective material properties of materials with microstructures. In the context of linear constitutive laws, the effective constitutive tensor \({\mathbf { L}}^*\) relates the volume average of a gradient field \({\mathbf { g}}\) (strains, temperature gradient, charge density gradient, concentration gradient, etc.) to its thermodynamic conjugate divergence free field \({\mathbf { q}}\) (stresses, heat flux, electric current, concentration flow, etc.),
Locally, the constitutive law is location dependent. Often, \({\mathbf { L}}^*\) is approximated by \(\overline{{\mathbf { L}}}\) or a more elaborate mean field approach, some of which are summarized in Ref. [1]. More accurate results are obtained by solving the boundary value problem of a large virtual material sample—a representative volume element (RVE)—and extracting the average fields from the numerical solution. In the linear case, \({\mathbf { L}}^*\) is then reconstructed by at most n such solutions, where n is the dimension of the vector space of \({\mathbf { g}}\) and \({\mathbf { q}}\).
In the context of examining RVE realizations of microstructures, Fourier methods are an indispensable tool for various reasons. They are typically applied in different ways which are summarized in the following:

Microstructural data is often provided as pixel (2D) or voxel (3D) data, which can be efficiently transformed to its discrete Fourier representation.

The Fourier function basis satisfies the boundary conditions of the most common RVE problem of a periodically repeatable unit cell a priori.

The Fast Fourier Transform (FFT) allows to switch quickly between real and Fourier space, which allows for a fast evaluation of differential operators.

In their Fourier representation, the orthogonality of divergencefree and rotationfree fields (i.e., the Helmholtz decomposition of a vector field) can be exploited algebraically to derive a closedform expression for the effective constitutive law.
That is to say, two distinct features—the availability of the fast transformation and the algebraic orthogonality of divergence and rotationfree fields in Fourier space—are exploited differently, but both methods are summarized under the Fourier label.
The first kind of Fourier (spectral) solver is a fixed point iteration scheme introduced by [2, 3]. It solves a concrete RVE problem by rewriting the homogeneous partial differential equation (PDE) with nonconstant coefficients that is to be solved. On the RVE domain the local material tensor \({\mathbf { L}}({\mathbf { x}})={\mathbf { L}}_0+\widetilde{\mathbf { L}}({\mathbf { x}})\) is split and the \(\widetilde{\mathbf { L}}({\mathbf { x}})\)part is moved to the righthand side, interpreting the new equation as an inhomogeneous PDE with constant coefficients. Solving this auxiliary problem successively corresponds to a fixed point iteration for the original problem. The easy transformation between real and Fourier spaces enables a fast evaluation of the righthand side, i.e., an efficient iteration, by taking the derivatives in the Fourier space and applying the constitutive law involving \(\widetilde{\mathbf { L}}({\mathbf { x}})\) in real space. Per iteration, one forward and backward transform are required. The effective properties are obtained as the linear relation between the homogeneous parts of the solution fields. For a complete identification of the effective properties, several RVE problems need to be solved (e.g., three average temperature gradients that are prescribed in orthogonal directions) or material symmetries need to be presumed. The main advantage of this method is that only function evaluations are needed, i.e., we do not explicitly need to solve a linear system. Therefore, this method is less memoryconsuming compared to standard homogenization approaches, such that discretizations of \(256^3\) voxels are feasible [4]. Note that only the discretized fields of the microstructural data and the \({\mathbf { q}}\), \({\mathbf { g}}\), \({\mathbf { L}}\)fields need to be kept in the computer’s memory. Such schemes are usually referred to as spectral or FFT solvers. Variants of this approach can be found in the pertinent literature. Some effort went into reducing the already low memory requirements [5,6,7,8] and improving the iteration’s convergence rate [9,10,11,12]. A more complete summary can be found in a recent paper by Wicht et al. [4]. In the remainder of this article, we refer to this method as “MoulinecSuquet (MS) fixed point iteration”.
The second kind of spectral solver exploits the Helmholtz decomposition, i.e., the orthogonality of gradient (rotationfree) and divergencefree fields, which is algebraic in Fourier space but differential in real space. The algebraic orthogonality in Fourier space allows to introduce projectors based on which a closedform expression for the effective properties is derived. These methods rely on the linearity of the constitutive law, which is merged with the linear projection operations. To distinguish this method from a fixedpoint iteration, we refer to it as the “projection method”. An excellent account can be found in the textbook by G. Milton [13] in Sect. 12. This method is entirely formulated in the Fourier space. The fast Fourier transform is only needed once to set up the linear system in Fourier space. The latter is quite large, but needs to be solved only for a few variables. Approximate variants of this approach have been presented in Refs. [14,15,16,17,18]. At least to the authors’ knowledge, a concise formulation of this approach has been first presented by Chen in Chap. 5 of Ref. [19]. She managed to solve such systems for discretizations d of the unit cell up to \(11^3\) voxels (data points). That is rather limited compared to today’s standards, which is due to the memory intensive linear systems (see Sect. 5). It has complex coefficients, is unsymmetric, not sparse, and without a band structure. For the sake of clarity, the two approaches are compared in Table 1.
In the present contribution, the focus is on the second class of methods, which is by far the less popular of the two Fourierbased approaches. This is due to the much larger numerical effort, compared to the fixedpoint method, because an unsymmetric nonsparse linear system with complex coefficients is solved for the tensorial auxiliary field (constitutive tensor, stiffness or conductivity), which has moreover more components than the usual gradient field (strains, temperature gradient) that is solved for in the fixedpoint iteration approach. However, we found that on the numerical side, some unused potential can be leveraged. Because only the homogeneous part of the auxiliary tensorial field is needed, and this is represented by the zeroth Fourier coefficient, only few solution components need to be computed. Thus, instead of applying a general purpose linear solver, a Jacobi iteration for the relevant solution components is used. Although the resulting scheme is similar to the fixedpoint iteration method in the sense that the solution is iterated, it is still a different approach.
The article is divided into six sections including the introduction. Before we discussed the proposed methodology, the basic notation is explained in Sect. 2. The Fourier method is recalled in Sect. 3, while we describe the local iterative solver in Sect. 4. With this the theoretical foundation for our method is laid and we examine a specific example in Sect. 5. Here, also a comparison of the novel method and standard solvers in terms of their computational efficiency is provided. In Sect. 6, a brief summary of the most important findings is provided.
Notation
In this article, a direct notation is preferred. Vectors are denoted as bold minuscules, like \({\mathbf { p}}\) for the polarization, \({\mathbf { q}}\) for the heat flux or \({\mathbf { g}}\) for the temperature gradient. All tensorial quantities are represented w.r.t. the orthonormal basis \({\mathbf { e}}_i\) when their components are considered. Locations in real space are denoted by \({\mathbf { x}}\), for which we use Cartesian coordinates, i.e., \({\mathbf { x}}=x_i{\mathbf { e}}_i\). Secondorder tensors are written as bold majuscules, such as \({\mathbf { L}}\) for the heat conduction tensor. The dyadic product and scalar contractions are denoted by \(({\mathbf { a}}\otimes {\mathbf { b}}\otimes {\mathbf { c}}) : ({\mathbf { d}}\otimes {\mathbf { e}}) = ({\mathbf { b}}\cdot {\mathbf { d}}) ({\mathbf { c}}\cdot {\mathbf { e}}) {\mathbf { a}}\), with a dot being the usual scalar product between vectors. This notation is mostly needed for linear mappings between vectors, as in \({\mathbf { q}}={\mathbf { L}}\cdot {\mathbf { g}}\). When the product is clear from the context, as in the last equation, the scalar dot is occasionally omitted. We further use the nabla operator \(\nabla \) and projection operators \(\varvec{\Gamma } \{\square \}\). The latter involves the projectors \({\mathbf { K}}=({\mathbf { k}}\cdot {\mathbf { k}})^{1}{\mathbf { k}}\otimes {\mathbf { k}}\) and \({\mathbf { I}}{\mathbf { K}}\), which project a vector onto its part parallel and perpendicular to \({\mathbf { k}}\), where \({\mathbf { k}}\) is the wave vector of the Fourier base function.
Fourier method
In the current section, we present the fundamental ideas of the applied Fourier method. They can be found as well in the textbook of Milton [13] in Section 12. To this end, the Fourier series, the decomposition of periodic fields, the polarization problem, and the solution for effective material properties are discussed based on a generic problem and later for elastostatics and heat conduction as specific example problems.
Fourier series representation
For the sake of completeness, a brief introduction to Fourier series representations of functions is provided in the following. Let
denote the scalar product of two functions, where the overline \(\overline{\square }\) denotes the complex conjugate. It is easy to see that the functions
form an orthonormal basis, i.e.,
where \(\delta _{kl}\) denotes the Kronecker(delta) symbol and i\(=\sqrt{1}\) is the imaginary unit. With respect to this basis, a sufficiently smooth function can be represented as an infinite series of \(f_k(x)\)
where the component \(\hat{f}_k\) (also called amplitude or spectral coefficient) is given by the scalar product with \(f_k(x)\)
A generalization to functions defined in \({\mathbb { R}}^3\) is obtained by specifying the direction, usually referred to as the plane wave vector \({\mathbf { k}}\) with integer components
where \(k_i\) are the components of \({\mathbf { k}}\) w.r.t. the orthonormal basis \({\mathbf { e}}_i\). The confinement to integer \(k_i\) is due to the Fourier series expansion. In the next step, the plane wave vector \({\mathbf { k}}\) is decomposed into a unit direction vector \({\mathbf { n}}_\mathrm {k}\) and its magnitude \(\tilde{k}\)
\({\mathbf { n}}_\mathrm {k}\) represents the direction of the plane wave, while \(\tilde{k}\) is the wave number, which is connected to the frequency f and the wavelength \(\lambda \), respectively, by
The scalar product defined by Eq. (2) is then
Again we see that
where \(\delta _{{\mathbf { k}}{\mathbf { g}}}\) may be considered as a generalized Kronecker symbol
With this, the approximation of a function defined in \({\mathbb { R}}^3\) by a Fourier series becomes
The components of the function in the Fourier space are obtained via a scalar product
Decomposition of periodic fields into three orthogonal parts
In elastostatics and Fourier heat conduction we have the following relations that govern the behaviour of a system, with the local balances, the constitutive laws and the integrability condition for the driving force of the process (listed from left to right):
The same mathematical structure is found for Fick’s diffusion, Ohmic resistance, or any process in which the flux of a conserved quantity is linear in the gradient of a field. Being concerned with a homogenization task, we removed the source terms from the balance equations, which are a heat source (or sink) in heat conduction problems and a volume specific force \(\rho {\mathbf { b}}\) and the inertia force density \(\rho \ddot{\mathbf { x}}\) in elastostatics. The reason for this is that these are not material properties that can be homogenized, but externally applied, material independent effects.
For the sake of notational convenience, we drop the dependence on the location \({\mathbf { x}}\) of all fields. The differential constraints on \(\varvec{\varepsilon }\) and \({\mathbf { g}}\) are the socalled integrability conditions which ensure the existence of a field in case of the gradient \({\mathbf { g}}=\nabla f\), where the interpretation of f depends on the physical problem and may be the temperature field, a concentration, or electric charge. In case of elasticity, the integrability conditions ensure the existence of a displacement field \({\mathbf { u}}\) for the strain field \(\varvec{\varepsilon }=({\mathbf { u}}\otimes \nabla + \nabla \otimes {\mathbf { u}})/2\).
Next, we consider all periodic fields on a unit cell \(\Omega \). Depending on the homogenization task, these are \(\{{\mathbf { q}},{\mathbf { L}},{\mathbf { g}}\}\) or \(\{\varvec{\sigma },{\mathbb { C}},\varvec{\varepsilon }\}\). We proceed, for convenience, with the heat conduction problem. One can directly generalize the derivation given in the following to elastostatics. The divergence is obtained by the scalar product of \({\mathbf { f}}_{{\mathbf { k}}}\) with \({\mathbf { k}}\)
Therefore, we can expand the Fourier series by the projector
without affecting the divergencepart of the field
With this definition we have \({\mathbf { f}}({\mathbf { x}})\cdot \nabla ={\mathbf { f}}_{\cdot \nabla }({\mathbf { x}})\cdot \nabla \). An analogous calculation for the rotation gives
This time, the part of \(\hat{\mathbf { f}}_{{\mathbf { k}}}\) parallel to \({\mathbf { k}}\) can be removed due to the vector product of parallel vectors being zero. Thus, we can expand with \({\mathbf { I}}{\mathbf { K}}\) without affecting the rotational part of the field
When normalizing \({\mathbf { k}}\), one can see that the part for \({\mathbf { k}}={\mathbf { o}}\) is problematic. It represents the homogeneous mean value of the field, which is both divergence and rotationfree. It needs to be addressed directly in the decomposition into three parts
As can be seen, \({\mathbf { K}}\) and \({\mathbf { I}}{\mathbf { K}}\) filter the corresponding parts from the function without the imaginary unit. The imaginary unit appears upon taking the derivative, but we want to decompose the function itself. In real space, the orthogonality is easy to see as well
with the permutation symbol \(\varepsilon _{ijk}\) and Schwarz’ theorem. The derivatives with respect to the coordinates \(x_i\) are denoted by \(\square _{,i}\). The Helmholtzdecomposition of \({\mathbf { f}}({\mathbf { x}})\) into rotation and divergencefree parts is not easily obtained in real space. But in the Fourier space, we just define three different Gammaoperators \(\varvec{\Gamma }_\square \):
These projectors extract the mean value (\(\varvec{\Gamma }_0\{\square \}\)), the divergencefree (\(\varvec{\Gamma }_{\times \nabla }\{\square \}\)) and the rotationfree fluctuating (\(\varvec{\Gamma }_{\cdot \nabla }\{\square \}\)) parts of a field. Note that the application of the \(\varvec{\Gamma }_\square \)operators is an algebraic operation, but not a simple matrixproduct, and the application is not associative, i.e., \({\mathbf { A}}(\varvec{\Gamma }_\square {\mathbf { B}})\ne ({\mathbf { A}}\varvec{\Gamma }_\square ){\mathbf { B}}\). Therefore, we denote the action of the operators by curly brackets as \(\varvec{\Gamma }_\square \{\square \}\). It is clear that the three parts are orthogonal to each other w.r.t. the scalar product
Elasticity The equations of elastostatics obey the same structure as the equations of heat conduction, cf. Eq. (15), which results in a similar decomposition of symmetric tensor fields into the homogeneous, divergence and rotationfree parts:
In the latter equation, one can easily identify the projection operators, where the projector that removes the diverging part of \({\mathbf { A}}\) involves the fourth order identity on symmetric second order tensors \({\mathbb { I}}\). The strain tensor field \(\varvec{\varepsilon }({\mathbf { x}})\) is rotationfree, hence its Fourier series can be written as
while the stress field \(\varvec{\sigma }({\mathbf { x}})\) is divergencefree and symmetric, hence its Fourier series can be written as
The polarization problem
We consider the same boundary value problem with an inhomogeneous conductivity \({\mathbf { L}}({\mathbf { x}})\) and a homogeneous reference conductivity \({\mathbf { L}}_0\)
We apply homogeneous boundary conditions \(\overline{{\mathbf { g}}}\) on the entire surface. This makes the second problem trivial: all fields are homogeneous, moreover we have \({\mathbf { g}}_0=\overline{{\mathbf { g}}}={\mathbf { g}}({\mathbf { x}})\widetilde{\mathbf { g}}({\mathbf { x}})\), where \(\widetilde{\mathbf { g}}({\mathbf { x}})\) denotes the fluctuation part of the \({\mathbf { g}}\)field. Our interest is to find the linear mapping between the homogeneous parts
which constitutes the implicit definition of the effective conductivity \({\mathbf { L}}^*\). We take the difference between Eqs. (31) and (32)
which is more compactly written as
Note that here \(\Delta \) only denotes a difference and should not be confused with the Laplaceoperator. We move \({\mathbf { L}}_0\widetilde{\mathbf { g}}({\mathbf { x}})\) to the lefthand side
where \({\mathbf { p}}({\mathbf { x}})\) is defined as
or in expanded form
This is the socalled polarization problem. The name is most likely related to its first area of application which was electric polarization. Note that \({\mathbf { p}}({\mathbf { x}})\) is neither divergence nor rotationfree. This underlines its character as an auxiliary problem, which is not solved, but used to derive an explicit expression for \({\mathbf { L}}^*\). Taking the homogeneous part by applying \(\varvec{\Gamma }_0\) gives
which can be brought into the form
With an explicit expression for \(\overline{{\mathbf { p}}}\), which is linear in \(\overline{{\mathbf { g}}}\), one can identify the effective conductivity.
Solving for the effective conductivity
All fields, except the reference conductivity \({\mathbf { L}}_0\), the mean values \(\overline{{\mathbf { q}}}\), \(\overline{{\mathbf { p}}}\) and \(\overline{{\mathbf { g}}}\) and the effective conductivity \({\mathbf { L}}^*\) depend on the location \({\mathbf { x}}\) in real space or the wave vector \({\mathbf { k}}\) in Fourier space. For the sake of convenience, we drop these dependencies in the remainder of this section. Further, we use \({\mathbf { L}}_0=l_0 {\mathbf { I}}\), which simplifies calculations. Apart from that, the choice of \({\mathbf { L}}_0\) is not important for us, since we obtain a closed form expression for \({\mathbf { L}}^*\). For spectral solvers of the first type (see Sect. 1), the choice of \({\mathbf { L}}_0\) is crucial for the convergence. Next, we solve symbolically for \(\overline{{\mathbf { p}}}\) with the aid of the \(\varvec{\Gamma }_\square \)operators. We firstly apply \(\varvec{\Gamma }_{\cdot \nabla }\{{\mathbf { L}}_0^{1}\{\square \}\}\) to Eq. (38):
Since \({\mathbf { g}}=\overline{{\mathbf { g}}}+\widetilde{\mathbf { g}}_{\cdot \nabla }\) is rotationfree, \(\varvec{\Gamma }_{\cdot \nabla }\{\square \}\) removes merely the homogeneous part of \({\mathbf { g}}\). Since \({\mathbf { q}}\) is divergencefree and \({\mathbf { L}}_0\) is a multiple of the identity tensor, we have \(\varvec{\Gamma }_{\cdot \nabla }\{{\mathbf { L}}_0^{1}{\mathbf { q}}\}={\mathbf { o}}\). Thus, we obtain
Abbreviating \(\varvec{\Gamma }\{\square \}=\varvec{\Gamma }_{\cdot \nabla }\{{\mathbf { L}}_0^{1}\{\square \}\}\), this can be rearranged for \({\mathbf { g}}=\overline{{\mathbf { g}}}\varvec{\Gamma }\{{\mathbf { p}}\}\) and inserted back into the Eq. (37) for \({\mathbf { p}}\),
For the sake of brevity, we define \({\mathbf { L}} {\mathbf { L}}_0=\Delta {\mathbf { L}}\). This system of equations can be solved for \({\mathbf { p}}\)
The inverse is not a matrix or tensor inverse, but the inverse action of the operator in the round brackets, which would be the integral with the operator’s corresponding Green function. The inverse of the pure \(\varvec{\Gamma }\)operators clearly does not exist, since they project some part onto zero. But with the identity \({\mathbf { I}}\) inside the round bracket and the flexibility to choose \(l_0\) as we please we can always circumvent singular operators. We now extract the mean value by applying \(\varvec{\Gamma }_0\{\square \}\)
In the next step, we insert the result into Eq. (40) and factor out \(\overline{{\mathbf { g}}}\) as it does not depend on \({\mathbf { x}}\)
Therefore, the effective conductivity is
The action of the \(\varvec{\Gamma }_0\)operator is to just take the volume average, which is usually denoted with \(\langle \square \rangle \). In the Fourier space, this is done by setting all Fourier coefficients to zero except the one that belongs to \({\mathbf { k}}={\mathbf { o}}\). We can easily determine \({\mathbf { L}}^*\) once we find the auxiliary field \({\mathbf { L}}_\star \), which has no direct physical interpretation. Instead of inverting the operator \({\mathbf { I}}+\Delta {\mathbf { L}}\varvec{\Gamma }\), we consider the solution of the linear system in the Fourier space:
The second summand in the last equation represents a convolution. Because we have discrete periodic data in real space, the Fourier data is as well discrete and periodic. Hence, the summation is only carried out over one unit cell in the Fourier space, as depicted in Fig. 1.
A comparison of coefficients w.r.t. the function basis \(\mathrm{e}^{\mathrm{i}{\mathbf { x}}\cdot {\mathbf { c}}}\) in Eq. (53) requires \({\mathbf { b}}={\mathbf { c}}{\mathbf { k}}\) and \({\mathbf { a}}={\mathbf { c}}\) and yields
which constitutes a linear system for the unknown Fourier coefficients \(\hat{\mathbf { L}}_{\star {\mathbf { c}}}\). One can see that this formulation has distinct mathematical advantages that can be directly exploited: The principal diagonal contains a sum of \(\hat{\mathbf { L}}_{\star {\mathbf { c}}}\) and a product with coefficients that should decay at high frequencies. Most important, we are only interested in the homogeneous part of the solution, i.e., the \(\hat{\mathbf { L}}_{\star {\mathbf { o}}}\)component, see Eq. (49). This fact allows us to apply an efficient locally synchronous linear solver.
The presented system of equations is rarely set up and solved. Mostly, a series expansion for \({\mathbf { L}}^*\) is used, see e.g., Chap. 14 in Ref. [13] or Sect. 11.2 in Ref. [20]. Then, the problem is addressed in the real space, which involves correlation functions of the microstructure and integrals over Green’s functions. The latter integrals are divergent, hence a renormalization is necessary [21]. Even if this issue can be avoided, the nth order coefficients involve integrals over npoint correlation functions, which are quite tedious to obtain. Moreover, since one can control by the choice of \({\mathbf { L}}_0\) whether a series alternates or converges from above or below, series expansions can give bounds for the effective properties.
As mentioned in the introduction (Sect. 1), other approaches solve for the gradient field \({\mathbf { g}}({\mathbf { x}})\), which appears in an integral equation that has the same form as the Lippmann–Schwinger equation for quantum scattering. It is obtained by inserting Eq. (38) into Eq. (44). In this case, iterative methods to determine \({\mathbf { g}}({\mathbf { x}})\) such as the alternating Real–Fourier space iterator [2, 3] can be exploited. In this approach, several specific boundary problems must be solved if no symmetries are present. A variety of improvements and derivations of this method has been published, see e.g., Refs. [4, 22].
In the next section, we will discuss a new type of iterative solver for systems of linear equations which will be used to determine \({\mathbf { L}}_\star \) and ultimately \({\mathbf { L}}^*={\mathbf { L}}_0+{\mathbf { L}}_\star \). This particular approach is capable of efficiently computing individual components of the entire solution vector which is in line with the proposed Fourier method, where only the homogeneous part of the solution is of interest to us.
Synchronous local algorithm for the iterative solution of linear systems of equations
In Sect. 3, it has been shown that analytical homogenization techniques lead to large linear systems despite the fact that only a few components of the result vector are of interest. Therefore, direct solvers are illsuited to obtain solutions for such homogenization problems. In the following, we make use of a local solution algorithm that is capable of approximating only a few components of the solution vector. To achieve this goal, the sparsity of the coefficient (system) matrix has to be exploited. In the algorithm that is discussed in the following only the ith component of the solution to a system of linear equations is iteratively computed based on a Neumann series representation.
Motivation
The starting point for our discussion of the local iterative solver is a generic system of linear equations
where \(\mathbf {A}\) is a nonsingular, real, square matrix of dimension n and \(\mathbf {b}\) is the righthand side vector of the system. Equation (55) can be solved by a wide variety of methods that can be classified into two major categories: (i) direct and (ii) indirect or iterative solvers. Typical representatives of the first class of methods are Gaussian elimination, LU or Cholesky factorization to name just a few [23]. Iterative methods include stationary linear approaches (which will be discussed in more detail in Sect. 4.2) such as the Jacobi, Gauss–Seidel, or Richardson methods and gradient methods (conjugate gradients, preconditioned conjugate gradients, steepest descent methods) [24,25,26]. All of these methods have in common that the entire solution vector \(\mathbf {x}\) is computed either exactly or in an approximate fashion.
To compute all components of vector \(\mathbf {x}\) seems to be rather inefficient and a waste of computational resources if only a few components are actually of interest. It is easy to see that an iterative method that only computes selected components is much more efficient than a direct solution of the entire system of linear equations. For example, an LUfactorization of a fully populated matrix requires \(2 n^3/3\) floatingpoint operations (additions and multiplications), where n denotes the size of the system. The iteration procedure with fully populated matrices and residual requires \(2 n^2\) per iteration [27]. We can expect, however, that much less than n iterations will be needed. Since only a few components of the solution vector are of interest in our analytical homogenization process, detailed in Sect. 3, we need to identify promising methods that are capable of computing individual components of the solution vector only. Therefore, the question regarding how this problem can be tackled. One possibility, based on simple stationary linear iterative methods, has been proposed by Lee et al. in a series of reports [27,28,29] and is discussed in the remainder of this section.
Stationary linear iterative methods
In order to keep the algorithm of the locally synchronous solution procedure as simple as possible, only stationary linear schemes are included in the discussion. In this contribution, we make use of different iterative solution schemes such as the (i) Jacobi, (ii) Gauss–Seidel, (iii) successive overrelaxation, and (iv) Richardson methods. The discussion of these methods closely follows Refs. [24,25,26]. The point of departure to derive algorithms for these methods is Eq. (55) which can be rewritten as:
where \(\mathbf {G}\) denotes the iteration matrix, \(\mathbf {z}\) the auxiliary solution vector, and the superscript \(\square ^{(i)}\) represents the ith step in the iteration. To ensure convergence of the results a necessary condition is
i.e., the spectral radius of the iteration matrix must be less than unity^{Footnote 1}. This can be guaranteed if the system matrix \(\mathbf {A}\) is positivedefinite and/or diagonally dominant. Considering the matrix \(\mathbf {M}\), being introduced in Sect. 3, inequality (57) holds and consequently, iterative solvers are applicable.
In general, each matrix \(\mathbf {A}\) can be additively split into a sum of a strictly lower triangular matrix \(\mathbf {L}\), a strictly upper triangular matrix \(\mathbf {U}\), and a diagonal matrix \(\mathbf {D}\)
The solution to the system of equations (55) can be obtained iteratively by means of Eq. (56) which can be rewritten using the matrix \(\tilde{\mathbf {M}}\) which serves as a preconditioner of the system matrix \(\mathbf {A}\):
with \(\mathbf {I}\) being the unity matrix. Obviously, different choices for \(\mathbf {G}\) and \(\mathbf {z}\) are possible and will be addressed in the following, see Sects. 4.2.1 to 4.2.4.
Richardson method
The Richardson iteration technique is perceivably the simplest possible method and the prototype of any linear iteration. In this case, we choose the matrix \(\tilde{\mathbf {M}}\) to be a multiple of the unity matrix, i.e.,
Therefore, the resulting iterative scheme is
In this method, optimal convergence is achieved for a \(\gamma \)value of
where \(\lambda _\mathrm {max}\) and \(\lambda _\mathrm {min}\) denote the largest and smallest eigenvalues of the iteration matrix \(\mathbf {G}_\mathrm {R}\,{=}\,\mathbf {I}1/\gamma \mathbf {A}\). This choice minimizes the spectral radius \(\rho (\mathbf {G}_\mathrm {R})\) of the iteration matrix and thus, maximizes the rate of convergence of the iterative method. If the coefficient matrix \(\mathbf {A}\) is symmetric and positivedefinite and the Richardson method with an optimal choice of \(\gamma \) is used the spectral radius of the iteration matrix can be computed as
indicating that illconditioned coefficient matrices (here \(\kappa (\square )\) denotes the condition number) of linear systems of equations result in a slow convergence. This obviously limits the applicability for certain areas of application, e.g., large finite element systems.
Jacobi method
The Jacobi method is a simple iterative method that is used to compute the solution of linear systems of equations with a positivedefinite and strictly diagonally dominant system matrix \(\mathbf {A}\), i.e.,
In this case, it is sufficient to choose the following setup:
By substituting Eq. (65) into Eq. (59), we obtain the iteration relation for the Jacobi method as:
One important aspect to keep in mind is that the Jacobi method does not converge for every symmetric positivedefinite matrix.
In order to improve the comparably poor convergence of the Jacobi method an additional weighting parameter \(\omega \) can be introduced
Considering the special case of a symmetric and positivedefinite coefficient matrix \(\mathbf {A}\), it can be shown that the weighted Jacobi method converges if
[24] and the optimal choice of \(\omega \) is provided for
where \(\tilde{\lambda }_\mathrm {max}\) and \(\tilde{\lambda }_\mathrm {min}\) are the largest and smallest eigenvalues of the matrix \(\mathbf {D}^{1}\mathbf {A}\), respectively. A typical choice for the weighting parameter \(\omega \) is 3/2 which safes effort in computing the eigenvalues of the system. At this point we can derive the iteration expression as
Gauss–Seidel method
The idea of the Gauss–Seidel iterative solver is closely related to that of the Jacobi method (see Sect. 4.2.2). In contrast to the Jacobi method, each component of the new iterate depends on all previously computed components. Therefore, the following expression is used to set up the iteration:
As in the previous section, Eq. (71) is substituted into Eq. (59) and thus the solution for each iteration can be computed as
Note that the Gauss–Seidel method is applicable to linear systems if the coefficient matrix \(\mathbf {A}\) is either strictly diagonally dominant or symmetric positivedefinite. This method generally converges faster than the conventional Jacobi method, i.e., without weighting procedure, as presented in Sect. 4.2.2.
Successive overrelaxation
The successive overrelaxation (SOR) method can be directly derived from the Gauss–Seidel scheme, see Sect. 4.2.3, by extrapolation. To this end, the weighted average of the solution of the previous iteration step \(\mathbf {x}^{(i)}_\mathrm {SOR}\) and the solution of the Gauss–Seidel scheme for the current iteration \(\mathbf {x}^{(i+1)}_\mathrm {GS}\)
is taken. To derive the iteration sequence for the SOR scheme, a different splitting of the coefficient matrix \(\mathbf {A}\) compared to the one introduced in Sect. 4.2 is used. Instead, overrelaxation is based on
In the next step, Eq. (74) is substituted into Eq. (55) and we obtain the following relation to compute the solution iteratively
We can reach the same solution by defining \(\tilde{\mathbf {M}}\) as
At this point, the question regarding the optimal choice of the extrapolation/relaxation factor \(\omega \) remains. It can be shown that the optimal value is
where \(\mu \) is the spectral radius of the iteration matrix of the Jacobi method \(\mathbf {G}_\mathrm {J}\)
It is straightforward to prove that for \(\omega \,{=}\,1\) the SOR is identical to the Gauss–Seidel method. Depending on the problem that is solved, the SOR method might be significantly faster than the Gauss–Seidel method. This has, however, not been observed for the analytical homogenization which is our main concern.
An extension of the SOR method is the symmetric successive overrelaxation (SSOR) scheme requiring a symmetric coefficient matrix \(\mathbf {A}\). One step in this approach consists of a standard (forward) SOR computation followed by a backward one. To this end, the approach to splitting the coefficient matrix \(\mathbf {A}\) presented in Eq. (74) is adjusted
and therefore, \(\tilde{\mathbf {M}}\) is now defined as
Thus, the backward SOR step takes the following form
The equations for the SSOR method can now be derived by substituting the solution obtained with Eq. (75) into the righthand side of Eq. (81). The final iteration expression can be set up using
The iteration relation for the SSOR scheme is only given in the form of Eq. (59) due to the length of the resulting expression
A suitable value for \(\omega \) is still computed by means of Eq. (77). Nowadays, the SSOR scheme is primarily used as a preconditioner for other iterative schemes that are suitable for symmetric matrices as its convergence is usually slower than that of the standard SOR approach.
Note that the optimal choice of the iterative method, or in other words, the optimal choice of the iteration matrix \(\mathbf {G}\) and the auxiliary solution vector \(\mathbf {z}\) are highly depend on the problem under consideration. Thus, for each method different properties of the system matrix \(\mathbf {A}\) can be expected and these need to be accounted for.
Locally synchronous approximation of a single component of the solution vector
The synchronous algorithm is a modification of standard stationary linear iterative methods using an observation which allows the vectors involved in the computation to remain sparse when the iteration matrix \(\mathbf {G}\) is sparse (with a maximum of d nonzero components; \(d \ll n\)), \(1/(1\mathbf {G}_2)\) is sufficiently small, and n (number of equations) is large [27]. As solving a system of linear equations is fundamentally a problem involving the full matrix, it is not a trivial task to design an approach that extracts only a single component. The idea used in this contribution for the analytical (Fourierbased) homogenization is based on the works of Lee et al. [27,28,29]. Without loss of generality (considering the intended applications), the following discussions are limited to (i) positive definite and/or (ii) strictly diagonally dominant coefficient matrices \(\mathbf {A}\). In the first case, it is ensured that
holds, while in the latter case
is valid for symmetric iteration matrices.
Neumann series representation
All the iterative methods, introduced in Sects. 4.2.1 to 4.2.4, have in common that their primary goal is to approximate the leading term of the Neumann series
As mentioned before convergence of this series is only ensured if the spectral radius of the iteration matrix \(\rho (\mathbf {G})\) is below one. The smaller this value is the faster the iteration converges, i.e., less steps are needed to fall below a prescribed error threshold. Different possible choices of \(\mathbf {G}\) and \(\mathbf {z}\) have been discussed above and can now be used to construct a local algorithm that does not solve for the entire vector \(\mathbf {x}\) but only for a few components \(x_i\) that are of interest due to various reasons depending on the intended area of application.
Extraction of a single component
The Neumann series representation of the solution vector \(\mathbf {x}\), given in Eq. (86), provides the entire solution for the system of linear equations, while we are only interested in a single component \(x_i\). To extract the component of interest, we simply use the corresponding basis vector (unit vector) of the ndimensional space which has a value of 1 at the coordinate i and 0 everywhere else
where the subscript \(\square _{(k)}\) denotes the index of the component. In the next step, we leftmultiply Eq. (86) by \(\mathbf {e}_i^\mathrm {T}\) and obtain
Thus, the vector \(\mathbf {z}\) is only multiplied once at the end of the summation process. Since the Neumann series is an infinite series it has to be truncated after a certain number of steps t and therefore, the equation is split into two parts
Algorithm
The complete algorithm including the initialization stage and the update procedure are summarized in Algorithm 1. For the sake of a compact notation, we introduce the residual vector \(\mathbf {r}^{(t)}\)
and the estimate vector
Thus, the iteration expression is
Algorithm 1 computes the estimate according to
and thus, the error is given by
That is also the reason why \(\mathbf {r}^{(t)}\) is coined residual vector as indicated above. Generally, it is observed that the method terminates within at most
steps (iterations), and achieves an estimate such that
holds, where \(\epsilon \) is a prescribed error threshold.
For us, the key property to exploit is the sparsity of the linear system, in conjunction with the damping effect of the iteration matrix on the residual: The initial iteration vector is zero everywhere except for the desired solution component (see Algorithm 1), for which it is one. Hence, a large number of products does not need an explicit evaluation. However, during the iterative process, the vector gets populated, hence more products need to be carried out. Depending on the iteration matrix, the new entries are damped, or propagate through the residual vector. It turns out that the investigated linear system, resulting from the analytical homogenization approach discussed in Sect. 3, is appropriate for this iterative solver. When the iteration matrix \(\mathbf {G}\) is sufficiently sparse and its spectral properties are wellbehaved, i.e., \(d=O(1)\) and \(1/\mathrm {ln}(\mathbf {G}_2)=O(1)\), then we achieve an approximation for \(x_i\) in constant time with respect to the size of the coefficient matrix for large n. For a more detailed discussion of the properties of this algorithm the reader is referred to the original work by Lee at al. [27,28,29].
The Richardson and Jacobi methods are particularly suitable for the local iterative solver if the coefficient matrix \(\mathbf {A}\) is sparse as the iteration matrix \(\mathbf {G}\) inherits this property. This will also lead to sparse vector \(\mathbf {z}\). Note that the approximation of the leading terms of the Neumann series will be at least as dense as \(\mathbf {z}\) resulting in an increasing computational burden if the vector is fully populated or fillin takes place. According to Ref. [27] bounds on the convergence rates and convergence rate guarantees can be provided if \(\mathbf {G}_2 < 1\) holds.
In order to apply the different iterative algorithms in conjunction with the concept of the locally synchronous solver, we only need to exchange the definitions of the auxiliary iteration variables \(\tilde{\mathbf {M}}\) and \(\mathbf {z}\) in the procedure given in Algorithm 1. For the sake of convenience, the definitions of these variables are listed in Table 2 including a reference to the corresponding sections and equations.
Results
In this section we assess the performance of the presented locally synchronous iterative solver (see Sect. 4.3) in comparison to the default direct and Krylov subspace iteration methods provided in the computer algebra system (CAS) Mathematica.
Heat conduction problem
Since microstructural data are generally provided on a Cartesian lattice, the linear system for \({\mathbf { L}}_\star \) (see Eq. 54) is easily obtained with the help of the discrete Fourier transform (DFT). It provides as many data points in the Fourier space as are used in real space. As an example we consider a twophase material. We seek the effective heat conductivity \({\mathbf { L}}^*\) that relates the effective heat flux \(\overline{{\mathbf { q}}}\) to the temperature gradient \(\overline{{\mathbf { g}}}\):
Locally, we have
in phases 1 and 2, respectively. The second law of thermodynamics requires the heat to flow from regions with higher temperature to those with lower temperature, hence the inequality \({\mathbf { q}}({\mathbf { x}})\cdot {\mathbf { g}}({\mathbf { x}})<0\) holds everywhere. We incorporate this negativity in the above equations explicitly, such that we can work with positive definite conductivities \({\mathbf { L}}_{i}\) and thus, a positive definite \({\mathbf { L}}^*\).
Verification problem: Laminate structure
To check the implementation, a simple reference problem, i.e., a laminate structure with the isotropic local conductivities
has been considered. This example has been chosen as a closedform solution is available. Parallel to the plane the laminate the effective conductivity is the arithmetic mean value (Voigt average) of the conductivities \(l_1\) and \(l_2\), while in other planes perpendicular to the lamination plane the effective conductivity is the harmonic mean (Reuss average) of \(l_1\) and \(l_2\)
where the lamination direction is \({\mathbf { e}}_3\). The volume fractions \(v_1+v_2=1\) correspond to the plies’ thicknesses.
As reference conductivity we choose \(l_0=1.5\). The solution quality only depends on the ability of the discretization to capture the actual volume fractions. In cases where discretization exactly resolve the material distribution, e.g., when the volume fractions are \(v_1=3/5\) and \(v_2=2/5\) and a \(5\times 5\times 5\) discretization of the unit cells is used, the exact results \(3/5 + 2 \times 2/5=7/5\) and \((3/5+1/2 \times 2/5)^{1}=5/4\) are obtained.
Complex microstructure
As the second example, we consider a microstructure whose effective conductivity has to be computed numerically as no analytical solution can be derived. To examine the numerical properties of the worst possible case, we remove any periodicity, material symmetry, coordinate independence (as in the laminate) or symmetric alignment. The phase distribution is generated by periodically repeating an ellipsoid that is larger than the unit cell, see Fig. 4. The ellipsoid which is cut at the boundaries of the unit cell (dimensions: \(1/2\le x \le 1/2\), \(1/2\le y \le 1/2\), \(1/2\le z \le 1/2\).) is defined by the following expression
The ellipsoid penetrates the neighbouring cells, where it overlaps with copies of itself. In this way, we obtain a complex microstructure that has two interpenetrating phases. No rotational symmetry is found in the arrangement of the microstructure, but still a cubic translational symmetry exists, which is unavoidable due to the periodicity of the Fourier base functions. The base vectors \({\mathbf { e}}_i\) are parallel to the edges of the the cubic unit cell. A discretized version of this microstructure is depicted along with the Fourier coefficients in Fig. 5. The local conductivities
are both orthotropic and not aligned with the cubic periodicity frame of the unit cell. This setup is the most general case that can be considered in the given framework: For second order tensors, the smallest material symmetry group is the orthotropic group, and the microstructure has no rotational symmetry.
The reference heat conduction is chosen as \({\mathbf { L}}_0=l_0 {\mathbf { I}}\) with \(l_0=3\). This value is relatively close to the entries of \({\mathbf { L}}_1\) and \({\mathbf { L}}_2\). If one uses series expansions to estimate \({\mathbf { L}}^*\), the choice of \({\mathbf { L}}_0\) controls the rate of convergence. Here, the choice of \(l_0\) affects the condition of the linear system and the convergence of the iterative solver. Listing 1, provided in the appendix of this article, contains the Mathematicacode that generates the linear system to solve. It makes use of the buildin DFT algorithm. We have set up a system of \(6\times d^3\) equations with the edge discretization d (six because \({\mathbf { L}}_\star \) has six independent components, \(d^3\) is the number of points in the unit cell), but are only interested in six solution components, namely the homogeneous part of the \({\mathbf { L}}_\star \)field, see Eq. (49). However, standard solvers seek the complete solution and therefore, calculation times increase drastically with d. The computations have been performed on a desktop PC with an Intel(R) Core(TM) i77700 CPU (3.60GHz) and 32 GB of RAM. Mathematica’s internal solvers, although dealing with sparse numerical data structures need considerable time to set up discretizations as small as \(d=13\). Calling LinearSolve[]^{Footnote 2} with the default behaviour, namely a direct solver, leads to significant computational costs. The solver times for different dvalues ranging from 5 to 11 are compared in Fig. 6, while the corresponding convergence of the solution is visualized in Fig. 7.
From the first diagram we can infer that a solution time of approximately 20 minutes is needed for \(d=11\) when employing the internal direct solver, while only 8 minutes are needed by the internal iterative solver. In comparison, the proposed locally synchronous solver (see Sect. 4.3) based on Jacobiiterations (see Sect. 4.2.2) requires approximately 20 seconds for this problem which is more than 20 times faster. For \(d>11\), the internal solvers run into memory issues, which happens only at \(d>14\) for the locally synchronous solver. The system matrix for a discretization of d generally exhibits a sparsity of approximately 45%, i.e., 45% of the matrix components are nonzero, and therefore has \(0.45 (6d^3)^2\) entries. Even using sparse data formats, a fullfledged CAS is not an appropriate environment and therefore, tools that are more specialized on numeric computations are required. Nevertheless, the potential of the local solver becomes apparent.
Properties of the linear system
A typical system matrix plot is given in Fig. 8. The matrix is unsymmetric and has approximately 40% of nonzero entries, i.e., it is far from being as sparse as the usual finite element or finite difference stiffness matrices. We found the sparsity to depend on the microstructure, the phases’ properties, the choice of the reference conductivity \(l_0\) and the discretization. Two extreme cases for the laminate microstructure are illustrated in Figs. 9 and 10, respectively, where the sparsity depends on the parity of d. Note that the righthand side vector has approximately 94.4% of nonzero entries.
Comparison to other linear systems
We have applied the same approach for finite element problems, where we tried to solve only for a specific degree of freedom (DOF). It turned out that none of the methods mentioned in Sect. 4 yielded a versatile iterative method that is comparable in terms of performance to standard direct solver. In our studies we also included different preconditioning techniques (diagonal preconditioner; column preconditioner [30]; upper codiagonal preconditioner [31], maximum upper triangular matrix preconditioner [32]; incomplete Cholesky decomposition) and algorithms to make the coefficient matrices (strictly) diagonally dominant [33] to no avail. The top priority for all algorithms was placed on a simple and efficient implementation. While the incomplete Cholesky preconditioner is comparably effective, it is too costly to be useful in the proposed method. Additionally, minimizing the bandwidth of the system matrix using the reverse CuthillMcKee method does not significantly improve the overall performance. We believe that the cause for this is that the solutions of boundary value problems require the boundary DOFs to communicate, in a sense. Boundary conditions on one side of the computational domain affect the DOFs on the other side, hence the information needs to propagate through the linear system. Unless the preconditioning is a quasiinversion of the linear system, the locally synchronous iterative method cannot easily cope with such problems. Here, more sophisticated iterative solvers such as the biconjugate gradient stabilized method BiCGSTAB or multigrid solver have to be employed and coupled with the local iterations (if possible).
On the other hand, in our application to homogenization based on Fourier methods we solve a linear system for Fourier coefficients, but are only interested in the leading order term. therefore, the higher the frequency gets, the smaller is the actual contribution of that coefficient. Hence, we observe a rapid damping of the contribution and the convergence of the local iterative method is ensured.
Limitations
At this point, important imitations of the presented approach need to mentioned. This facilitates a general understanding of the locally synchronous method and enables one to choose suitable areas of application. There are basically two facts that need to be considered:

1.
Analogous to the MS fixed point solver, high phase contrasts pose a problem for the convergence. We managed to obtain converged solutions for phase contrasts up to 10 by adjusting \(l_0\). When the phase contrasts becomes larger, the optimal \(l_0\) leaves some eigenvalues close to 1 in the spectrum of the iteration matrix, see Fig. 11, which prevents a convergence of the iterative solver. This is also shown in Fig. 12 for the lamellar structure. For a phase contrast of \(l_2/l_1=8\) and \(l_0=l_1\), the largest eigenvalue is already larger than 1. In the special case of the laminate, the iteration still converges because no residuum appears in direction of the largest eigenvalue during the iteration. However, in a more general setting, convergence will not be observed.
Adjusting the weight \(\omega \) of the Jacobipreconditioning can accelerate the convergence, but does not lead to convergence when the standard Jacobi method with \(\omega =1\) does not converge. It should be noted that this really is a problem of the solver: The linear system solution can be obtained for high phase contrasts with another linear solver. This flexibility is not available in case of the first kind of spectral solver.

2.
The proposed approach is very memory intensive, which needs to be reduced in order to become a viable alternative to established numerical methods. It appears that the system matrix has a very specific structure, which may allow for an efficient compression. However, it is still questionable whether this is worth the effort.
Summary
Exploiting the orthogonality of rotation and divergencefree fields algebraically in the Fourier space, we reformulate the difference between the effective conductivity and the reference conductivity as the solution of a large linear system in Fourier space, of which only the homogeneous solution components are needed, i.e., the zeroth Fourier coefficients. Therefore, instead of using a general purpose linear solver we employ a Jacobi iteration only for the solution required solution components. This enables us to apply standard methods to improve the convergence of linear iterative solvers. It turns out that for small phase contrasts, the method works very well and outperforms solvers that give the complete solution vector by several orders of magnitude. However, the iteration matrix has only an advantageous eigenvalue spectrum (which is direly needed for a fast convergence) for low phase contrasts and when an appropriate reference medium is chosen. For phase contrasts above 10, the solution is attainable by other means: either a more sophisticated preconditioning is needed or one has to resort to standard solvers. Unfortunately, while the solver is very fast, the linear system has huge memory requirements, such that its construction is not feasible for useful discretizations. The system matrix is unsymmetric, has complex coefficients, no band structure, and is with approximately 45% of nonzero entries not sparse. This leads to roughly \(0.45\times ( k\times d^3)^2\) complex matrix coefficients, where k is the number of components in the constitutive tensor, e.g., \(k=6\) for heat conduction problems, or \(k=21\) in linear elasticity. One can see that the memory requirements are excessive even for small d. Another limitation of the projector approach is that linear projections and linear constitutive laws are combined, such that an extension to nonlinear problems appears impossible.
The above approach differs somewhat from the more usual spectral solvers introduced by Moulinec and Suquet [2], which define a fixedpoint iteration for solving specific boundary value problems, from which then the volume average and the effective constitutive tensor is extracted. They solve for a lowerdimensional field, e.g., the strains or temperature gradient instead for the constitutive tensor, and without the need to set up the linear system, which is why this scheme is very memory efficient. The method’s good performance relies on the fast Fourier transform that is needed in every iteration step. By linearizing constitutive laws, it is possible to consider nonlinear processes incrementally.
Our approach cannot compete with this method, but is rather complementary. For example, in the Moulinec and Suquet approach, only the volume averages of the solution fields are needed for identifying the effective constitutive tensor. It may be possible to combine the approach to solve only for the volume average in both methods.
Independently, the possibility to solve only for specific variables in linear systems that appear in engineering applications is interesting all by itself. We have shown that some performance gain may be achieved for a particular engineering problem in comparison to approaching the entire linear system directly. Our approach cannot compete with established methods for this particular problem, but it may be used in other engineering contexts. An application could be to calculate results in finite element calculations only at specific, critical locations. One example is the acoustic analysis of noise generation, e.g., engine sound, where the resulting sound pressure level is commonly only needed at few locations in the vicinity of the radiator [34]. Currently, linear solvers for specific variables seem to be employed in problems from information science only [27, 35].
Notes
 1.
The spectral radius of a matrix \(\mathbf {B}\) is defined as: \(\rho (\mathbf {B}) = \mathrm {max}\{\lambda :\lambda \in \sigma (\mathbf {B})\}\), where \(\sigma (\mathbf {B})\) denotes the spectrum of \(\mathbf {B}\), i.e., the set of all eigenvalues of \(\mathbf {B}\).
 2.
Depending on the properties of the coefficient matrix of the system of linear equations Mathematica chooses LAPACK routines for dense or a multifrontal direct solver for a sparse matrices.
References
 1.
Pierard O, Friebel C, Doghri I (2004) Meanfield homogenization of multiphase thermoelastic composites: a general framework and its validation. Composites Science and Technology 64(10):1587–1603 https://doi.org/10.1016/j.compscitech.2003.11.009. http://www.sciencedirect.com/science/article/pii/S0266353803004494
 2.
Moulinec H, Suquet P (1995) A fftbased numerical method for computing the mechanical properties of composites from images of their microstructures. In: Pyrz R (ed) IUTAM Symposium on MicrostructureProperty Interactions in Composite Materials. Springer, Netherlands, Dordrecht, pp 235–246
 3.
Moulinec H, Suquet P (1998) A numerical method for computing the overall response of nonlinear composites with complex microstructure. Computer Methods in Applied Mechanics and Engineering 157(1):69–94
 4.
Wicht D, Schneider M, Böhlke T (2020) On QuasiNewton methods in fast Fourier transformbased micromechanics, International Journal for Numerical Methods in Engineering 121 (8) (2020) 1665–1694. arXiv:https://onlinelibrary.wiley.com/doi/pdf/10.1002/nme.6283, https://doi.org/10.1002/nme.6283. https://onlinelibrary.wiley.com/doi/abs/10.1002/nme.6283
 5.
Vondřejc J, Zeman J, Marek I (2012) Analysis of a fast fourier transform based method for modeling of heterogeneous materials. In: Lirkov I, Margenov S, Waśniewski J (eds) LargeScale Scientific Computing. Springer, Berlin Heidelberg, Berlin, Heidelberg, pp 515–522
 6.
F. Willot, B. Abdallah, Y.P. Pellegrini, Fourierbased schemes with modified green operator for computing the electrical response of heterogeneous media with accurate local fields, International Journal for Numerical Methods in Engineering 98 (7) (2014) 518–533. http://arxiv.org/https://onlinelibrary.wiley.com/doi/pdf/10.1002/nme.4641, https://doi.org/10.1002/nme.4641. https://onlinelibrary.wiley.com/doi/abs/10.1002/nme.4641
 7.
Willot F (2015) Fourierbased schemes for computing the mechanical response of composites with accurate local fields. Comptes Rendus Mécanique 343(3):232–245 https://doi.org/10.1016/j.crme.2014.12.005. http://www.sciencedirect.com/science/article/pii/S1631072114002149
 8.
Mishra N, Vondřejc J, Zeman J (2016) A comparative study on lowmemory iterative solvers for fftbased homogenization of periodic media. Journal of Computational Physics 321:151–168 https://doi.org/10.1016/j.jcp.2016.05.041. http://www.sciencedirect.com/science/article/pii/S0021999116301863
 9.
To VT, Monchiet V, To Q (2017) An FFT method for the computation of thermal diffusivity of porous periodic media. Acta Mechanica 228(9):3019–3037
 10.
Eisenlohr P, Diehl M, Lebensohn R, Roters F (2013) A spectral method solution to crystal elastoviscoplasticity at finite strains. International Journal of Plasticity 46:37–53
 11.
Zeman J, Vondřejc J, Novák J, Marek I (2010) Accelerating a fftbased solver for numerical homogenization of periodic media by conjugate gradients. Journal of Computational Physics 229(21):8065–8071
 12.
Brisard S, Dormieux L (2010) Fftbased methods for the mechanics of composites: A general variational framework. Computational Materials Science 49(3):663–671 https://doi.org/10.1016/j.commatsci.2010.06.009. http://www.sciencedirect.com/science/article/pii/S0927025610003563
 13.
Milton G (2002) The Theory of Composites. Cambridge University Press,
 14.
NematNasser S, Taya M (1981) On effective moduli of an elastic body containing periodocally distributed voids. Quarterly of Applied Mathematics 39(1):43–59
 15.
NematNasser S, Iwakuma T, Hejazi M (1982) On composites with periodic structure. Mechanics of Materials 1(3):239–267
 16.
Iwakuma T, NematNasser S (1983) Composites with periodic microstructure. Computers & Structures 16(1):13–19
 17.
NematNasser S, Yu N, Hori M (1993) Solids with periodically distributed cracks. International Journal of Solids and Structures 30(15):2071–2095
 18.
Fotiu PA, NernatNasser S (1996) Overall properties of elasticviscoplastic periodic composites. International Journal of Plasticity 12(2):163–190
 19.
Chen Y (2004) Percolation and Homogenization Theories for Heterogeneous Materials, Ph.D. thesis at Massachusetts Institute of Technology
 20.
Morawiec A (2004) Orientations and RotationsComputations in Crystallographic Textures. Springer,
 21.
Torquato S (1997) Effective stiffness tensor of composite mediaI. Exact series expansions. Journal of the Mechanics and Physics of Solids 45(9):1421–1448
 22.
Vondřcjc J (2013) FFTbased method for homogenization of periodic media: Theory and applications, dissertation, Czech Technical University in Prague. https://pdfs.semanticscholar.org/5cf3/a69eedfb1e6ee260e30a02a28a899faaea46.pdf
 23.
Stoer J, Bulirsch R (2007) Numerische Mathematik 1. Springer, Berlin
 24.
Saad Y (2003) Iterative Methods for Sparse Linear Systems. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9780898718003
 25.
Stoer J, Bulirsch R (2005) Numerische Mathematik 2. Springer Verlag. https://doi.org/10.1007/9783540453901
 26.
Hackbusch W (2016) Iterative Solution of Large Sparse Systems of Equations. Springer International Publishing. https://doi.org/10.1007/9783319284835
 27.
Lee CE, Ozdaglar AE, Shah D Solving systems of linear equations: Locally and asynchronously, arXiv:abs/1411.2647
 28.
Lee CE, Ozdaglar AE, Shah D Solving for a single component of the solution to a linear system, asynchronously
 29.
Ozdaglar A, Shah D, Yu C Lee (2019) Asynchronous approximation of a single component of the solution to a linear system, IEEE Transactions on Network Science and Engineering, 1–12 https://doi.org/10.1109/TNSE.2019.2894990
 30.
Milaszewicz JP (1987) Improving Jacobi and GaussSeidel iterations. Linear Algebra and its Applications 93:161–170. https://doi.org/10.1016/S00243795(87)903211
 31.
Gunawardena AD, Jain SK, Snyder L (1991) Modified iterative methods for consistent linear systems. Linear Algebra and its Applications 154–156:123–143. https://doi.org/10.1016/00243795(91)903768
 32.
Kotakemori H, Harada K, Morimoto M, Niki H (2002) A comparison theorem for the iterative method with the preconditioner (I+Smax). Journal of Computational and Applied Mathematics 145(2):373–378. https://doi.org/10.1016/S03770427(01)00588X
 33.
Urekew TJ, Rencis JJ (1993) The importance of diagonal dominance in the iterative solution of equations generated from the boundary element method. International Journal for Numerical Methods in Engineering 36(20):3509–3527. https://doi.org/10.1002/nme.1620362007
 34.
Duvigneau F, Liefold S, Höchstetter M, Verhey JL, Gabbert U (2016) Analysis of simulated engine sounds using a psychoacoustic model. Journal of Sound and Vibration 366:544–555. https://doi.org/10.1016/j.jsv.2015.11.034
 35.
Andersen R, Borgs C, Chayes J, Hopcraft J, Mirrokni VS, Teng SH (2007) Local computation of PageRank contributions, in: A. Bonato, F. R. K. Chung (Eds.), Algorithms and Models for the WebGraph, Springer Berlin Heidelberg, pp. 150–165. https://doi.org/10.1007/9783540770046
Acknowledgements
Funding was supported by Deutsche Forschungsgemeinschaft (Grant No. 411252165).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Affiliations
Corresponding author
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
Glüge, R., Altenbach, H. & Eisenträger, S. Locallysynchronous, iterative solver for Fourierbased homogenization. Comput Mech (2021). https://doi.org/10.1007/s0046602101975w
Received:
Accepted:
Published:
Keywords
 Computational micromechanics
 Homogenization
 Fourier method
 Locallysynchronous solver
 Iterative solver