×

Boundary conditions and stability of a perfectly matched layer for the elastic wave equation in first order form. (English) Zbl 1349.74359

Summary: In computations, it is now common to surround artificial boundaries of a computational domain with a perfectly matched layer (PML) of finite thickness in order to prevent artificially reflected waves from contaminating a numerical simulation. Unfortunately, the PML does not give us an indication about appropriate boundary conditions needed to close the edges of the PML, or how those boundary conditions should be enforced in a numerical setting. Terminating the PML with an inappropriate boundary condition or an unstable numerical boundary procedure can lead to exponential growth in the PML which will eventually destroy the accuracy of a numerical simulation everywhere. In this paper, we analyze the stability and the well-posedness of boundary conditions terminating the PML for the elastic wave equation in first order form. First, we consider a vertical modal PML truncating a two space dimensional computational domain in the horizontal direction. We freeze all coefficients and consider a left half-plane problem with linear boundary conditions terminating the PML. The normal mode analysis is used to study the stability and well-posedness of the resulting initial boundary value problem (IBVP). The result is that any linear well-posed boundary condition yielding an energy estimate for the elastic wave equation, without the PML, will also lead to a well-posed IBVP for the PML. Second, we extend the analysis to the PML corner region where both a horizontal and vertical PML are simultaneously active. The challenge lies in constructing accurate and stable numerical approximations for the PML and the boundary conditions. Third, we develop a high order accurate finite difference approximation of the PML subject to the boundary conditions. To enable accurate and stable numerical boundary treatments for the PML we construct continuous energy estimates in the Laplace space for a one space dimensional problem and two space dimensional PML corner problem. We use summation-by-parts finite difference operators to approximate the spatial derivatives and impose boundary conditions weakly using penalties. In order to ensure numerical stability of the discrete PML, it is necessary to extend the numerical boundary procedure to the auxiliary differential equations. This is crucial for deriving discrete energy estimates analogous to the continuous energy estimates. Numerical experiments are presented corroborating the theoretical results. Moreover, in order to ensure longtime numerical stability, the boundary condition closing the PML, or its corresponding discrete implementation, must be dissipative. Furthermore, the numerical experiments demonstrate the stable and robust treatment of PML corners.

MSC:

74S20 Finite difference methods applied to problems in solid mechanics
65M06 Finite difference methods for initial value and initial-boundary value problems involving PDEs
35Q74 PDEs in connection with mechanics of deformable solids
74J15 Surface waves in solid mechanics
Full Text: DOI

References:

[1] Bérenger, J.-P., A perfectly matched layer for the absorption of electromagnetic waves, J. Comput. Phys., 114, 185-200 (1994) · Zbl 0814.65129
[2] Bécache, E.; Fauqueux, S.; Joly, P., Stability of perfectly matched layers, group velocities and anisotropic waves, J. Comput. Phys., 188, 399-433 (2003) · Zbl 1127.74335
[3] Appelö, D.; Kreiss, G., A new absorbing layer for elastic waves, J. Comput. Phys., 215, 642-660 (2006) · Zbl 1090.74028
[4] Duru, K.; Kreiss, G., Boundary waves and stability of the perfectly matched layer for the two space dimensional elastic wave equation in second order form, SIAM J. Numer. Anal., 52, 6, 2883-2904 (2014) · Zbl 1311.35138
[5] Skelton, E. A.; Adams, S. D.M.; Craster, R. V., Guided elastic waves and perfectly matched layers, Wave Motion, 44, 573-592 (2007) · Zbl 1231.74188
[6] Zeng, C.; Xia, J.; Miller, R.; Tsoflias, G., Application of the multi-axial perfectly matched layer (M-PML) to near-surface seismic modeling with Rayleigh waves, Geophysics, 76, 3, 43-52 (2011)
[7] Kuzuoglu, M.; Mittra, R., Frequency dependence of the constitutive parameters of causal perfectly matched anisotropic absorbers, IEEE Microw. Guided Wave Lett., 6 (1996)
[8] Xie, Z.; Komatitsch, D.; Martin, R.; Matzen, R., Improved forward wave propagation and adjoint-based sensitivity kernel calculations using a numerically stable finite-element PML, Geophys. J. Int., 198, 3, 1714-1747 (2014)
[9] Duru, K.; Kreiss, G., A Well-posed and discretely stable perfectly matched layer for elastic wave equations in second order formulation, Commun. Comput. Phys., 11, 1643-1672 (2012) · Zbl 1373.35302
[10] Duru, K., Perfectly matched layers and high order difference methods for wave equations (2012), Uppsala University, PhD Thesis
[11] Duru, K., The role of numerical boundary procedures in the stability of perfectly matched layers, SIAM J. Sci. Comput. (2014), to appear
[12] Sjögreen, B.; Petersson, N. A., Perfectly matched layer for Maxwell’s equation in second order formulation, J. Comput. Phys., 209, 19-46 (2005) · Zbl 1073.78014
[13] Halpern, L.; Petit-Bergez, S.; Rauch, J., The analysis of matched layers, Confluentes Math., 3, 2, 159-236 (2011) · Zbl 1263.65088
[14] Appelö, D.; Colonius, T., A high order super-grid-scale absorbing layer and its application to linear hyperbolic systems, J. Comput. Phys., 228, 11, 4200-4217 (2009) · Zbl 1273.65104
[15] Tago, J.; Métivier, L.; Virieux, J., SMART layers: a simple and robust alternative to PML approaches for elastodynamics, Geophys. J. Int., 199, 2, 700-706 (2014)
[16] Kreiss, H.-O.; Petersson, N. A., Boundary estimates for the elastic wave equations in almost incompressible materials, SIAM J. Numer. Anal., 50, 1556-1580 (2012) · Zbl 1258.35141
[17] Kreiss, H.-O.; Scherer, G., Finite element and finite difference methods for hyperbolic partial differential equations, (Mathematical Aspects of Finite Elements in Partial Differential Equations (1974), Academic Press: Academic Press New York) · Zbl 0355.65085
[18] Kozdon, J.; Dunham, E.; Nordström, J., Simulation of dynamic earthquake ruptures in complex geometries using high-order finite difference methods, J. Sci. Comput., 55, 1, 92-124 (2012) · Zbl 1278.86009
[19] Givoli, D., High-order local non-reflecting boundary conditions: a review, Wave Motion, 39, 319-326 (2004) · Zbl 1163.74356
[20] Hagstrom, T.; Warburton, T.; Givoli, D., Radiation boundary conditions for time-dependent waves based on complete plane waves expansions, J. Comput. Appl. Math., 234, 16, 1988-1995 (2010) · Zbl 1194.35241
[21] Carpenter, M. H.; Gottlieb, D.; Abarbanel, S., Time-stable boundary conditions for finite-difference schemes solving hyperbolic systems: methodology and application to high-order compact schemes, J. Comput. Phys., 111, 2, 220-236 (1994) · Zbl 0832.65098
[22] Gustafsson, B., High Order Difference Methods for Time Dependent PDE (2008), Springer-Verlag: Springer-Verlag Berlin, Heidelberg · Zbl 1146.65064
[23] Duru, K.; Dunham, E. M., Dynamic earthquake rupture simulations on nonplanar faults embedded in 3D geometrically complex, heterogeneous elastic solids, J. Comput. Phys. (2015), in press · Zbl 1349.86049
[24] Strand, B., Summation by parts for finite difference approximations for \(d / d x\), J. Comput. Phys., 110, 47-67 (1994) · Zbl 0792.65011
[25] Gassner, G. J., A skew-symmetric discontinuous Galerkin spectral element discretization and its relation to SBP-SAT finite difference methods, SIAM J. Sci. Comput., 35, A1233-A1253 (2013) · Zbl 1275.65065
[26] Nordstrom, J., Error bounded schemes for time-dependent hyperbolic problems, SIAM J. Sci. Comput., 30, 1, 46-59 (2007) · Zbl 1171.35308
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.