One-state Variable Binomial Models for European-/American-Style Geometric Asian Options Min Dai Laboratory of Mathematics and Applied Mathematics, and Dept. of Financial Mathematics, Peking University, Beijing 1871, China Email address: mindai@math.pku.edu.cn Abstract Geometric Asian options are path-dependent options whose payoffs depend on the geometric average of the underlying asset prices. Following Cox et al (1979) arbitrage arguments, We develop one-state variable binomial models for the options on the basis of the idea of Cheuk and Vorst (1997). The models are more efficient and faster than those lattice methods proposed by Hull and White (1993), Ritchken et al (1993), Barraquand and Pudet (1996) and Cho and Lee (1997). We also establish the equivalence of the models and difference schemes. 1 Introduction Asian options are path-dependent options whose payoffs depend on the average of the underlying asset prices. The dependence of the average on the options payoff can be specified in several ways. One such option is the fixed strike Asian option in which case the underlying asset price of the payoff is replaced by an average, whereas in the other case the strike price of the contract is an average of the underlying asset prices. The latter option is called the floating strike Asian option. Furthermore, the type of averaging may differ. Firstly, the average may be based on discretely sampled prices or on continuously sampled prices. Secondly, averaging may be on an arithmetic or geometric basis. The binomial model, first proposed by Cox et al (1979), has become one of the most popular approaches to pricing options due to its simplicity and flexibility. With interpolation techniques, Hull and White (1993) and Ritchken, et al (1993) extend the model to the valuation of Asian options. Barraquand and Pudet (1996) give a similar lattice algorithm called the forward shooting grid method. Cho and Lee (1997) present a lattice model involving all paths to value geometric Asian options. Generally speaking, the binomial model for (strong) path-dependent options involves two state variables because an additional path-dependent variable is introduced. However, there exist one-state binomial models for some special cases. For instance, Babbs (199) and Cheuk and Vorst (1997) present one-state binomial models for lookback options. Using such models cuts the amount of computations remarkably. 1
From the view point of PDE, an important reason that Babbs (199) and Cheuk and Vorst (1997) are able to construct one-state variable binomial models for lookback options is that the corresponding PDEs can be reduced to one-dimensional time-dependent problem by using some transformations. Since similar transformations can also be applied to Asian options [see, for example, Ingersoll (1987), Wilmott et al (1993), Dewynne and Wilmott (1995a), Roger and Shi (1995), etc], it is possible to construct one-state variable binomial models for Asian options. This paper is concerned with the construction of one-state variable binomial models for geometric Asian options. Analytical pricing formulas for the options of European-style are available [see, for example, Wilmott et al (1993), Kwok (1998) and Hull ()]. However, there are not any closed forms of American-style prices. It is well known that binomial models can readily deal with American-style options. Our main purpose is to develope one-state variable binomial models both for European- and American-style geometric Asian options with continuous and discrete sampling. Later we will find that it is easy to establish the equivalence of the models and difference schemes. Throughout this paper we confine ourselves to call options because the case of puts is similar. The remaining of this paper is organized as follows. In next section we construct one-state variable binomial models for the European style with continuous sampling. In section 3 we extend the models to cope with the American style and discretely sampled observations. Section 4 is devoted to the equivalence of these models and certain explicit difference schemes. In last section we conclude. Binomial models for European style with continuous sampling Let T be expiration date, [, T ] be the lifetime of the option, and r, q and σ represent the interest rate, continuous dividend rate and volatility respectively. If N is the number of discrete time points, we have time points n t, n =, 1,..., N with t = T/N. Let V n (S n, I n ) be the option price at time point n t n with underlying asset price S n and geometric average value e In, where In = ln S i. Assume that S n i= will be either S n u for an upward movement with probability p or S n d for a downward movement with probability 1 p at time (n + 1) t. Here u = e σ t, d = 1 u and p = e(r q) t d. u d Consequently, I n will become either I u or Id, where { I u = I n + ln(s n u) = I n + ln S n + σ t I d = I n + ln(s n d) = I n + ln S n σ t. (.1) Following Cox, Ross and Rubinstein arbitrage arguments, one has V n (S n, I n ) = 1 ρ [pv (S n u, I u ) + (1 p)v (S n d, I d )], (.) where ρ = e r t.
.1 Floating strike case First let us consider the case of floating strike, namely the payoff is given by V N (S N, I N ) = (S N e I N N+1 ) +. Suppose we can write where Due to (.1), one has V n (S n, I n ) = S n W n (y n ), (.3) y n = I n (n + 1) ln S n. (.4) Then we can rewrite and similarly I u (n + ) ln(s nu) = I n + ln S n + σ t (n + ) ln S n (n + )σ t It follows from (.)-(.6) that At expiry one has = I n (n + 1) ln S n (n + 1)σ t = y n (n + 1)σ t. V (S n u, I u ) = S n uw (y n (n + 1)σ t), (.5) V (S n d, I d ) = S ndw (y n + (n + 1)σ t). (.6) W n (y n ) = 1 ρ [puw (y n (n + 1)σ t) + (1 p)dw (y n + (n + 1)σ t)] (.7) To simplify the notation, we denote W N (y N ) = (1 e IN N+1 S N W n (j) = W n (jσ t). ) + = (1 e yn N+1 ) +. (.8) Note that I = ln S and then y =. In order to compute V (S, ln S ) = S W (), at time n t we should give the values of W n at the nodes in the interval n 1 ( k= n 1 (k + 1)σ t, (k + 1)σ t) = ( k= n(n + 1) σ t, n(n + 1) σ t). In virtue of (.7) and (.8), option prices can be calculated by using the following backward induction W n (j) = 1 ρ [puw (j n 1) + (1 p)dw (j + n + 1)], for n N 1, j = n(n + 1)/, n(n + 1)/ +,..., n(n + 1)/ W N (j) = (1 e jσ (.9) t N+1 ) + = (1 u j N+1 ) + for j = N(N + 1)/, N(N + 1)/ +,..., N(N + 1)/ 3
with V (S, ln S ) = S W (). This is the one-state variable binomial model for the European-style floating strike geometric Asian option with continuous sampling. 1.14 1.968 1.717 1.717 1.473 1.473 1.35.151.9885.67 1.116.4 1.34.13 1.34 1..345 1..61 1. 1.116.4.9885.35.977.388.977.8.966.531.9549.511.9549.451.9331.78.9331.669.9118.88.899.191 Figure 1: Continuously sampled floating strike option with N = 4. As an illustration of the model, we present an example. We suppose that S = 1, σ =., r =.9, q =., T = 1/3 and N = 4. Then t =.833, u = 1.594, d =.9439 and p =.557. The movements of the state variable y are represented by a four-step binomial tree which is shown in Figure 1. The calculations are also shown in the figure. The left number at each node is the value of the state variable y n. The right number at each node shows the value of the option (in underlying asset price units) computed from the backward procedure (.9). Thus, the estimated dollar value of the option at time zero is.345 1 = 3.45.. Fixed strike case Let us move on to the fixed strike option whose payoff at expiry is where X is the strike price. In this case we let V N (S N, I N ) = (e I N N+1 X) +, (.1) V n (S n, I n ) = W n (y n ) and y n = I n + (N n) ln S n. (.11) Similarly to previous arguments, one can derive from (.1), (.) and (.1) W n (y n ) = 1 ρ [pw (y n + (N n)σ t) + (1 p)w (y n (N n)σ t)] and W N (y) = (e y N+1 X ) +. 4
Denote W n (j) = W n (y + jσ t). Here y = I + N ln S = (N + 1) ln S. In order to compute V (S, ln S ) = W (y ), at time n t it is enough to give the values of W n at the nodes in the interval n 1 (y (N k)σ t, y + k= n 1 k= (N k)σ t) = (y n(n n + 1) σ t, y + n(n n + 1) σ t). Hence, option prices can be calculated by using the following backward induction W n (j) = 1 ρ [pw (j + N n) + (1 p)w (j N + n)], for n N 1, j = n(n n + 1)/, n(n n + 1)/ +,..., n(n n + 1)/ W N (j) = (e y +jσ t N+1 X) + = (S u j N+1 X) +, for j = N(N + 1)/, N(N + 1)/ +,..., N(N + 1)/ (.1) with V (S, ln S ) = W (y ). The tree is shown in Figure. One can observe that the tree is different from that of the floating strike case. The reason is that we adopt different transformations for different cases, that is, (.3-.4) for floating strike and (.11) for fixed strike. Thus the resulting state variables are not same. This leads to distinct recursive algorithms as well as different number of nodes of trees at each time-step..3 Numerical experiments Figure : Continuously sampled fixed strike option with N = 4. To verify the validity of the above models, we compare them with the lattice algorithm of Cho and Lee (1997) as well as with analytical formulas in Table 1. Since both our models and Cho and Lee s 5
algorithm involve all paths on the basis of Cox, Ross and Rubinstein arguments, their results should be same, which is verified by Table 1. Note that at time n t the total numbers of nodes of our models are n(n + 1) n(n n + 1) + 1 and + 1 for the floating strike case and the fixed strike case, respectively, while the corresponding number of Cho and Lee s algorithm is n3 + 5n + 1. Therefore our models 6 prevail evidently. In Table and Table 3 option prices computed by the models are given for several values of N and σ. Table 1: European floating strike call and fixed strike call with continuous sampling (X = 95 (for fixed strike), S = 1, σ =., r =.9, q =., N = 6) T (year) Floating Strike Fixed Strike Analytical.31 5.849 1/6 Our Models.3 5.845 C-L Algorithm.3 5.845 Analytical.94 6.316 1/4 Our Models.936 6.311 C-L Algorithm.936 6.311 Analytical 3.514 6.761 1/3 Our Models 3.51 6.755 C-L Algorithm 3.51 6.755 Table : European floating strike call with continuous sampling (S = 1, r =.9, q =., T = 1/3 year) N σ =.1 σ =. σ =.3 4 1.948 3.48 4.61 1 1.974 3.86 4.65 6 1.984 3.3 4.669 1 1.986 3.3 4.67 4 1.986 3.3 4.67 Analytic 1.986 3.33 4.671 Table 3: European fixed strike call with continuous sampling (S = 1, X = 95, r =.9, q =., T = 1/3 year) N σ =.1 σ =. σ =.3 4 6.3 6.691 7.485 1 6.313 6.734 7.538 6 6.319 6.755 7.571 1 6.319 6.758 7.576 4 6.3 6.76 7.578 Analytic 6.3 6.761 7.581 6
3 Extensions to American style and discretely sampled observations In this section we will extend the one-state variable binomial models to cope with the American style and discretely sampled observations. 3.1 American style It is straightforward to extend the model to value the American style floating strike option. We can roll back through the tree in the same way with European style except that the early exercise is considered, that is, { } 1 W n (j) = max ρ [puw (j n 1) + (1 p)dw (j + n + 1)], (1 u j ) +, for n N 1, j = n(n + 1)/, n(n + 1)/ +,..., n(n + 1)/ (3.1) W N (j) = (1 u j N+1 ) + for j = N(N + 1)/, N(N + 1)/ +,..., N(N + 1)/ with V (S, ln S ) = S W (). In Table 4 we compare our model with the forward shooting grid method (FSGM) of Barraquand and Pudet (1996). In FSGM the grid quantization parameter (for the spacing of the arithmetic averages) η = 1 and the quadratic interpolation is adopted. The latter makes the algorithm unconditionally stable [see Jiang and Dai ()]. It can be observed that our model is superior to FSGM remarkably. Table 4: American floating strike call with continuous sampling (S = 1, r =.9, q =., T = 1/3 year) Our model FSGM N Price CPU (sec) Price CPU (sec) σ =.1, correct solution.39 6.333.6.313 1.6 1.359.3.35 1.9 4.375.7.37 13 48.383.381 771 σ =., correct solution 4.5 6 4.137.6 4.114 1.7 1 4.191.3 4.175 1.9 4 4..7 4.1 13 48 4.39 3 4.36 768 σ =.3, correct solution 6.14 6 5.967.6 5.93 1.6 1 6.46.3 6.16 1.9 4 6.9.7 6.77 13 48 6.117 3 6.11 77 7
Unfortunately, the one-state variable binomial model for the European-style fixed strike option cannot be extended to price its American-style counterpart, because the transformation (.11) fails to apply to the case of American-style due to early exercise. We may recall the paper of Cheuk & Vorst (1997) in which one-state variable binomial models of American-style fixed strike lookback options are not available either because of the same reason. As a matter of fact, from the PDE view point, one cannot reduce the pricing models of American-style fixed strike (Asian or lookback) options to one-dimensional time-dependent problems. 3. Discretely sampled observations All above models can be extended to cope with discretely sampled observations. First let us take the European-style floating strike case for example. For simplicity, let the interval between observing instants be regular and t i = ih t, i =, 1,..., L, be the observing instants. Here H = N/L Z, that is, there are H + 1 time points between two subsequent observing instants. Define Once again we let I n = ih n ln S ih. y n = I n (i + 1) ln S n, for n [ih, (i + 1)H), i =, 1,..., L 1 (3.) and V n (S n, I n ) = S n W n (y n ). (3.3) If n = (i + 1)H 1 in which case (.1) remains valid, then we can similarly get by (3.), (3.3) and (.) W n (y n ) = 1 ρ [puw (y n (i + 1)σ t) + (1 p)dw (y n + (i + 1)σ t)] (3.4) If n [ih, (i + 1)H 1), noting I n = I u = Id, it is not hard to check that (3.4) still remains valid due to the transformations (3.) and (3.3). As before we let W n (j) = W n (jσ t). Similar to previous arguments, we arrive at the binomial model for the European-style floating strike option with discrete sampling as follows: W n (j) = 1 ρ [puw (j i 1) + (1 p)dw (j + i + 1)], for n = ih + k, i =, 1,..., L 1, k =, 1,..., H 1 and j = (ih + k)(i + 1)/, (ih + k)(i + 1)/ +,..., (ih + k)(i + 1)/ W N (j) = (1 u j L+1 ) +, j = N(L + 1)/, N(L + 1)/ +,..., N(L + 1)/, (3.5) 8
with V (S, ln S ) = S W (). Consequently, the binomial model for the American-style floating strike option with discrete sampling is { } 1 W n (j) = max ρ [puw (j i 1) + (1 p)dw (j + i + 1)], (1 u j i+1 ) +, for n = ih + k, i =, 1,..., L 1, k =, 1,..., H 1 and (3.6) j = (ih + k)(i + 1)/, (ih + k)(i + 1)/ +,..., (ih + k)(i + 1)/ W N (j) = (1 u j L+1 ) +, j = N(L + 1)/, N(L + 1)/ +,..., N(L + 1)/, with V (S, ln S ) = S W (). Note that for H = 1 the binomial models of discretely sampled observations reduce to those of continuously sampled observations. The tree with L = 3 and H = is given by Figure 3. Figure 3: Discretely sampled floating strike option with L = 3, H =. For the European-style fixed strike option with discrete sampling, we may let and denote y n = I n + (L i) ln S n, for n [ih, (i + 1)H), i =, 1,..., L 1, V n (S n, I n ) = W n (y n ) W n (j) = W n ((L + 1) ln S + jσ t) to get the following one-state variable binomial model: W n (j) = 1 ρ [pw (j + L i) + (1 p)w (j L + i)], for n = ih + k, i =, 1,..., L 1, k =, 1,..., H 1 j = ih(l i + 1)/ k(l i), ih(l i + 1)/ k(l i) +,..., ih(l i + 1)/ + k(l i) W N (j) = (1 u j L+1 ) +, j = N(L + 1)/, N(L + 1)/ +,..., N(L + 1)/ (3.7) 9
with V (S, ln S ) = W (). Figure 4 shows the tree with L = 3 and H =. Just like the continuously sampled case, the model cannot be extended to price the American-style fixed strike option. Figure 4: Discretely sampled fixed strike option with L = 3, H =. Some numerical experiments are given by Table 5-7. Table 5: European floating strike call with discrete sampling (S = 1, r =.9, q =., σ =., T = 1/3 year) L H Analytic 1 5 1 4 3.48 3.7 3.193 3.188 3.186 3.184 1 3.86 3.7 3.63 3.61 3.59 3.58 4 3.94 3.87 3.83 3.81 3.81 3.8 1 3.3 3.3 3.99 3.99 3.99 3.99 Table 6: American floating strike call with discrete sampling (S = 1, r =.9, q =., σ =., T = 1/3 year) L H 1 5 1 4 3.543 4.18 4.737 4.911 5.5 1 3.865 4.181 4.453 4.53 4.573 4 4.9 4.3 4.336 4.391 4.417 1 4.191 4.4 4.71 4.8 4.87 1
Table 7: European fixed strike call with discrete sampling (S = 1, X = 95, r =.9, q =., σ =., T = 1/3 year) L H Analytic 1 5 1 4 6.691 6.675 6.667 6.665 6.665 6.664 1 6.734 6.78 6.76 6.75 6.74 6.74 4 6.747 6.744 6.743 6.74 6.74 6.74 1 6.758 6.758 6.757 6.757 6.757 6.757 4 Relation to explicit difference schemes It is well known that the binomial models of vanilla options are equivalent to certain explicit difference schemes [see Hull () or Jiang and Dai (1999)]. For lookback options, such equivalence has also been noted by Dai (). In this section we will establish such equivalence for geometric Asian options. First let us recall the continuous-time partial differential equation (PDE) models. Suppose the underlying asset price S t follows the lognormal process in the risk-neutral world, namely ds t S t = (r q)dt + σdw t, where W t is the standard Brown movement. In order to use a unifying framework to deal with both discretely sampled and continuously sampled model, we introduce the following variable Here I t = t p(τ) ln S τ dτ. 1, for continous sampling p(t) = L δ(t t i ), for discrete sampling, i= t i, i =, 1,..., L are the observing instants, and δ is the Dirac delta function. The governing equation for the European-style geometric Asian option price V (S, I, t) is given by [see Wilmott et al (1993)] V t V + p(t) ln S I + 1 σ S V V + (r q)s rv =, (4.1) S S t < T, < S <, < I < with the final conditions V (S, I, T ) = (S exp( (exp( T T I I p(τ)dτ ))+ for floating strike call p(τ)dτ ) X)+ for fixed strike call. (4.) Note that S, I and t are mutually independent in the PDE. 11
For the case of floating strike, by transformation (4.1) and (4.) reduce to t y = I p(τ)dτ ln S, W (y, t) = V (S, I, t), (4.3) S W t + 1 t σ ( p(τ)dτ) W σ t y + (q r ) p(τ)dτ W qw =, y t < T, < y < (4.4) y W (y, T ) = (1 exp( T p(τ)dτ ))+ For the case of fixed strike, by transformation (4.1) and (4.) reduce to T y = I + p(τ)dτ ln S, W (y, t) = V (S, I, t), (4.5) t W t + 1 T σ ( p(τ)dτ) W σ T t y + (r q ) p(τ)dτ W rw =, t y t < T, < y <. (4.6) y W (y, T ) = (exp( T p(τ)dτ ) X)+ Theorem 1 By neglecting a high order of t, the binomial models (.9) and (3.5) for European-style floating strike geometric Asian options (or (.1) and (3.7) for the fixed strike case) are equivalent to certain explicit difference schemes of (4.4) (or 4.6), respectively. The proof is put in the appendix where we will see that the explicit difference schemes are of varying mesh with time. The governing equation for the American-style geometric Asian option price V (S, I, t) is given by [see Wilmott et al (1993)] min { V t V p(t) ln S I 1 } σ S V V (r q)s + rv, V Λ(S, I, t) =, (4.7) S S t < T, < S <, < I < with the same final conditions (4.), where I (S exp( t Λ(S, I, t) = p(τ)dτ ))+ for floating strike call I (exp( t p(τ)dτ ) X)+ for fixed strike call. 1
For the American-style floating strike case, using transformation (4.3) may still reduce (4.7) and (4.) to the one-dimension problem: { t min W t 1 σ σ t ( (q r ) } y + qw, W (1 exp( t p(τ)dτ ))+ =, W (y, T ) = (1 exp( y T p(τ)dτ ))+ t < T, < y < (4.8) p(τ)dτ) W y p(τ)dτ W y Theorem By neglecting a high order of t, the binomial models (3.1) and (3.6) for American-style floating strike geometric Asian options are equivalent to certain explicit difference schemes of (4.8), respectively. The proof is similar to that of Theorem 1. However, in the case of American-style fixed strike, the transformation (4.5) cannot reduce (4.7) and (4.) to the one-dimension problem. This is why we cannot construct a one-state variable binomial models in such case. 5 Conclusion In this paper one-state variable binomial models for geometric Asian options are developed on the basis of Cox et al (1993) arbitrage arguments. As compared with those lattice methods proposed by Hull and White (1993), Ritchken et al (1993), Barraquand and Pudet (1996) and Cho and Lee(1997), the models allow more efficient and faster computation of option values. The models also allow us to consider discretely sampled observations and especially early exercise (for floating strike) where the analytical pricing formulas are not available. In addition, the equivalence of the models and explicit difference schemes is established. For possible future works, it may be interesting to explore the one-state variable binomial models of arithmetic Asian options for which it seems that interpolation technique adopted by Hull and White (1993), Ritchken et al (1993) and Barraquand and Pudet (1996) would have to be employed. References [1] Babbs, S. (199) Binomial valuation of lookback options. Working Paper, Midland Global Markets. [] Barraquand, J., and T. Pudet (1996) Pricing of American path-dependent contingent Claims, Mathematical Finance, 6, 17-51. [3] Cox, J.C., S.A. Ross, and M. Rubinstein (1979) Option pricing: a simple approach, Journal of Financial Economics, 7, 9-63. 13
[4] Cheuk, T.H.F., and T.C.F. Vorst (1997) Currency lookback options and observation frequency: a binomial approach, Journal of International Money and Finance, 16:, 173-187. [5] Cho, H.Y., and H.Y. Lee (1997) A lattice model for pricing geometric and arithmetic average options, The Journal of Financial Engineering, 6:3, 179-191. [6] Dai, M. () A modified binomial tree method for currency lookback options, Acta Mathematica Sinica, 16:3, 445-454. [7] Dewynne, J.N., and P. Wilmott (1993) Partial to the exotic, Risk magazine, 6:3, 38-46. [8] Dewynne, J.N., and P. Wilmott (1994) Untitled, MFG Working Paper, Oxford University. [9] Dewynne, J.N., and P. Wilmott (1995a) A note on average rate options with discrete sampling, SIAM Journal on Applied Mathematics, 55:1, 67-76. [1] Dewynne, J.N., and P. Wilmott (1995b) Asian options as linear complementarity problems: analysis and finite-difference solutions. Advances in Futures and Options Research, 8, 145-177. [11] Hansen, A.T., and P.L. Jorgensen (1998) Analytical valuation of American-style Asian options. Working paper. [1] Hull, J. () Options, Futures and their Derivatives, Fourth Edition, Prentice Hall International Inc. [13] Hull, J., and A. White (1993) Efficient procedures for valuing European and American pathdependent options, Journal of Derivatives, 1, 1-31. [14] Ingersoll, J.E. (1987) Theory of Financial Decision Making, Rowman & Littlefield. [15] Jiang, L., and M. Dai (1999) Convergence of binomial tree method for American options, in Partial Differential Equations and their Applications, edited by H. Chen and L. Rodino, World Scientific Publishing Co. Pte. Ltd., 16-118. [16] Jiang, L., and M. Dai () Convergence analysis of binomial tree method for American-type path-dependent options, in Free boundary problems: theory and applications, I (Chiba, 1999), 153-156, GAKUTO International Series: Mathematical Sciences and Applications, edited by N. Kenmochi. [17] Kwok Y.K. (1998) Mathematical Models of Financial Derivatives, Springer, Singapore. [18] Ritchken, P., L. Sankarasubramanian, and A.M. Vijh (1993) The valuation of path dependent contracts on the average, Management Science 39, 1-113. [19] Rogers, L., and Z. Shi (1995) The value of an Asian option. Journal of Applied Probability, 3, 177-188. 14
[] Wilmott, P., J. Dewynne, and S. Howison (1993) Option Pricing: Mathematical Models and Computation, Oxford Financial Press. [1] Wu, L., Y.K. Kwok, and H. Yu (1999) Asian option with the American early exercise feature, International Journal of Theoretical and Applied Finance, :1, 11-111. 6 Appendix: proof of Theorem 1 We only take the European-style floating strike case for example. Given mesh size y, t >, N t = T, let Q = {(j y, n t) : j Z, n N} stand for the lattice, and let Vj n represent the value of numerical approximation at (n t, j y). First we will consider the continuously sampled case, for which (4.4) reduces to W t + 1 σ t W σ y + (q r )t W qw =, t < T, < y < y (6.1) W (y, T ) = (1 e y T ) Making use of the approximations W. Wj+ + W j n 1 Wj y = (j y,() t) (n + 1) y, W y. Vj+ V j n 1 = (j y,() t) (n + 1) y (6.) for space and taking the explicit difference for time at the node (j y, (n + 1) t), we have W j W n j t + 1 σ (n + 1) t W j+ + W j n 1 Wj (n + 1) y Taking +(q r σ j+ )(n + 1) tw W j n 1 qwj n = (n + 1) y y = σ t 3/, we get where The final condition is given by W n j = 1 [awj n 1 + (1 a)wj+ ], (6.3) 1 + q t a = 1 t σ σ (q r ). (6.4) W n j j y = (1 e T ) + = (1 e jσ t N ) +. (6.5) It is not hard to check that 1 ρ pu = a 1 + q t + O( t3/ ), 1 (1 p)d = 1 ρ 15 a 1 + q t + O( t3/ ). (6.6)
Then the binomial model (.9) is equivalent to the explicit difference scheme (6.3) and (6.5) by neglecting a high order of t. We now move on to the case of discretely monitoring. As in Section 3., we assume that the observing instants are regular, namely t i = ih t, i =, 1,..., L. Noticing that t p(τ)dτ = i + 1, for t [t i, t i+1 ), i =,..., L 1. (4.4) reduces to W t + 1 σ (i + 1) W y W (y, T ) = (1 e y L+1 ) + σ + (q r )(i + 1) W qw =, y for t [t i, t i+1 ), i =,..., L 1, < y < (6.7) We employ the approximations W y. W = (j y,() t) Wj (i + 1) y, j i 1 + W j+i+1 W y. Wj+i+1 W j i 1 = (j y,() t) (i + 1) y (6.8) for space and explicit difference for time at the node (j y, (n + 1) t), n [ih, (i + 1)H), and take to get W n j = y = σ t, 1 [awj i 1 + (1 a)wj+i+1 ], n [ih, (i + 1)H), i =,..., L 1, (6.9) 1 + q t where a is given by (6.4). The final condition is W N j = (1 e j y L+1 ) + = (1 e jσ t L+1 ) +. (6.1) Due to (6.6), the binomial tree method (3.5) is equivalent to the explicit difference scheme (6.9) by neglecting a high order of t. Here we give a brief explanation about why the approximations (6.) and (6.8) should be taken. Indeed, both (6.3) and (6.9) belong to the varied mesh difference method. Since (4.4) is a convectiondiffusion equation, in the view point of numerical PDE, (6.) and (6.8) lead to that the coefficient of the diffusion term predominates over that of the convection term, which guarantees the stability of the above schemes. 16