An important class of fractional differential and integral operators is given by the theory of fractional calculus with respect to functions, sometimes called Ψ‐fractional calculus. The operational ...calculus approach has proved useful for understanding and extending this topic of study. Motivated by fractional differential equations, we present an operational calculus approach for Laplace transforms with respect to functions and their relationship with fractional operators with respect to functions. This approach makes the generalised Laplace transforms much easier to analyse and to apply in practice. We prove several important properties of these generalised Laplace transforms, including an inversion formula, and apply it to solve some fractional differential equations, using the operational calculus approach for efficient solving.
We consider the Hermite‐Hadamard inequality and related results on integral inequalities, in the context of fractional integrals and derivatives defined using Mittag‐Leffler kernels, specifically the ...Atangana‐Baleanu and Prabhakar models of fractional calculus.
Many different types of fractional calculus have been defined, which may be categorised into broad classes according to their properties and behaviours. Two types that have been much studied in the ...literature are the Hadamard-type fractional calculus and tempered fractional calculus. This paper establishes a connection between these two definitions, writing one in terms of the other by making use of the theory of fractional calculus with respect to functions. By extending this connection in a natural way, a generalisation is developed which unifies several existing fractional operators: Riemann–Liouville, Caputo, classical Hadamard, Hadamard-type, tempered, and all these taken with respect to functions. The fundamental calculus of these generalised operators is established, including semigroup and reciprocal properties as well as application to some example functions. Function spaces are constructed in which the new operators are defined and bounded. Finally, some formulae are derived for fractional integration by parts with these operators.
Abstract
We introduce a path-based cyclic proof system for first-order $\mu $-calculus, the extension of first-order logic by second-order quantifiers for least and greatest fixed points of definable ...monotone functions. We prove soundness of the system and demonstrate it to be as expressive as the known trace-based cyclic systems of Dam and Sprenger. Furthermore, we establish cut-free completeness of our system for the fragment corresponding to the modal $\mu $-calculus.