^{1}

^{2}

This paper presents the formulation of finite elements based on Deslauriers-Dubuc interpolating scaling functions, also known as Interpolets, for their use in wave propagation modeling. Unlike other wavelet families like Daubechies, Interpolets possess rational filter coefficients, are smooth, symmetric and therefore more suitable for use in numerical methods. Expressions for stiffness and mass matrices are developed based on connection coefficients, which are inner products of basis functions and their derivatives. An example in 1-D was formulated using Central Difference and Newmark schemes for time differentiation. Encouraging results were obtained even for large time steps. Results obtained in 2-D are compared with the standard Finite Difference Method for validation.

Among the numerous techniques available for the solution of partial differential equations (like the one that describes wave propagation phenomena), the Finite Difference Method (FDM) [

The Finite Element Method (FEM) is a versatile tool for solving numerical problems. Its main advantage over other methods is its geometrical flexibility, which allows the use of complex and irregular meshes. Another known advantage of the FEM is how it naturally deals with boundary conditions. Its application to wave propagation problems is still limited, due to the large number of frequencies that are excited in the system [

The conventional formulation of the FEM uses polynomials for interpolating the displacement within the elements (shape functions). This work proposes the use of shape functions based on wavelet scaling functions in order to obtain satisfactory results with less refined meshes and bigger time steps than the traditional FEM and FDM would require without affecting stability and convergence.

Wavelets functions have several properties that are quite useful for representing solutions of partial differential equations (PDEs), such as orthogonality, compact support and exact representation of polynomials of a certain degree. These characteristics allow the efficient and stable calculation of functions with high gradients or singularities at different levels of resolution [

A complete basis of wavelets can be generated through dilation and translation of a mother scaling function. Although many applications use only the wavelet filter coefficients of the multiresolution analysis, there are some which explicitly require the values of the basis functions and their derivatives, such as the Wavelet Finite Element Method (WFEM) [

Working with dyadically refined grids, Deslauriers and Dubuc [

The formulation of an Interpolet-based finite element system is demonstrated for a one-dimensional wave propagation problem. Newmark’s algorithm for direct integration was tried as an alternative to the Central Difference Method in order to allow bigger time steps. A homogeneous example was formulated in order to validate the approach in two-dimensional applications.

Multi-resolution analysis using orthogonal, compactly supported wavelets has become increasingly popular in numerical simulation. Wavelets are localized in space, which allows the analysis of local variations of the problem at various levels of resolution.

All the mathematical foundation for wavelet functions is based on the algorithms for Daubechies wavelets [_{k} are the scaling function filter coefficients and N is the Daubechies wavelet order:

The term interpolet was first used by Donoho [

Any function f(x) can be represented as a linear combination of the basis functions at level of resolution j:

Evaluating the function at a dyadic grid point x = 2^{−j}r yields:

This characteristic is very interesting for numerical applications, since a function can be represented as a weighted sum in which the coefficients are evaluations of the same function at target points on a dyadic mesh:

The Deslauriers-Dubuc interpolating function of order N is given by an autocorrelation of the Daubechies’ scaling filter coefficients (h_{m}) of the same order (i.e. N/2 vanishing moments, given in [

k | Function Order | ||
---|---|---|---|

N = 4 | N = 6 | N = 8 | |

0 | 1 | 1 | 1 |

1 | 9/16 | 150/256 | 150/256 |

2 | 0 | 0 | 0 |

3 | −1/16 | −25/256 | −245/2048 |

4 | 0 | 0 | |

5 | 3/256 | 49/2048 | |

6 | 0 | ||

7 | −5/2048 |

evident. It is capable of representing a 5-degree polynomial. Its Daubechies “mother” of same order would only represent a 2-degree polynomial.

The partial differential equation (PDE) which rules the wave propagation is:

where, u is the horizontal displacement, ρ is the density, t is the time and λ and μ are the Lamé parameters of the medium. Applying Hamilton’s Principle and using the FEM, the PDE can be rewritten at a specific time t as a system of linear equations, which in matrix form is:

In the given expression, M represents the mass matrix and K is the stiffness matrix of the model. These FEM system global matrices are assembled from the individual contributions of the local matrices of each element.

As in the FDM, it becomes necessary to solve the system of equations at discrete time intervals. There are several effective direct integration methods, among which the most intuitive one is the Central Difference Method, given by:

Substituting the expression of the acceleration obtained by the Central Difference Method and solving for the next time step ^{t}^{+Δt}u gives:

The result of the matrix operation M^{−1}K is obtained directly if M is diagonal. In this case, one can generate a unique local matrix at element level which contains both mass and stiffness information. It is known that the diagonal mass matrix can be used instead of the one generated from shape functions (consistent matrix) without introducing significant errors in the system. Nevertheless, in this work consistent mass matrices were used and a global matrix X was assembled using mass and stiffness contributions to the system. Stability of the Central Difference Method is conditioned to the choice of the time step, whose upper bound is obtained from a generalized eigenvalue problem.

The constant-average-acceleration method (a special case of the Newmark Method) consists in an unconditionally stable scheme which can be summarized by the following expression (as given in [

This method requires the calculation of velocity and acceleration at all time steps and the inversion of the left hand side operator. Despite this, the Newmark Method is unconditionally stable. Therefore, significantly bigger time steps can be used.

The PDE for the 2-D axial displacement wave equation is:

which can still be solved using 1-D finite elements by applying a scheme similar to what is commonly done in the FDM:

In the expression above, a second stiffness matrix is introduced as a differential operator in the second space dimension. The displacement is also represented as a matrix, instead of the usual vector representation of the FEM. Matrices X e Z^{T} perform the differentiation along x and z directions respectively. These matrices contain both mass and stiffness information. Assuming spatial sampling of N_{x} × N_{z} points, X and Z are of size N_{x} × N_{x} and N_{z} × N_{z}, respectively. This represents an improvement over traditional FEM in terms of computational effort; usually, the FEM requires a displacement vector of length N_{x} × N_{z} and both global stiffness and mass matrices must have a size of (N_{x} × N_{z}) ×(N_{x} × N_{z}), operating over the whole system.

The application of the Newmark Method in this 2-D scheme is not as simple as in 1-D, since the elements are still one-dimensional and there are right and left matrix multiplications involved. The following expression is an adaptation of the Newmark Method to the 2-D implementation proposed:

In this expression, ^{t}^{+Δt}u appears in both sides of the equation, thus requiring the application of an iterative method for its calculation. This procedure not only increases the computational effort significantly but can also cause instability for large time steps.

Assuming that displacement u is approximated by a series of interpolating scale functions, the following may be written:

Stiffness and mass matrices can be obtained by solving the wave propagation PDE using the FEM. Dimensionless coordinates (ξ) within the interval [0 1] are used in wavelet space, which leads to the subsequent expressions:

The so-called connection coefficients Γ appear in the expressions above. Wavelet dilation and translation properties allow the calculation of connection coefficients to be summarized by the solution of an eigenvalue problem based only on filter coefficients [

Since the expression above leads to an infinite number of solutions, there is the need for a normalization rule that provides a unique eigenvector. This unique solution comes with the inclusion of the so-called moment equation, derived from the wavelet property of exact polynomial representation, which is given originally in [

The dimensionless expressions for the stiffness

To validate the formulation of the interpolet-based finite element, a 1-D example was tested. It consists in applying a forced displacement at the free end of a pinned, unit length rod (

In order to validate the 2-D formulation, a simple example was proposed by analyzing the propagation in a 2 km × 2 km model with a constant velocity of 3000 m/s. Finite Element model was sampled every 6.17 m in both directions with a time step Δt of 0.46 ms, obtained by the generalized eigenvalue problem already described. Non-integer values appear due to the 11 degrees-of-freedom present in the element implemented with IN6. A Newmark scheme was also implemented using the same spatial sampling and Δt = 0.6 ms. The results were compared to the FDM using 5 m spacing in both directions and Δt = 0.2 ms. Finite Element mesh has 325 × 325 points and Finite Difference mesh has 401 × 401. Results are shown in

This work presented the formulation and validation of an interpolet-based finite element. Newmark’s method for time discretization appears promising, although its application in 2-D problems with 1-D elements remains a challenge. The main improvement in the presented formulation was the possibility of using a bigger time step

than the one required by the FDM. In future works, models with greater complexity will be analyzed and different families of wavelets will be explored.

The number of DOFs present in interpolets leads to non-dyadic divisions within the element, requiring an additional approximation which introduces errors in the transformation matrix. The inaccuracy in some values can be attributed mostly to these approximation errors.

As done in the traditional FEM, all matrices involved can be stored and operated in a sparse form, since most of their components are null, thus saving computer resources.

Authors would like to thank CNPq and FAPERJ for their financial support.

Rodrigo Bird Burgos,Marco Antonio Cetale Santos, (2016) Finite Elements Based on Deslauriers-Dubuc Wavelets for Wave Propagation Problems. Applied Mathematics,07,1490-1497. doi: 10.4236/am.2016.714128