Next Article in Journal
Left and Right Operator Rings of a Γ Ring in Terms of Rough Fuzzy Ideals
Next Article in Special Issue
Derivation of Bounds for Majorization Differences by a Novel Method and Its Applications in Information Theory
Previous Article in Journal
The FitzHugh–Nagumo Model Described by Fractional Difference Equations: Stability and Numerical Simulation
Previous Article in Special Issue
A Generalized Convexity and Inequalities Involving the Unified Mittag–Leffler Function
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Further Refinements of Numerical Radius Inequalities

1
Department of Mathematics, Faculty of Science and Information Technology, Jadara University, Irbid 21110, Jordan
2
Department of Mathematics, Faculty of Science, Zarqa University, Zarga 13110, Jordan
3
Department of Mathematics, Faculty of Science and Information Technology, Irbid National University, Irbid 21110, Jordan
*
Authors to whom correspondence should be addressed.
Axioms 2023, 12(9), 807; https://doi.org/10.3390/axioms12090807
Submission received: 24 June 2023 / Revised: 18 July 2023 / Accepted: 19 July 2023 / Published: 22 August 2023
(This article belongs to the Special Issue Current Research on Mathematical Inequalities II)

Abstract

:
This paper introduces several generalized extensions of some recent numerical radius inequalities of Hilbert space operators. More preciously, these inequalities refine the recent inequalities that were proved in literature. It has already been demonstrated that some inequalities can be improved or restored by concatenating some into one inequality. The main idea of this paper is to extend the existing numerical radius inequalities by providing a unified framework. We also present a numerical example to demonstrate the effectiveness of the proposed approach. Roughly, our approach combines the existing inequalities, proved in literature, into a single inequality that can be used to obtain improved or restored results. This unified approach allows us to extend the existing numerical radius inequalities and show their effectiveness through numerical experiments.
MSC:
47A12; 47A30; 47A63

1. Introduction

The concepts of numerical range and numerical radius play a crucial role in linear algebra. The numerical range of a matrix is the set of all its eigenvalues, while the numerical radius is defined as the largest absolute value of the eigenvalues. These concepts are used to measure the stability and accuracy of a given matrix. They have applications in solving problems such as the numerical solution of differential equations, the numerical solution of integral equations and the approximation of functions. They also play a role in the study of linear operators, such as the spectral theory of linear operators. Numerical range and numerical radius have also been used to study the stability of solutions to linear and nonlinear differential equations. The numerical radius of a matrix is the largest magnitude of its eigenvalues, while the numerical range is the set of all values obtained by taking the inner product of the matrix with a unit vector. Both of these concepts are used to measure the stability of a matrix. Numerical range and numerical radius are used to analyze matrix behavior and can be utilized to determine the convergence or divergence of an iterative process. For example, the numerical radius of a matrix can be used to determine the convergence rate of the power method, which is a popular iterative algorithm used to calculate eigenvalues. They also provide insight into the structure of a matrix, its eigenvectors, and the nature of its eigenvalues. For example, if the numerical radius of a matrix is zero, then all eigenvalues of the matrix are real and the matrix is stable [1,2,3,4,5].
We let A J be the Banach algebra of all bounded linear operators defined on a complex Hilbert space J ; · , · with the identity operator 1 J in A J . Then, for a bounded linear operator F on a Hilbert space J , the numerical range W F of a bounded operator F A J is defined by W F = F μ , μ : μ J , μ = 1 . Additionally, the numerical radius is defined to be
ω F = sup β W F | β | = sup μ = 1 F μ , μ .
We recall that the usual operator norm of an operator F is defined to be
F = sup F μ : μ J , μ = 1 .
It is well known that the numerical radius ω · defines an operator norm on A J , which is equivalent to the operator norm · . Moreover, we have
1 2 F ω F F
for any F A J .
In 2003, Kittaneh [6] refined the right-hand side of (1) by obtaining that
ω F 1 2 | F | + | F * | 1 2 F + F 2 1 / 2
for any F A J .
Two years later, Kittaneh [7] proved his celebrated two-sided inequality
1 4 F * F + F F *   ω 2 F 1 2 F * F + F F *
for any F A J . These inequalities are sharp.
In [8], Dragomir established an upper bound for the numerical radius of the product of two Hilbert space operators, as follows:
ω r G * H 1 2 H 2 r + G 2 r ( r 1 ) .
In his recent work [1], Alomari refined the right-hand side of (3) and the recent results of Kittaneh and Moradi [2], as follows:
ω 2 p F 1 4 γ F 2 p η + F * 2 p 1 η 2 + 1 2 1 γ ω p F F 2 p η + F * 2 p 1 η 1 2 γ F 4 p η + F * 4 p 1 η + 1 2 1 γ ω p F F 2 p η + F * 2 p 1 η 1 2 F 4 p η + F * 4 p 1 η
for any operator F A J , p 1 , and η , γ 0 , 1 . In particular, it was shown that
ω 2 F 1 12 F + F * 2 + 1 3 ω F F + F * 1 6 F 2 + F * 2 + 1 3 ω F F + F * 1 4 F + F * 2 .
The first inequality in (6) was proven by Alomari in [1] and the second inequality by Kittaneh and Moradi in [2].
In the same work [1], a refinement of (4) was proven as follows:
ω 2 r G * H 1 4 γ H 2 p + G 2 p 2 + 1 2 1 γ ω p H H 2 p + G 2 p 1 2 γ F 4 p + G 4 p + 1 2 1 γ ω p H H 2 p + G 2 p 1 2 H 4 p + G 4 p .
In particular, it was shown that
ω 2 G * H 1 12 H 2 + G 2 2 + 1 3 ω G * H H 2 + G 2 1 6 H 4 + G 4 + 1 3 ω G * H H 2 + G 2 1 2 H 4 + G 4 .
In [3], Sababheh and Moradi presented some new numerical radius inequalities. Among others, the well-known Hermite–Hadamard inequality was used to perform the following result:
φ ω F 0 1 φ 1 s F + s F * d s 1 2 φ F + φ F *
for every F A J and increasing the operator convex function φ : 0 , 0 , .
On the other hand, Moradi and Sababheh, in [4], proved the following refinement of (9):
φ ω F 1 2 φ 3 F + F * 4 + φ F + 3 F * 4
for all increasing convex functions φ : 0 , 0 , . In particular, they proved
ω 2 F 1 32 3 F + F * 2 + F + 3 F * 2 .
The constant 1 32 is the best possible.
For more generalizations and recent related results concerning numerical radius, the reader may refer to [9,10,11,12,13,14,15,16,17,18,19] and the references therein. In addition, a survey of the numerical radius can be found in [20]. Other topics related to the numerical radius are discussed in [20,21,22]. Finally, readers should consult [23] for an overview of the most recent results and applications.
In this paper, we present several generalized extensions of numerical radius inequalities for Hilbert space operators that have been recently established. These extensions refine inequalities that were previously proven in [1,2]. It has been demonstrated that combining certain inequalities can lead to improvements or restorations of other inequalities. The main objective of this study is to provide a unified framework for certain numerical radius inequalities by extending the existing ones. Additionally, a numerical example is provided to showcase the effectiveness of the proposed approach.
Our approach involves combining the existing inequalities proven in [1,2] into a single inequality that can yield improved or restored results. This unified approach enables us to extend the existing numerical radius inequalities and validate their effectiveness through numerical examples. Specifically, this work explores several new extensions and generalizations of the inequalities stated in Equation (9), building upon the Sababheh–Moradi inequality (9). Notably, we prove that the middle term in Equation (9) is bounded by a generalized extension of the first inequality in Equation (5), thereby improving upon the second bound of the same inequality. Furthermore, Equation (9) itself is extended and refined. Similarly, we provide generalized extensions for Equations (10) and (11), as well as establish extensions for Equations (7) and (8).

2. Refinement of the Cauchy–Schwarz Inequality

To prove our results, we need a sequence of lemmas.
Lemma 1
([24]). (Theorem 1.4) Let P J G be a positive operator. Then,
P u , u r P r u , u , r 1
for any vector u G . Inequality (12) is reversed if 0 r 1 .
Lemma 2
([25]). (Theorem 2.3) Let g be a non-negative convex function on 0 , , and let P , Q J G be two positive operators. Then,
g P + Q 2 g P + g Q 2 .
Lemma 3
([24]). (Theorem 1.4) Let g be a convex function on a real interval J, then
g P u , u g P u , u
for every self-adjoint operator P J G whose spectrum contained in J.
The following two lemmas are key lemmas that are used as primary results in the whole of the presented results of this work. The author of [1] proved the following refinement of the mixed Cauchy–Schwarz inequality:
Lemma 4
([1]). Let P J G . Then,
P v , v 2 γ P 2 η u , u P * 2 1 η v , v + 1 γ P u , v P 2 η u , u P * 2 1 η v , v P 2 η u , u P * 2 1 η v , v
for all 0 η , γ 1 .
Lemma 5
([1]). Let P , Q J G , then
P u , Q v 2 η P 2 u , u Q 2 v , v + 1 η P u , Q v P 2 u , u Q 2 v , v P u 2 Q v 2
for any vectors u , v G and all η 0 , 1 .
The following two results generalize the main results in [26].
Proposition 1.
Let P J G . If g : 0 , 0 , is an increasing and operator convex function, then
g ω K 1 2 g P 2 η + g P * 2 1 η
for all 0 η 1 .
Proof. 
By utilizing the classical mixed Schwarz inequality (15) (with γ = 1 ), we obtain
P u , u P 2 η u , u P * 2 1 η u , u , u G .
Since g is increasing,
g P u , u g P 2 η u , u P * 2 1 η u , u g P 2 η + P * 2 1 η 2 u , u ( by AM GM inequality ) g P 2 η + P * 2 1 η 2 u , u g P 2 η + g P * 2 1 η 2 u , u ( g is operator convex ) ,
taking the supremum over all unit vector u G in all previous inequalities, we obtain the required result. □
Proposition 2.
Let P J G . If g : 0 , 0 , is an increasing and convex function, then
g ω 2 P η g P 2 + 1 η g P * 2
for all 0 η 1 .
Proof. 
Since g is increasing, by (18), we have
g P u , u 2 g P 2 η u , u P * 2 1 η u , u g P 2 u , u η P * 2 u , u 1 η ( by the reverse of ( 12 ) ) g η P 2 u , u + 1 η P * 2 u , u ( by AM GM inequality ) η g P 2 u , u + 1 η g P * 2 u , u ( g is convex ) η g P 2 u , u + 1 η g P * 2 u , u ( by Lemma 3 ) = η g P 2 + 1 η g P * 2 u , u .
Taking the supremum over all unit vector u G in all previous inequalities, we obtain the required result. □
The following result establishes a generalized extension of [1] (Theorem 6) that refines both the second inequality in (5) and (9) as well as merges the second inequality in (5) with (9).
Theorem 1.
Let P J G . If g : 0 , 0 , is an increasing, submultiplicative, and operator convex function, then
g ω 2 P γ 0 1 g s P 4 η + 1 s P * 4 1 η d s + 1 γ g ω P 0 1 g s P 2 η + 1 s P * 2 1 η d s 1 2 γ g P 4 η + g P * 4 1 η + 1 2 1 γ g ω P g P 2 η + g P * 2 1 η 1 2 g 2 P 2 η + g 2 P * 2 1 η
for all η , γ 0 , 1 .
Proof. 
Since g is an increasing and operator convex, then, by Jensen’s inequality, we have
g P u , u 2 g γ P 2 η u , u P * 2 1 η u , u ( by Lemma 4 ) + 1 γ P u , u P 2 η u , u P * 2 1 η u , u γ g P 2 η u , u P * 2 1 η u , u ( g is convex ) + 1 γ g P u , u P 2 η u , u P * 2 1 η u , u γ g P 2 η u , u + P * 2 1 η u , u 2 2 ( by AM GM inequality ) + 1 γ g P u , u g P 2 η u , u P * 2 1 η u , u ( g is submultiplicative ) γ g P 2 η u , u 2 + P * 2 1 η u , u 2 2 ( t 2 is convex ) + 1 γ g P u , u g P 2 η + P * 2 1 η 2 u , u ( by AM GM inequality )
γ g P 4 η u , u + P * 4 1 η u , u 2 ( by Lemma 1 ) + 1 γ g P u , u g P 2 η + P * 2 1 η 2 u , u ( by the Hermite Hadamard inequality ) γ 0 1 g s P 4 η + 1 s P * 4 1 η u , u d s + 1 γ g P u , u 0 1 g s P 2 η + 1 s P * 2 1 η u , u d s .
On the other hand, we have
0 1 g s P 2 η + 1 s P * 2 1 η u , u d s 0 1 g s P 2 η + 1 s P * 2 1 η u , u d s ( by Lemma 3 ) 0 1 η g P 2 η + 1 s g P * 2 1 η u , u d s ( g is operator convex ) = g P 2 η + g P * 2 1 η 2 u , u .
Similarly, we have
0 1 g s P 4 η + 1 s P * 4 1 η u , u d s g P 4 η + g P * 4 1 η 2 u , u .
Taking the supremum over all unit vector u G in all previous inequalities, we obtain the required result. To obtain the third inequality, from (20), we have
g ω 2 P 1 2 γ g P 4 η + g P * 4 1 η + 1 2 1 γ g ω P g P 2 η + g P * 2 1 η 1 2 γ g P 2 η 2 + g P * 2 1 η 2 ( by ( 17 ) ) + 1 4 1 γ g P 2 η + g P * 2 1 η 2 1 2 γ g 2 P 2 η + g P * 2 1 η ( g is submultiplicative ) + 1 γ g P 2 η + g P * 2 1 η 2 2 1 2 γ g 2 P 2 η + g P * 2 1 η ( t 2 is operator convex ) + 1 γ g 2 P 2 η + g 2 P * 2 1 η 2 = 1 2 γ g 2 P 2 η + g P * 2 1 η + 1 γ g 2 P 2 η + g 2 P * 2 1 η 2 = 1 2 γ g 2 P 2 η + g P * 2 1 η + 1 2 1 γ g 2 P 2 η + g P * 2 1 η = 1 2 g 2 P 2 η + g 2 P * 2 1 η ,
and this completes the proof of the Theorem. □
Corollary 1.
Let P J G . Then, for any 1 r 2 ,
ω 2 r P γ 0 1 s P 4 η + 1 s P * 4 1 η r d s + 1 γ ω r P 0 1 s P 2 η + 1 s P * 2 1 η r d s 1 2 γ P 4 r η + P * 4 r 1 η + 1 2 1 γ ω r P P 2 r η + P * 2 r 1 η 1 2 P 4 r η + P * 4 r 1 η
for all η , γ 0 , 1 .
Proof. 
Applying Theorem 1 for the increasing, submultiplicative, and operator convex function, g t = t r , r 1 , 2 . □
Remark 1.
Setting η = 1 2 and r = 2 in Corollary 1, we obtain
ω 4 P γ 0 1 s P 2 + 1 s P * 2 2 d s + 1 γ ω 2 P 0 1 s P + 1 s P * 2 d s 1 2 γ P 4 + P * 4 + 1 2 1 γ ω 2 P P 2 + P * 2 1 2 P 4 + P * 4 ,
while when r = 1 , inequality (21) reduces to
ω 2 P 1 2 γ P 2 + P * 2 + 1 2 1 γ ω P P + P * 1 2 P 2 + P * 2 .
A generalized extension that refines [1] (Theorem 5) and refines the middle term in (9) is incorporated in the following result.
Theorem 2.
Let P J G . If g : 0 , 0 , is an increasing, submultiplicative and operator convex function, then
g ω 2 P γ 0 1 g η P 2 + 1 η P * 2 d η + 1 γ g ω P 0 1 g η P 2 + 1 η P * 2 d η 1 2 1 2 γ g P 2 + g P * 2 + 1 2 1 γ g ω P g P 2 + g P * 2 1 2
for all γ 0 , 1 .
Proof. 
Since g is increasing, (15) implies that
g P u , u 2 g γ P 2 η u , u P * 2 1 η u , u + 1 γ P u , u P 2 η u , u P * 2 1 η u , u γ g P 2 η u , u P * 2 1 η u , u + 1 γ g P u , u P 2 η u , u P * 2 1 η u , u ( g is convex ) γ g P 2 u , u η P * 2 u , u 1 η ( by ( 12 ) ) + 1 γ g P u , u g P 2 u , u η P * 2 u , u 1 η ( g is submultiplicative ) γ g η P 2 u , u + 1 η P * 2 u , u ( by AM GM inequality ) + 1 γ g P u , u g η P 2 u , u + 1 η P * 2 u , u ( by ( 12 ) ) = γ g η P 2 + 1 η P * 2 u , u + 1 γ g P u , u g η P 2 + 1 η P * 2 u , u γ g η P 2 + 1 η P * 2 u , u + 1 γ g P u , u g η P 2 + 1 η P * 2 u , u ( g is submultiplicative ) γ g η P 2 + 1 η P * 2 u , u ( by Lemma 3 ) + 1 γ g P u , u g η P 2 + 1 η P * 2 u , u .
Integrating with respect to η over 0 , 1 , we obtain
g P u , u 2 γ 0 1 g η P 2 + 1 η P * 2 u , u d η + 1 γ g P u , u 0 1 g η P 2 + 1 η P * 2 u , u d η γ 0 1 g η P 2 + 1 η P * 2 d η u , u ( by H ö lder inequality ) + 1 γ g P u , u 0 1 g η P 2 + 1 η P * 2 u , u d η = γ 0 1 g η P 2 + 1 η P * 2 d η u , u + 1 γ g P u , u 0 1 g η P 2 + 1 η P * 2 d η u , u .
Taking the supremum over all unit vector u G in all previous inequalities, we obtain the first two inequalities, i.e.,
g ω 2 P γ 0 1 g η P 2 + 1 η P * 2 d η + 1 γ g ω P 0 1 g η P 2 + 1 η P * 2 d η 1 2 1 2 γ g P 2 + g P * 2 + 1 2 1 γ g ω P g P 2 + g P * 2 1 2 ,
as desired, and this completes the proof of the Theorem. □
In the following result, we establish a generalized extension of [1] (Theorem 6) for the first inequality in (5) and the second inequality in (9), as well as merging the second inequality of (5) and (9). The following result simply refines Theorem 1.
Corollary 2.
Let P J G . If g : 0 , 0 , is an increasing, submultiplicative, and operator convex function, then
g 2 ω 2 P γ 0 1 g η P 2 + 1 η P * 2 d η 2 + 1 γ g 2 ω P 0 1 g η P 2 + 1 η P * 2 d η 1 4 γ g P 2 + g P * 2 2 + 1 2 1 γ g 2 ω P g P 2 + g P * 2 1 4 g P 2 + g P * 2 2
for all η 0 , 1 .
Proof. 
From the proof of the Theorem 2, we have
g P u , u 2 γ 0 1 g η P 2 + 1 η P * 2 d η u , u + 1 γ g P u , u 0 1 g η P 2 + 1 η P * 2 d η u , u .
Applying the increasing operator convex function t t 2 , we obtain
g 2 P u , u 2 γ 0 1 g η P 2 + 1 η P * 2 d η u , u + 1 γ g P u , u 0 1 g η P 2 + 1 η P * 2 d η u , u 2 γ 0 1 g η P 2 + 1 η P * 2 d η u , u 2 + 1 γ g 2 P u , u 0 1 g η P 2 + 1 η P * 2 d η u , u γ 0 1 g η P 2 + 1 η P * 2 d η 2 u , u ( by ( 12 ) and g is operator convex ) + 1 γ g 2 P u , u 0 1 η g P 2 + 1 η g P * 2 d η u , u = γ g P 2 + g P * 2 2 2 u , u + 1 γ g 2 P u , u g P 2 + g P * 2 2 u , u .
Taking the supremum over all unit vector u G , we obtain the desired result. The third inequality follows by applying (17) to the second term in the second inequality. □
Example 1.
Consider P = 0 2 1 0 . It is easy to observe that ω P = 1.5 . Applying the inequalities in (28) with γ = 1 3 for the increasing, submultiplicative, and operator convex function g t = t 2 ( t 0 ) , we obtain
11.390625 = ω 6 P γ 0 1 η P 2 + 1 η P * 2 2 d η 2 + 1 γ ω 4 P 0 1 η P 2 + 1 η P * 2 2 d η = 39.9583 1 4 γ P 4 + P * 4 2 + 1 2 1 γ ω 4 P P 4 + P * 4 = 52.7708 1 4 P 4 + P * 4 2 = 72.25 .
We may rewrite this in a more appropriate manner as follows:
1.5 = ω P γ 0 1 η P 2 + 1 η P * 2 2 d η 2 + 1 γ ω 4 P 0 1 η P 2 + 1 η P * 2 2 d η 1 6 = 1.8489 1 4 γ P 4 + P * 4 2 + 1 2 1 γ ω 4 P P 4 + P * 4 1 6 = 1.9367 1 4 P 4 + P * 4 2 1 / 6 = 2.04082 .
As a result, the first inequality in (23) is a nontrivial refinement of the first inequality in (5). This implies that (23) can be used to obtain a tighter upper bound than the one obtained with (5).
A generalization of (23) could be extended in the following result.
Corollary 3.
Let P J G . If g : 0 , 0 , is an increasing, submultiplicative and operator convex function, then
g 2 ω 2 P γ η g P 2 + 1 η g P * 2 2 + 1 γ g 2 ω P η g P 2 + 1 η g P * 2 γ η g 2 P 2 + 1 η g 2 P * 2 + 1 γ g 2 ω P η g P 2 + 1 η g P * 2
for all η 0 , 1 .
Proof. 
From the proof of the Theorem 2, we have
g P u , u 2 γ g η P 2 + 1 η P * 2 u , u + 1 γ g P u , u g η P 2 + 1 η P * 2 u , u .
Applying the operator convex function t t 2 , we obtain
g 2 P u , u 2 γ g η P 2 + 1 η P * 2 u , u + 1 γ g P u , u g η P 2 + 1 η P * 2 u , u 2 γ g η P 2 + 1 η P * 2 u , u 2 + 1 γ g 2 P u , u g η P 2 + 1 η P * 2 u , u γ η g P 2 + 1 η g P * 2 2 u , u + 1 γ g 2 P u , u η g P 2 + 1 η g P * 2 u , u γ η g 2 P 2 + 1 η g 2 P * 2 u , u + 1 γ g 2 P u , u η g P 2 + 1 η g P * 2 u , u .
Taking the supremum over all unit vector u G , we obtain the desired result. □
Another approach leads us to the following generalization of (23) and (24).
Corollary 4.
Let P J G . If g : 0 , 0 , is an increasing, submultiplicative and convex, then
g ω 2 P 1 4 γ g P 2 η + g P * 2 1 η 2 + 1 2 1 γ g ω P g P 2 η + g P * 2 1 η 1 2 γ g 2 P 2 η + g 2 P * 2 1 η + 1 2 1 γ g ω P g P 2 η + g P * 2 1 η 1 2 g 2 P 2 η + g 2 P * 2 1 η
for all η , γ 0 , 1 .
Proof. 
Since g is increasing, from (5) with p = 1 , we have
g ω 2 P g 1 4 γ P 2 η + P * 2 1 η 2 + 1 2 1 γ ω P P 2 η + P * 2 1 η = g γ P 2 η + P * 2 1 η 2 2 + 1 γ ω P P 2 η + P * 2 1 η 2 γ g P 2 η + P * 2 1 η 2 2 ( g is convex ) + 1 γ g ω P P 2 η + P * 2 1 η 2 γ g P 2 η + P * 2 1 η 2 2 + 1 γ g ω P g P 2 η + P * 2 1 η 2 ( g is submultiplicative ) γ g P 2 η + g P * 2 1 η 2 2 ( by Lemma ( 13 ) ) + 1 γ g ω P g P 2 η + g P * 2 1 η 2 1 4 γ g P 2 η + g P * 2 1 η 2 + 1 2 1 γ g ω P g P 2 η + g P * 2 1 η ,
and this completes the proof of the result. □
An improved extension of (10) and thus (11) and all previous inequalities could be stated as follows:
Theorem 3.
Let P J G . If g : 0 , 0 , is an increasing and convex, then
g ω 2 P 1 2 γ g 3 P 4 η + P * 4 1 η 4 + g P 4 η + 3 P * 4 1 η 4 + 1 2 1 γ g ω P g 3 P 2 η + P * 2 1 η 4 + g P 2 η + 3 P * 2 1 η 4 1 2 γ g P 4 η + g P * 4 1 η + 1 4 1 γ g P 2 η + g P * 2 1 η 2 1 2 g 2 P 2 η + g 2 P * 2 1 η
for all η , γ 0 , 1 . In a particular case, we have
g ω 2 P 1 3 g 3 P 4 η + P * 4 1 η 4 + g P 4 η + 3 P * 4 1 η 4 + 1 6 g ω P g 3 P 2 η + P * 2 1 η 4 + g P 2 η + 3 P * 2 1 η 4 1 3 g P 4 η + g P * 4 1 η + 1 12 g P 2 η + g P * 2 1 η 2 1 2 g 2 P 2 η + g 2 P * 2 1 η .
Proof. 
Since g is increasing and convex, then, by Jensen’s inequality, we have
g P u , u 2 g γ P 2 η u , u P * 2 1 η u , u + 1 γ P u , u P 2 η u , u P * 2 1 η u , u γ g P 2 η u , u P * 2 1 η u , u + 1 γ g P u , u P 2 η u , u P * 2 1 η u , u γ g P 2 η u , u + P * 2 1 η u , u 2 2 + 1 γ g P u , u g P 2 η u , u P * 2 1 η u , u γ g P 2 η u , u 2 + P * 2 1 η u , u 2 2 + 1 γ g P u , u g P 2 η + P * 2 1 η 2 u , u = γ g P 4 η u , u + P * 4 1 η u , u 2 + 1 γ g P u , u g P 2 η u , u + P * 2 1 η u , u 2 γ g 1 2 3 P 4 η u , u + P * 4 1 η u , u 4 + P 4 η u , u + 3 P * 4 1 η u , u 4 + 1 γ g P u , u × g 1 2 3 P 2 η u , u + P * 2 1 η u , u 4 + P 2 η u , u + 3 P * 2 1 η u , u 4 1 2 g 3 P 4 η u , u + P * 4 1 η u , u 4 + g P 4 η u , u + 3 P * 4 1 η u , u 4 + 1 2 1 γ g P u , u g 3 P 2 η u , u + P * 2 1 η u , u 4 + g P 2 η u , u + 3 P * 2 1 η u , u 4 .
Taking the supremum over all unit vector u G in all previous inequalities, we obtain the first and second inequalities (16).
To obtain the second, third, and fourth inequalities, since g is increasing and operator convex, the inequalities in (16) imply that
g ω 2 P 1 2 γ g 3 P 4 η + P * 4 1 η 4 + g P 4 η + 3 P * 4 1 η 4 + 1 2 1 γ g ω P g 3 P 2 η + P * 2 1 η 4 + g P 2 η + 3 P * 2 1 η 4 1 2 γ g 3 P 4 η + P * 4 1 η 4 + g P 4 η + 3 P * 4 1 η 4 + 1 4 1 γ g 3 P 2 η + P * 2 1 η 4 + g P 2 η + 3 P * 2 1 η 4 2 1 2 γ 3 g P 4 η + g P * 4 1 η 4 + g P 4 η + 3 g P * 4 1 η 4 ( g is convex ) + 1 4 1 γ 3 g P 2 η + g P * 2 1 η 4 + g P 2 η + 3 g P * 2 1 η 4 2 = 1 2 γ g P 4 η + g P * 4 1 η + 1 4 1 γ g P 2 η + g P * 2 1 η 2 1 2 γ g 2 P 2 η + g 2 P * 2 1 η ( g is submultiplicative ) + 1 γ g P 2 η + g P * 2 1 η 2 2 = 1 2 γ g 2 P 2 η + g 2 P * 2 1 η + 1 γ g P 2 η + g P * 2 1 η 2 2 1 2 γ g 2 P 2 η + g 2 P * 2 1 η + 1 2 1 γ g 2 P 2 η + g 2 P * 2 1 η ( t 2 is convex ) 1 2 g 2 P 2 η + g 2 P * 2 1 η ,
which proves the second inequality. The inequalities in (27) follows from (26) by setting γ = 1 3 . □
The following result refines the chain of inequalities stated in Theorem 3. The new chain of inequalities is tighter and yields a better bound. It improves the accuracy of the numerical radius and yields more accurate predictions.
Corollary 5.
Let P J G . If g : 0 , 0 , is an increasing, submultiplicative and operator convex, then
g ω 2 P 1 2 γ g 3 P 4 η + P * 4 1 η 4 + g P 4 η + 3 P * 4 1 η 4 + 1 2 1 γ g ω P g 3 P 2 η + P * 2 1 η 4 + g P 2 η + 3 P * 2 1 η 4 γ 0 1 g s P 4 η + 1 s P * 4 1 η d s + 1 γ g ω P 0 1 g s P 2 η + 1 s P * 2 1 η d s 1 2 γ g P 4 η + g P * 4 1 η + 1 2 1 γ g ω P g P 2 η + g P * 2 1 η 1 2 g 2 P 2 η + g 2 P * 2 1 η
for all η , γ 0 , 1 .
Proof. 
The first two inequalities follow from the proof of Theorem 3. The last two inequalities follow from Theorem 1. □
Example 2.
Consider P = 0 2 1 0 . It is easy to observe that ω P = 1.5 . Applying the inequalities in (28) with η = 1 2 and γ = 1 3 for the increasing, submultiplicative, and operator convex function g t = t 2 ( t 0 ) , we obtain
5.0625 = ω 4 P 1 32 γ 3 P 2 + P * 2 2 + P 2 + 3 P * 2 2 + 1 32 1 γ ω 2 P 3 P + P * 2 + P + 3 P * 2 = 5.7395 γ 0 1 s P 2 + 1 s P * 2 2 d s + 1 γ ω 2 P 0 1 s P + 1 s P * 2 d s = 5.8333 1 2 γ P 4 + P * 4 + 1 2 1 γ ω 2 P P 2 + P * 2 = 6.5833 1 2 P 4 + P * 4 = 8.5 ,
which shows that (28) is a non-trivial refinement of (5) and thus (6). Indeed, this example shows that the main results in [1,2] are refined and improved.
In the following two results, we prove two nontrivial generalized extensions of the numerical radius inequalities for Hilbert space operators. In the next result, a refined generalization of (4) and (7) could be extended as in the following result.
Theorem 4.
Let P , Q J G . If g is an increasing, submultiplicative and operator convex function, then
g ω 2 Q * P γ 0 1 g 1 s P 2 + s Q 2 d s + 1 γ g ω S * P 0 1 g 1 s P 2 + s Q 2 d s 1 2 γ g P 4 + g Q 4 + 1 2 1 γ g ω Q * P g P 2 + g Q 2
for all γ 0 , 1 .
Proof. 
Let u G be a unit vector since g is increasing; then, by the refined Cauchy–Schwarz inequality (16), we have
g P u , Q u 2 g γ P 2 u , u Q 2 u , u + 1 γ P u , Q u P 2 u , u Q 2 u , u γ g P 2 u , u Q 2 u , u + 1 γ g P u , Q u P 2 u , u Q 2 u , u ( g is convex ) γ g P 2 u , u + Q 2 u , u 2 2 ( By AM GM inequality ) + 1 γ g P u , Q u g P 2 u , u Q 2 u , u ( g is submultiplicative ) γ g P 2 u , u 2 + Q 2 u , u 2 2 + 1 γ g P u , Q u g P 2 + Q 2 2 u , u ( By AM GM inequality ) γ g P 4 u , u + Q 4 u , u 2 ( By ( 12 ) ) + 1 γ g P u , Q u g P 2 + Q 2 2 u , u γ 0 1 g 1 s P 4 + s Q 4 u , u d s ( By the Hermite Hadamard inequality ) + 1 γ g P u , Q u 0 1 g 1 s P 2 + s Q 2 u , u d s .
On the other hand,
0 1 g 1 s P 2 + s Q 2 u , u d s 0 1 g 1 s P 2 + s Q 2 u , u d s ( By ( 14 ) ) 0 1 1 s g P 2 + s g Q 2 u , u d s ( g is operator convex ) = 0 1 1 s g P 2 + s g Q 2 d s u , u = g P 2 + g Q 2 2 u , u .
Also, and similarly, we have
0 1 g 1 s P 4 + s Q 4 u , u d s g P 4 + g Q 4 2 u , u .
Combining inequalities (31) and (32) with the last inequality in (30) and taking the supremum over all unit vector u G in all previous inequalities, we obtain the required result. □
The following result generalizes and extends the second inequality in (29).
Theorem 5.
Let P , Q J G . If g : 0 , 0 , is an increasing and operator convex, then
g ω 2 Q * P 1 4 γ g P 2 + g Q 2 2 + 1 2 1 γ g ω Q * P g P 2 + g Q 2 1 2 γ g 2 P 2 + g 2 Q 2 + 1 2 1 γ g ω Q * P g P 2 + g Q 2 1 2 g 2 P 2 + g 2 Q 2
for all η , γ 0 , 1 .
Proof. 
Employing (7) with r = 1 , and since g is increasing, we have
g ω 2 Q * P g 1 4 γ P 2 + Q 2 2 + 1 2 1 γ ω Q * P P 2 + Q 2 = g γ P 2 + Q 2 2 2 + 1 γ ω Q * P P 2 + Q 2 2 γ g P 2 + Q 2 2 2 + 1 γ g ω Q * P g P 2 + Q 2 2 γ g P 2 + Q 2 2 2 + 1 γ g ω Q * P g P 2 + Q 2 2 γ g P 2 + g Q 2 2 2 + 1 γ g ω Q * P g P 2 + g Q 2 2 1 4 γ g P 2 + g Q 2 2 + 1 2 1 γ g ω Q * P g P 2 + g Q 2 1 4 γ g P 2 + g Q 2 2 + 1 4 1 γ g P 2 + g Q 2 2 = g P 2 + g Q 2 2 2 = g P 2 + g Q 2 2 2 1 2 g 2 P 2 + g 2 Q 2 ,
and this proves the desired result. □
Remark 2.
Further results concerning the numerical radius inequalities for the product of two Hilbert space operators could be deduced from Theorems 1–3 and Corollaries 1–5. For instance, setting η = 1 2 and replacing P * by Q in Theorem 1, we obtain
g ω 2 Q * P γ 0 1 g s P 2 + 1 s Q 2 d s + 1 γ g ω P 0 1 g s P + 1 s Q d s 1 2 γ g P 2 + g Q 2 + 1 2 1 γ g ω P g P + g Q 1 2 g 2 P + g 2 Q
for all γ 0 , 1 . We leave further construction and the details to the interested reader.

3. Conclusions

This work provides several generalized extensions of some recent numerical radius inequalities of Hilbert space operators. The presented inequalities refine some recently proven inequalities in [1,2]. It has already been shown that concatenating certain inequalities can improve or restore some. By extending the existing numerical radius inequalities, the paper aims to provide a unified framework for numerical radius inequalities. We also present a numerical example to demonstrate the effectiveness of the proposed method. Our method combines the existing inequalities proven in [1,2] into a single inequality that can be used to obtain improved or restored results. This unified approach allows us extending the existing numerical radius inequalities and showing their effectiveness through numerical examples. Namely, in light of Sababheh–Moradi inequality (9), this work discusses several new extensions and generalizations of inequalities (5). Namely, it is shown that
g ω 2 P 1 2 γ g 3 P 4 η + P * 4 1 η 4 + g P 4 η + 3 P * 4 1 η 4 + 1 2 1 γ g ω P g 3 P 2 η + P * 2 1 η 4 + g P 2 η + 3 P * 2 1 η 4 γ 0 1 g s P 4 η + 1 s P * 4 1 η d s + 1 γ g ω P 0 1 g s P 2 η + 1 s P * 2 1 η d s 1 2 γ g P 4 η + g P * 4 1 η + 1 2 1 γ g ω P g P 2 η + g P * 2 1 η 1 2 g 2 P 2 η + g 2 P * 2 1 η
for all η , γ 0 , 1 and P J G , such that g : 0 , 0 , is an increasing, submultiplicative and operator convex. Similar inequalities for the numerical radius of a product of two Hilbert space operators are established.

Author Contributions

Conceptualization, A.H., M.W.A. and R.S.; methodology, A.H.; software, A.Q.; validation, R.S. and A.Q.; formal analysis, A.H. and M.W.A. investigation, A.Q., R.H. and R.S.; resources, M.W.A.; data curation; M.W.A.; writing—original draft preparation, A.H.; writing—review and editing, A.H., M.W.A., A.Q., R.H. and R.S.; visualization, A.H.; supervision, M.W.A.; project administration, A.H.; funding acquisition, A.Q. and R.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Alomari, M.W. On Cauchy-Schwarz type inequalities and applications to numerical radius inequalities. Ricerche Mat. 2022, 1–18. [Google Scholar] [CrossRef]
  2. Kittaneh, F.; Moradi, H.R. Cauchy-Schwarz type inequalities and applications to numerical radius inequalities. Math. Ineq. Appl. 2020, 23, 1117–1125. [Google Scholar] [CrossRef]
  3. Sababheh, M.; Moradi, H.R. More accurate numerical radius inequalities (I). Linear Multilinear Algebra 2021, 69, 1964–1973. [Google Scholar] [CrossRef]
  4. Moradi, H.R.; Sababheh, M. More accurate numerical radius inequalities (II). Linear Multilinear Algebra 2021, 69, 921–933. [Google Scholar] [CrossRef]
  5. Abu-Ghuwaleh, M.; Saadeh, R.; Qazza, A. General master theorems of integrals with applications. Mathematics 2022, 10, 3547. [Google Scholar] [CrossRef]
  6. Kittaneh, F. Numerical radius inequalities for Hilbert space operators. Studia Math. 2005, 168, 73–80. [Google Scholar] [CrossRef]
  7. Kittaneh, F. A numerical radius inequality and an estimate for the numerical radius of the Frobenius companion matrix. Studia Math. 2003, 158, 11–17. [Google Scholar] [CrossRef]
  8. Dragomir, S.S. Power inequalities for the numerical radius of a product of two operators in Hilbert spaces. Sarajevo J. Math. 2009, 5, 269–278. [Google Scholar]
  9. Burqan, A.; Alkhalely, S.; Conde, C. Some generalizations of numerical radius inequalities including the off-diagonal parts of block matrices. Filomat 2023, 37, 6355–6363. [Google Scholar]
  10. Aici, S.; Frakis, A.; Kittaneh, F. Refinements of some numerical radius inequalities for operators. Rend. Circ. Mat. Palermo II Ser. 2023, 72, 1–14. [Google Scholar] [CrossRef]
  11. Feki, K. Some A-numerical radius inequalities for d × d operator matrices. Rend. Circ. Mat. Palermo II Ser. 2022, 71, 85–103. [Google Scholar] [CrossRef]
  12. Altwaijry, N.; Dragomir, S.S.; Feki, K. On the joint A-numerical radius of operators and related inequalities. Mathematics 2023, 11, 2293. [Google Scholar] [CrossRef]
  13. Conde, C.; Feki, K. Some numerical radius inequality for several semi-Hilbert space operators. Linear Multilinear Algebra 2023, 71, 1054–1071. [Google Scholar] [CrossRef]
  14. Altwaijry, N.; Feki, K.; Minculete, N. On some generalizations of Cauchy-Schwarz inequalities and their applications. Symmetry 2023, 15, 304. [Google Scholar] [CrossRef]
  15. Kittaneh, F.; Moradi, H.R.; Sababheh, M. Sharper bounds for the numerical radius. Linear Multilinear Algebra 2023. [Google Scholar] [CrossRef]
  16. Hatamleh, R.; Zolotarev, V.A. Triangular Models of Commutative Systems of Linear Operators Close to Unitary Ones. Ukr. Math. J. 2016, 68, 791–811. [Google Scholar] [CrossRef]
  17. Altwaijry, N.; Feki, K.; Minculete, N. Further inequalities for the weighted numerical radius of operators. Mathematics 2022, 10, 3576. [Google Scholar] [CrossRef]
  18. Bhunia, P.; Paul, K. Some improvements of numerical radius inequalities of operators and operator matrices. Linear Multilinear Algebra 2022, 70, 1995–2013. [Google Scholar] [CrossRef]
  19. Hatamleh, R. On the form of the correlation function for a class of nonstationary field with a zero spectrum. Rocky Mt. J. 2003, 33, 159–173. [Google Scholar] [CrossRef]
  20. Dragomir, S.S. Inequalities for the Numerical Radius of Linear Operators in Hilbert Spaces; Springer: Cham, Switzerland, 2013. [Google Scholar]
  21. Bhunia, P.; Dragomir, S.S.; Moslehian, M.S.; Paul, K. Lectures on Numerical Radius Inequalities; Springer: Cham, Switzerland, 2022. [Google Scholar]
  22. Burqan, A.; Dbabesh, H.; Qazza, A.; Khandaqi, M. New bounds for the eigenvalues of Matrix polynomials. Eur. J. Pure Appl. Math. 2023, 16, 808–818. [Google Scholar] [CrossRef]
  23. Elin, M.; Reich, S.; Shoikhet, D. Numerical Range of Holomorphic Mappings and Applications; Springer: Cham, Switzerland, 2019. [Google Scholar]
  24. Furuta, T.; Mićić, J.; Pečarić, J.; Seo, Y. Mond–Pečarić Method in Operator Inequalities; Ele-Math Element Publishinhg House: Zagreb, Croatia, 2005. [Google Scholar]
  25. Aujla, J.; Silva, F. Weak majorization inequalities and convex functions. Linear Algebra Appl. 2003, 369, 217–233. [Google Scholar] [CrossRef]
  26. El-Haddad, M.; Kittaneh, F. Numerical radius inequalities for Hilbert space operators. II. Studia Math. 2007, 182, 133–140. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Hazaymeh, A.; Qazza, A.; Hatamleh, R.; Alomari, M.W.; Saadeh, R. On Further Refinements of Numerical Radius Inequalities. Axioms 2023, 12, 807. https://doi.org/10.3390/axioms12090807

AMA Style

Hazaymeh A, Qazza A, Hatamleh R, Alomari MW, Saadeh R. On Further Refinements of Numerical Radius Inequalities. Axioms. 2023; 12(9):807. https://doi.org/10.3390/axioms12090807

Chicago/Turabian Style

Hazaymeh, Ayman, Ahmad Qazza, Raed Hatamleh, Mohammad W. Alomari, and Rania Saadeh. 2023. "On Further Refinements of Numerical Radius Inequalities" Axioms 12, no. 9: 807. https://doi.org/10.3390/axioms12090807

APA Style

Hazaymeh, A., Qazza, A., Hatamleh, R., Alomari, M. W., & Saadeh, R. (2023). On Further Refinements of Numerical Radius Inequalities. Axioms, 12(9), 807. https://doi.org/10.3390/axioms12090807

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop