[논문 리뷰] Hermite-Hadamard type inequality for operator preinvex functions

A. G. Ghazanfari, Mahmood Shakoori외 2명|arXiv (Cornell University)|2013. 06. 04.

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

한 줄 요약

이 논문은 힐버트 공간에서 연산자 전볼록 함수에 대해 헤르미트-하다마르드 유형 부등식을 수립하며, 임의의 집합과 일반화된 $\eta$-경로를 통해 고전적 부등식을 연산자 볼록성으로 확장한다. 주요 기여는 가중 평균과 적분 평균의 차이를 봉인하는 새로운 적분 부등식을 제시하는 것으로, 연산자 전볼록성과 $\eta$에 대한 조건 $C$를 포함한 날카운 추정치를 제공한다. 결과는 기존의 연산자 볼록 함수에 대한 부등식을 일반화하며, 스펙트럼 이론과 함수 해석학을 통해 노름 및 벡터-준노름의 경계를 제공한다.

ABSTRACT

In this paper we establish a Hermite- Hadamard type inequality for operator preinvex functions and an estimate of the right hand side of a Hermite- Hadamard type inequality in which some operator preinvex functions of selfadjoint operators in Hilbert spaces are involved.

연구 동기 및 목표

• 고전적 헤르미트-하다마르드 부등식을 연산자 설정에서 연산자 전볼록 함수를 사용하여 확장하기 위해.
• 연산자 볼록 함수에 대한 기존 결과를 임의의 집합에서의 전볼록성과 $\eta$-경로를 도입함으로써 일반화하기 위해.
• 연산자 값 적분을 포함하는 헤르미트-하다마르드 유형 부등식의 우변에 대한 새로운 추정치를 도출하기 위해.
• 연산자 전볼록성 하에서 적분 평균과 중점 값 사이의 편차에 대해 벡터 및 연산자 노름 경계를 수립하기 위해.
• 특수한 경우 $\eta(B,A) = B - A$일 때 기존의 연산자 볼록 함수 결과들이 회복됨을 보여주어 이전 결과들을 통합하고 일반화하기 위해.

제안 방법

• 조건 $C$를 만족하는 사상 $\eta:S \times S \to B(H)_{sa}$에 대해, $S \subseteq B(H)_{sa}$인 임의의 집합에서 연산자 전볼록성을 정의한다.
• 연속 함수 해석학을 사용하여 자기수반 연산자 $A$와 $\mathrm{Sp}(A)$에서 연속인 함수 $f$에 대해 $f(A)$를 정의하며, 양성과 순서 유지 성질을 보장한다.
• $\eta$-경로 $P_{AV} = \{A + t\eta(B,A) \mid t \in [0,1]\}$를 도입하고, 연산자 값 적분 $\int_0^1 f(A + t\eta(B,A)) \, dt$를 정의한다.
• 고정된 단위 벡터 $x \in H$에 대해 실수 값 함수 $\varphi(t) = \left\langle \int_0^t f(A + s\eta(B,A)) \, ds \, x, x \right\rangle$를 정의하고, 전볼록성에 의해 그 볼록성을 활용한다.
• 클래식한 드라고미르-아가르왈 부등식(정리 1)을 $\varphi(t)$에 적용하여 가중 평균과 적분 평균의 차이에 대한 경계를 도출한다.
• 모든 단위 벡터 $x$에 대해 Supremum을 취함으로써 연산자 노름 경계를 도출하고, 이를 통해 주요 부등식 (2.13)을 얻는다.

실험 결과

연구 질문

• RQ1 헤르미트-하다마르드 부등식은 힐버트 공간에서 임의의 집합에 있는 연산자 전볼록 함수로 확장될 수 있는가?
• RQ2 연산자 전볼록 설정에서 적분 평균과 중점 값 사이의 편차에 대해 날카운 경계는 무엇인가?
• RQ3 $\eta$-사상에 대한 조건 $C$는 연산자 값 함수의 볼록성과 적분 가능성에 어떻게 영향을 미치는가?
• RQ4 $\eta(B,A) = B - A$일 때, 고전적 결과들이 얼마나 일반적인 경우로 회복되는가?
• RQ5 전볼록성 하에서 동일한 부등식에 대해 동시에 벡터-준노름 및 연산자 노름 추정치를 유도할 수 있는가?

주요 결과

• 논문은 연산자 전볼록 함수에 대해 새로운 헤르미트-하다마르드 유형 부등식을 수립한다: $ f\left(\frac{A+V}{2}\right) \leq \frac{1}{2}\left[f\left(\frac{3A+V}{4}\right) + f\left(\frac{A+3V}{4}\right)\right] \leq \int_0^1 f(A + t\eta(B,A)) \, dt \leq \frac{1}{2}\left[f\left(\frac{A+V}{2}\right) + \frac{f(A)+f(B)}{2}\right] $, 여기서 $V = A + \eta(B,A)$이다.
• 적분 평균과 가중 평균 사이의 편차에 대한 날카운 추정치가 도출된다: $ \left| \frac{1}{2}\varphi(a) + \frac{1}{2}\varphi(b) - \frac{1}{b-a}\int_a^b \varphi(s) \, ds \right| \leq \frac{b-a}{8}(\varphi'(a) + \varphi'(b)) $, 여기서 $\varphi(t) = \left\langle \int_0^t f(A + s\eta(B,A)) \, ds \, x, x \right\rangle$이다.
• 연산자 노름 형태의 경계는 $ \left\| \frac{1}{2}\int_0^a f(A+s\eta(B,A)) \, ds + \frac{1}{2}\int_0^b f(A+s\eta(B,A)) \, ds - \frac{1}{b-a}\int_a^b \int_0^t f(A+s\eta(B,A)) \, ds \, dt \right\| \leq \frac{b-a}{8}\|f(A + a\eta(B,A)) + f(A + b\eta(B,A))\| $이다.
• 만약 $\eta(B,A) = B - A$이면, 부등식은 기존의 연산자 볼록 함수 결과로 축소되며, 드라고미르(2000)의 정리 2를 복원한다.
• 벡터-준노름 경계는 $ \left| \frac{1}{2}\langle \int_0^a f(A+s\eta(B,A)) \, ds \, x,x \rangle + \frac{1}{2}\langle \int_0^b f(A+s\eta(B,A)) \, ds \, x,x \rangle - \frac{1}{b-a}\int_a^b \left\langle \int_0^t f(A+s\eta(B,A)) \, ds \, x,x \right\rangle dt \right| \leq \frac{b-a}{8}\left(\langle f(A+a\eta(B,A))x,x\rangle + \langle f(A+b\eta(B,A))x,x\rangle\right) $이다.
• 결과들은 적분 평균이 오른쪽 경계보다 왼쪽 경계에 더 가까이 위치함을 보여주며, 이를 통해 코로나리 1에서 $ 0 \leq \int_0^1 f(A+t\eta(B,A)) \, dt - f\left(\frac{A+V}{2}\right) \leq \frac{f(A)+f(B)}{2} - \int_0^1 f(A+t\eta(B,A)) \, dt $임을 보여준다.