Abstract
In the paper, we study differential repetitive processes with fractional Riemann–Liouville and Caputo derivatives, in the context of the existence, uniqueness and continuous dependence of solutions on controls. Some applications to controllabilty of such processes are given as well.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
The theory of repetitive processes (multi-pass systems) is extensively studied for over thirty years (cf. Rogers et al. 2007 and references therein). The main idea of such processes consists, in general, in the repetition of the control system
(here \(u\) is an input (control), \(z\)—a trajectory, \(w\)—an output and \(z^{(1)}\) denotes the classical derivative of \(z\)) so that the output can be perfectly tracked as the operation repeats. In other words, we search for the sequence of controls with desired properties of the sequence of trajectories or outputs generated by these controls. One of the possible approaches relies on the describing of the recursive algorithm (learning law) of type
and investigating the properties of trajectories or outputs generated by these controls (here \(\mathcal{L }\) is an operator and \(e_{i}(t)=w_{d}(t)-w_{i}(t)\) where \(w_{i}\) is the output generated by input \(u_{i}\), \(w_{d}\) is the desired output). System (1) with law (2) is called Iterative Learning Control (ILC) process. Repetitive processes (including discrete ones) are investigated mainly in the aspect of controllability and stability (Rogers et al. 2007; Idczak and Kamocki 2007; Idczak 2009; Srinivasan and Bonvin 2007; Galkowski et al. 2003; Cichy et al. 2013; Paszke and Bachelier 2013). They have numerous applications—in modeling of long-wall coal cutting, metal rolling and chemical batch processes, in programming of robotic manipulators and to investigation of the linear and nonlinear systems as well as systems with unknown structure information (Ahn et al. 2007; Arimoto et al. 1984; Lee and Chien 2008; Norrlof 2008; Sun and Wang 2008; Ye et al. 2009b).
Recent investigations show that the dynamics of many systems are described more accurately with the aid of fractional derivatives. They are used, among others things, to the modeling of capacitor (Westerlund and Ekstam 1994; Dzielinski et al. 2011, 2010), fluid flow through porous material (Langlands 2006), viscoelastic materials (Bagley and Torvik 1986). Fractional systems are investigated in many aspects: existence and uniqueness of solutions (Daftardar-Gejji and Babakhani 2004; Delbosco and Rodino 1996; Hayek et al. 1999; Idczak and Kamocki 2011; Kilbas et al. 2006), stability and positivity (Buslowicz 2008, 2011; Kaczorek 2011a, b), calculus of variations (Agrawal 2002; Baleanu and Muslih 2005; El-Nabulusi and Torres 2007; Idczak and Majewski 2012; Riewe 1996, 1997), controllability (Kaczorek 2011c) and optimal control (Agrawal 2004; Jelicic and Petrovacki 2009; Kamocki 2012; Tricaud and Chen 2010).
For over a decade, the ILC processes connected with the fractional systems of type
where \(z^{(\alpha )}\) is the Riemann–Liouville or Caputo fractional derivative, and classical or fractional learning laws (i.e. containing the fractional derivatives) are studied (Chen and Moore 2001; Chen et al. 2012; Lazarevic 2004; Li et al. 2011a, b, c, 2012; Sabatier et al. 2007; Ye et al. 2009a). Such processes can be used to study repetitive models described with the aid of fractional derivatives. Using, for example, convergence of ILC algorithms (Li et al. 2011c, 2012) for systems of such a type, one can investigate fractional linear and nonlinear control systems, in particular, describe the controls generating outputs with desired properties or approximations of such outputs. As we read in Li et al. (2011c): “In recent years, the application of ILC to the fractional-order system becomes a popular topic. The development of new fractional-order ILC algorithms, which belongs to a branch of fractional-order control (Sabatier et al. 2007; Oustaloup 1994; Machado 1997; Podlubny 1999; Kilbas et al. 2006), is urgently needed”.
In our paper, we consider the following fractional differential repetitive process (without learning law)
where \(k\in \mathbb N \cup \{0\}\), \(t\in \mathbb [ a,b]\), \(D_{a+}^{\alpha } z_{k+1}\) is a fractional derivative of order \(\alpha \in (0,1)\). We investigate the cases of Riemann–Liouville and Caputo derivatives. In the first case, by \(D_{a+}^{\alpha }z_{k+1}\) we mean the fractional derivative in Riemann–Liouville sense and consider system (3) with initial conditions of the form
where \(I_{a+}^{1-\alpha }z_{k}\) is an integral of order \(1-\alpha \) of the function \(z_{k}\). In the second case, \(D_{a+}^{\alpha }z_{k+1}\) is replaced by \(^{C}D_{a+}^{\alpha }z_{k+1}\)—the fractional derivative in Caputo sense and boundary conditions take the form
In both cases, we study existence, uniqueness and continuous dependence of solutions \(z_{k}\) on controls \(u_{k}\). In the case of Caputo derivative, we study also a controllability property of (3), connected with the piecewise constant controls (taking the finite number of values and with a finite number of switching points). Such controls are very important from the practical point of view. More precisely, we show that the reachable set \(\mathcal{A }_{M,P}\) for process (3), corresponding to the piecewise constant controls with the values in a fixed set \(M\), is dense in the reachable set \(\mathcal{A }_{M}\) corresponding to integrable controls taking their values in \(M\). In other words, a point \((z_{k}(b))_{k\in \mathbb N }\in {\prod \nolimits _{k=1}^{\infty }} \mathbb R ^{n}\) that can be reached with the aid of an integrable control with values in \(M\), can be approximated by points reachable with the aid of piecewise constant controls with values in \(M\).
2 Preliminaries
In this section, we recall some definitions and basic facts concerning the fractional integrals and derivatives.
By \(L^{1}=L^{1}([a,b],\mathbb R ^{n})\) we shall denote the classical space of integrable functions \(x:[a,b]\rightarrow \mathbb R ^{n}\) and by \(\varGamma \)—the Euler gamma-function.
If \(\alpha \in (0,1)\), \(x\in L^{1}\), then the function
is called left-sided fractional integral of order \(\alpha \) of the function \(x\) on the interval \([a,b]\), in the Riemann–Liouville sense. The function \(D_{a+}^{\alpha }x(t):=\frac{d}{dx}(I_{a+}^{1-\alpha }x)(t)\) is called left-sided fractional derivative \(D_{a+}^{\alpha }x\) of order \(\alpha \) on the interval \([a,b]\), in the Riemann–Liouville sense, provided that \(I_{a+}^{1-\alpha }x\) is absolutely continuous on \([a,b]\) (more precisely, has an absolutely continuous representative a.e. on \([a,b]\)).
One can show that
if and only if there exists a constant \(c\) such that
By \(AC_{a+}^{\alpha }=AC_{a+}^{\alpha }([a,b],R^{n})\) we denote the set of all functions \(x:[a,b]\rightarrow \mathbb R ^{n}\) such that
with \(\varphi \in L^{1}\), \(c\in \mathbb R ^{n}\). One can show that \(x\) possesses the Riemann–Liouville derivative \(D_{a+}^{\alpha }x\) if and only if \(x\in AC_{a+}^{\alpha }\). In such a case \(D_{a+}^{\alpha }x=\varphi \) a.e. on \((a,b)\) and \((I_{a+}^{1-\alpha }x)(a)=c\) where \(\varphi \) and \(c\) are taken from (4). It is easy to see that \(AC_{a+}^{\alpha }\) with the norm \(\left\| x\right\| _{AC_{a+}^{\alpha }}=\left| (I_{a+}^{1-\alpha }x)(a)\right| +\left\| D_{a+}^{\alpha }x\right\| _{L^{1}}\) is complete.
More properties of fractional integrals and derivatives can be found for example in monographs (Kilbas et al. 2006; Samko et al. 1993).
3 Control system with Riemann–Liouville derivative
Let us consider the following Cauchy problem
where \(f:[a,b]\times \mathbb R ^{n}\rightarrow \mathbb R ^{n}\), \(c\in \mathbb R ^{n}\).
We have (cf. Idczak and Kamocki 2011)
Theorem 1
If a function \(f=f(t,x):[a,b]\times \mathbb R ^{n}\rightarrow \mathbb R ^{n}\) is measurable in \(t\), lipschitzian in \(x\) and the function \(f(\cdot ,0)\) is integrable, then problem (5) has a unique solution \(x\in AC_{a+}^{\alpha }\).
Now, let us consider the following control system
where \(g:[a,b]\times \mathbb R ^{n}\times \mathbb R ^{m}\rightarrow \mathbb R ^{n}\) and \(u\in L^{1}([a,b],\mathbb R ^{m})\).
We have
Theorem 2
If \(g\) is measurable in \(t\), lipschitzian in \(x\), continuous in \(u\) and there exist \(c\ge 0\) and \(r(\cdot )\in L^{1}\) such that
for \(t\in [a,b]\) a.e. and \(u\in \mathbb R ^{m}\), then, for any fixed control \(u\in L^{1}\), system (6) has a unique solution \(x\in AC_{a+}^{\alpha }\). Moreover, if \(u_{j}{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}u_{0}\) in \(L^{1}\), then \(x_{j}{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}x_{0}\) in \(AC_{a+}^{\alpha }\). Consequently, \(I_{a+} ^{1-\alpha }z_{j}{\mathop {\rightrightarrows }\limits _{j\rightarrow \infty }} I_{a+}^{1-\alpha }z_{0}\) uniformly on \([a,b]\) and \(z_{j}{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}z_{0}\) in \(L^{1}\).
Proof
Existence and uniqueness of a solution system (6) follows from Theorem 1. So, let \(u_{n}{\mathop {\longrightarrow }\limits _{n\rightarrow \infty }}u_{0}\) in \(L^{1}\). It is easy to see that one can assume that \(c=0\). From the proof of Theorem 1 (cf. Idczak and Kamocki 2011) it follows that for any \(j\in \mathbb N \cup \{0\}\) there exists a unique fixed point \(\varphi _{j}\) of the operator
and the solution \(x_{j}\) corresponding to \(u_{j}\) is given by \(x_{j} =I_{a+}^{\alpha }\varphi _{j}\). Let us observe that, for any fixed \(k>0\),
where \(\left\| \varphi \right\| _{k}= {\int \nolimits _{a}^{b}} \frac{\varphi (t)}{e^{kt}}dt\) for \(\varphi \in L^{1}\) is the well known Bielecki norm in \(L^{1}\), equivalent to the classical one. So, for sufficiently large \(k>0\) (such that \(Mk^{-\alpha }\in (0,1)\)) we have
(the last convergence follows from the continuity of the Nemytskii operator given by the Caratheodory function \(h(t,u)=g(t,(I_{a+}^{\alpha }\varphi _{0})(t),u)\)). So, \(x_{j}{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}x_{0}\) in \(AC_{a+}^{\alpha }\) because of
for \(j\in \mathbb N \) and \(\left\| x_{j}-x_{0}\right\| _{AC_{a+}^{\alpha }}=\left\| D_{a+}^{\alpha }x_{j}-D_{a+}^{\alpha }x_{0}\right\| _{L^{1} }=\left\| \varphi _{j}-\varphi _{0}\right\| _{L^{1}}\).
Consequently, since
for \(t\in [a,b]\) a.e., \(j=0,1,\ldots \), we have (after identifying the sides of the above equality)
for \(t\in [a,b]\).
Moreover,
for \(t\in [a,b]\) a.e. So, using the boundedness of the operator \(I_{a+}^{\alpha }:L^{1}\rightarrow L^{1}\) (cf. Samko et al. 1993), we obtain
where \(K>0\). \(\square \)
4 Repetitive processes with Riemann–Liouville derivative
Now, let us consider the fractional repetitive process of the form
for \(k\in \mathbb N \cup \{0\}\), \(t\in \mathbb R \), \(t\in [a,b]\) a.e., with initial conditions
Here \([a,b]\subset \mathbb R \) is a fixed interval, \(z_{k} (t)\in \mathbb R ^{n}\), \(w_{k}(t)\in \mathbb R ^{m}\), \(u_{k}(t)\in \mathbb R ^{r}\), \(A_{1}\), \(A_{2}\), \(B\), \(C_{1}\), \(C_{2}\), \(D\) are matrices of appropriate dimensions. Constants \(c_{k}\in \mathbb R ^{n}\) and function \(f:[a,b]\rightarrow \mathbb R ^{m}\) are initial data, \(D_{a+}^{\alpha }z_{k}\), \(I_{a+}^{1-\alpha }z_{k}\) are derivative of order \(\alpha \in (0,1)\) and integral of order \(1-\alpha \), in the Riemann–Liouville sense, of the function \(z_{k}\), respectively. Functions \(u_{k}(\cdot )\), \(k\in \mathbb N \), are called controls on passes, \(z_{k}(\cdot )\), \(k\in \mathbb N \)—trajectories on passes, \(w_{k}(\cdot )\), \(k\in \mathbb N \)—outputs on passes.
When \(\alpha =1\) process (7)–(8) reduces to the classical repetitive process.
It is easy to see that process (7)–(8) can be written in the form of the following infinite system of equations
with initial conditions
Our aim is to investigate existence, uniqueness and continuous dependence of solutions on controls for process (9)–(10). We consider this process in the spaces
of trajectories and
of controls.
The spaces \(\mathcal{AC }_{a+}^{\alpha }\), \(\mathcal{L }^{1}\) and \( {\prod \nolimits _{k=1}^{\infty }} \mathbb R ^{n}\) are considered with product topologies. Let us recall that, for example, a sequence \((\mathfrak{u }^{j})_{j\in \mathbb N }\) converges in \(\mathcal{L }^{1}\) to an element \(\mathfrak{u }^{0}\) with respect to the product topology if and only if
for any \(k\in \mathbb N \).
We have
Theorem 3
For any control \(\mathfrak{u }=(u_{k})_{k\in \mathbb N } \in \mathcal{L }^{1}\) and initial data \(c_{k}\in \mathbb R ^{n}\), \(k\in \mathbb N \), \(f\in L^{1}\), there exists a unique solution \(\mathfrak{z } =(z_{k})_{k\in \mathbb N }\in \mathcal{AC }_{a+}^{\alpha }\) to process (9)–(10). Moreover, if a sequence \((\mathfrak{u } ^{j})_{j\in \mathbb N }=((u_{k}^{j})_{k\in \mathbb N })_{j\in \mathbb N }\) of controls converges in \(\mathcal{L }^{1}\) to \(\mathfrak{u }^{0}\), then \(z_{k} ^{j}{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}z_{k}^{0}\) in \(AC_{a+} ^{\alpha }\) for \(k\in \mathbb N \). Consequently, \(I_{a+}^{1-\alpha }z_{k} ^{j}{\mathop {\rightrightarrows }\limits _{j\rightarrow \infty }}I_{a+}^{1-\alpha }z_{k} ^{0}\) uniformly on \([a,b]\) for \(k\in \mathbb N \) and \(z_{k}^{j}\underset{j\rightarrow \infty }{\longrightarrow }z_{k}^{0}\) in \(L^{1}\) for \(k\in \mathbb N \).
Proof
Let us fix \(k\in \mathbb N \) and consider system
where \(\mathtt{z}=(z_{1},\ldots ,z_{k}), \mathtt{u}=(u_{1},\ldots ,u_{k})\),
Existence and uniqueness of a solution to \((1_k)\), satisfying initial condition
where \(\mathtt{c}=(c_{1},\ldots ,c_{k})\), follows from the first part of Theorem 2. Convergences follows from the second part of this theorem. \(\square \)
5 Control system with Caputo derivative
Let us denote
By the left-sided Caputo fractional derivative \(^{C}D_{a+}^{\alpha }x\) of order \(\alpha \) of the function \(x\in AC\) on the interval \([a,b]\) we mean the function
From (Samko et al. 1993, Lemma 2.1 and the next corollary) it follows that
It is easy to see that \((^{C}D_{a+}^{\alpha }x)(\cdot )=0\) if and only if \(x(\cdot )\) is constant on \([a,b]\).
Now, let us consider the following Cauchy problem
where \(v:[a,b]\rightarrow \mathbb R ^{n}\). By a solution to this problem we mean a function \(x\in AC\).
Let us observe that if a function \(x\in AC\) is a solution to (12), then (cf. Samko et al. 1993, Lemma 2.1)
Conversely, if \(x\in AC\) is a solution to (13), then \(x(\cdot )\) is a solution to (12).
So, to obtain the existence of a unique solution to problem (12) it is sufficient to show that there exists a unique solution \(x\in AC_{a+} ^{\alpha }\) to problem
such that
Indeed, we have
Theorem 4
If \(v\in I_{a+}^{1-\alpha }(L^{1})\), then the unique solution \(x\in AC_{a+}^{\alpha }\) to problem (14) satisfies (15) and, consequently, Cauchy problem (12) has a unique solution in \(AC\).
Proof
Let us recall (cf. Idczak and Kamocki 2011) that the unique solution \(x\in AC_{a+} ^{\alpha }\) to problem (14) is given by
where \(\varphi _{*}\in L^{1}\) is a unique fixed point of the operator \(\varPhi :L^{1}\rightarrow L^{1}\) given by
for \(\varphi \in L^{1}\). In the same way as in Idczak and Kamocki (2011) one can show that
for any \(m\in \mathbb N \).
All terms on the right hand side of the above equality, except the first one, are absolutely continuous (here, we use the fact that \(v\in I_{a+}^{1-\alpha }(L^{1})\)) and all, except the first term and \(c\), take the value \(0\) at the point \(t=a\) (cf. Samko et al. 1993, Lemma 2.1). Of course, there exists \(m\in \mathbb N \) such that \((m+1)\alpha \ge 1\) and \(\beta :=(m+1)\alpha -1\in (0,1)\). Consequently, one can write down the first term in the form
It means that it is an absolutely continuous function on \([a,b]\) and takes the value \(0\) at the point \(t=a\).
So, the solution \(x=I_{a+}^{\alpha }\varphi _{*}\) of problem (14) is absolutely continuous on \([a,b]\) and \(x(a)=c\).
Moreover, if \(x_{1}\), \(x_{2}\in AC\) are the solutions to (12), then, as we said, they are the solutions to (14) and, consequently, to \(x_{1}=x_{2}\). \(\square \)
We also have the following theorem on the continuous dependence of solutions on controls.
Theorem 5
If \(v_{j}\in I_{a+}^{1-\alpha }(L^{1})\), \(j=0,1,\ldots ,\) and \(v_{j}{\mathop {\longrightarrow }\limits _{n\rightarrow \infty }}v_{0}\) in \(L^{1}\), then \(x_{j}{\mathop {\longrightarrow }\limits _{n\rightarrow \infty }}x_{0}\) in \(AC_{a+} ^{\alpha }\) (here \(x_{j}\in AC\) is a solution to (12), corresponding to \(v_{j}\)). Consequently, \(I_{a+}^{1-\alpha }x_{j}{\mathop {\rightrightarrows }\limits _{j\rightarrow \infty }}I_{a+}^{1-\alpha }x_{0}\) uniformly on \([a,b]\) and \(x_{j}{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}x_{0}\) in \(L^{1}\).
Proof
Since \(x_{j}\), \(j\in \mathbb N \cup \{0\}\), are solutions to (13) corresponding to \(\frac{1}{\varGamma (1-\alpha )}\frac{c}{(\cdot -a)^{\alpha } }+v(\cdot )\), the assertion follows from Theorem 2. \(\square \)
Under a stronger assumption on the convergence of controls, the trajectories converge uniformly on \([a,b]\). Namely, we have
Theorem 6
If \(v_{j}\in I_{a+}^{1-\alpha }(L^{1})\), \(j\in \mathbb N \cup \{0\}\) are such that \(v_{j}=I_{a+}^{1-\alpha }u_{j}\) and \(u_{j} {\mathop {\longrightarrow }\limits _{n\rightarrow \infty }}u_{0}\) in \(L^{1}\), then \(x_{j}(t){\mathop {\rightrightarrows }\limits _{j\rightarrow \infty }}x_{0}(t)\) on \([a,b]\).
Proof
Let \(\varphi _{j}\in L^{1}\), \(j\in \mathbb N \cup \{0\}\) be such that \(x_{j}=I_{a+}^{\alpha }\varphi _{j}\). From the first part of Theorem 5 it follows that \(\varphi _{j}{\mathop {\longrightarrow }\limits _{n\rightarrow \infty }} \varphi _{0}\) in \(L^{1}\). From (16) we obtain
for \(t\in [a,b]\)a.e., where \(\beta \in (0,1)\) is such as in the proof of Theorem 4. Since both left and right functions are absolutely continuous, the equality holds true at any point \(t\in [a,b]\). The convergences \(\varphi _{j}{\mathop {\longrightarrow }\limits _{n\rightarrow \infty }} \varphi _{0}\) in \(L^{1}\) and \(u_{j}{\mathop {\longrightarrow }\limits _{n\rightarrow \infty }}u_{0}\) in \(L^{1}\) imply the convergences \(I_{a+}^{\beta }(\varphi _{j}-\varphi _{0}){\mathop {\longrightarrow }\limits _{n\rightarrow \infty }}0\), \(I_{a+}^{(m-1)\alpha }(u_{j}-u_{0}){\mathop {\longrightarrow }\limits _{n\rightarrow \infty }}0,\ldots ,\) \(I_{a+}^{\alpha }(u_{j}-u_{0}){\mathop {\longrightarrow }\limits _{n\rightarrow \infty }}0\) in \(L^{1}\). So, all functions \(I_{a+}^{1} I_{a+}^{\beta }(\varphi _{j}-\varphi _{0})\), \(I_{a+}^{1}I_{a+}^{(m-1)\alpha }(u_{j}-u_{0}),\ldots ,\) \(I_{a+}^{1}I_{a+}^{\alpha }(u_{j}-u_{0})\), \(I_{a+} ^{1}(u_{j}-u_{0})\) converge uniformly to zero function on \([a,b]\). \(\square \)
The fact that the linear continuous mapping preserves the weak convergence we obtain
Corollary 1
Under notations of the previous theorem, if \(c=0\) and \(u_{j}{\mathop {\rightharpoonup }\limits _{n\rightarrow \infty }}u_{0}\) weakly in \(L^{1}\), then \(x_{j}(t){\mathop {\rightarrow }\limits _{j\rightarrow \infty }}x_{0}(t)\) for any \(t\in [a,b]\).
6 Repetitive processes with Caputo derivative
Now, let us consider fractional differential repetitive process
for \(k\in \mathbb N \cup \{0\}\), \(t\in \mathbb R \), \(a\le t\le b\), with initial conditions
Denoting
in the same way as in the previous section, we obtain
Theorem 7
For any \(\mathfrak{v }=(v_{k})_{k\in \mathbb N }\in \mathcal{I }_{a+}^{1-\alpha }(\mathcal{L }^{1})=\mathcal{I }_{a+}^{1-\alpha }(\mathcal{L }^{1}([a,b], {\prod \nolimits _{k=1}^{\infty }} \mathbb R ^{r}))\) where
and initial data \(c_{k}\in \mathbb R ^{n}\), \(k\in \mathbb N \), \(f\in I_{a+}^{1-\alpha }(L^{1})\), there exists a unique solution \(\mathfrak{z } =(z_{k})_{k\in \mathbb N }\in \mathcal{AC }\) of problem (17)–(18). Moreover, if a sequence \((\mathfrak{v }^{j})_{j\in \mathbb N }=((v_{k} ^{j})_{k\in \mathbb N })_{j\in \mathbb N }\) \(\subset \mathcal{I }_{a+}^{1-\alpha }(\mathcal{L }^{1})\) converges in \(\mathcal{L }^{1}\) to \(\mathfrak{u }^{0} \in \mathcal{I }_{a+}^{1-\alpha }(\mathcal{L }^{1})\), then \(z_{k}^{j} {\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}z_{k}^{0}\) in \(AC_{a+}^{\alpha }\) for \(k\in \mathbb N \). Consequently, \(I_{a+}^{1-\alpha }z_{k}^{j}\underset{j\rightarrow \infty }{\rightrightarrows }I_{a+}^{1-\alpha }z_{k}^{0}\) uniformly on \([a,b]\) and \(z_{k}^{j}{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }} z_{k}^{0}\) in \(L^{1}\) for \(k\in \mathbb N \).
Proof
In the same way as in the proof of Theorem 3 we assert that problem (17)–(18) has a unique solution in \(\mathcal{AC }\). Continuous dependence of solutions on controls follows from Theorem 5. \(\square \)
From Corollary 1 we obtain
Theorem 8
If \(f=0\), \(c_{k}=0\) for \(k\in \mathbb N \), \(\mathfrak{v }^{j} =(v_{k}^{j})_{k\in \mathbb N }\) \(\subset \mathcal{I }_{a+}^{1-\alpha } (\mathcal{L }^{1})\), \(j\in \mathbb N \cup \{0\}\) are such that \(v_{k}^{j} =I_{a+}^{1-\alpha }u_{k}^{j}\) and \(u_{k}^{j}{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}u_{k}^{0}\) weakly in \(L^{1}\) for \(k\in \mathbb N \), then \(z_{k}^{j}(t){\mathop {\rightarrow }\limits _{j\rightarrow \infty }}z_{k}^{j}(t)\) for any \(t\in [a,b]\) and \(k\in \mathbb N \).
7 Applications to controllability
Let us consider process (17) with homogenous initial conditions
By \(\mathcal{L }_{M}^{1}\) where \(M\subset \mathbb R ^{r}\) is a convex compact set, we denote the set
and by \(\mathcal{I }_{a+}^{1-\alpha }(\mathcal{L }_{M}^{1})\)—the set
In this section, it will be more convenient the functions \(u_{k}\) (not \(v_{k} \)) to call the controls.
By \(\mathcal{A }_{M}\) we denote the reachable set for process (17)–(19), corresponding to the set of controls \(\mathcal{L }_{M}^{1}\) i.e.
Analogously, by \(\mathcal{I }_{a+}^{1-\alpha }(\mathcal{L }_{M,PC}^{1})\) we mean the set (Footnote 1)
and by \(\mathcal{A }_{M,PC}\) we mean the reachable set for process (17)–(19), corresponding to the set \(\mathcal{L }_{M,PC}\) of piecewise constant controls , i.e.
Using Theorem 8, in the same way as in Idczak and Kamocki (2007, Theorem 18) one can obtain
Theorem 9
The set \(\mathcal{A }_{M}\) is closed in \( {\prod \nolimits _{k=1}^{\infty }} \mathbb R ^{n}\).
Next, using theorem on the density of the set \(L_{PC}^{1}([a,b],M)\) of piecewise constant functions on \([a,b]\) with values in \(M\) in the set \(L^{1}([a,b],M)\) of integrable functions on \([a,b]\) with values in \(M\) (cf. Bacciotti 1981), in the same way as in Idczak and Kamocki (2007, Theorem 20) we obtain
Theorem 10
The closure \(\overline{\mathcal{A }_{M,PC}}\) of the set \(\mathcal{A }_{M,PC}\) in the space \( {\prod \nolimits _{k=1}^{\infty }} \mathbb R ^{n}\) coincides with the set \(\mathcal{A }_{M}\).
Example 1
Let us consider repetitive process (17)–(19). If \(\mathfrak{z }=(z_{k})_{k\in \mathbb N }\) is the trajectory of this system, corresponding to the control \(\mathfrak{v }=(v_{k})_{k\in \mathbb N }\) where \(v_{k}(t)=I_{a+}^{1-\alpha }(u_{k})\) with \(u_{k}(t)=\sin kt\), then there exist piecewise constant functions \(\widetilde{u}_{k}^{j}:[a,b]\rightarrow [-1,1]\) such that \(\mathfrak{z }^{j}(b)=(z_{k}^{j}(b))_{k\in \mathbb N }{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}\mathfrak{z }(b)=(z_{k} (b))_{k\in \mathbb N }\) in \({\prod \nolimits _{k=1}^{\infty }} \mathbb R ^{n}\), where \(\mathfrak{z }^{j}\) is the trajectory of the process (17)–(19), corresponding to the control \(\widetilde{\mathfrak{v }}^{j}=(\widetilde{v}_{k}^{j})_{k\in \mathbb N }\) with \(\widetilde{v}_{k}^{j}(t)=I_{a+}^{1-\alpha }(\widetilde{u}_{k}^{j})\). Convergence \((z_{k}^{j}(b))_{k\in \mathbb N }{\mathop {\longrightarrow }\limits _{j\rightarrow \infty }}(z_{k}(b))_{k\in \mathbb N }\) in \( {\prod \nolimits _{k\!=\!1}^{\infty }} \mathbb R ^{n}\) means that \(z_{k}^{j}(b){\mathop {\longrightarrow }\limits _{j\!\rightarrow \!\infty }}z_{k}(b)\) for any \(k\in ~\mathbb N \).
8 Conclusions
In the paper, we prove existence, uniqueness and continuous dependence of solutions on functional parameters (controls) for a fractional repetitive process. First, we consider the case of Riemann–Liouville derivatives with initial conditions (8) and next, basing ourselves on the obtained results for Riemann–Liouville derivatives, we investigate the case of Caputo derivatives with initial conditions (18). The obtained results have been applied to study some controllability property for fractional repetitive processes with Caputo derivative and homogenous initial conditions of type (18). This property is important from the practical point of view. Namely, it has been shown that the states that can be reached with the aid of integrable controls with values in a set \(M\) can be approximated with the aid of piecewise constant ones taking their values in \(M\). An example illustrating this result is given. Future work will addres the issue of approximation of the reachable states by the points that are reachable with the aid of piecewise constant controls taking their values in the set of extreme points of the set \(M\). Theorem of such a kind for repetitive processes of the first order has been proved in Idczak (2009).
Notes
We say that a function \(u:[a,b]\rightarrow \mathbb R ^{r}\) is piecewise constant, if there exist a partition \(a=a_{0}<a_{1}< \cdots <a_{n}=b\) of the interval \([a,b]\) such that \(u\) is constant on each subinterval \([a_{i-1},a_{i}]\).
References
Ahn, H.-S., Moore, K. L., & Chen, Y. Q. (2007). Iterative learning control: Robustness and monotonic convergence for interval systems. Berlin: Springer.
Agrawal, O. P. (2002). Formulation of Euler-Lagrange equations for fractional variational problems. Journal of Mathematical Analysis and Applications, 272, 368–379.
Agrawal, O. P. (2004). A general formulation and solution scheme for fractional optimal control problems. Nonlinear Dynamics, 38(1), 323–337.
Arimoto, S., Kawamura, S., & Miyazaki, F. (1984). Bettering operation of robots by learning. Journal of Robotic Systems, 1(2), 123–140.
Bacciotti, A. (1981). Linear systems with piecewise constant controls. Bolletino U.M.I., 18–A(5), 102–105.
Bagley, R. L., & Torvik, P. J. (1986). On the fractional calculus model of viscoelastic behaviour. Journal of Rheology, 30(1), 133–155.
Baleanu, D., & Muslih, S. I. (2005). Formulation of Hamiltonian equations for fractional variational problems. Czechoslovak Journal of Physics, 55(6), 633–642.
Buslowicz, M. (2008). Stability of linear continuous-time fractional order systems with delays of the retarded type. Bulletin of the Polish Academy of Sciences Technical Sciences, 56(4), 319–324.
Buslowicz, M. (2011). Stability of state-space models of linear continuous-time fractional order systems. Acta Mechanica et Automatica, 5(2), 15–22.
Chen, Y. Q., & Moore, K. L. (2001). On \(D^{\alpha }\)-type iterative learning control. In Proceedings of IEEE conference on decision and control 5 (pp. 4451–4456). New York: IEEE.
Chen, Y. Q., Moore, K. L., & Ahn, H.-S. (2012). Iterative learning control, encyclopedia of the science of learning. New York: Springer. Book chapter of N. M. See.
Cichy, B., Galkowski, K., Rogers, E., & Kummert, A. (2013). Control law design for discrete linear repetitive processes with non-local updating structures. Multidimensional Systems and Signal Processing, 24, 707–726.
Daftardar-Gejji, V., & Babakhani, A. (2004). Analysis of a system of fractional differential equations. Journal of Mathematical Analysis and Applications, 293, 511–522.
Delbosco, D., & Rodino, L. (1996). Existence and uniqueness for a nonlinear fractional differential equations. Journal of Mathematical Analysis and Applications, 204(2), 609–625.
Dzielinski, A., Sarwas, G., & Sierociuk, D. (2011). Comparison and validation of integer and fractional order ultracapacitor models. Advances in Difference Equations, 2011, 11.
Dzielinski, A., Sierociuk, D., & Sarwas, G. (2010). Some applications of fractional order calculus. Bulletin of the Polish Academy of Sciences: Technical Sciences, 58(4), 583–592.
El-Nabulusi, R. A., & Torres, D. F. M. (2007). Necessary optimality conditions for fractional action-like integrals of variational calculus with Riemann-Liouville derivatives of order \((\alpha ,\beta )\). Mathematical Methods in the Applied Sciences, 30, 1931–1939.
Galkowski, K., Rogers, E., Paszke, W., & Owens, D. H. (2003). Linear repetitive process control theory applied to a physical example. International Journal of Applied Mathematics and Computer Science, 13(1), 87–99.
Hayek, N., Trujillo, J., Rivero, M., Bonilla, B., & Moreno, J. C. (1999). An extension of Picard-Lindeloff theorem to fractional differential equations. Applicable Analysis, 70(3–4), 347–361.
Idczak, D. (2009). Approximative piecewise constant bang-bang principle for differential repetitive processes. International Journal of Control, 82(9), 910–917.
Idczak, D., & Kamocki, R. (2007). Some remarks on the point controllability over all passes for differential repetitive processes with control constraints. In Proceedings of the 2007 international workshop on multidimensional (nD) systems. Portugal: Aveiro.
Idczak, D., & Kamocki, R. (2011). On the existence and uniqueness and formula for the solution of R-L fractional Cauchy problem in \(\mathbb{R}^{n}\). Fractional Calculus and Applied Analysis, 14(4), 538–553. doi: 10.2478/s13540-011-0033-5.
Idczak, D., & Majewski, M. (2012). Fractional fundamental lemma of order \(\alpha \in (n-1/2, n)\) with \(n\in \mathbb{N}\), \(n\ge 2\). Dynamic Systems and Applications, 21, 251–268.
Jelicic, Z. D., & Petrovacki, N. (2009). Optimality conditions and a solution scheme for fractional optimal control problems. Structural and Multidisciplinary Optimization, 38, 571–581.
Kaczorek, T. (2011a). Necessary and sufficient stability conditions for fractional positive continuous-time linear systems. Acta Mechanica et Automatica, 5(2), 52–54.
Kaczorek, T. (2011b). Positive stable realizations of fractional continuous-time linear systems. International Journal of Applied Mathematics and Computer Science, 21(4), 697–702.
Kaczorek, T. (2011c). Positivity and rechability of fractional electrical circuits. Acta Mechanica et Automatica, 5(2), 42–51.
Kamocki, R. (2012). Some fractional ordinary and partial control systems and their optimization (in Polish). PhD thesis, University of Lodz, Lodz.
Kilbas, A. A., Srivastava, H. M., & Trujillo, J. J. (2006). Theory and applications of fractional differential equations. Amsterdam: Elsevier.
Langlands, T. A. M. (2006). Solution of a modified fractional diffusion equation. Physica a Statistical Mechanics and its Applications, 367, 136–144.
Lazarevic, M. P. (2004). \(PD^{\alpha }\)-type iterative learning control for fractional LTI system. In Proceedings of international congress of chemical and process engineering, 0359. Praha: Czech Society of Chemical Engineering.
Li, Y., Chen, Y. Q., & Ahn, H.-S. (2011a). Fractional-order iterative learning control for fractional-order linear systems. Asian Journal of Control, 13(1), 1–10.
Li, Y., Chen, Y. Q., & Ahn, H.-S. (2011b). A generalized fractional-order iterative learning control. In Proceedings of IEEE conference on decision and control and European control conference (pp. 5356–5361). New York: IEEE
Li, Y., Chen, Y. Q. & Ahn, H.-S. (2011c). On the \(PD^{\alpha }\)-type iterative learning control for the fractional-order nonlinear systems. In American control conference, San Fransisco, pp. 4320–4325.
Li, Y., Chen, Y. Q., & Ahn, H.-S. (2012). A survey on fractional-order iterative learning control. Journal of Optimization Theory and Applications, 156, 127–140.
Lee, F.-S., Chien, C.-J., & Wang, J.-J. Liu. (2008). Application of a model-based iterative learning technique to tracking control of a piezoelectric system. Asian Journal of Control, 7(1), 29–37.
Machado, A. Tenreiro. (1997). Analysis and design of fractional-order digital control systems. Systems Analysis Modelling Simulation, 27(2–3), 107–122.
Norrlof, M. (2008). Disturbance rejection using an ILC algorithm with iteration varying filters. Asian Journal of Control, 6(3), 432–438.
Oustaloup, A. (1994). La derivation non entiere: Theorie, synthese et applications, Editions Hermes.
Paszke, W., & Bachelier, O. (2013). Robust control with finite frequency specification for uncertain discrete linear repetitive processes. Multidimensional Systems and Signal Processing, 24, 727–745.
Podlubny, I. (1999). Fractional differential equations. New York: Academic Press.
Riewe, F. (1996). Nonconservative Lagrangian and Hamiltonian mechanics. Physical Review E, 53, 1890–1899.
Riewe, F. (1997). Mechanics with fractional derivetives. Physical Review E, 55, 3581–3592.
Rogers, E., Galkowski, K., & Owens, D. H. (2007). Control systems theory and applications for linear repetitive processes. Berlin: Springer.
Sabatier, M., Agrawal, O. P., & Machado, J. A. Tenreiro. (2007). Advances in fractional calculus: Theoretical developments and applications in physics and engineering. Dortrecht: Springer.
Samko, S. G., Kilbas, A. A., & Marichev, O. I. (1993). Fractional integrals and derivatives: Theory and applications. Amsterdam: Gordon and Breach.
Srinivasan, B., & Bonvin, D. (2007). Controllability and stability of repetitive batch processes. Journal of Process Control, 17, 285–295.
Sun, M., & Wang, D. (2008). Higher relative degree nonlinear systems with ILC using lower-order differentiations. Asian Journal of Control, 4(1), 38–48.
Tricaud, C., & Chen, Y. (2010). Time-optimal control of systems with fractional dynamics. International Journal of Differential Equations, 2010. doi:10.1155/2010/461048.
Westerlund, S., & Ekstam, L. (1994). Capacitor theory. IEEE Transactions on Dielectrics and Electrical Insulation, 1(5), 826–839.
Ye, Y., Tayebi, X., & Liu, X. (2009a). All-pass filtering in iterative learning control. Automatica, 45(1), 257–264.
Ye, Y., Wang, D., Zhang, B., & Wang, Y. (2009b). Simple LMI based learning control design. Asian Journal of Control, 11(1), 74–77.
Acknowledgments
The project was financed with funds of National Science Centre, granted on the basis of decision DEC-2011/01/B/ST7/03426.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Idczak, D., Kamocki, R. Fractional differential repetitive processes with Riemann–Liouville and Caputo derivatives. Multidim Syst Sign Process 26, 193–206 (2015). https://doi.org/10.1007/s11045-013-0249-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11045-013-0249-0