Monotonicity and extremality analysis of difference operators in Riemann-Liouville family

1.   Introduction

Mathematical equations that contain two or more independent variables are called partial differential equations. They are found in various scientific applications, such as chemistry, physics, engineering and mathematics, which is why researchers have developed many techniques to solve such equations as homotopy perturbation method, variation iteration method, Adomian decomposition method and others ^{[1,2,3,4,5,6,7,8,9]}.

Fractional calculus is a generalization of regular calculus, that calculates derivatives of functions of non-integer orders. Many definitions of fractional derivatives have been presented in the literature such as Riemann Louville, Caputo, conformable and others ^{[10,11,12,13,14,15]}. Furthermore, using each of these definitions can be viewed as a generalization of the normal calculus. For this reason, applying either of these definitions allows us to generalize our research to normal calculus, and since Caputo's fractional derivative is one of the most popular definitions, we establish our new results in terms of Caputo's fractional definition in this article. There are a number of different methods that mathematicians have used to solve ordinary and partial differential equations and systems in fractional calculus. One of these methods is the power series method, because it can solve such problems. On the other hand, there are too many methods that depend on the idea of power series, such as residual power series method ^{[16,17,18,19,20,21,22,23,24,25,26]}, and some other techniques that combine the power series idea with transformations just as Laplace transform, ARA-transform, formable transform and others ^{[27,28,29,30,31,32,33,34,35,36,37]} to construct new ones. However, all these methods, introduce the solution in a convergent series form, but the difference lies in the level of difficulty during the applications.

The direct power series method (DPSM) used in this work was first introduced in ^[38], transformations are unnecessary, no limits or differentiations are required, this method only focuses on finding the nth coefficients of the series expansion of the analytic solution.

In DPSM we find the solution by computing a general term of the nth coefficients without going back to the hole power series every time we want to compute new coefficients. For this reason, DPSM helps mathematicians to find the approximate solutions better and faster. This method only takes two steps to write the general solution of some equations or systems that can be solved with other power series methods. At the end of the second step, we have a general form of the solution, expressed as an infinite series, and this makes it easier to find too many new coefficients of the series solution with computer programs. Furthermore, some different illustrative examples are presented in the fourth chapter and solved with the proposed method. We show that DPSM could be used to solve different types of problems and systems.

This paper is organized as follows, in the next section, we introduce some preparatory explanations on fractional operators, Section 3 introduces the methodology and the basic idea of DPSM and finally we consider some different examples on fractional partial differential equations and systems.

2.   Basics about fractional operators and power series

In this section we introduce the definition of the fractional Caputo and some theorems about power series.

Definition 2.1. If $\psi \left(\chi, \tau \right)$ is a function of two variables and $n$ is any natural number, then Caputo fractional partial derivative of order $\alpha$ with respect to $\tau$ is denoted and defined as

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

It is worth noting here that Caputo fractional partial derivative has the memory property. For more details and properties, see ^[39,40,41].

Lemma 2.1. ^[10,11]. Let $\varrho \left(\chi \right)$ be a real valued continuous function and $\alpha, \tau > 0$. Then the following properties of Caputo's derivative are hold:

1) ${D}_{\tau }^{\alpha }\varrho \left(\chi \right) = 0.$

2) ${D}_{\tau }^{\alpha }\left({\tau }^{\beta }\varrho \left(\chi \right)\right) = \frac{\mathrm{\Gamma }\left(\beta +1\right)}{\mathrm{\Gamma }\left(\beta +1-\alpha \right)}{\tau }^{\beta -\alpha }\varrho \left(\chi \right).$

3) ${D}_{\tau }^{k\alpha }\left({\tau }^{n\alpha }\varrho \left(\chi \right)\right) = \left\{\begin{array}{cc}\frac{\mathrm{\Gamma }\left(n\alpha +1\right)}{\mathrm{\Gamma }\left(\left(n-k\right)\alpha +1\right)}{\tau }^{\left(n-k\right)\alpha }\varrho \left(\chi \right), & n\ge k, \\ 0 & n < k.\end{array}\right.$

4) ${D}_{\tau }^{k\alpha }\left(\sum _{n = 0}^{\infty }\frac{{\varrho }_{n}\left(\chi \right){\left(\gamma \tau \right)}^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}\right) = \sum _{n = 0}^{\infty }\frac{{\gamma }^{\left(n+k\right)\alpha }{\varrho }_{n+k}\;\;\left(\chi \right){\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}.$

Definition 2.2. ^[22] For any $\alpha$ such that, $r-1 < \alpha \le r$, $r\in \mathbb{N}$ a power series of the form:

is called the multiple fractional power series about $\tau = {\tau }_{0}$, where $\tau$ is a variable and ${\varrho }_{n}\left(\chi \right), \mathrm{ }\forall n = 0, \mathrm{ }\mathrm{ }\mathrm{ }\mathrm{ }1, \cdots$ are functions of $\chi$ called the coefficients of the series.

Theorem 2.1. ^[22,23] Suppose that $\psi \left(\chi, \tau \right)$ has a fractional power series representation at $\tau = 0$, of the form:

where $0\le \tau < R$ and $R$is the radius of convergence. If ${D}_{\tau }^{n\alpha }\psi \left(\chi, \tau \right)$ is continuous on $\left(0, R\right)$, then, the coefficients ${\varrho }_{n}\left(\chi \right)$; $\forall n = 0, \mathrm{ }\mathrm{ }\mathrm{ }\mathrm{ }1, \cdots$, of the power series (2.3) are given by

For the proof, see ^[22].

The convergence analysis of the presented power series are illustrated in the following theorem. We mention here, that these conditions are the required convergence conditions for DPSM ^[13].

Theorem 2.2. ^[35,36] Consider the fractional power series representation in (2.3), then we have the following cases:

a) If $\tau = 0$, the series representation (2.3) is convergent and the radius of convergence is $R = 0$.

b) If $\tau \ge 0$, the series representation (2.3) is convergent and the radius of convergence is $R = \infty$.

c) If $\tau \in \left[0, R\right]$, the series representation (2.3) is convergent for some positive real number $R$ and is divergent for $\tau > R$, where $R$ is the radius of convergence.

In the following arguments, we state some properties of the fractional power series (2.3):

1) The $k$th derivative of the fractional power series representation (2.3) is given by

and the coefficients of the equation ${\varrho }_{n}^{\left(m\right)}\left(\chi \right);$ $\forall n = 0, \mathrm{ }\mathrm{ }\mathrm{ }\mathrm{ }1, \mathrm{ }\dots$ are given by

2) If we have ${\left\{{\psi }_{i}\left(\chi, \tau \right)\right\}}_{i = 1}^{m}$ a sequence of functions of two variables, that has a power series expansion as follows:

then the coefficients of $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$ of $\prod _{i = 1}^{m}{\psi }_{i}\left(\chi, \tau \right)$ can be written by the following summation:

3.   The methodology of DPSM

In this section we present the main idea of the DPSM for solving time fractional partial differential equations (TFPDEs). We illustrate the technique of using DPSM to solve TFPDEs.

3.1.   Construction of DPSM solution of TFPDEs

Assume that $\psi \left(\chi, \tau \right)$ can be presented in the series representation (2.3). Consider the FPDE,

where $\mathcal{L}$ and $\mathcal{N}$ denote linear and nonlinear operators respectively of fractional or integer orders derivatives. Using DPSM we can get the solution of some cases-that will be considered in Theorem 3.1, below-of Eq (3.1) in a series representation which means, to find the values of the coefficients ${\varrho }_{n}\left(\chi \right)$ of the series expansion (2.3). The Caputo fractional derivative affects the series formula and changes the summation, so we need to illustrate the following theorem that study the effects of the fractional derivatives on the power series representations.

Theorem 3.1. ^[32] Suppose that $\psi \left(\chi, \tau \right)$ and $\varphi \left(\chi, \tau \right)$ have fractional power series representations such as:

where $\psi \left(\chi, \tau \right)$ and $\varphi \left(\chi, \tau \right)$ are analytical functions, then we have${\varrho }_{n}\left(\chi \right)$ and ${\rho }_{m}\left(\chi \right)$ are the coefficients of $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$and $\frac{{\tau }^{m\alpha }}{\mathrm{\Gamma }\left(m\alpha +1\right)}$ in $\psi \left(\chi, \tau \right)$ and $\varphi \left(\chi, \tau \right)$ respectively$, \forall m = \mathrm{0, 1}, \dots,$ and $n = 0, 1, \cdots$. Then we have:

a) ${\varrho }_{n+k}\left(\chi \right)$ is the coefficient for $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$ in the series expansion of ${D}_{\tau }^{k\alpha }\psi \left(\chi, \tau \right)$ for any $k = 0, \mathrm{ }1, \mathrm{ }\cdots.$

b) ${\gamma }^{\left(n+k\right)\alpha }{\varrho }_{n+k}\left(\chi \right)$ is the coefficient for $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$ in the series expansion of ${D}_{\tau }^{k\alpha }\psi \left(\chi, \gamma \tau \right)$ for any $k = 0, \mathrm{ }1, \mathrm{ }\dots$, where $\gamma \in \mathbb{R}$.

c) $\sum _{i = 0}^{n}\frac{{\varrho }_{i}\left(\chi \right){\rho }_{n-i}\left(\chi \right)\mathrm{\Gamma }\left(n\alpha +1\right)}{\mathrm{\Gamma }\left(i\alpha +1\right)\Gamma \left(\left(n-i\right)\alpha +1\right)}$ is the coefficient for $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$ in the series expansion of $\psi \left(\chi, \tau \right)\varphi \left(\chi, \tau \right)$.

d) $\sum _{i = 0}^{n}\frac{{\beta }^{i\alpha }{\gamma }^{\left(n-i\right)\alpha }{\varrho }_{i}\left(\chi \right){\rho }_{n-i}\left(\chi \right)\mathrm{\Gamma }\left(n\alpha +1\right)}{\mathrm{\Gamma }\left(i\alpha +1\right)\mathrm{\Gamma }\left(\left(n-i\right)\alpha +1\right)}$ is the coefficient for $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$ in the series expansion of $\psi \left(\chi, \beta \tau \right)\varphi \left(\chi, \gamma \tau \right)$, where $\beta$ and $\gamma \in \mathbb{R}$.

e) $\sum _{i = 0}^{n}\frac{{\beta }^{\left(i+k\right)\alpha }{\gamma }^{\left(n-i+m\right)\alpha }{\varrho }_{i+k}\left(\chi \right){\rho }_{n-i+m}\left(\chi \right)\mathrm{\Gamma }\left(n\alpha +1\right)}{\mathrm{\Gamma }\left(i\alpha +1\right)\mathrm{\Gamma }\left(\left(n-i\right)\alpha +1\right)}$ is the coefficient for $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$ in the series expansion of ${D}_{\tau }^{k\alpha }\psi \left(\chi, \beta \tau \right){D}_{\tau }^{s\alpha }\varphi \left(\chi, \gamma \tau \right)$, where $\beta$, $\gamma \in \mathbb{R}\mathrm{a}\mathrm{n}\mathrm{d}k, \mathrm{ }\mathrm{s} = 0, \mathrm{ }1, \mathrm{ }\dots$.

Proof. Substituting the series expansion of $\psi \left(\chi, \tau \right)$ in ${D}_{\tau }^{k\alpha }\psi \left(\chi, \tau \right)$,

Using part (4) of Lemma 2.1, we get

Thus, the series expansion can be written as

Proof. Substituting the series expansion of $\psi \left(\chi, \gamma \tau \right)$in ${D}_{\tau }^{k\alpha }\psi \left(\chi, \gamma \tau \right)$, we get

Using part (4) of Lemma 2.1, we get

Thus, Eq (3.7), can be written as

Proof. Multiplying the series expansion of $\psi \left(\chi, \tau \right)$ and $\varphi \left(\chi, \tau \right)$,

Equation (3.9), can be simplified as

which can be rewritten as

Proof. Multiplying the series expansion of $\psi \left(\chi, \beta \tau \right)$ and $\varphi \left(\chi, \gamma \tau \right)$,

Equation (3.12), can be written as

which can be simplified as

Proof. Substituting the series expansion of $\psi \left(\chi, \gamma \tau \right)$ and $\varphi \left(\chi, \gamma \tau \right)$in ${D}_{\tau }^{k\alpha }\psi \left(\chi, \beta \tau \right){D}_{\tau }^{s\alpha }\varphi \left(\chi, \gamma \tau \right)$, we get:

Using part (2) of Lemma 2.1, Eq (3.15) can be written as

which can be simplified as

Equation (3.17) can be written as

The proof is complete.

The main idea of DPSM depends on replacing each part of the target equation or system with its $\frac{{\tau }^{n\alpha }}{\Gamma \left(n\alpha +1\right)}$ coefficients, in any equation that contains similar terms in Theorem 3.1, these replacements can be applied separately for each additive part, or if each part is multiplied by a real number. The main idea of the method is to do some replacements in the target equation and simplify the obtained series expansions in one series after simple computations, to get a general term of the coefficients in the series expansion (2.3) and hence, we get the analytic series solution of the equation by substituting $n = \mathrm{1, 2}, \dots$in the series form and so on.

3.2.   Algorithm of DPSM for solving TFPDEs

Our goal in this section, is to explain the usage of DPSM in solving some TFPDEs and get numerical solutions for them. The method is basically, depends on assuming the series representation (2.3) of the solution and then find a general term of the series coefficients, that allows researchers to get better approximate solutions by getting many terms of the numerical solution they study.

The following steps illustrate the algorithm of DPSM in solving TFPDEs:

Step 3.1. Apply the replacements from Theorem 3.1 that is, replace each term of the target equation by its suitable similar coefficient ${\varrho }_{n}\left(\chi \right)$ of $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$.

Step 3.2. Simplify the obtained series representations from Step 3.1, and define a general form of the series solution by putting the higher index ${\varrho }_{n+k}\left(\chi \right)$ to the left-hand side and the rest of the coefficients into the right, to get a formula of the shape:

Step 3.3. Substitute the values of $n$, recursively from $n = \mathrm{1, 2}, \dots$ as much as you need terms of the series solution.

4.   Numerical examples

In this section, some interesting examples on TFPDEs are solved, we clarify the steps of DPSM by solving fractional partial differential equations and system of fractional partial differential equations, each example is of different kind.

Example 4.1.[26] Consider the following temporal-fractional Burger equation of the form:

subject to the initial condition,

Note that, when $\alpha = 1$ the exact solution of Eq (4.1) the integer case is

Solution 4.1. Applying the replacements of Theorem 3.1 on Eq (4.1), we get

and

Substituting the new terms from the replacements into Eq (4.1), we get

Then the Eq (4.1) can be expressed as

From the initial condition in (4.2),

for $n = 0$, ${\varrho }_{1}\left(\chi \right) = -4\chi$,

for $n = 1,$ ${\varrho }_{2}\left(\chi \right) = 16\chi$,

for $n = 2,$ ${\varrho }_{3}\left(\chi \right) = -16\chi \left(4+\frac{\mathrm{\Gamma }\left(2\alpha +1\right)}{{\mathrm{\Gamma }}^{2}\left(\alpha +1\right)}\right)$,

for $n = 3,$ ${\varrho }_{4}\left(\chi \right) = 64\chi \left(4+\frac{\mathrm{\Gamma }\left(2\alpha +1\right)}{{\mathrm{\Gamma }}^{2}\left(\alpha +1\right)}+\frac{2\mathrm{\Gamma }\left(3\alpha +1\right)}{\mathrm{\Gamma }\left(2\alpha +1\right)\mathrm{\Gamma }\left(\alpha +1\right)}\right)$,

for $n = 4,$ ${\varrho }_{5}\left(\chi \right) = -256\chi \left(4+\frac{\mathrm{\Gamma }\left(2\alpha +1\right)}{{\mathrm{\Gamma }}^{2}\left(\alpha +1\right)}+\frac{2\mathrm{\Gamma }\left(3\alpha +1\right)}{\mathrm{\Gamma }\left(2\alpha +1\right)\mathrm{\Gamma }\left(\alpha +1\right)}+\frac{\mathrm{\Gamma }\left(4\alpha +1\right)}{{\mathrm{\Gamma }}^{2}\left(2\alpha +1\right)}\right)-128\chi \left(4+\frac{\mathrm{\Gamma }\left(2\alpha +1\right)}{{\mathrm{\Gamma }}^{2}\left(\alpha +1\right)}\right)\frac{\mathrm{\Gamma }\left(4\alpha +1\right)}{\mathrm{\Gamma }\left(3\alpha +1\right)\mathrm{\Gamma }\left(\alpha +1\right)}$, which are the same results obtained in ^[26]. DPSM save a lot of time in calculating the coefficients and the steps here are written completely.

Thus, the solution of Eqs (4.1) and (4.2), can be expressed as

Substituting $\alpha = 1$we get

this result agrees, with the Maclaurin series of the exact solution of Eq (4.1) in the integer case, which is

The following figures illustrate some simulations of Example 4.1.

In Figure 1, we sketch the solution of Example 4.1 in 3D space with $\alpha = 1$. We compare the exact solution of the integer order case of Example 4.1 with the fifth approximate solution from DPSM and sketch the error in Figure 2. Figure 3 present the contour graphs of the solution with different values of $\alpha$.

Example 4.2. ^[28] Consider the following time-fractional Phi-4 equation of the form:

with initial conditions,

where $\nu$ is the speed of the traveling wave $\alpha ϵ\left(\mathrm{0, 1}\right)$. The exact solution for $\alpha = 1$ is given by ^[28],

Solution 4.2. The solution by DPSM can be obtained replacing each part of Eq (4.9) with its suitable coefficient of $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$ as in Theorem 3.1 to get the following:

from the initial conditions we have that ${\varrho }_{0}\left(\chi \right) = \psi \left(\chi, 0\right)$ and ${\varrho }_{1}\left(\chi \right) = {D}_{\tau }^{\alpha }\psi \left(\chi, 0\right)$.

For $n = 0,$

For $n = 1,$

For $n = 2,$

For $n = 3,$

and then the 5^th truncated series for $\psi \left(\chi, \tau \right)$ can be expressed as,

We mention, that it's hard to find the fifth term by other analytical methods. By DPSM we can get many terms of the series solution by computer software.

In the following Figures 4 and 5, we sketch the exact solution of Example 4.2 in the integer case and compare it with approximate solution of fifth order in 2D and 3D. Also, we sketch the application solution in the 2D plane with different values of to show how the approximation solution converges to the exact solution of integer order.

Example 4.3. ^[22] The following form is considered:

with initial conditions,

To find the general form of solutions by DPSM just do the replacements in Theorem 3.1 which could be directly written by,

For $n = 0$,

For $n = 1$,

For $n = 2$,

For $n = 3$,

which is the same general form of the solutions obtained in ^[22].

Example 4.4. ^[37] Consider the following time-fractional 3-dimentional Navier Stokes equation:

where $\varphi \in \mathbb{R}$, and with the ICs,

The exact solution, when $\alpha = 1$, of the integer case is

Solution 4.3. The solution by DPSM can be obtained by replacing each part of Eqs (4.25)–(4.27) with its suitable coefficient of $\frac{{\tau }^{n\alpha }}{\mathrm{\Gamma }\left(n\alpha +1\right)}$ as in Theorem 3.1 to get the following relations:

For $n = 0$,

For $n = 1,$

For $n = 2,$

For $n = 3,$

So, the solution of systems (4.25)–(4.27) and (4.28)–(4.30) has the following series form:

The following figure (Figure 6) illustrates the graph of the exact solution of Example 4.3 and the 10^th approximation solutions.

5.   Conclusions

In several types of science like mathematics, physics, engineering statics, etc., there are massive numbers of equations and systems that need solutions. Mathematicians created and developed many analytical and numerical methods to find the solution accurately or approximately. Power series methods like residual power series, Laplace residual power series, and many others give exact solutions or sometimes provide approximate solutions that converge to the exact one. However, these methods require a lot of steps each time, especially for solving nonlinear equations and systems. In this paper, a new technique has been presented for the first time called the DPSM for solving TFPDEs. In the following, we mention some remarks on the new method

1) DPSM introduces an analytical series solution depending on the idea of power series representation.

2) The method is simple and applicable in presenting series solutions.

3) DPSM can obtain many terms of the series solution.

4) The proposed method, need no discretization, transformation differentiation or taking limit.

5) All numerical results obtained in this article by Mathematica 3.12.

This method is a simple method among all analytical methods. It depends on the idea of the power series expansion for solving time-fractional differential equations or systems. In the future, we attend to expand the replacements and solve integral equations.

Conflict of interest

The authors declare no conflicts of interest.