Princeton Mathematical Series. 43. Princeton, NJ: Princeton University Press. xiii, 695 pp. $ 69.50; £55.00 (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
2) Singular integrals; an example is provided by the Hilbert transform .
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 with a family of Euclidean balls, and a Borel measure on . Let
The problem is to find out about a.e. as . Covering lemmas (often of Vitali type) are obtained. Singular integrals are defined by relations
where the kernel is singular near .
Chapter II introduces the maximal vector-valued function
Chapter III deals with Hardy spaces; by definition if there exists a Schwartz function such that and with
. 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 with the space BMO (introduced by Nirenberg) of functions with bounded mean oscillations; is locally integrable and for each ,
with . Many singular integrals map 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 theory, when this is taken in its broader sense”. Chapter VI is about pseudodifferential operators, symbolic calculus related to Fourier transforms, Sobolev spaces [with , Lipschitz spaces [with .
Chapter VII describes a more general approach than Fourier transforms allowing almost orthogonality, i.e., the consideration of an operator where the values are uniformly bounded and , tend to zero suitably as .
Chapter VIII deals with oscillatory integrals of first kind where [resp. is a real-valued [resp. complex-valued] smooth function. If is submanifold of with appropriate curvature, there exists such that for all , admits a Fourier transform that restricts to . 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 -dimensional aspects of Fourier analysis”.
Chapter IX considers oscillatory integrals of second kind where satisfies a nondegeneracy condition and is defined on also.
Chapter X is back to maximal operators. The general problem admits the following formulation: For what collection of sets is it true that for all , a.e., denoting the diameter? The question is linked to the boundedness in and the study of
In Chapter II the question was solved affirmatively in case admits bounded eccentricity, i.e., the ratio (in volume) between the smallest ball containing to the largest ball contained in is uniformly bounded on . A large collection of specific results are proved. In , for the 3-parameter collection of all rectangles centered at the origin, is not bounded in 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 , but fails for . 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 , there exists such that with respect to all rectangles centered at the origin
The same situation occurs for 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.