19
Hindawi Publishing Corporation Mathematical Problems in Engineering Volume 2009, Article ID 142384, 18 pages doi:10.1155/2009/142384 Research Article A Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated Porous Medium Xinming Zhang, 1 Jiaqi Liu, 2 and Ke’an Liu 2 1 Harbin Institute of Technology Shenzhen Graduate School, Shenzhen 518055, China 2 Department of Mathematics, Harbin Institute of Technology, Harbin, 150001, China Correspondence should be addressed to Xinming Zhang, [email protected] Received 19 January 2009; Accepted 26 July 2009 Recommended by Victoria Vampa A wavelet Galerkin finite-element method is proposed by combining the wavelet analysis with traditional finite-element method to analyze wave propagation phenomena in fluid-saturated porous medium. The scaling functions of Daubechies wavelets are considered as the interpolation basis functions to replace the polynomial functions, and then the wavelet element is constructed. In order to overcome the integral diculty for lacking of the explicit expression for the Daubechies wavelets, a kind of characteristic function is introduced. The recursive expression of calculating the function values of Daubechies wavelets on the fraction nodes is deduced, and the rapid wavelet transform between the wavelet coecient space and the wave field displacement space is constructed. The results of numerical simulation demonstrate that the method is eective. Copyright q 2009 Xinming Zhang 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. 1. Introduction The fluid-saturated porous medium is modeled as a two-phase system consisting of a solid and a fluid phase. It is assumed that the solid phase is homogenous, isotropic, elastic frame and the fluid phase is viscous, compressible, and filled with the pore space of solid frame. Compared with the single-phase medium theory, fluid-saturated porous medium theory can describe the formation underground more precisely and the fluid-saturated porous medium elastic wave equation can bring more lithology information than ever. For these reasons, fluid-saturated porous medium theory can be used widely in geophysics exploration and engineering surveying.

A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

  • Upload
    others

  • View
    15

  • Download
    0

Embed Size (px)

Citation preview

Page 1: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Hindawi Publishing CorporationMathematical Problems in EngineeringVolume 2009, Article ID 142384, 18 pagesdoi:10.1155/2009/142384

Research ArticleA Wavelet Galerkin Finite-Element Method forthe Biot Wave Equation in the Fluid-SaturatedPorous Medium

Xinming Zhang,1 Jiaqi Liu,2 and Ke’an Liu2

1 Harbin Institute of Technology Shenzhen Graduate School, Shenzhen 518055, China2 Department of Mathematics, Harbin Institute of Technology, Harbin, 150001, China

Correspondence should be addressed to Xinming Zhang, [email protected]

Received 19 January 2009; Accepted 26 July 2009

Recommended by Victoria Vampa

A wavelet Galerkin finite-element method is proposed by combining the wavelet analysis withtraditional finite-element method to analyze wave propagation phenomena in fluid-saturatedporous medium. The scaling functions of Daubechies wavelets are considered as the interpolationbasis functions to replace the polynomial functions, and then the wavelet element is constructed.In order to overcome the integral difficulty for lacking of the explicit expression for theDaubechies wavelets, a kind of characteristic function is introduced. The recursive expressionof calculating the function values of Daubechies wavelets on the fraction nodes is deduced,and the rapid wavelet transform between the wavelet coefficient space and the wave fielddisplacement space is constructed. The results of numerical simulation demonstrate that themethod is effective.

Copyright q 2009 Xinming Zhang et al. This is an open access article distributed under theCreative Commons Attribution License, which permits unrestricted use, distribution, andreproduction in any medium, provided the original work is properly cited.

1. Introduction

The fluid-saturated porous medium is modeled as a two-phase system consisting of a solidand a fluid phase. It is assumed that the solid phase is homogenous, isotropic, elastic frameand the fluid phase is viscous, compressible, and filled with the pore space of solid frame.Compared with the single-phase medium theory, fluid-saturated porous medium theory candescribe the formation underground more precisely and the fluid-saturated porous mediumelastic wave equation can bring more lithology information than ever. For these reasons,fluid-saturated porous medium theory can be used widely in geophysics exploration andengineering surveying.

Page 2: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

2 Mathematical Problems in Engineering

In 1956, a theory was developed for the propagation of stress waves in a porous elasticsolid containing compressible viscous fluid by Biot [1, 2]. Biot described the Second-KindP wave in fluid-saturated porous medium firstly. Since then, many researchers paid theirattention to the propagation characters of elastic wave in saturated porous medium andobtained many achievements [3, 4]. Complicated equations given in Biot dynamic theorycan be solved by analytical methods with some simple boundary conditions. Most dynamicproblems in fluid-saturated porous medium are solved using numerical methods, especiallyusing finite-element method. Ghaboussi and Wilson [5] first proposed a multidimensionalfinite element numerical scheme to solve the linear coupled governing equations. Prevose[6] proposed an efficient finite element procedure to analyze wave propagation phenomenain fluid saturated porous medium and presented some numerical results which demonstratethe versatility of the proposed procedure. Simon et al. [7, 8] presented an analytical solutionfor a transient analysis of a one-dimensional column of a fluid saturated porous elasticsolid and presented a comparison of this exact closed-form solution with finite-elementmethod for several transient problems in porous media. Yazdchi et al. [9, 10] combinedthe finite element method with the boundary element method and the infinite elementmethod, constructed the finite-infinite element method and the finite-boundary elementmethod to deal with the two-phase model in lateral extensive field and obtained better result.Zhao et al. [11] proposed an explicit finite element method for Biot dynamic formulationin fluid-saturated porous medium. It does not need to assemble a global stiffness matrixand solve a set of linear equations in each time step by using the decoupling-technique.For the problem of local high gradient, finite element method improves the calculationprecision by employing the higher-order polynomial or the denser mesh. However, theincrement of polynomial order and mesh knots inevitably needs more computationalwork. Meanwhile, the condition of numerical dissipation will limit the frequency rangethat can be obtained. To overcome these disadvantages, wavelet analysis is introduced tothe finite-element method in this paper. As a new method, the development of waveletanalysis is recent fairly in many fields. Its desirable advantages are the multiresolutionanalysis property and various basis functions for structure analysis. According to differentrequirement, the corresponding scaling functions and wavelet functions can be adoptedto improve the numerical calculation precision. Especially, those wavelets with compactlysupported property and orthogonality, such as Daubechies wavelets, can play an importantrole in many problems [12]. Because of the compactly supported property, if the Daubechieswavelets are considered as the interpolation functions of the finite element method, thecoefficient matrices obtained are sparse matrices and their condition number can be provedindependent of the dimension [13]. Moreover, a new method could be provided because ofthe existence of various basis functions, which can increase the resolution without changingmesh.

In this paper, the wavelet Galerkin finite element method is applied to the directsimulation of the wave equation in the fluid-saturated porous medium. The scaling functionsof Daubechies wavelets are considered as the interpolation basis functions instead of thepolynomial functions and the wavelet element is constructed. Because a kind of characteristicfunction is introduced, the integral difficulty for lacking of the explicit expression for theDaubechies wavelets is solved. Based on the recursive expression of calculating the functionvalues of Daubechies wavelets on the fraction nodes, the rapid wavelet transform betweenthe wavelet coefficient space and the wave field displacement space is constructed andreduces the computational cost. The results of numerical simulation demonstrate the methodis effective.

Page 3: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Mathematical Problems in Engineering 3

2. Wavelet Galerkin Finite-Element Method

2.1. Wavelet Galerkin Finite-Element Method

For purpose of constructing the wavelet Galerkin finite element method, we consider a typicalboundary value problem:

L(u, v) = f, (2.1)

B(u, v)|∂Ω = g, (2.2)

where L(·, ·) is differential operator, B(·, ·) is boundary operator, u, v are the unknownfunctions in the solving domain Ω, and ∂Ω is the boundary.

Supposing u, v are the exact solutions of (2.1) and (2.2), then one gets

L(u, v) − f ≡ 0, (2.3)

and if L(u, v) and f are continuous, (2.3) is equal to

∫Ω

(L(u, v) − f

)φkdxdy = 0. (2.4)

In fact, because of the derivation of one-dimensional wavelet basis element facilitatesa straightforward discussion of multidimensional tensor product wavelet basis element andmultiresolution analysis property of wavelet function [12], the functions u, v can be assumedto consist of a superposition of scaling functions at j level and wavelet functions at the sameand higher levels:

u(x, y)= U1(x)U2

(y), (2.5)

v(x, y)= V1(x)V2

(y), (2.6)

where

U1(x) =∑k

aj,kφjk(x) +∑i≥j,k

ai,kψik(x),

U2(y)=∑k

bj,kφjk(y)+∑i≥j,k

bi,kψik(y),

V1(x) =∑k

cj,kφjk(x) +∑i≥j,k

ci,kψik(x),

V2(y)=∑k

dj,kφjk(y)+∑i≥j,k

di,kψik(y).

(2.7)

Page 4: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

4 Mathematical Problems in Engineering

Upon substituting (2.4) and (2.5) into (2.3), we can obtain an equation system ofwavelet coefficients, whose coefficient matrix consists of the following integrals:

∫Ωφjqψir ,

∫Ωφjqφjr ,

∫Ωψiqψlr ,

∫Ωφ(m)jq ψ

(n)ir ,

∫Ωφ(m)jq φ

(n)jr ,

∫Ωψ(m)iq ψ

(n)lr .

(2.8)

In conventional finite element method, these integrals would be calculated by Gaussquadrature formulae. However, it is not feasible for most wavelet functions. In many cases,there is no explicit expression for the function, in this paper, we choose the Daubechieswavelet as the basis function, and they cannot be integrated numerically due to their unusualsmoothness characteristics. Moreover, the wavelet function is defined in terms of scalingfunction, so these integrals can be rewritten in terms of scaling function alone.

Define the connection coefficients [14–16]:

Γ0,0p,r =

∫Ωφ(x − p

)φ(x − r)dx,

Γm,np,r =∫Ω

d(m)φ

dxm(x − p

)d(n)φ

dxn(x − r)dx,

=∫Ωφ(m)(x − p)φ(n)(x − r)dx.

(2.9)

Once these integrals can be calculated, all the integrals in (2.8) can be obtained andeventually construct the stiffness matrix and load matrix of wavelet Galerkin finite elementmethod.

2.2. The Calculation of Wavelet Connection Coefficients

From what has been discussed earlier, the quality matrix, stiffness matrix, and the load matrixare composed of the integral values of Daubechies wavelets. However, it is well known thatDaubechies wavelets have no explicit expression. In order to solve this problem, a kind ofcharacteristic function is introduced:

χ[0,1](x) =

⎧⎨⎩

1 0 ≤ x ≤ 1,

0 otherwise.(2.10)

Set ξ = 2x then

χ[0,1]

2

)=

⎧⎨⎩

1 0 ≤ ξ ≤ 2,

0 otherwise.(2.11)

Page 5: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Mathematical Problems in Engineering 5

So the trivial two-scale equation of characteristic function is obtained:

χ[0,1]

2

)= χ[0,1](ξ) + χ[1,2](ξ) = χ[0,1](ξ) + χ[0,1](ξ − 1). (2.12)

Set

τ0,0k,s

=∫R

χ[0,1](x)φ(x − k)φ(x − s)dx. (2.13)

Substituting φ(x) =∑

k akφ(2x − k) into (2.13), one obtains

τ0,0k,s =

∫R

χ[0,1](x)∑l

alφ(2(x − k) − l)∑m

amφ(2(x − s) −m)dx

=∫R

χ[0,1](x)∑l

∑m

alamφ(2x − 2k − l)φ(2x − 2s −m)dx

=12

∫R

χ[0,1]

2

)∑l

∑m

alamφ(ξ − 2k − l)φ(ξ − 2s −m)dξ

=12

∑l

∑m

alam

∫R

(χ[0,1](ξ) + χ[0,1](ξ − 1)

)φ(ξ − 2k − l)φ(ξ − 2s −m)dξ

=12

∑l

∑m

alam

∫R

χ[0,1](ξ)φ(ξ − 2k − l)φ(ξ − 2s −m)dξ

+12

∑l

∑m

alam

∫R

χ[0,1](ξ − 1)φ(ξ − 2k − l)φ(ξ − 2s −m)dξ

=12

∑l

∑m

alamτ0,02k+l,2s+m +

12

∑l

∑m

alamτ0,02k+l−1,2s+m−1

=12

∑p

∑r

(ap−2kar−2s + ap−2k+1ar−2s+1

)τ0,0p,r .

(2.14)

It is not difficult to show that we will require the solution of an eigenvalue problemhaving the form

τ0,0k,s

=12A′τ0,0

p,r′, 2N − 1 ≤ k, s ≤ 0, 2N − 1 ≤ p, r ≤ 0, (2.15)

whereA′ is a (2N−1)×(2N−1) partitioned matrix, each submatrix is also a (2N−1)×(2N−1)matrix, in which a′sr = ap−2kar−2s + ap−2k+1ar−2s+1.

Considering the requirement of numerical simulation set

1 ≤ i = s + 8 ≤ 8, 1 ≤ j = r + 8 ≤ 8, 1 ≤ m = k + 8 ≤ 8, 1 ≤ n = p + 8 ≤ 8, (2.16)

then A′kp

is changed to A′mn, in which a′ij = an−2m+8aj−2i+8 + an−2m+9aj−2i+9.

Page 6: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

6 Mathematical Problems in Engineering

However, the eigenvalue problem does not uniquely define the solution, it is essentialto introduce an additional condition to define the solution uniquely.

It is well known that the Daubechies wavelets satisfy

1 =∑k

φ(x − k). (2.17)

By multiplying (2.17) by itself, and subsequently multiplying the product by thecharacteristic function χ[0,1](x), one obtains

1 =∑k

∑l

φ(x − k)φ(x − l),

χ[0,1](x) =∑k

∑l

χ[0,1](x)φ(x − k)φ(x − l).(2.18)

Now, a single integration yields a first normalization condition:

1 =∑k

∑l

τ0,0k,l. (2.19)

So, the unique solution of the eigenvalue problem is defined.The same step can be followed to calculate

τm,nk,s

=∫R

χ[0,1](x)φ(m)(x − k)φ(n)(x − s)dx. (2.20)

Substituting φ(m)(x) = 2m∑

l alφ(m)(2x − k) and φ(n)(x) = 2n

∑q aqφ

(n)(2x − k) into(2.20), one gets

τm,nk,s

=∫R

χ[0,1](x)2m+n∑l

alφ(m)(2(x − k) − l)

∑q

aqφ(n)(2(x − s) − q)dx

= 2m+n∫R

χ[0,1](x)∑l

∑q

alaqφ(m)(2x − 2k − l)φ(n)(2x − 2s − q

)dx

= 2m+n−1∫R

χ[0,1]

2

)∑l

∑q

alaqφ(m)(ξ − 2k − l)φ(n)(ξ − 2s − q

)dξ

= 2m+n−1∑l

∑q

alaq

∫R

(χ[0,1](ξ) + χ[0,1](ξ − 1)

)φ(m)(ξ − 2k − l)φ(n)(ξ − 2s − q

)dξ

Page 7: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Mathematical Problems in Engineering 7

= 2m+n−1∑l

∑q

alaq

∫R

χ[0,1](ξ)φ(m)(ξ − 2k − l)φ(n)(ξ − 2s − q)dξ

+ 2m+n−1∑l

∑q

alaq

∫R

χ[0,1](ξ − 1)φ(m)(ξ − 2k − l)φ(n)(ξ − 2s − q)dξ

= 2m+n−1∑l

∑q

alaqτm,n2k+l,2s+q + 2m+n−1

∑l

∑q

alaqτm,n2k+l−1,2s+q−1

= 2m+n−1∑p

∑r

(ap−2kar−2s + ap−2k+1ar−2s+1

)τm,np,r ,

(2.21)

namely,

τm,nk,s

= 2m+n−1A′τm,np,r . (2.22)

The polynomial reproducing property is employed to construct the additionalcondition:

xm =∑k

pkφ(x − k), (2.23)

xn =∑l

plφ(x − l), (2.24)

Explicit form for calculating the coefficients pkpl can be found in [17].By differentiating (2.23)m times, one obtains

m! =∑k

pkφ(m)(x − k). (2.25)

By differentiating (2.24) n times, one gets

n! =∑l

plφ(n)(x − l). (2.26)

However (2.25) can be multiplied by (2.26), and subsequently multiplying the productby the characteristic function χ[0,1](x),

m!n!χ[0,1](x) =∑k

∑l

χ[0,1](x)pkplφ(m)(x − k)φ(n)(x − l). (2.27)

By integrating (2.27), one obtains the additional condition.

m!n! =∑k

∑l

pkplτm,nk,l

. (2.28)

Then, the unique solution of the eigenvalue problem is defined.

Page 8: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

8 Mathematical Problems in Engineering

3. Wavelet Galerkin Finite-Element Solution of 1D Elastic WaveEquation in Fluid-Saturated Porous Medium

From the Biot theory, the 1D differential equation governing wave propagation in the fluid-saturated porous medium, without fluid viscosity, can be expressed as

∂x

((λ + 2μ + αM

)∂u∂x

)+

∂x

(αM

∂ω

∂x

)= ρu + ρfω − f1,

∂x

(αM

∂u

∂x

)+

∂x

(M

∂ω

∂x

)= ρf u +mω − f2,

(3.1)

where u is the solid displacement and ω is the relative fluid to solid displacement. β is theporosity, ρ = (1 − β)ρs + βρf is the bulk density of solid-fluid mixture, and ρs and ρf are thedensities of solid and fluid, respectively. Also t is time and λb, μ are the Lame coefficients, λ =λb +α2M, where α is the effective stress parameter and M is the compressibility of pore fluid.α = 1−Kb/Ks, M = Ks/[α+β(Ks/Kf −1)] where Ks,Kf ,Kb are the bulk change modulus ofthe solid, fluid, and skeleton, respectively. Moreover Kb = λb + 2μ/3, m = ρf/β, Finally f isseismic focus, and f1 = (1 − β)f , f2 = β(2β − 1)f .

Multiplying both sides of the fluid-saturated porous medium wave equation by theDaubechies wavelets basis function φjk(x) = 2j/2φ(2jx − k), and integrating them at [0, L],we can get

∫L0

(∂

∂x

((λ + 2μ + αM

)∂u∂x

)+

∂x

(αM

∂ω

∂x

))φjk(x)dx =

∫L0

(ρu + ρfω − f1

)φjk(x)dx

∫L0

(∂

∂x

(αM

∂u

∂x

)+

∂x

(M

∂ω

∂x

))φjk(x)dx =

∫L0

(ρf u +mω − f2

)φjk(x)dx.

(3.2)

By using integration by part

(λ + 2μ + αM

)∂u∂x

φjk(x)∣∣∣∣L

0−∫L

0

(λ + 2μ + αM

)∂u∂x

∂φjk(x)∂x

dx + αM∂ω

∂xφjk(x)

∣∣∣∣L

0

−∫L

0αM

∂ω

∂x

∂φjk(x)∂x

dx =∫L

0

(ρu + ρfω − f1

)φjk(x)dx,

(3.3)

αM∂u

∂xφjk(x)

∣∣∣∣L

0−∫L

0αM

∂u

∂x

∂φjk(x)∂x

dx + M∂ω

∂xφjk(x)

∣∣∣∣L

0−∫L

0M

∂ω

∂x

∂φjk(x)∂x

dx

=∫L

0

(ρf u +mω − f2

)φjk(x)dx.

(3.4)

Page 9: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Mathematical Problems in Engineering 9

Set

u(x, t) =0∑

l=2−2N−2jL

al(t)φjl(x),

ω(x, t) =0∑

l=2−2N−2jL

bl(t)φjl(x).

(3.5)

Upon substituting (3.5) into (3.3) and (3.4), one gets

(λ + 2μ + αM

)∂u∂x

φjk(x)∣∣∣∣L

0+αM

∂ω

∂xφjk(x)

∣∣∣∣L

0

−∫L

0

((λ + 2μ + αM

) 0∑l=2−2N−2jL

al(t)∂φjl(x)∂x

∂φjk(x)∂x

+ αM0∑

l=2−2N−2jL

bl(t)∂φjl(x)∂x

∂φjk(x)∂x

)dx

=∫L

0

0∑l=2−2N−2jL

a′′l (t)φjl(x) + ρf0∑

l=2−2N−2jL

b′′l (t)φjl(x) − f1

)φjk(x)dx,

αM∂u

∂xφjk(x)

∣∣∣∣L

0+ M

∂ω

∂xφjk(x)

∣∣∣∣L

0

−∫L

0

(αM

0∑l=2−2N−2jL

al(t)∂φjl(x)∂x

∂φjk(x)∂x

+M0∑

l=2−2N−2jL

bl(t)∂φjl(x)∂x

∂φjk(x)∂x

)dx

=∫L

0

(ρf

0∑l=2−2N−2jL

a′′l (t)φjl(x) +m0∑

l=2−2N−2jL

b′′l (t)φjl(x) − f2

)φjk(x)dx.

(3.6)

By rearranging, (3.6) and become

(λ + 2μ + αM

)∂u∂x

φjk(x)∣∣∣∣L

0+αM

∂ω

∂xφjk(x)

∣∣∣∣L

0

−((

λ + 2μ + αM) 0∑l=2−2N−2jL

al(t) + αM0∑

l=2−2N−2jL

bl(t)

)∫L0

∂φjl(x)∂x

∂φjk(x)∂x

dx

=

0∑l=2−2N−2jL

a′′l (t) + ρf0∑

l=2−2N−2jL

b′′l (t)

)∫L0φjl(x)φjk(x)dx − f1

∫L0φjk(x)dx,

αM∂u

∂xφjk(x)

∣∣∣∣L

0+ M

∂ω

∂xφjk(x)

∣∣∣∣L

0

−(αM

0∑l=2−2N−2jL

al(t) +M0∑

l=2−2N−2jL

bl(t)

)∫L0

∂φjl(x)∂x

∂φjk(x)∂x

dx

=

(ρf

0∑l=2−2N−2jL

a′′l (t) +m0∑

l=2−2N−2jL

b′′l (t)

)∫L0φjl(x)φjk(x)dx − f2

∫L0φjk(x)dx.

(3.7)

Page 10: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

10 Mathematical Problems in Engineering

If select L = 1, j = 0, (3.5) become

u(x, t) =0∑

l=1−2N

al(t)φ(x − l)

ω(x, t) =0∑

l=1−2N

bl(t)φ(x − l)

(3.8)

Set

A = (a1−2N, a2−2N · · ·a0) B = (b1−2N, b2−2N · · · b0),

R = (A,B)T = (a1−2N, a2−2N · · ·a0, b1−2N, b2−2N · · · b0)T .

(3.9)

Then, (3.7) can be changed into an equation system of coefficient R:

MR + PR = F +Q, (3.10)

where

M =

(ρE ρfE

ρfE mE

), P =

(−(λ + 2μ + αM

)G −αMG

−αMG −MG

), F =

(F1

F2

),

E =

⎛⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎝

∫1

0AAdx

∫1

0BAdx · · ·

∫1

0φ(x)Adx

∫1

0ABdx

∫1

0BBdx · · ·

∫1

0φ(x)Bdx

......

......∫1

0Aφ(x)dx

∫1

0Bφ(x)dx · · ·

∫1

0φ(x)φ(x)dx

⎞⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎠

,

G =

⎛⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎝

∫1

0CCdx

∫1

0DCdx · · ·

∫1

0φ′(x)Cdx

∫1

0CDdx

∫1

0DDdx · · ·

∫1

0φ′(x)Ddx

......

......∫1

0Cφ′(x)dx

∫1

0Dφ′(x)dx · · ·

∫1

0φ′(x)φ′(x)dx

⎞⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎠

,

F1 = f1

(∫1

0Adx,

∫1

0Bdx, . . . ,

∫1

0φ(x)dx

)T

,

Page 11: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Mathematical Problems in Engineering 11

F2 = f2

(∫1

0Adx,

∫1

0Bdx, . . . ,

∫1

0φ(x)dx

)T

,

Q = (Q1,Q2)T ,

Q1 =((λ + 2μ + αM)

∂u

∂x+ αM

∂ω

∂x

)(A,B · · ·φ(x)

)T ∣∣∣∣1

0,

Q2 =(αM

∂u

∂x+M

∂ω

∂x

)(A,B · · ·φ(x)

)T ∣∣∣∣1

0,

(3.11)

where A denote φ(x− 1+ 2N), B denote φ(x− 2+ 2N), C denote φ′(x− 1+ 2N) and D denoteφ′(x − 2 + 2N).

Using the second-order center difference to approximate the two derivatives in (3.10),we can obtain

MRn+1 − 2Rn + Rn−1

(Δt)2+ PRn = F +Q. (3.12)

Arranging (3.12), we have

MRn+1 =(

2M − (Δt)2P)Rn −MRn−1 + (Δt)2F + (Δt)2Q, (3.13)

given the initial conditions:

ak(0) = bk(0) = 0, ak(1) = bk(1) = 0. (3.14)

So, we can obtain the wavelet coefficients at each time level by solving (3.13) and(3.14) with some boundary conditions, and then substitute the wavelet coefficients into (3.8),the wave field displacements can be obtained.

4. Rapid Wavelet Transform

In order to obtain the wave field displacements conveniently and quickly, the fast wavelettransform between the wavelet coefficients space and the wave field displacements space isconstructed as follows:

U = ΦP, (4.1)

U is the wave field displacement vector, P is the wavelet coefficient vector, Φ is the wavelettransform matrix.

Page 12: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

12 Mathematical Problems in Engineering

For the sake of simplicity, take the DB2 wavelet as the example. There are 7 nodes insolution field:

U =(u

(18

), u

(14

), u

(38

), u

(12

), u

(58

), u

(34

), u

(78

))T, P =

(p−2, p−1, p0

)T,

Φ =

⎛⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎝

φ

(18+ 2)

φ

(18+ 1)

φ

(18

)

φ

(14+ 2)

φ

(14+ 1)

φ

(14

)

φ

(38+ 2)

φ

(38+ 1)

φ

(38

)

φ

(12+ 2)

φ

(12+ 1)

φ

(12

)

φ

(58+ 2)

φ

(58+ 1)

φ

(58

)

φ

(34+ 2)

φ

(34+ 1)

φ

(34

)

φ

(78+ 2)

φ

(78+ 1)

φ

(78

)

⎞⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎠

.

(4.2)

It is important for constructing the fast wavelet transform to solve the function valuesof the Daubechies wavelets on the fraction nodes. So, the recursive expression of calculatingthe function values of Daubechies wavelets on the fraction nodes is deduced to save thecomputational cost.

Φ(

2ni + p2n

)=

⎧⎪⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎪⎩

(2n−1i + q

2n−1

)if 2 ·

p

2n≤ 1

(2n−1i + q

2n−1

)if 2 ·

p

2n> 1

(4.3)

in which i = 0, 1, . . . 2N − 2, p = 1 : 2 : 2n − 1, q = p mod 2n−1, n controls the mesh partition.

5. Numerical Simulation

To verify the correctness and accuracy of the wavelet Galerkin finite element method, twoexamples are given to compare the results obtained by this method with an analyticalsolution. An one-dimensional column of length l as sketched in Figure 1 is considered. It isassumed that the side walls and the bottom are rigid, frictionless, and impermeable. At top,

Page 13: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Mathematical Problems in Engineering 13

the stress σy and the pressure p are prescribed. The boundary conditions are

u|y=0 = ω|y=0 = 0,

σ|y=l = −P0f(t),

p∣∣y=l = 0.

(5.1)

For this model, if the permeability tends to infinity, that is, κ → ∞, the analyticalsolutions in time domain are [18]

uy =P0

E(d1λ2 − d2λ1)

∞∑n=0

(−1)−n{d2[(t − λ1

(l(2n + 1) − y

))H(t − λ1

(l(2n + 1) − y

))

−(t − λ1

(l(2n + 1) + y

))H(t − λ1

(l(2n + 1) + y

))]

− d1[(t − λ2

(l(2n + 1) − y

))H(t − λ2

(l(2n + 1) − y

))

−(t − λ2

(l(2n + 1) + y

))H(t − λ2

(l(2n + 1) + y

))]},

(5.2)

p =P0d1d2

E(d1λ2 − d2λ1)

∞∑n=0

(−1)−n[H(t − λ1

(l(2n + 1) − y

))+H(t − λ1

(l(2n + 1) + y

))

−H(t − λ2

(l(2n + 1) − y

))+H(t − λ2

(l(2n + 1) + y

))],

(5.3)

where E is Young modulus, assuming a Heaviside step function as temporal behavior, thatis, f(t) = H(t), and together with vanishing initial conditions:

di =Eλ2

i −(ρ − ρf

)(α −Q)λi

(i = 1, 2),

Q =β2ρf

ρα + βρf(κ → ∞),

ρα = 0.66βρf .

(5.4)

However λi are the characteristic roots of following characteristic equation

EQ

ρfλ4 −

(E −

β2

M+(ρ −Qρf

)Qρf

+ (α −Q)2

)λ2 +

β2(ρ −Qρf)M

= 0. (5.5)

Page 14: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

14 Mathematical Problems in Engineering

l

yσ ρ

x

Figure 1: Model of fluid saturated porous medium.

Table 1: The parameters of fluid saturated porous medium.

Kb(Pa) G(Pa) ρ(kg/m3) β Ks(Pa) ρf (kg/m3) Kf (Pa)

rock 8.0 × 109 6.0 × 109 2548 0.19 3.6 × 1010 1000 3.3 × 109

soil 2.1 × 108 9.8 × 107 1884 0.48 1.1 × 1010 1000 3.3 × 109

sediment 3.7 × 107 2.2 × 107 1396 0.76 3.6 × 1010 1000 2.3 × 109

Supposing

A = EQ

ρf, B = E −

β2

M+(ρ −Qρf

)Qρf

+ (α −Q)2,

C =β2(ρ −Qρf)

M,

(5.6)

one gets

λ1 = −λ3 =

√B +√B2 − 4AC2A

,

λ2 = −λ4 =

√B −√B2 − 4AC2A

.

(5.7)

In the first example, the length of column is chosen as l = 1000 m, and threevery different materials, a rock (Berea sandstone), a soil (coarse sand), and a sediment(mud) are chosen. The material data are given in Table 1. In Figures 2, 3, 4, we record thepressure p(t, y = 995 m), five meters behind the excitation (y = l = 1000 m). The numericalresults (plotted with dot) are compared with the analytical solution (5.3), shown as solidlines in Figures 2, 3, 4. In the second example, the length of column is chosen as l = 10 m. Wechoose a material-soil, Figures 5, 6 demonstrate the numerical results—the displacementsuy(t, y = 5 m) and the pressure p(t, y = 5 m). All the figures show that the numericalsolutions are perfectly close to the analytical solutions, so the method developed in this paperhas a very high degree of calculating accuracy.

Page 15: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Mathematical Problems in Engineering 15

−0.2

0

0.2

0.4

p(m

2 /N)

0 0.002 0.004 0.006 0.008 0.01

t (s)

AnalyticalNumerical

Figure 2: The pressure of rock (l = 1000 m, y = 995 m).

0

0.5

1

p(m

2 /N)

0 0.005 0.01 0.015 0.02 0.025 0.03

t (s)

AnalyticalNumerical

Figure 3: The pressure of soil (l = 1000 m, y = 995 m).

6. Conclusion

In this article, the wavelet Galerkin finite element method is constructed by combining thefinite element method with wavelet analysis, and is applied to the numerical simulationof the fluid-saturated porous medium elastic wave equation. For the beautiful and deepmathematic properties of Daubechies wavelets, such as the compactly supported propertyand vanishing moment property, the wavelet Galerkin finite element method has the

Page 16: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

16 Mathematical Problems in Engineering

0

0.5

1

p(m

2 /N)

0 0.01 0.02 0.03 0.04 0.05

t (s)

AnalyticalNumerical

Figure 4: The pressure of sediment (l = 1000 m, y = 995 m).

−3

−2

−1

0

1

u(m

)

0 0.05 0.1 0.15 0.2

t (s)

AnalyticalNumerical

Figure 5: The displacement of soil (l = 1000 m, y = 5 m).

feature of quick iterative rate and high numerical precision. Moreover, contrasts to h- orp-based FEM, a new refine algorithm can be presented because of the multi-resolutionproperty of the wavelet analysis. The algorithm can increase the numerical precision byadopting various wavelet basis functions or various wavelet spaces, without refining themesh.

Page 17: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Mathematical Problems in Engineering 17

−2

−1

0

1

2

p(m

2 /N)

0 0.02 0.04 0.06 0.08 0.1

t (s)

AnalyticalNumerical

Figure 6: The pressure of soil (l = 1000 m, y = 5 m).

Acknowledgment

This work was supported by the China Postdoctoral Science Foundation, under Grant no.20080430930 and by the Natural Science Foundation of Guangdong Province, China, underGrant no. 07300059.

References

[1] M. A. Biot, “Theory of propagation of elastic waves in a fluid-saturated porous solid. I. Low-frequencyrange,” The Journal of the Acoustical Society of America, vol. 28, pp. 168–178, 1956.

[2] M. A. Biot, “Theory of propagation of elastic waves in a fluid-saturated porous solid. II. Higherfrequency range,” The Journal of the Acoustical Society of America, vol. 28, pp. 179–191, 1956.

[3] T. J. Plona, “Observation of a second bulk compressional wave in a porous medium at ultrasonicfrequencies,” Applied Physics Letters, vol. 36, no. 4, pp. 259–261, 1980.

[4] R. Kumar and B. S. Hundal, “Symmetric wave propagation in a fluid-saturated incompressible porousmedium,” Journal of Sound and Vibration, vol. 288, no. 1-2, pp. 361–373, 2005.

[5] J. Ghaboussi and E. L. Wilson, “Variational formulation of dynamics of fluid saturated porous elasticsolids,” Journal of the Engineering Mechanics Division, vol. 98, no. EM4, pp. 947–963, 1972.

[6] J. H. Prevost, “Wave propagation in fluid-saturated porous media: an efficient finite elementprocedure,” International Journal of Soil Dynamics and Earthquake Engineering, vol. 4, no. 4, pp. 183–202, 1985.

[7] B. R. Simon, O. C. Zienkiewicz, and D. K. Paul, “An analytical solution for the transient responseof saturated porous elastic solids,” International Journal for Numerical and Analytical Methods inGeomechanics, vol. 8, pp. 381–398, 1984.

[8] B. R. Simon, J. S. S. Wu, O. C. Zienkiewicz, and D. K. Paul, “Evaluation of u-w and u-π finite elementmethods for the dynamic response of saturated porous media using one-dimensional models,”International Journal for Numerical & Analytical Methods in Geomechanics, vol. 10, no. 5, pp. 461–482,1986.

[9] M. Yazdchi, N. Khalili, and S. Vallippan, “Non-linear seismic behavior of concrete gravity damsusing coupled finite element-boundary element method,” International Journal for Numerical Methodsin Engineering, vol. 44, pp. 101–130, 1999.

Page 18: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

18 Mathematical Problems in Engineering

[10] N. Khalili, M. Yazdchi, and S. Valliappan, “Wave propagation analysis of two-phase saturated porousmedia using coupled finite-infinite element method,” Soil Dynamics and Earthquake Engineering, vol.18, no. 8, pp. 533–553, 1999.

[11] C. Zhao, W. Li, and J. Wang, “An explicit finite element method for dynamic analysis in fluidsaturated porous medium-elastic single-phase medium-ideal fluid medium coupled systems and itsapplication,” Journal of Sound and Vibration, vol. 282, no. 3–5, pp. 1155–1168, 2005.

[12] I. Daubechies, “Orthonormal bases of compactly supported wavelets,” Communications on Pure andApplied Mathematics, vol. 41, no. 7, pp. 909–996, 1988.

[13] S. Jaffard and P. Laurencop, “Orthonormal wavelets, analysis of operators and applications tonumerical analysis,” in Wavelets: A Tutorial in Theory and Applications, C. Chui, Ed., pp. 543–601,Academic Press, New York, NY, USA, 1992.

[14] J. Ko, A. J. Kurdila, and M. S. Pilant, “A class of finite element methods based on orthonormal,compactly supported wavelets,” Computational Mechanics, vol. 16, no. 4, pp. 235–244, 1995.

[15] W. Dahmen and C. A. Micchelli, “Using the refinement equation for evaluating integrals of wavelets,”SIAM Journal on Numerical Analysis, vol. 30, no. 2, pp. 507–537, 1993.

[16] A. Latto, H. L. Resnikoff, and E. Tenenbaum, “The evaluation of connection coefficients of compactlysupported wavelets,” Tech. Rep. AD910708, Aware Inc., 1991.

[17] Z. Youhe, W. Jizeng, and Z. Xiaojing, “Applications of wavelet Galerkin FEM to bending of beam andplate structures,” Applied Mathematics and Mechanics, vol. 19, no. 8, pp. 697–706, 1998 (Chinese).

[18] M. Schanz and A. H.-D. Cheng, “Transient wave propagation in a one-dimensional poroelasticcolumn,” Acta Mechanica, vol. 145, no. 1–4, pp. 1–18, 2000.

Page 19: A Wavelet Galerkin Finite-Element Method for the …downloads.hindawi.com/journals/mpe/2009/142384.pdfA Wavelet Galerkin Finite-Element Method for the Biot Wave Equation in the Fluid-Saturated

Submit your manuscripts athttp://www.hindawi.com

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical Problems in Engineering

Hindawi Publishing Corporationhttp://www.hindawi.com

Differential EquationsInternational Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Probability and StatisticsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Mathematical PhysicsAdvances in

Complex AnalysisJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

OptimizationJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

CombinatoricsHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Operations ResearchAdvances in

Journal of

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied AnalysisHindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

The Scientific World JournalHindawi Publishing Corporation http://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Algebra

Discrete Dynamics in Nature and Society

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Decision SciencesAdvances in

Discrete MathematicsJournal of

Hindawi Publishing Corporationhttp://www.hindawi.com

Volume 2014 Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014

Stochastic AnalysisInternational Journal of