[논문 리뷰] On New Refinements and Reverses of Young's Operator Inequality

Sever S Dragomir|arXiv (Cornell University)|2015. 10. 05.

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

한 줄 요약

이 논문은 양의 연산자에 대해 볼록 함수와 두 번째 도함수의 경계를 사용하여 얀의 부등식을 더욱 정밀하게 다듬고 반전하는 새로운 연산자 부등식을 제시한다. 캔토로비치 비율과 스프레히트 비율을 활용해 더 날카운 추정치를 수립하며, 스칼라 부등식을 연산자 설정으로 확장하고 연산자 평균과 볼록성 제약 조건을 포함한 명시적인 오차 경계를 제공한다.

ABSTRACT

In this paper we obtain some new refinements and reverses of Young's operator inequality. Extensions for convex functions of operators are also provided.

연구 동기 및 목표

• 힐베르트 공간에서 양의 연산자에 대한 얀의 연산자 부등식에 대한 새로운 다듬힘과 반전 부등식을 개발하는 것.
• 칸토로비치 비율과 스프레히트 비율을 포함한 스칼라 다듬힘을 볼록 함수를 사용하여 연산자 설정으로 확장하는 것.
• 두 번째 도함수 제약 조건을 통해 가중 산술 평균과 기하 평균 사이의 차이에 대한 더 날카운 오차 경계를 제공하는 것.
• 볼록 함수형과 연산자 단조성 성질을 통합하여 기존 결과를 일반화하는 것.
• 스펙트럼 경계에서 유도된 명시적인 상수를 포함한 고전적 부등식의 연산자 형태를 수립하는 것.

제안 방법

• 구간 $[\rho, \tau]$에서 볼록 함수 $ f $의 두 번째 도함수 경계를 사용하며, $ d \triangleq \text{inf} f''(t) $ 및 $ D \triangleq \text{sup} f''(t) $ 라고 가정한다.
• 스칼라 부등식 $ \frac{1}{2}\nu(1-\nu)d(b-a)^2 \leq (1-\nu)f(a)+\nu f(b)-f((1-\nu)a+\nu b) \leq \frac{1}{2}\nu(1-\nu)D(b-a)^2 $ 을 연산자 평균에 적용한다.
• $ a = 1 $, $ b = x $, $ X = A^{-1/2}BA^{-1/2} $ 를 대입하여 스칼라 부등식을 연산자 형태로 변환하고, 연산자 순서 부등식을 도출한다.
• 특정 볼록 함수 $ f(t) = -\ln t $, $ f(t) = -t^p $, $ f(t) = t^p $ 에 적용하여 $ \gamma $, $ \Gamma $, $ \nu $ 를 포함한 명시적 경계를 유도한다.
• 연산자 평균 정의 $ A \sharp_\nu B = A^{1/2}(A^{-1/2}BA^{-1/2})^\nu A^{1/2} $ 와 $ A \nabla_\nu B = (1-\nu)A + \nu B $ 를 사용하여 부등식을 표준 연산자 형태로 표현한다.
• $ A^{1/2}(A^{-1/2}BA^{-1/2} - I)^2A^{1/2} $ 를 포함한 경계를 도출하며, 이는 연산자 평균의 편차와 $ f $ 의 볼록성 간의 연관성을 연결한다.

실험 결과

연구 질문

• RQ1 볼록 함수의 두 번째 도함수 경계를 사용하여 얀의 연산자 부등식에 대한 새로운 다듬힘과 반전 부등식을 유도할 수 있는가?
• RQ2 칸토로비치 비율과 스프레히트 비율은 연산자 부등식 추정의 정밀도를 어떻게 향상시키는가?
• RQ3 $ \nu(1-\nu)(a-b)^2 $ 와 $ \nu(1-\nu)(\ln a - \ln b)^2 $ 를 포함한 스칼라 다듬힘의 연산자 형태는 무엇인가?
• RQ4 볼록 함수형과 스펙트럼 경계를 사용하여 가중 산술 평균과 기하 평균 사이의 차이를 경계로 설정할 수 있는가?
• RQ5 $ f(t) = -\ln t $ 및 $ f(t) = -t^p $ 와 같은 특정 볼록 함수에 대한 이러한 부등식의 함의는 무엇인가?

주요 결과

• 모든 볼록 함수 $ f $ 가 두 번째 도함수의 경계 $ d $ 와 $ D $ 를 가진다면, $ \nu \in [0,1] $ 에 대해 다음 부등식이 성립한다: \\n$ \frac{1}{2}\nu(1-\nu)dA^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} \leq (1-\nu)f(1)A + \nu A^{1/2}f(A^{-1/2}BA^{-1/2})A^{1/2} - A^{1/2}f((1-\nu)I + \nu A^{-1/2}BA^{-1/2})A^{1/2} \leq \frac{1}{2}\nu(1-\nu)DA^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} $.
• $ f(t) = -\ln t $ 인 경우, 경계는 \\n$ \frac{1}{2\Gamma^2}\nu(1-\nu)A^{1/2}(A^{-1/2}BA^{-1/\!2}-I)^2A^{1/2} \leq A^{1/2}\left[\ln\left((1-\nu)I + \nu A^{-1/2}BA^{-1/2}\right)\right]A^{1/2} - \nu A^{1/2}\left[\ln\left(A^{-1/2}BA^{-1/2}\right)\right]A^{1/2} \leq \frac{1}{2\gamma^2}\nu(1-\nu)A^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} $ 로 변환된다.
• $ f(t) = -t^p $ ( $ p \in (0,1) $) 인 경우, 스펙트럼 경계 $ \gamma \leq A^{-1/2}BA^{-1/2} \leq \Gamma $ 하에 다음 부등식이 성립한다: \\n$ p(1-p)\Gamma^{p-2}(\Gamma A^{1/2} - B A^{-1/2})(A^{-1/2}B - A^{1/2}\gamma) \leq A\sharp_p B - \frac{\Gamma A - B}{\Gamma - \gamma}\gamma^p - \frac{B - A\gamma}{\Gamma - \gamma}\Gamma^p \leq p(1-p)\gamma^{p-2}(\Gamma A^{1/2} - B A^{-1/2})(A^{-1/2}B - A^{1/2}\gamma) $.
• 중점 부등식에서 상수 $ \frac{1}{8} $ 는 최적임을 보였으며, \\n$ \frac{1}{8}dA^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} \leq \frac{1}{2}[f(1)A + A^{1/2}f(A^{-1/2}BA^{-1/2})A^{1/2}] - A^{1/2}f(\frac{I + A^{-1/2}BA^{-1/2}}{2})A^{1/2} \leq \frac{1}{8}DA^{1/2}(A^{-1/2}BA^{-1/2}-I)^2A^{1/2} $ 로 나타난다.
• 푸루이치, 토미나가, 라이오, 조우, 키타네흐–마나스라의 이전 결과를 볼록성과 스펙트럼 경계를 통합하여 일반화하였다.
• 연산자 부등식은 날카롭고, $ \nu = \frac{1}{2} $ 일 때 스칼라 항등식으로 줄어들어 기존 결과와의 일致성을 확인한다.