Cauchy--Schwarz norm inequalities for weak*-integrals of operator valued functions (Q1763936): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jfa.2004.06.003 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2082315005 / rank
 
Normal rank

Revision as of 01:59, 20 March 2024

scientific article
Language Label Description Also known as
English
Cauchy--Schwarz norm inequalities for weak*-integrals of operator valued functions
scientific article

    Statements

    Cauchy--Schwarz norm inequalities for weak*-integrals of operator valued functions (English)
    0 references
    0 references
    22 February 2005
    0 references
    In this paper, \( \mathcal{H}\) is a separable, infinite-dimensional Hilbert space, \(\mathcal{B}( \mathcal{H})\) is the space of all bounded linear operators on \( \mathcal{H}\), and \( \mathcal{C}_{p} (\mathcal{H})\) (\(p \geq 1\)) are the Schatten \(p\)-ideals. Each symmetric gauge function \( \varPhi \) on sequences determines a symmetric norm on \(\mathcal{B}( \mathcal{H})\) defined by \( \| X \| _{ \varPhi } = \varPhi ( \{ s_{n}(X) \}_{n=1}^{ \infty})\) with \( s_{1}(X) \geq s_{2}(X) \geq \dots \) being the singular values of \(X\); the symbol \(| | | . | | | \) is used for any such norm on a naturally associated norm ideal \( \mathcal{C}_{ | | | . | | | } (\mathcal{H}) \) of \( \mathcal{C}_{ \infty} (\mathcal{H}) \). For a measure space \( (\Omega, \mathfrak{M}, \mu) \) and for a weak*-integrable mapping \( \mathcal{A}: \Omega \to (\mathcal{B}( \mathcal{H}), \sigma(\mathcal{B}( \mathcal{H}), \mathcal{C}_{1}( \mathcal{H})))\) (note that \(\mathcal{B}( \mathcal{H})\) is the dual space of \(\mathcal{C}_{1}( \mathcal{H})\)), for any \( E \in \mathfrak{M}\), one gets a unique \(\mathcal{I}_{E} \in \mathcal{B}( \mathcal{H})\) such that \[ \text{tr}( \mathcal{I}_{E} Y) = \int_{E}\text{tr}( \mathcal{A}_{t} Y) d \mu (t), \; \text{ for all }Y \in \mathcal{C}_{1}( \mathcal{H}). \] This is denoted by \( \int_{E} \mathcal{A}_{t} d \mu (t) \) or \( \int_{E} \mathcal{A} d \mu \). The main result is: Suppose that \((\Omega, \mathfrak{M}, \mu)\) is a \(\sigma\)-finite measure space and that \(\mathcal{A}: \Omega \to (\mathcal{B}( \mathcal{H}), \sigma(\mathcal{B}(\mathcal{H}), \mathcal{C}_{1}( \mathcal{H})))\) and \( \mathcal{B}: \Omega \to (\mathcal{B}( \mathcal{H}), \sigma(\mathcal{B}( \mathcal{H}), \mathcal{C}_{1}( \mathcal{H})))\) are \(\mu\)-weak* measurable. Then for every \(p, q, r \geq 1\) such that \( \frac{1}{q} + \frac{1}{r}=\frac{2}{p} \), and \(X \in \mathcal{C}_{p} (\mathcal{H})\), \[ \left\| \int_{\Omega} \mathcal{A} X \mathcal{B} \right\| _{p} \leq \left\| \sqrt{2q}{ \int_{\Omega} \mathcal{A^{*}} \left(\int_{\Omega} \mathcal{A} \mathcal{A^{*}} d \mu\right)^{q-1} \mathcal{A} d \mu} X \sqrt{2r}{ \int_{\Omega} \mathcal{B} \left(\int_{\Omega} \mathcal{B^{*}} \mathcal{B} d \mu\right)^{r-1} \mathcal{B^{*}} d \mu} \right\| _{p}. \] If both \( \{ \mathcal{A}_{t} \}_{t \in \Omega} \) and \(\{ \mathcal{B} \}_{t \in \Omega} \) consist of commuting normal operators, then for all unitary invariant norms \( | | | . | | | \) and all \( X \in \mathcal{C}_{ | | | . | | | } (\mathcal{H}) \), \[ \left| \left| \left| \int_{\Omega} \mathcal{A} X \mathcal{B} d \mu \right| \right| \right| \leq \left| \left| \left| \left(\sqrt{\int_{\Omega} \mathcal{A^{*}} \mathcal{A} d \mu}\right) X \left(\sqrt{\int_{\Omega} \mathcal{B^{*}} \mathcal{B} d \mu}\right) \right| \right| \right| . \] If, in addition, \(\int_{\Omega} \mathcal{A^{*}} \mathcal{A} d \mu \leq I\) and \(\int_{\Omega} \mathcal{B^{*}} \mathcal{B} d \mu \leq I\), then \[ \left(\sqrt{I- \int_{\Omega} \mathcal{A^{*}} \mathcal{A} d \mu}\right) X \left(\sqrt{I- \int_{\Omega} \mathcal{B^{*}} \mathcal{B} d \mu}\right)\in \mathcal{C}_{ | | | . | | | } (\mathcal{H}) \] and \[ \left| \left| \left| \left(\sqrt{ I- \int_{\Omega} \mathcal{A^{*}} \mathcal{A} d \mu}\right) X \left(\sqrt{ I- \int_{\Omega} \mathcal{B^{*}} \mathcal{B} d \mu}\right) \right| \right| \right| \leq \left| \left| \left| X- \int_{\Omega} \mathcal{A} X \mathcal{B} d \mu \right| \right| \right|. \] Several applications to some other operator inequalities and to operator monotone functions are given.
    0 references
    Schatten ideals
    0 references
    unitarily invariant norms
    0 references
    weak* measurability
    0 references
    operator mean inequalities
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references