A DISCRETE TRANSFORM AND DECOMPOSITIONS OF DISTRIBUTION SPACES

We study a representation formula of the form f{hook} = ∑Q 〈f{hook}, θ{symbol}Q〉ψQ for a distribution f{hook} on Rn. This formula is obtained by discretizing and localizing a standard Littlewood-Paley decomposition. The map taking f{hook} to the sequence {〈f{hook}, θ{symbol}Q〉}Q, with Q running over the dyadic cubes in Rn, is called the θ{symbol}-transform. The functions θ{symbol}Q and ψQ have a particularly simple form. Moreover, most of the familiar distribution spaces (Lp-spaces, 1 < p < +∞, Hp spaces, 0 < p ≤ 1, Sobolev and potential spaces, BMO, Besov and Triebel-Lizorkin spaces) are characterized by the magnitude of the θ{symbol}-transform. This enables us to carry out a discrete Littlewood-Paley theory on the sequence spaces corresponding to these distribution spaces. The sequence space norms depend only on magnitudes; cancellation is accounted for in the θ{symbol}Q's and ψQ's. Consequently, analysis on the sequence space level is often easy. With this we can simplify, extend, and unify a variety of results in harmonic analysis. We obtain conditions for the boundedness of linear operators on these distribution spaces by considering corresponding conditions for matrices on the associated sequence spaces. Applications include a general version of the Hörmander (Fourier) multiplier theorem and results for kernel operators of Calderón-Zygmund type. We discuss certain other, more general, decomposition methods, including the "smooth atomic decomposition," and the "generalized θ{symbol}-transform." The smooth atomic decomposition yields a simple method for dealing with restriction and extension phenomena for hyperplanes in Rn. We also consider pointwise multipliers. For the characteristic function of a domain, we obtain boundedness results for a general class of domains which properly includes Lipschitz domains. Several interpolation methods are easily analyzed via the sequence spaces. For real interpolation, we obtain, among other things, an extension to the case p = 0. This in turn gives a new approach to the traditional atomic decomposition of Hardy spaces. © 1990.