Diagonalization modulo a class of Orlicz ideals

DOI10.1016/J.JFA.2006.05.004MaRDI QIDQ852613zbMATH OpenOpenAlexFDO

Publication date 15 November 2006

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jfa.2006.05.004

\(s\)-number commuting tuple of self-adjoint operators diagonalization Orlicz ideal purely singular

Several-variable operator theory (spectral, Fredholm, etc.) (47A13) Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10) Hermitian and normal operators (spectral measures, functional calculus, etc.) (47B15) Operator ideals (47L20)

Review text

According to \textit{T.~Kato} [``Perturbation theory for linear operators (Grundlehren 132, Springer--Verlag) (1976; Zbl 0342.47009)], \textit{R.~Carey} and \textit{J.~Pincus} [Am.\ J.\ Math.\ 98, 481--514 (1976; Zbl 0362.47007)], a self-adjoint operator is diagonalizable modulo the trace class if and only if it is purely singular. \textit{J.--B.\ Xia} [J.~Funct.\ Anal.\ 175, No.~2, 279--307 (2000; Zbl 0963.47015)] extended this result to commuting tuples \(A=(A_1, \dots, A_n)\) of self-adjoint operators on a (separable) Hilbert space \(\mathcal H\): for a given \(1<p<\infty\), \(A\) is simultaneously diagonalizable modulo the Schatten class \({\mathcal C}_p\) if and only if it is purely \(p\)-singular. The aim of the paper under review is to obtain a similar result for simultaneous diagonalization modulo a class of Orlicz ideals. Let \((G,H)\) be a pair of complementary Young's functions [cf.\ \textit{C.~Bennett} and \textit{R.~Sharpley}, ``Interpolation of operators (Pure and Applied Mathematics 129, Academic Press and Harcourt Brace Jovanovich) (1988; Zbl 0647.46057)]. The Orlicz ideal \({\mathcal C}_G\) is the set of all bounded operators \(B\) on \(\mathcal H\) such that \[ \lim_{N\to\infty}\inf\{\lambda>0 : \sum_{j=1}^N G(s_j(B)/\lambda)\leq 1\}<\infty, \] where \(s_j(B)\;(j\geq 1)\) are the \(s\)-numbers of \(B\). A regular Borel measure on \({\mathbb R}^n\) with compact support \(\mathcal X\) is called \(G\)-singular if \[ \int_0^1{{H(r^{-1}\mu(B(x,r)))}\over{\mu(B(x, r))}}{{dr}\over{r}}=\infty \text{ for } \mu\text{-a.e.\;} x\in{\mathcal X}, \] where \(B(x, r)\) denotes the open ball of center \(x\) and radius \(r\). The tuple \(A\) is said to be purely \(G\)-singular if the measure \[ \Delta\mapsto\mu_\xi(\Delta):=\langle{\mathcal E}(\Delta)\xi, \xi\rangle \] is \(G\)-singular for every \(\xi\neq 0\) in \(\mathcal H\) (\(\mathcal E\) denotes the spectral measure for \(A\)). The main result states that \(A\) is diagonizable modulo the Orlicz ideal \({\mathcal C}_G\) if and only if \(A\) is purely \(G\)-singular.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Diagonalization modulo a class of Orlicz ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q852613)