[논문 리뷰] An operator extension of Bohr's inequality

Mohammad Sal Moslehian, ‎Josip Pečarić외 1명|arXiv (Cornell University)|2008. 12. 04.

Mathematical Inequalities and Applications참고 문헌 9인용 수 12

한 줄 요약

이 논문은 힐버트 공간 위의 유계 선형 연산자에 대한 C*-대수에서 보어의 부등식을 연장하여, 바시치와 케치치가 기여한 고전적 부등식을 일반화한다. 연산자 볼록성과 단위 필드의 양성 선형 사상에 대한 젠슨의 부등식을 사용하여, 가중 적분과 노름을 포함하는 비가환 버전의 부등식을 유도하며, $1 < r \leq 2$일 때 다음을 확립한다: $\left(\int_T \varphi_t(A_t)\,d\mu(t)\right)^r \leq \left(\int_T \alpha_t^{1/(1-r)}\,d\mu(t)\right)^{r-1} \int_T \alpha_t \varphi_t(A_t^r)\,d\mu(t)$, 이는 노름 부등식과 연산자 평균에 응용된다.

ABSTRACT

We establish an operator extension of the following generalization of Bohr's inequality, due to M.P. Vasić and D.J. Kečkić: $$|\sum_{i=1}^n z_i|^r \leq (\sum_{i=1}^n α_i^{1/(1-r)})^{r-1}\sum_{i=1}^n α_i|z_i|^r \quad (r&gt;1, z_i \in{\mathbb C}, α_i&gt;0, 1 \leq i \leq n) .$$ We also present some norm inequalities related to our noncommutative generalization of Bohr's inequality.

연구 동기 및 목표

• 힐베르트 공간 위의 유계 선형 연산자에 대한 C*-대수의 비가환 설정으로 고전적 보어의 부등식을 일반화하는 것.
• 바시치와 케치치가 제시한 알려진 복소변수 부등식을 연속적인 연산자 필드와 양성 선형 사상에 포함하는 연산자 이론적 프레임워크로 확장하는 것.
• 1 < r \leq 2에 대해 $x^r$의 연산자 볼록성을 활용하여 가중 조건 하에서 연산자에 대한 새로운 노름 부등식을 수립하는 것.
• 단위 필드의 양성 선형 사상과 보체르 적분을 사용하여 연산자 부등식 유도를 위한 통합된 프레임워크를 제공하는 것.

제안 방법

• C*-대수에서 단위 필드의 양성 선형 사상에 대해 연산자 볼록 함수 이론을 활용하고 젠슨의 부등식을 적용한다.
• 가중 함수 $\alpha_t^{1/(1-r)}$를 정규화하기 위해 컴actified 공간 $T_\infty$ 위에 수정된 사상 필드 $\tilde{\varphi}_t$를 구성한다.
• 1 < r \leq 2일 때 $[0, \infty)$에서 $f(x) = x^r$의 연산자 볼록성을 적용하여 통합 및 함수 해석학을 통해 주요 부등식을 도출한다.
• 유계 라돈 측도를 가진 국소적으로 컴act한 하우스도르프 공간 위에서 보체르 적분을 사용하여 연산자 값 함수의 적분을 정의한다.
• 유한 색인 집합으로 특수화하여 이산적 동반 부등식을 도출하며, 가중 연산자 변환의 합을 포함하는 부등식을 이끌어낸다.
• 특수한 경우에 결과를 적용하여 $X_i^*X_i \leq I$인 $X_i^* A_i X_i$ 및 상호 수직 범위를 가진 연산자에 대해 적용한다.

실험 결과

연구 질문

• RQ1 고전적 보어의 부등식은 어떻게 힐베르트 공간 위의 유계 선형 연산자에 대한 비가환 설정으로 확장될 수 있는가?
• RQ2 가중치 $\alpha_t$와 양성 선형 사상 $\varphi_t$에 대해, 형태 $\left(\int \varphi_t(A_t)\,d\mu\right)^r \leq C \int \alpha_t \varphi_t(A_t^r)\,d\mu$의 일반화된 연산자 부등식이 성립하기 위한 조건은 무엇인가?
• RQ3 1 < r \leq 2에 대해 $x^r$의 연산자 볼록성을 활용하여 연산자 평균과 가중 합에 대한 새로운 노름 부등식을 도출할 수 있는가?
• RQ4 양성 연산자와 수축 $X_i$에 대해 부등식 $\left(\sum X_i^* A_i X_i\right)^r \leq \left\{\sum \alpha_i^{1/(1-r)}\right\}^{r-1} \sum \alpha_i X_i^* A_i^r X_i$가 성립하는 조건은 무엇인가?
• RQ5 연산자 $A_i$에 대해 수직 범위 조건이 일반화된 보어 유형 부등식의 형태와 날카로움에 어떻게 영향을 주는가?

주요 결과

• 1 < r \leq 2일 때 조건 $\int_T \alpha_t^{1/(1-r)} \varphi_t(I)\,d\mu(t) \leq \left(\int_T \alpha_t^{1/(1-r)}\,d\mu(t)\right) I$ 하에 주요 부등식 $\left(\int_T \varphi_t(A_t)\,d\mu(t)\right)^r \leq \left(\int_T \alpha_t^{1/(1-r)}\,d\mu(t)\right)^{r-1} \int_T \alpha_t \varphi_t(A_t^r)\,d\mu(t)$ 가 성립한다.
• 이산적 형태의 부등식은 $\left(\sum_{i=1}^n \varphi_i(A_i)\right)^r \leq \left(\sum_{i=1}^n \alpha_i^{1/(1-r)}\right)^{r-1} \sum_{i=1}^n \alpha_i \varphi_i(A_i^r)$ 로, 조건 $\sum \alpha_i^{1/(1-r)} \varphi_i(I) \leq \sum \alpha_i^{1/(1-r)} I$ 를 만족할 때 유효하다.
• 양성 연산자 $A_i \geq 0$ 이며 범위가 상호 수직일 때 ($i \neq j$일 때 $A_i^*A_j = 0$), $2 < r \leq 4$에 대해 부등식 $\left|\sum A_i\right|^r \leq \left(\sum \alpha_i^{2/(2-r)}\right)^{(r-2)/2} \sum \alpha_i |A_i|^r$ 가 성립한다.
• $X_i^*X_i \leq I$일 때, 부등식 $\left(\sum X_i^* A_i X_i\right)^r \leq \left(\sum \alpha_i^{1/(1-r)}\right)^{r-1} \sum \alpha_i X_i^* A_i^r X_i$ 가 확립되며, 이는 수축의 경우를 일반화한다.
• 증명은 $1 < r \leq 2$일 때 $[0, \infty)$에서 $x^r$의 연산자 볼록성과 보체르 적분을 통한 컴팩티피케이션 공간 위의 정규화된 사상 필드 구성에 기반한다.
• 결과로 새로운 노름 부등식이 도출되며, 수직 범위 조건 하에 $\left\|\sum A_i\right\|^r \leq \left(\sum \alpha_i^{2/(2-r)}\right)^{(r-2)/2} \sum \alpha_i \|A_i\|^r$ 가 성립한다.