Journal of Mathematical Finance
Vol.09 No.03(2019), Article ID:94537,39 pages
10.4236/jmf.2019.93025

Embedding Stochastic Correlation into the Pricing of FX Quanto Options under Stochastic Volatility Models*

Tommaso Pellegrino

Senior Quantitative Analyst in the Market Risk Quant Team, Danske Bank, Copenhagen, Denmark

Copyright © 2019 by author(s) and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: July 9, 2019; Accepted: August 19, 2019; Published: August 22, 2019

ABSTRACT

The aim of the paper is to incorporate a stochastic correlation structure when pricing quanto options under the assumption that both the underlying asset and the foreign exchange (FX) rate follow a stochastic volatility model. This is reached not only assuming that the correlation between the underlying asset and its variance process is stochastic (and the same between the exchange rate and its variance process), but also assuming a stochastic correlation between the underlying asset and the exchange rate. Under different stochastic correlation processes specifications, by approximating non-affine terms, we derive a closed-form approximation for the characteristic function of the underlying asset. Numerical experiments and comparison with Monte Carlo simulations are discussed. The analytical tractability of the formulas allows for fast pricing and calibration purposes.

Keywords:

Stochastic Correlation Processes, Stochastic Volatility Models, Characteristic Function, FX Derivatives Pricing, Quanto Options

1. Introduction

A quantity-adjusting option, also known as a quanto option, is a cash-settled cross currency derivative, where the underlying asset is denominated in a currency (the so-called foreign currency) which is different from the one in which the option is settled (the so-called domestic currency). Investors use quanto options when they believe a particular asset will perform well in a country but they fear that country’s currency will not perform as well. Thus, they will buy an option written on the foreign asset while keeping the payout in their domestic currency. This makes the option free from the foreign exchange rate fluctuation risk.

As pointed out in [1] , the correlation between the underlying process and the exchange rate process plays a very important role in pricing. However, assuming a constant correlation between the underlying asset and the exchange rate is not realistic and might lead to correlation risk. In this paper, we choose to model correlation as a stochastic process.

In particular, our model specification attempts at unifying the setup of [2] and [1] . Indeed, in the first work, the authors extend the Heston model [3] , incorporating a stochastic correlation between the underlying asset and its variance process, while in the second one, the same authors assume a stochastic correlation between the underlying asset and the exchange rate but within a constant volatility framework for both the underlying asset and the exchange rate.

In this paper, we relax the assumption of constant volatility for the underlying asset and the exchange rate, and we will assume that both of them follow a stochastic volatility model where, not only the correlation between the underlying asset and its variance is stochastic (and the same assumption holds for the exchange rate and its variance), but also the one between the underlying asset and the exchange rate is stochastic.

Adopting different stochastic correlation processes specifications, such as the Ornstein-Uhlenbeck and the bounded Jacobi processes, the characteristic function for the underlying asset can be derived in closed-form, by approximating all the non-affine terms in the model.

The remainder of the paper is organized as follows. In Section 2, we introduce the stochastic evolution for the underlying asset and for the exchange rate under the stochastic volatility model assumption with stochastic correlation structure. In Section 3 we show how to embed a stochastic correlation structure into the pricing of FX quanto options. In Section 4, we investigate the approximations of non-affine terms in the model, and by using different stochastic correlation processes specification, we derive the corresponding characteristic functions for the underlying asset in closed-form. In Section 5, we discuss how to discretize the model dynamics in order to run Monte Carlo simulations and in Section 6 we test the accuracy of the proposed approximation by comparing it with the Monte Carlo method. Conclusions are reported in Section 7.

2. A Joint Stochastic Volatility Model for the Underlying Price and the FX Rate with Stochastic Correlation Structure

Let S ( t ) be the price at time t for a certain underlying asset denominated in a foreign currency and let X ( t ) be the (spot) exchange rate at time t between the foreign and the domestic currencies. In what follows, we will assume that, under the historical measure , the stochastic dynamics for S ( t ) and X ( t ) are given by the following system of stochastic differential equations (SDEs):

{ d S ( t ) S ( t ) = μ S d t + V ( t ) d W S ( t ) , S ( 0 ) > 0, d V ( t ) = κ V ( μ V V ( t ) ) d t + σ V V ( t ) d W V ( t ) , V ( 0 ) > 0, d X ( t ) X ( t ) = μ X d t + U ( t ) d W X ( t ) , X ( 0 ) > 0, d U ( t ) = κ U ( μ U U ( t ) ) d t + σ U U ( t ) d W U ( t ) , U ( 0 ) > 0, (1)

where V ( t ) and U ( t ) are the variance processes for S ( t ) and X ( t ) respectively, following the well-known CIR process, as introduced in [4] . In particular, the stochastic dynamics for the pairs ( S ( t ) , V ( t ) ) , ( X ( t ) , U ( t ) ) is nothing less than the Heston dynamics, but instead of assuming a constant correlation coefficient as in [3] , we impose a stochastic correlation structure, in the sense that

Corr ( d W S ( t ) , d W V ( t ) ) = η ( t ) d t and Corr ( d W X ( t ) , d W U ( t ) ) = γ ( t ) d t , (2)

where η ( t ) and γ ( t ) are stochastic processes, whose dynamics is given by:

( d η ( t ) = a ( t , η ( t ) ) d t + b ( t , η ( t ) ) d W η ( t ) , η ( 0 ) [ 1,1 ] , d γ ( t ) = c ( t , γ ( t ) ) d t + d ( t , γ ( t ) ) d W γ ( t ) , γ ( 0 ) [ 1,1 ] , (3)

for opportune coefficients a ( t , η ( t ) ) , b ( t , η ( t ) ) , c ( t , γ ( t ) ) , d ( t , γ ( t ) ) , which will depend on the assumption for the stochastic correlation process and which will be defined in Section 4.

Therefore, as previously done in [2] , we have assumed that the underlying asset S ( t ) (respectively the exchange rate X ( t ) ) is stochastically correlated with its own variance process V ( t ) (resp. U ( t ) ), with correlation process given by η ( t ) (resp. γ ( t ) ).

Besides that, we will assume that the underlying asset S ( t ) and the exchange rate X ( t ) are stochastically correlated, with correlation process β ( t ) , whose stochastic dynamics is given by:

d β ( t ) = f ( t , β ( t ) ) d t + g ( t , β ( t ) ) d W β ( t ) , β ( 0 ) [ 1,1 ] , (4)

once again for opportune coefficients f ( t , β ( t ) ) , g ( t , β ( t ) ) to be specified.

We note that assuming a stochastic correlation between the underlying asset S and the exchange rate X has been proposed in [1] , but in their work the authors assume a constant volatility structure for S and X. Therefore, our model specification attempts at unifying the setup of [2] and [1] .

As far as the other correlations are concerned, we will assume that the only non-zero correlations are as follows:

Corr ( W S ( t ) , W β ( t ) ) = ρ S β d t , Corr ( W S ( t ) , W η ( t ) ) = ρ S η d t , Corr ( W X ( t ) , W β ( t ) ) = ρ X β d t , Corr ( W X ( t ) , W γ ( t ) ) = ρ X γ d t , (5)

i.e. we assume that the three stochastic correlation processes ( η ( t ) , γ ( t ) , β ( t ) ) are not correlated among each other, and that they are not correlated with the variance processes ( V ( t ) , U ( t ) ) either. Finally, the variance processes themselves are not correlated between each other, and that V ( t ) (resp. U ( t ) ) is not correlated with X ( t ) (resp. S ( t ) ).

In summary, our model specification under the historical measure reads as:

{ d S ( t ) S ( t ) = μ S d t + V ( t ) d W S ( t ) , d V ( t ) = κ V ( μ V V ( t ) ) d t + σ V V ( t ) d W V ( t ) , d η ( t ) = a ( t , η ( t ) ) d t + b ( t , η ( t ) ) d W η ( t ) , η ( 0 ) [ 1,1 ] , d X ( t ) X ( t ) = μ X d t + U ( t ) d W X ( t ) , d U ( t ) = κ U ( μ U U ( t ) ) d t + σ U U ( t ) d W U ( t ) , d γ ( t ) = c ( t , γ ( t ) ) d t + d ( t , γ ( t ) ) d W γ ( t ) , γ ( 0 ) [ 1,1 ] , d β ( t ) = f ( t , β ( t ) ) d t + g ( t , β ( t ) ) d W β ( t ) , β ( 0 ) [ 1,1 ] , (6)

with the following correlation structure for the seven-dimensional Brownian motion

( W S ( t ) , W V ( t ) , W η ( t ) , W X ( t ) , W U ( t ) , W γ ( t ) , W β ( t ) ) T

R = ( ρ i j ) i j = [ 1 η ( t ) ρ S η β ( t ) 0 0 ρ S β η ( t ) 1 0 0 0 0 0 ρ S η 0 1 0 0 0 0 β ( t ) 0 0 1 γ ( t ) ρ X γ ρ β X 0 0 0 γ ( t ) 1 0 0 0 0 0 ρ X γ 0 1 0 ρ S β 0 0 ρ β X 0 0 1 ] ,

which satisfies the common requirements of being symmetric and positive semi-definite.

By the argument of change of measure and using the Girsanov theorem, the model in Equation (6) can be specified under the risk-neutral measure as:

{ d S ( t ) S ( t ) = ( r f β ( t ) V ( t ) U ( t ) ) d t + V ( t ) d W S ( t ) , d V ( t ) = [ κ V ( μ V V ( t ) ) λ V ( t ) ] d t + σ V V ( t ) d W V ( t ) , d η ( t ) = ( a ( t , η ( t ) ) λ η ( t ) ) d t + b ( t , η ( t ) ) d W η ( t ) , η ( 0 ) [ 1,1 ] , d X ( t ) X ( t ) = ( r d r f ) d t + U ( t ) d W X ( t ) , d U ( t ) = [ κ U ( μ U U ( t ) ) λ U ( t ) ] d t + σ U U ( t ) d W U ( t ) , d γ ( t ) = ( c ( t , γ ( t ) ) λ γ ( t ) ) d t + d ( t , γ ( t ) ) d W γ ( t ) , γ ( 0 ) [ 1,1 ] , d β ( t ) = ( f ( t , β ( t ) ) λ β ( t ) ) d t + g ( t , β ( t ) ) d W β ( t ) , β ( 0 ) [ 1,1 ] , (7)

with the same correlation structure as the one above, and where ( λ V ( t ) , λ U ( t ) ) and ( λ η ( t ) , λ γ ( t ) , λ β ( t ) ) represent the price of volatility and correlation risk respectively.

In particular, in what follows, we will assume that the market price of volatility risk is linear in the variance process, namely λ V ( t ) = λ V V ( t ) (resp. λ U ( t ) = λ U U ( t ) ), and that the market price of correlation risk is constant, in the sense that λ η ( t ) = λ η and the same for λ γ ( t ) and λ β ( t ) respectively.

The risk-neutral dynamics for the variance process V reads as1

d V ( t ) = ( κ V + λ V ) ( μ V κ V + λ V V ( t ) ) d t + σ V V ( t ) d W V ( t ) = κ ˜ V ( μ ˜ V V ( t ) ) d t + σ V V ( t ) d W V ( t ) ,

where we have defined κ ˜ V = κ V + λ V , μ ˜ V = μ V κ V + λ V respectively.

Furthermore, under the log-transform for the underlying asset S and for the exchange rate X, i.e. Y ( t ) = ln ( S ( t ) ) , and Z ( t ) = ln ( X ( t ) ) , the risk-neutral dynamics for S and X in the model of Equation (7) can be re-written as:

( d Y ( t ) = ( r f 1 2 V ( t ) β ( t ) V ( t ) U ( t ) ) d t + V ( t ) d W S ( t ) , d Z ( t ) = ( r d r f 1 2 U ( t ) ) d t + U ( t ) d W X ( t ) ,

with the same dynamics for the variance and correlation processes as the one above.

3. FX Quanto Options Pricing under Stochastic Volatility and Correlation

Let P ( t ) = P ( t , Y ( t ) , V ( t ) , η ( t ) , Z ( t ) , U ( t ) , γ ( t ) , β ( t ) ) be the value at time t of any contract written on the underlying asset S, denominated in the foreign currency, but paid in the domestic one.

1A similar discussion holds for the variance process U as well.

Applying the multi-dimensional Feynman-Kac formula gives the following partial differential equation (PDE) satisfied by P:

P t + ( r f 1 2 V ( t ) β ( t ) V ( t ) U ( t ) ) P y + ( r d r f 1 2 U ( t ) ) P z + a ˜ ( t , η ( t ) ) P η + κ V ( μ V V ( t ) ) P v + κ U ( μ U U ( t ) ) P u + c ˜ ( t , γ ( t ) ) P γ + f ˜ ( t , β ( t ) ) P β + 1 2 V ( t ) 2 P y 2 + 1 2 U ( t ) 2 P z 2 + 1 2 σ V 2 V ( t ) 2 P v 2 + 1 2 σ U 2 U ( t ) 2 P u 2 + 1 2 b 2 ( t , η ( t ) ) 2 P η 2 + 1 2 d 2 ( t , γ ( t ) ) 2 P γ 2 + 1 2 g 2 ( t , β ( t ) ) 2 P β 2 + β ( t ) V ( t ) U ( t ) 2 P y z

+ σ V η ( t ) V ( t ) 2 P y v + σ U γ ( t ) U ( t ) 2 P z u + ρ S β V ( t ) g ( t , β ( t ) ) 2 P y β + ρ S η V ( t ) b ( t , η ( t ) ) 2 P y η + ρ X β U ( t ) g ( t , β ( t ) ) 2 P z β + ρ X γ U ( t ) d ( t , γ ( t ) ) 2 P z γ r d P = 0. (8)

In case where P represents the price of a quanto (call) option, then its payoff (i.e. the terminal condition of the above PDE) at maturity time T, reads as:

P ( T ) = max ( S ( T ) K ,0 ) , (9)

where K is the strike price of the option.

Risk-neutral arguments imply as well that

P ( t ) = P ( t , S ( t ) , X ( t ) , T , K ) = e r d ( T t ) X ( t ) E [ ( S ( T ) K ) + | F ( t ) ] , (10)

where F ( t ) represents the flow of information available up to time t.

As done in [3] , we assume that a solution of (10) has the following form:

P ( t , S ( t ) , X ( t ) , T , K ) = e r d ( T t ) ( E [ S ( T ) | F ( t ) ] P 1 K P 2 ) , (11)

where the first term is the present value of the underlying asset upon optimal exercise, and the second term is the present value of the strike price payment (in the above equation we have also assumed that X ( t ) 1 ).

Being more explicit, the probabilities P 1 , P 2 are defined as follows:

P j = P j ( Y ( T ) ln K | F ( t ) ) , for j = 1,2, (12)

and they are nothing less than the conditional probabilities that the option expires in-the-money. It is well known that these probabilities are not immediately available in closed-form, however, we know that not only P j , but also their corresponding characteristic functions ϕ j = E [ e i u X ( T ) | F ( t ) ] satisfy the same PDE (8), subject to the terminal condition

ϕ j ( T ) = e i u X ( T ) , for j = 1,2. (13)

From the knowledge of the characteristic functions ϕ j , one can get the probabilities P j by applying the following Fourier inversion formula

P j = 1 2 + 1 π 0 + Re [ e i ω ln K ϕ j i ω ] d ω . (14)

If we look back at Equation (11), we can observe that the only remaining quantity to be discussed is E [ S ( T ) | F ( t ) ] , which takes the following form, under the model specification of Equation (7):

E [ S ( T ) | F ( t ) ] = e r f ( T t ) + ln S ( t ) E [ e t T β ( s ) U ( s ) V ( s ) d s | F ( t ) ] . (15)

Since, in general, there is no closed-form solution for the above expectation, we propose to approximate the term E [ e t T β ( s ) U ( s ) V ( s ) d s | F ( t ) ] as follows:

E [ e t T β ( s ) U ( s ) V ( s ) d s | F ( t ) ] E [ e U ( t ) V ( t ) t T β ( s ) d s | F ( t ) ] E [ e U ( 0 ) V ( 0 ) t T β ( s ) d s | F ( t ) ] , (16)

where the last term on the right hand side can be calculated by deriving the characteristic function ϕ ξ of the integrated correlation process ξ = t T β ( s ) d s under the risk-neutral measure and then set as argument i ω U ( 0 ) V ( 0 ) .

Therefore, we have that

E [ S ( T ) | F ( t ) ] S ( t ) e r f ( T t ) ϕ ξ ( i ω U ( 0 ) V ( 0 ) ) , (17)

from which it follows that our proposed solution would read as:

P ( t ) e r d ( T t ) ( S ( t ) e r f ( T t ) ϕ ξ ( i ω U ( 0 ) V ( 0 ) ) P 1 K P 2 ) . (18)

Obviously, the system of SDEs in Equation (7) is not in the affine form, as some of the coefficients in the corresponding PDE (8) are not linear in the state variables ( y , v , η , z , u , γ , β ) . Therefore, as done in [2] and in [1] , we linearize the coefficients of the pricing PDE in order to generate a system of SDEs which is in affine form. As we leave the specification of the drift and volatility coefficients for the correlation processes in Section 4, we first consider the following terms:

σ V η ( t ) V ( t ) and σ U γ ( t ) U ( t ) , (19)

which can be approximated (see for example [2] ) as

σ V η ( t ) V ( t ) σ V η ( t ) E [ V ( t ) ] , σ U γ ( t ) U ( t ) σ U γ ( t ) E [ U ( t ) ] , (20)

and this is justified from the fact that we have assumed zero correlation between the correlation process η ( t ) (resp. γ ( t ) ) and the variance process V ( t ) (resp. U ( t ) ).

Next, we propose to approximate the term β ( t ) U ( t ) V ( t ) as follows:

β ( t ) U ( t ) V ( t ) β ( t ) E [ U ( t ) ] E [ V ( t ) ] , (21)

where we use the fact that the correlation process β ( t ) is not correlated with any of the variance processes V and U, and also that V and U are not correlated between each other.

As said, the affinity of the terms including the drift and volatility coefficients of the stochastic correlation processes η ( t ) , γ ( t ) and β ( t ) is discussed in the next section, as it will depend on the chosen stochastic process for modelling the correlations.

4. Stochastic Correlation Processes Specification

In this section, we apply an Ornstein-Uhlenbeck (OU) process and a bounded Jacobi (BJ) process in order to model stochastic correlation. As done in [2] , we will approximate the non-affine terms involving the drift and the volatility coefficients of the correlation processes in order to be able to derive a closed-form solution for the price of a quanto option under the model in Equation (7).

4.1. The Ornstein-Uhlenbeck Process

If we assume that the processes η ( t ) , γ ( t ) and β ( t ) follow an OU process, then their drift and volatility coefficients are given by:

a ˜ ( t , η ( t ) ) = κ η ( μ h η ( t ) ) λ η , c ˜ ( t , γ ( t ) ) = κ γ ( μ γ γ ( t ) ) λ γ , f ˜ ( t , β ( t ) ) = κ β ( μ β β ( t ) ) λ β , b ( t , η ( t ) ) = σ η , d ( t , γ ( t ) ) = σ γ , g ( t , β ( t ) ) = σ β . (22)

In particular, the drift coefficient for η can be re-written as follows:

a ˜ ( t , η ( t ) ) = κ η ( μ ˜ η η ( t ) ) , with μ ˜ η = μ η λ η κ η , (23)

and the same holds for the drift coefficients for γ and β 2.

Since the calibration of the model in Equation (7) is done directly under the measure, the usage of μ ˜ instead of μ , is not relevant for the derivation of the results.

As pointed out in [2] , one of the main drawbacks of using an OU process for stochastic correlation is the fact that the process is not bounded over the interval [ 1,1 ] , and this specially happens for a small value of the mean reversion rate and a large value of the volatility parameter. Nevertheless, because of its analytical tractability, we will derive the results also under the assumption that the stochastic correlations follow an OU process.

Under the OU assumption for the correlation processes, the remaining non-affine terms can be approximated as follows:

( ρ S β σ β V ( t ) ρ S β σ β E [ V ( t ) ] , ρ S η σ η V ( t ) ρ S η σ η E [ V ( t ) ] , ρ X β σ β U ( t ) ρ X β σ β E [ U ( t ) ] , ρ X γ σ γ U ( t ) ρ X γ σ γ E [ U ( t ) ] , (24)

where the above approximation has been proposed in [5] .

2We, indeed, have that c ˜ ( t , γ ( t ) ) = κ γ ( μ ˜ γ γ ( t ) ) , with μ ˜ γ = μ γ λ γ κ γ , and f ˜ ( t , β ( t ) ) = κ β ( μ ˜ β β ( t ) ) , with μ ˜ β = μ β λ β κ β .

In particular, the following expectations E [ V ( t ) ] , E [ U ( t ) ] involving the square root of the variance processes V and U can be approximated as stated in the next proposition.

Proposition 1 (3.1 in [2] ) Let ν ( t ) a stochastic process, who dynamics is given by:

d ν ( t ) = κ ν ( μ ν ν ( t ) ) d t + σ ν ν ( t ) d W ν ( t ) . (25)

Then, E [ ν ( t ) ] can be approximated by:

E [ ν ( t ) ] m ν + n ν e l ν t , (26)

where m ν , n ν and l ν are defined as:

m ν = μ ν σ ν 2 8 κ ν , n ν = ν 0 m ν , l ν = ln ( d ^ ν m ν n ν ) , (27)

with

d ^ ν = ( ν 0 e κ ν σ ν 2 ( 1 e κ ν ) 4 κ ν ) + μ ν ( 1 e κ ν ) + σ ν 2 μ ν ( 1 e κ ν ) 2 8 κ ν μ ν + 8 κ ν e κ ν ( ν 0 μ ν ) . (28)

Proof. See Appendix A.1.

We have therefore all the elements in order to find a solution for the pricing PDE (8), under the assumption that the correlation processes follow an OU process.

First, we observe that Equation (8) becomes

P t + ( r f 1 2 V ( t ) β ( t ) E [ V ( t ) ] E [ U ( t ) ] ) P y + ( r d r f 1 2 U ( t ) ) P z + κ η ( μ η η ( t ) ) P η + κ V ( μ V V ( t ) ) P v + κ U ( μ U U ( t ) ) P u + κ γ ( μ γ γ ( t ) ) P γ + κ β ( μ β β ( t ) ) P β + 1 2 V ( t ) 2 P y 2 + 1 2 U ( t ) 2 P z 2 + 1 2 σ V 2 V ( t ) 2 P v 2 + 1 2 σ U 2 U ( t ) 2 P u 2

+ 1 2 σ η 2 2 P η 2 + 1 2 σ γ 2 2 P γ 2 + 1 2 σ β 2 2 P β 2 + β ( t ) E [ V ( t ) ] E [ U ( t ) ] 2 P y z + σ V E [ V ( t ) ] η ( t ) 2 P y v + σ U E [ U ( t ) ] γ ( t ) 2 P z u + ρ S β σ β E [ V ( t ) ] 2 P y β + ρ S η σ η E [ V ( t ) ] 2 P y η + ρ X β σ β E [ U ( t ) ] 2 P z β + ρ X γ σ γ E [ U ( t ) ] 2 P z γ r d P = 0. (29)

By substituting (18) into the pricing PDE (29), we obtain the following PDEs in P 1 and P 2 respectively:

P 1 t + ( r f + 1 2 V ( t ) β ( t ) E [ V ( t ) ] E [ U ( t ) ] ) P 1 y + ( r d r f 1 2 U ( t ) + β ( t ) E [ V ( t ) ] E [ U ( t ) ] ) P 1 z + ( κ η ( μ η η ( t ) ) + ρ S η σ η E [ V ( t ) ] ) P 1 η + ( κ V ( μ V V ( t ) ) + σ V E [ V ( t ) ] η ( t ) ) P 1 v + κ U ( μ U U ( t ) ) P 1 u + ( κ β ( μ β β ( t ) ) + ρ S β σ β E [ V ( t ) ] ) P 1 β + κ γ ( μ γ γ ( t ) ) P 1 γ + 1 2 V ( t ) 2 P 1 y 2 + 1 2 U ( t ) 2 P 1 z 2 + 1 2 σ V 2 V ( t ) 2 P 1 v 2 + 1 2 σ U 2 U ( t ) 2 P 1 u 2 + 1 2 σ β 2 2 P 1 β 2 + 1 2 σ η 2 2 P 1 η 2 + 1 2 σ γ 2 2 P 1 γ 2 + β ( t ) E [ V ( t ) ] E [ U ( t ) ] 2 P 1 y z

+ σ V E [ V ( t ) ] η ( t ) 2 P 1 y v + σ U E [ U ( t ) ] γ ( t ) 2 P 1 z u + ρ S β σ β E [ V ( t ) ] 2 P 1 β y + ρ S η σ η E [ V ( t ) ] 2 P 1 η y + ρ X β σ β E [ U ( t ) ] 2 P 1 z β + ρ X γ σ γ E [ U ( t ) ] 2 P 1 z γ = 0, (30)

and

P 2 t + ( r f 1 2 V ( t ) β ( t ) E [ V ( t ) ] E [ U ( t ) ] ) P 2 y + ( r d r f 1 2 U ( t ) ) P 2 z + κ η ( μ η η ( t ) ) P 2 η + κ V ( μ V V ( t ) ) P 2 v + κ U ( μ U U ( t ) ) P 2 u + κ β ( μ β β ( t ) ) P 2 β + κ γ ( μ γ γ ( t ) ) P 2 γ + 1 2 V ( t ) 2 P 2 y 2 + 1 2 U ( t ) 2 P 2 z 2 + 1 2 σ V 2 V ( t ) 2 P 2 v 2 + 1 2 σ U 2 U ( t ) 2 P 2 u 2

+ 1 2 σ β 2 2 P 2 β 2 + 1 2 σ η 2 2 P 2 η 2 + 1 2 σ γ 2 2 P 2 γ 2 + β ( t ) E [ V ( t ) ] E [ U ( t ) ] 2 P 2 y z + σ V E [ V ( t ) ] η ( t ) 2 P 2 y v + σ U E [ U ( t ) ] γ ( t ) 2 P 2 z u + ρ S β σ β E [ V ( t ) ] 2 P 2 β y + ρ S η σ η E [ V ( t ) ] 2 P 2 η y + ρ X β σ β E [ U ( t ) ] 2 P 2 z β + ρ X γ σ γ E [ U ( t ) ] 2 P 2 z γ = 0. (31)

As pointed out in the previous section, we know that the corresponding characteristic functions ϕ = ϕ j ( t , y , z , v , u , β , η , γ ; ω ) of P j , j = 1 , 2 , must also satisfy the PDEs (30) and (31), respectively. Their solutions can be found in a closed-form as stated in the next lemmas.

Lemma 1. The characteristic function of P 1 in (18), under the assumption that the correlation processes β ( t ) , η ( t ) and γ ( t ) follow an OU process, is given by:

ϕ 1 OU = exp ( A 1 ( τ , ω ) + B 1 ( τ , ω ) v ( t ) + C 1 ( τ , ω ) u ( t ) + D 1 ( τ , ω ) z ( t ) + E 1 ( τ , ω ) β ( t ) + F 1 ( τ , ω ) η ( t ) + G 1 ( τ , ω ) γ ( t ) + i ω y ( t ) ) , (32)

where C 1 ( τ , ω ) = D 1 ( τ , ω ) = G 1 ( τ , ω ) 0 and where

B 1 ( τ , ω ) = κ V B ¯ 1 σ V 2 1 e B ¯ 1 τ 1 B ¯ 2 e B ¯ 1 τ , (33)

E 1 ( τ , ω ) = i ω [ m V m U κ β ( 1 e κ β τ ) + m V n U κ β + l U e l U ( T τ ) ( 1 e ( κ β + l U ) τ ) + m U n V κ β + l V e l V ( T τ ) ( 1 e ( κ β + l V ) τ ) + n U n V κ β + l U + l V e ( l U + l V ) ( T τ ) ( 1 e ( κ β + l U + l V ) τ ) ] , (34)

F 1 ( τ , ω ) = ( μ V v ( 0 ) ) B ^ 1 κ η + κ V B ¯ 3 e ( κ V B ¯ 3 ) τ κ V T + ( v ( 0 ) μ V ) B ^ 1 κ η + κ V e κ V ( τ T ) + μ V B ^ 1 κ η μ V B ^ 1 κ η B ¯ 3 e B ¯ 3 τ + B ^ 1 B ^ 2 e κ η τ , (35)

A 1 ( τ , ω ) = r f i ω τ + κ V μ V H 1 ( τ , ω ) + ( κ η μ η + ( i ω + 1 ) ρ S η σ η m V ) H 2 ( τ , ω ) + ( i ω + 1 ) ρ S η σ η n V H 3 ( τ , ω ) + ( κ β μ β + ( i ω + 1 ) ρ S β σ β m V ) H 4 ( τ , ω ) + ( i ω + 1 ) ρ S β σ β n V H 5 ( τ , ω ) + 1 2 σ β 2 H 6 ( τ , ω ) + 1 2 σ η 2 H 7 ( τ , ω ) . (36)

The H functions in Equation (36) are defined as:

H 1 ( τ , ω ) = 0 τ B 1 ( s , ω ) d s , H 2 ( τ , ω ) = 0 τ F 1 ( s , ω ) d s , H 3 ( τ , ω ) = 0 τ e l V ( T s ) F 1 ( s , ω ) d s , H 4 ( τ , ω ) = 0 τ E 1 ( s , ω ) d s , H 5 ( τ , ω ) = 0 τ e l V ( T s ) E 1 ( s , ω ) d s , H 6 ( τ , ω ) = 0 τ E 1 ( s , ω ) 2 d s , H 7 ( τ , ω ) = 0 τ F 1 ( s , ω ) 2 d s , (37)

and the coefficients B ¯ 1 , B ¯ 2 , B ¯ 3 , B ^ 1 , B ^ 2 are respectively given by

B ¯ 1 = κ V 2 + σ V 2 ω ( ω i ) , (38)

B ¯ 2 = κ V + B ¯ 1 κ V + B ¯ 1 , (39)

B ¯ 3 = ln ( e B ¯ 1 B ¯ 2 e B ¯ 1 1 B ¯ 2 e B ¯ 1 ) , (40)

B ^ 1 = i ω + 1 σ V ( κ V B ¯ 1 ) , (41)

B ^ 2 = μ V κ V v ( 0 ) μ V κ η + κ V e κ V T μ V v ( 0 ) κ η + κ V B ¯ 3 e κ V T + μ V κ η B ¯ 3 . (42)

with m U , m V , n U , n V , l U , l V as in Proposition 1.

Proof. See Appendix A.2.

Lemma 2. The characteristic function of P 2 in (18), under the assumption that the correlation processes β ( t ) , η ( t ) and γ ( t ) follow an OU process, is given by:

ϕ 2 OU = exp ( A 2 ( τ , ω ) + B 2 ( τ , ω ) v ( t ) + C 2 ( τ , ω ) u ( t ) + D 2 ( τ , ω ) z ( t ) + E 2 ( τ , ω ) β ( t ) + F 2 ( τ , ω ) η ( t ) + G 2 ( τ , ω ) γ ( t ) + i ω y ( t ) ) , (43)

where C 2 ( τ , ω ) = D 2 ( τ , ω ) = G 2 ( τ , ω ) 0 and where

B 2 ( τ , ω ) = κ V B ˜ 1 σ V 2 1 e B ˜ 1 τ 1 B ˜ 2 e B ˜ 1 τ , (44)

E 2 ( τ , ω ) = i ω [ m V m U κ β ( 1 e κ β τ ) + m V n U κ β + l U e l U ( T τ ) ( 1 e ( κ β + l U ) τ ) + m U n V κ β + l V e l V ( T τ ) ( 1 e ( κ β + l V ) τ ) + n U n V κ β + l U + l V e ( l U + l V ) ( T τ ) ( 1 e ( κ β + l U + l V ) τ ) ] , (45)

F 2 ( τ , ω ) = ( μ V v ( 0 ) ) B 1 * κ η + κ V B ˜ 3 e ( κ V B ˜ 3 ) τ κ V T + ( v ( 0 ) μ V ) B 1 * κ η + κ V e κ V ( τ T ) + μ V B 1 * κ η μ V B 1 * κ η B ˜ 3 e B ˜ 3 τ + B 1 * B 2 * e κ η τ , (46)

A 2 ( τ , ω ) = r f i ω τ + κ V μ V H ˜ 1 ( τ , ω ) + ( κ η μ η + i ω ρ S η σ η m V ) H ˜ 2 ( τ , ω ) + i ω ρ S η σ η n V H ˜ 3 ( τ , ω ) + ( κ β μ β + i ω ρ S β σ β m V ) H ˜ 4 ( τ , ω ) + i ω ρ S β σ β n V H ˜ 5 ( τ , ω ) + 1 2 σ β 2 H ˜ 6 ( τ , ω ) + 1 2 σ η 2 H ˜ 7 ( τ , ω ) . (47)

The H ˜ functions in Equation (47) are defined as:

H ˜ 1 ( τ , ω ) = 0 τ B 2 ( s , ω ) d s , H ˜ 2 ( τ , ω ) = 0 τ F 2 ( s , ω ) d s , H ˜ 3 ( τ , ω ) = 0 τ e l V ( T s ) F 2 ( s , ω ) d s , H ˜ 4 ( τ , ω ) = 0 τ E 2 ( s , ω ) d s , H ˜ 5 ( τ , ω ) = 0 τ e l V ( T s ) E 2 ( s , ω ) d s , H ˜ 6 ( τ , ω ) = 0 τ E 2 ( s , ω ) 2 d s , H ˜ 7 ( τ , ω ) = 0 τ F 2 ( s , ω ) 2 d s , (48)

and the coefficients B ˜ 1 , B ˜ 2 , B ˜ 3 , B 1 * , B 2 * are respectively given by

B ˜ 1 = κ V 2 + σ V 2 ω ( ω + i ) , (49)

B ˜ 2 = κ V + B ˜ 1 κ V + B ˜ 1 , (50)

B ˜ 3 = ln ( e B ˜ 1 B ˜ 2 e B ˜ 1 1 B ˜ 2 e B ˜ 1 ) , (51)

B 1 * = i ω σ V ( κ V B ˜ 1 ) , (52)

B 2 * = μ V κ V v ( 0 ) μ V κ η + κ V e κ V T μ V v ( 0 ) κ η + κ V B ˜ 3 e κ V T + μ V κ η B ˜ 3 , (53)

with m U , m V , n U , n V , l U , l V as in Proposition 1.

The proof of Lemma 2 is similar to the one for Lemma 1 and is left to the reader.

Next, we turn to the calculation of the term

E [ e V ( 0 ) U ( 0 ) t T β ( s ) d s ] ,

in (18), where ξ = t T β ( s ) d s is the integrated OU process. Since the OU process is an affine process, we can calculate the above expectation in closed-form. This is presented in the next lemma.

Lemma 3. Let

ξ = t T β ( s ) d s

be an integrated correlation process, where β ( t ) follows an OU process.

Then, we have that

E [ e V ( 0 ) U ( 0 ) 0 t β ( s ) d s ] = e δ ( t ) β ( 0 ) χ ( t ) , (54)

with

δ ( t ) = V ( 0 ) U ( 0 ) κ β ( 1 e κ β t ) , (55)

χ ( t ) = V ( 0 ) U ( 0 ) σ β 2 4 κ β 3 ( e 2 κ β t 4 e κ β t + 3 ) + μ β V ( 0 ) U ( 0 ) κ β ( e κ β t 1 ) + ( μ β V ( 0 ) U ( 0 ) V ( 0 ) U ( 0 ) σ β 2 2 κ β 2 ) t . (56)

Proof. The proof follows the same line as the corresponding result proven in [1] , Lemma 3.3, with constant volatilities V ( 0 ) , U ( 0 ) respectively.

4.2. The Bounded Jacobi Process

In this section, we assume that the processes η ( t ) , γ ( t ) and β ( t ) follow a bounded Jacobi (BJ) process. In particular, the drift coefficient for a BJ process is exactly the same as the one for an OU process. What changes is the volatility coefficient, and in particular, we have that

b ( t , η ( t ) ) = σ η 1 η ( t ) 2 , d ( t , γ ( t ) ) = σ γ 1 γ ( t ) 2 , g ( t , β ( t ) ) = σ β 1 β ( t ) 2 . (57)

3It means that the boundaries −1 and 1 are not attractive and unattainable.

The BJ process is bounded to ( 1,1 ) 3 as long as the following restriction on the model parameters holds (for the detailed derivation, see [6] ):

κ ρ > σ ρ 2 1 ± μ ρ . (58)

Similar to what we have done in Section 4.1, we observe that the non-affine terms under the BJ stochastic correlation assumption in the pricing PDE (8) can be approximated as follows:

σ η 2 ( 1 η ( t ) 2 ) σ η 2 ( 1 E [ η ( t ) 2 ] ) , σ γ 2 ( 1 γ ( t ) 2 ) σ γ 2 ( 1 E [ γ ( t ) 2 ] ) , σ β 2 ( 1 β ( t ) 2 ) σ β 2 ( 1 E [ β ( t ) 2 ] ) , (59)

and

{ ρ S β σ β V ( t ) 1 β ( t ) 2 ρ S β σ β E [ V ( t ) ] E [ 1 β ( t ) 2 ] , ρ S η σ η V ( t ) 1 η ( t ) 2 ρ S η σ η E [ V ( t ) ] E [ 1 η ( t ) 2 ] , ρ X β σ β U ( t ) 1 β ( t ) 2 ρ X β σ β E [ U ( t ) ] E [ 1 β ( t ) 2 ] , ρ X γ σ γ U ( t ) 1 γ ( t ) 2 ρ X γ σ γ E [ U ( t ) ] E [ 1 γ ( t ) 2 ] . (60)

Now, if we look at Equation (59), we can see that the proposed approximations involved the second moment of the BJ stochastic correlation process.

In particular, [7] has shown that, for a stochastic process ρ ( t ) following the BJ process dynamics, the second moment is given by:

E [ ρ ( t ) 2 ] = e t ( σ ρ 3 + 2 κ ρ ) σ ρ 4 + 3 κ ρ σ ρ 2 + 2 κ ρ 2 ( ρ ( 0 ) 2 ( σ ρ 4 + 3 κ ρ σ ρ 2 + 2 κ ρ 2 ) + 2 μ ρ κ ρ ρ ( 0 ) ( σ ρ 2 + 2 κ ρ ) ( e ( σ ρ 2 + κ ρ ) t 1 ) + σ ρ 2 ( σ ρ 2 + κ ρ ) ( e t ( σ ρ 2 + 2 κ ρ ) 1 ) 2 μ ρ 2 κ ρ ( κ ρ ( 2 e t ( σ ρ 2 + κ ρ ) e t ( σ ρ 2 + 2 κ ρ ) 1 ) σ ρ 2 e t ( σ ρ 2 + κ ρ ) ( e t κ ρ 1 ) ) ) . (61)

As Equation (61) is rather complicated and not convenient for further calculations, we rely instead on an approximation, which has been proposed in [2] , and used as well in [1] . The result is reported in the following proposition.

Proposition 2 (3.2 in [2] or alternatively 3.1 in [1] ) Let ρ ( t ) a stochastic process, whose dynamics is given by:

d ρ ( t ) = κ ρ ( μ ρ ρ ( t ) ) d t + σ ρ 1 ρ ( t ) 2 d W ρ ( t ) . (62)

Then, the function h ρ ( t ) E [ ρ ( t ) 2 ] can be approximated by:

E [ ρ ( t ) 2 ] e s ρ t + r ρ e p ρ t + q ρ , (63)

where

q ρ = ( σ ρ 2 + κ ρ ) ( σ ρ 2 + 2 κ ρ μ ρ 2 ) σ ρ 4 + 3 κ ρ σ ρ 2 + 2 κ ρ 2 , r ρ = ρ ( 0 ) 2 q ρ 1, (64)

s ρ = 2 ln ( α ρ r ρ e p ρ 2 ) , p ρ = 2 ln ( r ρ α ρ r ρ 2 α ρ 2 θ ρ ψ ρ θ ρ ) , (65)

with

α ρ = h ρ ( 0.5 ) q ρ , θ ρ = r ρ ( 1 + r ρ ) , ψ ρ = α ρ 2 + q ρ h ρ ( 1 ) . (66)

Proof. See Appendix B.2 in [2] .

Finally, if we look at Equation (60), the only remaining quantity we need to calculate is E [ 1 ρ ( t ) 2 ] , where ρ { η , γ , β } . In order to calculate this expectation, we state the result in [2] , where it is shown that

E [ 1 ρ ( t ) 2 ] = E [ 1 ρ ( t ) 2 ] E [ ρ ( t ) ] 2 1 E [ ρ ( t ) ] 2 Var [ ρ ( t ) ] = 1 E [ ρ ( t ) 2 ] E [ ρ ( t ) ] 4 1 E [ ρ ( t ) ] 2 . (67)

The next proposition contains the relevant approximation.

Proposition 3 (3.3 in [2] or alternatively 3.2 in [1] ) Let ρ ( t ) a stochastic process, whose dynamics is given by:

d ρ ( t ) = κ ρ ( μ ρ ρ ( t ) ) d t + σ ρ 1 ρ ( t ) 2 d W ρ ( t ) . (68)

Then, the function h ^ ρ ( t ) E [ 1 ρ ( t ) 2 ] can be approximated by:

E [ 1 ρ ( t ) 2 ] e s ^ ρ t + r ^ ρ e p ^ ρ t + q ^ ρ , (69)

where

q ^ ρ = 1 ( σ ρ 2 + κ ρ ) ( σ ρ 2 + 2 κ ρ μ ρ 2 ) μ ρ 4 ( σ ρ 4 + 3 κ ρ σ ρ 2 + 2 κ ρ 2 ) ( 1 μ ρ 2 ) ( σ ρ 4 + 3 κ ρ σ ρ 2 + 2 κ ρ 2 ) , (70)

r ^ ρ = 1 ρ ( 0 ) 2 q ^ ρ 1, s ^ ρ = 2 ln ( α ^ ρ r ^ ρ e p ^ ρ 2 ) , (71)

p ^ ρ = 2 ln ( r ^ ρ α ^ ρ r ^ ρ 2 α ^ ρ 2 θ ^ ρ ψ ^ ρ θ ^ ρ ) , (72)

with

α ^ ρ = h ^ ρ ( 0.5 ) q ^ ρ , θ ^ ρ = r ^ ρ ( 1 + r ^ ρ ) , ψ ^ ρ = α ^ ρ 2 + q ^ ρ h ^ ρ ( 1 ) . (73)

Proof. See Appendix B.3 in [2] .

We have therefore all the elements in order to find a solution for the pricing PDE (8), under the assumption that the correlation processes follow a bounded Jacobi process.

First, we observe that Equation (8) becomes

P t + ( r f 1 2 V ( t ) β ( t ) E [ V ( t ) ] E [ U ( t ) ] ) P y + ( r d r f 1 2 U ( t ) ) P z + κ η ( μ η η ( t ) ) P η + κ V ( μ V V ( t ) ) P v + κ U ( μ U U ( t ) ) P u + κ γ ( μ γ γ ( t ) ) P γ + κ β ( μ β β ( t ) ) P β

+ 1 2 V ( t ) 2 P y 2 + 1 2 U ( t ) 2 P z 2 + 1 2 σ V 2 V ( t ) 2 P v 2 + 1 2 σ U 2 U ( t ) 2 P u 2 + 1 2 σ η 2 ( 1 E [ η ( t ) 2 ] ) 2 P η 2 + 1 2 σ γ 2 ( 1 E [ γ ( t ) 2 ] ) 2 P γ 2 + 1 2 σ β 2 ( 1 E [ β ( t ) 2 ] ) 2 P β 2 + β ( t ) E [ V ( t ) ] E [ U ( t ) ] 2 P y z + σ V E [ V ( t ) ] η ( t ) 2 P y v + σ U E [ U ( t ) ] γ ( t ) 2 P z u + ρ S β σ β E [ V ( t ) ] E [ 1 β ( t ) 2 ] 2 P y β

+ ρ S η σ η E [ V ( t ) ] E [ 1 η ( t ) 2 ] 2 P y η + ρ X β σ β E [ U ( t ) ] E [ 1 β ( t ) 2 ] 2 P z β + ρ X γ σ γ E [ U ( t ) ] E [ 1 γ ( t ) 2 ] 2 P z γ r d P = 0. (74)

By substituting (18) into the pricing PDE (74), we obtain the following PDEs in P 1 and P 2 respectively:

P 1 t + ( r f + 1 2 V ( t ) β ( t ) E [ V ( t ) ] E [ U ( t ) ] ) P 1 y + ( r d r f 1 2 U ( t ) + β ( t ) E [ V ( t ) ] E [ U ( t ) ] ) P 1 z + ( κ η ( μ η η ( t ) ) + ρ S η σ η E [ V ( t ) ] E [ 1 η ( t ) 2 ] ) P 1 η + ( κ V ( μ V V ( t ) ) + σ V E [ V ( t ) ] η ( t ) ) P 1 v + κ U ( μ U U ( t ) ) P 1 u + ( κ β ( μ β β ( t ) ) + ρ S β σ β E [ V ( t ) ] [ 1 β ( t ) 2 ] ) P 1 β

+ κ γ ( μ γ γ ( t ) ) P 1 γ + 1 2 V ( t ) 2 P 1 y 2 + 1 2 U ( t ) 2 P 1 z 2 + 1 2 σ V 2 V ( t ) 2 P 1 v 2 + 1 2 σ U 2 U ( t ) 2 P 1 u 2 + 1 2 σ β 2 ( 1 E [ β ( t ) 2 ] ) 2 P 1 β 2 + 1 2 σ η 2 ( 1 E [ η ( t ) 2 ] ) 2 P 1 η 2 + 1 2 σ γ 2 ( 1 E [ γ ( t ) 2 ] ) 2 P 1 γ 2 + β ( t ) E [ V ( t ) ] E [ U ( t ) ] 2 P 1 y z + σ V E [ V ( t ) ] η ( t ) 2 P 1 y v + σ U E [ U ( t ) ] γ ( t ) 2 P 1 z u

+ ρ S β σ β E [ V ( t ) ] E [ 1 β ( t ) 2 ] 2 P 1 β y + ρ S η σ η E [ V ( t ) ] E [ 1 η ( t ) 2 ] 2 P 1 η y + ρ X β σ β E [ U ( t ) ] E [ 1 β ( t ) 2 ] 2 P 1 z β + ρ X γ σ γ E [ U ( t ) ] E [ 1 γ ( t ) 2 ] 2 P 1 z γ = 0, (75)

and

P 2 t + ( r f 1 2 V ( t ) β ( t ) E [ V ( t ) ] E [ U ( t ) ] ) P 2 y + ( r d r f 1 2 U ( t ) ) P 2 z + κ η ( μ η η ( t ) ) P 2 η + κ V ( μ V V ( t ) ) P 2 v + κ U ( μ U U ( t ) ) P 2 u + κ β ( μ β β ( t ) ) P 2 β + κ γ ( μ γ γ ( t ) ) P 2 γ + 1 2 V ( t ) 2 P 2 y 2 + 1 2 U ( t ) 2 P 2 z 2 + 1 2 σ V 2 V ( t ) 2 P 2 v 2 + 1 2 σ U 2 U ( t ) 2 P 2 u 2 + 1 2 σ β 2 ( 1 E [ β ( t ) 2 ] ) 2 P 2 β 2 + 1 2 σ η 2 ( 1 E [ η ( t ) 2 ] ) 2 P 2 η 2

+ 1 2 σ γ 2 ( 1 E [ γ ( t ) 2 ] ) 2 P 2 γ 2 + β ( t ) E [ V ( t ) ] E [ U ( t ) ] 2 P 2 y z + σ V E [ V ( t ) ] η ( t ) 2 P 2 y v + σ U E [ U ( t ) ] γ ( t ) 2 P 2 z u + ρ S β σ β E [ V ( t ) ] E [ 1 β ( t ) 2 ] 2 P 2 β y

+ ρ S η σ η E [ V ( t ) ] E [ 1 η ( t ) 2 ] 2 P 2 η y + ρ X β σ β E [ U ( t ) ] E [ 1 β ( t ) 2 ] 2 P 2 z β + ρ X γ σ γ E [ U ( t ) ] E [ 1 γ ( t ) 2 ] 2 P 2 z γ = 0. (76)

As pointed out in the previous section, we know that the corresponding characteristic functions ϕ = ϕ j ( t , y , z , v , u , β , η , γ ; ω ) of P j , j = 1 , 2 , must also satisfy the PDEs (75) and (76), respectively. Their solutions can be found in a closed-form as stated in the next lemmas.

Lemma 4. The characteristic function of P 1 in (18), under the assumption that the correlation processes β ( t ) , η ( t ) and γ ( t ) follow a BJ process, is given by:

ϕ 1 BJ = exp ( A ˜ 1 ( τ , ω ) + B 1 ( τ , ω ) v ( t ) + C 1 ( τ , ω ) u ( t ) + D 1 ( τ , ω ) z ( t ) + E 1 ( τ , ω ) β ( t ) + F 1 ( τ , ω ) η ( t ) + G 1 ( τ , ω ) γ ( t ) + i ω y ( t ) ) , (77)

where B 1 , C 1 , D 1 , E 1 , F 1 and G 1 are as in Lemma 1, and where A ˜ 1 is given by:

A ˜ 1 ( τ , ω ) = r f i ω τ + κ V μ V H 1 ( τ , ω ) + ( κ η μ η + ( i ω + 1 ) ρ S η σ η m V q ^ η ) H 2 ( τ , ω ) + ( i ω + 1 ) ρ S η σ η ( m V H 3 ( τ , ω ) + m V r ^ η H 4 ( τ , ω ) + n V H 5 ( τ , ω ) + n V r ^ η H 6 ( τ , ω ) + n V q ^ η H 7 ( τ , ω ) ) + ( κ β μ β + ( i ω + 1 ) ρ S β σ β m V q ^ β ) H 8 ( τ , ω ) + ( i ω + 1 ) ρ S β σ β ( m V H 9 ( τ , ω ) + m V r ^ β H 10 ( τ , ω ) + n V H 11 ( τ , ω )

+ n V r ^ β H 12 ( τ , ω ) + n V q ^ β H 13 ( τ , ω ) ) + 1 2 ( σ β 2 ( 1 q β ) H 14 ( τ , ω ) + σ η 2 ( 1 q η ) H 15 ( τ , ω ) ) 1 2 ( σ β 2 ( H 16 ( τ , ω ) + r β H 17 ( τ , ω ) ) + σ η 2 ( H 18 ( τ , ω ) + r η H 19 ( τ , ω ) ) ) . (78)

The H functions in Equation (78) are defined as:

H 1 ( τ , ω ) = 0 τ B 1 ( s , ω ) d s , H 2 ( τ , ω ) = 0 τ F 1 ( s , ω ) d s , H 3 ( τ , ω ) = H ^ ( τ , ω , s ^ η ) , H 4 ( τ , ω ) = H ^ ( τ , ω , p ^ η ) , H 5 ( τ , ω ) = H ^ ( τ , ω , l V + s ^ η ) , H 6 ( τ , ω ) = H ^ ( τ , ω , l V + p ^ η ) , H 7 ( τ , ω ) = H ^ ( τ , ω , l V ) , H 8 ( τ , ω ) = 0 τ E 1 ( s , ω ) d s , H 9 ( τ , ω ) = H ¯ ( τ , ω , s ^ β ) , H 10 ( τ , ω ) = H ¯ ( τ , ω , p ^ β ) ,

H 11 ( τ , ω ) = H ¯ ( τ , ω , l V + s ^ β ) , H 12 ( τ , ω ) = H ¯ ( τ , ω , l V + p ^ β ) , H 13 ( τ , ω ) = H ¯ ( τ , ω , l V ) , H 14 ( τ , ω ) = 0 τ E 1 ( s , ω ) 2 d s , H 15 ( τ , ω ) = 0 τ F 1 ( s , ω ) 2 d s , H 16 ( τ , ω ) = H ( τ , ω , s β ) , H 17 ( τ , ω ) = H ( τ , ω , p β ) , H 18 ( τ , ω ) = H ( τ , ω , s η ) , H 19 ( τ , ω ) = H ( τ , ω , p η ) , (79)

where the functions H ^ , H ¯ , H and H are given by:

H ^ ( τ , ω , a ) = 0 τ e a ( T s ) F 1 ( s , ω ) d s , H ¯ ( τ , ω , a ) = 0 τ e a ( T s ) E 1 ( s , ω ) d s , H ( τ , ω , a ) = 0 τ e a ( T s ) E 1 2 ( s , ω ) d s , H ( τ , ω , a ) = 0 τ e a ( T s ) F 1 2 ( s , ω ) d s , (80)

and all the other parameters have been already defined in Lemma 1.

Proof. See Appendix A.3.

Lemma 5. The characteristic function of P 2 in (18), under the assumption that the correlation processes β ( t ) , η ( t ) and γ ( t ) follow an BJ process, is given by:

ϕ 2 BJ = exp ( A ˜ 2 ( τ , ω ) + B 2 ( τ , ω ) v ( t ) + C 2 ( τ , ω ) u ( t ) + D 2 ( τ , ω ) z ( t ) + E 2 ( τ , ω ) β ( t ) + F 2 ( τ , ω ) η ( t ) + G 2 ( τ , ω ) γ ( t ) + i ω y ( t ) ) , (81)

where B 2 , C 2 , D 2 , E 2 , F 2 and G 2 are as in Lemma 2, and where A ˜ 2 is given by:

A ˜ 2 ( τ , ω ) = r f i ω τ + κ V μ V H ˜ 1 ( τ , ω ) + ( κ η μ η + i ω ρ S η σ η m V q ^ η ) H ˜ 2 ( τ , ω ) + i ω ρ S η σ η ( m V H ˜ 3 ( τ , ω ) + m V r ^ η H ˜ 4 ( τ , ω ) + n V H ˜ 5 ( τ , ω ) + n V r ^ η H ˜ 6 ( τ , ω ) + n V q ^ η H ˜ 7 ( τ , ω ) ) + ( κ β μ β + i ω ρ S β σ β m V q ^ β ) H ˜ 8 ( τ , ω ) + i ω ρ S β σ β ( m V H ˜ 9 ( τ , ω ) + m V r ^ β H ˜ 10 ( τ , ω ) + n V H ˜ 11 ( τ , ω )

+ n V r ^ β H ˜ 12 ( τ , ω ) + n V q ^ β H ˜ 13 ( τ , ω ) ) + 1 2 ( σ β 2 ( 1 q β ) H ˜ 14 ( τ , ω ) + σ η 2 ( 1 q η ) H ˜ 15 ( τ , ω ) ) 1 2 ( σ β 2 ( H ˜ 16 ( τ , ω ) + r β H ˜ 17 ( τ , ω ) ) + σ η 2 ( H ˜ 18 ( τ , ω ) + r η H ˜ 19 ( τ , ω ) ) ) . (82)

The H ˜ functions in Equation (82) are defined as:

H ˜ 1 ( τ , ω ) = 0 τ B 2 ( s , ω ) d s , H ˜ 2 ( τ , ω ) = 0 τ F 2 ( s , ω ) d s , H ˜ 3 ( τ , ω ) = K ^ ( τ , ω , s ^ η ) , H ˜ 4 ( τ , ω ) = K ^ ( τ , ω , p ^ η ) , H ˜ 5 ( τ , ω ) = K ^ ( τ , ω , l V + s ^ η ) , H ˜ 6 ( τ , ω ) = K ^ ( τ , ω , l V + p ^ η ) , H ˜ 7 ( τ , ω ) = K ^ ( τ , ω , l V ) , H ˜ 8 ( τ , ω ) = 0 τ E 2 ( s , ω ) d s , H ˜ 9 ( τ , ω ) = K ¯ ( τ , ω , s ^ β ) , H ˜ 10 ( τ , ω ) = K ¯ ( τ , ω , p ^ β ) ,

H ˜ 11 ( τ , ω ) = K ¯ ( τ , ω , l V + s ^ β ) , H ˜ 12 ( τ , ω ) = K ¯ ( τ , ω , l V + p ^ β ) , H ˜ 13 ( τ , ω ) = K ¯ ( τ , ω , l V ) , H ˜ 14 ( τ , ω ) = 0 τ E 2 ( s , ω ) 2 d s , H ˜ 15 ( τ , ω ) = 0 τ F 2 ( s , ω ) 2 d s , H ˜ 16 ( τ , ω ) = K ( τ , ω , s β ) , H ˜ 17 ( τ , ω ) = K ( τ , ω , p β ) , H ˜ 18 ( τ , ω ) = K ( τ , ω , s η ) , H ˜ 19 ( τ , ω ) = K ( τ , ω , p η ) , (83)

where the functions K ^ , K ¯ , K and K are given by:

K ^ ( τ , ω , a ) = 0 τ e a ( T s ) F 2 ( s , ω ) d s , K ¯ ( τ , ω , a ) = 0 τ e a ( T s ) E 2 ( s , ω ) d s , K ( τ , ω , a ) = 0 τ e a ( T s ) E 2 2 ( s , ω ) d s , K ( τ , ω , a ) = 0 τ e a ( T s ) F 2 2 ( s , ω ) d s , (84)

and where all the other parameters have been already defined in Lemma 2.

The proof of Lemma 5 is similar to the one for Lemma 4 and is left to the reader.

Lemma 6. Let

ξ = t T β ( s ) d s

be an integrated correlation process, where β ( t ) follows a BJ process.

Then, we have that

E [ e V ( 0 ) U ( 0 ) 0 t β ( s ) d s ] = e δ ˜ ( t ) β ( 0 ) χ ˜ ( t ) , (85)

with

δ ˜ ( t ) = V ( 0 ) U ( 0 ) κ β ( 1 e κ β t ) , (86)

χ ˜ ( t ) = V ( 0 ) U ( 0 ) σ β 2 2 κ β 2 ( 2 ( e ( κ β + s β ) t 1 ) κ β + s β + 2 r β ( e ( κ β + p β ) t 1 ) κ β + p β e ( 2 κ β + s β ) t 1 2 κ β + s β r β ( e ( 2 κ β + p β ) t 1 ) 2 κ β + p β

+ 2 ( q β 1 ) ( e κ β t 1 ) κ β ( q β 1 ) ( e 2 κ β t 1 ) 2 κ β e s β t 1 s β r β ( e p β t 1 ) p β + ( q β 1 ) t ) + V ( 0 ) U ( 0 ) t κ β + U ( 0 ) V ( 0 ) ( e κ β t 1 ) κ β 2 , (87)

where q , r , s , p have been defined in Proposition 2.

5. Monte Carlo Model Simulation: A Numerical Scheme

In this section, we discuss how to simulate the paths for the model in Equation (7) in order to compute the price of FX quanto options applying Monte Carlo simulation. In particular, we need to generate random paths of ( U ( t ) , V ( t ) , η ( t ) , γ ( t ) , β ( t ) , Z ( t ) , Y ( t ) ) for all t { t i } i = 1 N T 4.

To be more precise, for an arbitrary time increment Δ , we need to generate a random sample of ( U ( t + Δ ) , V ( t + Δ ) , η ( t + Δ ) , γ ( t + Δ ) , β ( t + Δ ) , Z ( t + Δ ) , Y ( t + Δ ) ) for given ( U ( t ) , V ( t ) , η ( t ) , γ ( t ) , β ( t ) , Y ( t ) ) .

Repeated application of the resulting one period scheme will generate a full path:

( U ( t ) , V ( t ) , η ( t ) , γ ( t ) , β ( t ) , Z ( t ) , Y ( t ) ) , t T ,

for the model

( d U ( t ) = [ κ U ( μ U U ( t ) ) λ U ( t ) ] d t + σ U U ( t ) d W U ( t ) , d V ( t ) = [ κ V ( μ V V ( t ) ) λ V ( t ) ] d t + σ V V ( t ) d W V ( t ) , d γ ( t ) = ( c ( t , γ ( t ) ) λ γ ( t ) ) d t + d ( t , γ ( t ) ) d W γ ( t ) , γ ( 0 ) [ 1,1 ] , d η ( t ) = ( a ( t , η ( t ) ) λ η ( t ) ) d t + b ( t , η ( t ) ) d W η ( t ) , η ( 0 ) [ 1,1 ] , d β ( t ) = ( f ( t , β ( t ) ) λ β ( t ) ) d t + g ( t , β ( t ) ) d W β ( t ) , β ( 0 ) [ 1,1 ] , d Z ( t ) = ( r d r f 1 2 U ( t ) ) d t + U ( t ) d W X ( t ) , d Y ( t ) = ( r f 1 2 V ( t ) β ( t ) V ( t ) U ( t ) ) d t + V ( t ) d W S ( t ) , (88)

5.1. Cholesky Decomposition

4As mentioned in Section 2, we apply the log-transform to the underlying asset S, Y(t) = lnS(t), and to the exchange rate X, Z(t) = lnX(t).

As pointed out in [8] , a straight discretization of the model in Equation (88) may lead to the problem of leaking correlation. To tackle this problem, we reformulated the system of SDEs (88) with respect to independent Brownian motions as defined below:

{ d W U ( t ) = d W ^ U ( t ) , d W V ( t ) = d W ^ V ( t ) , d W γ ( t ) = d W ^ γ ( t ) , d W η ( t ) = d W ^ η ( t ) , d W β ( t ) = d W ^ β ( t ) , d W X ( t ) = γ ( t ) d W ^ U ( t ) + ρ X γ d W ^ γ ( t ) + ρ X β d W ^ β ( t ) + 1 γ ( t ) 2 ρ X γ 2 ρ X β 2 d W ^ X ( t ) , d W S ( t ) = η ( t ) d W ^ V ( t ) + ρ S β d W ^ β ( t ) + ρ ˜ SX d W ^ X ( t ) + 1 η ( t ) 2 ρ S β 2 ρ ˜ SX 2 d W ^ S ( t ) , (89)

where

ρ ˜ SX β ( t ) ρ X β ρ S β 1 γ ( t ) 2 ρ X γ 2 ρ X β 2 [ 1,1 ] , (90)

under the conditions that

γ ( t ) 2 + ρ X γ 2 + ρ X β 2 < 1, η ( t ) 2 + ρ S β 2 + ρ ˜ SX 2 < 1. (91)

Therefore, the Cholesky decomposition of the correlation matrix R defined in Section 2 can be easily calculated. In the following sections we will discuss the discretization schemes for each of the processes in Equation (88).

5.2. Discretization Scheme for U(t) and V(t)

To discretize the variance processes U ( t ) and V ( t ) , we employ the full truncation scheme as in [9] , which reads as:

( ν ^ ( t + Δ ) = ν ( t ) + μ ν κ ν Δ κ ν Δ max ( ν ( t ) ,0 ) + σ ν max ( ν ( t ) ,0 ) Δ Z ν , ν ( t + Δ ) = max ( ν ( t + Δ ) ,0 ) , (92)

which is a valid alternative to the Quadratic-Exponential (QE) scheme proposed in [8] .

5.3. Discretization Scheme for η ( t ) , γ ( t ) and β (t)

Let us assume first that the correlation processes η ( t ) , γ ( t ) and β ( t ) follow an OU process. It is well know that if the process ρ ( t ) follows an OU dynamics

d ρ ( t ) = κ ρ ( μ ρ ρ ( t ) ) d t + σ ρ d W ρ ( t ) ,

then its exact solution at time t + Δ , given the information available at time t is given by:

ρ ( t + Δ ) = ρ ( t ) e κ ρ Δ + μ ρ ( 1 e κ ρ Δ ) + σ ρ 1 e 2 κ ρ Δ 2 κ ρ Z ρ , (93)

where Z ρ is a standard Gaussian random variable.

If we instead assume that the correlation processes γ ( t ) , η ( t ) and γ ( t ) , follow a BJ dynamics, then its SDE is given by:

d ρ ( t ) = κ ρ ( μ ρ ρ ( t ) ) d t + σ ρ 1 ρ ( t ) 2 d W ρ ( t ) , for ρ { γ , η , β } .

Given the lack of an explicit solution for the above SDE, we propose to discretize the dynamics of ρ ( t ) via either the Euler scheme

ρ ( t + Δ ) ρ ^ ( t + Δ ) = κ ρ μ ρ Δ + ( 1 κ ρ Δ ) ρ ^ ( t ) + σ ρ 1 ρ ^ ( t ) 2 Δ Z ρ , (94)

or via the Milstein scheme

ρ ( t + Δ ) ρ ^ ( t + Δ ) = κ ρ μ ρ Δ + ( 1 κ ρ Δ ) ρ ^ ( t ) + σ ρ 1 ρ ^ ( t ) 2 Δ Z ρ 1 2 σ ρ 2 ρ ^ ( t ) Δ ( Z ρ 2 1 ) . (95)

5.4. Discretization Scheme for Y(t) and Z(t)

To discretize the dynamics for the log-underlying price Y ( t ) = ln S ( t ) and for the log-FX rate Z ( t ) = ln X ( t ) , we employ the Euler scheme based on the Cholesky decomposition presented in Section 5.1. In particular, we have that

Z ^ ( t + Δ ) = Z ^ ( t ) + ( r d r f 1 2 U ^ ( t ) ) Δ + U ^ ( t ) Δ ( γ ^ ( t ) Z ^ U + ρ X γ Z ^ γ + ρ X β Z ^ β + 1 γ ^ ( t ) 2 ρ X γ 2 ρ X β 2 Z ^ X ) , (96)

and

Y ^ ( t + Δ ) = Y ^ ( t ) + ( r f 1 2 V ^ ( t ) β ^ ( t ) U ^ ( t ) V ^ ( t ) ) Δ + V ^ ( t ) Δ ( η ^ ( t ) Z ^ V + ρ S β Z ^ β + ρ ˜ SX Z ^ X + 1 η ^ ( t ) 2 ρ S β 2 ρ ˜ SX 2 Z ^ S ) . (97)

We conclude this section by remarking that, although the FX rate does not explicitly enter in the payoff of a quanto option, we do still need to simulate it, as the standard Gaussian random variable Z ^ X enters explicitly in the dynamics for the log-underlying price Y, as shown in Equation (97).

6. Numerical Experiments

In this section we compare the option prices using the closed-form approximation Formula (18) to the prices computed by performing a Monte Carlo simulation according to the numerical scheme presented in Section 5. In particular, we have considered quanto call options on a foreign stock priced in the domestic currency, where the majority of the model parameters are defined at the bottom of Table 1.

In Table 1 we have reported the results using different stochastic processes specification (namely the Ornstein-Uhlenbeck and the bounded Jacobi processes) and for different strikes. Six different scenarios have been considered under the following assumptions (as said all the other model parameters are at the bottom of the table and they have been kept fixed along the scenarios):

1) β ( 0 ) = μ β = 0 and ρ S β = ρ X β = ρ S η = ρ X γ = 0 ,

2) β ( 0 ) = 0, μ β = 0.5 and ρ S β = ρ X β = ρ S η = ρ X γ = 0 ,

3) β ( 0 ) = 0, μ β = 0.5 and ρ S β = ρ X β = ρ S η = ρ X γ = 0 ,

4) β ( 0 ) = μ β = 0 , ρ S β = ρ X β = 0.5 and ρ S η = ρ X γ = 0 ,

Table 1. The other parameters are assumed as: S ( 0 ) = 100 , X ( 0 ) = 1 , r d = 0.03 , r f = 0.05 , T = 1 , U ( 0 ) = V ( 0 ) = 0.02 , μ U = μ V = 0.03 , κ U = κ V = 2.1 , σ U = σ V = 0.1 , and η ( 0 ) = γ ( 0 ) = 0.2 , μ η = μ γ = 0.3 , κ η = κ γ = 3.4 , σ η = σ γ = 0.1 . The numbers in round brackets represent the standard deviations. The number of Monte Carlo simulations is equal to 100,000.

5) β ( 0 ) = μ β = 0 , ρ S β = ρ X β = 0.5 and ρ S η = ρ X γ = 0 ,

6) β ( 0 ) = μ β = 0 , ρ S β = ρ X β = 0.5 and ρ S η = ρ X γ = 0.5 .

As pointed out in [2] and in [1] , one should choose a large value for the mean reversion rate of the correlation processes and a small value for the volatility coefficient in order to ensure that the generated correlations by the OU process lie in the interval ( 1,1 ) , while for the BJ process the condition in Equation (58) has to be fulfilled. Besides that, care has to be taken also in the choice of the other model parameters for the stochastic processes (namely the initial value and the long term mean level) because of the conditions implied by the Cholesky decomposition, see Equation (91). We remark that in all the scenarios considered in this Section all the model constraints have been taken into account.

If we look at the relative errors reported in Table 1, we can see that the approximations in both models give accurate results, but the accuracy of the approximation decreases when passing from in-the-money to out-of-the-money options. If we consider Scenarios 1 - 3 first, we can see the effect of changing the long-term mean level for the correlation process β ( t ) on the option value. Indeed, the fact that the price in Scenario 2 (resp. 3) is lower (higher) than the one in Scenario 1 can be explained from the fact that the drift of the underlying process decreases (increases), under the same volatility assumption. If we compare Scenarios 4 and 5 with Scenario 1, we can see that increasing (decreasing) the correlations between the stochastic drivers for the underlying price (resp. FX rate) and the correlation process β does not have a huge impact on the option price. This has been already noted in [2] and it is due to the fact that we are pricing the option under a low volatility regime for the correlation process β . Also, this explains as well why the option price given by the two model specifications for the correlation process are very close. The same conclusion holds for Scenario 6 where we have assumed a non-zero correlation between the stochastic drivers for the underlying price (resp. FX rate) and the correlation process η (resp. γ ).

7. Conclusion and Future Work

In this paper we have incorporated a stochastic correlation structure into the pricing of FX quanto options where both the dynamics for the underlying asset and for the exchange rate are given by a stochastic volatility model. This has been done not only assuming a stochastic correlation between the underlying asset and its variance process (and the same between the exchange rate and its variance process), but also assuming a stochastic correlation between the underlying asset and the exchange rate. In particular, under the assumption that the set of stochastic correlation processes follow an Ornstein-Uhlenbeck and a bounded Jacobi process respectively, we have derived a closed-form approximation for the characteristic function of the underlying asset, by approximating non-affine terms in the model dynamics. The comparison of both approximations with the Monte Carlo method has also been discussed. Given the fact that the analytical tractability of the formulas allows for fast pricing and calibration purposes, improvements of the present work could be to focus on the calibration of the model parameters by looking at real market quotes from the FX market and also to run more scenario analysis under stressed market conditions. We leave them as future work.

Acknowledgements

We thank the Editor and two referees for their comments.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

Cite this paper

Pellegrino, T. (2019) Embedding Stochastic Correlation into the Pricing of FX Quanto Options under Stochastic Volatility Models. Journal of Mathematical Finance, 9, 455-493. https://doi.org/10.4236/jmf.2019.93025

References

  1. 1. Teng, L., Ehrhardt, M. and Günther, M. (2018) Quanto Pricing in Stochastic Correlation Models. International Journal of Theoretical and Applied Finance, 21, Article ID: 1850038. https://doi.org/10.1142/S0219024918500383

  2. 2. Teng, L., Ehrhardt, M. and Günther, M. (2016) On the Heston Model with Stochastic Correlation. International Journal of Theoretical and Applied Finance, 19, Article ID: 1650033. https://doi.org/10.1142/S0219024916500333

  3. 3. Heston, S.L. (1993) A Closed-Form Solution for Options with Stochastic Volatility with Applications to Bond and Currency Options. The Review of Financial Studies, 6, 327-343.

  4. 4. Cox, J.C., Ingersoll, J.E. and Ross, S.A. (1985) A Theory of the Term Structure of Interest Rates. Econometrica, 53, 385-407. https://doi.org/10.2307/1911242

  5. 5. Grzelak, L.A. and Oosterlee, C.W. (2011) On the Heston Model with Stochastic Interest Rates. SIAM Journal on Financial Mathematics, 2, 255-286.https://doi.org/10.1137/090756119

  6. 6. Van Emmerich, C. (2006) Modelling Correlation as a Stochastic Process. University of Wuppertal, Wuppertal.

  7. 7. Van Emmerich, C. (2007) A Square Root Process for Modelling Correlation. University of Wuppertal, Wuppertal.

  8. 8. Andersen, L. (2008) Simple and Efficient Simulation of the Heston Stochastic Volatility Model. Journal of Computational Finance, 11, 1-42.https://doi.org/10.21314/JCF.2008.189

  9. 9. Lord, R., Koekkoek, R. and van Dijk, D. (2010) A Comparison of Biased Simulation Schemes for Stochastic Volatility Models. Quantitative Finance, 10, 177-194. https://doi.org/10.1080/14697680802392496

Appendix

A.1. The Proof of Proposition 1

In order to find a first order approximation for E [ ν ( t ) ] we can apply the so-called delta method which states that a function ϕ ( X ) can be approximated by a first order Taylor expansion around E [ X ] , for a given random variable X, with expectation E [ X ] and variance Var [ X ] , under the assumption that the first two moments of X exist and that the first derivative of ϕ ( X ) with respect to X exists and is sufficiently smooth.

Therefore, we obtain by first order Taylor expansion:

ϕ ( X ) ϕ ( E [ X ] ) + ( X E [ X ] ) X ϕ ( E [ X ] ) . (98)

Now, the variance of ϕ ( X ) can be approximated by taking the variance of the right-hand side of Equation (98), which reads as follows:

Var [ ϕ ( X ) ] Var [ ϕ ( E [ X ] ) + ( X E [ X ] ) X ϕ ( E [ X ] ) ] = ( X ϕ ( E [ X ] ) ) 2 Var [ X ] . (99)

Now, if we apply this result to the function ϕ ( ν ( t ) ) = ν ( t ) , we have that

Var [ ν ( t ) ] ( 1 2 1 E [ ν ( t ) ] ) 2 Var [ ν ( t ) ] = 1 4 Var [ ν ( t ) ] E [ ν ( t ) ] . (100)

Besides it, we know from the definition of variance that

Var [ ν ( t ) ] = E [ v ( t ) ] ( E [ ν ( t ) ] ) 2 , (101)

and combining Equaitons (100) and (101), we obtain the following approximation for E [ ν ( t ) ] :

E [ ν ( t ) ] E [ ν ( t ) ] 1 4 Var [ ν ( t ) ] E [ ν ( t ) ] . (102)

Since ν ( t ) is a square root process, then its explicit solution at time t is given by:

ν ( t ) = ν ( 0 ) e κ ν t + μ ν ( 1 e κ ν t ) + σ ν 0 t e κ ν ( s t ) ν ( s ) d W ν ( s ) . (103)

Further calculations show that the expectation and the variance of ν ( t ) can be expressed as follows:

E [ ν ( t ) ] = a ˜ ν ( t ) ( b ˜ ν + c ˜ ν ( t ) ) , Var [ ν ( t ) ] = a ˜ ν ( t ) 2 ( 2 b ˜ ν + 4 c ˜ ν ( t ) ) , (104)

where the coefficients a ˜ ν ( t ) , b ν , c ν ( t ) are given by:

a ˜ ν ( t ) = σ ν 2 4 κ ν ( 1 e κ ν t ) , b ˜ ν = 4 κ ν μ ν σ ν 2 , c ˜ ν ( t ) = 4 κ ν ν ( 0 ) e κ ν t σ ν 2 ( 1 e κ ν t ) . (105)

Now, substituting these expressions in Equation (102) gives

E [ ν ( t ) ] a ˜ ν ( t ) ( b ˜ ν + c ˜ ν ( t ) ) 1 4 a ˜ ν ( t ) 2 ( 2 b ˜ ν + 4 c ˜ ν ( t ) ) a ˜ ν ( t ) ( b ˜ ν + c ˜ ν ( t ) ) = a ˜ ν ( t ) ( c ˜ ν ( t ) 1 ) + a ˜ ν ( t ) b ˜ ν + a ˜ ν ( t ) b ˜ ν 2 ( b ˜ ν + c ˜ ν ( t ) ) . (106)

Finally, if we denote by Λ ( t ) the above expectation, then Λ ( t ) can be further approximated by a function of the following form:

Λ ( t ) Λ ˜ ( t ) = m ν + n ν e l ν t , (107)

where the coefficients m ν , n ν , l ν are found by matching the functions Λ ( t ) and Λ ˜ ( t ) for t + , t 0 and for t 1 .

In particular, it can be proved that (see Result 3.3 in [5] )

{ lim t + Λ ( t ) = μ ν σ ν 2 8 κ ν = m ν = lim t + Λ ˜ ( t ) , lim t 0 Λ ( t ) = ν ( 0 ) = m ν + n ν = lim t 0 Λ ˜ ( t ) , lim t 1 Λ ( t ) = Λ ( 1 ) = m ν + n ν e l ν = lim t 1 Λ ˜ ( t ) , (108)

from which it follows that

m ν = μ ν σ ν 2 8 κ ν , n ν = ν 0 m ν , l ν = ln ( d ^ ν m ν n ν ) , (109)

where we have defined

d ^ ν = ( ν 0 e κ ν σ ν 2 ( 1 e κ ν ) 4 κ ν ) + μ ν ( 1 e κ ν ) + σ ν 2 μ ν ( 1 e κ ν ) 2 8 κ ν μ ν + 8 κ ν e κ ν ( ν 0 μ ν ) . (110)

This completes the proof.

A.2. The Proof of Lemma 1

Since the system generating the pricing PDE for P 1 (30) is of affine form, we look for a solution ϕ 1 = ϕ 1 ( τ , ω ) of the following form:

ϕ 1 OU = exp ( A 1 ( τ , ω ) + B 1 ( τ , ω ) v ( t ) + C 1 ( τ , ω ) u ( t ) + D 1 ( τ , ω ) z ( t ) + E 1 ( τ , ω ) β ( t ) + F 1 ( τ , ω ) η ( t ) + G 1 ( τ , ω ) γ ( t ) + i ω y ( t ) ) , (111)

with

A 1 ( 0 , ω ) = B 1 ( 0 , ω ) = C 1 ( 0 , ω ) = D 1 ( 0 , ω ) = E 1 ( 0 , ω ) = F 1 ( 0 , ω ) = G 1 ( 0 , ω ) = 0 .

Substituting all the partial derivatives of ϕ 1 into (30) gives:

( A 1 τ + v B 1 τ + u C 1 τ + z D 1 τ + β E 1 τ + η F 1 τ + γ G 1 τ ) + ( r f + 1 2 v β E [ v ] E [ u ] ) i ω + ( r d r f 1 2 u + β E [ v ] E [ u ] ) D 1 + ( κ η ( μ η η ) + ρ S η σ η E [ v ] ) F 1 + ( κ V ( μ V v ) + σ V E [ v ] η ) B 1 + κ U ( μ U u ) C 1 + ( κ β ( μ β β ) + ρ S β σ β E [ v ] ) E 1 + κ γ ( μ γ γ ) G 1

1 2 ω 2 v + 1 2 u D 1 2 + 1 2 σ V 2 v B 1 2 + 1 2 σ U 2 u C 1 2 + 1 2 σ β 2 E 1 2 + 1 2 σ η 2 F 1 2 + 1 2 σ γ 2 G 1 2 + β E [ v ] [ u ] i ω D 1 + σ V E [ v ] η i ω B 1 + σ U E [ u ] γ D 1 C 1 + ρ S β σ β E [ v ] i ω E 1 + ρ S η σ η E [ v ] i ω F 1 + ρ X β σ β E [ u ] D 1 E 1 + ρ X γ σ γ E [ u ] D 1 G 1 = 0. (112)

Now, collecting together homogenous terms in y , z , v , u , β , η , γ gives the following system of equations:

B 1 τ + κ V B 1 1 2 σ V 2 B 1 2 + 1 2 ω ( ω i ) = 0, (113)

C 1 τ + κ U C 1 1 2 σ U 2 C 1 2 1 2 D 1 ( D 1 1 ) = 0, (114)

D 1 τ = 0, (115)

E 1 τ + κ β E 1 E [ u ] E [ v ] ( i ω ( D 1 1 ) + D 1 ) = 0, (116)

F 1 τ + κ η F 1 σ V E [ v ] B 1 ( i ω + 1 ) = 0, (117)

G 1 τ + κ γ G 1 σ U E [ u ] D 1 C 1 = 0, (118)

and

A 1 τ = r f i ω + ( κ η μ η + ρ S η σ η E [ v ] ( i ω + 1 ) ) F 1 + κ V μ V B 1 + κ U μ U C 1 + ( κ β μ β + ρ S β σ β E [ v ] ( i ω + 1 ) ) E 1 + κ γ μ γ G 1 + 1 2 σ β 2 E 1 2 + 1 2 σ η 2 F 1 2 + 1 2 σ γ 2 G 1 2 + ρ X β σ β E [ u ] D 1 E 1 + ρ X γ σ γ E [ u ] D 1 G 1 + ( r d r f ) D 1 . (119)

From Equation (115), due to the initial condition D 1 ( 0, ω ) = 0 , we obtain D 1 ( τ , ω ) 0 , which is consistent with the fact that the option payoff does not depend explicitly on the exchange rate Z ( t ) = ln X ( t ) .

The fact that D 1 ( τ , ω ) = 0 implies that also G 1 ( τ , ω ) = 0 , because of the initial condition G 1 ( 0, ω ) = 0 .

Calculation of B 1 ( τ , ω )

Equation (113) is a Riccati equation, whose corresponding second order ordinary differential equation (ODE) reads as follows:

θ + κ V θ 1 4 σ V 2 ω ( ω i ) = 0. (120)

The solution of the above equation is:

θ 1,2 = κ V ± κ V 2 + σ V 2 ω ( ω i ) 2 ,

and therefore, the solution of the Riccati Equation (113) is given by:

B 1 ( τ , ω ) = 2 σ V 2 ( θ 3 θ 1 e θ 1 τ + θ 2 e θ 2 τ θ 3 e θ 1 τ + e θ 2 τ ) .

Using the initial condition B ( 0 , ω ) = 0 , we find that the constant is equal to θ 3 = θ 2 θ 1 .

Further calculations show that B 1 ( τ , ω ) can be expressed as follows:

B 1 ( τ , ω ) = 2 θ 2 σ V 2 1 e ( θ 1 θ 2 ) τ 1 θ 2 θ 1 e ( θ 1 θ 2 ) τ . (121)

Now, it can be shown that

θ 2 θ 1 = B ¯ 2 = κ V + κ V 2 + σ V 2 ω ( ω i ) κ V + κ V 2 + σ V 2 ω ( ω i ) = κ V + B ¯ 1 κ V + B ¯ 1 , (122)

θ 1 θ 2 = B ¯ 1 , 2 θ 2 σ V 2 = κ V B ¯ 1 σ V 2 , with B ¯ 1 = κ V 2 + σ V 2 ω ( ω i ) , (123)

and hence B 1 ( τ , ω ) reads as:

B 1 ( τ , ω ) = κ V B ¯ 1 σ V 2 1 e B ¯ 1 τ 1 B ¯ 2 e B ¯ 1 τ . (124)

Calculation of C 1 ( τ , ω )

If we focus now on Equation (114), this is again a Riccati-type equation in C 1 and its corresponding second order ODE reads as:

θ + κ U θ = 0, (125)

and θ 1 = κ U , θ 2 = 0 .

A general solution for C 1 can therefore be written as follows:

C 1 ( τ , ω ) = 2 σ U 2 θ 3 θ 1 e θ 1 τ + θ 2 e θ 2 τ θ 1 e θ 1 τ + e θ 2 τ , (126)

but due to the initial condition C 1 ( 0, ω ) = 0 , we have θ 3 = 0 , and hence C 1 ( τ , ω ) = 0 .

Calculation of E 1 ( τ , ω )

Equation (116) can be re-written as follows:

E 1 τ + κ β E 1 + E [ u ] E [ v ] i ω = 0,

where we know that (see Proposition 1)

E [ v ( t ) ] m V + n V e l V ( T τ ) and E [ u ( t ) ] m U + n U e l U ( T τ ) .

Since

E [ v ( t ) ] E [ u ( t ) ] = m V m U + m V n U e l U ( T τ ) + m U n V e l V ( T τ ) + n U n V e ( l U + l V ) ( T τ ) , (127)

the solution for the first-order ODE in E 1 reads as:

E 1 ( τ , ω ) = ( i ω ) e κ β τ 0 τ e κ β s ( m V m U + m V n U e l U ( T s ) + m U n V e l V ( T s ) + n U n V e ( l U + l V ) ( T s ) ) d s . (128)

Further calculations show that

E 1 ( τ , ω ) = i ω [ m V m U κ β ( 1 e κ β τ ) + m V n U κ β + l U e l U ( T τ ) ( 1 e ( κ β + l U ) τ ) + m U n V κ β + l V e l V ( T τ ) ( 1 e ( κ β + l V ) τ ) + n U n V κ β + l U + l V e ( l U + l V ) ( T τ ) ( 1 e ( κ β + l U + l V ) τ ) ] . (129)

Calculation of F 1 ( τ , ω )

We look then at Equation (117):

F 1 τ + κ η F 1 = σ V E [ v ] B 1 ( i ω + 1 ) ,

where we know that

E [ v ( t ) ] = ( v ( 0 ) μ V ) e κ V ( T τ ) + μ V and B 1 ( τ , ω ) = κ V B ¯ 1 σ V 2 1 e B ¯ 1 τ 1 B ¯ 2 e B ¯ 1 τ .

As done in Teng et al. (2016) (Appendix B.1) we approximate the term

1 e B ¯ 1 τ 1 B ¯ 2 e B ¯ 1 τ 1 e B ¯ 3 τ , with B ¯ 3 = ln ( e B ¯ 1 B ¯ 2 e B ¯ 1 1 B ¯ 2 e B ¯ 1 ) ,

from which it follows that

F 1 τ + κ η F 1 = κ V B ¯ 1 σ V ( i ω + 1 ) ( 1 e B ¯ 3 τ ) ( μ V + ( v ( 0 ) μ V ) e κ V ( T τ ) ) , (130)

whose solution reads as (since we have F 1 ( 0, ω ) = 0 ):

F 1 ( τ , ω ) = ( μ V v ( 0 ) ) B ^ 1 κ η + κ V B ¯ 3 e ( κ V B ¯ 3 ) τ κ V T + ( v ( 0 ) μ V ) B ^ 1 κ η + κ V e κ V ( τ T ) + μ V B ^ 1 κ η μ V B ^ 1 κ η B ¯ 3 e B ¯ 3 τ + B ^ 1 B ^ 2 e κ η τ , (131)

with

B ^ 1 = i ω + 1 σ V ( κ V B ¯ 1 ) , (132)

and

B ^ 2 = μ V κ V v ( 0 ) μ V κ η + κ V e κ V T μ V v ( 0 ) κ η + κ V B ¯ 3 e κ V T + μ V κ η B ¯ 3 . (133)

Calculation of A 1 ( τ , ω )

The last term to be computed is A 1 :

A 1 ( τ , ω ) = r f i ω τ + 0 τ ( κ η μ η + ( i ω + 1 ) ρ S η σ η E [ v ( T s ) ] ) F 1 ( s , ω ) d s + κ V μ V 0 τ B 1 ( s , ω ) d s + 0 τ ( κ β μ β + ( i ω + 1 ) ρ S β σ β E [ v ( T s ) ] ) × E 1 ( s , ω ) d s + 1 2 [ σ β 2 0 τ E 1 2 ( s , ω ) d s + σ η 2 0 τ F 1 2 ( s , ω ) d s ] . (134)

In particular, it can be proved (after tedious calculations) that

κ V μ V 0 τ B 1 ( s , ω ) d s = κ V μ V σ V 2 ( ( κ V B ¯ 1 ) τ 2 ln ( 1 B ¯ 2 e B ¯ 1 τ 1 B ¯ 2 ) ) , (135)

κ η μ η 0 τ F 1 ( s , ω ) d s = κ η μ η [ ( v ( 0 ) μ V ) B ^ 1 e κ V T κ η + κ V B ¯ 3 1 e ( κ V B ¯ 3 ) τ κ V B ¯ 3 + ( μ V v ( 0 ) ) B ^ 1 e κ V T κ η + κ V ( 1 e κ V τ ) + μ V B ^ 1 κ η τ μ V B ^ 1 B ¯ 3 ( κ η B ¯ 3 ) ( 1 e B ¯ 3 τ ) + B ^ 1 B ^ 2 κ η ( 1 e κ η τ ) ] . (136)

Besides that, we notice that

0 τ E [ v ( T s ) ] F 1 ( s , ω ) d s m V 0 τ F 1 ( s , ω ) d s + n V 0 τ e l V ( T s ) F 1 ( s , ω ) d s , (137)

where

0 τ e l V ( T s ) F 1 ( s , ω ) d s = ( μ V v ( 0 ) ) e ( κ V + l V ) T κ η + κ V B ¯ 3 e ( l V + κ V B ¯ 3 ) τ 1 l V + κ V B ¯ 3 + ( v ( 0 ) μ V ) e ( l V + κ V ) T κ η + κ V e ( κ V + l V ) τ 1 l V + κ V + μ V B ^ 1 e l V T κ η l V ( e l V τ 1 ) μ V B ^ 1 e l V T κ η B ¯ 3 e ( l V B ¯ 3 ) τ 1 l V B ¯ 3 + B ^ 1 B ^ 2 e l V T l V κ η ( e ( l V κ η ) τ 1 ) . (138)

Now, further calculations show that

κ β μ β 0 τ E 1 ( s , ω ) d s = i ω κ β μ β [ m U m V κ β ( τ + e κ β τ 1 κ β ) + m U m V κ β + l U e l U T ( e l U τ 1 l U + e κ β τ 1 κ β ) + m U n V κ b + l V e l V T ( e l V τ 1 l V + e κ β τ 1 κ β ) + n U n V κ β + l U + l V e ( l U + l V ) T ( e ( l U + l V ) τ 1 l U + l V + e κ β τ 1 κ β ) ] , (139)

and

0 τ E [ v ( T s ) ] E 1 ( s , ω ) d s m V 0 τ E 1 ( s , ω ) d s + n V 0 τ e l V ( T s ) E 1 ( s , ω ) d s , (140)

where

0 τ e l V ( T s ) E 1 ( s , ω ) d s = ( i ω ) [ m V m U κ β e l V T ( e l V τ 1 l V e ( l V κ β ) τ 1 l V κ β ) + m V n U κ β + l U e ( l U + l V ) T ( e ( l U + l V ) τ 1 l U + l V e ( l V κ β ) τ 1 l V κ β ) + m U n V κ β + l V e 2 l V T ( e 2 l V τ 1 2 l V e ( l V κ β ) τ 1 l V κ β ) + n U n V κ β + l U + l V e ( l U + 2 l V ) T ( e ( l U + 2 l V ) τ 1 l U + 2 l V e ( l V κ β ) τ 1 l V κ β ) ] . (141)

Finally, it can be proved that

0 τ E 1 ( s , ω ) 2 d s = ω 2 [ m V 2 m U 2 κ β 2 ( τ + 1 e 2 κ β τ 2 κ β 2 κ β ( 1 e κ β τ ) ) + m V 2 n U 2 ( κ β + κ U ) 2 e 2 l U T × ( 1 2 l U ( e 2 l U τ 1 ) 1 2 κ β ( e 2 κ β τ 1 ) 2 κ β ( e κ β τ 1 ) ) + m U 2 n V 2 ( κ β + l V ) 2 e 2 l V T ( e 2 l V τ 1 2 l V 1 2 κ β ( e 2 κ β τ 1 ) 2 l V κ β ( e ( l V κ β ) τ 1 ) ) + n U 2 n V 2 ( κ β + l U + l V ) 2 e 2 ( l U + l V ) T ( e 2 ( l U + l V ) τ 1 2 ( l U + l V )

e 2 κ β τ 1 2 κ β 2 l V + l U κ β ( e ( l V + l U κ β ) τ 1 ) ) + 2 m V 2 m U n U κ β ( κ β + l U ) e l U T ( e l U τ 1 l U + e κ β 1 κ β e ( l U κ β ) 1 l U κ β e 2 κ β τ 1 2 κ β ) + 2 m V m U 2 n V κ β ( κ β + l V ) e l V T ( e l V τ 1 l V + e κ β τ 1 κ β e ( l V κ β ) τ 1 l V κ β e 2 κ β τ 1 2 κ β ) + 2 m V m U n V n U κ β ( κ β + l U + l V ) e ( l U + l V ) T ( e ( l U + l V ) τ 1 l U + l V e ( l U + l V κ β ) τ 1 l U + l V κ β + e κ β τ 1 κ β e 2 κ β τ 1 2 κ β ) + 2 m V n U m U n V ( κ β + l U ) ( κ β + l V ) e ( l U + l V ) T ( e ( l U + l V ) τ 1 l U + l V e ( l V κ β ) τ 1 l V κ β

e ( l U κ β ) τ 1 l U κ β e 2 κ β τ 1 2 κ β ) + 2 m V n U 2 n V ( κ β + l U ) ( κ β + l U + l V ) e ( 2 l U + l V ) T × ( e ( 2 l U + l V ) τ 1 2 l U + l V e ( l U κ β ) τ 1 l U κ β e ( l U + l V κ β ) τ 1 l U + l V κ β e 2 κ β τ 1 2 κ β ) + 2 m U n U n V 2 ( κ β + l V ) ( κ β + l U + l V ) e ( l U + 2 l V ) T ( e ( l U + 2 l V ) τ 1 l U + 2 l V e ( l U + l V κ β ) τ 1 l U + l V κ β e ( l V κ β ) τ 1 l V κ β e 2 κ β τ 1 2 κ β ) ] , (142)

and that

0 τ F 1 ( s , ω ) 2 d s = ( μ V v ( 0 ) ) 2 ( κ η + κ V B ¯ 3 ) 2 B ^ 1 2 e 2 κ V T e 2 ( κ V B ¯ 3 ) τ 1 2 ( κ V B ¯ 3 ) + ( v ( 0 ) μ V ) 2 ( κ η + κ V ) 2 B ^ 1 2 e 2 κ V T e 2 κ V τ 1 2 κ V + μ V 2 B ^ 1 2 κ η 2 τ μ V 2 B ^ 1 2 ( κ η B ¯ 3 ) 2 e 2 B ¯ 3 τ 1 2 B ¯ 3 B ^ 1 2 B ^ 2 2 2 κ η ( e 2 κ η τ 1 ) + 2 ( μ V v ( 0 ) ) ( v ( 0 ) μ V ) B ^ 1 2 ( κ η + κ V B ¯ 3 ) ( κ V + κ η ) e 2 ( κ V B ¯ 3 ) τ 1 2 ( κ V B ¯ 3 ) + 2 μ V ( μ V v ( 0 ) ) κ η ( κ η + κ V B ¯ 3 ) B ^ 1 2 e κ V T

× e ( κ V B ¯ 3 ) τ 1 κ V B ¯ 3 2 μ V ( μ V v ( 0 ) ) B ^ 1 e κ V T ( κ η B ¯ 3 ) ( κ η + κ V B ¯ 3 ) e ( κ V 2 B ¯ 3 ) τ 1 κ V 2 B ¯ 3 + 2 ( μ V v ( 0 ) ) B ^ 1 2 B ^ 2 e κ V T κ η + κ V B ¯ 3 e ( κ V B ¯ 3 κ η ) τ 1 κ V B ¯ 3 κ η + 2 μ V ( v ( 0 ) μ V ) B ^ 1 2 e κ V T κ η ( κ η + κ V ) e κ V τ 1 κ V 2 μ V ( v ( 0 ) μ V ) B ^ 1 2 e κ V T ( κ η + κ V ) ( κ η B ¯ 3 ) e ( κ V B ¯ 3 ) τ 1 κ V B ¯ 3 + 2 ( v ( 0 ) μ V ) B ^ 1 2 B ^ 2 e κ V T κ V + κ η e ( κ V κ η ) 1 κ V κ η 2 μ V 2 B ^ 1 2 κ η ( κ η B ¯ 3 ) e B ¯ 3 τ 1 B ¯ 3 2 μ V B ^ 1 2 B ^ 2 κ η e κ η τ 1 κ η + 2 μ V B ^ 1 2 B ^ 2 κ η B ¯ 3 e B ¯ 3 τ 1 B ¯ 3 . (143)

Collecting all the terms together completes the proof.

A.3. The Proof of Lemma 4

Since the system generating the pricing PDE for P 1 (75) is of affine form, we look for a solution ϕ 1 = ϕ 1 ( τ , ω ) of the following form:

ϕ 1 BJ = exp ( T 1 ( τ , ω ) + L 1 ( τ , ω ) v ( t ) + M 1 ( τ , ω ) u ( t ) + N 1 ( τ , ω ) z ( t ) + Q 1 ( τ , ω ) β ( t ) + R 1 ( τ , ω ) η ( t ) + S 1 ( τ , ω ) γ ( t ) + i ω y ( t ) ) , (144)

with

T 1 ( 0 , ω ) = L 1 ( 0 , ω ) = M 1 ( 0 , ω ) = N 1 ( 0 , ω ) = Q 1 ( 0 , ω ) = R 1 ( 0 , ω ) = S 1 ( 0 , ω ) = 0

Substituting all the partial derivatives of ϕ 1 into (75) gives:

( T 1 τ + v L 1 τ + u M 1 τ + z N 1 τ + β Q 1 τ + η R 1 τ + γ S 1 τ ) + ( r f + 1 2 v β E [ v ] E [ u ] ) i ω + ( r d r f 1 2 u + β E [ v ] E [ u ] ) N 1 + ( κ η ( μ η η ) + ρ S η σ η E [ v ] E [ 1 η 2 ] ) R 1 + ( κ V ( μ V v ) + σ V E [ v ] η ) L 1 + κ U ( μ U u ) M 1 + ( κ β ( μ β β ) + ρ S β σ β E [ v ] E [ 1 β 2 ] ) Q 1 + κ γ ( μ γ γ ) S 1 1 2 ω 2 v + 1 2 u N 1 2 + 1 2 σ V 2 v L 1 2 + 1 2 σ U 2 u M 1 2 + 1 2 σ β 2 ( 1 E [ β 2 ] ) Q 1 2

+ 1 2 σ η 2 ( 1 E [ η 2 ] ) R 1 2 + 1 2 σ γ 2 ( 1 E [ γ 2 ] ) S 1 2 + β E [ v ] [ u ] i ω N 1 + σ V E [ v ] η i ω L 1 + σ U E [ u ] γ N 1 M 1 + ρ S β σ β E [ v ] E [ 1 β 2 ] i ω Q 1 + ρ S η σ η E [ v ] E [ 1 η 2 ] i ω R 1 + ρ X β σ β E [ u ] E [ 1 β 2 ] N 1 Q 1 + ρ X γ σ γ E [ u ] E [ 1 γ 2 ] N 1 S 1 = 0. (145)

Now, collecting together homogenous terms in y , z , v , u , β , η , γ gives the following system of equations:

L 1 τ + κ V L 1 1 2 σ V 2 L 1 2 + 1 2 ω ( ω i ) = 0, (146)

M 1 τ + κ U M 1 1 2 σ U 2 M 1 2 1 2 N 1 ( N 1 1 ) = 0, (147)

N 1 τ = 0, (148)

Q 1 τ + κ β Q 1 E [ u ] E [ v ] ( i ω ( N 1 1 ) + N 1 ) = 0, (149)

R 1 τ + κ η R 1 σ V E [ v ] L 1 ( i ω + 1 ) = 0, (150)

S 1 τ + κ γ S 1 σ U E [ u ] N 1 M 1 = 0, (151)

and

T 1 τ = r f i ω + ( κ η μ η + ρ S η σ η E [ v ] E [ 1 η 2 ] ( i ω + 1 ) ) R 1 + κ V μ V L 1 + κ U μ U M 1 + ( κ β μ β + ρ S β σ β E [ v ] E [ 1 β 2 ] ( i ω + 1 ) ) Q 1 + κ γ μ γ S 1 + 1 2 σ β 2 ( 1 E [ β 2 ] ) Q 1 2 + 1 2 σ η 2 ( 1 E [ η 2 ] ) R 1 2 + 1 2 σ γ 2 ( 1 E [ γ 2 ] ) S 1 2 + ρ X β σ β E [ u ] E [ 1 β 2 ] N 1 Q 1 + ρ X γ σ γ E [ u ] E [ 1 γ 2 ] N 1 S 1 + ( r d r f ) N 1 . (152)

If we compare Equations (146)-(151) with Equations (113)-(118), we can conclude that

L 1 ( τ , ω ) B 1 ( τ , ω ) , M 1 ( τ , ω ) C 1 ( τ , ω ) , N 1 ( τ , ω ) D 1 ( τ , ω ) , Q 1 ( τ , ω ) E 1 ( τ , ω ) , R ( τ , ω ) F 1 ( τ , ω ) and G 1 ( τ , ω ) S 1 ( τ , ω ) , (153)

and therefore the only term to be calculated is T 1 ( τ , ω ) , which can be re-written as follows:

T 1 ( τ , ω ) = r f i ω τ + 0 τ ( κ η μ η + ( i ω + 1 ) ρ S η σ η E [ v ( T s ) ] E [ 1 η ( T s ) 2 ] ) × F 1 ( s , ω ) d s + κ V μ V 0 τ B 1 ( s , ω ) d s + 0 τ ( κ β μ β + ( i ω + 1 ) ρ S β σ β E [ v ( T s ) ] [ 1 β ( T s ) 2 ] ) × E 1 ( s , ω ) d s + 1 2 [ σ β 2 0 τ ( 1 E [ β ( T s ) 2 ] ) E 1 2 ( s , ω ) d s + σ η 2 0 τ ( 1 E [ η ( T s ) 2 ] ) F 1 2 ( s , ω ) d s ] . (154)

Now, from Propositions 1, 2, and 3 respectively, we know that E [ v ] , E [ ρ 2 ] , and E [ 1 ρ 2 ] , with ρ { β , η } , can be approximated as follows:

E [ v ( T s ) ] m V + n V e l V ( T s ) , (155)

E [ 1 β ( T s ) 2 ] e s ^ β ( T s ) + r ^ β e p ^ β ( T s ) + q ^ β , (156)

E [ 1 η ( T s ) 2 ] e s ^ η ( T s ) + r ^ η e p ^ η ( T s ) + q ^ η , (157)

E [ β ( T s ) 2 ] e s β ( T s ) + r β e p β ( T s ) + q β , (158)

E [ η ( T s ) 2 ] e s η ( T s ) + r η e p η ( T s ) + q η , (159)

where the coefficients m V , n V , l V , s ρ , r ρ , p ρ , q ρ , s ^ ρ , r ^ ρ , p ^ ρ , q ^ ρ , for ρ { β , η } , are defined in the relevant propositions.

Therefore, further calculations show that

0 τ E [ v ( T s ) ] E [ 1 η 2 ( T s ) ] F 1 ( s , ω ) d s = m V 0 τ e s ^ η ( T s ) F 1 ( s , ω ) d s + m V r ^ η 0 τ e p ^ η ( T s ) F 1 ( s , ω ) d s + m V q ^ η 0 τ F 1 ( s , ω ) d s + n V 0 τ e ( l V + s ^ η ) ( T s ) F 1 ( s , ω ) d s + n V r ^ η 0 τ e ( l V + p ^ η ) ( T s ) F 1 ( s , ω ) d s + n V q ^ η 0 τ e l V ( T s ) F 1 ( s , ω ) d s . (160)

Repeating the same calculation for the same integral with β and E 1 instead of η and F 1 gives

0 τ E [ v ( T s ) ] E [ 1 β 2 ( T s ) ] E 1 ( s , ω ) d s = m V 0 τ e s ^ β ( T s ) E 1 ( s , ω ) d s + m V r ^ β 0 τ e p ^ β ( T s ) E 1 ( s , ω ) d s + m V q ^ β 0 τ E 1 ( s , ω ) d s + n V 0 τ e ( l V + s ^ β ) ( T s ) E 1 ( s , ω ) d s + n V r ^ β 0 τ e ( l V + p ^ β ) ( T s ) E 1 ( s , ω ) d s + n V q ^ β 0 τ e l V ( T s ) E 1 ( s , ω ) d s . (161)

Besides it, it can be shown as well that

0 τ E [ β ( T s ) 2 ] E 1 2 ( s , ω ) d s = 0 τ e s β ( T s ) E 1 2 ( s , ω ) d s + r β 0 τ e p β ( T s ) E 1 2 ( s , ω ) d s + q b 0 τ E 1 2 ( s , ω ) d s , (162)

and

0 τ E [ η ( T s ) 2 ] F 1 2 ( s , ω ) d s = 0 τ e s η ( T s ) F 1 2 ( s , ω ) d s + r η 0 τ e p η ( T s ) F 1 2 ( s , ω ) d s + q η 0 τ F 1 2 ( s , ω ) d s . (163)

Hence, the only integrals to be computed are of the following form:

0 τ e a ( T s ) E 1 2 ( s , ω ) d s and 0 τ e a ( T s ) F 1 2 ( s , ω ) d s (164)

since all the other integrals

0 τ E 1 ( s , ω ) d s , 0 τ F 1 ( s , ω ) d s , 0 τ e a ( T s ) E 1 ( s , ω ) d s , 0 τ e a ( T s ) F 1 ( s , ω ) d s , 0 τ E 1 2 ( s , ω ) d s , 0 τ F 1 2 ( s , ω ) d s (165)

have been already computed in Appendix A.2.

In particular, it can be proved that

0 τ e a ( T s ) F 1 2 ( s , ω ) d s = ( μ V v ( 0 ) ) 2 ( κ η + κ V B ¯ 3 ) 2 B ^ 1 2 e ( a + 2 κ V ) T e ( a + 2 ( κ V B ¯ 3 ) ) τ 1 a + 2 ( κ V B ¯ 3 ) + ( v ( 0 ) μ V ) 2 ( κ η + κ V ) 2 B ^ 1 2 e ( a + 2 κ V ) T e ( a + 2 κ V ) τ 1 a + 2 κ V + μ V 2 κ η 2 B ^ 1 2 e a T e a τ 1 a + μ V 2 ( κ η B ¯ 3 ) 2 B ^ 1 2 e a T e ( a 2 B ¯ 3 ) τ 1 a 2 B ¯ 3 + B ^ 1 2 B ^ 2 2 e a T ( e ( a κ η ) τ 1 ) a κ η + 2 ( μ V v ( 0 ) ) ( v ( 0 ) μ V ) ( κ η + κ V ) ( κ η + κ V B ¯ 3 ) B ^ 1 2 e ( a + 2 κ V ) T e ( a + 2 κ V B ¯ 3 ) τ 1 a + 2 κ V B ¯ 3

+ 2 μ V v ( 0 ) μ V κ η ( κ η + κ V B ¯ 3 ) B ^ 1 2 e ( a + κ V ) T e ( a + κ V B ¯ 3 ) τ 1 a + κ V B ¯ 3 2 μ V ( μ V v ( 0 ) ) ( κ η B ¯ 3 ) ( κ η + κ V B ¯ 3 ) B ^ 1 2 e ( κ V + a ) T e ( a + κ V 2 B ¯ 3 ) τ 1 a + κ V 2 B ¯ 3 + 2 μ V v ( 0 ) κ η + κ V B ¯ 3 B ^ 1 2 B ^ 2 e ( a + κ V ) T e ( a + κ V B ¯ 3 κ η ) τ 1 a + κ V B ¯ 3 κ η + 2 ( v ( 0 ) μ V ) μ V κ η ( κ V + κ η ) B ^ 1 2 e ( a + κ V ) T e a τ 1 a 2 μ V ( v ( 0 ) μ V ) ( κ η + κ V ) ( κ η B ¯ 3 ) B ^ 1 2 × e ( a + κ V ) T e ( a + κ V κ η ) τ 1 a + κ V κ η + 2 v ( 0 ) μ V κ η + κ V B ^ 1 2 B ^ 2 e ( a + κ V ) T

× e ( a + κ V κ η ) τ 1 a + κ V κ η 2 μ V 2 κ η ( κ η B ¯ 3 ) B ^ 1 2 e a T e ( a B ¯ 3 ) τ 1 a B ¯ 3 + 2 μ V κ η B ^ 1 2 B ^ 2 e a T e ( a κ η ) τ 1 a κ η 2 μ V κ η B ¯ 3 B ^ 1 2 B ^ 2 e a T e ( a B ¯ 3 κ η ) τ 1 a B ¯ 3 κ η . (166)

and that

0 τ e a ( T s ) E 1 2 ( s , ω ) d s = ω 2 [ m V 2 m U 2 κ β 2 e a T ( e a τ 1 a + e ( a 2 κ β ) τ 1 a 2 κ β 2 e ( a κ β ) τ 1 a κ β ) + m V 2 n U 2 ( κ β + l U ) 2 e ( a + 2 l U ) T ( e ( a + 2 l U ) τ 1 a + 2 l U + e ( a 2 κ β ) τ 1 a 2 κ β 2 e ( a + l U κ β ) τ 1 a + l U κ β ) + m U 2 n V 2 ( κ β + l V ) 2 e ( a + 2 l V ) T ( e ( a + 2 l V ) τ 1 a + 2 l V + e ( a 2 κ β ) τ 1 a 2 κ β 2 e ( a + l V κ β ) τ 1 a + l V κ β ) + n V 2 n U 2 ( κ β + l U + l V ) 2 e ( a + 2 ( l U + l V ) ) T ( e ( a + 2 ( l U + l V ) ) τ 1 a + 2 ( l U + l V ) + e ( a 2 κ β ) τ 1 a 2 κ β

2 e ( a + l U + l V κ β ) τ 1 a + l U + l V κ β ) + 2 m V 2 m U n U κ β ( κ β + l U ) e ( a + l U ) T ( e ( a + l U ) τ 1 a + l U e ( a κ β ) τ 1 a κ β e ( a + l U κ β ) τ 1 a + l U κ β + e ( a 2 κ β ) τ 1 a 2 κ β ) + 2 m V m U 2 n V κ β ( κ β + l V ) × e ( a + l V ) T ( e ( a + l V ) τ 1 a + l V e ( a κ β ) τ 1 a κ β e ( a + l V κ β ) τ 1 a + l V κ β + e ( a 2 κ β ) τ 1 a 2 κ β ) + 2 m U m V n V n U κ β ( κ β + l U + l V ) e ( a + l U + l V ) T ( e ( a + l U + l V ) τ 1 a + l U + l V e ( a κ β ) τ 1 a κ β e ( a + l U + l V κ β ) τ 1 a + l U + l V κ β + e ( a 2 κ β ) τ 1 a 2 κ β )

+ 2 m V m U n V n U ( κ β + l U ) ( κ β + l V ) e ( a + l U + l V ) T ( e ( a + l U + l V ) τ 1 a + l U + l V e ( a + l U κ β ) τ 1 a + l U κ β e ( a + l V κ β ) τ 1 a + l V κ β + e ( a 2 κ β ) τ 1 a 2 κ β ) + 2 m V n U 2 n V ( κ β + l U ) ( κ β + l U + l V ) e ( a + 2 l U + l V ) T ( e ( a + 2 l U + l V ) τ 1 a + 2 l U + l V e ( a + l U κ β ) τ 1 a + l U κ β e ( a + l U + l V κ β ) τ 1 a + l U + l V κ β + e ( a 2 κ β ) τ 1 a 2 κ β )

+ 2 m U n V 2 n U ( κ β + l V ) ( κ β + l U + l V ) e ( a + 2 l V + l U ) T ( e ( a + 2 l V + l U ) τ 1 a + 2 l V + l U e ( a + l V κ β ) τ 1 a + l V κ β e ( a + l U + l V κ β ) τ 1 a + l U + l V κ β + e ( a 2 κ β ) τ 1 a 2 κ β ) ] , (167)

Collecting all the terms together completes the proof.

NOTES

*The views, opinions, positions, results or strategies expressed in this article are those of the author and do not represent the views, opinions, positions, results or strategies of, and should not be attributed to, Danske Bank A/S or any of its affiliates.