The existence of upper and lower solutions to second order random impulsive differential equation with boundary value problem

Zihan Li; Xiao-Bao Shu; Fei Xu; Zihan Li; Xiao-Bao Shu; Fei Xu

doi:10.3934/math.2020398

AIMS Mathematics

2020, Volume 5, Issue 6: 6189-6210. doi: 10.3934/math.2020398

Previous Article Next Article

Research article

The existence of upper and lower solutions to second order random impulsive differential equation with boundary value problem

1.
College of Mathematics, Hunan University, Changsha, Hunan 410082, PR China
2.
Department of Mathematics, Wilfrid Laurier University, Waterloo, Ontario, N2L 3C5, Canada

Received: 06 May 2020 Accepted: 06 July 2020 Published: 31 July 2020
MSC : 34A37, 34B, 34F05

In this article, we consider the existence of upper and lower solutions to a second-order random impulsive differential equation. We first study the solution form of the corresponding linear impulsive system of the second-order random impulsive differential equation. Based on the form of the solution, we define the resolvent operator. Then, we prove that the fixed point of this operator is the solution to the equation. Finally, we construct the sum of two monotonic iterative sequences and prove that they are convergent. Thus, we conclude that the system has upper and lower solutions.

Keywords:

Citation: Zihan Li, Xiao-Bao Shu, Fei Xu. The existence of upper and lower solutions to second order random impulsive differential equation with boundary value problem[J]. AIMS Mathematics, 2020, 5(6): 6189-6210. doi: 10.3934/math.2020398

Related Papers:

[1]	Moh. Alakhrass . A note on positive partial transpose blocks. AIMS Mathematics, 2023, 8(10): 23747-23755. doi: 10.3934/math.20231208
[2]	Mohammad Al-Khlyleh, Mohammad Abdel Aal, Mohammad F. M. Naser . Interpolation unitarily invariant norms inequalities for matrices with applications. AIMS Mathematics, 2024, 9(7): 19812-19821. doi: 10.3934/math.2024967
[3]	Sourav Shil, Hemant Kumar Nashine . Positive definite solution of non-linear matrix equations through fixed point technique. AIMS Mathematics, 2022, 7(4): 6259-6281. doi: 10.3934/math.2022348
[4]	Kanjanaporn Tansri, Sarawanee Choomklang, Pattrawut Chansangiam . Conjugate gradient algorithm for consistent generalized Sylvester-transpose matrix equations. AIMS Mathematics, 2022, 7(4): 5386-5407. doi: 10.3934/math.2022299
[5]	Junyuan Huang, Xueqing Chen, Zhiqi Chen, Ming Ding . On a conjecture on transposed Poisson $n$ -Lie algebras. AIMS Mathematics, 2024, 9(3): 6709-6733. doi: 10.3934/math.2024327
[6]	Arnon Ploymukda, Kanjanaporn Tansri, Pattrawut Chansangiam . Weighted spectral geometric means and matrix equations of positive definite matrices involving semi-tensor products. AIMS Mathematics, 2024, 9(5): 11452-11467. doi: 10.3934/math.2024562
[7]	Pattrawut Chansangiam, Arnon Ploymukda . Riccati equation and metric geometric means of positive semidefinite matrices involving semi-tensor products. AIMS Mathematics, 2023, 8(10): 23519-23533. doi: 10.3934/math.20231195
[8]	Nunthakarn Boonruangkan, Pattrawut Chansangiam . Convergence analysis of a gradient iterative algorithm with optimal convergence factor for a generalized Sylvester-transpose matrix equation. AIMS Mathematics, 2021, 6(8): 8477-8496. doi: 10.3934/math.2021492
[9]	Arnon Ploymukda, Pattrawut Chansangiam . Metric geometric means with arbitrary weights of positive definite matrices involving semi-tensor products. AIMS Mathematics, 2023, 8(11): 26153-26167. doi: 10.3934/math.20231333
[10]	Ahmad Y. Al-Dweik, Ryad Ghanam, Gerard Thompson, M. T. Mustafa . Algorithms for simultaneous block triangularization and block diagonalization of sets of matrices. AIMS Mathematics, 2023, 8(8): 19757-19772. doi: 10.3934/math.20231007

Abstract

1. Introduction

Let $\mathbb{M}_n$ be the set of $n\times n$ complex matrices. $\mathbb{M}_n(\mathbb{M}_k)$ is the set of $n\times n$ block matrices with each block in $\mathbb{M}_k$ . For $A \in \mathbb{M}_n$ , the conjugate transpose of $A$ is denoted by $A^*.$ When $A$ is Hermitian, we denote the eigenvalues of $A$ in nonincreasing order $\lambda_1(A) \geq \lambda_2(A) \geq... \geq \lambda_n(A)$ ; see ^[2,7,8,9]. The singular values of $A$ , denoted by $s_1(A), s_2(A), ..., s_n(A),$ are the eigenvalues of the positive semi-definite matrix $|A| = (A^*A)^{1/2}$ , arranged in nonincreasing order and repeated according to multiplicity as $s_1(A) \geq s_2(A) \geq... \geq s_n(A).$ If $A\in \mathbb{M}_n$ is positive semi-definite (definite), then we write $A \geq 0\; (A > 0)$ . Every $A\in \mathbb{M}_n$ admits what is called the cartesian decomposition $A = {{{\rm{Re\, }}}} A+i{{{\rm{Im\, }}}} A,$ where ${{{\rm{Re\, }}}} A = \frac{A+A^*}{2}, \ {{{\rm{Im\, }}}} A = \frac{A-A^*}{2}.$ A matrix $A\in \mathbb{M}_n$ is called accretive if ${{{\rm{Re\, }}}} A$ is positive definite. Recall that a norm $||\cdot||$ on $\mathbb{M}_n$ is unitarily invariant if $||UAV|| = ||A||$ for any $A\in \mathbb{M}_n$ and unitary matrices $U, V\in \mathbb{M}_n$ . The Hilbert-Schmidt norm is defined as $||A||_2^2 = {{{\rm{tr}}}}(A^*A)$ .

For $A, B > 0$ and $t\in [0, 1]$ , the weighted geometric mean of $A$ and $B$ is defined as follows

$\begin{eqnarray*} A\sharp_{t} B\ = A^{1/2}(A^{-1/2}BA^{-1/2})^{t}A^{1/2}. \end{eqnarray*}$

When $t = \frac{1}{2}$ , $A\sharp_{\frac{1}{2}} B$ is called the geometric mean of $A$ and $B$ , which is often denoted by $A\sharp B$ . It is known that the notion of the (weighted) geometric mean could be extended to cover all positive semi-definite matrices; see [3, Chapter 4].

Let $A, B, X\in \mathbb{M}_n$ . For $2\times 2$ block matrix $M$ in the form

$\begin{eqnarray*} M = \left( \begin{array}{cc} A & X \\ X^* & B\\ \end{array} \right)\in \mathbb{M}_{2n} \end{eqnarray*}$

with each block in $\mathbb{M}_{n},$ its partial transpose of $M$ is defined by

$\begin{eqnarray*} M^\tau = \left( \begin{array}{cc} A & X^* \\ X & B\\ \end{array} \right). \end{eqnarray*}$

If $M$ and $M^\tau \geq0$ , then we say it is positive partial transpose (PPT). We extend the notion to accretive matrices. If

$\begin{eqnarray*} M = \left( \begin{array}{cc} A & X \\ Y^* & B\\ \end{array} \right)\in \mathbb{M}_{2n}, \end{eqnarray*}$

and

$\begin{eqnarray*} M^{\tau} = \left( \begin{array}{cc} A & Y^* \\ X & C\\ \end{array} \right)\in \mathbb{M}_{2n} \end{eqnarray*}$

are both accretive, then we say that $M$ is APT (i.e., accretive partial transpose). It is easy to see that the class of APT matrices includes the class of PPT matrices; see ^[6,10,13].

Recently, many results involving the off-diagonal block of a PPT matrix and its diagonal blocks were presented; see ^[5,11,12]. In 2023, Alakhrass ^[1] presented the following two results on $2\times2$ block PPT matrices.

Theorem 1.1 (^[1], Theorem 3.1). Let $\left(\begin{array}{cc} A & X \\ X^{*} & B\\ \end{array} \right)$ be PPT and let $X = U|X|$ be the polar decomposition of $X$ , then

$\begin{eqnarray*} |X| \leq ( A\sharp_t B)\sharp (U^*( A \sharp_{1-t} B)U), \quad t \in [0, 1]. \end{eqnarray*}$

Theorem 1.2 (^[1], Theorem 3.2). Let $\left(\begin{array}{cc} A & X \\ X^{*} & B\\ \end{array} \right)$ be PPT, then for $t\in [0, 1],$

$\begin{eqnarray*} {{{\rm{Re\, }}}} X\leq ( A\sharp_t B)\sharp ( A \sharp_{1-t} B)\leq \frac{(A\sharp_t B)+(A\sharp _{1-t} B)}{2}, \end{eqnarray*}$

and

$\begin{eqnarray*} {{{\rm{Im\, }}}} X \leq ( A\sharp_t B)\sharp ( A \sharp_{1-t} B)\leq \frac{(A\sharp_t B)+(A\sharp _{1-t}B)}{2}. \end{eqnarray*}$

By Theorem 1.1 and the fact $s_{i+j-1}(XY)\leq s_i(X)s_j(Y)\; (i+j\leq n+1)$ , the author obtained the following corollary.

Corollary 1.3 (^[1], Corollary 3.5). Let $\left(\begin{array}{cc} A & X \\ X^{*} & B\\ \end{array} \right)$ be PPT, then for $t\in [0, 1],$

$\begin{eqnarray*} s_{i+j-1}(X)\leq s_i(A\sharp_t B)s_j(A\sharp_{1-t} B). \end{eqnarray*}$

Consequently,

$\begin{eqnarray*} s_{2j-1}(X)\leq s_j( A\sharp_t B)s_j(A\sharp_{1-t} B). \end{eqnarray*}$

A careful examination of Alakhrass' proof in Corollary 1.3 actually revealed an error. The right results are $s_{i+j-1}(X)\leq s_i(A\sharp_t B)^{\frac{1}{2}}s_j((A\sharp_{1-t} B)^{\frac{1}{2}})$ and $s_{2j-1}(X)\leq s_j((A\sharp_t B)^{\frac{1}{2}})$ $s_j((A\sharp_{1-t} B)^{\frac{1}{2}}).$ Thus, in this note, we will give a correct proof of Corollary 1.3 and extend the above inequalities to the class of $2\times2$ block APT matrices. At the same time, some relevant results will be obtained.

2. Main results

Before presenting and proving our results, we need the following several lemmas of the weighted geometric mean of two positive matrices.

Lemma 2.1. [, Chapter 4] Let $X, Y\in \mathbb{M}_{n}$ be positive definite, then

$1)$ $X\sharp Y = \max\left\{Z:Z = Z^*, \left(\begin{array}{cc} X & Z \\ Z & Y\\ \end{array} \right)\geq 0\right\}.$

$2)$ $X\sharp Y = X^{\frac{1}{2}}UY^{\frac{1}{2}}$ for some unitary matrix $U$ .

Lemma 2.2. [, Theorem 3] Let $X, Y\in \mathbb{M}_{n}$ be positive definite, then for every unitarily invariant norm,

$\begin{eqnarray*} \begin{aligned} \label{f2} ||X\sharp_tY||&\leq||X^{1-t}Y^t||\\ &\leq||(1-t)X+tY||. \end{aligned} \end{eqnarray*}$

Now, we give a lemma that will play an important role in the later proofs.

Lemma 2.3. Let $M = \left(\begin{array}{cc} A & X \\ Y^{*} & B\\ \end{array} \right)\in \mathbb{M}_{2n}$ be APT, then for $t\in [0, 1]$ ,

$\left( \begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & \frac{X+Y}{2} \\ \frac{X^*+Y^*}{2} & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)$

is PPT.

Proof: Since $M$ is APT, we have that

${{{\rm{Re\, }}}} M = \left( \begin{array}{cc} {{{\rm{Re\, }}}} A & \frac{X+Y}{2}\\ \frac{X^*+Y^*}{2} & {{{\rm{Re\, }}}} B\\ \end{array} \right)$

is PPT.

Therefore, ${{{\rm{Re\, }}}} M \geq 0$ and ${{{\rm{Re\, }}}} M^{\tau} \geq 0$ .

By the Schur complement theorem, we have

$\begin{eqnarray*} {{{\rm{Re\, }}}} B- \frac{X^*+Y^*}{2}({{{\rm{Re\, }}}} A)^{-1}\frac{X+Y}{2}\geq 0, \end{eqnarray*}$

and

$\begin{eqnarray*} {{{\rm{Re\, }}}} A-\frac{X^*+Y^*}{2}({{{\rm{Re\, }}}} B)^{-1}\frac{X+Y}{2} \geq 0. \end{eqnarray*}$

Compute

$\begin{eqnarray*} \begin{aligned} &\frac{X^*+Y^*}{2}({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)^{-1}\frac{X+Y}{2}\\ & = \frac{X^*+Y^*}{2}(({{{\rm{Re\, }}}} A)^{-1}\sharp_t ({{{\rm{Re\, }}}} B)^{-1})\frac{X+Y}{2}\\ & = \left(\frac{X^*+Y^*}{2}({{{\rm{Re\, }}}} A)^{-1}\frac{X+Y}{2}\right)\sharp_t \left(\frac{X^*+Y^*}{2}({{{\rm{Re\, }}}} B)^{-1}\frac{X+Y}{2}\right)\\ &\leq {{{\rm{Re\, }}}} B\sharp_t {{{\rm{Re\, }}}} A. \end{aligned} \end{eqnarray*}$

Thus,

$\begin{eqnarray*} ({{{\rm{Re\, }}}} B \sharp_t {{{\rm{Re\, }}}} A)-\frac{X^*+Y^*}{2}({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)^{-1}\frac{X+Y}{2} \geq0. \end{eqnarray*}$

By utilizing $({{{\rm{Re\, }}}} B\sharp_t {{{\rm{Re\, }}}} A) = {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B$ , we have

$\begin{eqnarray*} \left(\begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & \frac{X+Y}{2}\\ \frac{X^*+Y^*}{2} & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)\geq0. \end{eqnarray*}$

Similarly, we have

$\begin{eqnarray*} \left(\begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & \frac{X^*+Y^*}{2}\\ \frac{X+Y}{2} & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)\geq 0. \end{eqnarray*}$

This completes the proof.

First, we give the correct proof of Corollary 1.3.

Proof: By Theorem 1.1, there exists a unitary matrix $U\in \mathbb{M}_{n}$ such that $|X|\leq (A\sharp_t B)\sharp (U^*$ $(A\sharp_{1-t} B)U).$ Moreover, by Lemma 2.1, we have $(A\sharp_t B)\sharp (U^*(A\sharp_{1-t} B)U) = (A\sharp_t B)^{\frac{1}{2}}V(U^*$ $(A\sharp_{1-t} B)^{\frac{1}{2}}U).$ Now, by $s_{i+j-1}(AB)\leq s_i(A)s_j(B)$ , we have

$\begin{eqnarray*} s_{i+j-1}(X) &\leq& s_{i+j-1}((A\sharp_t B)\sharp(U^*(A\sharp_{1-t}B)U)) \\ & = & s_{i+j-1}((A\sharp_t B)^{\frac{1}{2}}VU^*(A\sharp_{1-t} B)^{\frac{1}{2}}U) \\ &\leq& s_{i}((A\sharp_t B)^{\frac{1}{2}})s_j((A\sharp_{1-t} B)^{\frac{1}{2}}), \end{eqnarray*}$

which completes the proof.

Next, we generalize Theorem 1.1 to the class of APT matrices.

Theorem 2.4. Let $M = \left(\begin{array}{cc} A & X \\ Y^{*} & B\\ \end{array} \right)$ be APT, then

$\begin{eqnarray*} \left|\frac{X+Y}{2}\right| \leq ({{{\rm{Re\, }}}} A\sharp_t{{{\rm{Re\, }}}} B)\sharp (U^*({{{\rm{Re\, }}}} A \sharp_{1-t}{{{\rm{Re\, }}}} B)U), \end{eqnarray*}$

where $U\in \mathbb{M}_{n}$ is any unitary matrix such that $\frac{X+Y}{2} = U\left|\frac{X+Y}{2}\right|$ .

Proof: Since $M$ is an APT matrix, we know that

$\left( \begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & \frac{X+Y}{2}\\ \frac{X^*+Y^*}{2} & {{{\rm{Re\, }}}} B\sharp_{1-t} {{{\rm{Re\, }}}} A\\ \end{array} \right)$

is PPT.

Let $W$ be a unitary matrix defined as $W = \left(\begin{array}{cc} I & 0\\ 0 & U\\ \end{array} \right)$ . Thus,

$\begin{eqnarray*} W^*\left(\begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & \frac{X^*+Y^*}{2}\\ \frac{X+Y}{2} & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)W = \left(\begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & |\frac{X+Y}{2}|\\ |\frac{X+Y}{2}| & U^*({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)U\\ \end{array} \right)\geq0. \end{eqnarray*}$

By Lemma 2.1, we have

$\begin{eqnarray*} \left|\frac{X+Y}{2}\right|\leq({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)\sharp (U^*({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)U). \end{eqnarray*}$

Remark 1. When $M = \left(\begin{array}{cc} A & X \\ Y^{*} & B\\ \end{array} \right)$ is PPT in Theorem 2.4, our result is Theorem 1.1. Thus, our result is a generalization of Theorem 1.1.

Using Theorem 2.4 and Lemma 2.2, we have the following.

Corollary 2.5. Let $M = \left(\begin{array}{cc} A & X \\ Y^{*} & B\\ \end{array} \right)$ be APT and let $t\in[0, 1]$ , then for every unitarily invariant norm $|| \cdot ||$ and some unitary matrix $U\in \mathbb{M}_n,$

$\begin{eqnarray*} \begin{aligned} \left|\left|\frac{X+Y}{2}\right|\right|&\leq ||({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)\sharp (U^*({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)U)||\\ &\leq \left|\left|\frac{({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B) + U^*({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)U}{2}\right|\right|\\ &\leq \frac{||{{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B|| + ||{{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B||}{2}\\ &\leq \frac{||({{{\rm{Re\, }}}} A)^{1-t} ({{{\rm{Re\, }}}} B)^t|| + ||({{{\rm{Re\, }}}} A)^t ({{{\rm{Re\, }}}} B)^{1-t}||}{2}\\ &\leq \frac{||(1-t){{{\rm{Re\, }}}} A+t{{{\rm{Re\, }}}} B|| + ||t{{{\rm{Re\, }}}} A+(1-t) {{{\rm{Re\, }}}} B||}{2}. \end{aligned} \end{eqnarray*}$

Proof: The first inequality follows from Theorem 2.4. The third one is by the triangle inequality. The other conclusions hold by Lemma 2.2.

In particular, when $t = \frac{1}{2},$ we have the following result.

Corollary 2.6. Let $M = \left(\begin{array}{cc} A & X \\ Y^{*} & B\\ \end{array} \right)$ be APT, then for every unitarily invariant norm $|| \cdot ||$ and some unitary matrix $U\in \mathbb{M}_n,$

$\begin{eqnarray*} \begin{aligned} \left|\left|\frac{X+Y}{2}\right|\right|&\leq ||({{{\rm{Re\, }}}} A\sharp {{{\rm{Re\, }}}} B)\sharp (U^*({{{\rm{Re\, }}}} A\sharp {{{\rm{Re\, }}}} B)U)||\\ &\leq \left|\left|\frac{({{{\rm{Re\, }}}} A\sharp {{{\rm{Re\, }}}} B) + U^*({{{\rm{Re\, }}}} A\sharp {{{\rm{Re\, }}}} B)U}{2}\right|\right|\\ &\leq ||{{{\rm{Re\, }}}} A\sharp {{{\rm{Re\, }}}} B||\\ &\leq ||({{{\rm{Re\, }}}} A)^{\frac{1}{2}}({{{\rm{Re\, }}}} B)^{\frac{1}{2}}||\\ &\leq \left|\left|\frac{{{{\rm{Re\, }}}} A+{{{\rm{Re\, }}}} B}{2}\right|\right|. \end{aligned} \end{eqnarray*}$

Squaring the inequalities in Corollary 2.6, we get a quick consequence.

Corollary 2.7. If $M = \left(\begin{array}{cc} A & X \\ Y^{*} & B\\ \end{array} \right)$ is APT, then

$\begin{eqnarray*} \begin{aligned} {{{\rm{tr}}}}\left(\left(\frac{X^*+Y^*}{2}\right)\left(\frac{X+Y}{2}\right)\right)&\leq {{{\rm{tr}}}}(({{{\rm{Re\, }}}} A\sharp {{{\rm{Re\, }}}} B)^2)\\ &\leq {{{\rm{tr}}}}({{{\rm{Re\, }}}} A {{{\rm{Re\, }}}} B)\\ &\leq {{{\rm{tr}}}}\left(\left(\frac{{{{\rm{Re\, }}}} A+{{{\rm{Re\, }}}} B}{2}\right)^2\right). \end{aligned} \end{eqnarray*}$

Proof: Compute

$\begin{eqnarray*} \begin{aligned} {{{\rm{tr}}}}\left(\left(\frac{X^*+Y^*}{2}\right)\left(\frac{X+Y}{2}\right)\right)&\leq {{{\rm{tr}}}}(({{{\rm{Re\, }}}} A\sharp {{{\rm{Re\, }}}} B)^*({{{\rm{Re\, }}}} A\sharp {{{\rm{Re\, }}}} B))\\ & = {{{\rm{tr}}}}(({{{\rm{Re\, }}}} A\sharp {{{\rm{Re\, }}}} B)^2)\\ &\leq {{{\rm{tr}}}}(({{{\rm{Re\, }}}} A)({{{\rm{Re\, }}}} B))\\ &\leq {{{\rm{tr}}}}\left(\left(\frac{{{{\rm{Re\, }}}} A+{{{\rm{Re\, }}}} B}{2}\right)^2\right). \end{aligned} \end{eqnarray*}$

It is known that for any $X, Y\in \mathbb{M}_n$ and any indices $i, j$ such that $i+j\leq n+1$ , we have $s_{i+j-1}(XY)\leq s_i(X)s_j(Y)$ (see [2, Page 75]). By utilizing this fact and Theorem 2.4, we can obtain the following result.

Corollary 2.8. Let $M = \left(\begin{array}{cc} A & X \\ Y^{*} & B\\ \end{array} \right)$ be APT, then for any $t\in [0, 1]$ , we have

$\begin{eqnarray*} s_{i+j-1}\left(\frac{X+Y}{2}\right)\leq s_i(({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)^{\frac{1}{2}})s_j(({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)^{\frac{1}{2}}). \end{eqnarray*}$

Consequently,

$\begin{eqnarray*} s_{2j-1}\left(\frac{X+Y}{2}\right)\leq s_j(({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)^{\frac{1}{2}})s_j(({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)^{\frac{1}{2}}). \end{eqnarray*}$

Proof: By Lemma 2.1 and Theorem 2.4, observe that

$\begin{eqnarray*} \begin{aligned} s_{i+j-1}\left(\frac{X+Y}{2}\right)& = s_{i+j-1}\left(\left|\frac{X+Y}{2}\right|\right)\\ &\leq s_{i+j-1}(({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)\sharp (U^*({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)U))\\ & = s_{i+j-1}(({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)^{\frac{1}{2}}V(U^*({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)U)^{\frac{1}{2}})\\ &\leq s_i(({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)^{\frac{1}{2}}V)s_j((U^*({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)U)^{\frac{1}{2}})\\ & = s_i(({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)^{\frac{1}{2}})s_j(({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)^{\frac{1}{2}}). \end{aligned} \end{eqnarray*}$

Finally, we study the relationship between the diagonal blocks and the real part of the off-diagonal blocks of the APT matrix $M$ .

Theorem 2.9. Let $M = \left(\begin{array}{cc} A & X \\ Y^{*} & B\\ \end{array} \right)$ be APT, then for all $t\in [0, 1]$ ,

$\begin{eqnarray*} \begin{aligned} {{{\rm{Re\, }}}}\left(\frac{X+Y}{2}\right)&\leq ({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)\sharp({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)\\ &\leq \frac{({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)+({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)}{2}, \end{aligned} \end{eqnarray*}$

and

$\begin{eqnarray*} \begin{aligned} {{{\rm{Im\, }}}}\left(\frac{X+Y}{2}\right)&\leq ({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)\sharp({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)\\ &\leq \frac{({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)+({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)}{2}. \end{aligned} \end{eqnarray*}$

Proof: Since $M$ is APT, we have that

${{{\rm{Re\, }}}} M = \left( \begin{array}{cc} {{{\rm{Re\, }}}} A & \frac{X+Y}{2} \\ \frac{X^{*}+Y^{*}}{2} & {{{\rm{Re\, }}}} B\\ \end{array} \right)$

is PPT.

Therefore,

$\begin{eqnarray*} \begin{aligned} \left( \begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & {{{\rm{Re\, }}}} \left(\frac{X+Y}{2}\right) \\ {{{\rm{Re\, }}}}\left(\frac{X^{*}+Y^{*}}{2}\right) & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)& = \frac{1}{2} \left( \begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & \frac{X+Y}{2} \\ \frac{X^{*}+Y^{*}}{2} & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)\\ &+\frac{1}{2} \left( \begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & \frac{X^{*}+Y^{*}}{2} \\ \frac{X+Y}{2} & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)\geq0. \end{aligned} \end{eqnarray*}$

So, by Lemma 2.1, we have

$\begin{eqnarray*} {{{\rm{Re\, }}}} \left(\frac{X+Y}{2}\right)\leq({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)\sharp({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B). \end{eqnarray*}$

This implies the first inequality.

Since ${{{\rm{Re\, }}}} M$ is PPT, we have

$\begin{eqnarray*} \left( \begin{array}{cc} {{{\rm{Re\, }}}} A & -i\frac{X+Y}{2} \\ i\frac{X^{*}+Y^{*}}{2} & {{{\rm{Re\, }}}} B\\ \end{array} \right) = \left( \begin{array}{cc} I & 0 \\ 0 & iI\\ \end{array} \right) ({{{\rm{Re\, }}}} M) \left( \begin{array}{cc} I & 0 \\ 0 & -iI\\ \end{array} \right)\geq0, \\ \left( \begin{array}{cc} {{{\rm{Re\, }}}} A & i\frac{X^{*}+Y^{*}}{2} \\ -i\frac{X+Y}{2} & {{{\rm{Re\, }}}} B\\ \end{array} \right) = \left( \begin{array}{cc} I & 0 \\ 0 & -iI\\ \end{array} \right) (({{{\rm{Re\, }}}} M)^\tau) \left( \begin{array}{cc} I & 0 \\ 0 & iI\\ \end{array} \right)\geq0. \end{eqnarray*}$

Thus,

$\left( \begin{array}{cc} {{{\rm{Re\, }}}} A & -i\frac{X+Y}{2} \\ i\frac{X^{*}+Y^{*}}{2} & {{{\rm{Re\, }}}} B\\ \end{array} \right)$

is PPT.

By Lemma 2.3,

$\left( \begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & -i\frac{X+Y}{2} \\ i\frac{X^{*}+Y^{*}}{2} & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)$

is also PPT.

So,

$\begin{eqnarray*} \frac{1}{2}\left( \begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & -i\frac{X+Y}{2} \\ i\frac{X^{*}+Y^{*}}{2} & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right) +\frac{1}{2}\left( \begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & i\frac{X^{*}+Y^{*}}{2} \\ -i\frac{X+Y}{2} & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)\geq0, \end{eqnarray*}$

which means that

$\left( \begin{array}{cc} {{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B & {{{\rm{Im\, }}}}\left(\frac{X+Y}{2}\right) \\ {{{\rm{Im\, }}}}\left(\frac{X+Y}{2}\right) & {{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B\\ \end{array} \right)\geq 0.$

By Lemma 2.1, we have

$\begin{eqnarray*} {{{\rm{Im\, }}}}\left(\frac{X+Y}{2}\right)\leq({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)\sharp({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B). \end{eqnarray*}$

This completes the proof.

Corollary 2.10. Let $\left(\begin{array}{cc} {{{\rm{Re\, }}}} A & \frac{X+Y}{2} \\ \frac{X+Y}{2} & {{{\rm{Re\, }}}} B\\ \end{array} \right)\geq0.$ If $\frac{X+Y}{2}$ is Hermitian and $t\in[0, 1]$ , then,

$\begin{eqnarray*} \begin{aligned} \frac{X+Y}{2}&\leq ({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)\sharp({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)\\ &\leq \frac{({{{\rm{Re\, }}}} A\sharp_t {{{\rm{Re\, }}}} B)+({{{\rm{Re\, }}}} A\sharp_{1-t} {{{\rm{Re\, }}}} B)}{2}. \end{aligned} \end{eqnarray*}$

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

The work is supported by National Natural Science Foundation (grant No. 12261030), Hainan Provincial Natural Science Foundation for High-level Talents (grant No. 123RC474), Hainan Provincial Natural Science Foundation of China (grant No. 124RC503), the Hainan Provincial Graduate Innovation Research Program (grant No. Qhys2023-383 and Qhys2023-385), and the Key Laboratory of Computational Science and Application of Hainan Province.

Conflict of interest

The authors declare that they have no conflict of interest.

References

[1]	X. Yan, D. Peng, X. Lv, et al. Recent progess in impulsive contral systems, Spinger., 155 (2007), 244-268.
[2]	I. M. Stamova, G. T. Stamov, Lyapunov-Razumikhin method for impulsive functional differential equations and applications to the population dynamics, J. Comput. Appl. Math., 130 (2001), 163-171. doi: 10.1016/S0377-0427(99)00385-4
[3]	C. Li, J. Sun, R. Sun, Stability analysis of a class of stochastic differential delay equations with nonlinear impulsive effects, J. Franklin. I., 347 (2010), 1186-1198. doi: 10.1016/j.jfranklin.2010.04.017
[4]	C. Li, J. Shi, J. Sun, Stability of impulsive stochastic differential delay systems and its application to impulsive stochastic neural networks, Nonlinear Anal. Theor., 74 (2011), 3099-3111. doi: 10.1016/j.na.2011.01.026
[5]	L. Shen, J. Sun, Q. Wu, Controllability of linear impulsive stochastic systems in Hilbert spaces, Automatica., 49 (2013), 1026-1030. doi: 10.1016/j.automatica.2013.01.036
[6]	Y. Tang, X. Xing, H. R. Karimi, et al. Tracking control of networked multiagent systems under new characterizations of impulses and its Applications in robotic systems, IEEE Trans. Ind. Electron., 63 (2016), 1299-1307.
[7]	D. Guo, X. Liu, Multiple positive solutions of boundary-value problems for impulsive differential equations, Nonlinear Anal., 25 (1995), 327-337. doi: 10.1016/0362-546X(94)00175-H
[8]	T. Jankowski, Positive solutions of three-point boundary value problems for second order impulsive differential equations with advanced arguments, Appl. Math. Comput., 197 (2008), 179-189.
[9]	Y. H. Lee, X. Liu, Study of singular boundary value problems for second order impulsive differential equations, J. Math. Anal. Appl., 331 (2007), 159-176. doi: 10.1016/j.jmaa.2006.07.106
[10]	M. Yao, A. Zhao, J. Yan, Anti-Periodic boundary value problems of second-order impulsive differential equations, Comput. Math. Appl., 59 (2010), 3617-3629. doi: 10.1016/j.camwa.2010.01.033
[11]	Y. Zhao, H. Chen, Multiplicity of solutions to two-point boundary value problems for second-order impulsive differential equations, Appl. Math. Comput., 206 (2008), 925-931.
[12]	S. Wu, X. Guo, S. Lin, Existence and uniqueness of solutions to random impulsive differential systems, Acta Math. Appl. Sin., 22 (2006), 627-632. doi: 10.1007/s10255-006-0336-1
[13]	S. Wu, X. Meng, Boundedness of nonlinear differantial systems with impulsive effect on random moments, Acta Math. Appl. Sin., 20 (2004), 147-154.
[14]	A. Anguraj, S. Wu, A. Vinodkumar, The existence and exponential stability of semilinear functional differential equations with random impulses under nonuniqueness, Nonlinear Anal. Theory Methods Appl., 74 (2011), 331-342. doi: 10.1016/j.na.2010.07.007
[15]	K. Z. Wang, A new existence result for nonlinear first-order anti-periodic boundary value problems, Appl. Math. Lett., 21 (2008), 1149-1154. doi: 10.1016/j.aml.2007.12.013
[16]	Z. G. Luo, J. H. Shen, J. J. Nieto, Antiperiodic boundary value problem for first-order impulsive ordinary differential equations, Comput. Math. Appl., 49 (2005), 253-261. doi: 10.1016/j.camwa.2004.08.010
[17]	W. Ding, Y. P. Xing, M. A. Han, Anti-periodic boundary value problems for first order impulsive functional differential equations, Appl. Math. Comput., 186 (2007), 45-53.
[18]	B. Ahmad, J. J. Nieto, Existence and approximation of solutions for a class of nonlinear impulsive functional differential equations with anti-periodic boundary conditions, Nonlinear Anal., 69 (2008), 3291-3298. doi: 10.1016/j.na.2007.09.018
[19]	S. Li, L. Shu, X. B. Shu, et al. Existence and Hyers-Ulam stability of random impulsive stochastic functional differential equations with finite delays, Stochastic., 27 (2018), 857-872.
[20]	S. Zhang, J. Sun, Stability analysis of second-order differential systems with Erlang distribution random impulses, Adv. Difference Equ., 4 (2013), 10.
[21]	A. Vinodkumar, K. Malar, M. Gowrisankar, et al. Existence, uniqueness and stability of random impulsive fractional differential equations, J. Acta Math. Sci., 36 (2016), 428-442.
[22]	V. Lakshmikantham, D. D. Bainov, P. S. Simeonov, Theory of Impulsive Differential Equations, World Scientific, Singapore., 1989.
[23]	Y. K. Chang, Controllability of impulsive functional differential systems with infinite delay in Banach spaces, Chaos. Soliton Fract., 33 (2007), 1601-1609. doi: 10.1016/j.chaos.2006.03.006
[24]	E. K. Lee, Y. H. Lee, Multiple positive solutions of singular two point boundary value problems for second order impulsive differential equations, Appl. Math. Comput., 158 (2004), 745-759.
[25]	S. Zhang, W. Jiang, The existence and exponential stability of random impulsive fractional differential equations, Adv. Difference Equ., 404 (2018), 17.
[26]	A. Anguraj, A. Vinodkumar, Existence, uniqueness and stability results of random impulsive semilinear differential systems, Nonlinear Anal. Hybrid Syst., 4 (2010), 475-483.
[27]	P. Niu, X. B. Shu, Y. Li, The existence and hyers-ulam stability for second order random impulsive differential equations, Dyn. Syst. Appl., 28 (2019), 673-690.
[28]	Y. Guo, X. B. Shu, Y. Li, et al. The existence and Hyers-Ulam stability of solution for impulsive Riemann-Liouville fractional neutral functional stochastic differential equation with infinite delay of order 1 < β < 2, Bound. Value Probl., 18 (2018).
[29]	R. A. Admas, Sbolev Spaces, Academic Press., 1975.
[30]	J. Sun, D. Guo, Functional methods for nonlinear ordinary differential equations, Shandong science and technology press., 4, (2005).
[31]	X. B. Shu, Y. J. Shi, A study on the mild solution of impulsive fractional evolution equations, Appl. Math. Comput., 273 (2016), 465-476.
[32]	X. B. Shu, Y. Z. Lai, Y. M. Chen, The existence of mild solutions for impulsive fractional partial differential equations, Nonlinear Anal., 74 (2011), 2003-2011. doi: 10.1016/j.na.2010.11.007
[33]	X. B. Shu, F. Xu, Upper and lower solution method for fractional evolution equations with order 1 < α < 2, J. Korean Math. Soc., 51 (2014), 1123-1139.
[34]	R. P. Agarwal, M. Benchohra, S. Hamani, et al. Upper and lower solutions method for impulsive differential equations involving the Caputo fractional derivative, Mem. Differ. Equ. Math. Phys., 53 (2011), 1-12.
[35]	P. Cheng, F. Q. Deng, F. Q. Yao, Almost sure exponential stability and stochastic stabilization of stochastic differential systems with impulsive effects, Nonlinear Anal.: Hybrid Syst., 27 (2018), 13-28. doi: 10.1016/j.nahs.2017.07.002
[36]	L. G. Xu, Z. L. Dai, D. H. He, Exponential ultimate boundedness of impulsive stochastic delay differential equations, Appl. Math. Lett., 85 (2018), 70-76. doi: 10.1016/j.aml.2018.05.019
[37]	L. G. Xu, The pth moment exponential ultimate boundedness of impulsive stochastic differential systems, Appl. Math. Lett., 42 (2015), 22-29. doi: 10.1016/j.aml.2014.10.018
[38]	D. H. He, L. G. Xu, Ultimate boundedness of nonautonomous dynamical complex networks under impulsive control, IEEE Trans. Circuits Syst. II., 62 (2015), 997-1001. doi: 10.1109/TCSII.2015.2436191
[39]	L. X. Shu, X. B. Shu, Q. X. Zhu, et al. Existence and exponential stability of mild solutions for second-order neutral stochastic functional differential equation with random impulses, J. Appl. Anal. Comput., 2020.
[40]	X. B. Shu, L. X. Shu, F. Xu, A new study on the mild solution for impulsive fractional evolution equations, Dynam. Systems Appl., 2020.

Reader Comments

Your name:*

Email:*
© 2020 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)