Abstract
In this paper a general framework is presented on some operational properties of Caputo modification of Hadamard-type fractional differential operator along with a new algorithm proposed for approximation of Hadamard-type fractional integral using Haar wavelet method. Moreover, a generalized Taylor expansion based on Caputo–Hadamard-type fractional differential operator is also established, and an example is presented for illustration.
Similar content being viewed by others
1 Introduction
The history of fractional operators dates back to the seventeenth century [1]. However, interest in this theory gained momentum after the publication of [2]. Later, Riemann constructed an integral-based fractional operator [3] which is the well-known Riemann–Liouville (R–L) integral. It proved to be a valuable research in fractional calculus and is being used extensively in this field ever since. The readers are referred to a comprehensive background history of fractional calculus and details on the R–L operators given in [4].
In the last two decades scientists and researchers presented findings dealing with the fractional calculus theory and found that integer order derivatives do not work adequately in many cases. Fractional calculus has played a very important role in fields such as turbulent fluid flows, blood flow through biological tissues, control theory, and signal and image processing, fractional Brownian motion, power law models, history-dependent process, porous media, fractional filters, etc. The detailed literature including theory and applications of fractional calculus can be found in [5–11].
There are different definitions of fractional derivatives available in the literature. However, the most commonly used is the Hadamard fractional derivative given by Hadamard [12]. Butzer et al. [13–16] studied various properties of Hadamard-type derivatives which are more generalized than the Hadamard fractional derivatives. In this context, the readers are also referred to [1] for a detailed study on generalized fractional derivatives and references therein. Caputo introduced another type of fractional derivative [17] which has an advantage over R–L derivative in a differential equation since it does not require to define the fractional order initial conditions (see, for example, [18–21]). Recently the authors in [22, 23] utilized Caputo-type modification on Hadamard factional derivatives. Moreover Trujillo et al. in [24] derived Taylor’s formula with Riemann–Liouville derivatives, and Odibat and Shawagfeh [25] derived the same based on Caputo fractional derivative. Gulsu et al. [26] extended the work of previous authors and proposed a numerical scheme to approximate solutions of relaxation–oscillation equation by using the fractional Taylor series. Finally, Fernandez and Baleanu [27] developed mean value theorem and Taylor’s theorem for certain fractional differential operators.
The present research presents an extension of Haar wavelet method to approximate Hadamard-type fractional integrals for a wide range of functions, and a new operational matrix of fractional integration of Haar wavelets is derived for Hadamard-type fractional integrals. A Caputo modification of Hadamard-type fractional derivative, motivated through [22, 23], is also carried out in this work, and composition properties of Caputo modification of Hadamard-type fractional derivative are discussed in detail. Lastly, motivated by [28] and the aforementioned studies, we also establish a generalized Taylor expansion based on Caputo–Hadamard-type fractional differential operators and present an example for illustration.
2 Preliminaries
In this section some definitions and basic concepts needed in the sequel are presented precisely. We refer the interested reader to Samko et al. [3] and Kilbas et al. [7] for more details.
The left-sided Hadamard fractional integral is defined as follows.
Definition 2.1
For \(f\in L_{p}[a,b]\), \(1\leq p<\infty \), the Hadamard fractional integral of order \(\alpha >0\) is defined as
Hadamard fractional derivative of order \(\alpha >0\) is given by
such that \(m=\lceil \alpha \rceil \) and \(\delta =x\frac{d}{dx}\).
Definition 2.2
([15])
For \(\delta ^{m}f\in L_{p}[a,b]\), the Caputo–Hadamard fractional derivative of order \(\alpha >0\) is defined as
where \(\delta ^{m}=(x\frac{d}{dx})^{m}\) and \(m=\lceil \alpha \rceil \).
We introduce the notation \(\mathfrak{\delta }=x\frac{d}{dx}\) and \(\mathfrak{D}_{c}=x^{-c}\mathfrak{\delta }\), where \(c\in \mathbb{R}\). Define a space of functions
where \(\operatorname{AC}[a,b]\) is the space of absolutely continuous functions. Note that \(\operatorname{AC}^{m}_{0}[a,b]=\operatorname{AC}^{m}[a,b]\). Furthermore, for \(c\in \mathbb{R}\), \(1\leq p<\infty \), define the space [18]
Remark 2.3
If \(f\in \operatorname{AC}^{m}_{c}[a,b]\), then there exists a function \(g\in \mathfrak{L}_{c}^{1}[a,b]\) such that
where g is a generalized derivative of f, i.e., \(g(x)=\mathfrak{D}^{m}_{c}f(x)\).
The Hadamard-type fractional integral was introduced in [15]. This operator is formally defined as follows.
Definition 2.4
For \(\alpha >0\), \(c\in \mathbb{R}\), the Hadamard-type fractional integral is defined as
For \(c=0\), the integral \(\mathfrak{I}_{a,c}^{\alpha } f(x)\) reduces to the standard Hadamard fractional integral \(\mathfrak{I}_{a,c}^{\alpha } f(x)\).
Lemma 2.5
Let\(f\in \mathfrak{L}_{c}^{1}[a,b]\)and\(\alpha >0\). Then integral\(\mathfrak{I}_{a,c}^{\alpha } f(x)\)exists and\(\mathfrak{I}_{a,c}^{\alpha } f(x)\in \mathfrak{L}_{c}^{1}[a,b]\).
The Hadamard-type fractional differential operator is defined as follows.
Lemma 2.6
For\(\beta >0\), \(c\in R\), let\(f(x)=x^{-c} (\log \frac{x}{a} )^{\beta }\). Then
Definition 2.7
Let \(f\in \mathfrak{L}_{c}^{1}[a,b]\) and \(m-1<\alpha \leq m\), \(m\in \mathbb{N}\). Then the Hadamard-type fractional derivative of f is defined by
Definition 2.8
Let \(f\in \operatorname{AC}^{m}_{c}[a,b]\) and \(m-1<\alpha \leq m\), \(m\in \mathbb{N}\). Then the Caputo modification of Hadamard-type derivative is given by
Lemma 2.9
For\(\alpha \geq 0\), \(m=\lceil \alpha \rceil \), and\(\mu >-1\), consider the function
the Caputo–Hadamard-type derivative offis given by
if\(\mu \in \mathbb{N}\)and\(\mu \geq n\), or\(\mu \notin \mathbb{N}\)and\(\mu >m-1\). Otherwise
if\(\mu \in \{0,1,2,3,\ldots,m-1\}\).
3 Approximation of Hadamard-type fractional integral
Wavelets have been used for numerical integration by several researchers. Based on wavelets, Hashish et al. [29] introduced a method for obtaining approximate value of integrals. In [30, 31], Aziz et al. formulated a numerical integration scheme based on Haar wavelets and hybrid functions. In this section, we develop a method for approximating the Hadamard-type fractional integral. The method presented here is based on operational matrices of fractional integration. The operational matrix of integration for Hadamard-type fractional integral is introduced as follows.
For \(x\in [a,b]\), the modified ith Haar wavelet is defined as
where \(c\in \mathbb{R}\),
where
It is to be noted that J is the maximal resolution level. It is observed that the Haar wavelets and modified Haar wavelets are related as \(\mathcal{H}_{i}(x)=x^{c}h_{i}(x)\), where \(h_{i}(x)\) is the ith Haar wavelet [32].
To approximate Hadamard-type integral by Haar wavelets, the Hadamard-type integrals of Haar wavelets is required. Using the definition of \(\mathcal{H}_{i}(x)\), these integrals can be analytically evaluated using Lemma 2.6.
For \(x\in [a,b]\),
For \(x\in [\eta _{1}(i),\eta _{2}(i))\),
Now, for \(x\in [\eta _{2}(i),\eta _{3}(i))\),
Finally, for \(x\geq n_{3}(i)\),
In summary, we have
A function \(f\in L_{1}[a,b]\) is represented by Haar-type wavelet as
where
In applications, a function f is approximated by the kth partial sum of the Haar series as
We now introduce an operational matrix of Hadamard-type integration using the modified Haar wavelets. Let \(\mathcal{M}(x)=[\mathcal{H}_{0}(x), \mathcal{H}_{1}(x),\mathcal{H}_{2}(x),\ldots,\mathcal{H}_{k-1}(x)]\), then at collocation points are
The Hadamard-type fractional integration of Haar wavelets yields
where \(\mathcal{P}_{k\times k}\) is the operational matrix of Hadamard-type integration for Haar type wavelets. The approximation of the fractional Hadamard-type integral is given as follows:
Example 3.1
Let \(f(x)=x^{-c} (\log \frac{x}{a} )^{\alpha }\). Then we have
The numerical and exact values of the integral \(\mathfrak{I}_{a,c}^{\alpha }f(x)\) are shown in Table 1. Plots for different values of c along with graphs of absolute error are shown in Figs. 1 and 2.
Example 3.2
Let \(g(x)=x^{\alpha -c}\sin (3\alpha x)\). The Hadamard-type fractional integral of g is computed for \(1\leq \alpha \leq 2\), \(1\leq x\leq 8\). The graph for numerical values is presented in Fig. 3. The resolution level is taken as \(J=6\).
4 Properties of Hadamard-type fractional operators
In the following identity, a relationship between Hadamard-type fractional derivative of order \(\alpha >0\) and a Caputo modification of Hadamard-type derivative of the same order is established.
To simplify the calculations, a variant of integration by parts formula in notations of Hadamard-type calculus is introduced. For \(f,g\in \mathfrak{L}_{c}^{1}[a,b]\), the following relation holds:
Theorem 4.1
Let\(f\in \operatorname{AC}^{m}_{c}[a,b]\)and\(m-1<\alpha \leq m\), \(m\in \mathbb{N}\). Then
Proof
The proof follows from Eq. (4.5) and Theorem 2.1 in [22]. □
For composition properties of Hadamard-type integral and Riemann–Liouville Hadamard-type derivative, the reader is referred to [13–16]. In the following section, we present an important property for Caputo–Hadamard-type operators, which plays an important role in the qualitative analysis of fractional differential equations.
Lemma 4.2
Assume\(f\in \operatorname{AC}^{m}_{c}[a,b]\)and\(m\in \mathbb{N}\). Then
Proof
For \(m=1\), by definitions of \(\mathfrak{I}^{1}_{a,c}\) and \(\mathfrak{D}^{1}_{c}\), we have
Assume that identity (4.2) holds for \(m-1\), where \(m>1\). Then, by the semigroup property for \(\mathfrak{I}_{a,c}\) and \(\mathfrak{D}_{c}\), we have
Finally, using (4.2), we get
□
It is a common practice to transform an initial value problem or boundary value problem to an equivalent Volterra integral equation to perform qualitative analysis. In this context, the following property for Caputo–Hadamard-type operator, which is very useful for the qualitative analysis of Caputo–Hadamard differential equations, is established.
Theorem 4.3
Assume\(f\in \operatorname{AC}^{m}_{c}[a,b]\)and\(m-1<\alpha \leq m\), \(m\in \mathbb{N}\). Then
Proof
The proof follows from the definition of \({}^{C}\mathfrak{D}^{\alpha }_{c}\), the semigroup property of \(\mathfrak{I}^{\alpha }_{a,c}\), and Lemma 4. □
For convenience, the Leibniz rule for Hadamard-type calculus is stated. The proof of the following lemma follows from the standard Leibniz rule, where the notation
is used to represent the partial derivative.
Lemma 4.4
Assume that\(h(x,t)\)and\(\frac{\partial }{\partial x}h(x,t)\in (\operatorname{AC}^{m}_{c}[a,b])^{2}\). Then
Lemma 4.5
If\(\mu \geq \alpha \)and\(f\in \operatorname{AC}^{m}_{c}[a,b]\), then\({}^{C}\mathfrak{D}^{\alpha }_{c}\mathfrak{I}^{\mu }_{a,c}f(x) = \mathfrak{I}^{\mu -\alpha }_{a,c}f(x)\).
Proof
By Definition 2.8, Lemma 4.4, and the semigroup property of \(\mathfrak{I}^{\alpha }_{c}\), we have
□
Lemma 4.6
Let\(f\in \operatorname{AC}^{m}_{c}[a,b]\)and\(\alpha \geq 0\), \(\beta \geq 0\)such that\(m-1<\alpha \leq m\)and\(n-1<\beta \leq n\). Then
Proof
Without loss of generality, let \(n\geq m\). Thus \(n=m+k\), \(k\in \{0,1,2, \ldots\}\). Since \(\alpha +\beta =m+n\), then by the definition of \({}_{C}\mathfrak{D}^{\alpha }_{a,c}\) and the semigroup property of fractional integral \(\mathfrak{I}^{\alpha }_{a}\), we have
By Theorem 4.3, we have
Let \(\lceil \beta \rceil =n=m+k\) and since
Therefore
For \(\beta \geq 0\), we have \({}^{C}\mathfrak{D}^{\beta }_{a,c}f(a)=0\). Thus
which establishes the required identity. □
Remark 4.7
From Definition 2.4, we notice an obvious relation
between Hadamard-type integral \(\mathfrak{I}_{a,c}^{\alpha }\) and Hadamard integral \(\mathfrak{I}_{a}^{\alpha }\). Also, from Definition 2.7 and Eq. (4.3), Hadamard-type derivative \(\mathfrak{D}^{\alpha }_{a,c}\) and Hadamard derivative \(\mathfrak{D}^{\alpha }_{c}\) are related as follows:
A similar relation holds between a Caputo modification of Hadamard-type derivative \({}^{C}\mathfrak{D}^{\alpha }_{a,c}\) and a Caputo modification of Hadamard derivative \({}^{C}\mathfrak{D}^{\alpha }_{a}\), that is,
5 Taylor’s formula
In this section, Taylor’s formula involving Caputo–Hadamard-type derivative is discussed. To establish the main theorem, the following result is required.
Theorem 5.1
Let\(0<\alpha \leq 1\)and\(f\in \operatorname{AC}[a,b]\)such that\({}^{C}\mathfrak{D}^{\alpha }_{a,c}f\in C[a,b]\). Then, for all\(x\in [a,b]\), there exists\(\xi \in [a,b]\)such that, for\(\xi \in [a,x]\),
Proof
Since \(0<\alpha \leq 1\), we have by Theorem 4.3
Using the definition of \(\mathfrak{I}^{\alpha }_{a,c}\) and by the integral mean value theorem, we obtain
where \(\xi =(a, x)\). Hence, we get
□
Proposition 5.2
If\(0<\alpha \leq 1\), \(j\in \mathbb{N}\), and\(f\in \operatorname{AC}^{m}_{c}[a,b]\), then
Proof
By Lemma 4.6, Theorem 4.3, and Eq. (5.1), we have
□
Theorem 5.3
Let\(0< a< b<\infty \)and\(0<\alpha \leq 1\). Letmbe an arbitrary nonnegative integer. Let\(f\in \operatorname{AC}^{m}_{c}[a,b]\)and suppose\({}^{C}\mathfrak{D}^{(j+1)\alpha }_{a,c}f\in C[a,b]\). Then, for\(\xi =[a,x]\), Taylor’s formula involving Caputo–Hadamard-type fractional derivatives writes
Proof
Using Proposition 5.2, we have
It follows
Replacing α by \((m+1)\alpha \) in Eq. (5.2), we get
Consequently, (5.3) follows by substituting (5.5) in (5.4). □
Example 5.4
For \(0<\alpha \leq 1\), let a, μ be nonzero real numbers and \(f\in C[a,\infty )\). Consider the Caputo–Hadamard-type fractional differential equation
Assume that f has the power series representation
Applying \({}^{C}\mathfrak{D}^{\alpha }_{a}\) on both sides of (5.7) and using Lemma 2.9, we have
Using Eqs. (5.7) and (5.8) in (5.6), we have
Solving the difference equation (5.9) for \(q_{j}\), we get
Substituting \(q_{j}\) from Eq. (5.10) into Eq. (5.7), we have
where \(E_{\alpha }(\cdot )\) is the Mittag-Leffler function.
References
Katugampola, U.N.: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6(4), 1–15 (2014)
Liouville, J.: Mémoire sur quelques Quéstions de Géometrie et de Mécanique, et sur un nouveau genre de Calcul pour résoudre ces Quéstions. J. Éc. Polytech. XIII, XXIe cahier, 1–69 (1832)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Amsterdam (1993)
Munkhamar, M.: Riemann–Liouville fractional derivatives and the Taylor–Riemann series. Uppsala University, Department of Mathematics
Oldham, K.B., Spanier, J.: The Fractional Calculus. Academic Press, New York (1974)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Atangana, A., Botha, J.F.: Generalized groundwater flow equation using the concept of variable order derivative. Bound. Value Probl. 2013, 53 (2013). https://doi.org/10.1186/1687-2770-2013-53
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Zaslavsky, G.M.: Hamiltonian Chaos and Fractional Dynamics. Oxford University Press, London (2005)
Atangana, A., Secer, A.: The time-fractional coupled-Korteweg–de-Vries equations. Abstr. Appl. Anal. 2013, Article ID 947986 (2013)
Hadamard, J.: Essai sur l’etude des fonctions donnees par leur developpment de Taylor. J. Math. Pures Appl. 4(8), 101–186 (1892)
Kilbas, A.: Hadamard-type fractional calculus. J. Korean Math. Soc. 38(6), 1191–1204 (2001)
Butzer, P.L., Kilbas, A.A., Trujillo, J.J.: Compositions of Hadamard-type fractional integration operators and the semigroup property. J. Math. Anal. Appl. 269, 387–400 (2002)
Butzer, P.L., Kilbas, A.A., Trujillo, J.J.: Fractional calculus in the Mellin setting and Hadamard-type fractional integrals. J. Math. Anal. Appl. 269, 1–27 (2002)
Butzer, P.L., Kilbas, A.A., Trujillo, J.J.: Mellin transform analysis and integration by parts for Hadamard-type fractional integrals. J. Math. Anal. Appl. 270, 1–15 (2002)
Caputo, M.: Linear model of dissipation whose Q is almost frequency independent. II. Geophys. J. Int. 13(5), 529–539 (1967)
Ma, L., Li, C.: On Hadamard fractional calculus. Fractals 25(3), 1750033 (2017). https://doi.org/10.1142/S0218348X17500335
Li, C., Qian, D., Chen, Y.: On Riemann–Liouville and Caputo derivatives. Discrete Dyn. Nat. Soc. 2011, Article ID 562494 (2011). https://doi.org/10.1155/2011/562494
Almeida, R., Torres, D.F.M.: Calculus of variations with fractional derivatives and fractional integrals. Appl. Math. Lett. 22(12), 1816–1820 (2009)
Alsaedi, A., Ahmad, B., Alghanmi, M.: Extremal solutions for generalized Caputo fractional differential equations with Steiltjes-type fractional integro-initial conditions. Appl. Math. Lett. 91, 113–120 (2019)
Jarad, F., Abdeljawad, T., Baleanu, D.: Caputo-type modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2012, 142 (2012)
Gambo, Y.Y., Jarad, F., Baleanu, D., Abdeljawad, T.: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. (2014). https://doi.org/10.1186/1687-1847-2014-10
Trujillo, J.J., Rivero, M., Bonilla, B.: On a Riemann–Liouville generalized Taylor’s formula. J. Math. Anal. Appl. 231, 255–265 (1999)
Odibat, Z.M., Shawagfeh, N.T.: Generalized Taylor’s formula. Appl. Math. Comput. 186, 286–293 (2007)
Gulsu, M., Ozturk, Y., Anapali, A.: Numerical approach for solving fractional relaxation–oscillation equation. Appl. Math. Model. 37, 5927–5937 (2013)
Fernandez, A., Baleanu, D.: The mean value theorem and Taylor’s theorem for fractional derivatives with Mittag–Leffler kernel. Adv. Differ. Equ. 2018, 86 (2018). https://doi.org/10.1186/s13662-018-1543-9
Benjemaa, M.: Taylor’s formula involving generalized fractional derivatives. Appl. Math. Comput. 335, 182–195 (2018)
Hashish, H., Behiry, S.H., El-Shamy, N.A.: Numerical integration using wavelets. Appl. Math. Comput. 211, 480–487 (2009)
Aziz, I., Islam, S., Khan, W.: Quadrature rules for numerical integration based on Haar wavelets and hybrid functions. Comput. Math. Appl. 61, 2770–2781 (2011)
Islam, S., Aziz, I., Haq, F.: A comparative study of numerical integration based on Haar wavelets and hybrid functions. Comput. Math. Appl. 59, 2026–2036 (2010)
Lepik, U.: Solving integral and differential equations by the aid of non-uniform Haar wavelets. Appl. Math. Comput. 198(1), 326–332 (2008)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All the authors contributed in the investigation. MR proposed the study. MR and MS finalized the manuscript. All the authors read and approved the submission of the article in this form.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zafar, R., Rehman, M.u. & Shams, M. On Caputo modification of Hadamard-type fractional derivative and fractional Taylor series. Adv Differ Equ 2020, 219 (2020). https://doi.org/10.1186/s13662-020-02658-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02658-1