Skip to main content

Comparison of two time-marching schemes for dynamic rupture simulation with a space-domain BIEM

Abstract

The boundary integral equation method (BIEM) is one of the important numerical techniques used to simulate geophysical phenomena including dynamic propagation, nucleation, and sequence of earthquake ruptures. We studied the stability and convergence of two time-marching schemes numerically for 2-D problems in Mode I, II, and III conditions. One was a conventional method based on piecewise-constant spatiotemporal distribution of the rate of displacement gap \( V \) (CM), and the other was a slightly modified scheme from a predictor–corrector method previously applied to a spectral BIEM (NL). In the stability analysis, we simulated behavior of a traction-free fault under uncorrelated random distributions of initial traction. The growth rate of the perturbation is negative in a parameter regime of complex shape with CM, which has two numerical parameters, and the intersection for all the modes is very restricted as reported previously. In contrast, NL has only one parameter and yields simpler and a wide parameter regime of stability, conceivably allowing more flexible meshing on the fault. In the convergence analysis in which a smooth problem was solved, CM resulted in a numerical error scaled as \( \Delta x^{1} \) while NL led to the scaling of \( \Delta x^{2} \) typically or of \( \Delta x^{1.5} \) under certain conditions in Mode II problems. NL requires negligible additional computational costs and modification of the code is quite straightforward relative to CM. Therefore, we conclude that NL is a useful time-marching scheme that has wide applicability in simulations of earthquake ruptures although the reason for the rather complicated convergence behavior and verification of the findings here to more general conditions deserve further study.

Introduction

A boundary integral equation method (BIEM) for dynamic rupture simulation (e.g., Das and Aki 1977) has been widely used in the study of a variety of problems related to earthquake generation processes, from idealized 2-D cases (e.g., Andrews 1985) to 3-D realistic cases dealing with complex geometry composed of many fault planes (e.g., Ando and Kaneko 2018). In addition, the BIEM is a useful tool that can be used to study quasi-static problems (e.g., Okada 1985), the preparation processes of earthquakes (e.g., Dieterich 1992), and their sequences (e.g., Lapusta et al. 2000). It can also be extended to linear viscoelastic materials (Geubelle 1997; Kato 2002; Miyake and Noda 2019).

The BIEM makes use of analytic expressions of Green’s function and does not suffer from artificial dispersion during propagation of elastic waves in a medium. Because we do not have to discretize the medium with the BIEM, it is possible to simulate a problem with higher on-fault resolution than with other methods such as finite difference methods and finite element methods, which are based on discretization of volume. Numerical techniques have been developed for or applied to BIEMs that dramatically reduce computational costs, such as fast Fourier transformation for spectral formulation (Lapusta et al. 2000), fast multipole decomposition (Tullis et al. 2000), a Barnes–Hut scheme (Beeler and Tullis 2011), a fast domain partitioning (FDP) (Ando et al. 2007), hierarchical matrices (H-matrices) (Ohtani et al. 2011), and a recently proposed method consisting of FDP, H-matrices, quantization, and averaged reduced time (Sato and Ando 2019). One of the weak points of BIEMs is that it is difficult to deal with a heterogeneous medium using them, but there are some approaches that extend the ability of BIEMs to such problems (Goto et al. 2010; Kame and Kusakabe 2012). Owing to these efforts, BIEMs are currently one of the most efficient and useful methods for studying fault dynamics in a range of problem settings.

There is, however, an issue with numerical stability in BIEMs (e.g., Fukuyama and Madariaga 1998; Tada and Madariaga 2001). For example, Tada and Madariaga (2001) systematically studied a numerical scheme based on spatiotemporally piecewise-constant basis functions for the rate of displacement gap \( V \) on the fault (Cochard and Madariaga 1994). They simulated a 2-D self-similar dynamic rupture of Mode I, II, or III, and concluded that the region of stability in the numerical parameter space is rather restricted and depends on the mode of the rupture (Figs. 5, 6 and 7 in Tada and Madariaga 2001). The intersection of the stability regimes for multiple modes is so restricted that the numerical parameters must be chosen carefully for simulation of mixed-mode ruptures. Furthermore, the ability of flexible meshing on the surfaces is very restricted, as the numerical parameters vary locally for a heterogeneous mesh. It is often the case that a small artificial damping factor is added (e.g., Yamashita and Fukuyama 1996; Kame et al. 2003) to enhance the stability of the simulations. The effect of the damping should be small, but could make solutions of insufficient resolution artificially smooth and good-looking if simulations were to be tuned unfairly. Therefore, researchers must be careful to avoid misinterpretation of numerical results.

Noda and Lapusta (2010) suggested a different, second-order time-marching scheme based on a predictor–corrector approach for a spectral, wavenumber-domain BIEM (SBIEM) by slightly modifying a scheme proposed by Lapusta et al. (2000) and Lapusta and Liu (2009). In the SBIEM, temporal convolution is calculated with a midpoint integration scheme, and \( V \) at temporal midpoints is estimated by linear interpolation between collocation points. In the present study, we have adapted the midpoint evaluation of \( V \) to the space-domain BIEM based on spatiotemporal piecewise-constant basis functions and found that the present scheme was more stable and accurate than the conventional one.

The outline of this paper is as follows. The two time-marching schemes investigated are briefly described in the “Time-marching schemes” section. The procedures of numerical experiments conducted to study the stability and accuracy of the schemes are described in the “Methodology” section, and the results of these experiments are reported in the “Results” section, which is followed by “Discussion” and “Summary” sections.

Time-marching schemes

In the present study, we investigated time-marching schemes in the simulation of dynamic rupture propagation for a fault embedded in an infinite homogeneous linear elastic medium. For simplicity we considered 2-D problems with a planer fault subjected to either Mode I, II, or III loading conditions. In such problems, a relevant component of traction on a fault \( \tau \) is expressed as spatiotemporal convolution of an integration kernel \( K \) and history of the rate of displacement discontinuity \( V \) in a boundary integral formulation (Cochard and Madariaga 1994; Geubelle and Rice 1995),

$$ \begin{array}{*{20}c} {\tau \left( {x,t} \right) = \tau^{\text{ini}} + \mathop \smallint \limits_{ - \infty }^{\infty } \mathop \smallint \limits_{0}^{{t_{ - } }} K\left( {x - x^{\prime},t - t^{\prime}} \right)V\left( {x^{\prime},t^{\prime}} \right)dt^{\prime}dx^{\prime} - \eta V\left( {x,t} \right),} \\ \end{array} $$
(1)

where \( x \) is the coordinate along the fault, \( t \) is time, \( \tau^{\text{ini}} \) is the initial value of the traction on the fault if \( V = 0 \). \( t_{ - } \) is infinitesimally smaller than \( t \), and the difference of \( t \) and \( t_{ - } \) is crucial in the proposed scheme. \( K \) is a hypersingular kernel or can be expressed as a combination of non-hypersingular kernels and derivative operators (Cochard and Madariaga 1994; Tada and Yamashita 1997). \( \eta \) represents the amount of an instantaneous elastodynamic effect due to impedance of the medium extracted explicitly from the convolution. It depends on the mode of the rupture,

$$ \begin{array}{*{20}c} {2\eta = \left\{ {\begin{array}{*{20}c} {\rho c_{p} } & {\left( {\text{Mode I}} \right)} \\ {\rho c_{s} } & {\left( {\text{Mode II and III}} \right)} \\ \end{array} } \right. ,} \\ \end{array} $$
(2)

where \( \rho \) is the density, \( c_{s} \) is the S-wave speed, and \( c_{p} \) is the P-wave speed.

Conventional time-marching scheme

Cochard and Madariaga (1994) discretized Eq. (1) based on piecewise-constant spatiotemporal distribution of \( V \). The collocation points where \( \tau \) and \( V \) are defined are indicated in Fig. 1a. The traction after the \( n \)th timestep and at the \( i \)th element is estimated by the summation of the effects of the sources at the \( m \)th timestep and the \( j \)th element,

Fig. 1
figure 1

Schematic diagrams of spatiotemporal discretization for time-marching schemes investigated in the present study. a Cochard and Madariaga (1994) (CM) and b the present scheme (NL). Collocation points where \( V \) and \( \tau \) are defined are indicated by circles, and \( V \) at the points indicated by crosses are stored and used in numerical integration. Piecewise-constant approximation was adopted in both schemes, and a basis function is indicated by a gray square. Thick dashed line in b indicates that the collocation points (circles) are not included in the support of the basis function

$$ \begin{array}{*{20}c} {\tau_{i}^{n} = \tau_{i}^{\text{ini}} + \mathop \sum \limits_{j = 1}^{N} \mathop \sum \limits_{m = 0}^{n} K_{i - j}^{n - m} \left( {\Delta x,h_{T} ,e_{t} } \right)V_{j}^{m} .} \\ \end{array} $$
(3)

\( n = 0 \) corresponds to the first snapshot defined at \( t = e_{t} \Delta t \). \( N \) is the total number of the elements, \( \Delta x \) is the length of the elements, \( h_{T} \) is the nondimensional timestep \( h_{T} = c_{s} \Delta t/\Delta x \), and \( e_{t} \) is the nondimensional timing of the collocation points (Fig. 1a). \( V_{i}^{n} \) is defined at \( t = \left( {n + e_{t} } \right)\Delta t \) so that the collocation point is in the interior of the support of the corresponding basis function if \( 0 < e_{t} < 1 \). Note that the kernel value depends only on the relative location and time difference between a source and a receiver in our simple problem setting. The instantaneous term in Eq. (1) is included in the summation by assuming that \( V \) does not change suddenly at the collocation points. For expression of the kernel, please see Appendix in Tada and Madariaga (2001).

Suppose that the values of \( V_{j}^{m} \) are known for all \( j \) and \( m \le n - 1 \). Then Eq. (3) yields \( N \) equations with \( 2N \) unknowns (\( \tau_{i}^{n} \) and \( V_{i}^{n} \), \( 1 \le i \le N \)). In problems dealing with rupture propagation, a fault constitutive law is assumed. As it must satisfy the principle of local action, it provides additional \( N \) equations that relate \( \tau_{i}^{n} \) and \( V_{i}^{n} \). Therefore, we can solve for \( \tau_{i}^{n} \) and \( V_{i}^{n} \), if they exist, and carry on the simulation. This scheme shall be abbreviated as CM in the present paper.

CM has two nondimensional numerical parameters \( h_{T} \) and \( e_{t} \), and Tada and Madariaga (2001) demonstrated that the numerical stability depends on the selection of them, and on the mode of the rupture. Their results are compared with our numerical experiments in a later section.

Present scheme based on a predictor–corrector method

Noda and Lapusta (2010) proposed a second-order time-marching scheme based on a temporal midpoint integration scheme of Eq. (1) formulated in a wavenumber domain for use with the SBIEM (e.g., Lapusta et al. 2000). In the SBIEM, Fourier basis is used so that the spatial distribution of \( V \) is assumed to be smooth. Such representation is available only for a planer fault, which is recognized as a weakness of the SBIEM. Here, we applied a time-marching scheme similar to that by Noda and Lapusta (2010) to the space-domain BIEM.

The spatiotemporal discretization in the present schema is illustrated in Fig. 1b. We approximate Eq. (1) using spatiotemporally piecewise-constant basis functions for \( V \) similarly to CM, but estimate the history of \( V \) at temporal midpoints indicated by crosses, and allow for sudden change in \( V \) at the collocation points indicated by circles.

$$ \begin{array}{*{20}c} {\tau_{i}^{n} = \tau_{i}^{\text{ini}} + \mathop \sum \limits_{j = 1}^{N} \mathop \sum \limits_{m = 0}^{n - 1} K_{i - j}^{n - m} \left( {\Delta x,h_{T} ,1 + } \right)V_{j}^{m + 1/2} - \eta V_{i}^{n} .} \\ \end{array} $$
(4)

\( V_{i}^{n} \) and \( V_{i}^{m + 1/2} \) are defined at time \( n\Delta t \) and \( \left( {m + 1/2} \right)\Delta t \), respectively. It should be noted that we use the same integration kernel as in CM. \( 1 + \) in Eq. (4) is infinitesimally larger than \( 1 \), and explicitly indicate that the collocation point for \( \tau_{i}^{n} \) and \( V_{i}^{n} \) is out of the support of the basis function for \( V_{i}^{n - 1/2} \). Because the timing of the collocation point relative to the basis function is fixed, this discretization has only one nondimensional parameter \( h_{T} \).

After the \( n - 1 \)th timestep, we know the \( V_{i}^{m} \) values where \( m \le n - 1 \) from which we can calculate the contribution from the previous history to the functional term,

$$ \begin{array}{*{20}c} {\phi_{i}^{\text{tail}} = \tau_{i}^{\text{ini}} + \mathop \sum \limits_{j = 1}^{N} \mathop \sum \limits_{m = 0}^{n - 2} K_{i - j}^{n - m} \left( {\Delta x,h_{T} ,1 + } \right)V_{j}^{m + 1/2} .} \\ \end{array} $$
(5)

The traction at the end of the current timestep is expressed as

$$ \begin{array}{*{20}c} {\tau_{i}^{n} = \phi_{i}^{\text{tail}} + \phi_{i}^{\text{head}} - \eta V_{i}^{n} ,} \\ \end{array} $$
(6)

where

$$ \begin{array}{*{20}c} {\phi_{i}^{\text{head}} = \mathop \sum \limits_{j = 1}^{N} K_{i - j}^{1} \left( {\Delta x,h_{T} ,1 + } \right)V_{j}^{n - 1/2} .} \\ \end{array} $$
(7)

In a predictor step, we assume \( V_{j}^{n - 1/2} \) to be identical to \( V_{j}^{n - 1} \), and estimate \( \phi_{i}^{\text{head}} \),

$$ \begin{array}{*{20}c} {V_{*j}^{n - 1/2} = V_{j}^{n - 1} ,} \\ \end{array} $$
(8)
$$ \begin{array}{*{20}c} {\phi_{*i}^{\text{head}} = \mathop \sum \limits_{j = 1}^{N} K_{i - j}^{1} \left( {\Delta x,h_{T} ,1 + } \right)V_{*j}^{n - 1/2} .} \\ \end{array} $$
(9)

This is a first-order approximation if the solution is smooth. We can then obtain an approximation to \( \tau_{i}^{n} \) and \( V_{i}^{n} \) by solving a friction law and

$$ \begin{array}{*{20}c} {\tau_{*i}^{n} = \phi_{i}^{\text{tail}} + \phi_{*i}^{\text{head}} - \eta V_{*i}^{n} } \\ \end{array} $$
(10)

simultaneously. If we adopted \( \tau_{*i}^{n} \) and \( V_{*i}^{n} \) as the final estimate and \( V_{j}^{n - 1/2} \) were not updated, the scheme would be CM with \( e_{t} = 0 + \).

In a corrector step, we first obtain a better estimate of \( V_{j}^{n - 1/2} \) based on linear interpolation,

$$ \begin{array}{*{20}c} {V_{**j}^{n - 1/2} = \frac{1}{2}\left( {V_{j}^{n - 1} + V_{*j}^{n} } \right),} \\ \end{array} $$
(11)

and re-calculate the contribution of the current timestep to the functional term,

$$ \begin{array}{*{20}c} {\phi_{**i}^{\text{head}} = \mathop \sum \limits_{j = 1}^{N} K_{i - j}^{1} \left( {\Delta x,h_{T} ,1 + } \right)V_{**j}^{n - 1/2} .} \\ \end{array} $$
(12)

Then, we update the estimate of \( \tau_{i}^{n} \) and \( V_{i}^{n} \) by solving the friction law and

$$ \begin{array}{*{20}c} {\tau_{**i}^{n} = \phi_{i}^{\text{tail}} + \phi_{**i}^{\text{head}} - \eta V_{**i}^{n} .} \\ \end{array} $$
(13)

Finally, we adopt these updated values as a numerical solution,

$$ \begin{array}{*{20}c} {V_{i}^{n} = V_{**i}^{n} ,} \\ \end{array} $$
(14)
$$ \begin{array}{*{20}c} {\tau_{i}^{n} = \tau_{**i}^{n} ,} \\ \end{array} $$
(15)

and

$$ \begin{array}{*{20}c} {V_{i}^{n - 1/2} = \frac{1}{2}\left( {V_{i}^{n - 1} + V_{**i}^{n} } \right) .} \\ \end{array} $$
(16)

This scheme shall be labeled as NL in this paper.

If the corrector step is iterated until the numerical solution converges, the scheme becomes implicit, which solves Eq. (4) and the friction law simultaneously. For a relatively short timestep (\( {{h_{T} c_{s} } \mathord{\left/ {\vphantom {{h_{T} c_{s} } {c_{p} }}} \right. \kern-0pt} {c_{p} }} \le 0.5 \) for Modes I and II, and \( h_{T} \le 0.5 \) for Mode III), \( \phi_{i}^{\text{head}} \) is zero regardless of \( V_{j}^{n - 1/2} \). Therefore, the numerical solution converges after the first corrector step.

The computational cost is dominated by calculation of spatiotemporal convolution. Although this scheme consists of two sub-steps, the main part of the convolution, summing up contributions from the previous steps, is executed only once per timestep. Therefore, the additional numerical resources required are negligible relative to CM.

\( V \) is assumed to be constant in the predictor step. We can interpret the corrector step as two-step approximation. Firstly, \( V \) is assumed to change linearly with time, which would yield global error scaled as \( \Delta t^{2} \). Secondly, the mid-point evaluation of \( V \) (Eqs. 11 and 16) is applied and the same kernel as for CM is used instead of preparing another integration kernel for the linearly evolving \( V \). This second approximation also yields global error scaled as \( \Delta t^{2} \) where \( K \) is smooth enough (Appendix). Just note that in the SBIEM by Noda and Lapusta (2010), both \( V \) and the integration kernel are evaluated at the temporal midpoints so that the temporal integration is estimated with the midpoint scheme. In the numerical experiments presented later, NL was shown to be useful owing to its enhanced numerical stability, faster convergence of numerical error, and minimal modification of the simulation code required relative to CM.

Methodology

To investigate the stability and accuracy of the two time-marching schemes, we conducted two types of numerical experiments for Mode I, II, and III problems. The first being the numerical simulation of evolution of a random field mimicking a numerical error, and the second a convergence test for a smooth problem. To avoid additional complexity from the friction law, the fault is assumed to be traction-free (\( \tau_{i}^{n} = 0 \)) in the experiments. Such a simple friction law yields

$$ \begin{array}{*{20}c} {V_{i}^{n} = \frac{{\phi_{i}^{\text{tail}} + \phi_{i}^{\text{head}} }}{\eta } .} \\ \end{array} $$
(17)

Traction-free surfaces appear frequently in simulations in practice. Hok and Fukuyama (2011) used traction-free elements to include a ground surface in their model. In dynamic rupture simulations with slip-weakening friction laws, a ruptured region of residual, constant frictional strength can be considered traction-free if we focus on the response in the fault motion to perturbation. Therefore, the stability condition obtained in the present numerical experiments can be used as a necessary condition for a wide range of dynamic rupture simulations. The problem settings of the numerical experiments are described in detail in the following subsections.

Numerical stability analysis

For integral–differential equations, an analytic approach to assess numerical stability such as Von Neumann stability analysis may be difficult. In the first numerical experiments, we numerically simulated evolution of initially random perturbation added to a simple analytic solution,

$$ \begin{array}{*{20}c} {V\left( {x,t} \right) = 0 \;{\text{for }}\;{\text{all }}\;x \;{\text{and}}\; t \ge 0.} \\ \end{array} $$
(18)

Poisson’s ratio \( \nu = 0.25 \) was assumed, which is a good approximation to rocks. The fault was discretized by \( N = 64 \) elements, and the fault behavior was simulated until \( {{c_{p} t} \mathord{\left/ {\vphantom {{c_{p} t} {\Delta x}}} \right. \kern-0pt} {\Delta x}} = 320 \). \( \tau_{i}^{\text{ini}} \) was given by Gaussian random distribution around zero with standard deviation of \( \sigma \), and the same realization of \( \tau_{i}^{\text{ini}} \) was used for all simulations (Fig. 2a). In the simulation, \( \tau \) and \( V \) were nondimensionalized by \( \sigma \) and \( \sigma /\rho c_{s} \), respectively.

Fig. 2
figure 2

Distributions of \( \tau^{\text{ini}} \) assumed in the numerical experiments. a A Gaussian random distribution for 64 elements for numerical stability analysis. b A smooth boxcar-like function (Eq. 18), which was sampled by elements of \( \Delta x \) from \( \lambda \) to \( \lambda /1024 \)

During the simulations, the \( L_{2} \) norm of nondimensionalized \( V \),

$$ \| \!\! \begin{array}{*{20}c} {{{V\rho c_{s} } \mathord{\left/ {\vphantom {{V\rho c_{s} } {\sigma_{2} }}} \right. \kern-0pt} {\sigma_{2} }} \| _2 = \frac{{\rho c_{s} }}{\sigma }\sqrt {\mathop \sum \limits_{i = 1}^{N} V_{i}^{n2} } } \\ \end{array} $$
(19)

changes with time. The growth rate was calculated for each simulation by fitting a linear envelope to a plot of \( \log_{10} \left(|| {{{V\rho c_{s} } \mathord{\left/ {\vphantom {{V\rho c_{s} } {\sigma_{2} }}} \right. \kern-0pt} {\sigma_{2} ||}}} \right) \) as a function of \( {{c_{p} t} \mathord{\left/ {\vphantom {{c_{p} t} {\Delta x}}} \right. \kern-0pt} {\Delta x}} \) in the latter half of a simulation, \( 160 \le {{c_{p} t} \mathord{\left/ {\vphantom {{c_{p} t} {\Delta x}}} \right. \kern-0pt} {\Delta x}} \le 320 \), and defined as the slope of the envelope. If the perturbation grows, it is conceivable that the random round-off error increases with time, and the numerical solution cannot be regarded as an approximation to the true solution.

With CM, a 2-D parameter study was conducted for \( 0.1 \le h_{T} \le 1.5 \) and \( 0 \le e_{t} \le 1 \) every \( 0.01 \) (\( 141 \times 101 \) runs for each mode). With NL, there is only one numerical parameter. Therefore a 1-D parameter study for \( 0.1 \le h_{T} \le 1.5 \) every \( 0.01 \) (\( 141 \) runs for each mode) was performed.

Convergence test

Convergence tests were performed for a problem of smooth distribution of \( \tau^{\text{ini}} \left( x \right) \) applied to a traction-free fault in Mode I, II, or III conditions. We assumed \( \tau^{\text{ini}} \) to be an infinitely differentiable function,

$$ \begin{array}{*{20}c} {\tau^{ini} \left( x \right) = \left\{ {\begin{array}{*{20}c} {\frac{\Delta \tau }{2}\left( {1 + \tanh \left( {\frac{\lambda }{\left| x \right| - \lambda } + \frac{\lambda }{\left| x \right|}} \right)} \right)} & {\left| x \right| < \lambda } \\ 0 & {\lambda \le \left| x \right|} \\ \end{array} } \right. ,} \\ \end{array} $$
(20)

where \( \Delta \tau \) is the amplitude and \( \lambda \) is the approximate width of the perturbation (Fig. 2b). Note that the maximum value of the gradient \( d\tau ^{ini} /dx \) is \( 4\Delta \tau /\lambda \), and thus it can be anticipated that \( \Delta x < \lambda /4 \) is required for simulations with a good resolution.

A series of simulations were conducted until \( tc_{s} \) exceeded \( 2\lambda \) with various \( \Delta x \) from \( \lambda \) to \( \lambda /256 \) with CM and NL. The system size was set long enough that the ends of the fault did not matter. The mesh was refined by adding extra collocation points in the middle of neighboring ones. Therefore, positions of the collocation points in a mesh always form a subset of those in the finer meshes.

The numerical parameters \( e_{t} \) and \( h_{T} \) must be selected from the region of stability obtained in the numerical stability analysis, which is explained in the following section. For CM, we selected a couple of parameter sets, \( \left( {h_{T} , e_{t} } \right) = \left( {0.5, 0.4} \right) \) and \( \left( {0.9, 0.55} \right) \). As \( h_{T} \) increases, the amount of memory required for simulation of the same physical time duration decreases. \( h_{T} = 0.9 \) is around the upper maximum of the stability condition as explained later. For NL, we tested \( h_{T} \) from \( 0.4 \) to \( 1.1 \) every \( 0.1 \).

In addition to CM and NL, we carried out a convergence test with the SBIEM and the second-order time-marching scheme by Noda and Lapusta (2010) for reference with \( h_{T} = 0.5 \). Owing to calculation of the spatial convolution in the wavenumber domain, the SBIEM requires much less numerical resources and thus we can refine the mesh much more than with the space-domain BIEM. Simulations with the SBIEM were conducted with \( \Delta x \) from \( \lambda \) to \( \lambda /1024 \), and the simulation with the best resolution (\( \Delta x = \lambda /1024 \)) was used as a reference solution in estimating the numerical error.

Numerical error \( E \) was defined as the \( L_{2} \) norm of the difference in \( V \) from the reference solution at \( tc_{s} /\lambda = 2 \). If the collocation time points did not exist exactly at \( tc_{s} /\lambda = 2 \), then \( V \) at \( tc_{s} /\lambda = 2 \) was estimated by temporal linear interpolation between collocation points. \( E \) was defined as

$$ \begin{array}{*{20}c} {E\left( {\Delta x/\lambda } \right) = \frac{{\rho c_{s} }}{\Delta \tau }\sqrt {\mathop \sum \limits_{i = 1}^{N} \left( {V_{i} - V_{r\left( i \right)}^{R} } \right)^{2} \frac{\Delta x}{\lambda } } ,} \\ \end{array} $$
(21)

where \( V_{i} \) is the value of \( V \) at \( tc_{s} /\lambda = 2 \) and at the \( i \)-th grid point, \( V_{r\left( i \right)}^{R} \) is the corresponding value of \( V \) in the reference solution. \( E\left( {\Delta x/\lambda } \right) \) is a decreasing function for a consistent numerical scheme if \( {{\Delta x} \mathord{\left/ {\vphantom {{\Delta x} \lambda }} \right. \kern-0pt} \lambda } \ll 1 \), and the order of accuracy can be recognized as the slope in a log–log plot.

Results

Numerical stability analysis

Figure 3 shows representative examples of evolution of \( V\rho c_{s} /\sigma_{2} \) in the Mode II problem using CM with numerical parameters \( e_{t} = 0.6, \) and \( h_{T} = 0.65, \)\( 0.7, \)\( 0.75, \) and \( 0.8 \). The dashed lines in \( {{c_{p} t} \mathord{\left/ {\vphantom {{c_{p} t} {\Delta x}}} \right. \kern-0pt} {\Delta x}} > 160 \) are the envelopes that define the growth rate. Just after initiation of the simulations, the norm of \( V \) decreased regardless of the parameters. It began to increase after a while in some cases, showing exponential growth (cases with \( h_{T} = 0.65 \) and \( 0.7 \)). In other cases, it sharply decreased at around \( {{c_{p} t} \mathord{\left/ {\vphantom {{c_{p} t} {\Delta x}}} \right. \kern-0pt} {\Delta x}} = 120 \), and continued to decrease exponentially. The cases with the smallest growth rate values were almost the same each other and were very close to the plot for \( h_{T} = 0.8 \) in Fig. 3.

Fig. 3
figure 3

Representative simulation results of the numerical stability analysis using CM for a Mode II problem and with \( e_{t} = 0.6 \) and \( h_{T} = 0.65, \)\( 0.7, \)\( 0.75, \) and \( 0.8 \). The straight dashed lines are envelopes that define the growth rate

Spatiotemporal distributions of \( V \) for the cases plotted in Fig. 3 are shown in Fig. 4. Note that \( V \) at each timestep is normalized by the \( L_{2} \) norm of \( V \) at the same timestep (Fig. 3). The normalization helps us recognize dominant pattern of each numerical solution. With \( h_{T} = 0.65 \) (Fig. 4a), alternating oscillation became dominant soon after the initiation of the simulation, and propagation of waves from the initial heterogeneous field was hardly seen. With \( h_{T} = 0.7 \) (Fig. 4b), the oscillation grew more slowly, and the waves could be seen until about \( {{c_{p} t} \mathord{\left/ {\vphantom {{c_{p} t} {\Delta x}}} \right. \kern-0pt} {\Delta x}} = 60 \) at the center of the fault, and about \( {{c_{p} t} \mathord{\left/ {\vphantom {{c_{p} t} {\Delta x}}} \right. \kern-0pt} {\Delta x}} = 120 \) near the ends of the fault. Note that \( Nc_{p} /c_{R} = 120.57 \) for \( \nu = 0.25 \) where \( c_{R} \) is the Rayleigh wave speed. After passage of these waves, the alternating oscillation became dominant. With \( h_{T} = 0.75 \) (Fig. 4c) and \( 0.8 \) (Fig. 4d), it was clear that Rayleigh waves radiated from the initial stress distribution that passed through the fault by \( {{c_{p} t} \mathord{\left/ {\vphantom {{c_{p} t} {\Delta x}}} \right. \kern-0pt} {\Delta x}} = 120 \). Subsequent fault motion apparently consisted of a series of Rayleigh waves evidenced by checkered patterns at large \( {{c_{p} t} \mathord{\left/ {\vphantom {{c_{p} t} {\Delta x}}} \right. \kern-0pt} {\Delta x}} \). The pattern seemed to be richer in high wavenumber and frequency for \( h_{T} = 0.75 \) than for \( h_{T} = 0.8 \).

Fig. 4
figure 4

Spatiotemporal distribution of \( V \) normalized by its \( L_{2} \) norm (Eq. 17) defined for each snapshot in the simulations for numerical stability analysis plotted in Fig. 3 under Mode II loading conditions with \( h_{T} \) of a\( 0.65 \), b\( 0.7 \), c\( 0.75 \), and d 0.8, and \( e_{t} = 0.6 \). Three black lines from the origin represent the wave speeds

The growth rate obtained with CM for each mode and for a range of \( h_{T} \) and \( e_{t} \) is indicated by color maps in Fig. 5. The color scales are selected from the minimum value to \( - 2 \) times the minimum value so that variation in largely positive values is not indicated. The shape of the region of stability enclosed by white-black dashed lines is complex, and different for different modes as reported by Tada and Madariaga (2001). Their results are plotted in Fig. 5 for comparison and will be discussed later. Figure 6 shows the stability fields for all combinations of the modes. In problems comprising a mixed-mode rupture or with surfaces where motion in multiple directions is allowed, the numerical scheme must be stable for multiple modes, while the intersection of the stability regimes of all the modes is quite restricted. Therefore, the numerical parameters must be selected carefully for CM.

Fig. 5
figure 5

Color maps of the growth rate of the numerical solutions in the stability analysis using CM for a Mode I, b Mode II, c Mode III conditions. The color bars denote the range from the minimum value to \( - 2 \) times it. Zero growth rate is indicated by white-black dashed lines. Results of the stability analysis by Tada and Madariaga (2001) are indicated in symbols. For full details, see the main text

Fig. 6
figure 6

The stability field for all combinations of the modes for CM (Fig. 5). Purple: Mode I, Cyan: Mode II, Yellow: Mode III, Blue: Modes I and II, Green: Modes II and III, Red: Modes I and III, Black: All modes

The growth rate obtained with NL is indicated in Fig. 7. It is remarkable that the scheme is stable for a wide range of \( h_{T} \), which is the only parameter in the scheme. For Modes I and III, the scheme is stable almost everywhere as long as studied. For Mode II, it is less stable, but there is a wide region of stability of \( 0.40 \le h_{T} \le 1.14 \) in addition to a smaller one of \( 0.26 \le h_{T} \le 0.29 \) (see Fig. 7b). Intersection of the regions of stability for all modes is identical to that of Mode II. The wide continuous region of stability allows us to vary the size of elements by a factor of 2.85 if the length of the timestep is spatially uniform in a simulation.

Fig. 7
figure 7

a Growth rate obtained in the stability analysis using NL, and b a magnified plot around the neutral growth rate. Results for Mode I, II, and III are indicated by blue squares, red triangles, and black circles, respectively. Intersection of regions of stability for all modes are indicated in yellow

Convergence test

The results of the convergence tests for Mode I, II, and III conditions are shown in Fig. 8a, b, c, respectively. For all the modes, CM results in a first-order scheme, while NL shows faster convergence rates. With NL \( E\left( {{{\Delta x} \mathord{\left/ {\vphantom {{\Delta x} \lambda }} \right. \kern-0pt} \lambda }} \right) \) depends on \( h_{T} \) by about one order of magnitude so that selection of \( h_{T} \) is important for good quality simulations if accessible numerical resources allow. It is surprising that NL with \( h_{T} = 0.5 \) is slightly better than the SBIEM with the same \( h_{T} \) for Modes I and III.

Fig. 8
figure 8

The results of the convergence tests. ac Estimated numerical error \( E\left( {{{\Delta x} \mathord{\left/ {\vphantom {{\Delta x} \lambda }} \right. \kern-0pt} \lambda }} \right) \) as a function of the element size \( {{\Delta x} \mathord{\left/ {\vphantom {{\Delta x} \lambda }} \right. \kern-0pt} \lambda } \). Red symbols represent cases with CM. Green to blue symbols are for cases with NL with various \( h_{T} \). Black pluses are cases with the SBIEM. df The cases with NL normalized by \( \left( {{{\Delta x} \mathord{\left/ {\vphantom {{\Delta x} \lambda }} \right. \kern-0pt} \lambda }} \right)^{2} \). Panels in the left, center, and right columns represent Modes I, II, and III, respectively

To see detailed behavior with NL, we normalize \( E\left( {{{\Delta x} \mathord{\left/ {\vphantom {{\Delta x} \lambda }} \right. \kern-0pt} \lambda }} \right) \) by \( \left( {{{\Delta x} \mathord{\left/ {\vphantom {{\Delta x} \lambda }} \right. \kern-0pt} \lambda }} \right)^{2} \) indicated by thick gray lines in the upper panels of Fig. 8. Horizontal dependency in the lower panels of Fig. 8 indicates second-order accuracy. It is typically the case that a smaller \( h_{T} \) value (i.e., shorter timesteps and larger memory requirement) results in a smaller numerical error. In Mode II, however, the cases with \( h_{T} = 0.4 \) and \( 0.5 \) show scaling of only \( \left( {{{\Delta x} \mathord{\left/ {\vphantom {{\Delta x} \lambda }} \right. \kern-0pt} \lambda }} \right)^{1.5} \), and the numerical error can be worse than in cases with larger \( h_{T} \) in simulations with a very good resolution (i.e., small \( {{\Delta x} \mathord{\left/ {\vphantom {{\Delta x} \lambda }} \right. \kern-0pt} \lambda } \)).

Discussion

In addition to the results of the present study, numerical stability reported by Tada and Madariaga (2001) every \( 0.05 \) in \( h_{T} \) and every \( 0.1 \) in \( e_{t} \) is plotted in Fig. 5. They conducted simulations of self-similar singular ruptures for a maximum of 1000 timesteps and presented the stability after classifying the cases according to the following five categories. (1) Displacement gap \( \Delta u \) exceeded a certain threshold about 10 times larger than the maximum value in the analytic solution before the 200th timestep (cross symbols in Fig. 5). (2) \( \Delta u \) exceeded the threshold between the 201st and 500th timesteps (black triangles in Fig. 5). (3) \( \Delta u \) exceeded the threshold between the 501st and 999th timesteps (black squares in Fig. 5). (4) \( \Delta u \) did not exceed the threshold, but it was not a smooth, monotonic function of \( x \) at the 1000th timestep (gray squares in Fig. 5). (5) \( \Delta u \) was a smooth function of space at the 1000th timestep (white circles in Fig. 5).

It is apparent that the stability shown by Tada and Madariaga (2001) anticorrelates well with the growth rate calculated in the present study. Therefore, we conclude that the numerical error studied by them is mainly due to growing oscillation in the ruptured, traction-free part of the self-similar ruptures. Note that a smaller \( h_{T} \) requires a larger number of timesteps per unit time. Therefore, if two cases have the same growth rate defined in the present study, the case with smaller \( h_{T} \) should show less poor stability evaluated by Tada and Madariaga (2001) than the other case.

With NL, the observed convergence rate \( \Delta x^{1.5} \) for Mode II with \( h_{T} \le 0.5 \) was smaller than that of the other cases that showed \( \Delta x^{2} \). The integration scheme in NL (Eq. (4)) is second-order accurate for smooth enough functions, while the kernel of the space-domain BIEM has singularities at the wave fronts and at the source location. These singularities could be the source of the slower convergence rate, for the singularity of order \( - 1/2 \) at the wave fronts results in global error scaled as \( \Delta x^{1.5} \). However, the reason why the other cases show faster rate of \( \Delta x^{2} \) is not clear and deserves further study. This problem may be less severe for 3-D cases in which the singularity is milder. Note that this issue does not exist in the SBIEM, which uses a smooth integration kernel expressed in the wavenumber domain.

Figure 8 illuminates additional complex dependency of the numerical error on \( \Delta x \) and \( \Delta t \). Comparison of the cases with the same \( \Delta x \) and different \( h_{T} \) and thus different \( \Delta t \) shows non-monotonic behavior for Mode II with \( \Delta x \le \lambda /16 \). The numerical error of the cases along the \( \Delta x^{1.5} \) dependency for Mode II (thick dashed lines in Fig. 8e) decreases by a factor more than 3 with decreasing \( \Delta t \) by 20% with keeping \( \Delta x \), yielding scaling of about \( \Delta t^{5} \) locally. The cases with \( h_{T} = 0.5 \) have the same \( \Delta t \) as those in the cases with half \( \Delta x \) and \( h_{T} = 1.0 \). Comparison of them almost always indicates that the numerical error increases with decreasing \( \Delta x \) with keeping \( \Delta t \). Those observations cannot be understood based on convergence of numerical integration of a regular function. Further investigations on the accuracy in numerical treatment of the hypersingularity or on the effect of interaction of \( V \) and \( \phi \) on the fault are required to fully understand the present and conventional time-marching schemes to verify, not only experimentally, but also theoretically, the accuracy of dynamic rupture simulations. In addition, the present study deals with the simplest 2-D problem consisting of a planer fault and a trivially simple friction law. Applicability of the results here to more general cases such as 3-D problems with non-planer faults has to be tested.

On the friction law, Lapusta et al. (2000) proposed an adaptive time stepper based on a stability analysis of the quasi-static limit with a rate- and state-dependent friction law (e.g., Ruine 1983), followed by a quasidynamic stability analysis with an exponential time-differencing scheme by Noda and Lapusta (2010). Positive rate-dependency, either instantaneous or at steady-state, enhances numerical stability. On the other hand, negative instantaneous rate-dependency may lead to an ill-posed problem (Rice et al. 2001). We would like to point out that the friction law significantly affects numerical stability although investigation of this issue is out of the aim of the present study.

Although the results of numerical experiments reported here have not fully understood, we found NL useful and applicable to many geophysical problems. It requires negligible additional numerical resources compared with CM and allows us more flexible meshing on a fault for problems with a mixed-mode rupture. NL has only one numerical parameter \( h_{T} \), and thus tuning of a simulation is simpler. In addition, NL produces a smaller numerical error than CM, and thus requires less computational costs for simulations of the same quality.

Summary

We tested two time-marching schemes used in numerical simulations of dynamic rupture based on a boundary integral equation method (BIEM). One (CM) is a conventional method based on spatiotemporally piecewise-constant distribution of \( V \), the stability of which was previously investigated by Tada and Madariaga (2001). The other (NL) is based on a predictor–corrector method previously used in a spectral, wavenumber-domain BIEM (SBIEM) (Lapusta et al. 2000; Noda and Lapusta 2010) and adapted to the space-domain BIEM in this study. CM has two nondimensional numerical parameters \( e_{t} \) and \( h_{T} \), which represent the timing of the collocation points and the length of timesteps, respectively, while NL has only one parameter, \( h_{T} \). Two types of numerical experiments have been conducted for 2-D Mode I, II, and III problem settings for a flat traction-free fault.

Numerical stability was numerically evaluated by simulating fault motion due to randomly distributed initial stress \( \tau^{\text{ini}} \). We found that the growth rate with CM anticorrelates very well with the report by Tada and Madariaga (2001), and that the stable region in the parameter space \( \left( {h_{T} ,e_{t} } \right) \) is rather complex. The intersection for all the modes is quite restricted, implying that mixed-mode ruptures are difficult to simulate with CM. However, in contrast, NL shows a wide range of stability in the parameter space. The growth rate is negative for all the modes if \( 0.26 \le h_{T} \le 0.29 \) or \( 0.40 \le h_{T} \le 1.14 \). Therefore, NL is probably useful in simulating mixed-mode ruptures or in meshing a fault heterogeneously. Convergence tests conducted for initially smooth distribution of \( \tau^{\text{ini}} \) show faster convergence rates for NL than CM. CM shows first-order convergence, and overall NL shows second-order convergence except in a couple of Mode II cases with \( h_{T} = 0.4 \) and \( 0.5 \), in which the numerical error is scaled as \( \Delta x^{1.5} \). Although the reason for such complex dependency deserves further study and applicability of the findings to more general cases has to be confirmed, we conclude that NL is a useful scheme because of its enhanced stability, smaller numerical error, and negligible additional computational cost compared with CM.

Availability of data and materials

No observation data are used in the present study. The BIEM simulation code used in the present study is available on a reasonable request to the authors. The SBIEM code was provided by Nadia Lapusta, and the authors do not hold the right to make it publicly accessible.

Abbreviations

BIEM:

Boundary integral equation method

NL:

Time-marching scheme modified from Noda and Lapusta (2010)

SBIEM:

Spectral boundary integral equation method

CM:

Time-marching scheme by Cochard and Madariaga (1994)

References

Download references

Acknowledgements

We appreciate the comments by Ryosuke Ando and anonymous reviewers. They were useful in improving the manuscript. We also thank Masato Furuya for taking care of our manuscript.

Funding

This study is supported by MEXT KAKENHI Grant Number 26109007, JSPS KAKENHI Grant Number 19K04038, and by the Ministry of Education, Culture, Sports, Science and Technology (MEXT) of Japan, under its Earthquake and Volcano Hazards Observation and Research Program.

Author information

Authors and Affiliations

Authors

Contributions

HN developed the new method, designed numerical experiments, coded the program, and took the lead in writing. DSKS motivated the authors towards the present study by pointing out the existing issues, and contributed to discussions, the appendix, and the writing of the manuscript. YK contributed to the coding. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Hiroyuki Noda.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Consent for publication

Not applicable.

Competing interests

The authors do not have competing interests.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix

Appendix

Second-order accuracy of Eq. (4) for smooth functions

Equation (4) is not a midpoint integration scheme of Eq. (1), as \( K \) is estimated based on boxcar approximation to the source despite \( V \) being evaluated at the center of the support of the basis functions. It is, however, straightforward to show the second-order accuracy where the \( K \) and \( V \) are differentiable for two times. It is sufficient to consider a 1-D integration. If \( f\left( t \right) \) and \( g\left( t \right) \) are differentiable for two times in \( 0 < t < \Delta t \), so is \( f\left( t \right)g\left( t \right) \) and thus

$$ \begin{array}{*{20}c} {\int\limits_{0}^{\Delta t} {f\left( t \right)g\left( t \right)dt = f\left( {\Delta t/2} \right)g\left( {\Delta t/2} \right)\Delta t + O\left( {\Delta t^{3} } \right) } .} \\ \end{array} $$
(22)

The local error of \( \Delta t^{3} \) causes the global error of \( \Delta t^{2} \) in the midpoint integration scheme. Similarly, integration of \( g\left( t \right) \) yields

$$ \int\limits_{0}^{\Delta t} {g\left( t \right)dt = g\left( {\Delta t/2} \right)\Delta t + O\left( {\Delta t^{3} } \right).} $$
(23)

Substituting \( g\left( {{{\Delta t} \mathord{\left/ {\vphantom {{\Delta t} 2}} \right. \kern-0pt} 2}} \right)\Delta t \) in Eq. (A1) for an expression given by Eq. (A2), we obtain

$$ \begin{array}{*{20}c} {\mathop \smallint \limits_{0}^{\Delta t} f\left( t \right)g\left( t \right)dt = f\left( {\Delta t/2} \right)\mathop \smallint \limits_{0}^{\Delta t} g\left( t \right)dt + O\left( {\Delta t^{3} } \right) .} \\ \end{array} $$
(24)

This equation indicates that midpoint evaluation of the source (\( f \)) and the kernel based on constant source (integral of \( g \)) can produce a solution with a second-order global error.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Noda, H., Sato, D.S.K. & Kurihara, Y. Comparison of two time-marching schemes for dynamic rupture simulation with a space-domain BIEM. Earth Planets Space 72, 76 (2020). https://doi.org/10.1186/s40623-020-01202-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s40623-020-01202-5

Keywords