A posteriori error estimates of spectral method for the fractional optimal control problems with non-homogeneous initial conditions

Xingyang Ye; Chuanju Xu; Xingyang Ye; Chuanju Xu

doi:10.3934/math.2021697

AIMS Mathematics

2021, Volume 6, Issue 11: 12028-12050. doi: 10.3934/math.2021697

Previous Article Next Article

Research article Special Issues

A posteriori error estimates of spectral method for the fractional optimal control problems with non-homogeneous initial conditions

Xingyang Ye ¹,
Chuanju Xu ^{2
,
,}

1.
School of Science, Jimei University, 361021 Xiamen, China
2.
School of Mathematical Sciences and Fujian Provincial Key Laboratory of Mathematical Modeling and High Performance Scientific Computing, Xiamen University, 361005 Xiamen, China

Received: 27 May 2021 Accepted: 12 August 2021 Published: 18 August 2021
MSC : 35R11, 49J20, 65K10, 65M32, 65M70, 65N15

In this paper we consider an optimal control problem governed by a space-time fractional diffusion equation with non-homogeneous initial conditions. A spectral method is proposed to discretize the problem in both time and space directions. The contribution of the paper is threefold: (1) A discussion and better understanding of the initial conditions for fractional differential equations with Riemann-Liouville and Caputo derivatives are presented. (2) A posteriori error estimates are obtained for both the state and the control approximations. (3) Numerical experiments are performed to verify that the obtained a posteriori error estimates are reliable.

Keywords:

Citation: Xingyang Ye, Chuanju Xu. A posteriori error estimates of spectral method for the fractional optimal control problems with non-homogeneous initial conditions[J]. AIMS Mathematics, 2021, 6(11): 12028-12050. doi: 10.3934/math.2021697

Related Papers:

[1]	P. Pirmohabbati, A. H. Refahi Sheikhani, H. Saberi Najafi, A. Abdolahzadeh Ziabari . Numerical solution of full fractional Duffing equations with Cubic-Quintic-Heptic nonlinearities. AIMS Mathematics, 2020, 5(2): 1621-1641. doi: 10.3934/math.2020110
[2]	SAIRA, Wenxiu Ma, Suliman Khan . An efficient numerical method for highly oscillatory logarithmic-algebraic singular integrals. AIMS Mathematics, 2025, 10(3): 4899-4914. doi: 10.3934/math.2025224
[3]	Kai Wang, Guicang Zhang . Curve construction based on quartic Bernstein-like basis. AIMS Mathematics, 2020, 5(5): 5344-5363. doi: 10.3934/math.2020343
[4]	Taher S. Hassan, Amir Abdel Menaem, Hasan Nihal Zaidi, Khalid Alenzi, Bassant M. El-Matary . Improved Kneser-type oscillation criterion for half-linear dynamic equations on time scales. AIMS Mathematics, 2024, 9(10): 29425-29438. doi: 10.3934/math.20241426
[5]	Dexin Meng . Wronskian-type determinant solutions of the nonlocal derivative nonlinear Schrödinger equation. AIMS Mathematics, 2025, 10(2): 2652-2667. doi: 10.3934/math.2025124
[6]	Samia BiBi, Md Yushalify Misro, Muhammad Abbas . Smooth path planning via cubic GHT-Bézier spiral curves based on shortest distance, bending energy and curvature variation energy. AIMS Mathematics, 2021, 6(8): 8625-8641. doi: 10.3934/math.2021501
[7]	Chunli Li, Wenchang Chu . Remarkable series concerning $\binom{3n}{n}$ and harmonic numbers in numerators. AIMS Mathematics, 2024, 9(7): 17234-17258. doi: 10.3934/math.2024837
[8]	Beatriz Campos, Alicia Cordero, Juan R. Torregrosa, Pura Vindel . Dynamical analysis of an iterative method with memory on a family of third-degree polynomials. AIMS Mathematics, 2022, 7(4): 6445-6466. doi: 10.3934/math.2022359
[9]	A. Palanisamy, J. Alzabut, V. Muthulakshmi, S. S. Santra, K. Nonlaopon . Oscillation results for a fractional partial differential system with damping and forcing terms. AIMS Mathematics, 2023, 8(2): 4261-4279. doi: 10.3934/math.2023212
[10]	Tongzhu Li, Ruiyang Lin . Classification of Möbius homogeneous curves in $\mathbb{R}^4$ . AIMS Mathematics, 2024, 9(8): 23027-23046. doi: 10.3934/math.20241119

Abstract

1. Introduction

We consider the following family of nonlinear oscillators

$\begin{equation} y_{zz}+k(y)y_{z}^{3}+h(y)y_{z}^{2}+f(y)y_{z}+g(y) = 0, \end{equation}$

(1.1)

where $k$ , $h$ , $f\neq0$ and $g\neq0$ are arbitrary sufficiently smooth functions. Particular members of (1.1) are used for the description of various processes in physics, mechanics and so on and they also appear as invariant reductions of nonlinear partial differential equations ^[1,2,3].

Integrability of (1.1) was studied in a number of works ^{[4,5,6,7,8,9,10,11,12,13,14,15,16]}. In particular, in ^[15] linearization of (1.1) via the following generalized nonlocal transformations

$\begin{equation} w = F(y), \quad d\zeta = (G_{1}(y)y_{z}+G_{2}(y))dz. \end{equation}$

(1.2)

was considered. However, equivalence problems with respect to transformations (1.2) for (1.1) and its integrable nonlinear subcases have not been studied previously. Therefore, in this work we deal with the equivalence problem for (1.1) and its integrable subcase from the Painlevé-Gambier classification. Namely, we construct an equivalence criterion for (1.1) and a non-canonical form of Ince Ⅶ equation ^[17,18]. As a result, we obtain two new integrable subfamilies of (1.1). What is more, we demonstrate that for any equation from (1.1) that satisfy one of these equivalence criteria one can construct an autonomous first integral in the parametric form. Notice that we use Ince Ⅶ equation because it is one of the simplest integrable members of (1.1) with known general solution and known classification of invariant curves.

Moreover, we show that transformations (1.2) preserve autonomous invariant curves for equations from (1.1). Since the considered non-canonical form of Ince Ⅶ equation admits two irreducible polynomial invariant curves, we obtain that any equation from (1.1), which is equivalent to it, also admits two invariant curves. These invariant curves can be used for constructing an integrating factor for equations from (1.1) that are equivalent to Ince Ⅶ equation. If this integrating factor is Darboux one, then the corresponding equation is Liouvillian integrable ^[19]. This demonstrates the connection between nonlocal equivalence approach and Darboux integrability theory and its generalizations, which has been recently discussed for a less general class of nonlocal transformations in ^[20,21,22].

The rest of this work is organized as follows. In the next Section we present an equivalence criterion for (1.1) and a non-canonical form of the Ince Ⅶ equation. In addition, we show how to construct an autonomous first integral for an equation from (1.1) satisfying this equivalence criterion. We also demonstrate that transformations (1.2) preserve autonomous invariant curves for (1.1). In Section 3 we provide two examples of integrable equations from (1.1) and construct their parametric first integrals, invariant curves and integrating factors. In the last Section we briefly discuss and summarize our results.

2. Main results

We begin with the equivalence criterion between (1.1) and a non-canonical form of the Ince Ⅶ equation, that is ^[17,18]

$\begin{equation} w_{\zeta\zeta}+3w_{\zeta}+\epsilon w^{3}+2w = 0. \end{equation}$

(2.1)

Here $\epsilon\neq0$ is an arbitrary parameter, which can be set, without loss of generality, to be equal to $\pm 1$ .

The general solution of (1.1) is

$\begin{equation} w = {\rm e}^{-(\zeta-\zeta_{0})}\rm{cn}\left\{\sqrt{\epsilon}({\rm e}^{-(\zeta-\zeta_{0})}-C_{1}),\frac{1}{\sqrt{2}}\right\}. \end{equation}$

(2.2)

Here $\zeta_{0}$ and $C_{1}$ are arbitrary constants and $\rm{cn}$ is the Jacobian elliptic cosine. Expression (2.2) will be used below for constructing autonomous parametric first integrals for members of (1.1).

The equivalence criterion between (1.1) and (2.1) can be formulated as follows:

Theorem 2.1. Equation (1.1) is equivalent to (2.1) if and only if either

$\begin{equation} \begin{gathered} (I)\quad 25515lgp^{2}q_{y}+2352980l^{10}+\left(3430q-6667920p^{3}\right) l^{5}\\ -14580qp^{3}-10q^{2}-76545lgqpp_{y} = 0, \end{gathered} \end{equation}$

(2.3)

$\begin{equation} \begin{gathered} (II)\quad 343l^{5}-972p^{3} = 0, \end{gathered} \end{equation}$

(2.4)

holds. Here

$\begin{equation} \begin{gathered} l = 9(fg_{y}-gf_{y}+fgh-3kg^{2})-2f^{3}, \quad p = gl_{y}-3lg_{y}+l(f^{2}-3gh),\\ q = 25515g_{y}lp^{2}-5103lgpp_{y}+686l^{5}-8505p^{2}\left( f^{2}-3gh \right) l+6561p^{3}. \end{gathered} \end{equation}$

(2.5)

The expression for $G_{2}$ in each case is either

$\begin{equation} (I) \quad G_{2} = \frac {126 l^{2}qp^{2}}{470596 l^{10}- \left( 1333584 p^{3}+1372 q \right) l^{5}+q^{2}}, \end{equation}$

(2.6)

$\begin{equation} (II) \quad G_{2}^{2} = -\frac{49l^{3}G_{2}+9p^{2}}{189pl}. \end{equation}$

(2.7)

In all cases the functions $F$ and $G_{1}$ are given by

$\begin{equation} F^{2} = \frac{l}{81\epsilon G_{2}^{3}}, \quad G_{1} = \frac{G_{2}(f-3G_{2})}{3g}. \end{equation}$

(2.8)

Proof. We begin with the necessary conditions. Substituting (1.2) into (2.1) we get

$\begin{equation} y_{zz}+k(y)y_{z}^{3}+h(y)y_{z}^{2}+f(y)y_{z}+g(y) = 0, \end{equation}$

(2.9)

where

$\begin{equation} \begin{gathered} k = \frac{FG_{1}^{3}(\epsilon F^{2}+2)+3G_{1}^{2}F_{y}+G_{1}F_{yy}-F_{y}G_{1,y}}{G_{2}F_{y}}, \\ h = \frac{G_{2}F_{yy}+(6G_{1}G_{2}-G_{2,y})F_{y}+3FG_{2}G_{1}^{2}(\epsilon F^{2}+2)}{G_{2}F_{y}},\\ f = \frac{3G_{2}(F_{y}+FG_{1}(\epsilon F^{2}+2))}{F_{y}}, \quad g = \frac{FG_{2}^{2}(\epsilon F^{2}+2)}{F_{y}}. \end{gathered} \end{equation}$

(2.10)

As a consequence, we obtain that (1.1) can be transformed into (2.1) if it is of the form (2.9) (or (1.1)).

Conversely, if the functions $F$ , $G_{1}$ and $G_{2}$ satisfy (2.10) for some values of $k$ , $h$ , $f$ and $g$ , then (1.1) can be mapped into (2.1) via (1.2). Thus, we see that the compatibility conditions for (2.10) as an overdertmined system of equations for $F$ , $G_{1}$ and $G_{2}$ result in the necessary and sufficient conditions for (1.1) to be equivalent to (2.1) via (1.2).

To obtain the compatibility conditions, we simplify system (2.10) as follows. Using the last two equations from (2.10) we find the expression for $G_{1}$ given in (2.8). Then, with the help of this relation, from (2.10) we find that

$\begin{equation} 81\epsilon F^{2}G_{2}^{3}-l = 0, \end{equation}$

(2.11)

and

$\begin{equation} \begin{gathered} 567lG_{2}^{3}+(243lgh-81lf^{2}-81gl_{y}+243lg_{y})G_{2}-7l^{2} = 0,\\ 243lgG_{2,y}+324lG_{2}^{3}-81gl_{y}G_{2}+2l^{2} = 0, \end{gathered} \end{equation}$

(2.12)

Here $l$ is given by (2.5).

As a result, we need to find compatibility conditions only for (2.12). In order to find the generic case of this compatibility conditions, we differentiate the first equation twice and find the expression for $G_{2}^{2}$ and condition (2.3). Differentiating the first equation from (2.12) for the third time, we obtain (2.6). Further differentiation does not lead to any new compatibility conditions. Particular case (2.4) can be treated in the similar way.

Finally, we remark that the cases of $l = 0$ , $p = 0$ and $q = 0$ result in the degeneration of transformations (1.2). This completes the proof.

As an immediate corollary of Theorem 2.1 we get

Corollary 2.1. If coefficients of an equation from (1.1) satisfy either (2.3) or (2.4), then an autonomous first integral of this equation can be presented in the parametric form as follows:

$\begin{equation} y = F^{-1}(w), \quad y_{z} = \frac{G_{2}w_{\zeta}}{F_{y}-G_{1}w_{\zeta}}\,. \end{equation}$

(2.13)

Here $w$ is the general solution of (2.1) given by (2.2). Notice also that, formally, (2.13) contains two arbitrary constants, namely $\zeta_{0}$ and $C_{1}$ . However, without loss of generality, one of them can be set equal to zero.

Now we demonstrate that transformations (1.2) preserve autonomous invariant curves for equations from (1.1).

First, we need to introduce the definition of an invariant curve for (1.1). We recall that Eq (1.1) can be transformed into an equivalent dynamical system

$\begin{equation} y_{z} = P, \quad u_{z} = Q, \quad P = u, \quad Q = -k u^{3}-h u^{2}-f u -g. \end{equation}$

(2.14)

A smooth function $H(y, u)$ is called an invariant curve of (2.14) (or, equivalently, of (1.1)), if it is a nontrivial solution of ^[19]

$\begin{equation} PH_{y}+QH_{u} = \lambda H, \end{equation}$

(2.15)

for some value of the function $\lambda$ , which is called the cofactor of $H$ .

Second, we need to introduce the equation that is equivalent to (1.1) via (1.2). Substituting (1.2) into (1.1) we get

$\begin{equation} w_{\zeta\zeta}+\tilde{k}w_{\zeta}^{3}+\tilde{h}w_{\zeta}^{2}+\tilde{f}w_{\zeta}+\tilde{g} = 0, \end{equation}$

(2.16)

where

$\begin{equation} \begin{gathered} \tilde{k} = \frac{kG_{2}^{3}-gG_{1}^{3}+(G_{1,y}-hG_{1})G_{2}^{2}+(fG_{1}-G_{2,y})G_{1}G_{2}}{F_{y}^{2}G_{2}^{2}},\\ \tilde{h} = \frac{(hF_{y}-F_{yy})G_{2}^{2}-(2fG_{1}-G_{2,y})G_{2}F_{y}+3gG_{1}^{2}F_{y}}{F_{y}^{2}G_{2}^{2}},\\ \tilde{f} = \frac{fG_{2}-3gG_{1}}{G_{2}^{2}}, \quad \tilde{g} = \frac{gF_{y}}{G_{2}^{2}}. \end{gathered} \end{equation}$

(2.17)

An invariant curve for (2.16) can be defined in the same way as that for (1.1). Notice that, further, we will denote $w_{\zeta}$ as $v$ .

Theorem 2.2. Suppose that either (1.1) possess an invariant curve $H(y, u)$ with the cofactor $\lambda(y, u)$ or (2.16) possess an invariant curve $\widetilde{H}(w, v)$ with the cofactor $\tilde{\lambda}(w, v)$ . Then, the other equation also has an invariant curve and the corresponding invariant curves and cofactors are connected via

$\begin{equation} \begin{gathered} H(y,u) = \widetilde{H}\left(F,\frac{F_{y}u}{G_{1}u+G_{2}}\right), \quad \lambda(y,u) = (G_{1}u+G_{2})\tilde{\lambda}\left(F,\frac{F_{y}u}{G_{1}u+G_{2}}\right). \end{gathered} \end{equation}$

(2.18)

Proof. Suppose that $\widetilde{H}(w, v)$ is an invariant curve for (2.16) with the cofactor $\widetilde{\lambda}(w, v)$ . Then it satisfies

$\begin{equation} v\widetilde{H}_{w}+(-\tilde{k} v^{3}-\tilde{h} v^{2}-\tilde{f} v -\tilde{g})\widetilde{H}_{v} = \widetilde{\lambda}\widetilde{H}. \end{equation}$

(2.19)

Substituting (1.2) into (2.19) we get

$\begin{equation} uH_{y}+(-k u^{3}-h u^{2}-f u-g)H = (G_{1}u+G_{2}) \tilde{\lambda}\left(F,\frac{F_{y}u}{G_{1}u+G_{2}}\right) H . \end{equation}$

(2.20)

This completes the proof.

As an immediate consequence of Theorem 2.2 we have that transformations (1.2) preserve autonomous first integrals admitted by members of (1.1), since they are invariant curves with zero cofactors.

Another corollary of Theorem 2.2 is that any equation from (1.1) that is connected to (2.1) admits two invariant curves that correspond to irreducible polynomial invariant curves of (2.1). This invariant curves of (2.1) and the corresponding cofactors are the following (see, ^[23] formulas (3.18) and (3.19) taking into account scaling transformations)

$\begin{equation} \widetilde{H} = \pm i \sqrt{-2\epsilon}(v+w)+w^{2}, \quad \tilde{\lambda} = \pm \sqrt{-2\epsilon}w-2. \end{equation}$

(2.21)

Therefore, we have that the following statement holds:

Corollary 2.2. If coefficients of an equation from (1.1) satisfy either (2.3) or (2.4), then is admits the following invariant curves with the corresponding cofactors

$\begin{equation} H = \pm i \sqrt{-2\epsilon}\left(\frac{F_{y}u}{G_{1}u+G_{2}}+F\right)+F^{2}, \quad \lambda = \left(G_{1}u+G_{2}\right)\left(\pm \sqrt{-2\epsilon}F-2\right). \end{equation}$

(2.22)

Let us remark that connections between (2.1) and non-autonomous variants of (1.1) can be considered via a non-autonomous generalization of transformations (1.2). However, one of two nonlocally related equations should be autonomous since otherwise nonlocal transformations do not map a differential equation into a differential equation ^[5].

In this Section we have obtained the equivalence criterion between (1.1) and (2.1), that defines two new completely integrable subfamilies of (1.1). We have also demonstrated that members of these subfamilies posses an autonomous parametric first integral and two autonomous invariant curves.

3. Examples

In this Section we provide two examples of integrable equations from (1.1) satisfying integrability conditions from Theorem 2.1.

Example 1. One can show that the coefficients of the following cubic oscillator

$\begin{equation} y_{zz}-\frac{12\epsilon \mu y}{(\epsilon \mu^{2}y^{4}+2)^{2}}y_{z}^{3}-6\mu y y_{z}+2\mu^{2}y^{3}(\epsilon\mu^{2}y^{4}+2) = 0, \end{equation}$

(3.1)

satisfy condition (2.3) from Theorem 2.1. Consequently, Eq (3.1) is completely integrable and its general solution can be obtained from (2.2) by inverting transformations (1.2). However, it is more convenient to use Corollary 2.1 and present the autonomous first integral of (3.1) in the parametric form as follows:

$\begin{equation} y = \pm\sqrt{\frac{w}{\mu}}, \quad y_{z} = \frac{w(\epsilon w^{2}+2) w_{\zeta}}{2w_{\zeta}+w(\epsilon w^{2}+2)}, \end{equation}$

(3.2)

where $w$ is given by (2.2), $\zeta$ is considered as a parameter and $\zeta_{0}$ , without loss of generality, can be set equal to zero. As a result, we see that (3.1) is integrable since it has an autonomous first integral.

Moreover, using Corollary 2.2 one can find invariant curves admitted by (3.1)

$\begin{equation} \begin{gathered} H_{1,2} = \frac{y^{4}\left[(\sqrt{2}\pm \sqrt{-\epsilon}\mu y^{2})^{2}(\sqrt{2}\mp\sqrt{-\epsilon}\mu y^{2})+2(\epsilon\mu y^{2}\mp\sqrt{-2\epsilon})u\right]}{2\mu^{2}y^{2}(\epsilon\mu^{2}y^{4}+2)-4u},\\ \lambda_{1,2} = \pm\frac{2(\mu y^{2}(\epsilon\mu^{2}y^{4}+2)-2u)(\sqrt{-2\epsilon}\mu y^{2}\mp 2)}{y(\epsilon\mu^{2}y^{4}+2)} \end{gathered} \end{equation}$

(3.3)

With the help of the standard technique of the Darboux integrability theory ^[19], it is easy to find the corresponding Darboux integrating factor of (3.1)

$\begin{equation} M = \frac{(\epsilon \mu^{2}y^{4}+2)^{\frac{9}{4}}}{(2\epsilon u^{2}+(\epsilon\mu^{2}y^{4}+2)^{2})^{\frac{3}{4}}(\mu y^{2}(\epsilon \mu^{2}y^{4}+2)-2u)^{\frac{3}{2}}}. \end{equation}$

(3.4)

Consequently, equation is (3.1) Liouvillian integrable.

Example 2. Consider the Liénard (1, 9) equation

$\begin{equation} y_{zz}+(b_{i}y^{i}){y_{z}}+a_{j}y^{j} = 0, \quad i = 0,\ldots 4, \quad j = 0,\ldots,9. \end{equation}$

(3.5)

Here summation over repeated indices is assumed. One can show that this equation is equivalent to (2.1) if it is of the form

$\begin{equation} y_{zz}-9(y+\mu)(y+3\mu)^{3}y_{z}+2y(2y+3\mu)(y+3\mu)^{7} = 0, \end{equation}$

(3.6)

where $\mu$ is an arbitrary constant.

With the help of Corollary 2.1 one can present the first integral of (3.6) in the parametric form as follows:

$\begin{equation} y = \frac{3\sqrt{-2\epsilon}\mu w}{2-\sqrt{-2\epsilon}w}, \quad y_{z} = \frac{7776 \sqrt{2} \epsilon \mu^{5} w w_{\zeta}}{(\sqrt{-2\epsilon}w-2)^{5}(2\sqrt{-\epsilon}w_{\zeta}+(\sqrt{2}\epsilon w +2\sqrt{-\epsilon})w)}, \end{equation}$

(3.7)

where $w$ is given by (2.2). Thus, one can see that (3.5) is completely integrable due to the existence of this parametric autonomous first integral.

Using Corollary 2.2 we find two invariant curves of (3.6):

$\begin{equation} H_{1} = \frac{y^{2}[(2y+3\mu)(y+3\mu)^{4}-2u)]}{(y+3\mu)^{2}[(y+3\mu)^{4}y-u]}, \quad \lambda_{1} = \frac{6\mu(u-y(y+3\mu)^{4})}{y(y+3\mu)}, \end{equation}$

(3.8)

and

$\begin{equation} H_{2} = \frac{y^{2}(y+3\mu)^{2}}{y(y+3\mu)^{4}-u}, \quad \lambda_{2} = \frac{2(2y+3\mu)(u-2y(y+3\mu)^{4})}{y(y+3\mu)}. \end{equation}$

(3.9)

The corresponding Darboux integrating factor is

$\begin{equation} M = \left[y(y+3\mu)^{4}-u\right]^{-\frac{3}{2}}\left[(2y+3\mu)(y+3\mu)^{4}-2u\right]^{-\frac{3}{4}}. \end{equation}$

(3.10)

As a consequence, we see that Eq (3.6) is Liouvillian integrable.

Therefore, we see that equations considered in Examples 1 and 2 are completely integrable from two points of view. First, they possess autonomous parametric first integrals. Second, they have Darboux integrating factors.

4. Conclusions and discussion

In this work we have considered the equivalence problem between family of Eqs (1.1) and its integrable member (2.1), with equivalence transformations given by generalized nonlocal transformations (1.2). We construct the corresponding equivalence criterion in the explicit form, which leads to two new integrable subfamilies of (1.1). We have demonstrated that one can explicitly construct a parametric autonomous first integral for each equation that is equivalent to (2.1) via (1.2). We have also shown that transformations (1.2) preserve autonomous invariant curves for (1.1). As a consequence, we have obtained that equations from the obtained integrable subfamilies posses two autonomous invariant curves, which corresponds to the irreducible polynomial invariant curves of (2.1). This fact demonstrate a connection between nonlocal equivalence approach and Darboux and Liouvillian integrability approach. We have illustrate our results by two examples of integrable equations from (1.1).

Acknowledgments

The author was partially supported by Russian Science Foundation grant 19-71-10003.

Conflict of interest

The author declares no conflict of interest in this paper.

References

[1]	I. Podlubny, Fractional differential equations, Academic press, 1999.
[2]	K. Miller, B. Ross, An introduction to the fractional calculus and fractional differential equations, Wiley, 1993.
[3]	K. Diethelm, The analysis of fractional differential equations: An application-oriented exposition using differential operators of Caputo type, Springer, 2010.
[4]	G. M. Mophou, Optimal control of fractional diffusion equation, Comput. Math. Appl., 61 (2011), 68–78. doi: 10.1016/j.camwa.2010.10.030
[5]	G. M. Mophou, G. M. N'Guérékata, Optimal control of a fractional diffusion equation with state constraints, Comput. Math. Appl., 62 (2011), 1413–1426. doi: 10.1016/j.camwa.2011.04.044
[6]	H. Antil, E. Otárola, A. J. Salgado, A fractional space-time optimal control problem: Analysis and discretization, SIAM J. Control Optim., 54 (2016), 1295–1328. doi: 10.1137/15M1014991
[7]	H. Antil, E. Otárola, An a posteriori error analysis for an optimal control problem involving the fractional Laplacian, IMA J. Numer. Anal., 38 (2018), 198–226. doi: 10.1093/imanum/drx005
[8]	H. Antil, E. Otárola, A. J. Salgado, Optimization with respect to order in a fractional diffusion model: Analysis, approximation and algorithmic aspects, J. Sci. Comput., 77 (2018), 204–224. doi: 10.1007/s10915-018-0703-0
[9]	M. D'Elia, C. Glusa, E. Otárola, A priori error estimates for the optimal control of the integral fractional Laplacian, SIAM J. Control Optim., 57 (2019), 2775–2798. doi: 10.1137/18M1219989
[10]	L. Zhang, Z. Zhou, Spectral Galerkin approximation of optimal control problem governed by Riesz fractional differential equation, Appl. Numer. Math., 143 (2019), 247–262. doi: 10.1016/j.apnum.2019.04.003
[11]	C. Glusa, E. Otárola, Error estimates for the optimal control of a parabolic fractional PDE, SIAM J. Numer. Anal., 59 (2021), 1140–1165. doi: 10.1137/19M1267581
[12]	E. Otárola, Fractional semilinear optimal control: Optimality conditions, convergence, and error analysis, arXiv: 2007.13848, 2020.
[13]	P. Mu, L. Wang, C. Liu, A control parameterization method to solve the fractional-order optimal control problem, J. Optimiz. Theory App., 187 (2020), 234–247. doi: 10.1007/s10957-017-1163-7
[14]	Z. Gong, C. Liu, K. L. Teo, S. Wang, Y. Wu, Numerical solution of free final time fractional optimal control problems, Appl. Math. Comput., 405 (2021), 126270.
[15]	W. Li, S. Wang, V. Rehbock, Numerical solution of fractional optimal control, J. OptimIZ. Theory App., 180 (2019), 556–573. doi: 10.1007/s10957-018-1418-y
[16]	X. Ye, C. Xu, Spectral optimization methods for the time fractional diffusion inverse problem, Numer. Math. Theory Me., 6 (2013), 499–519. doi: 10.4208/nmtma.2013.1207nm
[17]	X. Ye, C. Xu, A spectral method for optimal control problem governed by the abnormal diffusion equation with integral constraint on the state, Sci. Sin. Math., 46 (2016), 1053–1070.
[18]	N. Du, H. Wang, W. Liu, A fast gradient projection method for a constrained fractional optimal control J. Sci. Comput., 68 (2016), 1-20. doi: 10.1007/s10915-015-0125-1
[19]	S. Wu, T. Huang, A fast second-order parareal solver for fractional optimal control problems, J. Vib. Control, 24 (2018), 3418–3433. doi: 10.1177/1077546317705557
[20]	X. Ye, C. Xu, A spectral method for optimal control problems governed by the time fractional diffusion equation with control constraints, In: Spectral and high order methods for partial differential equations-ICOSAHOM 2012, 2014,403–414.
[21]	X. Ye, C. Xu, A space-time spectral method for the time fractional diffusion optimal control problems, Adv. Differ. Equ., 2015 (2015), 1–20. doi: 10.1186/s13662-014-0331-4
[22]	S. S. Ezz-Eldien, E. H. Doha, D. Baleanu, A. H. Bhrawy, A numerical approach based on Legendre orthonormal polynomials for numerical solutions of fractional optimal control problems, J. Vib. Control, 23 (2017), 16–30. doi: 10.1177/1077546315573916
[23]	M. A. Zaky, A. Mahmoud, A Legendre collocation method for distributed-order fractional optimal control problems, Nonlinear Dynam., 91 (2018), 2667–2681. doi: 10.1007/s11071-017-4038-4
[24]	H. Antil, D. Verma, M. Warma, External optimal control of fractional parabolic PDEs, ESAIM Contr. Optim. Ca., 26 (2020), 1–33. doi: 10.1051/cocv/2019005
[25]	F. Wang, Z. Zhang, Z. Zhou, A spectral Galerkin approximation of optimal control problem governed by fractional advection-diffusion-reaction equations, J. Comput. Appl. Math., 386 (2021), 113233. doi: 10.1016/j.cam.2020.113233
[26]	E. Otárola, An adaptive finite element method for the sparse optimal control of fractional diffusion, Numer. Meth. Part. D. E., 36 (2020), 302–328. doi: 10.1002/num.22429
[27]	X. Ye, C. Xu, A posteriori error estimates for the fractional optimal control problems, J. Inequal. Appl., 2015 (2015), 1–13. doi: 10.1186/1029-242X-2015-1
[28]	X. Li, C. Xu, The existence and uniqueness of the week solution of the space-time fractional diffusion equation and a spectral method approximation, Commun. Comput. Phys., 8 (2010), 1016–1051. doi: 10.4208/cicp.020709.221209a
[29]	J. L. Lions, Optimal control of systems governed by partial differential equations, Berlin: Springer-Verlag, 1971.
[30]	Y. P. Chen, Y. J. Lin, A posteriori error estimates for hp finite element solutions of convex optimal control problems, J. Comput. Appl. Math., 235 (2011), 3435–3454. doi: 10.1016/j.cam.2011.02.004
[31]	Y. Maday, Analysis of spectral projectors in one-dimensional domains, Math. Comput., 55 (1990), 537–562. doi: 10.1090/S0025-5718-1990-1035939-1
[32]	C. Canuto, M. Y. Hussaini, A. Quarteroni, T. A. Zang, Spectral methods: Fundamentals in single domains, Berlin: Springer-Verlag, 2006.
[33]	A. Quarteroni, A. Valli, Numerical approximation of partial differential equations, Berlin: Springer-Verlag, 1994.

This article has been cited by:

1.	Dmitry I. Sinelshchikov, Linearizabiliy and Lax representations for cubic autonomous and non-autonomous nonlinear oscillators, 2023, 01672789, 133721, 10.1016/j.physd.2023.133721
2.	Jaume Giné, Xavier Santallusia, Integrability via algebraic changes of variables, 2024, 184, 09600779, 115026, 10.1016/j.chaos.2024.115026
3.	Meryem Belattar, Rachid Cheurfa, Ahmed Bendjeddou, Paulo Santana, A class of nonlinear oscillators with non-autonomous first integrals and algebraic limit cycles, 2023, 14173875, 1, 10.14232/ejqtde.2023.1.50
4.	Jaume Giné, Dmitry Sinelshchikov, Integrability of Oscillators and Transcendental Invariant Curves, 2025, 24, 1575-5460, 10.1007/s12346-024-01182-x

Reader Comments

Your name:*

Email:*
© 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)