A class of function spaces H^p of holomorphic functions (on the unit disc or upper half-plane) or of boundary distributions on R^n (real Hardy spaces) with controlled p-norm growth or atomic decompositions; fundamental in complex analysis and harmonic analysis as replacements for L^p at endpoints.

Principle

Control growth or singularities via non-tangential maximal functions, square functions, or atomic decompositions so that boundary values and singular integrals behave well even when L^p theory fails at low p.

Demonstration

The real Hardy space H^1(R^n) admits an atomic decomposition: any f in H^1 is a sum of atoms with coefficients in l^1, and singular integral operators that are bounded on L^2 extend to bounded maps H^1→L^1, explaining duality with BMO.

Misapplication

Using Hardy-space estimates interchangeably with L^p ones without verifying endpoint conditions, or assuming holomorphic H^p boundary correspondences hold in higher-dimensional real-variable settings without appropriate tools.

Consequence

Proper use yields endpoint boundedness of singular integrals, robust atomic or molecular decompositions for nonlinear analysis, and duality statements (e.g., (H^1)^*=BMO) that guide Calderón–Zygmund theory and factorization results.

Reversal

L^p spaces for p>1 where classical singular integrals are already bounded and atomic decompositions are unnecessary; or spaces of holomorphic functions with strictly stronger uniform growth control (e.g., Bloch or Bergman spaces) providing different endpoint behaviors.

Boundary

Applies to holomorphic functions on one-complex-variable domains (unit disc, half-plane) and to real-variable Hardy spaces on R^n or homogeneous groups; definitions and tools differ by setting (non-tangential limits, atoms, maximal/square functions) and fail without suitable measure/geometry.

Semantic Tension

Tension with L^p and Sobolev scales: Hardy spaces replace or extend L^p at low p with finer atomic or maximal-function control; they overlap with Sobolev or Besov scales in certain index ranges but are distinct in endpoint operator theory and boundary-value behaviors.

Synthesis

Hardy spaces are endpoint function spaces governing controlled growth or singular behavior via maximal, square-function, or atomic descriptions, providing the correct setting for boundary behavior, singular integrals, and duality with BMO.