Journal of Mathematics
Volume 2020 (2020), Article ID 1392705, 5 pages
https://doi.org/10.1155/2020/1392705

Research Article

Stability Analysis of Optimal Trajectory for Nonlinear Optimal Control Problems

Hongyong Deng, Wei Zhang, and Changchun Shen

School of Data Science and Information Engineering, Guizhou Minzu University, Guiyang, Guizhou, China

Correspondence should be addressed to Hongyong Deng; dhycel@vip.163.com

Received 7 June 2020; Accepted 1 August 2020; Published 27 August 2020

Academic Editor: Basil K. Papadopoulos

Copyright © 2020 Hongyong Deng et al. 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.

Abstract.

Due to the need for numerical calculation and mathematical modelling, this paper focuses on the stability of optimal trajectories for optimal control problems. The basic ideas and techniques are based on the compactness of the optimal trajectory set and set-valued mapping theorem. Through lack of optimal control stability, the result of generic stability for optimal trajectories is obtained under the perturbations of the right-hand side functions of the state equations; in the sense of Baire category, the right-hand side functions of the state equations of optimal control can be approximated by other functions.

1. Introduction

Due to the need for numerical calculation and mathematical modelling, we will consider the influence of optimal trajectory with the changing right-hand side functions of the state equations on the approximate functions. There are many experts who have done much work on the stability of the optimal control problem [1–4], and especially in the case of the disturbance of the right-hand side function, the stability of the optimal control is discussed [5–7]. However, in the actual problem, the real decisive factor for the optimal control problem is the stability of the optimal trajectory, and sometimes, the optimal control does not necessarily converge; that is, when the trajectory converges, the corresponding control does not necessarily converge. Therefore, this paper discusses the stability in these cases, focusing on two problems: First, the compactness of the feasible trajectories corresponding to the perturbations of right-hand side functions of the state equations is discussed, and then, the compactness of the optimal trajectories is discussed. Second, the stability of the optimal trajectories set corresponding to the perturbations of the right-hand side functions is discussed.

Consider Bolza problem, Problem P, as follows:

Find an optimal pair such that the cost functional

reaches its minimum at , where the admissible pair are solutions of the following nonlinear controlled system:

Here, and is the set of all admissible pair, and the set of admissible controls is defined by

where is a metric space.

In order to discuss the optimal control problem (P), let us start with some basic assumptions:

 (H1) The terminal time is fixed, and the metric space is compact. (H2) The function is measurable w.r.t. , continuous concerning . There exist such that

 (H3) The function satisfies the following Filippov–Roxin condition:

 The set is convex and closed for almost all and all

 (H4) The function is Borel measurable concerning and continuous concerning , and is continuous.

Under the assumptions and from [8], equation (2) has a unique solution. Also, the solution of equation (2) depends continuously on the right-hand side function and is differentiable concerning initial data.

This paper is organized as follows. In part one, we construct the complete metric space of f satisfied the conditions of (H2-H3) and discuss the compactness of the feasible trajectories set. In part two, we consider the stability of optimal trajectory in sense of Baire category. In the last section, we give an example and conclusion.

2. Compactness of Optimal Trajectory

For the aim to consider the stability of optimal trajectory, first, we need some notions.

Let

For each , define

then we know that space is a complete metric space easily.

Set

Then, the correspondence is a set-valued mapping; for convenience to discuss with the next, we expand the scope of into , where is the set of all feasible trajectories of optimal control problems (P) for each , and we denote the set-valued mapping by .

Now, we consider the properties of feasible trajectories set ; we have the following theorem.

Theorem 1. Suppose assumptions (H1) and (H2) hold, then the feasible trajectories set is relatively compact in .

Proof. By the assumptions of (H1) and (H2), equation (2) has a unique solution for each , and the solution is denoted by . Thanks to the assumption (H2), it follows that

Namely,

This means that the feasible trajectories set is uniformly bounded.
Furthermore, we obtain

Hence,

That is, the feasible trajectories set is equicontinuous.
From (7)–(11), by the Arzela–Ascoli theorem, we prove this theorem.

Theorem 2. If assumptions (H1), (H2), (H3), and (H4) are satisfied, the feasible trajectories set is compact in .

Proof. Let and be the solution of the following equations:

under the assumptions (H1)–(H4) and . Let and assume that

Next, we need to show that .
Assume that

where , and we have . By the Mazur theorem, there exist convex combinations with , such that

By (H2) and (13), we have

Consider

By the Filippov’s Lemma, there exists such that (17) is satisfied, namely,

holds.

3. Stability of Optimal Trajectory

In this section, we discuss the stability of optimal trajectory based Baire category.

Theorem 3. Let (H1)–(H4) hold and for each .

Proof. For any fixed , let , and we have ; by the compactness of , there exists , such that .
By assumption of (H4), we have

Namely, , so is continuous concerning ; since is a compact set, the minimum value of exists. Then, for each .

Theorem 4. Let (H1)–(H4) hold, and is closed for each .

Proof. By the compactness of , next we show that is closed. Take with and with ; first, we need to show .
Due to , for all , we have

and by (H4), we see that

For any fixed in controlled system, we obtain

From the abovementioned equations, for all , the inequality

holds. Namely, and is closed.
Since is closed and is a compact set, we have the following theorem.

Theorem 5. Let (H1)–(H4) hold, and is compact for each .

Theorem 6. Let (H1)–(H4) hold, and then, is upper semicontinuous at each .

Proof. Suppose is not upper semicontinuous; then, there exists open sets , , and , such that some , but ; in fact, by compactness, there exists a subsequence of such that . Since is an open set and , then ; we have that , but , and this contradicts . We proved this theorem.
Hence, the set-valued mapping is compact upper semicontinuous, from the Lemma 4.2 of [6], Definition 3.1 of [5], and Theorem 4.7 of [7], and therefore, we can obtain the theorem of stability.

Theorem 7. There exists a dense residual subset of , such that for any , is stable in the sense of Hausdorff metric.

Remark 1. By Theorem 7, if , the optimal control problem can be approximated in sense of Baire category.

Remark 2. We consider that the cost functional contains implicitly. Namely, the cost functional is , and we need to let

Then, we can transform cost functional into , and the discussion of stability is similar to the problem (P).

4. Example

Consider the optimal problem

subject to the system

where and

where

and .

One can easily show that satisfies hypothesis .

(1) Let . Then, for any ,

 We have . That is,

 where the optimal trajectory

(2)Let , for every ; we have , where

and .

Then,

where the optimal trajectory

Obviously, as and .

5. Conclusions

In this paper, under the condition of the lack of good properties of optimal control, we discuss the compactness of the feasible trajectories set when the right-hand side function of the controlled system is disturbed and give a suitable metric for the space of the right-hand side function. Combined with the given assumptions, the space is a complete metric space. Then, according to the compact upper semicontinuous set-valued mapping, the continuous dependence of the optimal trajectory on the right-hand function and the stability of the cost functional on the right-hand function are obtained in the sense of Baire category.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare no conflicts of interest.

Authors’ Contributions

Conceptualization, methodology, formal analysis, supervision, and original draft preparation were performed by Hongyong Deng. Validation, reviewing, and editing were carried out by Hongyong Deng, Wei Zhang, and Changchun Shen.

Acknowledgments

The authors thank Professor Wei Wei for a benefit discussion on this problem. This work was supported by the Science and Technology Program of Guizhou Province under grant no. [2016]1074; Fund Project of Guizhou University under grant no. YJRCXM[2018]019; and Science and Technology Foundation of Guizhou Province under grant nos. LKM[2013]21 and J[2015]2074.

References

B. T. Kien, “Second-order optimality conditions and solution stability to optimal control problems governed by stationary Navier-Stokes equations,” Acta Mathematica Vietnamica, vol. 44, no. 2, pp. 431–448, 2019.

D. Rocha, C. J. Silva, and D. F. M. Torres, “Stability and optimal control of a delayed HIV model,” Mathematical Methods in the Applied Sciences, vol. 41, no. 6, pp. 2251–2260, 2018.

L. Bonifacius and K. Pieper, “Strong stability of linear parabolic time-optimal control problems,” ESAIM: Control, Optimisation and Calculus of Variations, vol. 25, pp. 1–33, 2019.

Y. Guo and T. Li, “Optimal control and stability analysis of an online game addiction model with two stages,” Mathematical Methods in the Applied Sciences, vol. 2020, pp. 1–18, 2020.

J. Yu, Z.-X. Liu, D.-T. Peng, D.-Y. Xu, and Y.-H. Zhou, “Existence and stability analysis of optimal control,” Optimal Control Applications and Methods, vol. 35, no. 6, pp. 721–729, 2014.

H. Y. Deng and W. Wei, “Existence and stability analysis for nonlinear optimal control problems with 1-mean equicontinuous controls,” Journal of Industrial and Management Optimization, vol. 11, pp. 1049–1422, 2015.

H. Y. Deng and W. Wei, “Stability analysis for optimal control problems governed by semilinear evolution equation,” Advances in Difference Equations, vol. 2015, pp. 1–15, 2015.

Y. Jiongmin and H. Lou, Concise Course of Optimal Control Theory, Higher Education Press, Beijing, China, 2006.