-
PDF
- Split View
-
Views
-
Cite
Cite
Hengkang Qiu, Yao-Chong Sun, Changjiang Fang, Wei Zhang, Xiaofei Chen, An overset-grid finite-difference algorithm for seismic wavefield propagations modelling in the polar coordinate system with a complex free-surface topography, Geophysical Journal International, Volume 241, Issue 3, June 2025, Pages 1880–1894, https://doi.org/10.1093/gji/ggae312
- Share Icon Share
SUMMARY
Nowadays, finite-difference method has been widely applied to simulate seismic wavefield propagation in a local seismic model with a complex topography by utilizing curvilinear grids and traction image method in Cartesian coordinates system. For a global seismic model in polar coordinate system, it is still a challenge for the conventional finite-difference method to deal with the grid singularity at the centre and the topographic free surface at the top. In this study, we develop a finite-difference method in polar coordinates for seismic wavefield propagation in the 2-D global model. In the proposed finite-difference method, the overset-grid algorithm is used to handle the grid singularity at the centre, and the curvilinear grid technique as well as the traction image method are applied to implement free-surface boundary condition on the complex topography. The proposed finite-difference method is validated in flat and topographic free-surface models by comparing synthetic waveforms with reference solutions. The seismic wavefield propagation in a realistic Mars profile is computed by the proposed finite-difference method. The proposed finite-difference method is an efficient and accurate method for seismic wave modelling in the polar coordinate system with a complex free-surface topography.
1 INTRODUCTION
Seismic wavefield propagation simulations are important for full waveform inversions and global seismology studies. Many numerical methods have been applied to simulate seismic wavefield propagation, such as finite-element method (FEM; e.g. Lysmer & Drake 1972), pseudospectral method (PSM; e.g. Tessmer et al. 1992), spectral element method (SEM; e.g. Komatitsch et al. 2001) and Discontinuous Galerkin method (DG; e.g. Etienne et al. 2010; Pelties et al. 2012). Among these methods, the finite-difference method (FDM) is a popular algorithm for several reasons. The operator of FDM only involves several adjacent gridpoints, which is ideal for parallel computing. The character in parametrize is well suited for highly heterogeneous media and this inhomogeneity can be well mapped into grid. It does not require meshes to integrate interior interface topography which minimizes the effort in grid generation.
The complex free-surface topography can greatly affect seismic wavefield propagation. The key factors for FDM are the grid generation and free-surface boundary conditions. Compared with the numerical algorithm adopting unstructured grids, the conventional FDM of rectangular grids is not fit for complex topographies. Several novel FDM have been developed for free-surface topographies. Ohminato & Chouet (1997) approximate the surface topography by the stair-case approximation and implement the free-surface boundary conditions by a vacuum approximation. Oprsal & Zahradnik (1999) extend the vacuum method and the stair-case approximation to the second-order wave equation. In addition, Jih et al. (1988) approximate free-surface topography with segmented lines between gridpoints. Hestholm & Ruud (1994, 2000) adopt a vertical transformation grid technique in the staggered grid finite-differnce scheme to approximate the free-surface topography. The algorithms for correctly implementing free-surface boundary conditions have been greatly developed in recent years. In FDM, the normal derivatives of velocity components on free-surface gridpoints are usually computed by the horizontal derivatives of velocity components through the free-surface boundary condition (Zhang et al. 2012). One way to compute the normal derivatives of stress components on the free-surface gridpoints is the one-sided finite difference and it can maintain a second-order spatial accuracy in complex media. Another way is the stress image method which is usually for flat surface model (Robertsson 1996). Zhang & Chen (2006) use curvilinear grid to describe the free-surface topography and traction image method to implement the free-surface boundary condition.
For the seismic wavefield modelling in a global model, the earth's curvature should not be omitted. It has been approximated by grid deformation (Appelö & Petersson 2009) or level transformation (Li et al. 2014). It is natural in the 2-D polar coordinate system or 3-D spherical coordinate system (Toyokuni & Takenaka 2006) to consider the Earth's curvature. The staggered-grid finite-difference scheme is widely used in seismic wave modelling, where different components of the velocity and stress vectors are defined at different positions of the rectangular cell. Several studies have used this scheme for seismic wave modelling in spherical coordinates. However, the FDM of staggered grids is only suitable for solving elastic dynamic equations with a Cartesian mesh. In the polar coordinates, there is no efficient way to distribute the wavefield components in a staggered way while each component can only be distributed in its defined position. So, a collocated grid is used for simulation in this study.
The overset-grid algorithm (e.g. Benek et al. 1983) is a successful high-quality multiscale grid generation method in computational fluid dynamics. In this algorithm, the large-scale grid is first decomposed into small-scale subgrids in terms of physical, geometric and computing properties of the numerical model, and then subgrids are connected by overset-grids in the boundary areas. The overset-grid algorithm helps transform the grid generation problem of a complex geometry into a relatively easier-solved structured grid problem (Yang & Stern 2009), and makes sure that the subgrids are simpler, more flexible and independent, and higher-quality than the undecomposed large-scale grid.
There are lots of works that have introduced overset-grid algorithm into calculations in seismology. The overset-grid algorithm has been introduced to seismology for scalar wavefield propagation modelling (e.g. Beznosov & Appelö 2020) in the DG method. Chaljub et al. (2003) use the SEM to simulate seismic wave propagation in full-earth model, utilizing ‘cubed sphere’ transformation to generate a cube grid at the centre of earth and using Lagrange interpolation to complete the simulation of seismic waves. Komatitsch & Tromp (2002) use the SEM to simulate global propagation of seismic waves and places a cube in place of core to avoid grid singularity. Zang et al. (2021) extend the overset-grid algorithm in Cartesian coordinate system for elastic wavefield propagation modelling with complex topographies in the curvilinear grid finite-difference technique to simplify the grid generation and improve computing efficiency. In addition, apart from the overset-grid algorithm, some other algorithms are also used for global-scale seismic wave simulation. Nissen-Meyer et al. (2007) proposed a 2-D SEM for the axisymmetric Earth model to compute the response to a full 3-D moment tensor source. Wang et al. (2001) propose the PSM under polar coordinates and develop a scheme that uses extension of field variables in the radial direction, with which computation of the wavefield at the centre is avoided.
In this work, we first extend the curvilinear-grid finite-difference method (CGFDM, Zhang & Chen 2006) of Cartesian coordinate system into 2-D polar coordinate system to simulate seismic wavefield propagation in an annular or circle shape area with a complex topography. The overset-grid algorithm is utilized to solve the grid angularity in the centre areas and improves the parallel computing accuracy. The proposed overset-grid CGFDM is validated by comparing with reference solutions in global flat and topographic models. Topography effects in a realistic Mars profile are also simulated and demonstrated in this study.
2 METHOD
2.1 The first-order velocity-stress equation in the Polar coordinates
In seismology, the first-order velocity-stress equation is always utilized to simulate elastic wavefield propagation. It can be derived from the momentum equation and stress–strain relation,
where
where r is the polar diameter and
to obtain the following equations,

(a) Diagram of curvilinear-grid transformation, convert variables from physical space to computational space. (b) Diagram of traction image method in polar coordinate system.
2.2 Implement the free-surface boundary condition by the Traction image method in the polar coordinates
The traction image method (Zhang & Chen 2006; Sun et al. 2016) is a high-accuracy algorithm to implement the free-surface boundary condition in the curvilinear grid (Fig. 1b). The free-surface boundary condition is
where
The free-surface boundary condition in the curvilinear-grid polar coordinate system is obtained by substituting eq. (16) into eq. (15),
The relationship of the spatial derivatives of velocity components in the polar coordinate system can be obtained by substituting eqs (12)–(14) into equations of temporal derivatives of eqs (17) and (18), and it can be eventually expressed in the matrix form as
where
In the traction image method, the traction values in the ghost points are antisymmetry about the free surface and they are expressed as follows,
where
Therefore, all the
where
So far, all the
2.3 Overset-grid and data exchange
The general concept of overset-grid is to decompose computational domains with complex geometric boundaries into subregions with relatively simple geometric boundaries. After processing the free-surface conditions by the traction image method, the remaining question is how to generate a grid at the centre of the circle. A singularity will occur if we generate an ordinary polar coordinate grid at the centre of the circle and the spacing of the grid near the centre is really small which means the time interval is limited. In this work, an overset-grid is utilized to generate grid at the centre and interpolation is used to exchange the data.
In our overset-grid implementation, first the curvilinear grid is used to fit the surface topography of the circular study area. Then a Cartesian coordinate grid is generated to discrete the central part of the circular. The Cartesian coordinate grid and the curvilinear-grid arbitrarily overlap each other and the points of the two grids do not need to match within the overlapping region. The Cartesian coordinate grid not only avoids the problem that the polar coordinate system cannot be generated at the origin, but also greatly improves the calculation efficiency without calculating the deformation coefficient of the Cartesian coordinate grid.
In the process of seismic wave simulation using overset-grid, the key problem lies in the data exchange from one grid block to another. A variety of interpolation methods have been used for data exchange of overset-grid, including second-order linear interpolation (Delfs 2001; Khokhlov et al. 2019), higher order explicit interpolation (Sherer & Scott 2005) and Hermite interpolation (Guénanff 2004). Sherer & Scott (2001) make a full comparison of the different interpolation methods, recommending a generalized higher order explicit Lagrangian interpolation. Lagrangian interpolation and inverse distance weight (IDW) of different orders are used for testing.
The Lagrangian interpolation formula is as
where
The IDW interpolation formula is as
where
where di is the distance of point
The data exchange diagram between the Cartesian grid and the curvilinear grid is shown in Fig. 2. Taking the sixth-order interpolation as an example, the red point represents the receiving point in curvilinear and Cartesian grids that needs to be interpolated. The 6 × 6 interpolation points can be easily found (the points in light blue area). The same method can be used to interpolate data from the curvilinear to Cartesian grid. Considering each grid of Cartesian and the curvilinear grids requires three layers of ghost points on the surface when we use DRP (Dispersion Relation Preservation)/opt MacCormack differential format (Hixon 1997), these three-layer grids are also the points that need to obtain the data through interpolation for both Cartesian and curvilinear grids. It should also be noted that in order to ensure the stability of spatial difference, there must be at least three physical points in each grid overlapping each other to provide interpolation information in case of the difference format and interpolation format is three.

Diagram of 2-D interpolation. (a) Diagram of data transfers from Cartesian grid to curvilinear- rid. The red point is the interpolation receiving point in the polar coordinate system that receives the interpolation information from black diamonds in the Cartesian grid. (b) Diagram of data transfers from curvilinear- rid to Cartesian grid. The red point belongs to the ghost point layer in the Cartesian grid. Black diamonds that belong to the curvilinear- rid provide the information used to interpolate.
2.4 Parallel processing of the overset-grid program
Overset-grid algorithm allows overlapping between grid blocks when research areas involve complex geometry. It reduces unnecessary grids and avoids complex topological partitions, which compensates for the shortcomings of structural grids to some extent. However, compared with structured grids, the parallel processing of overset-grid is more complicated because the position relationship between the receiving point and the sending point in the interpolation process is hard to determine for their irregular position relationship. Overset-grid programs are always used to solve the simulation problem of regional-global scale, so the large computation amount requires us to process the program in parallel. FDM requires the data of each gridpoint at each time step and the operation of each gridpoint only needs the data of several surrounding points, which means it is suitable to use the parallel algorithm of regional decomposition type. So we used the Message Passing Interface method (MPI) to parallel the programs.
Unlike regular grid MPI, which only requires the data exchange at the edge of each MPI block with half-length layers of difference template, MPI of overset-grid has two types of data communication. One is similar to the regular grid, transferring the data in the half-length layers of difference template between the MPI blocks according to the topological relationship; the other communication is the transmission of interpolation data between the two subgrids. The second communication does not just involve the transmission of information between a fixed number of MPI blocks. For example, in the MPI model of four blocks, for a block, the first communication type only involves its own adjacent MPI blocks, while the second communication type may involve all four MPI blocks because of the geometric relationship in interpolation process. Therefore, how to produce the parallel of interpolation process is the core and difficulty.
The first step in parallel the interpolation process is establishment of MPI model. There are two common MPI models in overset-grid: each block handles only one type of subgrid; the other is to divide all the subgrids evenly to all blocks, where each block handles all types of subgrids. The first type of MPI model is more appropriate in problems with a very complex geometry or involves aerodynamics that a grid moves over time. Since our program deals with a spherical overset-grid, which is relatively simple and does not change with time, we chose the second type of MPI model (Fig. 3). This type also automatically meets the load balancing requirements.

MPI communication model. The grey area indicates the area that needs to be interpolated and the serial number indicates the process number. The grid of the same process number operates on the same block.
The next core problem is to find the send–recv relationship for the points that need to be interpolated in each process. It means the block number of the source and the location of the sending point in its own block. We use the adjacent lattice search method (Dong & Wang 2011) to determine the spatial location relationship. The process of adjacent lattice search method is similar to the template traversal method, which finds the set of adjacent points by comparing the distance between the goal point in the grid with its neighbour points. The whole MPI workflow is shown as follows:
gather grid of each block and obtain the whole grid information;
find the block number of the points that each block needs to receive and send and the coordinates of these points in the block;
at each time step, pack the information sent by each block and unpack the information each block receives.
2.5 Other numerical calculation and processing
The spatial difference scheme used in this algorithm is DRP/opt MacCormack difference scheme (Hixon 1997), which optimizes the dispersion and dissipation error of the scheme and greatly improves the grid resolution. The Runge–Kutta integral of order 4–6 is used in this work. Source terms can be added at a single point or spatially smoothed at several points following the pseudo-δ distribution (Herrmann 1979). In our experience, adding source terms at a single point always causes strong artificial reflections while spatially smoothing the source terms significantly reduces these reflections. Therefore, a smooth spatial distribution is used to add the source terms. If the source space is located in the curvilinear-grid area, it will be added to the curvilinear grid; otherwise, it will be added to the Cartesian grid. At the same time, it cannot be ignored that the source should not be located in overlapping areas. For circumstance where the source is located in the overlapping region, we can generate more curvilinear-grid layers and further move the overlapping region down to avoid the source locating in it.
For the three-layer gridpoints near the complex topography surface of the curvilinear grid, the difference template crosses the free surface, meaning that the
In addition, since the numerical simulation process of the curvilinear grid includes calculation of spatial derivatives whose number is about twice that of the Cartesian grid, the computation time required is also about twice of Cartesian grid. At the same time, with the increase of the number of curvilinear-grid layers, the grid distance in
3 NUMERICAL VERIFICATION
In this section, we check the validity and accuracy of our method by comparing with solutions of the direct solution method (DSM) (Takeuchi et al. 1996) and DG (COMSOL Multiphysics 6.0). DSM gives exact waveforms for globally symmetric media without topography while DG solutions are reference solutions for the global model with a topography. To further quantitatively assess the agreement between two methods both in time and frequency domains, we calculate the time–frequency (TF) misfit (Kristekova et al. 2006) of the overset-grid FDM solutions and the reference solutions. The benefit of TF evaluation is that it can separate the envelope misfit (EM) and the phase misfit (PM), and provide the misfit information both in time and frequency domains simultaneously.
Some parameters of the two models are the same. The P-wave speed is 3 km s−1 and the S-wave speed is 2 km s−1, and the density is 1500 kg m−3. The source time function is Ricker wavelet with a central frequency of 0.96 Hz and time delay of 1 s. The curvilinear-grid spacing is no more than 0.05 km in the
3.1 Horizontal surface homogeneous medium model
To validate the accuracy of the overset-grid FDM, we first compare waveforms with the DSM in a spherical model of horizontal surface. The source and receivers are distributed on the same circle (Fig. 4). Receivers are evenly distributed on the surface and the source is 5 km depth under the surface. In the polar coordinate system, the source is a 2-D double-couple point source with moment tensor components
where * is the convolution operation;

The comparison of the converted overset-grid and DSM seismograms is shown in Fig. 5. The blue curve is the simulation result of the polar coordinate overset-grid FDM and the red curve is the result of DSM. The light blue curve is the difference of the two solutions. It is clear to see that the simulation results of the two algorithms are almost the same. Their PM and EM values are shown in Table 1. It can be seen that PM and EM values are lower than 0.4 and 0.7 per cent, respectively, meaning the excellent level of goodness of fit.

EM and PM of
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.47 | 0.65 | 0.38 | 0.26 |
Receiver 2 | 0.49 | 0.43 | 0.38 | 0.38 |
Receiver 3 | 0.63 | 0.54 | 0.19 | 0.39 |
Receiver 4 | 0.38 | 0.42 | 0.17 | 0.26 |
Receiver 5 | 0.32 | 0.52 | 0.02 | 0.29 |
Receiver 6 | 0.57 | 0.47 | 0.38 | 0.36 |
Receiver 7 | 0.58 | 0.66 | 0.39 | 0.36 |
Receiver 8 | 0.61 | 0.41 | 0.38 | 0.28 |
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.47 | 0.65 | 0.38 | 0.26 |
Receiver 2 | 0.49 | 0.43 | 0.38 | 0.38 |
Receiver 3 | 0.63 | 0.54 | 0.19 | 0.39 |
Receiver 4 | 0.38 | 0.42 | 0.17 | 0.26 |
Receiver 5 | 0.32 | 0.52 | 0.02 | 0.29 |
Receiver 6 | 0.57 | 0.47 | 0.38 | 0.36 |
Receiver 7 | 0.58 | 0.66 | 0.39 | 0.36 |
Receiver 8 | 0.61 | 0.41 | 0.38 | 0.28 |
EM and PM of
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.47 | 0.65 | 0.38 | 0.26 |
Receiver 2 | 0.49 | 0.43 | 0.38 | 0.38 |
Receiver 3 | 0.63 | 0.54 | 0.19 | 0.39 |
Receiver 4 | 0.38 | 0.42 | 0.17 | 0.26 |
Receiver 5 | 0.32 | 0.52 | 0.02 | 0.29 |
Receiver 6 | 0.57 | 0.47 | 0.38 | 0.36 |
Receiver 7 | 0.58 | 0.66 | 0.39 | 0.36 |
Receiver 8 | 0.61 | 0.41 | 0.38 | 0.28 |
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.47 | 0.65 | 0.38 | 0.26 |
Receiver 2 | 0.49 | 0.43 | 0.38 | 0.38 |
Receiver 3 | 0.63 | 0.54 | 0.19 | 0.39 |
Receiver 4 | 0.38 | 0.42 | 0.17 | 0.26 |
Receiver 5 | 0.32 | 0.52 | 0.02 | 0.29 |
Receiver 6 | 0.57 | 0.47 | 0.38 | 0.36 |
Receiver 7 | 0.58 | 0.66 | 0.39 | 0.36 |
Receiver 8 | 0.61 | 0.41 | 0.38 | 0.28 |
3.2 Model of overset-grid interpolation with complex topography
In this model, the computing area is a global area with a topography and the free surface is represented using the triangular function,
where

Synthetic waveforms of the two lines are shown in Fig. 7. EM and PM of receivers in two lines are shown in Tables 2 and 3, respectively. Their PM and EM values are lower than 0.3 and 0.8 per cent, respectively, which means an excellent level of agreement.
Waveform of the overset-grid comparing with DG algorithm. (a)Waveform of receivers at grid surface. (b) Waveform of receivers in a radius direction.
EM and PM of
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.76 | 0.59 | 0.16 | 0.13 |
Receiver 2 | 0.63 | 0.58 | 0.13 | 0.15 |
Receiver 3 | 0.56 | 0.58 | 0.18 | 0.16 |
Receiver 4 | 0.58 | 0.61 | 0.14 | 0.27 |
Receiver 5 | 0.58 | 0.42 | 0.15 | 0.27 |
Receiver 6 | 0.48 | 0.49 | 0.23 | 0.19 |
Receiver 7 | 0.49 | 0.51 | 0.21 | 0.17 |
Receiver 8 | 0.49 | 0.50 | 0.17 | 0.21 |
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.76 | 0.59 | 0.16 | 0.13 |
Receiver 2 | 0.63 | 0.58 | 0.13 | 0.15 |
Receiver 3 | 0.56 | 0.58 | 0.18 | 0.16 |
Receiver 4 | 0.58 | 0.61 | 0.14 | 0.27 |
Receiver 5 | 0.58 | 0.42 | 0.15 | 0.27 |
Receiver 6 | 0.48 | 0.49 | 0.23 | 0.19 |
Receiver 7 | 0.49 | 0.51 | 0.21 | 0.17 |
Receiver 8 | 0.49 | 0.50 | 0.17 | 0.21 |
EM and PM of
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.76 | 0.59 | 0.16 | 0.13 |
Receiver 2 | 0.63 | 0.58 | 0.13 | 0.15 |
Receiver 3 | 0.56 | 0.58 | 0.18 | 0.16 |
Receiver 4 | 0.58 | 0.61 | 0.14 | 0.27 |
Receiver 5 | 0.58 | 0.42 | 0.15 | 0.27 |
Receiver 6 | 0.48 | 0.49 | 0.23 | 0.19 |
Receiver 7 | 0.49 | 0.51 | 0.21 | 0.17 |
Receiver 8 | 0.49 | 0.50 | 0.17 | 0.21 |
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.76 | 0.59 | 0.16 | 0.13 |
Receiver 2 | 0.63 | 0.58 | 0.13 | 0.15 |
Receiver 3 | 0.56 | 0.58 | 0.18 | 0.16 |
Receiver 4 | 0.58 | 0.61 | 0.14 | 0.27 |
Receiver 5 | 0.58 | 0.42 | 0.15 | 0.27 |
Receiver 6 | 0.48 | 0.49 | 0.23 | 0.19 |
Receiver 7 | 0.49 | 0.51 | 0.21 | 0.17 |
Receiver 8 | 0.49 | 0.50 | 0.17 | 0.21 |
EM and PM of
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.80 | 0.47 | 0.04 | 0.04 |
Receiver 2 | 0.68 | 0.77 | 0.00 | 0.03 |
Receiver 3 | 0.63 | 0.73 | 0.04 | 0.08 |
Receiver 4 | 0.61 | 0.59 | 0.18 | 0.11 |
Receiver 5 | 0.60 | 0.47 | 0.05 | 0.07 |
Receiver 6 | 0.58 | 0.57 | 0.13 | 0.05 |
Receiver 7 | 0.57 | 0.61 | 0.12 | 0.03 |
Receiver 8 | 0.61 | 0.59 | 0.04 | 0.12 |
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.80 | 0.47 | 0.04 | 0.04 |
Receiver 2 | 0.68 | 0.77 | 0.00 | 0.03 |
Receiver 3 | 0.63 | 0.73 | 0.04 | 0.08 |
Receiver 4 | 0.61 | 0.59 | 0.18 | 0.11 |
Receiver 5 | 0.60 | 0.47 | 0.05 | 0.07 |
Receiver 6 | 0.58 | 0.57 | 0.13 | 0.05 |
Receiver 7 | 0.57 | 0.61 | 0.12 | 0.03 |
Receiver 8 | 0.61 | 0.59 | 0.04 | 0.12 |
EM and PM of
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.80 | 0.47 | 0.04 | 0.04 |
Receiver 2 | 0.68 | 0.77 | 0.00 | 0.03 |
Receiver 3 | 0.63 | 0.73 | 0.04 | 0.08 |
Receiver 4 | 0.61 | 0.59 | 0.18 | 0.11 |
Receiver 5 | 0.60 | 0.47 | 0.05 | 0.07 |
Receiver 6 | 0.58 | 0.57 | 0.13 | 0.05 |
Receiver 7 | 0.57 | 0.61 | 0.12 | 0.03 |
Receiver 8 | 0.61 | 0.59 | 0.04 | 0.12 |
No. . | EM ( | EM ( | PM ( | PM ( |
---|---|---|---|---|
Receiver 1 | 0.80 | 0.47 | 0.04 | 0.04 |
Receiver 2 | 0.68 | 0.77 | 0.00 | 0.03 |
Receiver 3 | 0.63 | 0.73 | 0.04 | 0.08 |
Receiver 4 | 0.61 | 0.59 | 0.18 | 0.11 |
Receiver 5 | 0.60 | 0.47 | 0.05 | 0.07 |
Receiver 6 | 0.58 | 0.57 | 0.13 | 0.05 |
Receiver 7 | 0.57 | 0.61 | 0.12 | 0.03 |
Receiver 8 | 0.61 | 0.59 | 0.04 | 0.12 |
Fig. 8 also shows that the wave field snapshots (at 6, 8, 10 and 12 s) can well propagate through the junction of the overset-grid and are reflected from the free surface correctly where no spurious reflections are observed. In addition, the accuracy of Lagrange interpolation and IDW interpolation of different orders are also tested. For the surface receivers, average EM of the second- and sixth-order Lagrange interpolations are 0.57 and 0.49 per cent, respectively, and average EM of the second- and sixth-order IDW are 0.51 and 0.54 per cent, respectively. It is clear to see that Lagrange and IDW interpolations of second- and sixth-order have almost the same accuracy. In the following studies, the sixth-order Lagrange interpolation is used in the global-scale model.

Wavefield of the Vz component of the overset-grid model at 6, 8, 10 and 12 s.
The numerical consistency and stability for the overset-grid FDM is also tested. Receivers are uniformly in all directions on the flat surface of the curvilinear grid and the computing has 10 000 steps. Fig. 9 shows the waveform of Vz component. It can be seen that the amplitude phase of the waveform in each direction is highly consistent, and the algorithm is still stable after multiple interpolations and free-surface reflections, which proves the stability of this algorithm.

Waveform in all directions on the surface of the overset-grid. The time step is 0.01 s and duration is 100 s.
In general, the accuracy of the proposed finite-difference algorithm is validated by the flat surface global model and global model with complex topographies.
4 NUMERICAL SIMULATIONS OF THE FULL-MARS MODEL
Mars is an Earth-like planet in the solar system and it has the most similarity to Earth. The study of the internal structure and material composition of Mars is of great significance to understand the evolution of Mars, especially the generation and extinction mechanism of the magnetic field as well as the change of the habitable environment of Mars, which is an important topic of space exploration.
The study of seismology on Mars began in 1976, but Viking 1 and Viking 2 did not collect reliable seismic data (Anderson et al. 1977). Some studies using seismological methods to research Mars, such as Martian seismic activity, Martian quake localization, Martian shallow structure and crust-mantle structure (Zheng et al. 2014; Khan et al. 2016; Bissig et al. 2018; Knapmeyer-Endrun et al. 2018). On 2018 November 26, the US Insight (Insight) Mars probe landed near the Mars equator and installed a Mars seismometer. As of 2019 September 30, the seismometer has recorded 174 earthquakes, including more than 20 earthquakes of a 3–4 mag (Stahler et al. 2021). Seismic wave simulation of Mars can provide the reference of the acquired seismic data and the structure of Mars.
Sohl & Spohn (1997) proposes two models of the internal structure of Mars. He obtains the radial distribution of Mars mass, hydrostatic pressure, gravity, temperature and heat flow density under the conditions of hydrostatic balance and closed heat transfer. He also obtains the hierarchical density of Mars model and the structure model of Mars seismic velocity. The two models meet the constraint of the polar moment of inertia reaching the maximum possible value and the geochemical constraint of the SNC meteorite from Mars (Fig. 10a). Stahler et al. (2021) use three methods of seismology, geophysical and geodynamics modelling, picking up a variety of body waves in the seismic data and obtaining the vertical wave and transverse wave velocity with depth profile of Mars mantle and core. Combining the results of the three modelling methods and referring to the Mars gravity and satellite orbit measurements, Stahler gives the size of 1830 ± 40 km and the density of 5.7–6.3 g cm−3 of the Mars core. Considering the conclusions of the model proposed by Sohl and Stahler, Sohl's model B is choosen for simulation.

(a) Sohl (1997). The P- and S-wave velocities, and density distribution of the full Mars model. The solid line represents model A, and the dotted line represents model B. (b) The topographic map of Mars. The line indicates the trace of the polar grid topography on the Martian surface.
Considering that most of the Mars probes have historically landed between south latitude 30° and north latitude 30° and that the overall topography of Mars presents a strong dichotomization where the flat low land elevation fluctuates little in the Northern Hemisphere and the plateau in the Southern Hemisphere is much more pronounced. In addition, the overall topography of Mars is in the range of −8 to 22 km. The proposed overset-grid FDM supports the simulation of arbitrary complex topography, so the topographic data of the curvilinear grid in this work on the Martian surface is set between south latitude 30° and north latitude 30°, as shown in Fig. 10(b). Since the source mechanism of Mars earthquakes is not currently constrained by observational data, the double-couple source of
Fig. 11 shows synthetic seismic seismograms on the Martian surface. It is clear to see that due to the influence of the Mars core, the speed of P wave propagated to the nuclear mantle boundary will be significantly reduced and the direction of propagation is also changed. Therefore, there is a direct P-wave shadow area and the size of the shadow area is related to the radius of the Mars core. Direct P wave, direct S wave and multiple reflected wave PP wave of P wave can be observed on both components. Seismic phases of PcP, ScS and phase of multiple reflected wave SSS are also more prominent in the tangential component. Multiple reflected phase is generated between direct S and SS waves because of strong low-speed Mars crust. In addition, it can be seen that the surface waves of two components are relatively clear and obvious. With the propagation of the surface waves, the wave train is getting longer and longer and the dispersion phenomenon is more and more obvious. At the same time, by comparing waveforms of model with and without topography, it can be seen that topography affects both arrival time and amplitude of seismic wave. The amplitude of body waves is mainly influenced, while the phase velocity and frequency dispersion of surface waves are both affected.

Theoretical seismograms of the radial and vertical components of Martian surface. Major phases are marked.
Fig. 12 shows snapshots of wave field propagating in the full Mars model. It can be seen that at 200 s, the direct P and SV waves spread downward in the upper Martian mantle. The front of the wave is very clear and the P wave is followed by the pP and sP waves. The complex wavefront is generated in the reflection of the surface and the conversion of the direct P and SV waves due to the shallow and low-speed layer. In the Martian crust, slow surface waves are already beginning to occur. At 400 s, the direct SV wave reaches the boundary of mantle and core, while P and pP waves generated from the reflection of core–mantle boundary can be clearly seen. At 600 s, the reflected and converted P waves of the direct SV waves from the core–mantle boundary propagate upward. Due to the existence of the Martian core, the curved diff P wave can be seen near the core–mantle boundary and shadow area of direct P wave is generated. At 800 s, P wave has spread to the other side of the Martian core and the converted SV wave is generated. There are also various ‘Y’ -shaped multiple reflected waves in the wavefield. In the following time, the wavefield is strongly disturbed by waves from upper Martian mantle and various transformations occur at the core–mantle boundary. From these snapshots, the length of the wave trains produced by the conversion of interference in upper Martian crust with low velocity increases with the propagation distance.

Continuous wavefield snapshots of P–SV waves in the full Mars model. The inner circle represents the Martian core.
Combining theoretical seismograms with wavefield snapshots, it is clear that layers in upper mantle of low velocity are important to the generation of surface wave while conversion and reflection occurs as wave pass through the Martian core. Many areas of the surface of Mars are in the shadow zone. This provides an important reference for the future layout of seismometers. In addition, it can be seen that topography affects both arrival time and amplitude of seismic waves by comparing waveforms of model with and without topography, so the influence of the terrain should not be ignored in study of region areas.
5 SUMMARY
In this study, we develop a finite-difference numerical simulation method with arbitrary topography using an overset-grid program consisting of polar coordinate curvilinear and Cartesian grids, which can be applied to the regional-global simulation problem. The polar coordinate curvilinear grid is used to deal with complex topography and the Cartesian in the centre of the circle is used to solve the problem of the singularity at the centre of the circle. We exchange data between different grids using explicit Lagrange interpolation of different orders. Additionally, adjacent lattice search method is utilized to determine the geometric positional relationship between the grids when parallel the overset-grid program.
In addition, two examples and reference models are designed to compare the results, showing that our overset-grid algorithm is very accurate in wavefield propagation with free-surface conditions and grid interpolation. It also has a good stability in the long-time simulations. Finally, we simulate the wave field of full Mars model; the seismograms and wavefield snapshots show a variety of different seismic phases, indicating that our overset-grid algorithm of polar coordinate system deals with the simulation of region-global model well.
ACKNOWLEDGMENTS
This study is supported by National Key R&D Program of China (2022YFC3003504), Guangdong Provincial Key Laboratory of Geophysical High-resolution Imaging Technology (2022B1212010002), Shenzhen Science and Technology Program (grant no. KQTD20170810111725321) and Center for Computational Science and Engineering at Southern University of Science and Technology.
DATA AVAILABILITY
The data that support the findings of this study and the program are all available from the URL (https://github.com/qiuhk/Seismic-numerical-simulation).