Hanaa Zitane,Delfim F. M. Torres
Abstract:We prove a useful formula and new properties for the recently introduced power fractional calculus with non-local and non-singular kernels. In particular, we prove a new version of Gronwall's inequality involving the power fractional integral; and we establish existence and uniqueness results for nonlinear power fractional differential equations using fixed point techniques. Moreover, based on Lagrange polynomial interpolation, we develop a new explicit numerical method in order to approximate the solutions of a rich class of fractional differential equations. The approximation error of the proposed numerical scheme is analyzed. For illustrative purposes, we apply our method to a fractional differential equation for which the exact solution is computed, as well as to a nonlinear problem for which no exact solution is known. The numerical simulations show that the proposed method is very efficient, highly accurate and converges quickly.
What problem does this paper attempt to address?
This paper attempts to solve the following problems:
1. **Establish new mathematical tools and theories**:
- The authors introduce new formulas and properties of power - fractional - order calculus with non - local and non - singular kernels. In particular, they prove a new version of the Gronwall inequality involving power - fractional - order integrals.
- The formula is as follows:
\[
h(t)\leq u(t)+v(t)pI_{a,t}^{\alpha,\beta,p}h(t)
\]
Derived:
\[
h(t)\leq\frac{u(t)}{1 - \varphi(\alpha)v(t)}+\int_{a}^{t}\sum_{n = 1}^{\infty}\left(\ln(p)\cdot\psi(\alpha)v(t)\right)^{n}\frac{(t - s)^{n\beta- 1}}{\Gamma(n\beta)}\frac{u(s)}{(1-\varphi(\alpha)v(t))^{n}(1-\varphi(\alpha)v(s))}ds
\]
2. **Study the existence and uniqueness of nonlinear fractional - order differential equations**:
- Using the fixed - point technique, the authors establish the existence and uniqueness results of solutions to nonlinear power - fractional - order differential equations.
- For the equation:
\[
{}^{C}_{p}D_{a,t}^{\alpha,\beta,p}y(t)=f(t,y(t)),\quad t\in[a,b]
\]
With the initial condition:
\[
y(a)=y_{0}
\]
Through the Lipschitz condition:
\[
|f(t,y)-f(t,z)|\leq L|y - z|
\]
And the condition:
\[
L\left(\varphi(\alpha)+\ln(p)\cdot\psi(\alpha)\frac{(b - a)^{\beta}}{\Gamma(\beta + 1)}\right)<1
\]
The existence and uniqueness of the solution are proved.
3. **Develop new numerical methods**:
- Based on Lagrange polynomial interpolation, the authors develop a new explicit numerical method to approximate the solutions of a class of fractional - order differential equations and analyze the approximation error of this numerical scheme.
- The core formula of the numerical method is:
\[
y_{n + 1}=\frac{\omega(a)}{\omega(t_{n})}y_{0}+\varphi(\alpha)f(t_{n},y_{n})+\frac{\ln(p)\cdot\psi(\alpha)h^{\beta}}{\Gamma(\beta + 2)\omega(t_{n})}\sum_{k = 1}^{n}\left[\omega(t_{k-1})f(t_{k-1},y_{k-1})A_{n,k}^{\beta}+\omega(t_{k})f(t_{k},y_{k})B_{n,k}^{\beta}\right]
\]
Where:
\[
A_{n,k}^{\beta}=(n - k)^{\beta}(n - k + 1+\beta)-(n - k + 1)^{\beta+1}
\]
\[
B_{n,k}^{\beta}=(n - k + 1)^{\beta}(n - k + 2+\beta)-(n - k)^{\beta}(n - k + 2+2\beta)
\]
Through these efforts, the authors aim to provide a powerful mathematical framework for solving complex problems.