generalized neumann expansion and its application in...

14
Hindawi Publishing Corporation Mathematical Problems in Engineering Volume 2013, Article ID 325025, 13 pages http://dx.doi.org/10.1155/2013/325025 Research Article Generalized Neumann Expansion and Its Application in Stochastic Finite Element Methods Xiangyu Wang, 1 Song Cen, 1,2,3 and Chenfeng Li 4 1 Department of Engineering Mechanics, School of Aerospace, Tsinghua University, Beijing 100084, China 2 High Performance Computing Center, School of Aerospace, Tsinghua University, Beijing 100084, China 3 Key Laboratory of Applied Mechanics, School of Aerospace, Tsinghua University, Beijing 100084, China 4 College of Engineering, Swansea University, Singleton Park, Swansea SA2 8PP, UK Correspondence should be addressed to Song Cen; [email protected] Received 18 July 2013; Accepted 13 August 2013 Academic Editor: Zhiqiang Hu Copyright ยฉ 2013 Xiangyu Wang et al. is 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 acceleration technique, termed generalized Neumann expansion (GNE), is presented for evaluating the responses of uncertain systems. e GNE method, which solves stochastic linear algebraic equations arising in stochastic ๏ฌnite element analysis, is easy to implement and is of high e๏ฌƒciency. e convergence condition of the new method is studied, and a rigorous error estimator is proposed to evaluate the upper bound of the relative error of a given GNE solution. It is found that the third-order GNE solution is su๏ฌƒcient to achieve a good accuracy even when the variation of the source stochastic ๏ฌeld is relatively high. e relationship between the GNE method, the perturbation method, and the standard Neumann expansion method is also discussed. Based on the links between these three methods, quantitative error estimations for the perturbation method and the standard Neumann method are obtained for the ๏ฌrst time in the probability context. 1. Introduction Over the past few decades, the stochastic ๏ฌnite element method (SFEM) has attracted increasing attention from both academia and industries. e objective of SFEM is to analyze uncertainty propagation in practical engineering systems that are a๏ฌ€ected by various random factors, for example, hetero- geneous materials and seismic loading. e current research of SFEM has two main focuses: probabilistic modeling of random media and e๏ฌƒcient numerical solution of stochastic equations. Properties of heterogeneous materials (e.g., rocks and composites) vary randomly through the medium and are generally modeled with stochastic ๏ฌelds. Various proba- bilistic methods [1โ€“7] have been developed to quantitatively describe the random material properties, which include the spectral representation method [1, 2], the Karhunen- Lo` eve expansion method [3, 4], and the Fourier-Karhunen- Lo` eve expansion method [5, 6], to name a few. In these methods, the random material properties are represented by a linear expansion such that they can be directly inserted into the governing equations of the physical system, which facilitates further numerical analysis. e resulting equations are stochastic equations, whose solution is the second main focus of SFEM research and also the focus of this work. For static and steady-state problems, the resulting SFEM equations have the following form [8โ€“13]: (A 0 + A 1 1 + A 2 2 +โ‹…โ‹…โ‹…+ A ) u () = f () , (1) where A 1 ,..., A are ร— symmetric and deterministic matrices, u() the unknown stochastic nodal vector, and f () the nodal force vector. If the material properties are modeled as Gaussian ๏ฌelds, then 1 , 2 ,..., are independent Gaus- sian random variables. e uncertainties from the right-hand side of (1) are relatively easy to handle because they are not directly coupled with the random matrix from the le๏ฌ…-hand side. A number of methods have been developed for the solution of (1), including Monte Carlo methods, the per- turbation method, the Neumann expansion method, and various projection methods. e Monte Carlo methods [14โ€“ 19] ๏ฌrst generate a number of samples of the random material properties, then solve each sample with the deterministic

Upload: others

Post on 30-Jul-2020

6 views

Category:

Documents


0 download

TRANSCRIPT

  • Hindawi Publishing CorporationMathematical Problems in EngineeringVolume 2013, Article ID 325025, 13 pageshttp://dx.doi.org/10.1155/2013/325025

    Research ArticleGeneralized Neumann Expansion and Its Application inStochastic Finite Element Methods

    Xiangyu Wang,1 Song Cen,1,2,3 and Chenfeng Li4

    1 Department of Engineering Mechanics, School of Aerospace, Tsinghua University, Beijing 100084, China2High Performance Computing Center, School of Aerospace, Tsinghua University, Beijing 100084, China3 Key Laboratory of Applied Mechanics, School of Aerospace, Tsinghua University, Beijing 100084, China4College of Engineering, Swansea University, Singleton Park, Swansea SA2 8PP, UK

    Correspondence should be addressed to Song Cen; [email protected]

    Received 18 July 2013; Accepted 13 August 2013

    Academic Editor: Zhiqiang Hu

    Copyright ยฉ 2013 Xiangyu 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 acceleration technique, termed generalized Neumann expansion (GNE), is presented for evaluating the responses of uncertainsystems. The GNE method, which solves stochastic linear algebraic equations arising in stochastic finite element analysis, is easyto implement and is of high efficiency. The convergence condition of the new method is studied, and a rigorous error estimator isproposed to evaluate the upper bound of the relative error of a given GNE solution. It is found that the third-order GNE solutionis sufficient to achieve a good accuracy even when the variation of the source stochastic field is relatively high. The relationshipbetween the GNEmethod, the perturbationmethod, and the standard Neumann expansionmethod is also discussed. Based on thelinks between these three methods, quantitative error estimations for the perturbationmethod and the standard Neumannmethodare obtained for the first time in the probability context.

    1. Introduction

    Over the past few decades, the stochastic finite elementmethod (SFEM) has attracted increasing attention from bothacademia and industries. The objective of SFEM is to analyzeuncertainty propagation in practical engineering systems thatare affected by various random factors, for example, hetero-geneous materials and seismic loading. The current researchof SFEM has two main focuses: probabilistic modeling ofrandom media and efficient numerical solution of stochasticequations. Properties of heterogeneous materials (e.g., rocksand composites) vary randomly through the medium andare generally modeled with stochastic fields. Various proba-bilistic methods [1โ€“7] have been developed to quantitativelydescribe the random material properties, which includethe spectral representation method [1, 2], the Karhunen-Loeฬ€ve expansion method [3, 4], and the Fourier-Karhunen-Loeฬ€ve expansion method [5, 6], to name a few. In thesemethods, the random material properties are represented bya linear expansion such that they can be directly insertedinto the governing equations of the physical system, which

    facilitates further numerical analysis.The resulting equationsare stochastic equations, whose solution is the second mainfocus of SFEM research and also the focus of this work.

    For static and steady-state problems, the resulting SFEMequations have the following form [8โ€“13]:

    (A0+ A1๐›ผ1+ A2๐›ผ2+ โ‹… โ‹… โ‹… + A

    ๐‘š๐›ผ๐‘š) u (๐œ”) = f (๐œ”) , (1)

    where A1, . . . ,A

    ๐‘šare ๐‘› ร— ๐‘› symmetric and deterministic

    matrices, u(๐œ”) the unknown stochastic nodal vector, and f(๐œ”)the nodal force vector. If the material properties are modeledas Gaussian fields, then ๐›ผ

    1, ๐›ผ2, . . . , ๐›ผ

    ๐‘šare independent Gaus-

    sian random variables.The uncertainties from the right-handside of (1) are relatively easy to handle because they are notdirectly coupled with the random matrix from the left-handside.

    A number of methods have been developed for thesolution of (1), including Monte Carlo methods, the per-turbation method, the Neumann expansion method, andvarious projection methods. The Monte Carlo methods [14โ€“19] first generate a number of samples of the randommaterialproperties, then solve each sample with the deterministic

  • 2 Mathematical Problems in Engineering

    FEM solver, and finally evaluate the statistics from thesedeterministic solutions. The Monte Carlo methods are sim-ple, flexible, friendly to parallel computing, and not restrictedby the number of random variables [20]. The computationalcost of Monte Carlo methods is generally high especiallyfor large-scale problems, although there exist a number ofefficient sampling techniques such as important sampling[14, 19], subset simulation [15, 17], and line sampling [18, 19].Owning to its generosity and accuracy when sufficient sam-pling can be ensured, the Monte Carlo method is often takenas the reference method to verify other SFEM techniques.The perturbation method [11, 21โ€“25] expresses the stiffnessmatrix, the load vector, and the unknown nodal displacementvector in terms of Taylor expansion with respect to theinput randomvariables, and the Taylor expansion coefficientscorresponding to the unknown nodal displacement are thensolved by equating terms of the same order from both sidesof (1). Its accuracy decreases when the random fluctuationincreases, and there has not been a quantitative conclusionfor the relationship between the solution error and the levelof perturbation, making it difficult to confidently deploy theperturbation method in practical problems. The Neumannexpansion method [9, 26, 27] is an iterative process for thesolution of linear algebraic equations. Because the spectralradius of the iterative matrix must be smaller than one,it is often considered not suitable for problems with largerandom variations. However, the fluctuation range allowedby the Neumann expansion method is generally higher thanthe perturbation methods, because it is easier to adopthigher order expansions in the former one. It should benoted that the stationary iterative procedure employed inNeumann expansion is not as efficient as the precondi-tioned conjugate gradient procedure employed in MonteCarlo methods. Therefore, the computational efficiency ofthe Neumann expansion method is inferior to direct MonteCarlo simulations. In the projection methods [3, 4, 12, 28โ€“35], the unknown nodal displacements are projected ontoa set of orthogonal polynomials or other orthogonal bases,after which the Galerkin approach is employed to solvethe projection coefficients. However, the projection methodstypically result in an equation system much larger than thedeterministic counterpart, and thus these methods are oftenlimited to cases with a small set of base functions and afew independent random variables. In order to handle prob-lems with more random variables, the stochastic collocationmethods [36โ€“42] have been developed, in which a reducedrandom basis is used in the projection operation and theprojection coefficients are determined by approximating theprecomputedMonte Carlo solutions. However, the stochasticcollocationmethods are believed to be less rigorous and theiraccuracy is poorer than the full projectionmethods using theGalerkin approach. Other variants of the projection proce-dures can be found in [13, 43, 44]. The fatal drawback of theprojection types of solvers is their low efficiency [45], becausethe size of the base function set grows exponentially with thenumber of randomvariables and the order of the polynomialsused. Moreover, the accuracy of the projection methods iscriticized by [46, 47]. For linear stochastic problems, a jointdiagonalization solution strategy was proposed in [8โ€“10], in

    which the stochastic solution is obtained in a closed form byjointly diagonalizing the matrix family in (1). This method isnot sensitive to the number of randomvariables in the system,while there has not been a mathematically rigorous proof forits accuracy.

    We propose a generalized Neumann expansion methodfor the solution of (1). The new GNE method is many timesmore efficient than the standard Neumann method, which iscompromised by increased memory demand. In the contextof probability, a mathematically rigorous error estimation isestablished for the new GNE scheme. It is also proved thatfor (1), the GNE scheme, the standard Neumann expansionmethod, and the perturbation method are equivalent. Hence,the stochastic error estimation obtained here also shed alight on the standard Neumannmethod and the perturbationmethod, which has remained as an outstanding challenge inthe literature.The rest of the paper is organized as follows.TheGNE scheme and its error estimation are derived in Section2, after which it is validated and examined in Section 3 via acomprehensive numerical test. Concluding remarks are givenin Section 4.

    2. Generalized Neumann Expansion Method

    Consider a linear elastic statics system with Youngโ€™s modulusmodeled as a random field. By using the Karhunen-Loeฬ€veexpansion [3, 4] or the Fourier-Karhunen-Loeฬ€ve expansion[5, 6], random Youngโ€™s modulus can be expressed as

    ๐ธ (x, ๐œ”) = ๐ธ0(x) + โˆ‘

    ๐‘–

    โˆš๐œ†๐‘–๐›ผ๐‘–(๐œ”) ๐œ“๐‘–(x) , (2)

    where ๐ธ(x, ๐œ”) denotes random Youngโ€™s modulus at point x,๐ธ0(x) is the expectation of ๐ธ(x, ๐œ”), ๐›ผ

    ๐‘–(๐œ”) are uncorrelated

    random variables, and ๐œ†๐‘–and ๐œ“

    ๐‘–(x) are deterministic eigen

    values and eigen functions corresponding to the covariancefunction of the source field ๐ธ(x, ๐œ”). If ๐ธ(x, ๐œ”) is modeled as aGaussian field, ๐›ผ

    ๐‘–(๐œ”) become independent standard Gaussian

    random variables. For the sake of simplicity, we drop therandom symbol๐œ” and for the rest of the paper use๐›ผ

    ๐‘–to denote

    the random variables in (2).Following the standard finite element (FE) discretization

    procedure, a stochastic system of linear algebraic equationscan be built from (2)

    (A0+โˆ‘๐‘–

    ๐›ผ๐‘–A๐‘–) u = f . (3)

    In the above equation, A0is the conventional FE stiffness

    matrix, which is symmetric, positive definite, and sparsewhile A

    ๐‘–are symmetric and sparse matrices. The determin-

    istic matrices A๐‘–share the same entry pattern as the stiffness

    matrix A0, but they are usually not positive definite.

    2.1. RelatedMethods. TheMonteCarlomethods first generatea set of samples of๐›ผ

    ๐‘–in (3), and each sample of๐›ผ

    ๐‘–corresponds

    to a deterministic equation, which can be solved by thestandard FEMmethod.

  • Mathematical Problems in Engineering 3

    In the perturbation procedure, the unknown randomvector u is expanded as [21, 25, 26]

    u = u0+โˆ‘๐‘–

    ๐›ผ๐‘–u๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—u๐‘–๐‘—+ โ‹… โ‹… โ‹… . (4)

    Substituting (4) into (3) yields

    (A0+โˆ‘๐‘–

    ๐›ผ๐‘–A๐‘–)(u

    0+โˆ‘๐‘–

    ๐›ผ๐‘–u๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—u๐‘–๐‘—+ โ‹… โ‹… โ‹… ) = f ,

    (5)

    from which the components u0, u๐‘–, u๐‘–๐‘—of u are solved as

    follows:

    u0= Aโˆ’10f ,

    u๐‘–= โˆ’Aโˆ’10A๐‘–u0,

    u๐‘–๐‘—= Aโˆ’10A๐‘–Aโˆ’10A๐‘—u0.

    (6)

    It should be noted that, in the stochastic context, there has notbeen a rigorous convergence criterion for the perturbationscheme described above.

    In the Neumann expansion method, the solution of (3) iswritten as

    u = (A0+ ฮ”A)โˆ’1f = (I + B)โˆ’1Aโˆ’1

    0f , (7)

    where ฮ”A = โˆ‘๐‘–๐›ผ๐‘–A๐‘–, B = Aโˆ’1

    0ฮ”A and I is the identity matrix.

    According to Neumann expansion

    (I + B)โˆ’1 = I โˆ’ B + B2 โˆ’ B3 + โ‹… โ‹… โ‹… , (8)

    solution (7) can be simplified as

    u = u0โˆ’ Bu0+ B2u

    0โˆ’ B3u

    0+ โ‹… โ‹… โ‹… , (9)

    where u0= Aโˆ’10f . The spectral radius of matrix B must be

    smaller than 1 to ensure the convergence of (9).

    2.2. The Generalized Neumann Expansion Method. TheNeu-mann expansion (8) can be generalized to the inverse ofmultiple matrices:

    (I +โˆ‘๐‘–

    ๐›ผ๐‘–B๐‘–)

    โˆ’1

    = I โˆ’โˆ‘๐‘–

    ๐›ผ๐‘–B๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—B๐‘–B๐‘—โˆ’ โ‹… โ‹… โ‹… . (10)

    The generalized Neumann expansion (GNE) in (10) can beproved as follows:

    (I +โˆ‘๐‘–

    ๐›ผ๐‘–B๐‘–)(I +โˆ‘

    ๐‘–

    ๐›ผ๐‘–B๐‘–)

    โˆ’1

    = I โˆ’โˆ‘๐‘–

    ๐›ผ๐‘–B๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—B๐‘–B๐‘—โˆ’ โ‹… โ‹… โ‹…

    + ๐›ผ1B1โˆ’โˆ‘๐‘–

    ๐›ผ1๐›ผ๐‘–B1B๐‘–+ โ‹… โ‹… โ‹…

    + ๐›ผ2B2โˆ’โˆ‘๐‘–

    ๐›ผ2๐›ผ๐‘–B2B๐‘–+ โ‹… โ‹… โ‹…

    ...

    + ๐›ผ๐‘›B๐‘›โˆ’โˆ‘๐‘–

    ๐›ผ๐‘›๐›ผ๐‘–B๐‘›B๐‘–+ โ‹… โ‹… โ‹…

    = I,

    (11)

    where ๐‘› is the total number of B๐‘–.

    The Neumann expansion (8) and the generalized Neu-mann expansion (10) are equivalent in mathematics and onlydiffer in organizing thematrix operations.This difference canlead to a significant acceleration in computing the solution of(3). Specifically, let B

    ๐‘–= Aโˆ’10A๐‘–, and applying the GNE in (10)

    to (3) gives

    u = (A0+โˆ‘๐‘–

    ๐›ผ๐‘–A๐‘–)

    โˆ’1

    f = (I +โˆ‘๐‘–

    ๐›ผ๐‘–Aโˆ’10A๐‘–)

    โˆ’1

    Aโˆ’10f

    = u0โˆ’โˆ‘๐‘–

    ๐›ผ๐‘–Aโˆ’10A๐‘–u0+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘—๐›ผ๐‘–Aโˆ’10A๐‘—Aโˆ’10A๐‘–u0โˆ’ โ‹… โ‹… โ‹…

    = u0โˆ’โˆ‘๐‘–

    ๐›ผ๐‘–u๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—u๐‘–๐‘—โˆ’ โ‹… โ‹… โ‹…

    (12)

    in which

    u๐‘–= Aโˆ’10A๐‘–u0,

    u๐‘–๐‘—= Aโˆ’10A๐‘–Aโˆ’10A๐‘—u0.

    (13)

    Equation (12) is the GNE solution.

    2.3. Convergence Analysis and Error Estimation. The conver-gence condition of the GNE (10) is essentially the same as theNeumann expansion (8), that is, ๐œŒ(โˆ‘๐›ผ

    ๐‘–B๐‘–) < 1, where ๐œŒ(โ‹…)

    denotes the spectral radius of a matrix. Hence, for the GNEsolution in (12), the convergence condition is

    ๐œŒ (โˆ‘๐›ผ๐‘–ฮ‘โˆ’1

    0A๐‘–) < 1. (14)

    It should be noted that

    ๐œŒ (โˆ‘๐›ผ๐‘–ฮ‘โˆ’1

    0A๐‘–) = ๐œŒ (โˆ‘๐›ผ

    ๐‘–Cโˆ’1A๐‘–Cโˆ’1) = โˆ‘๐›ผ๐‘–C

    โˆ’1A๐‘–Cโˆ’1๐‘š

    2

    ,

    (15)

  • 4 Mathematical Problems in Engineering

    where โ€– โ‹… โ€–๐‘š2

    denotes the spectral norm of a matrix, and thesymmetric and positive definite matrix C is defined as

    A0= C2. (16)

    As a type ofmatrix norm, the spectral norm has the followingproperties:

    โ€–P +Qโ€–๐‘š2

    โ‰ค โ€–Pโ€–๐‘š2

    + โ€–Qโ€–๐‘š2

    ,

    โ€–PQโ€–๐‘š2

    โ‰ค โ€–Pโ€–๐‘š2โ€–Qโ€–๐‘š

    2

    ,

    โ€–โ„ŽPโ€–๐‘š2

    = โ„Žโ€–Pโ€–๐‘š2

    ,

    (17)

    where P and Q are general matrices and โ„Ž is a positiveconstant. Hence,โˆ‘๐›ผ๐‘–C

    โˆ’1A๐‘–Cโˆ’1๐‘š

    2

    โ‰ค๐›ผ1Cโˆ’1A1Cโˆ’1๐‘š

    2

    +๐›ผ2Cโˆ’1A2Cโˆ’1๐‘š

    2

    + โ‹… โ‹… โ‹…๐›ผ๐‘›Cโˆ’1A๐‘›Cโˆ’1๐‘š

    2

    ,

    ๐œŒ (โˆ‘๐›ผ๐‘–Cโˆ’1A๐‘–Cโˆ’1)

    โ‰ค ๐œŒ (๐›ผ1Cโˆ’1A1Cโˆ’1) + ๐œŒ (๐›ผ

    2Cโˆ’1A2Cโˆ’1)

    + โ‹… โ‹… โ‹… ๐œŒ (๐›ผ๐‘›Cโˆ’1A๐‘›Cโˆ’1) ,

    ๐œŒ (โˆ‘๐›ผ๐‘–ฮ‘โˆ’1

    0A๐‘–)

    โ‰ค ๐œŒ (๐›ผ1ฮ‘โˆ’1

    0A1) + ๐œŒ (๐›ผ

    2ฮ‘โˆ’1

    0A2) + โ‹… โ‹… โ‹… ๐œŒ (๐›ผ

    ๐‘›ฮ‘โˆ’1

    0A๐‘›)

    โ‰ค ๐‘›max (๐›ผ๐‘–)max (๐œŒ (ฮ‘โˆ’1

    0A๐‘–)) .

    (18)

    Based on the above relation, a sufficient but not necessarycondition for convergence is

    ๐‘›max (๐›ผ๐‘–)max (๐œŒ (ฮ‘โˆ’1

    0A๐‘–)) < 1. (19)

    The maximum spectral radius ๐œŒmax = max(๐œŒ(ฮ‘โˆ’1

    0A๐‘–)) can

    be obtained from A0and A

    ๐‘–. Equation (19) can be used

    to verify the convergence of GNE in advance. When ๐›ผ๐‘–

    are independent standard Gaussian random variables, theirabsolute values are smaller than 3 with the probability of99.7%. In this case, (19) can be further simplified:

    ๐‘›max (๐›ผ๐‘–)max (๐œŒ (ฮ‘โˆ’1

    0A๐‘–)) โ‰ˆ 3๐‘›๐œŒmax < 1,

    ๐œŒmax <1

    3๐‘›.

    (20)

    Considering the ๐‘˜th-order GNE (10) or Neumann expansion(8), their error can be estimated as follows:

    (I + B)โˆ’1 โˆ’ (I โˆ’ B + B2 + โ‹… โ‹… โ‹… + (โˆ’1)๐‘˜B๐‘˜)๐‘š

    2

    =B๐‘˜+1(I + B)โˆ’1๐‘š

    2

    โ‰คB๐‘˜+1๐‘š

    2

    (I + B)โˆ’1๐‘š

    2

    =๐œŽ๐‘˜+1๐ต

    1 โˆ’ ๐œŽ๐ต

    ,

    (21)

    where๐œŽ๐ตis the spectral normofB, which is assumed to satisfy

    ๐œŽ๐ต< 1. (22)

    The exact solution of (3) is

    u = (I +โˆ‘๐‘–

    ๐›ผ๐‘–Aโˆ’10A๐‘–)

    โˆ’1

    Aโˆ’10f = (I + B)โˆ’1Aโˆ’1

    0f ,

    Cu = (I +โˆ‘๐‘–

    ๐›ผ๐‘–Cโˆ’1A๐‘–Cโˆ’1)โˆ’1

    Cโˆ’1f

    = (I +D)โˆ’1Cโˆ’1f ,

    (23)

    where B = โˆ‘๐‘–๐›ผ๐‘–Aโˆ’10A๐‘–, D = โˆ‘

    ๐‘–๐›ผ๐‘–Cโˆ’1A๐‘–Cโˆ’1. The ๐‘˜th-order

    GNE or Neumann expansion solution is given by

    uฬƒ = (I โˆ’ B + B2 + โ‹… โ‹… โ‹… + (โˆ’1)๐‘˜B๐‘˜)Aโˆ’10f ,

    Cuฬƒ = (I โˆ’D +D2 + โ‹… โ‹… โ‹… + (โˆ’1)๐‘˜D๐‘˜)Cโˆ’1f .(24)

    The norm of the solution error is defined asโ€–Cu โˆ’ Cuฬƒโ€–2

    =[(I +D)

    โˆ’1 โˆ’ (I โˆ’D +D2 + โ‹… โ‹… โ‹… + (โˆ’1)๐‘˜D๐‘˜)]Cโˆ’1f2

    =D๐‘˜+1(I +D)โˆ’1Cโˆ’1f2 =

    D๐‘˜+1Cu2

    โ‰คD๐‘˜+1๐‘š

    2

    โ€–Cuโ€–2 = ๐œŽ๐‘˜+1

    ๐ทโ€–Cuโ€–2 = ๐œŒ

    ๐‘˜+1

    ๐ตโ€–Cuโ€–2,

    (25)

    where ๐œŒ๐ตis the spectral radius of B.

    The relative error of the solution is defined as

    RE =โˆš(u โˆ’ uฬƒ)๐‘‡A

    0(u โˆ’ uฬƒ)

    โˆšu๐‘‡A0u

    =โˆš(u โˆ’ uฬƒ)๐‘‡C2 (u โˆ’ uฬƒ)

    โˆšu๐‘‡C2u=โ€–Cu โˆ’ Cuฬƒโ€–2โ€–Cuโ€–2

    โ‰ค ๐œŒ๐‘˜+1๐ต.

    (26)

    Comparing (21) and (26), it can be seen that the accuracy forthe solution vector u is even better than the accuracy for thematrix inverse (I + B)โˆ’1.

    2.4. Solutions forMore General Stochastic Algebraic Equations.For the solution of (3), the GNE solution in (12) sharesthe same form as the perturbation solution in (5). Hence,for solving (3), the GNE method, the perturbation method,and the standard Neumann expansion method are identical.The error estimation obtained in (26) also holds for theperturbation approach.

    However, for the following more general stochastic alge-braic equations [26]:

    (A0+โˆ‘๐‘–

    ๐›ผ๐‘–A๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—A๐‘–๐‘—+ โ‹… โ‹… โ‹… ) u

    = f0+โˆ‘๐‘–

    ๐›พ๐‘–f๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›พ๐‘–๐›พ๐‘—f๐‘–๐‘—+ โ‹… โ‹… โ‹… ,

    (27)

  • Mathematical Problems in Engineering 5

    the three methods are not equivalent. Specifically, ap-plying the perturbation method to the above equationyields

    (A0+โˆ‘๐‘–

    ๐›ผ๐‘–A๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—A๐‘–๐‘—+ โ‹… โ‹… โ‹… )

    ร— (u0+โˆ‘๐‘–

    ๐›ฝ๐‘–u๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ฝ๐‘–๐›ฝ๐‘—u๐‘–๐‘—+ โ‹… โ‹… โ‹… )

    = f0+โˆ‘๐‘–

    ๐›พ๐‘–f๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›พ๐‘–๐›พ๐‘—f๐‘–๐‘—+ โ‹… โ‹… โ‹… .

    (28)

    Equation (28) can be reorganized as

    A0u0

    +โˆ‘๐‘–

    ๐›ผ๐‘–A๐‘–u0

    +โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—A๐‘–๐‘—u0

    โ‹… โ‹… โ‹…

    +โˆ‘๐‘–

    A0๐›ฝ๐‘–u๐‘–

    +โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–A๐‘–๐›ฝ๐‘—u๐‘—

    +โˆ‘๐‘–

    โˆ‘๐‘—

    โˆ‘๐‘˜

    ๐›ผ๐‘–๐›ผ๐‘—A๐‘–๐‘—๐›ฝ๐‘˜u๐‘˜

    โ‹… โ‹… โ‹…

    +โˆ‘๐‘–

    โˆ‘๐‘—

    A0๐›ฝ๐‘–๐›ฝ๐‘—u๐‘–๐‘—+โˆ‘๐‘–

    โˆ‘๐‘—

    โˆ‘๐‘˜

    ๐›ผ๐‘–A๐‘–๐›ฝ๐‘—๐›ฝ๐‘˜u๐‘—๐‘˜+โˆ‘๐‘–

    โˆ‘๐‘—

    โˆ‘๐‘˜

    โˆ‘๐‘™

    ๐›ผ๐‘–๐›ผ๐‘—A๐‘–๐‘—๐›ฝ๐‘˜๐›ฝ๐‘™u๐‘˜๐‘™โ‹… โ‹… โ‹…

    โ‹… โ‹… โ‹… โ‹… โ‹… โ‹… โ‹… โ‹… โ‹… d

    = f0+โˆ‘๐‘–

    ๐›พ๐‘–f๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›พ๐‘–๐›พ๐‘—f๐‘–๐‘—+ โ‹… โ‹… โ‹… .

    (29)

    If ๐›ผ๐‘–= ๐›ฝ๐‘–= ๐›พ๐‘–, then the perturbation components u

    0, u๐‘–, u๐‘–๐‘—,

    . . . , u๐‘–1๐‘–2โ‹…โ‹…โ‹…๐‘–๐‘›

    of u can be solved as

    A0u0= f0,

    A0u๐‘–+ A๐‘–u0= f๐‘–,

    A0u๐‘–๐‘—+ A๐‘–u๐‘—+ A๐‘–๐‘—u0= f๐‘–๐‘—,

    ...

    A0u๐‘–1๐‘–2โ‹…โ‹…โ‹…๐‘–๐‘›

    + A๐‘–1

    u๐‘–2๐‘–3โ‹…โ‹…โ‹…๐‘–๐‘›

    + A๐‘–1๐‘–2

    u๐‘–3๐‘–4โ‹…โ‹…โ‹…๐‘–๐‘›

    + A๐‘–1๐‘–2โ‹…โ‹…โ‹…๐‘–๐‘›

    u0= f๐‘–1๐‘–2โ‹…โ‹…โ‹…๐‘–๐‘›

    .

    (30)

    Solving (27) with the Neumann expansion gives

    Aโˆ’1 = (A0+ ฮ”A)โˆ’1

    = (I + B)โˆ’1Aโˆ’10= (I โˆ’ B + B2 โˆ’ B3 + โ‹… โ‹… โ‹… )Aโˆ’1

    0,

    (31)

    where B = Aโˆ’10ฮ”A, ฮ”A = โˆ‘

    ๐‘–๐›ผ๐‘–A๐‘–+ โˆ‘๐‘–โˆ‘๐‘—๐›ผ๐‘–๐›ผ๐‘—A๐‘–๐‘—+ โ‹… โ‹… โ‹… . Then

    u = (I โˆ’ B + B2 โˆ’ B3 + โ‹… โ‹… โ‹… )Aโˆ’10(f0+ ฮ”f) , (32)

    in which

    ฮ”f = โˆ‘๐‘–

    ๐›พ๐‘–f๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›พ๐‘–๐›พ๐‘—f๐‘–๐‘—+ โ‹… โ‹… โ‹… . (33)

    Because higher order entries are included in B, the termBAโˆ’10(f0+ ฮ”f) (the first-order term of the Neumann solution

    in (32)) does not correspond to the first-order entries of u.Therefore, theNeumann solution in (32) and the perturbationsolution in (30) are different for the general stochasticequation (27).

    Solving (27) with the GNE approach gives

    u = (A0+โˆ‘๐‘–๐‘–

    ๐›ผ๐‘–1

    A๐‘–1

    +โˆ‘๐‘–2

    โˆ‘๐‘–1

    ๐›ผ๐‘–1

    ๐›ผ๐‘–2

    A๐‘–1๐‘–2

    + โ‹… โ‹… โ‹…

    +โˆ‘๐‘–๐‘›

    โ‹… โ‹… โ‹…โˆ‘๐‘–2

    โˆ‘๐‘–1

    ๐›ผ๐‘–1๐‘–2โ‹…โ‹…โ‹…๐‘–๐‘›

    A๐‘–1๐‘–2โ‹…โ‹…โ‹…๐‘–๐‘›

    )

    โˆ’1

    f

    = (I +โˆ‘๐‘–๐‘–

    ๐›ผ๐‘–1

    B๐‘–1

    +โˆ‘๐‘–2

    โˆ‘๐‘–1

    ๐›ผ๐‘–1

    ๐›ผ๐‘–2

    B๐‘–1๐‘–2

    + โ‹… โ‹… โ‹…

    +โˆ‘๐‘–๐‘›

    โ‹… โ‹… โ‹…โˆ‘๐‘–2

    โˆ‘๐‘–1

    ๐›ผ๐‘–1๐‘–2โ‹…โ‹…โ‹…๐‘–๐‘›

    B๐‘–1๐‘–2โ‹…โ‹…โ‹…๐‘–๐‘›

    )

    โˆ’1

    Aโˆ’10f

    = (I +โˆ‘๐‘–

    ๐›ฝ๐‘–C๐‘–)

    โˆ’1

    Aโˆ’10f

    = (I โˆ’โˆ‘๐‘–

    ๐›ฝ๐‘–C๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ฝ๐‘–๐›ฝ๐‘—C๐‘–C๐‘—

    โˆ’โˆ‘๐‘–

    โˆ‘๐‘—

    โˆ‘๐‘˜

    ๐›ฝ๐‘–๐›ฝ๐‘—๐›ฝ๐‘˜C๐‘–C๐‘—C๐‘˜+ โ‹… โ‹… โ‹… )Aโˆ’1

    0f ,

    (34)

    where f = f0+ โˆ‘๐‘–๐›พ๐‘–f๐‘–+ โˆ‘๐‘–โˆ‘๐‘—๐›พ๐‘–๐›พ๐‘—f๐‘–๐‘—+ โ‹… โ‹… โ‹… , B

    ๐‘–= Aโˆ’10A๐‘–,

    B๐‘–๐‘—= Aโˆ’10A๐‘–๐‘—, and other B terms can be similarly formed.

    Matrices C๐‘–are determined by realignment of B

    ๐‘–, B๐‘–๐‘—, . . .

    and random variables ๐›ฝ๐‘–are formed by rearrangement of

    ๐›ผ๐‘–1

    , ๐›ผ๐‘–1๐‘–2

    , . . . , ๐›ผ๐‘–1๐‘–2โ‹…โ‹…โ‹…๐‘–๐‘›

    .In summary, when solving (27), the GNEmethod and the

    Neumannmethod are identical, while they are not equivalentto the perturbation procedure. However, if the higher orderterms in the GNE or Neumann expansion solutions areomitted, they degenerate into the perturbation solution.

  • 6 Mathematical Problems in Engineering

    x

    y

    p

    Figure 1: Cross section of the random material sample.

    Two simplified examples are given here to demonstrate thedifference between the GNE and the perturbation method.

    2.4.1. Example I. Only first-order entries are included in bothsides of (27) such that the equation becomes

    (A0+โˆ‘๐‘–

    ๐›ผ๐‘–A๐‘–) u = f

    0+โˆ‘๐‘–

    ๐›ผ๐‘–f๐‘–. (35)

    The first-order perturbation solution is

    u0= Aโˆ’10f0,

    u๐‘–= Aโˆ’10f๐‘–โˆ’ Aโˆ’10A๐‘–u0,

    u = u0+โˆ‘๐‘–

    ๐›ผ๐‘–u๐‘–

    = Aโˆ’10f0+โˆ‘๐‘–

    ๐›ผ๐‘–Aโˆ’10f๐‘–โˆ’โˆ‘๐‘–

    ๐›ผ๐‘–Aโˆ’10A๐‘–u0,

    (36)

    and the first-order GNE solution is

    u = (Aโˆ’10โˆ’โˆ‘๐‘–

    ๐›ผ๐‘–Aโˆ’10A๐‘–Aโˆ’10)(f0+โˆ‘๐‘–

    ๐›ผ๐‘–f๐‘–)

    = Aโˆ’10f0โˆ’โˆ‘๐‘–

    ๐›ผ๐‘–Aโˆ’10A๐‘–u0+โˆ‘๐‘–

    ๐›ผ๐‘–Aโˆ’10f๐‘–

    โˆ’โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—Aโˆ’10A๐‘–f๐‘—.

    (37)

    Comparing (36) and (37), it can be seen that theGNE solutioncontains an extra second-order term โˆ’โˆ‘

    ๐‘–โˆ‘๐‘—๐›ผ๐‘–๐›ผ๐‘—Aโˆ’10A๐‘–f๐‘—.

    2.4.2. Example II. Up to second-order terms are included inthe left-hand side of (27), while only the constant term isincluded in the right-hand side. In this case, the equationbecomes

    (A0+โˆ‘๐‘–

    ๐›ผ๐‘–A๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—A๐‘–๐‘—) u = f

    0. (38)

    Denote u0= Aโˆ’10f0, B๐‘–= Aโˆ’10A๐‘–, and B

    ๐‘–๐‘—= Aโˆ’10A๐‘–๐‘—; then the

    first-order perturbation solution can be expressed as

    u0= Aโˆ’10f0,

    u๐‘–= โˆ’โˆ‘๐‘–

    Aโˆ’10A๐‘–u0= โˆ’โˆ‘๐‘–

    B๐‘–u0,

    u = u0+โˆ‘๐‘–

    ๐›ผ๐‘–u๐‘–= u0โˆ’โˆ‘๐‘–

    ๐›ผ๐‘–B๐‘–u0,

    (39)

    while the first-order GNE solution is

    u = (I +โˆ‘๐‘–

    ๐›ผ๐‘–Aโˆ’10A๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—Aโˆ’10A๐‘–๐‘—)

    โˆ’1

    u0

    = (I +โˆ‘๐‘–

    ๐›ผ๐‘–B๐‘–+โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—B๐‘–๐‘—)

    โˆ’1

    u0

    = (I โˆ’โˆ‘๐‘–

    ๐›ผ๐‘–B๐‘–โˆ’โˆ‘๐‘–

    โˆ‘๐‘—

    ๐›ผ๐‘–๐›ผ๐‘—B๐‘–๐‘—) u0.

    (40)

    Comparing (39) and (40), the second-order termsโˆ’โˆ‘๐‘–โˆ‘๐‘—๐›ผ๐‘–๐›ผ๐‘—Aโˆ’10A๐‘–๐‘—u0in the GNE solution do not appear in

    the perturbation solution (39).

    3. Numerical Examples

    3.1. Example Description. As shown in Figure 1, a plain strainproblem with an orthohexagonal cross section is consideredhere. The length of each edge of the hexagon is 0.4m. ThePoisson ratio of thematerial is set as 0.2, andYoungโ€™smodulusis assumed to be a Gaussian field with amean value of 30GPaand a covariance function defined as

    ๐‘… (๐œ1, ๐œ2) = ๐‘1๐‘’โˆ’๐œ12/๐‘2โˆ’๐œ2

    2/๐‘2 , (41)

    in which ๐œ1= ๐‘ฅ1โˆ’ ๐‘ฅ2and ๐œ2= ๐‘ฆ1โˆ’ ๐‘ฆ2are the coordinate

    differences and ๐‘1and ๐‘2are adjustable constants. As shown in

    Figure 2, the cross section is discretized with triangular linearelements, where each side is divided into 8 equal parts. Thereare in total 384 elements and 217 nodes.

  • Mathematical Problems in Engineering 7

    Figure 2: Finite element mesh.

    The relative error is defined as

    RE =CuGNE โˆ’ CuMC

    2CuMC

    2ร— 100%, (42)

    inwhichuMC is the nodal displacement vector solvedwith theMonte Carlo method and uGNE is the GNE solution. Unlessstated explicitly, the numerical testing is performed for 4340samples generated from the Gaussian field defined in (41).

    The convergence condition of the GNE method has beenrigorously proved. The main purpose of this example isto examine the error distribution and its relationship withvarious randomparameters, forwhich a number of numericaltests are performed in the following subsections.

    3.2. Error Estimation. The third-order GNE solution isadopted.The constants ๐‘

    1and ๐‘2in (41) are varied to examine

    the error estimator in (26). The constant ๐‘1is the variance of

    the Gaussian field, and the constant ๐‘2controls the shape of

    the covariance function. The effective correlation length ๐ฟeffof the covariance function ๐‘…(๐œ) is defined by

    ๐‘… (๐ฟeff)

    ๐‘… (0)= 0.01. (43)

    For any two points in the medium, if the distance betweenthem is larger than ๐ฟeff, their material properties are onlyweakly correlated. The effective correlation length of theGaussian field defined in (41) is

    ๐‘… (๐œ)

    ๐‘… (0)= ๐‘’โˆ’๐œ

    2/๐‘2 = 0.01 โ‡’ ๐ฟeff = 2.146โˆš๐‘2. (44)

    In the first set of tests, the constant ๐‘1is varied to change the

    variance of the Gaussian field. The parameter settings are

    ๐‘1= 0.01, ๐‘

    2= 3.2๐ธ โˆ’ 2, ๐ฟeff = 0.38,

    ๐‘1= 0.04, ๐‘

    2= 3.2๐ธ โˆ’ 2, ๐ฟeff = 0.38.

    (45)

    In the second set of tests, the constant ๐‘2is varied to change

    the shape of the covariance function. The parameter settingsare

    ๐‘1= 0.01, ๐‘

    2= 0.8๐ธ โˆ’ 2, ๐ฟeff = 0.19,

    ๐‘1= 0.01, ๐‘

    2= 2.4๐ธ โˆ’ 2, ๐ฟeff = 0.33,

    ๐‘1= 0.01, ๐‘

    2= 4.0๐ธ โˆ’ 2, ๐ฟeff = 0.43.

    (46)

    3.2.1. The Influence of ๐‘1. Corresponding to ๐‘

    1= 0.01 and

    ๐‘1= 0.04, the standard deviation ๐œŽ of the stochastic field

    is 0.1 and 0.2, respectively. A total number of 4340 samplesare generated for each case. For each realization, both theMonte Carlo solution and the third-order GNE solution arecomputed. The relationship between the spectral radius andthe relative error is drawn in Figures 3 and 4, in which thered crosses show the actual relative errors corresponding toeach sample and the blue line shows the theoretical errorestimation. It can been seen that for both cases, the theoreticalerror estimator in (26) holds accurately and its effectivenessis not affected by the change of the variance controlled by ๐‘

    1.

    3.2.2. The Influence of ๐‘2. The constant ๐‘

    2is adjusted to take

    three different values 0.8 ร— 10โˆ’2, 2.4 ร— 10โˆ’2, and 4.0 ร— 10โˆ’2,while the constant ๐‘

    1remains unchanged. Following (41),

    the effective correlation length grows with the increase of๐‘2. Again, 4340 samples are generated for each stochastic

    field, and for each realization both the Monte Carlo solutionand the third-order GNE solution are computed. Figure 5plots the relationship between spectral radius and the relativeerror, which verifies that, for all cases, the theoretical errorestimation in (26) holds. The changing of ๐‘

    2, which changes

    the variation frequency of the stochastic field, does not affectthe error estimation.

    As indicated in (44), the effective correlation length ๐ฟeffis directly associated with the parameter ๐‘

    2. To investigate

    the influence of ๐ฟeff on the relative error, the empiricalcumulative distribution functions (ECDF) of relative errorsare plotted in Figure 6 for different ๐ฟeff cases. Comparing thethree ECDF curves at different effective correlation lengths,it is found that with the decrease of the effective correlationlength, the accuracy of the GNE solution improves.

    3.3. The Relative Error for Other Types of Stochastic Fields.In the last two subsections, the error estimation analysis hastaken the Gaussian assumption; that is, all random variables๐›ผ๐‘–in (3) are assumed to be independent Gaussian random

    variables. In this subsection, we investigate the relative errorof the GNE method for other types of stochastic fields.Specifically, the random variables ๐›ผ

    ๐‘–in (3) are assumed to

    have the two-point distribution, the binomial distribution,and the ๐›ฝ distribution, respectively. For the case of two-pointdistribution, values {โˆ’0.3๐ธ

    0, 0.3๐ธ0} are assigned with equal

    probability, that is, 0.5. For the case of binomial distribution,ten times Bernoulli trials with the probability 0.5 are adopted,

  • 8 Mathematical Problems in Engineering

    โˆ’14 โˆ’12 โˆ’10 โˆ’8 โˆ’6 โˆ’4โˆ’14

    โˆ’12

    โˆ’10

    โˆ’8

    โˆ’6

    โˆ’4

    Spectral radius โˆผ

    Rela

    tive e

    rror

    โˆผlo

    g (RE

    )

    Solution with c1 = 0.01log (RE) = 4 log (๐œŒB)

    4 log (๐œŒB)

    Figure 3: The relation between the relative error and the spectral radius.

    โˆ’11 โˆ’10 โˆ’9 โˆ’8 โˆ’7 โˆ’6 โˆ’5 โˆ’4 โˆ’3 โˆ’2 โˆ’1 0โˆ’11

    โˆ’10

    โˆ’9

    โˆ’8

    โˆ’7

    โˆ’6

    โˆ’5

    โˆ’4

    โˆ’3

    โˆ’2

    โˆ’1

    0

    Solution with c1 = 0.04log (RE) = 4 log (๐œŒB)

    Spectral radius โˆผ

    Rela

    tive e

    rror

    โˆผlo

    g (RE

    )

    4 log (๐œŒB)

    Figure 4: The relation between the relative error and the spectral radius.

    and the integer values between 0 and 10 are linearly projectedonto [โˆ’0.3๐ธ

    0, 0.3๐ธ0]. For the case of ๐›ฝ distribution, the

    probability density function is defined as

    ๐‘“ (๐‘ฅ | ๐‘Ž, ๐‘) =1

    ๐ต (๐‘Ž, ๐‘)๐‘ฅ๐‘Žโˆ’1(1 โˆ’ ๐‘ฅ)๐‘โˆ’1๐ผ

    (0,1)(๐‘ฅ) , (47)

    where ๐ต(๐‘Ž, ๐‘) is a ๐›ฝ function, and the filter function ๐ผ(0,1)(๐‘ฅ)

    is defined as

    ๐ผ(0,1) (๐‘ฅ) = {

    1 ๐‘ฅ โˆˆ (0, 1)

    0 ๐‘ฅ โˆ‰ (0, 1) .(48)

    Three kinds of ๐›ฝ distributions are considered, with ๐‘Ž = ๐‘ =0.75, ๐‘Ž = ๐‘ = 1, and ๐‘Ž = ๐‘ = 4, respectively.The interval (0, 1)is linearly mapped to [โˆ’0.3๐ธ

    0, 0.3๐ธ0].

    Corresponding to these five distributions, the empiricalcumulative distribution functions of relative errors are plot-ted in Figure 7. Comparing the ECDF curves at differenteffective correlation lengths, the same trend is observed asthe Gaussian case. That is, the relative error decreases withthe drop of effective correlation length.

    3.4. Efficiency Analysis. Using the same computing platform,the Monte Carlo method, the Neumann expansion method,

  • Mathematical Problems in Engineering 9

    โˆ’14 โˆ’12 โˆ’10 โˆ’8 โˆ’6 โˆ’4

    โˆ’14

    โˆ’12

    โˆ’10

    โˆ’8

    โˆ’6

    โˆ’4

    Solution with Leff = 0.19Solution with Leff = 0.33

    Solution with Leff = 0.43log (RE) = 4 log (๐œŒB)

    Spectral radius โˆผ

    Rela

    tive e

    rror

    โˆผlo

    g (RE

    )

    4 log (๐œŒB)

    Figure 5: The relation between the relative error and the spectral radius.

    0 1 2 3 4 5 6 7 8 90

    0.8

    0.6

    0.4

    0.2

    1

    Relative error

    ECD

    F

    Leff = 0.19

    Leff = 0.33Leff = 0.43

    ร—10โˆ’3

    Figure 6: ECDF of the relative errors.

    and the GNE method are employed to solve the sameset of solutions (corresponding to 4340 samples), and thecomputation time is shown in Table 1.The number of randomvariables in the stochastic equation system differs dependingon the effective correlation length. A fixed mesh is adoptedin all of the computation such that the dimension of a singleequation system is 434 ร— 434.

    If the mesh density is doubled, then the dimensionof each matrix is 1634 ร— 1634. The number of randomvariables remains the same in each case. The correspondingcomputation time is shown in Table 2.

    The two data tables indicate that the computationalefficiency of the GNEmethod (up to the third order) is muchhigher than Neumann expansion and Monte Carlo proce-dures. However, the memory requirement for higher orderGNE schemes increases rapidly causing the computationalefficiency to decrease.

    4. Conclusions

    Anacceleration approach ofNeumann expansion is proposedfor solving stochastic linear equations. The new method,

  • 10 Mathematical Problems in Engineering

    0 0.5 1 1.5 2 2.5Relative error

    ECD

    F

    0

    0.8

    0.6

    0.4

    0.2

    1

    ร—10โˆ’5

    (a) Two-point distribution

    0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5Relative error

    ECD

    F

    0

    0.8

    0.6

    0.4

    0.2

    1

    ร—10โˆ’7

    (b) Binomial distribution

    0 0.5 1 1.5 2 2.5 3 3.5 4

    ECD

    F

    Relative error ร—10โˆ’60

    0.8

    0.6

    0.4

    0.2

    1

    (c) ๐›ฝ distribution with ๐‘Ž = ๐‘ = 0.75

    0 0.5 1 1.5 2 2.5 3 3.5

    ECD

    F

    Relative error

    0

    0.8

    0.6

    0.4

    0.2

    1

    ร—10โˆ’6

    (d) ๐›ฝ distribution with ๐‘Ž = ๐‘ = 1

    0 1 2 3 4 5 6Relative error

    ECD

    F

    0

    0.8

    0.6

    0.4

    0.2

    1

    ร—10โˆ’7

    Leff = 0.19

    Leff = 0.33Leff = 0.43

    (e) ๐›ฝ distribution with ๐‘Ž = ๐‘ = 4

    Figure 7: ECDF of the relative error.

  • Mathematical Problems in Engineering 11

    Table 1: Computation time for 4340 samples (unit: s).

    Number of random variables 10 11 16 21 39

    Monte Carlo 40.78 43.26 54.02 65.55 107.13

    GNE

    First order 0.44 0.44 0.48 0.53 0.69Second order 0.79 0.83 1.05 1.28 2.21Third order 1.30 1.43 2.29 3.58 13.33

    Neumann

    First order 26.74 28.96 40.43 52.23 93.90Second order 28.63 30.88 42.28 53.70 95.22Third order 30.28 32.57 44.05 55.49 97.08

    Table 2: Computation time for 16340 samples (unit: s).

    Number of random variables 11 16 21

    Monte Carlo 6560.01 7871.31 9118.39

    GNEM

    First order 13.31 14.85 16.39Second order 16.06 19.23 22.50Third order 24.55 41.86 70.97

    Neumann

    First order 3325.30 4851.50 6017.91Second order 3639.38 5010.79 6314.89Third order 3881.43 5473.71 6609.92

    termed generalized Neumann expansion, generalizes Neu-mann expansion from one matrix to multiple matrices.The GNE method is equivalent to Neumann expansion forgeneral stochastic equations, and for stochastic linear equa-tions, both methods are also equivalent to the perturbationmethod. According to this equivalence relation, a rigorouserror estimation is obtained, which is applicable to all thethree methods. Numerical tests show that the third-orderGNE expansion can provide good accuracy even for relativelylarge random fluctuations.

    Conflict of Interests

    The authors do not have any conflict of interests with thecontent of the paper.

    Acknowledgments

    The authors would like to acknowledge the financial sup-ports of the National Natural Science Foundation of China(11272181), the Specialized Research Fund for the DoctoralProgram of Higher Education of China (20120002110080),and the National Basic Research Program of China (Projectno. 2010CB832701). The authors would also like to thankthe support from British Council and Chinese Scholarship

    Council through the support of an award for Sino-UKHigherEducation Research Partnership for PhD Studies.

    References

    [1] M. Shinozuka and G. Deodatis, โ€œSimulation of stochastic pro-cesses by spectral representation,โ€ Applied Mechanics Reviews,vol. 44, p. 191, 1991.

    [2] M. Shinozuka and G. Deodatis, โ€œSimulation of multi-dimen-sional Gaussian stochastic fields by spectral representation,โ€Applied Mechanics Reviews, vol. 49, no. 1, pp. 29โ€“53, 1996.

    [3] R. G. Ghanem and P. D. Spanos, โ€œSpectral techniques for stoch-astic finite elements,โ€ Archives of Computational Methods inEngineering, vol. 4, no. 1, pp. 63โ€“100, 1997.

    [4] R. G. Ghanem and P. D. Spanos, Stochastic Finite Elements: Aspectral Approach, Courier Dover Publications, 2003.

    [5] C. F. Li, Y. T. Feng, D. R. J. Owen, and I. M. Davies, โ€œFourierrepresentation of random media fields in stochastic finiteelement modelling,โ€ Engineering Computations, vol. 23, no. 7,pp. 794โ€“817, 2006.

    [6] C. F. Li, Y. T. Feng, D. R. J. Owen, D. F. Li, and I. M. Davis, โ€œAFourier-Karhunen-Loeฬ€ve discretization scheme for stationaryrandommaterial properties in SFEM,โ€ International Journal forNumericalMethods in Engineering, vol. 73, no. 13, pp. 1942โ€“1965,2008.

  • 12 Mathematical Problems in Engineering

    [7] J. W. Feng, C. F. Li, S. Cen, and D. R. J. Owen, โ€œStatistical recon-struction of two-phase randommedia,โ€Computers& Structures,2013.

    [8] C. F. Li, Y. T. Feng, and D. R. J. Owen, โ€œExplicit solution to thestochastic system of linear algebraic equations (๐›ผ

    1๐ด1+ ๐›ผ2๐ด2+

    โ‹… โ‹… โ‹…+๐›ผ๐‘š๐ด๐‘š)๐‘ฅ = ๐‘,โ€ComputerMethods in AppliedMechanics and

    Engineering, vol. 195, no. 44โ€“47, pp. 6560โ€“6576, 2006.[9] C. F. Li, S. Adhikari, S. Cen, Y. T. Feng, and D. R. J. Owen,

    โ€œA joint diagonalisation approach for linear stochastic systems,โ€Computers and Structures, vol. 88, no. 19-20, pp. 1137โ€“1148, 2010.

    [10] F. Wang, C. Li, J. Feng, S. Cen, and D. R. J. Owen, โ€œA noveljoint diagonalization approach for linear stochastic systems andreliability analysis,โ€ Engineering Computations, vol. 29, no. 2, pp.221โ€“244, 2012.

    [11] W. K. Liu, T. Belytschko, and A. Mani, โ€œRandom field finiteelements,โ€ International Journal for Numerical Methods in Engi-neering, vol. 23, no. 10, pp. 1831โ€“1845, 1986.

    [12] R. G. Ghanem and R. M. Kruger, โ€œNumerical solution of spec-tral stochastic finite element systems,โ€ Computer Methods inApplied Mechanics and Engineering, vol. 129, no. 3, pp. 289โ€“303,1996.

    [13] M. K. Deb, I. M. BabusฬŒka, and J. T. Oden, โ€œSolution of stoch-astic partial differential equations using Galerkin finite elementtechniques,โ€ Computer Methods in Applied Mechanics and Engi-neering, vol. 190, no. 48, pp. 6359โ€“6372, 2001.

    [14] G. Schueฬˆller, โ€œDevelopments in stochastic structural mechan-ics,โ€Archive of AppliedMechanics, vol. 75, no. 10โ€“12, pp. 755โ€“773,2006.

    [15] S.-K. Au and J. L. Beck, โ€œEstimation of small failure probabilitiesin high dimensions by subset simulation,โ€ Probabilistic Engi-neering Mechanics, vol. 16, no. 4, pp. 263โ€“277, 2001.

    [16] M. Shinozuka, โ€œStructural response variability,โ€ Journal of Engi-neering Mechanics, vol. 113, no. 6, pp. 825โ€“842, 1987.

    [17] S. K. Au and J. L. Beck, โ€œSubset simulation and its application toseismic risk based on dynamic analysis,โ€ Journal of EngineeringMechanics, vol. 129, no. 8, pp. 901โ€“917, 2003.

    [18] P. S. Koutsourelakis, H. J. Pradlwarter, and G. I. Schueฬˆller,โ€œReliability of structures in high dimensionsโ€”part I: algorithmsand applications,โ€ Probabilistic Engineering Mechanics, vol. 19,no. 4, pp. 409โ€“417, 2004.

    [19] G. I. Schueฬˆller, H. J. Pradlwarter, and P. S. Koutsourelakis, โ€œAcritical appraisal of reliability estimation procedures for highdimensions,โ€ Probabilistic Engineering Mechanics, vol. 19, no. 4,pp. 463โ€“474, 2004.

    [20] J. E. Gentle, Elements of Computational Statistics, Springer, NewYork, NY, USA, 2002.

    [21] Oฬˆ. Cฬงavdar, A. Bayraktar, A. Cฬงavdar, and S. Adanur, โ€œPerturba-tion based stochastic finite element analysis of the structuralsystems with composite sections under earthquake forces,โ€ Steeland Composite Structures, vol. 8, no. 2, pp. 129โ€“144, 2008.

    [22] W. K. Liu, T. Belytschko, and A. Mani, โ€œProbabilistic finite ele-ments for nonlinear structural dynamics,โ€ Computer Methodsin Applied Mechanics and Engineering, vol. 56, no. 1, pp. 61โ€“81,1986.

    [23] E. Vanmarcke and M. Grigoriu, โ€œStochastic finite elementanalysis of simple beams,โ€ Journal of EngineeringMechanics, vol.109, no. 5, pp. 1203โ€“1214, 1983.

    [24] C. Papadimitriou, L. S. Katafygiotis, and J. L. Beck, โ€œApprox-imate analysis of response variability of uncertain linear sys-tems,โ€Probabilistic EngineeringMechanics, vol. 10, no. 4, pp. 251โ€“264, 1995.

    [25] H. G. Matthies, C. E. Brenner, C. G. Bucher, and C. G. Soares,โ€œUncertainties in probabilistic numerical analysis of structuresand solidsโ€”stochastic finite elements,โ€ Structural Safety, vol. 19,no. 3, pp. 283โ€“336, 1997.

    [26] F. Yamazaki, M. Shinozuka, and G. Dasgupta, โ€œNeumannexpansion for stochastic finite-element analysis,โ€ Journal ofEngineering Mechanics, vol. 114, no. 8, pp. 1335โ€“1354, 1988.

    [27] M. Shinozuka and G. Deodatis, โ€œResponse variability of stoch-astic finite-element systems,โ€ Journal of Engineering Mechanics,vol. 114, no. 3, pp. 499โ€“519, 1988.

    [28] R. G. Ghanem and P. D. Spanos, โ€œSpectral stochastic finite-ele-ment formulation for reliability analysis,โ€ Journal of EngineeringMechanics, vol. 117, no. 10, pp. 2351โ€“2372, 1991.

    [29] M. F. Pellissetti and R. G. Ghanem, โ€œIterative solution of systemsof linear equations arising in the context of stochastic finiteelements,โ€ Advances in Engineering Software, vol. 31, no. 8, pp.607โ€“616, 2000.

    [30] D. B. Chung,M.A.Gutieฬrrez, L. L. Graham-Brady, and F.-J. Lin-gen, โ€œEfficient numerical strategies for spectral stochastic finiteelement models,โ€ International Journal for Numerical Meth-ods in Engineering, vol. 64, no. 10, pp. 1334โ€“1349, 2005.

    [31] A. Keese and H. G. Matthies, โ€œHierarchical parallelisation forthe solution of stochastic finite element equations,โ€ Computersand Structures, vol. 83, no. 14, pp. 1033โ€“1047, 2005.

    [32] A. Nouy, โ€œA generalized spectral decomposition technique tosolve a class of linear stochastic partial differential equations,โ€Computer Methods in Applied Mechanics and Engineering, vol.196, no. 45โ€“48, pp. 4521โ€“4537, 2007.

    [33] A. Nouy, โ€œGeneralized spectral decompositionmethod for solv-ing stochastic finite element equations: invariant subspace pro-blem and dedicated algorithms,โ€ Computer Methods in AppliedMechanics and Engineering, vol. 197, no. 51-52, pp. 4718โ€“4736,2008.

    [34] C. E. Powell and H. C. Elman, โ€œBlock-diagonal preconditioningfor spectral stochastic finite-element systems,โ€ IMA Journal ofNumerical Analysis, vol. 29, no. 2, pp. 350โ€“375, 2009.

    [35] D. Ghosh, P. Avery, and C. Farhat, โ€œAn FETI-preconditionedconjugate gradient method for large-scale stochastic finite ele-ment problems,โ€ International Journal for Numerical Methods inEngineering, vol. 80, no. 6-7, pp. 914โ€“931, 2009.

    [36] B. Ganapathysubramanian and N. Zabaras, โ€œSparse grid col-location schemes for stochastic natural convection problems,โ€Journal of Computational Physics, vol. 225, no. 1, pp. 652โ€“685,2007.

    [37] N. Zabaras and B. Ganapathysubramanian, โ€œA scalable frame-work for the solution of stochastic inverse problems using asparse grid collocation approach,โ€ Journal of ComputationalPhysics, vol. 227, no. 9, pp. 4697โ€“4735, 2008.

    [38] B. Ganapathysubramanian and N. Zabaras, โ€œA seamless ap-proach towards stochastic modeling: sparse grid collocationand data driven input models,โ€ Finite Elements in Analysis andDesign, vol. 44, no. 5, pp. 298โ€“320, 2008.

    [39] B. Ganapathysubramanian andN. Zabaras, โ€œModeling diffusionin random heterogeneous media: data-driven models, stochas-tic collocation and the variational multiscale method,โ€ Journalof Computational Physics, vol. 226, no. 1, pp. 326โ€“353, 2007.

    [40] M. D.Webster,M. A. Tatang, andG. J.McRae,Application of theProbabilistic Collocation Method for an Uncertainty Analysis ofa Simple Ocean Model, MIT Joint Program on the Science andPolicy of Global Change, 1996.

  • Mathematical Problems in Engineering 13

    [41] I. BabusฬŒka, F. Nobile, and R. Tempone, โ€œA stochastic collocationmethod for elliptic partial differential equations with randominput data,โ€ SIAM Journal on Numerical Analysis, vol. 45, no. 3,pp. 1005โ€“1034, 2007.

    [42] S. Huang, S. Mahadevan, and R. Rebba, โ€œCollocation-basedstochastic finite element analysis for random field problems,โ€Probabilistic Engineering Mechanics, vol. 22, no. 2, pp. 194โ€“205,2007.

    [43] I. BabusฬŒka, R. Temponet, and G. E. Zouraris, โ€œGalerkin finiteelement approximations of stochastic elliptic partial differentialequations,โ€ SIAM Journal on Numerical Analysis, vol. 42, no. 2,pp. 800โ€“825, 2004.

    [44] O. P. Le Maitre, O. M. Knio, H. N. Najm, and R. G. Ghanem,โ€œUncertainty propagation using Wiener-Haar expansions,โ€Journal of Computational Physics, vol. 197, no. 1, pp. 28โ€“57, 2004.

    [45] B. J. Debusschere, H. N. Najm, P. P. Peฬbayt, O. M. Knio, R. G.Ghanem, and O. P. Le Maฤฑฬ‚tre, โ€œNumerical challenges in the useof polynomial chaos representations for stochastic processes,โ€SIAM Journal on Scientific Computing, vol. 26, no. 2, pp. 698โ€“719, 2005.

    [46] T. Crestaux, O. Le Maฬ‚ฤฑtre, and J.-M. Martinez, โ€œPolynomialchaos expansion for sensitivity analysis,โ€ Reliability Engineeringand System Safety, vol. 94, no. 7, pp. 1161โ€“1172, 2009.

    [47] R. V. Field Jr. and M. Grigoriu, โ€œOn the accuracy of the polyno-mial chaos approximation,โ€Probabilistic EngineeringMechanics,vol. 19, no. 1, pp. 65โ€“80, 2004.

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

    OperationsResearch

    Advances in

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

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

    Mathematical Problems in Engineering

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

    ISRN Applied Mathematics

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

    Hindawi Publishing Corporationhttp://www.hindawi.com

    Volume 2013

    International Journal of

    Combinatorics

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

    Journal of Function Spaces

    International Journal of Mathematics and Mathematical Sciences

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

    ISRN Geometry

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

    Discrete Dynamics in Nature and Society

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

    Hindawi Publishing Corporationhttp://www.hindawi.com

    Volume 2013

    Advances in

    Mathematical Physics

    ISRN Algebra

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

    ProbabilityandStatistics

    Journal of

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

    ISRN Mathematical Analysis

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

    Journal ofApplied Mathematics

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

    Advances in

    DecisionSciences

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

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

    Stochastic AnalysisInternational Journal of

    Hindawi Publishing Corporation http://www.hindawi.com Volume 2013Hindawi Publishing Corporation http://www.hindawi.com Volume 2013

    The Scientific World Journal

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

    ISRN Discrete Mathematics

    Hindawi Publishing Corporationhttp://www.hindawi.com

    Differential EquationsInternational Journal of

    Volume 2013