arxiv: v1 [q-fin.cp] 31 Aug 2013

Transcription

1 arxiv:139.11v1 [q-fin.cp] 31 Aug 213 ADI cheme for pricing American option under the Heton model Tinne Haentjen and Karel J. in t Hout September 3, 213 Abtract In thi paper a imple, effective adaptation of Alternating Direction Implicit (ADI) time dicretization cheme i propoed for the numerical pricing of American-tyle option under the Heton model via a partial differential complementarity problem. The tability and convergence of the new method are extenively invetigated in actual, challenging application. In addition a relevant theoretical reult i proved. Key word: Alternating Direction Implicit cheme, American option pricing, Heton model, linear complementarity problem, Ikonen Toivanen plitting. 1 Introduction Thi paper i concerned with the numerical valuation of American-tyle option. We conider the adaptation of the well-known cla of Alternating Direction Implicit (ADI) time dicretization cheme. Thee plitting cheme have proven to be highly efficient, table and robut in the numerical pricing of European-tyle option via multidimenional partial differential equation (PDE). A tudy of their potential for American-tyle option i till in it infancy, however. In the preent paper we propoe and analyze an effective adaptation of ADI cheme to the pricing of thi important type of option. For the underlying aet price proce the popular Heton tochatic volatility model [15] i conidered. Let u(,v,t) be the fair value of a vanilla American put option under the Heton model if at t time unit before the given maturity time the underlying aet price equal and it variance equal v. The Heton patial differential operator A applied to the function u i denoted by Au = v 2 u 2 +ρσv 2 u v σ2 v 2 u v 2 +r u +κ(η v) u ru ( >, v > ). (1.1) v Here parameter κ > i the mean-reverion rate, η > i the long-term mean, σ > i the volatility-of-variance, ρ [ 1, 1] i the correlation between the two underlying Brownian motion and r i the rik-neutral interet rate. We note that in the literature it i ometime aumed that the o-called Feller condition 2κη > σ 2 i fulfilled, but in thi paper we hall make no uch aumption. Let K, T > be the given trike price and maturity time of the American put option and denote the payoff function by φ() = max(k,) ( ). (1.2) It i well-known that the option value function u atifie the following o-called partial differential complementarity problem (PDCP): ( ) u u Au, u φ, (u φ) t t Au =, (1.3) Department ofmathematic and Computer Science, Univerity ofantwerp, Middelheimlaan 1, B-22 Antwerp, Belgium. {tinne.haentjen,karel.inthout}@uantwerpen.be. 1

2 valid pointwiefor (,v,t) with >, v >, < t T. The Heton PDCP(1.3) i complemented with initial and boundary condition. The initial condition i u(,v,) = φ() (for, v ). Boundary condition are given in Section 2 below. The three condition in (1.3) naturally induce a decompoition of the (, v, t)-pace: the continuation region i the et of all point (,v,t) where the equality u/ t = Au hold (and the option i held); the exercie region i the et of all point (,v,t) where the equality u = φ hold (and the option i exercied). The joint boundary of thee two region i called the free boundary or exercie boundary. Both the option value function u and the free boundary are unknown in cloed form. Further, even though no rigorou proof appear to be available at preent, the function u i expected to uffer from a lack of moothne on the free boundary, a in the Black Schole cae. The numerical olution of the Heton PDCP for American-tyle option price ha already been conidered by variou author in the literature. We give here a brief overview of the main contribution. Clarke & Parrott [7] apply finite difference cheme for the patial dicretization of (1.3) followed by the θ-method for the time dicretization. Thi give rie to a fully dicrete linear complementarity problem (LCP) that need to be olved in every time tep. A it turn out, the common projected SOR method (ee e.g. [33, 37]) i often too low for the Heton LCP and in [7] the author propoe a multigrid method. It i baed on the projected full approximation cheme (PFAS) by Brandt & Cryer [4]. Ooterlee [29] provide a detailed Fourier analyi of the PFAS approach for the Heton LCP and conclude, in particular, that an alternating line moother i robut. For the time dicretization the econd-order backward differentiation formula (BDF2) wa ued in [29]. Toivanen & Ooterlee [34] preent a projected algebraic multigrid method for LCP and how that thi i fater than geometric multigrid in the cae of the Heton LCP. Zvan, Foryth & Vetzal [39] view the American option pricing problem a a nonlinear Heton PDE, where the early exercie contraint i incorporated by a penalty method. After patial dicretization, by finite element/volume cheme, and time dicretization, by the θ-method, they obtain a nonlinear ytem of algebraic equation that i numerically olved through an approximate Newton method with a preconditioned CGSTAB iteration. The penalty method i hown to yield the Heton LCP a the penalty parameter tend to infinity. Ikonen & Toivanen [24] propoe plitting method for the time dicretization of the emidicretized Heton PDCP. The method under conideration can be viewed a analogue of well-known fractional tep method or locally one-dimenional(lod) method for ytem of ordinary differential equation. In particular, the ymmetric Strang-type plitting i adapted to the emidicretized Heton PDCP. Thi lead to five LCP per time tep, each with a tridiagonal matrix. Thee imple LCP are then exactly olved by the efficient Brennan Schwartz algorithm, introduced in [5] for pricing American option under the (one-dimenional) Black Schole model. We remark that, ince the method in [24] are baed on LOD method, pecial attention mut be given to the treatment of the PDCP boundary condition, otherwie order reduction might occur. Further, the Brennan Schwartz algorithm i only applicable under retrictive aumption on the patial dicretization a well a (the hape of) the free boundary for the option price. Somewhat related to [24], Villeneuve & Zanette [36] previouly formulated two adaptation of the original Peaceman Rachford ADI cheme [3] to the emidicretized PDCP from the pricing of American option on two aet under the Black Schole model. Thee author firt perform a coordinate tranformation, o a to arrive at an operator that i eentially the tandard twodimenional Laplacian. Correpondingly, a generalization of the approach from [36] to the Heton model i not directly clear. Ikonen & Toivanen [26] propoe a novel plitting technique, which applie to the Heton LCP obtained after pace and time dicretization. Their idea, originally put forth in [23] in the cae of the Black Schole model, i to introduce an auxiliary variable uch that a decoupling i achieved between the underlying time dicretization cheme and the enforcement of the early exercie contraint. The amount of computational work per time tep of thi approach i governed by the olution of the pertinent linear ytem, for which the author employ multigrid. The computational cot of the update of the early exercie contraint i negligible. The time dicretization 2

3 cheme under conideration are backward Euler, Crank Nicolon and BDF2 a well a a econdorder, L-table Runge Kutta method. It i hown [25, 26] that thi plitting approach perform well and i efficient. Peron & Von Sydow [31] conider a tailored, adaptive pace-time dicretization of the Heton PDCP baed on finite difference and the BDF2 method and apply the plitting technique from [26] where for the olution of the linear ytem a preconditioned GMRES iteration i ued. The main aim of our preent paper i to how that by invoking the plitting idea from [26] an effective adaptation of ADI time dicretization cheme to the emidicretized Heton PDCP for American-tyle option i attained. We refer to the newly obtained method a ADI-IT method. The amount of computational work per time tep of an ADI-IT method i determined by the olution method for the pertinent linear ytem, a in [26]. But, contrary to [26], thee linear ytem now only involve matrice with a fixed, mall bandwidth. They can therefore be exactly and eaily olved in an efficient manner by uing LU factorization. In our note [13] thi approach wa already briefly introduced. In the preent paper we hall give a comprehenive tudy. An outline of the ret of the paper i a follow. Section 2 decribe the dicretization of the Heton operator (1.1) by finite difference cheme on nonuniform Carteian grid, leading to a emidicrete verion of the Heton PDCP (1.3). In Section 3, we firt conider time dicretization by the common θ-method. For the reulting Heton LCP the plitting technique by Ikonen & Toivanen [26] i formulated and dicued. We prove a ueful theorem on the cloene of the numerical olution with and without plitting. Next, in Section 4 our adaptation of ADI time dicretization cheme to the emidicrete Heton PDCP i defined. Four known ADI cheme are conidered: the Dougla cheme, the Craig Sneyd cheme, the modified Craig Sneyd cheme and the Hunddorfer Verwer cheme. Section 5 preent an extenive numerical tudy of the acquired ADI-IT method. We invetigate in detail their actual tability and convergence behavior in a variety of repreentative, challenging tet cae- with hort and long maturity time, with zero and nonzero correlation, for cae where the Feller condition hold and cae where it i violated, and for vanilla American put option a well a capped American put option. Alo, approximation obtained with the ADI-IT approach are compared to known approximation from the literature reviewed above and for all tet cae the computed option price urface and free boundarie are graphically diplayed. In Section 6 concluion are given. 2 Spatial dicretization The firt tep in numerically olving the Heton PDCP (1.3) i the dicretization of the Heton operator (1.1). For the patial variable rep. v the domain i retricted to a bounded et [,S max ] rep. [,V max ] with fixed value S max, V max taken ufficiently large. We deal with boundary condition of Dirichlet and Neumann type, determined by the pecific option under conideration, or no condition, in the cae of a degenerate boundary. For a vanilla American put option the following boundary condition are common in the literature. In the -direction: u(,v,t) = K, u (S max,v,t) =. (2.1a) (2.1b) In the v-direction: u v (,V max,t) =. (2.2) Note the degeneracy feature of the Heton operator (1.1) in the v-direction that all econdorder derivative term vanih and the operator become convection-dominated for v. Relatedly, at v =, it i aumed that the Heton PDCP (1.3) i fulfilled. 3

4 For the dicretization of (1.1) a uitable Carteian grid i choen on [,S max ] [,V max ] with nonuniform mehe = < 1 <... < m1 = S max and = v < v 1 <... < v m2 = V max in the - and v-direction. The ue of nonuniform mehe, intead of uniform one, can ubtantially improve the efficiency, cf. e.g.[12]. Moreover, when applying the nonuniform mehe defined below, taking larger value for S max and V max will be computationally inexpenive. In the -direction: let integer m 1 1 and parameter d 1 > and let equiditant point ξ min = ξ < ξ 1 <... < ξ m1 = ξ max be given with ( ) ξ min = inh 1 Sleft, d 1 ξ int = S right S left d 1, ξ max = ξ int +inh 1 ( Smax S right d 1 Note that ξ min < < ξ int < ξ max. We then define the meh = < 1 <... < m1 = S max through the tranformation i = ϕ(ξ i ) ( i m 1 ) where S left +d 1 inh(ξ) (for ξ min ξ < ), ϕ(ξ) = S left +d 1 ξ (for ξ ξ int ), S right +d 1 inh(ξ ξ int ) (for ξ int < ξ ξ max ). The above meh ha relatively many point in a given fixed interval [S left,s right ] [,S max ]. Thi interval i taken in particular uch that it lie in the region of interet in application and it contain the trike K. Thu numerical difficultie due to the initial function (1.2), which poee a dicontinuou derivative at K, are alleviated. The -meh i nonuniform outide [S left,s right ] and uniform inide. In the v-direction: let integer m 2 1 and parameter d 2 > and let equiditant point ψ < ψ 1 <... < ψ m2 be given by ψ j = j ψ ( j m 2 ) with ψ = 1 ( ) inh 1 Vmax. m 2 d 2 We then define the meh = v < v 1 <... < v m2 = V max by v j = d 2 inh(ψ j ) ( j m 2 ). Thi nonuniform meh ha relatively many point in the neighborhood of the important degenerate boundary v =. Let ξ = ξ 1 ξ. It i readily verified that the - and v-mehe defined above are mooth, in the ene that there exit real contant C,C 1,C 2, C,C 1,C 2 > uch that the meh width i = i i 1 and v j = v j v j 1 atify C ξ i C 1 ξ and i+1 i C 2 ( ξ) 2 (uniformly in i, m 1 ), C ψ v j C 1 ψ and v j+1 v j C 2( ψ) 2 (uniformly in j, m 2 ). ). The actual choice of parameter in our numerical experiment, in Section 5 below, are d 1 = K/2, d 2 = V max /5 and with r = 1 4, S left = max ( 1 2,e rt) K, S right = K, S max = 14K, V max = 5. 4

5 The abovevalue fors max, V max might be conidereda large. They wereheuritically determined, o a to guarantee that the error induced by the retriction of the patial domain to a bounded et i negligible in all our experiment. A already mentioned, with the nonuniform mehe under conideration, increaing the upper bound S max, V max i harmle for the overall efficiency. The interval [S left,s right ] ha been choen uch that, in addition to containing the trike K, the -point of the exercie boundary are expected to be contained in it for all practical value v, t. A further invetigation into poibly better parameter value than above may be intereting, but thi i beyond the cope of the preent paper. We dicu next the dicretization of the patial derivative on the elected nonuniform grid. In view of the boundary condition, given above, the pertinent patial grid i G = {( i,v j ) : 1 i m 1, j m 2 }. Write u i,j = u( i,v j,t). We employ the following well-known finite difference (FD) cheme for dicretizing the convection and diffuion term in the Heton operator (1.1). In the -direction: the forward cheme for convection the central cheme for diffuion 2 u 2( i,v j,t) 2 i ( i + i+1 ) u i 1,j In the v-direction: the forward cheme for convection the backward cheme for convection the central cheme for diffuion 2 u v 2( i,v j,t) u ( i,v j,t) u i+1,j u i,j i+1, 2 i i+1 u i,j + u v ( i,v j,t) u i,j+1 u i,j v j+1 whenever v j η, u v ( i,v j,t) u i,j u i,j 1 v j whenever v j > η, 2 v j ( v j + v j+1 ) u i,j 1 2 v j v j+1 u i,j + 2 i+1 ( i + i+1 ) u i+1,j. 2 v j+1 ( v j + v j+1 ) u i,j+1. For arbitrary mehe the forward and backward FD cheme for convection and central FD cheme for diffuion all poe a firt-order truncation error(whenever u i ufficiently often differentiable). For mooth mehe a in our paper, the truncation error of the central cheme i of econd-order. Special attention i needed for the FD dicretization at the important degenerate boundary a well a at the boundarie with a Neumann condition. In the -direction: the Neumann condition (2.1b) at = S max directly render the firt derivative u/. Uing the central cheme, together with linear extrapolation to obtain the required approximation at a virtual meh point beyond S max, the econd derivative 2 u/ 2 i approximated. 5

6 In the v-direction: the Neumann condition (2.2) at v = V max i treated analogoulyto (2.1b) above. Atthedegenerateboundaryv = weapproximate u/ vbytheforwardfdcheme. 1 Next, the term in (1.1) involving 2 u/ v 2 vanihe if v = and i thu trivially dealt with. If the underlying aet price and variance procee are correlated, o if ρ, then the Heton operator (1.1) contain a mixed derivative term. For the mixed derivative 2 u/ v we conider a tandard FD dicretization baed on a centered 9-point tencil formed by ucceive application of the following central FD cheme in the - and v-direction: u ( i+1 i,v j,t) i ( i + i+1 ) u i 1,j + i+1 i u v ( i,v j,t) i i+1 u i,j + v j+1 v j ( v j + v j+1 ) u i,j 1 + v j+1 v j v j v j+1 u i,j + i i+1 ( i + i+1 ) u i+1,j, v j v j+1 ( v j + v j+1 ) u i,j+1. It i readily verified that at the degenerate boundary a well a the two Neumann boundarie the mixed derivative term in (1.1) vanihe and, hence, i trivially dealt with. We remark that with the imple firt-order FD cheme for convection above, it i eaily proved that the obtained emidicrete Heton matrix A i uch that A i alway an M-matrix 2 if the correlation ρ =. In the literature on the pricing of financial option, thi type of condition ha been ued for deriving favorable propertie of numerical method. In general, A i not an M-matrix whenever ρ and tandard FD dicretization of the mixed derivative, uch a above, are applied. More advanced dicretization of the mixed derivative have been contructed in thi cae, ee e.g. [24, 25, 26]. In the preent paper we hall adhere to the above tandard choice, however. For an accurate approximation of the option value function u it i beneficial to moothen the payoff function (1.2) at the trike K, where it i dicontinuou in the firt derivative. Accordingly, we replace the value of the payoff function at the meh point i nearet to K by it cell average, ee e.g. [33]: 1 i+1/2 φ()d with i 1/2 = 1 h 2 ( i 1 + i ), i+1/2 = 1 2 ( i + i+1 ), h = i+1/2 i 1/2. i 1/2 By patial dicretization, the option value u(, v, t) are approximated at the patial grid point (,v) G. Thee approximation form the entrie of a vector U(t), which i given a the olution of a emidicrete PDCP, U (t) AU(t)+g, U(t) U, (U(t) U ) T (U (t) AU(t) g) = ( < t T). (2.3) Here inequalitie are to be interpreted componentwie. The ize of the ytem (2.3) equal M = m 1 (m 2 +1), A i a given real M M matrix and U and g are given real M 1 vector determined by the initial and boundary condition, repectively. Further, T tand for tranpoe. The next main tep in numerically olving (1.3) i the time dicretization of (2.3). 3 Time dicretization: θ-method After the patial dicretization of the Heton PDCP (1.3) in the previou ection, we now conider the time dicretization of the obtained emidicrete PDCP (2.3). An often-ued cheme for it time dicretization i the θ-method, with parameter θ [ 1 2,1], ee e.g. [7, 21, 24, 25, 26]. The choice θ = 1 2 and θ = 1 repreent, repectively, the well-known Crank Nicolon (CN) and backward 1 Some author deal with the v = boundary eparately, by applying an explicit time tepping cheme. But thi yield an unpractical dicretization, where an exceively large number of time tep i neceary for tability. 2 For the definition of an M-matrix ee e.g. [2]. 6

7 Euler (BE) method. Thee method have claical order of conitency equal to two and one, repectively, in the numerical olution of ytem of ordinary differential equation (ODE) and poe favorable linear tability propertie, cf. e.g. [14]. Let I denote the M M identity matrix, let t = T/N with integer N 1 be a given time tep and let temporal grid point t n = n t for integer n N. Then application of the θ-method to the emidicrete Heton PDCP (2.3) define approximation U n U(t n ) ucceively for n = 1,2,...,N by (I θ ta)u n (I +(1 θ) ta)u n 1 + tg, (3.1a) U n U, (U n U ) T ((I θ ta)u n (I +(1 θ) ta)u n 1 tg) =. (3.1b) The fully dicrete PDCP (3.1) contitute, for each given n, a o-called linear complementarity problem (LCP). By introducing an auxiliary vector λ n, it can clearly be rewritten a (I θ ta)u n = (I +(1 θ) ta)u n 1 + tg + tλ n, (3.2a) λ n, U n U, (U n U ) T λ n =. (3.2b) Ifthei-thcomponentλ n,i ofλ n iequaltozero,thenthe correpondingpatialgridpoint(,v) G i aumed to lie in the continuation region at time t n, and otherwie in the exercie region. We conider in thi paper the numerical olution of the LCP (3.2) for 1 n N by employing a plitting technique propoed by Ikonen & Toivanen [23, 26]: (I θ ta)ūn = (I +(1 θ) ta)ûn 1 + tg + t λ n, (3.3a) Û n Ūn t( λ n λ n ) =, λ n, Û n U, (Ûn U ) T λn =, (3.3b) where Û = U. The vector λ n i given at the tart of each time tep. Here the baic choice from [23, 26] i taken: λ n = λ n 1 with λ the zero vector. (3.4) We refer to the above technique a Ikonen Toivanen (IT) plitting and call (3.3) the θ-it method. SpecialcaearetheCN-IT methodandbe-it methodgivenbyθ = 1 2 andθ = 1, repectively. The IT plitting approach ha been inpired by imilar technique in computational fluid dynamic [1]. The vector Ûn and λ n defined by (3.3) contitute approximation to U n and λ n defined by (3.2). Thee vector are computed in two, ucceive tage. In the firt tage, an intermediate approximation Ūn i determined by olving the ytem of linear equation (3.3a). Notice that thi ytem can be viewed a obtained from application of the claical θ-method to a ytem of ODE. In the econd tage, Ū n and λ n are updated to Ûn and λ n through (3.3b). It i readily verified that thee update are given by the imple, explicit formula Û n = max { Ū n t λ n, U }, λn = max {, λ n +(U Ūn)/ t }. (3.5) Here the maximum of two vector i taken componentwie. The following ueful theorem concern the difference between the LCP (3.2) and it approximate verion (3.3) obtained by IT plitting if θ = 1. For any given diagonal matrix D R M M with poitive diagonal entrie, let the caled inner product be given by x,y D = y T Dx whenever x,y R M and let D denote both the induced vector and matrix norm. We have 7

8 Theorem 3.1 Conider the procee (3.2) and (3.3) with θ = 1. Aume there exit a poitive diagonal matrix D uch that DA+A T D i negative emidefinite (3.6) and aume there i a real contant ν independent of t > uch that Then whenever t = T/N, integer N 1. λ 1 D + N λ n λ n 1 D ν. (3.7) n=2 max U n Ûn D ν t (3.8) 1 n N Proof (i) From aumption (3.6) and Berman & Plemmon [2, Ch. 6, 1] it firt follow that Q = I ta i a P-matrix 3 and that (3.1) alway poee a unique olution U n. By (3.2a), QU n = U n 1 + tg + tλ n. By (3.3b), and inerting thi into (3.3a) yield Ū n = Ûn t( λ n λ n ) QÛn = Ûn 1 + tg + t λ n + tq( λ n λ n ). Define V n = U n Ûn. Then, with R = Q 1, QV n = V n 1 + t(λ n λ n ) tq( λ n λ n ), V n = RV n 1 + tr(λ n λ n ) t( λ n λ n ). Define W n = t(λ n λ n ). Upon writing λ n λ n = λ n λ n +λ n λ n there follow V n W n = RV n 1 + ts(λ n λ n ), with S = R I. Inerting the choice (3.4) for λ n lead to V n W n = RV n 1 +SW n 1 + ts(λ n λ n 1 ), (3.9) where we put λ =. (ii) Condition (3.2b) and (3.3b) imply for the component of the vector V n, W n that V n,i W n,i for all i. (3.1) To ee thi, conider four cae: If λ n,i = and λ n,i =, then W n,i =. If λ n,i > and λ n,i =, then W n,i > and V n,i = U,i Ûn,i. If λ n,i = and λ n,i >, then W n,i < and V n,i = U n,i U,i. If λ n,i > and λ n,i >, then V n,i = U,i U,i =. 3 A quare matrix i called a P-matrix if all it principal minor are poitive, ee e.g. [2, 21]. 8

9 (iii) Define on R 2M the norm ( ) D x y = x 2 D + y 2 D whenever x,y RM with induced matrix norm denoted the ame. By (3.1), we have ( ) Vn 2 W = V n 2 D + W n 2 D V n 2 D + W n 2 D 2 V n,w n D = V n W n 2 D. n D Uing (3.9) thi yield ( ) D ( Vn R S W n O O Conider the 2 2 matrix-valued rational function Φ given by ( 1 ) z Φ(z) = 1 z 1 z for z C. Then Φ( ta) = )( Vn 1 W n 1 ) D + t S(λ n λ n 1 ) D. (3.11) ( R S O O For the pectral norm of Φ(z) it i eaily hown that which yield ). Φ(z) 2 2 = λ max [Φ(z) Φ(z)] = 1+ z 2 1 z 2, Next, the condition (3.6) on matrix A i equivalent to Φ(z) 2 1 if and only if Rz. (3.12) Re Ax,x D whenever x C M, (3.13) where x,y D = y Dx for any given vector x,y C M. In view of (3.12) and (3.13), we can invoke a matrix-valued verion of a well-known theorem due to von Neumann, ee e.g. [14, Sect. V.7]. Thi directly lead to Φ( ta) D 1. By (3.11), it thu follow that ( ) D Vn W n which complete the proof. ( Vn 1 W n 1 ) D + t λ n λ n 1 D... t n λ j λ j 1 D ν t, j=1 Theorem 3.1 provide the ueful reult that the equence {Ûn} generated by (3.3) i O( t) cloe to the equence {U n } defined by (3.2) if θ = 1. Oberve that there i no retriction on the time tep t. The matrix condition(3.6), or the equivalent condition(3.13), are well-known. In the numerical ODE literature they are often referred to by aying that a caled logarithmic 2-norm of A i le than or equal to zero. Recently In t Hout & Volder [18] invetigated thi condition in the cae of the Heton PDE. Even though the FD dicretization tudied in there differ omewhat from the one conidered here, it i intereting to note that a poitive reult concerning (3.13) wa proved 9

10 [18] for arbitrary correlation factor ρ [ 1,1] with a natural caling matrix D. The extenion of thi (nontrivial) reult to the preent emidicretization will be left a a topic for future reearch. The condition (3.7), on the λ n defined by (3.2), i analogou to a condition by Ikonen & Toivanen[26], except that thee author dealt with the maximum norm. Theoretical and numerical evidence indicate that a moderate contant ν exit that i valid uniformly in the patial grid and the time tep uch that (3.7) i fulfilled. Theorem 3.1 i cloely related to [26, Thm. 1]. The latter theorem provide an upper bound on the maximum norm of U n Ûn if θ = 1 2. Unfortunately, however, the derivation of thi reult i not clear a the lat tatement in the proof of [26, Lemma 2] doe not hold in general. Alo, a retriction on the time tep ha been aumed that i often too evere for practical application. An analogueof Theorem 3.1 for the important cae of the maximum norm i not obviou. Note that our proof above relie in an eential way on the ue of inner product norm. Neverthele, in the numerical experiment below we hall alway deal with the maximum norm. Theorem 3.1 can be extended, along the ame line of proofabove, to any given parameter value θ [,1) if the condition (3.6) i replaced by ta+γi D γ with γ = (1 θ) 2. Thi i often called a circle condition on t A. It i ubtantially tronger than (3.6). In particular it implie that ta D 2γ, which yield an upper bound on the time tep that i often too evere in practice. In the numerical experiment below however, we hall conider the θ-it method (3.3) both with θ = 1 and θ = Time dicretization: ADI cheme When numerically olving multidimenional problem, the patial dicretization rapidly lead to very large ytem of emidicrete PDCP. Applying the θ-it method then render very large linear ytem with a large bandwidth that need to be olved. Thi can be computationally very demanding. One good poibility i to employ tailored multigrid method, a i done e.g. in [26]. In the preent paper we propoe to combine ADI time dicretization cheme with the IT plitting approach for olving (2.3). In (3.3) the θ-method i thu replaced with an ADI cheme. We hall conider four different cheme of the ADI type: the Dougla cheme (Do), the Craig Sneyd cheme (CS), the modified Craig Sneyd cheme (MCS) and the Hunddorfer Verwer cheme (HV). Thee four cheme have recently been elaborately invetigated in the numerical pricing of European-tyle vanilla and barrier option under the Heton model [16] a well a under the three-dimenional Heton Hull White and Heton Cox Ingeroll Ro model, ee [12] and [11], repectively. It wa found that in particular the MCS and HV cheme, with a proper choice of their parameter, are highly efficient, table and robut. A firt brief numerical tudy of ADI cheme adapted to the pricing of American-tyle option under the Heton model wa carried out in [13]. In thi paper we hall ubtantially extend the promiing initial reult obtained in loc. cit. When conidering cheme of the ADI type, the emidicrete matrix A i plit into everal convenient part. In the cae of the Heton model we have A = A +A 1 +A 2. Here the matrix A i the part of A that tem from the FD dicretization of the mixed derivative term and A 1 and A 2 are given by the part of A that correpond to the FD dicretization of all patial derivative in the - and v-direction, repectively, and further contain an equal part of the ru term from (1.1). Note that the matrice A 1 and A 2 are eentially tridiagonal and that the matrix A i nonzero whenever the correlation ρ i nonzero. Let θ > be a given real parameter. Let t = T/N with integer N 1 and et t n = n t. The following four method are given by combination of the ADI cheme mentioned above with the IT plitting tage (3.3b), or equivalently, (3.5). Each method define ucceive approximation Û n to the olution vector U(t n ) of (2.3) for n = 1,2,...,N. We refer to them a ADI-IT method. 1

11 Do-IT: Y = Ûn 1 + t(aûn 1 +g)+ t λ ) n, Y j = Y j 1 +θ ta j (Y j Ûn 1 Ū n = Y 2, (j = 1,2), (4.1) Û n = max { } Ū n t λ n, U, λ n = max {, λ n +(U Ūn)/ t }. CS-IT: Y = Ûn 1 + t(aûn 1 +g)+ t λ ) n, Y j = Y j 1 +θ ta j (Y j Ûn 1 ( ) Ỹ = Y ta Y 2 Ûn 1, ) Ỹ j = Ỹj 1 +θ ta j (Ỹj Ûn 1 Ū n = Ỹ2, (j = 1,2), (j = 1,2), (4.2) Û n = max { } Ū n t λ n, U, λ n = max {, λ n +(U Ūn)/ t }. MCS-IT: Y = Ûn 1 + t(aûn 1 +g)+ t λ ) n, Y j = Y j 1 +θ ta j (Y j Ûn 1 Ỹ = Y + ( ) θ ta +( 1 2 θ) ta)( Y 2 Ûn 1, ) Ỹ j = Ỹj 1 +θ ta j (Ỹj Ûn 1 Ū n = Ỹ2, (j = 1,2), (j = 1,2), (4.3) Û n = max { } Ū n t λ n, U, λ n = max {, λ n +(U Ūn)/ t }. HV-IT: Y = Ûn 1 + t(aûn 1 +g)+ t λ ) n, Y j = Y j 1 +θ ta j (Y j Ûn 1 ) Ỹ = Y (Y ta 2 Ûn 1, ) Ỹ j = Ỹj 1 +θ ta j (Ỹj Y 2 Ū n = Ỹ2, (j = 1,2), (j = 1,2), (4.4) Û n = max { } Ū n t λ n, U, λ n = max {, λ n +(U Ūn)/ t }. A in Section 3, the vector λ n i given at the tart of each time tep by the choice (3.4). 11

12 The Do-IT method can be viewed a a natural analogue of the θ-it method: upon formally etting A = A 2 = and A 1 = A, one recover (3.3) from (4.1). The CS-IT, MCS-IT, HV-IT method form different extenion to the Do-IT method. Indeed, their firt two line are identical to thoe of Do-IT. They require about twice the amount of computational work per time tep. Oberve that if A =, then the CS-IT method reduce to the Do-IT method. For each ADI-IT method, the underlying ADI cheme for the ODE ytem U (t) = AU(t)+g i given by the firt part, defining Ūn, where one jut omit the t λ n term from the firt line and replace Ûn 1 and Ūn by U n 1 and U n, repectively. The above adaptation of the ADI technique from European- to American-tyle option i thu very imple. In the underlying ADI cheme, the matrix A i alway handled in an explicit fahion, while the matrice A 1 and A 2 are treated in an implicit fahion. Application of each of the four ADI-IT method (4.1), (4.2), (4.3), (4.4) require olving linear ytem with the two matrice (I θ ta j ) for j = 1,2. Since thee matrice are both tridiagonal, the olution can be done very efficiently by computing once, beforehand, their LU factorization and then ue thee in all time tep. Thu the computational cot per time tep of each ADI-IT method i directly proportional to the number of patial grid point M, i.e., the ame a in the cae of European-tyle option. Note that the computational cot of the econd part of each method, the update (3.5), i negligible. The order of conitency in the nontiff ene of the underlying ADI cheme i alway one for the Do cheme whenever A i nonzero; it i two for the CS cheme provided that θ = 1 2 and two for the MCS and HV cheme for any given θ. In the literature ubtantial attention ha recently been given to the tudy of unconditional von Neumann tability for ADI cheme when applied to multidimenional convection-diffuion equation with mixed patial derivative term, cf. [8, 17, 19, 2, 27, 28]. Here poitive reult were proved, guaranteeing unconditional tability on variou convection-diffuion problem clae under harp lower bound on the parameter θ of each ADI cheme. Baed on the obtained tability reult for two-dimenional problem with mixed derivative term, we elect the following value of θ: the Do-IT method: θ = 1 2 the CS-IT method: θ = 1 2 the MCS-IT method: θ = 1 3 the HV-IT method: θ = At preent a rigorou theoretical tability and convergence analyi of ADI-IT method for emidicrete PDCP i beyond reach. In the following ection we carry out an extenive numerical invetigation. We hall tudy the four method elected above, in the application to a variety of repreentative, challenging Heton tet cae. 5 Numerical experiment For the θ-it and ADI-IT method define the global temporal dicretization error by ê( t;m 1,m 2 ) = max{ U l (T) ÛN,l : ( i,v j ) ROI}. (5.1) Here U(T) repreent the exact olution to the emidicrete Heton PDCP (2.3) at time T and ROI = ( 1 2 K, 3 2 K) (,1) i a natural region of interet. The index l in the above i uch that the l-th component of a vector correpond to the patial grid point ( i,v j ). Clearly, (5.1) repreent a maximum norm on the ROI. In thi ection we numerically invetigate the actual behavior of the global temporal error a a function of t for the four ADI-IT method elected at the end of Section 4. Along with thi, the BE-IT and CN-IT method from Section 3 are briefly conidered. For the numerical 12

13 experiment we chooe ix cae of parameter et, lited in Table 1. The cae A, B, C tem from [3, 32, 38], repectively. Here the Feller condition i alway atified. The cae D, E, F all tem from [1]. Here the Feller condition i alway trongly violated and, in addition, the maturity time are relatively long. The ix tet cae of Table 1 have, all or in part, been recently conidered in the numerical PDE pricing of European option under the Heton model in [16], under the Heton Hull White model in [12] and under the Heton Cox Ingeroll Ro model in [11]. Cae A Cae B Cae C Cae D Cae E Cae F κ η σ ρ.6 () () -.1 () -.9 () -.5 () -.3 () r T K Table 1: Parameter et for the Heton model and American put option Numerical experience ha hown that, for efficiency, one can ue much le patial grid point in the v-direction than in the -direction. Accordingly, we alway et m 1 = 2m 2 = 2m. Since a cloed-form analytic olution to the emidicrete Heton PDCP (2.3) i not at hand, we computed in each cae a reference olution for U(T) by applying either the CN-IT method or the MCS-IT method uing N = 2 time tep. In the following we firt conider vanilla American put option. The global temporal error (5.1) are tudied in detail for the ix method under conideration in all ix cae of Table 1. We then compare American put option price approximation given in the literature to approximation computed uing the ADI-IT technique. Next, for all cae A F, the obtained option price urface and free boundarie are diplayed. We conclude the ection with experiment for a more exotic American-tyle option, the capped American put. For vanilla American put option, Figure 1 diplay for the Do-IT, CS-IT, MCS-IT, HV-IT method a well a the BE-IT and CN-IT method the global temporal error ê( t;2m,m) veru t in all cae A F with ρ = for a equence of 2 tep ize t 1 with m = 5. Note that the reult for Do-IT and CS-IT are the ame in thi experiment, ince A =. A a firt main obervation, for each method the temporal error all remain below a moderate value in each cae, and further, they decreae monotonically a t decreae. Thi indicate an unconditionally table behavior of each method, which i a favorable and nontrivial reult. Concerning the actual convergence behavior, it i readily een from Figure 1 that the temporal error a a function of t are bounded from above in each cae by C( t) p with ome moderate contantc wherep 1fortheBE-ITmethodandp 2fortheMCS-ITandHV-ITmethod. The oberved order of convergence p for thee three method thu agree with the claical (nontiff) order of conitency of their underlying time-dicretization cheme for ODE. Thi contitute a econd poitive and nontrivial reult. In all caea F forthe CN-IT method and in the caea C for the Do-IT and CS-IT method, one oberve in Figure 1 relatively large temporal error for moderate value of t, compared to what one may expect baed on their error behavior for mall t. Thi undeirable phenomenon i related to the nonmoothne of the initial (payoff) function. It i already well-known in the literature and a a remedy it i common to apply backward Euler damping, alo called Rannacher time tepping. In line with thi damping procedure, we conider taking firt two BE-IT ubtep with t/2 at t = and then proceed onward from t = t with the method under conideration. 13

14 Cae A Cae B 1 2 t 1 Cae C 1 2 t 1 Cae D 1 2 t 1 Cae E 1 2 t 1 Cae F 1 2 t t 1 Figure 1: ê( t;1,5)v. t for vanilla American put option in the ix cae of Table 1 with ρ = and reference olution by CN-IT with N = 2. Two θ-it method: BE-IT (light x), CN-IT (dark x). Four ADI-IT method: Do-IT with θ = 1 2 (light diamond), CS-IT with θ = 1 2 (dark circle), MCS-IT with θ = 1 3 (light circle) and HV-IT with θ = (dark quare). No damping applied. 14

15 Cae A Cae B 1 2 t 1 Cae C 1 2 t 1 Cae D 1 2 t 1 Cae E 1 2 t 1 Cae F 1 2 t t 1 Figure 2: ê( t;1,5)v. t for vanilla American put option in the ix cae of Table 1 with ρ = and reference olution by CN-IT with N = 2. Two θ-it method: BE-IT (light x), CN-IT (dark x). Four ADI-IT method: Do-IT with θ = 1 2 (light diamond), CS-IT with θ = 1 2 (dark circle), MCS-IT with θ = 1 3 (light circle) and HV-IT with θ = (dark quare). All method with damping - two tep t/2 with BE-IT. 15

16 Cae A Cae B 1 2 t 1 Cae C 1 2 t 1 Cae D 1 2 t 1 Cae E 1 2 t 1 Cae F 1 2 t t 1 Figure 3: ê( t;1,5) v. t for vanilla American put option in the ix cae in Table 1 with ρ and reference olution by MCS-IT with N = 2. Four ADI-IT method: Do-IT with θ = 1 2 (light diamond), CS-IT with θ = 1 2 (dark circle), MCS-IT with θ = 1 3 (light circle) and HV-IT with θ = (dark quare). Do-IT and CS-IT with damping - two tep t/2 with BE-IT. 16

17 Cae A Cae B 1 2 t 1 Cae C 1 2 t 1 Cae D 1 2 t 1 Cae E 1 2 t 1 Cae F 1 2 t t 1 Figure 4: ê( t;2,1) v. t for vanilla American put option in the ix cae in Table 1 with ρ and reference olution by MCS-IT with N = 2. Four ADI-IT method: Do-IT with θ = 1 2 (light diamond), CS-IT with θ = 1 2 (dark circle), MCS-IT with θ = 1 3 (light circle) and HV-IT with θ = (dark quare). Do-IT and CS-IT with damping - two tep t/2 with BE-IT. 17

18 The reult, for all ix method in all ix cae, i diplayed in Figure 2. Clearly the undeirable phenomenon for the CN-IT, Do-IT and CS-IT method i mitigated, and for each t their temporal error are now almot the ame a for the MCS-IT and HV-IT method. A careful inpection of cae C in Figure 2 how a convergence order that i lightly maller than 2, namely about 1.7, for all method (except BE-IT which ha only order 1). The difference between convergence order 2 and 1.7 i not readily viible in a figure and the ignificance of the obervation i not completely clear to u. A poible explanation may lie in the hort maturity time and correponding nonmoothne of the option pricing function in thi cae. We note that the lower order in cae C did not improve by uing the variable time tep trategy from [26]. In the ubequent experiment we focu on the ADI-IT method. Here, in view of the above, the Do-IT and CS-IT method are applied with the BE-IT damping procedure. Thu we conider: the Do-IT method with θ = 1 2 the CS-IT method with θ = 1 2 and damping and damping the MCS-IT method with θ = 1 3 the HV-IT method with θ = Figure 3 diplay for thee four method the global temporal error ê( t;1,5) veru t in all cae A F, now with correlation ρ. The figure demontrate that alo with nonzero correlation all ADI-IT method how an unconditionally table behavior. For the CS-IT, MCS-IT and HV-IT method, the temporal error are bounded from above by C( t) p with p 2, except in cae C where again p 1.7. The Do-IT method often ha temporal error that are almot the ame a for the latter three method. A further invetigation reveal that the region of time tep where thi occur are preciely thoe where Do-IT poee large temporal error if no damping would have been applied. Once t get ufficiently mall, then a firt-order convergence behavior for thi method et in, a expected. We note that in cae A, C thi i not oberved in the figure; here it happen for t <. To gain inight into the dependence of the temporal convergence behavior on the number of patialgridpoint M, wehavedoubled thenumberofmehpointthe -andv-direction. Figure4 diplay the obtain error ê( t;2,1) veru t. Comparing with Figure 3 we ee that the temporal error are at mot mildly affected by the trong increae in M. Thi ugget that the convergence behavior of the four ADI-IT method i valid in the o-called tiff ene, which form a key property of effective time dicretization method. The implementation of all method ha been done in Matlab where all matrice have been defined a pare. A an indication for the CPU time, the CS-IT, MCS-IT and HV-IT method each took about.3,.1,.2 econd per time tep if m = 5,1,15, repectively, on one Intel Core Duo T GHz proceor with 4 GB memory. For the Do-IT method thee time are about halved. We next validate the American option pricing method from thi paper by comparing it reult with approximation already given in the literature. The MCS-IT method i choen a a repreentative from the ADI-IT cla. To tet the numerical valuation of American put option in the Heton model, many author have conidered the parameter et κ = 5, η =.16, σ =.9, ρ =.1, r =.1, T =.25, K = 1, (5.2) withpotaetpriceandvariancegivenby = S {8,9,1,11,12}andv = V {.625,.25}. We approximated the pertinent (unknown) exact option price by FD dicretization with m = 5,1,15 and applying the MCS-IT method with N = 25,5,75 time tep, repectively. Next pline interpolation wa ued to compute approximation at the off-grid point (,v) = (S,V ). Our reult are given in the upper part of Table 2 (for V =.625) and 3 (for V =.25). In the lower part, the two table how approximation obtained by Zvan, Foryth & Vetzal [39, Table 2], Ikonen & Toivanen [26, Table 1], Peron & Von Sydow [31, Table 2,3], Ooterlee [29, Table 5.2], Clarke & Parrott [6] and Vellekoop & Nieuwenhui [35, Table 4]. The latter paper 18

19 employ tree-baed method. The reference price taken from [26] were computed uing a econdorder, L-table Runge Kutta (RK) cheme in the IT plitting approach. Table 2 and 3 how that our option price are nicely in line with thoe obtained, by different dicretization technique, in the literature. m 1 m 2 N MCS-IT [39] ZFV [26] RK-IT [31] PS [29] O [6] CP [35] VN Table 2: Vanilla American put price for parameter et (5.2), S {8,9,1,11,12}, V =.625. Upper part: approximation uing MCS-IT method with θ = 1 3. Lower part: approximation from the literature. m 1 m 2 N MCS-IT [39] ZFV [26] RK-IT [31] PS [29] O [6] CP Table 3: Vanilla American put price for parameter et (5.2), S {8,9,1,11,12}, V =.25. Upper part: approximation uing MCS-IT method with θ = 1 3. Lower part: approximation from the literature. For the parameter et (5.2) the Feller condition i atified. A tet et where Feller i violated, and reference price for American put option are given, i not included in the reference above. We chooe here a parameter et that ha recently been conidered by Fang & Ooterlee [9] in the numerical pricing of Bermudan option under the Heton model, where the Feller condition doe not hold: κ = 1.15, η =.348, σ =.39, ρ =.64, r =.4, T =.25, K = 1, (5.3) with pot aet price and variance given by = S {9,1,11} and v = V =.348. The upper part of Table 4 diplay the pertinent Bermudan put option price approximated by the COS method from [9, Table 5]. Here N repreent the number of exercie date. If N increae, then the Bermudan price tend to thoe of their American counterpart. The lower part of Table 4 how our approximation to the American put option price uing the FD dicretization with fixed m = 15 and applying the MCS-IT method with N = 2,4,6 time tep. Clearly the price obtained by both method agree well, in particular thoe for the larget N. Note that the value in the lower part of Table 4 could alo be viewed a approximation to Bermudan put option price with N exercie date. The time tep t i then equal to the full 19

20 period between two ucceive exercie date. More accurate approximation to the Bermudan price are (readily) obtained by reducing thi time tep. m 1 m 2 N [9] FO MCS-IT Table 4: Parameter et (5.3), S {9,1,11}, V =.348. Upper part: approximation to vanilla Bermudan put price from [9]. Lower part: approximation to vanilla American put price uing MCS-IT method with θ = 1 3. For future reference we give in Table 5 approximation for vanilla American put option price in all ix cae of Table 1 for pot aet price S {9,1,11} and pot variance V =.5. Thee have been computed uing the FD dicretization with m = 25 and the MCS-IT method with θ = 1 3 and N = 125. The full option price urface are diplayed in Figure 5. Cae A B C D E F Table 5: Vanilla American put option price approximation in all cae of Table 1 with ρ and S {9,1,11}, V =.5. Next, Figure 6 how for a election of value v.2,.1,.5,.1,.24 the correponding part ofthe free boundaryin the (t,)-plane. With the ADI-IT method propoedin thi paper, the exercie and continuation region are directly obtained by determining at each time point t = t n the two ubet of patial grid point ( i,v j ) where the correponding component of the auxiliary vector λ n i trictly poitive rep. equal to zero. The part below each curve in Figure 6 repreent the exercie region and the part above the continuation region. Finally, a a more exotic option we conider the capped American put option. Thi i an American-tyle option with a cap B < K on the underlying aet price. If the aet price goe below the cap B, then the option i automatically exercied and an amount of K B i paid out to the holder. The relevant option value function u atifie the Heton PDCP (1.3) whenever > B, v >, < t T with φ given by (1.2). The boundary condition (2.1a) become u(b,v,t) = K B. To numerically olve the Heton PDCP for a capped American put we follow the ame approach a above in thi paper, with patial dicretization given in Section 2 and for the time dicretization the ADI-IT method defined in Section 4. Only two minor modification are needed: et ξ min = inh 1 ( B Sleft d 1 ) 2

21 in the nonuniform meh for the -direction and modify S left to max ( 1 2 K,e rt K,B ). The ROI i naturallytruncatedat = B. AanillutrationweconidercaeCandEwithnonzerocorrelation and cap B = 8. The left-hand ide of Figure 7 diplay the capped American put option price urface in thee two cae. On the right-hand ide of the figure, the temporal dicretization error ê( t; 1, 5) for the four ADI-IT method are hown. From thee and additional experiment, we obtain imilar, poitive reult concerning unconditional tability and tiff convergence a in the cae of vanilla American put option. 6 Concluion We have propoed a imple, effective adaptation of ADI time dicretization cheme to the numerical pricing via PDCP of American-tyle option under the Heton model. The adaptation ha been achieved by invoking a recent plitting idea due to Ikonen & Toivanen [26] and we refer to the acquired method a ADI-IT method. Four ADI-IT method have been invetigated in detail: Do-IT, CS-IT, MCS-IT and HV-IT. Thee are baed on the Dougla, Craig Sneyd, modified Craig Sneyd and Hunddorfer Verwer cheme. The favorable reult i found that, with properly choen value for their parameter θ, all four method how an unconditionally table behavior in the application to a variety of repreentative, challenging tet cae. Next, they all exhibit a atifactory convergence behavior, provided Do-IT and CS-IT are ued with a damping procedure. In all but one tet cae, the MCS-IT and HV-IT method, a well a the CS-IT method applied with damping, how a tiff order of convergence equal to two. They alway yield about the ame ize temporal error for the ame time tep. In one tet cae the oberved order wa lightly lower, namely about 1.7, but thi i till fine. The Do-IT method applied with damping wa found to perform equally well a the other three method for larger time tep, but for maller time tep the (expected) lower convergence order of one et in for thi method whenever the correlation i nonzero. In view of the reult in thi paper, we recommend either the MCS-IT or HV-IT method in the numerical pricing of American option under the Heton model. Alo the CS-IT method i a good candidate whenever it i ued with damping. A theoretical tability and convergence analyi of ADI-IT method i till open at thi moment. We proved a relevant, ueful theorem for the BE-IT method, i.e. the backward Euler cheme combined with IT plitting. The idea in thi proof may be helpful for an analyi of ADI-IT method in the future. On the practical ide, a comparion of the performance of the ADI-IT approach to other numerical technique for the Heton PDCP i of much interet. Thi require an extenive and careful tudy, however, and i left for future reearch. Neverthele, from the dicuion and reult preented in thi paper, we believe it i clear that ADI-IT method are expected to be competitive. Finally, a merit of the ADI-IT approach i the veratility: it i readily applicable in the cae of many other underlying aet pricing model, other American-tyle option, or other emidicretization (by finite difference, volume or element) of the pertinent PDCP. Acknowledgement Thi work ha been upported financially by the Reearch Foundation Flander, FWO contract no. G

22 Cae A Cae B Cae C.5 v Cae D.5 v Cae E.5 v Cae F.5 v v v 1 Figure 5: Approximated vanilla American put price urface in all cae of Table 1 with ρ. 22

23 1 Cae A 1 Cae B v.2 v.1 2 v.5 v.1 v t Cae C 4 v.2 v.1 2 v.5 v.1 v t Cae D v.2 v.1 2 v.5 v.1 v t Cae E 4 v.2 v.1 2 v.5 v.1 v t Cae F v.2 v.1 2 v.5 v.1 v.25 5 t 5 4 v.2 v.1 2 v.5 v.1 v t Figure 6: Approximated free boundarie for vanilla American put option in all cae of Table 1 with ρ. From top to bottom: v.21, v.93, v.484, v.972, v