The eigenvalue product bounds of the Lyapunov matrix differential equation and the stability of a class of time-varying nonlinear system

Open Access
Research

Abstract

The Lyapunov matrix differential equation plays an important role in many scientific and engineering fields. In this paper, we first give a class relation between the eigenvalue of functional matrix derivative and the derivative of functional matrix eigenvalue. Using this relation, we convert the Lyapunov matrix differential equation into an eigenvalue differential equation. Further, by the Schur theorem, combining Hölder’s integral inequality with arithmetic–geometric average inequality, we provide several lower and upper bounds on the eigenvalue product for the solution of the Lyapunov matrix differential equation. As an application in control and optimization, we show that our bounds can be used to discuss the stability of a class of time-varying nonlinear systems. Finally, we illustrate the superiority and effectiveness of the derived bounds by a numerical example.

Keywords

Lyapunov matrix differential equation Majorization inequality Eigenvalue Bounds

1 Introduction

Consider the following Lyapunov matrix differential equation :
$$\dot{P}(t)=A^{H}(t)P(t)+P(t)A(t)+Q(t),\qquad P(t_{0})=P_{0}=P^{H}_{0} \geq 0,$$
(1)
where $$A(t)\in \mathbb{C}^{n\times n}$$, $$Q(t) = Q^{H}(t)\in \mathbb{C} ^{n\times n}$$, and $$Q(t)\geq 0$$ are continuous functions of t, and $$P(t)\in \mathbb{C}^{n\times n}$$ is the Hermitian positive semidefinite solution of (1).
It is well known that the linear matrix differential equation (1) has many express styles, and it usually can be found in time-varying nonlinear and linear systems. For one thing, consider the time-varying nonlinear system
$$\textstyle\begin{cases} \dot{x}(t)=A(t)x(t)+\Delta f(x(t),\varPhi (t)), \\ \dot{\varPhi }(t)=-RB^{T}(t)P(t)x(t)r(t)^{T}, \end{cases}$$
(2)
where $$x(t), r(t)\in \mathbb{C}^{n}$$, and $$P(t)$$ is the positive definite solution of the Lyapunov matrix differential equation (1). Here $$\Delta f(x(t),\varPhi (t))$$ is a nondeterministic term. In Sect. 5, we will show that the eigenvalue bounds of the Lyapunov matrix differential equation (1) can be used to discuss the stability of the time-varying nonlinear system (2).
For another, sometimes we need to consider the time-varying linear system
$$\dot{x}(t)=A(t)x(t)+B(t)u(t),$$
(3)
where $$A,B:[t_{0},\infty )\rightarrow \mathbb{C}^{n\times n}$$ are given time-varying matrices. Based on (3), we will also consider the optimal control problem
$$J(u)= \int _{t_{0}}^{t_{f}} \bigl[x^{H}(t)Q(t)x(t)+u^{H}(t)R(t)u(t) \bigr]\,dt+x ^{H}(t)Sx(t),$$
(4)
where $$Q(t)\in \mathbb{C}^{n\times n}$$ is Hermitian positive semidefinite, and $$R(t),S\in \mathbb{C}^{n\times n}$$ are Hermitian positive definite.
Kucera  showed that the optimal value of (3) can be obtained by taking $$u(t)$$ of thye form
$$u(t)=-B^{H}(t)P(t)x(t), \quad t\in [t_{0},t_{f}],$$
where $$P(t)$$ is the unique Hermitian positive definite solution of the following Riccati matrix differential equation:
$$\dot{P}(t)=A^{H}(t)P(t)+P(t)A(t)+Q(t)+P(t)B(t)R^{-1}(t)B^{H}(t)P(t)$$
(5)
with terminal condition $$P(t_{0})=S$$.

Observe that when $$B(t)=0$$ and $$P(t_{0})=P_{0}$$, (4) reduces to (1).

In addition, (1) is also expressed in the following form :
$$\dot{P}(t)=A^{H}P(t)+P(t)A+Q,$$
(6)
where $$A,Q \in \mathbb{C}^{n\times n}$$, $$Q \geq 0$$. Obviously, (1) is more general than (6).

Considering their applications, the authors of [1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12] have paid their attention to the bounds of the solution for the Lyapunov and Riccati matrix differential equations. These include eigenvalue bounds (Mori et al. , Hmamed , Dai and Bai , Zhang and Liu , Liu et al. ), trace bounds (Liu and He , Zhu and Pagilla ), norm bounds (Patel and Toda ), and matrix bounds (Jodar and Ponsoda , Lee , Chen et al. ).

The paper is organized as follows. In Sect. 2, we show some notation and lemmas. In Sect. 3, we derive lower bounds on the eigenvalue product for (1). In Sect. 4, we present upper bounds on the eigenvalue product for (1). In Sect. 5, we show that our bounds can be used to discuss the stability of a class of time-varying nonlinear systems. In Sect. 6, we give a corresponding numerical example to show the superiority and effectiveness of the derived bounds.

2 Notation and lemmas

Throughout this paper, let $$\mathbb{C}$$ denote the set of complex numbers and $$\mathbb{C}^{m\times n}$$ denote the set of $$m\times n$$ complex numbers. For $$a\in \mathbb{C}$$, $$\operatorname{Re}(a)$$ is the real part of a. Let $$x=(x_{1},x_{2},\ldots ,x_{n})$$ be a real n-element array reordered in nonincreasing order, that is, $$x_{}\geq x_{} \geq \cdots \geq x_{[n]}$$. For $$X\in \mathbb{C}^{n\times n}$$, we denote by $$X^{H}$$, $$X^{-1}$$, $$\operatorname{tr}(X)$$, and $$\operatorname{det}(X)$$ the conjugate transpose, the inverse, the trace, and the determinant of X, respectively. Further, suppose the diagonal elements and eigenvalues of X are $$d(X)=(d_{1}(X),d_{2}(X),\ldots ,d_{n}(X))$$ and $$\lambda (X)=( \lambda _{1}(X),\lambda _{2}(X),\ldots ,\lambda _{n}(X))$$, respectively. Assume that $$\operatorname{Re}(d_{}(X))\geq \operatorname{Re}(d_{}(X)]\geq \cdots \geq \operatorname{Re}(d _{[n]}(X))$$, $$\operatorname{Re}(\lambda _{}(X))\geq \operatorname{Re}(\lambda _{}(X))\geq \cdots \geq \operatorname{Re}(\lambda _{[n]}(X))$$. The inequality $$X>(\geq )\ 0$$ means that X is a Hermitian positive (nonnegative) matrix. The identity matrix of appropriate dimensions is denoted I.

Let k be an integer with $$1\leq k\leq n$$. We denote by $$Q_{k,n}$$ the set of all increasing sequences, that is,
$$Q_{k,n}=\bigl\{ \omega =\{\omega _{1},\ldots ,\omega _{k}\}: 1\leq \omega _{1}< \cdots < \omega _{k} \leq n\bigr\} .$$

Let $$A=(a_{ij})\in \mathbb{C}^{m\times n}$$, and let k and r be integers satisfying $$1\leq k\leq m$$ and $$1\leq r\leq n$$, respectively. For $$\alpha \in Q_{k,m}$$ and $$\beta \in Q_{r,n}$$, we denote by $$A[\alpha ,\beta ]$$ the $$k\times r$$ matrix whose $$(i,j)$$th entry is $$a_{\alpha _{i},\beta _{j}}$$. If α is equal to β, then we simplify the notation to $$A[\alpha ]$$.

Definition 2.1

([13, p. 502])

Let $$A\in \mathbb{C}^{n \times n}$$ and $$1\leq r\leq n$$. The rth compound matrix $$C_{r}(A)$$ of A is the matrix with the $$(j_{\alpha },j_{\beta })$$th entry $$\operatorname{det}A[\alpha ,\beta ]$$, where $$\alpha \in Q_{r,m}$$ and $$\beta \in Q_{r,n}$$ are ordered lexicographically; $$C_{r}(A)$$ is a $$C^{r}_{n}$$th matrix ($$C^{r}_{n}=\frac{n!}{r!(n-r)!}$$).

Definition 2.2

([13, p. 10])

Let x, y be two real n-element arrays. If they satisfy
$$\sum_{i=1}^{k}{x_{[i]}}\leq \sum_{i=1}^{k}{y_{[i]}}, \quad k=1, 2, \ldots , n,$$
then we say that x is weakly majorized by y and denote this by $$x \prec _{w} y$$.

Definition 2.3

([13, p. 10])

If they satisfy
$$\sum_{i=1}^{k}{x_{[n-i+1]}}\geq \sum_{i=1}^{k}{y_{[n-i+1]}},\quad k=1, 2, \ldots , n,$$
then we say that x is weakly submajorized by y and denote this by $$x \prec ^{w} y$$.

Definition 2.4

([13, p. 11])

If $$x\prec _{w} y$$ and
$$\sum_{i=1}^{n}{x_{[i]}}= \sum _{i=1}^{n}{y_{[i]}},$$
then we say that x is majorized by y and denote this by $$x \prec y$$.

Lemma 2.1

([14, p. 69])

If$$X=X^{H} \in \mathbb{C}^{n\times n}$$, then there exists a unitary matrix$$U \in \mathbb{C}^{n\times n}$$such that
$$X= U^{H}\operatorname{diag} \bigl[\lambda _{1}(X),\ldots , \lambda _{n}(X) \bigr]U.$$

Lemma 2.2

([15, p. 490])

If$$X(t),Y(t) \in \mathbb{C}^{n \times n}$$, then
$$\frac{d[X(t)Y(t)]}{dt}= \frac{d[X(t)]}{dt}Y(t)+\frac{d[Y(t)]}{dt}X(t).$$

Lemma 2.3

()

If$$(x_{1},x_{2},\ldots ,x_{k})>0$$, $$(y_{1},y _{2},\ldots ,y_{k})>0$$, then for any$$k=1,\ldots , n$$,
$$\Biggl[\prod_{j=1}^{k}(x_{j}+y_{j}) \Biggr]^{\frac{1}{k}} \geq \Biggl(\prod_{j=1}^{k}x_{j} \Biggr)^{\frac{1}{k}}+ \Biggl(\prod_{j=1}^{k}y_{j} \Biggr)^{\frac{1}{k}}.$$

Lemma 2.4

()

If$$f_{1},f_{2},\ldots ,f_{n}$$are real positive continuous functions on$$[a,b]$$and$$r_{1},r_{2},\ldots ,r _{n}$$are real positive numbers with$$\sum_{i=1}^{n}\frac{1}{r _{i}}=1$$, then we get the following Hölder integral inequality:
$$\int _{a}^{b}\prod_{i=1}^{n}f_{i}(x)\,dx \leq \prod_{i=1} ^{n} \biggl( \int _{a}^{b}f_{i}^{r_{i}}(x)\,dx \biggr)^{\frac{1}{r_{i}}},$$
where the equality holds if and only if$$f_{1}^{r_{1}},f_{2}^{r_{2}}, \ldots ,f_{n}^{r_{n}}$$are effectively proportional.

Lemma 2.5

([13, p. 300, B.1])

Let$$X=X^{H} \in \mathbb{C} ^{n\times n}$$. Then
$$d{(X)}\prec \lambda {(X)},$$
that is,
$$d{(X)}\prec _{w}\lambda {(X)}, \quad \textit{and} \quad d{(X)}\prec ^{w}\lambda {(X)}.$$

Lemma 2.6

([13, p. 92, C.1])

If$$x \prec y$$, then
$$\bigl(e^{x_{1}},e^{x_{2}},\ldots ,e^{x_{n}}\bigr)\prec \bigl(e^{y_{1}},e^{y_{2}}, \ldots ,e^{y_{n}}\bigr).$$

Lemma 2.7

([13, p. 166, A.1.d])

If$$x_{}\geq x_{} \geq \cdots \geq x_{[n]}>0$$, $$y_{}\geq y_{}\geq \cdots \geq y _{[n]}>0$$, and$$x \prec y$$, then
$$\prod_{i=1}^{k}{x_{[i]}}\geq \prod_{i=1}^{k}{y_{[i]}},\quad k=1, 2, \ldots , n.$$

Lemma 2.8

([13, p. 208, A.4])

If$$x_{}\geq x_{} \geq \cdots \geq x_{[n]}>0$$and$$y_{}\geq y_{}\geq \cdots \geq y_{[n]}>0$$, then for any$$k=1,\ldots , n$$,
$$\prod_{i=1}^{k}(x_{[i]}+y_{[i]}) \leq \prod_{i=1}^{k}(x _{i}+y_{i}) \leq \prod_{i=1}^{k} (x_{[i]}+y_{[n-i+1]} ).$$

Lemma 2.9

([13, p. 655])

If$$a_{i}>0$$ ($$i=1,\ldots ,n$$), then for$$k=1,\ldots , n$$,
$$\prod_{i=1}^{k}a_{i}\leq \Biggl(\frac{1}{k}\sum_{i=1} ^{k}a_{i} \Biggr)^{k}.$$

Lemma 2.10

([13, p. 136, H.3.b])

If$$x_{}\geq \cdots \geq x_{[n]}$$, $$y_{}\geq \cdots \geq y_{[n]}$$, and$$x \prec _{w} y$$, then for any real array$$u_{}\geq \cdots \geq u_{[n]}\geq 0$$,
$$\sum_{i=1}^{n}{x_{[i]}u_{[i]}} \leq \sum_{i=1}^{n}{y_{[i]}u _{[i]}}.$$

Lemma 2.11

([13, p. 503, F.2.c])

If$$X\in \mathbb{C}^{n \times n}$$with eigenvalues$$\lambda _{1},\ldots ,\lambda _{n}$$, then the eigenvalues of$$C_{r}(X)$$are$$\lambda _{i_{1}}\cdots \lambda _{i_{r}}$$, $$1\leq i_{1}<\cdots <i_{r}\leq n$$.

3 Lower bounds on eigenvalue product

In this section, we offer some new lower bounds on the eigenvalue product of the solution of the Lyapunov matrix differential equation (1).

Theorem 3.1

Let$$P(t)$$be a Hermitian positive semidefinite solution of (1), then for any$$k=1,\ldots , n$$and$$t\geq t _{0}$$,
\begin{aligned} \prod_{i=1}^{k}\lambda _{[n-i+1]} \bigl[P(t)\bigr] \geq & \Biggl[ \Biggl(e ^{\int _{t_{0}}^{t}\sum _{i=1}^{k}\lambda _{[n-i+1]}[A(\xi )+A ^{H}(\xi )]\,d\xi }\prod _{i=1}^{k} \lambda _{[n-i+1]} \bigl[P(t_{0})\bigr] \Biggr) ^{\frac{1}{k}} \\ &{}+ \int _{t_{0}}^{t} \Biggl(e^{\int _{\tau }^{t}\sum _{i=1} ^{k}\lambda _{[n-i+1]}[A(\xi )+{A}^{H}(\xi )]\,d\xi } \prod _{i=1} ^{k}\lambda _{[n-i+1]}\bigl[Q( \tau )\bigr] \Biggr)^{\frac{1}{k}}\,d\tau\Biggr] ^{k}. \end{aligned}
(7)

Proof

By Lemma 2.1 there exists a unitary matrix $$U(t) \in \mathbb{C}^{n\times n}$$ such that
\begin{aligned} P(t) =& U^{H}(t)\operatorname{diag} \bigl(\lambda _{} \bigl[P(t)\bigr],\ldots , \lambda _{[n]}\bigl[P(t)\bigr] \bigr)U(t) \\ \stackrel{\mathrm{def.}}{=}&U^{H}(t)D_{P(t)}U(t). \end{aligned}
(8)
Using Lemma 2.2 and substituting (8) into (1) yield
\begin{aligned}& \dot{U}^{H}(t)D_{P(t)}U(t)+U^{H}(t) \dot{D}_{P(t)}U(t)+U^{H}(t)D_{P(t)} \dot{U}(t) \\& \quad =A^{H}(t)U^{H}(t)D_{P(t)}U(t)+U^{H}(t)D_{P(t)}U(t)A(t)+Q(t). \end{aligned}
(9)
Multiplying $$U(t)$$ and $$U^{H}(t)$$ on the left and right of (9), respectively, we have
\begin{aligned}& U(t)\dot{U}^{H}(t)D_{P(t)}+\dot{D}_{P(t)}+D_{P(t)} \dot{U}(t)U^{H}(t) \\& \quad = U(t)A^{H}(t)U^{H}(t)D_{P(t)}+D_{P(t)}U(t)A(t)U^{H}(t)+U(t)Q(t)U ^{H}(t) \\& \quad = \widetilde{A}^{H}(t)D_{P(t)}+D_{P(t)} \widetilde{A}(t)+ \widetilde{Q}(t), \end{aligned}
(10)
where
$$\widetilde{A}(t)= U(t)A(t)U^{H}(t), \qquad \widetilde{Q}(t)=U(t)Q(t)U^{H}(t).$$
(11)
Since $$U(t)U^{H}(t)=I$$, from (10) it it easy to see that
\begin{aligned}& \dot{U}(t)U^{H}(t)D_{P(t)}+U(t)\dot{U}^{H}(t)D_{P(t)}+U(t)U^{H}(t) \dot{D}_{P(t)}+D_{P(t)}\dot{U}(t)U^{H}(t)- \dot{U}(t)U^{H}(t)D_{P(t)} \\& \quad = \widetilde{A}^{H}(t)D_{P(t)}+D_{P(t)} \widetilde{A}(t)+ \widetilde{Q}(t). \end{aligned}
(12)
Since $$D_{P(t)}=U(t)U^{H}(t)D_{P(t)}$$, we have
$$\dot{D}_{P(t)}=\dot{U}(t)U^{H}(t)D_{P(t)}+U(t) \dot{U}^{H}(t)D_{P(t)}+U(t)U ^{H}(t) \dot{D}_{P(t)}.$$
(13)
Substituting (13) into (12) implies
$$\dot{D}_{P(t)}+D_{P(t)}\dot{U}(t)U^{H}(t)- \dot{U}(t)U^{H}(t)D_{P(t)}= \widetilde{A}^{H}(t)D_{P(t)}+D_{P(t)} \widetilde{A}(t)+\widetilde{Q}(t).$$
(14)
Obviously,
$$\bigl[\widetilde{A}^{H}(t)D_{P(t)}+D_{P(t)} \widetilde{A}(t)+\widetilde{Q}(t)\bigr]^{H}= \widetilde{A}^{H}(t)D_{P(t)}+D_{P(t)} \widetilde{A}(t)+\widetilde{Q}(t), \qquad [\dot{D}_{P(t)}]^{H}= \dot{D}_{P(t)},$$
and thus by (14) we obtain
$$\bigl[D_{P(t)}\dot{U}(t)U^{H}(t)-\dot{U}(t)U^{H}(t)D_{P(t)} \bigr]^{H}=D_{P(t)} \dot{U}(t)U^{H}(t)- \dot{U}(t)U^{H}(t)D_{P(t)}.$$
By computation we easily see that the diagonal elements of $$D_{P(t)} \dot{U}(t)U^{H}(t)-\dot{U}(t)U^{H}(t) D_{P(t)}$$ are all 0. Thus, by (14),
$$\frac{d \{\lambda _{[i]}[P(t)] \}}{dt}=2\operatorname{Re}\bigl[\widetilde{a} _{ii}(t) \bigr]\lambda _{[i]}\bigl[P(t)\bigr]+\widetilde{q}_{ii}(t),$$
(15)
where $$\widetilde{a}_{ii}(t)$$, $$\widetilde{q}_{ii}(t)$$ ($$i=1,2,\ldots ,n$$) are the diagonal elements of $$\widetilde{A}(t)$$ and $$\widetilde{Q}(t)$$, respectively.
According to (15), for all $$t\geq t_{0}$$, it is evident that
$$e^{-2\int _{t_{0}}^{t}\operatorname{Re}[\widetilde{a}_{ii}(\xi )]\,d\xi } \biggl(\frac{d (\lambda _{[i]}[P(t)] )}{dt}-2\operatorname{Re}\bigl[ \widetilde{a}_{ii}(t)\bigr] \lambda _{[i]}\bigl[P(t)\bigr] \biggr) =e^{-2\int _{t_{0}}^{t}\operatorname{Re}[\widetilde{a} _{ii}(\xi )]\,d\xi }\widetilde{q}_{ii}(t),$$
which is equivalent to
$$\frac{d (e^{-2\int _{t_{0}}^{t}\operatorname{Re}[\widetilde{a}_{ii}(\xi )]\,d\xi }\lambda _{[i]}[P(t)] )}{dt} =e^{-2\int _{t_{0}}^{t}\operatorname{Re}[ \widetilde{a}_{ii}(\xi )]\,d\xi }\widetilde{q}_{ii}(t).$$
By solving this differential equation we get
$$e^{-2\int _{t_{0}}^{t}\operatorname{Re}[\widetilde{a}_{ii}(\xi )]\,d\xi }\lambda _{[i]}\bigl[P(t)\bigr]= \lambda _{[i]}\bigl[P(t_{0})\bigr]+ \int _{t_{0}}^{t}e^{-2\int _{t_{0}}^{\tau }\operatorname{Re}[ \widetilde{a}_{ii}(\xi )]\,d\xi }\widetilde{q}_{ii}( \tau )\,d\tau .$$
Hence
$$\lambda _{[i]}\bigl[P(t)\bigr]=e^{2\int _{t_{0}}^{t}\operatorname{Re}[\widetilde{a}_{ii}(\xi )]\,d\xi }\lambda _{[i]}\bigl[P(t_{0})\bigr] + \int _{t_{0}}^{t}e^{2\int _{\tau }^{t}\operatorname{Re}[ \widetilde{a}_{ii}(\xi )]\,d\xi }\widetilde{q}_{ii}( \tau )\,d\tau ,$$
which implies that
\begin{aligned}& \prod_{i=1}^{k}\lambda _{[n-i+1]} \bigl[P(t)\bigr] \\& \quad = \prod_{i=1}^{k} \biggl(e^{2\int _{t_{0}}^{t}\operatorname{Re}\widetilde{a} _{n-i+1,n-i+1}(\xi )\,d\xi } \lambda _{[n-i+1]}\bigl[P(t_{0})\bigr] \\& \qquad {}+ \int _{t_{0}} ^{t}e^{2\int _{\tau }^{t}\operatorname{Re}\widetilde{a}_{n-i+1,n-i+1}(\xi )\,d\xi } \widetilde{q}_{n-i+1,n-i+1}(\tau )\,d\tau \biggr) \\& \quad = \Biggl[\prod_{i=1}^{k} \biggl(e^{2\int _{t_{0}}^{t}\operatorname{Re} \widetilde{a}_{n-i+1,n-i+1}(\xi )\,d\xi }\lambda _{[n-i+1]}\bigl[P(t_{0})\bigr] \\& \qquad {}+ \int _{t_{0}}^{t}e^{2\int _{\tau }^{t}\operatorname{Re}\widetilde{a}_{n-i+1,n-i+1}( \xi )\,d\xi }\widetilde{q}_{n-i+1,n-i+1}( \tau )\,d\tau \biggr)^{ \frac{1}{k}} \Biggr]^{k}. \end{aligned}
(16)
Applying Lemma 2.3 to (16) yields
\begin{aligned} \prod_{i=1}^{k}\lambda _{[n-i+1]} \bigl[P(t)\bigr] \geq &\Biggl[\prod_{i=1}^{k} \bigl(e^{2\int _{t_{0}}^{t}\operatorname{Re}\widetilde{a}_{n-i+1,n-i+1}( \xi )\,d\xi } \lambda _{[n-i+1]}\bigl[P(t_{0})\bigr] \bigr)^{\frac{1}{k}} \\ &{}+\prod_{i=1}^{k} \biggl( \int _{t_{0}}^{t}e^{2\int _{ \tau }^{t}\operatorname{Re}\widetilde{a}_{n-i+1,n-i+1}(\xi )\,d\xi } \widetilde{q}_{n-i+1,n-i+1}( \tau )\,d\tau \biggr)^{\frac{1}{k}} \Biggr]^{k}. \end{aligned}
(17)
By Lemma 2.4 (let $$r_{i}=k$$) and (17) we have
\begin{aligned}& \prod_{i=1}^{k}\lambda _{[n-i+1]} \bigl[P(t)\bigr] \\& \quad \geq \Biggl[\prod_{i=1}^{k} \bigl(e^{2\int _{t_{0}}^{t}\operatorname{Re} \widetilde{a}_{n-i+1,n-i+1}(\xi )\,d\xi } \lambda _{[n-i+1]}\bigl[P(t_{0})\bigr] \bigr) ^{\frac{1}{k}} \\& \qquad {} + \int _{t_{0}}^{t}\prod_{i=1}^{k}e^{\frac{2}{k}\int _{\tau }^{t}\operatorname{Re}\widetilde{a}_{n-i+1,n-i+1}(\xi )\,d\xi } \bigl(\widetilde{q} _{n-i+1,n-i+1}(\tau )\bigr)^{\frac{1}{k}}\,d\tau \Biggr]^{k} \\& \quad = \Biggl[ \Biggl(e^{2\int _{t_{0}}^{t}\sum _{i=1}^{k}\operatorname{Re} \widetilde{a}_{n-i+1,n-i+1}(\xi )\,d\xi }\prod_{i=1}^{k} \lambda _{[n-i+1]}\bigl[P(t_{0})\bigr] \Biggr)^{\frac{1}{k}} \\& \qquad {}+ \int _{t_{0}}^{t}e^{\frac{2}{k}\int _{\tau }^{t}\sum _{i=1}^{k}\operatorname{Re}\widetilde{a}_{n-i+1,n-i+1}(\xi )\,d\xi } \Biggl(\prod _{i=1} ^{k}\widetilde{q}_{n-i+1,n-i+1}( \tau )\Biggr)^{\frac{1}{k}}\,d\tau \Biggr] ^{k} \\& \quad \geq \Biggl[ \Biggl(e^{2\int _{t_{0}}^{t}\sum _{i=1}^{k}\operatorname{Re} \widetilde{a}_{[n-i+1,n-i+1]}(\xi )\,d\xi } \prod_{i=1}^{k} \lambda _{[n-i+1]}\bigl[P(t_{0})\bigr] \Biggr)^{\frac{1}{k}} \\& \qquad {}+ \int _{t_{0}}^{t}e^{\frac{2}{k}\int _{\tau }^{t}\sum _{i=1}^{k}\operatorname{Re}\widetilde{a}_{[n-i+1,n-i+1]}(\xi )\,d\xi } \Biggl(\prod _{i=1}^{k}\widetilde{q}_{[n-i+1,n-i+1]}( \tau )\Biggr)^{\frac{1}{k}}\,d\tau\Biggr] ^{k}. \end{aligned}
(18)
From Lemma 2.5 we have
\begin{aligned}& \bigl(2\operatorname{Re}\widetilde{a}_{[nn]}(\xi ),\ldots ,2 \operatorname{Re}\widetilde{a}_{[n-k+1,n-k+1]}( \xi ) \bigr) \\& \quad \prec ^{w} \bigl( \lambda _{[n]}\bigl[\widetilde{A}( \xi )+\widetilde{A} ^{H}(\xi )\bigr],\ldots , \lambda _{[n-k+1]} \bigl[\widetilde{A}(\xi )+ \widetilde{A}^{H}(\xi )\bigr] \bigr). \end{aligned}
Then by Lemma 2.6
\begin{aligned}& \bigl(e^{2\int _{t_{0}}^{t}\operatorname{Re}\widetilde{a}_{[nn]}(\xi )\,d\xi }, \ldots , e^{2\int _{t_{0}}^{t}\operatorname{Re}\widetilde{a}_{[n-k+1,n-k+1]}(\xi )\,d\xi } \bigr) \\& \quad \prec ^{w} \bigl( e^{\int _{t_{0}}^{t}\lambda _{[n]}[\widetilde{A}( \xi )+\widetilde{A}^{H}(\xi )]\,d\xi },\ldots , e^{\int _{t_{0}}^{t} \lambda _{[n-k+1]}[\widetilde{A}(\xi )+\widetilde{A}^{H}(\xi )]\,d\xi } \bigr), \end{aligned}
that is,
$$e^{2\int _{t_{0}}^{t}\sum _{i=1}^{k}\operatorname{Re}\widetilde{a}_{[n-i+1,n-i+1]}( \xi )\,d\xi }\geq e^{\int _{t_{0}}^{t}\sum _{i=1}^{k}\lambda _{[n-i+1]}[ \widetilde{A}(\xi )+\widetilde{A}^{H}(\xi )]\,d\xi }.$$
(19)
By Lemma 2.5 we have
$$\bigl(\widetilde{q}_{[nn]}(\tau ),\ldots ,\widetilde{q}_{[n-k+1,n-k+1]}( \tau ) \bigr)\prec ^{w} \bigl(\lambda _{[n]}\bigl[ \widetilde{Q}(\tau )\bigr], \ldots , \lambda _{[n-k+1]}\bigl[\widetilde{Q}( \tau )\bigr] \bigr).$$
Using Lemma 2.7, we obtain
$$\prod_{i=1}^{k}\widetilde{q}_{[n-i+1,n-i+1]}( \tau )\geq \prod_{i=1}^{k}\lambda _{[n-i+1]}\bigl[\widetilde{Q}(\tau )\bigr].$$
(20)
By (11), substituting (19) and (20) into (18), we have
\begin{aligned}& \prod_{i=1}^{k}\lambda _{[n-i+1]} \bigl[P(t)\bigr] \\& \quad \geq \Biggl[ \Biggl(e^{\int _{t_{0}}^{t}\sum _{i=1}^{k} \lambda _{[n-i+1]}[\widetilde{A}(\xi )+\widetilde{A}^{H}(\xi )]\,d\xi } \prod_{i=1}^{k} \lambda _{[n-i+1]}\bigl[P(t_{0})\bigr] \Biggr)^{ \frac{1}{k}} \\& \qquad {} + \int _{t_{0}}^{t}e^{\frac{1}{k}\int _{\tau }^{t}\sum _{i=1}^{k}\lambda _{[n-i+1]}[\widetilde{A}(\xi )+\widetilde{A}^{H}( \xi )]\,d\xi } \Biggl(\prod _{i=1}^{k}\lambda _{[n-i+1]}\bigl[ \widetilde{Q}(\tau )\bigr] \Biggr)^{\frac{1}{k}}\,d\tau \Biggr]^{k} \\& \quad = \Biggl[ \Biggl(e^{\int _{t_{0}}^{t}\sum _{i=1}^{k} \lambda _{[n-i+1]}[A(\xi )+A^{H}(\xi )]\,d\xi }\prod_{i=1}^{k} \lambda _{[n-i+1]}\bigl[P(t_{0})\bigr] \Biggr)^{\frac{1}{k}} \\& \qquad {} + \int _{t_{0}}^{t} \Biggl(e^{\int _{\tau }^{t}\sum _{i=1} ^{k}\lambda _{[n-i+1]}[A(\xi )+{A}^{H}(\xi )]\,d\xi } \prod _{i=1} ^{k}\lambda _{[n-i+1]}\bigl[Q( \tau )\bigr] \Biggr)^{\frac{1}{k}}\,d\tau\Biggr] ^{k}, \end{aligned}
which completes the proof. □

By Theorem 3.1 we easily get the following result.

Theorem 3.2

Let$$P(t)$$be a Hermitian positive semidefinite solution of (1). Then for any$$k=1,\ldots , n$$and$$t\geq t _{0}$$,
\begin{aligned} \prod_{i=1}^{k}\lambda _{[n-i+1]} \bigl[P(t)\bigr] \geq & e^{\int _{t_{0}} ^{t}\sum _{i=1}^{k}\lambda _{[n-i+1]}[A(\xi )+A^{H}(\xi )]\,d\xi }\prod_{i=1}^{k} \lambda _{[n-i+1]}\bigl[P(t_{0})\bigr] \\ &{}+ \Biggl[ \int _{t_{0}}^{t} \Biggl(e^{\int _{\tau }^{t}\sum _{i=1} ^{k}\lambda _{[n-i+1]}[A(\xi )+{A}^{H}(\xi )]\,d\xi } \prod _{i=1} ^{k}\lambda _{[n-i+1]}\bigl[Q( \tau )\bigr] \Biggr)^{\frac{1}{k}}\,d\tau \Biggr] ^{k}. \end{aligned}
(21)

By Theorems 3.1 and 3.2 we immediately get the following corollaries.

Corollary 3.1

Let$$P(t)$$be a Hermitian positive semidefinite solution of (1). Then for any$$k=1,\ldots , n$$and$$t\geq t _{0}$$,
\begin{aligned} \operatorname{det}\bigl[P(t)\bigr] \geq & \biggl[ \bigl(e^{\int _{t_{0}}^{t}\operatorname{tr}[A(\xi )+A ^{H}(\xi )]\,d\xi } \operatorname{det}\bigl[P(t_{0})\bigr] \bigr)^{\frac{1}{n}} \\ &{}+ \int _{t_{0}}^{t} \bigl(e^{\int _{\tau }^{t}\operatorname{tr}[A(\xi )+A^{H}( \xi )]\,d\xi } \operatorname{det}\bigl[Q(\tau )\bigr] \bigr)^{\frac{1}{n}}\,d\tau \biggr] ^{n}. \end{aligned}
(22)

Corollary 3.2

Let$$P(t)$$be a Hermitian positive semidefinite solution of (1). Then for any$$k=1,\ldots , n$$and$$t\geq t _{0}$$,
\begin{aligned} \operatorname{det}\bigl[P(t)\bigr] \geq &e^{\int _{t_{0}}^{t}\operatorname{tr} [A(\xi )+A^{H}(\xi )]\,d\xi }\operatorname{det} \bigl[P(t_{0})\bigr] \\ &{} + \biggl( \int _{t_{0}}^{t}e^{\frac{1}{n} \int _{\tau }^{t}\operatorname{tr}[A(\xi )+A^{H}(\xi )]\,d\xi } \bigl( \operatorname{det}\bigl[Q( \tau )\bigr] \bigr)^{\frac{1}{n}}\,d\tau \biggr)^{n}. \end{aligned}
(23)

4 Upper bounds on eigenvalue product

In this section, we offer some new upper bounds on the eigenvalue product of the solution for the Lyapunov matrix differential equation (1).

Theorem 4.1

Let$$P(t)$$be a Hermitian positive definite solution of (1). Then for any$$k=1,\ldots , n$$and$$t\geq t _{0}$$,
\begin{aligned} \prod_{i=1}^{k}\lambda _{[i]} \bigl[P(t)\bigr] \leq & e^{\int _{t_{0}}^{t} \sum _{i=1}^{k}\lambda _{[i]}[A(\xi )+A^{H}(\xi )]\,d\xi } \prod_{i=1}^{k} \lambda _{[i]}\bigl[P(t_{0})\bigr] \\ &{}\cdot \biggl(1 +\frac{\sum_{i=1}^{k}\lambda _{[k-i+1]}^{-1}[P(t _{0})]\int _{t_{0}}^{t}e^{-\int _{t_{0}}^{\tau }\lambda _{[n]}[A(\xi )+ A ^{H}(\xi )]\,d\xi }\lambda _{[i]}[Q(\tau )]\,d\tau }{k} \biggr)^{k} \\ =& l_{k}(t). \end{aligned}
(24)

Proof

By (16) we get
\begin{aligned}& \prod_{i=1}^{k}\lambda _{[i]} \bigl[P(t)\bigr] \\& \quad = \prod_{i=1}^{k} \biggl[e^{2\int _{t_{0}}^{t}\operatorname{Re}[\widetilde{a}_{ii}(\xi )]\,d\xi }\lambda _{[i]}\bigl[P(t_{0})\bigr] + \int _{t_{0}}^{t}e^{2\int _{\tau }^{t}\operatorname{Re}[ \widetilde{a}_{ii}(\xi )]\,d\xi }\widetilde{q}_{ii}( \tau )\,d\tau \biggr] \\& \quad = \prod_{i=1}^{k} \bigl(e^{2\int _{t_{0}}^{t}\operatorname{Re}[\widetilde{a} _{ii}(\xi )]\,d\xi }\lambda _{[i]}\bigl[P(t_{0})\bigr] \bigr) \\& \qquad {}\cdot \prod_{i=1}^{k} \biggl(1+ \lambda _{[i]}^{-1}\bigl[P(t_{0})\bigr] \int _{t_{0}}^{t}e^{-2 \int _{t_{0}}^{\tau }\operatorname{Re}[\widetilde{a}_{ii}(\xi )]\,d\xi } \widetilde{q} _{ii}(\tau )\,d\tau \biggr) \\& \quad =e^{2\int _{t_{0}}^{t}\sum _{i=1}^{k}\operatorname{Re}[\widetilde{a}_{ii}( \xi )]\,d\xi } \prod_{i=1}^{k} \lambda _{[i]}\bigl[P(t_{0})\bigr] \\& \qquad {}\cdot \prod _{i=1}^{k} \biggl(1 +\lambda _{[i]}^{-1} \bigl[P(t_{0})\bigr] \int _{t _{0}}^{t}e^{-2\int _{t_{0}}^{\tau }\operatorname{Re}[\widetilde{a}_{ii}(\xi )]\,d\xi } \widetilde{q}_{ii}(\tau )\,d\tau \biggr). \end{aligned}
(25)
By Lemma 2.5 we get
$$\lambda _{[n]} \bigl[\widetilde{A}(\xi )+\widetilde{A}^{H}( \xi ) \bigr] \leq 2\operatorname{Re}\bigl(\widetilde{a}_{[nn]}(\xi ) \bigr)\leq 2\operatorname{Re}\bigl[\widetilde{a}_{ii}( \xi )\bigr].$$
Then
$$e^{-\int _{t_{0}}^{\tau }\lambda _{[n]} [\widetilde{A}(\xi )+ \widetilde{A}^{H}(\xi ) ]\,d\xi }\geq e^{-\int _{t_{0}}^{\tau }2\operatorname{Re}( \widetilde{a}_{[nn]}(\xi ))\,d\xi }\geq e^{-\int _{t_{0}}^{\tau }2\operatorname{Re}[ \widetilde{a}_{ii}(\xi )]\,d\xi }.$$
(26)
Substituting (26) into (25) gives
\begin{aligned}& \prod_{i=1}^{k}\lambda _{[i]} \bigl[P(t)\bigr] \\& \quad \leq e^{2\int _{t_{0}}^{t}\sum _{i=1}^{k}\operatorname{Re}[\widetilde{a}_{ii}( \xi )]\,d\xi } \prod_{i=1}^{k} \lambda _{[i]}\bigl[P(t_{0})\bigr] \\& \qquad {}\cdot \prod _{i=1}^{k} \biggl(1 +\lambda _{[i]}^{-1} \bigl[P(t_{0})\bigr] \int _{t _{0}}^{t}e^{-\int _{t_{0}}^{\tau }\lambda _{[n]} [\widetilde{A}(\xi )+ \widetilde{A}^{H}(\xi )]\,d\xi }\widetilde{q}_{ii}( \tau )\,d\tau \biggr) \\& \quad \leq e^{2\int _{t_{0}}^{t}\sum _{i=1}^{k}\operatorname{Re}[\widetilde{a}_{[ii]}( \xi )]\,d\xi } \prod_{i=1}^{k} \lambda _{[i]}\bigl[P(t_{0})\bigr] \\& \qquad {}\cdot \prod _{i=1}^{k} \biggl(1 +\lambda _{[i]}^{-1} \bigl[P(t_{0})\bigr] \int _{t _{0}}^{t}e^{-\int _{t_{0}}^{\tau }\lambda _{[n]} [\widetilde{A}(\xi )+ \widetilde{A}^{H}(\xi )]\,d\xi }\widetilde{q}_{[ii]}( \tau )\,d\tau \biggr). \end{aligned}
(27)
From Lemma 2.5 we have
\begin{aligned}& \bigl(2\operatorname{Re}\widetilde{a}_{}(\xi ),\ldots ,2 \operatorname{Re}\widetilde{a}_{[kk]}( \xi ) \bigr) \\& \quad \prec _{w} \bigl( \lambda _{}\bigl[\widetilde{A}( \xi )+\widetilde{A} ^{H}(\xi )\bigr],\ldots , \lambda _{[k]} \bigl[\widetilde{A}(\xi )+\widetilde{A} ^{H}(\xi )\bigr] \bigr). \end{aligned}
Then by Lemma 2.6 we have
\begin{aligned}& \bigl(e^{2\int _{t_{0}}^{t}\operatorname{Re}\widetilde{a}_{}(\xi )\,d\xi }, \ldots , e^{2\int _{t_{0}}^{t}\operatorname{Re}\widetilde{a}_{[kk]}(\xi )\,d\xi } \bigr) \\& \quad \prec _{w} \bigl( e^{\int _{t_{0}}^{t}\lambda _{}[\widetilde{A}( \xi )+\widetilde{A}^{H}(\xi )]\,d\xi },\ldots , e^{\int _{t_{0}}^{t} \lambda _{[k]}[\widetilde{A}(\xi )+\widetilde{A}^{H}(\xi )]\,d\xi } \bigr), \end{aligned}
that is,
$$e^{2\int _{t_{0}}^{t}\sum _{i=1}^{k}\operatorname{Re}\widetilde{a}_{[ii]}( \xi )\,d\xi }\leq e^{\int _{t_{0}}^{t}\sum _{i=1}^{k}\lambda _{[i]}[ \widetilde{A}(\xi )+\widetilde{A}^{H}(\xi )]\,d\xi }.$$
(28)
By Lemma 2.5 we have
$$\bigl(\widetilde{q}_{}(\tau ),\ldots ,\widetilde{q}_{[kk]}( \tau ) \bigr)\prec _{w} \bigl(\lambda _{}\bigl[ \widetilde{Q}(\tau )\bigr], \ldots ,\lambda _{[k]}\bigl[\widetilde{Q}( \tau )\bigr] \bigr).$$
Using Lemma 2.7, we obtain
$$\prod_{i=1}^{k}\widetilde{q}_{[ii]}( \tau )\leq \prod_{i=1}^{k}\lambda _{[i]}\bigl[\widetilde{Q}(\tau )\bigr].$$
(29)
Substituting (28) and (29) into (27), by Lemma 2.8 we get
\begin{aligned} \prod_{i=1}^{k}\lambda _{[i]} \bigl[P(t)\bigr] \leq & e^{\int _{t_{0}}^{t} \sum _{i=1}^{k}\lambda _{[i]}[\widetilde{A}(\xi )+\widetilde{A} ^{H}(\xi )]\,d\xi } \prod_{i=1}^{k} \lambda _{[i]}\bigl[P(t_{0})\bigr] \\ &{}\cdot \prod_{i=1}^{k} \biggl(1 + \lambda _{[k-i+1]}^{-1}\bigl[P(t _{0})\bigr] \int _{t_{0}}^{t}e^{-\int _{t_{0}}^{\tau }\lambda _{[n]} [\widetilde{A}( \xi ) +\widetilde{A}^{H}(\xi ) ]\,d\xi }\widetilde{q}_{[ii]}( \tau )\,d\tau \biggr). \end{aligned}
(30)
Applying Lemma 2.9 to (30), we get
\begin{aligned} \prod_{i=1}^{k}\lambda _{[i]} \bigl[P(t)\bigr] \leq & e^{\int _{t_{0}}^{t} \sum _{i=1}^{k}\lambda _{[i]}[\widetilde{A}(\xi )+\widetilde{A} ^{H}(\xi )]\,d\xi } \prod_{i=1}^{k} \lambda _{[i]}\bigl[P(t_{0})\bigr] \\ &{}\cdot \biggl(1 +\frac{\sum_{i=1}^{k}\lambda _{[k-i+1]}^{-1}[P(t _{0})]\int _{t_{0}}^{t}e^{-\int _{t_{0}}^{\tau }\lambda _{[n]} [\widetilde{A}( \xi )+ \widetilde{A}^{H}(\xi ) ]\,d\xi }\widetilde{q}_{[ii]}( \tau )\,d\tau }{k} \biggr)^{k}. \end{aligned}
(31)
By (31) let
$$u_{[i]}=\lambda _{[k-i+1]}^{-1}\bigl[P(t_{0}) \bigr]\cdot e^{-\int _{t_{0}}^{ \tau }\lambda _{[n]} [\widetilde{A}(\xi )+\widetilde{A}^{H}( \xi ) ]\,d\xi }, \qquad x_{[i]}=\widetilde{q}_{[ii]}( \tau ), \qquad y_{[i]}=\lambda _{[i]}\bigl[\widetilde{Q}(\tau )\bigr]$$
in Lemma 2.10. Then
\begin{aligned} \prod_{i=1}^{k}\lambda _{[i]} \bigl[P(t)\bigr] \leq & e^{\int _{t_{0}}^{t} \sum _{i=1}^{k}\lambda _{[i]}[\widetilde{A}(\xi )+\widetilde{A} ^{H}(\xi )]\,d\xi } \prod_{i=1}^{k} \lambda _{[i]}\bigl[P(t_{0})\bigr] \\ &{}\cdot \biggl(1 +\frac{\sum_{i=1}^{k}\lambda _{[k-i+1]}^{-1}[P(t _{0})]\int _{t_{0}}^{t}e^{-\int _{t_{0}}^{\tau }\lambda _{[n]} [\widetilde{A}( \xi )+ \widetilde{A}^{H}(\xi ) ]\,d\xi }\lambda _{[i]}[ \widetilde{Q}(\tau )]\,d\tau }{k} \biggr)^{k}. \end{aligned}
(32)
In terms of (11) and (32), we get
\begin{aligned} \prod_{i=1}^{k}\lambda _{[i]} \bigl[P(t)\bigr] \leq & e^{\int _{t_{0}}^{t} \sum _{i=1}^{k}\lambda _{[i]}[A(\xi )+A^{H}(\xi )]\,d\xi } \prod_{i=1}^{k} \lambda _{[i]}\bigl[P(t_{0})\bigr] \\ &{}\cdot \biggl(1 +\frac{\sum_{i=1}^{k}\lambda _{[k-i+1]}^{-1}[P(t _{0})]\int _{t_{0}}^{t}e^{-\int _{t_{0}}^{\tau }\lambda _{[n]} [A( \xi )+ A^{H}(\xi ) ]\,d\xi }\lambda _{[i]}[Q(\tau )]\,d\tau }{k} \biggr)^{k}, \end{aligned}
which completes the proof. □

By Theorem 4.1 we immediately have the following corollary.

Corollary 4.1

Let$$P(t)$$be a Hermitian positive definite solution of (1). Then for any$$k=1,\ldots , n$$and$$t\geq t _{0}$$,
\begin{aligned} \det\bigl[P(t)\bigr] \leq & e^{\int _{t_{0}}^{t}\operatorname{tr}[A(\xi )+A^{H}(\xi )]\,d\xi } \cdot \det \bigl[P(t_{0}) \bigr] \\ &{}\cdot \biggl(1 +\frac{\sum_{i=1}^{n}\lambda _{[n-i+1]}^{-1}[P(t _{0})]\int _{t_{0}}^{t}e^{-\int _{t_{0}}^{\tau }\lambda _{[n]} (A( \xi )+ A^{H}(\xi ) )\,d\xi }\lambda _{[i]}[Q(\tau )]\,d\tau }{n} \biggr) ^{n}. \end{aligned}
(33)

5 The stability analysis of a class of time-varying nonlinear systems

In this section, we give an application of our eigenvalue bounds in a class of time-varying nonlinear systems. The time-varying nonlinear systems have wide applications in control and optimization, such as quantum mechanics, solid mechanics, parameter identification, electrical systems, and automatic control systems and can be used to discuss the stability of the time-varying nonlinear system (2). Next, we show that our eigenvalue bounds can be used to discuss the stability of a class of time-varying nonlinear systems.

For system (2), take
$$\Delta f\bigl(x(t),\varPhi (t)\bigr)= \bigl\Vert x(t) \bigr\Vert ^{2}P(t)EC_{k}\bigl(P(t)\bigr)E^{T}x(t)+B(t) \varPhi (t)r(t),$$
where $$C_{k}(P(t))$$ denotes the kth compound matrix of $$P(t)$$, $$P(t)$$ is the positive definite solution of the Lyapunov matrix differential equation (1)
$$\dot{P}(t)=A^{H}(t)P(t)+P(t)A(t)+Q(t),$$
and $$E=(I_{n}\ 0)$$ is an $$n\times C^{k}_{n}$$th matrix. For E, we have the following three special conditions:
1. (i)

When $$k=1$$, $$C_{1}(P(t))=P(t)$$, and E is the identity matrix.

2. (ii)

When $$k=n-1$$, E is the identity matrix.

3. (iii)

When $$k=n$$, $$C_{n}(P(t))=\det (P(t))$$, and $$E=1$$.

In the following theorem, we give a condition under which the time-varying nonlinear system (2) is uniformly asymptotic stable.

Theorem 5.1

For the time-varying nonlinear system (2), if
$$\frac{-1}{l^{2}_{1}(t)}+2 \bigl\Vert x(t) \bigr\Vert ^{2}l_{k}(t)< 0,$$
(34)
then the large range for system (2) is uniformly asymptotically stable, where$$l_{k}(t)$$ ($$k=1,\ldots ,n$$) are defined by Theorem 4.1.

Proof

Choose the Lyapunov function
$$V\bigl[x(t),t\bigr]=x^{T}(t)P^{-1}(t)x(t)+\operatorname{tr} \bigl(\varPhi ^{T}(t)R^{-1}\varPhi (t)\bigr).$$
Then
\begin{aligned} \dot{V}\bigl[x(t),t\bigr] =&\dot{x}^{T}(t)P^{-1}(t)x(t)+x^{T}(t) \dot{P}^{-1}(t)x(t)+x ^{T}(t)P^{-1}(t)\dot{x}(t) \\ &{}+\operatorname{tr}\bigl(\dot{\varPhi }^{T}(t)R^{-1}\varPhi (t) \bigr)+\operatorname{tr}\bigl(\varPhi ^{T}(t)R ^{-1}\dot{\varPhi }(t) \bigr). \end{aligned}
(35)
As $$P(t)$$ is positive definite, we have $$P(t)P^{-1}(t)=I$$. Hence
$$\dot{P}(t)P^{-1}(t)+P(t)\dot{P}^{-1}(t)=0,$$
which means that
$$\dot{P}^{-1}(t)=-P^{-1}(t)\dot{P}(t)P^{-1}(t).$$
(36)
Substituting (1), (2), and (36) into (35) yields
\begin{aligned} \dot{V}\bigl[x(t),t\bigr] =&\dot{x}^{T}(t)P^{-1}(t)x(t)+x^{T}(t) \dot{P}^{-1}(t)x(t)+x ^{T}(t)P^{-1}(t)\dot{x}(t) \\ &{}+\operatorname{tr}\bigl(\dot{\varPhi }^{T}(t)R^{-1} \varPhi (t)\bigr)+\operatorname{tr}\bigl(\varPhi ^{T}(t)R ^{-1}\dot{ \varPhi }(t)\bigr) \\ =&\bigl[A(t)x(t)+\Delta f\bigl(x(t),\varPhi (t)\bigr) \bigr]^{T}P^{-1}(t)x(t)-x^{T}(t)\bigl[P^{-1}(t) \dot{P}(t)P^{-1}(t)\bigr]x(t) \\ &{}+x^{T}(t)P^{-1}(t)\bigl[A(t)x(t)+\Delta f \bigl(x(t),\varPhi (t)\bigr)\bigr] \\ &{}-\operatorname{tr}\bigl\{ \bigl[RB ^{T}(t)P(t)x(t)r(t)^{T}\bigr]^{T}R^{-1} \varPhi (t)\bigr\} \\ &{}-\operatorname{tr}\bigl\{ \varPhi ^{T}(t)R^{-1} \bigl[RB^{T}(t)P(t)x(t)r(t)^{T}\bigr]\bigr\} \\ =&\bigl[A(t)x(t)+ \bigl\Vert x(t) \bigr\Vert ^{2}P(t)EC_{k} \bigl(P(t)\bigr)E^{T}x(t)+B(t)\varPhi (t)r(t)\bigr]^{T}P ^{-1}(t)x(t) \\ &{}-x^{T}(t)\bigl[P^{-1}(t)\bigl[A^{H}(t)P(t)+P(t)A(t)+Q(t) \bigr]P^{-1}(t)\bigr]x(t) \\ &{}+x^{T}(t)P^{-1}(t)\bigl[A(t)x(t)+ \bigl\Vert x(t) \bigr\Vert ^{2}P(t)EC_{k}\bigl(P(t) \bigr)E^{T}x(t)+B(t) \varPhi (t)r(t)\bigr] \\ &{}-\operatorname{tr}\bigl\{ \bigl[RB^{T}(t)P(t)x(t)r(t)^{T} \bigr]^{T}R^{-1}\varPhi (t)\bigr\} \\ &{}- \operatorname{tr}\bigl\{ \varPhi ^{T}(t)R^{-1}\bigl[RB^{T}(t)P(t)x(t)r(t)^{T} \bigr]\bigr\} \\ =&-x^{T}(t)P^{-1}(t)Q(t)P^{-1}(t)x(t)+2x^{T}(t)EC_{k} \bigl(P(t)\bigr)E^{T}x(t) \cdot \bigl\Vert x(t) \bigr\Vert ^{2}. \end{aligned}
(37)
Applying Lyapunov stability theory, a sufficient condition of uniform asymptotic stability in large range for system (2) is that, for any $$x(t)\neq 0$$,
$$\dot{V}\bigl[x(t),t\bigr]< 0.$$
Using Theorem 4.1, we get
$$\lambda _{}\bigl[P(t)\bigr]\leq l_{1}(t)$$
(38)
and
$$\prod_{i=1}^{k}\lambda _{[i]} \bigl[P(t)\bigr]\leq l_{k}(t).$$
(39)
In terms of (37), (38), and (39), since $$Q(t)=I$$, using Lemma 2.11, we obtain
\begin{aligned} \dot{V}\bigl[x(t),t\bigr] =&-x^{T}(t)P^{-1}(t)QP^{-1}(t)x(t)+2x^{T}(t)EC_{k} \bigl(P(t)\bigr)E ^{T}x(t)\cdot \bigl\Vert x(t) \bigr\Vert ^{2} \\ \leq & -\lambda _{n}\bigl[\bigl(P(t)\bigr)^{-1}I \bigl(P(t)\bigr)^{-1}\bigr]\cdot \bigl\Vert x(t) \bigr\Vert ^{2}+2 \lambda _{1}\bigl[C_{k}\bigl(P(t)\bigr) \bigr]\cdot \bigl\Vert x(t) \bigr\Vert ^{4} \\ \leq &\frac{-1}{\lambda ^{2}_{1}(P(t))}+2 \bigl\Vert x(t) \bigr\Vert ^{2}\prod_{i=1} ^{k}\lambda _{i}\bigl(P(t)\bigr) \\ \leq &\frac{-1}{l^{2}_{1}(t)}+2 \bigl\Vert x(t) \bigr\Vert ^{2}l_{k}(t). \end{aligned}
(40)
If condition (34) is satisfied, then substitution of (34) into (40) yields
$$\dot{V}\bigl[x(t),t\bigr]< 0.$$
Hence, using Lyapunov stability theory, the large range for system (2) is uniformly asymptotically stable. □

Remark 5.1

For Theorem 5.1, we have the following three special conditions:
1. (i)
When $$k=1$$, $$C_{1}(P(t))=P(t)$$, and E is the identity matrix. For system (2), take
$$\Delta f\bigl(x(t),\varPhi (t)\bigr)= \bigl\Vert x(t) \bigr\Vert ^{2}P^{2}(t)x(t)+B(t)\varPhi (t)r(t).$$
If
$$\frac{-1}{l^{2}_{1}(t)}+2 \bigl\Vert x(t) \bigr\Vert ^{2}l_{1}(t)< 0,$$
(41)
then system (2) is uniformly asymptotically stable, where $$l_{1}(t)$$ is defined in Theorem 4.1.

2. (ii)
When $$k=n-1$$, E is the identity matrix. For system (2), take
$$\Delta f\bigl(x(t),\varPhi (t)\bigr)= \bigl\Vert x(t) \bigr\Vert ^{2}P(t)C_{n-1}\bigl(P(t)\bigr)x(t)+B(t)\varPhi (t)r(t).$$
If
$$\frac{-1}{l^{2}_{1}(t)}+2 \bigl\Vert x(t) \bigr\Vert ^{2}l_{n-1}(t)< 0,$$
(42)
then system (2) is uniformly asymptotically stable, where $$l_{1}(t)$$ and $$l_{n-1}(t)$$ are defined in Theorem 4.1.

3. (iii)
When $$k=n$$, $$C_{n}(P(t))=\det (P(t))$$ and $$E=1$$. For system (2), take
$$\Delta f\bigl(x(t),\varPhi (t)\bigr)= \bigl\Vert x(t) \bigr\Vert ^{2}\det \bigl(P(t)\bigr)P(t)x(t)+B(t)\varPhi (t)r(t).$$
If
$$\frac{-1}{l^{2}_{1}(t)}+2 \bigl\Vert x(t) \bigr\Vert ^{2}l_{n}(t)< 0,$$
(43)
then system (2) is uniformly asymptotically stable, where $$l_{1}(t)$$ and $$l_{n}(t)$$ are defined in Theorem 4.1.

6 A numerical example

In this section, we demonstrate the effectiveness of our results and compare our eigenvalue bounds with those of the previous results by a real application example.

Example 6.1

Consider the time-varying nonlinear system (2) with
$$A(t)= \begin{pmatrix} 0 & \frac{2}{3t} & 0 \\ -\frac{1}{3t} & \frac{1}{4t} & 0 \\ 0 & 0 & \frac{3}{8t} \end{pmatrix}, \qquad R= \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}, \qquad B(t)= \begin{pmatrix} 1 &0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix},$$
where $$x(t), r(t)\in \mathbb{C}^{3}$$ and
$$Q(t)= \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}.$$
Choosing $$t_{0}=\frac{1}{16}$$, we have
$$P(t_{0})= \begin{pmatrix} \frac{1}{16} & 0 & 0 \\ 0 & \frac{1}{8} & 0 \\ 0 & 0 & \frac{1}{4} \end{pmatrix}.$$
The solution of (1) can be expressed as
$$P(t)=e^{A^{T}(t-t_{0})}P(t_{0})e^{A(t-t_{0})}+ \int _{t_{0}}^{t}e^{A ^{T}(t-\tau )}Q(\tau )e^{A(t-\tau )}\,d\tau .$$
(44)
Using Mathematical tool and (44), we get that
$$P(t)= \begin{pmatrix} P_{11} &0&0 \\ 0 & P_{22} & 0 \\ 0 & 0 & P_{33} \end{pmatrix},$$
where
\begin{aligned}& P_{11} = \frac{-4879 + 4096 e^{\frac{t^{2}}{4}} + 64 e^{ \frac{t^{2}}{4}} t + e^{\frac{t^{2}}{4}} (783 + 55 t) \operatorname{Cos}(\frac{ \sqrt{119} t^{2}}{12}) - 3 \sqrt{119} e^{\frac{t^{2}}{4}} (-23 + t) \operatorname{Sin}(\frac{\sqrt{119} t^{2}}{12})}{1904t}, \\& P_{22} = \frac{16 (-119 + 4 e^{\frac{t^{2}}{4}}(32 + t)) + e^{\frac{t ^{2}}{4}} (-144 + 55 t) \operatorname{Cos}(\frac{\sqrt{119} t^{2}}{12}) + 3 \sqrt{119} e^{\frac{t^{2}}{4}} (16 + t) \operatorname{Sin}(\frac{ \sqrt{119} t^{2}}{12})}{952 t}, \\& P_{33} = \frac{-16 + e^{\frac{3 t^{2}}{4}}(16 + 3 t)}{12 t}. \end{aligned}
Obviously, when $$t>0$$, $$P(t)$$ is positive definite.
(i) First, we show that the eigenvalue bounds for $$P(t)$$ have wide applications in the time-varying nonlinear systems. Using Theorem 4.1, we get
\begin{aligned}& \lambda _{}\bigl[P(t)\bigr] \leq \frac{1+4t}{4}t^{\frac{3}{4}}=l_{1}(t), \\& \prod_{i=1}^{2}\lambda _{[i]} \bigl[P(t)\bigr] \leq 2^{\frac{2}{3}}t^{ \frac{17}{12}}\cdot \biggl( \frac{9}{7}\cdot 2^{-\frac{8}{3}}t^{\frac{7}{6}}+ \frac{19}{28} \biggr)^{2}=l_{2}(t), \\& \prod_{i=1}^{3}\lambda _{[i]} \bigl[P(t)\bigr] \leq \frac{1}{16}t^{ \frac{5}{4}}\biggl(2^{\frac{11}{3}}t^{\frac{7}{6}}+ \frac{1}{2}\biggr)^{3}=l_{3}(t). \end{aligned}
1. (1)
When $$k=1$$, take
$$\Delta f\bigl(x(t),\varPhi (t)\bigr)= \bigl\Vert x(t) \bigr\Vert ^{2}P^{2}(t)x(t)+B(t)\varPhi (t)r(t).$$
If
$$\frac{-1}{l^{2}_{1}(t)}+2 \bigl\Vert x(t) \bigr\Vert ^{2}l_{1}(t)= -\frac{16}{(1+4t)^{2}t ^{\frac{3}{2}}}+ \bigl\Vert x(t) \bigr\Vert ^{2} \frac{1+4t}{2}t^{\frac{3}{4}}< 0,$$
then using Theorem 5.1, we get that system (2) is uniformly asymptotically stable.

2. (2)
When $$k=2$$, take
$$\Delta f\bigl(x(t),\varPhi (t)\bigr)= \bigl\Vert x(t) \bigr\Vert ^{2}P(t)C_{2}\bigl(P(t)\bigr)x(t)+B(t)\varPhi (t)r(t).$$
If
$$\frac{-1}{l^{2}_{1}(t)}+2 \bigl\Vert x(t) \bigr\Vert ^{2}l_{2}(t)=- \frac{16}{(1+4t)^{2}t ^{\frac{3}{2}}}+2 \bigl\Vert x(t) \bigr\Vert ^{2}2^{\frac{2}{3}}t^{\frac{17}{12}} \cdot \biggl( \frac{9}{7}\cdot 2^{-\frac{8}{3}}t^{\frac{7}{6}}+ \frac{19}{28}\biggr)^{2}< 0,$$
then using Theorem 5.1, we get that system (2) is uniformly asymptotically stable.

3. (3)
When $$k=3$$, take
$$\Delta f\bigl(x(t),\varPhi (t)\bigr)= \bigl\Vert x(t) \bigr\Vert ^{2}\det \bigl(P(t)\bigr)P(t)x(t)+B(t)\varPhi (t)r(t).$$
If
$$\frac{-1}{l^{2}_{1}(t)}+2 \bigl\Vert x(t) \bigr\Vert ^{2}l_{3}(t)=- \frac{16}{(1+4t)^{2}t ^{\frac{3}{2}}}+ \bigl\Vert x(t) \bigr\Vert ^{2} \frac{1}{8}t^{\frac{5}{4}}\biggl(2^{ \frac{11}{3}}t^{\frac{7}{6}}+ \frac{1}{2}\biggr)^{3}< 0,$$
then using Theorem 5.1, we get that system (2) is uniformly asymptotically stable.

(ii) Next, we give our upper and lower eigenvalue bounds.

If $$k=2$$, then by Theorems 3.2 and 4.1 we obtain
\begin{aligned}& \prod_{i=1}^{2}\lambda _{[n-i+1]} \bigl[P(t)\bigr] \geq \frac{1}{32}t ^{\frac{1}{2}}+\biggl( \frac{4}{3}t-\frac{1}{6}t^{\frac{1}{4}}\biggr)^{2}, \\& \prod_{i=1}^{2}\lambda _{[i]} \bigl[P(t)\bigr] \leq 2^{\frac{2}{3}}t^{ \frac{17}{12}}\cdot \biggl( \frac{9}{7}\cdot 2^{-\frac{8}{3}}t^{\frac{7}{6}}+ \frac{19}{28} \biggr)^{2}. \end{aligned}
If $$k=3$$, then by Theorems 3.2 and 4.1 we have
$$\det\bigl[P(t)\bigr]\geq 32t^{\frac{5}{4}}+\biggl(\frac{12}{7}t- \frac{3}{7}\cdot 2^{- \frac{1}{3}}t^{\frac{5}{12}}\biggr)^{3}$$
(45)
and
$$\det\bigl[P(t)\bigr] \leq \frac{1}{16}t^{\frac{5}{4}} \biggl(2^{\frac{11}{3}}t^{ \frac{7}{6}}+\frac{1}{2}\biggr)^{3}.$$
(46)
In addition, by solving equation (1) we obtain
$$\det\bigl[P(t)\bigr]= 8t^{3}.$$
(47)
We depict the plot (see Fig. 1) based on all these results. In the plot, the dashed line presents the result of (45). The dot line denotes the result of (46). The real line shows the result of (47). From the plot we can get the bounds of the solution of (1). Figure 1 Eigenvalue bounds in Example 6.1

References

1. 1.
Jodar, L., Ponsoda, E.: Computing the continuous numerical solutions of matrix differential equations. Comput. Math. Appl. 29, 73–84 (1995)
2. 2.
Kucera, V.: A review of the matrix Riccati equation. Kybernetika 9, 42–61 (1973)
3. 3.
Mori, T., Fukuma, N., Kumahara, M.: Bounds in the Lyapunov matrix differential equation. IEEE Trans. Autom. Control 32, 55–57 (1987)
4. 4.
Hmamed, A.: Differential and difference Lyapunov equations: simultaneous eigenvalue bounds. Int. J. Syst. Sci. 21, 1335–1344 (1990)
5. 5.
Dai, H., Bai, Z.Z.: On eigenvalue bounds and iteration methods for discrete algebraic Riccati equations. J. Comput. Math. 29, 341–366 (2011)
6. 6.
Zhang, J., Liu, J.Z.: New estimates for the solution of the Lyapunov matrix differential equation. Electron. J. Linear Algebra 20, 6–19 (2010)
7. 7.
Liu, J.Z., Zhang, J., Liu, Y.: A new upper bound for the eigenvalues of the continuous algebraic Riccati equation. Electron. J. Linear Algebra 20, 314–321 (2010)
8. 8.
Liu, J.Z., He, L.L.: A new trace bound for a general square matrix product. IEEE Trans. Autom. Control 52, 349–352 (2007)
9. 9.
Zhu, Y.L., Pagilla, P.R.: Bounds on the solution of the time-varying linear matrix differential equation $$\dot{P}(t)=A^{H}(t)P(t)+P(t)A(t)+Q(t)$$. IMA J. Math. Control Inf. 23, 269–277 (2006)
10. 10.
Patel, R.V., Toda, M.: On norm bounds on the solution of the algebraic Riccati equation. IEEE Trans. Autom. Control 23, 87–88 (1978)
11. 11.
Lee, C.H.: On the robust stability of interval time-delay systems—an application of the upper solution bounds of the Lyapunov equation. J. Franklin Inst. 350, 258–274 (2013)
12. 12.
Chen, Y.H., Yi, C.F., Qiao, D.Y.: Improved neural solution for the Lyapunov matrix equation based on gradient search. Inf. Process. Lett. 113, 876–881 (2013)
13. 13.
Marshall, A.W., Olkin, I., Arnold, B.C.: Inequalities: Theory of Majorization and Its Applications, 2nd edn. Springer, New York (2009)
14. 14.
Marcus, M., Minc, H.: A Survey of Matrix Theory and Matrix Inequalities. Allyn & Bacon, Boston (1964)
15. 15.
Horn, R.A., Johnson, C.R.: Topics in Matrix Analysis. Cambridge University Press, Cambridge (1991)
16. 16.
Zhang, H.F.: The extension of Hölder inequality and isolation of Yang–Zhang inequality. Acta Math. Appl. Sin. 21, 423–427 (1998)
17. 17.
Liu, Z.: A refinement of Hölder’s integral inequality. Tamkang J. Math. 34, 383–385 (2003) 