Harmonic analysis: Real-variable methods, orthogonality, and oscillatory integrals. With the assistance of Timothy S. Murphy.(English)Zbl 0821.42001

Princeton Mathematical Series. 43. Princeton, NJ: Princeton University Press. xiii, 695 pp. (1993).
The well-known author, specialist in Harmonic Analysis, adds an extensive volume to his preceding monographs in the Princeton University Press collection: E. M. Stein “Singular integrals and differentiability properties of functions” (1970; Zbl 0207.13501); E. M. Stein and G. Weiss, “Introduction to Fourier analysis on Euclidean spaces” (1971; Zbl 0232.42007). The book provides an up-to-date description of a broad subject featuring the author’s own contributions and a comprehensive, largely self-contained presentation of the last 20 years account. The text is an outcome of lectures delivered at Princeton University and was realized in collaboration with T. S. Murphy.
The book is organized along 13 chapters each of which is followed by an appendix with sketches of proofs and further comments. In view of a brief outline of the enormous material one should say that three major notions are investigated:
1) Maximal averages for which a simple instance is ${1 \over 2t} \int^ t_{-t} f(x-y)\,dy\quad (t > 0).$
2) Singular integrals; an example is provided by the Hilbert transform $${1 \over\pi} \int^ \infty_{- \infty} f(x-y) {dy \over y}$$.
3) Oscillatory integrals; the Fourier transform is the most striking example.
The author establishes new connexions giving rise to applications to PDEs, several complex variables theory, semisimple Lie groups, symmetric spaces.
Part I is mostly devoted to real-variable theory. Chapter I explains that the underlying space is to be endowed with a metric structure. As a model one may choose $$\mathbb R^ n$$ with a family $${\mathcal B}$$ of Euclidean balls, and a Borel measure $$\mu$$ on $$B$$. Let $A_ \delta f(x) = {1 \over \mu \bigl( B(x, \delta) \bigr) } \int_{B (x, \delta)} f(y)\,d \mu (y).$ The problem is to find out about $$A_ \delta f \to f$$ a.e. as $$\delta \to 0$$. Covering lemmas (often of Vitali type) are obtained. Singular integrals are defined by relations $Tf(x) = \int_{\mathbb R^ n} K(x,y) f(y)\,d \mu(y)$ where the kernel $$K$$ is singular near $$x = y$$.
Chapter II introduces the maximal vector-valued function $Mf(x) = \sup_{B \in {\mathcal B}} {1 \over | B |} \int_ B \bigl | f(x - y) \bigr | \,dy.$
Chapter III deals with Hardy spaces; by definition $$f \in H^ p (\mathbb R^ n)$$ if there exists a Schwartz function $$\Phi$$ such that $$\int \Phi = 1$$ and $$M_ \Phi f \in L^ p$$ with $(M_ \Phi f) (x) = \sup_{t > 0} \bigl | (f* \Phi_ t) (x) \bigr |,$ $$\Phi_ t (x) = t^{-n} \Phi \left({x \over t}\right)$$. Various other characterizations are established. The utility of the notion for Harmonic Analysis is described, for instance, in relation to Wiener’s Generalized Harmonic Analysis.
Chapter IV presents a result due to C. Fefferman, the identification of the dual space of $$H^ 1$$ with the space BMO (introduced by Nirenberg) of functions $$f$$ with bounded mean oscillations; $$f$$ is locally integrable and for each $$B \in {\mathcal B}$$, ${1 \over | B |} \int_ B \bigl | f(x) - f_ B \bigr | \,dx \leq A,$ with $$f_ B = | B |^{-1} \int_ B f(x)\,dx$$. Many singular integrals map $$L^ \infty$$ to BMO. Among further results, links with martingales, Brownian motion, wavelets theory are shown. Chapter V deals with weighted inequalities for maximal functions and singular integrals.
Part II is largely “devoted to an exposition of concepts that belong to the $$L^ 2$$ theory, when this is taken in its broader sense”. Chapter VI is about pseudodifferential operators, symbolic calculus related to Fourier transforms, Sobolev spaces [with $$\| f \| = \sum_{| \alpha | < k} \| \partial^ \alpha_ x f \|_ p]$$, Lipschitz spaces [with $$\sup_ x | f(x - y) - f(x) | \leq A | y |^ \gamma$$ $$(0 < \gamma < 1)]$$.
Chapter VII describes a more general approach than Fourier transforms allowing almost orthogonality, i.e., the consideration of an operator $$T = \sum T_ j$$ where the values $$\| T_ j \|$$ are uniformly bounded and $$T_ i T^*_ j$$, $$T^*_ j T_ i$$ tend to zero suitably as $$| i - j | \to \infty$$.
Chapter VIII deals with oscillatory integrals of first kind $$\lim_{\lambda \to \infty} \int e^{i \lambda \Phi (x)} \psi (x)\,dx$$ where $$\Phi$$ [resp. $$\psi]$$ is a real-valued [resp. complex-valued] smooth function. If $$S$$ is submanifold of $$\mathbb R^ n$$ with appropriate curvature, there exists $$p_ 0 \in ]1,2[$$ such that for all $$1 \leq p < p_ 0$$, $$f \in L^ p (\mathbb R^ n)$$ admits a Fourier transform that restricts to $$S$$. The author comments: “That this phenomenon was observed so late in the development of the subject is an indication of the slowness of our progress in understanding the genuinely $$n$$-dimensional aspects of Fourier analysis”.
Chapter IX considers oscillatory integrals of second kind where $$\Phi \in {\mathcal C}^ \infty_ 0 (\mathbb R^{n-1}\times\mathbb R^ n)$$ satisfies a nondegeneracy condition and $$\psi$$ is defined on $$\mathbb R^{n-1} \times \mathbb R^ n$$ also.
Chapter X is back to maximal operators. The general problem admits the following formulation: For what collection $${\mathcal C}$$ of sets $$C$$ is it true that for all $$f$$, $$\lim_{\delta (C) \to 0} {1 \over | C |} \int_ C f(x - y)\,dy = f(x)$$ a.e., $$\delta$$ denoting the diameter? The question is linked to the boundedness in $$L^ p$$ and the study of $M_{\mathcal C} f(x) = \sup_{C \in {\mathcal C}} {1 \over | C |} \int_ C \bigl | f(x - y) \bigr | \,dy.$
In Chapter II the question was solved affirmatively in case $${\mathcal C}$$ admits bounded eccentricity, i.e., the ratio (in volume) between the smallest ball containing $$C$$ to the largest ball contained in $$C$$ is uniformly bounded on $${\mathcal C}$$. A large collection of specific results are proved. In $$\mathbb R^ 2$$, for the 3-parameter collection $${\mathcal C}$$ of all rectangles centered at the origin, $$M_{\mathcal C}$$ is not bounded in $$L^ p$$ and the a.e. limit conclusion may fail even for characteristic functions of sets having finite measures. Nevertheless, if the centered rectangles admit major axes pointed in a fixed direction or an infinite number of suitable lacunary directions, the conclusion holds for $$p > 1$$, but fails for $$p = 1$$. The convenient item is the Besicovitch set, a union of a large number of congruent thin rectangles having a high degree of overlap; it had shown its efficiency in the study of Kakeya’s needle problem. Stein can make use of triangles instead of rectangles and may comment:
“While this historical aspect has remained something of a curiosity, the Besicovitch set has come to play an increasingly significant role in real-variable theory and Fourier analysis. Indeed, our accumulated experience allows us to regard the structure of this set as, in many ways, representative of the complexities of two-dimensional sets, in the same sense that Cantor-like sets already display some of the technical features that arise in the one-dimensional case”.
Counterexamples are produced. If $$1 < p < \infty$$, there exists $$f \in L^ p (\mathbb R^ 2)$$ such that with respect to all rectangles $$R$$ centered at the origin $\limsup_{\delta (R) \to 0} {1 \over [1]} \int_ R f(x-y)\,dy = \infty \quad\text{a.e.}$ The same situation occurs for $$p = 1$$ and all such rectangles admitting their sides parallel to coordinate axes. Chapter XI examines averages over variable hyperspaces.
Finally, Part III is about Heisenberg groups. The two last chapters show their applications to several complex variables and PDEs.
In order to facilitate assimilation of all this information an index of symbols could have helped. The monumental work constitutes an indispensable reference source for the present state of affairs in the domain; it can be exploited by specialists in various areas of analysis and is stimulating also in Abstract Harmonic Analysis. As a complement, readers should refer to volume 2 in the same collection: “Essay on Fourier analysis in honour of Elias M. Stein”, Princeton Mathematical Series 42 (1995; Zbl 0810.00019), edited by C. Fefferman, R. Fefferman and S. Wainger.

MathOverflow Questions:

Calderon-Zygmund decomposition on manifolds?

MSC:

 42-02 Research exposition (monographs, survey articles) pertaining to harmonic analysis on Euclidean spaces 43-02 Research exposition (monographs, survey articles) pertaining to abstract harmonic analysis 42B10 Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type 42B20 Singular and oscillatory integrals (Calderón-Zygmund, etc.) 42B25 Maximal functions, Littlewood-Paley theory 42B30 $$H^p$$-spaces