We prove that for all
f ∈ℋ1, ∑
k=1∞(1∕k)|f(k)|≤ K∥f∥ℋ1, where ℋ1 is the Walsh function analogue of
the classical Hardy-space and f(k) is the k-th Walsh-Fourier coefficient of f.
We obtain this as a consequence of its dual result: given a sequence {ak}
of numbers such that ak = O(1∕k), there exists a function h ∈ BMO with
ĥ(k) = ak.
We study the relation between our results and the theory of differentiation on the
Walsh group, developed by Butzer and Wagner.
|