REVIEW 4 minor 26 references
Transversal H\"older Criteria and Dini--Zygmund Endpoint Regularity for Hyperbolic Harmonic Mappings
T0 review · 0 major / 4 minor · reviewed 2026-08-27 · deepseek-v4-flash
Pith's one-line read For bounded hyperbolic harmonic mappings, vertical-line Hölder regularity is quantitatively equivalent to global Hölder regularity for $0<\alpha<1$, while Dini–Zygmund summability recovers the Lipschitz endpoint.
desk verdict Solid and correct: the hyperbolic transversal Hölder criterion is proved below α=1, the α=1 counterexample is clean, and Dini–Zygmund summability recovers Lipschitz at the endpoint, with only a standard cited Poisson representation as the main unproved bridge. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the hyperbolic Poisson kernel $P_y(x)=c_d y^d/(|x|^2+y^2)^d$ with $d=n-1$, whose Fourier transform is the radial multiplier $\widehat P_y(\xi)=m_d(y|\xi|)$, $m_d(t)=2^{1-d/2}\Gamma(d/2)^{-1}t^{d/2}K_{d/2}(t)$, where $K_\nu$ is the modified Bessel function of the second kind. The argument reduces the problem to one approximation family: vertical Hölder control says the Poisson approximants $P_y*f$ approach the trace $f$ at rate $O(y^\alpha)$. An inverse approximation theorem (Lemma 2.2) converts that rate, scale by scale through the multiplier $1-m_d(y|\xi|)$, into the Besov condition $f\in C^{0,\alpha}$; a boundary-to-interior estimate (Lemma 2.3) then propagates boundary regularity back into the half-space. At $\alpha=1$ the same scale-by-scale inversion gives only $f\in B^1_{\infty,\infty}$, and the missing input is summability across scales: $f\in B^1_{\infty,1}$, equivalently finiteness of the Dini–Zygmund functional $D(f)=\int_0^1 \omega_2(f,t)_\infty/t^2\,dt$, upgrades the trace to Lipschitz. The monotonicity and decay estimates for $m_d$ in Lemma 2.1 drive both the inverse theorem and the construction of the lacunary counterexample.
What would settle it
Compute the Dini–Zygmund functional $D(F)$ for the lacunary trace $F(x)=\sum_j 2^{-j}\sin(2^j x_1)$. If it were finite, the paper's own counterexample would satisfy the endpoint hypothesis, contradicting Theorem 1.4's prediction that $F\notin B^1_{\infty,1}$.
Extended reading notes
Core claim
The central claim is that the hyperbolic Poisson–Szegő extension is transversally determined below the Lipschitz endpoint. For $n\ge 3$ and $0<\alpha<1$, a bounded hyperbolic harmonic mapping $u:\mathbb{H}^n\to\mathbb{R}^m$ is globally $\alpha$-Hölder if and only if its vertical seminorm $V_\alpha(u)=\sup_x \sup_{s\neq t}|u(x,s)-u(x,t)|/|s-t|^\alpha$ is finite, with $V_\alpha(u)\le [u]_{\alpha,\mathbb{H}^n}\le C_{d,\alpha}V_\alpha(u)$ and the constant independent of the target dimension $m$. For real-valued $u$, the same quantitative equivalence holds with the modulus quantity $M_\alpha(u)=\sup_x\sup_{y>0}||u(x,y)|-|f(x)||/y^\alpha$, where $f$ is the boundary trace; the proof uses a one-dimensional zero-crossing argument to recover genuine differences from modulus differences. The endpoint $\alpha=1$ is genuinely different: the inverse approximation argument then yields only Zygmund regularity $B^1_{\infty,\infty}$ for the trace, and a lacunary series $F(x)=\sum_j 2^{-j}\sin(2^jx_1)$ produces a vertically Lipschitz, globally non-Lipschitz hyperbolic harmonic extension. The paper's endpoint theorems show that the Dini–Zygmund summability conditions $\int_0^1 E_u(t)/t^2\,dt<\infty$ (vector case) and $\int_0^1 E^*_{|u|}(t)/t^2\,dt<\infty$ (modulus case), equivalently $f\in B^1_{\infty,1}$, restore global Lipschitz regularity.
Load-bearing premise
The load-bearing premise is the standard potential-theoretic representation theorem that every bounded hyperbolic harmonic function on $\mathbb{H}^n$ is the Poisson–Szegő extension of its boundary trace; if that representation failed, vertical regularity could not be converted into trace regularity, and the whole equivalence would collapse.
Editorial extensions
If this is right
- For any $0<\alpha<1$, checking only vertical-line increments detects global $\alpha$-Hölder regularity of a bounded hyperbolic harmonic map; no information about tangential directions is needed.
- Bounded hyperbolic harmonic extensions of $C^{0,\alpha}$ boundary data are quantitatively Hölder in the whole half-space, with constants independent of the number of target components.
- Real-valued hyperbolic harmonic functions can be certified as globally Hölder by observing only how $|u|$ approaches $|f|$ along vertical rays.
- At the Lipschitz endpoint, vertical Lipschitz control alone is insufficient, and the Dini–Zygmund summability condition $B^1_{\infty,1}$ restores global Lipschitz regularity.
- Boundary data with finite Dini–Zygmund functional have globally Lipschitz hyperbolic Poisson extensions; for real-valued data it is enough that $|f|$ satisfy that condition.
Reading between the lines
- Because the proof only needs a translation-invariant Poisson kernel with an explicit multiplier and a finite first moment, the same transversal-inversion pattern should extend to other rank-one symmetric spaces and to weighted half-space models, with constants depending on the model's kernel.
- A natural testable extension is whether a one-sided vertical condition, such as finiteness of $\int_0^1 \|u(\cdot,s+t)-2u(\cdot,s)+u(\cdot,s-t)\|_{L^\infty}/t^2\,dt$ uniformly in $s$, characterizes the endpoint without assuming the trace; the present theorems assume $V_1(u)<\infty$ to produce the trace.
- The Dini–Zygmund condition is sufficient but not necessary for global Lipschitz regularity, and the paper leaves open whether a vertical-data-only condition can separate $B^1_{\infty,1}$ from $B^1_{\infty,\infty}$ at the endpoint.
Formalized claims in Lean
-
Claim #1: The central claim is that the hyperbolic Poisson–Szegő extension is transversally determined below the Lipschitz endpoint. For $n\ge 3$ and $0<\alpha<1$, a bounded hyperbolic harmonic mapping $u:\mathbb{H}^n\to\mathbb{R}^m$ is globally $\alpha$-Hölder if and only if its vertical seminorm $V_\alpha(u)=\sup_x \sup_{s\neq t}|u(x,s)-u(x,t)|/|s-t|^\alpha$ is finite, with $V_\alpha(u)\le [u]_{\alpha,\ma
/-- @claim 1 The central claim is that the hyperbolic Poisson–Szegő extension is transversally determined below the Lipschitz endpoint. For $n\ge 3$ and $0<\alpha<1$, a bounded hyperbolic harmonic mapping $u:\mathbb{H}^n\to\mathbb{R}^m$ is globally $\alpha$-Hölder if and only if its vertical seminorm $V_\alpha(u)=\sup_x \sup_{s\neq t}|u(x,s)-u(x,t)|/|s-t|^\alpha$ is finite, with $V_\alpha(u)\le [u]_{\alpha,\ma -/ def central_claim : Prop :=
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies bounded mappings on the upper half-space that are annihilated by the real hyperbolic Laplacian. For 0<α<1, it proves that uniform α-Hölder continuity on vertical lines is quantitatively equivalent to global α-Hölder continuity, with explicit control of the seminorms (Theorem 1.1), and an analogous modulus version for real-valued functions (Theorem 1.2). At the endpoint α=1 it constructs a lacunary counterexample: a vertically Lipschitz, hyperbolic harmonic function that is not globally Lipschitz (Proposition 1.3). It then shows that a Dini–Zygmund summability condition on the vertical approximation error, equivalent to the critical Besov condition B^1_{∞,1}, restores global Lipschitz regularity (Theorems 1.4 and 1.5, Corollary 1.7). The technical core consists of the Fourier–Bessel multiplier of the hyperbolic Poisson kernel, an inverse approximation theorem identifying Hölder regularity through Poisson approximation rates, and critical Besov estimates.
Significance. The results are a natural hyperbolic analogue of Marković's Euclidean transversal criterion and give a clean endpoint distinction between B^1_{∞,∞} and B^1_{∞,1}. The constants are explicit and independent of the target dimension m, and the main proofs are largely self-contained, with the Littlewood–Paley arguments and the lacunary counterexample carefully checked. The manuscript contains no fitted parameters or circular reasoning; the only nontrivial external input is the standard Poisson representation theorem for bounded hyperbolic harmonic functions. I regard this as a background-reference concern rather than an internal error, but it should be stated precisely in the revision. Overall, the central claims appear correct and the paper is a valuable contribution to the literature.
minor comments (4)
- [Section 2.1] The half-space Poisson representation theorem is cited to [9,21] but not stated; because the identity u=P_y*f is the bridge between vertical regularity and boundary regularity in Theorems 1.1, 1.2, and 1.4, the authors should state the theorem precisely, including the normalization of the kernel, the class of boundary data, and uniqueness of the trace, and indicate where in [9,21] the half-space version is proved.
- [Lemma 2.2] The sentence 'The homogeneous Littlewood–Paley reconstruction is valid modulo a polynomial' is the only step in the inverse approximation proof that is not fully justified; please provide a precise statement or a reference (for example, [22, Ch. 2]) explaining why boundedness of g is enough to eliminate the polynomial in the finite-difference estimate.
- [Section 1.5] The symbol H^n is used both for the open upper half-space and for its closure, for instance in Theorem 1.1(i), Theorem 1.2, and Proposition 1.3; the authors should introduce an explicit notation such as \overline{H^n} for the closed half-space to avoid ambiguity.
- [Section 2.4] The equivalence (2.8) is quoted as standard; since Lemma 2.5 and Theorems 1.4–1.5 depend on it, a precise statement of the Besov-space definition and a specific reference (e.g., Triebel [22]) would make the paper more self-contained.
Circularity Check
No significant circularity: the derivation is self-contained apart from standard external background results.
full rationale
The paper's central equivalence (Theorem 1.1) is derived by a three-step chain: vertical Hölder control produces a uniform boundary trace; the standard Poisson representation (cited to [9,21], not to the authors' own work) identifies the mapping with the Poisson extension of that trace; inverse approximation (Lemma 2.2) and boundary-to-interior regularity (Lemma 2.3) transfer the bound to the whole half-space. Each lemma is proved within the paper from the explicit Fourier–Bessel multiplier, Littlewood–Paley estimates, and Bernstein inequalities; none of the target theorems is assumed in its own proof. The endpoint results similarly use the proved Lemmas 2.4–2.5 and the cited Besov characterization (2.8), which is background, not a self-citation. There are no fitted parameters, no quantity called a prediction that is actually an input, and no uniqueness theorem imported from the authors' prior work. The only unproved bridge is the half-space Poisson representation theorem, an external standard result; relying on it is normal mathematical practice and does not make the derivation circular. Accordingly the circularity score is 0.
Assumptions & free parameters
assumptions (3)
- domain assumption Every bounded hyperbolic harmonic function u on the upper half-space has a Poisson representation u(x,y) = (P_y* f)(x) for a boundary function f (Section 2.1, citing [9,21]).
- standard math Standard Littlewood-Paley theory and the characterization of Hölder and Besov spaces: C^{0,α}=B^α_{∞,∞} for 0<α<1, and the equivalence (2.8) ||g||+D(g) ≍ ||g||+Σ2^j||Δ_j g|| (Section 2.3-2.4, citing [7,22,3]).
- standard math Fourier-Bessel asymptotics for the modified Bessel function K_ν and the dyadic estimates (2.3), (2.4) derived in Lemma 2.1.
Cite this review
Pith. "Pith review of Transversal H\"older Criteria and Dini--Zygmund Endpoint Regularity for Hyperbolic Harmonic Mappings." pith.science (2026). https://pith.science/paper/EZPQTKXH
@misc{pith2026260813927,
author = {Pith},
title = {Pith review of: Transversal H\"older Criteria and Dini--Zygmund Endpoint Regularity for Hyperbolic Harmonic Mappings},
year = {2026},
howpublished = {\url{https://pith.science/paper/EZPQTKXH}},
note = {Machine review of arXiv:2608.13927}
}
abstract
Let $n\ge3$ and let $u$ be a bounded mapping on the upper half-space that is harmonic for the real hyperbolic Laplacian. For $0<\alpha<1$, uniform $\alpha$-H\"older continuity of $u$ on the vertical lines is shown to be quantitatively equivalent to global $\alpha$-H\"older continuity. For real-valued $u$, the vertical approach of $|u|$ to its boundary modulus already suffices. Both statements fail when $\alpha=1$: a lacunary trace produces a hyperbolic harmonic extension that is vertically Lipschitz but not globally Lipschitz. Endpoint conclusions are recovered under a Dini--Zygmund, equivalently $B_{\infty,1}^{1}$, summability condition. The proofs combine the Fourier--Bessel multiplier of the hyperbolic Poisson kernel with inverse approximation and critical Besov estimates.
Reference graph
Works this paper leans on
- [1]
-
[2]
J. Chen, M. Huang, A. Rasila and X. Wang, On Lipschitz continuity of solutions of hyperbolic Poisson’s equation,Calc. Var. Partial Differential Equations57(2018), Art. 13, 32 pp
work page 2018
-
[3]
R. A. DeVore and G. G. Lorentz,Constructive Approximation, Grundlehren der mathematischen Wissenschaften 303, Springer, Berlin, 1993
work page 1993
-
[4]
K. Dyakonov, Equivalent norms on Lipschitz-type spaces of holomorphic functions,Acta Math.178 (1997), 143–167
work page 1997
-
[5]
Dyakonov, Holomorphic functions and quasiconformal mappings with smooth moduli,Adv
K. Dyakonov, Holomorphic functions and quasiconformal mappings with smooth moduli,Adv. Math. 187(2004), 146–172
work page 2004
-
[6]
F. W. Gehring and O. Martio, Lipschitz classes and quasiconformal mappings,Ann. Acad. Sci. Fenn. Ser. A I Math.10(1985), 203–219
work page 1985
-
[7]
L. Grafakos,Classical Fourier Analysis, 3rd ed., Graduate Texts in Mathematics 249, Springer, New York, 2014
work page 2014
-
[8]
Harmonic functions on the real hyperbolic ball II Hardy and Lipschitz spaces
S. Grellier and P. Jaming, Harmonic functions on the real hyperbolic ball II: Hardy and Lipschitz spaces, arXiv:math/9902053, 1999
work page Pith review arXiv 1999
Show all 26 references
-
[9]
Jaming, Harmonic functions on the real hyperbolic ball I: Boundary values and atomic decomposition of Hardy spaces, arXiv:math/9902052, 1999
P. Jaming, Harmonic functions on the real hyperbolic ball I: Boundary values and atomic decomposition of Hardy spaces, arXiv:math/9902052, 1999. 16 HONG-PING LI AND SULING TAN
1999 arXiv
-
[10]
Lappalainen,Liph-extension domains, Ann
V. Lappalainen,Liph-extension domains, Ann. Acad. Sci. Fenn. Ser. A I Math. Dissertationes 56, 1985
1985
-
[11]
Hinkkanen, Modulus of continuity of harmonic functions,J
A. Hinkkanen, Modulus of continuity of harmonic functions,J. Anal. Math.51(1988), 1–29
1988
-
[12]
C. A. Nolder and D. M. Oberlin, Moduli of continuity and a Hardy–Littlewood theorem, inComplex Analysis, Joensuu 1987, Lecture Notes in Mathematics 1351, Springer, Berlin, 1988, 265–272
1987
-
[13]
Marković, Lipschitz conditions on bounded harmonic functions on the upper half-space, arXiv:2501.15315, 2025
M. Marković, Lipschitz conditions on bounded harmonic functions on the upper half-space, arXiv:2501.15315, 2025
2025 arXiv
-
[14]
Marković, A condition equivalent to the Hölder continuity of harmonic functions on unbounded Lipschitz domains, arXiv:2507.14511, 2025
M. Marković, A condition equivalent to the Hölder continuity of harmonic functions on unbounded Lipschitz domains, arXiv:2507.14511, 2025
2025 arXiv
-
[15]
Mateljević and N
M. Mateljević and N. Mutavdžić, On Lipschitz continuity and smoothness up to the boundary of solutions of hyperbolic Poisson’s equation, arXiv:2208.06197, 2022
2022 arXiv
-
[16]
Equivalent norms on Lipschitz-type spaces of holomorphic functions
M. Pavlović, On Dyakonov’s paper “Equivalent norms on Lipschitz-type spaces of holomorphic functions”, Acta Math.183(1999), 141–143
1999
-
[17]
Pavlović, Lipschitz conditions on the modulus of a harmonic function,Rev
M. Pavlović, Lipschitz conditions on the modulus of a harmonic function,Rev. Mat. Iberoam.23(2007), 831–845
2007
-
[18]
Pavlović,Function Classes on the Unit Disc, 2nd ed., De Gruyter Studies in Mathematics 52, De Gruyter, Berlin, 2019
M. Pavlović,Function Classes on the Unit Disc, 2nd ed., De Gruyter Studies in Mathematics 52, De Gruyter, Berlin, 2019
2019
-
[19]
Ravisankar, Transversally Lipschitz harmonic functions are Lipschitz,Complex Var
S. Ravisankar, Transversally Lipschitz harmonic functions are Lipschitz,Complex Var. Elliptic Equ.58 (2013), 1685–1700
2013
-
[20]
E. M. Stein,Singular Integrals and Differentiability Properties of Functions, Princeton Mathematical Series 30, Princeton University Press, Princeton, 1970
1970
-
[21]
Stoll,Harmonic and Subharmonic Function Theory on the Hyperbolic Ball, London Mathematical Society Lecture Note Series 431, Cambridge University Press, Cambridge, 2016
M. Stoll,Harmonic and Subharmonic Function Theory on the Hyperbolic Ball, London Mathematical Society Lecture Note Series 431, Cambridge University Press, Cambridge, 2016
2016
-
[22]
Triebel,Theory of Function Spaces, Monographs in Mathematics 78, Birkhäuser, Basel, 1983
H. Triebel,Theory of Function Spaces, Monographs in Mathematics 78, Birkhäuser, Basel, 1983
1983
-
[23]
Wang and J.-F
X. Wang and J.-F. Zhu,ω-Lipschitz continuity of solutions to Poisson equation, preprint, 2026
2026
-
[24]
G. N. Watson,A Treatise on the Theory of Bessel Functions, 2nd ed., Cambridge University Press, Cambridge, 1944
1944
-
[25]
Zygmund, Smooth functions,Duke Math
A. Zygmund, Smooth functions,Duke Math. J.12(1945), 47–76
1945
-
[26]
Zygmund,Trigonometric Series, 3rd ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 2002
A. Zygmund,Trigonometric Series, 3rd ed., Cambridge Mathematical Library, Cambridge University Press, Cambridge, 2002. School of Mathematical Sciences, Huaqiao University, Quanzhou 362021, China Email address:lhp306@hqu.edu.cn School of Mathematical Sciences, Huaqiao Universit...
2002
Reviewed August 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.