Spectral orders and differences (Q1065321)

Let (X,\(\Lambda\),\(\mu)\) be a measure space with \(0<\mu (X)=a\leq +\infty\) and denote by \({\mathcal M}(X)\) the set of all extended-real value measurable functions on X. To each \(f\in {\mathcal M}(X)\) assign its decreasing rearrangement \(f^*\) on [0,a). Moreover, denote by \({\mathcal P}(X)\) the set of all \(f\in {\mathcal M}(X)\) such that the integral of \(f^*\) over [0,s] is definite, finitely or infinitely, for each \(s\in [0,a)\). In a previous paper [J. Math. Anal. Appl. 108, 31-46 (1985)] the author defined the weak spectral order \(\prec \prec\) of Hardy, Littlewood and Pólya on \({\mathcal P}(X)\cup {\mathcal P}(X')\) by the requirements that \(f\prec \prec g\) if and only if \(f\in {\mathcal P}(X)\), \(g\in {\mathcal P}(X')\) and the integral of \(f^*\) over [0,s] is less than or equal to that of \(g^*\) over [0,s] for each \(s\in [0,a)\), and he proved that increasing convex functions preserve the weak spectral order. Moreover, he proved that \(f+g\prec \prec f^*+g^*\), and that if f,g\(\in {\mathcal M}_+(X)\) and \(f\prec \prec g\), then \(fh\prec \prec f^*h^*\) for any \(h\in {\mathcal M}_+(X).\) In the present paper, the author extends some well-known results of \textit{G. G. Lorentz} and \textit{T. Shimogaki} [J. Funct. Anal. 2, 31-51 (1968; Zbl 0162.445)], \textit{G. Chiti} [Appl. Anal. 9, 23-27 (1979; Zbl 0424.46023)], and \textit{K. M. Chong} [Int. J. Math. Math. Sci. 5, 141-157 (1982; Zbl 0489.26010)]. He first proves that if (X,\(\Lambda\),\(\mu)\) is a \(\sigma\)-finite measure space and f,g\(\in {\mathcal M}(X)\) are such that f-g\(\in {\mathcal P}(X)\) and \(f^*-g^*\in {\mathcal P}([0,a))\), then \(f^*-g^*\prec \prec f-g\). Secondly he proves that if (X,\(\Lambda\),\(\mu)\) is a \(\sigma\)-finite measure space, then \(| f^*-g^*| \prec \prec | f-g|\) for any f,g\(\in {\mathcal M}(X)\). As a corollary to this result, he shows: If a sequence of measurable functions \(\{f_ n\}\) converges to f in an Orlicz space, then \(\{f^*_ n\}\) converges to \(f^*\) and \(\{| f_ n|^*\}\) to \(| f|^*\) in the space.