[논문 리뷰] A Generalisation of the Cassels and Greub-Reinboldt Inequalities in Inner Product Spaces

Sever S Dragomir|ArXiv.org|2003. 06. 25.

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

한 줄 요약

이 논문은 복소수 내적 공간과 실수 내적 공간에서 캐슬스와 그루브-라인볼트 부등식을 복소수 매개변수 $ a, A $를 포함한 역 샤르츠 유형 부등식을 도입하여 일반화한다. 이 매개변수들은 $ \operatorname{Re}(\overline{a}A) > 0 $ 를 만족한다. 주요 기여는 내적 $ \langle x, y \rangle $ 에 대한 날카로운 역 부등식을 도출하는 것으로, $ \|x\|\|y\| $ 를 $ \operatorname{Re}(A\overline{\langle x,y\rangle} + \overline{a}\langle x,y\rangle) $ 로 bound 한다. 응용은 수열, 적분 및 등순서 선형 함수에 대해 이루어진다.

ABSTRACT

A generalisation of the Cassels and Greub-Reinboldt inequalities in complex or real inner product spaces and applications for isotonic linear functionals, integrals and sequences are provided.

연구 동기 및 목표

• 복소수 매개변수 $ a, A $를 포함한 내적 공간에서 고전적 캐슬스 및 그루브-라인볼트 부등식을 $ \overline{a}A $ 의 실수부가 양수임을 조건으로 일반화한다.
• 내적 공간에서 복소 스칼라 $ a, A $ 를 포함한 카우치-슈바르츠 부등식의 날카로운 역 부등식을 $ \operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0 $ 라는 일반화된 양성 조건 하에 수립한다.
• 결과를 $ \ell_w^2(\mathbb{K}) $ 에서의 수열, 적분 및 등순서 선형 함수로 확장하여 정량적 경계를 제공한다.
• 반례 구성 방법을 통해 유도된 부등식에서 상수 $ \frac{1}{2} $ 가 날카로운지 증명한다.
• 실수 및 복소수 설정에서 부등식의 타당성을 보장하는 충분조건을 제공한다. 예를 들어 $ my_i \leq x_i \leq My_i $

제안 방법

• 조건 $ \operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0 $ 을 사용하여 역 카우치-슈바르츠 부등식을 유도하며, 이는 이전의 실수 매개변수 경계를 일반화한다.
• 모든 $ \alpha > 0 $, $ p,q \geq 0 $ 에 대해 성립하는 기본 부등식 $ \alpha p^2 + \frac{1}{\alpha} q^2 \geq 2pq $ 를 사용하여 $ \|x\|\|y\| $ 를 $ \|x\|^2 $, $ \|y\|^2 $, 그리고 내적 표현식으로 bound 한다.
• 항등식 $ \operatorname{Re}\langle Ay - x, x - ay \rangle = \operatorname{Re}[A\overline{\langle x,y\rangle} + \overline{a}\langle x,y\rangle] - \|x\|^2 - \operatorname{Re}(\overline{a}A)\|y\|^2 $ 를 사용하여 주요 부등식을 유도한다.
• 가중치 $ \ell_w^2 $ 공간과 $ \ell^2 $ 수열에 결과를 적용하기 위해 내적 $ \langle \overline{x}, \overline{y} \rangle_w = \sum w_i x_i \overline{y_i} $ 를 정의한다.
• 상수 $ \frac{1}{2} $ 가 날카로운지 확인하기 위해 $ a = A = 1 $, $ y = x \neq 0 $ 를 테스트하여 $ \|x\|^2 \leq 2c\|x\|^2 \Rightarrow c \geq \frac{1}{2} $ 를 도출한다.
• 부등식이 성립하기 위한 충분조건을 제시한다. 예를 들어 모든 $ i $ 에 대해 $ \operatorname{Re}[(Ay_i - x_i)(\overline{x_i} - \overline{a}\overline{y_i})] \geq 0 $ 이거나, 실수 경우에 $ my_i \leq x_i \leq My_i $ 를 만족한다.

실험 결과

연구 질문

• RQ1 복소수 내적 공간에서 복소수 매개변수 $ a, A $ 를 포함한 캐슬스 및 그루브-라인볼트 부등식을 어떻게 일반화할 수 있는가? 이 때 $ \operatorname{Re}(\overline{a}A) > 0 $ 를 만족한다.
• RQ2 일반화된 조건 $ \operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0 $ 하에서 역 카우치-슈바르츠 부등식의 날카로운 상수는 무엇인가?
• RQ3 유도된 부등식은 $ \ell_w^2(\mathbb{K}) $ 에서의 수열로 어떻게 확장되며, 그 타당성을 보장하는 충분조건은 무엇인가?
• RQ4 노름의 곱과 내적의 실수부 사이의 차이에 대한加법적 및 곱셈적 경계는 무엇인가?
• RQ5 부등식은 어떤 조건에서 기존의 형태인 폴리아-슈바르츠 또는 그루브-라인볼트 형태로 축소되는가?

주요 결과

• 논문은 부등식 $ \|x\|\|y\| \leq \frac{1}{2} \cdot \frac{\operatorname{Re}[A\overline{\langle x,y\rangle} + \overline{a}\langle x,y\rangle]}{[\operatorname{Re}(\overline{a}A)]^{1/2}} $ 를 수립하며, 상수 $ \frac{1}{2} $ 가 날카로운 것으로 확인된다.
• 실수 매개변수 $ m, M > 0 $ 에 대해 부등식은 $ \|x\|\|y\| \leq \frac{1}{2} \cdot \frac{M + m}{\sqrt{mM}} \operatorname{Re}\langle x, y \rangle $ 로 단순화되며, 극한에서 고전적 캐슬스 부등식을 회복한다.
• $ \ell_w^2 $ 설정에서는 부등식이 $ \left[\sum w_i |x_i|^2 \sum w_i |y_i|^2\right]^{1/2} \leq \frac{1}{2} \cdot \frac{\sum w_i \operatorname{Re}[A\overline{x_i}y_i + \overline{a}x_i\overline{y_i}]}{[\operatorname{Re}(\overline{a}A)]^{1/2}} $ 로 표현되며, 조건 $ \sum w_i \operatorname{Re}[(Ay_i - x_i)(\overline{x_i} - \overline{a}\overline{y_i})] \geq 0 $ 하에서 유효하다.
• 加법적 형태는 $ 0 \leq \left[\sum w_i |x_i|^2 \sum w_i |y_i|^2\right]^{1/2} - \sum w_i \operatorname{Re}(x_i \overline{y_i}) \leq \frac{(\sqrt{M} - \sqrt{m})^2}{2\sqrt{mM}} \sum w_i \operatorname{Re}(x_i \overline{y_i}) $ 를 제공하며, 이는 정량적 갭 추정치를 제공한다.
• 매개변수 $ a_i, b_i $ 가 구간 $ [a,A] $, $ [b,B] $ 에서 유계일 경우, 부등식은 그루브-라인볼트 형태 $ \frac{\sum w_i a_i^2 \sum w_i b_i^2}{(\sum w_i a_i b_i)^2} \leq \frac{(ab + AB)^2}{4abAB} $ 로 축소된다.
• 실수 경우에 $ my_i \leq x_i \leq My_i $ 와 같은 충분조건은 부등식의 성립을 보장하며, 이는 순서가 매겨진 수열과 적분으로의 적용 범위를 확장한다.