Abstract

We lay the foundations of Fatou theory in one and several complex variables. We describe the main contributions contained in E. M. Stein’s book Boundary Behavior of Holomorphic Functions, published in 1972 and still a source of inspiration. We also give an account of his contributions to the study of the boundary behavior of harmonic functions. The point of this paper is not simply to exposit well-known ideas. Rather, we completely reorganize the subject in order to bring out the profound contributions of E. M. Stein to the study of the boundary behavior both of holomorphic and harmonic functions in one and several variables. In an appendix, we provide a self-contained proof of a new result which is relevant to the differentiation of integrals, a topic which, as witnessed in Stein’s work, and especially by the aforementioned book, has deep connections with the boundary behavior of harmonic and holomorphic functions.

Highlights

  • The difference between the boundary behavior of holomorphic functions and that of harmonic functions becomes much more significant if n > 1, due to a subtler interplay between potential theory and complex analysis

  • When Stein started his work in this second area, classical potential theory had already reached a high degree of development: It had been axiomatized, or was being axiomatized, by the French school

  • Some precise and geometrically crafted results on boundary behavior did exist, but most of them, with perhaps the only exceptions given by the work of Privalov and Kouznetzoff (1939) for Lyapunov domains in Rn, Tsuji (1939) for the unit ball in Rn, Tsuji (1944) for Lyapunov domains in Rn, and Calderón (1950) for the upper half-space, were confined to planar domains and to holomorphic function and heavily depended on conformal mappings, which transfer the problem to the unit disc [24,25,144,176,177]

Read more

Summary

Introduction

The difference between the boundary behavior of holomorphic functions (defined on a certain class of bounded domain in Cn) and that of harmonic functions (defined on the same domains, seen as subdomains of R2n) becomes much more significant if n > 1, due to a subtler interplay between potential theory and complex analysis. Some precise and geometrically crafted results on boundary behavior did exist, but most of them, with perhaps the only exceptions given by the work of Privalov and Kouznetzoff (1939) for Lyapunov domains in Rn, Tsuji (1939) for the unit ball in Rn, Tsuji (1944) for Lyapunov domains in Rn, and Calderón (1950) for the upper half-space, were confined to planar domains and to holomorphic function and heavily depended on conformal mappings, which transfer the problem to the unit disc [24,25,144,176,177]. Before we plunge into the field, we introduce some notation that will make the treatment run smoothly, and say a few words on the notion of “boundary property” occurring in these matters

Pointwise Boundary Behavior
The General Setting for Pointwise Boundary Behavior
Unrestricted Boundary Values
Approach Regions
Filters
Limiting Values Along a Filter
Compatibility of a Filter with the Topology at a Point
The Notion of Filter on a Domain Ending at a Boundary Point
The Filter Associated to an Approach Region
Comparison of Filters
Comparison of Approach Regions
Pointwise Results for Holomorphic Functions in the Unit Disc
A Pointwise Theorem of Fatou Type for Radial Boundary Values in the Unit Disc
Abel’s Heuristic Principle
Frobenius’ Rendition of Abel’s Principle
Tauberian Results
Pointwise Theorems of Fatou Type for Angular Boundary Values
Littlewood’s Sharpness Problem and Littlewood’s Principle
Notation in Measure Theory
Imbeddings in the Boundary
Families of Boundary Filters and Families of Approach Regions
The Relative Fatou set and the Associated Boundary Function
The Radial Approach and the Angular Approach in the Unit Disc
A General Setting for Qualitative Boundary Behavior
A Pseudo-Qualitative Fatou-Type Theorem for Unrestricted Convergence
A Qualitative Theorem of Fatou Type for Bounded Holomorphic Functions
The Inversion Problem for Functional Representations
The Inversion Problem for Geometrizable Functional Representations
The Poisson Integral
Differentiation of Integrals
Differentiation of Integrals in a Metric Measure Space
The Mean-Value Operator is Geometrizable
Differentiation Bases
The Radial Differentiation Basis
The Centered Hardy–Littlewood Maximal Function
The Standard Method
Stein’s Theorem on Limits of Sequences of Operators
Maximal Functions Associated to Special Differentiation Bases
The Dyadic Maximal Function
5.2.10 The Uncentered Hardy–Littlewood Maximal Function
5.2.11 Spaces of Homogeneous Type
Differentiation of Integrals in a Topological Measure Space
Differentiation Bases for a Topological Measure Space
Partitions and Amenable Nets
Differentiation of Integrals in a Measure Space
The Intrinsic Maximal Function
The Distribution Function of the Intrinsic Maximal Function
The Lebesgue Differentiation Theorem in the Unit Disc
The Geometric Form of the Lebesgue Differentiation Theorem in the Unit Disc
The Nagel–Stein Differentiation Theorem
The Local Fatou Theorem of Privalov
Angular Boundary Values for Hardy and Nevanlinna Spaces in the Unit Disc
A Zero-One Law for Holomorphic Functions
The Area Integral
6.10 The Nagel–Stein Theorem for Bounded Holomorphic Functions in the Unit Disc
6.11 Epilogue in the Unit Disc
Quantitative Boundary Behavior
Subordination
A Bootstrap Result
The Hardy–Littlewood Pointwise Maximal Inequality
The Hardy–Littlewood L p Inequality
Imbeddings as General Setting for Quantitative Boundary Behavior
The Intrinsic Maximal Function in the Setting of an Admissible Imbedding
Regular Families of Approach Regions
Lower Semicontinuity
Adapted Families of Approach Regions
A General Bootstrap Result
7.10 An Intrinsic Condition for Subordination
7.10.1 The Lebesgue Transform
7.10.4 The Action on Outer Measures
7.10.6 An Intrinsic Condition for Subordination in the General Setting
7.11 An Explanation of the Nagel–Stein Phenomenon
7.11.1 The Cross-Section Condition
7.12 Distributionally Broader Families of Approach Regions
7.13 Sequences of Families of Approach Regions
7.13.1 Applications to Lebesgue Differentiation Bases
Harmonic Functions
The Dirichlet Problem
The Poisson–Keldych operator
Kakutani’s Construction of the Poisson–Keldych Operator
Harmonic Measure
The Poisson Operator
The Poisson Operator on Complex Measures
The Poisson Operator and the Dirichlet Problem
A Probabilistic Fatou Type Theorem
Harmonic Functions in The Unit Disc
Littlewood-Type Theorems for Harmonic Functions
The Nagel–Stein Theorem for Harmonic Functions
Characterization of Poisson Integrals
The Hardy–Littlewood L p Inequality for Harmonic Functions
The Local Fatou Theorem for Harmonic Functions
A Zero-One Law for Harmonic Functions
Harmonic Functions in Upper Half-Spaces
The Local Fatou-Theorem and a Theorem of Plessner Type
The Generalized Area Integral
Littlewood-Type Theorems
The Nagel–Stein Phenomenon
When is Nontangential Behavior Meaningful?
Holomorphic Functions of Several Variables
10 Final Remarks
11 Appendix
11.2 Structure Theorem for Finite Semirings and Finite Algebras
11.4 Structure Theorem for Countably Generated -Algebras
11.5 Density Results
12 Miscellaneous Notes
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call