Keywords

1 Introduction

Graphene nano-material has attracted tremendous attention due to its exceptional electrical, optical, and mechanical properties [1], and this increases the interest of developing accurate and efficient numerical techniques for modeling graphene structures. In the last two decades, the finite difference time domain (FDTD) method [2], which is known to be one of the most popular electromagnetic time domain numerical techniques, has been widely used in graphene simulations [3,4,5]. In these approaches, the auxiliary differential equation method is used for incorporating graphene’s dispersion into the FDTD algorithm.

In this paper, alternative formulations based on combining the second- order Runge-Kutta scheme [6] with the FDTD algorithm are introduced for model graphene structures. In this respect, a differencing scheme in which the electric field and the associated current density are collocated in time and space is used for incorporating graphene’s dispersion into the FDTD algorithm. The stability of the formulations is studied by using the root-locus method [7], and it is shown that the given formulations maintain the conventional Courant-Friedrichs-Lewy (CFL) time-step stability limit. The stability and accuracy of the formulations are validated through a numerical test that investigates the tunneling phenomena of electromagnetic wave propagation through an infinite free-standing graphene layer.

2 Formulations

At microwave and THz frequency regimes, the surface conductivity of graphene can be written as [8]

$$\begin{aligned} \sigma _{\texttt {intra}}=\frac{\sigma _{0}}{\textbf{j}\omega +v} \end{aligned}$$
(1)

where v is the scattering rate, and \(\sigma _{0}=e^{2}k_{B}T\left( \frac{\mu _{c}}{k_{B}T}+2\ln (e^{-\mu _{c}/k_{B}T}+1\right) /\pi \hbar ^{2}\) is the static conductivity, where \(-e\) is the electron charge, \(k_{B}\) is Boltzmann’s constant, T is the temperature, \(\mu _{c}\) is the chemical potential, and \(\hbar \) is the reduced Planck’s constant. Considering a graphene layer of thickness \(D_{g}\), and introducing the concept of volumetric conductivity \(\sigma _{v}=\sigma _{\texttt {intra}}/D_{g}\) [9], the equations for the electric field component \(E_{\eta }\), \((\eta =x\), y, z), and the associated current density \(J_{\eta }\) can be written as

$$\begin{aligned} \varepsilon _{0}\frac{\partial E_{\eta }}{\partial t}= & {} \left. \nabla \times \textbf{H}\right| _{\eta }-\frac{1}{D_{g}}J_{\eta } \end{aligned}$$
(2)
$$\begin{aligned} \frac{\partial J_{\eta }}{\partial t}= & {} \sigma _{0}E_{\eta }-vJ_{\eta } \end{aligned}$$
(3)

Letting the electric field and the associated current density be collocated in time and space, (2) can be discretized as

$$\begin{aligned} \varepsilon _{0}\frac{{\delta }_{t}}{\Delta _{t}}\left. E_{\eta }\right| _{r_{Ex}}^{n+\frac{1}{2}}=\left. \widetilde{\nabla }\times \textbf{H}\right| _{\eta _{r_{E\eta }}}^{n+\frac{1}{2}}-\frac{1}{D_{g}}\mu _{t}\left. J_{\eta }\right| _{r_{Ex}}^{n+\frac{1}{2}} \end{aligned}$$
(4)

where \(r_{E\eta }\) is the spatial position of \(E_{\eta }\), \(\Delta _{t}\) is the time step, \(\Psi ^{n}=\Psi ^{n}\left( n\Delta _{t}\right) \) \((\Psi =\) E, H, J), \(\delta _{t}\) is the centered temporal difference operator given by

$$\begin{aligned} \delta _{t}u_{\alpha ,\beta ,\gamma }^{q}= & {} u_{\alpha ,\beta ,\gamma }^{q+\frac{1}{2}}-u_{\alpha ,\beta ,\gamma }^{q-\frac{1}{2}} \end{aligned}$$
(5)

where \(u_{\alpha ,\beta ,\gamma }^{q}=u\left( q\Delta _{t},\,\alpha \Delta _{x},\,\beta \Delta _{x},\,\gamma \Delta _{z}\right) \), with \(q=\left\{ n,\,n+\frac{1}{2}\right\} \), \(\alpha =\left\{ i,\,i+\frac{1}{2}\right\} \), \(\beta =\left\{ j,\,j+\frac{1}{2}\right\} \), and \(\gamma =\left\{ k,\,k+\frac{1}{2}\right\} \), \(\mu _{t}\) is the discrete averaging operator defined as

$$\begin{aligned} \mu _{t}u_{\alpha ,\beta ,\gamma }^{q}= & {} \frac{u_{\alpha ,\beta ,\gamma }^{q+\frac{1}{2}}+u_{\alpha ,\beta ,\gamma }^{q+\frac{1}{2}}}{2} \end{aligned}$$
(6)

and, finally, \(\widetilde{\nabla }\times \) is the discrete version of \(\nabla \times \) given by

$$\begin{aligned} \widetilde{\nabla }\times =\left( \begin{array}{lll} 0 &{} -\delta _{z} &{} \delta _{y} \\ \delta _{z} &{} 0 &{} -\delta _{x} \\ -\delta _{y} &{} \delta _{x} &{} 0 \end{array}\right) \end{aligned}$$
(7)

where \(\delta _{\eta }\), \(\eta \in \left\{ x,\,y,\,z\right\} \), is the centered spatial difference operator in the \(\eta \)-coordinate, for instance, \(\delta _{x}\) is defined at the \(\left( \alpha ,\,\beta ,\,\gamma \right) \) grid position as

$$\begin{aligned} \delta _{x}u_{\alpha ,\beta ,\gamma }^{q}=\frac{u_{\alpha +\frac{1}{2},\beta ,\gamma }^{q}-u_{\alpha -\frac{1}{2},\beta ,\gamma }^{q}}{\Delta _{x}} \end{aligned}$$
(8)

with \(\Delta _{x}\) being the mesh size along the x-coordinate. Based on (4), the \(E_{\eta }\) electric field component can be approximated at \(n+1\) time step as

$$\begin{aligned} E_{\eta _{r_{E\eta }}}^{n+1}=E_{\eta _{r_{E\eta }}}^{n}+\frac{\Delta _{t}}{\varepsilon _{0}}\left. \widetilde{\nabla }\times \textbf{H}\right| _{\eta _{r_{E\eta }}}^{n+\frac{1}{2}}-\frac{\Delta _{t}}{2\varepsilon _{0}D_{g}}\left( J_{\eta _{r_{E\eta }}}^{n+1}+J_{\eta _{r_{E\eta }}}^{n}\right) \end{aligned}$$
(9)

By employing the general second-order RK [6] scheme to (3), \(J_{\eta }^{n+1}\) can be approximated as

$$\begin{aligned} \left\{ \begin{array}{l} \mathcal {K}_{1}=\Delta _{t}f\left( n\Delta _{t},J_{\eta }^{n}\right) \\ \mathcal {K}_{2}=\Delta _{t}f\left( \left( n+\lambda _{1}\right) \Delta _{t},J_{\eta }^{n}+\lambda _{2}\mathcal {K}_{1}\right) \\ J_{\eta }^{n+1}=J_{\eta }^{n}+a_{1}\mathcal {K}_{1}+a_{2}\mathcal {K}_{2} \end{array}\right. \end{aligned}$$
(10)

where f is obtained from the right-hand side of (3) as

$$\begin{aligned} f=\sigma _{0}E_{\eta }-vJ_{\eta } \end{aligned}$$
(11)

and

$$\begin{aligned} \left\{ \begin{array}{l} a_{1}+a_{2}=1 \\ \lambda _{1}a_{2}=\frac{1}{2} \\ \lambda _{2}a_{2}=\frac{1}{2} \end{array}\right. \end{aligned}$$
(12)

It is important to note that the approximation of (10) is of second-order accuracy, as shown in the Appendix. Employing the midpoint integration rule [6], which is also known as the modified Euler method, these constants can be obtained as

$$\begin{aligned} a_{1}=0,\,a_{2}=1,\,\texttt {and}\,\lambda _{1}=\lambda _{2}=\frac{1}{2} \end{aligned}$$
(13)

Hence, \(J_{\eta }^{n+1}\) can be re-arranged from (10) as

$$\begin{aligned} J_{\eta }^{n+1}=J_{\eta }^{n}+\Delta _{t}f\left( \left( n+\frac{1}{2}\right) \Delta _{t},J_{\eta }^{n}+\frac{\Delta _{t}}{2}f\left( n\Delta _{t}+J_{\eta }^{n}\right) \right) \end{aligned}$$
(14)

which can be written recursively at the \(r_{E\eta }\) grid position as

$$\begin{aligned} J_{\eta _{r_{E\eta }}}^{n+1}=b_{1}J_{\eta _{r_{E\eta }}}^{n}+b_{2}E_{\eta _{r_{E\eta }}}^{n} \end{aligned}$$
(15)

where \(b_{1}=1-\tilde{v}+\frac{\tilde{v}^{2}}{2}\) and \(b_{2}=\sigma _{0}\tilde{v}\left( 1-\frac{\tilde{v}}{2}\right) \) with \(\tilde{v}=v\Delta _{t}\). For completeness, the magnetic field component \(H_{\eta }\) is written in the FDTD form as [2]

$$\begin{aligned} H_{\eta _{r_{H\eta }}}^{n+\frac{1}{2}}=H_{\eta _{r_{H\eta }}}^{n-\frac{1}{2}}-\frac{\Delta _{t}}{\mu _{0}}\left. \widetilde{\nabla }\times \textbf{E}\right| _{\eta _{r_{H\eta }}}^{n} \end{aligned}$$
(16)

In the following section, the stability analysis of the above formulations is investigated by using the root-locus method [7].

3 Root-Locus Stability Analysis

Let the time-harmonic solution of the above field equations with the variables E, H, and J be given by

$$\begin{aligned} \Psi _{\alpha ,\beta ,\gamma }^{n}=\Psi _{0}e^{\textbf{j}\left( \omega n\Delta _{t}-\widetilde{k}_{x}\alpha \Delta _{x}-\widetilde{k}_{y}\beta \Delta _{y}-\widetilde{k}_{z}\gamma \Delta _{z}\right) } \end{aligned}$$
(17)

where \(\textbf{j}=\sqrt{-1}\), \(\Psi _{\alpha ,\beta ,\gamma }^{n}=\Psi \left( n\Delta _{t},\alpha \Delta _{x},\,\beta \Delta _{y},\,\gamma \Delta _{z}\right) \), \(\Psi _{0}\) is the complex amplitude of the field \(\Psi \), and \(\widetilde{k}_{\eta }\) \(\left( \eta =x,\,y,\,z\right) \) is the wave number in the discrete mode along the \(\eta \)-direction. Upon substituting (17) into (9), (14), and (16), the following system can be obtained:

$$\begin{aligned}{} & {} \left[ \begin{array}{ccc} \left( \mathcal {Z}-b_{1}\right) \textbf{I}_{3} &{} -b_{2}\textbf{I}_{3} &{} \textbf{0}_{3}\\ \frac{\Delta _{t}\left( \mathcal {Z}+1\right) }{2\varepsilon _{0}D_{g}}\textbf{I}_{3} &{} \left( \mathcal {Z}-1\right) \textbf{I}_{3} &{} \frac{\Delta _{t}\mathcal {Z}^{\frac{1}{2}}}{\varepsilon _{0}}\mathcal {C}\\ \textbf{0}_{3} &{} \frac{\Delta _{t}}{\mu _{0}}\mathcal {C}^{T} &{} \left( \mathcal {Z}^{\frac{1}{2}}-\mathcal {Z}^{-\frac{1}{2}}\right) \textbf{I}_{3} \end{array}\right] \nonumber \\{} & {} \times \left[ \begin{array}{c} \textbf{J}_{0}\\ \textbf{E}_{0}\\ \textbf{H}_{0} \end{array}\right] =0 \end{aligned}$$
(18)

where \(\mathcal {Z}=e^{j\omega \Delta _{t}}\) is the stability factor, \(\textbf{0}_{3}\) is a \(3\times 3\) null matrix, \(\textbf{I}{}_{3}\) is a \(3\times 3\) identity matrix, and \(\mathcal {C}\) contains the eigenvalues of the curl operator of Maxwell’s equations given by

$$\begin{aligned} \mathcal {C}=\left( \begin{array}{lll} 0 &{} \widehat{\delta }_{z} &{} -\widehat{\delta }_{y} \\ -\widehat{\delta }_{z} &{} 0 &{} \widehat{\delta }_{x} \\ \widehat{\delta }_{y} &{} -\widehat{\delta }_{x} &{} 0 \end{array}\right) \end{aligned}$$
(19)

where \(\widehat{\delta }_{\eta }=\textbf{j}2\sin \left( k_{\eta }\Delta _{\eta }/2\right) /\Delta _{\eta }\). Equating the determinant of the coefficient matrix of (18) to zero and taking \(\sin \left( \widetilde{k}_{\eta }\Delta _{\eta }/2\right) =1,\) to account for the worst possible case, the presented explicit RK-FDTD scheme will have the following stability polynomial:

$$\begin{aligned}{} & {} \left( \frac{\mathcal {Z}-1}{\mathcal {Z}^{\frac{1}{2}}}\right) \left( \frac{\mathcal {Z}-b_{1}}{\mathcal {Z}^{\frac{1}{2}}}\right) ^{2}\left[ \left( \mathcal {Z}-b_{1}\right) \left( \mathcal {Z}-1\right) \right. \nonumber \\{} & {} +\left. \frac{b_{2}\Delta _{t}}{2\varepsilon _{0}D_{g}}\left( \mathcal {Z}+1\right) \right] \left( S^{\mathcal{R}\mathcal{K}}\left( \mathcal {Z}\right) \right) ^{2}=0 \end{aligned}$$
(20)

where \(S^{\mathcal{R}\mathcal{K}}\left( \mathcal {Z}\right) \) is given by

$$\begin{aligned} S^{\mathcal{R}\mathcal{K}}\left( \mathcal {Z}\right)= & {} 4\mathcal{C}\mathcal{N}^{2}\mathcal {Z}+\left( \mathcal {Z}-1\right) ^{2}\nonumber \\+ & {} \frac{b_{2}\Delta _{t}}{2\varepsilon _{0}D_{g}}\frac{\left( \mathcal {Z}+1\right) \left( \mathcal {Z}-1\right) }{\left( \mathcal {Z}-b_{1}\right) } \end{aligned}$$
(21)

and \(\mathcal{C}\mathcal{N}\) is the Courant number defined as

$$\begin{aligned} \mathcal{C}\mathcal{N}=\frac{\Delta _{t}}{\Delta _{t_{\max }}^{\mathcal {CFL}}} \end{aligned}$$
(22)

with \(\Delta _{t_{\max }}^{\mathcal {CFL}}=1/c_{0}\sqrt{\Delta _{x}^{-2}+\Delta _{y}^{-2}+\Delta _{z}^{-2}}\) being the CFL time-step limit [2], and \(c_{0}=1/\sqrt{\varepsilon _{0}\mu _{0}}\) being the speed of light in free space. Based on (20) and (21), a reduced stability can be re-arranged from (21) as

$$\begin{aligned} 1+4\mathcal{C}\mathcal{N}^{2}\frac{\mathcal {Z}}{\left( \mathcal {Z}-1\right) ^{2}}\frac{1}{\widetilde{\varepsilon }_{r}^{\mathcal{R}\mathcal{K}}\left( \mathcal {Z}\right) }=0 \end{aligned}$$
(23)

where \(\widetilde{\varepsilon }_{r}^{\mathcal{R}\mathcal{K}}\left( \mathcal {Z}\right) \) is the numerical permittivity of the presented explicit RK-FDTD scheme, which can be arranged as

$$\begin{aligned} \widetilde{\varepsilon }_{r}^{\mathcal{R}\mathcal{K}}\left( \mathcal {Z}\right) =1+\frac{b_{2}\Delta _{t}}{2\varepsilon _{0}D_{g}}\frac{\left( \mathcal {Z}+1\right) }{\left( \mathcal {Z}-1\right) \left( \mathcal {Z}-b_{1}\right) } \end{aligned}$$
(24)
Fig. 1
figure 1

Root-locus of (23) for the presented explicit RK-FDTD implementation. Graphene parameters are taken as \(v=2\).0 THz, \(\mu _{c}=1.0\) eV, \(T=300\) Kelvin, and \(d=\Delta =c_{0}/200f_{\max }\), with \(f_{\max }=10\) THz

Based on the root-locus stability analysis [7], the maximum time step of the presented RK-FDTD implementation \(\left( \Delta _{t_{\max }}^{\mathcal{R}\mathcal{K}}\right) \) can be obtained from the fact that the roots of (23) must lie inside or on the unit circle in the \(\mathcal {Z}\)-plane, i.e., \(\left| \mathcal {Z}\right| \le 1\). To better visualize this idea, consider a graphene layer with the following parameters: \(v=2\).0 THz, \(\mu _{c}=1.0\) eV, \(T=300\) Kelvin, and let the graphene layer occupy one spatial cell [10], i.e., \(D_{g}=\Delta \), where \(\Delta =\Delta _{x}=\Delta _{y}=\Delta _{z}=c_{0}/200f_{\max }\) with \(f_{\max }=10\) THz. Figure 1 shows the root-locus of (23), where the initial time step is taken to satisfy \(\Delta _{t_{\max }}^{\mathcal {CFL}}\) [11]. As can be seen from Fig. 1, the instability occurs at \(\mathcal {Z}=-1\). Hence, by substituting \(\mathcal {Z}=-1\) into (23) together with (24) the following can be obtained:

$$\begin{aligned} 1-\mathcal{C}\mathcal{N}^{2}=0 \end{aligned}$$
(25)

and this implies that \(\mathcal{C}\mathcal{N}\) is always unity for the presented RK-FDTD scheme and independent from graphene parameters. Noting that \(\mathcal{C}\mathcal{N}=\Delta _{t}/\Delta _{t_{\max }}^{\mathcal {CFL}}\), the time-step constraint for the explicit RK-FDTD scheme \(\left( \Delta _{t_{\max }}^{\mathcal{R}\mathcal{K}}\right) \) can be obtained from (25) as

$$\begin{aligned} \Delta _{t_{\max }}^{\mathcal{R}\mathcal{K}}=\Delta _{t_{\max }}^{\mathcal {CFL}} \end{aligned}$$
(26)

Hence, the presented RK-FDTD scheme retains \(\Delta _{t}^{\mathcal {CFL}}\).

4 Numerical Stability and Accuracy Verification

In this section, the stability and accuracy of the presented explicit RK-FDTD scheme are verified through a numerical test that investigates electromagnetic wave propagation through an infinite free-standing graphene layer. For this purpose, an electromagnetic wave with \(E_{z}\) and \(H_{y}\) field components propagating in a one-dimensional (1-D) domain along the x-direction is considered. The size of the simulation domain is taken as \(8000\Delta _{x}\), where \(\Delta _{x}=c_{0}/200\,f_{\max }\) and \(f_{\max }=10\) THz. The convolutional perfectly matched layer (CPML) [12], with a thickness of 10 cells, is used to truncate the computational domain. The graphene layer, with the same parameters used for Fig. 1, occupies one spatial cell at grid point 4000. The simulation domain geometry is shown in Fig. 2. The excitation is a Gaussian pulse with a time dependence of

$$\begin{aligned} g(t)=e^{-4\pi \left( t-t_{d}\right) ^{2}/t_{w}^{2}} \end{aligned}$$
(27)

where \(t_{w}=80\Delta _{t}\) and \(t_{d}=6t_{w}\). The excitation source is located at point \(\textbf{S}\), and the observation point is located at point \(\textbf{O}\), as shown in Fig. 2. The simulation is conducted for the first 100 000 time steps. Figure 3 shows the transmitted \(E_{z}\) field recorded at the observation point \(\textbf{O}\), \(\left( E_{z}^{tr}\left( 4020\Delta _{x}\right) \right) \), computed by the presented explicit RK-FDTD implementation with \(\Delta _{t}=\Delta _{t_{\max }}^{\mathcal{R}\mathcal{K}}=\Delta _{t_{\max }}^{\mathcal {CFL}}\). Clearly, \(E_{z}\) remains stable over the complete simulation time and, therefore, the stability of the presented explicit RK-FDTD implementation maintains the conventional time-step CFL constraint. It must be noted that the simulation is also conducted with the presented explicit RK-FDTD implementation for the first \(1\times 10^{6}\) time steps and no instability is observed.

Fig. 2
figure 2

One-dimensional simulation domain geometry

Fig. 3
figure 3

Transmitted electric field at node 4020, \(E_{z}^{tr}\left( 4020\Delta _{x}\right) \) computed by the presented explicit RK-FDTD with \(\Delta _{t}=\Delta _{t_{\max }}^{\mathcal{R}\mathcal{K}}=\Delta _{t_{\max }}^{\mathcal {CFL}}\)

Fig. 4
figure 4

Transmission coefficient magnitude for a graphene layer computed by the presented explicit RK-FDTD, and the theoretical approaches

Finally, the accuracy of the presented explicit RK-FDTD implementations is studied. For this purpose, the transmission coefficient \(\left( \mathcal {T}\right) \) of the graphene layer is investigated and computed as

$$\begin{aligned} \mathcal {T}\left( \omega \right) =\frac{E_{z}^{tr}(\omega )}{E_{z}^{inc}(\omega )} \end{aligned}$$
(28)

where \(E_{z}^{tr}(\omega )\) is the frequency domain of the transmitted field \(E_{z}^{tr}\), and \(E_{z}^{inc}(\omega )\) is frequency domain of the incident field \(E_{z}^{inc}\) recorded at the observation point \(\textbf{O}\), which is obtained in the second simulation by replacing the graphene layer with vacuum. Figure 4 shows the magnitude of the transmission coefficient for the presented explicit RK-FDTD scheme with \(\Delta _{t}=\Delta _{t_{\max }}^{\mathcal{R}\mathcal{K}}=\Delta _{t_{\max }}^{\mathcal {CFL}}\). Figure 4 shows also the magnitude of the theoretical transmission coefficient (\(\mathcal {T}_{th}\)) [8]. Clearly, both schemes give high accuracy as the theoretical results.

5 Conclusions

In this paper, stable and accurate Runge-Kutta FDTD formulations are presented for graphene simulations. It is shown that the presented formulations not only retain the standard CFL time-step stability limit but also exhibit high accuracy as compared with the theoretical results.

6 Appendix: Runge-Kutta Local Truncation Error

Considering \(\mathcal {K}_{2}=\Delta _{t}f\left( \left( n+\lambda _{1}\right) \Delta _{t},J_{\eta }^{n}+\lambda _{2}\mathcal {K}_{1}\right) \) given in (10), and applying the multivariate Taylor series expansion, the following can be obtained:

$$\begin{aligned} \mathcal {K}_{2}= & {} \Delta _{t}\left[ f\left( n\Delta _{t}+J_{\eta }^{n}\right) +\lambda _{1}\Delta _{t}f_{t}^{\prime }\left( n\Delta ,J_{\eta }^{n}\right) \right. \nonumber \\+ & {} \left. \lambda _{2}\mathcal {K}_{1}f_{J_{\eta }}^{\prime }\left( n\Delta ,J_{\eta }^{n}\right) +O\left( \Delta _{t}^{2},\mathcal {K}_{1}^{2}\right) \right] \end{aligned}$$
(29)

where \(f_{t}^{\prime }\) and \(f_{J_{\eta }}^{\prime }\) denote the derivative of f with respect to time and \(J_{\eta },\) respectively. Noting that \(\mathcal {K}_{1}=\Delta _{t}f\left( n\Delta _{t}+J_{\eta }^{n}\right) +O\left( \Delta _{t}\right) \), and using (29), \(J_{\eta }^{n+1}\) in (10) can be arranged as

$$\begin{aligned} J_{\eta }^{n+1}= & {} J_{\eta }^{n}+\left( a_{1}+a_{2}\right) \Delta _{t}f\left( n\Delta _{t}+J_{\eta }^{n}\right) +a_{2}\Delta _{t}^{2}\nonumber \\ \times & {} \left[ \lambda _{1}f_{t}^{\prime }\left( n\Delta ,J_{\eta }^{n}\right) +\lambda _{2}f\left( n\Delta ,J_{\eta }^{n}\right) f_{J_{x}}^{\prime }\left( n\Delta ,J_{\eta }^{n}\right) \right] \nonumber \\+ & {} O\left( \Delta _{t}^{3}\right) \end{aligned}$$
(30)

Recalling that \(J_{\eta }^{n+1}\) can also be written by using the Taylor series expansion as

$$\begin{aligned} J_{\eta }^{n+1}= & {} J_{\eta }^{n}+\Delta _{t}J_{\eta _{t}}^{\prime }+\frac{\Delta _{t}^{2}}{2}J_{\eta _{tt}}^{\prime \prime }+O\left( \Delta _{t}^{3}\right) \end{aligned}$$
(31)

and noting that \(J_{\eta _{t}}^{\prime }=f\) and \(J_{\eta _{tt}}^{\prime \prime }=f_{t}^{\prime }+f_{J_{\eta }}^{\prime }f\), (31) can be arranged as

$$\begin{aligned} J_{\eta }^{n+1}= & {} J_{\eta }^{n}+\Delta _{t}f\left( n\Delta _{t}+J_{\eta }^{n}\right) +\frac{\Delta _{t}^{2}}{2}\nonumber \\\times & {} \left[ f_{t}^{\prime }\left( n\Delta ,J_{\eta }^{n}\right) +f\left( n\Delta ,J_{\eta }^{n}\right) f_{J_{\eta }}^{\prime }\left( n\Delta ,J_{\eta }^{n}\right) \right] \nonumber \\+ & {} O\left( \Delta _{t}^{3}\right) \end{aligned}$$
(32)

Comparing (30) with (32), it can be easily concluded that the explicit RK-FDTD approximation of (10) is of second-order accuracy if

$$\begin{aligned} a_{1}+a_{2}=1,\,\text {and}\,\lambda _{1}a_{2}=\lambda _{2}a_{2}=\frac{1}{2} \end{aligned}$$
(33)