SearcharxivSearch

arXiv · 2006.14383

Fractional derivatives and the fundamental theorem of Fractional Calculus

Abstract

In this paper, we address the one-parameter families of the fractional integrals and derivatives defined on a finite interval. First we remind the reader of the known fact that under some reasonable conditions, there exists precisely one unique family of the fractional integrals, namely, the well-known Riemann-Liouville fractional integrals. As to the fractional derivatives, their natural definition follows from the fundamental theorem of the Fractional Calculus, i.e., they are introduced as the left-inverse operators to the Riemann-Liouville fractional integrals. Until now, three families of such derivatives were suggested in the literature: the Riemann-Liouville fractional derivatives, the Caputo fractional derivatives, and the Hilfer fractional derivatives. We clarify the interconnections between these derivatives on different spaces of functions and provide some of their properties including the formulas for their projectors and the Laplace transforms. However, it turns out that there exist infinitely many other families of the fractional derivatives that are the left-inverse operators to the Riemann-Liouville fractional integrals. In this paper, we focus on an important class of these fractional derivatives and discuss some of their properties.

Explore related subjects

Keep this discovery

BibTeXRIS

Yuri Luchko. 2020-06-25. Fractional derivatives and the fundamental theorem of Fractional Calculus. https://doi.org/10.1515/fca-2020-0049

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the log-concavity of the composite Bessel function $x^{\alpha}J_{\nu }\left( \beta x^{\gamma}\right) $

For a twice differentiable function $f:\left( a,b\right) \rightarrow \mathbb{R}$ define $v\left( f\right) =f^{\prime}f^{\prime}-f^{\prime\prime }f.$ It is well known that the positivity of $v\left( f\right) $ implies that the function $\left\vert f\right\vert $ is strictly log-concave on each subinterval which does not contain zeros of $f.$ In this paper we provide criteria for the positivity of $v\left( F\right) $ for the composite Bessel function $F\left( x\right) =J_{\alpha,\beta,\gamma,\nu}\left( x\right) :=x^{\alpha}J_{\nu}\left( \beta x^{\gamma}\right) $ for positive numbers $\beta$ and $\gamma$ and real numbers $\alpha$ and $\nu.$

math.CA

Riesz capacity ratios with negative exponents

We investigate sharp inequalities for ratios of Riesz capacities with negative exponents by combining computational experiments with rigorous analysis. For finite subsets of the line, we prove positivity of equilibrium masses when $-1<p<0$, enabling numerical tests of conjectured extremal ratios. In the plane, comparisons of the disk with regular polygon vertex sets reveal a cascade of transitions among the tested competitors and suggest a precise conjecture for the equilibrium measure of odd polygons, for which we give a partial proof. Numerical intersections of equality curves show that the regions where these sets outperform the disk are not simply nested. Similar numerical intersections occur in three dimensions between the regular-simplex equality curve and those of explicit five-point and six-point configurations. Motivated by the dimensional dependence of these comparisons, we prove that for each fixed $p<-2<q<0$, the regular simplex has a larger capacity ratio than the ball in all sufficiently large dimensions. Accompanying Python and Mathematica code supports reproduction and further testing of the conjectures.

math.CA

Shorter proof of dimension-free $L^p$ estimates for maximal Riesz transforms

We provide a shorter and more direct proof of $L^p$ estimates for maximal Riesz transforms (of an arbitrary order) in terms of the corresponding Riesz transforms, with a constant independent of the dimension of the Euclidean space $\mathbb R^d$. This result was originally proved by Mateu, Orobitg, P\'erez and Verdera with a constant depending on the dimension, and improved to a dimension-free inequality by Kucharski, Wr\'obel and Zienkiewicz.

math.CA