Pith. sign in

REVIEW 3 major objections 5 minor 34 references

Functions of continuous Ces\'aro operators

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read Holomorphic functions of the Cesàro operator are exactly Hausdorff operators whose Mellin symbol matches the function on the critical line.

desk verdict A solid, likely correct classification of holomorphic functions of the continuous Cesàro operator, with a few corollaries that need fixing. read the letter →

arxiv 2411.15578 v1 pith:UJEXJPAA submitted 2024-11-23 math.FA

Adolf Mirotin This is my paper · ORCID
classification math.FA MSC 47B3847A6047A1044A15
keywords continuousCesàrooperatorHausdorffoperatorsholomorphicfunctionalcalculusfractionalpowersHölderlogarithmofanMellintransformspectralmapping
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 aims to establish a complete description of holomorphic functions of the continuous Cesàro operator in $L^2(\mathbb{R})$, and by restriction also in $L^2(\mathbb{R}_+)$ and $L^2[0,1]$. It claims that, for any holomorphic $F$ with $F(0)=0$, the operator $F(C)$ is a Hausdorff operator $H_K$ whose kernel $K$ is supported on $\mathbb{R}_+$, satisfies $K(u)u^{-1/2}\in L^1(\mathbb{R}_+)$, and has Mellin transform $(MK)(z)=F(z^{-1})$ on the critical line $\operatorname{Re} z=\tfrac12$; conversely any such $K$ gives $F(C)=H_K$. The payoff is that fractional powers $C^\alpha$ are computed explicitly as Hölder operators, and $\log C$ is shown to have a curve spectrum with Hausdorff resolvents. If true, this turns a broad class of operator functions into concrete integral operators.

What carries the argument

The machinery is the Hausdorff operator symbol calculus. A Hausdorff operator has the form $(H_K f)(x)=\int_{\mathbb{R}}K(u)f(ux)\,du$, and to each such operator one attaches a matrix symbol built from two Mellin-type integrals of $K$; for normal Hausdorff operators the symbol determines the operator. The Cesàro operator $C$ has matrix symbol $\operatorname{diag}((\tfrac12-is)^{-1},(\tfrac12-is)^{-1})$, so the holomorphic functional calculus acts on the symbol, giving $\Phi_{F(C)}=F(\Phi_C)$. This forces $F(C)$ to be the Hausdorff operator whose scalar symbol is $F((\tfrac12-is)^{-1})$, which is exactly the Mellin-transform identity $(MK)(z)=F(z^{-1})$ on the critical line $\operatorname{Re} z=\tfrac12$.

What would settle it

Test the theorem on a specific pair, say $F(z)=z^2$, where the predicted kernel is $K(u)=\log(1/u)\chi_{(0,1)}(u)$: compute $(C^2f)(x)$ and $(H_K f)(x)$ for a concrete $L^2$ function such as $f(x)=e^{-x^2}$; if the two functions differ at any $x$, the symbol-calculus identification is wrong. More generally, any $K$ satisfying conditions (a), (b), and (c) for which $H_K f\neq F(C)f$ on a test function would refute the classification.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.2: if $F$ is holomorphic in a neighborhood of the spectrum $\mathbb{T}+1$ of the Cesàro operator $C$ and $F(0)=0$, then $F(C)=H_K$ for a unique kernel $K$ exactly when $K$ vanishes on $(-\infty,0)$, $K(u)u^{-1/2}\in L^1(\mathbb{R}_+)$, and $(MK)(z)=F(z^{-1})$ for all $z$ with $\operatorname{Re} z=\tfrac12$. The converse direction shows that any $K$ meeting these three conditions gives $H_K=F(C)$, and the spectrum condition then yields $\sigma(H_K)=F(\mathbb{T}+1)$. The paper applies this to obtain $C^\alpha=H_\alpha$ for $\operatorname{Re}\alpha>0$, where $H_\alpha$ is the Hölder operator, and to introduce $\log C$ as the generator of the semigroup $H_t$; the spectrum of $\log C$ is the curve $\{\log(2\cos y)+iy: y\in(-\pi/2,\pi/2)\}$.

Load-bearing premise

The whole classification rests on earlier results that a normal Hausdorff operator is uniquely fixed by its matrix or scalar symbol and that applying a holomorphic function to a Hausdorff operator gives another Hausdorff operator; if either of those fails, the equality $F(C)=H_K$ and the converse of Theorem 3.2 can break down.

Editorial extensions

If this is right

  • Every holomorphic function of $C$ with $F(0)=0$ is a Hausdorff operator, so questions about such functions reduce to kernels and Mellin transforms.
  • For $\operatorname{Re}\alpha>0$, $C^\alpha=H_\alpha$, the Hölder operator, with spectrum $\{z^\alpha:z\in\mathbb{T}+1\}$ and norm $\|H_\alpha\|=\bigl(\tfrac{2\operatorname{Re}\alpha}{|\alpha|}\bigr)^{\operatorname{Re}\alpha}e^{\operatorname{Im}\alpha\arg\alpha}$; for real $\alpha>0$ the spectrum is an arc and $\|H_\alpha\|=2^\alpha$.
  • The operator $\log C$ is normal with empty point spectrum, spectrum $\{\log(2\cos y)+iy:y\in(-\pi/2,\pi/2)\}$, spectral bound $\log 2$, and resolvent given as a Hausdorff operator with a kernel built from the Volterra function $\nu$.
  • The inverse $(\log C)^{-1}$ is also a Hausdorff operator with an explicit kernel, so the inverse logarithm stays inside the same operator algebra.
  • The same classification transfers to $L^2(\mathbb{R}_+)$ and $L^2[0,1]$: $F(C_+)=H_K^+$ and $F(C_1)=(H_K)_1$ under the same kernel conditions.

Reading between the lines

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

  • Theorem 3.2 can be read as an inverse Mellin calculus: to compute $F(C)$, one only needs to write $F(z^{-1})$ as the Mellin transform of a kernel on $\mathbb{R}_+$, which suggests explicit formulas for other symbols such as exponentials or rational functions.
  • The boundary condition $\operatorname{Re} z=\tfrac12$ links the symbol calculus to Hardy-space geometry, and the paper's non-holomorphic example built from the Riemann zeta function indicates that the normal functional calculus used for $C^\alpha$ may reach operators that the holomorphic calculus cannot.
  • If the same symbol-calculus pattern holds for other normal Hausdorff operators with scalar symbols, the Mellin-transform test would characterize their holomorphic functions as well; this is a natural direction beyond the Cesàro case.
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.

Referee Report

3 major / 5 minor

Summary. The paper develops a description of holomorphic functions and fractional powers of the continuous Cesàro operator C on L2(R), L2(R+), and L2[0,1] in terms of Hausdorff operators. Theorem 3.2 characterizes F(C)=H_K by three conditions on the kernel K, Theorem 3.7 identifies C^α with the Hölder operator H_α for Re α>0, and Theorem 3.13 describes the resolvent and spectrum of log C, with Theorem 3.14 giving the inverse of log C. Analogous statements for L2(R+) and L2[0,1] are derived by restriction arguments. The main classification is based on the author's earlier symbol calculus for Hausdorff operators [22,26,27].

Significance. If the central classification is correct, the paper provides a clean and fairly complete description of holomorphic functions of the continuous Cesàro operator, with explicit formulae for resolvents, fractional powers, and the logarithm, and it extends the theory to complex orders. The derivations from the cited symbol calculus are mostly coherent and involve no fitted parameters or invented entities. The main weakness is the heavy reliance on the author's previously published symbol calculus for the core theorem; assuming those cited results, the argument is internally consistent. However, several auxiliary claims are false or incorrectly proved, which materially reduces the reliability of the secondary results and of the paper in its current form.

major comments (3)
  1. [§3.2, Corollary 3.9] The identity (Hα)^β=Hαβ for Re α,Re β>0 is not justified and is in general false under the branch conventions used in the paper. In the normal functional calculus, the β-th power of Hα uses a branch of w^β applied to the spectrum of Hα, and this does not reproduce the αβ-th power of the original branch on σ(C). For example, for z∈T+1 close to 0 the argument of z^3 approaches 3π/2, so the principal square root of z^3 has argument near -π/4, whereas z^{3/2} has argument near 3π/4; hence (H_3)^{1/2}≠H_{3/2}. This corollary should be deleted or replaced by a statement about the semigroup property H_{α+β}=Hα Hβ, which is different from composing fractional powers.
  2. [§3.2, Corollary 3.12] The proof of Corollary 3.12 is invalid. Cesàro ergodicity, as given by [4, Cor. 4.3.5], yields convergence of the Cesàro averages (1/t)∫_0^t T(s)f ds, not the pointwise limit lim_{t→∞} 2^{-t}H_t f asserted in the proof. Moreover, the term 'uniformly stable' is inaccurate because ||T(t)||=1 for all t≥0; the statement proved is strong stability. The conclusion itself is true and can be proved directly: after the diagonalization in Theorem 3.7, T(t) is unitarily equivalent to multiplication by (1-2is)^{-t}, which converges to 0 pointwise and is dominated by 1 in modulus, so dominated convergence gives 2^{-t}H_t f→0 for every f. Please replace the proof and correct the terminology.
  3. [§4.2, Corollary 4.23] The proof of Corollary 4.23 contains a false assertion: 'the restriction of Hα to the subspace L2(R)⊖L2(R+)=L2(R-) is zero' is incorrect. For f supported on R- and x<0, (Hα f)(x)=∫_0^1 K(u)f(ux)du is generally nonzero; already for α=1, H_1=C does not annihilate L2(R-). The conclusion may still be true, for instance because Hα decomposes as Hα+ ⊕ Hα- with Hα- unitarily equivalent to Hα+, or because Hα+ is unitarily equivalent to multiplication by (1/2-is)^{-α}; please supply a correct proof.
minor comments (5)
  1. [§2] The uniqueness of K for H_K is proved for L2(R); the claimed analogous statement for the restriction to L2(R+) should be stated and proved explicitly, since it is used in later sections.
  2. [Theorems 3.2 and 3.13] The proof of the main classification relies on [22, Theorem 3.1], [22, Lemma 2.1], and [26, Theorem 1] without stating these results fully. Because they are load-bearing and are the author's own results, please state them precisely in the preliminaries, or provide a short proof sketch for the key step F(C)∈A_u.
  3. [Throughout] There are several typos and small gaps: 'wright' should be 'write' (Section 2); 'McGrow-Hill' in reference [30]; 'Noth Holland' in reference [25]; a missing closing parenthesis in (3.19); 'there is such function K' in Theorem 4.16 should be 'there is a function K'.
  4. [Corollary 3.12] The phrase 'uniformly stable' should be changed to 'strongly stable' throughout the statement and proof, since the estimate 2^{-t}||H_t f||→0 is pointwise in f.
  5. [Theorem 3.13(iv)] In the proof of the limit lim_{λ→-∞} ||R(λ, log C)||=2/π, the sentence about horizontal asymptotes is terse; it would help to spell out that the distance from λ to the curve approaches the horizontal distance to the asymptotes y=±π/2.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper's central theorems are applications of an independently published Hausdorff-operator symbol calculus, not reductions to the paper's own conclusions.

full rationale

The derivation of Theorem 3.2 rests on [22, Theorem 3.1] to place F(C) in A_u, on the matrix-symbol transformation formula from [22] to identify the symbol of F(C), and on the uniqueness of Hausdorff-operator symbols from [26, Theorem 1] and [22, Lemma 2.1] in the converse. These are self-citations of the author's prior published work, and they are load-bearing in the sense that a failure of that symbol calculus would invalidate the classification. However, they are not circular: the cited results are peer-reviewed, parameter-free, state their assumptions independently of the present target result, and do not assume F(C)=H_K. The fractional-power identification C^alpha=H_alpha compares the normal functional calculus with the computed matrix symbol of the Hoelder operator using the same external uniqueness theorem. The logarithm and resolvent spectral results follow by standard semigroup Laplace transforms and the already-established symbol computations. No fitted constants are renamed as predictions, and no equation is defined in terms of the quantity it is used to prove. Any doubt about the validity of the prior symbol calculus is a correctness risk external to circularity analysis, not evidence of circular reasoning.

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

No free parameters or invented entities. The proofs import the author's earlier symbol calculus and spectral theory of Hausdorff operators as black boxes; these are peer-reviewed external results, so the circularity burden is low, but the paper's contribution is conditional on that machinery. The flagged errors in corollaries are proof gaps, not hidden degrees of freedom.

assumptions (4)
  • standard math Holomorphic calculus for Hausdorff operators ([22, Thm 3.1]): F(H_{K,a}) ∈ A_a whenever F is holomorphic near σ(H_{K,a})∪{0} and F(0)=0.
    Loaded in Theorem 3.2 to conclude F(C) is a Hausdorff operator H_K. This is a peer-reviewed result by the same author, not re-derived here.
  • standard math Uniqueness of the scalar or matrix symbol for normal Hausdorff operators ([26, Thm 1], [22, Lemma 2.1]).
    Used in the converse of Theorem 3.2 and in Theorem 3.14 to pass from equality of symbols to equality of operators. If this fails the central identification collapses.
  • standard math Spectral representation of C in L2(R) by the matrix symbol diag((1/2-is)^{-1}, (1/2-is)^{-1}) ([26, Theorem 2]).
    Underlies the computation of fractional powers C^α=H_α in Theorem 3.7 and the spectrum of log C in Theorem 3.13.
  • standard math Volterra function asymptotics and Laplace transform identities from [5,6], and the spectral mapping and point-spectrum theorems of [15].
    Used in Theorem 3.13 for the Fubini justification and to identify the resolvent scalar symbol, and in Corollary 3.12 for point-spectrum mapping.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Functions of continuous Ces\'aro operators." pith.science (2026). https://pith.science/paper/UJEXJPAA

@misc{pith2026241115578,
  author       = {Pith},
  title        = {Pith review of: Functions of continuous Ces\'aro operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UJEXJPAA}},
  note         = {Machine review of arXiv:2411.15578}
}
abstract

We describe holomorphic functions and fractional powers of Ces\'{a}ro operators in $L^2(\mathbb{R})$, $L^2(\mathbb{R}_+)$, and $L^2[0,1]$. Logarithms of Ces\'{a}ro operators are introduced as well and their spectral properties are studied. Several examples are considered.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 32 canonical work pages

  1. [22]

    Liflyand, A

    E. Liflyand, A. R. Mirotin, On Algebras of Hausdorff Oper ators on the Real Line, J Math Sci, V ol. 271, 109–114 (2023). https://doi.org/10.10 07/s10958-023-06275-7

    work page 2023

  2. [26]

    A. R. Mirotin, On the Structure of Normal Hausdorff Oper ators on Lebesgue Spaces, Functional Analysis and Its Applications. 53 (2019), 261–2 69

    work page 2019

  3. [1]

    Akhymbek, K

    M. Akhymbek, K. Tulenov and G. Zaur. Spectrum of the Ces´ a ro-Hardy operator in rearrangement invariant spaces. Quaestiones Mathemati cae, 47(6) (2023). 1157–

    work page 2023

  4. [2]

    Albanese, J

    A.A. Albanese, J. Bonet, W .J. Ricker, On the continuous C es´ aro operator in certain function spaces. Positivity, V ol. 19 (2015), 659–679

    work page 2015

  5. [3]

    Mean ergodic properties of the continuous Ces\`aro operators

    A.A. Albanese, J. Bonet and W .J. Ricker, Mean ergodic pro perties of the continuous Ces´ aro operators, arXiv:1310.5083v1 [math.FA] 18 Oct 2013

    work page Pith review arXiv 2013

  6. [4]

    Arendt et

    W . Arendt et. al. V ector-valued Laplace Transforms and C auchy Problems. Second Edition. Springer, Basel, 2011

    work page 2011

  7. [5]

    Bateman, A

    H. Bateman, A. Erdelyi, Higher Transcendental Function s. V ol. I, N. Y .-Toronto- London, McGraw-Hill, 1955

    work page 1955

  8. [6]

    Bateman, A

    H. Bateman, A. Erdelyi, Higher Transcendental Function s. V ol. III, N. Y .-Toronto- London, McGraw-Hill, 1955

    work page 1955

Show all 34 references
  1. [7]

    D. W . Boyd, Space between a pair of reflexive Lebesgue spac es, Proc. Amer. Math. Soc. 18 (1967), 215–219

    1967

  2. [8]

    D. W . Boyd, The spectral radius of averaging operators, P acific J. Math., 24 (1968), 19–28

    1968

  3. [9]

    D. W . Boyd, The spectrum of the Ces´ aro operator, Acta Sci . Math. (Szeged), 29 (1968), 31–34

    1968

  4. [10]

    Brown, P .R

    A. Brown, P .R. Halmos, A.L. Shields, Ces´ aro operators , Acta Sci. Math. (Szeged), 26 (1965), 125–137

    1965

  5. [11]

    J. B. Conway. A Course in Operator Theory, AMS, Providen ce, RI, 2000

    2000

  6. [12]

    P . I. Delgado, C. Lennard, J. Sivek, Ces´ aro averaging and extension of functionals on L∞ (0,∞), Journal of Mathematical Analysis and Applications, 529, No 1, (2024), https://doi.org/10.1016/j.jmaa.2023.127593

    2024

  7. [13]

    Dunford, J

    N. Dunford, J. T. Schwartz, Linear operators. Part I. Ge neral theory, Interscience Publishers, New Y ork – London – Sydney, 1958

    1958

  8. [14]

    Dunford, J

    N. Dunford, J. T. Schwartz, Linear operators. Part II. S pectral theory. Interscience Publishers, New Y ork – London, 1963

    1963

  9. [15]

    Engel, R

    K.-J. Engel, R. Nagel, One-parameter Semigroups for Li near Evolution Equations, Springer,New Y ork –Berlin–Heidelberg, 1999

    1999

  10. [16]

    Hardy, Divergent series, Clarendon Press, Oxford , 1949

    G.H. Hardy, Divergent series, Clarendon Press, Oxford , 1949

    1949

  11. [17]

    Hille, R

    E. Hille, R. S. Phillips, Functional analysis and semig roups, AMS, Providence, 1957

    1957

  12. [18]

    T. L. Kriete and D. Trutt. On the Ces´ aro operator. India na Univ. Math. J., V ol. 24, 197–214, 1974/75

    1974

  13. [19]

    G. M. Leibowitz, Discrete Hausdorff Transformations, Proc. Amer. Math. Soc., 38, No 3, (1973), 541–544. 20

    1973

  14. [20]

    G. M. Leibowitz, A Convolution Approach to Hausdorff In tegral Operator, Indiana University Mathematics Journal, V ol. 23, No. 6, 447–460 (19 73)

  15. [21]

    Leibowitz, Spectra of finite range Ces´ aro operato rs, Acta Sci

    G.M. Leibowitz, Spectra of finite range Ces´ aro operato rs, Acta Sci. Math. (Szeged), V ol. 35 (1973), 27–28

    1973

  16. [23]

    Liflyand, A

    E. Liflyand, A. R. Mirotin, On the symbol calculus for mul tidimensional Hausdorff operators, J. Math. Sci., A, V ol. 280, 23–32, 2024. https:// doi.org/10.1007/s10958- 023-06610-y

    2024 doi

  17. [24]

    Liflyand, A

    E. Liflyand, A. R. Mirotin, Hausdorff Operators: Proble ms and Solutions, J. Math. Sci., (2024) (to appear)

    2024

  18. [25]

    Martinez, M

    C. Martinez, M. Sanz, The Theory of Fractional Powers of Operators, Noth Holland, Amsterdam (2001)

    2001

  19. [27]

    A. R. Mirotin, On the description of multidimensional n ormal Hausdorf operators on Lebesgue spaces, Forum Math. 32 (2020), 111–119

    2020

  20. [28]

    Oberhettinger, Tables of Mellin Transforms, Berlin - Heidelberg - New Y ork, Springer-V erlag, 1974

    F. Oberhettinger, Tables of Mellin Transforms, Berlin - Heidelberg - New Y ork, Springer-V erlag, 1974

    1974

  21. [29]

    B. E. Rhoades, Spectra of Some Hausdorff Operators, Act a Sci. Math. (Szeged), V ol. 32 (1971), 91–100

    1971

  22. [30]

    Rudin, Functional Analysis, McGrow-Hill Book Compa ny, N.Y ., 1973

    W . Rudin, Functional Analysis, McGrow-Hill Book Compa ny, N.Y ., 1973

    1973

  23. [31]

    Steuding, A

    J. Steuding, A. I. Suriajaya, V alue-Distribution of th e Riemann Zeta-Function Along Its Julia Lines, Computational Methods and Function Theory . 20 (3): 389–401. doi:10.1007/s40315-020-00316-x

    doi

  24. [32]

    Shields, L

    A.L. Shields, L. J. Wallen, The Commutants of Certain Hi lbert Space Operators, Indiana Univ. Math. J., 20 (1971), 777–788

    1971

  25. [33]

    E. C. Titchmarsh, The Theory of the Riemann Zeta Functio n (2nd ed.), Oxford, UK: Oxford Science Publications (1986)

    1986

  26. [1175]

    https://doi.org/10.2989/16073606.2023.2281570

    2023

Pith tools

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