Research Article | Open Access
Oluwaseun Olumide Okundalaye, Wan Ainun Mior Othman, "A New Optimal Homotopy Asymptotic Method for Fractional Optimal Control Problems", International Journal of Differential Equations, vol. 2021, Article ID 6633130, 10 pages, 2021. https://doi.org/10.1155/2021/6633130
A New Optimal Homotopy Asymptotic Method for Fractional Optimal Control Problems
Solving fractional optimal control problems (FOCPs) with an approximate analytical method has been widely studied by many authors, but to guarantee the convergence of the series solution has been a challenge. We solved this by integrating the Galerkin method of optimization technique into the whole region of the governing equations for accurate optimal values of control-convergence parameters . The arbitrary-order derivative is in the conformable fractional derivative sense. We use Euler–Lagrange equation form of necessary optimality conditions for FOCPs, and the arising fractional differential equations (FDEs) are solved by optimal homotopy asymptotic method (OHAM). The OHAM technique speedily provides the convergent approximate analytical solution as the arbitrary order derivative approaches 1. The convergence of the method is discussed, and its effectiveness is verified by some illustrative test examples.
The general definition of an optimal control problem necessitates minimization of an objective function of the states and control inputs of the system over a set of admissible control functions. The optimal control problems emerge naturally in different areas of science, engineering, and economics. Several significant works have been done in the area of optimal control of integer order derivative dynamic systems: the optimal control design for the hyperchaotic Chen system , an optimal control of time-varying and state time-delay systems using shooting method , a CasADi software for nonlinear optimal control problem , direct and simultaneous approach for constrained mixed-integer optimal control , a tailored algorithm for mixed integer nonlinear optimal control model of hybrid electric vehicles , and many more.
The arbitrary order of fractional derivative equations (FDEs) from fractional calculus has contributed a substantial part to mathematics, engineering, and different area of sciences. The previous studies review that arbitrary order derivatives provide more exact models of several engineering control systems and show the behaviour, performance, and mathematical representation of the dynamic systems in sciences than traditional calculus, for example, the positioning of satellite in space is a model using fractional order because traditional calculus is better equipped to capture the memory-like effect observed in the system. Fractional calculus applications are but not limited to liquid-containing gas bubbles , neurodynamics system , the FOCPs with a general derivative operator , a new adaptive synchronization and hyperchaos control of a biological snap oscillator , a new mathematical model for Zika virus transmission , the fractional features of a harmonic oscillator with position-dependent mass , electrohydrodynamic flow in a cylindrical conduit , fractional order of HIV infection model , and novel solution methods for IBVPs of arbitrary-order with conformable differentiation . Many areas of FDEs have been researched by many authors: the multistage ADM for solving NLP problems over a nonlinear fractional dynamical system , the existence of the solution to FOCPs , stable analytical techniques for solving FDEs , Caputo–Fabrizio operator sense for brucellosis model , and spectral collocation method of generalized fractional operator sense for fractional calculus equations . Currently, to obtain exact solutions for FOCPs is still difficult and remain a challenge. But where there is not an exact solution, appropriate approximate analytical solution (AAS) is suitable and applicable. A recent approximate analytical methods are: modified ADM for fractional optimal control problems (FOCPs) , optimal control of a constrained fractionally damped elastic beam , analyses of an optimal solutions of optimization problems from fractional gradient based system using VIM , conformable fractional optimal control problem of an heat conduction equations using Laplace and finite Fourier sine transforms , spectral Galerkin approximation , and direct transcription methods for FOCPs , but the aforementioned methods lack convergence norm that will guarantee the convergence of the series solution. In 1992, Liao proposed the homotopy analysis method (HAM)  for solving the nonlinear problem which was later advanced to optimal homotopy asymptotic method for noninteger order , new fractional homotopy method for optimal control problems (OCPs) , and comparisons of OHAM . But OHAM has never been used to solve FOCPs, which drives this research work. We extend the work of (Alizadeh Effati, 2018a), who proposed a fractional optimal control problem with an approximate analysis solution that lacks convergence norm. We provided the solution using OHAM with an optimization technique of the Galerkin method. It is hoped that the simplicity of this formulation will initiate a new interest in the area of fractional order optimal control problems. Our focus in this paper is to widen the application of the OHAM to FOCPs. The formulation, numerical scheme, and approximate analytical results for FOCPs presented in this paper are attempts to fill this gap.
We arrange the paper as follows. In Section 2, a brief introduction to the fractional calculus and the necessary optimality conditions are discussed. In Section 3, we formulate OHAM with FOCPs and show the convergence analysis of the technique. We present numerical examples and results in Section 4. Finally, in Section 5, we present the conclusion.
2. Fractional Calculus
The definition of conformable fractional derivative (CFD) preserves many properties of classical order derivatives . Some features that we will adopt are as follows.
Definition 1. The (left) FD starting from a function of order is defined byWhen , we write . If exists on , then . The (right) FD of order ending at b of is defined byIf exists on , then .
Note that if is differentiable, then and .
Notation. . When , we write . Similarly, in the right case, we have . The operators and are called conformable fractional integrals of left and right order .
Lemma 1. Assume that is continuous and . Then, for all , we have
In the right case, we can similarly prove the following.
Lemma 2. Assume that is continuous and . Then, , we have
2.1. Necessary Optimality Condition
We define optimal control problems as a minimization of a performance index (PI) subject to system dynamic constraints on the state variable and control variable . The necessary optimality condition helps reduce OCPs to a system of integer order ODE. The general formulation of Caputo and Riemann–Liouville derivatives is with OCPs . Using the above definition equations (1) and (2), we present an Euler–Lagrange equation form for FOCPs under some consideration as follows.
Find the optimal control that minimizes the performance index:subject to the system dynamic constraintsand the initial conditionwhere F and G are two arbitrary functions and is the conformable fractional derivative . Some additional terms containing may be included in equation (6) at the endpoint. When , the problem above reduces to a integer OCPs . Here, we take the limits of integration from 0 to 1 and consider . According to , the necessary equations are obtained through the combination of equations (5) and (6) and using a Lagrange multiplier approach. The variants of the resultant is taken, which is followed by using integration by parts to revise the equation so that it does not contain variants of a derivative term, enforce the necessary terminal conditions, and set the coefficients of , , and to zero. We haveand
Where is the Lagrange multiplier. The details of the derivation of equations (8)–(11) are seen in . The Euler–Lagrange equations for FOCP equations (6) and (7) represent the necessary conditions for the optimality of FOCP. The difference between arbitrary and integer OCP is that the arbitrary order FOCP consists of the left and the right FD. Examine that equation (8) contains left conformable derivative, whereas equation (9) contains the right conformable derivative. This demonstrates that the solution of OCP requires the insight of not only forward derivatives (FD) but also backward derivatives (BD) to account for end conditions. In integer-order OCP theories, this issue is either not addressed or not highlighted. This is broad because the BD of order 1 turns out to be negative of the FD of order 1. It can be shown that, in the , equations (8)–(10) goes back to those obtained using standard methods.
3. The Formulation of OHAM with FOCPs
We exemplify the basic concept of the OHAM by considering the following general FDEs system:with initial conditionswhere is the conformable fractional derivative, is a linear operator, is a nonlinear operator, t is an independent variable, is unknown function, is the problem domain, and is a known function. According to OHAM, one can construct a homotopy map which satisfies that equation (12) can be constructed using OHAM as where embedding parameter () is , auxiliary function , unknown function (), and . Definitely, when and , it holds that and , respectively. Thus, as moves from 0 to 1, the solution approaches from to , where initial guess satisfies the linear operator generated from equation (14) for as
is given aswhere can be known later. We get approximate solution by expanding in Taylor’s series in terms of using equation (14) with collections of the coefficient like power of , gives the governing equations in a linear form in equation (15). Then, the problem is given as
The general governing equations for iswhere is the coefficient of , produced by expanding in series relating to
Ifthen is the exact solution. Usually, such a case does not occur. We adopt Galerkin method to find the optimal values as follows:
Minimize the functionalwhere the values of a and b depend on the given problem. With these known , the approximate analytical solution equation (12) is well known.
We calculate the correctness of OHAM by(1)Error norm (2)Error norm
3.1. Convergence Analysis of the Method
Proof. If we assume , for , converges to , thenFrom equation (19), we can writeEquate the RHS of equation (33) with the following equation:If the is chosen properly, then equation (36) leads to the solution of equations (12) and (13)
4. Numerical Example and Results
Example 1. Find the control that minimizes the quadratic performance indexsubject to system dynamicsand the initial conditionThe exact solution for the system for is given aswhereFollowing equations (8)–(11) procedure, we haveUsing OHAM, the solutions for fractional-order are acquired. We choose the linear and nonlinear operators in the following forms:Using homotopy in equation (14),whereSubstituting , and into equations (47) and (48), and equating the coefficient of likes power of , it gives linear FDEs as follows:Using the operator Lemmas 1 and 2 on the above equations with initial condition givesSumming up the solution from equations (58)–(63), the -order approximate analytical method generated by OHAM, for , isWe determine and by using the procedure mentioned in equations (24)–(26).
For ,And, for ,Using the -order approximate analytical solution given in equations (64) and (65), we haveFigure 1 shows the approximate analytical solutions of the state variable and control variable at different values of using OHAM after the order of approximate solution. Table 1 shows the control-convergence parameter at different values of fractional-order for both state and control variables, Table 2 shows comparisons and absolute errors between the proposed method and the exact solution at integer order , and Table 3 shows the optimal values of the cost function and the comparisons between OHAM and VIM. It is observed that OHAM converges to optimal values faster in CPU times and iterations.
Example 2. Considering the following problem of minimising the functionalsubjected to the dynamic constraintsand the initial conditionsThe exact solution for this system for isFor this example, the necessary optimality conditions are as follows:andFollowing the same procedure above, we haveWe determine and by using the procedure mentioned in equations (24)–(26).For ,For ,and Using the -order approximate analytical solution given in equations (83)–(85), we haveFigure 2 shows the approximate analytical solutions of the states variables and and control variable at different values of using OHAM after the order of approximate solution. Tables 4 and 5 show the control-convergence parameter at different values of fractional-order for both states and control variables, Table 6 shows comparisons between OHAM and the exact solution at integer order , Table 7 shows absolute errors between the proposed method and the exact solution at integer order at , and Table 8 shows the optimal values of the cost function and the comparisons between OHAM and VIM. It is observed that OHAM converges to optimal values faster in CPU times and iterations.
In this research article, we examine the effectiveness of the OHAM to generate an accurate approximate analytical solution to FOCPs. We derive the necessary optimal condition and then solve the system of nonlinear FDEs with OHAM. The technique helps provide an accurate approximate analytical solution to the problems. The fractional derivative operator is in the conformable fractional derivative operator sense. We show that Galerkin method helps to determine the optimal values of the control-convergence parameter. It can be seen that the OHAM results corresponded with the exact solution at , which shows the effectiveness of the proposed method to provide an accurate approximate analytical solution. OHAM is used to solve this type of problems for the first time and gave optimal values to the convergence norm challenge for accurate series solution. No existing approximate solution is known to have considered such a nonlinear constrained programming problem with OHAM ahead of this one. OHAM technique is very easy to implement and efficient for solving FOCPs.
No data were used to support this study.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
All authors have equal contributions and they read and approved the final version of the paper.
- S. Effati, H. S. Nik, and A. Jajarmi, “Hyperchaos control of the hyperchaotic chen system by optimal control design,” Nonlinear Dynamics, vol. 73, no. 1-2, pp. 499–508, 2013.
- A. Jajarmi and M. Hajipour, “An efficient recursive shooting method for the optimal control of time-varying systems with state time-delay,” Applied Mathematical Modelling, vol. 40, no. 4, pp. 2756–2769, 2016.
- J. A. E. Andersson, J. Gillis, G. Horn, J. B. Rawlings, and M. Diehl, “CasADi: a software framework for nonlinear optimization and optimal control,” Mathematical Programming Computation, vol. 11, no. 1, pp. 1–36, 2019.
- C. Kirches, F. Lenders, and P. Manns, “Approximation properties and tight bounds for constrained mixed-integer optimal control,” SIAM Journal on Control and Optimization, vol. 58, no. 3, pp. 1371–1402, 2020.
- N. Robuschi, C. Zeile, S. Sager, and F. Braghin, “Multiphase mixed-integer nonlinear optimal control of hybrid electric vehicles,” Automatica, vol. 123, Article ID 109325, 2021.
- A. K. Gupta and S. Saha Ray, “On the solitary wave solution of fractional Kudryashov-Sinelshchikov equation describing nonlinear wave processes in a liquid containing gas bubbles,” Applied Mathematics and Computation, vol. 298, pp. 1–12, 2017.
- Y. Zheng and Z. Zhao, “The discontinuous Galerkin finite element method for fractional cable equation,” Applied Numerical Mathematics, vol. 115, pp. 32–41, 2017.
- A. Jajarmi and D. Baleanu, “On the fractional optimal control problems with a general derivative operator,” Asian Journal of Control, vol. 23, no. 2, pp. 1062–1071, 2019.
- S. S. Sajjadi, D. Baleanu, A. Jajarmi, and H. M. Pirouz, “A new adaptive synchronization and hyperchaos control of a biological snap oscillator,” Chaos, Solitons & Fractals, vol. 138, Article ID 109919, 2020.
- R. Shahram, M. Hakimeh, and J. Amin, “A new mathematical model for Zika virus transmission,” Advances in Difference Equations, vol. 2020, p. 589, 2020.
- D. Baleanu, A. Jajarmi, S. S. Sajjadi, and J. H. Asad, “The fractional features of a harmonic oscillator with position-dependent mass,” Communications in Theoretical Physics, vol. 72, no. 5, p. 055002, 2020.
- S. Thirumalai and R. Seshadri, “Spectral solutions of fractional differential equation modelling electrohydrodynamics flow in a cylindrical conduit,” Communications in Nonlinear Science and Numerical Simulation, vol. 79, Article ID 104931, 2019.
- A. Boukhouima, K. Hattaf, and N. Yousfi, “Dynamics of a fractional order HIV infection model with specific functional response and cure rate,” International Journal of Differential Equations, vol. 2017, Article ID 8372140, 8 pages, 2017.
- M. Yavuz, “Novel solution methods for initial boundary value problems of fractional order with conformable differentiation,” An International Journal of Optimization and Control: Theories & Applications (IJOCTA), vol. 8, no. 1, pp. 1–7, 2017.
- F. Evirgen and N. Özdemir, “Multistage adomian decomposition method for solving NLP problems over a nonlinear fractional dynamical system,” Journal of Computational and Nonlinear Dynamics, vol. 6, no. 2, pp. 1–6, 2011.
- R. Kamocki, “On the existence of optimal solutions to fractional optimal control problems,” Applied Mathematics and Computation, vol. 235, pp. 94–104, 2014.
- X.-J. Yang, M. Abdel-Aty, and C. Cattani, “A new general fractional-order derivataive with Rabotnov fractional-exponential kernel applied to model the anomalous heat transfer,” Thermal Science, vol. 23, no. 3, pp. 1677–1681, 2019.
- O. J. Peter, “Transmission dynamics of fractional order Brucellosis model using caputo–fabrizio operator,” International Journal of Differential Equations, vol. 2020, Article ID 2791380, 11 pages, 2020.
- Q. Xu and Z. Zheng, “Spectral collocation method for fractional differential/integral equations with generalized fractional operator,” International Journal of Differential Equations, vol. 2019, Article ID 3734617, 14 pages, 2019.
- A. Alizadeh and S. Effati, “Modified Adomian decomposition method for solving fractional optimal control problems,” Transactions of the Institute of Measurement and Control, vol. 40, no. 6, pp. 2054–2061, 2018.
- B. B. İ. Eroğlu, D. Avcı, and N. Özdemir, “Constrained optimal control of a fractionally damped elastic beam,” International Journal of Nonlinear Sciences and Numerical Simulation, vol. 21, pp. 389–395, 2020.
- F. Evirgen, “Analyze the optimal solutions of optimization problems by means of fractional gradient based system using VIM,” An International Journal of Optimization and Control: Theories & Applications (IJOCTA), vol. 6, no. 2, pp. 75–83, 2016.
- B. B. İ. Eroğlu, D. Avcı, and N. Özdemir, “Optimal control problem for a conformable fractional heat conduction equation,” Acta Physica Polonica A, vol. 132, no. 3, pp. 658–662, 2017.
- L. Zhang and Z. Zhou, “Spectral Galerkin approximation of optimal control problem governed by Riesz fractional differential equation,” Applied Numerical Mathematics, vol. 143, no. 6, pp. 247–262, 2019.
- A. B. Salati, M. Shamsi, and D. F. M. Torres, “Direct transcription methods based on fractional integral approximation formulas for solving nonlinear fractional optimal control problems,” Communications in Nonlinear Science and Numerical Simulation, vol. 67, pp. 334–350, 2019.
- S. J. Liao, “The proposed homotopy analysis technique for the solution of nonlinear problems,” Shanghai Jiao Tong University, Shanghai, China, 1992, Ph. D. Thesis.
- D. Baleanu, B. Agheli, and R. Darzi, “An optimal method for approximating the delay differential equations of noninteger order,” Advances in Difference Equations, vol. 1, p. 284, 2018.
- B. Pan, Y. Ma, and Y. Ni, “A new fractional homotopy method for solving nonlinear optimal control problems,” Acta Astronautica, vol. 161, pp. 12–23, 2019.
- J. Biazar and R. Montazeri, “Optimal homotopy asymptotic and multistage optimal homotopy asymptotic methods for solving system of volterra integral equations of the second kind,” Journal of Applied Mathematics, vol. 2019, Article ID 3037273, 17 pages, 2019.
- F. Jarad, E. Uğurlu, T. Abdeljawad, and D. Baleanu, “On a new class of fractional operators,” Advances in Difference Equations, vol. 2017, p. 247, 2017.
- M. A. Zaky and J. A. T. Machado, “On the formulation and numerical simulation of distributed-order fractional optimal control problems,” Communications in Nonlinear Science and Numerical Simulation, vol. 52, pp. 177–189, 2017.
- A. Hamdache, S. Saadi, and I. Elmouki, “Free terminal time optimal control problem for the treatment of HIV infection,” An International Journal of Optimization and Control: Theories & Applications (IJOCTA), vol. 6, no. 1, pp. 33–51, 2016.
- O. P. Agrawal, O. Defterli, and D. Baleanu, “Fractional optimal control problems with several state and control variables,” Journal of Vibration and Control, vol. 16, no. 13, pp. 1967–1976, 2010.
Copyright © 2021 Oluwaseun Olumide Okundalaye and Wan Ainun Mior Othman. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.