1 Introduction
In recent years, more realistic models than the classic Brownian motion for the specification of financial markets were suggested and investigated. The generalized hyperbolic distributions were introduced in Barndorff-Nielsen [3]. These distributions are infinitely divisible and hence generate a particular class of Lévy processes which can be represented as time-changed Brownian motions, see the monographs by Barndorff-Nielsen and Shiryaev [6] or Cont and Tankov [9] for details. Another important class is the generalized tempered stable distributions which were firstly introduced in Koponen [23] and then investigated in particular by Bianchi et al. [8] and Rosinski [37]. The generalized tempered stable processes are not always time-changed Brownian motions (see Küchler and Tappe [24] or Küchler and Tappe [25] on the bilateral gamma processes), although for example the variance-gamma process and CGMY process can be decomposed in this way. We refer on these facts to Madan et al. [33] and Madan and Yor [32], respectively.
The variance-gamma process is the one of the most popular examples of the generalized tempered stable processes. The variance-gamma distribution was firstly proposed as a model for financial market data in Madan and Seneta [31] and Madan and Milne [30]. They discussed the symmetric case of the distribution. The properties of the variance-gamma process defined as the time-changed by gamma subordinator Brownian motion with drift were considered in Madan et al. [33]. Also, Madan et al. [33] gave the analytical expression for the European call option price in the variance-gamma model together with the definition of the process as the difference of two gamma ones. Further, a number of papers confirmed statistically the idea of using the variance-gamma process for the modeling financial indexes. Daal and Madan [10] and Finlay and Seneta [14] approved the variance-gamma model for the currency option pricing and the exchange rate modeling. Linders and Stassen [26], Moosbrucker [34] and Rathgeber et al. [36] simulated by the variance-gamma distribution the Dow Jones index returns. Mozumder et al. [35] considered the S&P500 index options in the variance-gamma model. Luciano and Schoutens [27] modeled the S&P500, the Nikkei225 and the Eurostoxx50 financial indexes by the variance-gamma process. Luciano et al. [29] and Wallmeier and Diethelm [43] confirmed the using of variance-gamma distribution for the modeling of the US and the Swiss stock markets, respectively.
The normal-inverse Gaussian distribution was introduced in Barndorff-Nielsen [3] to model some facts in geology as a member of the class of generalized hyperbolic distributions. Financial market data, including the Danish and the German ones, was specified then by the normal-inverse Gaussian process in Barndorff-Nielsen [4] and Rydberg [38]. Properties of the normal-inverse Gaussian process discussed as the time-changed by inverse-Gaussian subordinator Brownian motion were considered in Barndorff-Nielsen [5] and Shiryaev [41]. The normal-inverse Gaussian distribution in the context of risk modeling was discussed in Aas et al. [1] and Ivanov and Temnov [21]. Figueroa et al. [13] showed that the normal-inverse Gaussian distribution specifies well a high frequency data from the US equity markets. Teneng [42] proved that the normal-inverse Gaussian process fits to the dynamics of many various foreign exchange rates. Göncü et al. [15] confirmed that this distribution also relates to the statistics of emerging market stock indexes. The modeling of Bloomberg closing prices by the variance-gamma and the normal-inverse Gaussian distributions was discussed in Luciano and Semeraro [28].
If we discuss the problem of computing in Lévy models, the basic method is the Fourier transform one, see for details the review paper by Eberlein [11]. However, it puts some restrictions on the properties of the process or the type of the derivative payoffs. In particular, it can be shown that this method cannot be applied to the pricing of digital options in the volatile variance-gamma model or in the normal-inverse Gaussian one. The method of closed form solutions which had been introduced by Madan et al. [33] was proceeded then in the papers by Ivanov and Ano [20], Ivanov [18] and Ivanov [19] for the variance-gamma distribution and by Ivanov [17] and Ivanov and Temnov [21] for the normal-inverse Gaussian one. This paper continues the elements of the research by Madan et al. [33]. We discuss the problem of multi-asset digital option pricing in the variance-gamma model in the presence of extra downside compound Poisson jumps. These jumps reflect the influence of events which can evoke dramatic drops of assets on financial markets. The examples are the terror attack of 9/11, the Subprime mortgage crisis of 2007, the collapse of Lehman Brothers or the recent deep fall of oil prices. In Sections 3 and 4 the variance-gamma and the normal inverse-Gaussian models are considered, respectively. The obtained formulas give the option prices under different types of dependencies between the asset dynamics.
2 Setup and notations
We suggest that the risky asset log-returns ${H_{t}^{j}}=\log {S_{t}^{j}}$, $j=1,2,3$, $t\le T$, follow the sums of time-changed Brownian motions and independent compound Poisson processes which are supposed to be mutually independent, too. That is,
where ${\mu _{j}},{\beta _{j}}\in \mathbb{R}$, ${\sigma _{j}}\ge 0$, ${({B_{t}^{j}})_{t\ge 0}}$ are the Wiener processes correlated with coefficients ${\rho _{jl}}$, ${({\vartheta _{t}^{j}})_{t\le T}}$ are independent with the Wiener processes subordinators and ${Z_{t}^{j}}={\sum _{l=0}^{{N_{t}^{j}}}}{\xi _{jl}}$, ${\xi _{j0}}\equiv 0$, where ${({N_{t}^{j}})_{t\le T}}$, ${N_{0}^{j}}=0$, are the Poisson processes with intensities ${\lambda _{j}}$ and ${\xi _{jl}}\ge 0$, $l=1,2,\dots $, are independent arbitrary identically distributed for every j random variables, where j is the number of asset. Throughout this paper, the problem of pricing of digital asset-or-nothing call option in foreign currency, namely which has the payoff function
is discussed. The dynamics ${S_{t}^{3}}$ relates here to the exchange rate between the domestic and the foreign currencies. The stock prices ${S_{t}^{1}}$ and ${S_{t}^{2}}$ are measured in the domestic currency. It is supposed that the non-risky assets (bank accounts) in domestic and foreign currencies ${R_{t}^{d}}$ and ${R_{t}^{f}}$, $t\le T$, have fixed interest rates ${r_{d}},r\ge 0$ and ${R_{t}^{d}}={e^{{r_{d}}t}}$, ${R_{t}^{f}}={e^{rt}}$.
(1)
\[ {H_{t}^{j}}={\mu _{j}}t+{\beta _{j}}{\vartheta _{t}^{j}}+{\sigma _{j}}{B_{{\vartheta _{t}^{j}}}^{j}}-{Z_{t}^{j}},\hspace{1em}{H_{0}^{j}}=0,\]It is easy to observe that the problem of pricing the options with payoffs (2) includes the same problem for digital asset-or-nothing and cash-or-nothing call options with payoffs ${S_{T}^{1}}{I_{\{{S_{T}^{1}}\ge K\}}}$ and $\tilde{K}{I_{\{{S_{T}^{1}}\ge K\}}}$, $\tilde{K}>0$, for the options in foreign currency with payoffs ${S_{T}^{3}}{({S_{T}^{1}}-K)^{+}}$ and for many other options. Indeed, if we discuss for example the payoffs ${S_{T}^{3}}{({S_{T}^{1}}-K)^{+}}$, we just suppose in (1)–(2) that ${\mu _{2}}={\beta _{2}}={\sigma _{2}}=0$ and ${\xi _{2l}}\equiv 0$.
Next, it is suggested in our model that the stock prices satisfy the inequality
Let
Then
(4)
\[ {X_{t}^{j}}={\mu _{j}}t+{\beta _{j}}{\vartheta _{t}^{j}}+{\sigma _{j}}{B_{{\vartheta _{t}^{j}}}^{j}}.\]
\[ \mathrm{E}\big({e^{{X_{T}^{2}}+{X_{T}^{3}}}}|{\vartheta _{T}^{2}},{\vartheta _{T}^{3}}\big)={e^{{\textstyle\sum _{j=2}^{3}}({\mu _{j}}T+{\beta _{j}}{\vartheta _{T}^{j}})+\frac{{\textstyle\sum _{j=2}^{3}}{\sigma _{j}^{2}}{\vartheta _{T}^{j}}+2{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\sqrt{{\vartheta _{T}^{2}}{\vartheta _{T}^{3}}}}{2}}}\]
and hence (3) is equivalent to
Since our model is not the classical two-asset financial market model (see for example the book by Shiryaev [41]), we need to consider at first the question of hedging of the option with payoffs (2). There are four hedging instruments in our situation. Namely, the bank account in foreign currency ${R_{t}^{f}}$, the bank account in domestic currency transferred in foreign currency with the dynamics ${S_{t}^{3}}{R_{t}^{d}}$ and the two stocks in foreign currency ${S_{t}^{3}}{S_{t}^{1}}$ and ${S_{t}^{3}}{S_{t}^{2}}$. Leaving aside a well-investigated in literature question of change of measure (see for example Eberlein et al. [12], Kallsen and Shiryaev [22], Madan and Milne [30], Ch. VII.3 of Shiryaev [41] and Ch. 6 of Schoutens [39]), let us assume that the all four assets discounted with respect to the bank account in foreign currency (i.e., the processes ${R_{t}^{f}}/{R_{t}^{f}}\equiv 1$, ${S_{t}^{3}}{R_{t}^{d}}/{R_{t}^{f}}$, ${S_{t}^{3}}{S_{t}^{1}}/{R_{t}^{f}}$, ${S_{t}^{3}}{S_{t}^{2}}/{R_{t}^{f}}$) are martingales with respect to the initial probability measure. Then the price of the option with payoffs (2) is
Remark 1.
Similarly to (2), the digital asset-or-nothing put option in foreign currency has the payoffs at expiry
Hence its price
\[\begin{aligned}{}\mathbb{DP}& ={e^{-rT}}\mathrm{E}({\mathbb{DP}_{T}})={e^{-rT}}\mathrm{E}\big({S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}<K\}}}\big)\\ {} & ={e^{-rT}}\mathrm{E}\big({S_{T}^{3}}{S_{T}^{2}}\big)-{e^{-rT}}\mathrm{E}\big({S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}\big)={e^{-rT}}\mathrm{E}\big({S_{T}^{3}}{S_{T}^{2}}\big)-\mathbb{DC}.\end{aligned}\]
For the typical case of put option in foreign currency we have for its price the identity
\[\begin{aligned}{}\mathbb{P}& ={e^{-rT}}\mathrm{E}\big({S_{T}^{3}}{\big(K-{S_{T}^{1}}\big)^{+}}\big)={e^{-rT}}\mathrm{E}\big({S_{T}^{3}}\big(K-{S_{T}^{1}}\big)\big)-{e^{-rT}}\mathrm{E}\big({S_{T}^{3}}{\big(K-{S_{T}^{1}}\big)^{-}}\big)\\ {} & ={e^{-rT}}\mathrm{E}\big({S_{T}^{3}}\big(K-{S_{T}^{1}}\big)\big)+{e^{-rT}}\mathrm{E}\big({S_{T}^{3}}{\big({S_{T}^{1}}-K\big)^{+}}\big)\\ {} & ={e^{-rT}}K\mathrm{E}\big({S_{T}^{3}}\big)-{e^{-rT}}\mathrm{E}\big({S_{T}^{3}}{S_{T}^{1}}\big)+\mathbb{C},\end{aligned}\]
where $\mathbb{C}$ is the price of call option in foreign currency. That is, results for the prices of call options in foreign currency can be exploited for the computing of prices of put options as well.Next, we introduce some necessary notations. We denote as
\[ \mathrm{N}(u),\hspace{1em}u\in \mathbb{R},\hspace{2em}\varGamma (u),\hspace{1em}u>0,\hspace{2em}\mathrm{B}({u_{1}},{u_{2}}),\hspace{1em}{u_{1}}>0,{u_{2}}>0\]
and
the normal distribution function, the gamma function, the beta function and the MacDonald function (the modified Bessel function of the second kind), respectively. The hypergeometric Gauss function is denoted as
\[ \mathrm{G}({u_{1}},{u_{2}},{u_{3}};{u_{4}}),\hspace{1em}{u_{1}},{u_{2}},{u_{3}}\in \mathbb{R},{u_{4}}<1.\]
Also, the degenerate Appell function (or the Humbert series) which is the double sum
\[ \mathrm{A}({u_{1}},{u_{2}},{u_{3}};{u_{4}},{u_{5}})={\sum \limits_{m=0}^{\infty }}{\sum \limits_{n=0}^{\infty }}\frac{{({u_{1}})}_{m+n}{({u_{2}})}_{m}}{m!n!{({u_{3}})}_{m+n}}{u_{4}^{m}}{u_{5}^{n}}\]
with ${u_{1}},{u_{2}},{u_{3}},{u_{5}}\in \mathbb{R}$ and $|{u_{4}}|<1$, where ${(u)_{l}}$, $l\in \mathbb{N}\cup \{0\}$, is the Pochhammer’s symbol, is exploited. For more information on the special mathematical functions above, see Bateman and Erdélyi [7], Gradshteyn and Ryzhik [16], Whittaker and Watson [44].3 Gamma time change
The gamma process ${\gamma _{t}}={\gamma _{t}}(a,b)$, $a>0,b>0$, is a purely discontinuous Lévy process with gamma-distributed increments and ${\gamma _{0}}=0$. It is the subordinator with the probability density function
The gamma process has mean $at/b$ and variance $at/{b^{2}}$. If $u<b$, the moment-generating function of the gamma process is
For more properties of this process, see the paper by Yor [45] or the monograph by Applebaum [2].
Throughout this section, we assume that the subordinators in (1) and (4) are the gamma processes with unit mean rate, i.e.
Then the processes ${X_{t}^{j}}$ in (4) become the variance-gamma processes, see Madan et al. [33] or Seneta [40] for more details.
To model dependencies in the subordinators, let us assume that in (8) the subordinators
where all the gamma processes with unit mean rate ${\gamma _{t}},{\gamma _{t}^{1}},{\tilde{\gamma }_{t}^{2}},{\tilde{\gamma }_{t}^{3}}$ are mutually independent, ${\kappa _{j}},{\kappa _{j1}},{\tilde{\kappa }_{j}}\ge 0$ and ${\kappa _{j}}+{\kappa _{j1}}+{\tilde{\kappa }_{j}}=1$, $j=2,3$.
(9)
\[ {\gamma _{t}^{j}}={\kappa _{j}}{\gamma _{t}}(a)+{\kappa _{j1}}{\gamma _{t}^{1}}+{\tilde{\kappa }_{j}}{\tilde{\gamma }_{t}^{j}}({\tilde{a}_{j}}),\hspace{1em}j=2,3,\]Since for a gamma distribution γ the identity
is satisfied, we have from (9) that ${a_{j}}=\frac{a}{{\kappa _{j}}}$ if ${\kappa _{j}}\ne 0$, ${a_{j}}=\frac{{a_{1}}}{{\kappa _{j1}}}$ if ${\kappa _{j1}}\ne 0$, ${a_{j}}=\frac{{\tilde{a}_{j}}}{{\tilde{\kappa }_{j}}}$ if ${\tilde{\kappa }_{j}}\ne 0$ and hence the equality
holds. Next, because the identity
holds for arbitrary independent gamma distributions γ and $\tilde{\gamma }$, one could observe from (9), as ${\gamma _{t}},{\gamma _{t}^{1}},{\tilde{\gamma }_{t}^{j}}$ are mutually independent, that
in our model, $j=2,3$. Alternatively, the identities (10) and (11) can be seen from the equality for characteristic functions of (9)
(10)
\[ \bigg({a_{j}}-\frac{a}{{\kappa _{j}}}\bigg){I_{\{{\kappa _{j}}>0\}}}=\bigg({a_{j}}-\frac{{a_{1}}}{{\kappa _{j1}}}\bigg){I_{\{{\kappa _{j1}}>0\}}}=\bigg({a_{j}}-\frac{{\tilde{a}_{j}}}{{\tilde{\kappa }_{j}}}\bigg){I_{\{{\tilde{\kappa }_{j}}>0\}}}=0\](11)
\[ {a_{j}}=a{I_{\{{\kappa _{j}}>0\}}}+{a_{1}}{I_{\{{\kappa _{j1}}>0\}}}+{\tilde{a}_{j}}{I_{\{{\tilde{\kappa }_{j}}>0\}}}\]
\[ {\bigg(\frac{{a_{j}}}{{a_{j}}-iu}\bigg)^{{a_{j}}t}}={\bigg(\frac{a/{\kappa _{j}}}{a/{\kappa _{j}}-iu}\bigg)^{at}}{\bigg(\frac{{a_{1}}/{\kappa _{j1}}}{{a_{1}}/{\kappa _{j1}}-iu}\bigg)^{{a_{1}}t}}{\bigg(\frac{{\tilde{a}_{j}}/{\tilde{\kappa }_{j}}}{{\tilde{a}_{j}}/{\tilde{\kappa }_{j}}-iu}\bigg)^{{\tilde{a}_{j}}t}}\]
if all ${\kappa _{j}}>0$, ${\kappa _{j1}}>0$, ${\tilde{\kappa }_{j}}>0$. The theorem below gives us the price (6) in the case of the independent Brownian motions in (1).Theorem 1.
Let the stock log-returns be defined in (1), the subordinators ${\vartheta _{t}^{j}}$ be gamma distributed, satisfy (8)–(9), and ${\rho _{12}}={\rho _{13}}={\rho _{23}}=0$. Set
Then the double inequality for the price (6)
holds for any ${N_{1}},{N_{2}},{N_{3}}$ with a decreasing function $\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})$ and
and
with
(12)
\[\begin{aligned}{}& {\sum \limits_{{n_{1}}=0}^{{N_{1}}}}{\sum \limits_{{n_{2}}=0}^{{N_{2}}}}{\sum \limits_{{n_{3}}=0}^{{N_{3}}}}\frac{{\lambda _{1}^{{n_{1}}}}{\lambda _{2}^{{n_{2}}}}{\lambda _{3}^{{n_{3}}}}{T^{{n_{1}}+{n_{2}}+{n_{3}}}}{e^{-({\lambda _{1}}+{\lambda _{2}}+{\lambda _{3}})T}}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})}{{n_{1}}!{n_{2}}!{n_{3}}!}\\ {} & \hspace{1em}\le \mathbb{DC}\\ {} & \hspace{1em}\le {\sum \limits_{{n_{1}}=0}^{{N_{1}}}}{\sum \limits_{{n_{2}}=0}^{{N_{2}}}}{\sum \limits_{{n_{3}}=0}^{{N_{3}}}}\frac{{\lambda _{1}^{{n_{1}}}}{\lambda _{2}^{{n_{2}}}}{\lambda _{3}^{{n_{3}}}}{T^{{n_{1}}+{n_{2}}+{n_{3}}}}{e^{-({\lambda _{1}}+{\lambda _{2}}+{\lambda _{3}})T}}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})}{{n_{1}}!{n_{2}}!{n_{3}}!}\\ {} & \hspace{2em}+\mathrm{DC}({N_{1}},{N_{2}},{N_{3}})\Bigg(1-{\sum \limits_{{n_{1}}=0}^{{N_{1}}}}\frac{{\lambda _{1}^{{n_{1}}}}{e^{-{\lambda _{1}}T}}}{{n_{1}}!}\Bigg)\\ {} & \hspace{2em}\times \Bigg(1-{\sum \limits_{{n_{2}}=0}^{{N_{2}}}}\frac{{\lambda _{2}^{{n_{2}}}}{e^{-{\lambda _{2}}T}}}{{n_{2}}!}\Bigg)\Bigg(1-{\sum \limits_{{n_{3}}=0}^{{N_{3}}}}\frac{{\lambda _{3}^{{n_{3}}}}{e^{-{\lambda _{3}}T}}}{{n_{3}}!}\Bigg)\end{aligned}\]
\[\begin{aligned}{}& \mathrm{DC}({n_{1}},{n_{2}},{n_{3}})\\ {} & \hspace{1em}=\frac{{e^{({\mu _{2}}+{\mu _{3}}-r)T}}{a_{1}^{{a_{1}}T}}}{{({a_{1}}-b)^{{a_{1}}T}}\varGamma ({a_{1}}T)\sqrt{2\pi }}\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{2}}}}{\xi _{2l}}}}\big)\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{3}}}}{\xi _{3l}}}}\big){\bigg(\frac{{\tilde{a}_{2}}}{{\tilde{a}_{2}}-{\tilde{\kappa }_{2}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2})}\bigg)^{{\tilde{a}_{2}}T}}\\ {} & \hspace{2em}\times {\bigg(\frac{{\tilde{a}_{3}}}{{\tilde{a}_{3}}-{\tilde{\kappa }_{3}}({\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2})}\bigg)^{{\tilde{a}_{3}}T}}{\bigg(\frac{a}{a-{\textstyle\sum _{j=2}^{3}}{\kappa _{j}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})}\bigg)^{aT}}\\ {} & \hspace{2em}\times \Bigg(\varLambda \mathrm{P}\Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}={\mu _{1}}T-K\Bigg)+\mathrm{E}\Bigg(\varXi \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\textstyle\sum _{l=0}^{{n_{1}}}}{\xi _{1l}}\ne {\mu _{1}}T-K\}}}\Bigg)\Bigg),\end{aligned}\]
where
(13)
\[\begin{aligned}{}\varLambda & =\varGamma \bigg({a_{1}}T+\frac{1}{2}\bigg)\bigg(\frac{\mathrm{B}(\frac{1}{2},{a_{1}}T)}{\sqrt{2}}\\ {} & \hspace{1em}+\frac{{\beta _{1}}}{{\sigma _{1}}\sqrt{{a_{1}}-b}}\mathrm{G}\bigg({a_{1}}T+\frac{1}{2},\frac{1}{2},\frac{3}{2};-\frac{{\beta _{1}^{2}}}{2({a_{1}}-b){\sigma _{1}^{2}}}\bigg)\bigg)\end{aligned}\](14)
\[\begin{aligned}{}\varXi (x)& =|s{|^{{a_{1}}T-\frac{1}{2}}}{e^{s}}{(1+q)^{{a_{1}}T}}\big(\mathrm{B}({a_{1}}T,1)\big(|s|{\mathrm{M}_{{a_{1}}T+\frac{1}{2}}}(|s|)\\ {} & \hspace{1em}+s{\mathrm{M}_{{a_{1}}T-\frac{1}{2}}}(|s|)\big){\mathrm{A}_{0}}-(1+q)s\mathrm{B}({a_{1}}T+1,1){\mathrm{M}_{{a_{1}}T-\frac{1}{2}}}(|s|){\mathrm{A}_{1}}\big)\end{aligned}\]
\[ q=\frac{{\beta _{1}}}{\sqrt{{\beta _{1}^{2}}+2({a_{1}}-b){\sigma _{1}^{2}}}},\hspace{2em}s=s(x)=\frac{({\mu _{1}}T-K-x)\sqrt{{\beta _{1}^{2}}+2({a_{1}}-b){\sigma _{1}^{2}}}}{{\sigma _{1}}}\]
and ${\mathrm{A}_{j}}=\mathrm{A}({a_{1}}T+j,1-{a_{1}}T,{a_{1}}T+1+j;\frac{1+q}{2},-s(1+q))$.
The following example illustrates how Theorem 1 works when ${Z_{t}^{j}}$ are standard Poisson processes.
Example 1.
Let ${\xi _{jl}}\equiv {\varpi _{j}}$, $j=1,2,3$, $l=1,2,\dots $, where ${\varpi _{j}}\ge 0$ are constants. Then ${Z_{t}^{j}}\equiv {\varpi _{j}}{N_{t}^{j}}$ (Poisson processes) and the result of Theorem 1 holds with
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\frac{{e^{({\mu _{2}}+{\mu _{3}}-r)T-{\varpi _{2}}{n_{2}}-{\varpi _{3}}{n_{3}}}}{a_{1}^{{a_{1}}T}}}{{({a_{1}}-b)^{{a_{1}}T}}\varGamma ({a_{1}}T)\sqrt{2\pi }}{\bigg(\frac{{\tilde{a}_{2}}}{{\tilde{a}_{2}}-{\tilde{\kappa }_{2}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2})}\bigg)^{{\tilde{a}_{2}}T}}\\ {} & \hspace{1em}\times {\bigg(\frac{{\tilde{a}_{3}}}{{\tilde{a}_{3}}-{\tilde{\kappa }_{3}}({\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2})}\bigg)^{{\tilde{a}_{3}}T}}{\bigg(\frac{a}{a-{\textstyle\sum _{j=2}^{3}}{\kappa _{j}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})}\bigg)^{aT}}\\ {} & \hspace{1em}\times \big(\varLambda {I_{\{{\varpi _{1}}{n_{1}}={\mu _{1}}T-K\}}}+\varXi ({\varpi _{1}}{n_{1}}){I_{\{{\varpi _{1}}{n_{1}}\ne {\mu _{1}}T-K\}}}\big).\end{aligned}\]
Theorem 2 computes us the price (6) in the case when the exchange rate ${S_{t}^{3}}$ and the underlying asset ${S_{t}^{2}}$ are strongly dependent but the indicator stock ${S_{t}^{1}}$ is weakly dependent on them.
Theorem 2.
Assume that in (1) ${\rho _{12}}={\rho _{13}}=0$, the subordinators are gamma distributed, satisfy (8)–(9), and ${\gamma _{t}^{3}}={\gamma _{t}^{2}}={\kappa _{2}}{\gamma _{t}}+{\kappa _{21}}{\gamma _{t}^{1}}$. Let
\[ b={\kappa _{21}}\Bigg[{\sum \limits_{j=2}^{3}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\Bigg].\]
Then (12) is satisfied with
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\frac{{e^{({\mu _{2}}+{\mu _{3}}-r)T}}{a_{1}^{{a_{1}}T}}}{{({a_{1}}-b)^{{a_{1}}T}}\varGamma ({a_{1}}T)\sqrt{2\pi }}\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{2}}}}{\xi _{2l}}}}\big)\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{3}}}}{\xi _{3l}}}}\big)\\ {} & \hspace{1em}\times {\bigg(\frac{a}{a-{\kappa _{2}}\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]}\bigg)^{aT}}\\ {} & \hspace{1em}\times \Bigg(\varLambda \mathrm{P}\Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}={\mu _{1}}T-K\Bigg)\\ {} & \hspace{1em}+\mathrm{E}\Bigg(\varXi \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\textstyle\sum _{l=0}^{{n_{1}}}}{\xi _{1l}}\ne {\mu _{1}}T-K\}}}\Bigg)\Bigg),\end{aligned}\]
where Λ and $\varXi (x)$ are defined in (13) and (14), respectively.
The next theorem considers the case when all risky assets are strongly dependent.
Theorem 3.
Let the subordinators in (1) be gamma distributed, satisfy (8)–(9), and ${\gamma _{t}^{3}}={\gamma _{t}^{2}}={\gamma _{t}^{1}}$. Set
and $\varXi (x)$ is defined by (14) with
and
\[ b={\sum \limits_{j=2}^{3}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}.\]
Then (12) holds with
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\frac{{e^{({\mu _{2}}+{\mu _{3}}-r)T}}{a_{1}^{{a_{1}}T}}}{{({a_{1}}-b)^{{a_{1}}T}}\varGamma ({a_{1}}T)\sqrt{2\pi }}\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{2}}}}{\xi _{2l}}}}\big)\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{3}}}}{\xi _{3l}}}}\big)\\ {} & \hspace{1em}\times \Bigg(\varLambda \mathrm{P}\Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}={\mu _{1}}T-K\Bigg)\\ {} & \hspace{1em}+\mathrm{E}\Bigg(\varXi \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\textstyle\sum _{l=0}^{{n_{1}}}}{\xi _{1l}}\ne {\mu _{1}}T-K\}}}\Bigg)\Bigg),\end{aligned}\]
where
(15)
\[\begin{aligned}{}\varLambda & =\varGamma \bigg({a_{1}}T+\frac{1}{2}\bigg)\bigg(\frac{\mathrm{B}(\frac{1}{2},{a_{1}}T)}{\sqrt{2}}\\ {} & \hspace{1em}+\frac{{\beta _{1}}+{\textstyle\sum _{j=2}^{3}}{\rho _{1j}}{\sigma _{1}}{\sigma _{j}}}{{\sigma _{1}}\sqrt{{a_{1}}-b}}\mathrm{G}\bigg({a_{1}}T+\frac{1}{2},\frac{1}{2},\frac{3}{2};-\frac{{({\beta _{1}}+{\textstyle\sum _{j=2}^{3}}{\rho _{1j}}{\sigma _{1}}{\sigma _{j}})^{2}}}{2({a_{1}}-b){\sigma _{1}^{2}}}\bigg)\bigg)\end{aligned}\]Example 2 shows how Theorem 3 can be applied to the problem of pricing of the standard European call option in foreign currency which has the payoffs at expiry ${S_{T}^{2}}{({S_{T}^{1}}-K)^{+}}$.
Example 2.
Assume that ${S_{t}^{3}}\equiv {S_{t}^{1}}$ and ${\xi _{jl}}\equiv 0$, $j=1,2,3$, $l=1,2,\dots $ under the conditions of Theorem 3. Then
where
(16)
\[ \mathbb{DC}=\mathrm{DC}(0,0,0)=\frac{{e^{({\mu _{2}}+{\mu _{1}}-r)T}}{a_{1}^{{a_{1}}T}}}{{({a_{1}}-b)^{{a_{1}}T}}\varGamma ({a_{1}}T)\sqrt{2\pi }}(\varLambda {I_{\{{\mu _{1}}T=K\}}}+\varXi {I_{\{{\mu _{1}}T\ne K\}}}),\]
\[\begin{aligned}{}\varLambda & =\varGamma \bigg({a_{1}}T+\frac{1}{2}\bigg)\bigg(\frac{\mathrm{B}(\frac{1}{2},{a_{1}}T)}{\sqrt{2}}\\ {} & \hspace{1em}+\frac{{\beta _{1}}+{\sigma _{1}^{2}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}}{{\sigma _{1}}\sqrt{{a_{1}}-b}}\mathrm{G}\bigg({a_{1}}T+\frac{1}{2},\frac{1}{2},\frac{3}{2};-\frac{{({\beta _{1}}+{\sigma _{1}^{2}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}})^{2}}}{2({a_{1}}-b){\sigma _{1}^{2}}}\bigg)\bigg)\end{aligned}\]
with
\[ b={\sum \limits_{j=1}^{2}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}\]
and Ξ is set by (14) with
and
Next, let ${S_{t}^{3}}\equiv 1$, ${\xi _{jl}}\equiv 0$, $j=1,2$, $l=1,2,\dots $ and the conditions of Theorem 3 hold. Then
where
(17)
\[ \mathbb{DC}=\mathrm{DC}(0,0)=\frac{{e^{({\mu _{2}}-r)T}}{a_{1}^{{a_{1}}T}}}{{({a_{1}}-b)^{{a_{1}}T}}\varGamma ({a_{1}}T)\sqrt{2\pi }}(\varLambda {I_{\{{\mu _{1}}T=K\}}}+\varXi {I_{\{{\mu _{1}}T\ne K\}}}),\]
\[\begin{aligned}{}\varLambda & =\varGamma \bigg({a_{1}}T+\frac{1}{2}\bigg)\bigg(\frac{\mathrm{B}(\frac{1}{2},{a_{1}}T)}{\sqrt{2}}\\ {} & \hspace{1em}+\frac{{\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}}{{\sigma _{1}}\sqrt{{a_{1}}-b}}\mathrm{G}\bigg({a_{1}}T+\frac{1}{2},\frac{1}{2},\frac{3}{2};-\frac{{({\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}})^{2}}}{2({a_{1}}-b){\sigma _{1}^{2}}}\bigg)\bigg)\end{aligned}\]
with $b={\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}$ and Ξ is defined in (14) with
and
Now we will consider the case when the indicator stock ${S_{t}^{1}}$ and the exchange rate ${S_{t}^{3}}$ are strongly dependent but the underlying asset ${S_{t}^{2}}$ is weakly dependent on them.
Theorem 4.
Assume that in (1) ${\rho _{23}}={\rho _{12}}=0$, the subordinators are gamma distributed, satisfy (8)–(9), and ${\gamma _{t}^{3}}={\gamma _{t}^{1}}$, ${\gamma _{t}^{2}}={\kappa _{21}}{\gamma _{t}^{1}}+{\tilde{\kappa }_{2}}{\tilde{\gamma }_{t}^{2}}$. Let
\[ b={\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2}+{\kappa _{21}}\bigg({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}\bigg).\]
Then (12) is satisfied with
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\frac{{e^{({\mu _{2}}+{\mu _{3}}-r)T}}{a_{1}^{{a_{1}}T}}}{{({a_{1}}-b)^{{a_{1}}T}}\varGamma ({a_{1}}T)\sqrt{2\pi }}\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{2}}}}{\xi _{2l}}}}\big)\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{3}}}}{\xi _{3l}}}}\big)\\ {} & \hspace{1em}\times {\bigg(\frac{{\tilde{a}_{2}}}{{\tilde{a}_{2}}-{\tilde{\kappa }_{2}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2})}\bigg)^{{\tilde{a}_{2}}T}}\Bigg(\varLambda \mathrm{P}\Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}={\mu _{1}}T-K\Bigg)\\ {} & \hspace{1em}+\mathrm{E}\Bigg(\varXi \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\textstyle\sum _{l=0}^{{n_{1}}}}{\xi _{1l}}\ne {\mu _{1}}T-K\}}}\Bigg)\Bigg),\end{aligned}\]
where
\[\begin{aligned}{}\varLambda & =\varGamma \bigg({a_{1}}T+\frac{1}{2}\bigg)\bigg(\frac{\mathrm{B}(\frac{1}{2},{a_{1}}T)}{\sqrt{2}}\\ {} & \hspace{1em}+\frac{{\beta _{1}}+{\sigma _{1}}{\sigma _{3}}}{{\sigma _{1}}\sqrt{{a_{1}}-b}}\mathrm{G}\bigg({a_{1}}T+\frac{1}{2},\frac{1}{2},\frac{3}{2};-\frac{{({\beta _{1}}+{\sigma _{1}}{\sigma _{3}})^{2}}}{2({a_{1}}-b){\sigma _{1}^{2}}}\bigg)\bigg)\end{aligned}\]
and $\varXi (x)$ is defined by (14) with
and
Remark 2.
One could notice that the result symmetric to Theorem 4 can be established. It should be assumed then that the indicator stock ${S_{t}^{1}}$ and the underlying asset ${S_{t}^{2}}$ are strongly dependent but the exchange rate ${S_{t}^{3}}$ is weakly dependent on them. That is, the conditions ${\rho _{23}}={\rho _{13}}=0$ and ${\gamma _{t}^{2}}={\gamma _{t}^{1}}$, ${\gamma _{t}^{3}}={\kappa _{31}}{\gamma _{t}^{1}}+{\tilde{\kappa }_{3}}{\tilde{\gamma }_{t}^{3}}$ have to be proposed.
4 Inverse-Gaussian time change
Let ${({\tilde{B}_{s}})}_{s\ge 0}$ be a Brownian motion, $\phi >0$ and $a\ge 0$. Set for $t\ge 0$
The subordinator ${({\varkappa _{t}})}_{t\ge 0}$ is called the inverse-Gaussian process and has the probability density function
see, for example, (1.26) in Applebaum [2]. The mean of ${\varkappa _{t}}$ is
Then the processes ${X_{t}^{j}}$ in (4) become the normal-inverse Gaussian processes, see, for example, Ivanov and Temnov [21] and references therein or Applebaum [2].
(18)
\[ {\varkappa _{t}}={\varkappa _{t}}(\phi ,a)=\inf \{s\ge 0:\hspace{0.2778em}{\tilde{B}_{s}}+as\ge \phi t\}.\](19)
\[ f({\varkappa _{t}},x)=\frac{\phi t}{\sqrt{2\pi }}{x^{-\frac{3}{2}}}{e^{a\phi t-\frac{1}{2}({a^{2}}x+\frac{{(\phi t)^{2}}}{x})}},\]
\[\begin{aligned}{}\mathrm{E}({\varkappa _{t}})& =\frac{\phi t}{\sqrt{2\pi }}{e^{a\phi t}}{\int _{0}^{\infty }}\sqrt{x}{e^{-\frac{1}{2}({a^{2}}x+\frac{{(\phi t)^{2}}}{x})}}dx\\ {} & ={e^{a\phi t}}\frac{{(\phi t)^{\frac{3}{2}}}}{\sqrt{a}}\sqrt{\frac{2}{\pi }}{\mathrm{M}_{\frac{1}{2}}}(a\phi t)=\frac{\phi t}{a}\end{aligned}\]
with respect to 3.471.9 and 8.469.3 from Gradshteyn and Ryzhik [16]. In this section we assume that the subordinator in (1) and (4) is the inverse-Gaussian process with unit mean rate, that is, we set
(20)
\[ {\vartheta _{t}^{j}}={\varkappa _{t}^{j}}({\phi _{j}})={\varkappa _{t}^{j}}({\phi _{j}},{\phi _{j}}).\]Similarly to (9), we assume that
where all the inverse-Gaussian processes with unit mean rate ${\varkappa _{t}},{\varkappa _{t}^{1}},{\tilde{\varkappa }_{t}^{2}},{\tilde{\varkappa }_{t}^{3}}$ are mutually independent, ${\kappa _{j}},{\kappa _{j1}},{\tilde{\kappa }_{j}}\ge 0$ and ${\kappa _{j}}+{\kappa _{j1}}+{\tilde{\kappa }_{j}}=1$, $j=2,3$. Because for arbitrary independent inverse-Gaussian distributions ϰ and $\tilde{\varkappa }$ the identities
(21)
\[ {\varkappa _{t}^{j}}={\kappa _{j}}{\varkappa _{t}}(\phi )+{\kappa _{j1}}{\varkappa _{t}^{1}}+{\tilde{\kappa }_{j}}{\tilde{\varkappa }_{t}^{j}}({\tilde{\phi }_{j}}),\hspace{1em}j=2,3,\]
\[ u\varkappa ({u_{1}},{u_{2}})\stackrel{Law}{=}\varkappa \bigg({u_{1}}\sqrt{u},\frac{{u_{2}}}{\sqrt{u}}\bigg)\]
and
\[ \varkappa ({u_{1}},u)+\tilde{\varkappa }({u_{2}},u)\stackrel{Law}{=}\varkappa ({u_{1}}+{u_{2}},u)\]
are satisfied, one could observe that in the model (21)
\[\begin{aligned}{}\bigg({\phi _{j}}-\frac{\phi }{\sqrt{{\kappa _{j}}}}\bigg){I_{\{{\kappa _{j}}>0\}}}& =\bigg({\phi _{j}}-\frac{{\phi _{1}}}{\sqrt{{\kappa _{j1}}}}\bigg){I_{\{{\kappa _{j1}}>0\}}}\\ {} & =\bigg({\phi _{j}}-\frac{{\tilde{\phi }_{j}}}{\sqrt{{\tilde{\kappa }_{j}}}}\bigg){I_{\{{\tilde{\kappa }_{j}}>0\}}}=0\end{aligned}\]
and
The next theorem suggests the conditions of dependence in (1) which are similar to those of Theorem 1.
Theorem 5.
Let in (1) ${\rho _{12}}={\rho _{13}}={\rho _{23}}=0$, the subordinators satisfy (20)–(21), and
and
with
\[ {\phi _{1}^{2}}=2{\sum \limits_{j=2}^{3}}{\kappa _{j1}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg).\]
Then (12) holds with
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\frac{{e^{({\mu _{2}}+{\mu _{3}}-r+{\phi _{1}^{2}})T}}}{2\sqrt{\pi }}\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{2}}}}{\xi _{2l}}}}\big)\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{3}}}}{\xi _{3l}}}}\big)\\ {} & \hspace{1em}\times {e^{T\big({\tilde{\phi }_{2}}({\tilde{\phi }_{2}}-\sqrt{{\tilde{\phi }_{2}^{2}}-2{\tilde{\kappa }_{2}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2})})+{\tilde{\phi }_{3}}({\tilde{\phi }_{3}}-\sqrt{{\tilde{\phi }_{3}^{2}}-2{\tilde{\kappa }_{3}}({\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2})})\big)}}\\ {} & \hspace{1em}\times {e^{\phi T\big(\phi -\sqrt{{\phi ^{2}}-2{\textstyle\sum _{j=2}^{3}}{\kappa _{j}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})}\big)}}\\ {} & \hspace{1em}\times \Bigg(\mathrm{E}\varLambda \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\beta _{1}}=0\}}}+\mathrm{E}\varXi \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\beta _{1}}\ne 0\}}}\Bigg),\end{aligned}\]
where
(22)
\[ \varLambda (x)=\sqrt{\pi }+\frac{2}{\sqrt{\pi }}\mathrm{sign}({\mu _{1}}T-K-x)\arctan \bigg(\frac{|{\mu _{1}}T-K-x|}{{\sigma _{1}}{\phi _{1}}T}\bigg)\](23)
\[ \varXi (x)=\frac{|\varsigma |{e^{|\varsigma |}}}{\sqrt{q+1}}\big({\mathrm{M}_{1}}(|\varsigma |){\varUpsilon _{0}}+{\mathrm{M}_{0}}(|\varsigma |)\big({\varUpsilon _{0}}-(q+1){\varUpsilon _{1}}\big)\big)\]
\[\begin{aligned}{}\varsigma & =\varsigma (x)=\frac{{\beta _{1}}}{{\sigma _{1}^{2}}}\sqrt{{({\mu _{1}}T-K-x)^{2}}+{({\sigma _{1}}{\phi _{1}}T)^{2}}},\\ {} q& =q(x)=\frac{{\mu _{1}}T-K-x}{\sqrt{{({\mu _{1}}T-K-x)^{2}}+{({\sigma _{1}}{\phi _{1}}T)^{2}}}}\hspace{1em}\textit{and}\\ {} {\varUpsilon _{j}}& ={\varUpsilon _{j}}(x)=\mathrm{B}\bigg(\frac{1}{2}+j,1\bigg)\mathrm{A}\bigg(\frac{1}{2}+j,\frac{1}{2},\frac{3}{2}+j;\frac{q+1}{2},-|\varsigma |(q+1)\bigg).\end{aligned}\]
The following example applies the result of Theorem 5 to the case of standard Poisson processes.
Example 3.
Assume that ${\xi _{jl}}\equiv {\varpi _{j}}$, $j=1,2,3$, $l=1,2,\dots $, where ${\varpi _{j}}\ge 0$ are constants. Then ${Z_{t}^{j}}\equiv {\varpi _{j}}{N_{t}^{j}}$ (Poisson processes) and the result of Theorem 1 holds with
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\frac{{e^{({\mu _{2}}+{\mu _{3}}-r+{\phi _{1}^{2}})T-{\varpi _{2}}{n_{2}}-{\varpi _{3}}{n_{3}}}}}{2\sqrt{\pi }}\\ {} & \hspace{1em}\times {e^{T\big({\tilde{\phi }_{2}}({\tilde{\phi }_{2}}-\sqrt{{\tilde{\phi }_{2}^{2}}-2{\tilde{\kappa }_{2}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2})})+{\tilde{\phi }_{3}}({\tilde{\phi }_{3}}-\sqrt{{\tilde{\phi }_{3}^{2}}-2{\tilde{\kappa }_{3}}({\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2})})\big)}}\\ {} & \hspace{1em}\times {e^{\phi T\big(\phi -\sqrt{{\phi ^{2}}-2{\textstyle\sum _{j=2}^{3}}{\kappa _{j}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})}\big)}}\\ {} & \hspace{1em}\times \big(\varLambda ({\varpi _{1}}{n_{1}}){I_{\{{\beta _{1}}=0\}}}+\varXi ({\varpi _{1}}{n_{1}}){I_{\{{\beta _{1}}\ne 0\}}}\big).\end{aligned}\]
Theorem 6.
Assume that in (1) ${\rho _{12}}={\rho _{13}}=0$, the subordinators ${\varkappa _{t}^{3}}={\varkappa _{t}^{2}}={\kappa _{2}}{\varkappa _{t}}+{\kappa _{21}}{\varkappa _{t}^{1}}$, and the identity
\[ {\phi _{1}^{2}}=2{\kappa _{21}}\Bigg({\sum \limits_{j=2}^{3}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\Bigg)\]
holds for their parameters. Then (12) is satisfied with
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\frac{{e^{({\mu _{2}}+{\mu _{3}}-r+{\phi _{1}^{2}})T}}}{2\sqrt{\pi }}\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{2}}}}{\xi _{2l}}}}\big)\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{3}}}}{\xi _{3l}}}}\big)\\ {} & \hspace{1em}\times {e^{\phi T\big(\phi -\sqrt{{\phi ^{2}}-2{\kappa _{2}}({\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}})}\big)}}\\ {} & \hspace{1em}\times \Bigg(\mathrm{E}\varLambda \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\beta _{1}}=0\}}}+\mathrm{E}\varXi \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\beta _{1}}\ne 0\}}}\Bigg),\end{aligned}\]
where $\varLambda (x)$ and $\varXi (x)$ are defined in (22) and (23), respectively.
Theorem 7.
Let the subordinators in (1) satisfy
\[ {\varkappa _{t}^{3}}={\varkappa _{t}^{2}}={\varkappa _{t}^{1}},\hspace{2em}{\phi _{1}^{2}}=2{\sum \limits_{j=2}^{3}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}.\]
Then (12) holds with
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\frac{{e^{({\mu _{2}}+{\mu _{3}}-r+{\phi _{1}^{2}})T}}}{2\sqrt{\pi }}\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{2}}}}{\xi _{2l}}}}\big)\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{3}}}}{\xi _{3l}}}}\big)\\ {} & \hspace{1em}\times \Bigg(\mathrm{E}\varLambda \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}+{\rho _{13}}{\sigma _{1}}{\sigma _{3}}=0\}}}\\ {} & \hspace{1em}+\mathrm{E}\varXi \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}+{\rho _{13}}{\sigma _{1}}{\sigma _{3}}\ne 0\}}}\Bigg),\end{aligned}\]
where $\varLambda (x)$ and $\varXi (x)$ are defined in (22) and (23) with
and
The example below gives us the price of the standard asset-or-nothing digital option computed in Ivanov and Temnov [21] as a corollary of Theorem 7.
Example 4.
Let ${S_{t}^{3}}\equiv 1$, ${S_{t}^{2}}\equiv {S_{t}^{1}}$ and ${\xi _{jl}}\equiv 0$, $j=1,2,3$, $l=1,2,\dots $. Then ${\rho _{12}}=1$, the conditions of Theorem 7 has the form ${\phi _{1}^{2}}=2{\beta _{1}}+{\sigma _{1}^{2}}$, ${\beta _{1}}\ne {\sigma _{1}^{2}}$ as in Corollary 3.1 of Ivanov and Temnov [21] and
\[ \mathbb{DC}=\mathrm{DC}(0,0)=\frac{{e^{({\mu _{2}}+{\mu _{3}}-r+{\phi _{1}^{2}})T}}\varXi }{2\sqrt{\pi }},\]
where Ξ is defined in (23) with
Theorem 8 implies the similar conditions on the dependence between risky assets as Theorem 4 does.
Theorem 8.
Assume that ${\rho _{23}}={\rho _{12}}=0$, ${\varkappa _{t}^{3}}={\varkappa _{t}^{1}}$, ${\varkappa _{t}^{2}}={\kappa _{21}}{\varkappa _{t}^{1}}+{\tilde{\kappa }_{2}}{\tilde{\varkappa }_{t}^{2}}$, ${\phi _{1}^{2}}=2{\beta _{3}}+{\sigma _{3}^{2}}+{\kappa _{21}}(2{\beta _{2}}+{\sigma _{2}^{2}})$ in (1) under (20)–(21). Then (12) is satisfied with
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\frac{{e^{({\mu _{2}}+{\mu _{3}}-r+{\phi _{1}^{2}})T}}}{2\sqrt{\pi }}\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{2}}}}{\xi _{2l}}}}\big)\mathrm{E}\big({e^{-{\textstyle\sum _{l=0}^{{n_{3}}}}{\xi _{3l}}}}\big)\\ {} & \hspace{1em}\times {e^{{\tilde{\phi }_{2}}T\big({\tilde{\phi }_{2}}-\sqrt{{\tilde{\phi }_{2}^{2}}-{\tilde{\kappa }_{2}}(2{\beta _{2}}+{\sigma _{2}^{2}})}\big)}}\\ {} & \hspace{1em}\times \Bigg(\mathrm{E}\varLambda \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\beta _{1}}+{\sigma _{1}}{\sigma _{3}}=0\}}}+\mathrm{E}\varXi \Bigg({\sum \limits_{l=0}^{{n_{1}}}}{\xi _{1l}}\Bigg){I_{\{{\beta _{1}}+{\sigma _{1}}{\sigma _{3}}\ne 0\}}}\Bigg),\end{aligned}\]
where $\varLambda (x)$ and $\varXi (x)$ are defined in (22) and (23) with
and
5 Conclusion
The paper suggests a foundation for computing of European-style options in the variance-gamma and normal inverse-Gaussian models with extra compound Poisson negative jumps. It is intended to calculate the option prices basing on the knowledge of the price of the digital asset-or-nothing call option in foreign currency. The payoffs of the discussed option build on the values of three risky assets which are assumed to be dependent on each other. Various types of the dependencies between the risky asset prices are considered. The price of the option exploits the values of some special mathematical functions including the hypergeometric ones. A future investigation can relate to discussion of specific types of the compound Poisson process or possibility of the jump in the linear drift, see Ivanov [19].
6 Proofs
Proof of Theorem 1.
We have that the conditional expectation
(24)
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+{\textstyle\sum _{j=1}^{2}}{\beta _{i}}{\gamma _{T}^{j}}}}\\ {} & \hspace{2em}\times \mathrm{E}\Big({e^{{\textstyle\sum _{j=2}^{3}}{\sigma _{i}}\sqrt{\frac{{\gamma _{T}^{j}}}{{\gamma _{T}^{1}}}}{B_{{\gamma _{T}^{1}}}^{j}}}}{I_{\{{\mu _{1}}T+{\beta _{1}}{\gamma _{T}^{1}}+{\sigma _{1}}{B_{{\gamma _{T}^{1}}}^{1}}-{Z_{T}^{1}}\ge K\}}}|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\Big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\gamma _{T}^{j}}+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\sqrt{{\gamma _{T}^{2}}{\gamma _{T}^{3}}}}}\\ {} & \hspace{2em}\times \mathrm{E}\Big({e^{{\textstyle\sum _{j=2}^{3}}\big({\sigma _{j}}\sqrt{\frac{{\gamma _{T}^{j}}}{{\gamma _{T}^{1}}}}{B_{{\gamma _{T}^{1}}}^{j}}-\frac{{\sigma _{j}^{2}}{\gamma _{T}^{j}}}{2}\big)-{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\sqrt{{\gamma _{T}^{2}}{\gamma _{T}^{3}}}}}\\ {} & \hspace{2em}\times {I_{\{{\mu _{1}}T+{\beta _{1}}{\gamma _{T}^{1}}+{\sigma _{1}}{B_{{\gamma _{T}^{1}}}^{1}}-{Z_{T}^{1}}\ge K\}}}|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\Big).\end{aligned}\]Let Q be the historical probability measure on the probability space which is generated by the Brownian motions ${B_{t}^{j}}$, $j=1,2,3$, $t\ge 0$. We define a new probability measure $\tilde{Q}$ for fixed trajectories ${\gamma _{t}^{j}}$, $t\le T$, by the density
Then using Corollary 4.5 of [12] one can get that for any $u\in \mathbb{R}$
where ${B_{t}^{\tilde{Q}}}$, $t\le {\gamma _{T}^{1}}$, is the standard Brownian motion with respect to measure $\tilde{Q}$.
(25)
\[ \frac{d{\tilde{Q}_{{\gamma _{T}^{1}}}}}{d{Q_{{\gamma _{T}^{1}}}}}={e^{{\textstyle\sum _{j=2}^{3}}\big({\sigma _{i}}\sqrt{\frac{{\gamma _{T}^{j}}}{{\gamma _{T}^{1}}}}{B_{{\gamma _{T}^{1}}}^{j}}-\frac{{\sigma _{j}^{2}}{\gamma _{T}^{j}}}{2}\big)-{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\sqrt{{\gamma _{T}^{2}}{\gamma _{T}^{3}}}}}.\](26)
\[\begin{aligned}{}& \tilde{Q}\big(\log {S_{T}^{1}}\le u|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}=\tilde{Q}\bigg({\mu _{1}}T+\bigg({\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}\sqrt{\frac{{\gamma _{T}^{2}}}{{\gamma _{T}^{1}}}}+{\rho _{13}}{\sigma _{1}}{\sigma _{3}}\sqrt{\frac{{\gamma _{T}^{3}}}{{\gamma _{T}^{1}}}}\bigg){\gamma _{T}^{1}}+{\sigma _{1}}{B_{{\gamma _{T}^{1}}}^{\tilde{Q}}}-{Z_{T}^{1}}\\ {} & \hspace{1em}\le u|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\bigg),\end{aligned}\]Set
Because ${\rho _{12}}={\rho _{13}}={\rho _{23}}=0$, we get that
where ${\kappa _{j}}$, ${\tilde{\kappa }_{j}}$, ${\kappa _{j1}}$, $j=2,3$, are defined in (9).
\[ {\beta _{I}}={\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}\sqrt{\frac{{\gamma _{T}^{2}}}{{\gamma _{T}^{1}}}}+{\rho _{13}}{\sigma _{1}}{\sigma _{3}}\sqrt{\frac{{\gamma _{T}^{3}}}{{\gamma _{T}^{1}}}}.\]
Then we have from (24) and (26) that
(27)
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\gamma _{T}^{j}}+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\sqrt{{\gamma _{T}^{2}}{\gamma _{T}^{3}}}}}\\ {} & \hspace{2em}\times \tilde{Q}\big({\beta _{I}}{\gamma _{T}^{1}}+{\sigma _{1}}{B_{{\gamma _{T}^{1}}}^{\tilde{Q}}}\ge K-{\mu _{1}}T+{Z_{T}^{1}}|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\gamma _{T}^{j}}+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\sqrt{{\gamma _{T}^{2}}{\gamma _{T}^{3}}}}}\\ {} & \hspace{2em}\times \bigg(1-\mathrm{N}\bigg(\frac{K-{\mu _{1}}T+{Z_{T}^{1}}-{\beta _{I}}{\gamma _{T}^{1}}}{{\sigma _{1}}\sqrt{{\gamma _{T}^{1}}}}\bigg)\bigg)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\gamma _{T}^{j}}+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\sqrt{{\gamma _{T}^{2}}{\gamma _{T}^{3}}}}}\\ {} & \hspace{2em}\times \mathrm{N}\bigg(\frac{{\mu _{1}}T+\big({\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}\sqrt{\frac{{\gamma _{T}^{2}}}{{\gamma _{T}^{1}}}}+{\rho _{13}}{\sigma _{1}}{\sigma _{3}}\sqrt{\frac{{\gamma _{T}^{3}}}{{\gamma _{T}^{1}}}}\big){\gamma _{T}^{1}}-K-{Z_{T}^{1}}}{{\sigma _{1}}\sqrt{{\gamma _{T}^{1}}}}\bigg).\end{aligned}\](28)
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\gamma _{T}^{j}}}}\mathrm{N}\bigg(\frac{{\mu _{1}}T+{\beta _{1}}{\gamma _{T}^{1}}-K-{Z_{T}^{1}}}{{\sigma _{1}}\sqrt{{\gamma _{T}^{1}}}}\bigg)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+\big[{\textstyle\sum _{j=2}^{3}}{\kappa _{j}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})\big]{\gamma _{T}}+{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\tilde{\kappa }_{j}}{\tilde{\gamma }_{T}^{j}}}}\\ {} & \hspace{2em}\times {e^{\big[{\textstyle\sum _{j=2}^{3}}{\kappa _{j1}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})\big]{\gamma _{T}^{1}}}}\mathrm{N}\bigg(\frac{{\mu _{1}}T+{\beta _{1}}{\gamma _{T}^{1}}-K-{Z_{T}^{1}}}{{\sigma _{1}}\sqrt{{\gamma _{T}^{1}}}}\bigg),\end{aligned}\]Next, we pass to the computing of the conditional expectation
where ${a_{1}}$ is the parameter of ${\gamma _{t}^{1}}$ (see (8)),
\[ \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big).\]
It is clear from (28) that we need to calculate the integral
(29)
\[ I={\int _{0}^{\infty }}{x^{\alpha }}{e^{-({a_{1}}-b)x}}\mathrm{N}\bigg(h\sqrt{x}+\frac{p}{\sqrt{x}}\bigg)dx,\]
\[ \alpha ={a_{1}}T-1,\hspace{2em}\hspace{-0.1667em}\hspace{-0.1667em}p=\frac{{\mu _{1}}T-K-{Z_{T}^{1}}}{{\sigma _{1}}},\hspace{2em}\hspace{-0.1667em}\hspace{-0.1667em}b={\sum \limits_{j=2}^{3}}{\kappa _{j1}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg),\hspace{2em}\hspace{-0.1667em}\hspace{-0.1667em}h=\frac{{\beta _{1}}}{{\sigma _{1}}}.\]
Then
(30)
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}}}\mathrm{E}\big({e^{{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\kappa _{j}}{\gamma _{T}}}}\big)\\ {} & \hspace{2em}\times \mathrm{E}\big({e^{({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}){\tilde{\kappa }_{2}}{\tilde{\gamma }_{T}^{2}}}}\big)\mathrm{E}\big({e^{({\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2}){\tilde{\kappa }_{3}}{\tilde{\gamma }_{T}^{3}}}}\big)\frac{{a_{1}^{{a_{1}}T}}}{\varGamma ({a_{1}}T)}I.\end{aligned}\]Let us notice that the condition (5) is
and therefore $b<{a_{1}}$. And since $b<{a_{1}}$, we could apply to the integral (29) Cases 1–3 on pp. 207–212 of Ivanov and Ano [20]. If $p=0$, then the identity
is satisfied for I defined in (29). When $p\ne 0$, we have that
where
\[ \mathrm{E}{e^{{\textstyle\sum _{j=2}^{3}}{\beta _{j}}{\gamma _{T}^{j}}+\frac{{\textstyle\sum _{j=2}^{3}}{\sigma _{j}^{2}}{\gamma _{T}^{j}}}{2}}}<\infty \]
now since ${\rho _{23}}=0$. Hence we have that
(31)
\[\begin{aligned}{}& \mathrm{E}\big({e^{{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\kappa _{j}}{\gamma _{T}}}}\big)\mathrm{E}\big({e^{{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\kappa _{j1}}{\gamma _{T}^{1}}}}\big)\\ {} & \hspace{1em}\times \mathrm{E}\big({e^{({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}){\tilde{\kappa }_{2}}{\tilde{\gamma }_{T}^{2}}}}\big)\mathrm{E}\big({e^{({\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2}){\tilde{\kappa }_{3}}{\tilde{\gamma }_{T}^{3}}}}\big)<\infty \end{aligned}\](32)
\[\begin{aligned}{}I& =\frac{\varGamma (\alpha +\frac{3}{2})}{{({a_{1}}-b)^{\alpha +1}}\sqrt{2\pi }}\bigg[\frac{\mathrm{B}(\frac{1}{2},\alpha +1)}{\sqrt{2}}\\ {} & \hspace{1em}+\frac{h}{\sqrt{{a_{1}}-b}}\mathrm{G}\bigg(\alpha +\frac{3}{2},\frac{1}{2},\frac{3}{2};-\frac{{h^{2}}}{2({a_{1}}-b)}\bigg)\bigg]\end{aligned}\](33)
\[\begin{aligned}{}I& =\frac{|s{|^{\alpha +\frac{1}{2}}}{e^{s}}{(1+q)^{\alpha +1}}}{{({a_{1}}-b)^{\alpha +1}}\sqrt{2\pi }}\bigg[\mathrm{B}(\alpha +1,1)\big(|s|{\mathrm{M}_{\alpha +\frac{3}{2}}}(|s|)\\ {} & \hspace{1em}+s{\mathrm{M}_{\alpha +\frac{1}{2}}}(|s|)\big)\mathrm{A}\bigg(\alpha +1,-\alpha ,\alpha +2;\frac{1+q}{2},-s(1+q)\bigg)\\ {} & \hspace{1em}-(1+q)s\mathrm{B}(\alpha +2,1){\mathrm{M}_{\alpha +\frac{1}{2}}}(|s|)\mathrm{A}\bigg(\alpha +2,-\alpha ,\alpha +3;\frac{1+q}{2},-s(1+q)\bigg)\bigg],\end{aligned}\]Set
\[ \mathrm{DC}({n_{1}},{n_{2}},{n_{3}})={e^{-rT}}\mathrm{E}\big({S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{N_{T}^{1}}={n_{1}},{N_{T}^{2}}={n_{2}},{N_{T}^{3}}={n_{3}}\big).\]
Then we have that
\[\begin{aligned}{}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})& =\mathrm{E}{e^{{X_{T}^{2}}+{X_{T}^{3}}-{\textstyle\sum _{j=1}^{{n_{2}}}}{\xi _{j}^{2}}-{\textstyle\sum _{j=1}^{{n_{3}}}}{\xi _{j}^{3}}}}{I_{\{{e^{{X_{T}^{1}}-{\textstyle\sum _{j=1}^{{n_{1}}}}{\xi _{j}^{1}}}}\ge K\}}}\\ {} & \ge \mathrm{E}{e^{{X_{T}^{2}}+{X_{T}^{3}}-{\textstyle\sum _{j=1}^{{\tilde{n}_{2}}}}{\xi _{j}^{2}}-{\textstyle\sum _{j=1}^{{\tilde{n}_{3}}}}{\xi _{j}^{3}}}}{I_{\{{e^{{X_{T}^{1}}-{\textstyle\sum _{j=1}^{{\tilde{n}_{1}}}}{\xi _{j}^{1}}}}\ge K\}}}=\mathrm{DC}({\tilde{n}_{1}},{\tilde{n}_{2}},{\tilde{n}_{3}})\end{aligned}\]
when ${n_{j}}\le {\tilde{n}_{j}}$, $j=1,2,3$. Therefore,
(34)
\[\begin{aligned}{}& {\sum \limits_{{n_{1}}=0}^{{N_{1}}}}{\sum \limits_{{n_{2}}=0}^{{N_{2}}}}{\sum \limits_{{n_{3}}=0}^{{N_{3}}}}\frac{{\lambda _{1}^{{n_{1}}}}{\lambda _{2}^{{n_{2}}}}{\lambda _{3}^{{n_{3}}}}{T^{{n_{1}}+{n_{2}}+{n_{3}}}}{e^{-({\lambda _{1}}+{\lambda _{2}}+{\lambda _{3}})T}}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})}{{n_{1}}!{n_{2}}!{n_{3}}!}\\ {} & \hspace{1em}\le \mathbb{DC}\\ {} & \hspace{1em}\le {\sum \limits_{{n_{1}}=0}^{{N_{1}}}}{\sum \limits_{{n_{2}}=0}^{{N_{2}}}}{\sum \limits_{{n_{3}}=0}^{{N_{3}}}}\frac{{\lambda _{1}^{{n_{1}}}}{\lambda _{2}^{{n_{2}}}}{\lambda _{3}^{{n_{3}}}}{T^{{n_{1}}+{n_{2}}+{n_{3}}}}{e^{-({\lambda _{1}}+{\lambda _{2}}+{\lambda _{3}})T}}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})}{{n_{1}}!{n_{2}}!{n_{3}}!}\\ {} & \hspace{2em}+\mathrm{DC}({n_{1}},{n_{2}},{n_{3}}){\sum \limits_{{n_{1}}={N_{1}}+1}^{\infty }}{\sum \limits_{{n_{2}}={N_{2}}+1}^{\infty }}{\sum \limits_{{n_{3}}={N_{3}}+1}^{\infty }}\frac{{\lambda _{1}^{{n_{1}}}}{\lambda _{2}^{{n_{2}}}}{\lambda _{3}^{{n_{3}}}}{T^{{n_{1}}+{n_{2}}+{n_{3}}}}}{{n_{1}}!{n_{2}}!{n_{3}}!{e^{({\lambda _{1}}+{\lambda _{2}}+{\lambda _{3}})T}}}\\ {} & \hspace{1em}={\sum \limits_{{n_{1}}=0}^{{N_{1}}}}{\sum \limits_{{n_{2}}=0}^{{N_{2}}}}{\sum \limits_{{n_{3}}=0}^{{N_{3}}}}\frac{{\lambda _{1}^{{n_{1}}}}{\lambda _{2}^{{n_{2}}}}{\lambda _{3}^{{n_{3}}}}{T^{{n_{1}}+{n_{2}}+{n_{3}}}}{e^{-({\lambda _{1}}+{\lambda _{2}}+{\lambda _{3}})T}}\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})}{{n_{1}}!{n_{2}}!{n_{3}}!}\\ {} & \hspace{2em}+\mathrm{DC}({n_{1}},{n_{2}},{n_{3}})\Bigg(1-{\sum \limits_{{n_{1}}=0}^{{N_{1}}}}\frac{{\lambda _{1}^{{n_{1}}}}{e^{-{\lambda _{1}}T}}}{{n_{1}}!}\Bigg)\\ {} & \hspace{2em}\times \Bigg(1-{\sum \limits_{{n_{2}}=0}^{{N_{2}}}}\frac{{\lambda _{2}^{{n_{2}}}}{e^{-{\lambda _{2}}T}}}{{n_{2}}!}\Bigg)\Bigg(1-{\sum \limits_{{n_{3}}=0}^{{N_{3}}}}\frac{{\lambda _{3}^{{n_{3}}}}{e^{-{\lambda _{3}}T}}}{{n_{3}}!}\Bigg).\end{aligned}\]Proof of Theorem 2.
Since ${\rho _{12}}={\rho _{13}}=0$ and ${\gamma _{T}^{3}}\equiv {\gamma _{T}^{2}}$, we get using (27) that
To get
where I is calculated by (32)–(33).
(35)
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+{\kappa _{2}}\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]{\gamma _{T}}}}\\ {} & \hspace{2em}\times {e^{{\kappa _{21}}\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]{\gamma _{T}^{1}}}}\mathrm{N}\bigg(\frac{{\mu _{1}}T+{\beta _{1}}{\gamma _{T}^{1}}-K-{Z_{T}^{1}}}{{\sigma _{1}}\sqrt{{\gamma _{T}^{1}}}}\bigg).\end{aligned}\]
\[ \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big),\]
we need to calculate the integral I (29) with
\[\begin{aligned}{}\alpha & ={a_{1}}T-1,\hspace{2em}p=\frac{{\mu _{1}}T-K-{Z_{T}^{1}}}{{\sigma _{1}}},\\ {} b& ={\kappa _{21}}\Bigg[{\sum \limits_{j=2}^{3}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\Bigg],\hspace{2em}h=\frac{{\beta _{1}}}{{\sigma _{1}}}.\end{aligned}\]
Then
(36)
\[\begin{aligned}{}\mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big)& ={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}}}\\ {} & \hspace{1em}\times \mathrm{E}\big({e^{{\kappa _{2}}\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]{\gamma _{T}}}}\big)\frac{{a_{1}^{{a_{1}}T}}}{\varGamma ({a_{1}}T)}I,\end{aligned}\]Under the conditions of Theorem 2, (3) has the form
Therefore,
(37)
\[ \mathrm{E}{e^{{\gamma _{T}^{2}}{\textstyle\sum _{j=2}^{3}}{\beta _{j}}+\frac{{\textstyle\sum _{j=2}^{3}}{\sigma _{j}^{2}}+2{\rho _{23}}{\sigma _{2}}{\sigma _{3}}}{2}{\gamma _{T}^{2}}}}<\infty .\]
\[ \mathrm{E}\big({e^{{\kappa _{2}}\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]{\gamma _{T}}}}\big)\mathrm{E}\big({e^{{\kappa _{21}}\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]{\gamma _{T}^{1}}}}\big)<\infty \]
and $b<{a_{1}}$. The result of Theorem 2 comes from (36) analogously to the result of Theorem 1. □Proof of Theorem 3.
Because ${\gamma _{T}^{3}}={\gamma _{T}^{2}}={\gamma _{T}^{1}}$, we have from (27) that
Hence
where I is defined in (29) and computed by (32)–(33) with the same α and p as in the proof of Theorem 2,
(38)
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]{\gamma _{T}^{1}}}}\\ {} & \hspace{2em}\times \mathrm{N}\bigg(\frac{{\mu _{1}}T+({\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}+{\rho _{13}}{\sigma _{1}}{\sigma _{3}}){\gamma _{T}^{1}}-K-{Z_{T}^{1}}}{{\sigma _{1}}\sqrt{{\gamma _{T}^{1}}}}\bigg).\end{aligned}\](39)
\[ \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big)={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}}}\frac{{a_{1}^{{a_{1}}T}}}{\varGamma ({a_{1}}T)}I,\]The condition (3) in Theorem 3 has the form
\[ \mathrm{E}\big({e^{\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]{\gamma _{T}^{1}}}}\big)<\infty \]
now and hence $b<{a_{1}}$. The result of Theorem 3 is derived from (39) using (7) and (32)–(34) from the proof of Theorem 1. □Proof of Theorem 4.
Keeping in mind the conditions of Theorem 4, one could observe from (27) that
Therefore
where I is defined in (29) and computed by (32)–(33) with the same α and p as in the proof of Theorem 2,
(40)
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{\gamma _{T}^{1}},{Z_{T}^{1}},{\gamma _{T}^{2}},{Z_{T}^{2}},{\gamma _{T}^{3}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+{\tilde{\kappa }_{2}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}){\tilde{\gamma }_{T}^{2}}+\big[{\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2}+{\kappa _{21}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2})\big]{\gamma _{T}^{1}}}}\\ {} & \hspace{2em}\times \mathrm{N}\bigg(\frac{{\mu _{1}}T+({\beta _{1}}+{\sigma _{1}}{\sigma _{3}}){\gamma _{T}^{1}}-K-{Z_{T}^{1}}}{{\sigma _{1}}\sqrt{{\gamma _{T}^{1}}}}\bigg).\end{aligned}\](41)
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}}}\mathrm{E}\big({e^{{\tilde{\kappa }_{2}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}){\tilde{\gamma }_{T}^{2}}}}\big)\frac{{a_{1}^{{a_{1}}T}}}{\varGamma ({a_{1}}T)}I,\end{aligned}\]The condition (3) has here the form
Therefore,
and hence $b<{a_{1}}$. It means that we can exploit here the results of Ivanov and Ano [20] and obtain the result of Theorem 4 from (41) in the same way as it is made in the proof of Theorem 1 in (32)–(34). □
(42)
\[ \mathrm{E}\big({e^{({\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2}){\gamma _{T}^{1}}+({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}){\gamma _{T}^{2}}}}\big)<\infty .\](43)
\[ \mathrm{E}\big({e^{\big[{\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2}+{\kappa _{21}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2})\big]{\gamma _{T}^{1}}}}\big)\mathrm{E}\big({e^{{\tilde{\kappa }_{2}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}){\tilde{\gamma }_{T}^{2}}}}\big)<\infty \]Proof of Theorem 5.
We have similarly to (28) that
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{\varkappa _{T}^{1}},{Z_{T}^{1}},{\varkappa _{T}^{2}},{Z_{T}^{2}},{\varkappa _{T}^{3}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}+\big[{\textstyle\sum _{j=2}^{3}}{\kappa _{j}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})\big]{\varkappa _{T}}+{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}){\tilde{\kappa }_{j}}{\tilde{\varkappa }_{T}^{j}}}}\\ {} & \hspace{2em}\times {e^{\big[{\textstyle\sum _{j=2}^{3}}{\kappa _{j1}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})\big]{\varkappa _{T}^{1}}}}\mathrm{N}\bigg(\frac{{\mu _{1}}T+{\beta _{1}}{\varkappa _{T}^{1}}-K-{Z_{T}^{1}}}{{\sigma _{1}}\sqrt{{\varkappa _{T}^{1}}}}\bigg).\end{aligned}\]
Since
with
\[ \frac{{\phi _{1}^{2}}}{2}={\sum \limits_{j=2}^{3}}{\kappa _{j1}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)\]
with respect to the conditions of Theorem 5, one can notice that
\[\begin{aligned}{}\mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big)& ={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}}}\\ {} & \hspace{1em}\times \mathrm{E}\big({e^{({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}){\tilde{\kappa }_{2}}{\tilde{\varkappa }_{T}^{2}}}}\big)\mathrm{E}\big({e^{({\beta _{3}}+\frac{{\sigma _{3}^{2}}}{2}){\tilde{\kappa }_{3}}{\tilde{\varkappa }_{T}^{3}}}}\big)\\ {} & \hspace{1em}\times \mathrm{E}\big({e^{\big[{\textstyle\sum _{j=2}^{3}}{\kappa _{j}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})\big]{\varkappa _{T}}}}\big)\frac{{\phi _{1}}T{e^{{\phi _{1}^{2}}T}}}{\sqrt{2\pi }}J,\end{aligned}\]
where
(44)
\[\begin{aligned}{}J& ={\int _{0}^{\infty }}{x^{-\frac{3}{2}}}{e^{-\frac{{({\phi _{1}}T)^{2}}}{2x}}}\mathrm{N}\bigg(\frac{{\mu _{1}}T+{\beta _{1}}x-K-{Z_{T}^{1}}}{{\sigma _{1}}\sqrt{x}}\bigg)dx\\ {} & =\frac{\sqrt{2}}{{\phi _{1}}T}{\int _{0}^{\infty }}{x^{-\frac{3}{2}}}{e^{-\frac{1}{x}}}\mathrm{N}\bigg(h\sqrt{x}+\frac{p}{\sqrt{x}}\bigg)\end{aligned}\]If ${\beta _{1}}\ne 0$, it is easy to see that the integral (44) is quite the same as the integral (4.1) in Ivanov and Temnov [21]. Therefore, we get from (4.3)–(4.6) of Ivanov and Temnov [21] that if ${\beta _{1}}\ne 0$ then
where
\[ {J_{1}}=|\varsigma |{(q+1)^{-\frac{1}{2}}}\exp (|\varsigma |){\mathrm{M}_{1}}(|\varsigma |){\varUpsilon _{1}}\]
and
\[ {J_{2}}=|\varsigma |{(q+1)^{-\frac{1}{2}}}\exp (|\varsigma |){\mathrm{M}_{0}}(|\varsigma |)\big({\varUpsilon _{1}}-(q+1){\varUpsilon _{2}}\big)\]
with
\[ {\varUpsilon _{1}}=\mathrm{B}\bigg(\frac{1}{2},1\bigg)\mathrm{A}\bigg(\frac{1}{2},\frac{1}{2},\frac{3}{2};\frac{q+1}{2},-|\varsigma |(q+1)\bigg)\]
and
where
When ${\beta _{1}}=0$, we have that
Let us notice that the Fubini theorem can be applied to J since the double integral
is an integral of constant sign function and because the Fubini theorem is applicable to
for any $n\in \mathbb{N}$ as the integrand is continuous. Because
if ${\beta _{1}}=0$.
(46)
\[\begin{aligned}{}J& =\frac{\sqrt{2}}{{\phi _{1}}T}{\int _{0}^{\infty }}{x^{-\frac{3}{2}}}{e^{-\frac{1}{x}}}\mathrm{N}\bigg(\frac{p}{\sqrt{x}}\bigg)dx\\ {} & =\frac{\sqrt{2}}{{\phi _{1}}T}{\int _{0}^{\infty }}{x^{-\frac{3}{2}}}{e^{-\frac{1}{x}}}\Bigg({\int _{-\infty }^{\frac{p}{\sqrt{x}}}}\frac{1}{\sqrt{2\pi }}{e^{-\frac{{y^{2}}}{2}}}dy\Bigg)dx\\ {} & =\frac{\sqrt{2}}{{\phi _{1}}T}{\int _{0}^{\infty }}{x^{-\frac{3}{2}}}{e^{-\frac{1}{x}}}\Bigg({\int _{-\infty }^{p}}\frac{1}{\sqrt{2\pi x}}{e^{-\frac{{y^{2}}}{2x}}}dy\Bigg)dx\\ {} & =\frac{1}{{\phi _{1}}T\sqrt{\pi }}{\int _{-\infty }^{p}}\Bigg({\int _{0}^{\infty }}{x^{-2}}{e^{-\frac{1}{x}-\frac{{y^{2}}}{2x}}}dx\Bigg)dy.\end{aligned}\]
\[\begin{aligned}{}{\int _{0}^{\infty }}{x^{-2}}{e^{-\frac{1}{x}-\frac{{y^{2}}}{2x}}}dx& ={\bigg(1+\frac{{y^{2}}}{2}\bigg)^{-1}}{\int _{0}^{\infty }}\bigg(1+\frac{{y^{2}}}{2}\bigg){x^{-2}}{e^{-\frac{1}{x}-\frac{{y^{2}}}{2x}}}dx\\ {} & ={\bigg(1+\frac{{y^{2}}}{2}\bigg)^{-1}}{\int _{0}^{\infty }}d{e^{-(1+\frac{{y^{2}}}{2})\frac{1}{x}}}={\bigg(1+\frac{{y^{2}}}{2}\bigg)^{-1}},\end{aligned}\]
it follows from (46) that
(47)
\[\begin{aligned}{}J& =\frac{1}{{\phi _{1}}T\sqrt{\pi }}{\int _{-\infty }^{p}}{\bigg(1+\frac{{y^{2}}}{2}\bigg)^{-1}}dy=\frac{\sqrt{2}}{{\phi _{1}}T\sqrt{\pi }}{\int _{-\infty }^{\frac{p}{\sqrt{2}}}}{\big(1+{y^{2}}\big)^{-1}}dy\\ {} & =\frac{\sqrt{2}}{{\phi _{1}}T\sqrt{\pi }}\bigg(\frac{\pi }{2}+\mathrm{sign}p\arctan \frac{|p|}{\sqrt{2}}\bigg)\end{aligned}\]If ${a^{2}}>2A$, it follows from (19) that
When ${a^{2}}=2A$, the expectation
(48)
\[ \mathrm{E}{e^{A{\varkappa _{t}}}}=\frac{\phi t{e^{a\phi t}}}{\sqrt{2\pi }}{\int _{0}^{\infty }}{x^{-\frac{3}{2}}}{e^{-\frac{1}{2}\big(({a^{2}}-2A)x+\frac{{(\phi t)^{2}}}{x}\big)}}dx={e^{\phi t(a-\sqrt{{a^{2}}-2A})}}.\](49)
\[\begin{aligned}{}\mathrm{E}{e^{A{\varkappa _{t}}}}& =\frac{\phi t{e^{a\phi t}}}{\sqrt{2\pi }}{\int _{0}^{\infty }}{x^{-\frac{3}{2}}}{e^{-\frac{{(\phi t)^{2}}}{2x}}}dx=\frac{\phi t{e^{a\phi t}}}{\sqrt{2\pi }}{\int _{-\infty }^{0}}|x{|^{-\frac{1}{2}}}{e^{\frac{{(\phi t)^{2}}x}{2}}}dx\\ {} & =\frac{\phi t{e^{a\phi t}}}{\sqrt{2\pi }}{\int _{0}^{\infty }}{x^{-\frac{1}{2}}}{e^{-\frac{{(\phi t)^{2}}x}{2}}}dx=\frac{{e^{a\phi t}}\varGamma (\frac{1}{2})}{\sqrt{\pi }}={e^{a\phi t}}.\end{aligned}\]The condition (3) has the form (31) here. Therefore,
\[ {\phi ^{2}}\ge 2{\sum \limits_{j=2}^{3}}{\kappa _{j}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)\hspace{1em}\text{and}\hspace{1em}{\tilde{\phi }_{j}^{2}}\ge 2\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg){\tilde{\kappa }_{j}},\hspace{1em}j=2,3.\]
Hence the result of Theorem 5 comes from (45), (47) and (48)–(49). □Proof of Theorem 6.
Since
\[ {\phi _{1}^{2}}=2{\kappa _{21}}\Bigg({\sum \limits_{j=2}^{3}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\Bigg),\]
we get using (35) that
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}}}\mathrm{E}\big({e^{{\kappa _{2}}\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]{\varkappa _{T}}}}\big)\frac{{\phi _{1}}T{e^{{\phi _{1}^{2}}T}}}{\sqrt{2\pi }}J,\end{aligned}\]
where J is defined (44). The condition (3) has the form (37) here. Therefore,
\[ {\phi ^{2}}\ge 2{\kappa _{2}}\Bigg[{\sum \limits_{j=2}^{3}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\Bigg]\]
and hence
\[ \mathrm{E}\big({e^{{\kappa _{2}}\big[{\textstyle\sum _{j=2}^{3}}({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2})+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\big]{\varkappa _{T}}}}\big)<\infty \]
and can be computed by (48) and (49). □Proof of Theorem 7.
We have from (38) and the condition
where
\[ {\phi _{1}^{2}}=2{\sum \limits_{j=2}^{3}}\bigg({\beta _{j}}+\frac{{\sigma _{j}^{2}}}{2}\bigg)+{\rho _{23}}{\sigma _{2}}{\sigma _{3}}\]
that
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big)={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}}}\frac{{\phi _{1}}T{e^{{\phi _{1}^{2}}T}}}{\sqrt{2\pi }}J\end{aligned}\]
with
(50)
\[ J=\frac{\sqrt{2}}{{\phi _{1}}T}{\int _{0}^{\infty }}{x^{-\frac{3}{2}}}{e^{-\frac{1}{x}}}\mathrm{N}\bigg(h\sqrt{x}+\frac{p}{\sqrt{x}}\bigg),\]
\[ h=\frac{({\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}+{\rho _{13}}{\sigma _{1}}{\sigma _{3}}){\phi _{1}}T}{{\sigma _{1}}\sqrt{2}}\hspace{1em}\text{and}\hspace{1em}p=\frac{({\mu _{1}}T-K-{Z_{T}^{1}})\sqrt{2}}{{\sigma _{1}}{\phi _{1}}T}.\]
Hence J is determined by (45) if ${\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}+{\rho _{13}}{\sigma _{1}}{\sigma _{3}}\ne 0$ and by (47) when ${\beta _{1}}+{\rho _{12}}{\sigma _{1}}{\sigma _{2}}+{\rho _{13}}{\sigma _{1}}{\sigma _{3}}=0$. □Proof of Theorem 8.
The condition (3) has the form (42)–(43) here. Therefore, ${\tilde{\phi }_{2}^{2}}\ge {\tilde{\kappa }_{2}}(2{\beta _{2}}+{\sigma _{2}^{2}})$ and we get from (40) and the condition ${\phi _{1}^{2}}=2{\beta _{3}}+{\sigma _{3}^{2}}+{\kappa _{21}}(2{\beta _{2}}+{\sigma _{2}^{2}})$ that
\[\begin{aligned}{}& \mathrm{E}\big({e^{-rT}}{S_{T}^{3}}{S_{T}^{2}}{I_{\{{S_{T}^{1}}\ge K\}}}|{Z_{T}^{1}},{Z_{T}^{2}},{Z_{T}^{3}}\big)\\ {} & \hspace{1em}={e^{({\mu _{2}}+{\mu _{3}}-r)T-{Z_{T}^{2}}-{Z_{T}^{3}}}}\mathrm{E}\big({e^{{\tilde{\kappa }_{2}}({\beta _{2}}+\frac{{\sigma _{2}^{2}}}{2}){\tilde{\varkappa }_{T}^{2}}}}\big)\frac{{\phi _{1}}T{e^{{\phi _{1}^{2}}T}}}{\sqrt{2\pi }}J,\end{aligned}\]
where J is defined in (50) with
\[ h=\frac{({\beta _{1}}+{\sigma _{1}}{\sigma _{3}}){\phi _{1}}T}{{\sigma _{1}}\sqrt{2}}\hspace{1em}\text{and}\hspace{1em}p=\frac{({\mu _{1}}T-K-{Z_{T}^{1}})\sqrt{2}}{{\sigma _{1}}{\phi _{1}}T}.\]
Therefore, J is computed by (45) if ${\beta _{1}}+{\sigma _{1}}{\sigma _{3}}\ne 0$ and by (47) when ${\beta _{1}}+{\sigma _{1}}{\sigma _{3}}=0$. □