Boundary Geometry and Surjective Linear Isometries of Weighted Hardy Spaces
Abstract
Let D⊂ℂn, n≥ 2, be a bounded pseudoconvex domain with smooth boundary, and let Hpω(D) be the Hardy space defined using a weighted boundary measure ω dσ, where ω is bounded above and bounded away from zero. For every 0<p<∞, p≠2, we prove that each surjective linear isometry T of Hpω(D) has the rigid form Tf=T(1)(f∘φ), where φ∈Aut(D). This extends the classical Forelli-type classification beyond highly symmetric or polynomially convex domains to arbitrary smoothly bounded pseudoconvex domains. The principal difficulty is not the construction of a holomorphic symbol, but proving that this symbol takes values in D and is in fact biholomorphic. We overcome this difficulty by combining equimeasurability methods of Rudin and Schneider with boundary uniqueness, holomorphic approximation, plurisubharmonic exhaustion functions, and removable-singularity arguments across analytic sets. We also solve the complementary geometric problem of determining when an automorphism of D gives rise to an isometry. The answer depends decisively on the boundary measure. We construct two natural measures for which every automorphism induces an isometry: one obtained from an invariant defining function when Aut(D) is compact, and the other given by Fefferman's invariant surface measure. In sharp contrast, we exhibit domains with noncompact automorphism group---including domains biholomorphic to the unit ball---for which the analogous conclusion fails for ordinary Euclidean surface measure. Thus the isometric structure of Hardy spaces detects not only the biholomorphic geometry of the domain, but also the finer interaction between that geometry and the chosen boundary measure.
Related
- Surjective Hausdorff Isometries of Hyperspaces of Bounded Closed Convex Sets
- On Surjective Max-Phase Isometries of Schatten p-Classes (0<p<1)
- Extension of surjective isometries between unit spheres of ℓp-direct sums
- Variational characterization of principal eigenvalues for a general class of linear weighted BVP's under mixed boundary conditions of non-classical type
- Boundary Geometry Determines Optimal Shallow ReLU Approximation under Weighted Coefficient Constraints
BibTeX
@misc{chen2026boundary,
title = {{Boundary Geometry and Surjective Linear Isometries of Weighted Hardy Spaces}},
author = {Ren-Yu Chen and Song-Ying Li and Sujuan Long and Jie Luo},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.04612},
eprint = {2609.04612},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.04612},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Boundary Geometry and Surjective Linear Isometries of Weighted Hardy Spaces
AU - Ren-Yu Chen
AU - Song-Ying Li
AU - Sujuan Long
AU - Jie Luo
PY - 2026
DA - 2026/09/04
PB - arXiv
DO - 10.48550/arxiv.2609.04612
UR - https://arxiv.org/abs/2609.04612
AB - Let D⊂ℂ^n, n≥ 2, be a bounded pseudoconvex domain with smooth boundary, and let H^p_ω(D) be the Hardy space defined using a weighted boundary measure ω dσ, where ω is bounded above and bounded away from zero. For every 0<p<∞, p≠2, we prove that each surjective linear isometry T of H^p_ω(D) has the rigid form Tf=T(1)(f∘φ), where φ∈Aut(D). This extends the classical Forelli-type classification beyond highly symmetric or polynomially convex domains to arbitrary smoothly bounded pseudoconvex domains. The principal difficulty is not the construction of a holomorphic symbol, but proving that this symbol takes values in D and is in fact biholomorphic. We overcome this difficulty by combining equimeasurability methods of Rudin and Schneider with boundary uniqueness, holomorphic approximation, plurisubharmonic exhaustion functions, and removable-singularity arguments across analytic sets. We also solve the complementary geometric problem of determining when an automorphism of D gives rise to an isometry. The answer depends decisively on the boundary measure. We construct two natural measures for which every automorphism induces an isometry: one obtained from an invariant defining function when Aut(D) is compact, and the other given by Fefferman's invariant surface measure. In sharp contrast, we exhibit domains with noncompact automorphism group---including domains biholomorphic to the unit ball---for which the analogous conclusion fails for ordinary Euclidean surface measure. Thus the isometric structure of Hardy spaces detects not only the biholomorphic geometry of the domain, but also the finer interaction between that geometry and the chosen boundary measure.
ER -