 Research
 Open Access
 Published:
Discrete monotone method for spacefractional nonlinear reaction–diffusion equations
Advances in Difference Equations volume 2019, Article number: 317 (2019)
Abstract
A discrete monotone iterative method is reported here to solve a spacefractional nonlinear diffusion–reaction equation. More precisely, we propose a Crank–Nicolson discretization of a reaction–diffusion system with fractional spatial derivative of the Riesz type. The finitedifference scheme is based on the use of fractionalorder centered differences, and it is solved using a monotone iterative technique. The existence and uniqueness of solutions of the numerical model are analyzed using this approach, along with the technique of upper and lower solutions. This methodology is employed also to prove the main numerical properties of the technique, namely, the consistency, stability, and convergence. As an application, the particular case of the spacefractional Fisher’s equation is theoretically analyzed in full detail. In that case, the monotone iterative method guarantees the preservation of the positivity and the boundedness of the numerical approximations. Various numerical examples are provided to illustrate the validity of the numerical approximations. More precisely, we provide an extensive series of comparisons against other numerical methods available in the literature, we show detailed numerical analyses of convergence in time and in space against fractional and integerorder models, and we provide studies on the robustness and the numerical performance of the discrete monotone method.
Introduction
Monotone iterative methods have been used in the literature to investigate differential equations (ordinary or partial) from both the analytical and numerical points of view. For example, from the analytical side, such iterative techniques have been applied to investigate the existence and uniqueness of solutions of a wide range of parabolic partial differential equations [1], as well as other analytical features of the solutions. In particular, this approach has been used to establish the existence of positive solutions of quasilinear parabolic systems with Dirichlet boundary conditions [2], to study quasilinear parabolic and elliptic systems with mixed quasimonotone functions [3], to analyze periodic boundaryvalue problems for differential equations with delay [4], to solve firstorder functionaldifference equations with nonlinear boundary value conditions [5], to prove the existence and asymptotic behavior of solutions for quasilinear parabolic systems [6], and, recently, to establish the existence, uniqueness, and stability of the solutions of a parabolic model in the formation of porous silicon [7], among other interesting applications.
From the numerical point of view, monotone iterative methods have been also employed to effectively solve systems consisting of differential equations. As for the continuous case, the numerical monotone iterative methods require the knowledge of upper and lower solutions in order to generate two monotone sequences that converge to the solution of the problems under investigation. Numerical techniques of this nature have been employed to solve the multidimensional semiconductor Poisson equation [8], to simulate quantumcorrected energy transport models [9], to study numerically the solutions of parabolic problems with time delays [10], to investigate twodimensional simulation of submicron MOSFETs [11], to provide numerical analysis of coupled systems of nonlinear parabolic equations [12], and to simulate porous silicon morphologies [13]. In various of these reports and many other articles which employ discrete monotone iterative approaches, this methodology has been used to prove the existence and uniqueness of solutions, as well as to investigate the numerical efficiency of the computational algorithms.
In summary, the monotone method has been extensively employed in the analysis and simulation of nonlinear systems of parabolic differential equations. Moreover, this method has been extended to investigate fractional systems of differential equations. Indeed, in recent years, fractional calculus has found a wide range of applications to viscoelasticity [14], the discretization of nonsingular MittagLeffler kernels [15], and fractional operators with exponential kernels and a Lyapunov type inequality [16] among other problems. Furthermore, it has been proved that some families of equations with longrange interactions lead to models governed by fractional differential equations in the continuous limit [17, 18]. In summary, fractional calculus has experienced fast development in the last years, and the development of monotone iterative techniques has seen continuous development within that area of research. However, many interesting problems still remain open to this day. One of them is the development of discrete monotone iterative methods to solve spacefractional diffusion–reaction regimes that generalize the wellknown Fisher’s equation [19, 20]. This model is the simplest diffusive model with nonlinear reaction, and its many generalizations have been a highly transited avenue of research in mathematics and numerical analysis.
Fractional forms of Fisher’s equation have been investigated numerically in various works, considering various generalizations and following different approaches [21]. Indeed, some bounded schemes have been recently proposed to solve multidimensional problems with anomalous diffusion [22], some dynamically consistent methods have been designed also to solve advection–reaction systems with fractional diffusion [23]. On the other hand, there are various extensions of the discrete monotone iterative method to solve fractional differential equations. For example, there are reports on the monotone iterative method for ordinary differential equations involving Riemann–Liouville fractional derivatives [24]. Other articles employ this approach to solve nonlinear fractional qdifference equations with integral boundary conditions [25], others apply it for Riemann–Liouville fractional integrodifferential equations with advanced arguments [26], and some others use it to solve Riesz space distributedorder advection–dispersion equations [27]. Various works report on the design of monotone methods to solve fractional diffusion equations with Caputo fractional derivatives in time [28, 29]. However, the Riesz spacefractional scenario has been left without study, perhaps in light of the difficulties arising in such a case.
The novelty of the present work lies in the fact that a monotone iterative method will be proposed for the first time in the literature to solve parabolic partial differential equations with Riesz fractional diffusion. We consider in this case a nonlinear reaction term, so that the mathematical model under investigation is a fractional extension of the wellknown Fisher’s equation from population dynamics. Suitable initialboundary conditions will be imposed on a closed and bounded interval of the real numbers. In a first step, we will propose a Crank–Nicolson discretization of the fractional system, and a monotone iterative method will be proposed to solve the discretized model. Existence and uniqueness of solutions will hinge on the fact that the discrete model can be rewritten in vector form, and that the associated coefficient matrix is an Mmatrix [30]. Moreover, the consistency, stability and quadratic convergence of the technique will be mathematically proved using the monotone iterative approach, by imposing suitable computational requirements. A particularly meaningful form of the fractional model will be investigated mathematically in deeper detail, and conditions for the existence, uniqueness, and numerical efficiency of the discrete solutions will be derived in that particular case.
This manuscript is organized as follows. In Sect. 2, we introduce the fractional diffusive problem on interest and provide a Crank–Nicolson discretization based on the use of fractionalorder centered differences. Here, it is worthwhile to recall that fractionalorder centered differences have been used successfully by some of the authors in the discretization of various fractional problems [31,32,33]. Suitable discrete nomenclature is introduced to that end, including some helpful properties of the fractional centered differences and a convenient vector representation of the numerical model. Section 3 is devoted to present the discrete monotone method for the numerical method of this work. The existence and uniqueness of solutions of the iterative method are thoroughly proved in that stage. The most important numerical properties of the methodology are established in Sect. 4, while Sect. 5 is devoted to theoretically analyze the numerical methodology for the fractional Fisher’s equation. Also, we provide thorough numerical comparisons of our methodology against various other approaches proposed in the literature. In particular, we show detailed numerical analyses of convergence in time and in space against fractional and integerorder models, and we provide studies on the robustness and numerical performance of the discrete monotone method. Section 6 is devoted to discuss the findings of this work. Finally, we close this manuscript with a section of concluding remarks.
Preliminaries
Throughout this work, we let \(L, T \in \mathbb{R} ^{+}\) and \(\alpha \in (0, 1) \cup (1, 2]\). Consider an open spatial domain \(\varOmega = (0, L) \subseteq \mathbb{R}\), and define the set \(\varOmega _{T} = \varOmega \times (0, T)\). In this manuscript, we let \(v: \overline{\varOmega } _{T} \rightarrow \mathbb{R}\) be a sufficiently differentiable function. Define v as zero outside of \(\varOmega _{T}\), and we suppose that it satisfies the initialboundaryvalue problem
The fractional derivative in (1) is understood here in the Riesz sense, that is, we let
Here, Γ is the usual Gamma function and \(v _{0}: \varOmega \rightarrow \mathbb{R}\) is sufficiently smooth.
Definition 1
A function \(\tilde{v} \in C ^{2, 1} (\varOmega _{T}) \cap C (\overline{ \varOmega } _{T})\) is called an upper solution of (1) if it solves the problem
Similarly, we say that a function \(\hat{v} \in C ^{2, 1} (\varOmega _{T}) \cap C (\overline{\varOmega } _{T})\) is a lower solution of (1) if it satisfies (3) with all the inequalities reversed. If ṽ and v̂ are, respectively, upper and lower solutions of (1) then we will assume that they are ordered, that is, they satisfy \(\hat{v} \leq \tilde{v}\). With this nomenclature, we will suppose that \(f: {\mathbb{R} ^{3}} \rightarrow \mathbb{R}\) is continuously differentiable, and that there are suitable bounded functions \(\underline{c} \equiv \underline{c} (x, t)\) and \(\overline{c} \equiv \overline{c} (x, t)\) such that
for all \(\hat{v} \leq v _{2} \leq v _{1} \leq \tilde{v}\) and \((x, t) \in \varOmega _{T}\).
For convenience, we let \(I _{P} = \{ 1, \ldots, P \}\) and \(\overline{I} _{P} = I _{P} \cup \{ 0 \}\), for each \(P \in \mathbb{N}\). Let \(M, N \in \mathbb{Z}\), and consider a grid of \(\varOmega _{T}\) using uniform spatial and temporal nodes of the forms \(x _{i} = i h\) and \(t _{k} = k \tau \), respectively, for each \(i \in \overline{I} _{M}\) and \(k \in \overline{I} _{N}\). The spatial and temporal partition norms are \(h = L / M\) and \(\tau = T / N\), respectively, and we use the symbols \(v _{i} ^{k}\) and \(V _{i} ^{k}\), respectively, to represent the exact and numerical solutions of (1) at \((x _{i}, t _{k})\). In this work, the temporal partial derivative of (1) will be calculated through the forwarddifference scheme
Definition 2
(Ortigueira [34])
For any function \({\varphi }: \mathbb{R} \rightarrow \mathbb{R}\), \(h > 0\) and \(\alpha >  1\) we define the fractional centered difference of order α of φ at the point x as
whenever the righthand side of this expression converges. The coefficients \(( g _{k} ^{\alpha } ) _{k =  \infty } ^{\infty }\) are defined by
Lemma 3
(Wang et al. [27])
If \(\alpha \in (0, 1) \cup (1, 2]\) then the coefficients (7) satisfy the following properties:

(i)
\(g _{0} ^{\alpha }> 0\).

(ii)
\(g _{m} ^{\alpha }= g _{ m} ^{\alpha }< 0\) for each \(m \in \mathbb{N}\).

(iii)
\(\sum_{m =  \infty } ^{\infty }g _{m} ^{\alpha }= 0\). As a consequence, \(g _{0} ^{\alpha }=  \sum_{m =  \infty, m \neq 0} ^{\infty }g _{m} ^{\alpha }\).
As a consequence of this lemma, the series in the righthand side of (6) converges absolutely for any bounded function \({\varphi } \in L _{1} (\mathbb{R})\). With this notation, it is easy to see that any \({\varphi } \in \mathcal{C} ^{5} (\mathbb{R})\), for which all of its derivatives up to order five belong to \(L _{1} (\mathbb{R})\), has the property
whenever \(\alpha \in (0, 1) \cup (1, 2]\) (see [27]). Under these circumstances, if \(1 \leq j \leq M  1\) and \(1 \leq n \leq N  1\) then
where
In this work, we use formulas (5) and (9) in order to propose the following scheme to solve (1):
It is obvious that this numerical model is a Crank–Nicolsontype of scheme. For the sake of convenience, we let \(r = \frac{1}{2} \tau h ^{ \alpha }\), and define the \((M + 1)\)dimensional real vectors
Using this nomenclature, system (11) can be readily rewritten in vector form as
where I is the identity matrix of size \((M + 1) \times (M + 1)\), and A is the matrix of the same size of I given by
Discrete monotone method
The purpose of the present section is to introduce a discrete monotone method, and use it to establish the existence and uniqueness of the solutions of the discrete system (14). In the following, given any real vectors \(\mathcal{V}\) and \(\mathcal{W}\) of the same dimensions, we will employ the notation \(\mathcal{V} \leq \mathcal{W}\) (alternatively, \(\mathcal{W} \geq \mathcal{V}\)) meaning that each component of \(\mathcal{V}\) is less than or equal to the corresponding component of \(\mathcal{W}\).
Let \(\underline{c} (x, t)\) and \(\overline{c} (x, t)\) be bounded functions satisfying the requirements in Definition 1. Introduce now the real diagonal matrices of sizes \((M + 1) \times (M + 1)\)
satisfying \(B = I + r (K A + h ^{\alpha }\underline{C})\), \(D = I  r (K A + h ^{\alpha }\underline{C})\) and \(\mathcal{F} (\mathcal{V} _{k}) = \underline{C} \mathcal{V} _{k} + F (\mathcal{V} _{k})\). Here, we have omitted the dependence of C̅ and \(\underline{C}\) on k for the sake of convenience. Note that (4) implies that \(\mathcal{F} (\mathcal{V} _{k})\) is nondecreasing. Using Picard iterations, we reach the iterative system
The initial iteration is given by \((\overline{\mathcal{V}} _{k} ^{(0)} , \underline{\mathcal{V}} _{k} ^{(0)}) = (\tilde{\mathcal{V}} _{k}, \hat{\mathcal{V}} _{k})\), where \(\tilde{\mathcal{V}} _{k}\) and \(\hat{\mathcal{V}} _{k}\) are, respectively, ordered upper and lower solutions of (14), in the sense of Definition 4 below. In the sequel, system (17) will be referred to simply as the discrete monotone (DM) method.
Definition 4
The \((M + 1)\)dimensional real vector \(\tilde{\mathcal{V}} _{k}\) is an upper solution of (14) if it satisfies the inequalities
Similarly, the real vector \(\hat{\mathcal{V}}_{k}\) is a lower solution of (14) if it satisfies all the reversed inequalities in (18). If \(\{ \tilde{\mathcal{V}} _{k} \} _{k = 0} ^{N}\) and \(\{ \hat{\mathcal{V}} _{k} \} _{k = 0} ^{N}\) are respectively sets of upper and lower solutions of (14), we will assume tacitly that they are ordered, that is, \(\tilde{\mathcal{V}} _{k} \geq \hat{\mathcal{V}} _{k}\) for all \(k\in \overline{I}_{N1}\).
Definition 5
A square real matrix A is an Mmatrix if there exist a nonnegative matrix B and a number \(\mu \geq \rho (B)\) such that A can be expressed in the form \(A = \mu I  B\). Here, \(\rho (B)\) represents the spectral radius of B.
It is important to recall that Mmatrices are nonsingular, and their inverses are nonnegative matrices.
Theorem 6
(Plemmons [35])
A square real matrix A is an Mmatrix if and only if

(i)
all its diagonal entries are positive,

(ii)
all its offdiagonal components are nonpositive, and

(iii)
there exists a diagonal matrix D with positive diagonal entries such that AD is strictly diagonally dominant.
Lemma 7
The matrix \(\varXi = K A + h ^{\alpha }\underline{C}\) is an Mmatrix if
Proof
The diagonal components of the matrix Ξ are given by \(\xi _{s, s} = K g _{0} ^{\alpha }+ h ^{\alpha }\underline{c} _{s} ^{k}\), for \(s \in \overline{I} _{M}\). The hypothesis (19) and Lemma 3 guarantee then that (i) of Theorem 6 is satisfied. On the other hand, note that the offdiagonal elements \(\xi _{r, s}\) of Ξ are the constants \(g _{k} ^{\alpha }\), for suitable indexes \(k \in \mathbb{Z} \setminus \{ 0 \}\), whence condition (ii) of Theorem 6 holds. Finally, (19) assures that Ξ is already diagonally dominant in view of
The conclusion of the theorem readily follows now from Theorem 6. □
Theorem 8
(Existence and uniqueness)
Let \(\tilde{\mathcal{V}} _{k}\) and \(\hat{\mathcal{V}} _{k}\) be respectively upper and lower solutions of (14) at time \(t _{k}\), for each \(k \in I _{N}\). Define the constant
and, for each \(k \in I _{N}\), let \(\{ \overline{\mathcal{V}} _{k} ^{(p)} \} _{p = 0} ^{\infty }\) and \(\{ \underline{\mathcal{V}} _{k} ^{(p)} \} _{p = 0} ^{\infty }\) be the sequences generated by the DM method (17), with initial iterations \(\overline{ \mathcal{V}} _{k} ^{(0)} = \tilde{\mathcal{V}} _{k}\) and \(\underline{ \mathcal{V}} _{k} ^{(0)} = \hat{\mathcal{V}} _{k}\). If the condition
is satisfied then these sequences have the property that
Moreover, the sequences converge to the unique solution of (14) between its upper and lower solutions.
Proof
We will prove the theorem in three steps. Firstly, we will show inductively that (23) is satisfied, for each \(k \in I _{N}\) and \(p \in \mathbb{N} \cup \{ 0 \}\). Secondly, we will prove that the sequences converge to the solution of (14) and, finally, we will establish the existence and uniqueness of solutions as a direct consequence of the first and second steps.

1.
Note that \(\underline{\mathcal{W}} _{k} ^{(1)} = \underline{\mathcal{V}} _{k} ^{(1)}  \underline{\mathcal{V}} _{k} ^{(0)} = \underline{\mathcal{V}} _{k} ^{(1)}  \hat{\mathcal{V}} _{k}\). Using inequality (18), and adding and subtracting the terms \(r h ^{\alpha } {\underline{C}} \hat{\mathcal{V}} _{k + 1}\) and \(r h ^{\alpha }{\underline{C}} \hat{\mathcal{V}} _{k}\), respectively, it follows that
$$ B \hat{\mathcal{V}} _{k + 1} \leq D \hat{ \mathcal{V}} _{k} + r h ^{ \alpha } [ {\underline{C}} \hat{ \mathcal{V}} _{k + 1} + {\underline{C}} \hat{\mathcal{V}} _{k} ] + r h ^{\alpha } \bigl[ F (\hat{\mathcal{V}} _{k + 1}) + F (\hat{\mathcal{V}} _{k}) \bigr]. $$(24)We subtract then inequality (24) from the following equation that results from (17):
$$ B \underline{\mathcal{V}} ^{(1)} _{k + 1} = D \underline{ \mathcal{V}} ^{(1)} _{k} + r h ^{\alpha } \bigl[ \mathcal{F} \bigl(\underline{ \mathcal{V}} ^{(0)} _{k + 1} \bigr) + \mathcal{F} \bigl(\underline{\mathcal{V}} ^{(0)} _{k}\bigr) \bigr]. $$(25)As a consequence, we obtain \(B \underline{\mathcal{W}} _{k + 1} ^{(1)} = B \underline{\mathcal{V}} _{k + 1} ^{(1)}  B \hat{\mathcal{V}} _{k} \geq D \underline{\mathcal{W}} _{k}^{(1)}\). But \(B ^{ 1}\) exists and is nonnegative, which implies that \(\underline{\mathcal{W}} _{k + 1} ^{(1)} \geq B ^{ 1} D \underline{\mathcal{W}} _{k} ^{(1)}\). On the other hand, system (17) implies that \(\underline{ \mathcal{W}} _{1} ^{(1)} \geq B ^{ 1} D \underline{\mathcal{W}} _{0} ^{(1)} = 0\). Inductively, if \(\underline{\mathcal{W}} _{k} ^{(1)} \geq 0\) for \(k \in \overline{I} _{N  1}\), then \(\underline{ \mathcal{W}} _{k+1} ^{(1)} \geq B ^{ 1} D \underline{\mathcal{W}} _{k} ^{(1)}\geq 0\) and \(\underline{\mathcal{V}} _{k} ^{(1)} \geq \underline{\mathcal{V}} _{k} ^{(0)}\) are also satisfied. In summary, we have established so far that \(\underline{\mathcal{W}} _{k} ^{(1)}\geq 0\), for each \(k \in \overline{I} _{N}\).
Let \(p \in \mathbb{N}\), assume that \(\underline{\mathcal{V}} _{k} ^{(p)} \geq \underline{\mathcal{V}} _{k} ^{(p  1)}\) and let \(\underline{\mathcal{W}} _{k} ^{(p + 1)} = \underline{\mathcal{V}} _{k} ^{(p + 1)}  \underline{\mathcal{V}} _{k} ^{(p)}\). From system (17) we obtain
$$ B \underline{\mathcal{W}} _{k} ^{(p + 1)} = D \underline{ \mathcal{W}} _{k} ^{(p + 1)} + r h ^{\alpha } \bigl[ \mathcal{F} \bigl(\underline{ \mathcal{V}} ^{(p)} _{k + 1} \bigr)  \mathcal{F} \bigl(\underline{\mathcal{V}} ^{(p  1)} _{k + 1}\bigr) + \mathcal{F} \bigl(\underline{\mathcal{V}} ^{(p)} _{k}\bigr)  \mathcal{F} \bigl(\underline{ \mathcal{V}} ^{(p  1)} _{k}\bigr) \bigr]. $$(26)As a consequence of \(\mathcal{F}\) being monotone nondecreasing, \(B \underline{\mathcal{W}} _{k + 1} ^{(p + 1)} \geq D \underline{\mathcal{W}} _{k} ^{(p + 1)}\) and \(\underline{\mathcal{W}} _{k + 1} ^{(p + 1)} \geq B ^{ 1} D \underline{\mathcal{W}} _{k} ^{(p + 1)}\). An inductive argument over k and reuse of the arguments employed above leads to \(\underline{\mathcal{W}} _{k + 1} ^{(p + 1)} \geq 0\) and \(\underline{\mathcal{V}} _{k} ^{(p + 1)} \geq \underline{\mathcal{V}} _{k} ^{(p)}\). The proofs that \(\overline{\mathcal{V}} _{k} ^{(p)} \geq \overline{\mathcal{V}} _{k} ^{(p + 1)}\) and \(\overline{ \mathcal{V}} _{k} ^{(p)} \geq \underline{\mathcal{V}} _{k} ^{(p)}\) are obtained in a similar fashion, letting \(\overline{\mathcal{W}} _{k} ^{(p + 1)} = \overline{\mathcal{V}} _{k} ^{(p)}  \overline{ \mathcal{V}} _{k} ^{(p + 1)}\) and \(\mathcal{W} _{k} ^{(p)} = \overline{ \mathcal{V}} _{k} ^{(p)}  \underline{\mathcal{V}} _{k} ^{(p)}\). We have established thus the validity of the chain of inequalities (23).

2.
Expression (23) implies that \(\{ \overline{V} _{k} ^{(p)} \} _{p = 0} ^{\infty }\) is nonincreasing and bounded from below, while \(\{ \underline{V} _{k} ^{(p)} \} _{p = 0} ^{\infty }\) is nondecreasing and bounded from above. This implies that the following limits exist for each \(k \in \overline{I} _{N}\):
$$ \lim_{p \rightarrow \infty } \overline{V} _{k} ^{(p)} = \overline{ \mathcal{V}}_{k},\qquad \lim_{p \rightarrow \infty } \underline{V} _{k} ^{(p)} = \underline{ \mathcal{V}} _{k}. $$(27)Obviously, \(\overline{\mathcal{V}} _{k}\) and \(\underline{\mathcal{V}} _{k}\) are solutions of the difference system (14). Now, let \(\mathcal{V} _{k} ^{*}\) be another solution of (14), and define \(\mathcal{W} _{k} = \overline{\mathcal{V}} _{k}  \mathcal{V} _{k} ^{*}\). Using (14), then
$$ B \mathcal{W} _{k + 1} = D \mathcal{W} _{k} + r h ^{\alpha } \bigl[ F (\overline{\mathcal{V}} _{k + 1})  F \bigl(\mathcal{V} _{k + 1} ^{*} \bigr) + F (\overline{\mathcal{V}} _{k})  F \bigl(\mathcal{V} _{k} ^{*}\bigr) \bigr]. $$(28)Note that \(\mathcal{V} _{k} ^{*}\) is also a lower solution of (14), so \(\mathcal{W} _{k}\geq 0\). As consequences of inequalities (23), it follows that \(F (\overline{ \mathcal{V}} _{k})  F (\mathcal{V} _{k} ^{*}) \leq \overline{C} (\overline{ \mathcal{V}} _{k}  \mathcal{V} _{k} ^{*}))\) and
$$ (I + r K A) \mathcal{W} _{k + 1} \leq (I  r K A) \mathcal{W} _{k} + r h ^{\alpha } [ \overline{C} \mathcal{W} _{k + 1} + \overline{C} \mathcal{W} _{k} ], $$(29)which implies that
$$ \bigl[I + r \bigl(K A  h ^{\alpha }\overline{C}\bigr) \bigr] \mathcal{W} _{k + 1} \leq \bigl[ I  r \bigl(K A  h ^{\alpha }\overline{C} \bigr) \bigr] \mathcal{W} _{k}. $$(30)On the other hand, hypothesis (22) implies that \(Q = K A  h ^{\alpha }\overline{C}\) is an Mmatrix, and we know that the matrix \(I  r Q\) is positive. Therefore, we reach \(\mathcal{W} _{k + 1} \leq (I + r Q) ^{ 1} (I  r Q) \mathcal{W} _{k}\) in light that each solution of (14) satisfies the initial condition, that is, \(\overline{\mathcal{V}} _{0} = \mathcal{V} _{0} ^{*}\). It follows that \(W _{1} \leq 0\) and, using induction over k, we obtain that \(\mathcal{W} _{k} \leq 0\) and \(\overline{\mathcal{V}} _{k} = \mathcal{V} _{k} ^{*}\). The proof that \(\mathcal{V} _{k} ^{*} = \underline{\mathcal{V}} _{k}\) is analogous, letting \(\mathcal{Z} _{k} = \mathcal{V} ^{*}  \underline{\mathcal{V}} _{k}\).

3.
Finally, the construction of the sequence \(\{ \mathcal{V} _{k} \}\) can be readily established using induction over k. The approximation \(\mathcal{V} _{0}\) is defined through the initial condition. Supposing that \(\mathcal{V} _{k}\) has been already obtained, \(\mathcal{V} _{k + 1}\) is reached using the iterative technique and the approximation \(\mathcal{V} _{k}\).
□
Numerical efficiency
In this stage, we establish the main numerical properties of the DM method, namely, the consistency, stability and convergence. In our proofs, we will require that the conditions of Theorem 8 are satisfied in order to guarantee the existence and uniqueness of the solutions of the DM method.
Definition 9
Let \(\{Y _{k}\}\) and \(\{ \overline{Y} _{k} \}\) be sequences of approximations to the solution of the problem \(A y = 0\), obtained by using the scheme \(A y _{k} = 0\) with the initial conditions \(Y _{0}\) and \(\overline{Y} _{0}\), respectively. The difference scheme is stable if given \(\varepsilon > 0\) there exists \(\delta > 0\) such that \(\Vert Y _{k}  \overline{Y} _{k} \Vert < \varepsilon \) for all \(k \in I _{N}\), whenever \(\Vert Y _{0}  \overline{Y} _{0} \Vert \leq \delta \).
We will need the following result to prove the stability of method (14).
Lemma 10
(Flores and Jerez [13])
Let \(\{Y _{k + 1} ^{(r)}\}\) be a sequence of vectors with \(\Vert Y _{0} ^{(r)} \Vert, \Vert Y _{k} ^{(0)} \Vert \leq \delta \), such that
where \(a _{1}\), \(a _{2}\) and \(a _{3}\) are positive constants with \(a _{1} < 1\). Then, for all \(k \in \overline{I} _{R}\),
where \(\vartheta = \frac{a _{2} + a _{3}}{1  a _{1}}\).
Theorem 11
The DM method is unconditionally stable if (22) is satisfied.
Proof
Suppose that \(\delta > 0\), and let \(\mathcal{Z} _{k} ^{(p)}\) be a perturbation of \(\overline{\mathcal{V}} _{k} ^{(p)}\) or \(\underline{ \mathcal{V}} _{k} ^{(p)}\), with the property that \(\Vert \mathcal{Z} _{0} ^{(p)}  \overline{\mathcal{V}} _{0} ^{(p)} \Vert < \delta \) and \(\Vert \mathcal{Z} _{k} ^{(0)}  \overline{\mathcal{V}} _{k} ^{(0)} \Vert < \delta \). Suppose that \(\mathcal{Z} _{k} ^{(p)}\) satisfies
Define \(\mathcal{Y} _{k} ^{(p)} = \mathcal{Z} _{k} ^{(p)}  \overline{ \mathcal{V}} _{k} ^{(p)}\), so \(\Vert \mathcal{Y} _{0} ^{(p)} \Vert < \delta \) and \(\Vert \mathcal{Y} _{k} ^{(0)} \Vert < \delta \). Subtracting (17) from (33), we obtain
and
where \(a _{1} = \Vert B ^{ 1} D \Vert \), \(a _{2} = r h ^{\alpha } \Vert B ^{ 1} \overline{C} \Vert \), and \(a _{3} = r h ^{\alpha } \Vert B ^{ 1} \overline{C} \Vert \). Notice that
Finally, inequality (32) follows by Lemma 10. We conclude that method (17) is unconditionally stable. □
In the previous section, we showed the DM method (17) converges to a unique solution of the discrete system (14). We will prove now that the DM method (17) converges also the solution of the continuous problem (1).
Theorem 12
(Consistency)
If \(v (x, t) \in C ^{5, 2} (\overline{\varOmega } _{T})\) and f is continuously differentiable then the discrete scheme (14) is consistent with equation (1).
Proof
Let ϕ and ψ be the exact and approximation operators, respectively, corresponding to equation (1). Obviously, these operators satisfy
for each \((i, k) \in I _{M  1} \times I _{N  1}\). Using the smoothness of the functions v and f, along with the consistency properties of the individual discrete operators and Taylor’s theorem, there exist positive constants \(C _{1}\), \(C _{2}\), and \(C _{3}\) such that
for each \((i, k) \in I _{M  1} \times I _{N  1}\). If \(C = \max \{ C _{1}, C _{2}, C _{3} \}\) then \(\Vert \phi _{i} ^{k}  \psi _{i} ^{k} \Vert \leq C (\tau + h^{2})\), whence the consistency of (14) readily follows. □
Finally, we prove the convergence of the discrete method.
Theorem 13
(Convergence)
Let \(v (x, t) \in \mathcal{C} ^{5, 2} (\overline{\varOmega } _{T})\), and let f be continuously differentiable. If f satisfies (4) and the hypotheses of Theorem (8) hold then the DM method (17) converges to the unique solution of equation (1).
Proof
Let \(\mathcal{V} _{k} ^{(p)}\) be a term of any of the sequences \(\{ \underline{\mathcal{V}} _{k} ^{(p)} \}\) or \(\{ \overline{ \mathcal{V}} _{k} ^{(p)}\}\) in (17), and let \(V_{k}\) and \(W _{k}\) be the exact solutions of (14) and (1), respectively. We will show firstly that \(\Vert \mathcal{V} _{k} ^{(p)}  W_{k} \Vert \rightarrow 0\) when \(p \rightarrow \infty \) and \(\tau, h \rightarrow 0 ^{+}\). Adding and subtracting the term \(V _{k}\) and using the triangle inequality, it follows that \(\Vert \mathcal{V} _{k} ^{(p)}  W _{k} \Vert \leq \Vert \mathcal{V} _{k} ^{(p)}  V _{k} \Vert + \Vert V _{k}  W _{k} \Vert \). Theorem 8 yields now that
It only remains to show that the solutions of the discrete system (14) converge to those of the continuous, that is,
To that end, let \(V _{k} = (v _{0} ^{k}, v _{1} ^{k}, \ldots, v _{M} ^{k})\) and \(W _{k} = (w _{0} ^{k}, w _{1} ^{k}, \ldots, w _{M} ^{k})\). Using Lemma 12, the discrete system (14), hypotheses of this theorem, and matrix C̅, we obtain that
for each \(k \in \overline{I} _{N  1}\). Then \([I + r Q] (V _{k + 1}  W _{k + 1}) \leq [I  r Q] (V _{k}  W _{k}) + \mathcal{O} (\tau + h ^{2})\), where \(Q = K A  h ^{\alpha }\overline{C}\). Now, inequality (22) guarantees that the \(I + r Q\) is positive. This implies that
where \(\varLambda = [I + r Q] ^{ 1} [I  r Q]\) and \(\varTheta = [I + r Q] ^{ 1}\). Using induction, we obtain
The limit (42) is readily established now from the facts that \(\Vert \varLambda \Vert < 1\) and \(\Vert \varTheta \Vert < 1\). This completes the proof. □
Numerical examples
In this section, we describe the computational implementation of the DM method to solve Fisher’s equation with fractional diffusion. More concretely, we will consider the problem
To that end, note that condition (4) requires for the functions \(\underline{c} (x, t)\) and \(\overline{c} (x, t)\) to be calculated as
From equation (46), it follows that \(\underline{c} (x, t) = \overline{c} (x, t) = \eta = \max \{ 2 \gamma  1, 1 \}\), where \(\gamma = \max \{ 1, \max_{\varOmega }v _{0} (x) \}\). Using the uniform grid introduced in Sect. 2 along with the matrix system (17), it follows that
with
On the other hand, the vectors \(\mathcal{V} _{k}\) and \(\mathcal{F} ( \mathcal{V} _{k})\) are given by
Lemma 14
Let \(\gamma = \max \{ 1, \max_{\varOmega }v _{0} (x) \}\). Then the vectors \(\tilde{\mathcal{V}} = \gamma (1, \ldots, 1) ^{\top }\) and \(\hat{\mathcal{V}} = (0,\ldots, 0) ^{\top }\) of \(\mathbb{R} ^{M + 1}\) are respectively upper and lower solutions of the discretization of (46).
Proof
From Lemma 3, it follows that \(\sum_{m = 0} ^{M} g ^{ \alpha }_{i  m} > 0\), for each \(i \in \overline{I} _{M}\). Using system (14), it is clear that the \(\tilde{\mathcal{V}}\) satisfies the inequality
On the other hand, for \(\hat{\mathcal{V}}\) the equality is satisfied since \(F (\hat{\mathcal{V}}) = (0, \ldots, 0 ) ^{\top }\). □
Using the upper and lower solutions provided in Lemma 14, our implementation of the DM method will make use of the iterative system
where \((\overline{\mathcal{V}} _{k} ^{(0)}, \underline{\mathcal{V}} _{k} ^{(0)}) = (\tilde{\mathcal{V}} _{k}, \hat{\mathcal{V}} _{k})\). Moreover, the next lemma establishes a condition to ensure the converge.
Lemma 15
Suppose that the following condition is satisfied:
Then the sequences \(\{ \overline{\mathcal{V}} ^{(p)} _{k} \}\) and \(\{ \underline{\mathcal{V}} ^{(p)} _{k} \}\) obtained by (55) converge to the unique solution of (46) between \(\hat{\mathcal{V}} _{k}\) and \(\tilde{\mathcal{V}} _{k}\).
Proof
The proof follows from Theorem 8. □
The following is a trivial consequence of the previous lemma.
Theorem 16
(Positivity and boundedness)
Suppose that condition (56) is satisfied. Then the discrete model (46) is capable of preserving the positivity and the boundedness from above by 1 of the numerical approximations.
Next, we provide some computational simulations to confirm the validity of the approximations obtained through the DM method. In view of the lack of known exact solutions for the fully fractional model considered in this work, we compare our results with those of other techniques available in the literature. Beforehand, we must mention that our computational implementation of the DM monotone method will hinge on the use of lower and upper solutions for the problem under investigation. They will be used as starting approximations at each iteration in order to generate the sequences (23). As stopping criterion, we will set a maximum difference in the infinity norm equal to \(1 \times 10 ^{ 10}\) or a maximum number of iterations equal to 20. It is important to point out that this maximum number of iterations was never reached in our simulations. In fact, the maximum error was obtained usually in 8 iterations of the DM method.
Example 17
Let \(\varOmega = (0, \pi )\) and \(T = 1\), and we will consider the problem
For convenience, we let \(K = 0.1\). Computationally, we fix the parameters \(h = \pi / 200\) and \(\tau = 0.016\). Figure 1 shows the approximate solution of problem (57) at the times \(t = 0.3\) (solid), 0.5 (dashed), 1 (dashed–dotted) and 5 (dotted), using \(\alpha = 1.2\), 1.4, 1.6, and 1.8. The behavior of the solutions is in qualitative agreement with those results obtained in [36]. Moreover, our simulations show that the solutions tend to a stationary solution as t increases, and that this solution is approximately reached at time \(t = 5\). In order to validate the code of our DM method, we will set various combinations of the values of the parameters h and τ, and let \(\alpha = 1.8\). For comparisons, we will use the explicit finitedifference approximation (EFDA), the implicit finitedifference approximation (IFDA) method and the fractional method of lines (FMoL) reported in [36], as well as the DM method of this work. The results are provided in Tables 1–3, for the times \(T = 0.3, 1\), and 3, respectively. The results indicate that the DM methods yields approximations which are in qualitative agreement with those obtained through the EFDA, IFDA, and FMoL. It is worth mentioning that we have conducted more experiments considering different nodes of Ω and different approximation times. The results obtained using the EFDA, IFDA, FMoL, and DM method (not shown here in order to avoid redundancy) are in qualitative agreement.
Next, we will perform an analysis of convergence of the DM method, considering normal diffusion and long times. To that end, we will consider problem (46) with \(K = 1\), and employ the exact travelingwave solution
In our simulations, we will modify the methodology proposed in this work to account for exact Dirichlet boundary conditions, prescribing them through (58). Moreover, we will employ the maximumnorm error between the exact solution of (46) at the time T, and the corresponding numerical solution calculated using the DM method, namely,
We also define the following standard rates:
Example 18
Consider problem (46) with normal diffusion and \(K = 1\). Fix \(\varOmega = ( 200, 200)\), and use function (58) to prescribe exactly the initial and boundary data on Ω. Under these circumstances, Table 4 provides a temporal numerical convergence analysis of the DM method at various values of T. The results confirm that the method possesses linear order of temporal convergence, in agreement with Theorem 13. In turn, Table 5 shows the spatial convergence analysis of the DM method. Again, the results confirm the conclusion of Theorem 13.
Finally, we compare the performance and the robustness of the methods used in Example 17 using an exact solution for a fractional problem. To that end, we will follow closely the approach of [37] to prove the robustness of our the DM method. As in that work, we will consider the problem (1) defined over \(\varOmega _{T} = (0, 1) \times (0, 1)\), and fix the reaction function as
In this case, the exact solution of the problem for \(\alpha \in (1, 2]\) is given by
Example 19
Let \(\varOmega = (0, 1)\), \(K = 0.1\) and \(T = 1\), and consider problem (1) with reaction function given by (61). For illustration purposes, Fig. 2 shows the approximation to the solution \(v (x, t)\) of this problem as a function of x and t. We used the DM method to produce the approximations, fixing \(h = \tau = 0.01\). Various values of α were employed, namely, (a) \(\alpha = 1.01\), (b) \(\alpha = 1.2\), (c) \(\alpha = 1.4\), (d) \(\alpha = 1.6\), (e) \(\alpha = 1.8\), and (f) \(\alpha = 2\). Figure 3 provides graphical summaries of the temporal convergence and efficiency analyses of the methods used in Example 19. In these analyses, we employed the exact solution (62) of problem (1) with reaction function (61). The results show that the DM method is a firstorder convergent technique in time, which yields smaller errors for fixed values of τ. Moreover, the DM method is a more efficient technique according to out results. These results show that the DM method is a more efficient and robust technique than the EFDA, IFDA, and FMoL. It is worth pointing out that we also carried out analysis of spatial performance and robustness. The results (not shown here in view of the redundancy) yield the same conclusions on the DM method.
Before closing this section, we must declare that the simulations were carried out using an implementation of our method in ©Matlab 8.5.0.197613 (R2015a) on a ©Sony Vaio PCG5L1P laptop computer with Kubuntu 16.10 as operating system. In terms of computational times, we are aware that better results may be obtained with more modern equipment, more modest Linux/Unix distributions and lowerlevel programming languages.
Discussion
Historically, the DM method has been employed successfully to solve numerically and analytically various types of ordinary and partial differential equations [1,2,3, 12]. As the theory of fractional calculus developed throughout the years, the need to employ reliable techniques to guarantee the existence and uniqueness of relevant solutions of fractional systems directed the attention of researchers to the methods available for integerorder models. In that way, the DM method found applications in the investigation of differential equations of fractional order in time. As we noted, in the literature there are many reports on the adaptation of the DM method to both ordinary and partial differential equations with temporal derivatives of fractional order [24, 38, 39]. In those models, the fractional temporal derivatives are usually understood in the sense of Caputo or Riemann–Liouville. However, the use of the DM method for the case of Riesz fractional derivatives in space is an open problem which merits attention. In that sense, the present manuscript is one of the first reports in which this problem is tackled satisfactorily.
On the other hand, it is important to point out that the main contributions of this work do not report on the design of novel numerical schemes. Indeed, finite differences are employed to obtain a discrete form of the equation under investigation. Here, it is worth recalling that there are various computational approaches to implement finitedifference schemes, depending on the nature of the numerical model. For example, for nonlinear systems, the Newton of quasiNewton methods (like the wellknown Broyden technique) are some standard approaches to that end [40, 41]. In the case of Newton’s method, the Jacobian matrix of the reaction functions and its corresponding inverse need to be calculated at each iteration at a high computational cost. On the other hand, Broyden’s method requires the calculation of the approximate inverse of the Jacobian matrix. Moreover, this method is not selfcorrecting. Other techniques to solve finitedifference schemes are the methods of Gauss–Seidel, Jacobi, and successive overrelaxation, though they are used to solve linear systems of algebraic equations.
In light of these comments, the discrete monotone iterative method is an approach that has been used to solve many finitedifference schemes for both ordinary and partial differential equations of integer order. However, the conditions under which the discrete monotone iterative method guarantees the existence and uniqueness of solutions, stability, and convergence of the computational approach may differ from the respective conditions for the respective finitedifference scheme. This is perhaps one of the reasons why the literature lacks reports on the discrete monotone iterative method for parabolic partial differential equations with fractional derivatives in space.
Like those computational methods mentioned in the previous paragraphs to solve systems finitedifference equations, the DM method is a computational technique to solve finitedifference schemes. This approach is based on the use of a Picardlike iterative linear system at each iteration. Under suitable conditions on the reaction function and model parameters, the iterative system may generate monotone sequences which converge to the solution of the (nonlinear or linear) problem. To that end, the use of ordered upper and lower solutions of the continuous model is required. Moreover, the implementation of the DM method possess the following advantages:

The linear character of the DM method can be computationally implemented using iterative techniques for the solution of linear algebraic systems.

The iterations are monotone sequences, which implies that the error is reduced at each new iteration. Moreover, a suitable criterion of convergence can be readily proposed in terms of the upper and lower solutions at each iteration. In that sense, the method is selfimproving.

Monotonicity of the sequences allows establishing the existence and uniqueness of solutions. This is a clear advantage with respect to arbitrary nonlinear computational methods.

The solution is bounded between the upper and the lower solutions. This is an important property of the DM method for problems where the positivity and the boundedness are important features of the solutions.

The theorem on convergence states that the convergence rate of the discrete monotone method is of order \(\mathcal{O} (\tau + h ^{2})\), as expected from the finitedifference discretization. It is important to remember that, in general, the monotone method does not accelerate the convergence rate. The advantage of this iterative method lies in that fewer iterations are required to achieve a certain error level. This feature of our technique was obviously established by our simulations.
Conclusions
In this work, for the first time in the literature, the discrete monotone method is developed for reaction–diffusion partial differential equations with fractional diffusion of the Riesz type. The system under investigation considers homogeneous Dirichlet boundary conditions, and is discretized using a Crank–Nicolson technique. The discrete monotone method is used then. We establish that the technique has a unique solution. Moreover, the consistency, the stability and the convergence of the method are rigorously established. The implementation for the case of the spacefractional Fisher’s equation is analyzed in detail. We provided an extensive series of comparisons against other numerical methods available in the literature. Moreover, we showed detailed numerical analyses of convergence in time and in space against fractional and integerorder models, and we provided studies on the robustness and the numerical performance of the discrete monotone method.
Before closing this work, it is important to point out that still many avenues of research remain open after the completion of this article. For example, the investigation of more complicated parabolic systems with fractional diffusion in space is still an open problem in investigation. Indeed, there exist many generalizations of the classical Fisher’s equation which consider the presence of advection/convection terms, like the Burgers–Fisher and the Burgers–Huxley equations [42]. In that sense, this manuscript could be a motivation to propose and analyze monotone iterative techniques to solve more general fractional parabolic system. On the other hand, it is worthwhile to mention that recent papers have focused on some meaningful applications of hyperbolic fractional systems to the investigation of systems of longrange interactions [43, 44] and fractional [45,46,47,48] and even in nonfractional wave equations [49,50,51]. In that sense, the use of monotone iterative techniques may find interesting applications to the investigation of meaningful physical phenomena.
References
Pao, C.V.: Nonlinear Parabolic and Elliptic Equations, 1st edn. Plenum Press, New York (2012)
Pao, C., Ruan, W.: Positive solutions of quasilinear parabolic systems with Dirichlet boundary condition. J. Differ. Equ. 248(5), 1175–1211 (2010)
Pao, C.V., Ruan, W.H.: Quasilinear parabolic and elliptic systems with mixed quasimonotone functions. J. Differ. Equ. 255(7), 1515–1553 (2013)
Leela, S., Oǧuztöreli, M.N.: Periodic boundary value problem for differential equations with delay and monotone iterative method. J. Math. Anal. Appl. 122(2), 301–307 (1987)
Wang, P., Tian, S., Wu, Y.: Monotone iterative method for firstorder functional difference equations with nonlinear boundary value conditions. Appl. Math. Comput. 203(1), 266–272 (2008)
Tian, C., Zhu, P.: Existence and asymptotic behavior of solutions for quasilinear parabolic systems. Acta Appl. Math. 121(1), 157–173 (2012)
Flores, S., Jerez, S.: A parabolic system model for the formation of porous silicon: existence, uniqueness, and stability. SIAM J. Appl. Math. 75(3), 1047–1064 (2015)
Li, Y.: A parallel monotone iterative method for the numerical solution of multidimensional semiconductor Poisson equation. Comput. Phys. Commun. 153(3), 359–372 (2003)
Chen, R.C., Liu, J.L.: An accelerated monotone iterative method for the quantumcorrected energy transport model. J. Comput. Phys. 227(12), 6226–6240 (2008)
Lu, X.: Combined iterative methods for numerical solutions of parabolic problems with time delays. Appl. Math. Comput. 89(1–3), 213–224 (1998)
Li, Y., Chung, S., Liu, J.L.: A novel approach for the twodimensional simulation of submicron MOSFETs using monotone iterative method. In: VLSI Technology, Systems, and Applications, 1999. International Symposium On, pp. 27–30. IEEE Press, New York (1999)
Pao, C.: Numerical analysis of coupled systems of nonlinear parabolic equations. SIAM J. Numer. Anal. 36(2), 393–416 (1999)
Flores, S., Jerez, S.: Numerical simulation of porous silicon morphology using a monotone iterative method. Commun. Nonlinear Sci. Numer. Simul. 70, 1–19 (2019)
Meral, F., Royston, T., Magin, R.: Fractional calculus in viscoelasticity: an experimental study. Commun. Nonlinear Sci. Numer. Simul. 15(4), 939–945 (2010)
Abdeljawad, T., Baleanu, D.: Discrete fractional differences with nonsingular discrete MittagLeffler kernels. Adv. Differ. Equ. 2016(1), 232 (2016)
Abdeljawad, T.: Fractional operators with exponential kernels and a Lyapunov type inequality. Adv. Differ. Equ. 2017(1), 313 (2017)
Tarasov, V.E.: Continuous limit of discrete systems with longrange interaction. J. Phys. A, Math. Gen. 39(48), 14895 (2006)
Tarasov, V.E., Zaslavsky, G.M.: Fractional dynamics of systems with longrange interaction. Commun. Nonlinear Sci. Numer. Simul. 11(8), 885–898 (2006)
Fisher, R.A.: The wave of advance of advantageous genes. Ann. Eugenics 7(4), 355–369 (1937)
Kolmogorov, A.N., Petrovskii, I.G., Piskunov, N.S.: A study of the equation of diffusion with increase in the quantity of matter, and its application to a biological problem. Bjul. Moskovskogo Gos. Univ. 1(7), 1–26 (1937)
Jarad, F., Uğurlu, E., Abdeljawad, T., Baleanu, D.: On a new class of fractional operators. Adv. Differ. Equ. 2017(1), 247 (2017)
MacíasDíaz, J.E.: A bounded and efficient scheme for multidimensional problems with anomalous convection and diffusion. Comput. Math. Appl. 75(11), 3995–4011 (2018)
MacíasDíaz, J.E.: A dynamically consistent method to solve nonlinear multidimensional advectionreaction equations with fractional diffusion. J. Comput. Phys. 366, 71–88 (2018)
Zhang, S.: Monotone iterative method for initial value problem involving Riemann–Liouville fractional derivatives. Nonlinear Anal., Theory Methods Appl. 71(5–6), 2087–2093 (2009)
Li, Y., Yang, W.: Monotone iterative method for nonlinear fractional qdifference equations with integral boundary conditions. Adv. Differ. Equ. 2015(1), 294 (2015)
Liu, Z., Sun, J., Szántó, I.: Monotone iterative technique for Riemann–Liouville fractional integrodifferential equations with advanced arguments. Results Math. 63(3–4), 1277–1287 (2013)
Wang, X., Liu, F., Chen, X.: Novel secondorder accurate implicit numerical methods for the Riesz space distributedorder advectiondispersion equations. Adv. Math. Phys. 2015, 590435 (2015)
Mu, J.: Monotone iterative technique for fractional evolution equations in Banach spaces. J. Appl. Math. 2011, 767186 (2011)
Pham, T.T., Ramirez, J., Vatsala, A.: Generalized monotone method for Caputo fractional differential equation with applications to population models. Neural Parallel Sci. Comput. 20(2), 119 (2012)
Fujimoto, T., Ranade, R.R.: Two characterizations of inversepositive matrices: the Hawkins–Simon condition and the Le Chatelier–Braun principle. Electron. J. Linear Algebra 11(1), 6 (2004)
MacíasDíaz, J.E.: An explicit dissipationpreserving method for Riesz spacefractional nonlinear wave equations in multiple dimensions. Commun. Nonlinear Sci. Numer. Simul. 59, 67–87 (2018)
MacíasDíaz, J.E.: A structurepreserving method for a class of nonlinear dissipative wave equations with Riesz spacefractional derivatives. J. Comput. Phys. 351, 40–58 (2017)
Hendy, A.S., MacíasDíaz, J.E.: A numerically efficient and conservative model for a Riesz spacefractional Klein–Gordon–Zakharov system. Commun. Nonlinear Sci. Numer. Simul. 71, 22–37 (2019)
Ortigueira, M.D.: Riesz potential operators and inverses via fractional centred derivatives. Int. J. Math. Math. Sci. 2006, 48391 (2006)
Plemmons, R.J.: MMatrix characterizations. I–nonsingular Mmatrices. Linear Algebra Appl. 18(2), 175–188 (1977)
Zhang, H.M., Liu, F.: Numerical simulation of the Riesz fractional diffusion equation with a nonlinear source term. J. Appl. Math. Inform. 26(1–2), 1–14 (2008)
Iyiola, O.S., AsanteAsamani, E., Furati, K.M., Khaliq, A., Wade, B.A.: Efficient time discretization scheme for nonlinear space fractional reaction–diffusion equations. Int. J. Comput. Math. 95(6–7), 1274–1291 (2018)
Bai, Z., Zhang, S., Sun, S., Yin, C.: Monotone iterative method for fractional differential equations. Electron. J. Differ. Equ. 2016(6), 1 (2016)
Ramirez, J., Vatsala, A.: Monotone method for nonlinear Caputo fractional boundary value problems. Dyn. Syst. Appl. 20(1), 73 (2011)
Krees, R.: Numerical Analysis. Graduate Texts in Mathematics. Springer, New York (1991)
Kincaid, D., Kincaid, D.R., Cheney, E.W.: Numerical Analysis, 1st edn. Mathematics of Scientific Computing, vol. 2. American Mathematical Soc., Providence (2009)
Polyanin, A.D., Zaitsev, V.F.: Handbook of Nonlinear Partial Differential Equations. Chapman and Hall/CRC, Boca Raton (2016)
Latella, I., PérezMadrid, A., Campa, A., Casetti, L., Ruffo, S.: Longrange interacting systems in the unconstrained ensemble. Phys. Rev. E 95(1), 012140 (2017)
Gupta, S., Ruffo, S.: The world of longrange interactions: a bird’s eye view. Int. J. Mod. Phys. A 32(09), 1741018 (2017)
MacíasDíaz, J.E.: Numerical study of the process of nonlinear supratransmission in Riesz spacefractional sineGordon equations. Commun. Nonlinear Sci. Numer. Simul. 46, 89–102 (2017)
MacíasDíaz, J.E.: Numerical simulation of the nonlinear dynamics of harmonically driven Rieszfractional extensions of the Fermi–Pasta–Ulam chains. Commun. Nonlinear Sci. Numer. Simul. 55, 248–264 (2018)
MacíasDíaz, J.E.: Persistence of nonlinear hysteresis in fractional models of Josephson transmission lines. Commun. Nonlinear Sci. Numer. Simul. 53, 31–43 (2017)
MacíasDíaz, J.E., Bountis, A.: Supratransmission in βFermi–Pasta–Ulam chains with different ranges of interactions. Commun. Nonlinear Sci. Numer. Simul. 63, 307–321 (2018)
MacíasDíaz, J.E., Puri, A.: On the transmission of binary bits in discrete Josephsonjunction arrays. Phys. Lett. A 372(30), 5004–5010 (2008)
MacíasDíaz, J.E., VillaMorales, J.: A deterministic model for the distribution of the stopping time in a stochastic equation and its numerical solution. J. Comput. Appl. Math. 318, 93–106 (2017)
MacíasDíaz, J.E.: Numerical study of the transmission of energy in discrete arrays of sineGordon equations in two space dimensions. Phys. Rev. E 77(1), 016602 (2008)
Acknowledgements
The authors would like to thank the anonymous reviewers and the associate editor in change of handling this manuscript for their comments and criticisms. Their suggestions were crucial to improve the overall quality of this work.
Availability of data and materials
The data will not be available online. However, the information will be available to the interested parties upon request.
Funding
The first author would like to acknowledge the financial support of the National Council for Science and Technology of Mexico (CONACYT). The second (and corresponding) author acknowledges financial support from CONACYT through grant A1S45928. ASH is financed by RFBR Grant 190100019.
Author information
Authors and Affiliations
Contributions
The research problem was proposed by SF and JEMD. The theoretical analysis was performed by SF and JEMD. The simulations were produced by SF and JEMD. The manuscript was prepared by SF and JEMD, and was later revised and corrected by SF and JEMD. The corrections of the revision were proposed by SF and JEMD. The final revised paper was proposed by SF and JEMD. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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.
About this article
Cite this article
Flores, S., MacíasDíaz, J.E. & Hendy, A.S. Discrete monotone method for spacefractional nonlinear reaction–diffusion equations. Adv Differ Equ 2019, 317 (2019). https://doi.org/10.1186/s1366201922671
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201922671
MSC
 65M06
 35K15
 35K55
 35K57
Keywords
 Spacefractional diffusion–reaction equations
 Crank–Nicolson finitedifference scheme
 Discrete monotone iterative method
 Existence and uniqueness of solutions
 Numerical efficiency analysis