Some Schrödinger-type inequalities for stabilization of discrete linear systems associated with the stationary Schrödinger operator
- Zongcai Jiang^{1}Email author
https://doi.org/10.1186/s13660-016-1180-3
© Jiang 2016
Received: 25 July 2016
Accepted: 19 September 2016
Published: 7 October 2016
Abstract
By applying some Schrödinger-type inequalities developed by Huang (Int. J. Math. 27(2):1650009, 2016), we are concerned with stabilization of discrete linear systems associated with the Schrödinger operator. Our first aim is to prove a state-dependent switching law associated with the Schrödinger operator, which is based on a convex combination. Next, we derive sufficient conditions associated with the Schrödinger operator that guarantee the uniform exponential stability of the system. Finally, we propose a necessary and sufficient condition for the stability of a system with two Schrödinger subsystems.
Keywords
1 Introduction
A switched system is composed of several subsystems and a decision rule that orchestrates switching between these subsystems. Due to their wide existence in engineering applications, this kind of dynamical systems has attracted considerable attention during the past decades. In the real word, many quantities are nonnegative [2–4]. As a special case of switched systems, a switched positive system with all subsystems associated with the Schrödinger operator being positive systems is very common in communication systems associated with the Schrödinger operator, formation flying, and rival mutation treatment system [5].
As we all know, it is necessary to address the stability and stabilization issues for switched positive systems associated with the Schrödinger operator. Generally, the synthesis problem of switched systems associated with the Schrödinger operator primarily concerns on two topics: stabilization by feedback controllers and stabilization by feedback switching law. The former topic is studied mainly based on state feedback or output feedback controller designation [6, 7], whereas the latter topic is proved by feedback switching law [8, 9]. Furthermore, there are many switched systems associated with the Schrödinger operator whose subsystems associated with the Schrödinger operator are not stable in real control systems associated with the Schrödinger operator [1, 10]. To the best of our knowledge, existing stabilization results on switched positive linear systems associated with the Schrödinger operator have little results referring to the state-dependent switching law, which motivates the research of this paper.
This paper investigates the boundary value problems of discrete linear systems associated with the Schrödinger operator in discrete time context, which contain unstable subsystems associated with the Schrödinger operator. The state feedback switching law is designed to guarantee the stabilization of the switched positive linear systems associated with the Schrödinger operator. The result is then applied to systems associated with the Schrödinger operator with two subsystems associated with the Schrödinger operator, and sufficient and necessary condition is also derived. The rest of paper is organized as follows. Section 2 gives introduces some preliminaries. In Section 3, we give the main results. Section 4 concludes this paper.
Throughout the paper, \(\Re^{n}\) and \(\Re^{n\times n}\) represent the vectors of n-tuples of real numbers and the space of \(n\times n\) matrices with real entries, respectively, and \(\mathbb{N}\) is the set of nonnegative integers. For v in \(\Re^{n}\), \(v_{i}\) is the ith component of v. The notation \(v\succ0 \) (⪰0) means that all components of v are positive (nonnegative), that is, \(v_{i}>0 \) (≥0), and \(\overline{\lambda}_{v}\) and \(\underline{\lambda}_{v}\) stand for the maximal and minimal components of v, respectively. For a matrix A in \(\Re^{n\times m}\), \(a_{ij}\) is the element in the ith row of the jth column of A, and \(A\succ0 \) (⪰0) means that all elements of A are positive (nonnegative), that is, \(a_{ij}>0\) (≥0).
2 Preliminaries
Assumption 1
For system (2.1), \(A_{i}\succeq0\) for each \(i\in S\).
Definition 1
A switching signal σ is said to be a state-feedback switching law if it depends on system states and its past value, that is, \(\sigma(t^{+})=\sigma(x(t),\sigma(t^{-}))\) for system (2.1), where \(\sigma(k+1)=\sigma(x(k),\sigma(k-1))\).
Lemma 1
([2])
Lemma 2
- (i)
A is a Schur matrix;
- (ii)
There exists vector \(v\succ0\) in \(\Re^{n}\) with \((A-I)v\prec0\).
Proof
Therefore, if \(0<\lambda< \frac{1}{\sum_{n=3}^{\infty} (q_{n}-q_{2})^{-}1}\wedge q_{2}\), then we have \(E^{1}[e^{\lambda \sigma_{2}}]<\infty\). So \(E^{i}\{e^{\lambda \sigma_{1}}\}<\infty\). It is easy to see that \(p_{ij}(t)\) is exponentially ergodic.
So Lemma 2 is proved. □
For system (2.2), if there exists a vector \(v\succ0\) with \(v\in \Re^{n}\) such that \((A-I_{n})v\prec0\), then \(V=v^{T}x\) is said to be a linear copositive Lyapunov function of system (2.2).
Next, we give an example to introduce our results.
Example 1
For the first subsystem matrix \(A_{1}\), there does not exist a vector \(v_{1}\succ0\) such that \((A_{1}-I)v_{1}\prec0\). Similarly, there does not exist a vector \(v_{2}\succ0\) such that \((A_{2}-I)v_{2}\prec0\).
It is easy to verify that these two subsystem matrices are not Schur matrices. Despite this disadvantage, we find that there exist some combinations \(A_{0}\) of \(A_{1}\) and \(A_{2}\) that are positive and Schur matrices, that is, \(A_{0}=\lambda_{1}A_{1}+\lambda _{2}A_{2}\) is a positive Schur matrix, where \(\lambda_{1},\lambda _{2}\in(0,1)\) and \(\lambda_{1}+\lambda_{2}=1\).
Note that there exists a vector \(v\succ0\) in \(\Re^{n}\) with \((A_{0}-I)v\prec0\). Thus, \(A_{0}\) is a positive and stable matrix.
This example contains an instantaneous state.
Assumption 2
Switching rule 1
- (i)For any initial state \(x(k_{0})=x_{0}\), we select$$\sigma(k_{0})=\operatorname*{\arg\min}_{i\in S} \bigl\{ x_{0}^{T}\overline{\mathbf{\ell}}_{i} \bigr\} . $$
- (ii)The first switching time instant is selected as$$k_{1}=\inf \bigl\{ k\geq k_{0}| x(k)^{T} \overline{\mathbf{\ell}}_{\sigma (k_{0})}>-r_{\sigma(k_{0})}x(k)^{T} \overline{\mathbf{e}} \bigr\} . $$Thus, the switching index can be determined by$$\sigma(k_{1})=\operatorname*{\arg\min}_{i\in S} \bigl\{ x(k_{1})^{T}\overline {\mathbf{\ell}}_{i} \bigr\} . $$
- (iii)The switching index sequences are defined bywhere \(r_{\sigma(k_{j})}\in(0, 1)\) and \(j\in\mathbb{N}\).$$\begin{aligned}& k_{j+1}=\inf \bigl\{ k\geq k_{j}| x(k)^{T} \overline{\mathbf{\ell}}_{\sigma (k_{j})}>-r_{\sigma(k_{j})}x(k)^{T} \overline{\mathbf{e}} \bigr\} , \\& \sigma(k_{j+1})=\operatorname*{\arg\min}_{i\in S} \bigl\{ x(k_{j+1})^{T}\overline{\mathbf{\ell}}_{i} \bigr\} , \end{aligned}$$
3 Main results
Proof
Thus, system (2.1) is uniformly exponentially stable. □
Remark 1
By the properties of discrete-time systems associated with the Schrödinger operator and (ii) and (iii) of Switching rule 1, it is not hard to find that the dwell time in each time interval is at least greater than 1. So there exist finite switchings in any finite time interval. Thus, Switching rule 1 is well defined.
Corollary 1
Suppose \(N=2\). Consider the stability of system (2.1) in the sense of Lyapunov function. Then system (2.1) is stable if and only if Assumption 2 holds.
Proof
Define \(\overline{w}_{1}=\frac{1}{1+\overline{\varepsilon}}\) and \(\overline{w}_{2}=\frac{\overline{\varepsilon}}{1+\overline{\varepsilon }}\). We have \(x^{T}[A_{0}-I_{2}]\overline{v}\) \(<-\overline{\varsigma }x^{T}\overline{\mathbf{e}'}\), where \(A_{0}=\overline {w}_{1}A^{T}_{1}+\overline{w}_{2}A^{T}_{2}\). This inequality implies that Assumption 2 holds. □
4 Conclusions
In this paper, we consider the stabilization problem of discrete-time switched positive linear systems associated with the Schrödinger operator that contain unstable subsystems associated with the Schrödinger operator. We present a state-dependent switching law guaranteeing that the systems associated with the Schrödinger operator are uniformly exponentially stable. Furthermore, we establish a necessary and sufficient condition for the stabilization of the system with two subsystems associated with the Schrödinger operator.
Declarations
Acknowledgements
This work was supported by the Science and Technology Research Project of Henan Province (No. 152102310089)), the Key Scientific Research Projects for Colleges and Universities of Henan Province (No. 17A120006) and the Humanities and Social Sciences Research Project of Henan Provincial Department of Education (No. 2017-ZZJH-014).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Huang, J: Growth property at infinity of the maximum modulus with respect to the Schrödinger operator. Int. J. Math. 27(2), 1650009 (2016) View ArticleMATHGoogle Scholar
- Berman, A, Neumann, M, Stern, R: Nonnegative Matrices in Dynamics Systems. Wiley, New York (1989) MATHGoogle Scholar
- Luenberger, D: Introduction to Dynamic Systems Associated with the Schrödinger Operator: Theory, Models, and Applications. Wiley, New York (1979) MATHGoogle Scholar
- Farina, L, Rinaldi, S: Positive Linear Systems Associated with the Schrödinger Operator: Theory and Applications. Wiley, New York (2000) View ArticleMATHGoogle Scholar
- Jadbabaie, A, Lin, J, Morse, A: Co-ordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Trans. Autom. Control 48(6), 988-1001 (2003) MathSciNetView ArticleGoogle Scholar
- Yan, Z: Sufficient conditions for non-stability of stochastic differential systems. J. Inequal. Appl. 2015, 377 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Wang, J, Pu, J, Huang, B, Shi, G: Boundary value behaviors for solutions of the equilibrium equations with angular velocity. Bound. Value Probl. 2015, 230 (2015) MathSciNetView ArticleMATHGoogle Scholar
- Yang, D, Ren, Y: Dirichlet problem on the upper half space. Proc. Indian Acad. Sci. Math. Sci. 124(2), 175-178 (2014) MathSciNetView ArticleMATHGoogle Scholar
- Rami, M, Tadeo, F, Benzaouia, A: Control of constrained positive discrete systems associated with the Schrödinger operator. In: Proceedings of the 2007 American Control Conference, New York, USA, pp. 5851-5856 (2007) View ArticleGoogle Scholar
- Yan, Z, Yan, G, Miyamoto, I: Fixed point theorems and explicit estimates for convergence rates of continuous time Markov chains. Fixed Point Theory Appl. 2015, 197 (2015) MathSciNetView ArticleMATHGoogle Scholar