Katugampola fractional operators

In mathematics, Katugampola fractional operators are integral operators that generalize the Riemann–Liouville and the Hadamard fractional operators into a unique form. The Katugampola fractional integral generalizes both the Riemann–Liouville fractional integral and the Hadamard fractional integral into a single form and It is also closely related to the Erdelyi–Kober operator that generalizes the Riemann–Liouville fractional integral. Katugampola fractional derivative has been defined using the Katugampola fractional integral and as with any other fractional differential operator, it also extends the possibility of taking real number powers or complex number powers of the integral and differential operators.

Definitions

These operators have been defined on the following extended-Lebesgue space.

Let ${\text{X}}_c^p(a,b),c\in \mathbb{ℝ},1\le p\le \mathrm{\infty }$ be the space of those Lebesgue measurable functions $f$ on $[a,b]$ for which $\Vert f{\Vert }_{{\text{X}}_c^p}<\mathrm{\infty }$, where the norm is defined by $$\begin{array}{r}\Vert f{\Vert }_{{\text{X}}_c^p}={(\underset{a}{\overset{b}{\int }}|t^{c}f(t){|}^p\frac{dt}{t})}^{1/p}<\mathrm{\infty },\end{array}$$ for $1\le p<\mathrm{\infty },c\in \mathbb{ℝ}$ and for the case $p=\mathrm{\infty }$ $$\begin{array}{r}\Vert f{\Vert }_{{\text{X}}_c^{\mathrm{\infty }}}={\text{ess sup}}_{a\le t\le b}[t^c|f(t)|],(c\in \mathbb{ℝ}).\end{array}$$

Katugampola fractional integral

It is defined via the following integrals

$({}^{\rho }{{ℐ}}_{a+}^{\alpha }f)(x)=\frac{{\rho }^{1-\alpha }}{\mathrm{\Gamma }(\alpha )}\underset{a}{\overset{x}{\int }}\frac{{\tau }^{\rho -1}f(\tau )}{(x^{\rho }-{\tau }^{\rho }{)}^{1-\alpha }}d\tau ,$

(1)

  for $x>a$ and $\mathrm{Re}(\alpha )>0.$ This integral is called the left-sided fractional integral. Similarly, the right-sided fractional integral is defined by,  

$({}^{\rho }{{ℐ}}_{b-}^{\alpha }f)(x)=\frac{{\rho }^{1-\alpha }}{\mathrm{\Gamma }(\alpha )}\underset{x}{\overset{b}{\int }}\frac{{\tau }^{\rho -1}f(\tau )}{({\tau }^{\rho }-x^{\rho }{)}^{1-\alpha }}d\tau .$

(2)

  for $x<b$ and $\mathrm{Re}(\alpha )>0$.

These are the fractional generalizations of the $n$-fold left- and right-integrals of the form

$\underset{a}{\overset{x}{\int }}{t}_1^{\rho -1}d{t}_1\underset{a}{\overset{t_1}{\int }}{t}_2^{\rho -1}d{t}_2\cdots \underset{a}{\overset{t_{n-1}}{\int }}{t}_n^{\rho -1}f(t_n)d{t}_n$

and

$\underset{x}{\overset{b}{\int }}{t}_1^{\rho -1}d{t}_1\underset{t_1}{\overset{b}{\int }}{t}_2^{\rho -1}d{t}_2\cdots \underset{t_{n-1}}{\overset{b}{\int }}{t}_n^{\rho -1}f(t_n)d{t}_n$ for $n\in \mathbb{\mathbb{N}},$

respectively. Even though the integral operators in question are close resemblance of the famous Erdélyi–Kober operator, it is not possible to obtain the Hadamard fractional integrals as a direct consequence of the Erdélyi–Kober operators. Also, there is a corresponding fractional derivative, which generalizes the Riemann–Liouville and the Hadamard fractional derivatives. As with the case of fractional integrals, the same is not true for the Erdélyi–Kober operator.

Katugampola fractional derivative

As with the case of other fractional derivatives, it is defined via the Katugampola fractional integral.

Let $\alpha \in \mathbb{ℂ},\mathrm{Re}(\alpha )\ge 0,n=[\mathrm{Re}(\alpha )]+1$ and $\rho >0.$ The generalized fractional derivatives, corresponding to the generalized fractional integrals (1) and (2) are defined, respectively, for $0\le a<x<b\le \mathrm{\infty }$, by

The half-derivative of the function $f(x)=x^{0.5}$ for the Katugampola fractional derivative.

The half derivative of the function $f(x)=x^{\nu }$ for the Katugampola fractional derivative for $\alpha =0.5$ and $\rho =2$.

$\begin{array}{rl}\left({}^{\rho }{{𝒟}}_{a+}^{\alpha }f\right)(x)& =\left(x^{1-\rho }\frac{d}{dx}{)}^n\right({}^{\rho }{{ℐ}}_{a+}^{n-\alpha }f)(x)\\ & =\frac{{\rho }^{\alpha -n+1}}{\mathrm{\Gamma }(n-\alpha )}(x^{1-\rho }\frac{d}{dx}{)}^n\underset{a}{\overset{x}{\int }}\frac{{\tau }^{\rho -1}f(\tau )}{(x^{\rho }-{\tau }^{\rho }{)}^{\alpha -n+1}}d\tau ,\end{array}$

and

$\begin{array}{rl}\left({}^{\rho }{{𝒟}}_{b-}^{\alpha }f\right)(x)& =(-x^{1-\rho }\frac{d}{dx}{)}^n({}^{\rho }{{ℐ}}_{b-}^{n-\alpha }f)(x)\\ & =\frac{{\rho }^{\alpha -n+1}}{\mathrm{\Gamma }(n-\alpha )}(-x^{1-\rho }\frac{d}{dx}{)}^n\underset{x}{\overset{b}{\int }}\frac{{\tau }^{\rho -1}f(\tau )}{({\tau }^{\rho }-x^{\rho }{)}^{\alpha -n+1}}d\tau ,\end{array}$

respectively, if the integrals exist.

These operators generalize the Riemann–Liouville and Hadamard fractional derivatives into a single form, while the Erdelyi–Kober fractional is a generalization of the Riemann–Liouville fractional derivative. When, $b=\mathrm{\infty }$, the fractional derivatives are referred to as Weyl-type derivatives.

Caputo–Katugampola fractional derivative

There is a Caputo-type modification of the Katugampola derivative that is now known as the Caputo–Katugampola fractional derivative. Let $f\in L^1[a,b],\alpha \in (0,1]$ and $\rho$. The C-K fractional derivative of order $\alpha$ of the function $f:[a,b]\to \mathbb{ℝ},$ with respect to parameter $\rho$ can be expressed as

${}^C{{𝒟}}_{a+}^{\alpha ,\rho }f(t)=\frac{{\rho }^{\alpha }{t}^{1-\alpha }}{\mathrm{\Gamma }(1-\alpha )}\frac{d}{dt}\underset{a}{\overset{t}{\int }}\frac{s^{\rho -1}}{(t^{\rho }-s^{\rho }{)}^{\alpha }}[f(s)-f(a)]ds.$

It satisfies the following result. Assume that $f\in C^1[a,b]$, then the C-K derivative has the following equivalent form

${}^C{{𝒟}}_{a+}^{\alpha ,\rho }f(t)=\frac{{\rho }^{\alpha }}{\mathrm{\Gamma }(1-\alpha )}\underset{a}{\overset{t}{\int }}\frac{f^{\prime }(s)}{(t^{\rho }-s^{\rho }{)}^{\alpha }}ds.$

Hilfer–Katugampola fractional derivative

Another recent generalization is the Hilfer-Katugampola fractional derivative. Let order $0<\alpha <1$ and type $0\le \beta \le 1$. The fractional derivative (left-sided/right-sided), with respect to $x$, with $\rho >0$, is defined by

$\begin{array}{rl}({}^{\rho }{{𝒟}}_{a\pm }^{\alpha ,\beta }\phi )(x)& =(\pm {}^{\rho }{{𝒥}}_{a\pm }^{\beta (1-\alpha )}\left(t^{\rho -1}\frac{d}{dt}\right){}^{\rho }{{𝒥}}_{a\pm }^{(1-\beta )(1-\alpha )}\phi )(x)\\ & =(\pm {}^{\rho }{{𝒥}}_{a\pm }^{\beta (1-\alpha )}{\delta }_{\rho }{}^{\rho }{{𝒥}}_{a\pm }^{(1-\beta )(1-\alpha )}\phi )(x),\end{array}$

where ${\delta }_{\rho }=t^{\rho -1}\frac{d}{dt}$, for functions $\phi$ in which the expression on the right hand side exists, where ${𝒥}$ is the generalized fractional integral

Mellin transform

As in the case of Laplace transforms, Mellin transforms will be used specially when solving differential equations. The Mellin transforms of the left-sided and right-sided versions of Katugampola Integral operators are given by

Theorem

Let $\alpha \in {𝒞},\mathrm{Re}(\alpha )>0,$ and $\rho >0.$ Then, $$\begin{array}{rl}& {ℳ}\left({}^{\rho }{{ℐ}}_{a+}^{\alpha }f\right)(s)=\frac{\mathrm{\Gamma }(1-\frac{s}{\rho }-\alpha )}{\mathrm{\Gamma }(1-\frac{s}{\rho }){\rho }^{\alpha }}{ℳ}f(s+\alpha \rho ),\mathrm{Re}(s/\rho +\alpha )<1,x>a,\\ & {ℳ}\left({}^{\rho }{{ℐ}}_{b-}^{\alpha }f\right)(s)=\frac{\mathrm{\Gamma }\left(\frac{s}{\rho }\right)}{\mathrm{\Gamma }(\frac{s}{\rho }+\alpha ){\rho }^{\alpha }}{ℳ}f(s+\alpha \rho ),\mathrm{Re}(s/\rho )>0,x<b,\end{array}$$

for $f\in {\text{X}}_{s+\alpha \rho }^1({\mathbb{ℝ}}^{+})$, if ${ℳ}f(s+\alpha \rho )$ exists for $s\in \mathbb{ℂ}$.

Hermite-Hadamard type inequalities

Katugampola operators satisfy the following Hermite-Hadamard type inequalities:

Theorem

Let $\alpha >0$ and $\rho >0$. If $f$ is a convex function on $[a,b]$, then $$f\left(\frac{a+b}{2}\right)\le \frac{{\rho }^{\alpha }\mathrm{\Gamma }(\alpha +1)}{4(b^{\alpha }-a^{\alpha }{)}^{\alpha }}[{}^{\rho }{{ℐ}}_{a+}^{\alpha }F(b)+{}^{\rho }{{ℐ}}_{b-}^{\alpha }F(a)]\le \frac{f(a)+f(b)}{2},$$ where $F(x)=f(x)+f(a+b-x),x\in [a,b]$.

When $\rho \to 0^{+}$, in the above result, the following Hadamard type inequality holds:

Corollary

Let $\alpha >0$. If $f$ is a convex function on $[a,b]$, then $$f\left(\frac{a+b}{2}\right)\le \frac{\mathrm{\Gamma }(\alpha +1)}{4{(\ln \frac{b}{a})}^{\alpha }}[{\mathbf{𝐈}}_{a+}^{\alpha }F(b)+{\mathbf{𝐈}}_{b-}^{\alpha }F(a)]\le \frac{f(a)+f(b)}{2},$$ where ${\mathbf{𝐈}}_{a+}^{\alpha }$ and ${\mathbf{𝐈}}_{b-}^{\alpha }$ are left- and right-sided Hadamard fractional integrals.

Recent Development

These operators have been mentioned in the following works:

1. Fractional Calculus. An Introduction for Physicists, by Richard Herrmann
2. Fractional Calculus of Variations in Terms of a Generalized Fractional Integral with Applications to Physics, Tatiana Odzijewicz, Agnieszka B. Malinowska and Delfim F. M. Torres, Abstract and Applied Analysis, Vol 2012 (2012), Article ID 871912, 24 pages
3. Introduction to the Fractional Calculus of Variations, Agnieszka B Malinowska and Delfim F. M. Torres, Imperial College Press, 2015
4. Advanced Methods in the Fractional Calculus of Variations, Malinowska, Agnieszka B., Odzijewicz, Tatiana, Torres, Delfim F.M., Springer, 2015
5. Expansion formulas in terms of integer-order derivatives for the Hadamard fractional integral and derivative, Shakoor Pooseh, Ricardo Almeida, and Delfim F. M. Torres, Numerical Functional Analysis and Optimization, Vol 33, Issue 3, 2012, pp 301–319.

Further reading

• Miller, Kenneth S. (1993). Ross, Bertram. ed. An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley. ISBN 0-471-58884-9. 
• Oldham, Keith B.; Spanier, Jerome (1974). The Fractional Calculus; Theory and Applications of Differentiation and Integration to Arbitrary Order. Mathematics in Science and Engineering. V. Academic Press. ISBN 0-12-525550-0. 
• Podlubny, Igor (1998). Fractional Differential Equations. An Introduction to Fractional Derivatives, Fractional Differential Equations, Some Methods of Their Solution and Some of Their Applications. Mathematics in Science and Engineering. 198. Academic Press. ISBN 0-12-558840-2. 
• Herrmann, Richard (2011). Fractional Calculus. An Introduction for Physicists. World Scientific. ISBN 978-981-4340-24-3. 
• Machado, J.T.; Kiryakova, V.; Mainardi, F. (2011). "Recent history of fractional calculus". Communications in Nonlinear Science and Numerical Simulations 16 (3): 1140. doi:10.1016/j.cnsns.2010.05.027. Bibcode: 2011CNSNS..16.1140M. http://mechatronics.ece.usu.edu/foc/wcica2010tw/Recent%20History%20of%20Fractional%20Calculus-typeset.pdf. Retrieved 2016-01-02. 

Notes

The CRONE (R) Toolbox, a Matlab and Simulink Toolbox dedicated to fractional calculus, can be downloaded at http://cronetoolbox.ims-bordeaux.fr