On boundedness of the hardy and bellman operators in the spaces h and bmo (Q4484802)

Let \(T\) denote the real line interval \((-\pi,\pi)\) with Lebesgue measure, and for \(1\leq p<\infty\), let \(L^p(T)\) denote the space of measurable functions of the form \(f\) with \(\|f\|_p= (\int_T|f(t)|^p dt)^{1/p}< \infty\). The subspaces of \(L^p(T)\) consisting of even or odd functions are denoted respectively by \(L^p_c(T)\), \(L^p_s(T)\), and the subspace of \(L^p(T)\) consisting of functions of the form \(f\) with \(\int_T f(t) dt= 0\) is denoted by \(L^p(T)_0\). The Hardy operator \(H\) and the Bellman operator \(B\) are defined on the spaces of sequences of the form \(\underline a= (a_0,a_1,a_2,\dots, a_j,\dots)\) by \[ H(\underline a)_n= {1\over n} \sum^n_{j=0} a_J;\quad B(\underline a)_n= \sum^\infty_{k=n} (a_k/k). \] A function \(f\) with period \(2\pi\) is said to be of bounded mean oscillation (BMO) if \[ \|f\|^*= \sup_{0<(b-a)< 2\pi} \inf_c (b-a)^{-1} \Biggl(\int^b_a|f(t)- c|dt\Biggr)< \infty. \] If \(f\) is in \(L^p_c(T)\) or \(L^p_s(T)\), then according to results of G. H. Hardy and R. Bellman functions \(H(f)\) and \(B(f)\) may be determined to have Fourier cosine (or Fourier sine) coefficients \(H(\underline a)_n\) or \(B(\underline a)_n\), \(n= 1,2,3,\dots\), where \(a_n\), \(n= 0,1,2,\dots\) are the Fourier coefficients of \(f\), \(a_0= 0\). In the results of this paper the author shows that \(H\) is not bounded in the space \(\text{BMO}(T)\) consisting of functions of bounded mean oscillation on \(T\), and \(B\) is bounded on \(\text{BMO}(T)\).