Theory and Modern Applications

# A robust numerical solution to a time-fractional Black–Scholes equation

## Abstract

Dividend paying European stock options are modeled using a time-fractional Black–Scholes (tfBS) partial differential equation (PDE). The underlying fractional stochastic dynamics explored in this work are appropriate for capturing market fluctuations in which random fractional white noise has the potential to accurately estimate European put option premiums while providing a good numerical convergence. The aim of this paper is two fold: firstly, to construct a time-fractional (tfBS) PDE for pricing European options on continuous dividend paying stocks, and, secondly, to propose an implicit finite difference method for solving the constructed tfBS PDE. Through rigorous mathematical analysis it is established that the implicit finite difference scheme is unconditionally stable. To support these theoretical observations, two numerical examples are presented under the proposed fractional framework. Results indicate that the tfBS and its proposed numerical method are very effective mathematical tools for pricing European options.

## Introduction

Since the discovery of the most celebrated Black–Scholes–Merton asset pricing formula in the early 1970s, the application of Black–Scholes (BS) partial differential equations (PDEs) in valuation of derivative instruments has become very popular. The popularity of the approach is attributed to the extensively established evidence that it provides an effective asset valuation tool.

In derivative markets, once the price evolution process for a particular asset is specified, it is possible to address the question of how to price derivative contracts on this particular asset. One of the most common derivative instruments in the markets is called an option. It is a financial contract that gives the holder the right, but not obligation, to buy or sell a specified quantity of an underlying asset, e.g., a stock, at a fixed price, called the strike price, before or on the expiration date. Since it is a right and not an obligation, the holder of the contract can decide not to exercise the option and let it expire worthless.

There are two main types of options, standard and nonstandard. Standard options are further categorized as European or American type. The European options can only be exercised at the expiration date, whereas the American options are more flexible and can be exercised anytime at or before the expiration date. These options can further be divided into two categories, call options (which give their holders the right to buy) and put options (which give their holders the right to sell).

The study of stock markets dynamics via the classical approach is based on the well-known efficient market hypothesis, i.e., martingale property of price movements. One of the consequences of using classical asset pricing models is that it is almost impossible to infer any information from historical price movements to predict the future. It is therefore imperative that, for one to better predict the future asset price movements, there is a need to pay attention to the repeated patterns and trends observed in financial data. The repeated patterns and trends in financial markets are mainly attributed to the following facts: (i) the markets discount everything, (ii) price moves in trends depict investors psychology (among other things), and (iii) history would mostly always repeat itself. There is empirical evidence to this effect, see, for example [17, 33, 40] and references therein.

The design of option valuation models is centered around the assumption that the market consists of a risky asset, for example, a stock, and a riskless asset, say a bond or a bank deposit. Emanating from its assumptions, the classical BS approach suffers from a few drawbacks, namely, (i) constant rates of return, (ii) constant volatility, and (iii) no dividends, taxes, or transactional costs. However, in real life, interest rates are bound to market forces and as such cannot remain static over a longer period of time. Based on empirical evidence, most traded assets’ returns exhibit memory structures, see, for example, [17, 33, 40] and references therein, regimes of uneven fluctuations [6, 25, 37], volatility smiles and clustering [5, 29, 37]. Weakening some of assumptions of the classical BS approach, researchers suggested a few improved models, such as stochastic interest rate models [12, 16], jump-diffusion models [14, 25, 26, 30, 46], stochastic volatility models [6, 36, 37, 39], models with transactional costs [13, 19, 44, 45], as well as those with dividend payments [4, 29, 36, 37].

Bielecki et al. [5] extended the no-arbitrage pricing theory to dividend-paying securities in discrete-time markets with transaction costs. They proved that when there are no transaction costs on the dividends paid by the asset, the no-arbitrage condition under the efficient friction assumption is proved to be equivalent to the existence of a consistent pricing system. In the general case, when there are transaction costs on the dividends, the no-arbitrage condition is open. This is so because, if an asset pays dividends, the asset price falls by the amount of the dividend. No arbitrage opportunity arises because investors are compensated with the same amount of price depreciation back in cash through dividends.

Recent pool of models with dividend payments includes, but is not limited to, [4, 29, 37] and some references therein. Martin-Vaquero et al. [29] derived a stabilized explicit Runge–Kutta method for computing the value of an American option on multiassets with dividends. Rana and Ahmad [37] used the Glosten–Jagannathan–Runkle Generalized Autoregressive Conditional Heteroscedasticity (GJR-GARCH) forecasted volatility in pricing European call options on dividend paying stocks. Ballerster et al. [4] derived a robust numerical method for pricing vanilla options with discrete dividend payments.

Another notable setback of the classical BS approach and many of the revised versions discussed above is that their PDEs involve integer order derivatives. According to Panas [33], integer order derivatives only capture localized information (change) around a point. However, with changing market conditions which led to the evolution of a number of unusual structures in financial systems, such as repeated patterns and trends, heavy tailedness in the distributions of asset returns, volatility smiles and clustering, present challenges to the use of models involving local derivatives. The need for better approaches is thus very imperative.

The issue of memory in financial data has long been observed in a number of financial systems, such as stock prices, gross domestic products (GDPs), interest rates, foreign exchange rates, equity prices, etc., see [17, 33, 4042] and references therein. Garzareli et al. [17] proved the existence of memory effects in the stock price series using a conditional probability approach. Conventionally, the memory effect was measured by autocorrelation functions, and this trend continued until recently when the fractal structures of financial systems were discovered. The Hurst parameter and fractional derivative operators in models driven by fractal processes are increasingly becoming some of the most effective tools for capturing the effects of memory in financial systems. To capture memory effects under a classical BS setup, some researchers (see, for example, [21, 27, 28]) suggested replacing the standard Brownian motion in the stock dynamic equation with a fractional Brownian motion with Hurst parameter $$H \in [0,1]$$.

There has been a widespread application of fractional Brownian motions based models in finance. Edeki et al. [15], Jena et al. [20], Jumarie [21], Liang et al. [27], Mandelbrot and Cioczek-Georges [28], and Wei-Gou et al. [40], just to mention a few, are some of the authors who applied fractional calculus based models in pricing equities, wallets, options, and to general portfolio optimizations problems. Fractional Brownian motions based models have two very important properties, namely, self-similarity and long-range dependence (heredity properties), see [33, 40] and references therein. These properties allows for the capture and representation of the effects of extreme asset price movements. They also help in explaining the effects of repeated patterns and trends observed in asset price movements. Jumarie [24] pointed out that stock price volatility can be well captured by a fractional Brownian motion which presents some random-like features suitable in explaining the effects of uneven fluctuations in stock price movements.

It is important to note that memory effects come in two forms, the noise memory effects and trend memory effects. Incorporating a fractional Brownian motion as the underlying process for the pricing dynamics only captures the noise memory effects [33]. Based on collective arguments in [7, 32, 34], fractional derivative based models are very good mathematical tools for explaining dynamics of complex processes, irregular increments, and trend memory effects which are exhibited by a number of financial instruments. To describe the trend memory effects, one replaces the integer order derivatives with their corresponding (nonlocal) derivatives of fractional orders. The resultant PDEs are often referred to as fractional partial differential equations (FPDEs). In the Black–Scholes setup, there are three main classes of FPDEs, namely, the time-fractional Black–Scholes (tfBS) PDEs, the space-fractional Black–Scholes (sfBS) PDEs, and the time–space-fractional Black–Scholes (tsfBS) PDEs. With the tfBS-PDEs, the time derivative is replaced by a corresponding fractional derivative of order α ($$0< \alpha \leq 1$$), whereas in the case of sfBS-PDEs the space derivatives are replaced by their corresponding fractional derivatives of order α and β ($$1< \beta \leq 2$$). In the case of tsfBS-PDEs, one has a combination of the two.

Assuming the stock price dynamics are driven by a non-Gaussian fractional dynamic process, Jumarie [23] derived two sets of fractional BS equations, the time-fractional (tfBS) and the time–space-fractional (tsfBS) PDE. Jumarie’s approach has been adapted by a number of researchers, some designed numerical schemes for solving the FPDEs and others applied the PDEs to pricing of different kind of options, see, for example, [1, 2, 27, 29, 31].

Chen et al. [10] followed an approach almost similar to that of Jumarie [23], but instead assumed that the stock price dynamics follows a standard Brownian motion as in the classical BS setup, while analogously replacing the integer derivatives with their corresponding fractional-order derivatives. Chen et al. [10] demonstrated that, using either their approach or that of Jumarie [23], one obtains similar results.

Recently, Edeki et al. [15] and Jena [20] proposed an analytical and a semianalytical solution to fractional option pricing models. In [15] an analytic solution to a time–space-fractional Black–Scholes model is proposed using the Jumarie fractional derivative operator. The approach has been proven to be consistent with actual integer and fractional data when compared with the classical Black–Scholes model. In [20] a novel semianalytical technique for solving a Schrödinger-type option pricing time-fractional model governed by a controlled Brownian motion was proposed. Their results are well in agreement with other already established numerical, analytical, and semianalytical results.

Other recent developments in fractional calculus and its applications beyond finance have been documented. Das and Samanta in [11] proposed a delayed fractional-order prey–predator system with fear (felt by prey) effect of predator on prey population incorporating prey refuge. The authors also established theoretical results on the existence, uniqueness, nonnegativity, and boundedness of the solutions to the proposed system. By drawing an analogy to the spread dynamics of an infectious disease, Graefa et al. in [18] derived a fractional-order susceptible–infected–removed (SIR) model to examine the user adoption and abandonment of online social networks, where the adoption is analogous to infection, and abandonment is analogous to recovery. Their results indicate that the fractional model has a unique user-prevailing equilibrium that is globally asymptotically stable. Their stability results also show that the infectious abandonment dynamics do not contribute to the stability of the user-free and user-prevailing equilibria, and that it only affects the location of the user-prevailing equilibrium. Another notable application of fractional calculus can be found in [38], in which memory effects in infectious diseases are modeled using a fractional susceptible–exposed–infectious–removed (SEIR) model, with the fractional derivatives defined in the Caputo sense. Their results indicate that the fractional model perform 35% better than the classical one.

Therefore, taking into account the results established in the reviewed literature, the aim of this paper is two fold: firstly, the paper provides a detailed derivation of a case-specific one-dimensional tfBS-PDE for pricing options where the underlying is governed by a fractal stochastic process. To the best of our knowledge, this approach has not yet been fully explored and still remains a subject of active research. Secondly, a robust unconditionally stable numerical method for solving the derived tfBS-PDE is proposed.

The rest of this paper is organized as follow: Sect. 2 presents some mathematical preliminaries on fractional differentiation. Specific focus is on the three common definitions of derivatives of fractional orders. Simultaneously, this section provides a brief account of work on the derivation of the tfBS-PDE for pricing options on dividend paying stocks. In Sect. 3, the derivation of an implicit finite difference scheme for solving the tfBS-PDE of Sect. 2 is presented. The theoretical analysis and discussion of the stability and convergence properties of the numerical scheme are discussed in Sect. 4. To substantiate and validate the theoretical claims regarding the proposed numerical method, extensive numerical experiments are presented in Sect. 5. Finally, some concluding remarks and scope for further research directions are indicated in Sect. 6.

## Time-fractional Black–Scholes (BS) equation

This section first presents some fundamental fractional derivative definitions, namely, the Riemann–Liouville, Caputo, and Jumarie fractional derivatives. Secondly, a derivation of the time-fractional Black–Scholes PDE for pricing options on stocks that pay continuous dividends is presented.

### Mathematical preliminaries on fractional differential operators

In most recent literature, derivatives of fractional orders are defined in the Caputo [9], Riemann-Liouville [43], as well as in the Jumarie (modified Riemann–Liouville) [24] sense. For a detailed treatment on different types of fractional derivatives, advantages and disadvantages of their usage, see [3] and references therein. Some other good discussions can be found in [2124]. The following fractional derivative definitions can also be found in [9, 2123, 43] among other literature.

### Definition 2.1

(Caputo fractional derivative)

Let $$f:\mathbb{R}\to \mathbb{R}$$ be a continuous, but not necessarily differentiable function. The Caputo fractional derivative of order α is defined as follows:

$$D_{t}^{\alpha } f(t) = \frac{1}{\Gamma (\eta -\alpha )} \int _{0} ^{t} \frac{d^{\eta }f(\tau )}{dt^{\eta }} \frac{1}{(t-\tau )^{\alpha -\eta +1}}\,d\tau ,\quad \eta -1< \alpha \leq \eta ; \eta \in \mathbb{N}.$$
(2.1)

One of the main advantages of the Caputo fractional derivative is that it allows classical initial and boundary conditions to be included in the formulation of the problem [8, 35].

### Definition 2.2

(Riemann–Liouville fractional derivative)

Let $$f:\mathbb{R}\to \mathbb{R}$$ be a continuous, but not necessarily differentiable function. Then, the Riemann–Liouville fractional derivative of order α is given by

$$D_{t}^{\alpha } f(t) = \frac{1}{\Gamma (\eta -\alpha )} \frac{d^{\eta }}{dt^{\eta }} \int _{0} ^{t} \frac{f(\tau )}{(t-\tau )^{\alpha -\eta +1}}\,d\tau , \quad \eta -1< \alpha \leq \eta ; \eta \in \mathbb{N}.$$
(2.2)

The Riemann–Liouville derivative has certain disadvantages when trying to model real-world phenomena with fractional differential equations, for example, the Riemann–Liouville derivative of a constant is not zero. In addition, if an arbitrary function is a constant at the origin, its fractional derivative has a singularity at the origin, for example, the exponential and Mittag-Leffler functions. These disadvantages reduce the field of application of the Riemann–Liouville fractional derivative [3]. Some of these disadvantages can be circumvented by modifying the Riemann–Liouville definition, for example, as done by Jumarie in [22] where he derived some interesting modifications of the Riemann–Liouville definition with the aid of fractional differencing theory coupled with his theory of Jumarie-fractional (generalized) Taylor series. The definition by Jumarie takes into account the existence of a fractional derivative at $$t=0$$, which is undefined in the definitions of Caputo and Riemann–Liouville derivatives.

### Definition 2.3

(Jumarie (modified Riemann–Liouville) derivative)

Let $$f:\mathbb{R}\to \mathbb{R}$$ be a continuous, but not necessarily differentiable function, and suppose $$f(t)$$ is

1. (i)

a constant K, then its Jumarie fractional derivative of order α is defined by

$$D^{\alpha }_{t} f(t)= \textstyle\begin{cases} \frac{K}{\Gamma (\eta -\alpha )}t^{-\alpha +1-\eta }, & \alpha \leq \eta -1, \\ 0, & \alpha > \eta -1, \end{cases}$$
(2.3)
2. (ii)

not a constant, then

$$D^{\alpha }_{t} f(t)=\frac{1}{\Gamma (\eta -\alpha )} \frac{d^{\eta }}{dt^{\eta }} \int ^{t}_{0} \frac{\{f(\tau )-f(0)\}}{(t-\tau ) ^{\alpha }}\,d\tau , \quad \eta -1< \alpha \leq \eta ,$$
(2.4)

where $$\eta \in \mathbb{N}$$.

### Definition 2.4

(Fractional Taylor series)

Let $$f:\mathbb{R}\to \mathbb{R}$$ be a continuous function that has a derivative of order αζ, ζ being any positive integer, and $$0<\alpha \leq 1$$, then

$$f(t+\kappa ) = \textstyle\begin{cases} \sum_{\zeta =0}^{\infty }{ \frac{\kappa ^{\alpha \zeta }}{\Gamma (1+\alpha \zeta )}} f^{(\alpha \zeta )}(t), & \eta -1< \alpha \leq \eta , \\ f(t)+\kappa f^{\prime }(t)+ \sum^{\infty }_{\zeta =1}{ \frac{\kappa ^{\zeta \widetilde{\beta } + 1}}{\Gamma (\zeta \widetilde{\beta } + 2)} f^{(\zeta \widetilde{\beta } +1)} (t)}, &\widetilde{\beta } =\alpha - \eta , \end{cases}$$
(2.5)

where $$\eta \in \mathbb{N}$$.

### Derivation of the time-fractional BS-PDE

In deriving the time-fractional BS-PDE, let us first assume that the stock price dynamics follows the following fractional stochastic equation:

$$dS = rS\, dt +\sigma \omega (t) (dt)^{\alpha /2},\quad 0< \alpha \leq 1,$$
(2.6)

where S and σ are respectively the price and volatility of the stock, r is the risk-free interest rate, and $$\omega (t)$$ denotes the standard Wiener process. In the presence of continuous dividends, denoted by δ, the above equation changes to

$$dS = (r-\delta )S\, dt +\sigma \omega (t) (dt)^{\alpha /2}, \quad 0< \alpha \leq 1.$$
(2.7)

Let us also consider the following important identities, which, according to Jumarie [24], are well consistent with the Jumarie fractional (generalized) Taylor series in (2.5):

\begin{aligned}& d^{\alpha }t=\frac{1}{\Gamma (2-\alpha )}t^{1-\alpha }(dt)^{\alpha }, \quad 0< \alpha \leq 1, \end{aligned}
(2.8)
\begin{aligned}& d^{\alpha }S=\Gamma (1+\alpha )\,dS,\quad 0< \alpha \leq 1, \end{aligned}
(2.9)

and

$$\frac{d^{\alpha }S}{(dS)^{\alpha }}=\frac{1}{\Gamma (2-\alpha )}S^{1- \alpha }, \quad 0< \alpha \leq 1.$$
(2.10)

Combining (2.9) and (2.10) yields a formula which allows for the conversion of integer derivatives to fractional derivatives, and vice versa:

$$dS=\frac{S^{(1-\alpha )}}{\Gamma (1+\alpha )\Gamma (2-\alpha )}(dS)^{\alpha }, \quad 0 < \alpha \leq 1.$$
(2.11)

Suppose $$V=V(S,t)$$ represents the value of a European put option, and suppose that $$V(S,t)$$ satisfies the assumption

### Assumption 2.5

The function $$V(S,t)$$ is sufficiently smooth with respect to S and its α derivative with respect to time exists for some α ($$0< \alpha \leq 1$$).

Consider the risk-free investment interest rate dynamic equation

$$dV=rV\, dt.$$
(2.12)

Multiplying both sides of (2.12) with $$\Gamma (1-\alpha )$$ yields

$$\Gamma (1-\alpha )\, dV=\Gamma (1-\alpha )rV\, dt.$$
(2.13)

Now, combining (2.13) with (2.9) yields the following variational fractional increment process:

$$d^{\alpha }V=\Gamma (1+\alpha )rV\, dt.$$
(2.14)

Equation (2.14), along with (2.11), yields the following fractional interest rate dynamic equation:

$$d^{\alpha }V=\frac{rV}{\Gamma (2-\alpha )}t^{1-\alpha }(dt)^{\alpha }.$$
(2.15)

Since $$V(S,t)$$ is sufficiently smooth with respect to S and its α-derivative ($$0<\alpha \leq 1$$) with respect to t exists, applying the fractional Taylor series (2.5) of order α on $$V(S,t)$$ up to remaining error term yields

$$dV = \frac{1}{\Gamma (1+\alpha )} \frac{\partial ^{\alpha }{V}}{\partial {t}^{\alpha }} (dt)^{\alpha } + \frac{\partial {V}}{\partial {S}} \,dS + \frac{1}{2} \frac{\partial ^{2}{ V}}{\partial {S^{2}}}(dS)^{2}.$$
(2.16)

Combining this with Itô’s lemma and equation (2.7) results in

$$dV= \frac{1}{\Gamma (1+\alpha )} \frac{\partial ^{\alpha }{V}}{\partial {t}^{\alpha }} (dt)^{\alpha } + (r- \delta )S\frac{\partial {V}}{\partial {S}}\, dt + \frac{1}{2} \sigma ^{2} S^{2} \frac{\partial ^{2}{ V}}{\partial {S^{2}}}(dt)^{\alpha }.$$
(2.17)

Using the conversion formula (2.11) but in terms of t, dt in (2.17) is replaced with

$$dt= \frac{t^{1-\alpha }(dt)^{\alpha }}{\Gamma (1+\alpha )\Gamma (2-\alpha )},$$
(2.18)

to obtain

$$dV= \frac{1}{\Gamma (1+\alpha )} \frac{\partial ^{\alpha }{V}}{\partial {t}^{\alpha }} (dt)^{\alpha } + \frac{(r-\delta )}{\Gamma (1+\alpha )\Gamma (2-\alpha )}St^{1-\alpha } \frac{\partial {V}}{\partial {S}}(dt)^{\alpha } + \frac{1}{2} \sigma ^{2} S^{2}\frac{\partial ^{2}{ V}}{\partial {S^{2}}}(dt)^{\alpha }.$$
(2.19)

Multiplying both sides of (2.19) with $$\Gamma (1+\alpha )$$ yields

$$\Gamma (1+\alpha )\, dV= \biggl( \frac{\partial ^{\alpha }{V}}{\partial {t}^{\alpha }} + \frac{(r-\delta )}{\Gamma (2-\alpha )}St^{1-\alpha } \frac{\partial {V}}{\partial {S}} + \frac{\Gamma (1+\alpha )}{2} \sigma ^{2} S^{2} \frac{\partial ^{2}{ V}}{\partial {S^{2}}} \biggr) (dt)^{ \alpha }.$$
(2.20)

Using (2.15), the left-hand side of (2.20) can be rewritten as

\begin{aligned} \Gamma (1+\alpha )\, dV =&d^{\alpha }V \\ =&\frac{rV}{\Gamma (2-\alpha )}t^{1-\alpha }(dt)^{\alpha }. \end{aligned}
(2.21)

Using (2.21), along with (2.20), yields

$$\frac{rV}{\Gamma (2-\alpha )}t^{1-\alpha }= \frac{\partial ^{\alpha }{V}}{\partial {t}^{\alpha }} + \frac{(r-\delta )}{\Gamma (2-\alpha )}St^{1-\alpha } \frac{\partial {V}}{\partial {S}} + \frac{\Gamma (1+\alpha )}{2} \sigma ^{2} S^{2} \frac{\partial ^{2}{ V}}{\partial {S^{2}}}.$$
(2.22)

Equation (2.22) can further be simplified into the following tfBS-PDE:

$$\frac{\partial ^{\alpha }V}{\partial t^{\alpha }}= \biggl( rV-qS \frac{\partial V}{\partial S} \biggr) \frac{t^{1-\alpha }}{\Gamma (2-\alpha )}-\frac{\Gamma (1+\alpha )}{2} \sigma ^{2}S^{2} \frac{\partial ^{2} V}{\partial S^{2}}, \quad q=r- \delta ; 0< \alpha \leq 1.$$
(2.23)

A robust numerical scheme for solving the tfBS-PDE in (2.23) coupled with the following boundary and terminal conditions is developed in the next section:

$$\textstyle\begin{cases} V(S,0)=\max (K-S, 0), \\ V(0,t)=K e^{-r(T-t)}, \\ \lim_{S\to \infty } V(S,t)=0, \end{cases}$$
(2.24)

where K is the strike price of the European put option and T is the maturity time.

## Numerical method

In this section, an implicit numerical method for solving (2.23) along with (2.24) is presented. To begin, let L and N be positive integers and define $$h=1/L$$ and $$k=1/N$$ as the space and time step-sizes, respectively. Define $$S_{l}=lh$$; $$l=0,1,2,\dots ,L$$ and $$t_{n}=nk$$; $$n=0,1,2,\dots ,N$$, such that $$S_{l} \in [S_{\min }, S_{\max }]$$ and $$t_{n} \in [0, T]$$. Furthermore, define $$V_{l}^{n}=V(S_{l},t_{n})$$ as the solution at the grid point $$(S_{l},t_{n})=(lh,nk)$$.

Using the definition of Caputo fractional derivative given in (2.1) for $$\eta =1$$, the time-derivative in (2.23) can be approximated by

\begin{aligned} \frac{\partial ^{\alpha }V(S_{l},t_{n})}{\partial t^{\alpha }} =& \frac{1}{\Gamma (1-\alpha )} \int _{0}^{t_{n}} \frac{\partial {V(S_{l},\tau )}}{\partial t}(t_{n}- \tau )^{-\alpha }\,d\tau \\ =& \frac{1}{\Gamma (1-\alpha )} \sum_{j=1}^{n} \int _{(j-1)k}^{jk} \biggl( \frac{V_{l}^{j}-V_{l}^{j-1}}{k}+O(k) \biggr) (nk-\tau )^{- \alpha }\,d\tau \\ =&\frac{1}{\Gamma (1-\alpha )}\sum_{j=1}^{n} \biggl( \frac{V_{l}^{j}-V_{l}^{j-1}}{k}+O(k) \biggr) \biggl( \frac{(nk-(j-1)k)^{1-\alpha }-(nk-jk)^{1-\alpha }}{{1-\alpha }} \biggr) \\ =&\frac{1}{\Gamma (1-\alpha )}\frac{1}{1-\alpha }\sum_{j=1}^{n} \biggl( \frac{V_{l}^{j}-V_{l}^{j-1}}{k}+O(k) \biggr) \bigl[(n-j+1)^{1- \alpha }-(n-j)^{1-\alpha } \bigr]k^{1-\alpha } \\ =&\frac{1}{\Gamma (2-\alpha )}\frac{1}{k^{\alpha }}\sum_{j=1}^{n} \bigl[ V_{l}^{j}-V_{l}^{j-1} \bigr] \bigl[(n-j+1)^{1-\alpha }-(n-j)^{1- \alpha } \bigr] \\ &{} + \frac{1}{\Gamma (2-\alpha )}\sum_{j=1}^{n} \bigl[(n-j+1)^{1- \alpha }-(n-j)^{1-\alpha } \bigr]O(k)k^{1-\alpha } \\ =&\frac{1}{\Gamma (2-\alpha )}\frac{1}{k^{\alpha }}\sum_{j=1}^{n} \bigl(V_{l}^{j}-V_{l}^{j-1} \bigr) \bigl[(n-j+1)^{1-\alpha }-(n-j)^{1-\alpha } \bigr] \\ &{} + \frac{1}{\Gamma (2-\alpha )}\sum_{j=1}^{n} \bigl[(n-j+1)^{1- \alpha }-(n-j)^{1-\alpha } \bigr] O \bigl(k^{2-\alpha } \bigr). \end{aligned}
(3.1)

Shifting the indices in (3.1) yields

\begin{aligned} \frac{\partial ^{\alpha }V(S_{l},t_{n})}{\partial t^{\alpha }} =&\frac{1}{\Gamma (2-\alpha )} \frac{1}{k^{\alpha }}\sum_{j=1}^{n} \bigl(V_{l}^{n-j+1}-V_{l}^{n-j} \bigr) \bigl[j^{1-\alpha }-(j-1)^{1-\alpha } \bigr] \\ &{} +\frac{1}{\Gamma (2-\alpha )}\sum_{j=1}^{n} \bigl[j^{1-\alpha }-(j-1)^{1- \alpha } \bigr] O \bigl(k^{2-\alpha } \bigr). \end{aligned}
(3.2)

Let

$$\rho _{\alpha }:=\frac{1}{\Gamma (2-\alpha )}\frac{1}{k^{\alpha }}$$
(3.3)

and

$$\beta _{j} :=j^{1-\alpha }-(j-1)^{1-\alpha };\quad j=1,2, \dots , n,$$
(3.4)

such that $$1=\beta _{1} >\beta _{2} > \cdots > \beta _{n} \to 0$$. Substituting $$\rho _{\alpha }$$ and $$\beta _{j}$$ into (3.2) yields

\begin{aligned} \frac{\partial ^{\alpha }V(S_{l},t_{n})}{\partial t^{\alpha }} =&\rho _{ \alpha }\sum _{j=1}^{n}\beta _{j} \bigl(V_{l}^{{n-j+1}}-V_{l}^{n-j} \bigr) + \frac{1}{\Gamma (2-\alpha )}\sum_{j=1}^{n} \beta _{j} O \bigl(k^{2- \alpha } \bigr) \\ =&\rho _{\alpha } \sum_{j=1}^{n} \beta _{j} \bigl(V_{l}^{n-j+1}-V_{l}^{n-j} \bigr) + \frac{1}{\Gamma (2-\alpha )} n^{1-\alpha } O \bigl(k^{2-\alpha } \bigr) \\ =& \rho _{\alpha }\sum_{j=1}^{n} \beta _{j} \bigl(V_{l}^{n-j+1}-V_{l}^{n-j} \bigr) + \frac{1}{\Gamma (2-\alpha )} \biggl(\frac{t_{n}}{k} \biggr)^{1- \alpha }O \bigl(k^{2-\alpha } \bigr) \\ =&\rho _{\alpha }\sum_{j=1}^{n} \beta _{j} \bigl(V_{l}^{n-j+1}-V_{l}^{n-j} \bigr) + \frac{t_{n}^{1-\alpha }}{\Gamma (2-\alpha )} k. \end{aligned}
(3.5)

The time derivative in (2.23) is therefore approximated by

$$\frac{\partial ^{\alpha }V(S_{l},t_{n})}{\partial t^{\alpha }}=\rho _{ \alpha }\sum _{j=1}^{n}\beta _{j} \bigl(V_{l}^{n-j+1}-V_{l}^{n-j} \bigr) + O(k).$$
(3.6)

One can clearly see that, for $$j=1$$ and $$\alpha =1$$, the fractional difference formula (3.6) reduces to the classical finite difference formula

$$\frac{\partial V(S_{l},t_{n})}{\partial t}= \frac{V_{l}^{n}-V_{l}^{n-1}}{k} + O(k).$$

Now, the first and second spatial derivatives in (2.23) are discretized using the usual forward and central finite difference approximations, respectively, i.e.,

$$\frac{\partial V(S_{l},t_{n})}{\partial S}= \frac{V_{l+1}^{n}-V_{l}^{n}}{h} + O(h)$$
(3.7)

and

$$\frac{\partial ^{2} V(S_{l},t_{n})}{\partial S^{2}}= \frac{V_{l+1}^{n}-2V_{l}^{n}+V_{l-1}^{n}}{h^{2}} + O \bigl(h^{2} \bigr).$$
(3.8)

Substituting (3.6), (3.7), and (3.8) into (2.23) yields the following full scheme:

\begin{aligned} \rho _{\alpha }\sum_{j=1}^{n} \beta _{j} \bigl(V_{l}^{n-j+1}-V_{l}^{n-j} \bigr) =& \bigl( rV_{l}^{n}-(r-\delta )l \bigl(V_{l+1}^{n}-V_{l}^{n} \bigr) \bigr) \frac{(nk)^{1-\alpha }}{\Gamma (2-\alpha )} \\ &{}- \frac{\Gamma (1+\alpha )\sigma ^{2}l^{2}}{2} \bigl(V_{l+1}^{n}-2V_{l}^{n}+V_{l-1}^{n} \bigr). \end{aligned}
(3.9)

Now (3.9) can be further simplified into

$$a_{n l} V_{l-1}^{n} + b_{n l}V_{l}^{n}+c_{n l}V_{l+1}^{n}=(1- \beta _{2})V_{l}^{n-1} + \sum _{j=2}^{n-1} \varphi _{j} V_{l}^{n-j} + \beta _{n} V_{l}^{0} ,$$
(3.10)

where

$$\varphi _{j}:= \beta _{j}-\beta _{j+1};\quad j=1,2,\dots , n,$$
(3.11)

and

\begin{aligned}& a_{n l} = \rho _{\alpha }^{-1} \biggl( \frac{\Gamma (1+\alpha )\sigma ^{2}l^{2}}{2} \biggr), \\& b_{n l} = 1-\rho _{\alpha }^{-1} \biggl(\Gamma (1+\alpha )\sigma ^{2}l^{2}+ \frac{ (r+(r-\delta )l )(nk)^{1-\alpha }}{\Gamma (2-\alpha )} \biggr), \\& c_{n l} = \rho _{\alpha }^{-1} \biggl( \frac{\Gamma (1+\alpha )\sigma ^{2}l^{2}}{2}+ \frac{(r-\delta )l(nk)^{1-\alpha }}{\Gamma (2-\alpha )} \biggr); \quad l=1,2,\dots ,L. \end{aligned}

The matrix representation of the above scheme is given by

$${\mathbf{A}}_{n} {\mathbf{U}}_{n}= \varphi _{1}{\mathbf{U}}_{n-1}+\varphi _{2}{ \mathbf{U}}_{n-2}+ \cdots + \varphi _{n-1}{ \mathbf{U}}_{1} + \beta _{n} {\mathbf{U}}_{0},$$
(3.12)

which can further be written as

$${\mathbf{A}}_{n} {\mathbf{U}}_{n}={ \mathbf{b}}_{n},$$
(3.13)

where

\begin{aligned}& {\mathbf{A}}_{n}= \begin{pmatrix} a_{1n}&b_{1n} & c_{1n} &0&\cdots &\cdots &0 \\ 0&a_{2n} & b_{2n} & c_{2n} &&&\vdots \\ \vdots &&\ddots &\ddots &\ddots && \vdots \\ \vdots & & & a_{l{-1}n} & b_{{l-1}n} & c_{{l-1}n}&0 \\ 0 & \cdots &\cdots &0& a_{{L}n} & b_{{L}n}&c_{{L}n} \end{pmatrix},\qquad {\mathbf{U}}_{n}= \begin{pmatrix} V_{0}^{n} \\ V_{1}^{n} \\ \vdots \\ V_{L-1}^{n} \\ V_{L}^{n} \end{pmatrix}, \\& {\mathbf{b}}_{n}=\sum_{j=1}^{n-1} \varphi _{j}{\mathbf{U}}_{n-j}+ \beta _{n} { \mathbf{U}}_{0}. \end{aligned}

### Remark 3.1

The following observations can easily be verified:

$$\textstyle\begin{cases} 1=\beta _{1} > \beta _{2} > \cdots \beta _{n} \to 0, \\ \varphi _{1}=1-\beta _{2}, \\ \sum_{j=1}^{n-1}{\varphi _{j}}=1-\beta _{n}, \\ \sum_{j=1}^{\infty }\varphi _{j}=1 > 1- (2^{1-\alpha }-(2-1)^{1- \alpha } ) =2-2^{1-\alpha }=\varphi _{1} > \varphi _{2}>\cdots \to 0. \end{cases}$$
(3.14)

In the following section, theoretical analysis of the numerical scheme (3.9) is presented.

## Analysis of the numerical method

In this section, theoretical results on the stability and convergence properties of the numerical scheme (3.9) are presented.

### Stability analysis

Let $$\tilde{V}_{l}^{n}$$; $$l=0, 1,2,\dots ,L$$, $$n=0,1,2,\dots ,N$$, be an approximate solution obtained by using (3.9).

Define the truncation error as follows:

$$\varepsilon _{l}^{n} = V_{l}^{n}-\tilde{V}_{l}^{n},$$
(4.1)

such that $$\varepsilon _{0}^{n}=\varepsilon _{L}^{n}=0$$ for all n.

Now setting $$n=1$$ in (3.9) and simplifying further results in

\begin{aligned}& \rho _{\alpha }^{-1} \biggl( \frac{\Gamma (1+\alpha )\sigma ^{2}l^{2}}{2} \biggr)V_{l-1}^{1}+ \biggl(1-\rho _{\alpha }^{-1} \biggl(\Gamma (1+\alpha )\sigma ^{2}l^{2}+ \frac{ (r+(r-\delta )l )(nk)^{1-\alpha }}{\Gamma (2-\alpha )} \biggr) \biggr)V_{l}^{1} \\& \quad {} + \rho _{\alpha }^{-1} \biggl( \frac{\Gamma (1+\alpha )\sigma ^{2}l^{2}}{2}+ \frac{(r-\delta )l(nk)^{1-\alpha }}{\Gamma (2-\alpha )} \biggr)V_{l+1}^{1}=V_{l}^{0}, \end{aligned}
(4.2)

which can be represented as

$$a_{1 l} V_{l-1}^{1} + b_{1 l}V_{l}^{1}+c_{1 l}V_{l+1}^{1}=V_{l}^{0},$$
(4.3)

with

\begin{aligned}& a_{1 l} = \rho _{\alpha }^{-1} \biggl( \frac{\Gamma (1+\alpha )\sigma ^{2}l^{2}}{2} \biggr), \\& b_{1 l} = 1-\rho _{\alpha }^{-1} \biggl(\Gamma (1+ \alpha )\sigma ^{2}l^{2}+ \frac{ (r+(r-\delta )l )(nk)^{1-\alpha }}{\Gamma (2-\alpha )} \biggr), \\& c_{1 l} = \rho _{\alpha }^{-1} \biggl( \frac{\Gamma (1+\alpha )\sigma ^{2}l^{2}}{2}+ \frac{(r-\delta )l(nk)^{1-\alpha }}{\Gamma (2-\alpha )} \biggr), \quad l=1,2,\dots ,L. \end{aligned}

Using the error equation (4.1), along with (4.3), yields

$$a_{1 l} \varepsilon _{l-1}^{1} + b_{1 l}\varepsilon _{l}^{1}+c_{1 l} \varepsilon _{l+1}^{1}=\varepsilon _{l}^{0},\quad n=1,$$
(4.4)

and for $$n\ge 2$$ the following error equation is obtained:

$$a_{n l} \varepsilon _{l-1}^{n} + b_{n l}\varepsilon _{l}^{n}+c_{n l} \varepsilon _{l+1}^{n}=\sum_{j=1}^{n-1} \varphi _{j} \varepsilon _{l}^{n-j} + \beta _{n}\varepsilon _{l}^{0}, \quad n\geq 2.$$
(4.5)

In matrix notation, (4.4) and (4.5) can be written as

$$\textstyle\begin{cases} {\mathbf{A}}_{1}{\mathbf{E}}_{n}={\mathbf{E}}_{0}, &n=1, \\ {\mathbf{A}}_{n}{\mathbf{E}}_{n}= \varphi _{1} {\mathbf{E}}_{n-1} + \varphi _{2} { \mathbf{E}}_{n-2} + \cdots + \varphi _{n-1} {\mathbf{E}}_{1}+ \beta _{n} {\mathbf{E}}_{0}, &n\geq 2, \end{cases}$$
(4.6)

where

$${\mathbf{E}}_{n} = \begin{pmatrix} {\varepsilon }_{1}^{n} \\ {\varepsilon }_{2}^{n} \\ \vdots \\ {\varepsilon }_{L-1}^{n} \end{pmatrix}.$$
(4.7)

With the above notations and settings, the following theorem holds.

### Theorem 4.1

The implicit finite difference scheme (3.9) is unconditionally stable and its global error satisfies

$$\Vert {\mathbf{E}}_{n} \Vert _{\infty } \leq \Vert { \mathbf{E}}_{0} \Vert _{\infty }, \quad \textit{for } n=1,2,3,\dots ,N.$$

### Proof

Suppose $$n=1$$ and let

$$\bigl\vert \varepsilon _{m}^{1} \bigr\vert = \max _{1 \leq l \leq L-1} \bigl\vert \varepsilon _{l}^{1} \bigr\vert .$$
(4.8)

Then, using (4.4) results in

\begin{aligned} \Vert E_{1} \Vert _{\infty } = & \bigl\vert \varepsilon _{m}^{1} \bigr\vert \\ \leq & \bigl\vert a_{1 m} \varepsilon _{m-1}^{1} + b_{m l}\varepsilon _{m}^{1}+c_{1 m} \varepsilon _{m+1}^{1} \bigr\vert \\ =& \bigl\vert \varepsilon _{l}^{0} \bigr\vert \\ \leq & \Vert {\mathbf{E}}_{0} \Vert _{\infty }, \end{aligned}
(4.9)

which implies that

$$\Vert {\mathbf{E}}_{1} \Vert _{\infty } \leq \Vert { \mathbf{E}}_{0} \Vert _{\infty }.$$

Now suppose $$n \geq 2$$, then

$$\Vert {\mathbf{E}}_{n-1} \Vert _{\infty } \leq \Vert { \mathbf{E}}_{0} \Vert _{\infty }.$$

Define

$$\bigl\vert \varepsilon _{m}^{n} \bigr\vert = \max _{1 \leq l \leq L-1} \bigl\vert \varepsilon _{l}^{n} \bigr\vert .$$
(4.10)

Hence

\begin{aligned} \Vert {\mathbf{E}}_{n} \Vert _{\infty } = & \bigl\vert \varepsilon _{m}^{n} \bigr\vert \\ \leq & \bigl\vert a_{n m} \varepsilon _{m-1}^{n} + b_{n m} \varepsilon _{m}^{n} + c_{n m}\varepsilon _{m+1}^{n} \bigr\vert \\ =& \vert \varphi _{1} {\mathbf{E}}_{n-1} + \varphi _{2} {\mathbf{E}}_{n-2} + \cdots + \varphi _{n-1} {\mathbf{E}}_{1}+ \beta _{n} { \mathbf{E}}_{0} \vert \\ \leq & \varphi _{1} \vert {\mathbf{E}}_{n-1} \vert + \varphi _{2} \vert {\mathbf{E}}_{n-2} \vert + \cdots + \varphi _{n-1} \vert {\mathbf{E}}_{1} \vert + \beta _{n} \vert { \mathbf{E}}_{0} \vert \\ \leq & \varphi _{1} \Vert {\mathbf{E}}_{n-1} \Vert _{\infty }+ \varphi _{2} \Vert { \mathbf{E}}_{n-2} \Vert _{\infty } + \cdots + \varphi _{n-1} \Vert { \mathbf{E}}_{1} \Vert _{ \infty }+ \beta _{n} \Vert {\mathbf{E}}_{0} \Vert _{\infty } \\ \leq & \varphi _{1} \Vert {\mathbf{E}}_{0} \Vert _{\infty }+ \varphi _{2} \Vert {\mathbf{E}}_{0} \Vert _{\infty } + \cdots + \varphi _{n-1} \Vert { \mathbf{E}}_{0} \Vert _{\infty }+ \beta _{n} \Vert {\mathbf{E}}_{0} \Vert _{\infty } \\ = & (\varphi _{1} + \varphi _{2} + \cdots + \varphi _{n-1} + \beta _{n} ) \Vert {\mathbf{E}}_{0} \Vert _{\infty } \\ = & \Biggl( \sum_{j=1}^{n-1}\varphi _{j} + \beta _{n} \Biggr) \Vert { \mathbf{E}}_{0} \Vert _{\infty } \\ =& ( 1-\beta _{n} + \beta _{n} ) \Vert { \mathbf{E}}_{0} \Vert _{\infty } \\ =& \Vert {\mathbf{E}}_{0} \Vert _{\infty }. \end{aligned}
(4.11)

□

Therefore

$$\Vert {\mathbf{E}}_{n} \Vert _{\infty } \leq \Vert { \mathbf{E}}_{0} \Vert _{\infty } \quad \mbox{for all } n=1,2,\dots , N,$$

which completes the proof of the theorem.

### Convergence analysis

Let $$U_{l}^{n}$$ be the exact solution of (2.23) with condition (2.24) at the grid point $$(S_{l}, t_{n})$$ and define

$$e_{l}^{n}= U_{l}^{n}-V_{l}^{n},$$
(4.12)

such that $${\mathbf{e}}^{n}=(e_{1}^{n},e_{2}^{n}, \dots , e_{L-1}^{n})^{T}$$ and $${\mathbf{e}}^{0}=0$$.

Now since the errors $$e_{l}^{n}$$ satisfy (3.10) and (4.3), the following is true for $$n \geq 2$$:

$$a_{n l} e_{l-1}^{n} + b_{n l} e_{l}^{n}+c_{n l} e_{l+1}^{n}= \sum_{j=1}^{n-1} \varphi _{j} e_{l}^{n-j}+ R_{l}^{n},$$
(4.13)

and for $$n=1$$,

$$a_{1 l} e_{l-1}^{1} + b_{1 l} e_{l}^{1}+c_{1 l} e_{l+1}^{1}=R_{l}^{1}.$$
(4.14)

In the above, the remainder term $$R_{l}^{n}$$ is obtained from (3.9) by multiplying both sides of the equation by $$k^{\alpha }\Gamma (2-\alpha )$$. This gives

\begin{aligned} R_{l}^{n} =&\sum _{j=1}^{n}\beta _{j} \bigl[V(S_{l},t_{n+1-j})-V(S_{l}, t_{n-j}) \bigr] - \mu k^{\alpha }V(S_{l},t_{n}) - \omega k^{\alpha } \bigl[V(S_{l+1},t_{n})-V(S_{l},t_{n} \bigr] \\ &{} + \beta k^{\alpha }\Gamma (2-\alpha ) \bigl[ V(S_{l+1}, t_{n})-2V(S_{l},t_{n}) + V(S_{l-1},t_{n}) \bigr], \end{aligned}
(4.15)

where

$$\mu =r t^{1-\alpha },\qquad \omega =(r-\delta )l t^{1-\alpha },\quad \mbox{and}\quad \beta = \frac{l^{2}\sigma ^{2}\Gamma (1+\alpha )}{2}.$$

Define

$$L_{k}^{\alpha }V(S_{l},t_{n}):= \frac{k^{-\alpha }}{\Gamma (2-\alpha )} \sum_{j=1}^{n} \beta _{j} \bigl[V(S_{l},t_{n+1-j})-V(S_{l}, t_{n-j}) \bigr],$$
(4.16)

then

\begin{aligned}& \biggl\vert \frac{\partial ^{\alpha }V(S_{l},t_{n})}{\partial t^{\alpha }}-L_{k}^{ \alpha }V(S_{l},t_{n}) \biggr\vert \\& \quad \leq \frac{1}{\Gamma (1-\alpha )} \sum_{j=1}^{n} \int _{(j-1)k}^{jk} \biggl\vert \frac{\partial V(S_{l},\tau )}{\partial \tau } - \frac{ (V(S_{l},t_{n+1-j})-V(S_{l}, t_{n-j}) )}{k} \biggr\vert \frac{d \tau }{(t_{n} - \tau )^{\alpha }} \\& \quad \leq \frac{1}{\Gamma (1-\alpha )}k\sum_{j=1}^{n} \int _{(j-1)k}^{jk} \frac{d\tau }{(t_{n} - \tau )^{\alpha }} \\& \quad \leq \frac{C}{\Gamma (1-\alpha )}k \int _{0}^{jk} \frac{d\tau }{(t_{n} - \tau )^{\alpha }} \\& \quad \leq C_{1}k, \end{aligned}
(4.17)

where C and $$C_{1}$$ are constants independent of h and k. Therefore,

\begin{aligned} L_{k}^{\alpha }V(S_{l},t_{n}) = & \frac{k^{-\alpha }}{\Gamma (2-\alpha )}\sum_{j=1}^{n} \beta _{j} \bigl[V(S_{l},t_{n+1-j})-V(S_{l}, t_{n-j}) \bigr] \\ = & \frac{\partial ^{\alpha }V(S_{l},t_{n})}{\partial t^{\alpha }} + C_{1}k. \end{aligned}
(4.18)

Further note that

$$\frac{V(S_{l+1},t_{n}) -V(S_{l},t_{n})}{h}= \frac{\partial V(S_{l},t_{n})}{\partial S} +C_{2}h$$
(4.19)

and

$$\frac{V(S_{l+1}, t_{n})-2V(S_{l},t_{n}) + V(S_{l-1},t_{n}) }{h^{2}} = \frac{ \partial ^{2} V(S_{l},t_{n})}{\partial S^{2}} + C_{3} h^{2}.$$
(4.20)

Substituting (4.18)–(4.20) into (4.15) and simplifying yields

\begin{aligned} R_{l}^{n} =& k^{\alpha }\Gamma (2-\alpha ) \biggl[ \frac{\partial ^{\alpha }V(S_{l},t_{n})}{\partial t^{\alpha }} - \frac{\mu }{\Gamma (2-\alpha )} V(S_{l},t_{n}) \\ &{}- \frac{\omega }{\Gamma (2-\alpha )} \frac{\partial V(S_{l},t_{n})}{\partial S} + \beta \frac{ \partial ^{2} V(S_{l},t_{n})}{\partial S^{2}} \biggr] \\ & + C_{1}k^{1+\alpha } +C_{2}k^{\alpha }h + C_{3} k^{\alpha }h^{2}, \end{aligned}
(4.21)

where $$C_{2}$$ and $$C_{3}$$ are constants independent of h and k.

The following results follow directly from (4.21):

\begin{aligned} \bigl\vert R_{l}^{n} \bigr\vert \leq & \hat{C} \bigl(k^{1+\alpha } + k^{\alpha } \bigl(h+ h^{2} \bigr) \bigr) \\ \leq &\hat{C} \bigl(k^{1+\alpha } + k^{\alpha }h \bigr) \bigl(h^{2}\le h \bigr), \end{aligned}
(4.22)

where Ĉ is a generic constant.

Therefore, the following theorem holds:

### Theorem 4.2

Let $$V_{l}^{n}$$ be an approximation of the exact solution $$U_{l}^{n}$$ obtained via the implicit scheme (3.9). Then, there exist a generic constant such that

$$\max_{n,l} \bigl\Vert V_{l}^{n}- U_{l}^{n} \bigr\Vert \leq \widetilde{C}(k+h),\quad \textit{for } l=1,2, \dots , L-1 \textit{ and } n=1,2, \dots , N.$$

### Proof

To proceed, let

$$\bigl\Vert {\mathbf{e}}^{n} \bigr\Vert _{\infty } = \bigl\vert e_{m}^{n} \bigr\vert = \max _{1 \leq l \leq L-1} \bigl\vert e_{l}^{n} \bigr\vert ,$$

which yields the following when $$n=1$$:

\begin{aligned} \bigl\Vert {\mathbf{e}}^{1} \bigr\Vert _{\infty } = & \bigl\vert e_{m}^{1} \bigr\vert \\ \leq & \bigl\vert a_{1 m} e_{m-1}^{1} + b_{1 m}e_{l}^{1}+c_{1 m} e_{m+1}^{1} \bigr\vert \\ =& \bigl\vert R_{l}^{1} \bigr\vert \\ \leq & \hat{C}\beta _{1}^{-1} \bigl(k^{1+\alpha } + k^{\alpha }h \bigr)\quad (\mbox{using (4.22)}). \end{aligned}
(4.23)

The following is also true for $$n \geq 2$$:

\begin{aligned} \bigl\Vert {\mathbf{e}}^{n} \bigr\Vert _{\infty } = & \bigl\vert e_{m}^{n} \bigr\vert \\ \leq & \bigl\vert a_{n m} e_{m-1}^{n} + b_{n m} e_{m}^{n}+c_{n m} e_{m+1}^{1} \bigr\vert \\ =& \bigl\vert \varphi _{1}{\mathbf{e}}^{n-1} + \varphi _{2}{\mathbf{e}}^{n-2}+ \cdots + \varphi _{1}{\mathbf{e}}^{1}+ R_{m}^{n} \bigr\vert \\ \leq & \varphi _{1} \bigl\vert {\mathbf{e}}^{n-1} \bigr\vert + \varphi _{2} \bigl\vert { \mathbf{e}}^{n-2} \bigr\vert + \cdots + \varphi _{n-1} \bigl\vert { \mathbf{e}}^{1} \bigr\vert + \bigl\vert R_{m}^{n} \bigr\vert \\ \leq & \varphi _{1} \bigl\vert {\mathbf{e}}^{n-1} \bigr\vert + \varphi _{2} \bigl\vert { \mathbf{e}}^{n-2} \bigr\vert + \cdots + \varphi _{n-1} \bigl\vert { \mathbf{e}}^{1} \bigr\vert + \hat{C} \bigl(k^{1+\alpha } + k^{\alpha }h \bigr) \\ \leq & \varphi _{1} \bigl\Vert {\mathbf{e}}^{n-1} \bigr\Vert _{\infty } + \varphi _{2} \bigl\Vert { \mathbf{e}}^{n-2} \bigr\Vert _{\infty } + \cdots + \varphi _{n-1} \bigl\Vert {\mathbf{e}}^{1} \bigr\Vert _{ \infty } + \hat{C} \bigl(k^{1+\alpha } + k^{\alpha }h \bigr) \\ \leq & (\varphi _{1} + \varphi _{2} + \cdots + \varphi _{n-1}+ \beta _{n})\beta _{n}^{-1} \hat{C} \bigl(k^{1+\alpha } + k^{\alpha }h \bigr) \\ = & \Biggl(\sum_{j=1}^{n-1}\varphi _{j} + \beta _{n} \Biggr)\beta _{n}^{-1} \hat{C} \bigl(k^{1+\alpha } + k^{\alpha }h \bigr) \\ =& (1-\beta _{n} + \beta _{n} )\beta _{n}^{-1}\hat{C} \bigl(k^{1+ \alpha } + k^{\alpha }h \bigr) \\ =& \hat{C}\beta _{n}^{-1} \bigl(k^{1+\alpha } + k^{\alpha }h \bigr). \end{aligned}
(4.24)

Note that

\begin{aligned} \lim_{n \to \infty } \frac{\beta _{n}^{-1}}{n^{\alpha }} =&\lim_{n \to \infty } \frac{n^{-\alpha }}{n^{1-\alpha }-(n-1)^{1-\alpha }} \\ =&\lim_{n \to \infty } \frac{n^{-\alpha }}{n^{1-\alpha }} \biggl( \frac{1}{1-(1-\frac{1}{n})^{1-\alpha }} \biggr) \\ =&\lim_{n \to \infty } \frac{n^{-1}}{1-(1-\frac{1}{n})^{1-\alpha }} \\ =&\lim_{n \to \infty } \frac{n^{-1}}{(1-\alpha )n^{-1}} \\ =& \frac{1}{1-\alpha }. \end{aligned}
(4.25)

Therefore, (4.23) and (4.24) yield the following:

\begin{aligned} \bigl\Vert {\mathbf{e}}^{n} \bigr\Vert _{\infty } \leq & \hat{C} n^{\alpha } \bigl(k^{1+\alpha } + k^{ \alpha }h \bigr) \\ = & \hat{C} n^{\alpha } k^{\alpha } (k + h) \\ = & \hat{C} t_{n}^{\alpha } (k + h)\quad (\mbox{since } t_{n} =nk \leq T) \\ \leq & \widetilde{C} (k + h)\quad (\mbox{since } \widetilde{C} = \hat{C} t_{n}^{\alpha } \mbox{ and } t_{n}^{\alpha } \leq T). \end{aligned}
(4.26)

This completes the proof of the theorem. □

In the next section, a set of numerical experiments are presented.

## Numerical results

In this section, two numerical examples on pricing of standard European put options under the time-fractional BS-PDE (2.23), along with conditions (2.24), and implemented using the implicit difference scheme (3.9) are presented. A set of varying dividend yields and order (α) of fractional derivative ranging from 0.1 to 0.9 are considered. Numerical convergence and stability results are also presented.

### Example 5.1

Consider equation (2.23) subject to conditions (2.24) for pricing a European put option with the following parameters: $$K=150$$, $$r= 0.055$$, $$\sigma = 0.1$$, $$T=1$$, $$S_{\max }=450$$, $$L=30$$, $$N=50$$, $$\delta = 0.025, 0.045, \mbox{and } 0.065$$.

### Example 5.2

Consider equation (2.23) subject to conditions (2.24) for pricing a European put option with the following parameters: $$K=200$$, $$r= 0.065$$, $$\sigma = 0.025$$, $$T=1$$, $$S_{\max }=600$$, $$L=33$$, $$N=100$$, $$\delta = 0.045, \mbox{and } 0.085$$.

The proposed scheme is unconditionally stable and converges with order $$\mathcal{O}(h,k)$$. The results are presented in Tables 1 and 2 for Example 5.1, and in Tables 3 and 4 for Example 5.2. Results presented in Tables 1 and 3 indicate that the proposed method is very suitable method for solving the tfBS-PDE in (2.23) for a range of values of α between 0 and 1. Though the accuracy of the results is better in the case when $$1/2\leq \alpha < 1$$ as compared to when $$0<\alpha <1/2$$, from the numerical point of view, α can be chosen small or large without substantially affecting the convergence of the method. That is so because of the fact that the proposed method is unconditionally stable, hence the choice of α does not affect the overall convergence of the method, see Tables 2 and 4. One may further note that the restriction on α to be between 0.5 and 1 is not too large a hindrance, as regular market conditions would not require extremely small values of α. This is true because, for extremely small α values, the returns on underlying stock price $$S_{t}$$ become negatively correlated, signaling antipersistent features, which in-turn violates some key fundamental principles of asset pricing theory. Similar observations are made for all considered dividend yields. To this end, it is worth noting that changing the dividend yield does have a significant effect on the option premium results. By carefully contrasting the premium profiles obtained for different dividend yields, it is observed that, regardless of the value of α, higher dividends yields result in higher put option premiums. This so because the underlying stock price is expected to drop by the amount of dividend payout, and hence a higher dividend would imply a higher put option premium. For Example 5.2, the same set of parameter values for α were used and almost similar observations were obtained. Due to space limitations, only two dividend yields (i.e., $$\delta = 0.045$$ and 0.085) are presented for Example 5.2. In Figs. 13 and 46, plots of the European put option payoffs at maturity as well as the general payoffs using the parameters as indicated in Examples 5.1 are presented respectively. In Figs. 78 and 910, maturity and general payoffs under Examples 5.2 are presented, respectively. In the maturity payoff curves, the solid lines indicate the intrinsic payoffs whereas the lines with asterisks indicate the payoffs obtained using the proposed model.

## Concluding remarks and directions for future research

In this paper, a time-fractional Black–Scholes PDE for pricing standard European put options written on a continuous dividend paying stock is derived. An implicit finite difference scheme for solving the derived tfBS-PDE was designed and analyzed. Theoretical results indicate that the proposed numerical method is unconditionally stable and converges with order $$\mathcal{O}(h,k)$$. Two numerical examples supporting the theoretical results were presented. Numerical results indicate that the proposed numerical method is very efficient for all values of α considered in the simulation experiments.

Overall, the results indicate that the tfBS-PDE model and the proposed numerical method can produce put option premiums which are very different from what classical theory suggests. These results are in agreement with existing results in literature that fractional calculus based models outperform their classical counterparts, see, for example, [15, 18, 20, 38] among others. Another important feature to note is that the classical BS models are known to produce option premium curves which are similar in shape and hence may not fully reflect the actual market dynamics. However, the model formulated under the fractional calculus framework produces option premium curves which are quite sensitive to changes in associated market parameters, such as volatility, dividends, interest rates, etc. In summary, if sufficient market data is available, the proposed tfBS model can be calibrated to produce option price curves which take into account a variety of actual market conditions.

Since tractable analytical solutions to fractional Black–Scholes PDEs seldom exist, for further research directions, high-order numerical methods for the current proposed model, as well as high-order numerical solutions to models proposed in recent literature such as [15, 20], can be explored.

## Availability of data and materials

The datasets generated during the current study are available from the corresponding author on reasonable request.

## References

1. Ahmad, J., Shakeel, M., Hassan, Q.M.U., Mohyud-Din, S.T.: Analytic solution of Black–Scholes model using fractional variational iteration method. Int. J. Mod. Math. Sci. 5, 133–142 (2013)

2. Asma, A.E., Adem, K.J., Bachok, M.T.: Homotopy perturbation method for fractional Black–Scholes European option pricing equations using Sumudu transform. Chaos Solitons Fractals 40, 1428–1448 (2009)

3. Atangana, A., Secer, A.: A note on fractional order derivatives and table of fractional derivatives of some special functions. Abstr. Appl. Anal. 2013, Article ID 279681 (2013)

4. Ballerster, R., Company, C., Jodar, L.: An efficient method for option pricing with discrete dividend payment. Comput. Math. Appl. 56, 822–835 (2008)

5. Bielecki, T.R., Cialenco, I., Rodriquez, R.: No-arbitrage pricing for dividend-paying securities in discrete time markets with transaction costs. Math. Finance 25, 673–701 (2015)

6. Bollersleva, T., Gibson, M., Zhoud, H.: Dynamic estimation of volatility risk premia and investor risk aversion from option-implied and realized volatilities. J. Econom. 160, 235–245 (2011)

7. Caponetto, R., Dongola, G., Fortuna, L., Petras, I.: Fractional Order Systems: Modeling and Control Applications. World Scientific, River Edge (2010)

8. Caputo, M.: Linear models of dissipation whose Q is almost frequency independent, part II. Geophys. J. Int. 13(5), 529–539 (1967)

9. Changpin, L., Deliang, Q., YangQuan, C.: On Riemann–Liouville and Caputo derivatives. Discrete Dyn. Nat. Soc. 2011, Article ID 562494 (2011). https://doi.org/10.1155/2011/562494

10. Chen, W., Xu, X., Zhu, S.: Analytically pricing double barrier options on a time-fractional Black–Scholes equation. Comput. Math. Appl. 69, 1407–1419 (2015)

11. Das, M., Samanta, G.P.: A delayed fractional order food chain model with fear effect and prey. Math. Comput. Simul. 178, 218–245 (2020)

12. Deng, G.: Pricing American continuous-installment options under stochastic volatility model. J. Math. Anal. Appl. 424, 802–823 (2015)

13. Donny, C., Song, W.: An upwind finite difference method for a nonlinear Black–Scholes equation governing European option valuation under transaction costs. Appl. Math. Comput. 219, 8811–8828 (2013)

14. Duy-Minh, D., Duy, N., Granville, S.: Numerical schemes for pricing Asian options under state-dependent regime-switching jump–diffusion models. Comput. Math. Appl. 71(1), 443–458 (2016)

15. Edeki, S.O., Jena, R.M., Chakraverty, S., Baleanu, D.: Coupled transform method for time–space fractional Black–Scholes option pricing model. Alex. Eng. J. 59, 3239–3246 (2020)

16. Flavio, A., Stefano, H.: Delta hedging in discrete time under stochastic interest rate. J. Comput. Appl. Math. 259, 385–393 (2014)

17. Garzarelli, F., Cristelli, M., Pompa, G., Zaccaria, A., Pietronero, L.: Memory effects in stock price dynamics: evidences of technical trading. Sci. Rep. 4, 4487 (2014). https://doi.org/10.1038/srep04487

18. Graefa, J.R., Konga, L., Ledoana, A., Wang, M.: Stability analysis of a fractional online social network model. Math. Comput. Simul. 178, 625–645 (2020)

19. Hsuan-Ku, L., Jui-Jane, C.: A closed-form approximation for the fractional Black–Scholes model with transaction costs. Comput. Math. Appl. 65, 1719–1726 (2013)

20. Jena, R.M., Chakraverty, S., Baleanu, D.: Novel analytical technique for the solution of time-fractional Ivancevic option pricing model. Physica A 550, 124380 (2020)

21. Jumarie, G.: Merton’s model of optimal portfolio in a Black and Scholes market driven by a fractional Brownian motion with short-range dependence. Insur. Math. Econ. 37, 585–598 (2005)

22. Jumarie, G.: Modified Riemann–Liouville derivative and fractional Taylor series for non-differentiable functions, further results. Comput. Math. Appl. 51, 1367–1376 (2006)

23. Jumarie, G.: Stock exchange fractional dynamics defined as fractional exponential growth driven by (usual) Gaussian white noise. Application to fractional Black–Scholes equations. Insur. Math. Econ. 42, 271–287 (2008)

24. Jumarie, G.: Derivation and solutions of some fractional Black–Scholes equations in coarse-grained space and time. Application to Merton’s optimal portfolio. Comput. Math. Appl. 59, 1142–1164 (2010)

25. Kim, Y.S., Lee, J., Mittnik, S., Park, J.: Quanto option pricing in the presence of fat tails and asymmetric dependence. J. Econ. 187, 512–520 (2015)

26. Kristensen, D., Mele, A.: Adding and subtracting Black–Scholes: a new approach to approximating derivative prices in continuous-time models. J. Finance Econ. 102, 390–415 (2011)

27. Liang, J., Wang, J., Zhang, W., Qiu, W., Ren, F.: Option pricing of a bi-fractional Black–Scholes model with the Hurst exponent H in $$[1/2, 1]$$. Appl. Math. Lett. 23, 859–863 (2010)

28. Mandelbrot, B.B., Cioczek-Georges, R.: Alternative micropulses and fractional Brownian motion. Stoch. Process. Appl. 64, 143–152 (1996)

29. Martin-Vaquero, J., Khaliq, A.Q.M., Kleefed, B.: Stabilized explicit Runge–Kutta methods for multi-asset American options. Comput. Math. Appl. 67, 1293–1308 (2014)

30. Miller, G.H., Puckett, E.G.: A Neumann preconditioned iterative sub-structuring approach for computing solutions to Poisson’s equation with prescribed jumps on an embedded boundary. J. Comput. Phys. 235, 683–700 (2013)

31. Mohammad, A.M.G., Majtaba, R.: European option pricing of fractional Black–Scholes model with new Lagrange multipliers. Comput. Methods Differ. Equ. 2, 1–10 (2014)

32. Monje, C.A., Chen, Y., Vinagre, B., Xue, D., Feliu, V.: Fractional-Order Systems and Controls: Fundamentals and Applications. Springer, Berlin (2010)

33. Panas, E.: Long memory and chaotic models of prices on the London metal exchange. Resour. Policy 4, 485–490 (2001)

34. Pollubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)

35. Pollubny, I.: Geometric and physical interpretation of fractional integration and fractional differentiation. Fract. Calc. Appl. Anal. 5(4), 367–386 (2002)

36. Rana, U.S., Ahmad, A.: Numerical solution of pricing of European option with stochastic volatility. Int. J. Eng. 24, 189–202 (2011)

37. Rana, U.S., Ahmad, A.: Numerical solution of European call option with dividends and variable volatility. Appl. Math. Comput. 218, 6242–6250 (2012)

38. Sania, Q.: Periodic dynamics of rubella epidemic under standard and fractional Caputo operator with real data from Pakistan. Math. Comput. Simul. 178, 151–165 (2020)

39. Song-Ping, Z., Alexander, B., Xiaoping, L.: A new exact solution for pricing European options in a two-state regime-switching economy. Comput. Math. Appl. 64, 2744–2755 (2012)

40. Wei-Gou, Z., Wei-Lin, X., Chun-Xiong, H.: Equity warrants pricing model under fractional Brownian motion and an empirical study. Expert Syst. Appl. 36, 3056–3065 (2009)

41. Wen, F., Liu, Z.: A copula-based correlation measure and its application in Chinese stock market. Int. J. Inf. Technol. Decis. Mak. 4, 787–801 (2009)

42. West, B.J., Picozzi, S.: Fractional Langevin model of memory in financial time series. Phys. Rev. E, Stat. Nonlinear Soft Matter Phys. 3, Article ID 037106 (2002)

43. Xiao-Jun, Y.: General Fractional Derivatives: Theory, Methods, and Applications. CRC Press, Boca Raton (2019)

44. Xiao-Tian, W.: Scaling and long-range dependence in option pricing I: pricing European option with transaction costs under the fractional Black–Scholes model. Physica A 389, 438–444 (2010)

45. Xiao-Tian, W., Wu, M., Zhou, Z., Jing, W.S.: Pricing European option with transaction costs under the fractional long memory stochastic volatility model. Physica A 391, 1469–1480 (2012)

46. Xu, W., Wu, C., Xu, W., Li, H.: A jump-diffusion model for option pricing under fuzzy environments. Insur. Math. Econ. 44, 337–344 (2009)

## Funding

S.M. Nuugulu received a joint research funding from the German Academic Exchange Service (DAAD) (In-Country Scholarship) as well as the University of Namibia. Research for K.C. Patidar is supported by South African National Research Foundation, and F. Gideon is supported by the South African National Research Foundation under NRF-KIC grant of K.C. Patidar.

## Author information

Authors

### Contributions

SMN: Conceptualization, Methodology, Software, and Writing, Original draft preparation. KCP: Investigation, Supervision, Reviewing, Editing, and Validation. FG: Supervision, Reviewing, and Editing. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to S. M. Nuugulu.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

The research herein was conducted while the first author was a PhD student at the University of the Western Cape.

## Rights and permissions

Reprints and Permissions

Nuugulu, S.M., Gideon, F. & Patidar, K.C. A robust numerical solution to a time-fractional Black–Scholes equation. Adv Differ Equ 2021, 123 (2021). https://doi.org/10.1186/s13662-021-03259-2

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13662-021-03259-2

• 35R11
• 35Q91
• 65M12
• 91G20
• 91G80

### Keywords

• Option pricing
• Time-fractional Black–Scholes equations
• Finite difference methods
• Convergence and stability analysis