Alternating segment explicit-implicit and implicit-explicit parallel difference method for the nonlinear Leland equation
- Weijuan Zhao^{1},
- Xiaozhong Yang^{1}Email author and
- Lifei Wu^{1}
https://doi.org/10.1186/s13662-016-0823-5
© Zhao et al. 2016
Received: 12 January 2016
Accepted: 30 March 2016
Published: 8 April 2016
Abstract
The nonlinear Leland equation is a Black-Scholes option pricing model with transaction costs and the research of its numerical methods has theoretical significance and practical application value. This paper constructs a kind of difference scheme with intrinsic parallelism-alternating segment explicit-implicit (ASE-I) scheme and alternating segment implicit-explicit (ASI-E) scheme based on the improved Saul’yev asymmetric scheme, explicit-implicit (E-I) scheme, and implicit-explicit (I-E) scheme. Theoretical analysis demonstrates that this kind of scheme is unconditional stable parallel difference scheme. Numerical experiments show that the computational accuracy of this kind of scheme is very close to the classical Crank-Nicolson (C-N) scheme and the alternating segment Crank-Nicolson (ASC-N) scheme. But the computational time of this kind of scheme can save nearly 81% for the classical C-N scheme and save nearly 40% for the ASC-N scheme. Numerical experiments confirm the theoretical analysis, showing the higher efficiency of this kind of scheme given by this paper for solving a nonlinear Leland equation.
Keywords
nonlinear Leland equation alternating segment explicit-implicit (ASE-I) scheme alternating segment implicit-explicit (ASI-E) scheme parallel computing numerical experimentsMSC
65M06 65Y051 Introduction
The Black-Scholes (B-S) option pricing model can be accepted by practice fields and theory fields, not only because it has abundant financial implications, but also it is linear and is a simple model. The B-S model can be transformed into a heat conduction equation with a more mature theory in mathematics and can get the analytical solution of the European call option and put option pricing. However, there exist certain differences between the assumptions of the B-S model and the real financial market, such as there being no transaction costs and the fixed volatility hypothesis. In order to meet the needs of the actual financial market, we need to broaden the idealized assumptions and improve the standard B-S model. That has been the focus of academic research; see [1–3]. In the real financial market, because of transaction costs which one needs to pay in securities trading, using the continuous trading strategy is not realistic. So studying the option pricing model with transaction costs (nonlinear Leland model) has great financial practical significance.
The nonlinear Leland equation is one of the nonlinear B-S option pricing models which need to consider transaction costs and received extensive attention of economists and applied mathematicians in the past 20 years [4–6]. Because one is unable to export the accurate analytical expression of the European option and American option pricing in the case of considering the transaction costs, many researches focus on the study of numerical solutions. In the numerical solution, in order to make the numerical scheme have good computing stability and precision, we often design implicit or half implicit difference scheme. In recent years, Ankudinova and Ehrhardt proposed the Crank-Nicolson (C-N) scheme for solving a nonlinear B-S equation (the Leland model, the Barles-Soner model, and the risk adjustment pricing model) [7]. Wu and Yang put forward the explicit-implicit (E-I) and implicit-explicit (I-E) difference schemes for solving the payment of dividend B-S equation [8]. However, most of the schemes are calculated in a serial way and the efficiency is low.
In order to make full use of the computer advantages of multi-core processors, a parallel algorithm and a parallel program design have become a necessary means to improve the computing efficiency [9]. The implicit scheme generally has good stability, but it is unfavorable for parallel computing. Inspired by the grouping explicit method [10], Zhang et al. put forward the thought that using the Saul’yev asymmetric scheme to construct a segment implicit scheme, and one properly used the alternating technology to establish a variety of explicit-implicit and pure implicit alternating parallel schemes (such as an alternating segment explicit-implicit (ASE-I) scheme, an alternating segment Crank-Nicolson (ASC-N) scheme), then one got some numerical results which contained stability and parallelism [11]. Yang et al. constructed a new kind of parallel difference scheme-the alternating band Crank-Nicolson (ABdC-N) scheme for solving the quanto option pricing model and proved that it is close to second-order accuracy and unconditionally stable [12]. Yuan et al. had put forward a parallel difference scheme with second-order accuracy and unconditional stability for a nonlinear parabolic equation [13]. Wang also gave a kind of alternating segment difference scheme with intrinsic parallelism for the KdV equation and proved that the scheme is linearly absolute stable [14]. Zhang showed the alternating segment explicit-implicit parallel difference scheme for a class of nonlinear evolution equations and got the result that the method has unconditional stability and parallelism [15].
For the research of the parallel difference method for solving the nonlinear Leland equation, Wu et al. presented a difference method with intrinsic parallelism-the ASC-N parallel difference scheme [16]. Because of the high timeliness of the option, constructing a difference scheme with good stability and intrinsic parallelism has important practical application value. We apply the E-I and I-E schemes at segment interior points, and the improved asymmetric difference scheme at interior boundary points, and we get a kind of difference numerical difference scheme with intrinsic parallelism-the alternating segment explicit-implicit (ASE-I) scheme and the alternating segment implicit-explicit (ASI-E) scheme.
The plan of this paper is as follows. In Section 2, we construct the ASE-I difference scheme for the nonlinear Leland equation. In Section 3, by using three lemmas, the unique solvability of the difference solution is discussed. We analyze the stability of the ASE-I scheme in Section 4 and the accuracy in Section 5. In Section 6, the ASI-E scheme is put forward by simulating the ASE-I scheme and a theorem is given. Numerical examples are provided to show the effectiveness of the ASE-I and ASI-E schemes in Section 7. Some concluding remarks are included finally.
2 ASE-I parallel difference method
2.1 Nonlinear Leland equation
The Leland equation is a definite solution problem of nonlinear partial differential equations. When \(k > \sigma\sqrt{\pi\delta t/8}\), equation (1) will become a terminal value problem of a positive parabolic equation which is an ill-posed problem [1, 3]. In order to transform the problem (1) into a well-posed problem, we can assume that \(k < \sigma\sqrt{\pi \delta t/8}\), and that the transaction cost should be smaller or the process of hedging risk cannot be too often.
- (1)
The value of the option is the pay-off function i.e. \(V(S, T) = (S - K)^{ +}\).
- (2)
\(\lim_{S \to\infty} \frac{V(S, t)}{S} = 1\). When S is sufficiently great, the option price is approximately \(S - K\).
- (3)
If \(S(t_{0}) = 0\), then \(V(S, t) = 0\) for \(t > t_{0}\).
2.2 Construction of the ASE-I scheme
The ASE-I scheme which we constructed is combined with the advantages of the above schemes and the design is as follows:
Let \(m - 1 = Nl \), here N is a positive odd number, l is a positive integer (N, \(l \ge3\)) and we divide the points on each time level into N sections. And on the odd level, we arrange the computation according to the rule of ‘the explicit segment - the implicit segment - the explicit segment’. When it turns to the even level, the rule changes into ‘the implicit segment - the explicit segment - the implicit segment’ thus making the implicit segment and the explicit segment doing alternatively at different time levels.
For even level, we just switch the segment implicit scheme and the segment explicit scheme of the odd level to calculate \(U_{i}^{j + 1}\).
3 Existence and uniqueness of the ASE-I scheme solution
In order to discuss the existence and the uniqueness of the ASE-I scheme solution, we need to introduce the following three lemmas.
Lemma 1
Lemma 2
Lemma 3
\(G_{1}\) and \(G_{2}\) in the ASE-I scheme (12) for solving the nonlinear Leland equation are non-negative matrices.
Proof
Theorem 1
The solution of the ASE-I scheme (12) for solving a nonlinear Leland equation exists and is unique.
4 Stability of the ASE-I scheme
Theorem 2
The ASE-I scheme (12) for solving the nonlinear Leland equation is absolutely stable.
5 Accuracy of the ASE-I scheme
We take the inside points without interior boundary points as ‘interior points’. From the segment construction of the ASE-I scheme, we know that the ASE-I scheme uses the classic E-I scheme at an ‘interior point’ of odd and even levels, and it uses the two improved Saul’yev asymmetric schemes at the ‘interior boundary points’. The truncation error of the classic E-I scheme is of second order in time and space [8]. The ASE-I scheme just has a finite number of ‘interior boundary points’, so the overall accuracy of the ASE-I scheme is close to that of the C-N scheme.
Theorem 3
The truncation error of the ASE-I scheme (12) for solving a nonlinear Leland equation at interior points is \(O(p^{2} + h^{2})\), and at the improved Saul’yev asymmetric schemes (6), (7) of interior boundary points it is \(O(p + h^{2})\).
Hence the error of the points which are near the interior boundary point is bigger than that of the other interior points. The result will be proved in the following numerical experiments.
6 ASI-E parallel difference method
Imitating the method constructed in the ASE-I scheme, we give the ASI-E scheme for solving the nonlinear Leland equation.
Imitating the analytical and proved method of the ASE-I scheme (12), we have the following theorem.
Theorem 4
The ASI-E scheme (15) for solving a nonlinear Leland equation is uniquely solvable, absolutely stable, its truncation error is \(O(p^{2} + h^{2})\) at the interior points, and it is \(O(p + h^{2})\) at the interior boundary points.
7 Numerical experiments
Numerical experiments will be done in Matlab 2008a, based on the Intel Core i5-4200 CPU@1.60GHz. We use the ASE-I scheme (12) and the ASI-E scheme (15) of this paper, the ASC-N scheme in [16] and the classic C-N scheme to calculate European call option prices with transaction costs. For the nonlinear Leland equation (1) it is very difficult to obtain an analytical solution [3, 4]. Therefore, we will let the numerical solution of the C-N scheme approximately substitute the exact solution of a European call option pricing problem with transaction costs and compare these various difference schemes.
Example
We consider a European call option on stocks with transaction cost. Assuming the initial price of the underlying stock is 70 dollars, the strike price of an option is 50 dollars, the risk-free interest rate is 0.01 per year, the deadline of the option is 6 months, the volatility is 0.2 per year, the ratio of the transaction cost is 0.02, δt is \(1/12\).
Solution
First of all, we give the numerical solutions of the ASE-I and ASI-E schemes.
Comparison of several schemes’ numerical results
Schemes | S ($) | Time (s) | ||||
---|---|---|---|---|---|---|
55 | 65 | 75 | 85 | 95 | ||
C-N | 8.4734 | 17.5879 | 27.4546 | 37.4391 | 47.4317 | 5.2358 |
ASC-N [16] | 8.4734 | 17.5879 | 27.4546 | 37.4391 | 47.4317 | 1.2225 |
ASE-I | 8.4734 | 17.5879 | 27.4546 | 37.4391 | 47.4317 | 0.5195 |
ASI-E | 8.4734 | 17.5879 | 27.4546 | 37.4391 | 47.4317 | 0.4995 |
AE of numerical solution when \(\pmb{r1 \approx2.066}\) ( \(\pmb{m = 1{,}001}\) , \(\pmb{n = 1{,}000}\) )
Schemes | S ($) | ||||
---|---|---|---|---|---|
55 | 65 | 75 | 85 | 95 | |
ASC-N [16] | 6.581 × 10^{−6} | 8.112 × 10^{−6} | 1.677 × 10^{−6} | 1.925 × 10^{−6} | 4.838 × 10^{−6} |
ASE-I | 2.367 × 10^{−6} | 1.106 × 10^{−6} | 2.314 × 10^{−6} | 4.638 × 10^{−6} | 6.585 × 10^{−6} |
ASI-E | 2.323 × 10^{−6} | 1.146 × 10^{−6} | 2.232 × 10^{−6} | 4.609 × 10^{−6} | 6.693 × 10^{−6} |
AE of numerical solution when \(\pmb{r1 \approx20.66}\) ( \(\pmb{m = 1{,}001}\) , \(\pmb{n = 100}\) )
Schemes | S ($) | ||||
---|---|---|---|---|---|
55 | 65 | 75 | 85 | 95 | |
ASC-N [16] | 6.314 × 10^{−4} | 8.119 × 10^{−4} | 1.471 × 10^{−4} | 1.922 × 10^{−4} | 4.748 × 10^{−4} |
ASE-I | 2.380 × 10^{−4} | 1.140 × 10^{−4} | 2.319 × 10^{−4} | 4.649 × 10^{−4} | 6.615 × 10^{−4} |
ASI-E | 2.335 × 10^{−4} | 1.180 × 10^{−4} | 2.236 × 10^{−4} | 4.620 × 10^{−4} | 6.723 × 10^{−4} |
COT of ASC-N, ASE-I, and ASI-E schemes when \(\pmb{m = 1{,}001}\)
Time grid ( n ) | ASC-N [ 16 ] | ASE-I | ASI-E | |||
---|---|---|---|---|---|---|
\(\boldsymbol {L^{2}}\) -error | COT | \(\boldsymbol {L^{2}}\) -error | COT | \(\boldsymbol {L^{2}}\) -error | COT | |
100 | 1.3959 × 10^{−7} | – | 1.4273 × 10^{−7} | – | 1.4249 × 10^{−7} | – |
400 | 1.0276 × 10^{−8} | 1.8818 | 1.0318 × 10^{−8} | 1.8949 | 1.0315 × 10^{−8} | 1.8940 |
700 | 3.3784 × 10^{−9} | 1.9123 | 3.3862 × 10^{−9} | 1.9226 | 3.3856 × 10^{−9} | 1.9218 |
1,000 | 1.6579 × 10^{−9} | 1.9252 | 1.6606 × 10^{−9} | 1.9342 | 1.6604 × 10^{−9} | 1.9335 |
COS of ASC-N, ASE-I, and ASI-E schemes when \(\pmb{n = 1{,}000}\)
Space grid ( m ) | ASC-N [ 16 ] | ASE-I | ASI-E | |||
---|---|---|---|---|---|---|
\(\boldsymbol {L^{2}}\) -error | COS | \(\boldsymbol {L^{2}}\) -error | COS | \(\boldsymbol {L^{2}}\) -error | COS | |
301 | 2.1853 × 10^{−7} | – | 4.6645 × 10^{−7} | – | 4.3609 × 10^{−7} | – |
501 | 7.2702 × 10^{−7} | 2.3592 | 1.4714 × 10^{−6} | 2.2754 | 1.3071 × 10^{−6} | 2.1544 |
701 | 1.3532 × 10^{−6} | 2.1567 | 2.6557 × 10^{−6} | 2.3109 | 2.8593 × 10^{−6} | 2.2244 |
901 | 1.8025 × 10^{−6} | 1.9545 | 3.7376 × 10^{−6} | 2.0935 | 3.5504 × 10^{−6} | 1.9926 |
Comparison of the three schemes’ calculation time at \(\pmb{n = 1{,}000}\)
Space grid ( m ) | Time (s) | ||
---|---|---|---|
C-N | ASC-N [ 16 ] | ASE-I | |
101 | 0.0526 | 0.0880 | 0.0563 |
301 | 0.4738 | 0.2396 | 0.1371 |
501 | 1.8090 | 0.4338 | 0.2221 |
701 | 2.5048 | 0.5632 | 0.3075 |
901 | 4.2826 | 0.7152 | 0.3999 |
1,001 | 5.0936 | 0.8897 | 0.5744 |
From Figure 8 and Table 6 we see that when the number of grid points we need calculated is greater than a certain range, the ASE-I and ASI-E schemes of this paper show a clear superiority in computation time. With the increase of the grid number, the computing time of the difference schemes rises for the nonlinear Leland equation. But the increased amplitude of the computing time of the C-N scheme is greater than that of the ASE-I, ASC-N schemes. The computing time of the ASE-I scheme saves nearly 81% for the C-N scheme by calculating and saves nearly 40% for the ASC-N scheme, showing the computing efficiency of the ASE-I scheme is best.
As is well known, the parallel scheme has superiority in computing time. But when the amount of calculation data is small, the impact of the data communication on the cycle can reduce the computing efficiency. For programming of the ASE-I scheme in our example, we, respectively, adopt the serial for loop and the parallel parfor loop. For the serial for loop, numerical array and the loop body are performed in the same Matlab process, so there are no data communication problems. But, for a parallel parfor loop, numerical arrays are created in the Matlab client, while parallel computing of the parfor loop body is finished under the Matlab worker, so numerical arrays need to be transmitted from the Matlab client to the Matlab worker. Because of taking up time and processor resources in data communication, we need to consider the data communication problem in parallel programming [18].
Figure 9 and the first line of Table 6 show that when the number of grid points is less than a certain range, the serial scheme is more effective than the parallel scheme, meaning that the data communication problems have an effect on the execution efficiency of the programming in the case of small data quantity (grid points). And when we have a larger amount of data (grid points), the influence of the loop body execution is greater than that of the data communication, meaning that using the parallel computing is more effective.
In the practical application, in order to make the numerical results more precise, we tend to a dense mesh and the number of space points becomes higher. The ASE-I parallel method has obvious localization characteristics in computing and communications and is very suitable for large-scale parallel computing in a distributed storage system on the application.
8 Conclusion
For the nonlinear Leland equation, this paper constructs the ASE-I and ASI-E parallel difference schemes with unconditional stability and high accuracy characteristics. Theoretical analysis gets the result that the numerical solutions of the ASE-I and ASI-E schemes are very close to that of the C-N and ASC-N schemes. Under the same computing accuracy, the ASE-I and ASI-E schemes are greatly improved as regards the computing efficiency. Numerical experiment demonstrates that the computing time of the ASE-I and ASI-E schemes save nearly 81% for the C-N scheme and saved nearly 40% for the ASC-N scheme, showing the practicability of this kind of parallel difference schemes for solving a nonlinear Leland equation.
The ASE-I and ASI-E schemes given by this paper can be extended to solve other nonlinear B-S models with transaction costs, such as the Barles-Soner model and the risk adjustment pricing model, and they can better solve the timeliness problem of the option pricing.
Declarations
Acknowledgements
This work was supported in part by the National Natural Science Foundation of China (No. 11371135), the Special Research Funds for the Central Universities of China (Nos. 2014ZZD10, 13QN30).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Kwork, YK: Mathematical Models of Financial Derivatives, 2nd edn. The World Book Publishing Company, Beijing (2011) Google Scholar
- Zhu, YL, Wu, XN, Chen, IL: Derivative Securities and Difference Methods. The World Book Publishing Company, Beijing (2012) Google Scholar
- Jiang, LS, et al.: Mathematical Models and Case Analysis for Financial Derivative Pricing. Higher Education Press, Beijing (2008) (in Chinese) Google Scholar
- Leland, HE: Option pricing and replication with transactions costs. J. Finance 40, 1283-1301 (1985) View ArticleGoogle Scholar
- Company, R, Jódar, L, Pintos, JR: A numerical method for European option pricing with transaction costs nonlinear equation. Math. Comput. Model. 50, 910-920 (2009) MathSciNetView ArticleMATHGoogle Scholar
- Jandacka, M, Sevcovic, D: On the risk-adjusted pricing-methodology-based valuation of vanilla options and explanation of the volatility smile. J. Appl. Math. 3, 235-258 (2005) MathSciNetView ArticleMATHGoogle Scholar
- Ankudinova, J, Ehrhardt, M: On the numerical solution of nonlinear Black-Scholes equations. Comput. Math. Appl. 56(3), 799-812 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Wu, LF, Yang, XZ: Explicit-implicit and implicit-explicit algorithm for solving the payment of dividend Black-Scholes equation. Highlights of Sciencepaper Online 4(13), 1207-1212 (2011) (in Chinese) Google Scholar
- Chi, XB, et al.: Parallel Computation and Realization Technology. Science Press, Beijing (2015) (in Chinese) Google Scholar
- Evans, DJ, Abdullah, ARB: Group explicit methods for parabolic equations. Int. J. Comput. Math. 14, 73-105 (1983) MathSciNetView ArticleMATHGoogle Scholar
- Zhang, BL, et al.: Parallel Finite Difference Methods for Partial Differential Equation. Science Press, Beijing (1994) (in Chinese) Google Scholar
- Yang, XZ, Wu, LF, Shi, YY: A new kind of parallel finite difference method for the quanto option pricing model. Adv. Differ. Equ. 2015, 311 (2015) MathSciNetView ArticleGoogle Scholar
- Yuan, GW, Sheng, ZQ, Hang, XD: The unconditional stability of parallel difference schemes with second order convergence for nonlinear parabolic system. J. Partial Differ. Equ. 20(1), 45-64 (2007) MathSciNetMATHGoogle Scholar
- Wang, WQ: Difference schemes with intrinsic parallelism for the KdV equation. Acta Math. Appl. Sin. 29(6), 995-1003 (2006) (in Chinese) MathSciNetGoogle Scholar
- Zhang, ZY: Alternating segment explicit-implicit parallel numerical method for a class of nonlinear evolution equation. Chin. J. Comput. Mech. 19(2), 154-158 (2002) (in Chinese) Google Scholar
- Wu, LF, Yang, XZ, Zhang, F: A kind of difference method with intrinsic parallelism for nonlinear Leland equation. J. Numer. Methods Comput. Appl. 35(1), 69-80 (2014) (in Chinese) MathSciNetMATHGoogle Scholar
- Zhang, SC: Finite Difference Numerical Calculation for Parabolic Equation with Finite Solutions. Science Press, Beijing (2010) (in Chinese) Google Scholar
- Liu, W: Practical Parallel Programming of Matlab. Beihang University Press, Beijing (2012) (in Chinese) Google Scholar