Entropy Interpretation of Hadamard Type Fractional Operators: Fractional Cumulative Entropy

Abstract

Interpretations of Hadamard-type fractional integral and differential operators are proposed. The Hadamard-type fractional integrals of function with respect to another function are interpreted as an generalization of standard entropy, fractional entropies and cumulative entropies. A family of fractional cumulative entropies is proposed by using the Hadamard-type fractional operators.

1. Introduction

Integrals and derivatives of arbitrary (non-integer and integer) orders form a generalization of standard calculus of integrals and derivatives of integer orders (see books [1,2,3,4,5] and handbooks [6,7]). These operators were proposed by famous mathematicians such as Riemann, Liouville, Grünwald, Letnikov, Sonine, Marchaud, Weyl, Riesz, Hadamard and others [8,9,10]. Fractional integrals and derivatives have a wide application in physics and mechanics to describe processes and systems with non-locality, memory, distributed lag and scaling [11,12,13], various anomalous behaviors and phenomena, including the relaxation–oscillation phenomena, [14,15], the diffusion-wave phenomena [14,16], the anomalous relaxation [17,18,19] and anomalous growth [19,20], and the anomalous diffusion and anomalous transport [21,22,23,24,25].

There are various interpretations of the fractional integrals and derivatives [26,27,28,29,30,31,32,33,34] such as geometric interpretations [35,36,37,38] and [39,40,41,42], physical interpretations [39,40,41,42] and [30,31,32,33,34], economic interpretations [43,44], probabilistic interpretations [45,46,47,48,49], information interpretation [50] and some others.

The so-called Hadamard fractional integrals were proposed by Jacques S. Hadamard [51] in 1892. These operators and their properties are described in [4] (pp. 110–120), (see also Section 18.3, 23.1 of [1] and [52]). The Hadamard-type fractional integral (HTFI) and fractional differential (HTFD) operators were first suggested by Paul L. Butzer, Anatoly A. Kilbas and Juan J. Trujillo in 2002 [53,54]. These operators can be called the Butzer–Kilbas–Trujillo operators. The properties of the HTFD and HTFI operators are described in papers [53,54,55,56,57,58,59]. Caputo-type modifications of the Hadamard fractional derivatives are considered in [60,61,62]. The Hadamard fractional calculus is also considered in [63,64,65]. The application of fractional differential equations with Hadamard operators in probability theory is proposed in article [64,66]. The HTFI and HTFD operators to describe dynamics with non-local scaling is suggested in [67]. The Hadamard-type fractional integrals and derivatives with respect to functions are proposed in work [68] in 2021. If the function is equal to the integration variable $\mathsf{\Psi }\left(x\right)=x$, then these operators have the form of the HTFI and HTFD operators.

In the proposed paper, an entropy interpretation of Hadamard-type fractional integrals with respect to functions is proposed. It will be shown that these operators can be interpreted as generalized cumulative entropy. In Section 2, the Hadamard-type fractional integral and differential operators are defined. In Section 3, cumulative and fractional entropies as generalizations of standard continuous (differential) entropy are discussed. In Section 4, entropy interpretation of the Hadamard-type fractional integral and differential operators is considered. A brief conclusion is given in Section 5.

2. Hadamard-Type Fractional Operators

2.1. Hadamard-Type Fractional Integrals

Let us give a definition of space that is used for the Hadamard-type fractional integrals.

Definition 1.

The space $X_q^p(a,b)$ with $q\in \mathbb{R}$ and $p\ge 1$ is the weighted $L_p$-space with the power weight, which consists of those complex-valued Lebesgue measurable functions $X\left(t\right)$ on $(a,b)$ for which

$${\left|\right|X\left|\right|}_{X_q^p}={\left({\int }_a^b\frac{d\tau }{\tau }{\left|{\tau }^{q}X\left(\tau \right)\right|}^p\right)}^{1/p}<\infty .$$

(1)

In particular, when $q=1/p$, the space $X_q^p(a,b)$ coincides with the space $L_p(a,b)$, i.e., $X_{1/p}^p(a,b)=L_p(a,b)$.

The HTFI operator of the order $\alpha >0$ is given by the following definition [53,54].

Definition 2.

The Hadamard-type fractional integral (HTFI) operator of the order $\alpha >0$ is defined by the expression

$${\mathcal{J}}_{a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)=\frac{1}{\mathsf{\Gamma }\left(\alpha \right)}{\int }_a^x\frac{dt}{t}{\left(\frac{t}{x}\right)}^{\beta }{\left(ln\frac{x}{t}\right)}^{\alpha -1}f\left(t\right),$$

(2)

where $\beta \in \mathbb{R}$, $x\in (a,b)$, $a>0$.

The operator ${\mathcal{J}}_{a,x}^{\alpha ,\beta }$ is bounded in the space $X_q^p(a,b)$, where $\beta \in \mathbb{R}$, $\beta >q$, $p\ge 1$, $a>0$ (see Theorem 2.1 in [54] (p.1194)).

For $\alpha =m\in \mathbb{N}$, operator (2) has [54] (p. 1191) the form

$${\mathcal{J}}_{a,t}^{m,\beta }\left[t\right]f\left(t\right)=x^{-\beta }{\int }_a^x\frac{d{x}_1}{x_1}{\int }_a^{x_1}\frac{d{x}_2}{x_2}...{\int }_a^{x_{m-1}}{t}^{\beta }f\left(t\right)\frac{dt}{t}=$$

$$\frac{1}{(m-1)!}{\int }_a^x{\left(\frac{t}{x}\right)}^{\beta }{\left(ln\frac{x}{t}\right)}^{m-1}f\left(t\right)\frac{dt}{t}.$$

(3)

Integral operator (2) with $\beta =0$ is called the Hadamard FI, which was proposed by Jacques S. Hadamard [51] in 1892. These operators and their properties are described in [4], pp. 110–120 (see also Sections 18.3, 23.1 of [1,52]).

2.2. Hadamard-Type Fractional Differential Operator

Let us give a definition of space $A{C}_{\mathcal{S},\beta }^m[a,b]$ that is used for the Hadamard-type fractional differential operators [54] (p.1193).

Definition 3.

The space $A{C}_{\mathcal{S},\beta }^m[a,b]$ consists of functions $f\left(x\right)$ on $[a,b]$ that have ${\mathcal{S}}_x^k\left(x^{\beta }f\left(x\right)\right)$ for $k=1,...m-1$, and ${\mathcal{S}}_x^{m-1}\left(x^{\beta }f\left(x\right)\right)$ is absolutely continuous on $[a,b]$, where ${\mathcal{S}}_x=xd/dx$.

Let us define the differential operator of integer order $m\in \mathbb{N}$ in the form

$$D_x^{m,\beta }f\left(x\right)=x^{-\beta }{\mathcal{S}}_x^m\left(x^{\beta }f\left(x\right)\right)=x^{-\beta }{\left(x\frac{d}{dx}\right)}^m\left(x^{\beta }f\left(x\right)\right).$$

(4)

Let us give the definition of the HTFD operator (for example, see Section 18.3 in [1,4] (pp. 11–112)).

Definition 4.

The Hadamard-type fractional differential (HTFD) operator of the order $\alpha \in [m-1,m)$, $m\in \mathbb{N}$ is defined by the expression

$${\mathcal{D}}_{a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)=D_x^{m,\beta }{\mathcal{J}}_{a,x}^{m-\alpha ,\beta }\left[t\right]f\left(t\right)=$$

(5)

$$\frac{1}{\mathsf{\Gamma }(m-\alpha )}{x}^{-\beta }{\left(x\frac{d}{dx}\right)}^m{x}^{\beta }{\int }_a^x\frac{dt}{t}{\left(\frac{t}{x}\right)}^{\beta }{\left(ln\frac{x}{t}\right)}^{m-\alpha +1}f\left(t\right),$$

where ${\mathcal{J}}_{a,x}^{m-\alpha ,\beta }$ is the HTFI operator, $x>a>0$.

The operator ${\mathcal{D}}_{a,x}^{\alpha ,\beta }$ exists almost everywhere on the space $A{C}_{\mathcal{S},\beta }^m(a,b)$. This statement is proved as Theorem 3.2 in [54] (p. 1198).

For $\alpha =m\in \mathbb{N}$, the HTFD operator is the integer-order differential operator [4] (p. 112), in the form

$${\mathcal{D}}_{a,x}^{m,\beta }f\left(x\right)=D_x^{m,\beta }f\left(x\right).$$

(6)

Operator (5) with $\beta =0$ is called the Hadamard fractional differential operators [4] (pp. 110–120), and [52]. For $\beta =0$, and $\alpha =m\in \mathbb{N}$, the HTFD operator is the differential operator of scaling (dilation) of the integer order

$${\mathcal{D}}_{a,x}^{m,0}f\left(x\right)={\mathcal{S}}_x^{m}f\left(x\right)={\left(x\frac{d}{dx}\right)}^{m}f\left(x\right).$$

(7)

Definition 5.

The Caputo-type of the HTFD operator of the order $m-1\le \alpha <m$ is defined as

$${}^C{\mathcal{D}}_{a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)={\mathcal{J}}_{a,x}^{m-\alpha ,\beta }\left[t\right]D_t^{m,\beta }f\left(t\right)=$$

(8)

$$\frac{1}{\mathsf{\Gamma }(m-\alpha )}{\int }_a^x\frac{dt}{t}{\left(\frac{t}{x}\right)}^{\beta }{\left(ln\frac{x}{t}\right)}^{m-\alpha +1}\left(t^{-\beta }{\left(t\frac{d}{dt}\right)}^m{t}^{\beta }\right)xf\left(t\right),$$

where ${\mathcal{J}}_{a,x}^{m-\alpha ,\beta }$ is the HTFI operator, $x>a>0$.

2.3. Hadamard-Type FI and FD Operators with Respect to Function

Let us give a definition of space that is used for the Hadamard-type fractional integrals with respect to function. This definition gives conditions under which the Hadamard-type fractional integral operator ${\mathcal{J}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]$ with respect to a function $\mathsf{\Psi }\left(x\right)$ is bounded in a particular function space $X_{\mathsf{\Psi },q}^p(a,b)$. The space $X_{\mathsf{\Psi },q}^p(a,b)$ is defined in [68] following [53,54] for the Hadamard-type fractional calculus.

Definition 6.

Let $q\in \mathbb{R}$ and $1\le p\le \infty$. The space $X_{\mathsf{\Psi },q}^p(a,b)$ is defined to consist of all Lebesgue measurable functions $f:[a,b]\to \mathbb{R}$, for which ${\parallel f\parallel }_{X_{\mathsf{\Psi },q}^p}<\infty$, where the norm is defined by

$${\left|\right|f\left|\right|}_{X_{\mathsf{\Psi },q}^p}={\left({\int }_a^b{\left|{\left\{\mathsf{\Psi }\left(x\right)\right\}}^{q}f\left(x\right)\right|}^p\frac{{\mathsf{\Psi }}^{\prime }\left(x\right)}{\mathsf{\Psi }\left(x\right)}\mathrm{d}x\right)}^{\frac{1}{p}}forq\in \mathbb{R},1\le p<\infty ,$$

(9)

and

$${\left|\right|f\left|\right|}_{X_{\mathsf{\Psi },q}^{\infty }}=\underset{x\in [a,b]}{sup}\left({\left\{\mathsf{\Psi }\left(x\right)\right\}}^q\left|f\left(x\right)\right|\right),forq\in \mathbb{R}.$$

(10)

If we consider $q=1/p$ and $\mathsf{\Psi }\left(x\right)=x$, then the space $X_{\mathsf{\Psi },q}^p(a,b)$ coincides with the space $L^p(a,b)$ with

$${\parallel f\parallel }_p={\left({\int }_a^b{\left|f\left(x\right)\right|}^{p}dx\right)}^{\frac{1}{p}}for1\le p<\infty ,$$

and

$${\parallel f\parallel }_{\infty }=\underset{x\in [a.b]}{sup}\left|f\left(x\right)\right|.$$

Let us give a definition of the HTFI with respect to function.

Definition 7.

Let $\alpha >0$, and $\beta \in \mathbb{R}$. Let $f\left(x\right)$ be an integrable function defined on $[a,b]$ in $\mathbb{R}$ and $\mathsf{\Psi }\left(x\right)\in C^1\left([a,b]\right)$ be a positive increasing function such that $\mathsf{\Psi }\left(x\right)>0$ and ${\mathsf{\Psi }}^{\left(1\right)}\left(x\right)=d\mathsf{\Psi }\left(x\right)/dx>0$ for all $x\in [a,b]$.

Then, the Hadamard-type fractional integral of $f\left(x\right)$ with respect to $\mathsf{\Psi }\left(x\right)$ with order α and parameter β is defined as

$${\mathcal{J}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)=\frac{1}{\mathsf{\Gamma }\left(\alpha \right)}{\int }_a^x{\left(\frac{\mathsf{\Psi }\left(t\right)}{\mathsf{\Psi }\left(x\right)}\right)}^{\beta }{\left(ln\frac{\mathsf{\Psi }\left(x\right)}{\mathsf{\Psi }\left(t\right)}\right)}^{\alpha -1}f\left(t\right)\frac{{\mathsf{\Psi }}^{\left(1\right)}\left(t\right)}{\mathsf{\Psi }\left(t\right)}dt,$$

(11)

where $f\left(x\right)\in X_{\mathsf{\Psi },q}^p(a,b)$ and $\beta >q$.

In paper [68], Theorem 4.2 states that for a positive increasing function $\mathsf{\Psi }\left(x\right)$ and for any $\beta \ge q$, the Hadamard-type fractional integral operator of any positive order $\alpha >0$ and parameter $\beta \ge q$ with respect to $\mathsf{\Psi }\left(x\right)$ is well-defined on the space $X_{\mathsf{\Psi },q}^p(a,b)$.

Theorem 1.

Let $\alpha >0$, $1\le p\le \infty$, and $\beta \ge q$ in $\mathbb{R}$, and $\mathsf{\Psi }\left(x\right)$ be a positive increasing function.

Then, the operator ${\mathcal{J}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]$ is bounded in the space $X_{\mathsf{\Psi },q}^p(a,b)$ with $\beta \ge q$, and

$${∥{\mathcal{J}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)∥}_{X_{\mathsf{\Psi },q}^p}\le C{\parallel f\parallel }_{X_{\mathsf{\Psi },q}^p},$$

(12)

where the constant C is defined by

$$C=\left\{\begin{array}{cc}{\displaystyle \frac{1}{\mathsf{\Gamma }(\alpha +1)}{\left(ln\frac{\mathsf{\Psi }\left(b\right)}{\mathsf{\Psi }\left(a\right)}\right)}^{\alpha }}\hfill & for\beta =q,\hfill \\ {\displaystyle \frac{1}{\mathsf{\Gamma }\left(\alpha \right)}{(\beta -q)}^{-\alpha }\gamma \left(\alpha ,(\beta -q)ln\frac{\mathsf{\Psi }\left(b\right)}{\mathsf{\Psi }\left(a\right)}\right)}\hfill & for\beta >q,\hfill \end{array}\right.$$

(13)

where $\gamma (\alpha ,z)$ is the incomplete gamma function (see Section 9 in [69] (pp. 134–142)).

This theorem was proved in paper [68].

Let us define the Hadamard-type fractional differential operator of $f\left(x\right)$ with respect to another function $\mathsf{\Psi }\left(x\right)$.

Definition 8.

Let $n=\left[\alpha \right]+1$, where $n-1\le \alpha <n$. The Riemann–Liouville type of the Hadamard-type fractional differential operator of $f\left(x\right)$ with respect to $\mathsf{\Psi }\left(x\right)$ of the order $\alpha >0$ and parameter $\beta \in \mathbb{R}$, is defined by the equation

$${\mathcal{D}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)=D_{\mathsf{\Psi },x}^{n,\beta }{\mathcal{J}}_{\mathsf{\Psi },a,x}^{n-\alpha ,\beta }\left[t\right]f\left(t\right),$$

(14)

where $x\in [a,b]$. The Caputo type of HTFD with respect to $\mathsf{\Psi }\left(x\right)$ is defined as

$${\mathcal{D}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)={\mathcal{J}}_{\mathsf{\Psi },a,x}^{n-\alpha ,\beta }\left[t\right]D_{\mathsf{\Psi },t}^{n,\beta }f\left(t\right),$$

(15)

where $D_{\mathsf{\Psi }}^{n,\beta }$ is the derivative of the integer order $n\in \mathbb{N}$ in the form

$$D_{\mathsf{\Psi },x}^{n,\beta }={\left(\mathsf{\Psi }\left(x\right)\right)}^{-\beta }{\left(\frac{\mathsf{\Psi }\left(x\right)}{{\mathsf{\Psi }}^{\left(1\right)}\left(x\right)}\frac{d}{dx}\right)}^n\left({\left(\mathsf{\Psi }\left(x\right)\right)}^{\beta }f\left(x\right)\right).$$

(16)

To give sufficient conditions for the existence of the HTFD operator ${\mathcal{D}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }$ with respect to a function $\mathsf{\Psi }\left(x\right)$, the function space $A{C}_{{\delta }^{\mathsf{\Psi }},\beta }^n[a,b]$ for $\beta \in \mathbb{R}$, and $\mathsf{\Psi }\left(x\right)$, which is a positive increasing function, should be defined. The space $A{C}_{{\delta }^{\mathsf{\Psi }},\beta }^n[a,b]$ is defined as

$$A{C}_{{\delta }^{\mathsf{\Psi }},\beta }^n[a,b]=\left\{h\left(x\right):[a,b]\to \mathbb{R}:{\left(\frac{\mathsf{\Psi }\left(x\right)}{{\mathsf{\Psi }}^{\left(1\right)}\left(x\right)}\frac{d}{dx}\right)}^{n-1}\left({\left(\mathsf{\Psi }\left(x\right)\right)}^{\beta }h\left(x\right)\right)\in AC[a,b]\right\}$$

(17)

where $AC[a,b]$ is the set of absolutely continuous functions on $[a,b]$, which coincides with the space of primitives of Lebesgue measurable functions (see [1] (p. 3), and [4] (p. 2)). The condition $f\left(x\right)\in AC[a,b]$ means that the function $f\left(x\right)$ can be represented as

$$f\left(x\right)=c+{\int }_a^{x}g\left(t\right)dt,\mathrm{where}{\int }_a^b\left|g\left(t\right)\right|dt<\infty ,$$

(18)

and c is a constant.

Theorem 4.7 of [68] gives sufficient conditions for the existence of the Hadamard-type fractional differential operator of a function with respect to another function.

Theorem 2.

Let $\mathsf{\Psi }\left(x\right)$ be an increasing positive function on $[a,b]\subset \mathbb{R}$, and $f\left(x\right)\in A{C}_{{\delta }^{\mathsf{\Psi }},\beta }^n[a,b]$, $\alpha >0$, $n=\left[\alpha \right]+1$, $\beta \in \mathbb{R}$.

Then, the Hadamard-type fractional differential operator ${\mathcal{D}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)$ of $f\left(x\right)$ with respect to $\mathsf{\Psi }\left(x\right)$ exists almost everywhere on $[a,b]$.

The proof of this theorem is given in [68].

Let us note the following special cases.

• For $\beta =0$, we obtain the Hadamard fractional operators with respect to $\mathsf{\Psi }\left(x\right)$.
• For $\beta =0$ and $\mathsf{\Psi }\left(x\right)=x$, we obtain the Hadamard fractional integral and differential operators.
• For $\beta =0$ and $\mathsf{\Psi }\left(x\right)=e^x$, we obtain the Riemann–Liouville and Caputo fractional integrals and derivatives.
• For $\beta =0$ and $\mathsf{\Psi }\left(x\right)=e^{x^{\sigma }}$, we obtain the Erdelyi–Kober-type fractional integrals and derivatives (fractional operators with respect to $x^{\sigma }$.
• For $\beta =0$ and $\mathsf{\Psi }\left(x\right)=e^{g\left(x\right)}$, we obtain the Riemann-Liouville and Caputo fractional operators of a function with respect to another function $g\left(x\right)$.

In this paper, the Hadamard-type fractional integral and differential operators of a function with respect to another function are considered as the main object for entropy interpretations. The interpretation of HTFI and HTFD operators are special cases of the interpretation of the HIFI and HTFD operators of a function with respect to function $\mathsf{\Psi }\left(x\right)=x$.

3. Entropy and Its Generalizations

Entropy is one of the basic concepts that play an important role in statistical mechanics and information theory [70]. The most widely used forms of entropy were proposed by Boltzmann and Gibbs for the statistical mechanics [71] and by Shannon for the information theory [72,73,74,75]. Later, certain generalized entropies such as the Renyi entropy [76] and the Tsallis entropy [77,78,79] were considered. The following two types of generalizations of entropy should also be noted. These are the so-called cumulative entropies and fractional entropies, which are discussed below.

3.1. Cumulative Entropies

As is well known, the standard approach to the description of information, which is related to a non-negative absolutely continuous random variable X, is based on the continuous entropy (differential entropy) of X defined by the equation

$$H\left(X\right)=-{\int }_0^{\infty }\rho \left(t\right)ln\rho \left(t\right)dt,$$

(19)

where $ln\left(z\right)$ is the natural logarithm, and $\rho \left(x\right)$ is the probability density function (PDF) of X. Entropy (19) can be represented as the mathematical expectation in the form

$$H\left(X\right)=\mathsf{E}[-ln\rho ],$$

(20)

where

$$\mathsf{E}\left[A\left(X\right)\right]={\int }_0^{\infty }A\left(t\right)dF\left(t\right)={\int }_0^{\infty }A\left(t\right)\rho \left(t\right)dt,$$

(21)

and $F\left(t\right)=P(X\le t)$ is the cumulative distribution function

$$F\left(x\right)={\int }_0^x\rho \left(t\right)dt.$$

(22)

Cumulative entropy [80,81,82,83,84,85] is one of the modifications of the standard differential entropy (19). In works [80,81,82], the cumulative distribution function (CDF) of a random variable is proposed instead of probability density function (PDF). This approach gives an alternative measure of uncertainty that extends Shannon entropy to random variables with continuous distributions. This measure is called the cumulative residual entropy (CRE). In works [80,81,82], the cumulative residual entropy (CRE) is defined in the form

$$\mathcal{E}\left(X\right)=-{\int }_0^{\infty }P(X>t)lnP(X>t)dt,$$

(23)

where $P(X>t)=1-P(X\le t)$ is the probability that random variable X takes a value greater than t, and the cumulative distribution function (CDF) is $F\left(t\right)=P(X\le t)$.

Let us note the main features of CR entropy in terms of its application from the point of view of authors of [80,81,82]:

• Firstly, $\mathcal{E}\left(X\right)$ is more general than the Shannon entropy in that its definition is valid in the continuous and discrete domains.
• Secondly, $\mathcal{E}\left(X\right)$ possesses more general mathematical properties than the Shannon entropy.
• Thirdly, $\mathcal{E}\left(X\right)$ can be easily computed from sample data, and these computations asymptotically converge to the true values.
• The properties of the cumulative residual entropy are given in works [80,81,82,83,85].

In paper [86] (see also [83,84]), the dynamic cumulative residual entropy was proposed. The CRE for the residual lifetime distribution with the survival function

$${\overline{F}}_x\left(t\right)=\frac{\overline{F}\left(t\right)}{\overline{F}\left(x\right)},$$

(24)

where $\overline{F}\left(x\right)=1-F\left(x\right)$, and $F\left(x\right)=P(X\le x)$ is defined by the equation

$$\mathcal{E}(X,t)=-{\int }_x^{\infty }{\overline{F}}_x\left(t\right)ln{\overline{F}}_x\left(t\right)dt=-{\int }_x^{\infty }\frac{\overline{F}\left(t\right)}{\overline{F}\left(x\right)}ln\left(\frac{\overline{F}\left(t\right)}{\overline{F}\left(x\right)}\right)dt.$$

(25)

Di Crescenzo and Longobardi [87] proposed and studied the cumulative entropy (CE), which is defined by the equation

$$\mathcal{CE}\left(X\right)=-{\int }_0^{\infty }F\left(t\right)lnF\left(t\right)dt,$$

(26)

and its dynamic version. The dynamic cumulative entropy is defined (see Equation (28) in [87]) in the form

$$\mathcal{CE}(X,x)=-{\int }_0^x{F}_x\left(t\right)ln{F}_x\left(t\right)dt=-{\int }_0^x\frac{F\left(t\right)}{F\left(x\right)}ln\left(\frac{F\left(t\right)}{F\left(x\right)}\right)dt,$$

(27)

where $F\left(t\right)=P(X\le t)$ is the cumulative distribution function (CDF), and

$$F_x\left(t\right)=\frac{F\left(t\right)}{F\left(x\right)}.$$

(28)

• Note that this entropy looks like the differential entropy (19). The main difference is that the probability $P(X\le t)$ is used instead of $P(X>t)$. This means that $\mathcal{CE}\left(X\right)\ge 0$, which is not true for standard entropy (19).

Properties of the cumulative entropy in past lifetimes are available in [83,87,88]. In paper [89] (see also [90]), the authors propose a cumulative Tsallis entropy (CTE) measure and its dynamic version.

Remark 1.

In order to be able to represent the cumulative entropies as some mathematical expectations, Equations (26) and (27) should be modified. To do this, the cumulative entropy can be defined by the equations

$$\mathcal{CE}\left(X\right)=-{\int }_0^{\infty }F\left(t\right)lnF\left(t\right)dF\left(t\right).$$

(29)

The dynamic cumulative entropy can be defined as

$$\mathcal{CE}(X,x)=-{\int }_0^x{F}_x\left(t\right)ln{F}_x\left(t\right)d{F}_x\left(t\right),$$

(30)

where $F_x\left(t\right)$ is defined by Equation (28), and

$$d{F}_x\left(t\right)=\frac{d}{dt}\left(\frac{F\left(t\right)}{F\left(x\right)}\right)dt.$$

(31)

Using the standard mathematical expectation in the form

$$\mathsf{E}\left[A\left(X\right)\right]={\int }_0^{\infty }A\left(t\right)dF\left(t\right),$$

(32)

Equation (29) can be represented as

$$\mathcal{CE}\left(X\right)=-\mathsf{E}[FlnF].$$

(33)

Remark 2.

It should be noted that the cumulative entropies, which are defined by Equations (29) and (30), can be generalized to obtain two-parameter cumulative entropies in the form

$${\mathcal{CE}}^{\alpha ,\beta }\left(X\right)={\int }_0^{\infty }{\left(F\left(t\right)\right)}^{\beta -1}{\left(-lnF\left(t\right)\right)}^{\alpha -1}dF\left(t\right),$$

(34)

where $\alpha >0$ and $\beta >0$. The dynamic cumulative entropy can be defined as

$${\mathcal{CE}}^{\alpha ,\beta }(X,x)={\int }_0^x{\left(F_x\left(t\right)\right)}^{\beta -1}{\left(-ln{F}_x\left(t\right)\right)}^{\alpha -1}d{F}_x\left(t\right)=$$

$${\int }_0^x{\left(\frac{F\left(t\right)}{F\left(x\right)}\right)}^{\beta -1}{\left(-ln\left(\frac{F\left(t\right)}{F\left(x\right)}\right)\right)}^{\alpha -1}d{F}_x\left(t\right),$$

(35)

where $\alpha >0$ and $\beta >0$. Values (34) and (35) can be called the cumulative fractional entropies, which can be considered as a cumulative form of the fractional entropies. Some currently known fractional entropies are briefly described in the next subsection.

3.2. Fractional Entropies

Using the fractional calculus, various generalizations of entropy are proposed (see review [91]). Let us note some extensions and fractional generalizations of the standard entropy.

In 2012 article [92], one-parameter fractional entropy was proposed in the form of the fractional integral equation

$$S_x^{\alpha }\left(X\right)=-I_{0,x}^{\alpha }\left[t\right]\left(\rho \left(t\right)ln\rho \left(t\right)\right)={\int }_0^x\frac{{(x-t)}^{\alpha -1}}{\mathsf{\Gamma }\left(\alpha \right)}\rho \left(t\right)ln\rho \left(t\right)dt={\int }_0^x\frac{{(x-t)}^{\alpha -1}}{\mathsf{\Gamma }\left(\alpha \right)}ln\rho \left(t\right)dF\left(t\right),$$

(36)

where the operator $I_{a,x}^{\alpha }\left[t\right]$ is the left-side Riemann–Liouville integral [4] (pp. 69–70).

Ubriaco in a 2009 paper [93] proposed the one-parameter fractional entropy. The continuous (differential) analogue of the Ubriaco fractional entropy can be written in the following form

$$S_U\left(X\right)={\int }_0^{\infty }\rho \left(t\right){(-ln\rho \left(t\right))}^{\alpha }dt={\int }_0^{\infty }{(-ln\rho \left(t\right))}^{\alpha }dF\left(t\right),$$

(37)

where $\alpha \in (0,1]$. The Ubriaco entropy is thermodynamically stable [93] and obeys the same properties as the Shannon entropy, with the exception of additivity. If $\alpha =1$, Equation (37) gives standard entropy (19).

Wang in [94] proposed one-parameter fractional entropy in the context of the incomplete information theory. The continuous (differential) entropy analogue of the fractional Wang entropy can be written as

$$S_W\left(X\right)=-{\int }_0^{\infty }{\left(\rho \left(t\right)\right)}^{\beta }ln\rho \left(t\right)dt=-{\int }_0^{\infty }{\left(\rho \left(t\right)\right)}^{\beta -1}ln\rho \left(t\right)dF\left(t\right).$$

(38)

The $\beta$-expectation ${⟨A⟩}_{\beta }$ has been also considered

$${⟨A⟩}_{\beta }={\int }_0^{\infty }A\left(t\right){\left(\rho \left(t\right)\right)}^{\beta }dt,$$

(39)

which characterizes incomplete normalization ${⟨A⟩}_{\beta }=1$.

Two-parameter fractional entropy was suggested in 2014 by Radhakrishnan, Chinnarasu, and Jambulingam [95]. A continuous (differential) entropy analogue of the RCJ fractional entropy can be written in the form

$$S_{RCJ}\left(X\right)={\int }_0^{\infty }{\left(\rho \left(t\right)\right)}^{\beta }{(-ln\rho \left(t\right))}^{\alpha }dt={\int }_0^{\infty }{\left(\rho \left(t\right)\right)}^{\beta -1}\left(t\right){(-ln\rho \left(t\right))}^{\alpha }dF\left(t\right),$$

(40)

where $\alpha \in (0,1]$, and $\beta >0$. For $\beta =1$, Equation (40) gives Equation (37). In the limit, when $\alpha =1$, Equation (40) reduces to expression (38). For $\alpha =\beta =1$, Equation (40) gives standard Equation (19).

4. Interpretation of Hadamard-Type Fractional Operators

4.1. Equation of HTFI Operator in Convenient Form

Equation (11), which defines the HTFI operator of function $f\left(x\right)$ with respect to the function $\mathsf{\Psi }\left(x\right)$, can be rewritten in the form

$${\mathcal{J}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)=\frac{1}{\mathsf{\Gamma }\left(\alpha \right)}{\int }_a^{x}f\left(t\right){\left(\frac{\mathsf{\Psi }\left(t\right)}{\mathsf{\Psi }\left(x\right)}\right)}^{\beta -1}{\left(-ln\frac{\mathsf{\Psi }\left(t\right)}{\mathsf{\Psi }\left(x\right)}\right)}^{\alpha -1}{\left(\frac{\mathsf{\Psi }\left(t\right)}{\mathsf{\Psi }\left(x\right)}\right)}_t^{\left(1\right)}dt,$$

(41)

where $x\in [a,b]$, and

$${\left(\frac{\mathsf{\Psi }\left(t\right)}{\mathsf{\Psi }\left(x\right)}\right)}_t^{\left(1\right)}=\frac{d}{dt}\left(\frac{\mathsf{\Psi }\left(t\right)}{\mathsf{\Psi }\left(x\right)}\right).$$

(42)

Let us define the function

$$F_x\left(t\right)=\frac{\mathsf{\Psi }\left(t\right)}{\mathsf{\Psi }\left(x\right)},$$

(43)

where $a\le t\le x<b$. Then, Equation (41) can be represented in the form

$${\mathcal{J}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)=\frac{1}{\mathsf{\Gamma }\left(\alpha \right)}{\int }_a^{x}f\left(t\right){\left(F_x\left(t\right)\right)}^{\beta -1}{\left(-ln{F}_x\left(t\right)\right)}^{\alpha -1}\mathrm{d}{F}_x\left(t\right),$$

(44)

where $x\in [a,b]$.

Equations (41) and (44) can be used to formulate possible interpretations of the Hadamard-type fractional integral and differential operators. Two types of interpretations are distinguished. The first interpretation intends to consider the function $F_x\left(t\right)$, which is defined by Equation (43), as a cumulative distribution function. In this interpretation, the basic representation of the HTFI operators is given by Equation (44). The second interpretation considers the function $\mathsf{\Psi }\left(t\right)$ as a cumulative distribution function. In this interpretation, the basic representation of the HTFI operators is described by Equation (41).

Let us write out separately the properties of the function $\mathsf{\Psi }\left(t\right)$, due to the definition of the fractional integral operator, and additional properties that allow us to consider the functions $\mathsf{\Psi }\left(t\right)$ or/and $F_x\left(t\right)$ as cumulative distribution functions.

4.2. Properties of Functions $\mathsf{\Psi }\left(x\right)$ and $F_x\left(t\right)$ used in HTFI Operator

In Definition 7, the following properties of the function $\mathsf{\Psi }\left(x\right)$ are used in [68]:

(1)

Continuously differentiable function:

$$\mathsf{\Psi }\left(t\right)\in C^1[a,b].$$

(45)

(2)

Positive function:

$$\mathsf{\Psi }\left(t\right)>0\mathrm{for}\mathrm{all}t\in [a,b].$$

(46)

(3)

Increasing function:

$${\mathsf{\Psi }}^{\left(1\right)}\left(t\right)>0\mathrm{for}\mathrm{all}t\in [a,b].$$

(47)

Using the properties of the function $\mathsf{\Phi }\left(x\right)$, for which HTFI is defined, one can describe properties of the function (43). Using properties of $\mathsf{\Psi }\left(x\right)$, one can prove that function (43) has the following properties:

(1)

Continuously differentiable function:

$$F_x\left(t\right)\in C^1[a,b].$$

(48)

(2)

Positive function:

$$F_x\left(t\right)>0,for\mathrm{all}t\in [a,b].$$

(49)

(3)

Increasing function:

$$\frac{d}{dt}{F}_x\left(t\right)>0,for\mathrm{all}t\in [a,b].$$

(50)

(4)

The limit on the left is equal to one:

$$\underset{t\to x-}{lim}{F}_x\left(t\right)=1.$$

(51)

The above properties of the function $\mathsf{\Psi }\left(x\right)$ proposed in paper in [68] can be slightly weakened for our purposes.

Let $(a,b)$, where $-\infty \le a<b\le +\infty$ is a finite or infinite interval of the real line $\mathbb{R}$, and let $\alpha >0$ and $\beta \in \mathbb{R}$. Note that the function $f\left(x\right)$ is assumed to be an integrable function such that $f\left(x\right)\in X_{\mathsf{\Psi },q}^p(a,b)$, where $1\le p\le \infty$. Therefore, one can use $\beta \ge q$. In addition, let $\mathsf{\Psi }\left(x\right)$ be an increasing and positive monotone function on $(a,b]$, having a continuous derivative ${\mathsf{\Psi }}^{\left(1\right)}\left(x\right)$ on $(a,b)$, and ${\mathsf{\Psi }}^{\left(1\right)}\left(x\right)\ne 0$ for $a<x<b$.

In addition, to use function (43) as the cumulative distribution function, we should consider only such functions $\mathsf{\Psi }\left(x\right)$ for which $F_x\left(t\right)$ is considered to be a cumulative distribution function.

4.3. Characteristic Properties of Cumulative Distribution Function

Let $(\mathbb{R},\mathcal{B}(\mathbb{R}\left)\right)$ be the real line with the system $\mathcal{B}\left(\mathbb{R}\right)$ of Borel sets. Let $P=P\left(A\right)$ be a probability measure defined on the Borel subset A of the real line $\mathbb{R}$. If $A=(-\infty ,x]$, where $x\in \mathbb{R}$, then

$$F\left(x\right)=P(-\infty ,x]$$

(52)

is called the cumulative distribution function.

The following proposition describes basic properties of the cumulative distribution function.

Proposition 1.

Let $F\left(x\right)$ be a distribution function of a random variable X.

Then, $F\left(x\right)$ satisfies the following properties:

I. Monotonicity: $F\left(x\right)$ is a nondecreasing function. If $x_1<x_2$, then $F\left(x_1\right)\le F\left(x_2\right)$.

II. Behavior at infinities

$$\underset{x\to -\infty }{lim}F\left(x\right)=0,$$

(53)

$$\underset{x\to \infty }{lim}F\left(x\right)=1.$$

(54)

III. Right-continuity: $F\left(x\right)$ is a continuous function on the right and has a limit on the left at each $x\in \mathbb{R}$.

$$\underset{x\to x_0+}{lim}F\left(x\right)=F\left(x_0\right).$$

(55)

Proposition 1 is proved in [96] (p. 185), and in book [97] (p. 34).

One can formulate a theorem inverse to Proposition 1. This theorem shows what properties a function must have in order to be a cumulative distribution function.

Theorem 3.

Let $F=F\left(x\right)$ be a function on the real line $\mathbb{R}$, which satisfies conditions I, II, and III. Then, there exists a unique probability (measurable) space $(\mathbb{R},\mathcal{B}(\mathbb{R}),P)$ and a random variable X such that

$$P(X\le x)=F\left(x\right),$$

(56)

$$P(a<X\le b)=P(a,b]=F\left(b\right)-F\left(a\right)$$

(57)

for all a, b such that $-\infty \le a<b<\infty$.

Theorem 3 is proved in book [97] (p. 35), as Theorem 3.2.1. Theorem 3 is also described in [96] (p. 185), as Theorem 1.

As a result, one can state that every function $F\left(x\right)$ on the real line $\mathbb{R}$, which satisfies conditions I, II, and III, is a cumulative distribution function.

4.4. Cumulative Fractional Entropy

Let $\mathsf{\Psi }=\mathsf{\Psi }\left(x\right)$ be a function on the real line $\mathbb{R}$, which satisfies conditions I, II, and III. Consider a cumulative distribution function $\mathsf{\Psi }\left(x\right)$, for which the conditions of the existence of the HTFI operator are satisfied.

Let $(a,b)$, where $-\infty \le a<b\le +\infty$ is a finite or infinite interval of the real line $\mathbb{R}$, and let $\alpha >0$ and $\beta \in \mathbb{R}$, such that $\beta >q$. In addition, let $\mathsf{\Psi }\left(x\right)$ be an increasing and positive monotone function on $(a,b]$, having a continuous derivative ${\mathsf{\Psi }}^{\left(1\right)}\left(x\right)$ on $(a,b)$, and ${\mathsf{\Psi }}^{\left(1\right)}\left(x\right)\ne 0$ for $a<x<b$. As a result, one can formulate the following definition.

Definition 9.

Let $(a,b)$, where $-\infty \le a<b\le +\infty$ is a finite or infinite interval of the real line $\mathbb{R}$. Let $\mathsf{\Psi }\left(t\right)$ be a function, for which the following properties are satisfied:

 (1) 

Continuously differentiable function:

$$\mathsf{\Psi }\left(t\right)\in C^1(a,b).$$

(58)

 (2) 

Positive function:

$$\mathsf{\Psi }\left(t\right)>0forallt\in (a,b).$$

(59)

 (3) 

Increasing function:

$${\mathsf{\Psi }}^{\left(1\right)}\left(t\right)>0forallt\in (a,b).$$

(60)

 (4) 

The limit on the right is zero:

$$\underset{t\to a+}{lim}\mathsf{\Psi }\left(t\right)=0.$$

(61)

 (5) 

The limit on the left is equal to one:

$$\underset{t\to b-}{lim}\mathsf{\Psi }\left(t\right)=1.$$

(62)

The set of such cumulative distribution functions will be denoted by the symbol $C_{\mathsf{\Psi }}^1(a,b)$.

Let us give definitions of a cumulative fractional entropy and a dynamic cumulative fractional entropy, which are expressed through the HTFI operators.

Definition 10.

Let $(a,b)$, where $-\infty \le a<b\le +\infty$ is a finite or infinite interval of the real line $\mathbb{R}$, and let $\alpha >0$ and $\beta \in \mathbb{R}$, such that $\beta >q$.

Let a cumulative distribution function $F\left(x\right)=\mathsf{\Psi }\left(x\right)$ belong to the set $C_{\mathsf{\Psi }}^1(a,b)$, and let a function $f\left(x\right)$ belong to the space $X_{\mathsf{\Psi },q}^p(a,b)$, where $1\le p\le \infty$.

Then, there is a cumulative fractional entropy that is defined by equation

$${\mathcal{H}}_{F,a,b}^{\alpha ,\beta }\left[f\right]=\frac{1}{\mathsf{\Gamma }\left(\alpha \right)}{\int }_a^{b}f\left(t\right){\left(F\left(t\right)\right)}^{\beta -1}{\left(-lnF\left(t\right)\right)}^{\alpha -1}dF\left(t\right).$$

(63)

Then, there is a dynamic cumulative fractional entropy that is defined by equation

$${\mathrm{H}}_{F,a,x}^{\alpha ,\beta }\left[f\right]={\mathcal{J}}_{F,a,x}^{\alpha ,\beta }\left[t\right]f\left(t\right)=\frac{1}{\mathsf{\Gamma }\left(\alpha \right)F\left(x\right)}{\int }_a^{x}f\left(t\right){\left(\frac{F\left(t\right)}{F\left(x\right)}\right)}^{\beta -1}{\left(-ln\frac{F\left(t\right)}{F\left(x\right)}\right)}^{\alpha -1}dF\left(t\right),$$

(64)

where $a<x<b$, $a\le t\le x$.

Using Theorem 1, one can obtain as a corollary the following proposition.

Proposition 2.

Let $(a,b)$, where $-\infty \le a<b\le +\infty$ is a finite or infinite interval of the real line $\mathbb{R}$.

Let $F\left(x\right)=\mathsf{\Psi }\left(x\right)$ be a cumulative distribution function that belongs to the set $C_{\mathsf{\Psi }}^1(a,b)$, and $\alpha >0$, $1\le p\le \infty$, $\beta \in \mathbb{R}$.

Then, cumulative fractional entropy (63) and dynamic cumulative fractional entropy (64) are bounded, if $f\left(x\right)$ belongs to the space $X_{\mathsf{\Psi },q}^p(a,b)$ and $\beta \ge q$.

The proposed cumulative fractional entropy and dynamic cumulative fractional entropy can be considered as a fractional generalizations of cumulative entropy (26) and dynamic cumulative entropy (27), which are proposed by Di Crescenzo and Longobardi in [87].

Note that for $\alpha =\beta =2$ and $f\left(x\right)=1$ with $a=0$ and $b=\infty$, Equation (63) gives the cumulative entropy (26), which are proposed by Di Crescenzo and Longobardi in [87], in which $dt$ is replaced by $dF\left(t\right)$.

Note that for $\alpha =\beta =2$ and $f\left(x\right)=1$, Equation (64) with $a=0$ can be expressed through the dynamic cumulative entropy (27), which are proposed by Di Crescenzo and Longobardi in [87], in which $dt$ is replaced by $dF\left(t\right)$.

Remark 3.

In Definition 10, the HTFI operators are used to proposed new types of entropy. Equations (63) and (64) contain a function $f\left(x\right)$ in addition to the cumulative distribution function $F\left(x\right)$ and the probability density function $\rho \left(x\right)$ in the form $dF\left(x\right)=\rho \left(x\right)dx$. In order for Equations (63) and (64) to define generalizations of the concept of entropy, it is necessary to characterize the function $f\left(x\right)$. As the simplest example, the unit function $f\left(x\right)=1$ can be considered as a function $f\left(x\right)$. In this case, Equations (63) and (64) give generalizations of already known entropies.

In the general case, there are three following types of functions f(x).

(I) The case when $f\left(x\right)$ is a function of the cumulative distribution function $F\left(x\right)$, i.e., $f\left(x\right)=f\left(F\right(x\left)\right)$. For example,

$$f\left(F\left(t\right)\right)={\left(F\left(t\right)\right)}^{\gamma -1}{\left(-lnF\left(t\right)\right)}^{\delta -1}.$$

(65)

where $\gamma >-\alpha$ with $\alpha >0$, and $\delta >-\beta >$ with $\beta >q$.

(II) The case when $f\left(x\right)$ is a function of the cumulative distribution function $F\left(x\right)$, i.e., $f\left(x\right)=f\left(\rho \right(x\left)\right)$. For example,

$$f\left(\rho \left(t\right)\right)={\left(\rho \left(t\right)\right)}^{\gamma -1}{\left(-ln\rho \left(t\right)\right)}^{\delta -1}.$$

(66)

where $\gamma >-1$ and $\delta \ge 0$, or

$$f\left(\rho \left(t\right)\right)=-{ln}_q\rho \left(t\right)=-\frac{{\left(\rho \left(t\right)\right)}^{q-1}-1}{q-1},$$

(67)

where $q\ge 0$.

(III) The case when $f\left(x\right)$ is a function of a function $g\left(x\right)$ that can be considered as a functional parameter providing properties, the implementation of which allows Equations (63) and (64) to be interpreted as a generalization of the concept of entropy. As a simple example of such a function, one can consider constants, i.e., $g\left(x\right)=\lambda$. The function $g\left(x\right)$ can the cumulative distribution function or the probability density function of another system.

One can consider combinations of these types of functions, that is, consider functions of the form $f\left(t\right)=f\left(F\right(t),\rho (t),g(t\left)\right)$.

The dependence of the introduced generalizations of the concept of entropy on some function $f\left(x\right)$ opens up additional possibilities and expands the list of possible characteristics of systems in statistical physics, information theory and quantum theory.

Remark 4.

Using cumulative distribution function (43), one can define cumulative fractional entropy in the form

$${\mathrm{H}}_{F,0,x}^{\alpha ,\beta }\left[f\right]=\frac{1}{\mathsf{\Gamma }\left(\alpha \right)}{\int }_0^{x}f\left(t\right){\left(F_x\left(t\right)\right)}^{\beta -1}{\left(-ln{F}_x\left(t\right)\right)}^{\alpha -1}\mathrm{d}{F}_x\left(t\right),$$

(68)

where $x\in [a,b]$, $\alpha >0$ and $\beta >0$. Therefore, one can see that

$${\mathrm{H}}_{F,0,x}^{\alpha ,\beta }\left[f\right]={\mathcal{H}}_{F_x,0,x}^{\alpha ,\beta }\left[f\right]$$

(69)

Remark 5.

To simplify the notation, the entropy density function can be defined. Let us define the function

$${\mathrm{S}}_F^{\alpha ,\beta }\left(t\right)={\left(F\left(t\right)\right)}^{\beta -1}{\left(-lnF\left(t\right)\right)}^{\alpha -1},$$

(70)

where $\alpha >0$ and $\beta >0$. Note that function (70) can be interpreted as a fractional cumulative entropy density.

Using function (43), one also can define the function

$${\mathrm{S}}_F^{\alpha ,\beta }(t,x)={\left(F_x\left(t\right)\right)}^{\beta -1}{\left(-ln{F}_x\left(t\right)\right)}^{\alpha -1},$$

(71)

where $\alpha >0$ and $\beta >0$. Note that

$${\mathrm{S}}_F^{\alpha ,\beta }(t,b)={\mathrm{S}}_F^{\alpha ,\beta }\left(t\right),$$

(72)

if $F\left(x\right)\in C_{\mathsf{\Psi }}^1(a,b)$, i.e., $F\left(b\right)=1$.

For the special case $\alpha =\beta =1$, function (70) has the form ${\mathrm{S}}_F^{1,1}\left(t\right)=1$. For the special case $\alpha =\beta =2$, function (70) has the form

$${\mathrm{S}}_x^{2,2}\left(t\right)=-F_x\left(t\right)ln{F}_x\left(t\right).$$

(73)

Equation (64) can be written as the mathematical expectation of the density of the cumulative entropy and function $f\left(t\right)$ in the form

$${\mathcal{H}}_{F,a,b}^{\alpha ,\beta }\left[f\right]=\mathbb{E}\left[f\left(t\right){\mathrm{S}}_F^{\alpha ,\beta }\left(t\right)\right].$$

(74)

For the special case $\alpha =\beta =1$, we have

$${\mathcal{H}}_{F,a,b}^{1,1}\left[f\right]=\mathbb{E}\left[f\left(t\right)\right].$$

(75)

Let us note the following special cases. For $\beta =0$, the cumulative fractional entropies are described by the Hadamard fractional operators with respect to $\mathsf{\Psi }\left(x\right)$. For $\beta =0$ and $\mathsf{\Psi }\left(x\right)=x$, the cumulative fractional entropies are represented by the Hadamard fractional integral and differential operators. In this case, the uniform distribution of the interval $[0,1]$ can be considered.

Definition 11.

Let $(a,b)$, where $-\infty \le a<b\le +\infty$ is a finite or infinite interval of the real line $\mathbb{R}$, and let $\alpha >0$, $n=\left[\alpha \right]+1$ and $\beta \in \mathbb{R}$.

Let a cumulative distribution function $F\left(x\right)=\mathsf{\Psi }\left(x\right)$ belong to the set $C_{\mathsf{\Psi }}^1(a,b)$.

Then, there is a dual cumulative fractional entropy that is defined by equation

$${\mathcal{DH}}_{F,a,b}^{\alpha ,\beta }\left[f\right]={\mathcal{H}}_{F,a,b}^{\alpha ,\beta }\left[D_t^{m,\beta }f\left(t\right)\right],$$

(76)

where ${\mathcal{H}}_{F,a,b}^{\alpha ,\beta }$ is defined in (63).

Then, there is a dual dynamic cumulative fractional entropy that is defined by equation

$${\mathrm{DH}}_{F,a,x}^{\alpha ,\beta }\left[f\right]={\mathrm{H}}_{F,a,x}^{\alpha ,\beta }\left[D_t^{m,\beta }f\left(t\right)\right],$$

(77)

where $a<x<b$, $a\le t\le x$, ${\mathrm{H}}_{F,a,x}^{\alpha ,\beta }$ is defined in (64).

Here, $D_t^{m,\beta }$ is the differential operator of integer order that is defined by Equation (4).

Using Theorem 2, one can obtain as a corollary the following proposition.

Proposition 3.

Let $(a,b)$, where $-\infty \le a<b\le +\infty$ is a finite or infinite interval of the real line $\mathbb{R}$.

Let $\alpha >0$, $n=\left[\alpha \right]+1$, $\beta \in \mathbb{R}$, and $F\left(x\right)=\mathsf{\Psi }\left(x\right)$ be a cumulative distribution function that belongs to the set $C_{\mathsf{\Psi }}^1(a,b)$.

Then, the dual cumulative fractional entropy (76) and the dual dynamic cumulative fractional entropy (76) exist almost everywhere on $[a,b]$, if $f\left(x\right)\in A{C}_{{\delta }^{\mathsf{\Psi }},\beta }^n[a,b]$.

4.5. Examples

For an example of the dependence of fractional cumulative entropy on the function $f\left(x\right)$, the following proposition and equations can be used.

Proposition 4.

For $\nu >0$, $\alpha >0$ and $\beta \in \mathbb{R}$, the following relations hold:

$${\mathcal{J}}_{\mathsf{\Psi },c,x}^{\alpha ,\beta }\left[t\right]\left\{{\left(\mathsf{\Psi }\left(t\right)\right)}^{-\beta }{\left(ln\frac{\mathsf{\Psi }\left(t\right)}{\mathsf{\Psi }\left(c\right)}\right)}^{\nu -1}\right\}=\frac{\mathsf{\Gamma }\left(\nu \right)}{\mathsf{\Gamma }(\nu +\alpha )}{\left(\mathsf{\Psi }\left(x\right)\right)}^{-\beta }{\left(ln\frac{\mathsf{\Psi }\left(x\right)}{\mathsf{\Psi }\left(c\right)}\right)}^{\nu +\alpha -1},$$

(78)

$${\mathcal{D}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]\left\{{\left(\mathsf{\Psi }\left(t\right)\right)}^{-\beta }{\left(ln\frac{\mathsf{\Psi }\left(t\right)}{\mathsf{\Psi }\left(c\right)}\right)}^{\nu -1}\right\}=\frac{\mathsf{\Gamma }\left(\nu \right)}{\mathsf{\Gamma }(\nu -\alpha )}{\left(\mathsf{\Psi }\left(x\right)\right)}^{-\beta }{\left(ln\frac{\mathsf{\Psi }\left(x\right)}{\mathsf{\Psi }\left(c\right)}\right)}^{\nu -\alpha -1}.$$

(79)

Proposition 4 is proved in work [68] as Proposition 3.13.

Using the Proposition 4, one can obtain the following property of the cumulative fractional entropy.

Proposition 5.

Let $(a,b)$, where $-\infty \le a<b\le +\infty$ is a finite or infinite interval of the real line $\mathbb{R}$. Let $F\left(t\right)=\mathsf{\Psi }\left(t\right)$ be a cumulative distribution function, which belongs to the set $C_{\mathsf{\Psi }}^1(a,b)$.

For $a<c<b$, $\nu >0$, $\alpha >0$ and $\beta \in \mathbb{R}$, the dynamic cumulative fractional entropy is given by the equation

$${\mathrm{H}}_{F,c,x}^{\alpha ,\beta }\left[f\right]=\frac{\mathsf{\Gamma }\left(\nu \right)}{\mathsf{\Gamma }(\nu +\alpha )}{\left(F\left(x\right)\right)}^{-\beta }{\left(ln\frac{F\left(x\right)}{F\left(c\right)}\right)}^{\nu +\alpha -1},$$

(80)

if

$$f\left(t\right)={\left(F\left(t\right)\right)}^{-\beta }{\left(ln\frac{F\left(t\right)}{F\left(c\right)}\right)}^{\nu -1},$$

(81)

where $t>a$

For the case $\mathsf{\Psi }\left(t\right)=t$, Equation (2).7.21 of Property 2.25 (see [4] (p. 113)) gives the equations

$${\mathcal{J}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]t^{\nu }={(\beta +\nu )}^{-\alpha }{x}^{\nu }.$$

(82)

$${\mathcal{D}}_{\mathsf{\Psi },a,x}^{\alpha ,\beta }\left[t\right]t^{\nu }={(\beta +\nu )}^{\alpha }{x}^{\nu }.$$

(83)

Proposition 6.

Let $(a,b)$, where $-\infty <a<b<+\infty$ is a finite interval of the real line $\mathbb{R}$.

Let $F\left(t\right)=\mathsf{\Psi }\left(t\right)=t/b$ be a cumulative distribution function of the uniform distribution on the interval $[0,b]$, which belongs to the set $C_{\mathsf{\Psi }}^1(a,b)$.

For $\nu >0$, $\alpha >0$ and $\beta \in \mathbb{R}$, the dynamic cumulative fractional entropy is given by the equation

$${\mathrm{H}}_{F,0,x}^{\alpha ,\beta }\left[t^{\nu }\right]={(\beta +\nu )}^{-\alpha }{x}^{\nu }.$$

(84)

Let us give some properties of the cumulative fractional entropy (76) and the dynamic cumulative fractional entropy (76).

$${\mathcal{H}}_{F,a,b}^{\alpha ,\beta }[{\lambda }_1{f}_1\left(t\right)+{\lambda }_2{f}_2\left(t\right)]={\lambda }_1{\mathcal{H}}_{F,a,b}^{\alpha ,\beta }\left[f_1\left(t\right)\right]+{\lambda }_2{\mathcal{H}}_{F,a,b}^{\alpha ,\beta }\left[f_2\left(t\right)\right],$$

(85)

$${\mathcal{H}}_{F,a,b}^{\alpha ,\beta }\left[g\left(t\right)F\left(t\right)\right]={\mathcal{H}}_{F,a,b}^{\alpha ,\beta +1}\left[g\left(t\right)\right],$$

(86)

$${\mathcal{H}}_{F,a,b}^{\alpha ,\beta }[g\left(t\right)lnF\left(t\right)]=-{\mathcal{H}}_{F,a,b}^{\alpha +1,\beta }\left[g\left(t\right)\right],$$

(87)

$${\mathcal{H}}_{F,a,b}^{\alpha ,\beta }[g\left(t\right)F\left(t\right)lnF\left(t\right)]=-{\mathcal{H}}_{F,a,b}^{\alpha +1,\beta +1}\left[g\left(t\right)\right],$$

(88)

$${\mathcal{H}}_{F,a,b}^{\alpha ,\beta }\left[g\left(t\right){\left(F\left(t\right)\right)}^{\gamma }{(-lnF\left(t\right))}^{\delta }\right]={\mathcal{H}}_{F,a,b}^{\alpha +\gamma ,\beta +\delta }\left[g\left(t\right)\right],$$

(89)

where $\gamma >-\alpha$ with $\alpha >0$, and $\delta >-\beta$ with $\beta >q$.

These properties can easily be proven using the determination of cumulative fractional entropy. Properties (86)–(88) are particular cases of property (89). Similar properties hold for the dynamic cumulative fractional entropy.

5. Conclusions

Interpretations of fractional integral and differential operators of non-integer order can play an important role for new applications of this tool in various fields of science. In this paper, an interpretation of Hadamard-type fractional integral and differential operators is proposed. It has been proved that such operators of integration and differentiation of one function with respect to another function can be considered as some type of cumulative fractional entropy. The concept of entropy plays an important role in information theory and statistical physics. The proposed interpretation opens up new possible applications of Hadamard-type fractional integral and differential operators in these sciences.

In this paper, only the interpretation of fractional operators is proposed. Important questions, which are not considered in this paper, are detailed studies of the properties of the proposed family of cumulative fractional entropies. In this case, the results obtained in the framework of the fractional Hadamard calculus can be used.

In conclusion, one can see that the proposed generalizations of the concept of entropy can be extended to the case of nonlocal probability theory by using general fractional probability density functions and general fractional cumulative distribution functions, which are proposed in [98,99].