Höder–type inequalities associated with operator radii and schur products^† (Q4376550)

Hölder-type inequalities for the Hadamard (=Schur) product of matrices are proved in the space \({\mathcal M}_n\) of \(n\times n\) complex matrices equipped with \(w_p(\cdot)\) norms/quasi-norms (\(w_\rho\) is a norm, if \(0<p\leq 2\), and \(w_\rho\) is a quasi-norm, if \(2<p<\infty\)). The Hadamard product \(A\circ B\) of \(A=[a_{ij}]\), \(B=[b_{ij}]\in {\mathcal M}_n\) is \(A\circ B=[a_{ij}b_{ij}]\). Let \(|A|\) denote the positive (semi-defined) square root of \(A^*A\) and let \([ ]A[ ]_+=[|a_{ij}|]\) Theorem 1. Let \(A,B\in {\mathcal M}_n\). Then \[ \begin{aligned} w_\rho(A\circ B)&\leq w_\rho(|A|^p)^{1/p} w_\rho(|B|^q)^{1/q}, \\ w_\rho(A\circ B)&\leq w_\rho([ ]A[ ]^{(p)})^{1/p} w_\rho([ ]B[ ]^{(q)})^{1/q}, \end{aligned} \qquad \rho>0,\;p,q>0,\;\frac 1p+\frac 1q=1. \] Theorem 2. Let \(\rho_i>0\), \(\alpha_i>0\) for \(i=1,2,\dots,k\) with \(\alpha_1+ \alpha_2+\dotsc+\alpha_k=1\) and let \(A\in{\mathcal M}_n\) have non-negative entries. Then \[ w_{\alpha_1 \rho_1+\dotsc+\alpha_k \rho_k}(A_1^{(\alpha_1)} \circ\dotsc \circ A_k^{(\alpha_k)}) \leq w_{\rho_1}(A_1)^{\alpha_1} \dots w_{\rho_k}(A_1)^{\alpha_k}. \] Here \(A^{(s)}\) means the \(s\)-power \(A^{(s)}=[a_{ij}^s]\) of \(A\).