arxiv: v12 [math.na] 19 Feb 2015

Transcription

1 On explicit numerical schemes for the CIR process arxiv:145.7v1 [math.na] 19 Feb 15 Nikolaos Halidias Department of Mathematics University of the Aegean Karlovassi 83 Samos, Greece August 7, 18 Abstract In this paper we generalize an explicit numerical scheme for the CIR process that we have proposed before. The advantage of the new proposed scheme is that preserves positivity and is well posed for a little bit broader set of parameters among the positivity preserving schemes. The order of convergence is at least logarithmic in general and for a smaller set of parameters is at least 1/4. Next we give a different explicit numerical scheme based on exact simulation and we use this idea to approximate the two factor CIR model. Finally, we give a second explicit numerical scheme for the two factor CIR model based on the idea of the second section. Keywords: Explicit numerical scheme, CIR process, positivity preserving, order of convergence. AMS subject classification: 6H1, 6H35. 1 Introduction Let Ω,F,P,F t be a complete probability space with a filtration and let a Wiener process W t t defined on this space. We consider here the CIR process, see [7], x t = x + kl kx s ds+σ xs dw s, 1 where k,l,σ. It is well known that this sde has a unique strong solution which remain nonnegative. This stochastic process is widely used in financial mathematics. It is well known that one can use exact simulation methods to construct the true solution but the drawback of such an approach is the computational time that requires. Therefore, many researchers work on construction of fast and efficient methods to approximate this process. In [14] the authors proposed a modified Euler scheme for the approximation of the CIR process. However, this scheme does not preserve positivity which is a desirable property in some cases. Next, in [1], the author proposes a positivity preserving numerical scheme which is strongly convergent but not for all possible parameters. In [11] we have proposed another positivity preserving numerical scheme for the CIR process and our goal here is to propose a generalization of this scheme in order to be well posed for a broader class of parameters being of course positivity preserving scheme. Let = t < t 1 <... < t n = T and set = T n. Consider the following stochastic process σ y t = 1+ka W t W tk + y tk 1 k 1+ka + 1+ka kl σ 41+ka = z t, for t t k,t k+1 ] and a parameter a [,1] where σ z t = 1+ka W t W tk + y tk 1 k 1+ka + 1+ka kl σ 41+ka, 1

2 for t t k,t k+1 ]. Note that this process is well defined when a σ 4kl 4k l and has the differential form, for t t k,t k+1 ], σ y t = y tk + kl 41+ka k1 ay σ t k kay t + t k 41+ka ds +σ sgnz s y s dw s. 3 t k To obtain the above form we first use Ito s formula on y t and then some simple rearrangements. This stochastic process is not continuous in all [,T], because there are jumps at the nodes t k. The numerical scheme that we propose here to approximate the CIR process is the following, σ y tk+1 = 1+ka W t k+1 W tk + y tk 1 k 1+ka + 1+ka kl σ 41+ka, with y t = x. Using Ito s formula one can easily see that y t in is the unique solution of the stochastic differential equation 3. Therefore it is clear that is positivity preserving and well defined for a σ 4kl 4k l. This set of parameters is a little bit broader than the existing numerical schemes that preserves positivity, which usually is 4kl σ. The main goal of future research will be the construction of positivity preserving numerical methods that will be well posed for all possible parameters, see for example [4] for such a method without a theoretical convergence result. For generalizations of the semi discrete method see [1], [13]. Main Results We will use a compact form of 3, for t t k,t k+1 ], where y t = x + + k+1 t kl k1 ayŝ kay s ds kl σ 41+ka k1 ay t k kay t ds+σ { tj+1, when s [t s = j,t j+1 ], j =,...,k 1 t, when s t k,t] sgnz s y s dw s, and ŝ = t j when s t j,t j+1 ],j =,...,k. Therefore, y t remains nonnegative as is the same as in 3. We will remove the term sgnz s by changing the Brownian motion. Set Ŵ t = sgnz s dw s. It is easy to see that Ŵ is a continuous martingale on F t with variation < Ŵ,Ŵ >= t. Therefore, using Levy s martingale characterization of Brownian motion see [16], p. 157 we deduce that Ŵt is also a Brownian motion. Therefore, y t satisfies the following equation, y t = x + + k+1 t kl k1 ayŝ kay s ds kl σ 41+ka k1 ay t k kay t ds+σ ys dŵs,

3 Let now the following sde, ˆx t = x + kl kˆx s ds+σ ˆxs dŵs, 4 where Ŵt, constructed as above, is a Brownian motion depending on. For each the above problem has a unique solution which has the same transition density see [1], p. 1, independent of. We will show that E ˆx t y t as and therefore our approximation converges in the mean square sense to a stochastic process that is equal in distribution to the unique solution of 1. We will denote Ŵ,ˆx again by W,x for notation simplicity. Assumption A We suppose that x a.s. Ex p < A for some p, d = kl σ 41+ka and 1 a 1 k. Lemma 1 Moment bounds Under Assumption A we have the moment bounds, for some C > Proof. Note that Ey p t +Ex p t < C, y t v t = x +Tkl+σ ys dw s. Consider the stopping time θ R = inf{t : v t > R}. Using Ito s formula on v p t θ R we obtain, v p t θ R = x +Tkl p + pp 1 σ v p s θ R y s θr ds+pσ Taking expectations on both sides and noting that y t v t, we arrive at Ev p t θ R Ex +Tkl p + pp 1 Ex +Tkl p + pp 1 σ v p 1 s θ R ys θr dw s. Ev p 1 s θ R ds σ Ev p s θ R p 1 p ds Using now a Gronwall type theorem see [19], Theorem 1, p. 36, we arrive at Ev p t θ R [Ex +Tkl p ] p 1 p + T p p 1 p 1σ. 5 But Ev p t θ R = Ev p t θ R I {θr t} + R p Pθ R < t. That means that Pt θ R < t = Pθ R < t as R so t θ R t in probability and noting that θ R increases as R increases we have that t θ R t almost surely too, as R. Going back to 4 and using Fatou s lemma we obtain, Ev p t p [Ex +Tkl p ] p 1 p + Tp 1σ p 1 We have assume in our assumptions that Ex p < in order the term Ex +Tkl p to be well posed. The same holds for x t see for example [8]. Consider the auxiliary stochastic process, for t t k,t k+1 ], h t = x + where s,ŝ defined as before. kl k1 ayŝ kay s ds+σ ys dw s, 6 3

4 Lemma We have the following estimates, E h s y s C 1 for any s [,T] E h s y r C when s [t k,t k+1 ] and r = t k or t k+1 E h s < A, for any s [,T]. Proof. Using the moment bound for y t we easily obtain the fact that E h t y t C. Next, we have E h s y tk E h s y s +E y s y tk C +C C. Moreover, E h s y tk+1 E h s y s +E y s y tk+1 C +C C. Finally, to get the moment bound for h t we just use the fact that is close to y t, i.e. Eh t E h t y t +Eyt C. Theorem 1 If Assumption A holds then for any t [,T]. E x t y t C 1 lnn Proof. Applying Ito s formula on x t h t we obtain E x t h t k1 a E x s h s yŝ x s ds+ka E x s h s y s x s ds +σ E x s y s ds 7 Let us estimate the above quantities. It is easy to see that, for example, E x s h s yŝ x s E x s h s x s h s + h s yŝ Therefore, we obtain, using Cauchy-Schwarz inequality E x s h s yŝ x s E x s h s + E x s h s E h s yŝ, Summing up we arrive at E x s h s y s x s E x s h s + E x s h s E h s y s E x t h t C +C E x s h s ds+ E x s h s ds. 8 Therefore, we have to estimate E x t h t. Let the non increasing sequence {e m } m N with e m = e mm+1/ and e = 1. We introduce the following sequence of smooth approximations of x, method of Yamada and Watanabe, [3] φ m x = x dy 4 y ψ m udu,

5 where the existence of the continuous function ψ m u with ψ m u /mu and support in e m,e m 1 is justified by e m 1 e m du/u = m. The following relations hold for φ m C R,R with φ m =, x e m 1 φ m x x, φ mx 1, x R, φ m x m x, when e m < x < e m 1 and φ m x = otherwise. Applying Ito s formula on φ m x t h t we obtain Eφ m x t h t = We continue by estimating + Eφ mx s h s k1 ayŝ x s +kay s x s ds 1 Eφ mx s h s σ y s σ x s ds. Eφ m x s h s k1 ayŝ x s +kay s x s ke x s h s +k1 ae h s yŝ +kae h s y s ke x s h s +C. Next, Eφ m x s h s σ y s σ x s 4σ m + 4σ m E h s y s e m Working as before and using Lemma we get Eφ m x s h s σ y s σ x s 4σ m +C +C me m m. Therefore, E x t h t e m 1 + 4σ T m +C +C me m m +k E x s h s ds. Use now Gronwall s inequality and substitute in 9 and then again Gronwall s inequality we arrive at E x t h t C +C +e m 1. me m Choosing m = lnn 1 3 we deduce that E x t h t C 1 lnn But E x t y t E x t h t +E h t y t C 1 lnn 5

6 3 On the polynomial rate of convergence We study in this section the polynomial order of convergence of our scheme. We use a stochastic time change proposed in [5]. For simplicity, we take a =. Our result is as follows. Proposition 1 If σ kl and 1 16 kl σ 1 > 1 the following rate of convergence holds, assuming that x R and x >, Proof. Define the process γt = and then the stopping time defined by But E x t y t C. ds x s + h s, τ l = inf{s [,T] : σ γs+3ks l}. Using Ito s formula on x τ h τ with τ a stopping time, we obtain Ex τ h τ Now we work on E y s x s ds Therefore, 3k ke xs h s yŝ x s +σ E y s x s ds ke xs h s +ke x s h s h s yŝ +σ E y s x s ds E x s h s ds+σ E y s x s ds+c. E x s h s +E h s y s ds E x s h s ds+c. E x s h s ds = E x s h s x s + h s ds. Ex τ h τ C +E x s h s 3ks+σ γ s ds. 9 Now, for τ = τ l, we use the change of variables setting u = 3ks + σ γ s and therefore s = τ u obtaining, Ex τl h τl C + Using Gronwall s inequality we obtain, l E x τu h τu du. E x τl h τl Ce l. 1 6

7 Going back to 9, for τ = t [,T], we have under the change of variables u = σ γ s +3ks, Noting that 3kT C + 3kT+σ Ex t h t γ T C +E C + E I {3kT+σ γ T u} x τu h τu du E x τu h τu du+ and then we arrive using 1 3kT Pσ γ T ue x τu h τu du Ex t h t C We will estimate now the following, x τu h τu du E I {3kT+σ γ T u} x τu h τu du. 11 P3kT +σ γ T ue x τu h τu {3kT +σ γ T u} du, 1+C Pσ γ T ue u du. Pσ γ T u 1 e mueeσ mγ T Choose m = 1 16 kl σ 1 and use Thm. 3.1 of [17] to end the proof. In order to avoid the difficulties from the appearance of the term sgnz t we have changed the Brownian motion. Below, we give a lemma which one can use to prove strong convergence without changing the Brownian motion and the difference is that the order of convergenceis, at least, 1/4 ε for anyε >.We proveit for the casea = for simplicity but the same resultholds for any a [,1]. Lemma 3 We have the following estimate, for any ε >. Proof. We begin with, when t [t k,t k+1 ], Ey t sgnz t 1 C 1 ε, Ey t sgnz t 1 = 4Ey t I {zt } 4E y t y tk +4Ey tk I {zt } C +4Ey tk I {zt }I {ytk 1/ ε } +4Ey tk I {zt }I {ytk > 1/ ε } C 1/ ε +4Ey tk I {{zt } {y tk > 1/ ε }} We have used Lemma to obtain the third inequality, estimating the term E y t y tk. But { {z t } {y tk > 1/ ε } = W t W tk } y tk 1 k + kl σ σ 4 {y tk > 1/ ε } { W t W tk } 1 k σ 1/ ε. Since the increment W t W tk is normally distributed with mean zero and variance t t k we have that P {z t } {y tk > 1/ ε } t tk πt tk 1 k 1/ ε t tk e y / dy C ε. e C/ ε 7

8 We have used the inequality of problem 9., p.11 of [16] to obtain the last inequality. Now we have, using the moment bounds for the numerical solution, Ey tk I {{zt } {y tk > 1/ ε }} {z CP t } {y tk > 1/ ε } Noting that ε e1/ ε faster than any power of we have that Ey t sgnz t 1 C 1 ε. 4 An explicit scheme for the CIR process using exact simulation Consider the following equation. x t = x + kl kx s ds+ σ x s dw s. Our starting point is the exact simulation for the CIR process for some specific parameters. If d = 4kl σ N then wecan simulate this processexactlysee [1], p. 133.Indeed, the exact simulation is given by rt i+1 = d e 1 k rti d j=1 + σ 1 k e k Z j i+1, where Z 1 i,...,z d i are standard normal d-vectors, independent for different values of i. Therefore, the idea see [11] is to split a part of the drift term and the remaining drift coefficient will be such that we can simulate it exactly. Then, we will study the error produced by this splitting. First we assume that d > 1 and we will propose an explicit numerical scheme that preserves positivity and converges in the mean square sense with, at least, logarithmic order. For the case kl > 5σ we will show that this solution converges in the mean square sense with 1/ order of convergence. 4.1 The general case d > 1 We will use the main idea of [11] and propose the following semi discrete numerical scheme, y t = y tk + k 1 l y tk k 1 + k l k y s ds+σ ys dw s, t k t k where k = k 1 +k and 4kl σ = [ 4kl σ ] and by [ ] we denote the integer part. The above sde has a unique strong solution which can be simulated exactly and is well posed when < 1 k 1. A compact form of the numerical scheme is, y t = x + kl k y s k 1 yŝds+ k+1 t k 1 l k 1 yŝds+σ ys dw s, t t k,t k+1 ]. Lemma 4 Moment bounds Under Assumption A we have the moment bounds, for some C > Ey p t +Exp t < C, 8

9 Proof. Note that y t v t = x +Tkl+σ ys dw s. Consider the stopping time θ R = inf{t : v t > R}. Using Ito s formula on v p t θ R we obtain, v p t θ R = x +Tkl p + pp 1 σ v p s θ R y s θr ds+pσ Taking expectations on both sides and noting that y t v t, we arrive at v p 1 s θ R ys θr dw s. Ev p t θ R Ex +Tkl p + pp 1 Ex +Tkl p + pp 1 σ Ev p 1 s θ R ds σ Ev p s θ R p 1 p ds Using now a Gronwall type theorem see [19], Theorem 1, p. 36, we arrive at Ev p t θ R [Ex +Tkl p ] p 1 p + T p p 1 p 1σ. 1 But Ev p t θ R = Ev p t θ R I {θr t} + R p Pθ R < t. That means that Pt θ R < t = Pθ R < t as R so t θ R t in probability and noting that θ R increases as R increases we have that t θ R t almost surely too, as R. Going back to 4 and using Fatou s lemma we obtain, p Ev p t [Ex +Tkl p ] p 1 p + Tp 1σ p 1 We have assume in our assumptions that Ex p < in order the term Ex +Tkl p to be well posed. The same holds for x t. Consider now the following auxiliary stochastic process, h t = x + kl k y s k 1 yŝds+σ Lemma 5 We have the following estimates, Proof. Noting that ys dw s, t t k,t k+1 ]. E h s y s C 1 for any s [,T] E h s y tk C when s [t k,t k+1 ] E h s < A, for any s [,T]. we can easily take the results. h t y t = k+1 t k 1 l k 1 yŝds Theorem If Assumption A holds then E x t y t C 1 lnn for any t [,T]. 9

10 Proof. Applying Ito s formula on x t h t we obtain E x t h t E k 1 h s x s x s yŝ +k h s x s x s y s +σ x s y s ds 13 Let us estimate the above quantities. It is easy to see that, using Young inequality, E x s h s yŝ x s +E x s h s y s x s CE x s h s +C Summing up we arrive at E x t h t C +C E x s h s ds+σ E x s h s ds. 14 Therefore, we have to estimate E x t h t. Let the non increasing sequence {e m } m N with e m = e mm+1/ and e = 1. We introduce the following sequence of smooth approximations of x, method of Yamada and Watanabe, [3] φ m x = x dy y ψ m udu, where the existence of the continuous function ψ m u with ψ m u /mu and support in e m,e m 1 is justified by e m 1 e m du/u = m. The following relations hold for φ m C R,R with φ m =, x e m 1 φ m x x, φ m x 1, x R, φ mx m x, when e m < x < e m 1 and φ mx = otherwise. Applying Ito s formula on φ m x t h t we obtain Eφ m x t h t We continue by estimating Next, Therefore, + Eφ mx s h s k 1 yŝ x s +k y s x s ds σ Eφ mx s h s x s y s ds. Eφ m x s h s k 1 yŝ x s +k y s x s CE x s h s +C. Eφ mx s h s y s σ x s 4σ m + 4σ m E h s y s 4σ e m m + C m e m E x t h t e m 1 + 4σ m +C +k me m E x s h s ds. Use now Gronwall s inequality and substitute in 3 and then again Gronwall s inequality we arrive at E x t h t C +C +e m 1. me m Choosing m = lnn 1 3 we deduce that E x t h t C 1 lnn But E x t y t E x t h t +E h t y t C 1 lnn 1

11 4. The case kl > 5σ Here, we choose again k 1,k such that k = k 1 +k and d = 4kl σ Proposition If σ kl and 1 16 kl σ 1 > 1 the following rate of convergence holds, assuming that x R +, Proof. Define the process γt = and then the stopping time defined by But E x t y t C. ds x s + h s, τ l = inf{s [,T] : σ γs+3ks l}. Using Ito s formula on x τ h τ with τ a stopping time, we obtain Ex τ h τ Now we work on C + E y s x s ds Therefore, = [ 4kl σ ]. Our result is as follows. k1 E x s h s yŝ x s +k E h s x s x s y s +σ E y s x s ds 3kE xs h s +σ E y s x s ds E x s h s +E h s y s ds E x s h s ds+c. E x s h s ds = E x s h s x s + h s ds. Ex τ h τ C +E x s h s 3ks+σ γ s ds. 15 Now, for τ = τ l, we use the change of variables setting u = 3ks + σ γ s and therefore s = τ u obtaining, Ex τl h τl C + Using Gronwall s inequality we obtain, l E x τu h τu du. E x τl h τl Ce l. 16 Going back to 4, for τ = t [,T], we have under the change of variables u = σ γ s +3ks, 3kT+σ Ex t h t γ T C +E C + x τu h τu du E I {3kT+σ γ T u} x τu h τu du

12 Noting that 3kT C + E I {3kT+σ γ T u} x τu h τu du E x τu h τu du+ and then we arrive using 5 3kT Pσ γ T ue x τu h τu du Ex t h t C We will estimate now the following, P3kT +σ γ T ue x τu h τu {3kT +σ γ T u} du, 1+C Pσ γ T ue u du. Pσ γ T u 1 e mueemσ γ T Choose m = 1 16 kl σ 1 and use Thm. 3.1 of [17] to end the proof. 5 An explicit scheme for the two factor CIR model based on exact simulation Let Ω,F,P,F t be a complete probability space with a filtration and let two independent Wiener processes W 1, t t defined on this space. Here we consider the following two factor CIR model see [], p. 4, x 1 t = x 1 + x t = x + k λ 11 x 1 s+λ 1 x sds+ l λ 1 x s+λ x 1 sds+ σ 1 x1 sdw 1 s, σ x sdw s This kind of model is widely used in financial mathematics. If one wants to calculate complicate expressions of the solution of the above system maybe the only way is to approximate it numerically. In this case, the numerical scheme should be positivity preserving and the usual Euler scheme does not have this property. For more details about the use of this model in financial mathematics one can see for example []. In the following two sections we will propose two different, explicit and positivity preserving numerical schemes. Our starting point is the exact simulation for the CIR process for some specific parameters. Consider the CIR process, and let = t < t 1 <... < t n = T, setting = T n, x t = x + kl kx s ds+σ xs dw s. If d = 4kl σ N then we can simulate this process exactly see [1], p Indeed, the exact simulation is given by rt i+1 = d e 1 k rti d j=1 + σ 1 k e k Z j i+1, where Z 1 i,...,z d i are standard normal d-vectors, independent for different values of i. Therefore, the idea see [11] is to split a part of the drift term and the remaining drift coefficient will be 1

13 such that we can simulate it exactly. Then, we will study the error produced by this splitting. For the two factor CIR model there is one more difficulty. In each equation there exists an unknown stochastic process which appears on the other. In this situation we will use the main idea of [1] and discretize every part of the first stochastic differential equation that contains the unknown stochastic process which contained in the second equation and vice versa. In this way we arrive to two stochastic differential equations that contains only one unknown stochastic process. For another positivity preserving numerical scheme for one factor CIR model see [1]. We propose the following decomposition, y 1 t = y 1 t k + λ 1 y t k + k 1 + k λ 11 y 1 sds t k + σ 1 t k y1 sdw 1 s, t t k,t k+1 ] where 4k σ 1 = [ 4k σ 1 ], 4l σ y t = y t k + λ y 1 t k + l 1 + l λ 1 y sds t k + σ t k y sdw s t t k,t k+1 ] = [ 4l ] and by [ ] we denote the integer part. We see that the above sdes are σ not really a system and in each equation only one unknown stochastic process appears. Therefore, in each step, we can simulate exactly the stochastic process y 1,y. Let us write in a more compact form our numerical scheme, for t t k,t k+1 ], y 1 t = x 1 + k λ 11 y 1 s+λ 1 y ŝds+t k+1 tk 1 +λ 1 y t k + σ 1 y1 sdws, 1 y t = x + l λ 1 y s+λ y 1 ŝds+t k+1 tl 1 +λ y 1 t k + σ y sdws, where ŝ = t k when s [t k,t k+1 ]. Our first result is to obtain the moment bounds for the true and the approximate solution. Assumption A Assume that x 1,x R + and that d 1 = 4k > 1, d σ1 = 4l > 1. σ Below we will give the moment bounds for the true and the approximate solution. However, for the approximate solution it seems that we need to bound it uniformly as we did, for example in [13]. Lemma 6 Under Assumption A we have Proof. We easily see that E sup y 1 t +y t < C, Ex 1 t +x t < C. t T y 1 t v 1 t = x 1 + Tk+ λ 1 x + + σ 1 y1 sdws 1, 13 λ 1 y ŝ+y t k ds

14 y t v t = x + Tl+ λ x σ y sdws, λ y 1 ŝ+y 1 t k ds We have used that t k+1 tλ 1 y t k λ 1 x when t k = t and t k+1 tλ 1 y t k λ 1y t k ds when t k = t 1,t,... and therefore t >. Thus, t k+1 tλ 1 y t k λ 1 x + λ 1 y t k ds, for any t [,T]. The same holds for the y 1 t k. Consider the stopping time τ = inf{t [,T] : y 1 t > R or y t > R}. Then, we can write, and therefore v 1 t τ C +C τ τ v ŝ τ+v t k τds+c τ v t τ C +C v1 ŝ τ+v 1 t k τds+c sup v1t τ+v t τ C +C t r + C sup t r r τ y1 s τdw 1 s, y s τdw s, v 1ŝ τ+v ŝ τ+v t k τ+v 1t k τds τ Taking expectations and using Doob s martingale inequality we arrive at E sup v1t+v t C +C t r C +C r + C r r E sup v1β τ+vβ τ+ β s τ y1 sdws 1 + sup y sdws. t r Ev 1ŝ τ+v ŝ τ+v t k τ+v 1t k τds Ev 1 s τ+v s τds E sup v1 β τ+v ds. β τ β s Setting now ur = Esup t r v1 t τ+v t τ and using a generalized Gronwall inequality see [19], Theorem 1, p. 36 we deduce that ur C, r [,T] with C independent of R. Taking the limit as R and using Fatou s lemma we take our result. The same holds for x 1,x. We will use later the auxiliary stochastic processes, h 1 t = x 1 + h t = x + k λ 11 y 1 s+λ 1 y ŝds+σ 1 y1 sdws 1, l λ 1 y s+λ y 1 ŝds+σ y sdws We shall show below that h 1, t and y 1, t remain close. 14

15 Lemma 7 Under Assumption A we have, for all t [,T], Proof. It is easy to see that Moreover, noting that we obtain the other results. E h 1, t y 1, t C E h 1, t y 1, t k C when t [t k,t k+1 ] Eh 1,t C. E y 1, t y 1, ˆt C. E y 1, t h 1, t C, 5.1 The general case d 1 1, d 1 In this section we assume that d 1 > 1 and d > 1 and we will prove that the rate of convergence is at least logarithmic. If d 1 = 1 for example we can simulate x 1 exactly therefore we work on the case where d 1 > 1 and d > 1. Theorem 3 If Assumption A holds then E x 1 t y 1 t + x t y t C 1 lnn for any t [,T]. Proof. Applying Ito s formula on x 1 t h 1 t we obtain E x 1 t h 1 t E λ 11 x 1 s h 1 s y 1 s x 1 s +λ 1 x 1 s h 1 s x s y ŝ +σ 1 x 1s y 1 s ds 18 Using Young inequality, we deduce Summing up we arrive at E x 1 s h 1 s y 1 s x 1 s +E x 1 s h 1 s y ŝ x s C E x 1 s h 1 s +E x s h s +C E x 1 t h 1 t C +C +σ 1 E x 1 s h 1 s + x s h s ds E x 1 s h 1 s ds. 19 Setting v t = x 1 s h 1 s + x s h s, using Ito s formula as before on x t h t and adding the results we arrive at Ev t C +C Ev sds+σ1 +σ E x 1 s h 1 s + x s h s ds. 15

16 Therefore, we have to estimate E x 1 t h 1 t and E x t h t. Let the non increasing sequence {e m } m N with e m = e mm+1/ and e = 1. We introduce the following sequence of smooth approximations of x, method of Yamada and Watanabe, [3] φ m x = x dy y ψ m udu, where the existence of the continuous function ψ m u with ψ m u /mu and support in e m,e m 1 is justified by e m 1 e m du/u = m. The following relations hold for φ m C R,R with φ m =, x e m 1 φ m x x, φ mx 1, x R, φ mx m x, when e m < x < e m 1 and φ mx = otherwise. Applying Ito s formula on φ m x 1 t h 1 t we obtain Eφ m x 1 t h 1 t We continue by estimating, + E φ mx 1 s h 1 s λ 11 y 1 s x 1 s +λ 1 x s y ŝ ds σ 1 E φ mx 1 s h 1 s x 1 s y 1 s ds. and E φ m x 1s h 1 s λ 11 y 1 s x 1 s +λ 1 x s y ŝ CE x 1 s h 1 s + x s h s +C, E φ mx 1 s h 1 s x 1 s y 1 s m + me m E h 1 y 1 m + C me m Therefore, E x 1 t h 1 t e m 1 + 4σ 1 m +C +C me m E x 1 s h 1 s + x s h s ds. Now, we do exact the same for x s h s, adding the results and setting ut = x 1 s h 1 s + x s h s we arrive at Eut e m 1 + 4σ 1 +σ t +C +C Eusds m me m Use now Gronwall s inequality and substitute in 19 and then again Gronwall s inequality we arrive at Ev t C +C +e m 1. me m Choosing m = lnn 1 3 we deduce that But Ev t C 1 lnn E x 1 t y 1 t + x t y t Ev t+e h 1 t y 1 t + h t y t C 1 lnn 16

17 5. Polynomial order of convergence In this section we will prove that the order of convergence is at least 1/ under further conditions on parameters and to do this we state first a proposition in which we show that the true solutions x 1,x has exponential inverse moment bounds. Consider the following CIR processes. z 1 t = x 1 + z t = x + k λ 11 z 1 sds+σ 1 z1 sdws, 1 l λ 1 z sds+σ z sdws. Assumption B Assume that there exists some strictly positive constants L 1 σ 1,k,L σ,l such that T L T 1 Eexp z 1 s ds L <, Eexp z s ds <. One can see [15], [17], [6] for a discussion on this assumption. Proposition 3 Suppose that Assumption A and B hold. Then, the following bounds are true, T L T 1 Eexp x 1 s ds L <, Eexp x s ds <. Proof. From the comparison theorem see [16], prop we know that x 1 t z 1 t with z 1 t = x 1 + k λ 11 z 1 sds+σ 1 z1 sdws 1. Therefore, since for z 1 we have exponential inverse moment bounds we take the result. The same holds for x. Proposition 4 Assume assumptions A and B. If of convergence holds, assuming that x R +, Proof. Define the processes, E x 1 t y 1 t + x t y t C. γ 1 t = γ t = and then the stopping times defined by γt = γ 1 t+γ t L 1 4σ1 +σ 1 and L 1 the following rate 4σ1 +σ ds x 1 s+ h 1 s ds x s+ h s τ 1 l τ l = inf{s [,T] : 4σ 1 +σ γ 1 s+ K s l}, = inf{s [,T] : 4σ 1 +σ γ s+ K s l}, τ l = inf{s [,T] : 4σ 1 +σ γs+ks l} for some fixed K >. 17

18 Using Ito s formula on x 1 τ h 1 τ with τ a stopping time, we obtain Ex 1 τ h 1 τ Eλ11 x 1 s h 1 s y 1 s x 1 s +λ 1 x 1 s h 1 s x s y ŝ +σ 1 E y 1 s x 1 s ds 3λ 11 E x 1 s h 1 s +λ 11 E h 1 s y 1 s +λ 1 E x 1 s h 1 s +λ 1 E x s h s +λ 1 E h s y ŝ +σ 1 E y 1 s x 1 s ds C + 3λ 11 +λ 1 E x 1 s h 1 s + x s h s +σ 1E y 1 s x 1 s ds The last term can be expressed as But E y 1 s x 1 s ds E x 1 s h 1 s ds = E x 1 s h 1 s +E h 1 s y 1 s ds E x 1 s h 1 s ds+c. E x 1s h 1 s x 1 s+ h 1 s ds. Doing exactly the same work on x τ h τ, adding the results and setting v τ = x 1 τ h 1 τ + x τ h τ we get, Ev τ C + C + EKv s+ σ 1 x 1 s h 1 s x 1 s+ h 1 s + σ x s h s x s+ h s ds EKs+4σ1 +σ γ s vs ds Now, for τ = τ l, we use the change of variables setting u = 4σ 1 +σ γs +Ks and therefore s = τ u obtaining, Using Gronwall s inequality we obtain, Now we rewrite as follows, Ev τ C + Ev τ l C + + l Ev τ u du. Ev τ l Ce l. 1 E K s+4σ 1 +σ γ 1s v sds E K s+4σ 1 +σ γ s v sds For τ = t τ l [,T] in, we have under the change of variables u = 4σ1 +σ γ 1s+ K s, for 18

19 the first integral, and the change of variables u = 4σ1 +σ γ s+ K s for the second integral, K Ev T+4σ 1 +σ γ1t t τ l C +E v τu 1 τ udu Noting that K T + C + K +E C + + T+4σ 1 +σ γt E I { K T+4σ 1 +σ γ1t u}v τu 1 τ u du Ev τ 1 u τ u du P K K T T +4σ 1 +σ γ 1T ue P4σ 1 +σ γ 1T uev τ 1 u τ udu E v τ u τ udu E I { K T+4σ 1 +σ γ1t u}v τu 1 τ u du I { K T+4σ 1 +σ γt u}v τu τ u du. 3 v τu 1 τ u { K T +4σ 1 +σ γ 1T u} du, and then, with exactly the same arguments for the integral involving γ t, we arrive using 1 Ev t τ l C 1+C P4σ1 +σ γ 1T ue u du+ P4σ1 +σ γ T ue u du. The probability, P4σ 1 +σ γ 1 T u 1 e muee4mσ 1 +σ γ1t, and the same holds for the probability involving γ t. Choose m i = Proposition 3 to deduce that Ev t τ l C. Using Fatou s lemma for l we take the result. 6 A second explicit numerical scheme L i 4σ1 +σ, for i = 1, and use We will propose a different numerical scheme below, σ 1 y 1 t k+1 = W1 t k+1 Wt 1 k + y 1 t k 1 λ 11 + λ 1 y t k + k σ 1 4, σ y t k+1 = W t k+1 Wt k + y t k 1 λ 1 + λ y 1 t k + l σ 4. Knowing y 1 t = x 1,y t = x we obtain explicitly and parallel the y 1 t 1,y t and so on. We work with the following stochastic processes, σ 1 y 1 t = W1 t Wt 1 k + y 1 t k 1 λ 11 + λ 1 y t k + k σ 1 4 = z 1 t, σ y t = W t Wt k + y t k 1 λ 1 + λ y 1 t k + l σ 4 = z t, 19

20 and in fact with the stochastic differentials obtained by the use of Ito s formula, for t t k,t k+1 ], y 1 t = y 1 t k 1 λ 11 + λ 1 y t k + k σ σ1 t k 4 ds +σ 1 t k sgnz 1 s y 1 sdw 1 s, y t = y t k 1 λ 1 + λ y 1 t k + l σ 4 + σ t k 4 ds +σ The compact forms are, for t t k,t k+1 ], y 1 t = x 1 + t k sgnz s y sdw s. k λ 11 y 1 ŝ+λ 1 y ŝds+ + σ 1 sgnz 1 s y 1 sdws, 1 y t = x + l λ 1 y ŝ+λ y 1 ŝds+ + σ sgnz s y sdws. Finally, we will use the following auxiliary processes, h 1 t = x 1 + h t = x + k+1 t k+1 t k σ 1 4 λ 11y 1 t k +λ 1 y t k ds l σ 4 λ 1y t k +λ y 1 t k ds k λ 11 y 1 ŝ+λ 1 y ŝds+σ 1 sgnz 1 s y 1 sdws 1, l λ 1 y ŝ+λ y 1 ŝds+σ sgnz s y sdws. Assumption C Assume that d 1 1, d 1, 1 max{λ 11,λ 1} and x R +. Lemma 8 Under Assumption C we have Proof. Here, again, we easily see that E sup y 1 t +y t < C t T y 1 t v 1 t = x 1 + Tk+ λ 1 x + + σ 1 y1 sdws, 1 λ 1 y ŝ+y t k ds y t v t = x + Tl+ λ x σ y sdws, Continuing as before we get the result. λ y 1 ŝ+y 1 t k ds

21 Lemma 9 Under Assumption C we have the following estimates, for i = 1, and t [t k,t k+1 ], E h i t y i t E y i t y i t k E h i t y i t k E h i t C C, C, C. Proof. Using the moment bounds of Lemma 8 we easily get the result. Lemma 1 Under Assumption B, we have the following estimates, Ey 1 tsgnz 1 t 1 C 1 ε, Ey tsgnz t 1 C 1 ε for any ε >. Proof. We begin with, when t [t k,t k+1 ], Ey 1 tsgnz 1 t 1 = 4Ey 1 ti {z1t } 4E y 1 t y 1 t k +4Ey 1 t k I {z1t } C +4Ey 1 t k I {z1t }I {y1t k 1/ ε } +4Ey 1 t k I {z1t }I {y1t k > 1/ ε } C 1/ ε +4Ey 1 t k I {{z1t } {y 1t k > 1/ ε }} We have used Lemma 9 to obtain the second inequality, estimating the term E y 1 t y 1 t k. But = {z 1 t } {y 1 t k > 1/ ε } {W 1t σ1 W1tk { W 1 t W 1 t k 1 λ 11 σ 1 y 1 t k 1 λ 11 + λ 1 y t k + k σ 1 4 1/ ε }. } {y 1 t k > 1/ ε } Since the increment Wt 1 W1 t k is normally distributed with mean zero and variance t t k we have that P {z 1 t } {y 1 t k > 1/ ε t tk } C e y / dy C ε. πt tk e C/ ε C 1/ ε t tk We have used the inequality of problem 9., p.11 of [16] to obtain the last inequality. Now we have, using the moment bounds for the numerical solution, Ey 1 t k I {{z1t } {y 1t k > 1/ ε }} {z CP 1 t } {y 1 t k > 1/ ε } Noting that ε e1/ ε faster than any power of we have that The same holds for y t. Ey 1 tsgnz 1 t 1 C 1 ε. Because h 1,h are essential the same as in the previous section, we can use the same arguments as in Theorem 3 and Proposition 4 together with Lemma 1 to get the following results. Theorem 4 If Assumption C holds then for any t [,T]. E x 1 t y 1 t + x t y t C 1 lnn 1

22 L Proposition 5 Suppose that Assumptions B and C hold. Then, if 1 4σ1 +σ 1 and L 4σ1 +σ 1, the following rate of convergence holds, E x 1 t y 1 t + x t y t C 1/ ε. for every ε >. That is the order of convergence is at least 1/4 ε. Conclusion We have proposed two explicit and positivity preserving numerical schemes for the two factor CIR model. The first one is based on the exact simulation of the CIR process for a specific set of parameters. The advantage of the second method is that one need less calculations in each step comparing with the first method. However, extended numerical experiments has to be done to compare them. Let us mention that both the results hold for the case of one equation choosing for example λ 1 =. Finally, the above results can be easily extended for the multi-factor case. In [] one can find a different use of the above model. If one considers a more complicated model than the above, for example, x 1 t = x 1 + x t = x + k λ 11 x 1 s+λ 1 x sds+ l λ 1 x s+λ x 1 sds+ σ 1 x1 sx sdw 1 s, σ x1 sx sdw s then it is not obvious how our first numerical scheme based on exact simulation can be applied here. Considering the second method one can propose the following numerical scheme, σ 1 yt k y 1t k+1 = Wt 1 k+1 Wt 1 k + y 1t k 1 λ 11 + λ 1y t k + k σ 1 yt k, 4 σ y1t k y t k+1 = Wt k+1 Wt k + y t k 1 λ 1 + λ y 1t k + l σ y1t k. 4 With the same analysis and with a minor modification on the hypotheses, one can prove that this scheme converges strongly to the true solution but without some rate, i.e. a similar result as Theorem 3. As a minimal computer experiment we give below the difference between the numerical scheme for a = 1 and the scheme proposed in [1] just to see that these methods are close. More complicated computer experiments has to be done in order to detect the actual order of convergence and other advantages or disadvantages of this method compared with that of [1]. Figure 1: x = 4, = 1 4, k =, l = 1, s = 1 T = 1. Acknowledgement I would like to thank Prof. Arnulf Jentzen for an instructive discussion during the preparation of this paper.

23 References [1] A. Alfonsi, On the discretization schemes for the CIR and Bessel squared processes, Monte Carlo Methods Appl. 11, 4 5, [] A. Alfonsi, High order discretization schemes for the CIR process: application to affine term structure and Heston models, Math. Comp., 79, 1, pp [3] A. Alfonsi, Strong order one convergence of a drift implicit Euler scheme: Application to the CIR process, Statistics and Probability Letters, Volume 83, Issue, 13, pp [4] L. Andersen, Simple and efficient simulation of the Heston stochastic volatility model, Journal of Computational Finance, 8, Vol. 11, No. 3. [5] A. Berkaoui, Euler scheme for solutions of stochastic differential equations, Portugalia Mathematica Journal [6] A. Berkaoui, M. Bossy and A. Diop, Euler scheme for SDEs with non-lipchitz diffusion coefficient: strong convergence, ESAIM 1, 8, [7] J. C. Cox, J. E. Ingersoll and S. A. Ross, A theory of the term structure of interest rates, Econometrica, , pp [8] D. Dufresne, The integrated square-root process, Research Paper, University of Montreal,1. [9] I. Gyongy and M. Rasonyi, A note on Euler approximations for SDEs with Holder continuous diffusion coefficients, Stochastic Processes and their Applications [1] P. Glasserman, Monte Carlo Methods in Financial Engineering, Springer, 3. [11] N. Halidias, Semi-discrete approximations for stochastic differential equations and applications, International Journal of Computer Mathematics, 1, pp [1] N. Halidias, Construction of positivity preserving numerical schemes for a class of multidimensional stochastic differential equations, Discrete and Continuous Dynamical Systems, vol., 15. [13] N. Halidias, A novel approach to construct numerical methods for stochastic differential equations, Numerical Algorithms May 14, Volume 66, Issue 1, pp [14] Desmond Higham and Xuerong Mao, Convergence of Monte Carlo Simulations involving the mean-reverting square root process, Journal of Computational Finance 8 5, pp [15] M. Hutzenthaler, A. Jentzen and M. Noll, Strong convergence rates and temporal regularity for Cox-Ingersoll-Ross processes and Bessel processes with accessible boundaries, arxiv. [16] I. Karatzas and S. Shreve, Brownian Motion and Stochastic Calculus, Springer, [17] T. R. Hurd and A. Kuznetsov, Explicit formulas for Laplace transforms of stochastic integrals, Markov Process. Relat. Fields, 14, [18] C Kahl, M. Gunther and T. Rossberg, Structure preserving stochastic integration schemes in interest rate derivative modeling, Appl. Numer. Math., 58, 8, pp [19] D. S. Mitrinovic, J. E. Pecaric and A. M. Fink, Inequalities Involving Functions and Their Integrals and Derivatives, Kluwer, [] S. Shreve, Stochastic Calculus for Finance II, Springer. [1] J. Wilkie and Yin Mei Wong, Positivity preserving chemical Langevin equations, Chemical Physics 353, 13138, 8. 3

24 [] J. Wilkie and Yin Mei Wong, Positivity preserving chemical Langevin equations, Chemical Physics 353, 13138, 8. [3] T. Yamada and S. Watanabe On the uniqueness of solutions of stochastic differential equations. J. Math. Kyoto Univ. 11, , [4] L. Yan The Euler scheme with irregular coefficients, Ann. Prob. 3, pp ,. 4