[논문 리뷰] New Reverses of Schwarz, Triangle and Bessel Inequalities in Inner Product Spaces

Sever S Dragomir|ArXiv.org|2003. 09. 05.

Mathematical Inequalities and Applications참고 문헌 16인용 수 39

한 줄 요약

이 논문은 내적 공간에서 슈바르츠, 삼각부등식, 베셀 부등식에 대한 새로운 역부등식을 제시하며, 실부분 내적과 노름 제약 조건을 사용하여 날카운 경계를 수립한다. 주요 기여는 특정 기하학적 및 스펙트럼 조건 하에서 최적의 상수—특히 1/4 및 1—을 유도한 것이다. 이는 그루스 유형 및 적분 부등식에 응용된다.

ABSTRACT

New reverses of the Schwarz, triangle and Bessel inequalities in inner product spaces are pointed out. These results complement the recent ones obtained by the author in an earlier paper. Further, they are employed to establish new Gruss type inequalities. Finally, some natural integral inequalities are stated as well.

연구 동기 및 목표

• 내적 공간에서 고전적인 슈바르츠, 삼각부등식, 베셀 부등식에 대한 새로운 역부등식을 수립하기 위해.
• 벡터의 기하학적 제약 조건 하에서 이전 결과를 개선하여 최적의 상수를 갖는 더 날카운 경계를 제공하기 위해.
• 이러한 역부등식을 가중치 $ L^2 $ 공간에서의 그루스 유형 부등식 및 적분 형태로 확장하기 위해.
• 유도된 경계에서 $ \frac{1}{4} $ 및 $ 1 $과 같은 상수의 최적성(optimality)을 입증하기 위해.
• 실부분 조건과 노름 기반 제약 조건을 사용하여 이전의 역부등식을 통합 및 일반화하기 위해.

제안 방법

• 조건 $ \|x - a\| \leq r < \|a\| $ 를 사용하여 슈바르츠 부등식의 역을 유도하여 $ \|x\|^2\|a\|^2 - |\langle x,a\rangle|^2 \leq r^2\|x\|^2 $ 를 얻으며, 이는 최적 상수 1을 갖는다.
• 조건 $ \mathop{\mathrm{Re}}\langle \Gamma y - x, x - \gamma y \rangle \geq 0 $ 를 적용하여 상수 $ \frac{1}{4} $ 를 갖는 역삼각부등식을 도출한다.
• 등가 조건 $ \|x - \frac{\gamma + \Gamma}{2}y\| \leq \frac{1}{2}|\Gamma - \gamma|\|y\| $ 를 사용하여 내적 부등식에서 등호의 편차를 제약한다.
• 조건 $ \|x - e\| \leq r_1 $, $ \|y - e\| \leq r_2 $ 이며 $ \|e\| = 1 $ 인 경우를 가정하여 그루스 유형 부등식을 유도하며, $ |\langle x,y\rangle - \langle x,e\rangle\langle e,y\rangle| \leq r_1 r_2 \|x\|\|y\| $ 를 얻으며, 최적 상수 1을 갖는다.
• 무한차원 힐버트 공간에서 베셀 부등식의 결과를 $ \|x - \sum \lambda_i e_i\| \leq r $ 를 사용하여 유도하며, $ \sum \mathop{\mathrm{Re}}[\bar{\lambda}_i \langle x,e_i\rangle] $ 를 포함하는 경계를 도출한다.
• 유한차원 부등식을 가중 함수 $ \rho(s) $ 를 갖는 측도 공간 위에서 적분 형태로 변환하여 $ L^2 $-노름과 내적에 대한 역부등식을 이끌어낸다.

실험 결과

연구 질문

• RQ1 노름 근접성 제약 조건 하에서 내적 공간에서 슈바르츠 부등식에 대한 가장 날카운 역경계는 무엇인가?
• RQ2 벡터들이 공통 방향 근처에 제약을 받을 때 삼각부등식을 최적의 상수로 어떻게 역전할 수 있는가?
• RQ3 힐베르트 공간에서 내적에 대한 날카운 그루스 유형 부등식을 유도하기 위한 조건은 무엇인가?
• RQ4 무한차원 공간에서 가중치를 갖는 정규직교 벡터의 합에 가까운 벡터의 근접성 조건을 사용하여 베셀 부등식을 어떻게 역전할 수 있는가?
• RQ5 가측 함수를 갖는 가중치 $ L^2 $ 공간에서 이러한 역부등식의 적분 형태는 무엇인가?

주요 결과

• 조건 $ \|x - a\| \leq r < \|a\| $ 하에서 슈바르츠 부등식의 역이 성립하며, 경계 $ \|x\|^2\|a\|^2 - |\langle x,a\rangle|^2 \leq r^2\|x\|^2 $ 를 갖는다. 이때 상수 1은 최적이다.
• 조건 $ \|x - \frac{\gamma + \Gamma}{2}y\| \leq \frac{1}{2}|\Gamma - \gamma|\|y\| $ 하에서 역삼각부등식 $ 0 \leq \|x\| + \|y\| - \|x + y\| \leq \frac{1}{4} \cdot \frac{|\Gamma - \gamma|^2}{\mathop{\mathrm{Re}}(\Gamma\bar{\gamma})} |\langle x,y\rangle|^2 $ 이 성립하며, 상수 $ \frac{1}{4} $ 는 최적이다.
• 그루스 유형 부등식이 증명됨: $ \|x - e\| \leq r_1 $, $ \|y - e\| \leq r_2 $, $ \|e\| = 1 $ 이면 $ |\langle x,y\rangle - \langle x,e\rangle\langle e,y\rangle| \leq r_1 r_2 \|x\|\|y\| $ 이며, 최적 상수 1을 갖는다.
• 베셀 부등식의 경우, $ \|x - \sum \lambda_i e_i\| \leq r $ 이고 $ \sum |\lambda_i|^2 > r^2 $ 이면 $ \|x\|^2 \leq \frac{(\sum \mathop{\mathrm{Re}}[\bar{\lambda}_i \langle x,e_i\rangle])^2}{\sum |\lambda_i|^2 - r^2} $ 를 얻으며, 특정 조건 하에서 등호가 성립한다.
• 적분 형태에서는 거의 모든 곳에서 $ m g(s) \leq f(s) \leq M g(s) $ 를 만족할 때, 역슈바르츠 부등식이 성립한다: $ \left| \int \rho |f|^2 \int \rho |g|^2 \right|^{1/2} - \left| \int \rho f \bar{g} \right| \leq \frac{1}{4} \cdot \frac{(M - m)^2}{M + m} \int \rho |g|^2 $, 상수 $ \frac{1}{4} $ 는 최적이다.
• 적분 형태의 역삼각부등식이 도출됨: $ \|f\|_2 + \|g\|_2 - \|f + g\|_2 \leq \frac{\sqrt{2}}{2} \cdot \frac{M - m}{\sqrt{M + m}} \|g\|_2 $, 동일한 점별 제약 조건 하에서 성립한다.