MPE Mathematical Problems in Engineering 1563-5147 1024-123X Hindawi Publishing Corporation 217869 10.1155/2014/217869 217869 Research Article Multiscale Asymptotic Analysis and Parallel Algorithm of Parabolic Equation in Composite Materials http://orcid.org/0000-0002-1524-7482 Wang Xin Duan Xi-liang http://orcid.org/0000-0003-2581-6244 Gao Yang Andrianov Igor Department of Mathematics Shanghai University Shanghai 200444 China shu.edu.cn 2014 842014 2014 19 09 2013 03 03 2014 8 4 2014 2014 Copyright © 2014 Xin Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

An efficient parallel multiscale numerical algorithm is proposed for a parabolic equation with rapidly oscillating coefficients representing heat conduction in composite material with periodic configuration. Instead of following the classical multiscale asymptotic expansion method, the Fourier transform in time is first applied to obtain a set of complex-valued elliptic problems in frequency domain. The multiscale asymptotic analysis is presented and multiscale asymptotic solutions are obtained in frequency domain which can be solved in parallel essentially without data communications. The inverse Fourier transform will then recover the approximate solution in time domain. Convergence result is established. Finally, a novel parallel multiscale FEM algorithm is proposed and some numerical examples are reported.

1. Introduction

Consider the parabolic equation with rapidly oscillating coefficients as follows: (1)uε(x,t)t-xi(aij(xε)uε(x,t)xj)=f(x,t),(x,t)Ω×(0,T),uε(x,t)=0,(x,t)Ω×(0,T),uε(x,0)=u¯(x),xΩ, where Ωn is a bounded smooth domain or a bounded polygonal convex domain with a periodic microstructure and (0,T) denotes the time domain. The unknown is the temperature increment uε(x,t). f(x,t) and u¯(x) are some given functions which denote heat source and initial temperature, respectively. ε>0 is a small parameter and it represents the relative size of a periodic cell.

Let ξ=x/ε and the heat conductivity coefficient (aij(ξ))1i,jn is assumed to satisfy the following.

aij(x/ε)=aij(ξ) is Q-periodic in ξ, i,j=1,,n, where Q=(0,1)n is the reference cell.

(aij(ξ))1i,jn is symmetric and satisfies the uniform elliptic condition; that is, (2)aij(ξ)=aji(ξ),i,j=1,,n,λ1|η|2aij(ξ)ηiηjλ2|η|2,a.e.  ξQ;

where is η=(η1,,ηn) an arbitrary vector in n, and λ1,λ2>0 are some constants independent of ε.

Let QQ and Q=(m=1LD¯m)Q. Suppose that the boundaries DmC1,γ for some 0<γ<1 and aij(ξ)Cμ(D¯m), i,j=1,,n for some 0<μ<1; see [1, 2].

In (1), the rapid spatial oscillations in the coefficients translate the periodic structure of the body which comes from assembling ε-scaled versions of the reference cell Q. This body has to be thought of as being made of a composite material.

An efficient analysis approach to such a problem induces a need for homogenization. The mathematical theory has been presented in a lot of works; see, for example, . Several efficient numerical methods have been proposed and analyzed; for instance, see . From these literatures, we found that the homogenized equation happens to be a system of the same type with constant coefficients. So the normal step-by-step time-marching algorithms such as the backward-Euler, Crank-Nicolson methods, or any higher order methods need to be applied to solve the homogenized equation step by step in time. Although these algorithms are effective in solving many practical problems, one of major drawbacks is that they are not easily parallelizable along the time axis, since they require the information of the solutions at previous time steps in order to advance to the next time step.

In this work, in order to propose a parallelizable multiscale numerical algorithm, we apply the Fourier transform and inverse Fourier transform to present the multiscale asymptotic analysis for (1). Numerical methods for time-dependent problems based on the use of Fourier transform have been considered in [10, 11], providing us with the starting point for using Fourier transform in multiscale asymptotic analysis. In [10, 11], Douglas et al. introduced an efficient parallel method for solving wave equations in the space-time domain after taking the Fourier transforms. The parallel method had been further developed and extended to viscoelasticity, parabolic problems, and Navier-Stokes equations; see [12, 13]. Later Sheen et al. also applied Laplace transform to solve parabolic problems; see [14, 15]. In addition, the early study of homogenization by employing means of integral transformation is , where Fourier and Laplace transforms were applied to prove the weak convergence theorems of the homogenization procedure for the time-dependent equations.

The main procedures in this paper are now briefly described. First, we take the Fourier transform with respect to the time variable in the parabolic equation and then present the multiscale asymptotic expansions of the solutions for the resulting equations in space-frequency domain at specific frequency points of interest, which are independent and may therefore be done in parallel. Finally, the approximate solution of parabolic equation in space-time domain is retrieved by the discrete inverse Fourier transform. It should be stated that our purpose of using Fourier transform is not just to prove the homogenization convergence theorems as done in , but to propose a parallelizable multiscale numerical algorithm. The new contributions presented in this study are the following. The strong convergence theorem of the second-order multiscale asymptotic solution in space-frequency domain is derived where we carefully estimate the bounds associated with frequency variable ω as it has a singularity for both zero and infinity in inverse Fourier transform. The convergence result for the approximate solution in time domain is obtained. A novel parallel multiscale FEM algorithm and numerical examples in 3D composite materials are given.

The remainder of this paper is organized as follows. In Section 2, the original parabolic equation is transformed to a set of complex-valued elliptic problems. The multiscale asymptotic expansions in space-frequency domain are then discussed. In Section 3, the multiscale truncation error estimates in space-frequency domain are derived under some assumptions. The approximate solution in space-time domain is inverted back by discrete inverse Fourier transform and the convergence result is proved in Section 4. Finally, a multiscale algorithm is proposed and numerical simulations are carried out to validate the presented method.

Throughout the paper, let C denote a positive constant independent of ε and ω. All complex-valued functions are assumed to have values in the complex field 𝒞 and standard notations for function spaces and their associated norms will be used in this paper.

2. Fourier Transform and Multiscale Asymptotic Expansions

Denote the Fourier transform of a function ρ(·,t) by ρ^(·,ω), where (3)ρ^(·,ω)=-+ρ(·,t)e-iωtdt.

In order to take the Fourier transform of (1), we first extend uε and f by zero when t<0 and then we transfer (1) into the following complex-valued elliptic problem in space-frequency domain, (4)iωu^ε(x,ω)-xi(aij(ξ)u^ε(x,ω)xj)=f^(x,ω)+u¯(x),xΩ,u^ε(x,ω)=0,xΩ, where ω is some fixed parameter in frequency domain.

It is not difficult to check the existence and uniqueness of the problem (4) with an application of the Lax-Milgram lemma; see .

Proposition 1.

Let ω>0, under the assumptions (A1)-(A2); then, for any f^(·,ω), u¯H-1(Ω), (4) has a unique weak solution u^ε(·,ω).

The method requires solving a finite set of problem (4) at specific frequency point ω. It is natural to treat them simultaneously because they are independent. Moreover, observe that (4) is an equation with rapidly oscillating coefficients in spatial domain. The direct accurate numerical computation of the solution is difficult especially in 3D problems because it would require huge computational cost. We will apply the method of multiscale asymptotic expansion. Let the derivative with respect to x be (5)xi=zi+ε-1ξi,  i=1,,n, where z denotes the macroscopic variable and ξ describes the microscopic one. Two scales describe the model: z gives the position of a point in domain Ω while ξ gives its position in the reference cell Q. On expanding u^ε in asymptotic expansion of the form (6)u^ε(x,ω)=i=0εiu^i(z,ξ,ω), where u^i(z,ξ,ω) is Q-periodic in ξ, the space-frequency (4) becomes (7)-ε-2[ξi(aij(ξ)u^0(z,ξ,ω)ξj)]-ε-1[ξi(aij(ξ)(u^0(z,ξ,ω)zj+u^1(z,ξ,ω)ξj))+zi(aij(ξ)u^0(z,ξ,ω)ξj)]+iωu^0(z,ξ,ω)-zi(aij(ξ)(u^0(z,ξ,ω)zj+u^1(z,ξ,ω)ξj))-ξi(aij(ξ)(u^1(z,ξ,ω)zj+u^2(z,ξ,ω)ξj))+O(ε1)=f^(z,ω)+u¯(z),(z,ξ)Ω×Rn,i=0εiu^i(z,ξ,ω)=0,(z,ξ)Ω×Rn,u^i(z,ξ,ω)Q-periodic  in  ξ.

On equating orders at O(ε-2), with the well-known theorem of the existence and uniqueness of the solutions in quotient space, we deduce that (8)u^0(z,ξ,ω)=u^0(z,ω).

Equating terms at O(ε-1), we have (9)-ξi(aij(ξ)u^1(z,ξ,ω)ξj)=aij(ξ)ξiu^0(z,ω)zj,(z,ξ)Ω×Rn,u^1(z,ξ,ω)Q-periodic  in  ξ, with the method of separation of variables and we can obtain (10)u^1(z,ξ,ω)=Nk(ξ)u^0(z,ω)zk, where Nk(ξ)  (k=1,,n) are the solutions of the following problems: (11)-ξi(aij(ξ)Nk(ξ)ξj)=aik(ξ)ξi,ξRn,Nk(ξ)Q-periodic.

At (ε0), we have (12)iωu^0(z,ω)-aij(ξ)2u^0(z,ω)zizj-aij(ξ)Nk(ξ)ξj2u^0(z,ω)zizk-(aij(ξ)Nk(ξ))ξi2u^0(z,ω)zjzk-ξi(aij(ξ)u^2(z,ξ,ω)ξj)=f^(z,ω)+u¯(z),  (z,ξ)Ω×Rn,u^2(z,ξ,ω)Q-periodic  in  ξ. On averaging (12) over Q, we get the homogenized equation (13)iωu^0(z,ω)-zi(a^iju^0(z,ω)zj)=f^(z,ω)+u¯(z),zΩ,u^0(z,ω)=0,zΩ, where the homogenized coefficients are defined by (14)a^ij=1|Q|Qaij(ξ)+aik(ξ)Nj(ξ)ξkdξ.

Remark 2.

Under the assumptions (A1)-(A2) of the coefficients for the parabolic equation, one can prove that the homogenized coefficients a^ij are also symmetric and uniform elliptic for some constants γ1,γ2>0; see, for example, [3, 5]. Therefore the existence and uniqueness of the solution u^0 for the homogenized (13) can be established.

Subtracting (13) from (12), we have (15)-ξi(aij(ξ)u^2(z,ξ,ω)ξj)=(aij(ξ)-a^ij)2u^0(z,ω)zizj+aij(ξ)Nk(ξ)ξj2u^0(z,ω)zizk+ξi(aij(ξ)Nk(ξ))2u^0(z,ω)zjzk,(z,ξ)Ω×Rn,u^2(z,ξ,ω)Q-periodic  in  ξ, and using the method of separation of variables, we can obtain (16)u^2(z,ξ,ω)=Nkl(ξ)2u^0(z,ω)zkzl, where Nkl(ξ)  (k,l=1,,n) are the solutions of the following problems: (17)-ξi(aij(ξ)Nkl(ξ)ξj)=akl(ξ)-a^kl+akj(ξ)Nl(ξ)ξj+ξi(aik(ξ)Nl(ξ)),  ξRn,Nkl(ξ)Q-periodic.

Remark 3.

Note that Nk(ξ), Nkl(ξ)  (k,l=1,,n) defined in (11) and (17) can be obtained by resolving the following cell problems in Q: (18)-ξi(aij(ξ)Nk(ξ)ξj)=aik(ξ)ξi,ξQ,(Nk(ξ)ξj),ξQNk(ξ)Q-periodic.(19)-ξi(aij(ξ)Nkl(ξ)ξj)=akl(ξ)-a^kl+akj(ξ)Nl(ξ)ξj+ξi(aik(ξ)Nl(ξ)),ξQ,Nkl(ξ)Q-periodic.and then extending their solutions by periodicity (see, e.g., ), so they are called cell functions as usual.

Therefore, we can obtain the first-order and second-order multiscale asymptotic solution for the space-frequency (4) as (20)U^1ε(x,ω)=u^0(z,ω)+εNk(ξ)u^0(z,ω)xk,U^2ε(x,ω)=u^0(z,ω)+εNk(ξ)u^0(z,ω)xk+ε2Nkl(ξ)2u^0(z,ω)xkxl.

Remark 4.

It is worthwhile to note that all the cell problems are real valued, while the homogenized equation is complex valued. Therefore, when we do numerical computation, we need to repeatedly solve the homogenized problem at a set of specific frequency points but solve all the cell problems only once.

3. Multiscale Truncation Error Estimate in Frequency Domain

In order to derive the truncation error estimate for multiscale asymptotic solutions, we first discuss the regularity for the homogenized solution u^0. The key point is to derive precise estimates for the regularity bounds associated with ω since the behavior of these bounds as ω approaches zero and infinity is of critical importance in obtaining the multiscale truncation error estimate and when inverting the multiscale asymptotic solution back to time domain by the inverse Fourier transform.

Proposition 5.

Let u^0(·,ω) be the weak solution of the homogenized equation (13) whose coefficients are constants defined in (14). Then,

for any f^(·,ω), u¯L2(Ω), it holds(21)u^0(·,ω)0,Ωmin{C,1ω}f^(·,ω)+u¯0,Ω,u^0(·,ω)1,ΩCf^(·,ω)+u¯0,Ω,

where the constant C depending only on Ω and the coefficients;

for any f^(·,ω), u¯Hm(Ω) and any subdomain Ω*Ω, it holds(22)u^0(·,ω)m+2,Ω*Cf^(·,ω)+u¯m,Ω,m𝒵+,

where the constant C is depending only on Ω*, Ω and the coefficients. Moreover, if Ω is Cm+2, then we have the global estimate (22) on Ω*=Ω.

Proof.

Define the conjugate bilinear form a^(·,·):H1(Ω)×H1(Ω)𝒞: (23)a^(u,v)=Ωa^ijuzjv~zidz, where v~ denotes the complex conjugate of v. Then the variational formulation of the homogenized equation (13) is to find u^0H01(Ω) such that (24)iω(u^0,v)+a^(u^0,v)=(f^+u¯,v),vH01(Ω).

Set v=u^0 in (24) and take the imaginary part; one obtains (25)ωu^00,Ω2=Imf^+u¯,u^0f^+u¯0,Ωu^00,Ω, which yields (26)u^00,Ω1ωf^+u¯0,Ω.

Let v=u^0 in (24) and consider the real part; with the coercivity of a^ij and the Poincare’s inequality, we have (27)γ1u^00,Ω2a^(u^0,u^0)=Re(f^+u¯,u^0)f^+u¯0,Ωu^00,ΩCf^+u¯0,Ωu^00,Ω, and thus (28)u^01,ΩCf^+u¯0,Ω, together with (26); we have (29)u^00,Ωmin{C,1ω}f^+u¯0,Ω.

Next we investigate the interior regularity of the homogenized solution. Fix any open set Ω*Ω, and choose an open set W such that Ω*WΩ. Then select a cutoff function ζC0(Rn) satisfying (30)ζ=1,zΩ*;ζ=0,zRn-W;0ζ1. Rewrite (24) as (31)a^(u^0,v)=(f^+u¯,v)-iω(u^0,v)B, and set v=-Dk-h(ζ2Dkhu^0),k{1,,N}, where Dkh denotes the difference quotient, (32)Dkhu(z)=u(z+hek)-u(z)h,hR,h0. By a standard regularity technique (see, e.g., , pages 310–313), we have (33)a^(u^0,v)γ12Ωζ2|Dkhu^0|2dz-CΩ|u^0|2dz. Cauchy’s inequality with ϵ yields (34)|B|CΩ(|f^+u¯|+ω|u^0|)|v|dzϵΩ|v|2dz+CϵΩ(|f^+u¯|2+ω2|u^0|2)dz, and use the properties of the difference quotient for v, (35)Ω|v|2dzCΩ(|u^0|2+ζ2|Dkhu^0|2)dz, and choose ϵ=γ1/4 that yields the bound (36)|B|γ14Ωζ2|Dkhu^0|2dz+CΩ|f^+u¯|2+ω2|u^0|2+|u^0|2dz. Combining (33) and (36) implied (37)Ω*|Dkhu^0|2dzCΩζ2|Dkhu^0|2dzCΩ(|f^+u¯|2+ω2|u^0|2+|u^0|2)dz. In view of the properties of the difference quotient, with (29) and (28), we deduce u^0Hloc2, with the estimate (38)u^02,Ω*C(f^+u¯0,Ω+ωu^00,Ω+u^00,Ω)Cf^+u¯0,Ω.

For higher regularity of u^0, insert v=-w/zk into (24), k=1,,n, where wC(Ω), and perform integration by parts; we have (39)iω(u^0zk,w)+a^(u^0zk,w)=((f^+u¯)zk,w). In view of (38), applying the interior H2 regularity result to u^0/zk, then (40)u^0zk2,Ω*C(f^+u¯)zk0,Ω,k=1,,n, which yields (41)u^03,Ω*Cf^+u¯1,Ω.

Finally we can obtain (22) by induction on m. Given ΩCm+2, following the standard boundary regularity technique we get the global estimate (42)u^0(·,ω)m+2,ΩCf^(·,ω)+u¯m,Ω.

Next we can derive the truncation error estimate for multiscale asymptotic solutions (20) in frequency domain.

Theorem 6.

Let u^ε(x,ω) be the weak solution of (4), and let U^sε(x,ω)(s=1,2) be the multiscale asymptotic solutions given in (20). Under the assumptions (A1)(A3), with f^(·,ω)H1(Ω), u¯H1(Ω), u^0(·,ω)H3(Ω), there exists a constant C independent of ε and ω such that (43)u^ε(·,ω)-U^2ε(·,ω)1,ΩC(1+ω)ε1/2f^(·,ω)+u¯1,Ω,s=1,2.

Proof.

For s=2, set Zε(x,ω)=u^ε(x,ω)-U^2ε(x,ω); one can check Zε(x,ω) that satisfy (44)iωZε(x,ω)-xi(aij(xε)Zε(x,ω)xj)=εFε(x,ω),xΩ,Zε(x,ω)=εGε(x,ω),xΩ, where (45)FεF0ε+εFiεxi,F0ε=(ail(ξ)Nk(ξ)+aij(ξ)Nkl(ξ)ξj)3u^0(z,ω)zizkzl-iωNk(ξ)u^0(z,ω)zk-iωεNkl(ξ)2u^0(z,ω)zkzl,Fiε=aij(ξ)Nkl(ξ)3u^0(z,ω)zjzkzl,Gε=-Nk(ξ)u^0(z,ω)zk-εNkl(ξ)2u^0(z,ω)zkzl.

Under the assumptions (A1)(A3), it follows from Theorem 1.1 of  (also see ) that (46)Nk1,,QC,Nkl1,,QC,  k,l=1,,n. Together with the regularity estimate of u^0, one can obtain (47)F0ε0,ΩC(1+ω)f^+u¯1,Ω,Fiε0,ΩCf^+u¯1,Ω, and therefore, we get FεH-1(Ω) and (48)Fε-1,ΩC(1+ω)f^+u¯1,Ω.

In order to get the boundary estimate, introducing the following cutoff function mεC0(Ω) such that (49)mε=1,if  dist(x,Ω)ε,mε=0,if  dist(x,Ω)2ε,mεL(Ω)Cε-1; and setting Ψε=mεGε, Ωε=suppΨε, with the regularity estimate of u^0, we can obtain (50)Ψε0,ΩεCf^+u¯0,Ω,Ψεxi0,ΩεCε-1u^01,Ωε+Cu^03,Ωε. Using the following estimate on boundary layer Ωε, (see ) (51)u^01,ΩεCε1/2u^01,Ω, we have (52)Ψε1,ΩεCε-1/2f^+u¯1,Ω. By the trace theorem, we know (53)Gε1/2,Ω=Ψε1/2,ΩCΨε1,ΩεCε-1/2f^+u¯1,Ω.

Similar to Proposition 5 for (44) with nonhomogeneous boundary condition, we can drive the following estimate: (54)Zε1,ΩCεFε-1,Ω+C(1+ω)εGε1/2,Ω, together with (48) and (53) and we have (55)u^ε(·,ω)-U^2ε(·,ω)1,ΩC(1+ω)ε1/2f^+u¯1,Ω, where C is independent of ε and ω.

For s=1, by means of Theorem  1.2 in , we can also derive the estimate (43). Therefore the proof is complete.

Remark 7.

It is worth noting that, for any Ω*Ω, it is well known that homogenized solution u^0H3(Ω*) if f^(·,ω), and u¯H1(Ω). If u^0 does not have the local H3 regularity near the boundary Ω, follow the way in ; we can use the asymptotic expansion in the interior subdomain and construct the boundary layer near Ω.

4. Inverse Fourier Transform

In this section, we will construct the approximate solution of the parabolic equation (1) in space-time domain by the inverse Fourier transform. Recall the formula of the inverse Fourier transform as (56)v(·,t)=12π-+v^(·,ω)eiωtdω=1πRe0v^(·,ω)eiωtdω, provided that v(·,t) is a real function.

Fix a sufficiently large ω*>0 such that uε(·,ω) is negligible for |ω|>ω*. Set Δω=ω*/M, where M𝒵+ is a selected segment number for the interval (0,ω*) and the space-time solution uε of (1) can be approximated by (57)Us,ω*,Δωε(x,t)=1πRej=1MU^sε(x,ωj-1/2)eitωj-1/2Δω, where ωj-1/2=(j-1/2)Δω, j=1,,M.

In order to get an estimate for uε-Us,ω*,Δωε, let (58)uω*ε(x,t)=1πRe0ω*u^ε(x,ω)eiωtdω,uω*,Δωε(x,t)=1πRej=1Mu^ε(x,ωj-1/2)eitωj-1/2Δω, and we get (59)uε(x,t)-Us,ω*,Δωε(x,t)=(uε(x,t)-uω*ε(x,t))+(uω*ε(x,t)-uω*,Δωε(x,t))++(uω*,Δωε(x,t)-Us,ω*,Δωε(x,t))E1(x,t)+E2(x,t)+E3(x,t).

For E1, from Proposition 5, we can check (60)E1(·,t)0,Ω1πω*u^ε(·,ω)0,Ωdω1πω*1ωf^(·,ω)+u¯0,Ωdω.

For the estimate of E2, the following lemma was proved in .

Lemma 8.

Let (61)Fk0(t)=(0tet-σσkf(x,σ)2dσ)1/2,Fkl(t)=(0t0σl0σ1et-σσk-lf(x,σ)2dσdσ1dσl)1/2, and suppose that for k=0,1,2, Fkl(t)L2(J) for all kl0. Then (62)E2(·,t)0,ΩCΔω2k=02t2-kl=0kFkl(t)0,Ω.

For E3, by Theorem 6, we have (63)E3(·,t)0,Ω=1πRej=1M(u^ε(x,ωj-1/2)-U^sε(x,ωj-1/2))eitωj-1/2Δω0,ΩCΔωj=1M(1+ωj-1/2)ε1/2f^(·,ωj-1/2)+u¯1,ΩCε1/20ω*(1+ω)f^(·,ω)+u¯1,Ωdω.

Combining (60), (62), and (63), we have the following theorem for the full error estimate.

Theorem 9.

Let uε(·,t) be the solution of (1), and let Us,ω*,Δωε(·,t)  (s=1,2) be the approximate solution given in (57). Under the assumptions (A1)(A3), f^(·,ω), u¯H1(Ω), u^0(·,ω)H3(Ω), and suppose that for k=0,1,2, Fkl(t) defined in (61) belong to L2(J) for all kl0; there exists a constant C independent of ε and ω such that (64)uε(·,t)-Us,ω*,Δωε(·,t)0,Ω1πω*1ωf^(·,ω)+u¯0,Ωdω+CΔω2k=02t2-kl=0kFkl(t)0,Ω+Cε1/20ω*(1+ω)f^(·,ω)+u¯1,Ωdω.

5. Parallel Multiscale FEM Algorithm and Numerical Tests

In simulation, we will apply the following first-order and second-order difference quotients of some functions f(x) given by (65)δxjfh(Np)=1τ(Np)eσ(Np)[fhxj]e(Np),δxlxm2fh(Np)=1τ(Np)eσ(Np)[j=1dδxlfh(Pj)χjxm]e(Np),j,l,m=1,,n, where σ(Np), the set of elements with the node Np; τ(Np), is the number of elements of σ(Np); d is the number of nodes on the element e; Pj are the nodes of the element e; χj(x) are the Lagrangian shape functions; fh denotes the FEM solution of f; [f/xj]e(Np) is the value of f/xj at the node Np associated with the element e.

The following parallel multiscale FEM algorithm are presented to solve (1).

Step 1.

Solve the first-order cell problems of Nk defined in (18) for k=1,,n and the second-order cell problems of Nkl defined in (19) for k,l=1,,n in local fine grid of the periodic cell Q by FEM.

Step 2.

Compute the homogenized coefficients a^ij defined in (14) in the local fine grid of the periodic cell Q by numerical integration.

Step 3.

Fix a sufficiently large ω*>0 and set Δω=ω*/M, M𝒵+ and simultaneously solve the complex-valued homogenized equation (13) in the whole domain Ω in a coarse mesh at ωj-1/2=(j-1/2)Δω, j=1,,M. Then compute the first-order and second-order partial derivatives of the homogenized solutions by high order difference quotients in the same coarse mesh.

Step 4.

Extend all the cell functions by periodicity from the local fine grid of the periodic cell Q to the gird of the whole domain Ω. Then compute the multiscale asymptotic solutions given by (20) at frequency points ωj-1/2, j=1,,M.

Step 5.

Calculate the approximation solutions for any fixed time t=t* for the original equation (1) according to the formula (57).

Remark 10.

Notice that cell problems are independent of the time variable t or the frequency variable ω, so they only need to be solved once.

Remark 11.

It should be stated that Step 1 to Step 5 in the algorithm are serial. However, for the time-dependent problems, the main computation of the existing multiscale algorithms is in computing the time-dependent homogenized equation step by step. In our presented algorithm, we can simultaneously solve the homogenized equations at different frequent points, so the main computation of the algorithm is parallel. Also, notice that each step can be done simultaneously. In this respect, different from other multiscale algorithms for the time-dependent equation, we called it parallel algorithm.

Remark 12.

If some conditions of the geometric symmetry are satisfied (see ), then we can employ the homogeneous Dirichlet boundary conditions on the boundary Q for the cell problems (18) and (19). Following the way in , one can also obtain a similar convergence result to that of Theorem 6.

Now we discuss the finite element computation for the complex-valued homogenized Equation (13) in Ω. Let u^0,i=u^0,R+u^0,I and f^=f^R+f^I, where the subscript R denotes the real part of a function and the subscript I denotes the imaginary part.

The variational form of (13) is to find that (u^0,R,u^0,I)H01(Ω)×H01(Ω) satisfied (66)-ω(u^0,I,v)+a^(u^0,R,v)=(f^R+u¯,v),ω(u^0,R,v)+a^(u^0,I,v)=(f^I,v), for any vH01(Ω), and a^(·,·) is given by (23). Let ShH01(Ω) be the finite element space, the discrete variational form of (66) is to find that (u^0,Rh,u^0,Ih)Sh×Sh satisfied (67)-ω(u^0,Ih,vh)+a^(u^0,Rh,vh)=(f^R+u¯,vh),ω(u^0,Rh,vh)+a^(u^0,Ih,vh)=(f^I,vh), for any vhSh. Let {ϕj(x)}j=1Nh be a set of basis of Sh, and set (68)u^0,Rh(x,P)=j=1NhΓRjϕj(x),  u^0,Ih(x,P)=j=1NhΓIjϕj(x), and therefore, we solve the linear system in dimension 2*Nh as follows: (69)(A-ωBωBA)(ΓRΓI)=(FRFI), where (70)A={a^(ϕj,ϕk)}1j,kNh,B={(ϕj,ϕk)}1j,kNh,ΓR(ΓR1,,ΓRNh)T,ΓI(ΓI1,,ΓINh)T,FR:=((f^R+u¯,ϕ1),,(f^R+u¯,ϕNh))T,FI:=((f^I,ϕ1),,(f^I,ϕNh))T.

To validate the proposed method and to confirm the theoretical analysis reported in this paper, we present numerical simulations for the following cases.

Example. Consider the parabolic equation (1) in 3D composite materials, where whole domain Ω and the periodic cell Q are illustrated in Figures 1(a) and 1(b). In the configuration, we take ε=1/8 and the blue cube [0.25,0.75]3 denotes the inclusion and other parts are the matrix. The parameters of the composite materials for two cases will be considered, (71)Case1:aij(ξ)={10δijin  inclusion500δijin  matrix,Case2:aij(ξ)={500δijin  inclusion10δijin  matrix, where ξ=ε-1x. Let f(x)=e-t and u¯(x)=0.

(a) A whole domain Ω, (b) the reference cell Q.

To assess the validity of the presented method, the exact solution uε of the original parabolic equation (1) must be available. It is extremely difficult and even impossible to find the exact solution; we replace it by the numerical solution fully resolved by FEM in space and FDM in time using fine meshes (FD-FE method). It should be noted that more considerable computing time will be required to solve (1) using fully resolved FD-FE method when ε is small, so we only present numerical results for ε=1/8. Here, the linear tetrahedral elements are employed for the semidiscrete problem of (1) using fine meshes, and the solution is computed by the Euler midpoint scheme.

Without confusion, let uε denote the numerical solution for the original problem (1) using the fully resolved FD-FE method. Let U1ε, U2ε denote the numerical solutions inverted back by the first-order and second-order multiscale asymptotic solutions in accordance with (57), respectively. Also, let U0 denote the numerical solution inverted back by the homogenized solutions according to the following formula: (72)U0,ω*,Δω(x,t)=1πRej=1Mu^0(x,ωj-1/2)eitωj-1/2Δω.

All the codes are implemented on parallel hierarchical grid (PHG), which is a toolbox for developing parallel adaptive finite element programs. PHG is currently under active development at State Key Laboratory of Scientific and Engineering Computing of CAS. We use linear tetrahedron elements to solve the related problems numerically.

The numerical results in the cross-section z=0.5625 and at time t=0.1 for Case  1 and Case  2 are displayed in Figures 2 and 3, respectively. Although the first-order and second-order multiscale asymptotic solutions have the same convergence rate as stated in Theorem 9, numerical results displayed in Figure 2 confirm that the second-order corrector terms are crucial in some cases.

Case  1: The solutions in the cross-section z=0.5625, t=0.1, ω*=100, and M=100. (a) The homogenized solution U0; (b) the first-order multiscale solution U1ε; (c) the second-order multiscale solution U2ε; (d) the reference solution uε.

Case  2: The solutions in the cross-section z=0.5625, t=0.1, ω*=100, and M=100. (a) The homogenized solution U0; (b) the first-order multiscale solution U1ε; (c) the second-order multiscale solution U2ε; (d) the reference solution uε.

The relative errors vary with the segment number M in the numerical integration formula (57) for homogenized method (HM), first-order multiscale method (1st MsM), and second-order multiscale method (2nd MsM) corresponding to U0, U1ε, and U2ε that are listed in Figure 4. We observe that the relative errors become stable after M=80. Also, the relative errors evolution over time is listed in Figure 5. The results show that the accuracy of the proposed method especially the 2nd MsM is in good agreement with the fully resolved case. It is worthwhile to note that the relative errors do not grow rapidly as time increases.

L 2 -norm relative errors vary with the segment number M at t=0.1, ω*=100 (a) Case  1; (b) Case  2.

L 2 -norm relative errors evolution over time at ω*=100, M=100 (a) Case  1; (b) Case  2.

The costs required by the developed multiscale finite element method are not sensitive to the time variable but lie on the number of space-frequency equations which is determined by the segment number M, and each space-frequency equation is solved by multiscale finite element method with the computational cost listed in Table 1; for the fully resolved case, we need to compute T/Δt steps and the cost for each time step is also listed in Table 1. This clearly demonstrates that the present algorithm is very effective and tremendous saving in computing time is achieved.

Computational cost for Case 1 and Case 2.

Original Eqs. Cell Eqs. Homogenized Eqs.
Elements 3145728 393216 393216
Dof 536769 68705 137410
Time step Δ t = 0.001
Conflict of Interests

The authors declare that they have no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by National Natural Science Foundation of China (Grant no. 11301329) and the Grant of the First-class Discipline of Universities in Shanghai.

Li Y. Nirenberg L. Estimates for elliptic systems from composite material Communications on Pure and Applied Mathematics 2003 56 7 892 925 10.1002/cpa.10079 MR1990481 ZBL1125.35339 Li Y. Y. Vogelius M. Gradient estimates for solutions to divergence form elliptic equations with discontinuous coefficients Archive for Rational Mechanics and Analysis 2000 153 2 91 151 10.1007/s002050000082 MR1770682 ZBL0958.35060 Bensoussan A. Lions J.-L. Papanicolaou G. Asymptotic Analysis for Periodic Structures 1978 5 Amsterdam, The Netherlands North-Holland xxiv+700 Studies in Mathematics and Its Applications MR503330 Jikov V. V. Kozlov S. M. Oleĭnik O. A. Homogenization of Differential Operators and Integral Functionals 1994 Berlin, Germany Springer xii+570 10.1007/978-3-642-84659-5 MR1329546 Cioranescu D. Donato P. An Introduction to Homogenization 1999 17 New York, NY, USA The Clarendon Press, Oxford University Press x+262 Oxford Lecture Series in Mathematics and Its Applications MR1765047 Oleĭnik O. A. Shamaev A. S. Yosifian G. A. Mathematical Problems in Elasticity and Homogenization 1992 26 Amsterdam, The Netherlands North-Holland xiv+398 Studies in Mathematics and Its Applications MR1195131 Allegretto W. Cao L. Lin Y. Multiscale asymptotic expansion for second order parabolic equations with rapidly oscillating coefficients Discrete and Continuous Dynamical Systems. Series A 2008 20 3 543 576 MR2373203 ZBL1145.65067 Chen S. E W. Shu C.-W. The heterogeneous multiscale method based on the discontinuous Galerkin method for hyperbolic and parabolic problems Multiscale Modeling & Simulation 2005 3 4 871 894 10.1137/040612622 MR2164241 ZBL1080.65090 Ming P. Zhang P. Analysis of the heterogeneous multiscale method for parabolic homogenization problems Mathematics of Computation 2007 76 257 153 177 10.1090/S0025-5718-06-01909-0 MR2261016 ZBL1129.65067 Douglas, J. Jr. Sheen D. Santos J. E. Approximation of scalar waves in the space-frequency domain Mathematical Models and Methods in Applied Sciences 1994 4 4 509 531 10.1142/S0218202594000297 MR1291136 ZBL0812.35173 Douglas, J. Jr. Santos J. E. Sheen D. Bennethum L. S. Frequency domain treatment of one-dimensional scalar waves Mathematical Models and Methods in Applied Sciences 1993 3 2 171 194 10.1142/S0218202593000102 MR1212938 ZBL0783.65070 Kim D. Kim J. Sheen D. Absorbing boundary conditions for wave propagation in viscoelastic media Journal of Computational and Applied Mathematics 1996 76 1-2 301 314 10.1016/S0377-0427(96)00115-X MR1423525 ZBL0864.73020 Lee C.-O. Lee J. Sheen D. Frequency domain formulation of linearized Navier-Stokes equations Computer Methods in Applied Mechanics and Engineering 2000 187 1-2 351 362 10.1016/S0045-7825(99)00132-2 MR1765545 ZBL0952.76065 Sheen D. Sloan I. H. Thomée V. A parallel method for time-discretization of parabolic problems based on contour integral representation and quadrature Mathematics of Computation 2000 69 229 177 195 10.1090/S0025-5718-99-01098-4 MR1648403 ZBL0936.65109 Sheen D. Sloan I. H. Thomée V. A parallel method for time discretization of parabolic equations based on Laplace transformation and quadrature IMA Journal of Numerical Analysis 2003 23 2 269 299 10.1093/imanum/23.2.269 MR1975267 ZBL1022.65108 Sánchez-Palencia E. Nonhomogeneous Media and Vibration Theory 1980 127 Berlin, Germany Springer ix+398 Lecture Notes in Physics MR578345 Lee C.-O. Lee J. Sheen D. Yeom Y. A frequency-domain parallel method for the numerical approximation of parabolic problems Computer Methods in Applied Mechanics and Engineering 1999 169 1-2 19 29 10.1016/S0045-7825(98)00168-6 MR1673921 ZBL0946.65094 Evans L. C. Partial Differential Equations 2010 19 2nd Providence, RI, USA American Mathematical Society xxii+749 Graduate Studies in Mathematics MR2597943 Cao L.-Q. Cui J.-Z. Asymptotic expansions and numerical algorithms of eigenvalues and eigenfunctions of the Dirichlet problem for second order elliptic equations in perforated domains Numerische Mathematik 2004 96 3 525 581 10.1007/s00211-003-0468-7 MR2028726 ZBL1049.65126