- Research
- Open access
- Published:
Mathematical modeling and analysis of fractional-order brushless DC motor
Advances in Difference Equations volume 2021, Article number: 433 (2021)
Abstract
In this paper, we consider a fractional-order model of a brushless DC motor. To develop a mathematical model, we use the concept of the Liouville–Caputo noninteger derivative with the Mittag-Lefler kernel. We find that the fractional-order brushless DC motor system exhibits the character of chaos. For the proposed system, we show the largest exponent to be 0.711625. We calculate the equilibrium points of the model and discuss their local stability. We apply an iterative scheme by using the Laplace transform to find a special solution in this case. By taking into account the rule of trapezoidal product integration we develop two iterative methods to find an approximate solution of the system. We also study the existence and uniqueness of solutions. We take into account the numerical solutions for Caputo Liouville product integration and Atangana–Baleanu Caputo product integration. This scheme has an implicit structure. The numerical simulations indicate that the obtained approximate solutions are in excellent agreement with the expected theoretical results.
1 Introduction
The newly emerging field has many applications to model the real-world phenomena such as electrode–electrolyte, diffusion wave, electromagnetic waves, dielectric polarization, and superdiffusion equations [1–3]. Similarly, a fractional-order system is used to model many complex chaotic behaviors such as noninteger-order gyroscopes [4]. Moreover, fractional-order models are used to model microelectromechanical structures [5]. Also, noninteger-order electronic circuits [6, 7], chaotic communications [8], and authenticated encryption schemes [9] have been modeled by using FDEs.
Moreover, BLDCM has many recompenses over brushed DC motor [10–13] and practiced generally in manufacturing industrial engineering and automation design, for example, ventilations and heating, radio-controlled cars, and motion control systems. Further, BLDCM reveals undesirable chaotic phenomena [11–16]. To find novel means to suppress and control chaos more competently, numerous researchers have paid more and more attention, for instance, to multiple controllers, multiple state variables, and the nonlinear feedback controllers. However, these control strategies require heavy computational efforts and are difficult to use in practice [17, 18].
Fractional calculus has attracted the focus of many researchers in the modern century [19–34]. Solving the problems of fractional order is very complicated. Therefore many approximate methods have been taken into account in recent decades. Despite the range of approaches, innovative concepts are needed in this field. Another important feature of this is the existence of demarcations of the integrals and derivatives, among which the prevalent demarcations are Riemann–Liouville–Caputo [17], Hadamard [35], Hilfer [36], Atangana–Baleanu [37], and Gomez–Atangana [38]. The most valid definition is that of Atangana and Baleanu for fractional derivatives [24, 39–44]. These were demarcated as a convolution integral with a Mittag-Leffler kernel. The presence of this property in the definition makes it a resilient technique to retain the valuable facts of the phenomenon in memory over time. In the recent papers [45–55], various interesting qualitative results for a number of differential equations, fractional differential equations, impulsive differential equations, and so on are obtained, and some related examples are given. The novelty of this paper is that we are pioneers to use this latest technique on this model. The system is closely resembling to the Lorenz attractor. The simulations of the first example show the butterfly effect.
In this paper, we introduce BLDCM model of noninteger order, which displays the chaotic behavior too. The maximum Lyapunov exponent and chaotic attractors are found by numerical calculation. Next, we consider two numerical schemes for the stabilization of noninteger-order chaotic BLDCMs. We carry out numerical imitations to present authenticity, validity, and feasibility of the developed schemes.
2 Preliminaries
The noninteger derivative of function \(h(t)\) using the Riemann–Liouville operator is defined as
The Laplace transform of the Caputo derivative is given by
The noninteger derivative of a function \(h(t)\) using the Liouville–Caputo operator is defined as [20]
The Laplace transform of the Caputo derivative is given by
A new significant fractional Atangana–Baleanu Caputo derivative (FABC) was discussed in [38]:
where \(Z(\tau _{1})\) is a normalization function, and \(Z(0)=1=Z(1)\). We can observe from the structure of this functional operator that the Mittag-Leffler fraction is applied. As we can see, in the system of this fractional operator the fraction of Mittag-Leffler is used, as this would make the definition have both nonsingular and nonlocal kernel properties, and \(E_{\tau _{1}}\) denotes the one-parameter Mittag-Leffler function expressed in terms of power series:
The Mittag-Leffler function in two parameters has the following form:
where \(\tau _{1}\) and \(\tau _{2}\) are arbitrary complex numbers. When \(\tau _{1}>0\) and \(\tau _{2}=1\), \(E_{\tau _{1} }(z)=E_{\tau _{1},1} (z)\).
3 Mathematical model
The mathematical exemplary of brushless DC motor (BLDCM) [13, 18] with no loading conditions is given by
The discrete axis current is denoted by \(u_{d}\), whereas that quadrant axis current by \(u_{q}\), and the angular velocity of the motor is denoted by \(u_{a}\). Note that \(D_{t} = \frac{d}{dt}\). Here the parameters σ, β, and γ are calculated by the brushless DC motor type, and these are positive in nature. It was demonstrated that the structure (8) is chaotic when the parameters are
For the numerical simulation of the chaotic framework (8), we have taken (9) and the initial conditions as \(u_{d} (0)=10\), \(u_{q} (0)=10\), and \(u_{a} (0)=10\).
The FBLDCM system in Liouville–Caputo sense is
and, in the ABC sense, it is
where \(0<\tau \le 1\) is the noninteger order.
4 Chaotic system properties
In this segment, we dissect the chaotic framework (10) and detail its essential properties similar to dissipativity, equilibria, Lyapunov exponents, and Kaplan–Yorke dimension.
4.1 Dissipativity
In vector notation, we may communicate the framework (10) as follows:
where
Let Ω be any set in \(R^{3}\) with smooth boundary, and, moreover, let \(\Omega (t)=\Phi _{t} (\Omega )\), where \(\Phi _{t}\) is the flow of \(f=(f_{1},f_{2},f_{3})\).
Besides, let \(V(t)\) denote the volume of \(\Omega (t)\). Then by Liouville’s theorem we have
It is easy to see the divergence of the chaotic structure (10) as
where
as σ and γ are positive parameters. So the structure is dissipative. Substituting (15) into (14), we obtain
To get the solution of (17), we need the following lemma.
Lemma 1
([56])
Let \(u(t)\) be a continuous function on \([t_{0}, \infty ]\), Suppose that
where \(0 < \chi < 1\), \((\lambda ,\mu )\in R^{2}\), \(\lambda \neq 0\), and \(t_{0} \ge 0\) is the initial time. Then its elucidation has the arrangement
where \(E_{\chi } [z]\) is the Mittag-Leffler function with parameter χ.
According to this lemma, we can say that the structure (10) is chaotic. Therefore the structure limit sets are eventually restricted into a specific limit set of zero volume, and the asymptotic motion of the chaotic structure (10) settles down onto an eccentric attractor of the framework.
5 Equilibrium points
The steadiness points of the chaotic structure (10) are achieved by deciphering the following system of equations:
We obtain three equilibrium points of systems (10) and (11):
The Jacobian of systems (10) and (11) at \(u^{*}\) is given by
The Jacobian matrix at \(E_{0}\) is obtained as follows:
where \(p_{1}=1+\gamma \), \(p_{2}=\gamma -\beta \gamma \).
So the three eigenvalues are
By the Routh–Hurwitz criteria the first root is \(\lambda _{1}=-\sigma \), whereas the other two can be obtained from \(\lambda ^{2}+p_{1} \lambda +p_{2}=0\). Since the equation is quadratic in nature, for stability, the Routh–Hurwitz norms show that all the coefficients of the quadratic structure should be nonnegative. If \(p_{2} > 0\), then the threshold parameter \(R_{0}\) is less than 1. So
Since all the parameters are nonnegative and all the terms in \(p_{1}\) are positive, we have \(p_{1} > 0\). Then the Routh–Hurwitz norms ensure that \(E_{0}\) is locally asymptotically stable if \(\beta <1\).
The Jacobian matrix at \(E_{1}\) is
Definition 1
([57])
The discriminant of a polynomial \(R(\lambda )= \lambda ^{3} +c_{1} \lambda ^{2} + c_{2} \lambda + c_{3}\) is defined as
The auxiliary equation of structure (14) about \(E_{1}\) is
where
Theorem 1
For \(R_{0}>1\) in structure (3), the equilibrium point \(E_{1}\) is asymptotically stable if
or
where \(D(p)\), \(c_{1}\), \(c_{2}\), and \(c_{3}\) are defined in (23) and (25).
Proof
For \(D(p) > 0\), \(c_{1} c_{2} > c_{3}\); then \(c_{1} > 0\) and \(c_{3} > 0\), via the Routh–Hurwitz norms. Then \(|arg (\lambda )|> \frac{q\pi }{2}\), and the under observed system will be locally asymptotically stable about \(E_{1}\). It is clear from that \(c_{1} > 0\), \(c_{2} > 0\), and \(c_{1} c_{2} > c_{3}\). Then the states for stability of the noninteger order framework are satisfied [24], and so \(E_{1}\) is locally asymptotically stable.
The Jacobian matrix at \(E_{2}\) is
The characteristic equation of (28) is given by (24) and (25). So \(E_{1}\) and \(E_{2}\) are stable when \(R_{0}>1\). □
6 Lyapunov exponents and Kaplan–Yorke dimension
For the selected values (9), the Lyapunov exponents of the framework (8) are obtained via Matlab as
Since the spectrum of Lyapunov exponents (29) has a positive term \(L_{1}\), it follows that the 3D system (8) is chaotic. The maximal Lyapunov exponent (MLE) of the framework (8) is \(L_{1}=0.711625\). We accomplish that our 3D structure (8) is a highly chaotic framework. It can be observed from equation (9) that the totality of the Lyapunov exponents is not positive. This shows that structure (8) is dissipative. Moreover, the Kaplan–Yorke dimension of (8) is deliberated as
which is fractional. See Fig. 1.
7 Brushless DC motor model using Liouville–Caputo noninteger derivative
Here the approximated result of the problem is calculated using the iterative process. This approach uses the Laplace transform and its inverse.
The Liouville–Caputo noninteger-order brushless DC motor exemplary is defined in equation (10). The model initial conditions are
After applying the Laplace transform to all sides of the Liouville–Caputo derivative specified by Eq. (3), we have [20]
The following iterative scheme is obtained by applying the Laplace transform to Eq. (31) and then applying the inverse Laplace transform to all sides of (10):
with initial conditions (30).
The approximate solution is considered in the limit as n tends to infinity:
8 Stability study of equation (10)
Assume that there are three affirmative number A, B, and C such that for all \(0\le t \le T \le \infty \), \(\| u_{d}(t)\| < A \), \(\| u_{q}(t)\| < B \), and \(\| u_{a}(t)\| < C \). Now we define
Now let us define the operator
Then
where
Now by the properties of the norm and absolute value we get
where
with
In view of a given nonzero vector \((u_{d},u_{q},u_{a} )\), by a similar routine as before we get
The iterative scheme stability can be observed by considering equations (38) and (40).
9 Uniqueness and existence
Let ϒ be bounded closed convex subset of a Banach space Ϝ. Let \(\mu : \Upsilon \rightarrow \Upsilon \) be a condensing map, where Ϝ has a fixed point in ϒ. We are interested in the IVP (initial value problem) on the cylinder \(\delta ={(t,m)\in R \times \digamma :t \in [0,T],x \in \Upsilon (0, \Omega )}\) for some fixed \(T>0\) and \(\Omega >0\) and suppose that there exist \(\delta \in (0,\zeta )\), \(u_{d}\), \(u_{q}\), \(u_{a}\), \(L_{1} \in L_{1/\delta } ([0,T],R^{+} )\), and the functions \(u_{d,0}\), \(u_{q,0}\), \(u_{a,0}\in \subset (R,\digamma )\cap L_{\mathrm{loc}}^{1} (R,\digamma )\) such that \(u_{d,0}+u_{d,1}=u_{d}\), \(u_{q,0}+u_{q,1}=u_{q}\), and \(u_{a,0}+u_{a,1}=u_{a}\) and the following conditions are satisfied:
1. \(u_{d,0}\), \(u_{q,0}\), and \(u_{a,0}\) are bounded and Lipschitz.
2. \(u_{d,1}\), \(u_{q,1}\), and \(u_{a,1}\) are compact and bounded.
3. \(|R(t,n)-R(t,z)| \le L_{1} (t)\| n-z \| \) for all \((t,n),(t,z)\in R\).
Applying the Riemann–Liouville integral [58] to all sides of equation (10), we get the following system of integral equations:
Theorem 2
Based on Hypotheses 1 and 2, the IVP has at least one elucidation in the interval [0,T] according to the condition
where \(M=\zeta -\nabla \) and \(\Upsilon =(\frac{1-\nabla }{\zeta -\nabla })^{1-\nabla }\).
Proof
Considering X such that \(\alpha(0)+1/(\Gamma(\tau)) v (\| Z_{1} \|_{1/\nabla}+\| Z_{2} \|_{1/\nabla} ) T^{M} \le X\) and suppose that \(\Upsilon_{\epsilon}={n:\| n \| \le X}\), the closed ball in the Banach space \(([0,T],\digamma)\) with \(\sup \| \cdot \|\).
Now, we consider \(n:\Upsilon_{X}\rightarrow\) a Banach space \(([0,T],\digamma)\), \(n \rightarrow n(u_{d,0}+u_{d,1})\) along with
Now we proved that \(u_{d}\), \(u_{q}\), and \(u_{a}\) are condensing, and we can demonstrate the presence of a fixed point of \(u_{d}\), \(u_{q}\), and \(u_{a}\).
1. We need to prove that \(u_{d} (\Upsilon _{\epsilon })\subset \Upsilon _{\epsilon }\). From \(n \in \Upsilon _{\epsilon }\) we have
Similarly, we have
and therefore \(u_{d} (\Upsilon _{\epsilon })\), \(u_{q} (\Upsilon _{\epsilon })\), \(u_{a} ( \Upsilon _{\epsilon })\subset \Upsilon _{\epsilon }\).
2. We need to prove that \(u_{d,0}\), \(u_{q,0}\), and \(u_{a,0}\) are contractions. For \(n,z\in \Upsilon _{\epsilon }\), we have
where
The overhead equation proves that \(u_{d,0}\), \(u_{q,0}\), and \(u_{a,0}\) are contractions such that \(\| u_{d,0} (n)-u_{d,1} (n) \| \le \Phi _{1} \| n-z \| \), \(\| u_{q,0} (n)-u_{q,1} (n) \| \le \Phi _{2} \| n-z \| \), and \(\| u_{a,0} (n)-u_{a,1} (n) \| \le \Phi _{3} \| n-z \| \).
3. We need to prove that \(u_{d,1}\), \(u_{q,1}\), and \(u_{a,1}\) are compact. For \(0 \le l_{1}\le l_{2} \le T\), we have
Following the same procedure, we get
By the Arzelà–Ascoli principle [59] we infer that \(u(d,1) (\Upsilon _{\varsigma } )\), \(u(q,1) (\Upsilon _{\varsigma } )\), and \(u(a,1) (\Upsilon _{\varsigma })\) are relatively compact, which infers that \(u_{d,1}\), \(u_{q,1}\), and \(u_{a,1}\) are compact.
Then \(u_{d,1}\), \(u_{q,1}\), and \(u_{a,1}\) are compact, and \(u_{d,0}\), \(u_{q,0}\) and \(u_{a,0}\) are contractions and hence completely continuous [60], so the maps \(u_{d,0}+u_{d,1}=u_{d}\), \(u_{q,0}+u_{q,1}=u_{q}\), and \(u_{a,0}+u_{a,1}=u_{a}\) are condensing on \(\Upsilon _{\varsigma }\), and thus we have the existence of fixed points of \(u_{d}\), \(u_{q}\), and \(u_{a}\).
4. We want to verify that the assumed IVP has the elucidation on the real interval \([0,T]\). For this, we are interested in Hypothesis 3, condition (47), and the map W specified by
For \(u_{d,0}\), \(u_{d,1}\), \(u_{q,0}\), \(u_{q,1}\), \(u_{a,0}\), \(u_{a,1} \in \Upsilon _{\varsigma }\), we get
Following the same procedure, we have
In the above cases, condition (47) is ensured. Thus the existence of the particular elucidation for the exemplary is verified. □
10 The proposed numerical technique for equation (10)
Here we take into account an important numerical arrangement, which is based on the special rule, called PI rule [61], for the solution of the Liouville–Caputo noninteger model (10).
Let us consider the Liouville–Caputo noninteger initial value problem
along with the initial condition \(U(t_{0} )=U_{0}\), where \(H(t,U(t))\) is continuous.
Applying the integral operator (6) to all sides of equation (52) and utilizing the definition of the noninteger LC integral, we have the integral equation
which is a Volterra integral equation obtained by an integral operator applied to equation (52) utilizing the definition of the Caputo noninteger integral.
Taking \(t=t_{n}=n h\) in (53), where h is the step size, we get
Now we can estimate the function \(H(\zeta ,U(\zeta ))\) with the help of the first-order Lagrange interpolation:
The following Liouville–Caputo product-integration (LC-PI) formula is obtained by substituting (55) into (54) along with certain algebraic manipulations [62]:
where
We use the well-known Newton–Raphson iterative method to evaluate \(U_{n}\) in equation (56). During the process, discrete convolutions are tested by considering the algorithm of the fast Fourier transform. One of the returns of this technique is the low computing cost, which is directly proportional to \(O(N \log ^{2} N)\) subject to \(O(N^{2})\) as in some other prevalent discretization. The core concept was suggested in [63] and included in some recent papers [64–66].
11 Numerical implementations for LC-PI method on equation (10)
This section is devoted to numerical imitations for the time-fractional brushless DC motor (10) in the Liouville–Caputo sense. Let us consider the numerical arrangements (56) and (57) to system (10):
Example 1
Taking the iterative arrangement (58), we consider the following values of the parameters [13, 18]: \(\sigma =0.875\), \(\beta =55\), and \(\gamma =4\) with initial conditions \(u_{d} (0)=10\), \(u_{q} (0)=10\), and \(u_{a} (0)=10\). See Fig. 2.
Example 2
Taking the iterative arrangement (58), we consider the following values of the parameters: \(\sigma =0.875\), \(\beta =25\), and \(\gamma =42\) with initial conditions \(u_{d} (0)=20\), \(u_{q} (0)=20\), and \(u_{a} (0)=20\). See Fig. 3.
Example 3
Taking the iterative arrangement (58), we consider the following values of the parameters: \(\sigma =1.25\), \(\beta =25\), and \(\gamma =42\) with initial conditions \(u_{d} (0)=12\), \(u_{q} (0)=4\), and \(u_{a} (0)=3\). See Fig. 4.
Example 4
Taking the iterative arrangement (58), we consider the following values of the parameters: \(\sigma =0.875\), \(\beta =0.786\), and \(\gamma =4\) with the initial conditions \(u_{d} (0)=10\), \(u_{q} (0)=10\), and \(u_{a} (0)=10\). See Fig. 5.
12 Brushless DC motor model via AB–Caputo fractional derivative
The AB–Caputo fractional order brushless DC motor model is defined by equation (11). We will use it with the initial conditions given in (30).
12.1 Existence and uniqueness of elucidation of model (11) for the ABC-PI method
Using the noninteger integral operator of Atangana-Baleanu in equation (3), we have
Let the kernels of system (59) be defined as
First of all, we show that the kernels \(K_{1}\), \(K_{2}\), and \(K_{3}\) satisfy the Lipschitz condition.
Theorem 3
The kernels given in equation (60) satisfy the Lipschitz condition and contraction for \(0 \le \eta _{i} < 1\), \(i=1,2,3\).
Proof
Consider the first equation from (60) and let \(u_{d}\) and \(u_{d,1}\) be two functions. Then
where \(\eta _{1}=\sigma \), that is,
which shows that the Lipschitz condition holds for \(K_{1}\). Besides, if \(0\le \eta _{1}<1\), then it also a contraction for \(K_{1}\). Similarly, we obtain
Now let \(l=K(m)\times m\), and let \(K(m)\) be a Banach space of real-valued functions \(R \rightarrow R\) on m with the norm \(\| u_{d}, u_{q}, u_{a} \| =\| u_{d} \| + \| u_{q} \| +\| u_{a} \| \), where \(\| u_{d} \| = \sup \vert u_{d}(t)\vert :t \in m)\), \(\| u_{q} \| = \sup \vert u_{q}(t)\vert :t \in m)\), and \(\| u_{a} \| = \sup \vert u_{a}(t)\vert :t \in m)\). Equation (11) can be written in the Volterra-type integral form as follows:
Equation (63) can be written as
The recursive formula of equation (64) takes the following form:
where \(u_{d} (0)\), \(u_{q} (0)\), and \(u_{a} (0)\ge 0\).
Let the difference between successive components of system (65) be denoted by \(W(n,i)\), \(i=1,2,3\). Then from system (65) and the kernel equations satisfying the Lipschitz condition we have
or
Using consequences (67), we can confirm the existence of the solution. □
Theorem 4
Model (11) has a unique solution if
Proof
For the first equation in (11), let \(u_{d} (t)\) and \(u_{d,1} (t)\) be two solutions. Then
This implies
which implies that
Applying the same procedure to the remaining equations of (11), we obtain
Thus the uniqueness of the fractional-order model is verified. □
13 The proposed numerical technique for Eq. (11)
This section is devoted to the numerical scheme, which is based on the rule [61], to solve the noninteger model (11). Let us consider ABC initial value problem of fractional (noninteger) order.
Let us consider the Liouville–Caputo noninteger initial value problem
with initial condition \(U(t_{0} )=U_{0}\), where \(H(t,U(t))\) is a continuous function. Applying the integral operator to all sides of equation (68) and the concept of ABC noninteger integral, we get the following Volterra integral equation:
Taking \(t=t_{n}=n h\) in (69), where h is the step size, we get
Now we can approximate the function \(H(\zeta ,U(\zeta ))\) with the help of the first-order Lagrange interpolation:
where \(U_{i}=U(t_{i})\). Replacing (71) in (70) with some algebraic manipulations, we get the following ABC product-integration (ABCPI) formula [67]:
where
The convergence order for the ABCPI rule is \(\tau +1\), that is, the inaccuracy satisfies \(\vert U(t_{n})-U_{n} \vert = O(h^{1+\tau })\) [40, 67–70]. Note that we use discrete convolutions during the run of this process, which are assessed by considering the algorithm of FFT. It has the benefit that the computational cost is proportional to \(O(N \log ^{2} N)\) subject to \(O(N^{2})\) as in any other prevalent discretization algorithm (see [26] and references therein).
14 Numerical implementation for ABC-PI method on equation (11)
The following recursive formulas are obtained by applying the computational algorithm (72)–(73) to system (11):
Example 5
Taking the iterative arrangement (74), we consider the following values of the parameters [13, 18]: \(\sigma =0.875\), \(\beta =55\), and \(\gamma =4\) with initial conditions \(u_{d} (0)=10\), \(u_{q} (0)=10\), and \(u_{a} (0)=10\). See Fig. 6.
Example 6
Taking the iterative arrangement (74), we consider the following values of the parameters: \(\sigma =0.875\), \(\beta =25\), and \(\gamma =42\) with initial conditions \(u_{d} (0)=20\), \(u_{q} (0)=20\), and \(u_{a} (0)=20\). See Fig. 7.
Example 7
Taking the iterative arrangement (74), we consider the following values of the parameters: \(\sigma =1.25\), \(\beta =25\), and \(\gamma =42\) with initial conditions \(u_{d} (0)=12\), \(u_{q} (0)=4\), and \(u_{a} (0)=3\). See Fig. 8.
Example 8
Taking the iterative arrangement (74), we consider the following values of the parameters: \(\sigma =0.875\), \(\beta =0.786\), and \(\gamma =4\) with initial conditions \(u_{d} (0)=10\), \(u_{q} (0)=10\), and \(u_{a} (0)=10\). See Fig. 9.
15 Discussion and outcomes
In Example 1 or 5 of LC-PI and ABCPI, the parameters used are \(\sigma =0.875\), \(\beta =55\), and \(\gamma =4\). The simulations of both numerical techniques are shown in Figs. 2(a–g) and 6(a–g). The system under observation converges to two equilibrium points \(E_{1}\) and \(E_{2}\) for different values of fractional order τ. The simulations 2(a) and 6(a) for \(u_{d}\) reveal that the system is chaotic for \(\tau =1\), and it is not an attractor, but when the fractional order lowers down by 5%, the simulations indicate that the system becomes an attractor and converges to the equilibrium point \(E_{1}\). The simulations 2(b), 2(c), 6(b), and 6(c) for \(u_{q}\) and \(u_{a}\) reveal that the system is chaotic for \(\tau =1\), for the fractional orders \(\tau =0.95\) and \(\tau =0.90\), the system converges to \(E_{2}\) but for \(\tau =0.85\), the system converges to the other equilibrium point \(E_{1}\). Also, these equilibrium points can easily be identified from 3D plots and 2D phase plots. These plots show that the DC motor system exhibits the butterfly effect.
In Example 2 or 6 of LC-PI and ABCPI, the parameters used are \(\sigma =0.875\), \(\beta =25\), and \(\gamma =42\). The simulations of both numerical techniques are shown in Figs. 3(a–g) and 7(a–g). The simulations 3(a) and 7(a) for \(u_{d}\) reveal that the system is not chaotic for \(\tau =1, 0.95, 0.90\), and 0.85, and the system is an attractor and converges to the equilibrium point \(E_{1}\). The simulations 3(b), 3(c), 7(b), and 7(c) for \(u_{q}\) and \(u_{a}\) reveal that the system converges to two equilibrium points \(E_{1}\) and \(E_{2}\). These equilibrium points can easily be seen in 3D and 2D phase plots. These plots show that the DC motor system exhibits two wing simulations.
In Example 3 or 7 of LC-PI and ABCPI, the parameters used are \(\sigma =1.25\), \(\beta =25\), and \(\gamma =42\). The simulations of both numerical methods are shown in Figs. 4(a–g) and 8(a–g). The fractional system (10)–(11) converges to one equilibrium point, that is, \(E_{1}=(\beta -1,\sqrt{\sigma (\beta -1)},\sqrt{\sigma (\beta -1)} )\) for different values of noninteger order τ. Figure 4(d–g) and 8(d–g) show the 2D and 3D effects, which are in spiral shape and converge to \(E_{1}\).
In Example 4 or 8 of LC-PI and ABCPI, the parameters used are \(\sigma =0.875\), \(\beta =0.786\), and \(\gamma =4\). The simulations of both numerical methods are given in Figs. 5(a–g) and 9(a–g). The fractional system (10)–(11) converges to one equilibrium point \(E_{0}\) for all values of noninteger order τ. Here \(E_{0}\) is the trivial equilibrium point.
16 Conclusion
In this paper, we considered two iterative techniques, the Caputo–Liouville product integration (CL-PI) and Atangana–Baleanu–Caputo product integration (ABCPI) rules for solving brushless DC motor model. The noninteger definitions of Liouville–Caputo and Atangana–Baleanu types are taken into account to model the proposed system. Moreover, kernels considered in such classes of operators are the Mittag-Leffler and power-law functions, respectively. Next, the order of the noninteger derivative discussed in both operators has a very important part in the outcomes attained from the corresponding methods. The numerical consequences and theoretical considerations are compared to infer that both derivatives are very favorable tools to analyze the exemplary. The equilibrium analysis of the system is discussed, which is useful to confirm the numerical imitations. The operators used and the techniques offered in this paper can be used to solve many other problems. The future research direction is to use the ABCPI technique in image processing and stochastic differential equations.
Availability of data and materials
All of the authors declare that there is no data for the numerical simulation section.
References
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Chen, L.P., He, Y.G., Chai, Y., Wu, R.C.: New results on stability and stabilization of a class of nonlinear fractional-order systems. Nonlinear Dyn. 75, 633 (2014)
Aghababa, M.P., Aghababa, H.P.: The rich dynamics of fractional-order gyros applying a fractional controller. Proc. Inst. Mech. Eng., Part I, J. Syst. Control Eng. 227, 588 (2013)
Aghababa, M.P.: Chaos in a fractional-order micro-electro-mechanical resonator and its suppression. Chin. Phys. B 21, 100505 (2012)
Hartley, T.T., Lorenzo, C.F., Qammer, H.K.: Chaos in a fractional order Chua’s system. IEEE Trans. Circuits Syst. I, Regul. Pap. 42, 485 (1995)
Jia, H.Y., Chen, Z.Q., Qi, G.Y.: Chaotic characteristics analysis and circuit implementation for a fractional-order system. IEEE Trans. Circuits Syst. I, Regul. Pap. 61, 845 (2014)
Kiani, B.A., Fallahi, K., Pariz, N., Leung, H.: A chaotic secure communication scheme using fractional chaotic systems based on an extended fractional Kalman filter. Commun. Nonlinear Sci. Numer. Simul. 14, 863 (2009)
Muthukumar, P., Balasubramaniam, P., Ratnavelu, K.: Synchronization of a novel fractional order stretch-twist-fold (STF) flow chaotic system and its application to a new authenticated encryption scheme (AES). Nonlinear Dyn. 77, 1547 (2014)
Hemati, N., Leu, M.C.: A complete model characterization of brushless DC motors. IEEE Trans. Ind. Appl. 28, 172 (1992)
Hemati, N.: Strange attractors in brushless DC motors. IEEE Trans. Circuits Syst. I, Regul. Pap. 41, 40 (1994)
Ge, Z.M., Chang, C.M., Chen, Y.S.: Anti-control of chaos single time scale brushless DC motors and chaos synchronization of different order system. Chaos Solitons Fractals 27, 1298–1315 (2006)
Wei, D.Q., Wan, L., Luo, X.S., Zeng, S.Y., Zhang, B.: Global exponential stabilization for chaotic brushless DC motors with a single input. Nonlinear Dyn. 77, 209 (2014)
Abdel Aty, A.M., Azar, A.T., Vaidyanathan, S., Ouannas, A., Radwan, A.G.: Application of continuous-time fractional order chaotic systems In: Mathematical techniques of fractional order system. Chap. 14 (2018). https://doi.org/10.1016/B978-0-12-813592-1.00014-3
Narmada, R., Arounassalame, M.: Design and performance evaluation of fractional order controller for brushless DC motor. Int. J. Electr. Eng. Inform. 6(3), 606–617 (2014)
Shen, S., Zhou, P.: Synchronization of the fractional order brushless DC motors chaotic system. J. Control Sci. Eng. 2016, 1236210 (2016)
Atangana, A., Qureshi, S.: Modeling attractors of chaotic dynamical systems with fractal-fractional operators. Chaos Solitons Fractals 123, 320–337 (2019)
Zhou, P., Bai, R., Zheng, J.: Stabilization of a fractional-order chaotic brushless DC motor via a single output. Nonlinear Dyn. 82, 519–525 (2015). https://doi.org/10.1007/s11071-015-2172-4
El-Ajou, A., Oqielat, M.N., Al-Zhour, Z., Kumar, S., Momani, S.: Solitary solutions for time-fractional nonlinear dispersive PDEs in the sense of conformable fractional derivative. Chaos 29, 093102 (2019)
Odibat, Z., Kumar, S.: A robust computational algorithm of homotopy asymptotic method for solving systems of fractional differential equations. J. Comput. Nonlinear Dyn. 14(8), 081004 (2019)
Kumar, R., Kumar, S.: A new fractional modelling on susceptible-infected recovered equations with constant vaccination rate. Nonlinear Eng. 3(1), 11–19 (2014)
Kumar, S.: A new efficient algorithm to solve non-linear fractional Itô coupled system and its approximate solution. Walailak J. Sci. Technol. 11(12), 1057–1067 (2014)
Gao, W., Ghanbari, B., Baskonus, H.M.: New numerical simulations for some real world problems with Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 128, 34–43 (2019)
Ghanbari, B., Gomez-Aguilar, J.F.: Modeling the dynamics of nutrient phytoplankton-zooplankton system with variable-order fractional derivatives. Chaos Solitons Fractals 116, 114–120 (2018)
Allahviranloo, T., Ghanbari, B.: On the fuzzy fractional differential equation with interval Atangana–Baleanu fractional derivative approach. Chaos Solitons Fractals 130, 109397 (2020)
Baba, I.A., Ghanbari, B.: Existence and uniqueness of solution of a fractional order tuberculosis model. Eur. Phys. J. Plus 134(10), 489 (2019)
Jajarmi, A., Ghanbari, B., Baleanu, D.: A new and efficient numerical method for the fractional modelling and optimal control of diabetes and tuberculosis coexistence. Chaos 29, 093111 (2019)
Bonyah, E., Atangana, A., Chand, M.: Analysis of 3D IS-LM macroeconomic system model within the scope of fractional calculus. Chaos Solitons Fractals X 2, 100007 (2019)
Bonyah, E., Khan, M.A., Okosun, K.O., Gomez-Aguilar, J.F.: Modelling the effects of heavy alcohol consumption on the transmission dynamics of gonorrhea with optimal control. Math. Biosci. 309, 1–11 (2019)
Salari, A., Ghanbari, B.: Existence and multiplicity for some boundary value problems involving Caputo and Atangana–Baleanu fractional derivatives: a variational approach. Chaos Solitons Fractals 127, 312–317 (2019)
Atangana, A., Bonyah, E.: Fractional stochastic modeling: new approach to capture more heterogeneity. Chaos 29(1), 013118 (2019)
Qureshi, S., Bonyah, E., Shaikh, A.A.: Classical and contemporary fractional operators for modeling diarrhea transmission dynamics under real statistical data. Physica A 535, 122496 (2019)
Zafar, Z.U.A., Younas, S., Hussain, M.T., Tunc, C.: Fractional aspects of coupled mass-spring system. Chaos Solitons Fractals 144, 110677 (2021)
Zafar, Z.U.A., Ali, N., Zaman, G., Thounthong, P., Tunç, C.: Analysis and numerical simulations of fractional order Vallis system. Alex. Eng. J. 59, 2591–2605 (2021)
Caputo, M., Mainardi, F.: A new dissipation model based on memory mechanism. Pure Appl. Geophys. 91, 134–147 (1971)
Hadamard, J.: Essai sur l’étude des fonctions données par leur développment de Taylor. J. Math. Pures Appl. 8, 101–186 (1892)
Gerolymatou, E., Vardoulakis, I., Hilfer, R.: Modelling infiltration by means of a nonlinear fractional diffusion model. J. Phys. D, Appl. Phys. 39(8), 4104–4110 (2006)
Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and nonsingular kernel: theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)
Atangana, A.: Non validity of index law in fractional calculus: a fractional differential operator with Markovian and non-Markovian properties. Physica A 505, 688–706 (2018)
Ghanbari, B., Atangana, A.: A new application of fractional Atangana–Baleanu derivatives: designing ABC-fractional masks in image processing. Physica A 542, 123516 (2020)
Baleanu, D., Jajarmi, A., Bonyah, E., Hajipour, M.: New aspects of the poor nutrition in the life cycle within the fractional calculus. Adv. Differ. Equ. 2018, 230 (2018)
Baleanu, D., Jajarmi, A., Hajipour, M.: On the nonlinear dynamical systems within the generalized fractional derivatives with Mittag-Lefler kernel. Nonlinear Dyn. 94(1), 397–414 (2018)
Yusuf, A., Qureshi, S., Inc, M., Aliyu, A.I., Baleanu, D., Shaikh, A.A.: Two strain epidemic model involving fractional derivative with Mittag-Lefler kernel. Chaos 28(12), 123121 (2018)
Bonyah, E., Atangana, A., Elsadany, A.A.: A fractional model for predator–prey with omnivore. Chaos 29(1), 013136 (2019)
Slynko, V., Tunç, C.: Stability of abstract linear switched impulsive differential equations. Automatica 107, 433–441 (2019)
Tunç, C., Tunç, O.: A note on certain qualitative properties of a second order linear differential system. Appl. Math. Inf. Sci. 9(2), 953–956 (2015)
Tunç, C.: Stability and bounded of solutions to non-autonomous delay differential equations of third order. Nonlinear Dyn. 62(4), 945–953 (2010)
Tunç, C., Tunç, O., Wang, Y., Yao, J.C.: Qualitative analyses of differential systems with time-varying delays via Lyapunov–Krasovskii approach. Mathematics 9(11), 1196 (2021)
Tunç, C., Tunç, O.: On the stability, integrability and boundedness analyses of systems of integro-differential equations with time-delay retardation. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 15(3), 115 (2021)
Tunç, O., Atan, O., Tunç, C., Yao, J.C.: Qualitative analyses of integro-fractional differential equations with Caputo derivatives and retardations via the Lyapunov–Razumikhin method. Axioms 10(2), 58 (2021). https://doi.org/10.3390/axioms10020058
Tunç, C., Tunç, O., Wang, Y.: Delay-dependent stability, integrability and boundedness criteria for delay differential systems. Axioms 10(3), 138 (2021). https://doi.org/10.3390/axioms10030138
Khan, H., Tunç, C., Khan, A.: Stability results and existence theorems for nonlinear delay-fractional differential equations with \(\phi *p\)-operator. J. Appl. Anal. Comput. 10(2), 584–597 (2020)
Bohner, M., Tunç, O., Tunç, C.: Qualitative analysis of Caputo fractional integro-differential equations with constant delays. Comput. Appl. Math. 40, 214 (2021). https://doi.org/10.1007/s40314-021-01595-3
Graef, J.R., Tunç, C., Şevli, H.: Razumikhin qualitative analyses of Volterra integro-fractional delay differential equation with Caputo derivatives. Commun. Nonlinear Sci. Numer. Simul. (2021). https://doi.org/10.1016/j.cnsns.2021.106037
Tunç, O.: On the behaviors of solutions of systems of non-linear differential equations with multiple constant delays. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 115, 164 (2021). https://doi.org/10.1007/s13398-021-01104-5
Li, H.L., Zhang, L., Hu, C., Jiang, Y.L., Teng, Z.: Dynamical analysis of a fractional order predator–prey model incorporating a prey refuge. J. Appl. Math. Comput. 54, 435–449 (2017)
Ahmed, E., El-Sayed, A.M.A., El-Saka, H.A.A.: On some Routh–Hurwitz conditions for fractional order differential equations and their applications in Lorenz, Rossler, Chua Chen systems. Phys. Lett. A 358, 1–4 (2006)
Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications, vol. 198. Academic Press, New York (1998)
Diethelm, K.: The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type. Springer, Berlin (2010)
Zeidler, E.: Non-linear Functional Analysis and Its Application. Springer, New York (1986)
Young, A.: Approximate product-integration. Proc. R. Soc. Lond. Ser. A 224, 552–561 (1954)
Garrappa, R.: On linear stability of predictor–corrector algorithms for fractional differential equations. Int. J. Comput. Math. 87(10), 2281–2290 (2010)
Hairer, E., Lubich, C., Schlichte, M.: Fast numerical solution of nonlinear Volterra convolution equations. SIAM J. Sci. Stat. Comput. 6(3), 532–541 (1985)
Diethelm, K., Ford, N.J., Freed, A.D.: Detailed error analysis for a fractional Adams method. Numer. Algorithms 36(1), 31–52 (2004)
Popolizio, M.: Numerical solution of multiterm fractional differential equations using the matrix Mittag-Leffler functions. Mathematics 6(1), 7 (2018)
Garrappa, R.: Numerical solution of fractional differential equations: a survey and a software tutorial. Mathematics 6(2), 16 (2018)
Ghanbari, B., Kumar, D.: Numerical solution of predator-prey model with Beddington–DeAngelis functional response and fractional derivatives with Mittag-Leffler kernel. Chaos, Interdiscip. J. Nonlinear Sci. 29, 063103 (2019)
Ghanbari, B., Gomez-Aguilar, J.F.: Analysis of two avian influenza epidemic models involving fractal-fractional derivatives with power and Mittag-Leffler memories. Chaos, Interdiscip. J. Nonlinear Sci. 29, 123113 (2019)
Ghanbari, B., Djilali, S.: Mathematical and numerical analysis of a three-species predator–prey model with herd behavior and time fractional-order derivative. Math. Methods Appl. Sci. 43(4), 1736–1752 (2019)
Ghanbari, B., Atangana, A.: Some new edge detecting techniques based on fractional derivatives with non-local and non-singular kernels. Adv. Differ. Equ. 2020, 435 (2020)
Acknowledgements
The authors are thankful to the editorial board and the anonymous reviewers whose comments improved the quality of the paper.
Funding
This research was not supported by any project.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zafar, Z.U.A., Ali, N. & Tunç, C. Mathematical modeling and analysis of fractional-order brushless DC motor. Adv Differ Equ 2021, 433 (2021). https://doi.org/10.1186/s13662-021-03587-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03587-3