[논문 리뷰] Numerical radius inequalities concerning with algebraic norms

Ali Zamani, Mohammad Sal Moslehian외 2명|arXiv (Cornell University)|2019. 09. 25.

Mathematical Inequalities and Applications참고 문헌 14인용 수 5

한 줄 요약

이 논문은 임의의 자기수반 대수 노름 $ N $ 를 사용하여 일반화된 수치 반경 $ w_N(T) $ 를 도입함으로써 고전적 수치 반경 부등식을 확장한다. $ w_N(T) $ 에 대한 날카운 상한과 하한을 도출하고, 두 연산자의 곱에 대한 새로운 부등식을 수립하며, 새로운 노름 $ \Omega(T) $ 를 통해 기존 결과, 특히 Kittaneh와 Dragomir의 부등식을 개선한다. 이는 $ \|TT^* + T^*T\| $ 와 $ w(T^2) $ 를 포함한 더 날카운 경계를 이끌어낸다. 주요 기여는 기존 수치 반경 추정치를 개선하고 일반화하는 통합 프레임워크를 제공한다는 점이다.

ABSTRACT

We give an expression for a generalized numerical radius of Hilbert space operators and then apply it to obtain upper and lower bounds for the generalized numerical radius. We also establish some generalized numerical radius inequalities involving the product of two operators. Applications of our inequalities are also provided.

연구 동기 및 목표

• 고전적 수치 반경을 임의의 자기수반 대수 노름을 사용하여 일반화하기.
• 일반화된 수치 반경 $ w_N(T) $ 에 대한 새로운 상한과 하한을 도출하기.
• 두 연산자의 곱에 대한 $ w_N(T) $ 를 이용한 부등식 수립하기.
• 특히 Kittaneh와 Dragomir의 부등식을 개선하기.
• 결과를 힐베르트-슈미트 연산자에 적용하고 추적 기반 부등식 유도하기.

제안 방법

• 자기수반 대수 노름 $ N $ 에 대해 일반화된 수치 반경 $ w_N(T) = \sup_{\theta \in \mathbb{R}} N(\operatorname{Re}(e^{i\theta}T)) $ 를 도입하기.
• 카르테시안 분해 $ T = \operatorname{Re}(T) + i\operatorname{Im}(T) $ 를 사용하여 $ w_N(T) $ 를 $ \operatorname{Re}(T) $ 와 $ \operatorname{Im}(T) $ 의 실수 선형 조합의 최대값으로 표현하기.
• 코시-슈바르츠 부등식을 적용하여 $ w_N(T) $ 를 $ N(\operatorname{Re}(e^{i\varphi}T)) $ 와 $ N(\operatorname{Im}(e^{i\varphi}T)) $ 에 대한 상한으로 유도하고, 이 성분들의 $ \ell^2 $-노름의 $ \varphi \in \mathbb{R} $ 에 대한 최소값을 취함으로써 유도하기.
• 자기수반적이고 대수적인 새로운 노름 $ \Omega(T) = \sup_{|\zeta|^2 + |\eta|^2 \leq 1} \|\zeta T + \eta T^*\| $ 를 정의하고, 이를 통해 고전적 부등식을 개선하기.
• $ w_{\Omega}(T) = \sqrt{2} w(T) $ 라는 항등식을 수립하여 일반화된 수치 반경과 고전적 수치 반경을 연결하기.
• 이 프레임워크를 힐베르트-슈미트 노름 $ \|\cdot\|_2 $ 에 적용하여 $ w_2(T) $ 에 대한 추적 기반 부등식 도출하기.

실험 결과

연구 질문

• RQ1 어떻게 임의의 자기수반 대수 노름을 사용하여 고전적 수치 반경을 일반화할 수 있는가?
• RQ2 일반화된 수치 반경 $ w_N(T) $ 에 대한 가장 날카운 상한과 하한은 무엇인가?
• RQ3 이 일반화된 프레임워크를 사용하여 두 연산자의 곱에 대한 새로운 부등식을 유도할 수 있는가?
• RQ4 새로운 노름 $ \Omega(T) $ 는 Kittaneh와 Dragomir의 부등식을 어떻게 개선하는가?
• RQ5 이 프레임워크는 힐베르트-슈미트 연산자와 추적 기반 항등식에 어떤 함의를 갖는가?

주요 결과

• 모든 자기수반 대수 노름 $ N $ 에 대해 $ \frac{1}{2}N(T) \leq w_N(T) \leq N(T) $ 이 성립한다.
• 부등식 $ w_N(T) \leq \inf_{\varphi \in \mathbb{R}} \sqrt{N^2(\operatorname{Re}(e^{i\varphi}T)) + N^2(\operatorname{Im}(e^{i\varphi}T))} $ 는 날카운 상한을 제공한다.
• $ \Omega(T) $ 는 $ \Omega(T) \leq \sqrt{\|TT^* + T^*T\|} $ 와 $ \Omega(T) \leq \sqrt{\|T\|^2 + w(T^2)} $ 를 만족하며, 기존 경계를 개선한다.
• $ w_{\Omega}(T) = \sqrt{2} w(T) $ 라는 항등식은 $ w(T) \leq \frac{\sqrt{2}}{2} \Omega(T) \leq \frac{\sqrt{2}}{2} \min\left\{ \sqrt{\|TT^* + T^*T\|}, \sqrt{\|T\|^2 + w(T^2)} \right\} $ 라는 부등식을 이끌어내며, 이는 Kittaneh와 Dragomir의 부등식을 모두 개선한다.
• 정규 연산자에 대해서는 $ \Omega(T) = \sqrt{2} \|T\| $ 이고, 제곱이 0인 연산자에 대해서는 $ w_{\Omega}(T) = \frac{\sqrt{2}}{2} \Omega(T) $ 이다. 이는 극한 경우에서의 날카운 성을 확인한다.
• 힐베르트-슈미트 연산자에 대해서는 항등식 $ w_2(T) = \frac{1}{2}\|T\|_2^2 + \frac{1}{2}|\operatorname{tr}(T^2)| $ 가 성립하며, 이로부터 추적 기반 부등식을 도출할 수 있다. 예를 들어 $ \|TT^* + T^*T\|_2 + \sup_{\varphi} |\operatorname{tr}((e^{i\varphi}T)^2 + (e^{-i\varphi}T^*)^2)| \leq 2(\|T\|_2^2 + |\operatorname{tr}(T^2)|) $ 라는 부등식이 유도된다.