- Research
- Open access
- Published:
Wirtinger-type inequalities for Caputo fractional derivatives via Taylor’s formula
Journal of Inequalities and Applications volume 2024, Article number: 115 (2024)
Abstract
In this study, we firstly derive a Wirtinger-type result, which gives the connection in between the integral of square of a function and the integral of square of its Caputo fractional derivatives with the help of left-sided and right-sided fractional Taylor’s Formulas. Afterward, we provide a more general inequality involving Caputo fractional derivatives for \(L_{r}\) norm with \(r>1\) via Hölder’s inequality. Also, similar inequalities for Riemann–Liouville fractional derivatives are presented by means of a relation between Caputo fractional derivatives and Riemann–Liouville fractional derivatives.
1 Introduction
Fractional calculus is one of the most important topics of mathematical analysis and its history is as old as that of differential calculus. In the 20th century, the theory of fractional integrals and derivatives swiftly developed by interested researchers, due to the abundance of application areas in different disciplines. During the last few decades, different types of these fractional integrals and derivatives have been defined and applied in many fields, such as viscoelasticity, optics, optimization, atmospheric and statistical physics, electrical and mechanical engineering, control theory, bioengineering, etc. Moreover, with the development of the theory of fractional integral and derivative of arbitrary order, the fractional integral inequalities that are usually used in optimization problems are improved by a lot of researchers in recent years. Also, a fractional generalization of Taylor’s formula, which gives an approximation of a higher order differentiable function is provided by Anastassiou in [5] and it is named as right-sided Caputo fractional Taylor formula (CFTF). Afterward, some authors examined Ostrowski and Hermite–Hadamard-type inequalities involving fractional derivatives via right-sided CFTF. For instance, Sarikaya provided some Ostrowski type integral inequalities for functions whose Caputo fractional derivatives belong to \(L_{p}\) with \(1\leq p\leq \infty \) by means of right-sided CFTF in [29]. In addition, Anastassiou gave some results of Ostrowski type for functions whose Caputo fractional derivatives are bounded in [6]. In [15], Hermite–Hadamard-type results for higher-order differentiable mappings were obtained via Caputo fractional derivatives.
On the other side, theory of inequality plays a key role in many application areas of mathematics such as optimization, special means, estimations of integrals, etc. Wirtinger’s inequality, which was first used to establish the isoperimetric inequality in 1904, is one of the most important inequalities in literature. What makes this result so important is that it compares integrals involving a function and its derivative. The classical Wirtinger inequality compares the integral of square of a function with the integral of square of its derivative. In other words, this inequality [18] expresses that if \(\psi \in C^{1}\left ( \left [ \lambda ,\mu \right ] \right ) \) satisfies \(\psi \left ( \lambda \right ) =\psi \left ( \mu \right ) =0 \), then
A large number of researchers focus on Wirtinger-type inequalities such as Bessel, Blaschke, Beesack, Poincare and Sobolev owing to importance of Wirtinger inequality. For example, Beesack extended the inequality (1) as follows:
Theorem 1
[8] For any \(\psi \in C^{2}\left ( \left [ \lambda ,\mu \right ] \right ) \) providing \(\psi \left ( \lambda \right ) =\psi \left ( \mu \right ) =0 \), following inequality holds:
Beesack and other results are used in many issues such as the convergence of series, estimations of integrals and determination of the minimal eigenvalues of differential operators. To illustrate, the best constant in the Poincare inequality, which is a more general form of classical Wirtinger inequality, is known as the first eigenvalue of the Laplace operator and this result has been the motivation of diverse geometric works (see, e.g. [16, 20, 25, 33]). Furthermore, Böttcher and Widom [11] examined a sequence of constants which appear in some problems by considering the best constant Wirtinger–Sobolev inequality given the relation between the integral of the square of a function and the integral of the square of its higher-order derivative. Also, you can look over the references [4], [3], [9, 10, 12, 14] [23], [31, 32] to learn more about Wirtinger type inequalities and their application areas.
Sarikaya proved some generalized versions of Wirtinger-type inequalities in [30].
Theorem 2
[30] Let \(\psi \in C^{1}\left ( \left [ \lambda ,\mu \right ] \right ) \) satisfy \(\psi \left ( \lambda \right ) =\psi \left ( \mu \right ) =0\) and \(\psi ^{\prime }\in L_{2}\left [ \lambda ,\mu \right ] \), then we have the following inequality
The main purpose of this paper is to establish Wirtinger-type results, which give the connection between the integral of a function and the integral of its derivatives of arbitrary order via right-sided and left sided CFTF. We firstly deal with a Wirtinger-type inequality for functions whose Caputo fractional derivatives belong to \(L_{2}\). Latter, we prove a more general version of this result for \(L_{r}\) norm with \(r>1\) via Hölder’s inequality. Also, similar inequalities for Riemann-Liouville fractional derivatives are given with the help of a relation between Caputo and Riemann–Liouville fractional derivatives. Results presented in this work may be inspiration for further studies on inequalities involving Caputo fractional derivatives.
2 Preliminaries
In this part, we recall some definitions and properties of Riemann-Liouville and Caputo fractional derivatives by utilizing the references [13, 17, 19, 21, 22, 24] and [28]. Additionally, it should be noted that many mathematicians have studies on inequalities involving fractional integrals. The interested reader is able to look over the recent references [1, 2, 7, 26] and [27] for fractional theory, and the references included there.
Definition 1
Supposing the function ϕ is Lebesgue integrable on \(\left [ \lambda ,\mu \right ] \). The Riemann–Liouville fractional integrals (RLFI) \(J_{\lambda +}^{\alpha }\phi \) and \(J_{\mu -}^{\alpha }\phi \) of order \(\alpha >0\) are defined by
and
respectively. Here, \(\Gamma (\alpha )\) is the Gamma function, i.e., \(\Gamma (\alpha )=\int \limits _{0}^{\infty }e^{-u}u^{\alpha -1}du\). These integrals are named as the left-sided and the right-sided RLFI, respectively. Also, we note that \(J_{\lambda +}^{0}\phi (\varkappa )=J_{\mu -}^{0}\phi (\varkappa )= \phi (\varkappa )\) for \(\varkappa \in \left ( \lambda ,\mu \right ) \).
Definition 2
Assume that \(\alpha >0\), \(m\in \mathbb{N} \) and \(m=\left \lceil \alpha \right \rceil \), where \(\left \lceil \cdot \right \rceil \) is the ceiling of the number. The left-sided and right-sided Riemann–Liouville fractional derivatives (RLFD) of order α are defined by
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figa_HTML.png)
and
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figb_HTML.png)
respectively. If \(\alpha =m\) and usual derivatives of ϕ of order m exist, then and
. Specifically, if we choose \(m=1\) and \(\alpha =0\), then we possess
.
We indicate by \(AC^{m}\left [ \lambda ,\mu \right ] \) the space of real-valued mappings \(\phi (\zeta )\) that possess derivatives up to \(m-1\) order for \(m\in \mathbb{N} \) on \(\left [ \lambda ,\mu \right ] \) such that \(\phi ^{(m-1)}(\zeta )\) is the element of \(AC\left [ \lambda ,\mu \right ] \) which is the space of absolutely continuous functions. That is,
Definition 3
Assume that \(\phi \in AC^{m}\left [ \lambda ,\mu \right ] \) and \(m=\left \lceil \alpha \right \rceil \) with \(m\in \mathbb{N} \) and \(\alpha >0\). The Caputo fractional derivatives (CFD) of order α are defined by
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figc_HTML.png)
and
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figd_HTML.png)
which are named as the left-sided and right-sided CFD, respectively. If \(\alpha =m\) and usual derivatives of ϕ of order m exist, then and
. Especially, one has
![figure e](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Fige_HTML.png)
where \(m=1\) and \(\alpha =0\).
Theorem 3
([28]) Suppose \(\phi \in AC^{m}\left [ \lambda ,\mu \right ] \) such that CFD and
exist together with RLFD
and
for \(\varkappa \in \left [ \lambda ,\mu \right ] \). Then, for \(\alpha >0\) and \(m=\left \lceil \alpha \right \rceil \in \mathbb{N} \), we have
![figure f](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figf_HTML.png)
and
![figure g](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figg_HTML.png)
Also, it is clear that if \(\phi ^{(i)}(\lambda )=0\) for \(i=0,1,\ldots,m-1\) and
if \(\phi ^{(i)}(\mu )=0\) for \(i=0,1,\ldots,m-1\).
Theorem 4
([22]) Let \(\phi \in AC^{m}\left [ \lambda ,\mu \right ] \), \(x\in \left [ \lambda ,\mu \right ] \), \(\alpha >0\) and \(m=\left \lceil \alpha \right \rceil \in \mathbb{N} \). Then, one has
![figure h](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figh_HTML.png)
The right and left sided Caputo fractional Taylor formulas are introduced by Kilbas et al., as follows [19].
Definition 4
Supposing that ψ belongs to \(AC^{m}\left [ \lambda ,\mu \right ] \). Also, let \(\varkappa \in \left [ \lambda ,\mu \right ] \), \(\alpha >0\) and \(m=\left \lceil \alpha \right \rceil \in \mathbb{N} \). Then one has the right-sided Caputo fractional Taylor formula (CFTF)
![figure i](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figi_HTML.png)
Definition 5
Assume the function ψ belongs to \(AC^{m}\left [ \lambda ,\mu \right ] \). Also, let \(\varkappa \in \left [ \lambda ,\mu \right ] \), \(\alpha >0\) and \(m=\left \lceil \alpha \right \rceil \in \mathbb{N} \). Then we have the left-sided Caputo fractional Taylor formula (CFTF)
![figure j](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figj_HTML.png)
3 Some inequalities for Caputo and Riemann–Liouville fractional derivatives
In this section, it is observed Wirtinger-type inequalities involving CFD. Similar results including RLFD are presented by using connections in between CFD and RLFD. We first give the Taylor’s formula, which forms the basis of the two identities we will use throughout the article. Let \(\psi \in C^{m}\left ( \left [ \lambda ,\mu \right ] \right ) \), \(m\in \mathbb{N} \backslash \left \{ 0\right \} \). Then, from Taylor’s theorem, we have
Theorem 5
Supposing that \(\psi \in C^{m}\left ( \left [ \lambda ,\mu \right ] \right ) \) with \(m\in \mathbb{N} \backslash \left \{ 0\right \} \) and with \(\psi ^{(i)}\left ( \lambda \right ) =\psi ^{(i)}\left ( \mu \right ) =0\), \(i=0,1,2,\ldots,m-1\), \(\alpha >0\), \(m=\left \lceil \alpha \right \rceil \). Then one has the result
![figure k](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figk_HTML.png)
Proof
Applying Cauchy–Schwarz inequality to the resulting identities after taking absolute value of both sides of (4) and (5), owing to \(\psi ^{(i)}\left ( \lambda \right ) =\psi ^{(i)}\left ( \mu \right ) =0\), for \(i=0,1,2,\ldots,m-1\), we see that
![figure l](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figl_HTML.png)
and
![figure m](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figm_HTML.png)
Integrating both sides of (7) with respect to ϰ from λ to \(\rho \lambda +\left ( 1-\rho \right ) \mu \) for \(\rho \in \left [ 0,1\right ] \) and then applying Dirichlet’s formula to the double integral on the right side of the resulting statement, we find that
![figure n](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Fign_HTML.png)
If similar processes are applied for the inequality (8), then one possesses
![figure o](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figo_HTML.png)
If we apply the change of the variable \(\varepsilon =\lambda \sigma +\left ( 1-\sigma \right ) \mu \) to the right side of the results (9) and (10), then we possess
![figure p](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figp_HTML.png)
and
![figure q](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figq_HTML.png)
Integrating both sides of the resulting expression with respect to ρ from 0 to 1, placing the above inequalities side by side, it is seen that
![figure r](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figr_HTML.png)
We apply the change of order of integration method to double integrals in the right side of the above inequality, then we have
![figure s](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figs_HTML.png)
where
and
Lastly, using the change of the variable \(\tau =\sigma \lambda +\left ( 1-\sigma \right ) \mu \) and from \(d\tau =(\lambda -\mu )d\sigma \), because the maximum value of the functions \(g(\sigma )\) and \(h(\sigma )\) for \(\sigma \in \left [ 0,1\right ] \) is \(\frac{1}{2\alpha +1}\), the desired inequality (6) can be easily obtained. □
Example 1
If we consider the function \(\psi (\varkappa )=x^{m}(1-x)^{m}\) on \(\left [ 0,1\right ] \), then we have
Later, choosing \(m=2\) and \(\alpha =1.5\) in the left side of the inequality (6), \(\psi (0)=\psi (1)=\psi ^{\prime }(0)=\psi ^{\prime }(1)=0\), which is necessary under the conditions of the theorem, and it is found that
Thus, the integral value on the left side of the inequality (6) is 0.0015873. For the right side of the inequality (6), we have
![figure t](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figt_HTML.png)
and
![figure u](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figu_HTML.png)
In this case, it follows that
![figure v](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figv_HTML.png)
Also, we have the result
for \(\alpha =1.5\), \(\mu =1\) and \(\lambda =0\). Thus, for the right side of the inequality (6), we have
![figure w](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figw_HTML.png)
So, the inequality (6) gives the numerical result
which shows that inequality is valid.
Since the left and right sides of the fractional derivatives cannot be written in common brackets, the functions whose maximum values need to be calculated are different. Therefore, special cases of inequalities obtained in this work must be evaluated by considering this situation.
Proposition 6
Under the same assumptions of Theorem 5with \(\alpha =m=1\), the inequality (3) is recaptured.
Proof
If we reconsider the inequality (11), because of and
in the case when \(\alpha =m=1\), we can write
where
Finally, because the maximum value of the function \(g(\sigma )+h(\sigma )\) for \(\sigma \in \left [ 0,1\right ] \) is \(\frac{1}{3}\), and so the inequality (3) is recaptured. □
Also, we have the following Wirtinger-type inequality involving RLFD.
Theorem 7
Supposing that \(\psi \in C^{m}\left ( \left [ \lambda ,\mu \right ] \right ) \) with \(m\in \mathbb{N} \backslash \left \{ 0\right \} \) and with \(\psi ^{(i)}\left ( \lambda \right ) =\psi ^{(i)}\left ( \mu \right ) =0\), \(i=0,1,2,\ldots,m-1\), \(\alpha >0\), \(m=\left \lceil \alpha \right \rceil \). Then, one has the result
![figure x](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figx_HTML.png)
Proof
If we use the Theorem 3, due to the acceptance of the equality given in the theorem \(\psi ^{(i)}\left ( \lambda \right ) =\psi ^{(i)}\left ( \mu \right ) =0\), \(i=0,1,2,\ldots,m-1\), we can write the identities
![figure y](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figy_HTML.png)
and
![figure z](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figz_HTML.png)
Then, subtituting and
instead of
and
in (6), respectively, the inequality (12) can be readily deduced. □
Remark 1
Under the same assumptions of Theorem 5 with \(\alpha =m=1\), the inequality (3) is recaptured.
Proof
The proof of this remark follows the same lines as the proof of Remark 5, because of and
in the case when \(\alpha =m=1\), the inequality (3) can be recaptured. □
Now, we derive a more general inequality by considering Taylor’s formula in the following result.
Theorem 8
Assume that \(\psi \in C^{m}\left ( \left [ \lambda ,\mu \right ] \right ) \) with \(m\in \mathbb{N} \backslash \left \{ 0\right \} \) and with \(r>1\), \(\alpha >0\). If \(\psi ^{(i)}\left ( \lambda \right ) =\psi ^{(i)} \left ( \mu \right ) =0\) for \(i=0,1,2,\ldots,m-1\), \(m=\left \lceil \alpha \right \rceil \), then we have the inequality
![figure aa](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figaa_HTML.png)
Proof
Taking absolute value of both sides of (4) and (5), and later using Hölder’s inequality with the indices r and \(\frac{r}{r-1}\), due to \(\psi ^{(i)}\left ( \lambda \right ) =\psi ^{(i)}\left ( \mu \right ) =0\), for \(i=0,1,2,\ldots,m-1\), we find that
![figure ab](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figab_HTML.png)
and
![figure ac](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figac_HTML.png)
Integrating both sides of (14) with respect to ϰ from λ to \(\rho \lambda +\left ( 1-\rho \right ) \mu \) for \(\rho \in \left [ 0,1\right ] \) and then applying Dirichlet’s formula to the double integral in the right side of the resulting statement, we find that
![figure ad](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figad_HTML.png)
Integrating both sides of (15) with respect to ϰ from \(\rho \lambda +\left ( 1-\rho \right ) \mu \) to μ for \(\rho \in \left [ 0,1\right ] \), and similar processes are applied for the inequality (15), then one has
![figure ae](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figae_HTML.png)
If we apply the change of the variable \(\varepsilon =\lambda \sigma +\left ( 1-\sigma \right ) \mu \) to the right sides of the results (16) and (17), then we have the integrals
![figure af](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figaf_HTML.png)
and
![figure ag](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figag_HTML.png)
Integrating both sides of the resulting expression with respect to ρ from 0 to 1 after placing the above inequalities side by side, it is seen that
![figure ah](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figah_HTML.png)
Then, by using fundamental integral operations, it is found that
![figure ai](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figai_HTML.png)
where
and
Finally, using the change of the variable \(\tau =\sigma \lambda +\left ( 1-\sigma \right ) \mu \) and from \(d\tau =(\lambda -\mu )d\sigma \), because the maximum value of the functions \(v(\sigma )\) and \(w(\sigma )\) for \(\sigma \in \left [ 0,1\right ] \) is \(\frac{1}{\alpha r+1}\), the required inequality (13) can be easily obtained. □
Example 2
If we consider the function \(\psi (\varkappa )=x^{m}(1-x)^{m}\) on \(\left [ 0,1\right ] \), then we have
Later, choosing \(r=4\), \(m=2\) and \(\alpha =1.5\) in the inequality (13), \(\psi (0)=\psi (1)=\psi ^{\prime }(0)=\psi ^{\prime }(1)=0\), which is necessary under the conditions of the theorem, it is found that
Thus, the integral value on the left side of the inequality (13) is 0.0000205677. For the right side of the inequality (13), we have
![figure aj](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figaj_HTML.png)
and
![figure ak](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figak_HTML.png)
In this case, it follows that
![figure al](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figal_HTML.png)
Also, we have the result
for \(\alpha =1.5\), \(\mu =1\) and \(\lambda =0\). Thus, for the right side of the inequality (13), we have
![figure am](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figam_HTML.png)
So, the inequality (13) gives the numerical result
which shows that inequality is valid.
Remark 2
Under the same assumptions of Theorem 8 with \(m=\alpha =1\), the following result holds:
which is given by Erden in [14].
Proof
If we reconsider the inequality (18), because of and
in the case when \(\alpha =m=1\), we can write
where
Finally, because the maximum value of the function \(v(\sigma )+w(\sigma )\) for \(\sigma \in \left [ 0,1\right ] \) is \(\frac{1}{r+1}\), and so the inequality (19) is recaptured. □
Remark 3
If \(r=4\) is chosen in (13), then one has
![figure an](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figan_HTML.png)
Also, if we take \(r=2\) in (13), then we get the inequality (6).
Remark 4
Under the same assumptions of Theorem 8 with \(r=4\) and \(m=\alpha =1\), the following result holds:
which is given by Erden in [14].
Furthermore, we have the following inequality including RLFD.
Theorem 9
Assume that \(\psi \in C^{m}\left ( \left [ \lambda ,\mu \right ] \right ) \) with \(m\in \mathbb{N} \backslash \left \{ 0\right \} \) and with \(r>1\), \(\alpha >0\). If \(\psi ^{(i)}\left ( \lambda \right ) =\psi ^{(i)} \left ( \mu \right ) =0\) for \(i=0,1,2,\ldots,m-1\), \(m=\left \lceil \alpha \right \rceil \), then we have
![figure ao](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figao_HTML.png)
Proof
If we use the Theorem 3, owing to the acceptance of the equality given in the theorem \(\psi ^{(i)}\left ( \lambda \right ) =\psi ^{(i)}\left ( \mu \right ) =0\), \(i=0,1,2,\ldots,m-1\), we can write the identities
![figure ap](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figap_HTML.png)
and
![figure aq](http://media.springernature.com/lw685/springer-static/image/art%3A10.1186%2Fs13660-024-03194-2/MediaObjects/13660_2024_3194_Figaq_HTML.png)
Then, substituting and
instead of
and
, respectively in (13), the inequality (20) can be readily deduced. □
Remark 5
If we choose \(r=2\) in (20), then the result (20) reduces to the inequality (12).
Data availability
Data sharing is not applicable to this paper as no data sets were generated or analyzed during the current research.
References
Adjabi, Y., Jarad, F., Abdeljawad, T.: On generalized fractional operators and a Gronwall type inequality with applications. Filomat 31(17), 5457–5473 (2017)
Aghamaliyeva, L., Gasimov, Y., Valdes, J.N.: On a generalization of the Wirtinger inequality and some its applications. Stud. Univ. Babeş–Bolyai, Math. 68(2), 237–247 (2023)
Alomari, M.W.: On Beesack-Wirtinger inequality. Results Math. 72, 1213–1225 (2017)
Alzer, H.: A continuous and a discrete varaint of Wirtinger’s inequality. Math. Pannon. 3, 83–89 (1992)
Anastassiou, G.A.: On right fractional calculus. Chaos Solitons Fractals 42, 365–376 (2009)
Anastassiou, G.A.: Univariate right fractional Ostrowski inequalities. CUBO 14, 01-07 (2012)
Aslıyüce, S.: Wirtinger type inequalities via fractional integral operators. Stud. Univ. Babeş–Bolyai, Math. 64(1), 35–42 (2019)
Beesack, P.R.: Hardy’s inequality and its extensions. Pac. J. Math. 11, 39–61 (1961)
Beesack, P.R.: Integral inequalities involving a function and its derivative. Am. Math. Mon. 78, 705–741 (1971)
Blaschke, W.: Kreis und Kugel. Verlag von Veit & Comp, Leipzig (1916)
Böttcher, A., Widom, H.: From Toeplitz eigenvalues through Green’s kernels to higher-order Wirtinger-Sobolev inequalities. Adv. Appl. 171, 73–87 (2006)
Diaz, J.B., Metcalf, F.T.: Variations on Wirtinger’s inequality. In: Inequalities, pp. 79–103. Academic Press, New York (1967)
Diethelm, K.: Fractional differential equations, theory and numerical treatment. Technical University of Braunschweig, 93 (2003)
Erden, S.: Wirtinger type inequalities for higher order differentiable functions. Turk. J. Math. 44, 656–661 (2020)
Farid, G., Naqvi, S., Rehman, A.U.: A version of the Hadamard inequality for Caputo fractional derivatives and related results. RGMIA Res. Rep. Collect. 20, 59 (2017)
Gilbarg, D., Trudinger, N.: Elliptic Partial Differential Equations of the Second Order, 2nd edn. Springer, Berlin (1977)
Gorenflo, R., Mainardi, F.: Essentials of Fractional Calculus. Maphysto Center (2000)
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, Cambridge (1988)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations, vol. 204. Elsevier, Amsterdam (2006)
Li, P., Treibergs, A.: Applications of eigenvalue techniques to geometry. In: Wu, H.H. (ed.) Contemporary Geometry. The University Series in Mathematics. Springer, Boston (1991)
Mille, S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Ortigueira, M.D., Tenreiro Machado, J.A.: What is a fractional derivatives? J. Comput. Phys. 293, 4–13 (2015)
Osserman, R.: The isoperimetric inequality. Bull. Am. Math. Soc. 84, 1182–1238 (1978)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Polya, G., Szego, G.: Isoperimetric Inequalities in Mathematical Physics. Annals of Math. Studies, vol. 27. Princeton University Press, Princeton (1951)
Qi, Y., Li, G., Wang, S., Wen, Q.Z.: Hermite-Hadamard-Fejer type inequalities via Katugampola fractional integrals for s-convex functions in the second sense. Fractals 30(7), 2250131 (2022)
Qi, Y., Wen, Q., Li, G., Xiao, K., Wang, S.: Discrete Hermite-Hadamard type inequalities for \((s, m)\)-convex function. Fractals 30(7), 2250160 (2022)
Samko, S., Kilbas, A., Marichev, O.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Amsterdam (1993)
Sarikaya, M.Z.: Ostrowski type inequalities involving the right Caputo fractional derivatibes belong to \(L_{p}\). Facta Univ., Ser. Math. Inform. 27, 191–197 (2012)
Sarikaya, M.Z.: On the new type Wirtinger inequality. Konuralp J. Math. 7, 112–116 (2019)
Swanson, C.A.: Wirtinger’s inequality. SIAM J. Math. Anal. 9, 484–491 (1978)
Takahasi, S.-E., Miura, T.: A note on Wirtinger-Beesack’s integral inequalities. Math. Inequal. Appl. 6, 277–282 (2003)
Treibergs, A.: Inequalities that Imply the Isoperimetric Inequality. Several proofs of the isoperimetric inequality (2002)
Acknowledgements
The authors would like to thank the editor and the referees for their helpful suggestions and comments, which have greatly improved the presentation of this paper.
Funding
This work is supported by Scientific research projects commission of Bartın University (Project no: 2020-FEN-A-002). However, no financial support was received.
Author information
Authors and Affiliations
Contributions
The main idea of this paper was proposed by SE. SE and MZS prepared the manuscript initially and all authors performed all the steps of the proofs in this research. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License, which permits any non-commercial use, sharing, 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 you modified the licensed material. You do not have permission under this licence to share adapted material derived from this article or parts of it. 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-nc-nd/4.0/.
About this article
Cite this article
Erden, S., Sarıkaya, M.Z., Gokkurt Ozdemir, B. et al. Wirtinger-type inequalities for Caputo fractional derivatives via Taylor’s formula. J Inequal Appl 2024, 115 (2024). https://doi.org/10.1186/s13660-024-03194-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-024-03194-2