Skip to main content

Theory and Modern Applications

An analytical approach to the pricing of an exchange option with default risk under a stochastic volatility model


The exchange option, which has two correlated underlying assets, is one of the most popular exotic options in the over-the-counter markets. This paper studies the valuation of exchange options with default risk of option issuer, where default is allowed only at maturity. Moreover, we consider three underlying assets with stochastic volatilities and assume that fast mean-reverting processes determine the stochastic volatilities. Based on the partial differential equation approach, we derive the analytical pricing formula of the exchange option price with default risk using the asymptotic expansion. To verify the accuracy and efficiency of our pricing formula, we compare the results by our pricing formula with those by Monte Carlo simulation, which is considered a benchmark. In addition, we provide several graphs to illustrate the properties of the option for significant parameters.

1 Introduction

The exchange option, derived from the difference between the values of two underlying assets, is one of the most popular exotic options in the over-the-counter (OTC) market. Exchange option that offers the option holder the right to exchange one risky asset for another at maturity was first introduced by Margrabe [1]. Thus, it is occasionally called the Margrabe option. Since Margrabe provided a closed-form pricing formula under the Black-Scholes model [2], there have been various extensions of the exchange option pricing model such as stochastic volatility [36], jump-diffusion [79], fractional Brownian motion [10], and stochastic correlation [11].

Since default risk exists for option issuers in the OTC market, credit risk must be considered when pricing options in the over-the-counter market. The option with default risk is called a vulnerable option. The valuation of a vulnerable option has been studied with two approaches: the reduced-form and structural model. Under the reduced-form model, credit events are determined by the counting process with some intensities. On the other hand, credit events under the structural model are determined by the relation between the firm value and the option issuer’s value. Based on these models, various studies have been on the valuation of vulnerable options.

The pricing of vulnerable option under the reduced-form model has been studied by many researchers. Fard [12] provided an analytical pricing solution of vulnerable option using the Esscher–Girsanov transform when the underlying asset follows a generalized jump–diffusion model. Wang [13] dealt with the valuation of vulnerable option under the generalized autoregressive conditional heteroskedasticity (GARCH) model which is one of the discrete models. Koo and Kim [14] derived an explicit pricing formula of the catastrophe option with credit risk based on the reduced-form model of Fard. More recently, Pasricha and Goel [15] studied the valuation of European power exchange option in a reduced-form model. They assume that two underlying assets have the correlated jump-diffusion processes.

Structural model also has been used a lot for pricing of vulnerable option by many researchers. Johnson and Stulz [16] first studied on vulnerable option pricing under the structural model. Klein [17] improved the model of [16] considering the correlated default risk. Klein and Inglis [18, 19] considered stochastic interest rate and a default boundary, which depends on the liabilities of option issuer and option itself when vulnerable option is priced. Zhou et al. [20] extended the pricing model of Klein [17] with a variable default boundary based on the option’s potential debt and the option writer’s other liabilities. These results were based on the probabilistic approaches similar to vulnerable option valuation under the reduced-form model. However, unlike the reduced-form model, partial differential equation (PDE) approach has been also widely used for valuing vulnerable options under the structural model. The PDEs for vulnerable options have been mainly solved using Mellin transforms, and many researchers have developed the pricing models of vulnerable options (for instance, see [2127]). In this paper, we also develop the vulnerable option pricing model based on PDE approach. More specifically, we study the valuation of vulnerable exchange option and extend the pricing model for the option with a stochastic volatility model.

Stochastic volatility models have been developed to overcome the limitation of the Black-Scholes model. Stochastic volatility models present the time-varying volatilities and explain implied volatility patterns that arise in real option markets unlike the Black-Scholes model. In fact, there have been many kinds of stochastic volatility models to describe the phenomena in financial option markets, and there exist many studies on vulnerable option pricing based on the stochastic volatility models. Yang et al. [28] first considered a stochastic volatility model for vulnerable option pricing. They chose a stochastic volatility model with fast mean-reversion introduced by Fouque et al. [29] and derived asymptotic expansion formula of European vulnerable option price. Wang et al. [30] investigated the pricing of vulnerable option under a stochastic volatility which has the short-term fluctuation with a mean-reverting process. In addition, Lee and Kim [31] dealt with a multiscale generalized Heston’s stochastic volatility model for the pricing of defaultable options. Wang [32] proposed a stochastic volatility model which captures leverage effects and stochastic correlation and obtained an analytic pricing formula of Asian option with counterparty risk under the proposed model. Ma et al. [33] considered the GARCH diffusion model as the stochastic volatility model for pricing of the vulnerable European option, and calculated the price using the fast Fourier transform (FFT) algorithm. We also study vulnerable option pricing with a stochastic volatility model. Specifically, we derive the analytical pricing formula of exchange option with default risk based on the stochastic model of [29] and verify our formula with some numerical results.

The contribution of this work is to find the pricing formula of exchange option with default risk under the stochastic volatility. To present our results, this paper is structured as follows. In Sect. 2, we introduce the model of a stochastic volatility model for vulnerable exchange option and derived the pricing formula of vulnerable exchange option under the proposed model. In Sect. 3, we provide some numerical results to examine the features of the vulnerable exchange option with a stochastic volatility model. In Sect. 4, we provide the concluding remarks.

2 Model and option pricing

In this section, we investigate an asymptotic analysis approach to price the vulnerable exchange option under a stochastic volatility model. Specifically, we introduce the model for the vulnerable exchange option with a stochastic volatility model and derive an analytical pricing formula for the option using an asymptotic approach.

Let \(S_{t}^{1}\) and \(S_{t}^{2}\) be underlying assets and \(V_{t}\) be an asset value process of the option issuer. We assume that the stochastic differential equations for the processes \(S_{t}^{1}\), \(S_{t}^{2}\), and \(V_{t}\) are as follows.

$$\begin{aligned}& dS_{t}^{1} =rS_{t}^{1}\,dt+f_{1} \bigl(Y_{t}^{1} \bigr)S_{t}\,dW_{t}^{1}, \\& dY_{t}^{1} = \biggl[\frac{k_{1}}{\epsilon} \bigl(m_{1}-Y_{t}^{1} \bigr)-\frac{\sqrt{2}\nu _{1}}{\sqrt{\epsilon}} \Lambda _{1} \bigl(Y_{t}^{1} \bigr) \biggr]\,dt+ \frac{\sqrt{2}\nu _{1}}{\sqrt{\epsilon}}\,dZ_{t}^{1}, \\& dS_{t}^{2} =rS_{t}^{2}\,dt+f_{2} \bigl(Y_{t}^{2} \bigr)S_{t}^{2}\,dW_{t}^{2}, \\& dY_{t}^{2} = \biggl[\frac{k_{2}}{\epsilon} \bigl(m_{2}-Y_{t}^{2} \bigr)-\frac{\sqrt{2}\nu _{2}}{\sqrt{\epsilon}} \Lambda _{2} \bigl(Y_{t}^{2} \bigr) \biggr]\,dt+ \frac{\sqrt{2}\nu _{2}}{\sqrt{\epsilon}}\,dZ_{t}^{2}, \\& dV_{t} =rV_{t}\,dt+f_{v} \bigl(Y_{t}^{v} \bigr)V_{t}\,dW_{t}^{v}, \\& dY_{t}^{v} = \biggl[\frac{k_{v}}{\epsilon} \bigl(m_{v}-Y_{t}^{v} \bigr)-\frac{\sqrt{2}\nu _{v}}{\sqrt{\epsilon}} \Lambda _{v} \bigl(Y_{t}^{v} \bigr) \biggr]\,dt+ \frac{\sqrt{2}\nu _{v}}{\sqrt{\epsilon}}\,dZ_{t}^{v}, \end{aligned}$$

where r is the risk-free interest rate, \(\Lambda _{i}\) (\(i=1,2,v \)) are the market prices of volatility risk and \(W_{t}^{i}\) and \(Z_{t}^{i}\) for \(i=1,2,v\) are the standard Brownian motions under the risk-neutral measure Q. Here, The Ornstein–Uhlenbeck (OU) processes \(Y_{t}^{1}\), \(Y_{t}^{2}\), and \(Y_{t}^{v}\) mean the volatility driven process for \(S_{t}^{1}\), \(S_{t}^{2}\), and \(V_{t}\), respectively, and are set to reflect the fast mean reverting volatility environment. The correlation structures of the Brownian motions are set up as follows.

$$\begin{aligned}& dW_{t}^{1}W_{t}^{2}=\rho _{12}\,dt,\qquad dW_{t}^{1}\,dW_{t}^{v}= \rho _{1v}\,dt,\qquad dW_{t}^{2}\,dW_{t}^{v}= \rho _{2v}\,dt, \\& dW_{t}^{1}\,dZ_{t}^{1}=\eta _{1}\,dt, \qquad dW_{t}^{2}\,dZ_{t}^{2}= \eta _{2}\,dt, \qquad dW_{t}^{v}\,dZ_{t}^{v}= \eta _{v}\,dt. \end{aligned}$$

Then, the price of vulnerable exchange option under the measure Q is given by

$$\begin{aligned}& P^{\epsilon} (t,s_{1},s_{2},v,y_{1},y_{2},y_{v} ) \\& \quad ={\mathrm{E}}^{ \mathcal{Q}} \bigl[ e^{-r (T-t )}h \bigl(S_{T}^{1},S_{T}^{2},V_{T} \bigr)|S_{t}^{1}=s_{1},S_{t}^{2}=s_{2},V_{t}=v,Y_{t}^{1}=y_{1},Y_{t}^{2}=y_{2},Y_{t}^{v}=y_{v} \bigr], \end{aligned}$$

where h is the payoff function of the vulnerable exchange option, which is defined by

$$ h \bigl(S_{T}^{1},S_{T}^{2},V_{T} \bigr)= \bigl(S_{T}^{1}-S_{T}^{2} \bigr)^{+} \biggl(1_{ \{ V_{T}\ge D^{*} \} }+1_{ \{ V_{T}< D^{*} \} }\frac{ (1-\alpha )V_{T}}{D} \biggr). $$

The default of option issuer occurs if asset value \(V_{T}\) is less than the default level \(D^{*}\) at maturity T and recovery rate is set to \((1-\alpha )V_{T}/D\), where α is the deadweight cost of bankruptcy and D is the expected value of the option issuer’s total liability at maturity. From the Feynman-Kac formula, the price \(P^{\epsilon}\) satisfies the following PDE:

$$\begin{aligned}& \mathcal{L}^{\epsilon}P^{\epsilon} (t,s_{1},s_{2},v,y_{1},y_{2},y_{v} ) =0, \\& P^{\epsilon} (T,s_{1},s_{2},v,y_{1},y_{2},y_{v} ) =h (s_{1},s_{2},v ), \end{aligned}$$


$$\begin{aligned} \mathcal{L}^{\epsilon} & =\frac{1}{\epsilon}\mathcal{L}_{0}+ \frac{1}{\sqrt{\epsilon}}\mathcal{L}_{1}+\mathcal{L}_{2}, \end{aligned}$$


$$\begin{aligned}& \mathcal{L}_{0} =k_{1} (m_{1}-y_{1} ) \frac{\partial}{\partial y_{1}}+k_{2} (m_{2}-y_{2} ) \frac{\partial}{\partial y_{2}}+k_{v} (m_{v}-y_{v} ) \frac{\partial}{\partial y_{v}}+\nu _{1}^{2} \frac{\partial ^{2}}{\partial y_{1}^{2}}+\nu _{2}^{2} \frac{\partial ^{2}}{\partial y_{2}^{2}}+\nu _{v}^{2} \frac{\partial ^{2}}{\partial y_{v}^{2}}, \\& \mathcal{L}_{1} =-\sqrt{2}\nu _{1}\Lambda _{1} (y_{1} ) \frac{\partial}{\partial y_{1}}-\sqrt{2}\nu _{2}\Lambda _{2} (y_{2} )\frac{\partial}{\partial y_{2}}-\sqrt{2}\nu _{v} \Lambda _{v} (y_{v} )\frac{\partial}{\partial y_{v}} \\& \hphantom{\mathcal{L}_{1} =}{} +\sqrt{2}\nu _{1}\eta _{1}f_{1} (y_{1} )s_{1} \frac{\partial ^{2}}{\partial s_{1}\partial y_{1}}+\sqrt{2}\nu _{2} \eta _{2}f_{2} (y_{2} )s_{2} \frac{\partial ^{2}}{\partial s_{2}\partial y_{2}}+\sqrt{2}\nu _{v} \eta _{v}f_{v} (y_{v} )s_{v} \frac{\partial ^{2}}{\partial s_{v}\partial y_{v}}, \\& \mathcal{L}_{2} =\frac{\partial}{\partial t}+r \biggl(s_{1} \frac{\partial}{\partial s_{1}}+s_{2}\frac{\partial}{\partial s_{2}}+v \frac{\partial}{\partial v}-\cdot \biggr)+\frac{1}{2}f_{1}^{2} (y_{1} )s_{1}^{2}\frac{\partial ^{2}}{\partial s_{1}^{2}} \\& \hphantom{\mathcal{L}_{2} =}{}+\frac{1}{2}f_{2}^{2} (y_{2} )s_{2}^{2}\frac{\partial ^{2}}{\partial s_{2}^{2}}+ \frac{1}{2}f_{v}^{2} (y_{v} )v^{2} \frac{\partial ^{2}}{\partial v^{2}} \\& \hphantom{\mathcal{L}_{2} =}{} +\rho _{12}f_{1} (y_{1} )f_{2} (y_{2} )s_{1}s_{2} \frac{\partial ^{2}}{\partial s_{1}\partial s_{2}}+\rho _{1v}f_{1} (y_{1} )f_{v} (y_{v} )s_{1}v \frac{\partial ^{2}}{\partial s_{1}\partial v}+\rho _{2v}f_{2} (y_{2} )f_{v} (y_{v} )s_{2}v \frac{\partial ^{2}}{\partial s_{2}\partial v}. \end{aligned}$$

To obtain a pricing formula for the option by using the asymptotic approach in [29], we first expand P in power of \(\sqrt{\epsilon}\), \(P^{\epsilon}=P_{0}+\sqrt{\epsilon}P_{1}+\epsilon P_{2}+\cdots \) . Then we have

$$\begin{aligned}& \frac{1}{\epsilon}\mathcal{L}_{0}P_{0}+\frac{1}{\sqrt{\epsilon}} (\mathcal{L}_{0}P_{1}+\mathcal{L}_{1}P_{0} )+ ( \mathcal{L}_{0}P_{2}+\mathcal{L}_{1}P_{1}+ \mathcal{L}_{2}P_{0} ) \\& \quad {}+ \sqrt{\epsilon} ( \mathcal{L}_{0}P_{3}+\mathcal{L}_{1}P_{2}+ \mathcal{L}_{2}P_{1} )+\cdots =0. \end{aligned}$$

In order to derive a solution for the equation \(\mathcal{L}_{0}P_{0}=0\) in the \(\frac{1}{\epsilon}\)-order term in (4), \(P_{0}\) should be independent of \(y_{1}\), \(y_{2}\), and \(y_{v}\), in other words, \(P_{0}=P_{0} (t,s_{1},s_{2},v )\). Inserting \(P_{0}\) to the \(\frac{1}{\sqrt{\epsilon}}\)-order term in (4), \(P_{1}\) is also independent of \(y_{1}\), \(y_{2}\), and \(y_{v}\) similar to \(P_{0}\). We then have the Poisson equation

$$ \mathcal{L}_{0}P_{2}+\mathcal{L}_{2}P_{0}=0 $$

in zero-order term, which must hold its solvability condition \(\langle \mathcal{L}_{2}P_{0} \rangle =0\). Here, \(\langle \cdot \rangle \) denotes the expectation with respect to the invariant distribution Φ of the three-dimensional processes \((Y_{t}^{1},Y_{t}^{2},Y_{t}^{v} )\). From the independence assumption, the invariant distribution Φ is defined as the product of each invariant distribution of \(Y_{t}^{1}\), \(Y_{t}^{2}\) and \(Y_{t}^{v}\). That is,

$$\begin{aligned} \Phi (y_{1},y_{2},y_{v} ) & = \prod_{i=1,2,v} \frac{1}{\sqrt{2\pi \tilde{\nu}_{i}^{2}}}\exp \biggl\{ - \frac{ (y_{i}-m_{i} )^{2}}{2\tilde{\nu}_{i}^{2}} \biggr\} , \end{aligned}$$

where \(\tilde{\nu}_{i}^{2}=\frac{\nu _{i}^{2}}{k_{i}}\). Therefore, \(P_{0}\) satisfies the following PDE:

$$\begin{aligned}& \langle \mathcal{L}_{2} \rangle P_{0} (t,s_{1},s_{2},v ) =0, \\& P_{0} (T,s_{1},s_{2},v ) = (s_{1}-s_{2} )^{+} \biggl(1_{ \{ v\ge D^{*} \} }+1_{ \{ v< D^{*} \} } \frac{ (1-\alpha )v}{D} \biggr), \end{aligned}$$


$$\begin{aligned} \langle \mathcal{L}_{2} \rangle ={}& \frac{\partial}{\partial t}+r ( \mathcal{D}_{1}+\mathcal{D}_{2}+ \mathcal{D}_{v}- \cdot )+\frac{1}{2}\bar{\sigma}_{1}^{2} \mathcal{D}_{1}^{2}+\frac{1}{2}\bar{ \sigma}_{2}^{2}\mathcal{D}_{2}^{2}+ \frac{1}{2}\bar{\sigma}_{v}^{2}\mathcal{D}_{v}^{2} \\ &{} +\bar{\rho}_{12}\bar{\sigma}_{1}\bar{\sigma}_{2} \mathcal{D}_{1} \mathcal{D}_{2}+\bar{\rho}_{1v}\bar{ \sigma}_{1}\bar{\sigma}_{v} \mathcal{D}_{1} \mathcal{D}_{v}+\bar{\rho}_{2v}\bar{\sigma}_{2} \bar{\sigma}_{v}\mathcal{D}_{2}\mathcal{D}_{v}. \end{aligned}$$

and \(\mathcal{D}_{i}^{n}=s_{i}^{n} \frac{\partial ^{n}}{\partial s_{i}^{n}}\) for \(i=1,2\), \(\mathcal{D}_{v}^{n}=v^{n}\frac{\partial ^{n}}{\partial v^{n}}\),

$$\begin{aligned}& \bar{\sigma}_{1} =\sqrt{ \bigl\langle f_{1}^{2} (y_{1} ) \bigr\rangle }, \\& \bar{\sigma}_{2} =\sqrt{ \bigl\langle f_{2}^{2} (y_{2} ) \bigr\rangle }, \\& \bar{\sigma}_{v} =\sqrt{ \bigl\langle f_{v}^{2} (y_{v} ) \bigr\rangle }, \\& \bar{\rho}_{12} = \frac{\rho _{12} \langle f_{1} (y_{1} )f_{2} (y_{2} ) \rangle }{\bar{\sigma}_{1}\bar{\sigma}_{2}}, \\& \bar{\rho}_{1v} = \frac{\rho _{1v} \langle f_{1} (y_{1} )f_{v} (y_{v} ) \rangle }{\bar{\sigma}_{1}\bar{\sigma}_{v}}, \\& \bar{\rho}_{2v} = \frac{\rho _{2v} \langle f_{2} (y_{2} )f_{v} (y_{v} ) \rangle }{\bar{\sigma}_{2}\bar{\sigma}_{v}}. \end{aligned}$$

Since Eq. (6) represents a three-dimensional Black-Scholes equation, we can derive the Black-Scholes formula for \(P_{0}\) from the work outlined in [22]. The price \(P_{0}\) includes the volatilities \(\bar{\sigma}_{1}\), \(\bar{\sigma}_{2}\), and \(\bar{\sigma}_{v}\), and the correlation coefficients \(\bar{\rho}_{12}\), \(\bar{\rho}_{1v}\), and \(\bar{\rho}_{2v}\). This can be summarized in the following theorem:

Theorem 1

If \(P_{0}\), \(P_{1}\), and their \(y_{i}\)-partial derivatives do not grow exponentially as \(y_{i}\) goes to infinity for \(i=1,2,v\), then the leading order term \(P_{0}\) is independent of \(y_{1}\), \(y_{2}\), and \(y_{v}\), and is given by

$$\begin{aligned} P_{0} (t,s_{1},s_{2},v ) ={}& s_{1} \mathcal{N}_{2} (a_{1},a_{2}; \theta _{3} )-s_{2}\mathcal{N}_{2} (b_{1},b_{2}; \theta _{3} ) \\ &{} +\frac{ (1-\alpha )v}{D} \bigl(s_{1}e^{ ( \theta _{1}+\theta _{2} ) (T-t )}\mathcal{N}_{2} (c_{1},c_{2};-\theta _{3} )-s_{2}e^{\theta _{2} (T-t )} \mathcal{N}_{2} (d_{1},d_{2};-\theta _{3} ) \bigr), \end{aligned}$$


$$\begin{aligned}& a_{1} = \textit{$\frac{1}{\bar{\sigma}_{12}\sqrt{T-t}}\ln \frac{s_{1}}{s_{2}}+ \frac{\bar{\sigma}_{12}}{2}\sqrt{T-t}$}, \\& a_{2} =\frac{1}{\bar{\sigma}_{v}\sqrt{T-t}}\ln \frac{v}{D^{*}}+ \biggl( \frac{\bar{\rho}_{1v}\bar{\sigma}_{1}\bar{\sigma}_{v}+r}{\bar{\sigma}_{v}}- \frac{\bar{\sigma}_{v}}{2} \biggr)\sqrt{T-t}, \\& b_{1} = \textit{$\frac{1}{\bar{\sigma}_{12}\sqrt{T-t}}\ln \frac{s_{1}}{s_{2}}- \frac{\bar{\sigma}_{12}}{2}\sqrt{T-t}$}, \\& b_{2} =\frac{1}{\bar{\sigma}_{v}\sqrt{T-t}}\ln \frac{v}{D^{*}}+ \biggl( \frac{\bar{\rho}_{2v}\bar{\sigma}_{2}\bar{\sigma}_{v}+r}{\bar{\sigma}_{v}}- \frac{\bar{\sigma}_{v}}{2} \biggr)\sqrt{T-t}, \\& c_{1} =\frac{1}{\bar{\sigma}_{12}\sqrt{T-t}}\ln \frac{s_{1}}{s_{2}}+ \biggl( \frac{\bar{\rho}_{1v}\bar{\sigma}_{1}\bar{\sigma}_{v}-\bar{\rho}_{2v}\bar{\sigma}_{2}\bar{\sigma}_{v}}{\bar{\sigma}_{12}}+ \frac{\bar{\sigma}_{12}}{2} \biggr)\sqrt{T-t}, \\& c_{2} =-\frac{1}{\bar{\sigma}_{v}\sqrt{T-t}}\ln \frac{v}{D^{*}}- \biggl( \frac{\bar{\rho}_{1v}\bar{\sigma}_{1}\bar{\sigma}_{v}+r}{\bar{\sigma}_{v}}+ \frac{\bar{\sigma}_{v}}{2} \biggr)\sqrt{T-t}, \\& d_{1} =\frac{1}{\bar{\sigma}_{12}\sqrt{T-t}}\ln \frac{s_{1}}{s_{2}}+ \biggl( \frac{\bar{\rho}_{1v}\bar{\sigma}_{1}\bar{\sigma}_{v}-\bar{\rho}_{2v}\bar{\sigma}_{2}\bar{\sigma}_{v}}{\bar{\sigma}_{12}}- \frac{\bar{\sigma}_{12}}{2} \biggr)\sqrt{T-t}, \\& d_{2} =-\frac{1}{\bar{\sigma}_{v}\sqrt{T-t}}\ln \frac{v}{D^{*}}- \biggl( \frac{\bar{\rho}_{2v}\bar{\sigma}_{2}\bar{\sigma}_{v}+r}{\bar{\sigma}_{v}}+ \frac{\bar{\sigma}_{v}}{2} \biggr)\sqrt{T-t}, \\& \theta _{1} =\bar{\rho}_{1v}\bar{\sigma}_{1} \bar{\sigma}_{v}- \bar{\rho}_{2v}\bar{\sigma}_{2} \bar{\sigma}_{v}, \\& \theta _{2} =\bar{\rho}_{2v}\bar{\sigma}_{2} \bar{\sigma}_{v}+r, \\& \theta _{3} = \frac{\bar{\rho}_{1v}\bar{\sigma}_{1}-\bar{\rho}_{2v}\bar{\sigma}_{2}}{\bar{\sigma}_{12}}, \\& \bar{\sigma}_{12} =\sqrt{\bar{\sigma}_{1}^{2}+ \bar{\sigma}_{2}^{2}-2 \bar{\rho}_{12}\bar{ \sigma}_{1}\bar{\sigma}_{2}}, \end{aligned}$$

and \(\mathcal{N}_{2}\) is the cumulative density function for two-dimensional normal distribution defined by

$$\begin{aligned} \mathcal{N}_{2} (x,y;\rho ) & = \int _{-\infty}^{x} \int _{- \infty}^{y}\frac{1}{2\pi \sqrt{1-\rho ^{2}}}\exp \biggl(- \frac{u^{2}-2\rho uv+v^{2}}{2 (1-\rho ^{2} )} \biggr)\,du\,dv. \end{aligned}$$

Next, we consider Eq. (6) to find the correction term \(P_{1}\). Equation (6) yields

$$\begin{aligned} \mathcal{L}_{2}P_{0} ={}&\mathcal{L}_{2}P_{0}- \langle \mathcal{L}_{2} \rangle P_{0} \\ ={}&\frac{1}{2} \bigl(f_{1}^{2} (y_{1} )- \bar{\sigma}_{1}^{2} \bigr)s_{1}^{2} \frac{\partial ^{2}}{\partial s_{1}^{2}}P_{0}+ \frac{1}{2} \bigl(f_{2}^{2} (y_{2} )-\bar{\sigma}_{2}^{2} \bigr)s_{2}^{2} \frac{\partial ^{2}}{\partial s_{2}^{2}}P_{0}+ \frac{1}{2} \bigl(f_{v}^{2} (y_{v} )-\bar{\sigma}_{v}^{2} \bigr)v^{2} \frac{\partial ^{2}}{\partial v^{2}}P_{0} \\ &{} +\rho _{12} \bigl(f_{1} (y_{1} )f_{2} (y_{2} )- \bigl\langle f_{1} (y_{1} )f_{2} (y_{2} ) \bigr\rangle \bigr)s_{1}s_{2} \frac{\partial ^{2}}{\partial s_{1}\partial s_{2}}P_{0} \\ &{} +\rho _{1v} \bigl(f_{1} (y_{1} )f_{v} (y_{v} )- \bigl\langle f_{1} (y_{1} )f_{v} (y_{v} ) \bigr\rangle \bigr)s_{1}v \frac{\partial ^{2}}{\partial s_{1}\partial v}P_{0} \\ &{} +\rho _{2v} \bigl(f_{2} (y_{2} )f_{v} (y_{v} )- \bigl\langle f_{2} (y_{2} )f_{v} (y_{v} ) \bigr\rangle \bigr)s_{2}v \frac{\partial ^{2}}{\partial s_{2}\partial v}P_{0}, \end{aligned}$$

and Eq. (5) leads

$$\begin{aligned} P_{2} ={}&-\mathcal{L}_{0}^{-1} ( \mathcal{L}_{2}P_{0} ) \\ ={}&-\mathcal{L}_{0}^{-1} \bigl(\mathcal{L}_{2}- \langle \mathcal{L}_{2} \rangle \bigr)P_{0} \\ ={}&-\frac{1}{2} \bigl(\phi _{1} (y_{1} )+c_{1} (t,s_{1},s_{2},v,z ) \bigr)s_{1}^{2} \frac{\partial ^{2}}{\partial s_{1}^{2}}P_{0} \\ &{} -\frac{1}{2} \bigl(\phi _{2} (y_{2} )+c_{2} (t,s_{1},s_{2},v,z ) \bigr)s_{2}^{2} \frac{\partial ^{2}}{\partial s_{2}^{2}}P_{0} \\ &{} -\frac{1}{2} \bigl(\phi _{v} (y_{v} )+c_{v} (t,s_{1},s_{2},v,z ) \bigr)v^{2} \frac{\partial ^{2}}{\partial v^{2}}P_{0} \\ &{} -\rho _{12} \bigl(\phi _{12} (y_{1},y_{2} )+c_{12} (t,s_{1},s_{2},v,z ) \bigr)s_{1}s_{2} \frac{\partial ^{2}}{\partial s_{1}\partial s_{2}}P_{0} \\ &{} -\rho _{1v} \bigl(\phi _{1v} (y_{1},y_{v} )+c_{1v} (t,s_{1},s_{2},v,z ) \bigr)s_{1}v \frac{\partial ^{2}}{\partial s_{1}\partial v}P_{0} \\ &{} -\rho _{2v} \bigl(\phi _{2v} (y_{2},y_{v} )+c_{2v} (t,s_{1},s_{2},v,z ) \bigr)s_{2}v \frac{\partial ^{2}}{\partial s_{2}\partial v}P_{0}. \end{aligned}$$

Here, the functions \(\phi _{i}\) (\(i=1,2,v \)), \(\phi _{12}\), \(\phi _{1v}\), and \(\phi _{2v}\) are the solutions of the following Poisson equations.

$$\begin{aligned}& \mathcal{L}_{0}\phi _{1} (y_{1} ) =f_{1}^{2} (y_{1} )-\bar{\sigma}_{1}^{2}, \\& \mathcal{L}_{0}\phi _{2} (y_{2} ) =f_{2}^{2} (y_{2} )-\bar{\sigma}_{2}^{2}, \\& \mathcal{L}_{0}\phi _{v} (y_{3} ) =f_{v}^{2} (y_{v} )-\bar{\sigma}_{v}^{2}, \\& \mathcal{L}_{0}\phi _{12} (y_{1},y_{2} ) =f_{1} (y_{1} )f_{2} (y_{2} )- \bigl\langle f_{1} (y_{1} )f_{2} (y_{2} ) \bigr\rangle , \\& \mathcal{L}_{0}\phi _{1v} (y_{1},y_{v} ) =f_{1} (y_{1} )f_{v} (y_{v} )- \bigl\langle f_{1} (y_{1} )f_{v} (y_{v} ) \bigr\rangle , \\& \mathcal{L}_{0}\phi _{2v} (y_{2},y_{v} ) =f_{2} (y_{2} )f_{v} (y_{v} )- \bigl\langle f_{2} (y_{2} )f_{v} (y_{v} ) \bigr\rangle , \end{aligned}$$

where \(c_{i} \) (\(i=1,2,v \)), \(c_{12}\), \(c_{1v}\), and \(c_{2v}\) are the integral constant function. Since the operator \(\mathcal{L}_{0}\) depends on the variables \(y_{1}\), \(y_{2}\), and \(y_{v}\), \(\phi _{i} \) (\(i=1,2,v \)), \(\phi _{12}\), \(\phi _{1v}\), and \(\phi _{2v}\) are the functions with three variables. However, as a result of the spectral theory, the functions can be defined as above. We leave the details of this in the Appendix. In \(\sqrt{\epsilon}\)-order term in (4), we have the PDE for \(P_{3}\), \(\mathcal{L}_{0}P_{3}+\mathcal{L}_{1}P_{2}+\mathcal{L}_{2}P_{1}=0\), and \(\langle \mathcal{L}_{1}P_{2} \rangle + \langle \mathcal{L}_{2} \rangle P_{1}=0\) holds from the solvability condition for \(P_{3}\). Furthermore, since the terminal condition in Eq. (3) does not depend on the small parameter ϵ, it leads us to the conclusion that \(P_{1}(T)=0\) from \(P^{\epsilon}(T)=P_{0}(T)+\sqrt{\epsilon}P_{1}(T)+\cdots \) . As a result of this, we can further derive the following PDE for \(P_{1}^{\epsilon} (:=\sqrt{\epsilon}P_{1} )\).

$$\begin{aligned}& \langle \mathcal{L}_{2} \rangle P_{1}^{\epsilon} = \mathcal{H^{\epsilon}}P_{0}, \\& P_{1}^{\epsilon} (T,s_{1},s_{2},v ) =0, \end{aligned}$$


$$\begin{aligned} \mathcal{H}^{\epsilon} ={}&\sqrt{\epsilon} \bigl\langle \mathcal{L}_{1} \mathcal{L}_{0}^{-1} \bigl(\mathcal{L}_{2}- \langle \mathcal{L}_{2} \rangle \bigr) \bigr\rangle \\ ={}&\sqrt{\epsilon} \biggl\langle \biggl(-\sqrt{2}\nu _{1}\Lambda _{1} (y_{1} )\frac{\partial}{\partial y_{1}}-\sqrt{2}\nu _{2} \Lambda _{2} (y_{2} )\frac{\partial}{\partial y_{2}}-\sqrt{2} \nu _{v}\Lambda _{v} (y_{v} ) \frac{\partial}{\partial y_{v}} \\ & {}+\sqrt{2}\nu _{1}\eta _{1}f_{1} (y_{1} )s_{1}\frac{\partial ^{2}}{\partial s_{1}\partial y_{1}}+\sqrt{2} \nu _{2} \eta _{2}f_{2} (y_{2} )s_{2} \frac{\partial ^{2}}{\partial s_{2}\partial y_{2}}+\sqrt{2}\nu _{v} \eta _{v}f_{v} (y_{v} )v \frac{\partial ^{2}}{\partial v\partial y_{v}} \biggr) \\ &{} \times \biggl[\frac{1}{2} \bigl(\phi _{1} (y_{1} )+c_{1} (t,s_{1},s_{2},v,z ) \bigr)s_{1}^{2} \frac{\partial ^{2}}{\partial s_{1}^{2}}+\frac{1}{2} \bigl(\phi _{2} (y_{2} )+c_{2} (t,s_{1},s_{2},v,z ) \bigr)s_{2}^{2} \frac{\partial ^{2}}{\partial s_{2}^{2}} \\ & {}+\frac{1}{2} \bigl(\phi _{v} (y_{v} )+c_{v} (t,s_{1},s_{2},v,z ) \bigr)v^{2} \frac{\partial ^{2}}{\partial v^{2}}+\rho _{12} \bigl(\phi _{12} (y_{1},y_{2} ) \\ &{}+c_{12} (t,s_{1},s_{2},v,z ) \bigr)s_{1}s_{2}\frac{\partial ^{2}}{\partial s_{1}\partial s_{2}} \\ & {}+\rho _{1v} \bigl(\phi _{1v} (y_{1},y_{v} )+c_{1v} (t,s_{1},s_{2},v,z ) \bigr)s_{1}v \frac{\partial ^{2}}{\partial s_{1}\partial v} \\ & {}+\rho _{2v} \bigl(\phi _{2v} (y_{2},y_{v} )+c_{2v} (t,s_{1},s_{2},v,z ) \bigr)s_{2}v \frac{\partial ^{2}}{\partial s_{2}\partial v} \biggr] \biggr\rangle . \end{aligned}$$

Consequently, the following theorem is derived.

Theorem 2

Under the same conditions as in Theorem 1, the fast correction term \(P_{1}^{\epsilon}\), which is the solution of the PDE (9), is given by

$$ P_{1}^{\epsilon}=- (T-t )\mathcal{H}^{\epsilon}P_{0}, $$


$$\begin{aligned} \mathcal{H}^{\epsilon} ={}&- \bigl[\mathcal{D}_{1} \bigl(V_{1}^{ \epsilon}\mathcal{D}_{1}^{2}+V_{1,2}^{\epsilon} \mathcal{D}_{1} \mathcal{D}_{2}+V_{1,v}^{\epsilon} \mathcal{D}_{1}\mathcal{D}_{v} \bigr)+\mathcal{D}_{2} \bigl(V_{2}^{\epsilon}\mathcal{D}_{2}^{2}+V_{2,1}^{ \epsilon} \mathcal{D}_{1}\mathcal{D}_{2}+V_{2,v}^{\epsilon} \mathcal{D}_{2} \mathcal{D}_{v} \bigr) \\ & {}+\mathcal{D}_{v} \bigl(V_{v}^{\epsilon} \mathcal{D}_{v}^{2}+V_{v,1}^{ \epsilon} \mathcal{D}_{1}\mathcal{D}_{v}+V_{v,2}^{\epsilon} \mathcal{D}_{2} \mathcal{D}_{v} \bigr)+W_{1}^{\epsilon} \mathcal{D}_{1}^{2}+W_{1,2}^{ \epsilon} \mathcal{D}_{1}\mathcal{D}_{2}+W_{1,v}^{\epsilon} \mathcal{D}_{1} \mathcal{D}_{v} \\ & {}+W_{2}^{\epsilon}\mathcal{D}_{2}^{2}+W_{2,1}^{ \epsilon} \mathcal{D}_{1}\mathcal{D}_{2}+W_{2,v}^{\epsilon} \mathcal{D}_{2} \mathcal{D}_{v}+W_{v}^{\epsilon} \mathcal{D}_{v}^{2}+W_{v,1}^{\epsilon} \mathcal{D}_{1}\mathcal{D}_{v}+W_{v,2}^{\epsilon} \mathcal{D}_{2} \mathcal{D}_{v} \bigr], \end{aligned}$$


$$\begin{aligned}& V_{i}^{\epsilon} =- \frac{\sqrt{\epsilon}\eta _{i}\nu _{i}}{\sqrt{2}} \biggl\langle f_{i} (y_{i} )\frac{\partial}{\partial y_{i}}\phi _{i} (y_{i} ) \biggr\rangle , \\& V_{i,j}^{\epsilon} =-\sqrt{2\epsilon}\eta _{i}\rho _{ij}\nu _{i} \biggl\langle f_{i} (y_{i} ) \frac{\partial}{\partial y_{i}}\phi _{ij} (y_{i},y_{j} ) \biggr\rangle , \\& W_{i}^{\epsilon} =\frac{\sqrt{\epsilon}\nu _{i}}{\sqrt{2}} \biggl\langle \Lambda _{i} (y_{i} ) \frac{\partial}{\partial y_{i}}\phi _{i} (y_{i} ) \biggr\rangle , \\& W_{i,j}^{\epsilon} =\sqrt{2\epsilon}\rho _{ij}\nu _{i} \biggl\langle \Lambda _{i} (y_{i} ) \frac{\partial}{\partial y_{i}}\phi _{ij} (y_{i},y_{j} ) \biggr\rangle , \end{aligned}$$

for \(i,j=1,2,v\). Here, \(\rho _{ji}=\rho _{ij}\) and \(\phi _{ji}=\phi _{ij}\) are considered for the case where \(\phi _{ji}\) is not defined (for example, \(\phi _{v1}\) is replaced by \(\phi _{1v}\)).


Since the differential operators \(\frac{\partial}{\partial t}\), \(\mathcal{D}_{i}^{n}\) (\(i=1,2,v\)) are commutative for any \(n\in \mathbb{N}\), the operator \(\langle \mathcal{L}_{2} \rangle \) and \(\mathcal{H}^{\epsilon}\) are also commutative, and

$$\begin{aligned} \langle \mathcal{L}_{2} \rangle P_{1}^{\epsilon} & = \langle \mathcal{L}_{2} \rangle (t-T ) \mathcal{H}^{\epsilon}P_{0} \\ & =\mathcal{H}^{\epsilon}P_{0}+ (t-T ) \bigl( \langle \mathcal{L}_{2} \rangle \mathcal{H}^{\epsilon}P_{0} \bigr) \\ & =\mathcal{H}^{\epsilon}P_{0}+ (t-T ) \bigl(\mathcal{H}^{ \epsilon} \langle \mathcal{L}_{2} \rangle P_{0} \bigr) \\ & =\mathcal{H}^{\epsilon}P_{0}. \end{aligned}$$


From Theorem 1 and Theorem 2, we can obtain the analytical pricing formula of vulnerable exchange option as the approximate solution. Moreover, we verify the accuracy of the solution in the following theorem.

Theorem 3

Let \(\tilde{P}^{\epsilon}=P_{0}+P_{1}^{\epsilon}\), then \(\tilde{P}^{\epsilon}\) approximates to \(P^{\epsilon}\) in (3) with order \(\epsilon ^{2/3}\log \epsilon \). In other words, there exist a positive constant C such that

$$ \bigl\vert P^{\epsilon}-\tilde{P}^{\epsilon} \bigr\vert < C\epsilon ^{2/3} \log \vert \epsilon \vert . $$


Since the option in this study has non-smooth and discontinuous payoff, the proof will sequentially cover three steps. First, we analyze the error of accuracy for smooth payoffs. We then consider the case of continuous but non-smooth payoffs. Finally, we address the error of accuracy for discontinuous payoffs.

Firstly, if the payoff function for \(P^{\epsilon}\) is smooth, it is known that \(\tilde{P}^{\epsilon}\) approximates to \(P^{\epsilon}\) with order ϵ (refer to [34, 35]). Reviewing the whole process, first let \(R^{\epsilon}=P^{\epsilon}-\hat{P}^{\epsilon}\), where \(\hat{P}^{\epsilon}=\tilde{P}^{\epsilon}+\epsilon P_{2}+\epsilon \sqrt{\epsilon}P_{3}\). We also suppose that the payoff function for \(P^{\epsilon}\) and its derivatives are smooth and bounded. We then obtain the following from \(\mathcal{L}^{\epsilon}P^{\epsilon}=0\) in Eq. (3):

$$\begin{aligned}& \mathcal{L}^{\epsilon}R^{\epsilon} +\frac{1}{\epsilon} \mathcal{L}_{0}P_{0}+ \frac{1}{\sqrt{\epsilon}} ( \mathcal{L}_{0}P_{1}+\mathcal{L}_{1}P_{0} )+ (\mathcal{L}_{0}P_{2}+\mathcal{L}_{1}P_{1}+ \mathcal{L}_{2}P_{0} ) \\& \qquad {} +\sqrt{\epsilon} (\mathcal{L}_{0}P_{3}+ \mathcal{L}_{1}P_{2}+ \mathcal{L}_{2}P_{1} )+\epsilon (\mathcal{L}_{1}P_{3}+ \mathcal{L}_{2}P_{2}+ \sqrt{\epsilon}\mathcal{L}_{2}P_{3} ) \\& \quad =0. \end{aligned}$$

From \(\mathcal{L}_{0}P_{0}=0\), \(\mathcal{L}_{0}P_{1}+\mathcal{L}_{1}P_{0}=0\), \(\mathcal{L}_{0}P_{2}+\mathcal{L}_{1}P_{1}+\mathcal{L}_{2}P_{0}=0\), and \(\mathcal{L}_{0}P_{3}+\mathcal{L}_{1}P_{2}+\mathcal{L}_{2}P_{1}=0\) in Eq. (4), The Eq. (12) is rewritten as

$$\begin{aligned} \mathcal{L}^{\epsilon}R^{\epsilon} &{} +\epsilon R_{1}^{\epsilon}=0, \end{aligned}$$

where \(R_{1}^{\epsilon}=\mathcal{L}_{1}P_{3}+\mathcal{L}_{2}P_{2}+\sqrt{ \epsilon}\mathcal{L}_{2}P_{3}\). Considering the terminal condition for \(P_{0}\) and \(P_{1}\) in Eq. (6) and Eq. (9), respectively, we obtain

$$ R^{\epsilon} (T,s_{1},s_{2},v,y_{1},y_{2},y_{v} )=- \epsilon P_{2} (T,s_{1},s_{2},v,y_{1},y_{2},y_{v} )- \epsilon \sqrt{\epsilon}P_{3} (T,s_{1},s_{2},v,y_{1},y_{2},y_{v} ). $$

Hence, one can use the Feynman–Kac probabilistic representation formula to lead

$$\begin{aligned} R^{\epsilon} ={}&\epsilon{\mathrm{E}}^{\mathcal{Q}} \biggl[e^{-r (T-t )} \bigl(-P_{2} \bigl(T,S_{T}^{1},S_{T}^{2},V_{T},Y_{T}^{1},Y_{T}^{2},Y_{T}^{v} \bigr) \\ &{}-\sqrt{\epsilon}P_{3} \bigl(T,S_{T}^{1},S_{T}^{2},V_{T},Y_{T}^{1},Y_{T}^{2},Y_{T}^{v} \bigr) \bigr) \\ & {}+ \int _{t}^{T}e^{-r (u-t )}R_{1}^{ \epsilon} \bigl(u,S_{u}^{1},S_{u}^{2},V_{u},Y_{u}^{1},Y_{u}^{2},Y_{u}^{v} \bigr)\,du\Big|S_{t}^{1},S_{t}^{2},V_{t},Y_{t}^{1},Y_{t}^{2},Y_{t}^{v} \biggr], \end{aligned}$$

and then

$$\begin{aligned} \bigl\vert P^{\epsilon}-\tilde{P}^{\epsilon} \bigr\vert & \le \bigl\vert R^{ \epsilon} \bigr\vert + \bigl\vert \hat{P}^{\epsilon}- \tilde{P}^{\epsilon} \bigr\vert \\ & \le C_{1}\epsilon , \end{aligned}$$

for some constant \(C_{1}>0\).

We then apply the regularization method described in [36] for handling non-smooth payoff functions. As a brief sketch of the second step of the proof, we start by regularizing an option with a continuous yet non-smooth payoff (such as a call option). Since our option has three underlying assets, for simplicity, let \(C^{\epsilon , \eta}\) be an one-dimensional call option where the payoff is replaced by the Black-Scholes call option price at \(t=T-\eta \) for small parameter η. Further, let \(\tilde{C}^{\epsilon ,\eta}\) represent the first-order approximation of \({C}^{\epsilon ,\eta}\), such that

$$ {C}^{\epsilon ,\eta} \approx \tilde{C}^{\epsilon ,\eta} = C_{0}^{\eta}+ \sqrt {\epsilon}C_{1}^{\eta}, $$


$$\begin{aligned}& C_{0}^{\eta}(t,s_{1}) = C_{BS}(t-\eta ,s_{1};\bar{\sigma}_{1}), \\& \sqrt {\epsilon}C_{1}^{\eta} = - (T-t )\mathcal{H}_{1}^{ \epsilon}C_{0}^{\eta}. \end{aligned}$$

Here, the operator \(\mathcal{H}_{1}^{\epsilon}\) is the one-dimensional reduced form of the operator \(\mathcal{H}^{\epsilon}\) in Eq. (10). From this, we can deduce that

$$ \bigl\vert C^{\epsilon}-\tilde{C}^{\epsilon} \bigr\vert \le \bigl\vert C^{ \epsilon}-C^{\epsilon ,\eta} \bigr\vert + \bigl\vert C^{\epsilon ,\eta}- \tilde{C}^{\epsilon ,\eta} \bigr\vert + \bigl\vert \tilde{C}^{\epsilon ,\eta}- \tilde{C}^{\epsilon} \bigr\vert $$

and the right hand side of Eq. (14) is bounded by three terms \((\eta ,\epsilon \ln |\eta | , \frac{\epsilon ^{3/2}}{\sqrt {\eta}} )\). Refer to [36] for details.

Lastly, in the case of a discontinuous payoff (such as digital options), an additional factor \(\eta ^{-1/2}\) is required due to the successive derivatives of \(C_{0}^{\eta}\) in Eq. (13). This modification bounds the error term by the three terms \((\eta ,\frac{\epsilon \ln |\eta |}{\sqrt {\eta}}, \frac{\epsilon ^{3/2}}{\eta} )\). For further details on discontinuous payoffs, please refer to [37]. By substituting \(\eta =e^{q}\), we derive the max-min problem:

$$ \max \min \biggl\{ q,1-\frac{q}{2},\frac{3}{2}-q \biggr\} . $$

This problem has the solution \(q=\frac{2}{3}\), leading to an order of accuracy for the error:

$$ \bigl\vert C^{\epsilon}-\tilde{C}^{\epsilon} \bigr\vert =\mathcal{O} \bigl( \epsilon ^{2/3}\log \vert \epsilon \vert \bigr). $$

Given that the exchange option in this study carries a default risk, it has a discontinuous payoff for \(V_{t}\). Although the exchange option has three underlying asset processes, it is not difficult to extend the methodology from the one-dimensional digital option case mentioned earlier. As a results, we establish

$$ \bigl\vert P^{\epsilon}-\tilde{P}^{\epsilon} \bigr\vert \le C \epsilon ^{2/3} \log \vert \epsilon \vert $$

for some constant \(C>0\). □

3 Numerical results

In this section, we carry out several numerical experiments to illustrate the value of vulnerable option and to verify our results. Specifically, we provide some graphs to show the movements for the sensitivity analysis with respect to the significant parameters and implement the Monte-Carlo (MC) simulation, which is generally used for pricing of multi-asset options, for the verification of our result.

For feasible conduction of numerical experiment, the volatilities \(f_{i}\) in (1) are specified as follows.

$$\begin{aligned}& dS_{t}^{1} =rS_{t}^{1}\,dt+e^{Y_{t}^{1}}S_{t}^{1}\,dW_{t}^{1}, \end{aligned}$$
$$\begin{aligned}& dY_{t}^{1} =\frac{k_{1}}{\epsilon} \bigl(m_{1}-Y_{t}^{1} \bigr)\,dt+ \frac{\sqrt{2}\nu _{1}}{\sqrt{\epsilon}}\,dZ_{t}^{1}, \end{aligned}$$
$$\begin{aligned}& dS_{t}^{2} =rS_{t}^{2}\,dt+e^{Y_{t}^{2}}S_{t}^{2}\,dW_{t}^{2}, \end{aligned}$$
$$\begin{aligned}& dY_{t}^{2} =\frac{k_{2}}{\epsilon} \bigl(m_{2}-Y_{t}^{2} \bigr)\,dt+ \frac{\sqrt{2}\nu _{2}}{\sqrt{\epsilon}}\,dZ_{t}^{2}, \end{aligned}$$
$$\begin{aligned}& dV_{t} =rV_{t}\,dt+e^{Y_{t}^{v}}V_{t}\,dW_{t}^{v}, \end{aligned}$$
$$\begin{aligned}& dY_{t}^{v} =\frac{k_{v}}{\epsilon} \bigl(m_{v}-Y_{t}^{v} \bigr)\,dt+ \frac{\sqrt{2}\nu _{v}}{\sqrt{\epsilon}}\,dZ_{t}^{v}. \end{aligned}$$

From the calculation in the appendix of [35], the group parameters in (7) and (11) can be obtained by

$$\begin{aligned}& \bar{\sigma}_{i} =e^{m_{i}+\tilde{\nu}_{i}^{2}}, \end{aligned}$$
$$\begin{aligned}& \bar{\rho}_{ij} =\rho _{ij}\exp \biggl\{ - \frac{1}{2} \bigl( \tilde{\nu}_{i}^{2}+\tilde{ \nu}_{j}^{2} \bigr) \biggr\} , \end{aligned}$$
$$\begin{aligned}& U_{i}^{\epsilon} =\frac{\sqrt{\epsilon}\eta _{i}}{\sqrt{2}\nu _{i}} \exp \biggl\{ 3m_{i}+\frac{5}{2}\tilde{\nu}_{i}^{2} \biggr\} \bigl(e^{2 \tilde{\nu}_{i}^{2}}-1 \bigr), \end{aligned}$$
$$\begin{aligned}& U_{i,j}^{\epsilon} = \frac{\sqrt{2\epsilon}\eta _{i}\rho _{ij}}{\nu _{i}}\exp \biggl\{ 2m_{i}+m_{j}+ \frac{1}{2} \bigl(2\tilde{ \nu}_{i}^{2}+\tilde{\nu}_{j}^{2} \bigr) \biggr\} \bigl(e^{\tilde{\nu}_{i}^{2}}-1 \bigr), \end{aligned}$$

for \(i,j=1,2,v\), where \(\tilde{\nu}_{i}^{2}=\nu _{i}^{2}/k_{i}\). For the experiment, the baseline parameters are needed. We use the following baseline parameters \(r=0.05\), \(\alpha =0.25\), \(D=D^{*}=70\), \(S^{1}_{0}=100\), \(S^{2}_{0}=100\), \(V_{0}=100\), \(k_{1}=k_{2}=k_{v}=1\), \(m_{1}=m_{2}=m_{3}=-1.45\), \(\rho _{12}=\rho _{1v}=\rho _{2v}=0.2\), \(\eta _{1}=\eta _{2}=\eta _{v}=-0.5\), \(\epsilon =0.01\) and \(T=3\) unless otherwise stated. From these parameters and (21), (22), (23) and (24), we can determine the group parameters. The parameters are as follows.

$$\begin{aligned}& \bar{\sigma}_{1}=0.3012, \qquad \bar{\sigma}_{2}=0.3012, \qquad \bar{ \sigma}_{v}=0.2019, \\& \bar{\rho}_{12}=0.1557,\qquad \bar{\rho}_{1v}=0.1557,\qquad \bar{ \rho}_{2v}=0.1557, \\& U_{1}^{\epsilon}=-1.11\times 10^{-3},\qquad U_{2}^{\epsilon}=-1.11\times 10^{-3},\qquad U_{v}^{\epsilon}=-3.33 \times 10^{-4}, \\& U_{1,2}^{\epsilon}=-1.51\times 10^{-4},\qquad U_{1,v}^{\epsilon}=-1.01 \times 10^{-4},\qquad U_{2,1}^{\epsilon}=-1.51\times 10^{-4}, \\& U_{2,v}^{\epsilon}=-1.01\times 10^{-4},\qquad U_{v,1}^{\epsilon}=-6.78 \times 10^{-5},\qquad U_{v,2}^{\epsilon}=-6.78\times 10^{-5}. \end{aligned}$$

Figure 1(a) and Fig. 1(b) illustrate the sensitivities of the option value \(\tilde{P}_{1}^{\epsilon}\) and the correction term \(P_{1}^{\epsilon}\) with respect to initial values of two underlying assets. In Fig. 1, we can observe that the effect of stochastic volatility correction is nonlinear with respect to the underlying assets. Note that the values \(\tilde{P}_{1}^{\epsilon}\) and \({P}_{1}^{\epsilon}\) are more sensitive with respect to asset \(S^{1}_{0}\) than asset \(S^{2}_{0}\). Figure 2(a), Fig. 2(b), Fig. 3(a), and Fig. 3(b) present how the option value with the stochastic volatility changes for different correlations when the underlying assets \(S^{1}\) and V increase. In Fig. 2, it can be seen that high value of correlation \(\rho _{12}\) lowers the option value. We also find the results in higher value difference for positive values of correlation \(\rho _{12}\). In contrast to Fig. 2, Fig. 3 shows that the option value increases as the correlation between underlying asset and the option issuer’s asset increases. However, we can see that the option values converge to the same value for all correlations if V is sufficiently large. Figure 4(a) and Fig. 4(b) present how the option value changes for different D and \(D^{*}\) as the option issuer’s asset V varies. As expected, higher values of D and \(D^{*}\) correspond to lower values of vulnerable exchange option, and the option values converge to the same value for all values of D and \(D^{*}\) if the value of V is sufficiently large. We also find that the option values are more sensitive with respect to values of D than values of \(D^{*}\).

Figure 1
figure 1

Vulnerable exchange option value \(\tilde{P}_{1}^{\epsilon}\) and the correction term \(P_{1}^{\epsilon}\)

Figure 2
figure 2

Option values with respect to \(S^{1}_{0}\) for different \(\rho _{12}\)

Figure 3
figure 3

Option values with respect to \(V_{0}\) for different \(\rho _{1v}\) and \(\rho _{2v}\)

Figure 4
figure 4

Option values with respect to \(V_{0}\) for different D and \(D^{*}\)

In what follows, we show the accuracy of our pricing formula by comparing the values of \(\tilde{P}^{\epsilon}\) and the values by MC simulation. The MC simulation is based on the processes (15), (16), (17), (18), (19), (20), and the baseline parameters. It is well known that the MC method is very costly in terms of time. However, the MC method is widely used to verify the accuracy in pricing of financial derivatives since the value by the MC method converges to exact value for sufficiently large sample paths. For the experiment of MC simulation with the stability, we adopt the Euler scheme with \(N=1{,}000{,}000\) sample paths and \(M=1000\times T\) time steps for the discretization of the stochastic processes. The numerical results are presented in Table 1. Values of ‘R-err’ in Table 1 denote the relative error defined by

$$ \textrm {R-err} \triangleq \biggl\vert \frac{\textrm {`Pricing formula'} - \textrm {`Monte Carlo'}}{\textrm {`Pricing formula'}} \biggr\vert . $$

The results of Table 1 show that our analytical pricing formula for vulnerable exchange option provides the exact value. Moreover, we can see that it takes less than 0.01 seconds to calculate each option value. In other words, we consider the value obtained by the MC simulation as the benchmark and verify the accuracy and efficiency of our formula compared to benchmark value.

Table 1 Values obtained from our approach and values from Monte-Carlo simulation. The baseline parameters are \(r=0.02\), \(\alpha =0.5\), \(D=100\), \(S^{1}_{0}=100\), \(S^{2}_{0}=100\), \(V_{0}=100\), \(k_{1}=k_{2}=k_{v}=1\), \(m_{1}=m_{2}=m_{v}=-2\), \(\rho _{12}=\rho _{1v}=\rho _{2v}=0.5\), and \(\eta _{1}=\eta _{2}=\eta _{v}=-0.7\). Pricing formula* in \(P_{0}\) denotes the value obtained from Theorem 1. ‘Av. run time’ denotes average CPU execution time for the computation when \(T=3\)

4 Concluding remarks

In this paper, we study the valuation of exchange option with default risk, which is called ‘vulnerable exchange option’, under a stochastic volatility model. The stochastic volatility model is assumed as a fast mean-reverting model. Since vulnerable exchange option consist of three underlying assets, we assume that the processes of three assets follow the stochastic volatility model. We derive the PDE for vulnerable exchange option based on asymptotic expansion approach and provide an explicit analytical pricing formula of the option with the correction term. We also carry out the numerical experiments to show some features of vulnerable exchange option and the accuracy of our formula. We provide some graphs to illustrate the features of the option. From the graphs, we observe the stochastic volatility correction effect on the vulnerable exchange option and the behaviors of the option values with respect to some significant parameters. In addition, MC simulation is applied to obtain the value that is considered as a benchmark. From the numerical results with MC simulation, we can find that our formula is accurate and efficient in pricing of the vulnerable exchange option.

Availability of data and materials

Not applicable.


  1. Margrabe, W.: The value of an option to exchange one asset for another. J. Finance 33(1), 177–186 (1978)

    Article  Google Scholar 

  2. Black, F., Scholes, M.: The pricing of options and corporate liabilities. J. Polit. Econ. 81(3), 637–654 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  3. Antonelli, F., Ramponi, A., Scarlatti, S.: Exchange option pricing under stochastic volatility: a correlation expansion. Rev. Deriv. Res. 13(1), 45–73 (2010)

    Article  MATH  Google Scholar 

  4. Kim, J.-H., Park, C.-R.: A multiscale extension of the margrabe formula under stochastic volatility. Chaos Solitons Fractals 97, 59–65 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  5. Cheang, G.H., Garces, L.P.D.M.: Representation of exchange option prices under stochastic volatility jump-diffusion dynamics. Quant. Finance 20(2), 291–310 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  6. Pasricha, P., Goel, A.: A closed-form pricing formula for European exchange options with stochastic volatility. Probab. Eng. Inf. Sci. 36(3), 606–615 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  7. Cheang, G.H., Chiarella, C.: Exchange options under jump-diffusion dynamics. Appl. Math. Finance 18(3), 245–276 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  8. Ma, Y., Pan, D., Wang, T.: Exchange options under clustered jump dynamics. Quant. Finance 20(6), 949–967 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  9. Cufaro Petroni, N., Sabino, P.: Pricing exchange options with correlated jump diffusion processes. Quant. Finance 20(11), 1811–1823 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kim, K.-H., Sin, M.-G., Chong, U.-H.: Pricing formula for exchange option in fractional Black-Scholes model with jumps. J. Hyperstruct. 3(2), 155–164 (2014)

    MathSciNet  MATH  Google Scholar 

  11. Villamor, E., Olivares, P.: Pricing exchange options under stochastic correlation (2020). arXiv preprint arXiv:2001.03967

  12. Fard, F.A.: Analytical pricing of vulnerable options under a generalized jump–diffusion model. Insur. Math. Econ. 60, 19–28 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  13. Wang, X.: Analytical valuation of vulnerable options in a discrete-time framework. Probab. Eng. Inf. Sci. 31(1), 100–120 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  14. Koo, E., Kim, G.: Explicit formula for the valuation of catastrophe put option with exponential jump and default risk. Chaos Solitons Fractals 101, 1–7 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  15. Pasricha, P., Goel, A.: Pricing vulnerable power exchange options in an intensity based framework. J. Comput. Appl. Math. 355, 106–115 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  16. Johnson, H., Stulz, R.: The pricing of options with default risk. J. Finance 42(2), 267–280 (1987)

    Article  Google Scholar 

  17. Klein, P.: Pricing Black-Scholes options with correlated credit risk. J. Bank. Finance 20(7), 1211–1229 (1996)

    Article  Google Scholar 

  18. Klein, P., Inglis, M.: Valuation of European options subject to financial distress and interest rate risk. J. Deriv. 6(3), 44–56 (1999)

    Article  Google Scholar 

  19. Klein, P., Inglis, M.: Pricing vulnerable European options when the option’s payoff can increase the risk of financial distress. J. Bank. Finance 25(5), 993–1012 (2001)

    Article  Google Scholar 

  20. Zhou, Q., Wang, Q., Wu, W.: Pricing vulnerable options with variable default boundary under jump-diffusion processes. Adv. Differ. Equ. 2018(1), 465 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  21. Yoon, J.-H., Kim, J.-H.: The pricing of vulnerable options with double Mellin transforms. J. Math. Anal. Appl. 422(2), 838–857 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  22. Kim, G., Koo, E.: Closed-form pricing formula for exchange option with credit risk. Chaos Solitons Fractals 91, 221–227 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  23. Jeon, J., Yoon, J.-H., Kang, M.: Valuing vulnerable geometric Asian options. Comput. Math. Appl. 71(2), 676–691 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  24. Jeon, J., Yoon, J.-H., Kang, M.: Pricing vulnerable path-dependent options using integral transforms. J. Comput. Appl. Math. 313, 259–272 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  25. Jeon, J., Kim, G.: Pricing of vulnerable options with early counterparty credit risk. N. Am. J. Econ. Finance 47, 645–656 (2019)

    Article  Google Scholar 

  26. Kim, D., Yoon, J.-H., Kim, G.: Closed-form pricing formula for foreign equity option with credit risk. Adv. Differ. Equ. 2021(1), 1 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  27. Choi, S.-Y., Veng, S., Kim, J.-H., Yoon, J.-H.: A Mellin transform approach to the pricing of options with default risk. Comput. Econ. 59, 1113–1134 (2022)

    Article  Google Scholar 

  28. Yang, S.-J., Lee, M.-K., Kim, J.-H.: Pricing vulnerable options under a stochastic volatility model. Appl. Math. Lett. 34, 7–12 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  29. Fouque, J.-P., Papanicolaou, G., Sircar, R., Solna, K.: Multiscale Stochastic Volatility for Equity, Interest Rate, and Credit Derivatives. Cambridge University Press, Cambridge (2011)

    Book  MATH  Google Scholar 

  30. Wang, G., Wang, X., Zhou, K.: Pricing vulnerable options with stochastic volatility. Phys. A, Stat. Mech. Appl. 485, 91–103 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  31. Lee, M.-K., Kim, J.-H.: Pricing of defaultable options with multiscale generalized Heston’s stochastic volatility. Math. Comput. Simul. 144, 235–246 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  32. Wang, X.: Analytical valuation of Asian options with counterparty risk under stochastic volatility models. J. Futures Mark. 40(3), 410–429 (2020)

    Article  Google Scholar 

  33. Ma, Y., Pan, D., Shrestha, K., Xu, W.: Pricing and hedging foreign equity options under Hawkes jump–diffusion processes. Phys. A, Stat. Mech. Appl. 537, 122645 (2020)

    Article  MathSciNet  MATH  Google Scholar 

  34. Fouque, J.-P., Papanicolaou, G., Sircar, R., Solna, K.: Multiscale stochastic volatility asymptotics. Multiscale Model. Simul. 2(1), 22–42 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  35. Huh, J., Jeon, J., Kim, J.-H., Park, H.: A reduced pde method for European option pricing under multi-scale, multi-factor stochastic volatility. Quant. Finance 19(1), 155–175 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  36. Fouque, J.-P., Papanicolaou, G., Sircar, R., Solna, K.: Singular perturbations in option pricing. SIAM J. Appl. Math. 63(5), 1648–1665 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  37. Fouque, J.-P., Sircar, R., Solna, K.: Stochastic volatility effects on defaultable bonds. Appl. Math. Finance 13(3), 215–244 (2006)

    Article  MATH  Google Scholar 

  38. Sjögren, P.: Operators associated with the Hermite semigroup—a survey. J. Fourier Anal. Appl. 3(1), 813–823 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  39. Boyarchenko, N., Levendorskiı̌, S.: The eigenfunction expansion method in multi-factor quadratic term structure models. Math. Finance 17(4), 503–539 (2007)

    Article  MathSciNet  MATH  Google Scholar 

Download references


Jaegi Jeon received financial support from the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (RS-2023-00242528). Geonwoo Kim received financial support from the NRF (Grant No. NRF-2022R1H1A2091574). Jeonggyu Huh received financial support from the National Research Foundation of Korea (Grant No. NRF-2022R1F1A1063371). This work was supported by Artificial intelligence industrial convergence cluster development project funded by the Ministry of Science and ICT(MSIT, Korea) & Gwangju Metropolitan City.

Author information

Authors and Affiliations



JJ and GK designed the model; JJ and JH contributed analysis of the mathematical model; JJ proved the Theorems in the paper; JH carried out the numerical experiments; JJ, JH and GK wrote the paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Geonwoo Kim.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

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

Appendix:  Spectral theory

Appendix:  Spectral theory

In this section, we investigate the dependence of the functions defined in (8) on certain variables. Without loss of generality, we consider only \(\phi _{1}\) and \(\phi _{12}\) here, which should be defined as

$$\begin{aligned}& \mathcal{L}_{0}\phi _{1} (y_{1},y_{2},y_{v} ) =f_{1}^{2} (y_{1} )-\bar{\sigma}_{1}^{2}, \\& \mathcal{L}_{0}\phi _{12} (y_{1},y_{2},y_{v} ) =f_{1} (y_{1} )f_{2} (y_{2} )- \bigl\langle f_{1} (y_{1} )f_{2} (y_{2} ) \bigr\rangle , \end{aligned}$$


$$ \begin{aligned}\mathcal{L}_{0}={}&k_{1} (m_{1}-y_{1} ) \frac{\partial}{\partial y_{1}}+k_{2} (m_{2}-y_{2} ) \frac{\partial}{\partial y_{2}}+k_{v} (m_{v}-y_{v} ) \frac{\partial}{\partial y_{v}} \\ &{}+k_{1}\tilde{\nu}_{1}^{2} \frac{\partial ^{2}}{\partial y_{1}^{2}}+k_{2}\tilde{\nu}_{2}^{2} \frac{\partial ^{2}}{\partial y_{2}^{2}}+k_{v}\tilde{\nu}_{v}^{2} \frac{\partial ^{2}}{\partial y_{v}^{2}} \end{aligned}$$

and \(\tilde{\nu}_{i}^{2}=\frac{\nu _{i}^{2}}{k_{i}}\) for \(i=1,2,v\). Using the change of variables

$$ y_{i}=m_{i}+\tilde{\nu}_{i}u_{i}\quad (i=1,2,v), $$

the operator \(\mathcal{L}_{0}\) can be converted to \(\mathcal{\tilde{L}}_{0}\), which is given by

$$ \tilde{\mathcal{L}}_{0}=k_{1} \biggl( \frac{\partial ^{2}}{\partial u_{1}^{2}}-u_{1} \frac{\partial}{\partial u_{1}} \biggr)+k_{2} \biggl( \frac{\partial ^{2}}{\partial u_{2}^{2}}-u_{2} \frac{\partial}{\partial u_{2}} \biggr)+k_{v} \biggl( \frac{\partial ^{2}}{\partial u_{v}^{2}}-u_{v} \frac{\partial}{\partial u_{v}} \biggr). $$

The operator \(\tilde{\mathcal{L}_{0}}\) is the infinitesimal generator of a multivariate OU process with zero mean-reverting level. Also the invariant distribution γ of the OU process is given by the product of the univariate OU processes because of their independence, as follows.

$$ \gamma (du_{1},du_{2},du_{v} )=\prod _{i=1,2,v}\gamma _{i} (du_{i} ), $$


$$ \gamma _{i} (du_{i} )=\frac{1}{\sqrt{2\pi}}e^{-u_{i}^{2}/2}\,du_{i}, $$

for \(i=1,2,v\). According to [38, 39], the operator \(\tilde{\mathcal{L}}_{0}\) has the eigenfunction \(H_{\alpha}\), which is known as the Hermite polynomial and given by

$$ H_{\alpha} (u_{1},u_{2},u_{v} )=\prod _{i=1,2,v}H_{\alpha _{i}} (u_{i} ), $$

for index \(\alpha = (\alpha _{1},\alpha _{2},\alpha _{v} )\in \mathbb{N}^{3}\). Here, \(\mathbb{N}^{3}\) denotes the set of all three-dimensional positive integers. Also, its corresponding eigenvalue is \(-k\cdot \alpha \), where \(k= (k_{1,}k_{2},k_{v} )\), and it means that the following holds.

$$ \tilde{\mathcal{L}}_{0}H_{\alpha} (u_{1},u_{2},u_{v} )=- (k_{1}\alpha _{1}+k_{2}\alpha _{2}+k_{v}\alpha _{v} )H_{ \alpha} (u_{1},u_{2},u_{v} ). $$

By a result of spectral theory, the set of the polynomial \(H_{\alpha}\) forms a complete orthogonal basis for the Hilbert space \(L^{2} (\gamma )\) in which the inner product is given by

$$ \langle f,g \rangle = \iiint _{\mathbb{R}^{3}}f (u_{1},u_{2},u_{v} )g (u_{1},u_{2},u_{v} )\gamma (du_{1},du_{2},du_{v} ), $$

for \(f,g\in L^{2} (\gamma )\). Therefore, the three-dimensional Poisson equation,

$$\begin{aligned} \tilde{\mathcal{L}}_{0}\tilde{\phi}_{1} (u_{1},u_{2},u_{v} ) & =\tilde{f}_{1}^{2} (u_{1} )-\bar{\sigma}_{1}^{2}, \end{aligned}$$

has the following solution

$$\begin{aligned} \tilde{\phi}_{1} (u_{1},u_{2},u_{v} ) & =-\sum_{\alpha \in \mathbb{N}^{3}}\frac{c_{\alpha}}{k\cdot \alpha} \frac{1}{\sqrt{\alpha !}}H_{\alpha} (u_{1},u_{2},u_{v} ), \end{aligned}$$


$$ c_{\alpha}= \biggl\langle \frac{1}{\sqrt{\alpha !}}H_{\alpha} (u_{1},u_{2},u_{v} ),\tilde{f}_{1}^{2} (u_{1} )-\bar{\sigma}_{1}^{2} \biggr\rangle , $$

and \(\alpha !=\alpha _{1}!\alpha _{2}!\alpha _{v}!\). By simple calculation, one can obtain

$$\begin{aligned} c_{\alpha} & = \biggl\langle \frac{1}{\sqrt{\alpha !}}H_{\alpha} (u_{1},u_{2},u_{v} ),\tilde{f}_{1}^{2} (u_{1} )-\bar{\sigma}_{1}^{2} \biggr\rangle \\ & =\frac{1}{\sqrt{\alpha !}} \int _{\mathbb{R}}H_{\alpha _{1}} (u_{1} ) \bigl( \tilde{f}_{1}^{2} (u_{1} )-\bar{ \sigma}_{1}^{2} \bigr)\gamma (du_{1} ) \int _{\mathbb{R}}H_{\alpha _{2}} (u_{2} )\gamma (du_{2} ) \int _{\mathbb{R}}H_{ \alpha _{v}} (u_{v} )\gamma (du_{v} ) \end{aligned}$$


$$ \int _{\mathbb{R}}H_{\alpha _{i}} (u_{i} )\gamma (du_{i} )= \textstyle\begin{cases} 1 & \text{if } \alpha _{i}=0, \\ 0 & \text{if } \alpha _{i}>0, \end{cases} $$

for \(i=1,2,v\). Hence, we conclude that

$$\begin{aligned} c_{\alpha} & = \textstyle\begin{cases} \frac{1}{\sqrt{\alpha _{1}!}}\int _{\mathbb{R}}H_{\alpha _{1}} (u_{1} ) (\tilde{f}_{1}^{2} (u_{1} )-\bar{\sigma}_{1}^{2} )\gamma (du_{1} ) & \text{if } \alpha _{2}=0 \text{ and } \alpha _{v}=0, \\ 0 & \text{otherwise}, \end{cases}\displaystyle \end{aligned}$$

and \(\tilde{\phi}_{1}\) is the function of \(u_{1}\), which means \(\phi _{1}\) is the function of \(y_{1}\).

Similarly, the equation,

$$ \tilde{\mathcal{L}}_{0}\tilde{\phi}_{12} (u_{1},u_{2},u_{v} )=\tilde{f}_{1} (u_{1} )\tilde{f}_{2} (u_{2} )- \bigl\langle f_{1} (y_{1} )f_{2} (y_{2} ) \bigr\rangle , $$

has the solution of the form

$$ \tilde{\phi}_{12} (u_{1},u_{2},u_{v} )=- \sum_{\alpha \in \mathbb{N}^{3}}\frac{d_{\alpha}}{k\cdot \alpha} \frac{1}{\sqrt{\alpha !}}H_{\alpha} (u_{1},u_{2},u_{v} ), $$


$$\begin{aligned} d_{\alpha} & = \biggl\langle \frac{1}{\sqrt{\alpha !}}H_{\alpha} (u_{1},u_{2},u_{v} ),\tilde{f}_{1} (u_{1} )\tilde{f}_{2} (u_{2} )- \bigl\langle f_{1} (y_{1} )f_{2} (y_{2} ) \bigr\rangle \biggr\rangle \\ & = \textstyle\begin{cases} \frac{1}{\sqrt{\alpha _{1}!\alpha _{2}!}}\iint _{\mathbb{R}^{2}}H_{ \alpha _{1}} (u_{1} )H_{\alpha _{2}} (u_{1} ) (\tilde{f}_{1} (u_{1} )\tilde{f}_{2} (u_{2} ) \\ \quad {}- \langle f_{1} (y_{1} )f_{2} (y_{2} ) \rangle )\gamma (du_{1} )\gamma (du_{2} ) & \text{if } \alpha _{v}=0, \\ 0 & {\mathrm{otherwise.}} \end{cases}\displaystyle \end{aligned}$$

Therefore, \(\phi _{12}\) is also the function of \(y_{1}\) and \(y_{2}\).

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Jeon, J., Huh, J. & Kim, G. An analytical approach to the pricing of an exchange option with default risk under a stochastic volatility model. Adv Cont Discr Mod 2023, 37 (2023).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: