Skip to main content

Extensions of inequalities for sector matrices

Abstract

In this note, we first prove an inequality for sector matrices. This complements a result due to Kittaneh and Sakkijha (Linear Multilinear Algebra, 2018, https://doi.org/10.1080/03081087.2018.1441800) concerning accretive–dissipative matrices. And then we present two singular value inequalities for sector matrices which are similar to Yang and Lu’s inequalities (J. Inequal. Appl. 2018:183, 2018).

Introduction

We denote by \(\mathbb{M}_{n}(\mathbb{C})\) the set of \(n\times n\) complex matrices. For \(A\in \mathbb{M}_{n}(\mathbb{C})\), the conjugate transpose of A is denoted by \(A^{*}\), and the matrices \(\mathfrak{R}A= \frac{1}{2}(A+A^{*})\) and \(\mathfrak{I}A=\frac{1}{2i}(A-A^{*})\) are called the real part and imaginary part of A, respectively (e.g., [1, p. 6] and [6, p. 7]). Recall that a norm \(\|\cdot \|\) on \(\mathbb{M}_{n}(\mathbb{C})\) is unitarily invariant if \(\|UAV\|=\|A\|\) for any \(A\in \mathbb{M}_{n}(\mathbb{C})\) and unitarily matrices \(U, V \in \mathbb{M}_{n}(\mathbb{C})\). For \(p \geq 1\), the Schatten p-norm of \(A\in \mathbb{M}_{n}(\mathbb{C})\) is defined as \(\|A\|_{p}= (\sum_{j=1}^{n}\sigma _{j}^{p}(A) )^{\frac{1}{p}}\). If the eigenvalues of a square matrix \(A\in \mathbb{M}_{n}(\mathbb{C})\) are all real, then we denote \(\lambda _{j}(A)\) the jth largest eigenvalue of A. The singular values of a complex matrix \(A\in \mathbb{M}_{n}\) are the eigenvalues of \(|A|:=(A^{*}A)^{\frac{1}{2}}\), and we denote \(\sigma _{j}(A):=\lambda _{j}(|A|)\) the jth largest singular value of A. A positive semidefinite matrix A will be expressed as \(A\geq 0\). Likewise, we write \(A>0\) to refer that A is a positive definite matrix.

\(A\in \mathbb{M}_{n}(\mathbb{C})\) is an accretive-dissipative matrix if \(\mathfrak{R} A\) and \(\mathfrak{I} A\) are both positive semidefinite. This class of matrices has recently been considered by Lin [9] and Lin and Zhou [11].

Let \(H\in \mathbb{M}_{n}(\mathbb{C})\) be a Hermitian matrix and let f be a real-valued function defined on an interval containing all the eigenvalues of H. Then \(f(H)\) is well defined through spectral decomposition. f is called matrix concave if \(f(\alpha A+(1-\alpha )B)\geq \alpha f(A)+(1-\alpha )f(B)\) for any two Hermitian matrices \(A,B\in \mathbb{M}_{n}(\mathbb{C})\) and all \(\alpha \in [0,1]\).

The numerical range of \(A\in \mathbb{M}_{n}(\mathbb{C})\) is defined by

$$\begin{aligned} W(A)=\bigl\{ x^{*}Ax|x\in \mathbb{C}^{n}, x^{*}x=1 \bigr\} . \end{aligned}$$

For \(\alpha \in [0, \pi /2)\), let

$$\begin{aligned} S_{\alpha }=\bigl\{ z\in \mathbb{C}|\mathfrak{R} z \geq 0, \vert \mathfrak{I} z \vert \leq (\mathfrak{R} z)\tan (\alpha )\bigr\} \end{aligned}$$

be a sector region on the complex plane. A matrix whose numerical range is contained in a sector region \(S_{\alpha }\) is called a sector matrix [10]. Recent research interest in this class of matrices starts with a resolution of a problem from numerical analysis [3]. Some research results on sector matrices can be found in [3, 7, 8, 10, 13].

Kittaneh and Sakkijha [7] proved the following Schatten-p norm inequalities.

Theorem 1.1

(see [7, Theorem 2.7])

Let \(S, T \in \mathbb{M}_{n}(\mathbb{C})\) be accretive-dissipative. Then

$$\begin{aligned} 2^{\frac{-p}{2}}\bigl( \Vert S \Vert _{p}^{p}+ \Vert T \Vert _{p}^{p}\bigr)\leq \Vert S+T \Vert _{p}^{p} \leq 2^{\frac{3p}{2}-1}\bigl( \Vert S \Vert _{p}^{p}+ \Vert T \Vert _{p}^{p} \bigr) \quad\textit{for } p \geq 1. \end{aligned}$$

Recently, Yang and Lu [12] gave a generalization of Theorem 1.1.

Theorem 1.2

(see [12, Theorem 2.3])

Let \(A_{1},\ldots, A_{n} \in \mathbb{M}_{n}(\mathbb{C})\) be accretive-dissipative. Then

$$\begin{aligned} 2^{\frac{-p}{2}}\sum_{j=1}^{n} \Vert A_{j} \Vert _{p}^{p}\leq \Biggl\Vert \sum_{j=1} ^{n}A_{j} \Biggr\Vert _{p}^{p} \leq \frac{(2n^{2})^{\frac{p}{2}}}{n}\sum _{j=1}^{n} \Vert A_{j} \Vert _{p}^{p}\quad \textit{for }p \geq 1. \end{aligned}$$

In [5], Garg and Aujla presented the following inequalities:

$$\begin{aligned} &\prod_{j=1}^{k}\sigma _{j}\bigl( \vert A+B \vert ^{r}\bigr) \\ &\quad\leq \prod _{j=1}^{k}\sigma _{j} \bigl(I_{n}+ \vert A \vert ^{r}\bigr)\prod _{j=1}^{k}\sigma _{j}\bigl(I_{n}+ \vert B \vert ^{r}\bigr) \quad\text{for } 1 \leq k\leq n, 1\leq r \leq 2; \end{aligned}$$
(1)
$$\begin{aligned} &\prod_{j=1}^{k}\sigma _{j} \bigl(I_{n}+f\bigl( \vert A+B \vert \bigr)\bigr) \\ &\quad \leq \prod_{j=1}^{k} \sigma _{j}\bigl(I_{n}+f\bigl( \vert A \vert \bigr)\bigr)\prod _{j=1}^{k}\sigma _{j} \bigl(I_{n}+f\bigl( \vert B \vert \bigr)\bigr) \quad\text{for } 1 \leq k \leq n, \end{aligned}$$
(2)

where \(A, B \in \mathbb{M}_{n}(\mathbb{C})\) and \(f: [0,\infty )\rightarrow [0,\infty )\) is a matrix concave function.

If \(A, B \geq 0, r=1\) and \(f(X)=X\) for any \(X \in \mathbb{M}_{n}( \mathbb{C})\) in (1) and (2), then

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}(A+B)\leq \prod_{j=1}^{k} \sigma _{j}(I_{n}+A) \prod_{j=1}^{k} \sigma _{j}(I_{n}+B)\quad \text{for } 1 \leq k\leq n \end{aligned}$$

and

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}(I_{n}+A+B)\leq \prod_{j=1}^{k} \sigma _{j}(I _{n}+A)\prod_{j=1}^{k} \sigma _{j}(I_{n}+B) \quad\text{for } 1 \leq k\leq n. \end{aligned}$$
(3)

Based on the above inequalities, Yang and Lu (see [12, Theorem 2.7]) gave the inequalities for sector matrices which removed the absolute values in (1) and (2) from the right sides as follows.

Theorem 1.3

(see [12, Theorem 2.7])

Let \(A, B\in \mathbb{M}_{n}(\mathbb{C})\) be such that \(W(A), W(B)\subseteq S_{\alpha }\). Then, for \(1 \leq k \leq n\),

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}(A+B)\leq \sec ^{2k}(\alpha )\prod _{j=1}^{k} \sigma _{j}(I_{n}+A) \prod_{j=1}^{k}\sigma _{j}(I_{n}+B) \end{aligned}$$
(4)

and

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}(I_{n}+A+B)\leq \sec ^{2k}(\alpha )\prod _{j=1} ^{k}\sigma _{j}(I_{n}+A) \prod_{j=1}^{k}\sigma _{j}(I_{n}+B). \end{aligned}$$
(5)

By Fan’s dominance principle [1, p. 93], the theorem below follows from (4) and (5).

Theorem 1.4

(see [12, Corollary 2.8])

Let \(A, B\in \mathbb{M}_{n}(\mathbb{C})\) be such that \(W(A), W(B) \subseteq S_{\alpha }\). Then

$$\begin{aligned} \Vert A+B \Vert \leq \sec ^{2}(\alpha ) \Vert I_{n}+A \Vert \Vert I_{n}+B \Vert \end{aligned}$$
(6)

and

$$\begin{aligned} \Vert I_{n}+A+B \Vert \leq \sec ^{2}( \alpha ) \Vert I_{n}+A \Vert \Vert I_{n}+B \Vert . \end{aligned}$$
(7)

In this paper, we will extend Theorem 1.2 to sector matrices. Furthermore, we present some inequalities for sector matrices which are similar to the inequalities (4) and (5). However, in some cases, our results are stronger than (4) and (5), respectively.

Main results

We begin this section with some lemmas which are useful to establish our main results.

Lemma 2.1

(see [1, p. 73])

Let \(A \in \mathbb{M}_{n}(\mathbb{C})\). Then

$$\begin{aligned} \lambda _{j}(\mathfrak{R} A)\leq \sigma _{j}( A),\quad j=1,2,\ldots,n. \end{aligned}$$
(8)

Consequently,

$$\begin{aligned} \Vert \mathfrak{R} A \Vert \leq \Vert A \Vert . \end{aligned}$$
(9)

Lemma 2.2

(see [13, Lemma 3.1])

Let \(A \in \mathbb{M}_{n}(\mathbb{C})\) be such that \(W(A)\subseteq S_{\alpha }\) for some \(\alpha \in [0, \pi /2)\). Then

$$\begin{aligned} \Vert A \Vert \leq \sec (\alpha ) \Vert \mathfrak{R} A \Vert . \end{aligned}$$
(10)

Lemma 2.3

(see [2, (4)])

Let \(A_{1},\ldots,A_{n} \in \mathbb{M} _{n}(\mathbb{C})\) be positive semidefinite. Then, for \(p \geq 1\),

$$\begin{aligned} \sum_{j=1}^{n} \Vert A_{j} \Vert _{p}^{p}\leq \Biggl\Vert \sum _{j=1}^{n}A_{j} \Biggr\Vert _{p}^{p}\leq n^{p-1}\sum _{j=1}^{n} \Vert A_{j} \Vert _{p}^{p}. \end{aligned}$$
(11)

Lemma 2.4

(see [4, Theorem 4.1])

Let \(A \in \mathbb{M}_{n}( \mathbb{C})\) be such that \(W(A)\subseteq S_{\alpha }\). Then

$$\begin{aligned} \sigma _{j}(A)\leq \sec ^{2}(\alpha )\lambda _{j}(\mathfrak{R}A),\quad j=1,2, \ldots, n. \end{aligned}$$

The above inequality implies that there exists a unitary matrix \(U\in \mathbb{M}_{n}(\mathbb{C})\) such that

$$\begin{aligned} \vert A \vert \leq \sec ^{2}(\alpha )U \mathfrak{R}AU^{*}. \end{aligned}$$
(12)

Lemma 2.5

(see [1, Theorem III.5.6])

Let \(A,B \in \mathbb{M} _{n}(\mathbb{C})\). Then there exist unitary matrices \(U,V \in \mathbb{M}_{n}(\mathbb{C})\) such that

$$\begin{aligned} \vert A+B \vert \leq U \vert A \vert U^{*}+V \vert B \vert V^{*}. \end{aligned}$$
(13)

For the above preparation, we present the first main result which is an extension of Theorem 1.1.

Theorem 2.6

Let \(A_{1}, \ldots, A_{n}\in \mathbb{M}_{n}(\mathbb{C})\) be sector matrices. Then

$$\begin{aligned} \cos ^{p}(\alpha )\sum_{j=1}^{n} \Vert A_{j} \Vert _{p}^{p}\leq \Biggl\Vert \sum_{j=1} ^{n}A_{j} \Biggr\Vert _{p}^{p}\leq \sec ^{p}(\alpha )n^{p-1}\sum _{j=1}^{n} \Vert A_{j} \Vert _{p}^{p}\quad \textit{for } p \geq 1. \end{aligned}$$
(14)

Proof

Let \(A_{j}=B_{j}+iC_{j}\) be the Cartesian decompositions of \(A_{j}\), \(j=1, \ldots,n\). Then we have

$$\begin{aligned} \Biggl\Vert \sum_{j=1}^{n}A_{j} \Biggr\Vert _{p}^{p} &= \Biggl\Vert \sum _{j=1}^{n}(B _{j}+iC_{j}) \Biggr\Vert _{p}^{p} \\ &= \Biggl\Vert \sum_{j=1}^{n}B_{j}+i \sum_{j=1}^{n}C_{j} \Biggr\Vert _{p}^{p} \\ &\geq \Biggl\Vert \sum_{j=1}^{n}B_{j} \Biggr\Vert _{p}^{p}\quad (\text{by }\text{(9)}) \\ &\geq \sum_{j=1}^{n} \Vert B_{j} \Vert _{p}^{p}\quad (\text{by }\text{(11)}) \\ &\geq \cos ^{p}(\alpha )\sum_{j=1}^{n} \Vert A_{j} \Vert _{p}^{p}\quad (\text{by }\text{(10)}), \end{aligned}$$

which proves the first inequality.

To prove the second inequality, compute

$$\begin{aligned} \Biggl\Vert \sum_{j=1}^{n}A_{j} \Biggr\Vert _{p}^{p} &= \Biggl\Vert \sum _{j=1}^{n}(B _{j}+iC_{j}) \Biggr\Vert _{p}^{p} \\ &= \Biggl\Vert \sum_{j=1}^{n}B_{j}+i \sum_{j=1}^{n}C_{j} \Biggr\Vert _{p}^{p} \\ &\leq \sec ^{p}(\alpha ) \Biggl\Vert \sum _{j=1}^{n}B_{j} \Biggr\Vert _{p}^{p}\quad (\text{by }\text{(10)}) \\ &\leq \sec ^{p}(\alpha )n^{p-1}\sum _{j=1}^{n} \Vert B_{j} \Vert _{p}^{p} \quad(\text{by }\text{(11)}) \\ &\leq \sec ^{p}(\alpha )n^{p-1}\sum _{j=1}^{n} \Vert A_{j} \Vert _{p}^{p} \quad(\text{by }\text{(9)}), \end{aligned}$$

which completes the proof. □

Remark 2.7

Theorem 1.2 is immediate by setting \(\alpha =\frac{\pi }{4}\) in (14). Moreover, when \(n=2\) and \(\alpha =\frac{\pi }{4}\) in Theorem 2.6, our result is Theorem 1.1.

Next, we end this section with a generalization of singular value inequality for two positive semidefinite matrices to sector matrices.

Theorem 2.8

Let \(A, B\in \mathbb{M}_{n}(\mathbb{C})\) be such that \(W(A), W(B) \subseteq S_{\alpha }\). Then, for \(1 \leq k\leq n\), the following assertions hold:

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}(A+B)\leq \prod_{j=1}^{k} \sigma _{j}\bigl(I_{n}+ \sec ^{2}(\alpha )A\bigr) \prod_{j=1}^{k}\sigma _{j} \bigl(I_{n}+\sec ^{2}(\alpha )B\bigr) \end{aligned}$$
(15)

and

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}(I_{n}+A+B)\leq \prod_{j=1}^{k} \sigma _{j}\bigl(I _{n}+\sec ^{2}(\alpha )A\bigr) \prod_{j=1}^{k}\sigma _{j} \bigl(I_{n}+\sec ^{2}( \alpha )B\bigr). \end{aligned}$$
(16)

Proof

Compute

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}(A+B)\leq{}& \prod_{j=1}^{k} \sigma _{j}\bigl(I_{n}+ \vert A \vert \bigr) \prod _{j=1}^{k}\sigma _{j} \bigl(I_{n}+ \vert B \vert \bigr)\quad (\text{by}~\text{(1)}) \\ \leq{} &\prod_{j=1}^{k}\sigma _{j}\bigl(I _{n}+\sec ^{2}(\alpha )U \mathfrak{R}AU^{*}\bigr)\prod_{j=1}^{k} \sigma _{j}\bigl(I _{n}+\sec ^{2}(\alpha )V \mathfrak{R}BV^{*}\bigr) \\ & (\text{by}~\text{(12)}) \\ \leq{}& \prod_{j=1}^{k}\sigma _{j}\bigl(I _{n}+\sec ^{2}(\alpha )A\bigr)\prod _{j=1}^{k}\sigma _{j} \bigl(I_{n}+\sec ^{2}( \alpha )B\bigr) \quad(\text{by}~\text{ (8)}), \end{aligned}$$

where \(U,V\) are unitary matrices.

To prove (16), compute

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}\bigl( \vert I_{n}+A+B \vert \bigr)\leq {}&\prod _{j=1}^{k}\sigma _{j}\bigl(U _{1} \vert I_{n} \vert U_{1}^{*}+V_{1} \vert A+B \vert V_{1}^{*}\bigr)\quad (\text{by}~ \text{ (13)}) \\ ={}&\prod_{j=1}^{k}\sigma _{j} \bigl(I_{n}+ \vert A+B \vert \bigr) \\ \leq{}& \prod_{j=1}^{k}\sigma _{j}\bigl(I_{n}+U_{2} \vert A \vert U_{2}^{*}+V_{2} \vert B \vert V_{2} ^{*}\bigr)\quad (\text{by}~\text{(13)}) \\ \leq{} &\prod_{j=1}^{k} \sigma _{j}\bigl(I_{n}+\sec ^{2}(\alpha )U_{3} \mathfrak{R}AU_{3}^{*}+\sec ^{2}(\alpha )V_{3}\mathfrak{R}BV_{3}^{*}\bigr) \\ & (\text{by}~\text{(12)}) \\ \leq{}& \prod_{j=1}^{k}\sigma _{j}\bigl(I _{n}+\sec ^{2}(\alpha )\mathfrak{R}A \bigr)\prod_{j=1}^{k}s_{j} \bigl(I_{n}+\sec ^{2}(\alpha )\mathfrak{R}B\bigr) \\ & (\text{by}~\text{(3)}) \\ \leq{} &\prod_{j=1}^{k}\sigma _{j}\bigl(I _{n}+\sec ^{2}(\alpha )A\bigr)\prod _{j=1}^{k}\sigma _{j} \bigl(I_{n}+\sec ^{2}( \alpha )B\bigr), \\ & (\text{by}~\text{(8)}), \end{aligned}$$

where \(U_{j}\) and \(V_{j}\), \(j=1,2,3\), are unitary matrices.

Thus

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}(I_{n}+A+B) \leq \prod_{j=1}^{k}\sigma _{j} \bigl(I _{n}+\sec ^{2}(\alpha )A\bigr)\prod _{j=1}^{k}\sigma _{j}\bigl(I_{n}+ \sec ^{2}( \alpha )B\bigr). \end{aligned}$$

This completes the proof. □

The following examples show that neither (4) nor (15) is uniformly better than the other.

Example 2.9

Let

A= e π i 4 ( 1 8 0 0 1 8 ) = ( 2 16 2 16 i 0 0 2 16 2 16 i )

and

B= e π i 4 ( 1 16 0 0 1 16 ) = ( 2 32 2 32 i 0 0 2 32 2 32 i )

be such that \(W(A), W(B)\subseteq S_{\frac{\pi }{4}}\).

For the right side of the inequality (4),

$$ \sec ^{4}(\alpha )\prod_{j=1}^{2} \sigma _{j}(I_{2}+A)\prod_{j=1}^{2} \sigma _{j}(I_{2}+B)=5.2098. $$

When \(k=2\), for the right side of the inequality (15),

$$ \prod_{j=1}^{2}\sigma _{j} \bigl(I_{2}+\sec ^{2}(\alpha )A\bigr)\prod _{j=1}^{2} \sigma _{j}\bigl(I_{2}+ \sec ^{2}(\alpha )B\bigr)=1.6886. $$

This shows that (15) is stronger than (4).

Example 2.10

If

A= e π i 4 ( 1 + 1 2 i 0 0 1 + 1 2 i ) = ( 3 2 4 2 4 i 0 0 3 2 4 2 4 i )

and

B= e π i 4 ( 1 + 1 3 i 0 0 1 + 1 3 i ) = ( 2 2 3 2 3 i 0 0 2 2 3 2 3 i )

are such that \(W(A), W(B)\subseteq S_{\frac{\pi }{4}}\), we also suppose \(k=2\).

For the right side of the inequality (4),

$$ \sec ^{4}(\alpha )\prod_{j=1}^{2} \sigma _{j}(I_{2}+A)\prod_{j=1}^{2} \sigma _{j}(I_{2}+B)=69.8872. $$

For the right side of the inequality (15),

$$ \prod_{j=1}^{2}\sigma _{j} \bigl(I_{2}+\sec ^{2}(\alpha )A\bigr)\prod _{j=1}^{2} \sigma _{j}\bigl(I_{2}+ \sec ^{2}(\alpha )B\bigr)=94.3901. $$

The example implies that the bound in (15) is weaker than that in (4).

Remark 2.11

Actually, the above examples also show that the inequalities (5) and (16) are not comparable.

Corollary 2.12

Let \(A, B\in \mathbb{M}_{n}(\mathbb{C})\) be such that \(W(A), W(B) \subseteq S_{\alpha }\). Then, for all unitarily invariant norms \(\|\cdot \|\) on \(\mathbb{M}_{n}(\mathbb{C})\),

$$\begin{aligned} \Vert A+B \Vert \leq \bigl\Vert I_{n}+\sec ^{2}(\alpha )A \bigr\Vert \bigl\Vert I_{n}+\sec ^{2}(\alpha )B \bigr\Vert \end{aligned}$$
(17)

and

$$\begin{aligned} \Vert I_{n}+A+B \Vert \leq \bigl\Vert I_{n}+\sec ^{2}(\alpha )A \bigr\Vert \bigl\Vert I_{n}+\sec ^{2}(\alpha )B \bigr\Vert . \end{aligned}$$
(18)

Proof

From (15) and (16), we obtain for \(1 \leq k\leq n\)

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}^{\frac{1}{2}}(A+B) \leq \prod_{j=1}^{k}\sigma _{j}^{\frac{1}{2}}\bigl(I_{n}+\sec ^{2}(\alpha )A \bigr)\sigma _{j}^{\frac{1}{2}}\bigl(I _{n}+\sec ^{2}(\alpha )B\bigr) \end{aligned}$$

and

$$\begin{aligned} \prod_{j=1}^{k}\sigma _{j}^{\frac{1}{2}}(I_{n}+A+B) \leq \prod_{j=1} ^{k}\sigma _{j}^{\frac{1}{2}}\bigl(I_{n}+\sec ^{2}(\alpha )A \bigr)\sigma _{j}^{ \frac{1}{2}}\bigl(I_{n}+\sec ^{2}(\alpha )B\bigr). \end{aligned}$$

By the property that weak log-majorization implies weak majorization, we have for \(1 \leq k\leq n\)

$$\begin{aligned} \sum_{j=1}^{k}\sigma _{j}^{\frac{1}{2}}(A+B) \leq \sum_{j=1}^{k}\sigma _{j}^{\frac{1}{2}}\bigl(I_{n}+\sec ^{2}(\alpha )A \bigr)\sigma _{j}^{\frac{1}{2}}\bigl(I _{n}+\sec ^{2}(\alpha )B\bigr) \end{aligned}$$

and

$$\begin{aligned} \sum_{j=1}^{k}\sigma _{j}^{\frac{1}{2}}(I_{n}+A+B) \leq \sum_{j=1}^{k} \sigma _{j}^{\frac{1}{2}}\bigl(I_{n}+\sec ^{2}(\alpha )A \bigr)\sigma _{j}^{ \frac{1}{2}}\bigl(I_{n}+\sec ^{2}(\alpha )B\bigr). \end{aligned}$$

Then, by the Cauchy–Schwarz inequality, for \(1 \leq k\leq n\)

$$\begin{aligned} \sum_{j=1}^{k}\sigma _{j}^{\frac{1}{2}}(A+B) \leq \Biggl(\sum_{j=1}^{k} \sigma _{j}\bigl(I_{n}+\sec ^{2}(\alpha )A\bigr) \Biggr)^{\frac{1}{2}} \Biggl(\sum_{j=1} ^{k} \sigma _{j}\bigl(I_{n}+\sec ^{2}(\alpha )B\bigr) \Biggr)^{\frac{1}{2}} \end{aligned}$$

and

$$\begin{aligned} \sum_{j=1}^{k}\sigma _{j}^{\frac{1}{2}}(I_{n}+A+B) \leq \Biggl(\sum_{j=1} ^{k}\sigma _{j}\bigl(I_{n}+\sec ^{2}(\alpha )A\bigr) \Biggr)^{\frac{1}{2}} \Biggl(\sum_{j=1}^{k} \sigma _{j}\bigl(I_{n}+\sec ^{2}(\alpha )B\bigr) \Biggr)^{\frac{1}{2}}. \end{aligned}$$

By Fan’s dominance principle [1, p. 93], we have

$$\begin{aligned} \bigl\Vert \vert A+B \vert ^{\frac{1}{2}} \bigr\Vert ^{2}\leq \bigl\Vert I_{n}+\sec ^{2}(\alpha )A \bigr\Vert \bigl\Vert I_{n}+ \sec ^{2}(\alpha )B \bigr\Vert \end{aligned}$$
(19)

and

$$\begin{aligned} \bigl\Vert \vert I_{n}+A+B \vert ^{\frac{1}{2}} \bigr\Vert ^{2}\leq \bigl\Vert I_{n}+\sec ^{2}( \alpha )A \bigr\Vert \bigl\Vert I _{n}+\sec ^{2}(\alpha )B \bigr\Vert . \end{aligned}$$
(20)

Let \(A+B=U|A+B|, I_{n}+A+B=V|I_{n}+A+B|\) be the polar decomposition of \(A+B\) and \(I_{n}+A+B\), respectively, where U and V are unitary matrices. Thus, by (19), we have

$$\begin{aligned} \bigl\Vert \vert A+B \vert \bigr\Vert &= \bigl\Vert U \vert A+B \vert \bigr\Vert \\ &= \bigl\Vert \bigl( \vert A+B \vert ^{\frac{1}{2}}\bigr)^{2} \bigr\Vert \\ &\leq \bigl\Vert \vert A+B \vert ^{\frac{1}{2}} \bigr\Vert ^{2} \\ &\leq \bigl\Vert I_{n}+\sec ^{2}(\alpha )A \bigr\Vert \bigl\Vert I_{n}+\sec ^{2}(\alpha )B \bigr\Vert . \end{aligned}$$

Similarly, by (20) we have

$$\begin{aligned} \Vert I_{n}+A+B \Vert \leq \bigl\Vert I_{n}+\sec ^{2}(\alpha )A \bigr\Vert \bigl\Vert I_{n}+\sec ^{2}(\alpha )B \bigr\Vert , \end{aligned}$$

which completes the proof. □

Remark 2.13

By computing Examples 2.9 and 2.10, it should be noticed here that neither (6) nor (17) is uniformly better than the other. When comparing the inequality (7) with (18), the same conclusion can be drawn.

Taking \(k=n\) in Theorem 2.8, we get the following corollary.

Corollary 2.14

Let \(A, B\in \mathbb{M}_{n}(\mathbb{C})\) be such that \(W(A), W(B) \subseteq S_{\alpha }\). Then

$$\begin{aligned} \bigl\vert \det (A+B) \bigr\vert \leq \bigl\vert \det \bigl(I_{n}+\sec ^{2}(\alpha )A\bigr) \bigr\vert \bigl\vert \det \bigl(I_{n}+\sec ^{2}(\alpha )B\bigr) \bigr\vert \end{aligned}$$

and

$$\begin{aligned} \bigl\vert \det (I_{n}+A+B) \bigr\vert \leq \bigl\vert \det \bigl(I_{n}+\sec ^{2}(\alpha )A\bigr) \bigr\vert \bigl\vert \det \bigl(I_{n}+ \sec ^{2}(\alpha )B\bigr) \bigr\vert . \end{aligned}$$

References

  1. Bhatia, R.: Matrix Analysis. Springer, New York (1997)

    Book  Google Scholar 

  2. Bhatia, R., Holbrook, J.A.R.: On the Clarkson–McCarthy inequalities. Math. Ann. 281, 7–12 (1988)

    MathSciNet  Article  Google Scholar 

  3. Drury, S.W.: Fischer determinantal inequalities and Higham’s conjecture. Linear Algebra Appl. 439, 3129–3133 (2013)

    MathSciNet  Article  Google Scholar 

  4. Drury, S.W., Lin, M.: Singular value inequalities for matrices with numerical ranges in a sector. Oper. Matrices 8, 1143–1148 (2014)

    MathSciNet  Article  Google Scholar 

  5. Garg, I., Aujla, J.: Some singular value inequalities. Linear Multilinear Algebra 66, 776–784 (2018)

    MathSciNet  Article  Google Scholar 

  6. Horn, R.A., Johnson, C.R.: Matrix Analysis, 2nd edn. Cambridge University Press, Cambridge (2013)

    MATH  Google Scholar 

  7. Kittaneh, F., Sakkijha, M.: Inequalities for accretive–dissipative matrices. Linear Multilinear Algebra (2018, in press). https://doi.org/10.1080/03081087.2018.1441800

  8. Li, C.-K., Sze, N.: Determinantal and eigenvalue inequalities for matrices with numerical ranges in a sector. J. Math. Anal. Appl. 410, 487–491 (2014)

    MathSciNet  Article  Google Scholar 

  9. Lin, M.: Fischer type determinantal inequalities for accretive–dissipative matrices. Linear Algebra Appl. 438, 2808–2812 (2013)

    MathSciNet  Article  Google Scholar 

  10. Lin, M.: Some inequalities for sector matrices. Oper. Matrices 10, 915–921 (2016)

    MathSciNet  Article  Google Scholar 

  11. Lin, M., Zhou, D.: Norm inequalities for accretive–dissipative operator matrices. J. Math. Anal. Appl. 407, 436–442 (2013)

    MathSciNet  Article  Google Scholar 

  12. Yang, C., Lu, F.: Some generalizations of inequalities for sector matrices. J. Inequal. Appl. 2018, 183 (2018). https://doi.org/10.1186/s13660-018-1786-8

    MathSciNet  Article  Google Scholar 

  13. Zhang, F.: A matrix decomposition and its applications. Linear Multilinear Algebra 63, 2033–2042 (2015)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

Not applicable.

Availability of data and materials

Not applicable.

Funding

This paper is supported by Foundation for Scientific Research by the Ministry of Education of Hainan, China (No. Hnky2019ZD-13) and Excellent Young Teachers Growth Program of Hainan Normal University, Haikou, China.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed almost the same amount of work to the manuscript. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Xiaohui Fu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Lin, S., Fu, X. Extensions of inequalities for sector matrices. J Inequal Appl 2019, 118 (2019). https://doi.org/10.1186/s13660-019-2069-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-019-2069-8

MSC

  • 47A63
  • 15A45

Keywords

  • Sector matrices
  • Accretive-dissipative matrices
  • Numerical ranges
  • Schatten p-norms