Fractional calculus of sets

The Fractional Calculus of Sets (FCS), first introduced in the article titled "Sets of Fractional Operators and Numerical Estimation of the Order of Convergence of a Family of Fractional Fixed-Point Methods", is a methodology derived from fractional calculus. The primary concept behind FCS is the characterization of fractional calculus elements using sets due to the plethora of fractional operators available.. This methodology originated from the development of the Fractional Newton-Raphson method and subsequent related works..

Illustration of some lines generated by the fractional Newton–Raphson method for the same initial condition $x_0$ but with different orders $\alpha$ of the implemented fractional operator. Source: Applied Mathematics and Computation

Set $O_{x,\alpha }^n(h)$ of Fractional Operators

Fractional calculus, a branch of mathematics dealing with derivatives of non-integer order, emerged nearly simultaneously with traditional calculus. This emergence was partly due to Leibniz's notation for derivatives of integer order: $\frac{d^n}{d{x}^n}$. Thanks to this notation, L'Hopital was able to inquire in a letter to Leibniz about the interpretation of taking $n=\frac{1}{2}$ in a derivative. At that moment, Leibniz couldn't provide a physical or geometric interpretation for this question, so he simply replied to L'Hopital in a letter that "... is an apparent paradox from which, one day, useful consequences will be drawn".

The name "fractional calculus" originates from a historical question, as this branch of mathematical analysis studies derivatives and integrals of a certain order $\alpha \in \mathbb{ℝ}$. Currently, fractional calculus lacks a unified definition of what constitutes a fractional derivative. Consequently, when the explicit form of a fractional derivative is unnecessary, it is typically denoted as follows:

$\frac{d^{\alpha }}{d{x}^{\alpha }}.$

Fractional operators have various representations, but one of their fundamental properties is that they recover the results of traditional calculus as $\alpha \to n$. Considering a scalar function $h:{\mathbb{ℝ}}^m\to \mathbb{ℝ}$ and the canonical basis of ${\mathbb{ℝ}}^m$ denoted by $\{{\hat{e}}_k{\}}_{k\ge 1}$, the following fractional operator of order $\alpha$ is defined using Einstein notation

$o_x^{\alpha }h(x):={\hat{e}}_k{o}_k^{\alpha }h(x).$

Denoting $\underset{k}{\overset{n}{\partial }}$ as the partial derivative of order $n$ with respect to the $k$-th component of the vector $x$, the following set of fractional operators is defined:

$O_{x,\alpha }^n(h):=\{o_x^{\alpha }:\mathrm{\exists }{o}_k^{\alpha }h(x)\text{ and }\underset{\alpha \to n}{\lim }{o}_k^{\alpha }h(x)=\underset{k}{\overset{n}{\partial }}h(x)\mathrm{\forall }k\ge 1\},$

with its complement:

$O_{x,\alpha }^{n,c}(h):=\{o_x^{\alpha }:\mathrm{\exists }{o}_k^{\alpha }h(x)\mathrm{\forall }k\ge 1\text{ and }\underset{\alpha \to n}{\lim }{o}_k^{\alpha }h(x)\ne \underset{k}{\overset{n}{\partial }}h(x)\text{ for at least one }k\ge 1\}.$

Consequently, the following set is defined:

$O_{x,\alpha }^{n,u}(h):=O_{x,\alpha }^n(h)\cup O_{x,\alpha }^{n,c}(h).$

Extension to Vectorial Functions

For a function $h:\mathrm{\Omega }\subset {\mathbb{ℝ}}^m\to {\mathbb{ℝ}}^m$, the set is defined as:

${}_m{O}_{x,\alpha }^{n,u}(h):=\{o_x^{\alpha }:o_x^{\alpha }\in O_{x,\alpha }^{n,u}([h{]}_k)\mathrm{\forall }k\le m\},$

where $[h{]}_k:\mathrm{\Omega }\subset {\mathbb{ℝ}}^m\to \mathbb{ℝ}$ denotes the $k$-th component of the function $h$.

Set ${}_{m}M{O}_{x,\alpha }^{\mathrm{\infty },u}(h)$ of Fractional Operators

The set of fractional operators considering infinite orders is defined as:

${}_{m}M{O}_{x,\alpha }^{\mathrm{\infty },u}(h):=\bigcap _{k\in \mathbb{\mathbb{Z}}}{}_m{O}_{x,\alpha }^{k,u}(h),$

where under the classic Hadamard product, it holds that:

$o_x^0\circ h(x):=h(x)\mathrm{\forall }{o}_x^{\alpha }\in {}_{m}M{O}_{x,\alpha }^{\mathrm{\infty },u}(h).$

Fractional Matrix Operators

For each operator $o_x^{\alpha }$, the fractional matrix operator is defined as:

$A_{\alpha }(o_x^{\alpha })=([A_{\alpha }(o_x^{\alpha }){]}_{jk})=\left(o_k^{\alpha }\right),$

and for each operator $o_x^{\alpha }\in {}_{m}M{O}_{x,\alpha }^{\mathrm{\infty },u}(h)$, the following matrix, corresponding to a generalization of the Jacobian matrix, can be defined:

$A_{h,\alpha }:=A_{\alpha }(o_x^{\alpha })\circ A_{\alpha }^T(h),$

where $A_{\alpha }(h):=([A_{\alpha }(h){]}_{jk})=([h{]}_k)$.

Modified Hadamard Product

Considering that, in general, $o_x^{p\alpha }\circ o_x^{q\alpha }\ne o_x^{(p+q)\alpha }$, the following modified Hadamard product is defined:

$o_{i,x}^{p\alpha }\circ o_{j,x}^{q\alpha }:=\{\begin{array}{cl}{o}_{i,x}^{p\alpha }\circ o_{j,x}^{q\alpha },& \text{if }i\ne j(\text{horizontal type Hadamard product})\\ o_{i,x}^{(p+q)\alpha },& \text{if }i=j(\text{vertical type Hadamard product})\end{array},$

with which the following theorem is obtained:

Theorem: Abelian Group of Fractional Matrix Operators

Let $o_x^{\alpha }$ be a fractional operator such that $o_x^{\alpha }\in {}_{m}M{O}_{x,\alpha }^{\mathrm{\infty },u}(h)$. Considering the modified Hadamard product, the following set of fractional matrix operators is defined:

$\begin{array}{c}{}_{m}G(A_{\alpha }(o_x^{\alpha })):=\{A_{\alpha }^{\circ r}=A_{\alpha }(o_x^{r\alpha }):r\in \mathbb{\mathbb{Z}}\text{ and }{A}_{\alpha }^{\circ r}=([A_{\alpha }^{\circ r}{]}_{jk}):=\left(o_k^{r\alpha }\right)\},\end{array}(1)$

which corresponds to the Abelian group generated by the operator $A_{\alpha }(o_x^{\alpha })$.

Proof

Since the set in equation (1) is defined by applying only the vertical type Hadamard product between its elements, for all $A_{\alpha }^{\circ p},A_{\alpha }^{\circ q}\in {}_{m}G(A_{\alpha }(o_x^{\alpha }))$ it holds that:

$A_{\alpha }^{\circ p}\circ A_{\alpha }^{\circ q}=([A_{\alpha }^{\circ p}{]}_{jk})\circ ([A_{\alpha }^{\circ q}{]}_{jk})=\left(o_k^{(p+q)\alpha }\right)=([A_{\alpha }^{\circ (p+q)}{]}_{jk})=A_{\alpha }^{\circ (p+q)},$

with which it is possible to prove that the set (1) satisfies the following properties of an Abelian group:

$\{\begin{array}{l}\mathrm{\forall }{A}_{\alpha }^{\circ p},A_{\alpha }^{\circ q},A_{\alpha }^{\circ r}\in {}_{m}G(A_{\alpha }(o_x^{\alpha })),(A_{\alpha }^{\circ p}\circ A_{\alpha }^{\circ q})\circ A_{\alpha }^{\circ r}=A_{\alpha }^{\circ p}\circ (A_{\alpha }^{\circ q}\circ A_{\alpha }^{\circ r})\\ \mathrm{\exists }{A}_{\alpha }^{\circ 0}\in {}_{m}G(A_{\alpha }(o_x^{\alpha }))\text{such that}\mathrm{\forall }{A}_{\alpha }^{\circ p}\in {}_{m}G(A_{\alpha }(o_x^{\alpha })),A_{\alpha }^{\circ 0}\circ A_{\alpha }^{\circ p}=A_{\alpha }^{\circ p}\\ \mathrm{\forall }{A}_{\alpha }^{\circ p}\in {}_{m}G(A_{\alpha }(o_x^{\alpha })),\mathrm{\exists }{A}_{\alpha }^{\circ -p}\in {}_{m}G(A_{\alpha }(o_x^{\alpha }))\text{such that}{A}_{\alpha }^{\circ p}\circ A_{\alpha }^{\circ -p}=A_{\alpha }^{\circ 0}\\ \mathrm{\forall }{A}_{\alpha }^{\circ p},A_{\alpha }^{\circ q}\in {}_{m}G(A_{\alpha }(o_x^{\alpha })),A_{\alpha }^{\circ p}\circ A_{\alpha }^{\circ q}=A_{\alpha }^{\circ q}\circ A_{\alpha }^{\circ p}\end{array}.$

Set ${}_m{S}_{x,\alpha }^{n,\gamma }(h)$ of Fractional Operators

Let ${\mathbb{\mathbb{N}}}_0$ be the set $\mathbb{\mathbb{N}}\cup \{0\}$. If $\gamma \in {\mathbb{\mathbb{N}}}_0^m$ and $x\in {\mathbb{ℝ}}^m$, then the following multi-index notation can be defined:

$\{\begin{array}{c}\begin{array}{ccc}\gamma !:=\prod _{k=1}^m[\gamma {]}_k!,& |\gamma |:=\sum _{k=1}^m[\gamma {]}_k,& x^{\gamma }:=\prod _{k=1}^m[x{]}_k^{[\gamma {]}_k}\end{array}\\ \frac{{\partial }^{\gamma }}{\partial x^{\gamma }}:=\frac{{\partial }^{[\gamma {]}_1}}{\partial [x{]}_1}\frac{{\partial }^{[\gamma {]}_2}}{\partial [x{]}_2}\cdots \frac{{\partial }^{[\gamma {]}_m}}{\partial [x{]}_m}\end{array}.$

Then, considering a function $h:\mathrm{\Omega }\subset {\mathbb{ℝ}}^m\to \mathbb{ℝ}$ and the fractional operator:

$s_x^{\alpha \gamma }\left(o_x^{\alpha }\right):=o_1^{\alpha [\gamma {]}_1}{o}_2^{\alpha [\gamma {]}_2}\cdots o_m^{\alpha [\gamma {]}_m},$

the following set of fractional operators is defined:

$S_{x,\alpha }^{n,\gamma }(h):=\{s_x^{\alpha \gamma }=s_x^{\alpha \gamma }\left(o_x^{\alpha }\right):\mathrm{\exists }{s}_x^{\alpha \gamma }h(x)\text{ such that }{o}_x^{\alpha }\in O_{x,\alpha }^s(h)\mathrm{\forall }s\le n^2\text{ and }\underset{\alpha \to k}{\lim }{s}_x^{\alpha \gamma }h(x)=\frac{{\partial }^{k\gamma }}{\partial x^{k\gamma }}h(x)\mathrm{\forall }\alpha ,|\gamma |\le n\}.$

From which the following results are obtained:

$\text{If }{s}_x^{\alpha \gamma }\in S_{x,\alpha }^{n,\gamma }(h)\Rightarrow \{\begin{array}{l}\underset{\alpha \to 0}{\lim }{s}_x^{\alpha \gamma }h(x)=o_1^0{o}_2^0\cdots o_m^{0}h(x)=h(x)\\ \underset{\alpha \to 1}{\lim }{s}_x^{\alpha \gamma }h(x)=o_1^{[\gamma {]}_1}{o}_2^{[\gamma {]}_2}\cdots o_m^{[\gamma {]}_m}h(x)=\frac{{\partial }^{\gamma }}{\partial x^{\gamma }}h(x)\mathrm{\forall }|\gamma |\le n\\ \underset{\alpha \to q}{\lim }{s}_x^{\alpha \gamma }h(x)=o_1^{q[\gamma {]}_1}{o}_2^{q[\gamma {]}_2}\cdots o_m^{q[\gamma {]}_m}h(x)=\frac{{\partial }^{q\gamma }}{\partial x^{q\gamma }}h(x)\mathrm{\forall }q|\gamma |\le qn\\ \underset{\alpha \to n}{\lim }{s}_x^{\alpha \gamma }h(x)=o_1^{n[\gamma {]}_1}{o}_2^{n[\gamma {]}_2}\cdots o_m^{n[\gamma {]}_m}h(x)=\frac{{\partial }^{n\gamma }}{\partial x^{n\gamma }}h(x)\mathrm{\forall }n|\gamma |\le n^2\end{array}.$

As a consequence, considering a function $h:\mathrm{\Omega }\subset {\mathbb{ℝ}}^m\to {\mathbb{ℝ}}^m$, the following set of fractional operators is defined:

${}_m{S}_{x,\alpha }^{n,\gamma }(h):=\{s_x^{\alpha \gamma }:s_x^{\alpha \gamma }\in S_{x,\alpha }^{n,\gamma }([h{]}_k)\mathrm{\forall }k\le m\}.$

Set ${}_m{T}_{x,\alpha }^{\mathrm{\infty },\gamma }(a,h)$ of Fractional Operators

Considering a function $h:\mathrm{\Omega }\subset {\mathbb{ℝ}}^m\to {\mathbb{ℝ}}^m$ and the following set of fractional operators:

${}_m{S}_{x,\alpha }^{\mathrm{\infty },\gamma }(h):=\underset{n\to \mathrm{\infty }}{\lim }{}_m{S}_{x,\alpha }^{n,\gamma }(h).$

Then, taking a ball $B(a;\delta )\subset \mathrm{\Omega }$, it is possible to define the following set of fractional operators:

${}_m{T}_{x,\alpha }^{\mathrm{\infty },\gamma }(a,h):=\{t_x^{\alpha ,\mathrm{\infty }}=t_x^{\alpha ,\mathrm{\infty }}\left(s_x^{\alpha \gamma }\right):s_x^{\alpha \gamma }\in {}_m{S}_{x,\alpha }^{\mathrm{\infty },\gamma }(h)\text{ and }{t}_x^{\alpha ,\mathrm{\infty }}h(x):=\sum _{|\gamma |=0}^{\mathrm{\infty }}\frac{1}{\gamma !}{\hat{e}}_j{s}_x^{\alpha \gamma }[h{]}_j(a)(x-a{)}^{\gamma }\},$

which allows generalizing the expansion in Taylor series of a vector-valued function in multi-index notation. As a consequence, the following result can be obtained:

$\text{If }{t}_x^{\alpha ,\mathrm{\infty }}\in {}_m{T}_{x,\alpha }^{\mathrm{\infty },\gamma }(a,h)\Rightarrow \{\begin{array}{rl}{t}_x^{\alpha ,\mathrm{\infty }}h(x)=& {\hat{e}}_j[h{]}_j(a)+\sum _{|\gamma |=1}\frac{1}{\gamma !}{\hat{e}}_j{s}_x^{\alpha \gamma }[h{]}_j(a)(x-a{)}^{\gamma }+\sum _{|\gamma |=2}^{\mathrm{\infty }}\frac{1}{\gamma !}{\hat{e}}_j{s}_x^{\alpha \gamma }[h{]}_j(a)(x-a{)}^{\gamma }\\ =& h(a)+\sum _{k=1}^n{\hat{e}}_j{o}_k^{\alpha }[h{]}_j(a){[(x-a)]}_k+\sum _{|\gamma |=2}^{\mathrm{\infty }}\frac{1}{\gamma !}{\hat{e}}_j{s}_x^{\alpha \gamma }[h{]}_j(a)(x-a{)}^{\gamma }\end{array}.$

Fractional Newton-Raphson Method

Let $f:\mathrm{\Omega }\subset {\mathbb{ℝ}}^m\to {\mathbb{ℝ}}^m$ be a function with a point $\xi \in \mathrm{\Omega }$ such that $\Vert f(\xi )\Vert =0$. Then, for some $x_i\in B(\xi ;\delta )\subset \mathrm{\Omega }$ and a fractional operator $t_x^{\alpha ,\mathrm{\infty }}\in {}_m{T}_{x,\alpha }^{\mathrm{\infty },\gamma }(x_i,f)$, it is possible to define a type of linear approximation of the function $f$ around $x_i$ as follows:

$t_x^{\alpha ,\mathrm{\infty }}f(x)\approx f(x_i)+\sum _{k=1}^m{\hat{e}}_j{o}_k^{\alpha }[f{]}_j(x_i){[(x-x_i)]}_k,$

which can be expressed more compactly as:

$t_x^{\alpha ,\mathrm{\infty }}f(x)\approx f(x_i)+(o_k^{\alpha }[f{]}_j(x_i))(x-x_i),$

where $(o_k^{\alpha }[f{]}_j(x_i))$ denotes a square matrix. On the other hand, as $x\to \xi$ and given that $\Vert f(\xi )\Vert =0$, the following is inferred:

$0\approx f(x_i)+(o_k^{\alpha }[f{]}_j(x_i))(\xi -x_i)\Rightarrow \xi \approx x_i-{(o_k^{\alpha }[f{]}_j(x_i))}^{-1}f(x_i).$

As a consequence, defining the matrix:

$A_{f,\alpha }(x)=([A_{f,\alpha }{]}_{jk}(x)):={(o_k^{\alpha }[f{]}_j(x))}^{-1},$

the following fractional iterative method can be defined:

$x_{i+1}:=\mathrm{\Phi }(\alpha ,x_i)=x_i-A_{f,\alpha }(x_i)f(x_i),i=0,1,2,\cdots ,$

which corresponds to the most general case of the fractional Newton-Raphson method.

Illustration of some lines generated by the fractional Newton–Raphson method for the same initial condition $x_0$ but with different orders $\alpha$ of the fractional operator implemented. The fractional Newton–Raphson method usually generates lines that are not tangent to the function $f$ whose zeros are sought, unlike the classical Newton–Raphson method. Source: MDPI

The use of fractional operators in fixed-point methods has been extensively studied and cited in various academic sources. Examples of this can be found in several articles published in reputable journals, such as those featured in ScienceDirect, Springer, World Scientific, and MDPI. Studies are also included from Taylor & Francis (Tandfonline), Cubo, Revista Mexicana de Ciencias Agrícolas, Journal of Research and Creativity, MQR, and Актуальные вопросы науки и техники. These works highlight the relevance and applicability of fractional operators in solving problems.

References

This article "Fractional calculus of sets" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Fractional calculus of sets. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.

📰 Article(s) of the same category(ies)

• Analysis of vector-valued curves
• Network capacity
• Conglomerate (set theory)
• Coopmans approximation
• Group analysis of differential equations
• Induced homomorphism (quotient group)
• Residual power series method

---