One-sided discrete square function
Let f be a measurable function defined on ℝ. For each n ∈ ℤ we consider the average . The square function is defined as . The local version of this operator, namely the operator , is of interest in ergodic theory and it has been extensively studied. In particular it has been proved [3] that it is of weak type (1,1), maps into itself (p > 1) and into BMO. We prove that the operator S not only maps into BMO but it also maps BMO into BMO. We also prove that the boundedness still holds...