A note on the Liouville type theorem for the smooth solutions of the stationary Hall-MHD system

1.   Introduction

The development of fractional calculus (FC) ^[1] was traced from a letter dated September 30, 1695, written by L' Hospital to Leibniz regarding the half derivative of the linear function $p(x) = x$. Leibniz response was "An apparent paradox, from which one-day useful consequences will be drawn". Nowadays, FC is identified as the most effective tool for the modelling of physical phenomena not only in mathematics but also in other branches of sciences, engineering, economics, finance, etc. FC has been identified as one of the fastest-growing research areas in the last few decades. Also, FDEs have played a significant role because of their huge range of uses. Several problems in biology, physics, chemistry, applied science and engineering are modelled by FDEs ^{[2,3,4,5,6,7]}. Many research articles were developed to investigate the theory and solutions of FDEs ^[8,9]. Also, many researchers ^[10,11,12] developed the existence and uniqueness criteria of the IVP if FDEs of fractional order. The most common and oldest derivatives are Riemann Liouville (RL) and Caputo. In this research article, we are taking the derivative in the Caputo frame as it has many advantages for dealing with the IVP of FDEs:

where $_{C}D^{\beta}_{x_0^+}$ indicates the Caputo fractional order derivative (CFOD) of variable order $\beta$ such that $\beta \in (0, 1]$.

In the survey, we found that most of the non-linear IVP of FDEs don't have any analytic method for finding the solutions ^[13], therefore numerical technique must be used for such cases. Some of the analytic and numerical methods for solving FDEs consists of Adomian decomposition method (ADM) ^[14], variational iteration method (VIM) ^[15], fractional differential transform scheme ^[16], fractional finite difference scheme ^[17], fractional Adams scheme ^[8], homotopy perturbation scheme ^[18], spectral collocation scheme ^[19], extrapolation method ^[20], homotopy analysis scheme ^[21], and many others. Out of these methods, the ADM and the VIM are the most well-known methods for solving the FDEs for providing instant and visible symbolic terms of numerical solutions. Moreover, the numerical scheme described in the literature ^[22,23,24] have some drawbacks in the RL derivative sense. In this work, we suggest novel schemes to reduce the drawback.

Nowadays, the IVP of FDEs used as a weapon to solve the various mathematical models, dynamical models, and many others. This article establishes two fractional numerical algorithms for the IVP of FDEs of order $\beta \in (0, 1]$. These schemes are fractional third-order RK3 scheme and fractional SSRK3 scheme, which are based on classical third-order RK3 scheme ^{[25,26,27,28]} and classical SSRK3 scheme, respectively. In ^[29], Muhammad et al. developed a two-stage generalized Rk2 scheme of second order in CFOD sense. In ^[30], Kumar et al. established two numerical schemes, which are fractional quadratic midpoint scheme and fractional cubic Heun scheme for an IVP of FDEs (1.1). Also, in the year 2016, Tong et al. ^[31] suggested numerical schemes, which are fractional EM and fractional IEM, to demonstrate the numerical solution of the IVP of FDEs (1.1). These all referred works motivate us to establish more efficient schemes to solve the IVP of FDE in the CFOD sense. Also, our main aim is to show, based on a few application models and a few concrete examples, that FDEs may model the physical problem more efficiently than the ODEs. In recent decades, many research articles have been devoted for numerical iterative scheme ^{[32,33,34,35]} of IVP of FDEs. Still, there are few non-linear IVP of FDEs in the Riemann derivative sense where the approximation technique does not work. In our work, we proposed two efficient cubic techniques, which is effectively providing the approximate solution of linear as well as non-linear IVP of FDEs (1.1) of order $\beta$ where $\beta \in (0, 1]$. Both schemes, fractional RK3, and fractional SSRK3 are cubic convergence in which the SSRK3 scheme is more stable and faster than all other cubic schemes for IVP of FDEs. This paper also provides the comparative and convergence analysis of our suggested technique with fractional EM and fractional IEM, which have linear and quadratic convergence, respectively. We organize this work as follows:

● In Section 2, we introduce mathematical preliminaries, some basic definitions, and the result of FC.

● In Section 3, we proposed our and suggested methodology and their convergence analysis.

● In Section 4, we provide numerical solutions of illustrated examples of IVP of FDEs using suggested schemes.

● In Section 5, we provide the numerical simulation of two real-world application models, which are the fractional World Population Growth (WPG) model and Nuclear Decay (ND) model using suggested schemes.

● In Section 6, we report our conclusion of the proposed scheme with some crucial facts.

2.   Preliminaries

This section is devoted to the preliminary concepts of FC that we need in our study. So, we present some definitions and some properties of FC ^{[36,37,38,39,40,41]}.

Definition 2.1. For arbitrary $\beta>0$ and a piecewise integrable function $\kappa:[a, b]\rightarrow \mathbb{R}$, the fractional left and right RL integral of order $\beta$ are defined by

respectively. Here the notation $\Gamma$ signify the Gamma function.

Definition 2.2. For arbitrary $\beta>0$ and a piecewise integrable function $\kappa:[a, b]\rightarrow \mathbb{R}$, the fractional left and right RL derivative of order $\beta$ are defined by

respectively, where $n-1 < \beta < n$, $n\in \mathbb{N}$. If $0 < \beta < 1$, then the fractional left and right RL derivative are

and

respectively.

Definition 2.3. For arbitrary $\beta>0$ and a piecewise integrable function $\kappa:[a, b]\rightarrow \mathbb{R}$, the fractional left and right Caputo derivative of order $\beta$ are defined by

respectively, where $n-1 < \beta < n$, $n\in \mathbb{N}$. If we take $0 < \beta < 1$, then the fractional left and right Caputo derivative are

respectively.

The relation between the fractional RL derivative and fractional Caputo derivative is,

where $n-1 < \beta < n, n\in \mathbb{N}$.

Definition 2.4. The one parameter Mittag-Leffler function $(E_\beta)$ which was introduced by Mittag-Leffler, is defined as:

The two parameter Mittag-Leffler function $(E_{\beta, \gamma})$ which was first appeared in a paper by Wiman ^[42], is defined as:

Lemma 2.1. ^[36,37] If $Re(\beta)>0$, $Re(\gamma) >0$ and $p(x) \in L_s\left[a, b\right]$, where $0\leq s\leq\infty$, then the equations

holds almost everywhere for $x\in\left[a, b\right]$. If $\beta+\gamma>1$, then the expression (2.1) holds at any point on $x\in\left[a, b\right]$.

Lemma 2.2. ^[43] If $p(x)\in C^s[a, b]$, $a < b$ and $s\in \mathbb{N}$. Moreover, If $\beta, \gamma > 0$ be such that, $\exists$ some $m\in \mathbb{N}$ with $m\leq s$ and $\beta, \beta+\gamma \in [m-1, m]$. Then,

Theorem 2.1. (Existence of IVP of FDE) ^[31] Let $p(x, y)$ be a function that hold the condition $p(x_0, y(x_0)) = 0$ and also the $p(x, y)$ is continuous on the domain $R:0\leq x-x_0\leq k_1$, $\left| y-y_0\right| \leq k_2$, then FDEs:

has at least one solution in the interval $0\leq x-x_0\leq \lambda$ with $\lambda = \min\left\{k_1, \dfrac{k_2}{M}\right\}$ and $\max\limits_{(x, y)\in \mathbb{R}}{}_{C}D^{1-\beta}_{a^+}p(x, y) < M$.

Theorem 2.2. (Uniqueness of IVP of FDE) ^[31] By following the Theorem 2.1, and if $p_x(x, u)$ holds the condition of Lipschitz in the variable $u$ with Lipschitz constant $0 < L$,

then the FDEs (2.2) have unique solution.

3.   Proposed methodology

Let us assume, an IVP of FDE (1.1) in CFOD frame of variable order $\beta$. By following the Lemma 2.2, we apply a suitable analogous operation so that the FDE (1.1) will become the classical ODE, and we will get the CFOD of order $(1-\beta)$. After that, the revised IVP of FDE:

In order to obtain the efficient and appropriate approximate solution of the IVP of FDEs (3.1), we proposed two effective and fast numerical scheme for IVP of FDEs which are fractional RK3 ^{[25,26,27,28]} and fractional SSRK3 ^[44,45,46]. These two fractional numerical scheme is more accurate and fast compared to all other linear and quadratic convergence scheme for IVP of FDEs (1.1). Below is our fractional RK3 scheme.

3.1.   Fractional RK3 scheme of FDE

To establish the numerical solution of the IVP of fractional order differential equation (3.1) in the interval $[a, b]$, we propose the algorithm fractional RK3 scheme ^{[25,26,27,28]}, which is same as classical RK3 scheme for first order IVP of ODE. For approximating the solution, we consider $(x_k, y_k)$ as our set points, and we consider these points in such a way that the mesh is equally distributed in the interval $[a, b]$ where we set $x_0 = a$ and $x_{end} = b$. This idea will be good by selecting a non-negative integer, say $n$, and assuming the mesh points. So, the explicit fractional RK3 scheme is given by the Butcher tableau:

Here is the algorithm of fractional RK3 scheme of FDE (3.1):

This algorithm is a cubic convergence scheme and with the help of Matlab, it is proven to be an efficient and more accurate in the comparison of linear and quadratic convergence scheme.

Before proceeding the convergence of RK3 scheme, first we are going to state some relevant result and lemmas.

Lemma 3.1. ^[31] Let $p_x(x, u)$ be a function that satisfy the condition of Lipschitz in the unknown variable $y$, with Lipschitz constant $0 < A$,

and also hold the conditions of Theorem 2.1, also consider $P(x, y) = {}_{C}D^{1-\beta}_{x_0^+}p(x, y)$ holds the condition of Lipschitz in the unknown variable $y$, with another Lipschitz constant $0 < M$,

Lemma 3.2. Consider the function $P(x, y)$ satisfy the Lipschitz condition for the unknown variable $y$ and if the conditions of Theorem 2.1 hold, then

will always fulfill the condition of Lipschitz in the unknown variable $y$.

Proof.

Therefore, $\left|\mu(x, y_1)- \mu(x, y_2)\right|\leq L_\mu \left|y_1- y_2 \right|$, where $L_\mu = M\left(1+\frac{5hM}{6}+\frac{h^2M^2}{6}\right).$

Theorem 3.1. Let us assume the function $p_x(x, u)$ satisfy the condition of Lipschitz in the unknown variable $y$, with Lipschitz constant $0 < L$,

and $y(x)$ be the unique solution of IVP of FDEs (3.1). Also let us assume $y_k$ be the approximate solution which is generated by RK3 scheme for non-negative integer $n$. Then, for every $k = 0, 1, 2, \dots n$,

Proof. First we are taking our fractional RK3 iterative scheme which is based on $y_k = y(x_k)$, then we can write

Consider, $P(x, y) = {}_{C}D^{1-\beta}_{x_0^+} p(x, y)$, then the above expression will become,

With the help of Taylor's series, we can write the exact form of the solution,

By Eqs (3.3) and (3.4), we get $\left|y(x_{k+1})-\bar y_{k+1}\right| = O(h^4)$.

Taking,

From the above Lemmas 3.1 and 3.2, we have

Therefore,

So, error estimation will be, $\left| \epsilon_{k+1}\right| = (hL_\mu+1)\left|\epsilon_k\right|+Ch^4.$

Using recursion relation,

Since, $x_k-x_0 = kh \; {\rm{and}}\; \epsilon_0 = 0\; {\rm{then}}, \; \; (hL_\mu+1)^k\leq e^{khL_\mu} = f_\mu.$

So, we have $\left|\epsilon_k \right|\leq \frac{Ch^3}{L_\mu}\; (f_\mu -1),$ where $L_\mu = M\left(1+\frac{5hM}{6}+\frac{h^2M^2}{6}\right)\; [ {\rm{By Lemma}}\; 3.2]$

Therefore, $\left|y(x_k)-y_k\right| = O(h^3).$

This indicates that our suggested scheme fractional RK3 has a cubic convergence rate.

3.2.   Fractional SSRK3 scheme of FDE

Here, we proposed another fractional third-order Runge-Kutta scheme which is more stable and renamed as fractional strong stability preserving third-order Runge Kutta (SSRK3) scheme. So, the explicit fractional SSRK3 scheme is given by the Butcher tableau:

Here is the algorithm of fractional SSRK3 scheme of IVP of FDE (3.1):

This algorithm is also a cubic convergence scheme that is more stable and accurate than the fractional RK3 scheme and faster in comparing other linear and quadratic convergence schemes for IVP of FDEs.

Lemma 3.3. Consider the function $P(x, y)$ satisfy the Lipschitz condition for the unknown variable $y$ and if the conditions of Theorem 2.1 hold, then

will always fulfill the condition of Lipschitz in the unknown variable $y$.

Proof.

Therefore, $\left|\lambda(x, y_1)- \lambda(x, y_2)\right|\leq L_\lambda \left|y_1- y_2 \right|$, where $L_\lambda = M\left(1+\frac{hM}{3}+\frac{h^2M^2}{6}\right).$

Theorem 3.2. Let us assume the function $p_x(x, u)$ satisfy the condition of Lipschitz in the unknown variable $y$, with Lipschitz constant $0 < L$,

and $y(x)$ be the unique solution of IVP of FDEs (3.1). Also, let us assume $y_k$ be the approximate solution which is generated by third order strong stability preserving Runge Kutta scheme for non-negative integer $n$. Then, for every $k = 0, 1, 2, \dots n$,

Proof. First we are taking our fractional SSRK3 iterative scheme which depend on $y_k = y(x_k)$, then we can write

Consider, $P(x, y) = {}_{C}D^{1-\beta}_{x_0^+} p(x, y)$, then the above expression will become,

With the help of Taylor's series, we can write the exact form of the solution,

By Eqs (3.6) and (3.7), we get $\left|y(x_{k+1})-\bar y_{k+1}\right| = O(h^4)$.

Taking,

From the above Lemmas 3.1 and 3.2, we have

Therefore,

So, error estimation will be, $\left| \epsilon_{k+1}\right| = (hL_\lambda+1)\left|\epsilon_k\right|+Ch^4.$

Using recursion relation,

Since, $x_k-x_0 = kh \; {\rm{and}}\; \epsilon_0 = 0\; {\rm{then}}, \; \; (hL_\lambda+1)^k\leq e^{khL_\lambda} = f_\lambda.$

So, we have $\left|\epsilon_k \right|\leq \frac{Ch^3}{L_\lambda}\; (f_\lambda -1),$ where $L_\lambda = M\left(1+\frac{hM}{3}+\frac{h^2M^2}{6}\right).\; [ {\rm{By Lemma}}\; 3.3]$

Therefore, $\left|y(x_k)-y_k\right| = O(h^3).$

This indicates that our suggested scheme fractional SSRK3 has a cubic convergence rate.

4.   Numerical results and simulation

4.1.   Numerical examples

In this section, we present two examples of IVP of FDEs. We provide the numerical solution using our suggested scheme by comparing it with the existing fractional EM and fractional IEM using Matlab. In this illustrated example, the first example is linear IVP of FDE and the second example is non-linear IVP of FDE.

Example 4.1. ^[47] Consider the following linear IVP of FDE:

The analytic solution of FDE (4.1) is,

For $\beta = \frac{1}{2}$ and with the help of Matlab, by following our proposed scheme with step size $h = \frac{1}{10}$, the analytic and approximate solution of the FDE (4.1) is graphically shown in Figure 1 and tabulated in the Tables 1 and 2. In addition to this, the absolute error graph is shown in the Figure 2. Also, the order of convergence is tabulated in Table 3 and graphically shown in Figure 3.

Example 4.2. Consider the non-linear IVP of FDE:

The analytic solution of FDE (4.2) is,

For $\beta = \dfrac{1}{2}$ and with the help of Matlab, by following our proposed scheme with step size $h = \dfrac{1}{10}$, the analytic and approximate solution of the FDE (4.2) is graphically shown in Figure 4 and tabulated in the Tables 4 and 5. In addition to this, the absolute error graph is shown in the Figure 5. Also, the order of convergence is tabulated in Table 6 and graphically shown in Figure 6.

5.   Application examples and simulation

Example 5.1. (Fractional WPG model) ^[48] Consider the following linear IVP of FDE of WPG model,

Here, $P = B-M$ is the population production rate where B is the birth rate and M is the mortality rate. Also, $n(t)$ is the individuals population at time $t$ and $_{C}D^{\beta}$ is the $\beta$ order rate of change of population. This model (5.1) is known as fractional WPG model of order $\beta$. The analytic solution of (5.1) is,

Particularly, if we take $\beta = 1$, then that model will be classical WPG such as:

The analytic solution of (5.2) is,

The population at the initial time $t_0$ is denoted by the symbol $n_0$. It is found from the survey that the fractional population model (5.1) precisely fitted with world statistical population data with proper order $\beta$. In this article, we have taken the world census population data from the year 1920 to 2018 which is collected from the world population data sites SITE-1 or SITE-2 (taken from https://www.worldbank.org/) and also one population data from United Nations ^[49]. Here, this statistical population data is fitted for fractional order $\beta = 1.3932987548432$ ^[48] and production rate $P \approx 0.0034399$. As per statistical world population data, we found that the initial population in the year 1920 is $n_0 = 1860$ million. Also, we have taken the classical population model for which the production rate is $P \approx 0.013501$.

With the help of Matlab by following our proposed scheme with step size $h = 1$, the statistical world population data from the year 1920 to 2018 is graphically shown in Figure 7. The analytic and approximate solution of the FDE (5.1) graphically shown in Figure 8. In addition to this, the analytic and approximate solution is tabulated in Tables 7 and 8. The absolute error graph is represented in the Figure 9. Thus, from the figure and table, we found that our suggested scheme fractional RK3 and fractional SSRK3 are much more effective and accurate to the statistical population data than EM and IEM.

As per "The Census Bureau's International Data Base", the world population reached around 7.5 billion till June 2018. So, we conclude that our fractional population model for $\beta = 1.3932987548432$ is more accurate and near the statistical population data by following our fractional RK3 scheme and fractional SSRK3 scheme. Also, both our schemes give more accurate and faster results than EM and IEM algorithms.

Example 5.2. (Fractional ND model) ^[50] Consider the following time fractional radioactive decay equation:

Here $_{C}D^{\beta}_{t_0^+}$ denotes the CFOD of arbitrary order $\beta$, $\beta \in (0, 1]$ and $N(t)$ represents the number of radioactive particle at any time $t$. The quantity $N_0$ is the initial number of particles at $t = 0$ and $\lambda$ is decay constant, where $\lambda = \frac{1}{\tau}$, and $\tau$ is mean life time. The analytic solution for fractional order $0 < \beta < 1$ of FDE (5.3) is

Particularly, for $\beta = 1$, the fractional order nuclear decay equation given by FDE (5.3) reduces to the classical one,

The analytical solution of (5.4) is,

In this example, we have taken the experimental data of radioactivity of isotope of Aluminum ${\left(^{28}Al\right)}$, which represents a decay model, since particles are emitted over the time and we collect the data from the survey of research article ^[51] for both the classical nuclear model and fractional nuclear model. It is also found that our fractional model is best fit with our experimental data ^[51] for fractional order $\beta = 0.8252$ and decay constant $\lambda = 0.0314$. Here, we have also taken the classical model for comparison purpose where the values of $\beta = 1$ and decay constant $\lambda = 0.0121$. For the radioactivity of Aluminum, the initial number of radioactive particle is $N_0 = 1200$ at time $t = 0$ second.

With the help of Matlab by following our proposed scheme with step size $h = 10$ second, the analytic and approximate solution of the fractional model (5.3) as well as classical model (5.4) is graphically shown in Figure 10. In addition to this, the analytic and approximate solution is tabulated in the Tables 9 and 10. The absolute error graph is represented in the Figure 11. Thus from the figure and table, we found that our suggested scheme fractional RK3 and fractional SSRK3 are much more efficiency and accurate to the statistical population data compare to EM and IEM.

6.   Conclusions

In this research article, a remarkable study has been done for finding the numerical approximation of the IVP of FDEs (1.1) of fractional order $\beta$ where $\beta \in (0, 1]$. Here, we proposed two cubic convergence schemes: Fractional RK3 scheme and fractional SSRK3 scheme, and these schemes are based on classical RK3 scheme and classical SSRK3 scheme, respectively. We follow the analogous properties of the Caputo derivative to reduce the IVP of FDEs into an IVP of ODE of integer order. From the numerical point of view, both our suggested schemes are efficient and more accurate compared to other cubic convergence schemes as well as all linear and quadratic convergence schemes of IVP of FDEs (1.1). Also, we demonstrate the comparative numerical study of our proposed method with the existing fractional EM and fractional IEM of IVP of FDEs. In addition to this, we provide the numerical solution of two physical application examples: The fractional WPG model and fractional ND model, using our suggested work to compare with the existing scheme EM and IEM. It is proven that our suggested schemes are faster and more accurate compared with EM and IEM. The significant concluding remark of our scheme are as follows:

● The fractional RK3 scheme is a cubic convergence scheme, faster than the other linear and quadratic convergence schemes for the IVP of FDEs.

● The fractional SSRK3 scheme also has a cubic convergence scheme that is more stable and faster compared to RK3 and as well as all other cubic convergence schemes for the IVP of FDEs.

● Computationally, both schemes are effective, and we get the satisfactory numerical approximation with the help of Matlab by enlargement of step length.

Acknowledgement

The first and third author extended their appreciation to Distinguished Scientist Fellowship Program (DSFP) at King Saud University, Saudi Arabia.

Conflict of interest

All authors declare no conflicts of interest.