On the Variable Order Fractional Calculus Characterization for the Hidden Variable Fractal Interpolation Function

Abstract

In this study, the variable order fractional calculus of the hidden variable fractal interpolation function is explored. It extends the constant order fractional calculus to the case of variable order. The Riemann–Liouville and the Weyl–Marchaud variable order fractional calculus are investigated for hidden variable fractal interpolation function. Moreover, the conditions for the variable fractional order $\mu$ on a specified range are also derived. It is observed that, under certain conditions, the Riemann–Liouville and the Weyl–Marchaud variable order fractional calculus of the hidden variable fractal interpolation function are again the hidden variable fractal interpolation functions interpolating the new data set.

1. Introduction

Traditional approximation approaches of data samples obtained in scientific and natural phenomena are influenced by Euclidean geometry, in which elementary functions such as linear functions, polynomials, trigonometric functions, and exponential functions play a vital role. Interpolation is an effective method in approximation theory, and there are traditional methods reported for interpolating unknown/known data of function, surfaces in Euclidean space that can be used to describe regular objects. However, many objects in natural phenomena such as clouds; forest horizons; the surface of the sea; rocks; and porous objects cannot be easily described using only regular functions in Euclidean geometry. In order to overcome this problem, Mandelbrot invented the fractal theory beyond the standard Euclidean geometric to describe irregular objects. Despite the number of ways available to define the fractals, the effective and simple way is an iterated function system in which fractal can be constructed as a unique attractor. Based on a Hutchinson theorem, Barnsley [1] provides a method for constructing fractal-interpolation function (FIF) using iterated function system theory (IFs). For more information, read [2,3,4,5,6,7]. The fractal-interpolation function becomes a powerful tool in applied science and engineering for modeling irregular phenomena in the last 30 years. The graph of the fractal-interpolation function is produced as a unique attractor of a certain unique type of iterated function system. In the evolution of FIF theory, many researchers have developed different types of FIFs, one of which is the hidden variable fractal interpolation function. A hidden variable FIF (HVFIF) is a very different, impressive, and irregular than FIF, which was developed by Barnsley et al. [8]. The purpose is to use the FIF approach on an extended data set in ${\mathbb{R}}^3$ such that the associated FIF’s graph projected onto ${\mathbb{R}}^2$ provide the appropriate interpolation function for the data set $\{(x_k,y_k)\in {\mathbb{R}}^2:k=0,1,\cdots ,N\}$. Working with ${\mathbb{R}}^3$ provides us with an extra degree of freedom, resulting in hidden variables and the HVFIF. The HVFIF are useful for modifying the fractal dimension and the shape of the interpolation functions. However, HVFIFs are not suitable for simulating curves that are half self-affine and half non-affine because they can only be used to generate non-self-affine or non-self-similar functions. Chand and Kapoor [9] developed a non-diagonal IFS that devised both self-affine and non-self-affine FIS at the same time based on free and constrained variables on a large set of interpolation data. A CHFIS is the attractor of such an IFS, and it is the preferable choice for investigating highly irregular surfaces such as clouds, sea surfaces, rock surfaces, tsunami waves, and so on. In ${\mathbb{R}}^2$, Bouboulis and Dalla [10] created a hidden variable vector valued FIFs on random grids. In [11], it is examined that how to build a repetitive FIS and how to calculate its box-counting dimension. The coalescence hidden variable fractal interpolation function (CHVFIF) was introduced by Chand and Kapoor in [12] to approximate both self-affine and non-self-affine functions at the same time. According to a Lipschitz exponent of the associated CHFIS, Kapoor and Srijanani [13] investigate the smoothness of such surfaces.

In general, fractal-interpolation functions are nowhere differentiable though they are everywhere continuous. Hence, researchers have recognized the significance of applying fractional calculus to analyses of fractal functions. Furthermore, the review of the literature demonstrates that fractional calculus significantly influences fractal-interpolation functions and their fractal dimension. Recent years have witnessed a number of proposals for fractal-interpolation functions with regard to constant-order fractional calculus developed in the literature, connecting the fractal-interpolation function to different fractional calculus theories. Srijanai investigated the Riemann–Liouville (RL) fractional integral of order v for a CHVFIF in [14]. The Weyl–Marchaud (WM) fractional derivative for HVFIF is discussed in [15]. The fractional calculus of the cubic spline hidden variable recurrent fractal-interpolation function was discussed by Ri and Mi-Gyong et al. [16]. For more information, read [17,18,19,20,21,22,23,24,25,26,27,28]. In [29], it is discussed that differentiating a function $f\left(x\right)$ with different integers n for different points x may lead to a discontinuous function, and this can be addressed with the choice of continuously varying order $\mu \left(x\right)$, where $\mu \left(x\right)$ must take fractional values. Further, since the value changes from point to point, the variable order fractional calculus generalizes the constant-order fractional calculus method. With this advantage, in the present paper, the order for both the fractional calculus methods is chosen as a variable rather than a constant since practical systems are changing with respect to time, and their behavior changes over time because nature always likes uncertainty. Hence, there is interest in fractional calculus with constant order rapidly transferred to variable order fractional calculus (see [29,30,31,32]). Needless to say that the research gap, the change of fractal functions when applying the variable order fractional calculus, motivated us to discuss the variable order fractional calculus of HVFIF.

The framework of this paper is follows: the construction of HVFIF is briefly explained in Section 2. The definitions of variable order RL fractional calculus and the variable order WM fractional derivative are given at the start of Section 3. Further, variable order fractional calculus is applied on HVFIF. Finally, Section 4 offers concluding remarks of the present work.

2. Brief of the Hidden Variable Fractal Interpolation Function

In order to extend the flexibility of the fractal interpolation method, a vector valued fractal function called the hidden variable interpolation function is constructed in [8]. The advantages of HVFIFs are not only limited to flexibility; they also offer greater diversity since their values are continuously dependent on hidden variables. By introducing the idea of constrained free variables and hidden variables, the HVFIF is constructed as the projection of graphs of the vector-valued function. Using the HVFIFs, both self-affine and non-self-affine functions can be approximated simultaneously. For more details of HVFIF, the reader can refer to [8,9,10,12,13,14,15,16,17]. In the this section, the construction of the hidden variable fractal interpolation function is recollected as the projection of an attractor of the IFS defined on ${\mathbb{R}}^3$.

Let a data set $\{(x_k,y_k)\in I\times \mathbb{R}:k=0,1,\cdots ,N\}$ be given. The given data set is generalized as $\{(x_k,y_k,z_k)\in I\times {\mathbb{R}}^2:k=0,1,\dots ,N\}$; this notation is used in the construction of an HVFIF, as follows: let $N>1$ be a positive integer and $I:=[x_0,x_N]\subset \mathbb{R}$ such that $x_0<x_1<\cdots <x_N$. Set $I_k=[x_{k-1},x_k]$, and for all $k=1,2,\cdots ,N,$ let $L_k:I\to I_k$ be a contractive homeomorphism that satisfies the following end point condition:

$$L_k\left(x_0\right)=x_{k-1},L_k\left(x_N\right)=x_k.$$

Let $F_k:D\to {\mathbb{R}}^2$ be the N continuous mappings for a compact set D of $I\times {\mathbb{R}}^2$, which satisfies the following condition:

$$F_k(x_0,y_0,z_0)=(y_{k-1},z_{k-1}),F_k(x_N,y_N,z_N)=(y_k,z_k)$$

$$\rho (F_k(x,y_1,z_1)-F_k(x,y_2,z_2))\le t{\rho }_E((y_1,z_1),(y_2,z_2))$$

(1)

where $(x,y_1,z_1),(y_2,z_2)\in I\times {\mathbb{R}}^2,0\le t<1,$ $\rho$ is the sup norm on $I\times {\mathbb{R}}^2$, and ${\rho }_E$ is the Euclidean metric on ${\mathbb{R}}^2$. To define HVFIF, functions $L_k$ and $F_k$ have taken the following:

$$L_k\left(x\right)=a_{k}x+b_k,$$

(2)

$$F_k(x,y,z)={\mathcal{A}}_k{(y,z)}^T+{(p_k\left(x\right),q_k\left(x\right))}^T,$$

(3)

where ${\mathcal{A}}_k$ is an upper triangular matrix $\left(\begin{array}{cc}{\alpha }_k& {\beta }_k\\ 0& {\gamma }_k\end{array}\right)$ and $p_k\left(x\right)$, $q_k\left(x\right)$ are continuous functions with two arbitrary constants. Choose ${\alpha }_k$ and ${\gamma }_k$ as free variables such that $|{\alpha }_k|<1$ and $|{\gamma }_k|<1$, ${\beta }_k$ as constrained free variables such that $|{\beta }_k|+|{\gamma }_k|<1$. The generalized IFS required for the generating of the HVFIF corresponding to data $\{(x_k,y_k,z_k):k=0,1,\cdots ,N\}$ is described as

$$\{{\mathbb{R}}^2;w_k(x,y,z)=L_k\left(x\right),F_k(x,y,z):k=1,2,\cdots ,N\}.$$

(4)

With respect to the metric $d_M\left((x,y,z),(x^{*},y^{*},z^{*})\right)=|x-x^{*}|+\theta d\left((y,z),(y^{*},z^{*})\right)$, where $\theta =\frac{1-a}{2t}$, $a=max\{\frac{x_k-x_{k-1}}{x_N-x_0}:k=1,2,\dots ,N\}$, which is equivalent to the Euclidean metric on $\mathbb{R}$; the IFS (4) is now a hyperbolic. As a consequence, there is a unique nonempty compact set $G\subseteq {\mathbb{R}}^3$ called the attractor. The attractor G is the graph of the continuous vector-valued function $f:I\to {\mathbb{R}}^2$ such that $f\left(x_k\right)=(y_k,z_k)$ for all $k=0,1,\dots ,N$. Letting $f=(f_1,f_2)$, it follows that the continuous function $f_1:I\to \mathbb{R}$ interpolating the given data $(x_k,y_k)$ is called the hidden variable fractal interpolation function (HVFIF). Similarly, the fractal function $f_2$ interpolating the data set $\{(x_k,z_k):k=0,1,\dots ,N\}$ is the projection [8]. The continuous function f, which can be written as $f\left(x\right)=(f_1\left(x\right),f_2\left(x\right))$, is the graph of the attractor of the IFS provided in (4) if and only if the fixed point of the Read–Bajraktarević (RB) operator T, say the space of continuous vector-valued functions $f:I\to {\mathbb{R}}^2$, satisfies

$$Tf\left(x\right)=f\left(x\right)=F_k(L_k^{-1}\left(x\right),f\left(L_k^{-1}\left(x\right)\right))$$

(5)

for all $k=1,2,\cdots ,N,$ which can be equivalently written as

$$(f_1\left(x\right),f_2\left(x\right))=F_k(L_k^{-1}\left(x\right),f_1(L_k^{-1}\left(x\right),f_2\left(L_k^{-1}\left(x\right)\right)).$$

(6)

Component-wise, the image $Tf$ of the vector valued function f can be represented as $(T{f}_1,T{f}_2)$; then, for all $x\in I$, HVFIF $f_1\left(x\right)$ satisfies

$$T{f}_1\left(L_k\left(x\right)\right)=f_1\left(L_k\left(x\right)\right)=F_{1k}(x,f_1\left(x\right),f_2\left(x\right))={\alpha }_k{f}_1\left(x\right)+{\beta }_k{f}_2\left(x\right)+p_k\left(x\right)$$

(7)

similarly, fractal function $f_2\left(x\right)$ satisfies

$$T{f}_2\left(L_k\left(x\right)\right)=f_2\left(L_k\left(x\right)\right)=F_{2k}(x,f_2\left(x\right))={\gamma }_k{f}_2\left(x\right)+q_k\left(x\right).$$

(8)

Example 1.

Consider a data set $(0,0,0),(1/3,1/2,2/3),(2/3,1/2,1/3),(1,1,1)$ with the scale vectors $\alpha =(0.3,0.3,0.3),$ $\beta =(0.2,0.2,0.2)$, and $\gamma =(0.5,0.5,0.5)$. Figure 1a,b depict the graphical representation of the non-self-affine fractal function $f_1$ and the self-affine FIF $f_2$, respectively. The influence of the free variable ${\alpha }_k$ and the constrained free variable ${\beta }_k$ can be visualized in Figure 1a, whereas Figure 1b clearly depicts the influence of the variable ${\gamma }_k$. In both the figures, the variables are chosen in such a way that the constraints $|{\alpha }_k|<1$ and $|{\beta }_k|+|{\gamma }_k|<1$ are satisfied.

3. Main Results

This section narrates the RL variable order fractional calculus and the WM variable order fractional derivative of the HVFIF. The RL fractional integral of variable order $\mu \left(s\right)$ where $\mu :[a,b]\to (0,1)$ for a continuous function f is defined by

$${\mathcal{I}}_a^{\mu \left(s\right)}f\left(x\right)=\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_a^x{(x-t)}^{\mu \left(s\right)-1}f\left(t\right)dt.$$

(9)

Suppose that f is an HVFIF decided by the IFS (4); then, the RL fractional integral of f with order $\mu \left(s\right)$ is defined as follows:

$${\mathcal{I}}_a^{\mu \left(s\right)}{f}_1\left(x\right)=\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_a^x{(x-t)}^{\mu \left(s\right)-1}{f}_1\left(t\right)dt,$$

(10)

$${\mathcal{I}}_a^{\mu \left(s\right)}{f}_2\left(x\right)=\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_a^x{(x-t)}^{\mu \left(s\right)-1}{f}_2\left(t\right)dt.$$

(11)

Theorem 1.

Let f be the HVFIF given in Equations (2) and (3). If $\parallel {\mathcal{A}}_k^{{}^{\prime }}\parallel <1$ where ${\mathcal{A}}_k^{{}^{\prime }}=a_k^{\mu \left(s\right)}\left[\begin{array}{cc}{\alpha }_k& {\beta }_k\\ 0& {\gamma }_k\end{array}\right],$ for all $k=1,2,\cdots ,N,$ then $\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}f\right)\left(x\right)=(\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\right)\left(x\right),\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x\right))$ is also an HVFIF. Further, $\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\right)\left(x\right)$ and $\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x\right)$ are determined by the IFSs ${\left\{L_k\left(x\right),{\widehat{F}}_{1(k,\mu (s\left)\right)}(x,\widehat{y},\widehat{z})\right\}}_{k=1}^N$ and ${\left\{L_k\left(x\right),{\widehat{F}}_{2(k,\mu (s\left)\right)}(x,\widehat{z})\right\}}_{k=1}^N$, respectively, where ${\widehat{F}}_{1(k,\mu (s\left)\right)}(x,\widehat{y},\widehat{z})=a_k^{\mu \left(s\right)}{\alpha }_{k}y+a_k^{\mu \left(s\right)}{\beta }_{k}z+{\widehat{p}}_k\left(x\right)$ and ${\widehat{F}}_{2(k,\mu (s\left)\right)}=a_k^{\mu \left(s\right)}{\gamma }_{k}z+{\widehat{q}}_k\left(x\right)$ with ${\sum }_{k=1}^N{a}_k^{\mu \left(s\right)}{\alpha }_k\ne 1$, ${\sum }_{k=1}^N{a}_k^{\mu \left(s\right)}{\gamma }_k\ne 1,$ for $k=1,2,\cdots ,N.$

Proof. 

The RL variable order fractional integral of $f_1$ is given by,

$$\begin{array}{cc}{\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)\hfill & =\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^{x_{k-1}}{(x_{k-1}-t)}^{\mu \left(s\right)-1}{f}_1\left(t\right)dt\hfill \\ \hfill & +\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^{x_{k-1}}\left({(L_k\left(x\right)-t)}^{\mu \left(s\right)-1}-{(x_{k-1}-t)}^{\mu \left(s\right)-1}\right)f_1\left(t\right)dt\hfill \\ \hfill & +\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_{k-1}}^{L_k\left(x\right)}{(L_k\left(x\right)-t)}^{\mu \left(s\right)-1}{f}_1\left(t\right)dt.\hfill \end{array}$$

In the third term, replace $t=L_k\left(u\right),$

$$\begin{array}{cc}\hfill {\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^x{(L_k\left(x\right)-L_k\left(u\right))}^{\mu \left(s\right)-1}{f}_1\left(L_k\left(u\right)\right)du.\hfill \end{array}$$

The following equation is obtained using the functional equation in Equation (7):

$$\begin{array}{cc}\hfill {\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k^{\mu \left(s\right)}}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^x{(x-u)}^{\mu \left(s\right)-1}({\alpha }_k{f}_1\left(u\right)+{\beta }_k{f}_2\left(u\right)+p_k\left(x\right))du\hfill \\ \hfill & ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}{\alpha }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\right)\left(x\right)+a_k^{\mu \left(s\right)}{\beta }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x\right)+a_k^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{p}_k\right)\left(x\right)\hfill \\ \hfill & =a_k^{\mu \left(s\right)}{\alpha }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\right)\left(x\right)+a_k^{\mu \left(s\right)}{\beta }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x\right)+{\widehat{p}}_k\left(x\right).\hfill \end{array}$$

using the notation ${\widehat{p}}_k\left(x\right)={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{p}_k\right)\left(x\right),$ ${\widehat{y}}_{k-1}=\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^{x_{k-1}}{(x_{k-1}-t)}^{\mu \left(s\right)-1}{f}_1\left(t\right)dt$ and $f_{1(k,\mu (s\left)\right)}\left(x\right)=\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^{x_{k-1}}\left({(L_k\left(x\right)-t)}^{\mu \left(s\right)-1}-{(x_{k-1}-t)}^{\mu \left(s\right)-1}\right)f_1\left(t\right)dt.$ Now consider the RL variable order fractional integral of $f_2$ of order $\mu \left(s\right)$

$$\begin{array}{cc}\hfill {\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\left(L_k\left(x\right)\right)& =\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^{x_{k-1}}{(x_{k-1}-t)}^{\mu \left(s\right)-1}{f}_2\left(t\right)dt\hfill \\ \hfill & +\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^{x_{k-1}}\left({(L_k\left(x\right)-t)}^{\mu \left(s\right)-1}-{(x_{k-1}-t)}^{\mu \left(s\right)-1}\right)f_2\left(t\right)dt\hfill \\ \hfill & +\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_{k-1}}^{L_k\left(x\right)}{(L_k\left(x\right)-t)}^{\mu \left(s\right)-1}{f}_2\left(t\right)dt.\hfill \end{array}$$

In third term, replace $t=L_k\left(u\right),$

$$\begin{array}{cc}\hfill {\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^x{(L_k\left(x\right)-L_k\left(u\right))}^{\mu \left(s\right)-1}{f}_2\left(L_k\left(u\right)\right)du.\hfill \end{array}$$

Using the functional equation in Equation (8), the following equation is obtained:

$$\begin{array}{cc}\hfill {\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\left(L_k\left(x\right)\right)& ={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k^{\mu \left(s\right)}}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^x{(x-u)}^{\mu \left(s\right)-1}({\gamma }_k{f}_2\left(u\right)+q_k\left(x\right))du\hfill \\ \hfill & ={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}{\gamma }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x\right)+a_k^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{q}_k\right)\left(x\right)\hfill \\ \hfill & =a_k^{\mu \left(s\right)}{\gamma }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\right)\left(x\right)+{\widehat{q}}_k\left(x\right).\hfill \end{array}$$

Apply the notation ${\widehat{q}}_k\left(x\right)={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{q}_k\right)\left(x\right),$ ${\widehat{z}}_{k-1}=\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^{x_{k-1}}{(x_{k-1}-t)}^{\mu \left(s\right)-1}{f}_2\left(t\right)dt$ and $f_{2(k,\mu (s\left)\right)}\left(x\right)=\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_{x_0}^{x_{k-1}}\left({(L_k\left(x\right)-t)}^{\mu \left(s\right)-1}-{(x_{k-1}-t)}^{\mu \left(s\right)-1}\right)f_2\left(t\right)dt.$ Hence, the RL variable order fractional integral of HVFIF is also HVFIF. Consider the following equation for calculating new data points:

$$\begin{array}{cc}\hfill {\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}{\alpha }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\right)\left(x\right)+a_k^{\mu \left(s\right)}{\beta }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x\right)\hfill \\ & +a_k^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{p}_k\right)\left(x\right).\hfill \end{array}$$

Let $x=x_N$ and $L_k\left(x\right)=x_k.$ Then, the above equation provides,

$$\begin{array}{cc}\hfill {\widehat{y}}_k-{\widehat{y}}_{k-1}& =f_{1(k,\mu (s\left)\right)}\left(x_N\right)+a_k^{\mu \left(s\right)}{\alpha }_k{\widehat{y}}_N+a_k^{\mu \left(s\right)}{\beta }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x_N\right)\hfill \\ & +a_k^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{p}_k\right)\left(x_N\right).\hfill \end{array}$$

The equation above is as follows when considered form the perspective of the equation ${\widehat{y}}_k={\widehat{y}}_0+{\sum }_{n=1}^k\left({\widehat{y}}_n-{\widehat{y}}_{n-1}\right)$:

$${\widehat{y}}_k=\sum _{n=1}^k\left(f_{1(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{\mu \left(s\right)}{\alpha }_n{\widehat{y}}_N+a_n^{\mu \left(s\right)}{\beta }_n\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x_N\right)+a_n^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{p}_n\right)\left(x_N\right)\right).$$

(12)

By changing k to N in Equation (12), ${\widehat{y}}_N$ is obtained as,

$$\begin{array}{cc}\hfill {\widehat{y}}_N& =\sum _{n=1}^N(f_{1(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{\mu \left(s\right)}{\beta }_n\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x_N\right)\hfill \\ & +a_n^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{p}_n\right)\left(x_N\right))/1-\sum _{n=1}^N{a}_n^{\mu \left(s\right)}{\alpha }_n.\hfill \end{array}$$

Consider the following equation to determine the new data set $\{(x_k,{\widehat{z}}_k):K=0,1,\cdots ,N\}$.

$$\begin{array}{c}\hfill {\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\left(L_k\left(x\right)\right)={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}{\gamma }_k\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x\right)+a_k^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{q}_k\right)\left(x\right).\end{array}$$

Let $x=x_N$ and $L_k\left(x\right)=x_k.$ The above equation then yields,

$$\begin{array}{cc}\hfill {\widehat{z}}_k-{\widehat{z}}_{k-1}& =f_{2(k,\mu (s\left)\right)}\left(x_N\right)+a_k^{\mu \left(s\right)}{\gamma }_k{\widehat{z}}_N+a_k^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{q}_k\right)\left(x_N\right).\hfill \end{array}$$

The equation above is as follows when considered from the perspective of the equation ${\widehat{z}}_k={\widehat{z}}_0+{\sum }_{n=1}^k\left({\widehat{z}}_n-{\widehat{z}}_{n-1}\right)$:

$${\widehat{z}}_k=\sum _{n=1}^k\left(f_{2(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{\mu \left(s\right)}{\gamma }_n{\widehat{z}}_N+a_n^{\mu \left(s\right)}({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{q}_n)\left(x_N\right)\right).$$

(13)

By changing k to N in Equation (13), ${\widehat{z}}_N$ is obtained as

$$\begin{array}{cc}\hfill {\widehat{z}}_N& =\sum _{n=1}^N\left(f_{2(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{\mu \left(s\right)}\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{q}_n\right)\left(x_N\right)\right)/1-\sum _{n=1}^N{a}_n^{\mu \left(s\right)}{\gamma }_n.\hfill \end{array}$$

□

Remark 1.

Theorem 1 shows the variable orderRL fractional integral of HVFIF with the predefined condition $\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_1\right)\left(x_0\right)=\left({\mathcal{I}}_{x_0}^{\mu \left(s\right)}{f}_2\right)\left(x_0\right)=0.$ Likewise, the theRL variable order fractional integral f is defined with the upper limit $x_N$ as

$${\mathcal{I}}_{x_N}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)=-\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_x^{x_N}{(L_k\left(x\right)-t)}^{\mu \left(s\right)-1}{f}_1\left(t\right)dt$$

$${\mathcal{I}}_{x_N}^{\mu \left(s\right)}{f}_2\left(L_k\left(x\right)\right)=-\frac{1}{\Gamma \left(\mu \right(s\left)\right)}{\int }_x^{x_N}{(L_k\left(x\right)-t)}^{\mu \left(s\right)-1}{f}_2\left(t\right)dt$$

Then, one can obtain that the function $({\mathcal{I}}_{x_N}^{\mu \left(s\right)}f\left(L_k\left(x\right)\right))$ is again HVFIF with variable order generated by the IFS ${\{L_k\left(x\right),{\widehat{F}}_{1(k,\mu (s\left)\right)}(x,\widehat{y},\widehat{z})\}}_{i=1}^N$ and ${\{L_k\left(x\right),{\widehat{F}}_{2(k,\mu (s\left)\right)}(x,\widehat{z})\}}_{i=1}^N$ where $\widehat{f_1}\left(x\right)={\widehat{y}}_k-f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}{\alpha }_k({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{f}_1)\left(x\right)+a_k^{\mu \left(s\right)}{\beta }_k({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{\mu \left(s\right)}({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{p}_k)\left(x\right)$ and $\widehat{f_2}\left(x\right)={\widehat{z}}_k-f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}{\gamma }_k({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{\mu \left(s\right)}({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{q}_k)\left(x\right)$

$$\begin{array}{cc}\hfill {\widehat{p}}_k\left(x\right)& ={\widehat{y}}_k-f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{p}_k)\left(x\right),\hfill \\ \hfill {\widehat{y}}_{k-1}& =-\sum _{n=1}^k(f_{1(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{\mu \left(s\right)}{\alpha }_n{\widehat{y}}_0-a_n^{\mu \left(s\right)}{\beta }_n({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x_0\right)\hfill \\ & +a_n^{\mu \left(s\right)}({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{p}_n)\left(x_0\right)),\hfill \\ \hfill {\widehat{y}}_0& =-\sum _{n=1}^N(f_{1(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{\mu \left(s\right)}{\beta }_n({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x_0\right)\hfill \\ & +a_n^{\mu \left(s\right)}\left({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{p}_n\right)\left(x_0\right))/1-\sum _{n=1}^N{a}_n^{\mu \left(s\right)}{\alpha }_n,\hfill \\ \hfill {\widehat{q}}_k\left(x\right)& ={\widehat{z}}_k-f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{\mu \left(s\right)}({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{q}_k)\left(x\right),\hfill \\ \hfill {\widehat{z}}_{k-1}& =-\sum _{n=1}^k\left(f_{2(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{\mu \left(s\right)}{\gamma }_n{\widehat{z}}_0-a_n^{\mu \left(s\right)}({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{q}_n)\left(x_0\right)\right),\hfill \\ \hfill {\widehat{z}}_0& =-\sum _{n=1}^N\left(f_{2(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{\mu \left(s\right)}({\mathcal{I}}_{x_N}^{\mu \left(s\right)}{q}_n)\left(x_0\right)\right)/1-\sum _{n=1}^N{a}_n^{\mu \left(s\right)}{\gamma }_n.\hfill \end{array}$$

If the variable order $\mu \left(s\right)$ is taken as a constant function, the above result coincides with the result presented by Srijanani in [14]. Additionally, if we take $\mu =1,$ then the above result coincides with the result presented by Chand [9]. The above remark gives the RL variable order fractional integral of HVFIF with the predefined condition $({\mathcal{I}}_{x_N}^{\mu \left(s\right)}f)\left(x_N\right)=0$.

Example 2.

Observe the data points in Example 1 with the same scale vectors. Figure 2a presents theRL variable order fractional integral of $f_1$ with order $\mu \left(s\right)=0.5$. Similarly, the graphical representation of theRL variable order fractional integral of $f_2$ with order $\mu \left(s\right)=0.5$ is displayed in Figure 2b. In both Figure 2a,b, the fractional order $\mu \left(s\right)$ is chosen to be the same $\mu \left(s\right)=0.5$ for clear comparison.

The following theorem explains the RL variable order fractional derivative of HVFIF with the preset initial condition $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}f)\left(x_0\right)=0$. The RL fractional derivative of variable order $\mu \left(s\right)$ where $\mu :[a,b]\to (0,1),$ for a continuous function f is defined by the equation

$${\mathcal{D}}_a^{\mu \left(s\right)}f\left(x\right)=\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_a^x\frac{f\left(t\right)}{{(x-t)}^{\mu \left(s\right)}}dt.$$

(14)

Suppose f is an HVFIF decisived by IFS (4); then, the RL fractional derivative of f of order $\mu \left(s\right)$ is defined as follows:

$${\mathcal{D}}_a^{\mu \left(s\right)}{f}_1\left(x\right)=\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_a^x\frac{f_1\left(t\right)}{{(x-t)}^{\mu \left(s\right)}}dt,$$

(15)

$${\mathcal{D}}_a^{\mu \left(s\right)}{f}_2\left(x\right)=\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_a^x\frac{f_2\left(t\right)}{{(x-t)}^{\mu \left(s\right)}}dt.$$

(16)

Theorem 2.

Let f be the HVFIF given in Equations (2) and (3). If $\parallel {\mathcal{A}}_k^{{}^{\prime }}\parallel <1$ where ${\mathcal{A}}_k^{{}^{\prime }}=a_k^{1-\mu \left(s\right)}\left[\begin{array}{cc}{\alpha }_k& {\beta }_k\\ 0& {\gamma }_k\end{array}\right],$ for all $k=1,2,\cdots ,N,$ then $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}f)\left(x\right)=({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right),({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)$ is also an HVFIF. Further, $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right)$ and $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)$ are determined by the IFSs ${\left\{L_k\left(x\right),{\widehat{F}}_{1(k,\mu (s\left)\right)}(x,\widehat{y},\widehat{z})\right\}}_{k=1}^N$ and ${\left\{L_k\left(x\right),{\widehat{F}}_{2(k,\mu (s\left)\right)}(x,\widehat{z})\right\}}_{k=1}^N$, respectively, where ${\widehat{F}}_{1(k,\mu (s\left)\right)}(x,\widehat{y},\widehat{z})=a_k^{1-\mu \left(s\right)}{\alpha }_{k}y+a_k^{1-\mu \left(s\right)}{\beta }_{k}z+{\widehat{p}}_k\left(x\right)$ and ${\widehat{F}}_{2(k,\mu (s\left)\right)}=a_k^{1-\mu \left(s\right)}{\gamma }_{k}z+{\widehat{q}}_k\left(x\right)$ with ${\sum }_{k=1}^N{a}_k^{1-\mu \left(s\right)}{\alpha }_k\ne 1$, ${\sum }_{k=1}^N{a}_k^{1-\mu \left(s\right)}{\gamma }_k\ne 1,$ for $k=1,2,\cdots ,N.$

Proof. 

The RL fractional derivative of $f_1$ is given by,

$$\begin{array}{cc}\hfill {\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)& =\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^{x_{k-1}}\frac{f_1\left(t\right)}{{(L_k\left(x\right)-t)}^{\mu \left(s\right)}}dt\hfill \\ & +\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^{x_{k-1}}\left(\frac{f_1\left(t\right)}{{(x_{k-1}-t)}^{\mu \left(s\right)}}-\frac{f_1\left(t\right)}{{(x_{k-1}-t)}^{\mu \left(s\right)}}\right)dt\hfill \\ & +\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_{k-1}}^{L_k\left(x\right)}\frac{f_1\left(t\right)}{{(L_k\left(x\right)-t)}^{\mu \left(s\right)}}du.\hfill \end{array}$$

Replace the variable $t=L_k\left(u\right)$ in third term,

$$\begin{array}{cc}\hfill {\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^x\frac{f_1\left(L_k\left(u\right)\right)}{{(L_k\left(x\right)-L_k\left(u\right))}^{\mu \left(s\right)}}du.\hfill \end{array}$$

Using the functional equation in Equation (7), we obtained the following equation:

$$\begin{array}{cc}\hfill ({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^x\frac{({\alpha }_k{f}_1\left(u\right)+{\beta }_k{f}_2\left(u\right)+p_k\left(x\right))}{a_k^{\mu \left(s\right)}{(x-u)}^{\mu \left(s\right)}}\hfill \\ \hfill & ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}{\alpha }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right)+a_k^{1-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)\hfill \\ & +a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_k)\left(x\right)\hfill \\ \hfill & =a_k^{1-\mu \left(s\right)}{\alpha }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right)+a_k^{1-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)+{\widehat{p}}_k\left(x\right).\hfill \end{array}$$

Here, take ${\widehat{p}}_k\left(x\right)={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_k)\left(x\right),$ ${\widehat{y}}_{k-1}=\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^{x_{k-1}}\frac{f_1\left(t\right)}{{(x_{k-1}-t)}^{\mu \left(s\right)}}dt$ and $f_{1(k,\mu (s\left)\right)}\left(x\right)=\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^{x_{k-1}}(\frac{f_1\left(t\right)}{{(L_k\left(x\right)-t)}^{\mu \left(s\right)}}-\frac{f_1\left(t\right)}{{(x_{k-1}-t)}^{\mu \left(s\right)}})dt.$ Now, consider the RL fractional derivative of $f_2$ of order $\mu \left(s\right)$

$$\begin{array}{cc}\hfill {\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2\left(L_k\left(x\right)\right)& =\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^{x_{k-1}}\frac{f_2\left(t\right)}{{(L_k\left(x\right)-t)}^{\mu \left(s\right)}}dt\hfill \\ \hfill & +\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^{x_{k-1}}\left(\frac{f_2\left(t\right)}{{(x_{k-1}-t)}^{\mu \left(s\right)}}-\frac{f_2\left(t\right)}{{(x_{k-1}-t)}^{\mu \left(s\right)}}\right)dt\hfill \\ & +\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_{k-1}}^{L_k\left(x\right)}\frac{f_2\left(t\right)}{{(L_k\left(x\right)-t)}^{\mu \left(s\right)}}dt.\hfill \end{array}$$

In the third term, replace $t=L_k\left(u\right)$

$$\begin{array}{cc}\hfill {\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^x\frac{f_2\left(L_k\left(u\right)\right)}{{(L_k\left(x\right)-L_k\left(u\right))}^{\mu \left(s\right)}}du.\hfill \end{array}$$

The following equation is obtained using the functional equation in Equation (8):

$$\begin{array}{cc}\hfill ({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(L_k\left(x\right)\right)& ={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^x\frac{({\gamma }_k{f}_2\left(u\right)+q_k\left(x\right))}{a_k^{\mu \left(s\right)}{(x-u)}^{\mu \left(s\right)}}\hfill \\ \hfill & ={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}{\gamma }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_k)\left(x\right)\hfill \\ \hfill & =a_k^{1-\mu \left(s\right)}{\gamma }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)+{\widehat{q}}_k\left(x\right).\hfill \end{array}$$

Here, ${\widehat{q}}_k\left(x\right)={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_k)\left(x\right),$ ${\widehat{z}}_{k-1}=\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^{x_{k-1}}\frac{f_2\left(t\right)}{{(x_{k-1}-t)}^{\mu \left(s\right)}}dt$ and $f_{2(k,\mu (s\left)\right)}\left(x\right)=\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_{x_0}^{x_{k-1}}(\frac{f_2\left(t\right)}{{(L_k\left(x\right)-t)}^{\mu \left(s\right)}}-\frac{f_2\left(t\right)}{{(x_{k-1}-t)}^{\mu \left(s\right)}})dt.$ Hence, the RL variable order fractional derivative of HVFIF is also HVFIF. Consider the following:

$$\begin{array}{cc}\hfill {\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}{\alpha }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right)+a_k^{1-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)\hfill \\ & +a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_k)\left(x\right).\hfill \end{array}$$

Let $x=x_N$ and $L_k\left(x\right)=x_k.$ Then, the above equation provides,

$$\begin{array}{cc}\hfill {\widehat{y}}_k-{\widehat{y}}_{k-1}& =f_{1(k,\mu (s\left)\right)}\left(x_N\right)+a_k^{1-\mu \left(s\right)}{\widehat{y}}_N+a_k^{1-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x_N\right)\hfill \\ & +a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_k)\left(x_N\right).\hfill \end{array}$$

We know ${\widehat{y}}_k={\widehat{y}}_0+{\sum }_{n=1}^k\left({\widehat{y}}_n-{\widehat{y}}_{n-1}\right)$, the aforementioned equation is as follows:

$$\begin{array}{cc}\hfill {\widehat{y}}_k& =\sum _{n=1}^k(f_{1(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{1-\mu \left(s\right)}{\alpha }_n({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x_N\right)+a_n^{1-\mu \left(s\right)}{\beta }_n({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x_N\right)\hfill \\ \hfill & +a_n^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_n)\left(x_N\right)).\hfill \end{array}$$

(17)

In Equation (17), ${\widehat{y}}_N$ is obtained by converting k to $N,$

$$\begin{array}{cc}\hfill {\widehat{y}}_N& =\sum _{n=1}^N(f_{1(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{1-\mu \left(s\right)}{\beta }_n({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x_N\right)\hfill \\ & +a_n^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_n)\left(x_N\right))/1-\sum _{n=1}^N{a}_n^{1-\mu \left(s\right)}{\alpha }_n.\hfill \end{array}$$

Consider the following equation to determine the new data set $\{(x_k,{\widehat{z}}_k):K=0,1,\cdots ,N\}$

$$\begin{array}{c}\hfill {\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2\left(L_k\left(x\right)\right)={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}{\gamma }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_k)\left(x\right).\end{array}$$

Let $x=x_N$ and $L_k\left(x\right)=x_k$

$$\begin{array}{cc}\hfill {\widehat{z}}_k-{\widehat{z}}_{k-1}& =f_{2(k,\mu (s\left)\right)}\left(x_N\right)+a_k^{1-\mu \left(s\right)}{\gamma }_k{\widehat{z}}_N+a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_k)\left(x_N\right).\hfill \end{array}$$

We know ${\widehat{z}}_k={\widehat{z}}_0+{\sum }_{n=1}^k\left({\widehat{z}}_n-{\widehat{z}}_{n-1}\right)$; the aforementioned equation is as follows:

$$\begin{array}{cc}\hfill {\widehat{z}}_k& =\sum _{n=1}^k\left(f_{2(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{1-\mu \left(s\right)}{\gamma }_n{\widehat{z}}_N+a_n^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_n)\left(x_N\right)\right).\hfill \end{array}$$

(18)

In the Equation (18), ${\widehat{z}}_N$ is obtained by converting k to N

$$\begin{array}{cc}\hfill {\widehat{z}}_N& =\sum _{n=1}^N\left(f_{2(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{1-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_n)\left(x_N\right)\right)/1-\sum _{n=1}^N{a}_n^{1-\mu \left(s\right)}{\gamma }_n.\hfill \end{array}$$

□

Remark 2.

Theorem 2 describes theRL variable order fractional derivative of HVFIF with the predefined condition $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x_0\right)=({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x_0\right)=0.$ Additionally, theRL variable order fractional derivative f is defined with the upper limit $x_N$ as

$${\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_1\left(L_k\left(x\right)\right)=-\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_x^{x_N}\frac{f_1\left(t\right)}{{(L_k\left(x\right)-t)}^{\mu \left(s\right)}}dt$$

$${\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_2\left(L_k\left(x\right)\right)=-\frac{1}{1-\Gamma \left(\mu \right(s\left)\right)}\frac{d}{dx}{\int }_x^{x_N}\frac{f_2\left(t\right)}{{(L_k\left(x\right)-t)}^{\mu \left(s\right)}}dt$$

then one can obtain that function $({\mathcal{D}}_{x_N}^{\mu \left(s\right)}f\left(L_k\left(x\right)\right))$ is again HVFIF with the variable order generated by the IFS ${\{L_k\left(x\right),{\widehat{F}}_{1(k,\mu (s\left)\right)}(x,\widehat{y},\widehat{z})\}}_{i=1}^N$ and ${\{L_k\left(x\right),{\widehat{F}}_{2(k,\mu (s\left)\right)}(x,\widehat{z})\}}_{i=1}^N$ where $\widehat{f_1}\left(x\right)={\widehat{y}}_k-f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}{\alpha }_k({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_1)\left(x\right)+a_k^{1-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{p}_k)\left(x\right)$ and $\widehat{f_2}\left(x\right)={\widehat{z}}_k-f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}{\gamma }_k({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{q}_k)\left(x\right)$

$$\begin{array}{cc}\hfill {\widehat{p}}_k\left(x\right)& ={\widehat{y}}_k-f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{p}_k)\left(x\right),\hfill \\ \hfill {\widehat{y}}_{k-1}& =-\sum _{n=1}^k(f_{1(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{1-\mu \left(s\right)}{\alpha }_n{\widehat{y}}_0-a_n^{1-\mu \left(s\right)}{\beta }_n({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x_0\right)\hfill \\ & -a_n^{1-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{p}_n)\left(x_0\right)),\hfill \\ \hfill {\widehat{y}}_0& =-\sum _{n=1}^N(f_{1(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{1-\mu \left(s\right)}{\beta }_n({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x_0\right)\hfill \\ & -a_n^{1-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{p}_n)\left(x_0\right))/1-\sum _{n=1}^N{a}_n^{1-\mu \left(s\right)}{\alpha }_n,\hfill \\ \hfill {\widehat{q}}_k\left(x\right)& ={\widehat{z}}_k-f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{1-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{q}_k)\left(x\right),\hfill \\ \hfill {\widehat{z}}_{k-1}& =-\sum _{n=1}^k\left(f_{2(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{1-\mu \left(s\right)}{\gamma }_n{\widehat{z}}_0-a_n^{1-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{q}_n)\left(x_0\right)\right),\hfill \\ \hfill {\widehat{z}}_0& =-\sum _{n=1}^N\left(f_{2(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{1-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{q}_n)\left(x_0\right)\right)/1-\sum _{n=1}^N{a}_n^{1-\mu \left(s\right)}{\gamma }_n.\hfill \end{array}$$

If the variable order $\mu \left(s\right)$ is considered as a constant function, the above conclusion gives the Srijanani’s result [14]. The RL variable order fractional derivative of HVFIF with the predefined condition $({\mathcal{D}}_{x_N}^{\mu \left(s\right)}f)\left(x_N\right)=0$ is stated by the above remark.

Example 3.

Consider the same data points and scale factors in Example 1 to obtain theRL variable order fractional derivative of $f_1$ and theRL variable order fractional derivative of $f_2$. Figure 3a shows that ${\mathcal{D}}_{0.5}{f}_1$ and Figure 3b depict graphical representations of ${\mathcal{D}}_{0.5}{f}_2.$ The same choice of the fractional order $\mu \left(s\right)$ helps to observe the non-self affine and self-affine nature of ${\mathcal{D}}^{\mu \left(s\right)}{f}_1$ and ${\mathcal{D}}^{\mu \left(s\right)}{f}_2$ in Figure 3a,b respectively.

The WM variable order fractional derivative of HVFIF with a predetermined initial condition $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}f)\left(x_0\right)=0$ is demonstrated in the following theorem.

Let variable order $\mu \left(s\right)$, where $\mu :[a,b]\to (0,1)$ of the WM fractional derivative of continuous function f, be defined by the equation

$$({\mathcal{D}}_{x_0}^{\mu \left(s\right)}f)\left(x\right)=\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_a^x\frac{f\left(x\right)-f(x-t)}{t^{1+\mu \left(s\right)}}dt.$$

(19)

Suppose f is an HVFIF decisived by the IFS (4); then, the WM fractional derivative of f of order $\mu \left(s\right)$ is defined as follows:

$$({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right)=\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_a^x\frac{f_1\left(x\right)-f_1(x-t)}{t^{1+\mu \left(s\right)}}dt,$$

(20)

$$({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)=\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_a^x\frac{f_2\left(x\right)-f_2(x-t)}{t^{1+\mu \left(s\right)}}dt.$$

(21)

Theorem 3.

Let f be the HVFIF given in Equations (2) and (3). If $\parallel {\mathcal{A}}_k^{{}^{\prime }}\parallel <1$ where ${\mathcal{A}}_k^{{}^{\prime }}=a_k^{-\mu \left(s\right)}\left[\begin{array}{cc}{\alpha }_k& {\beta }_k\\ 0& {\gamma }_k\end{array}\right],$ for all $k=1,2,\cdots ,N,$ then $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}f)\left(x\right)=({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right),({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)$ is also an HVFIF. Further, $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right)$ and $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)$ are determined by the IFSs ${\left\{L_k\left(x\right),{\widehat{F}}_{1(k,\mu (s\left)\right)}(x,\widehat{y},\widehat{z})\right\}}_{k=1}^N$ and ${\left\{L_k\left(x\right),{\widehat{F}}_{2(k,\mu (s\left)\right)}(x,\widehat{z})\right\}}_{k=1}^N$, respectively, where ${\widehat{F}}_{1(k,\mu (s\left)\right)}(x,\widehat{y},\widehat{z})=a_k^{-\mu \left(s\right)}{\alpha }_{k}y+a_k^{-\mu \left(s\right)}{\beta }_{k}z+{\widehat{p}}_k\left(x\right)$ and ${\widehat{F}}_{2(k,\mu (s\left)\right)}=a_k^{-\mu \left(s\right)}{\gamma }_{k}z+{\widehat{q}}_k\left(x\right)$ with ${\sum }_{k=1}^N{a}_k^{-\mu \left(s\right)}{\alpha }_k\ne 1$, ${\sum }_{k=1}^N{a}_k^{-\mu \left(s\right)}{\gamma }_k\ne 1,$ for $k=1,2,\cdots ,N.$

Proof. 

The WM fractional derivative Equation (20) gives,

$$\begin{array}{cc}\hfill ({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(L_k\left(x\right)\right)& =\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^{x_{k-1}}\frac{f_1\left(x_{k-1}\right)-f_1\left(t\right)}{{(x_{k-1}-t)}^{1+\mu \left(s\right)}}dt\hfill \\ & +\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^{x_{k-1}}\left(\frac{f_1\left(L_k\left(x\right)\right)-f_1\left(t\right)}{{(L_k\left(x\right)-t)}^{1+\mu \left(s\right)}}-\frac{f_1\left(x_{k-1}\right)-f_1\left(t\right)}{{(x_{k-1}-t)}^{1+\mu \left(s\right)}}\right)dt\hfill \\ & +\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_{k-1}}^{L_k\left(x\right)}\frac{f_1\left(L_k\left(x\right)\right)-f_1\left(t\right)}{{(L_k\left(x\right)-t)}^{1+\mu \left(s\right)}}dt.\hfill \end{array}$$

Replace $t=L_k\left(u\right)$ in the third term,

$$\begin{array}{cc}\hfill ({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^x\frac{f_1\left(L_k\left(x\right)\right)-f_1\left(L_k\left(u\right)\right)}{{(L_k\left(x\right)-L_k\left(u\right))}^{1+\mu \left(s\right)}}du.\hfill \end{array}$$

The following equation is obtained using the functional equation Equation (7):

$$\begin{array}{cc}\hfill ({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k^{-\mu \left(s\right)}\mu \left(s\right){\alpha }_k}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^x\frac{f_1\left(x\right)-f_1\left(u\right)}{{(x-u)}^{1+\mu \left(s\right)}}du\hfill \\ & +\frac{a_k^{-\mu \left(s\right)}\mu \left(s\right){\beta }_k}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^x\frac{f_2\left(x\right)-f_2\left(u\right)}{{(x-u)}^{1+\mu \left(s\right)}}du+\frac{a_k^{-\mu \left(s\right)}\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^x\frac{p_k\left(x\right)-p_k\left(u\right)}{{(x-u)}^{1+\mu \left(s\right)}}du\hfill \\ \hfill & ={\widehat{y}}_{n-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}{\alpha }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right)+a_k^{-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)\hfill \\ & +a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_k)\left(x\right)\hfill \\ \hfill & =a_k^{-\mu \left(s\right)}{\alpha }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right)+a_k^{-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)+{\widehat{p}}_{k,\mu \left(s\right)}\left(x\right).\hfill \end{array}$$

Here, ${\widehat{p}}_{k,\mu \left(s\right)}\left(x\right)={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_k)\left(x\right),$ ${\widehat{y}}_{k-1}=\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^{x_{k-1}}\frac{f_1\left(x_{k-1}\right)-f_1\left(t\right)}{{(x_{k-1}-t)}^{1+\mu \left(s\right)}}dt$ and $f_{1(k,\mu (s\left)\right)}\left(x\right)=\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^{x_{k-1}}\left(\frac{f_1\left(L_k\left(x\right)\right)-f_1\left(t\right)}{{(L_k\left(x\right)-t)}^{1+\mu \left(s\right)}}-\frac{f_1\left(x_{k-1}\right)-f_1\left(t\right)}{{(x_{k-1}-t)}^{1+\mu \left(s\right)}}\right)dt.$ Now, consider the WM fractional derivative of $f_2$ of order $\mu \left(s\right),$

$$\begin{array}{cc}\hfill ({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(L_k\left(x\right)\right)& =\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^{x_{k-1}}\frac{f_2\left(x_{k-1}\right)-f_2\left(t\right)}{{(x_{k-1}-t)}^{1+\mu \left(s\right)}}dt\hfill \\ & +\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^{x_{k-1}}\left(\frac{f_2\left(L_k\left(x\right)\right)-f_2\left(t\right)}{{(L_k\left(x\right)-t)}^{1+\mu \left(s\right)}}-\frac{f_2\left(x_{k-1}\right)-f_2\left(t\right)}{{(x_{k-1}-t)}^{1+\mu \left(s\right)}}\right)dt\hfill \\ & +\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_{k-1}}^{L_k\left(x\right)}\frac{f_2\left(L_k\left(x\right)\right)-f_2\left(t\right)}{{(L_k\left(x\right)-t)}^{1+\mu \left(s\right)}}dt.\hfill \end{array}$$

Replace $t=L_k\left(u\right)$ in the third term,

$$\begin{array}{cc}\hfill ({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^x\frac{f_2\left(L_k\left(x\right)\right)-f_2\left(L_k\left(u\right)\right)}{{(L_k\left(x\right)-L_k\left(u\right))}^{1+\mu \left(s\right)}}du.\hfill \end{array}$$

The following equation is obtained using the functional equation Equation (8):

$$\begin{array}{cc}\hfill ({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(L_k\left(x\right)\right)& ={\widehat{z}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+\frac{a_k^{-\mu \left(s\right)}\mu \left(s\right){\gamma }_k}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^x\frac{f_2\left(x\right)-f_2\left(u\right)}{{(x-u)}^{1+\mu \left(s\right)}}du\hfill \\ & +\frac{a_k^{-\mu \left(s\right)}\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^x\frac{q_k\left(x\right)-q_k\left(u\right)}{{(x-u)}^{1+\mu \left(s\right)}}du\hfill \\ \hfill & ={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}{\gamma }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_k)\left(x\right)\hfill \\ \hfill & =a_k^{-\mu \left(s\right)}{\gamma }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)+{\widehat{q}}_{k,\mu \left(s\right)}\left(x\right).\hfill \end{array}$$

Here, ${\widehat{q}}_{k,\mu \left(s\right)}\left(x\right)={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_k)\left(x\right),$ ${\widehat{z}}_{k-1}=\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^{x_{k-1}}\frac{f_2\left(x_{k-1}\right)-f_2\left(t\right)}{{(x_{k-1}-t)}^{1+\mu \left(s\right)}}dt$ and $f_{1(k,\mu (s\left)\right)}\left(x\right)=\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_{x_0}^{x_{k-1}}\left(\frac{f_1\left(L_k\left(x\right)\right)-f_1\left(t\right)}{{(L_k\left(x\right)-t)}^{1+\mu \left(s\right)}}-\frac{f_1\left(x_{k-1}\right)-f_1\left(t\right)}{{(x_{k-1}-t)}^{1+\mu \left(s\right)}}\right)dt.$ Hence, the WM variable order fractional derivative of HVFIF is also HVFIF. Consider the following equation for calculating new data points:

$$\begin{array}{cc}\hfill ({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(L_k\left(x\right)\right)& ={\widehat{y}}_{k-1}+f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}{\alpha }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x\right)+a_k^{-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)\hfill \\ & +a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_k)\left(x\right).\hfill \end{array}$$

Let $x=x_N$ and $L_k\left(x_N\right)=x_k.$ Then, the above equation gives

$${\widehat{y}}_k-{\widehat{y}}_{k-1}=f_{1(k,\mu (s\left)\right)}\left(x_N\right)+a_k^{-\mu \left(s\right)}{\alpha }_k{\widehat{y}}_N+a_k^{-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x_N\right)+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_k)\left(x\right).$$

The aforementioned equation is as follows when considered from the perspective of the equation ${\widehat{y}}_k={\widehat{y}}_0+{\sum }_{n=1}^k({\widehat{y}}_n-{\widehat{y}}_{n-1}):$

$$\begin{array}{cc}\hfill {\widehat{y}}_k& =\sum _{n=1}^k(f_{1(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{-\mu \left(s\right)}{\alpha }_n{\widehat{y}}_N+a_n^{-\mu \left(s\right)}{\beta }_n({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x_N\right)\hfill \\ & +a_n^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_n)\left(x_N\right)).\hfill \end{array}$$

(22)

In Equation (22), ${\widehat{y}}_N$ is obtained by varying k to N

$$\begin{array}{cc}\hfill {\widehat{y}}_N& =\sum _{n=1}^N(f_{1(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{-\mu \left(s\right)}{\beta }_n({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x_N\right)\hfill \\ & +a_n^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{p}_n)\left(x_N\right))/1-\sum _{n=1}^N{a}_n^{-\mu \left(s\right)}{d}_n.\hfill \end{array}$$

Consider the following equation to determine the new data set $\{(x_k,{\widehat{z}}_k):K=0,1,\cdots ,N\}$

$$\begin{array}{c}\hfill {\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2\left(L_k\left(x\right)\right)={\widehat{z}}_{k-1}+f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}{\gamma }_k({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_k)\left(x\right).\end{array}$$

Let $x=x_N$ and $L_k\left(x\right)=x_k.$ Then, the above equation yields,

$$\begin{array}{cc}\hfill {\widehat{z}}_k-{\widehat{z}}_{k-1}& =f_{2(k,\mu (s\left)\right)}\left(x_N\right)+a_k^{-\mu \left(s\right)}{\gamma }_k{\widehat{z}}_N+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_k)\left(x_N\right).\hfill \end{array}$$

The aforementioned equation is as follows when considered from the perspective of the equation ${\widehat{z}}_k={\widehat{z}}_0+{\sum }_{n=1}^k\left({\widehat{z}}_n-{\widehat{z}}_{n-1}\right):$

$$\begin{array}{cc}\hfill {\widehat{z}}_k& =\sum _{n=1}^k\left(f_{2(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{-\mu \left(s\right)}{\gamma }_n{\widehat{z}}_N+a_n^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_n)\left(x_N\right)\right).\hfill \end{array}$$

(23)

In Equation (23), ${\widehat{z}}_N$ is obtained by varying k to N

$$\begin{array}{cc}\hfill {\widehat{z}}_N& =\sum _{n=1}^N\left(f_{2(n,\mu (s\left)\right)}\left(x_N\right)+a_n^{-\mu \left(s\right)}({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{q}_n)\left(x_N\right)\right)/1-\sum _{n=1}^N{a}_n^{-\mu \left(s\right)}{\gamma }_n.\hfill \end{array}$$

□

Remark 3.

TheWM fractional derivative with the variable order of HVFIF is demonstrated in Theorem 3 with a predefined condition $({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_1)\left(x_0\right)=({\mathcal{D}}_{x_0}^{\mu \left(s\right)}{f}_2)\left(x_0\right)=0$. Similarly, theWM variable order fractional derivative f is defined with the upper limit $x_N$ as

$$({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_1)\left(L_k\left(x\right)\right)=-\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_x^{x_N}\frac{f_1\left(L_k\left(x\right)\right)-f_1\left(t\right)}{{(L_k\left(x\right)-t)}^{1+\mu \left(s\right)}}dt$$

$$({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(L_k\left(x\right)\right)=-\frac{\mu \left(s\right)}{\Gamma (1-\mu (s\left)\right)}{\int }_x^{x_N}\frac{f_2\left(L_k\left(x\right)\right)-f_2\left(t\right)}{{(L_k\left(x\right)-t)}^{1+\mu \left(s\right)}}dt$$

then, one can obtain that function $({\mathcal{D}}_{x_N}^{\mu \left(s\right)}f\left(L_k\left(x\right)\right)$ is again HVFIF with the variable order generated by the IFS ${\{L_k\left(x\right),{\widehat{F}}_{1(k,\mu (s\left)\right)}(x,\widehat{y},\widehat{z})\}}_{i=1}^N$ and ${\{L_k\left(x\right),{\widehat{F}}_{2(k,\mu (s\left)\right)}(x,\widehat{z})\}}_{i=1}^N$ where $\widehat{f_1}\left(x\right)={\widehat{y}}_k-f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}{\alpha }_k({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_1)\left(x\right)+a_k^{-\mu \left(s\right)}{\beta }_k({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{p}_k)\left(x\right)$ and $\widehat{f_2}\left(x\right)={\widehat{z}}_k-f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}{\gamma }_k({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x\right)+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{q}_k)\left(x\right)$

$$\begin{array}{cc}\hfill {\widehat{p}}_k\left(x\right)& ={\widehat{y}}_k-f_{1(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{p}_k)\left(x\right),\hfill \\ \hfill {\widehat{y}}_{k-1}& =-\sum _{n=1}^k(f_{1(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{-\mu \left(s\right)}{\alpha }_n{\widehat{y}}_0-a_n^{-\mu \left(s\right)}{\beta }_n({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{f}_2)\left(x_0\right)\hfill \\ & -a_n^{-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{p}_n)\left(x_0\right)),\hfill \\ \hfill {\widehat{y}}_0& =-\sum _{n=1}^N(f_{1(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{-\mu \left(s\right)}{\beta }_n({\mathcal{D}}_{x_N}^{-\mu \left(s\right)}{f}_2)\left(x_0\right)\hfill \\ & -a_n^{-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{p}_n)\left(x_0\right))/1-\sum _{n=1}^N{a}_n^{-\mu \left(s\right)}{\alpha }_n,\hfill \\ \hfill {\widehat{q}}_k\left(x\right)& ={\widehat{z}}_k-f_{2(k,\mu (s\left)\right)}\left(x\right)+a_k^{-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{q}_k)\left(x\right),\hfill \\ \hfill {\widehat{z}}_{k-1}& =-\sum _{n=1}^k\left(f_{2(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{-\mu \left(s\right)}{\gamma }_n{\widehat{z}}_0-a_n^{-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{q}_n)\left(x_0\right)\right),\hfill \\ \hfill {\widehat{z}}_0& =-\sum _{n=1}^N\left(f_{2(n,\mu (s\left)\right)}\left(x_0\right)-a_n^{-\mu \left(s\right)}({\mathcal{D}}_{x_N}^{\mu \left(s\right)}{q}_n)\left(x_0\right)\right)/1-\sum _{n=1}^N{a}_n^{-\mu \left(s\right)}{\gamma }_n.\hfill \end{array}$$

When the variable order $\mu \left(s\right)$ is considered as a constant function, the above conclusion provides Priyanka’s [27] result.

Example 4.

TheWM variable order fractional derivative of $f_1$ and theWM variable order fractional derivative of $f_2$ are calculated using the same data points and scale factors as in Example 1. ${\mathcal{D}}^{0.5}{f}_1$ is shown in Figure 4a, while a graphical representation of ${\mathcal{D}}^{0.5}{f}_2$ is given in Figure 4b.

4. Concluding Remarks

This work introduces a novel approach to investigate variable order fractional integration. The evaluation of fractional integration and differentiation with continuously varying-order $\mu \left(s\right)$ for each $s\in [x_0,x_N]$ is associated with the change of constant fractional order $\mu$ as a function of s. The RL variable order fractional calculus and the WM variable order fractional derivative of the HVFIF are explored with predefined initial conditions. Further, the resultant functions are demonstrated as the HVFIF.