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

Sever S Dragomir|ArXiv.org|2003. 08. 28.

Mathematical Inequalities and Applications참고 문헌 15인용 수 58

한 줄 요약

이 논문은 내적 공간에서 샤르의 부등식, 삼각부등식, 베셀의 부등식에 대한 날카운 반대 부등식을 제시하며, 실수 또는 복소수 매개변수 제약 조건을 도입하여 이전 결과를 향상시킨다. 주요 기여는 특정 조건 하에서 반대 부등식의 최적 상수 계수(예: 1/4)를 도출한 것으로, 이는 기능해석학 및 근사이론 분야에서 새로운 그루스 유형 및 적분 부등식을 도출하는 데 응용된다.

ABSTRACT

Reverses of Schwarz, triangle and Bessel inequalities in inner product spaces that improve some earlier results are pointed out. They are applied to obtain new Gruss type inequalities in inner product spaces. Some natural applications for integral inequalities are also pointed out.

연구 동기 및 목표

• 실수 또는 복소수 매개변수 제약 조건 하에서 내적 공간에서 샤르, 삼각부등식, 베셀의 부등식에 대한 기존 반대 부등식을 개선하고 더 날카운 경계를 도입한다.
• 특정 실수 또는 복소수 매개변수 제약 조건 하에서 반대 부등식에서 상수 1/4의 최적성(최적성)을 확립한다.
• 개선된 반대 부등식을 활용하여 내적 공간에서 새로운 그루스 유형 부등식을 도출한다.
• 가중 함수를 포함한 측도 이론적 공식화를 통해 결과를 적분 부등식으로 확장한다.
• 기존 실수 내적 공간에서의 결과를 복소수 내적 공간으로 일반화하며, 특히 유제비치의 실수 공간 결과를 향상시킨다.

제안 방법

• 조건 $\operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0$ 또는 그 등가 조건 $\|x - \frac{a+A}{2}y\| \leq \frac{1}{2}|A - a|\|y\|$ 를 이용하여 반대 샤르 부등식을 유도한다.
• 매개변수화된 조건 $\operatorname{Re}\langle \sum_{i\in F} \phi_i e_i - x, x - \sum_{i\in F} \varphi_i e_i \rangle \geq 0$ 를 적용하여 개선된 반대 베셀 부등식을 도출한다.
• 등가 조건 $\|x - \sum_{i\in F} \frac{\phi_i + \varphi_i}{2} e_i\| \leq \frac{1}{2} \left(\sum_{i\in F} |\phi_i - \varphi_i|^2\right)^{1/2}$ 를 활용하여 $\|x\|^2$ 와 $\sum_{i\in F} |\langle x, e_i \rangle|^2$ 간의 차이를 경계한다.
• 가중 $L^2$ 공간에 반대 부등식을 적용하여 적분 부등식을 도출한다. 여기서는 양의 측도 $\rho(s)$ 와 가중 함수 $f(s), g(s)$ 를 사용한다.
• 조건 $\operatorname{Re}[(Ah(s) - f(s))(\overline{f(s)} - \overline{a}\overline{h(s)})] \geq 0$ a.e. 를 이용하여 적분에 대한 그루스 유형 경계를 확립한다.
• 정규화 $\int_\Omega \rho(s)|h(s)|^2 d\mu(s) = 1$ 를 적용하여 최적 상수를 갖는 적분 부등식 유도를 단순화한다.

실험 결과

연구 질문

• RQ1 매개변수 제약 조건 $a, A$ 하에서 반대 샤르 부등식의 최적 상수는 무엇인가?
• RQ2 정규직교 가속에 대한 매개변수화된 경계를 사용하여 반대 베셀 부등식을 어떻게 개선할 수 있는가?
• RQ3 가중 함수를 포함한 내적 공간의 반대 부등식을 적분 형태로 확장할 수 있는가?
• RQ4 반대 샤르 부등식에서 유도된 그루스 유형 부등식의 최적 상수는 무엇인가?
• RQ5 복소수 내적 공간에서 반대 부등식은 실수 내적 공간과 비교하여 어떻게 행동하는가?

주요 결과

• 조건 $\operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0$ 하에서 반대 샤르 부등식 $0 \leq \|x\|^2\|y\|^2 - |\langle x,y \rangle|^2 \leq \frac{1}{4}|A - a|^2\|y\|^4$ 에서 상수 $\frac{1}{4}$ 는 최적이다.
• 주어진 매개변수 제약 조건 하에서 반대 베셀 부등식 $0 \leq \|x\|^2 - \sum_{i\in F} |\langle x, e_i \rangle|^2 \leq \frac{1}{4} \sum_{i\in F} |\phi_i - \varphi_i|^2 - \operatorname{Re}\langle \sum_{i\in F} \phi_i e_i - x, x - \sum_{i\in F} \varphi_i e_i \rangle$ 는 성립하며, 상수 $\frac{1}{4}$ 는 최적이다.
• 부등식 $0 \leq \|x\|^2\|y\|^2 - |\langle x,y \rangle|^2 \leq \frac{1}{4}|\Gamma - \gamma|^2\|y\|^4 - \left|\frac{\Gamma + \gamma}{2}\|y\|^2 - \langle x,y \rangle\right|^2$ 는 이전의 반대 샤르 경계를 향상시키며, 여전히 최적 상수 $\frac{1}{4}$ 를 유지한다.
• 적분 형태에서는 조건 $\gamma g(s) \leq f(s) \leq \Gamma g(s)$ a.e. 하에서 부등식 $\int_\Omega \rho(s)|f(s)|^2 d\mu \int_\Omega \rho(s)|g(s)|^2 d\mu \leq \frac{1}{4} \cdot \frac{|\Gamma + \gamma|^2}{\operatorname{Re}(\Gamma \overline{\gamma})} \left| \int_\Omega \rho(s)f(s)\overline{g(s)} d\mu \right|^2$ 가 성립하며, 상수 $\frac{1}{4}$ 는 최적이다.
• 그루스 유형 부등식 $\left| \int \rho f \overline{g} - \int \rho f \overline{h} \int \rho h \overline{g} \right| \leq \frac{1}{4} \cdot \frac{|A - a||B - b|}{\sqrt{\operatorname{Re}(A\overline{a}) \operatorname{Re}(B\overline{b})}} \left| \int \rho f \overline{h} \int \rho h \overline{g} \right|$ 는 최적 상수 $\frac{1}{4}$ 를 갖는 것으로 확립되었다.
• 반대 베셀 부등식 $0 \leq \|x\|^2 - \sum_{i\in F} |\langle x, e_i \rangle|^2 \leq \frac{1}{4} \sum_{i\in F} |\phi_i - \varphi_i|^2 - \sum_{i\in F} \left| \frac{\phi_i + \varphi_i}{2} - \langle x, e_i \rangle \right|^2$ 는 상수 $\frac{1}{4}$ 를 갖는 최적임이 증명되었다.