Orbits in symmetric spaces, II

We may suppose f is nonnegative and decreasing. Let \varphi=\varphi_E be the fundamental function of E and let \psi be its least concave majorant of \varphi. Since E\setminus L_1\neq\emptyset we have \lim_{t\to\infty}\psi'(t)=0. For any \tau>1 we have, using Theorem II.5.5 of [KreinPetuninSemenov1982]

Now we have, since f\in L_1,

and by the Dominated Convergence Theorem,

Hence

and the Lemma follows.

Suppose first g\in\mathcal Q_E(f). Then given \epsilon>0 there exist f_1,\ldots,f_p\in E such that f_j^*\le f for 1\le j\le p and

Let

Then if h=g\wedge v^*, using (?)

It remains to observe that (3.1) holds by Lemma 4.1 of [KaltonSukochev2008].

The converse is easy. If h satisfies (3.1) and (3.1) then h\in \alpha \mathcal Q(f) for every \alpha>1 by Theorem 6.3 of [KaltonSukochev2008]. Hence h\in\mathcal Q_E(f) and so d(g,\mathcal Q_E(f))<\epsilon.

(i) is almost immediate. G is defined as the infimum of the collection \mathcal C of all increasing concave functions H on [0,\infty) such that H(\alpha_n)\ge \beta_n for all n\in\mathbb Z and H(0)\ge 0. This collection is non-empty since F\in\mathcal C. G is affine on each interval [\alpha_n,\beta_{n+1}] and since G\le F, G is continuous at 0.

For (ii), assume G is not affine on [0,\alpha_n]. Then there exists a least p<n so that g is affine on [\alpha_{p},\alpha_n]. Let G_0 be the function equal to G on [0,\alpha_{p-1}] and [\alpha_n,\infty) and affine on [\alpha_{p-1},\alpha_n]. Then for any 0<\lambda<1 we have (1-\lambda)G+\lambda G_0\notin \mathcal C. Hence there exists k(\lambda)\in\{p,p+1,\ldots,n-1\} so that

Letting \lambda\to 0 through as a suitable sequence where k(\lambda)=m<n is constant we obtain G(\alpha_m)=\beta_m and the second alternative holds.

We may suppose that f is decreasing. We let

Let us define a doubly infinite sequence (a_n)_{n\in\mathbb Z} by F(a_n)=(5/4)^n.

We next introduce the family \mathcal K of doubly infinite sequences \kappa=(\kappa_n)_{n\in\mathbb Z} such that either \kappa_n\in \mathbb N with 1\le \kappa_n< a_{n+1}/a_n or \kappa_n=\infty. Then \mathcal K is a complete lattice under the order \kappa\le \kappa' if \kappa_n\le \kappa'_n for all n. We may define the lattice operations (\kappa\vee\kappa')_n=\max(\kappa_n,\kappa'_n) and (\kappa\wedge\kappa')_n=\min(\kappa_n,\kappa'_n).

For each \kappa\in \mathcal K we define \psi_{\kappa}\in E as follows. Let \Psi(t)=\Psi_{\kappa}(t) be the least increasing concave function such that \Psi(0)\ge 0,

and

The existence and properties of \Psi are guaranteed by applying Lemma 3.2 when \alpha_n=\kappa_na_n if \kappa_n<\infty and \alpha_n=a_{n} if \kappa_n=\infty and \beta_n=F(a_n) if \kappa_n<\infty and \beta_n=0 if \kappa_n=\infty. Since F(a_n)\le F(\kappa_na_n) it is clear from Lemma 3.2 that \Psi exists and \Psi\le F. Furthermore \Psi is piecewise affine on (0,\infty) and we may define \psi_{\kappa}=\Psi' is a nonnegative piecewise constant decreasing function on (0,\infty). Clearly \psi_{\kappa}\in\Omega(f)\subset E.

We note some elementary properties of the map \kappa\to\psi_{\kappa}.

For \kappa\in\mathcal K and r\in\mathbb N we will define a \kappa^{[r]}\ge \kappa by suppressing the values of \kappa which are less than r. Precisely:

We next prove the following Lemma, which is the heart of the argument for Theorem 3.3:

Next for any integer p we define \gamma^{p}_n=p if pa_n< a_{n+1} and \gamma^{p}_n=\infty otherwise. For each q>p we define \gamma^{p,q}_n=p if pa_n< a_{n+1} and |n|\le q and \gamma^{p,q}_n=\infty otherwise. Let \psi_p=\psi_{\gamma^{p}} and \psi_{p,q}=\psi_{\gamma^{p,q}}.

We now can complete the proof of the Theorem. We will show that if p\in\mathbb N,

Indeed if (?) fails for some t we can assume a_n\le t<a_{n+1} for some n\in\mathbb Z. We first argue that a_{n+1}\le pa_n. Suppose, on the contrary, that a_{n+1}>pa_n. Then we have

which contradicts our hypothesis. Next we show that a_{n+2}\le pa_{n+1}. Indeed if a_{n+2}>pa_{n+1}, then p^2t\geq pa_{n+1} and

But then a_{n+2}\le p^2a_n and so

and we have a contradiction. This establishes (?).

Now if \tau\ge 1 we replace t in (?) by t/\tau and interpret the inequality in the form:

Hence

so that

Combining with Lemma ? we obtain the theorem.

An easy computation shows that \mathcal Q(f+1)=\mathcal Q(f)+\mathcal Q(1). Hence \mathcal Q_{E+L_\infty}(f+1)\supset \mathcal Q_E(f)+\mathcal Q_{L_\infty}(1)=\Omega(f)+\Omega(1). If 0\le g\in \Omega(f+1) then g-g\wedge 1\in \Omega(f) and g\wedge 1 \in \Omega(1) so that \Omega(f)+\Omega(1)=\Omega(f+1). Hence \mathcal Q_{E+L_\infty}(f+1)=\Omega(f+1) and we can apply Theorem 3.3.

If \lim_{\tau\to\infty}\tau^{-1}\|\sigma_\tau(f^*)\|_E=0 then \Omega_+(f)\subset \mathcal Q_E(f) by Theorem 25 of [SukochevZanin2009]; thus \Omega(f)=\mathcal Q_E(f). Conversely if \Omega(f)=\mathcal Q_E(f) we have either

(when f\notin L_1 by Theorem 3.3) or

(when f\in L_1 by Theorem 3.8). Then Lemma 2.1 shows that in both cases we have \lim_{\tau\to \infty}\tau^{-1}\|\sigma_\tau(f)\|_E=0.

The proof is very similar to that of Theorem 4.1 using instead Theorem 24 of [SukochevZanin2009].

We define F to be the function space on (0,\infty) defined by f\in F if and only if f^*\chi_{(0,1)}\in E and f\in L_1 with the norm

Suppose f\in E is nonnegative and decreasing. We will show that, regarding f as an member of F, we have \Omega(f)=\mathcal Q_F(f). Note that the hypothesis \Omega(f)=\mathcal Q_E(f) on (0,1) implies only that if g\in F and g\in \Omega(f) then g\in \mathcal Q_F(f) provided \mu ({\rm supp}\, g)\le 1. We will show, however, that \Omega(f)=\mathcal Q_F(f) and then the Theorem follows.

We will need the following Lemma:

We continue the proof of the theorem. We will assume, without loss of generality that \int_0^1 f(t)\,dt=1. First suppose g\in\Omega(f) is nonnegative, not identically zero, and decreasing and satisfies g(x)=0 for some 0<x<\infty. Given \epsilon>0 we may find c_0>0 so that

Let

We have \alpha>0 and we may pick 0<\beta<\alpha with (\alpha-\beta)<\epsilon/2 and then 0<c<c_0 with

Let c'\ge c be the least solution of

We now define

From the construction we have h\in\Omega(f). Thus h\in\mathcal Q_F(f). For any t\le \min(c',1) we have

If c'<1 then

If c'\ge 1 then

Hence (1-\epsilon)g\preceq h and by Lemma ? we have (1-\epsilon)g\in\mathcal Q_F(h). Since \epsilon>0 is arbitrary we have g\in \mathcal Q_F(h)\subset \mathcal Q_F(f).

Finally let us note for general nonnegative decreasing g\in F we have \lim_{m\to\infty}\|g-g\chi_{(0,m)}\|_F=0 so that we have \Omega_F(f)=\mathcal Q_F(f).

Now the result reduces to Theorems 4.1 and 4.2.

We consider the Banach function space F of all bounded functions such that (f^*(0),f^*(1),\ldots)\in E with the norm

where f^*(0)=\|f\|_{L_\infty} and a_n:=\int_{n-1}^nf^*(s)ds, n\ge 1. Then let F(\mathbb N) be the subspace of F of all functions f which are constant on each interval (n-1,n]. Clearly, the Banach spaces (F(\mathbb N), \|\cdot\|_F) and (E, \|\cdot\|_E) are linearly isomorphic, in particular

Let \mathbb E denote the conditional expectation operator

Suppose \xi is a nonnegative decreasing sequence and let

The result will follow from:

Theorem 4.5 now follows directly from Theorem ?.

We give the proof only for L_M(0,\infty). Suppose first that M(t)=o(t) when t\to 0. We show that \|\lim_{\tau\to\infty}\tau^{-1}\sigma_{\tau}f\|_{L_M}=0 whenever f\in (L_M)_+. Suppose \alpha>0.

for any \tau>1. Since f\in L_M there exists \tau_0 so that

Now letting \tau\to\infty we obtain from the Dominated Convergence Theorem that

so that \lim_{\tau\to\infty}\tau^{-1}\|\sigma_{\tau}f\|_{L_M}=0 and we can apply Theorem 4.1.

Now if M(t)\ge ct for all t>0 where c>0 we have L_M\subset L_1. For any \alpha>0 and \tau>1

As before the right-hand side is integrable for some \tau=\tau_0 and we can apply the Dominated Convergence Theorem to deduce that \tau^{-1}\|(\sigma_{\tau}f^*)\chi_{(0,1)}\|_{L_M} tends to 0 as \tau approaches infinity. Now one can apply Theorem 4.2.

Let \xi=(s_k(T))_{k=1}^{\infty}. Let R\in\mathcal K(\mathcal H) and let \eta=(s_k(R))_{k=1}^{\infty}. If R\in \mathcal Q(T) then it follows from Proposition 8.6 and Theorem 5.5 of [KaltonSukochev2008] that \eta\in\lambda\mathcal Q(\xi) for every \lambda>1.

First suppose that \Omega(T)=\mathcal Q_E(T). If S\in \Omega(T) then given \epsilon>0 there exists R\in\mathcal Q(T) with \|R-S\|_E<\epsilon. Let \zeta=(s_k(S))_{k=1}^{\infty}. Then by the submajorization inequality of [DoddsDoddsdePagter1989a],

so that \|\eta-\zeta\|_E <\epsilon. Since \eta\in \mathcal Q_E(\xi) and \epsilon>0 is arbitrary, this implies that \zeta\in\mathcal Q_E(\xi) and so \mathcal Q_E(\xi)=\Omega(\xi). Theorem 4.5 can then be applied.

The converse direction is immediate.