 Research
 Open Access
 Published:
RETRACTED ARTICLE: Boundary behaviors for linear systems of subsolutions of the stationary Schrödinger equation
Journal of Inequalities and Applications volume 2016, pages 1–10 (2016)
Abstract
This paper investigates the boundary behaviors for linear systems of subsolutions of the stationary Schrödinger equation, which contain unstable subsystems. Our first aim is to establish a statefeedback switching law guaranteeing the continuoustime systems to be uniformly exponentially stable. And then we present sufficient and necessary for the stability of the systems with two Schrödinger subsystems. Finally, an illustrative example is given to verify the result.
Introduction
It is well known that there exists a large class of systems whose states are always nonnegative in the real world, for example, biological systems, chemical process, economic systems, and so on. We call them positive systems with a certain stationary Schrödinger operator [1,2,3]. In particular, switched positive linear systems (SPLSs) with respect to the Schrödinger operator which consist of subsolutions of the stationary Schrödinger equation are also found in many practical systems. They have board applications in TCP congestion control, formation flying, and image processing [4], to list a few.
As is well known, the switching law design of switched systems with respect to Schrödinger operator is always one of the topics of general interest [5, 6]. Generally, the switching law is divided into timedependent switching and statedependent switching. Existing results on SPLSs have led to little results referring to the statedependent switching design. The current results mainly concern the uniqueness of the common Schrödinger linear copositive Lyapunov function for SPLSs and stabilization design of SPLSs based on multiple Schrödinger Lyapunov functions. Almost all the premise conditions are required, and the subsystems are Hurwitz stable. In real control systems, there are many systems whose subsystems are not stable, i.e., the subsystems matrices are not Hurwitz (Example 1). It is natural to ask how to solve the stability and uniqueness of SPLSs with Schrödinger unstable subsystems. This inspired us to study this problem.
Based on the above discussions, this paper addresses the statefeedback switching design of SPLSs, which contain unstable subsystems. For switched linear systems (not positive), when the systems admit stable convex combinations, a statefeedback switching is designed in [7,8,9], which such that system is uniformly exponentially stable. With the aid of these results, we construct a statefeedback switching law such that SPLSs are exponentially stable [10, 11]. We establish the necessary and sufficient conditions for the stability of Schrödinger SPLSs with two subsystems.
This paper is organized as follows: In Section 2 we shall give some preliminaries. Meanwhile, an example is presented to induce the research motivation. In Section 3, we shall consider the stability of continuoustime systems and design the statefeedback switching law. In Section 4, we shall present a simulation example.
Notation
In the rest of the paper, the set of real numbers, the vector of ntuples of real numbers and the space of \(n\times n\) matrices with real entries are denoted by ℜ, \(\Re^{n}\), and \(\Re^{n\times n}\), respectively. Two sets of nonnegative and positive integers are denoted by \(\mathbb{N}\) and \(\mathbb{N}_{+}\), respectively. Let \(I_{n}\), \(A^{T}\), and \(\\cdot\\) denote the \(n\times n\) identity matrix, the transpose of the matrix A and the Euclidean norm, respectively.
Let \(v_{i}\) denote the ith component of v, where \(v\in\Re^{n}\). \(v\succ0\) (\(v \succeq0\)) denotes that all components of v are positive (nonnegative), i.e., \(v_{i}>0\) (\(v_{i}\geq0\)). Similarly, we can also define \(v\prec0\) and \(v\preceq0\). And then the minimal and maximal component of v are denoted by \(\underline{\lambda}_{v}\) and \(\overline{\lambda}_{v}\), respectively.
Let A be a matrix. If its offdiagonal elements are all nonnegative real numbers, then we say that A is a Metzler matrix.
Preliminaries
The continuoustime Schrödinger switched linear system is defined as follows:
where \(t\in(0,\infty)\) and \(\sigma(t)\) is a piecewise constant switching signal which takes finite values in \(S=\{1,2,\ldots,N \}\) and \(A_{i}\in\Re^{n\times n}\) (\(i\in S\)) are Schrödinger system matrices.
Assumption 1
Let \(i\in S\). Then \(A_{i}\) is a Metzler matrix for the system (2.1).
Definition 1
If a switching signal \(\sigma(t)\) depends on system states and their past values, i.e., \(\sigma (t^{+})=\sigma(x(t),\sigma(t^{}))\), then we say that it is a statefeedback switching law.
Let \(x_{0}\) be a given initial state. We say that σ is said to be well defined if a switched system admits a solution for all forward time and there exist finite switching instants.
Lemma 1
The matrix A is a Metzler matrix if and only if the continuoustime system
is positive for any \(t\in(0,\infty)\).
Proof
Let
for any \(r\in(t,\infty)\).
From the Ito formula we have [6]
and
By virtue of the product formula of continuous semimartingales, we have from (2.1) and (2.2)
from (2.2), (2.3), (2.4), and (2.5).
Thus we complete the proof of Lemma 1. □
Lemma 2
(([9]))
If A is a Metzler matrix and \(A\in\Re ^{n\times n}\), then the following conditions hold:

(i)
A is Hurwitz.

(ii)
There exists some vector \(v\succ0\) in \(\Re^{n}\) satisfying \(Av\prec0\).
Proof
Let \(F=\inf\{ t R(W(t;x_{0}))\geq\frac{v}{2}\}\), where
It is obvious that \(F>0\). If F is finite and \(R(W(F))=\frac{v}{2}\) for \(t\in[0, F]\), then we have
So
It is easy to see that \(R(W(r))<\frac{v}{3}\) for any \(t\in[0, F]\), which together with (2.5), gives \(R(W(r))\leq\frac{v}{2}\). Obviously, this is a contradiction. So
It follows that from (2.4) that
where
which, together with Definition 1, shows that the trivial solution of (2.4) is an exponentially stable.
For the system (2.2) it is easy to see that \(A^{T}v\prec0\), where \(v \in\Re^{n}\). And then we know that \(V=x^{T}v\) is an LCLF. □
Finally, an example is presented to introduce main results.
Example 1
Let us consider system (2.1) with two subsystems, where
For the first subsystem matrix \(A_{1}\), there does not exist \(v\succ0\) satisfying \(A_{1}^{T}v\prec0\). As well as the first one, there does not exist \(v'\succ0\) satisfying \(A_{2}^{T}v'\prec0\).
Example 1 demonstrates that two subsystem matrices are not Hurwitz. In spite of this disadvantage, we find that there are some combinations \(A_{0}\) of \(A_{1}\) and \(A_{2}\), which are Metzler and Hurwitz matrices, i.e., \(A_{0}=\lambda_{1}A_{1}+\lambda_{2}A_{2}\) is a Metzler and Hurwitz matrix, where \(\lambda_{1},\lambda_{2}\in(0,1)\), and \(\lambda_{1}+\lambda_{2}=1\). For example, choose \(\lambda_{1}=0.4\) and \(\lambda_{2}=0.6\). We see that ${A}_{0}=\left(\begin{array}{cc}0.4& 0.2\\ 0.2& 0.4\end{array}\right)$ is a Metzler and Hurwitz matrix.
Main results
First, we define the switching rule. Let there be given a stable convex combination of the system matrices
where \(\sum^{N}_{i=1}w_{i}=1\) and \(w_{i}\in(0,1)\).
Since system (2.1) is positive, \(A_{i}\) is a Metzler matrix from Lemma 1, where \(i\in S\). It is obvious that \(A_{0}\) is also a Metzler matrix. There exists \(0\succ v\in\Re^{n}\) satisfying \(A_{0}^{T}v\prec 0\) from Lemma 2. Without loss of generality, we select a vector \(\mathbf{e}\in\Re^{n}\) such that \(A_{0}^{T}v=\mathbf{e}\), where \(\mathbf {e}\succ0\). Denote \(\mathbf{\ell}_{i}=A^{T}_{i}v\), \(i\in S\).
Remark 1
Indeed, as long as the system matrices admit a stable linear combination \(A_{0}=\sum^{N}_{i=1}w'_{i}A_{i}\) for \(w'_{i}>0\), one can find a stable convex combination by choosing \(w_{i}=\frac{w'_{i}}{\sum^{N}_{i=1}w'_{i}}\). This reduces the difficulty of selecting the matrix \(A_{0}\).
Switching rule 1

(i)
For any initial state \(x(t_{0})=x_{0}\), select
$$i_{0}=\arg \min_{i\in S}\bigl\{ x_{0}^{T} \mathbf{\ell}_{i}\bigr\} , $$and then define \(\tau(r_{0})=i_{0}\), where argmin means the argument which makes the function minimal.

(ii)
The first switching time instant is selected as
$$r_{1}=\inf\bigl\{ r\geq r_{0} x(r)^{T}\mathbf{ \ell}_{\tau (r_{0})}>r_{\tau (r_{0})}x(r)^{T}\mathbf{e}, 0\leq rr_{0}< \tau\bigr\} , $$or
$$r_{1}=r_{0}+\tau, $$where τ and \(r_{\tau(r_{0})}\) are given constants with \(\tau>0\) and \(r_{\tau(r_{0})}\in(0,1)\), respectively. Thus, the switching index is determined by
$$i_{1}=\arg \min_{i\in S}\bigl\{ x(r_{1})^{T} \mathbf{\ell}_{i}\bigr\} , $$and \(\tau(r_{1})=i_{1}\).

(iii)
The switching time instants are defined by
$$r_{j+1}=\inf\bigl\{ t\geq r_{j} x(r)^{T}\mathbf{ \ell}_{\tau(r_{j})}>r_{\tau(r_{j})}x(r)^{T}\mathbf{e}, 0\leq rr_{j}< \tau\bigr\} , $$or
$$r_{j+1}=r_{j}+\tau. $$Moreover, the switching index sequences are
$$i_{j+1}=\arg \min_{i\in S}\bigl\{ x(r_{j+1})^{T} \mathbf{\ell}_{i}\bigr\} , $$and \(\tau(r_{j+1})=i_{j+1}\), where \(r_{\tau(r_{j})}\in(0,1)\), \(j\in\mathbb{N}\).
Remark 2
From Switching rule 1, it is possible that \(i_{1}=i_{0}\). Furthermore, it is also possible that \(i_{j+1}=i_{j}\) for \(j\in\mathbb{N_{+}}\). We present a simple discussion of the statement. Assume \(i_{j}=\arg \min_{i\in S}\{x(r_{j})^{T}\mathbf{\ell }_{i}\}\). If \(\min_{i\in S}\{x(r_{j+1})^{T}\mathbf{\ell}_{i}\} =x(r_{j+1})^{T}\mathbf{\ell}_{m}\) and \(\min_{i\in S}\{ x(r_{j})^{T}\mathbf{\ell}_{i}\}=x(r_{j})^{T}\mathbf{\ell}_{m}\), where \(m\in S\), then \(i_{j}=i_{j+1}=m\).
Theorem 1
Assume that there exists a stable convex combination of the system matrices for system (2.1). Then Switching rule 1 is well defined and system (2.1) is uniformly exponentially stable under the switching rule.
Proof
We first prove the welldefined property of the switching rule, which means that there is a lower bound of dwell time between any two consecutive switching time instants. This shows that switchings are finite in any finite time interval.
Assume \(r_{m}\) and \(r_{m+1}\) are two consecutive switching time instants. Combining \(A_{0}=\sum_{i\in S}w_{i}A_{i}\), \(\mathbf{\ell}_{i}=A^{T}_{i}v\), \(i\in S\), and \(A_{0}^{T}v=\mathbf{e}\) yields
Furthermore,
Due to \(x(r_{m})^{T}\mathbf{\ell}_{\tau(r_{m})}=\min_{i\in S}\{ x(r_{m})^{T}\mathbf{\ell}_{i}\}\), it follows
For \(t\in[r_{m},r_{m+1})\), we can obtain
by system (2.1).
Since we know that \(r_{m+1}t\leq r_{m+1}r_{m}\leq\tau\) holds, there exists a positive constant δ such that \(\e^{A_{\tau(r_{m})}(rr_{m+1})}\\leq \delta\). In detail, \(\delta=e^{\frac{1}{2}\underline{\rho }(A+A^{T})\tau }\) if \(\underline{\rho}(A+A^{T})<0\), and \(\delta=1\) if \(\overline {\rho}(A+A^{T})\geq0\). So, it is clear that
Define the following function:
From (3.1), (3.2), and (iii) in Switching rule 1, it follows that
In addition, the time derivation of (3.4) is
Together with (3.3), we have
where \(\mu=\delta\varepsilon\x(r_{m+1})^{T}\\), and \(\varepsilon=\A_{\tau(r_{m})}^{T}(\mathbf{\ell}_{\tau (r_{m})}+\mathbf {e})\\). Applying the differential mean value theorem to (3.5), one can deduce that
Then we have from (3.6)
Owing to \(r_{\tau(r_{m})}\in(0, 1)\), \(\frac{(1r_{\tau (r_{m})})\underline{\lambda}_{\mathbf{e}}}{\delta\varepsilon}>0\). This implies for each switching time interval, the dwell time has a lower bound. Thus, the welldefined property of switching rule is rendered.
We start to prove system (2.1) is uniformly exponentially stable. Choose \(V(x(r))=x(r)^{T}v\). The time derivation of V is
for \(t\in[r_{m},r_{m+1})\).
By (ii) in Switching rule 1, we get from (3.7)
By the comparison principle, we have
from (3.8).
Moreover, we obtain
where \(t\in[r_{m},r_{m+1})\).
Define \(\beta=\min_{i=0,1,\ldots,m}\{\frac{r_{\tau (r_{i})}\underline {\lambda}_{\mathbf{e}}}{\overline{\lambda}_{v}} \}\). Then we have
and
By \(x(r)\succ0\) and the equivalent property of norm, we have from (3.10) and (3.11)
Similarly,
Then we deduce that
where \(\alpha=\frac{\overline{\lambda}_{v}}{\underline{\lambda}_{v}}\).
Thus, system (2.1) is uniformly exponentially stable. □
Next we introduce Corollary 1, which presents a sufficient and necessary condition for the system (2.1).
Corollary 1
Suppose \(N=2\). Consider the stabilization of system (2.1) under the sense of the Lyapunov function, then system (2.1) is stability if and only if there exists a stable convex combination of system matrices.
Proof
The part of ‘if’ is easy. One could refer that to Theorem 1. We only give the proof of ‘only if’. System (2.1) having stability means that there exists a CLCLF \(W=x^{T}v\) satisfying
for any \(v\succ0\). It is easy to see that there exist \(\varsigma\in R^{+}\) and a vector \(M'\) satisfying
or
where \(\mathbf{e}'\in\Re^{n}\) and \(\mathbf{e}'\succ0\). That is to say \(\dot{V}=x^{T}A^{T}_{1}v<\varsigma x^{T}\mathbf{e}'\) whenever \(\dot{V}=x^{T}A^{T}_{2}v\geq\varsigma x^{T}\mathbf{e}'\), and \(\dot{V}=x^{T}A^{T}_{2}v<\varsigma x^{T}\mathbf{e}'\) whenever \(\dot{V}=x^{T}A^{T}_{1}v\geq\varsigma x^{T}\mathbf{e}'\). Here, we only prove the first case. The second case can be obtained similarly to the first one. By the compactness theorem, there exists a positive real number μ such that \(x^{T}A^{T}_{1}v\varsigma x^{T}\mathbf {e}'>\mu \). Between any two consecutive switching instants, \(x(r)\) is bound. Thus, there exists \(\kappa\in R^{+}\) satisfying
Set \(\varepsilon=\frac{\mu}{\kappa}\). We obtain
Therefore,
Define \(w_{1}=\frac{1}{1+\varepsilon}\), \(w_{2}=\frac{\varepsilon}{1+\varepsilon}\). The above inequality verifies \(A_{0}=w_{1}A_{1}+w_{2}A_{2}\) is a stable convex combination of system matrices. □
Numerical example
Finally, a numerical example is given to show our main results.
Example 2
Let us consider the system (2.1) with
Choose \(w_{1}=w_{2}=0.1\) and \(w_{3}=0.8\). The stable convex combination of \(A_{1}\), \(A_{2}\), and \(A_{3}\) is
Then we get \(v=(0.2110\ 1.7313\ 3.6115)^{T}\) and \(\mathbf{e}=(0.1425\ 0.0654\ 0.1044)^{T}\) by using the linprog toolbox in Matlab. Let \(\tau =2\) and \(r_{\tau(r_{i})}=0.5\), where \(i=1, 2, \ldots\) . Let there be given the initial condition \(x_{0}=(4\ 2\ 3)^{T}\). By item (i) in Switching rule 1, the first subsystem is first active. Then execute items (ii) and (iii), respectively, by a simple iterative process.
Change history
18 May 2021
A Correction to this paper has been published: https://doi.org/10.1186/s1366002102621y
References
 1.
Luenberger, D: Introduction to Dynamic Systems: Theory, Models, and Applications. Wiley, New York (1979)
 2.
Kaczorek, T: Positive 1D and 2D Systems. Springer, London (2002)
 3.
Barnsley, M, Demko, S, Elton, J, Geronimo, J: Erratum invariant measures for Markov processes arising from iterated function systems with placedependent probabilities. Ann. Inst. Henri Poincaré Probab. Stat. 25(4), 589590 (1989)
 4.
Berman, A, Neumann, M, Stern, R: Nonnegative Matrices in Dynamics Systems. Wiley, New York (1989)
 5.
Wan, L: Some remarks on PhragménLindelöf theorems for weak solutions of the stationary Schrödinger operator. Bound. Value Probl. 2015, 239 (2015)
 6.
Yan, Z: Sufficient conditions for nonstability of stochastic differential systems. J. Inequal. Appl. 2015, 377 (2015)
 7.
Li, Z: Boundary behaviors of modified Green’s function with respect to the stationary Schrödinger operator and its applications. Bound. Value Probl. 2015, 242 (2015)
 8.
Ren, Y: Solving integral representations problems for the stationary Schrödinger equation. Abstr. Appl. Anal. 2013, Article ID 715252 (2013)
 9.
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)
 10.
Farina, L, Rinaldi, S: Positive Linear Systems: Theory and Applications. Wiley, New York (2000)
 11.
Sun, J, He, B, PeixotodeBüyükkurt, C: Growth properties at infinity for solutions of modified Laplace equations. J. Inequal. Appl. 2015, 256 (2015)
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. 2017ZZJH014). The authors thank the editor and the anonymous reviewers for their constructive comments, which helped them to improve the manuscript.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
FMU completed the main study. ZJ responded point by point to each of the reviewer comments and corrected the final proof. Both authors read and approved the final manuscript.
This article has been retracted. Please see the retraction notice for more detail: https://doi.org/10.1186/s1366002102621y"
Rights and permissions
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.
About this article
Cite this article
Jiang, Z., Usó, F.M. RETRACTED ARTICLE: Boundary behaviors for linear systems of subsolutions of the stationary Schrödinger equation. J Inequal Appl 2016, 1–10 (2016). https://doi.org/10.1186/s1366001611723
Received:
Accepted:
Published:
Issue Date:
Keywords
 boundary behavior
 linear system
 subsolution
 stationary Schrödinger equation