Essential norm and integration of a family of weighted composition operators

David Norrbo

REVIEW 3 major objections 4 minor 1 cited by

Essential norm and integration of a family of weighted composition operators

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read On weighted Bergman spaces, the essential norm of an averaged family of weighted composition operators equals the integral of their essential norms under a geometric admissibility condition.

desk verdict The main interchange theorem is new and the proof holds up, but the Volterra and Hilbert essential-norm formulas in Section 4 are off by a missing t^{-1} factor and need correcting before the paper is publishable. read the letter →

arxiv 2505.21268 v1 pith:JOQ2YSXN submitted 2025-05-27 math.FA math.CV

David Norrbo This is my paper

classification math.FAmath.CV MSC 47B9147B3847G1030H2047A30

keywords essentialnormweightedcompositionoperatorsBergmanspacesadmissiblefamilyapproximateevaluationmapsVolterraoperatorgeneralizedHilbertmatrixM-idealsofcompact

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves a sufficient geometric condition under which the essential norm of an averaged family of weighted composition operators equals the average of their essential norms on the weighted Bergman spaces $A^p_\alpha$ ($p>1$, $\alpha\ge0$). The condition, called admissibility, requires the composition symbols to share a single boundary direction $\xi$, to fix that boundary point, and to map small neighbourhoods of it onto regions containing a horocycle touching $\xi$; the weights must have continuous boundary behaviour and constant argument at $\xi$. When it holds, Theorem 2.8 gives $\|\int_0^1 S_t\,dt\|_e = \int_0^1 \|S_t\|_e\,dt$, with both sides equal to $\int_0^1 |u_t(\xi)|/\phi'_t(\xi)^{(2+\alpha)/p}\,dt$. The value is that many integral operators, including Volterra and generalized Hilbert matrix operators, have such representations, so their essential norms can be read off from boundary data without constructing compact approximants. The paper also shows the equality is delicate: if the family touches the boundary at two points, it can fail even for simple symbols.

What carries the argument

The load-bearing object is the admissible family: weights $u_t$ and composition symbols $\phi_t$ sharing one boundary direction $\xi$, with $\phi_t(\xi)=\xi$, $\phi_t(\mathbb{D})$ touching $\partial\mathbb{D}$ only at $\xi$, $\phi_t$ and $u_t$ continuous near $\xi$, and the horocycle condition that the image under $\phi_t$ of every small neighbourhood of $\xi$ contains a horocycle (a disk internally tangent to the unit circle at $\xi$) touching $\xi$; condition $(W_\xi)$ adds the integrability and local continuity in $t$ needed for $\int_0^1 S_t\,dt$ to be a bounded operator. The proof engine is the comparison between approximate evaluation maps $f_{c,\xi}=(\xi-z)^{-c_n}/\|(\xi-z)^{-c_n}\|$ and arbitrary weakly null sequences: Proposition 2.7 shows that under admissibility the former dominate the latter for each $S_t$, so the essential norm of $S_t$ is attained in the limsup sense by the same test sequence, allowing the interchange of supremum and integral.

What would settle it

Let $\phi_t$ fix both $1$ and $-1$ and satisfy $(W_{-1,1})$, with $u_t$ chosen so that the two boundary quotients $\Theta_t(-1)/\Theta_t(1)$ vary with $t$; then Lemma 3.2 and Proposition 3.3 show $\lim_c \|\int_0^1 S_t g_{c,\theta}\,dt\| < \int_0^1 \lim_c \|S_t g_{c,\theta}\|\,dt$, so equality (1) fails for this concrete two-direction family.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.8: if $\{S_t = u_t C_{\phi_t}\}$ is an admissible family with direction $\xi\in\partial\mathbb{D}$ and $\arg u_t(\xi)$ is constant in $t$, then on $A^p_\alpha$, $$\sup_{(f_n)\in W_0(\partial B_{A^p_\$\alpha$})}\limsup_n \left\|\$int_0^{1}$ S_t f_n\,dt\right\|_{A^p_\$\alpha$} = \$int_0^{1}$ \lim_c \|S_t f_{c,\xi}\|_{A^p_\$\alpha$}\,dt = \$int_0^{1}$ \frac{|u_t(\xi)|}{\phi'_t(\xi)^{(2+\$\alpha$)/p}}\,dt,$$ and consequently $\|\int_0^1 S_t\,dt\|_e = \int_0^1 \|S_t\|_e\,dt$. The proof identifies the approximate evaluation maps $f_{c,\xi}$ as maximizers for the essential norm of each $S_t$; Proposition 2.7 shows these test functions dominate every weakly null sequence of unit norm, so the usual upper bound from Minkowski's inequality is forced to be an equality. Section 3 supplies necessary conditions: for a family with two boundary directions, equality holds only when the boundary quotients $\Theta_t(\pm1)$ are pointwise proportional, which makes the two-direction case generically fail. The machinery is then applied to compute exact essential norms of Volterra operators and generalized Hilbert matrix operators, and to give an admissible example with non-univalent symbol.

Load-bearing premise

The load-bearing premise is the geometric condition (d): for every small neighbourhood of the boundary point $\xi$, the image under $\phi_t$ of that neighbourhood must contain a horocycle touching $\xi$; only under this condition do the test functions $f_{c,\xi}$ dominate every weakly null sequence, which is the step that turns the general upper bound into equality.

Editorial extensions

If this is right

For Volterra operators $V_g$ with $(1-z)g'(z)$ bounded and continuous near $1$, the essential norm on $A^p_\alpha$ is $|\lim_{z\to1}(1-z)g'(z)|\int_0^1 t^{(2+\alpha)/p}\,dt$.
For the generalized Hilbert matrix operator $H_\lambda$, the essential norm on $A^p_\alpha$ is $\int_0^1 t^{(2+\alpha)/p}(1-t)^{-(2+\alpha)/p}\,dt$, extending a previous result to all admissible $\alpha$.
A family with two boundary directions satisfies the interchange only under a rigid proportionality condition on the two boundary quotients; otherwise the strict Minkowski inequality gives $\|\int S_t\,dt\|_e < \int \|S_t\|_e\,dt$.
The proof does not need univalence of $\phi_t$; Section 4.3 exhibits an admissible family with a non-univalent symbol and computes its essential norm.
Proposition 5.1 yields a new characterization of $K(X)$ being an $M$-ideal in $L(X)$ for separable $X$, replacing the norm in Kalton's upper bound by the essential norm.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A natural testable extension is to move from the disk to the unit ball or polydisk: if an analogous horocycle condition makes a family of weighted composition operators dominate all weakly null sequences, the same interchange of essential norm and integration should hold, with the boundary data rewritten in several variables.
The two-direction obstruction suggests a general heuristic for integral operators: equality (1) is expected precisely when all noncompact contributions concentrate at one boundary point; any averaging across different boundary points creates cancellation that strictly lowers the essential norm.
Because the method avoids Carleson-measure estimates and univalence, other integral operators with a mean-of-composition representation, for instance Cesàro-type or slant-type operators, could be treated by verifying the geometric admissibility conditions and then reading the essential norm off a one-dimensional boundary integral.
One could attempt to weaken condition (d) to a quantitative version: if the horocycle is replaced by a sector of fixed aperture, the domination by $f_{c,\xi}$ might still hold with a constant, yielding a two-sided bound rather than equality; this would give an error term measuring how far (1) is from holding.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The main result, Theorem 2.8, is the real thing: a clean sufficient condition for the essential norm to pass through integration for admissible families of weighted composition operators, with necessary conditions in Section 3 showing why two-direction families fail. The domination argument via the approximate evaluation maps f_{c,ξ} is genuinely new, and the proof is coherent, using standard tools (Minkowski, dominated convergence, the (M_p) property). It extends the earlier example in [9] to a general framework and yields new essential norms. Credit is due for that.

The serious problem is in Section 4. I checked the examples against the theorem. For the Volterra operator, φ_t'(1)=1/t and u_t(1)=|L|/t (with L=lim(1-z)g'(z)), so the integrand from Theorem 2.8 is t^{(2+α)/p-1}, not t^{(2+α)/p} as printed. For the generalized Hilbert operator, u_t(1)=1/t and φ_t'(1)=(1-t)/t, so the correct integrand is t^{(2+α)/p-1}(1-t)^{-(2+α)/p}, not t^{(2+α)/p}(1-t)^{-(2+α)/p}. The corrected Hilbert essential norm is B((2+α)/p, 1-(2+α)/p)=π/sin(π(2+α)/p), which is clean. Since these values are advertised in the abstract, the formulas must be fixed. The proof of Theorem 2.8 is not affected.

I also want to flag that the stress-test note's claim about condition (d) is not right. The domination inequality in Proposition 2.7 genuinely needs (d): it is used to show that the test sequence f_{c,ξ} attains the upper bound, and without it the inequality B ≤ C in the proof of Theorem 2.8 is not established. The reverse inequality in the theorem does follow from f_{c,ξ} ∈ W_0, but only after the domination has been proved. So the reader's original weakest-assumption assessment was correct.

Minor soft spot: Section 5 is a sketch, but it is clearly labeled as such and is not central to the paper. The reliance on the author's own prior work is acceptable because those lemmas and results are independently published.

This paper is for operator theorists working on Bergman spaces and essential norms. It deserves a serious referee; the main theorem is important enough, and the Section 4 error is local and fixable. My recommendation is to send it to peer review with a required revision of the examples.

Referee Report

3 major / 4 minor

Summary. The paper studies when the essential norm of an integrated family of weighted composition operators equals the integral of the essential norms on weighted Bergman spaces A^p_α (p>1, α≥0). It introduces the notion of an admissible family with a common boundary direction ξ, proves a sufficient interchange theorem (Theorem 2.8) under a constant-argument condition on u_t(ξ), and then applies this to compute essential norms of Volterra and generalized Hilbert operators. It also provides necessary conditions for the equality, including a two-direction failure analysis, and a short section on M-ideal characterizations.

Significance. If the main theorem is correct, it gives a clean geometric sufficient condition for the essential norm to commute with integration, avoiding univalence and Carleson-measure estimates. The proof of Theorem 2.8 is coherent and uses standard tools (Minkowski, Fatou, the (M_p) property, and approximate evaluation maps). The paper also supplies a non-univalent example and explicit calculations, which are valuable as test cases. However, the advertised applications in Section 4 contain a systematic exponent error that affects the printed values of the essential norms, and Proposition 3.1 has a proof gap. These issues are local and correctable, but they must be fixed before the paper can be accepted.

major comments (3)

[§4.1 (Volterra operator)] The final displayed formula for the essential norm of V_g is missing a factor t^{-1}. With u_t(z)=τ(φ_t(z)/t)(1-φ_t(z))g'(φ_t(z)) and φ_t(z)=zt/(1-(1-t)z), one has u_t(1)=τ L/t and φ_t'(1)=1/t. Therefore |u_t(1)|/φ_t'(1)^{(2+α)/p}=|L| t^{(2+α)/p-1}, not |L| t^{(2+α)/p}. The correct value is ∥V_g∥_e = |L| p/(2+α), where L=∠lim_{z→1}(1-z)g'(z). This error changes the advertised application and must be corrected.
[§4.2 (generalized Hilbert operator)] The same missing t^{-1} factor appears in the generalized Hilbert matrix example. For u_t(z)=t^{λ-1}/(1-(1-t)z)^λ and φ_t(z)=t/(1-(1-t)z), we have u_t(1)=1/t and φ_t'(1)=(1-t)/t, so the integrand should be t^{(2+α)/p-1}(1-t)^{-(2+α)/p}. The correct essential norm is B((2+α)/p,1-(2+α)/p)=π/sin(π(2+α)/p), not the printed integral of t^{(2+α)/p}(1-t)^{-(2+α)/p}. This is the central example extending [9, Example 7.4], so the correction is essential.
[§3, Proposition 3.1] The proof of Proposition 3.1 is incomplete. The assumption that no sequence (f_n)∈W_0(∂B_{A^p_α}) satisfies lim_n ∥S_t f_n∥=∥S_t∥_e for almost every t does not, by itself, imply the displayed strict inequality sup_{(f_n)} limsup_n ∥∫_0^1 S_t f_n dt∥ < ∫_0^1 ∥S_t∥_e dt. Minkowski's inequality only gives an upper bound by sup_{(f_n)} ∫ limsup_n ∥S_t f_n∥ dt, and passing from the non-existence of a pointwise maximizing sequence to strict inequality of the integrals requires a measurable-selection or compactness argument that is not supplied. The statement may be true under additional uniformity assumptions, but as written the proof does not establish it.

minor comments (4)

[Eq. (3)] In equation (3), the nontangential limit of (ξ-z)/(ξ-φ_t(z)) should be φ_t'(ξ)^{-1}, not φ_t(ξ)^{-1}. The surrounding argument confirms the intended limit.
[§2, condition (d)] The role of condition (d) in Proposition 2.7 is more delicate than a first reading suggests: the upper estimate alone gives a constant C, and the identification C=lim_c ∥S_t f_c∥ uses (d). Without (d), the domination inequality sup_{W_0}≤lim_c ∥S_t f_c∥ is not obtained.
[§4.1] In the Volterra example, the notation 'lim_{z∈D,z→1}' near the final formula should specify the nontangential limit, consistent with the earlier definition of L.
[General] Several minor typos appear, such as 'INTEGRA TION' and 'F AMIL Y' in the title and 'easy-to-check' missing a hyphen; these should be cleaned up.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem 2.8 is proved from stated geometric hypotheses; same-author citations are technical and independent.

full rationale

The central interchange theorem (Theorem 2.8) is proved in the paper from the admissibility hypotheses. The upper inequality comes from Minkowski plus Proposition 2.7, and the reverse inequality uses the approximate evaluation sequence f_{c,ξ}; neither step replaces the conclusion by an assumption. The identification of the essential norm with the supremum over weakly null sequences is imported from external results on property (M_p) (Kalton-Werner and Werner), not from the paper's own framework. The same-author citations ([9], [11], [12]) provide a technical lemma (Lemma 2.3), context, and details for g_{c,θ}; these are standard, externally checkable facts and are not equivalent to the target equality, so they do not constitute load-bearing self-citation. No fitted parameter is renamed as a prediction, and no uniqueness theorem is invoked to force the chosen construction. There are genuine non-circular weaknesses: the Section 4 Volterra and Hilbert essential-norm formulas appear to drop a factor 1/t from u_t(1), and Proposition 3.1's proof is terse about why the stated pointwise non-attainment yields a strict supremum inequality. These are correctness or exposition concerns, not circular reductions.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted. The central claim is a theorem with no data-dependent constants. It relies on standard operator theory results and on the author's earlier work for two technical lemmas, but these are external results with independent support.

assumptions (4)

standard math A^p_α has property (M_p).
Invoked in the proof of Theorem 2.8 to identify the essential norm with the supremum over weakly null sequences (formula (2)). Cited to [7] and [9].
standard math Julia-Carathéodory theorem and angular derivative properties.
Used in Section 2 to derive properties of φ_t near the boundary direction, including the existence of the angular derivative φ'_t(ξ).
domain assumption Boundedness of Volterra operator V_g and generalized Hilbert matrix operator H_λ.
Assumed in Section 4 based on [1, Theorem 1] and [5, Theorem 1.1].
standard math First statement of Lemma 2.3 (norm of f_c times bounded functions).
The paper refers to [11, Section 4] for this fact, which is used to identify limits of weighted composition operators applied to test functions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Essential norm and integration of a family of weighted composition operators." pith.science (2026). https://pith.science/paper/JOQ2YSXN

@misc{pith2026250521268,
  author       = {Pith},
  title        = {Pith review of: Essential norm and integration of a family of weighted composition operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JOQ2YSXN}},
  note         = {Machine review of arXiv:2505.21268}
}

abstract

We study the interchange of essential norm and integration of certain families of weighted composition operators acting on the standard weighted Bergman spaces $A^p_\alpha$, where $p>1$ and $\alpha\geq 0$. To be more precise, we give a sufficient condition for $ \|\int u_tC_{\phi_t}\, dt\|_e = \int \| u_tC_{\phi_t}\|_e \, dt $ to hold in terms of geometric properties of $u_t$ and $\phi_t$. We also provide some necessary conditions for the equality to hold and calculate the essential norm of some integral operators such as some Volterra operators.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Weak null maximum and integration of families of multiplication operators
math.FA 2025-09 conditional novelty 6.0 of 10

For analytic symbols continuous on the closed disk, the wem/essential norm of the integrated multiplication operator equals the integral of the wem-values iff all symbols share one boundary peak point and a common argument.

Reference graph

Works this paper leans on

15 extracted references · 14 canonical work pages · cited by 1 Pith paper

[9]

Lindstr¨ om, S

M. Lindstr¨ om, S. Miihkinen, and D. Norrbo. Exact essential norm of generalized Hilbert matrix operators on classical analytic function spaces.Adv. Math., 408:Paper No. 108598, 34, 2022. ESSENTIAL NORM AND INTEGRATION. . . 15

work page 2022
[1]

Aleman and A

A. Aleman and A. G. Siskakis. Integration operators on Bergman spaces.Indiana Univ. Math. J., 46(2):337– 356, 1997

work page 1997
[2]

C. C. Cowen and B. D. MacCluer.Composition operators on spaces of analytic functions. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1995

1995
[3]

Cuckovi´ c and R

Z. Cuckovi´ c and R. Zhao. Weighted composition operators between different weighted Bergman spaces and different Hardy spaces.Illinois J. Math., 51(2):479–498, 2007

work page 2007
[4]

Galanopoulos, D

P. Galanopoulos, D. Girela, A. Mas, and N. Merch´ an. Operators induced by radial measures acting on the Dirichlet space.Results Math., 78(3):Paper No. 106, 24, 2023

work page 2023
[5]

Jevti´ c and B

M. Jevti´ c and B. Karapetrovi´ c. Hilbert matrix on spaces of Bergman-type.J. Math. Anal. Appl., 453(1):241– 254, 2017

work page 2017
[6]

N. J. Kalton.M-ideals of compact operators.Illinois J. Math., 37(1):147–169, 1993

work page 1993
[7]

N. J. Kalton and D. Werner. Property (M),M-ideals, and almost isometric structure of Banach spaces.J. Reine Angew. Math., 461:137–178, 1995

work page 1995

Show all 15 references

[8]

Katznelson.An introduction to harmonic analysis

Y. Katznelson.An introduction to harmonic analysis. Cambridge Mathematical Library. Cambridge Univer- sity Press, Cambridge, third edition, 2004

2004
[10]

Exact essential norm of generalized Hilbert matrix operators on classical analytic function spaces

M. Lindstr¨ om, S. Miihkinen, and D. Norrbo. Corrigendum to “Exact essential norm of generalized Hilbert matrix operators on classical analytic function spaces” [Adv. Math. 408 (2022) 108598].Adv. Math., 450:Paper No. 109759, 2024

2022
[11]

Norrbo.Different Types of Weighted Composition Operators on Banach Spaces of Analytic Functions

D. Norrbo.Different Types of Weighted Composition Operators on Banach Spaces of Analytic Functions. Phd thesis, ˚Abo Akademi University, 2023. https://urn.fi/URN:ISBN:978-952-12-4290-8

2023
[12]

D. Norrbo. Norm estimates for the Hilbert matrix operator on weighted Bergman spaces.J. Math. Anal. Appl., 548(2):Paper No. 129408, 2025

2025
[13]

Pommerenke.Boundary behaviour of conformal maps, volume 299 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

C. Pommerenke.Boundary behaviour of conformal maps, volume 299 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1992

1992
[14]

W. Werner. Smooth points in some spaces of bounded operators.Integral Equations Operator Theory, 15(3):496–502, 1992

1992
[15]

Zhu.Operator theory in function spaces, volume 138 ofMathematical Surveys and Monographs

K. Zhu.Operator theory in function spaces, volume 138 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, second edition, 2007. Email address:d.norrbo@reading.ac.uk Department of Mathematics and Statistics, School of Mathematical and Physical ...

2007

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [9]

Lindstr¨ om, S

M. Lindstr¨ om, S. Miihkinen, and D. Norrbo. Exact essential norm of generalized Hilbert matrix operators on classical analytic function spaces.Adv. Math., 408:Paper No. 108598, 34, 2022. ESSENTIAL NORM AND INTEGRATION. . . 15

work page 2022

[2] [1]

Aleman and A

A. Aleman and A. G. Siskakis. Integration operators on Bergman spaces.Indiana Univ. Math. J., 46(2):337– 356, 1997

work page 1997

[3] [2]

C. C. Cowen and B. D. MacCluer.Composition operators on spaces of analytic functions. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1995

1995

[4] [3]

Cuckovi´ c and R

Z. Cuckovi´ c and R. Zhao. Weighted composition operators between different weighted Bergman spaces and different Hardy spaces.Illinois J. Math., 51(2):479–498, 2007

work page 2007

[5] [4]

Galanopoulos, D

P. Galanopoulos, D. Girela, A. Mas, and N. Merch´ an. Operators induced by radial measures acting on the Dirichlet space.Results Math., 78(3):Paper No. 106, 24, 2023

work page 2023

[6] [5]

Jevti´ c and B

M. Jevti´ c and B. Karapetrovi´ c. Hilbert matrix on spaces of Bergman-type.J. Math. Anal. Appl., 453(1):241– 254, 2017

work page 2017

[7] [6]

N. J. Kalton.M-ideals of compact operators.Illinois J. Math., 37(1):147–169, 1993

work page 1993

[8] [7]

N. J. Kalton and D. Werner. Property (M),M-ideals, and almost isometric structure of Banach spaces.J. Reine Angew. Math., 461:137–178, 1995

work page 1995