1. Introduction
The generalized autoregressive conditionally heteroskedastic (GARCH) model of Bollerslev [Reference Bollerslev3] has been widely used in financial time series due to its strength in describing volatility dynamics. But there are some features of market data that can not be captured by the GARCH model, such as sudden movements of asset price and structural changes in a data series. Therefore, some studies combine the GARCH with jump processes or with regime switching to model the dynamics of asset price and find that they can provide better explanations than GARCH processes. For example, Lin and Yeh [Reference Lin and Yeh20] adopted the GARCH-jump model to test Taiwan stock market and find that inclusion of jump can significantly improve the fit of Taiwan stock market. Duan et al. [Reference Duan, Ritchken and Sun12] tested the GARCH-jump model using the S&P 500 index and showed that the combined models are more suitable for the S&P 500 index. Many other empirical studies also prove that combining the GARCH model with jump can explain the historical market data better. On the other hand, combining the GARCH model with regime switching allows volatility processes to switch between different GARCH processes, which is more flexible for capturing the volatility dynamics. Thus, many studies apply the RS-GARCH model to capture the dynamics of financial variables. Gray [Reference Gray14] proposed a generalized RS-GARCH model which is subsequently modified by Klaassen [Reference Klaassen17]. Both papers demonstrate that the RS-GARCH model can yield better out-of-sample forecasts than single-regime models. Other works about regime-switching GARCH include Perez-Quiros and Timmermann [Reference Perez-Quiros and Timmermann25], Marcucci [Reference Marcucci23], and Shi and Feng [Reference Shi and Feng31].
Based on the good performance of GARCH-jump model and RS-GARCH model in fitting empirical data, some researchers apply them to option pricing. Duan et al. [Reference Duan, Ritchken and Sun12] discussed option pricing in the discrete-time GARCH-jump framework and found that the benefits of incorporating jumps in explaining S&P 500 time series can flow over into option pricing. Christoffersen et al. [Reference Christoffersen, Jacobs and Ornthanalai9] proposed a class of GARCH models with dynamic jump intensity and provided evidence that including dynamic jump intensity provides a significant improvement in explaining option prices. Meanwhile, Elliott et al. [Reference Elliott, Siu and Chan13] and Chen and Hung [Reference Chen and Hung7] studied the option pricing under the Markov switching version of Heston–Nandi GARCH(1, 1) model and Duan's [Reference Duan10] GARCH model, respectively. The empirical evidence of Chen and Hung [Reference Chen and Hung7] suggests that the RS-GARCH model performs well in both in-sample fitting and out-of-sample prediction. Satoyoshi and Mitsui [Reference Satoyoshi and Mitsui30] examined the practical usefulness of RS-GARCH model in Nikkei 225 option markets and revealed that the RS-GARCH model with Student's
$t$-distribution results in more accurate pricing results than GARCH models for call options.
Although many researchers combine GARCH with jump or with Markov regime switching, few people combine GARCH with both of them. Chan and Young [Reference Chan and Young6] specified a regime-switching GARCH-jump model that allows for different GARCH processes for the variance under each regime, and state-dependent jump sizes and frequencies. They apply this model to daily copper futures prices and find it performs well. Lee [Reference Lee19] developed a Markov regime-switching Generalized Orthogonal GARCH model with conditional jump dynamics (JSGO) for optimal futures hedging. He uses FTSE 100 futures data to perform hedging and finds that the JSGO model exhibits higher out-of-sample hedging effectiveness compared with the model with no jump and the model with no regime switching. Chan and Lee [Reference Chan and Lee5] suggested a regime-switching correlated bivariate Poisson jump (RSCBPJ) model for corn futures hedging and showed that RSCBPJ exhibits superior hedging performance both in- and out-of-sample compared with jump-free and state-independent counterparts. All these empirical studies show that the RS-GARCH-jump model can provide a better fit to market data when compared with jump-free and state-independent counterparts. Since the RS-GARCH-jump model includes both the effects of regime switching and conditional jumps which are considered as important properties in financial time series, we argue that this model has a good chance of capturing more empirical stylized regularities of market data.
In spite of the good performance and importance of RS-GARCH-jump model, the design of efficient numerical procedures for pricing options in this framework is lacking. Therefore, in this paper, we aim to design an efficient numerical method to price options under an RS-GARCH-jump model. To do this, first we need to characterize the risk-neutral dynamics. Duan [Reference Duan10] obtained a locally risk-neutral valuation relationship (LRNVR) for GARCH models with Gaussian innovations by specifying a representative agent economy and making some assumptions on investor's preference. Christoffersen et al. [Reference Christoffersen, Elkamhi, Feunou and Jacobs8] relaxed the assumptions about investor's preferences and extend the work to nonnormal innovations, which gives a general framework of equivalent martingale measures under non-Gaussian GARCH models. Rombouts and Stentoft [Reference Rombouts and Stentoft28] considered multivariate GARCH models and generalized the exponential affine Radon–Nikodym derivative suggested by Christoffersen et al. [Reference Christoffersen, Elkamhi, Feunou and Jacobs8]. Building on the work by Christoffersen et al. [Reference Christoffersen, Elkamhi, Feunou and Jacobs8] and Rombouts and Stentoft [Reference Rombouts and Stentoft28], we demonstrate the existence of an equivalent martingale measure when the underlying asset is modeled by RS-GARCH-jump model and then derive the risk-neutral dynamics.
After getting the risk neutral dynamics, we attempt to find an efficient and accurate numerical method to price options. Option pricing can be complex because of the massive path-dependence in GARCH models. Monte Carlo simulation is one of the most popular approaches (see, e.g., [Reference Christoffersen, Elkamhi, Feunou and Jacobs8,Reference Duan10]). Other numerical approaches include lattice algorithm designed by Ritchken and Trevor [Reference Ritchken and Trevor27], Markov chain approximation proposed by Duan and Simonato [Reference Duan and Simonato11], dynamic programming used by Ben-Ameur et al. [Reference Ben-Ameur, Breton and Martinez2], and quadrature algorithm adopted by Simonato [Reference Simonato32]. The lattice algorithm designed by Ritchken and Trevor [Reference Ritchken and Trevor27] (hereafter, RT lattice) is adopted by many other researchers. Cakici and Topyan [Reference Cakici and Topyan4] modify RT lattice by omitting the interpolated variances when building the tree forward. Lyuu and Wu [Reference Lyuu and Wu22] proposed a mean-tracking tree and find it accurate and provably efficient. While these works mentioned above build lattice for simple GARCH models, some papers extend the lattice algorithm to combined models. Chen and Hung [Reference Chen and Hung7] proposed an
$N$-state Markov-switching GARCH option model and developed a new lattice algorithm to price options under this framework. Lin et al. [Reference Lin, Hung, Wang and Wu21] combined the GARCH model with an additional jump process and developed a lattice model to value options. All these papers confirm that the lattice algorithm is an efficient and accurate numerical method in GARCH setting, thus we adopt the lattice algorithm and extend it to the RS-GARCH-jump framework. Since the model allows the variance dynamic to switch between different GARCH processes and also the jump of asset returns to occur, the option pricing under RS-GARCH-jump model using lattice is very complicated and may have explosion problem.Footnote 1 To avoid explosion of the tree, we limit the state space for the log price at each time step. To do this, we first build the tree for RS-GARCH model following the process in Chen and Hung [Reference Chen and Hung7] and get the “local” log price levels at maturity. Then, we add some price levels above the maximum price and some below the minimum price to incorporate the possibility of jumps. Thus, we can get a state space for log price levels at maturity. At each time step before maturity, we restrict the log price levels to this state space.
Our contributions are three folds. First, we demonstrate the existence of equivalent martingale measure and derive the risk-neutral dynamics when the underlying asset is modeled by a Markov regime-switching GARCH-jump model. Second, we provide a feasible lattice algorithm to price European and American options in this framework. We show that this algorithm exhibits good convergence to the true option values obtained by Monte Carlo simulation. By comparing the option pricing results of RS-GARCH-jump model to the results of RS-GARCH model, GARCH-jump model, GARCH model, Black–Scholes (BS) model, and the two-state Regime-Switching (RS) model,Footnote 2 we show that the option prices can substantially change when incorporating heteroskedasticity, jump effect and regime switching. Third, we conduct a real data application to compare the performance of these models on describing the S&P 500 index returns and pricing options. We estimate the parameters of all the six models considered and conduct likelihood ratio tests to assess the goodness-of-fit of these models. The tests show that the RS-GARCH-jump model is the best fit. To further investigate the importance of incorporating jump and regime switching, we decompose the return series to filter the jump component and normal component and conduct structural break tests to identify the break points of variance. The results reveal strong support for the inclusion of jump and regime switching. As for option valuation, we find that the RS-GARCH-jump model performs better than all the other models in explaining option prices.
The remaining part of this article is organized as follows. Section 2 presents the RS-GARCH-jump model under physical measure
$\mathbb {P}$, specifies the equivalent martingale measure, and derives the risk-neutral dynamics. Section 3 describes the construction of the lattice to approximate the underlying processes. Section 4 presents the computational procedure of option prices. Section 5 describes the method of parameter estimation. Section 6 conducts several numerical studies, including the convergence of option prices valued by the RS-GARCH-jump lattice to their true values obtained by simulation, and comparison of the pricing results of different models. Section 7 conducts a real data application to compare the empirical performance of these models. Section 8 concludes the article.
2. The Markov regime-switching GARCH-jump model
Consider a discrete time economy, and let
$(\Omega, \mathcal {F}, \mathbb {P})$ be a filtered probability space. Consider a basic asset
$P = \{P_t\}_{t \in \{0,\ldots,T\}}$, where
$P_t$ denotes the price of the asset at time
$t$. Let
$\alpha$ be the expected gross rate of return for the asset,
$h_{t|s_t}$ be the state-dependent conditional variance of logarithmic return over the period
$[t, t+1]$, which we call a "day" without loss of generality. We consider the following model under the physical measure
$\mathbb {P}$,
\begin{equation} \ln\left(\frac{P_{t+1}}{P_t}\right)=\alpha-\frac{1}{2}h_{t|s_t}+\lambda [1-K_t(\sqrt{h_{t|s_t}})]+\sqrt{h_{t|s_t}}\left(\epsilon_{t+1}+\sum_{l=1}^{q_{t+1}}J_{t+1}^{(l)}\right), \end{equation}where
\begin{align*} & J_{t+1}^{(l)}\sim N^{\mathbb{P}}(\mu_J(h_{t|s_t}),\sigma_J(h_{t|s_t})), \\ & K_t(\sqrt{h_{t|s_t}})=E_t^{\mathbb{P}}(\exp(\sqrt{h_{t|s_t}})J_{t+1}^{(l)})= \exp\left(\frac{\sigma_J^{2}(h_{t|s_t})h_{t|s_t}}{2}+\mu_J(h_{t|s_t})\sqrt{h_{t|s_t}}\right),\\ & \epsilon_{t+1}\sim N^{\mathbb{P}}(0,1),\\ & q_{t+1}\sim \textrm{Poisson}^{\mathbb{P}}(\lambda). \end{align*} In the above model,
$\sum _{l=1}^{q_{t+1}}J_{t+1}^{(l)}$ is a Poisson jump process.
$q_{t+1}$ is a Poisson process representing the number of Poisson jumps occurring in
$[t,t+1]$,
$\lambda$ is the jump intensity.
$J_{t+1}^{(l)}$ is a normally distributed random variable representing the magnitude of each jump. Generally,
$\mu _J$ and
$\sigma _J$ can be dependent on the conditional variance
$h_{t|s_t}$. For different
$l$ and time
$t$,
$J_t^{(l)}$ is independent of each other. By incorporating the
$\lambda [1-K_t(\sqrt {h_{t|s_t}})]$ in the conditional mean equation, we make sure that the asset dynamic satisfies
$E_t^{\mathbb {P}}(P_{t+1}/P_t)=e^{\alpha }$.
$s_t$ denotes the realization of unobserved regime for the period
$[t,t+1]$. The state variable is assumed to be an integer and its transition probability matrix is
\begin{equation} \Pi=\left[\begin{matrix} \pi_{11} & \pi_{12} & \cdots & \pi_{1N} & \\ \pi_{21} & \pi_{22} & \cdots & \pi_{2N} & \\ \vdots & \vdots & \ddots & \vdots & \\ \pi_{N1} & \pi_{N2} & \cdots & \pi_{NN} & \\ \end{matrix}\right], \end{equation}where
$\pi _{ij}=\pi (s_t=j\,|\,s_{t-1}=i)$ represents the probability of switching to regime
$j$ from regime
$i$ and
$\sum _{j=1}^{N} \pi _{ij}=1$ for all
$i$.
Let
$m_t=\alpha -\frac {1}{2}h_{t|s_t}+\lambda [1-K_t(\sqrt {h_{t|s_t}})]$,
$X_{t+1}=\epsilon _{t+1}+\sum _{l=1}^{q_{t+1}}J_{t+1}^{(l)}$, then we can rewrite our model as
For the dynamic of conditional variance process, we assume that it follows NGARCH(1,1) process with state-dependent parameters governed by the realization of the state variable
$s_t$,
where
\begin{equation} v_{t+1}=\frac{(\ln P_{t+1}-\ln P_t-m_t)/\sqrt{h_{t|s_t}}-E_t^{\mathbb{P}}(X_{t+1})}{\sqrt{\operatorname{Var}_t^{\mathbb{P}}(X_{t+1})}}, \end{equation}and
$\beta _{0,s_t}$,
$\beta _{1,s_t}$, and
$c_{s_t}$ are nonnegative constants given the state
$s_t$ at time
$t$, and obey the standard stationarity constraints.
$c_{s_t}$ captures the leverage effect in stock market. Usually,
$c_{s_t}$ is positive, if
$v_t<0$,
$c_{s_t}$ helps to increase
$h_{t|s_t}$, meaning that a negative shock to stock return will increase the volatility. If
$c_{s_t}=0$, it reduces to the standard GARCH model. By letting all the parameters in NGARCH model depend on the state
$s_t$, we allow the variance processes to switch between different GARCH processes.
To consider option pricing using the model shown in Eq. (2.1), we need to identify the risk-neutral measure. In this part, we will give the definition of the risk-neutral probability measure
$\mathbb {Q}$ and the asset dynamics under
$\mathbb {Q}$. Assume that the terminal date of the option is
$T$, based on the work of Christoffersen et al. [Reference Christoffersen, Elkamhi, Feunou and Jacobs8] and Rombouts and Stentoft [Reference Rombouts and Stentoft28], we define the probability measure
$\mathbb {Q}$ as
\begin{equation} \mathrm{d}\mathbb{Q}=\exp\left(\sum_{t=1}^{T}\left(z_t\left(\epsilon_{t}+\sum_{l=1}^{q_t}J_t^{(l)}\right) -\Psi_t(z_t)\right)\right)\mathrm{d}\mathbb{P}, \end{equation}where
\begin{align} \Psi_t(z_t)& =\ln\left( E_{t-1}^{\mathbb{P}}\exp\left(z_t\left(\epsilon_{t}+\sum_{l=1}^{q_t}J_t^{(l)}\right)\right)\right)\nonumber\\ & =\frac{z_t^{2}}{2}-\lambda(1-K_{t-1}(z_t)). \end{align}Lemma 2.1
$\mathbb {Q}$ is a probability measure.
Proof. See Appendix A.
So far, Lemma 2.1 confirms that
$\mathbb {Q}$ is a probability measure. Furthermore, by giving a specification for the value of
$z_{t}$, we prove that
$\mathbb {Q}$ measure is a risk-neutral probability measure.
Proposition 2.1 Assume that
$r_f$ denotes the risk-free interest rate. The probability measure
$\mathbb {Q}$ is a risk-neutral probability measure if
$z_t$ is the solution of the equation
for all
$t=0,2,\ldots,T-1$.
Proof. See Appendix B.
From Proposition 2.1, it can be seen that the crucial step to define the risk-neutral probability measure
$\mathbb {Q}$ is to find the appropriate value of
$z_{t+1}$.
Corollary 2.1 There exists a unique
$z_{t+1}$ between
$z_1$ and
$z_2$ that satisfies Eq. (2.10), where
$z_1=-{\mu _J(h_{t|s_t})}/{\sigma _J^{2}(h_{t|s_t})}-{\sqrt {h_{t|s_t}}}/{2}$ and
$z_2={r_f}/{\sqrt {h_{t|s_t}}}-{\alpha }/{\sqrt {h_{t|s_t}}}-{\lambda }/{\sqrt {h_{t|s_t}}}+{\lambda }/{\sqrt {h_{t|s_t}}}K_t(\sqrt {h_{t|s_t}})$.
Proof. See Appendix C.
However, in most cases, it is hard to find the solution of a transcendental equation accurately. So we try to give the approximate expression of
$z_{t+1}$ under some conditions. When
$\mu _J(h_{t|s_t})$ and
$\sigma _J(h_{t|s_t})$ are small enough, we can use a first-order Taylor series expansion to Eq. (2.10),
\begin{align*} \alpha& \approx r_f-\sqrt{h_{t|s_t}}z_{t+1}-\lambda\left[-\frac{\sigma_J^{2}(h_{t|s_t})h_{t|s_t}}{2} -\mu_J(h_{t|s_t})\sqrt{h_{t|s_t}}-\frac{\sigma_J^{2}(h_{t|s_t})z^{2}_{t+1}}{2}\right.\\ & \left.-\mu_J(h_{t|s_t})z_{t+1}+\frac{\sigma_J^{2}(h_{t|s_t})(\sqrt{h_{t|s_t}}+z_{t+1})^{2}}{2} +\mu_J(h_{t|s_t})(\sqrt{h_{t|s_t}}+z_{t+1})\right]\\ & =r_f-\sqrt{h_{t|s_t}}z_{t+1}-\lambda\sigma_J^{2}(h_{t|s_t})\sqrt{h_{t|s_t}}z_{t+1}. \end{align*}Then, we obtain
We should notice that, even if
$\mu _J(h_{t|s_t})$ and
$\sigma _J(h_{t|s_t})$ are not small enough to use Taylor expansion,
$z_{t+1}$ still exists. We can try other numerical methods to get the approximate value of it. Actually, here
$\mu _J(h_{t|s_t})$ and
$\sigma _J(h_{t|s_t})$ are assumed to be generally dependent on
$h_{t|s_t}$, but in the empirical study, we assume
$\mu _J(h_{t|s_t})=\mu _J$ and
$\sigma _J(h_{t|s_t})=\sigma _J$ are two constants and do not depend on
$h_{t|s_t}$. According to the parameter estimates in Section 7,
$\mu _J$ and
$\sigma _J$ are not large. Therefore, the Taylor series expansion is applicable here.
Proposition 2.2 Under probability measure
$\mathbb {Q}$, the dynamics of the asset price are distributionally equivalent to
\begin{equation} \ln\left(\frac{P_{t+1}}{P_t}\right)=r_f-\frac{h_{t|s_t}}{2}+\tilde{\lambda} [1-\tilde{K}_t(\sqrt{h_{t|s_t}})]+\sqrt{h_{t|s_t}} \left(\tilde{\epsilon}_{t+1}+\sum_{l=1}^{\tilde{q}_{t+1}}\tilde{J}_{t+1}^{(l)}\right), \end{equation}where
\begin{align*} & \tilde{\mu}_J(h_{t|s_t})=z_{t+1}\sigma^{2}_J(h_{t|s_t})+\mu_J(h_{t|s_t}),\\ & \tilde{\sigma}_J(h_{t|s_t})=\sigma^{2}_J(h_{t|s_t}),\\ & \tilde{\lambda}=\lambda\exp\left(\frac{z_{t+1}^{2} \sigma^{2}_J(h_{t|s_t})}{2}+z_{t+1}\mu_J(h_{t|s_t})\right),\\ & \tilde{K}_t(\sqrt{h_{t|s_t}})=\exp\left(\frac{h_{t|s_t} \tilde{\sigma}^{2}_J(h_{t|s_t})}{2}+\sqrt{h_{t|s_t}}\tilde{\mu}_J(h_{t|s_t})\right),\\ & \tilde{\epsilon}_{t+1}\sim N^{\mathbb{Q}}(0,1),\\ & \tilde{J}_{t+1}^{(l)}\sim N^{\mathbb{Q}}(\tilde{\mu}_J(h_{t|s_t}),\tilde{\sigma}_J(h_{t|s_t})),\\ & \tilde{q}_{t+1}\sim \textrm{Poisson}^{\mathbb{Q}}(\tilde{\lambda}). \end{align*}Proof. See Appendix D.
We make sure that the discounted asset dynamic is a martingale under the
$\mathbb {Q}$ measure. This setting is consistent with Lin et al. [Reference Lin, Hung, Wang and Wu21]. Similar to the definition of
${v}_{t+1}$ in Eq. (2.5), we define
$\tilde {v}_{t+1}$ under the
$\mathbb {Q}$ measure as
\begin{equation} \tilde{v}_{t+1}=\frac{(\ln P_{t+1}-\ln P_t-\tilde{m}_t)/\sqrt{h_{t|s_t}}-E^{\mathbb{Q}}_t(\tilde{X}_{t+1})}{\sqrt{\mathrm{Var}^{\mathbb{Q}}_t(\tilde{X}_{t+1})}}, \end{equation}where
\begin{align*} & \tilde{m}_t=r_f-\frac{h_{t|s_t}}{2}+\tilde{\lambda} [1-\tilde{K}_t(\sqrt{h_{t|s_t}})],\\ & \tilde{X}_{t+1}=\tilde{\epsilon}_{t+1}+\sum_{l=1}^{\tilde{q}_{t+1}}\tilde{J}_{t+1}^{(l)},\\ & E^{\mathbb{Q}}_t(\tilde{X}_{t+1})=\tilde{\lambda}\tilde{\mu}_J(h_{t|s_t}),\\ & \mathrm{Var}^{\mathbb{Q}}_t(\tilde{X}_{t+1})=1+\tilde{\lambda}[\tilde{\mu}_J^{2}(h_{t|s_t})+\tilde{\sigma}_J^{2}(h_{t|s_t})]. \end{align*} Based on the definition in Eq. (2.8), we can get that
$X_{t+1}=\tilde {X}_{t+1}+z_{t+1}$, then the dynamic of conditional variance process can be expressed in terms of
$\tilde {X}_{t+1}$. Substituting
$X_{t+1}=\tilde {X}_{t+1}+z_{t+1}$ into Eq. (2.4) and standardizing in the expression, we obtain that
where
$\tilde {\beta }_{0,s_{t+1}}=\beta _{0,s_{t+1}}$,
$\tilde {\beta }_{1,s_{t+1}}=\beta _{1,s_{t+1}}$,
\begin{align*} & \tilde{\beta}_{2,s_{t+1}}=\beta_{2,s_{t+1}} \frac{\sqrt{1+\tilde{\lambda}[\tilde{\mu}_J^{2}(h_{t|s_t})+\tilde{\sigma}_J^{2}(h_{t|s_t})]}}{\sqrt{1+\lambda[\mu_J^{2}(h_{t|s_t})+\sigma_J^{2}(h_{t|s_t})]}},\\ & \tilde{c}_{s_{t+1}}=\frac{c_{s_{t+1}}\sqrt{1+\lambda[\mu_J^{2}(h_{t|s_t})+\sigma_J^{2}(h_{t|s_t})]}-z_{t+1}-\tilde{\lambda}\tilde{\mu}_J(h_{t|s_t})+\lambda\mu_J(h_{t|s_t})}{\sqrt{1+\tilde{\lambda}[\tilde{\mu}_J^{2}(h_{t|s_t})+\tilde{\sigma}_J^{2}(h_{t|s_t})]}}. \end{align*}By incorporating the Poisson jump process and state-dependent volatility process, this model is general and complicated. If the parameters in variance equation do not rely on the realization of state, the model reduces to the GARCH-jump model in Lin et al. [Reference Lin, Hung, Wang and Wu21]. If we drop the Poisson jump process, the model reduces to the RS-GARCH model in Chen and Hung [Reference Chen and Hung7]. If we drop both jump and regime switching and only consider heteroskedasticity, the model reduces to the GARCH model in Ritchken and Trevor [Reference Ritchken and Trevor27]. The GARCH model can be viewed as a model which has infinitely many volatility regimes, it can reduce to the RS model if we assume the number of volatility regimes is finite and relatively small. Furthermore, if there is only one single volatility regime, it becomes the BS model. It is difficult to get the closed-form solution of option prices under RS-GARCH-jump model, so we need to apply a numerical method. The existing literature has proved that the lattice algorithm is an accurate and efficient approach in the GARCH setting, so we apply the lattice algorithm to calculate option prices.
3. Approximating the RS-GARCH-jump process
Since there are both local component and jump component in asset dynamics, and the variance process can switch among different regimes, the lattice to approximate RS-GARCH-jump process is complicated. For each time step from
$t$ to
$t+1$, it is possible to arise a jump with probability
$\lambda$, and the state may switch from
$i$ to
$j$ with probability
$\pi _{ij}$ at the same time. So we must consider all these factors when constructing the lattice. Denote
$y_t=\ln (P_t)$ and let
$T$ represent the maturity of the option.
Given the information at time
$t$ and before, the conditional mean and variance of
$y_{t+1}$ is
To compute the option prices, we need to establish a discrete approximation for the dynamics of
${(y_t, h_t\,|\,s_t)\,|\,t=0,1,\ldots,T}$. First, we consider the price movements caused by local component. Because of the heteroscedasticity, the price of moving upward first and then downward is different from the price of moving downward first and then upward if we use a simple Bernoulli sequence to approximate the random variable. Thus, the tree will not recombine for up-down path and down-up path. To make the tree recombine, we fix the levels that
$y_t$ can reach at time
$t$,
$y_t$ must reach one of these equally spaced levels. We make the conditional mean and variance of the lattice we construct match the true conditional mean and variance of our model by adjusting the probability of moving in each direction. For the ease of illustration, we set
$\tilde {\mu }_J(h_{t|s_t})\sqrt {h_{t|s_t}}=\tilde {\mu }_J$,
$\tilde {\sigma }_J^{2}(h_{t|s_t})h_{t|s_t}=\tilde {\sigma }_J^{2}$, where
$\tilde {\mu }_J$ and
$\tilde {\sigma }_J$ are constants.Footnote 3 Then, we can get that
$\tilde {K}_t(\sqrt {h_{t|s_t}})=\exp (\tilde {\mu }_J+\frac {1}{2}\tilde {\sigma }_J^{2})$. The gap between adjacent logarithmic prices on the grid should be set up properly in advance. Let
$\gamma$ be a fixed constant that determines the space of the gap. A small
$\gamma$ usually leads to more accuracy, but also results in more nodes and more computation time. To make a tradeoff between accuracy and efficiency, this study follows the suggestion of Lin et al. [Reference Lin, Hung, Wang and Wu21] to set the space parameter
$\gamma$ as
Divide one day into
$n$ steps, assume that there are three nodes following
$(y_t,h_{t|s_t})$ after one step, then there should be
$2n+1$ points that
$y_{t+1}$ can reach after one day since the tree will recombine. Among these
$2n+1$ nodes,
$n$ points are higher than
$y_{t}$,
$n$ points are lower than
$y_{t}$, one point equals to
$y_{t}$. The gap between these points is given by
$\gamma _n=\gamma /\sqrt {n}$. Let
$y_{t+1}^{a}$, which takes
$2n+1$ discrete values at time
$t+1$, be the approximation of
$y_{t+1}$ caused by local component. Here, the upper script “
$a$” implies that this quantity is computed on the lattice. The values of
$y_{t+1}^{a}$ are given by
where
$j=0, \pm 1,\pm 2,\ldots,\pm n$,
$\eta _t$ denotes the moving parameter, which is the smallest integer that makes sure that the probability of movement in each direction is between 0 and 1. Following Ritchken and Trevor [Reference Ritchken and Trevor27] and Lin et al. [Reference Lin, Hung, Wang and Wu21], we set
so that
$\eta _t$ is determined by
$h_{t|s_t}$ at time
$t$. For a high
$h_{t|s_t}$, there is a bigger
$\eta _t$ to make the rise and fall of
$y_{t+1}$ greater. For a low
$h_{t|s_t}$, there is a smaller
$\eta _t$ to make the variational range of
$y_{t+1}$ smaller.
After getting the nodes obtained by local component, we need to calculate the transition probability for each node. Note that all the nodes obtained by local component can also be obtained by jump component, thus we need to consider the probability of reaching one node when jump does not occur and the probability of reaching this node by jump. Assume that jump and update of variance happen only at the end of one day, that is, the jump does not occur and the variance keeps unchanged during this day. This assumption is consistent with Ritchken and Trevor [Reference Ritchken and Trevor27] and Lin et al. [Reference Lin, Hung, Wang and Wu21]. Note that the time interval [
$t$,
$t+1$] is assumed to be a day in this paper, and the asset prices are observed on a daily basis, so this assumption has no effect on the option price. Then, the probability of
$y_{t+1}$ conditional on
$(y_t,h_{t|s_t})$ is given by
where
\begin{equation} P(j)=\sum_{j_u,j_m,j_d}\binom{n}{j_u, j_m, j_d} p_u^{j_u}p_m^{j_m}p_d^{j_d}, \end{equation}and
$j=j_u-j_d$,
$j_u+j_m+j_d=n$. The expression
$\binom{n}{j_u, j_m, j_d}$ denotes
$n!/(j_u!j_m!j_d!)$.
$p_u$,
$p_m$, and
$p_d$ are the probabilities of moving upward, keeping unchanged, and moving downward in one step, respectively. Since the probability of no jump in a day is
$1-\tilde {\lambda }$, then the probability of no jump in each step is
$(1-\tilde {\lambda })^{1/n}$. The price movements in one step is
$y_{t+{(i+1)}/{n}}=y_{t+{i}/{n}}+j\eta _t\gamma _n$,
$j=0, \pm 1$, by matching the mean and variance of these one-step three nodes to the true mean and variance, we can get that
The probability of jumping in a day is
$\tilde {\lambda }$, and
where
$\Phi$ is the cumulative normal distribution function.
Now, we consider the price movements caused by jump. All the nodes obtained by jump are constrained in the interval
$[y_t-w\gamma _n,y_t+w\gamma _n]$,
$w=3\tilde {\sigma }_J/\gamma _n$. Because the probability that log-price jumps to the points outside this interval is too small, so we ignore all the jumps beyond this interval. Since there is no local price change, the probability for price changes caused only by jump is given by
where
$\theta =0, \pm 1,\ldots,\pm w$. Since all the points outside
$[y_t-3\tilde {\sigma }_J,y_t+3\tilde {\sigma }_J]$ are ignored, we set
$j=w$ if
$j>w$, and
$j=-w$ if
$j<-w$. Besides, we assign the probability that log-price jumps to levels outside
$[y_t-w\gamma _n,y_t+w\gamma _n]$ to
$y_{t+1}=y_t-w\gamma _n$ and
$y_{t+1}=y_t+w\gamma _n$. Thus,
Denote
$y_t^{a}(i)$ as the logarithmic stock price which is at level "
$i$" at time
$t$, that is,
where
$i\gamma _n$ measures the departure of
$y_t^{a}(i)$ from the initial logarithmic price
$y(0)$. We let node
$(t,i)$ denote the node at time
$t$ with logarithmic price
$y_t^{a}(i)$.
Once we get the value of
$y_{t+1}^{a}$, we can calculate
$h_{t+1|s_{t+1}}^{a}$ through
$\tilde {v}_{t+1}$ for each realization of
$s_{t+1}$. Similarly, let
$h_{t+1|s_{t+1}}^{a}$ be the approximation of
$h_{t+1|s_{t+1}}$, then
$h_{t+1|s_{t+1}}^{a}$ is updated by
where
\begin{equation} \tilde{v}^{a}_{t+1}=\frac{(j\eta_t\gamma_n-\tilde{m}_t)/\sqrt{h_{t|s_t}} -E^{\mathbb{Q}}_t(\tilde{X}_{t+1})}{\sqrt{\operatorname{Var}^{\mathbb{Q}}_t(\tilde{X}_{t+1})}}. \end{equation} Since all the parameters in the variance process are state-dependent, we need to consider the transition of state when updating variance. After getting
$\tilde {v}_{t+1}^{a}$ for each
$y_{t+1}^{a}$, we consider all the possible state at time
$t+1$, then we can calculate
$h_{t+1|s_{t+1}}$ according to Eq. (3.16).
Because the conditional variance
$h_{t|s_t}$ is path-dependent and state-dependent, there may be a lot of paths reaching
$y_t^{a}(i)$, resulting in a lot of
$h_{t|s_t}$ at node
$(t,i)$. As the time growing, the number of
$h_{t|s_t}$ at node
$(t,i)$ also grows rapidly. It is difficult to track all these variances, so we adopt the method of Ritchken and Trevor [Reference Ritchken and Trevor27] and just keep track of the maximum variance
$h_{t|s_t}^{\max}(i)$ and the minimum variance
$h_{t|s_t}^{\min}(i)$ for each state
$s_t$ at node
$(t,i)$. But we lose too much information if we neglect all the intervening variances, making the construction of the trinomial tree too inaccurate. So we span the range between
$h_{t|s_t}^{\max}(i)$ and
$h_{t|s_t}^{\min}(i)$ to
$K$ values by using a linear interpolation scheme. The
$k$th level of variances
$h_{t|s_t}^{k}(i)$ at node
$(t,i)$ is calculated by
where
$k=1,2,\ldots,K$,
$s_t=1,2,\ldots,N$. If
$K=2$, we just keep the maximum and minimum variances and there is no span of variance. If
$K=3$, we keep the median variance besides the two extreme values. At any given node
$(t,i)$, there are
$N\times K$ variances recorded. Specifically, the conditional variances matrix at node
$(t,i)$ is given by
\begin{equation} \mathcal{H}(t,i)=\left[\begin{matrix} h_{t|s_t=1}^{a}(i,1) & h_{t|s_t=1}^{a}(i,2) & \cdots & h_{t|s_t=1}^{a}(i,k) & \cdots & h_{t|s_t=1}^{a}(i,K) & \\ h_{t|s_t=2}^{a}(i,1) & h_{t|s_t=2}^{a}(i,2) & \cdots & h_{t|s_t=2}^{a}(i,k) & \cdots & h_{t|s_t=2}^{a}(i,K) & \\ \vdots & \vdots & \ddots & \vdots & \ddots & \vdots & \\ h_{t|s_t=N}^{a}(i,1) & h_{t|s_t=N}^{a}(i,2) & \cdots & h_{t|s_t=N}^{a}(i,k) & \cdots & h_{t|s_t=N}^{a}(i,K) & \\ \end{matrix}\right]. \end{equation} Now the construction of trinomial tree is clear. Given the initial stock price
$P_0$, the initial state of
$S_0$ and variance
$h_{0|s_0}$ at time 0, we use a grid of log prices to approximate the possible values of
$y_1$. The log price movements from
$y_0$ to
$y_1$ can be driven by a local component and a jump component. For local price changes, we first divide one day into
$n$ subintervals, assume that there are three nodes following
$(y_0,h_{0|s_0})$ after one step, then the possible nodes after one day are given by
$y_0+j\eta _0\gamma _n$, where
$\eta _0$ is determined by
$h_{0|s_0}$,
$j=0,\pm 1,\pm 2,\ldots,\pm n$. Among these
$2n+1$ nodes,
$n$ nodes are bigger than
$y_0$, one node equals to
$y_0$, and
$n$ nodes smaller than
$y_0$. It is worth noting that these
$2n+1$ nodes can also be obtained by jump, so we need to consider the probability of reaching one node by local price change when jump does not occur and the probability of reaching it by jump. For the price movements caused by jump, we constrain all the jumps in the interval
$[y_t-3\tilde {\sigma }_J,y_t+3\tilde {\sigma }_J]$. The probability of jumping to the level outside this interval is so small that we can ignore it. The probability of reaching each node for
$y_1$ is calculated by Eq. (3.6). After getting all the possible nodes of
$y_1$, we can get the value of
$\tilde {v}_1$ for each
$y_1$. Then, we can get the variance matrix with
$N\times K$ elements at time
$1$. For each element
$h_{1|s_1}^{a}(i,k)$, we can get a
$\eta _1$ to calculate
$y_2$. Keep rolling forward step by step, we can construct the lattice for the dynamics of log price
$y_t$.
To illustrate the lattice construction, we give a simple example here. Assume that the state space of
$s_t$ is
$\{1,2\}$, that is, the state variable is a two-state Markov chain. First, we conduct a calibration based on the daily closing price series of SSE 50ETF options during the period from February 9, 2015 to April 4, 2019. By minimizing the pricing error defined as the difference between the market option price and the model-determined price, we get the calibrated parameters. More details of the method are shown in Avriel et al. [Reference Avriel, Hilscher and Raviv1]. Recall that we have assumed
$\sqrt {h_{t|s_t}}\tilde {\mu }_J(h_{t|s_t})$ and
$\sqrt {h_{t|s_t}}\tilde {\sigma }_J(h_{t|s_t})$ to be constant, as
$\tilde {\mu }_J$ and
$\tilde {\sigma }_J$. For regime 1,
$\tilde {\beta }_{0,1}=1.1719\times 10^{-7}$,
$\tilde {\beta }_{1,1}=0.1602$,
$\tilde {\beta }_{2,1}=0.0992$,
$\tilde {c}_1=0$. For regime 2, parameters are significantly different from the corresponding ones at regime
$1$.
$\tilde {\beta }_{0,2}=2.6953\times 10^{-6}$,
$\tilde {\beta }_{1,2}=0.8945$,
$\tilde {\beta }_{2,2}=0.06797$,
$\tilde {c}_2=0$. We can say that regime 1 is a low-volatility regime and regime 2 is a high-volatility regime. The transition probabilities between two regimes are
$\pi _{11}=0.9473$ and
$\pi _{22}=0.9730$. The daily jump intensity parameter
$\tilde {\lambda }$ is
$0.0133$. The mean and variance of the jump magnitude
$\sqrt {h_t}\tilde {J}_t$ are respectively
$\tilde {\mu }_J=0.0520$,
$\tilde {\sigma }_J=2.8516\times 10^{-5}$. Suppose that the current underlying price is
$P_0=1000$, the risk-free interest rate for one day
$r_f$ is
$8.5394\times 10^{-5}$. The initial state is assumed to be state
$1$ and the initial variance
$h_0$ is set to be
$1.4766\times 10^{-4}$. Then we use these parameters to illustrate how the lattice works. Consider
$n=1$ and
$K=2$, so we just record the maximum and minimum variance for each state at time
$t$, no matter which state it is at time
$t-1$. Therefore, there are four elements in the variance matrix at each node. Since
$n=1$, the gap between adjacent logarithmic prices
$\gamma _n=\gamma =\sqrt {1.5h_0}=0.0149$. To compare the evolution of logarithmic stock prices and variances under the model with and without jump, we first assume that the conditional variance follows an RS-GARCH model and illustrate the evolution in Figure 1, whereas Figure 2 illustrates the evolution of RS-GARCH-jump model.
Illustration lattice of RS-GARCH model for the evolution of logrithmic prices and variances over 3 days. The top (bottom) number on the left side of the box is the maximum (minimum) conditional variance (multiplied by
$10^{4}$) of all paths to that node in state 1, while the right side presents the variances in state 2. The parameters are
$\tilde {\beta }_{0,1}=1.1719\times 10^{-7}$,
$\tilde {\beta }_{1,1}=0.1602$,
$\tilde {\beta }_{2,1}=0.0992$,
$\tilde {c}_1=0$,
$\tilde {\beta }_{0,2}=2.6953\times 10^{-6}$,
$\tilde {\beta }_{1,2}=0.8945$,
$\tilde {\beta }_{2,2}=0.06797$,
$\tilde {c}_2=0$,
$\pi _{11}=0.9473$ and
$\pi _{22}=0.9730$. The initial stock price is
$P_0=1{,}000$, the risk-free interest rate
$r_f=8.5394\times 10^{-5}$. The initial state is assumed to be state
$1$ and the initial variance
$h_0$ is
$1.4766\times 10^{-4}$.

Illustration lattice of RS-GARCH-jump model for the evolution of logrithmic prices and variances over 3 days. The top (bottom) number on the left side of the box is the maximum (minimum) conditional variance (multiplied by
$10^{4}$) of all paths to that node in state 1, while the right side presents the variances in state 2. The parameters are
$\tilde {\beta }_{0,1}=1.1719\times 10^{-7}$,
$\tilde {\beta }_{1,1}=0.1602$,
$\tilde {\beta }_{2,1}=0.0992$,
$\tilde {c}_1=0$,
$\tilde {\beta }_{0,2}=2.6953\times 10^{-6}$,
$\tilde {\beta }_{1,2}=0.8945$,
$\tilde {\beta }_{2,2}=0.06797$,
$\tilde {c}_2=0$,
$\pi _{11}=0.9473$ and
$\pi _{22}=0.9730$,
$\tilde {\lambda }$ is
$0.0133$,
$\tilde {\mu }_J=0.0520$,
$\tilde {\sigma }_J=2.8516\times 10^{-5}$. The initial stock price is
$P_0=1{,}000$, the risk-free interest rate
$r_f=8.5394\times 10^{-5}$. The initial state is assumed to be state
$1$ and the initial variance
$h_0$ is
$1.4766\times 10^{-4}$.

In Figure 1, we can see that there are seven levels ranging from the maximum to minimum logarithmic prices at day 3 under our parameter setting. Compared with Figure 1, there are five more levels in Figure 2 at day 3. From the perspective of variances, it can be found that the existence of jump dramatically widens the range of variance, making the maximum variance for both states at each node much bigger than the maximum variance at the corresponding node under the RS-GARCH model. The GARCH parameters,
$\tilde {\beta }_{i,2}$, are much larger than
$\tilde {\beta }_{i,1}$, so we find that the variances on the right side are larger than those on the left side. Both the regime switching of GARCH parameters from state 1 to state 2 and the existence of jump component make the range of conditional variances wider.
4. Option pricing based on the lattice
The most important factors to decide option prices are underlying asset price and volatility. Once we get the evolution of stock prices and variances, we can calculate the option prices using backward recursion procedures. At each node
$(t,i)$, the logarithmic price
$y_t^{a}(i)=y(0)+i\gamma _n$, one element in the variance matrix corresponds to one option price, so there are at most
$N\times K$ option prices at each node. Let
$c_{t|s_t}^{a}(i,k)$ and
$C_{t|s_t}^{a}(i,k)$ denote the European and American option prices at node
$(t,i)$ with its
$k$th variance
$h_{t|s_t}(i,k)$ at regime
$s_t$, respectively. We start the backward recursion procedure from time
$T$, which is the maturity time of option. At time
$T$, the call option prices with strike price
$X$ is given by
Note that at maturity the option price is determined by the asset price alone, so the
$N\times K$ variances correspond to the same option price. We then move backward to compute the option price at time 0. Consider a node
$(t,i)$ with its
$k$th variance
$h_{t|s_t}(i,k)$ at regime
$s_t$, we need to find all the successor nodes and the corresponding option price stored at each successor node. From node
$(t,i)$ to
$(t+1,i+j)$,
$j=0, \pm 1,\ldots,\pm w$, the propagated variance is updated by
where
\begin{equation} \tilde{v}_{t+1}=\frac{(j\gamma_n-\tilde{m}_t)/\sqrt{ h_{t|s_t}(i,k)}-E^{\mathbb{Q}}_t(\tilde{X}_{t+1})}{\sqrt{\operatorname{Var}^{\mathbb{Q}}_t(\tilde{X}_{t+1})}}. \end{equation} But since we just track the maximum variance and minimum variance, there are only
$K$ variances for each state at any node of time
$t+1$, the propagated variance generated by Eq. (4.2) may not match anyone of the
$K$ variances exactly. Therefore, we cannot find the option price corresponding to
$h_{t+1|s_{t+1}}^{\textrm {next}}(i+j)$ directly. Following Ritchken and Trevor [Reference Ritchken and Trevor27], we choose the nearest two variances and use linear interpolation to get the corresponding option price. Assume that
where
$k^{*}$ is an integer smaller than
$K$ which makes the
$h_{t+1|s_{t+1}}(i+j, k^{*})$ and
$h_{t+1|s_{t+1}}(i+j, k^{*}+1)$ be the closest variances to
$h_{t+1|s_{t+1}}^{\textrm {next}}(i+j)$ stored on the lattice. Then, the interpolated option price can be obtained with
where
\begin{equation} q(j)=\frac{h_{t+1|s_{t+1}}(i+j, k^{*}+1)-h_{t+1|s_{t+1}}^{\textrm{next}}(i+j)}{h_{t+1|s_{t+1}}(i+j, k^{*}+1)-h_{t+1|s_{t+1}}(i+j, k^{*})}. \end{equation} For European options, the price at time
$t$ should be the discount of payoff at time
$t+1$,
\begin{equation} c_{t|s_t}(i,k)=e^{{-}r_f}\sum_{j={-}w}^{w}\sum_{s_{t+1}=1}^{N}P(j)c_{t+1|s_{t+1}}^{\textrm{next}}(i+j)\pi(s_{t+1}|s_t). \end{equation} For American options, we need to compare the intrinsic value and the unexercised value of the option at node
$(t,i)$ at time
$t$,
Thus, both European and American option prices can be obtained using this procedure. Appendix E describes the pseudo-code of the algorithm, including the construction of the lattice and option pricing using backward recursions.
5. Estimation
We can use the maximum-likelihood approach to estimate the parameters of RS-GARCH-jump model described in Eqs. (2.1)–(2.6). To facilitate the demonstration of the estimation approach, we set some special restrictions on the parameters first. We employ a particular form of the expected gross rate
$\alpha$ as
$\alpha =r_f+\eta \sqrt {h_{t|s_t}}$, where
$\eta$ is the constant unit risk premium. We also assume the
$\mu _J(h_{t|s_t})$ and
$\sigma _J(h_{t|s_t})$ as constants
$\mu _J$ and
$\sigma _J$, respectively. Then, we can get the key of the measure transformation as
$z_{t+1}=-{\eta }/{(1+\lambda \sigma _J^{2})}$. The vector of our model parameters is
$\Theta =\{\beta _{0,1},\beta _{1,1},\beta _{2,1},c_1,\ldots,\beta _{0,N},\beta _{1,N},\beta _{2,N},c_N,\Pi,h_0,\eta,\lambda,\mu _J,\sigma _J\}$, set
$y_t=\ln ({P_{t+1}}/{P_t})$, the conditional density of
$y_t$ is
\begin{equation} f(y_t\,|\,\Theta,\mathcal{F}_t)=\sum_{i=1}^{N}\sum_{j=1}^{N} \pi_{ij}z_{i,t-1}f_{\mathcal{D}}(y_t\,|\,s_t=j,\Theta,\mathcal{F}_{t-1}), \end{equation}where
$z_{i,t-1}=P(s_{t-1}=i\,|\,\Theta,\mathcal {F}_{t-1})$ means the probability of state
$i$ at time
$t-1$, and
$f_{\mathcal {D}}(y_t\,|\,s_t=j,\Theta,\mathcal {F}_{t-1})$ represents the conditional density of
$y_t$ in state
$j$ given
$\Theta$ and
$\mathcal {F}_{t-1}$.
The expression of
$f_{\mathcal {D}}(y_t\,|\,s_t=j,\Theta,\mathcal {F}_{t-1})$ can be obtained easily by
\begin{equation} f_{\mathcal{D}}(y_t\,|\,s_t=j,\Theta,\mathcal{F}_{t-1})=\prod_{q_{t+1}=0}^{\infty} \frac{\lambda^{q_{t+1}}}{q_{t+1}!}e^{-\lambda}\frac{1}{\sqrt{2\pi h_{t|j}(1+q_{t+1}\sigma^{2}_J)}}\exp\left(-\frac{(m_t-q_{t+1}\sqrt{h_{t|j}}\mu_J)^{2}}{2h_{t|j}(1+q_{t+1}\sigma^{2}_J)}\right), \end{equation}where
To calculate
$z_{i,t-1}$, we consider the method introduced by Hamilton [Reference Hamilton15]. The algorithm is described as follows:
• Step 1: Calculate
$P(s_{t-1}=i,s_{t-2}=j\,|\,\Theta,\mathcal {F}_{t-2})=\pi _{ji}z_{j,t-2}$.• Step 2: Calculate
$f_{\mathcal {D}}(y_{t-1}|s_{t-1}=i,s_{t-2}=j,\Theta,\mathcal {F}_{t-2})$.• Step 3: Then, we have
$P(s_{t-1}=i,s_{t-2}=j,y_{t-1}|\Theta,\mathcal {F}_{t-2}) =P(s_{t-1}=i,s_{t-2}=j\,|$
$\Theta,\mathcal {F}_{t-2})f_{\mathcal {D}}(y_{t-1}\,|\,s_{t-1}=i,s_{t-2}=j,\Theta,\mathcal {F}_{t-2})$.• Step 4: Calculate
$P(y_{t-1}|\Theta,\mathcal {F}_{t-2})=\sum _{i=1}^{N}\sum _{j=1}^{N} P(s_{t-1}=i,s_{t-2}=j,y_{t-1}|\Theta,\mathcal {F}_{t-2})$.• Step 5: Calculate
$P(s_{t-1}=i,s_{t-2}=j|\Theta,\mathcal {F}_{t-1})={P(s_{t-1}=i,s_{t-2}=j,y_{t-1}|\Theta,\mathcal {F}_{t-2})}/{P(y_{t-1}|\Theta,\mathcal {F}_{t-2})}$.• Step 6: Finally, we obtain
$P(s_{t-1}=i\,|\,\Theta,\mathcal {F}_{t-1})=\sum _{j=1}^{N} P(s_{t-1}=i,s_{t-2}=j\,|\,\Theta,\mathcal {F}_{t-1})$.
In the end, we get the likelihood function
\begin{equation} L(\Theta\,|\,\mathcal{F}_T)=\prod_{t=1}^{T} f(y_t|\Theta,\mathcal{F}_{t-1}). \end{equation} Then, we can maximize the logarithm of
$L(\Theta \,|\,\mathcal {F}_T)$ through a quasi-Newton iterative method to get the ML estimator
$\hat {\Theta }$.
6. Numerical analysis
In this part, we conduct a series of numerical experiments related to option pricing using the tree approximation. First, we investigate the convergence properties of European option prices calculated by a lattice algorithm to the true values produced by Monte Carlo simulation. Second, we compare the option pricing results for RS-GARCH-jump model, RS-GARCH model, GARCH-jump model, GARCH model, BS model, and RS model to see to what extent the model specification affects the option prices.
We start off our analysis by investigating the convergence behavior of the tree algorithm. The parameters are set the same as in Section 3, which are
$\tilde {\beta }_{0,1}=1.1719\times 10^{-7}$,
$\tilde {\beta }_{1,1}=0.1602$,
$\tilde {\beta }_{2,1}=0.0992$,
$\tilde {c}_1=0$,
$\tilde {\beta }_{0,2}=2.6953\times 10^{-6}$,
$\tilde {\beta }_{1,2}=0.8945$,
$\tilde {\beta }_{2,2}=0.06797$,
$\tilde {c}_2=0$,
$\pi _{11}=0.9473$ and
$\pi _{22}=0.9730$,
$\tilde {\lambda }$ is
$0.0133$,
$\tilde {\mu }_J=0.0520$,
$\tilde {\sigma }_J=2.8516\times 10^{-5}$. The initial stock price is 100, the initial state is assumed to be state
$1$ and the initial variance
$h_0$ is set to be
$1.4766\times 10^{-4}$. The convergence rate is mainly decided by the setting of
$n$ and
$K$, where
$n$ decides how many steps that one day is divided into, while
$K$ governs the number of spanned variances at each node. The larger they are, the more precision should be obtained.
We first investigate the convergence property as
$K$ increases for a fixed value of
$n = 5$. Table 1 shows the convergence of the at-the-money (ATM) European call options with respect to
$K$ for different maturities. Our results indicate that the option prices converge relatively fast into the 95% confidence interval of the true (Monte Carlo) values.Footnote 4 It is observed that for longer-term option, a larger
$K$ is needed. For example, when
$T=5$,
$K=5$ can give a price lying in the 95% confidence interval, while for
$T=50$, the result of
$K=30$ starts to enter the confidence interval. Thus, we can infer that a larger value for
$K$ is needed to construct the tree when pricing long-term options; for short-term options, a small
$K$ provides satisfactory results.
Convergence of option prices with respect to
$K$

Notes: The convergence of option price for ATM (
$X=100$) European call options from the tree as the number of spanned variances
$K$ increases. The model parameters are:
$\tilde {\beta }_{0,1}=1.1719\times 10^{-7}$,
$\tilde {\beta }_{1,1}=0.1602$,
$\tilde {\beta }_{2,1}=0.0992$,
$\tilde {c}_1=0$,
$\tilde {\beta }_{0,2}=2.6953\times 10^{-6}$,
$\tilde {\beta }_{1,2}=0.8945$,
$\tilde {\beta }_{2,2}=0.06797$,
$\tilde {c}_2=0$
$\pi _{11}=0.9473$ and
$\pi _{22}=0.9730$,
$\tilde {\lambda }$ is
$0.0133$,
$\tilde {\mu }_J=0.0520$,
$\tilde {\sigma }_J=2.8516\times 10^{-5}$. The number of intra-daily periods is
$n=5$. The bottom two rows,
$\infty _L$ and
$\infty _U$, represent the 95% confidence intervals for the true values computed based on 100,000 Monte Carlo paths.
We then investigate the effect of
$n$ on the convergence when
$K$ is fixed. Based on the results of Table 1, we set
$K$ to be 30. Table 2 shows the convergence of the at-the-money (ATM) European call options with respect to
$n$ for different maturities. The results indicate that the option prices also converge fast into the 95% confidence interval of the true (Monte Carlo) values. It is observed that the values obtained from the tree always lie within the associated 95% confidence interval when
$n\geq 5$. Although the increase of
$n$ can make the results more accurate for the same
$K$, the improvement in precision is so little, especially for longer-term options. Thus, we argue that
$n=5$ is already a good choice.
Convergence of option prices with respect to
$n$

Notes: The convergence of option price for ATM (
$X=100$) European call options from the tree as the number of intra-daily periods
$n$ increases. The model parameters are:
$\tilde {\beta }_{0,1}=1.1719\times 10^{-7}$,
$\tilde {\beta }_{1,1}=0.1602$,
$\tilde {\beta }_{2,1}=0.0992$,
$\tilde {c}_1=0$,
$\tilde {\beta }_{0,2}=2.6953\times 10^{-6}$,
$\tilde {\beta }_{1,2}=0.8945$,
$\tilde {\beta }_{2,2}=0.06797$,
$\tilde {c}_2=0$,
$\pi _{11}=0.9473$ and
$\pi _{22}=0.9730$,
$\tilde {\lambda }$ is
$0.0133$,
$\tilde {\mu }_J=0.0520$,
$\tilde {\sigma }_J=2.8516\times 10^{-5}$. The number of spanned variances
$K=30$. The bottom two rows,
$\infty _L$ and
$\infty _U$, represent the 95% confidence intervals for the true values computed based on 100,000 Monte Carlo paths.
Our next analysis is to provide a comparison of option prices under RS-GARCH-jump model, RS-GARCH model, GARCH-jump model, GARCH model, BS model, and RS model. For the RS-GARCH model, we drop the jump part, and other parameters are the same as the RS-GARCH-jump model. For the GARCH-jump model and GARCH model, we assume a single state and adopt the parameters of regime 1. To make the option prices under GARCH framework and non-GARCH framework comparable, the variance for BS model is assumed to be the average expected variance of GARCH model under regime 1.Footnote 5 And for the RS model, the two values of variance are assumed to be the average expected variance of GARCH model under regime 1 and regime 2, respectively.Footnote 6 We assume that the initial state is regime 1 for all the models incorporating regime switching. Table 3 shows the effect of each component on the option pricing. Based on the results of Tables 1 and 2, to make a tradeoff between accuracy and computational cost,
$K$ is set to be 30 and
$n$ is set to be 5. For different models, the results change greatly. The option prices under RS-GARCH-jump model are consistently higher than the results under all the other models, while the option prices under BS model are the smallest among all these models. It is intuitive that the RS-GARCH-jump model produces the highest option prices since it incorporates both jump risk and regime switching risk. The BS model and GARCH model ignore both risks and thus produce the lowest option prices, and BS prices are even lower than GARCH prices since the BS model ignores heteroskedasticity effect. We observe that the prices under GARCH-jump model are consistently higher than the prices under RS-GARCH model, which means that the jump component has more influence on the option prices than regime switching for this set of parameters. In our study, the two transition probabilities are larger than 0.9, the regime switching is less likely to happen. When we change the transition probabilities, regime switching may have more influence on the option prices than jump component. For the RS model, the option prices are higher than the BS prices and GARCH prices, but they can be higher or lower than the RS-GARCH model and GARCH-jump model depending on the time to maturity of an option. Since both the jump risk and regime switching risk exit in the market, and both of them can have a significant effect on the option price, it is essential to consider both components when modeling the asset dynamics.
Comparison of option prices under different models

Notes: Numerical comparison between the option prices for ATM (
$X=100$) European call options from the tree under RS-GARCH-jump model, RS-GARCH model, GARCH-jump model, GARCH model, BS model, and RS model. The model parameters are:
$\tilde {\beta }_{0,1}=1.1719\times 10^{-7}$,
$\tilde {\beta }_{1,1}=0.1602$,
$\tilde {\beta }_{2,1}=0.0992$,
$\tilde {c}_1=0$,
$\tilde {\beta }_{0,2}=2.6953\times 10^{-6}$,
$\tilde {\beta }_{1,2}=0.8945$,
$\tilde {\beta }_{2,2}=0.06797$,
$\tilde {c}_2=0$,
$\pi _{11}=0.9473$ and
$\pi _{22}=0.9730$,
$\tilde {\lambda }$ is
$0.0133$,
$\tilde {\mu }_J=0.0520$,
$\tilde {\sigma }_J=2.8516\times 10^{-5}$. We use a fixed
$K=30$ and
$n=5$ to construct the tree.
7. Real data application
In this section, we conduct a small real data application to show the empirical performance of RS-GARCH-jump model using S&P 500 index options. We first report the estimates for RS-GARCH-jump model, RS-GARCH model, GARCH-jump model, GARCH model, RS model, and BS model under
$\mathbb {P}$ measure using return time series of S&P 500 index alone. Then, we can compute the parameters under
$\mathbb {Q}$ measure for each model considered according to the relationship between the parameters under
$\mathbb {P}$ and
$\mathbb {Q}$. Given the parameter estimates under
$\mathbb {Q}$ measure, we can evaluate the relative ability to price options of these models using S&P 500 index options.
7.1. Maximum-likelihood estimates
By applying the maximum-likelihood estimation approach illustrated in Section 5, we can get the parameter estimates for each model. We conduct the estimation using daily returns data of S&P 500 index from January 2010 to December 2015, 1,510 trading days in total.
Table 4 presents the estimation results and log-likelihood values for each model. A casual comparison of log-likelihoods suggests that the RS-GARCH-jump model is preferred than the other models since it has the largest likelihood, while the BS model has a significantly smaller log-likelihood than the others. Comparing the GARCH model with the GARCH-jump and RS-GARCH model also shows that the GARCH model has significantly smaller log-likelihood values.
Estimation results on daily S&P 500 returns

Notes: This table shows the parameter estimates for the BS model, RS model, GARCH model, GARCH-jump model, RS-GARCH model, and RS-GARCH-jump model fitted on the time series of daily S&P 500 index returns from 2010 through 2015.
Figure 3 plots the autocorrelations of squared S&P 500 returns in the top left panel and the autocorrelations of standardized squared normal model residuals in the other panels. Figure 3 shows that the GARCH-jump, RS-GARCH, and RS-GARCH-jump models can absorb the heteroskedasticity in the S&P 500 index returns very well, RS and GARCH models can only absorb part of the heteroskedasticity, while the BS model still shows substantial autocorrelations.
Autocorrelations of squared daily S&P 500 returns and squared model residuals. The top left panel reports the autocorrelations of squared S&P 500 returns. The other six panels plot the autocorrelations of the squared standardized return residuals from fitting various models to daily S&P 500 index returns. For jump models, we plot the autocorrelations of the squared standardized normal component of return residuals,
$\epsilon _{t}$. The underlying parameter estimates are from Table 4.

7.2. Likelihood ratio test
To assess the goodness-of-fit of these models, we conduct the likelihood ratio test to compare the models. Table 5 presents the pairs of test of BS model vs. GARCH model and RS model vs. RS-GARCH model. The test statistics and the critical value show that the null hypothesis is rejected, which means that the existence of heteroscedasticity effect is significant. Table 6 presents the pairs of test of GARCH model vs. GARCH-jump model and RS-GARCH model vs. RS-GARCH-jump model. All the null hypotheses are still rejected. This result supports us to take the jump effect into consideration. Table 7 presents the pairs of test of BS model vs. RS model, GARCH model vs. RS-GARCH model, and GARCH-jump model vs. RS-GARCH-jump model. The results show that although we take the effects of heteroskedastic and jump into account, the regime switching component still has significant effects on fitting the data.
Likelihood ratio test 1

Notes: This table shows the result of likelihood ratio test between the BS model, RS model, GARCH model, and RS-GARCH model. We show the test statistics in corresponding position and the critical value at the 5% level in parentheses.
Likelihood ratio test 2

Notes: This table shows the result of likelihood ratio test between the GARCH model, GARCH-jump model, RS-GARCH model and RS-GARCH-jump model. We show the test statistics in corresponding position and the critical value at the 5% level in parentheses.
Likelihood ratio test 3

Notes: This table shows the result of likelihood ratio test between the BS model, RS model, GARCH model GARCH-jump model, RS-GARCH model and RS-GARCH-jump model. We show the test statistics in corresponding position and the critical value at the 5% level in parentheses.
7.3. Decomposing daily returns
To separately identify the realized jump component and normal component in the return innovations, we apply the analytical filter described in Appendix A of Christoffersen et al. [Reference Christoffersen, Jacobs and Ornthanalai9] to the GARCH-jump model and RS-GARCH-jump model, and back out the jump component
$\sum _{l=1}^{q_t}J_t^{(l)}$, the normal component
$\epsilon _{t}$, and the number of jumps
$q_t$. Figure 4 reports the time series of these three unobservables. The number of jumps occurring each day is presented in the left panels, the filtered jump and the standardized normal components are shown in the middle and right panels, respectively. We find strong evidence for the existence of jumps since the expected number of jumps is bigger than 1 on many days. The middle panels show that the jumps are generally negative for both models, which is consistent with the estimates of average jump size
$\mu _J$ in Table 4. But the filtered jump components are all negative in the GARCH-jump model, while in the RS-GARCH-jump model, there exist some positive jumps. It should be more reasonable to have both positive and negative jumps because in the market jumps are not always negative.
Decomposition of daily returns. The left panels plot the number of jumps, the middle and right panels plot the jump and the standardized normal component, respectively. The decomposition is accomplished by using the analytical filter in Appendix A of Christoffersen et al. [Reference Christoffersen, Jacobs and Ornthanalai9]. The parameter estimates are from Table 4. The horizontal solid lines in the left panels are drawn at one jump occurring per day.

7.4. Structural break test
To further investigate the usefulness of allowing for regime switching of GARCH parameters, we conduct a test to detect structural breaks in variance. Lamoureux and Lastrapes [Reference Lamoureux and Lastrapes18] show that the high-persistence in GARCH model may originate from structural breaks in variance process, and a natural way to model such structural shifts is Hamilton's Markov regime-switching model. If the test proves the existence of structural breaks, it is necessary to incorporate regime switching in the GARCH process. Otherwise, allowing for shifts in GARCH parameters is redundant. Therefore, we conduct a structural break test to the three models without regime switching. More specifically, we test for multiple breaks in the unconditional variance of the normal component of the return series, which is
$\sigma \epsilon _{t}$ for BS model, and
$\sqrt {h_{t-1}}\epsilon _{t}$ for GARCH and GARCH-jump models. Note that for the GARCH-jump model, first we need to decompose the return series and separately identify the jump and normal component, then conduct the test to the filtered normal component.
Inclán and Tiao [Reference Inclán and Tiao16] proposed a cumulative sum of squares statistic to detect structural shifts in variance for i.i.d. processes
$e_t$,
$t=1,\ldots,T$, the statistic is given by
where
$D_k=(C_k/C_T)-(k/T)$,
$C_k=\sum _{t=1}^{k}e_t^{2}$ for
$k=1,\ldots,T.$ The value of
$k$ that maximizes
$|(T/2)^{0.5}D_k|$ is the estimate of the break date. Since the
$IT$ statistic is designed for i.i.d. processes, it can be used to test the normal innovation of BS model. But Sansó et al. [Reference Sansó, Carrion and Aragó29] show that the
$IT$ statistic can be substantially oversized when
$e_t$ is not independent, thus it is not suitable for the GARCH process. Sansó et al. [Reference Sansó, Carrion and Aragó29] and Rapach and Strauss [Reference Rapach and Strauss26] used an adjusted
$IT$ statistic for dependent processes, which is given by
where
$G_k=\hat {\lambda }^{-0.5}[C_k-(k/T)C_T]$,
$\hat {\lambda }=\hat {\gamma _0}+2\sum _{l=1}^{m}[1-l(m+1)^{-1}]\hat {\gamma _l}$,
$\hat {\gamma _l}=T^{-1}\sum _{t=l+1}^{T}(e_t^{2}-\hat {\sigma }^{2})(e_{t-l}^{2}-\hat {\sigma }^{2})$,
$\hat {\sigma }^{2}=T^{-1}C_T$. The bandwidth parameter
$m$ is chosen using the procedure in Newey and West [Reference Newey and West24]. For more details of the test, see Sansó et al. [Reference Sansó, Carrion and Aragó29] and Rapach and Strauss [Reference Rapach and Strauss26]. Here,
$e_t$ is allowed to obey a wide range of dependent processes, including GARCH processes. Thus, the normal component in GARCH model and GARCH-jump model,
$\sqrt {h_{t-1}}\epsilon _{t}$, can be tested using this adjusted
$AIT$ statistic.
Figure 5 shows the structural breaks identified by the
$AIT$ test. The test selects many structural breaks in the unconditional variance for BS model, because the model is severely misspecified, some volatility variations that are captured by the GARCH process in the other two models are identified as structural shifts in the BS model. For the GARCH and GARCH-jump models, the test identifies more than one variance break, and thus breaks in the GARCH processes. Recall that for the GARCH-jump model, we have already filtered out the jump component and only test the normal component, and the structural breaks can still be detected. Therefore, we can conclude that it is still necessary to allow for regime switching after the GARCH and jump effects are incorporated.
The structural breaks identified by the
$AIT$ statistic for BS, GARCH, and GARCH-jump models. The test is based on the normal innovations of the return series, which is
$\sigma \epsilon _{t}$ for BS model, and
$\sqrt {h_{t-1}}\epsilon _{t}$ for GARCH model and GARCH-jump model.

7.5. Option valuation performance
Once the parameter estimates under physical measure
$\mathbb {P}$ have been obtained, we can apply the results in Eqs. (2.11)–(2.13) to compute the parameter estimates under risk-neutral measure
$\mathbb {Q}$. Given the price of the underlying index and all the parameters, we can compute theoretical option prices using the lattice algorithm described above. We consider all the 1-year-maturity S&P 500 index options starting from 2011 with different moneyness. There are 161 option contracts in total. Following Duan et al. [Reference Duan, Ritchken and Sun12], we perform a pairwise comparison of absolute errors for all the contracts. Table 8 reports the proportion of contracts where the model on the row outperforms the model in the column.
Pairwise comparisons of absolute pricing errors

Notes: This table shows the proportion of contracts where the model on the row has smaller absolute errors than the model in the column. For example, the RS model outperforms the BS model for 68.32% of the contracts. Here, GARCH-J and RS-GARCH-J are the abbreviations of GARCH-jump and RS-GARCH-jump, respectively.
From Table 8, we can see that the RS-GARCH-jump model wins BS in 59.63%, RS in 53.42%, GARCH in 63.35%, GARCH-jump in 63.98%, RS-GARCH in 60.25% of the contracts, respectively, that is, RS-GARCH-jump wins all the other models in more than half of the contracts. Meanwhile, the BS model wins all the other models in less than half of the contracts. It is natural that the BS model does not perform well because of its constant volatility assumption. Comparing the simple GARCH model with the other three models under GARCH framework shows that the GARCH-jump model, RS-GARCH model, and RS-GARCH-jump model win GARCH models more than half of the time, in 55.28, 67.70, and 63.35% of the contracts, respectively. These results confirm that the introduction of either the jump process or regime switching can help explaining the option prices.
8. Conclusion
In this paper, we studied the option pricing when the underlying asset follows a regime-switching GARCH-jump model. We developed the risk-neutral measure and derived the risk-neutral dynamics of the RS-GARCH-jump model and designed a lattice algorithm to price options under this framework. The numerical results show that our lattice algorithm can give accurate option prices which lie within the 95% confidence interval of Monte Carlo simulation with appropriate
$n$ and
$K$. We compare the option prices obtained from the RS-GARCH-jump model, RS-GARCH model, GARCH-jump model, GARCH model, BS model, and RS model. We find that the RS-GARCH-jump model results in consistently highest option prices, while the BS model results in the lowest prices. Both jump component and regime switching of our model can influence the pricing result significantly. We also conducted a real data application to compare these models in terms of describing underlying index returns and explaining option price. The likelihood ratio test shows that the RS-GARCH-jump model is the best fit. The decomposition of return series shows that the expected number of jumps is bigger than one on many days, suggesting that it is reasonable to consider jump in asset returns. The structural break tests identify more than one variance break for GARCH and GARCH-jump models, providing strong support for the inclusion of regime switching. For option pricing, we found that the proportion of occasions where the RS-GARCH-jump model has smaller pricing error than any of the other models is more than 50%. The GARCH-jump model, RS-GARCH model, and RS-GARCH-jump model win GARCH models in more than half of the contracts. These results confirm that the incorporating either the jump process or regime switching can help explaining the option prices. Thus, it is very important to consider the effects of both jump and regime switching, otherwise the option pricing results would be biased.
9. Funding statement
Zhiyu Guo and Yizhou Bai gratefully acknowledges financial support from the National Natural Science Foundation of China (No. 11631004 and No. 92046021).
Appendix A. Proof of Lemma 2.1
Proof.
\begin{align*} \int 1 \,d\mathbb{Q}& =E_0^{\mathbb{P}}\left[\exp\left(\sum _{t=1}^{T}\left(z_t\left(\epsilon_{t} +\sum_{l=1}^{q_t}J_t^{(l)}\right)-\Psi_t(z_t)\right)\right)\right]\\ & =E_0^{\mathbb{P}}\left\{\exp\left(\sum _{t=1}^{T-1}\left(z_t\left(\epsilon_{t} +\sum_{l=1}^{q_t}J_t^{(l)}\right)-\Psi_t(z_t)\right)\right)\right.\\ & \quad \left.\times E_{T-1}^{\mathbb{P}} \left[\exp\left(z_T\left(\epsilon_{T}+\sum_{l=1}^{q_T}J_T^{(l)}\right)-\Psi_T(z_T)\right)\right]\right\}\\ & =E_0^{\mathbb{P}}\left[\exp\left(\sum _{t=1}^{T-1}\left(z_t\left(\epsilon_{t} +\sum_{l=1}^{q_t}J_t^{(l)}\right)-\Psi_t(z_t)\right)\right)\right]\\ & =\cdots=1. \end{align*}From the second equation to the third equation, we used Eq. (2.9).
Appendix B. Proof of Proposition 2.1
Proof. We need to show that under
$\mathbb {Q}$, the discounted asset price is a martingale, which means that
$E^{\mathbb {Q}}_{t}(e^{-r_f}P_{t+1}/P_t)=1$.
\begin{align*} E^{\mathbb{Q}}_{t}\left(e^{{-}r_f}\frac{P_{t+1}}{P_t}\right)& =E^{\mathbb{P}}_{t} \left(e^{{-}r_f}\frac{P_{t+1}}{P_t}\frac{d\mathbb{Q}}{d\mathbb{P}}\right)\\ & =\exp\left({-}r_f+\alpha-\frac{h_{t|s_t}}{2}+\lambda(1-K_t(\sqrt{h_{t|s_t}}))-\Psi_{t+1}(z_{t+1})\right)\\ & \quad \times E^{\mathbb{P}}_{t}\left(\exp\left((\sqrt{h_{t|s_t}}+z_{t+1}) \left(\epsilon_{t+1}+\sum_{l=1}^{q_{t+1}}J_{t+1}^{(l)}\right)\right)\right)\\ & =\exp\left({-}r_f+\alpha-\frac{h_{t|s_t}}{2}+\lambda(1-K_t(\sqrt{h_{t|s_t}})) -\Psi_{t+1}(z_{t+1})\right)\\ & \quad \times \exp\left(\frac{(\sqrt{h_{t|s_t}}+z_{t+1})^{2}}{2}-\lambda(1-K_t(\sqrt{h_{t|s_t}}+z_{t+1}))\right). \end{align*} Consequently, if
$\mathbb {Q}$ is a risk-neutral probability measure, substituting the definition of
$\Psi _t(z_t)$ into the equation, we need to ensure that
\begin{align} \exp(0)& =\exp\left({-}r_f+\alpha-\frac{h_{t|s_t}}{2}+\lambda(1-K_t(\sqrt{h_{t|s_t}})) -\frac{z_{t+1}^{2}}{2}+\lambda(1-K_{t}(z_{t+1}))\right)\nonumber\\ & \quad \times \exp\left(\frac{(\sqrt{h_{t|s_t}}+z_{t+1})^{2}}{2} -\lambda(1-K_t(\sqrt{h_{t|s_t}}+z_{t+1}))\right). \end{align}Appendix C. Proof of Corollary 2.1
Proof. We first reduce Eq. (2.10) as
where
\begin{align*} f(x)& ={-}\frac{\sqrt{h_{t|s_t}}}{\lambda}x+\frac{r_f}{\lambda}- \frac{\alpha}{\lambda}-1+K_t(\sqrt{h_{t|s_t}}),\\ g(x)& =K_t(\sqrt{h_{t|s_t}}+x)-K_t(x). \end{align*}Then, we obtain the solution of
$g(x)=0$ as
$z_1$ and the solution of
$f(x)=0$ as
$z_2$. We shall prove that
$g(x)$ is a monotone increasing function of
$x$.
\begin{align*} g(x)& =\exp\left(\frac{\sigma^{2}_J(h_{t|s_t})}{2}(x+\sqrt{h_{t|s_t}})^{2}+\mu_J(h_{t|s_t})(x+\sqrt{h_{t|s_t}})\right)\\ & \quad -\exp\left(\frac{\sigma^{2}_J(h_{t|s_t})}{2}x^{2}+\mu_J(h_{t|s_t})x\right) \\ & =\exp\left(\frac{\sigma^{2}_J(h_{t|s_t})}{2}\left(x+\sqrt{h_{t|s_t}}+ \frac{\mu_J(h_{t|s_t})}{\sigma^{2}_J(h_{t|s_t})}\right)^{2}-\frac{\mu_J^{2}(h_{t|s_t})}{2\sigma^{2}_J(h_{t|s_t})}\right)\\ & \quad -\exp\left( \frac{\sigma^{2}_J(h_{t|s_t})}{2}\left(x+\frac{\mu_J(h_{t|s_t})}{\sigma^{2}_J(h_{t|s_t})}\right)^{2} -\frac{\mu_J^{2}(h_{t|s_t})}{2\sigma^{2}_J(h_{t|s_t})}\right) \\ & =\exp\left(-\frac{\mu_J^{2}(h_{t|s_t})}{2\sigma^{2}_J(h_{t|s_t})}\right) \left[\exp\left(\frac{\sigma^{2}_J(h_{t|s_t})}{2}\left(x+\sqrt{h_{t|s_t}}+ \frac{\mu_J(h_{t|s_t})}{\sigma^{2}_J(h_{t|s_t})}\right)^{2} \right)\right.\\ & \quad \left.-\exp\left( \frac{\sigma^{2}_J(h_{t|s_t})}{2}\left(x+\frac{\mu_J(h_{t|s_t})}{\sigma^{2}_J(h_{t|s_t})}\right)^{2} \right)\right] \end{align*}Then
\begin{align*} g^{\prime}(x)& =\exp\left(-\frac{\mu_J^{2}(h_{t|s_t})}{2\sigma^{2}_J(h_{t|s_t})}\right) \left[\exp\left(\frac{\sigma^{2}_J(h_{t|s_t})}{2}\left(x+\sqrt{h_{t|s_t}}+ \frac{\mu_J(h_{t|s_t})}{\sigma^{2}_J(h_{t|s_t})}\right)^{2}\right)\sigma^{2}_J(h_{t|s_t})\right.\\ & \quad \times\left(x+\sqrt{h_{t|s_t}}+\frac{\mu_J(h_{t|s_t})}{\sigma^{2}_J(h_{t|s_t})}\right) -\exp\left(\frac{\sigma^{2}_J(h_{t|s_t})}{2}\left(x+\frac{\mu_J(h_{t|s_t})}{\sigma^{2}_J(h_{t|s_t})}\right)^{2}\right)\\ & \quad \left.\times\sigma^{2}_J(h_{t|s_t}) \left(x+\frac{\mu_J(h_{t|s_t})}{\sigma^{2}_J(h_{t|s_t})}\right)\right] \end{align*}Let
$U(u)=\exp (({(\sigma ^{2}_J(h_{t|s_t}))}/{2})u^{2}) \cdot u\sigma ^{2}_J(h_{t|s_t})$, then
$g^{\prime }(x)$ can be written as
As
$U^{\prime }(u)=(\sigma ^{2}_J(h_{t|s_t})+\sigma ^{4}_J(h_{t|s_t})u^{2}) \exp (({(\sigma ^{2}_J(h_{t|s_t}))}/{2})u^{2})>0$,
$U(u)$ is a monotone increasing function of
$u$,
Thus,
$g^{\prime }(x)>0$,
$g(x)$ is a monotone increasing function of
$x$. Therefore,
$g(x)$ is bigger (smaller) than zero when
$x$ is bigger (smaller) than
$z_1$. Next, we divide the proof of Corollary 2.1 into two cases.
If
$f(z_1)\geq 0=g(z_1)$, for
$f(x)$ is a monotone decreasing function of
$x$, we obtain
$z_2\geq z_1$. So,
$f(z_2)=0\leq g(z_2)$. Because
$f(x)$ and
$g(x)$ both are continuous functions on
$\mathcal {R}$, then the solution
$z_{t+1}$ of Eq. (C.1) exists and
$z_{t+1}\in [z_1,z_2]$. Since
$f(x)$ is a monotone decreasing function of
$x$, and
$g(x)$ is a monotone increasing function of
$x$, the solution
$z_{t+1}$ is unique.
If
$f(z_1)<0=g(z_1)$, for
$f(x)$ is a monotone decreasing function of
$x$, we obtain
$z_2< z_1$. So,
$f(z_2)=0> g(z_2)$. Because
$f(x)$ and
$g(x)$ both are continuous functions on
$\mathcal {R}$, then the solution
$z_{t+1}$ of Eq. (C.1) exists and
$z_{t+1}\in [z_2,z_1]$. Since
$f(x)$ is a monotone decreasing function of
$x$, and
$g(x)$ is a monotone increasing function of
$x$, the solution
$z_{t+1}$ is unique.
In conclusion, there exists a unique
$z_{t+1}$ between
$z_1$ and
$z_2$ that satisfies Eq. (2.10).
Appendix D. Proof of Proposition 2.2
Proof. Consider the moment generating function of
$\ln (P_{t+1}/P_{t})$ under probability measure
$\mathbb {Q}$
\begin{align} & E^{\mathbb{Q}}_t\left[\exp\left(c\ln\left(\frac{P_{t+1}}{P_t}\right)\right)\right]\nonumber\\ & \quad =E^{\mathbb{Q}}_t\left[\exp\left(c\left(\alpha-\frac{h_{t|s_t}}{2}+\lambda [1-K_t(\sqrt{h_{t|s_t}})]+\sqrt{h_{t|s_t}}\left(\epsilon_{t+1}+\sum_{l=1}^{q_{t+1}}J_{t+1}^{(l)}\right)\right)\right)\right]\nonumber\\ & \quad =E^{\mathbb{P}}_t\left[\exp\left(c\left(\alpha-\frac{h_{t|s_t}}{2}+\lambda [1-K_t(\sqrt{h_{t|s_t}})]+\sqrt{h_{t|s_t}}\left(\epsilon_{t+1}+\sum_{l=1}^{q_{t+1}}J_{t+1}^{(l)}\right)\right)\right)\right.\nonumber\\ & \qquad \times\left.\exp\left(z_{t+1}\left(\epsilon_{t+1}+\sum_{l=1}^{q_{t+1}}J_{t+1}^{(l)}\right) -\Psi_{t+1}(z_{t+1})\right)\right]\nonumber\\ & \quad =\exp\left(c\left(\alpha-\frac{h_{t|s_t}}{2}+\lambda [1-K_t(\sqrt{h_{t|s_t}})]\right)-\Psi_{t+1}(z_{t+1})\right)\nonumber\\ & \qquad \times E^{\mathbb{P}}_t\left[\exp\left((c\sqrt{h_{t|s_t}}+z_{t+1}) \left(\epsilon_{t+1}+\sum_{l=1}^{q_{t+1}}J_{t+1}^{(l)}\right)\right)\right]\nonumber\\ & \quad =\exp\left\{c\left(\alpha-\frac{h_{t|s_t}}{2}+\lambda [1-K_t(\sqrt{h_{t|s_t}})]\right)-\Psi_{t+1}(z_{t+1})\right.\nonumber\\ & \qquad \left.+\frac{(c\sqrt{h_{t|s_t}}+z_{t+1})^{2}}{2}-\lambda [1-K_t((c\sqrt{h_{t|s_t}}+z_{t+1}))]\right\}. \end{align}Substituting Eqs. (2.9) and (2.10) into Eq. (D.1), we obtain
\begin{align*} & E^{\mathbb{Q}}_t\left[\exp\left(c\ln\left(\frac{P_{t+1}}{P_t}\right)\right)\right]\\ & \quad =\exp\left\{c\left[r_f-\sqrt{h_{t|s_t}}z_{t+1}-\lambda(1-K_t(\sqrt{h_{t|s_t}})-K_t(z_{t+1})+K_t(\sqrt{h_{t|s_t}}+z_{t+1})) \vphantom{\frac{(c\sqrt{h_{t|s_t}}+z_{t+1})^{2}}{2}}\right.\right. \\ & \qquad \left.-\frac{h_{t|s_t}}{2}+\lambda [1-K_t(\sqrt{h_{t|s_t}})]\right]-\frac{z_{t+1}^{2}}{2}+\lambda(1-K_{t}(z_{t+1}))\\ & \qquad \left.+\frac{(c\sqrt{h_{t|s_t}}+z_{t+1})^{2}}{2}-\lambda [1-K_t((c\sqrt{h_{t|s_t}}+z_{t+1}))]\right\}\\ & \quad =\exp\left\{c\left[r_f-\frac{h_{t|s_t}}{2}+\lambda(K_t(z_{t+1})-K_t(\sqrt{h_{t|s_t}}+z_{t+1}))\right]\right.\\ & \qquad \left.+\frac{c^{2} h_{t|s_t}}{2}+\lambda [K_{t}(z_{t+1})-K_t((c\sqrt{h_{t|s_t}}+z_{t+1}))]\right\}\\ & \quad =\exp\left\{c\left[r_f-\frac{h_{t|s_t}}{2}+\lambda\exp\left(\frac{z_{t+1}^{2} \sigma^{2}_J(h_{t|s_t})}{2}+z_{t+1}\mu_J(h_{t|s_t})\right)\right.\right.\\ & \qquad \times \left.\left(1-\exp\left(\frac{h_{t|s_t} \sigma^{2}_J(h_{t|s_t})}{2}+z_{t+1}\sqrt{h_{t|s_t}}\sigma^{2}_J(h_{t|s_t}) +\sqrt{h_{t|s_t}}\mu_J(h_{t|s_t})\right)\right)\right]\\ & \qquad +\frac{c^{2} h_{t|s_t}}{2}+\lambda\exp\left(\frac{z_{t+1}^{2} \sigma^{2}_J(h_{t|s_t})}{2}+z_{t+1}\mu_J(h_{t|s_t})\right)\\ & \qquad \times\left.\left(1-\exp\left(\frac{c^{2}h_{t|s_t} \sigma^{2}_J(h_{t|s_t})}{2}+c(z_{t+1}\sqrt{h_{t|s_t}}\sigma^{2}_J(h_{t|s_t}) +\sqrt{h_{t|s_t}}\mu_J(h_{t|s_t}))\right)\right)\right\}. \end{align*}Let
\begin{align*} & \tilde{\mu}_J(h_{t|s_t})=z_{t+1}\sigma^{2}_J(h_{t|s_t})+\mu_J(h_{t|s_t}),\\ & \tilde{\sigma}_J(h_{t|s_t})=\sigma^{2}_J(h_{t|s_t}),\\ & \tilde{\lambda}=\lambda\exp\left(\frac{z_{t+1}^{2} \sigma^{2}_J(h_{t|s_t})}{2}+z_{t+1}\mu_J(h_{t|s_t})\right),\\ & \tilde{K}_t(\sqrt{h_{t|s_t}})=\exp\left(\frac{h_{t|s_t} \tilde{\sigma}^{2}_J(h_{t|s_t})}{2}+\sqrt{h_{t|s_t}}\tilde{\mu}_J(h_{t|s_t})\right). \end{align*}Then, we get
\begin{align} E^{\mathbb{Q}}_t\left[\exp\left(c\ln\left(\frac{P_{t+1}}{P_t}\right)\right)\right] & =\exp\left\{c\left[r_f-\frac{h_{t|s_t}}{2}+\tilde{\lambda}(1-\tilde{K}_t(\sqrt{h_{t|s_t}}))\right]\right.\nonumber\\ & \quad \left.+\frac{c^{2} h_{t|s_t}}{2}+\tilde{\lambda}(1-\tilde{K}_t(c\sqrt{h_{t|s_t}}))\right\}. \end{align}Eq. (D.2) implies that under probability measure
$\mathbb {Q}$, the dynamics of the asset price can be expressed as
$$\ln\left(\frac{P_{t+1}}{P_t}\right)=r_f-\frac{h_{t|s_t}}{2}+\tilde{\lambda} [1-\tilde{K}_t(\sqrt{h_{t|s_t}})]+\sqrt{h_{t|s_t}} \left(\tilde{\epsilon}_{t+1}+\sum_{l=1}^{\tilde{q}_{t+1}}\tilde{J}_{t+1}^{(l)}\right),$$where
\begin{align*} & \tilde{\epsilon}_{t+1}\sim N^{\mathbb{Q}}(0,1),\\ & \tilde{J}_{t+1}^{(l)}\sim N^{\mathbb{Q}}(\tilde{\mu}_J(h_{t|s_t}),\tilde{\sigma}_J(h_{t|s_t})), \\ & \tilde{q}_{t+1}\sim \textrm{Poisson}^{\mathbb{Q}}(\tilde{\lambda}). \end{align*}Appendix E. Pseudo code
Build a trinomial tree of MS-GARCH-jump model

Pseudo code





















































