A Product Principle for Harmonic Schwarz Lemmas: Boxes, Polydiscs, and Metric Geometry
Abstract
We establish an exact product principle for the Euclidean operator norm of differentials of harmonic maps. For a bounded domain G⊂Rm and p∈ G, let MG(p) denote the supremum of |dF0| over harmonic maps F:D→ G with F(0)=p. For bounded domains Gj⊂Rmj, we prove MG1×⋯× GN(p1,…,pN)2 =∑j=1N MGj(pj)2. The theorem separates the geometry of the individual factors from the Euclidean geometry of the product: the factor extremal constants combine by a sum-of-squares law, while equality is governed by a single compatibility condition, namely a common maximizing direction for the component differentials. Neither convexity nor attainment of the factor suprema is required. Combining the product principle with the sharp interval and disk factor problems yields exact operator-norm estimates and all equality cases for harmonic maps into boxes and polydiscs. In both families, for every extremal map, the real differential at the origin has one-dimensional image. The same factor constants also define coordinatewise metrics for which the harmonic contraction estimate is sharp when the source disk is equipped with its Poincaré metric of curvature −1. For boxes, the resulting metric is complete and equals twice the restriction of the Kobayashi-Royden metric of the product of vertical strips. For polydiscs, the harmonic product metric is pointwise maximal among contracting metrics of the form maxj aj(p)|vj|, with aj(p)>0. It is strictly smaller than twice the Kobayashi-Royden metric on every nonzero tangent vector, and its induced path metric is incomplete.
Related
- Target Geometry in Prescribed-Value Schwarz Lemmas for Harmonic Maps
- Schwarz lemmas and rigidity of ∂̅b-harmonic maps
- Physics of Information Geometry - Part I: Principle of Least Action on the Probability Simplex
- Spectral and convex geometry of α-harmonic maps and sharp Morse index rigidity
- Localizing the Gardam unit: the support geometry of units in F_2[P] and its non-unique-product relatives
BibTeX
@misc{knezevic2026product,
title = {{A Product Principle for Harmonic Schwarz Lemmas: Boxes, Polydiscs, and Metric Geometry}},
author = {Miljan Knežević and Miodrag Mateljević},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.22699},
eprint = {2609.22699},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.22699},
}
RIS
TY - UNPB
TI - A Product Principle for Harmonic Schwarz Lemmas: Boxes, Polydiscs, and Metric Geometry
AU - Miljan Knežević
AU - Miodrag Mateljević
PY - 2026
DA - 2026/09/19
PB - arXiv
DO - 10.48550/arxiv.2609.22699
UR - https://arxiv.org/abs/2609.22699
AB - We establish an exact product principle for the Euclidean operator norm of differentials of harmonic maps. For a bounded domain G⊂R^m and p∈ G, let M_G(p) denote the supremum of |dF_0| over harmonic maps F:D→ G with F(0)=p. For bounded domains G_j⊂R^m_j, we prove M_G_1×⋯× G_N(p_1,…,p_N)^2 =∑_j=1^N M_G_j(p_j)^2. The theorem separates the geometry of the individual factors from the Euclidean geometry of the product: the factor extremal constants combine by a sum-of-squares law, while equality is governed by a single compatibility condition, namely a common maximizing direction for the component differentials. Neither convexity nor attainment of the factor suprema is required. Combining the product principle with the sharp interval and disk factor problems yields exact operator-norm estimates and all equality cases for harmonic maps into boxes and polydiscs. In both families, for every extremal map, the real differential at the origin has one-dimensional image. The same factor constants also define coordinatewise metrics for which the harmonic contraction estimate is sharp when the source disk is equipped with its Poincaré metric of curvature −1. For boxes, the resulting metric is complete and equals twice the restriction of the Kobayashi-Royden metric of the product of vertical strips. For polydiscs, the harmonic product metric is pointwise maximal among contracting metrics of the form max_j a_j(p)|v_j|, with a_j(p)>0. It is strictly smaller than twice the Kobayashi-Royden metric on every nonzero tangent vector, and its induced path metric is incomplete.
ER -