An extension of Specht's theorem via Kantorovich inequality and related results (Q4943141)

Bounded positive invertible linear operators on a complex Hilbert space \(H\) are considered in this article. The determinant for an operator \(A\) at a unit vector \(x\in H\) is defined in the following way: \[ \Delta_x(A)= \exp\langle(\log A)x,x\rangle. \] We mention the following results. Theorem A. Let \(A\) be a positive invertible operator. Then for every unit vector \(x\in H\), \(f(p)= (A^p, x,x)^{1/p}\) is an increasing function for \(p\succ 0\), \[ \lim_{p\to 0} (A^p x,x)^{1/p}= \Delta_x(A). \] Especially \((Ax,x)\geq \Delta_x(A)\) holds for every unit vector \(x\in H\). Theorem B. Let \(A\) be a positive invertible operator satisfying \(MI\geq A\geq mI\succ 0\), \(M\succ m\succ 0\). Then \[ M_h(p)\Delta_x(A^p)\geq (A^p x,x) \] holds for \(p\succ 0\) and every unit vector \(x\in H\), \(h={M\over m}\succ 1\) and \[ M_h(p)= {h^p/(h^p-1)\over e\log(h^p/(h^p-1))}. \] Theorem C. Let \(A\) be a positive invertible operator satisfying \(MI\geq A\geq mI\succ 0\), \(M\succ m\succ 0\). Then \[ {mM^p- Mm^p\over M-m} \{K_+(m, M,p)^{1/(p-1)}- 1\}\geq (A^p x,x)- (Ax,x)^p \] holds for \(p\succ 1\) and every unit vector \(x\in H\), where \[ K_+(m, M,p)= {(p- 1)^{p-1}\over p^p} {(M^p- m^p)^p\over (M- m)(mM^p- Mm^p)^{p-1}}.\tag{\(*\)} \] Theorem D. Let \(A\) be a positive invertible operator satisfying \(MI\geq A\geq mI\succ 0\), \(M\succ m\succ 0\). Then \(K_+(m,M,p)(Ax, x)^p\geq (A^p x,x)\geq (Ax, x)^p\) hold for all \(p\succ 1\) and every unit vector \(x\in H\), where \(K_+(m,M,p)\) is defined in \((*)\). Theorem E. Let \(A\geq B\geq 0\), \(MI\geq B\geq MI\succ 0\), \(M\succ m\succ 0\). Then \(K_+(m,M,p) A^p\geq B^p\) holds for all \(p\succ 1\), where \(K_+(m,M,p)\) is defined in \((*)\). In this article, the author shows an extension of Theorem B, and an application of Theorem C as a parallel result to Theorem E. Theorem B\('\). Let \(A\) a positive invertible operator satisfying \(MI\geq A\geq mI\succ 0\), \(M\succ m\succ 0\). Then \(M_h(1)\Delta_x(A)\geq (Ax,x)\) holds for every unit vector \(x\in H\), \(h={M\over m}\succ 1\) and \(M_h(p)\) is defined in Theorem B. Application of Theorem C. Let \(A\) and \(B\) be positive invertible operators satisfying \(A\geq B\geq 0\), \(MI\geq B\geq mI\succ 0\), \(M\succ m\succ 0\). Then \[ A^p- B^p\geq {-(mM^p- Mm^p)\over M-m} \{K_+(m, M,p)^{1/(p-1)}- 1\} \] holds for \(p\succ 1\), \(M\succ m\succ 0\), where \(K_+(m, M,p)\) is defined in \((*)\).