Pith. sign in

REVIEW 2 major objections 3 minor 20 references

Riesz means in Hardy spaces on Dirichlet groups

T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Every H1 function on a Dirichlet group is recovered almost everywhere by its first Riesz means; equivalently, almost every vertical limit of an H1-Dirichlet series is (λ,k)-Riesz summable on the imaginary axis.

desk verdict The paper's central maximal inequality is built on a misdefined Hardy-Littlewood operator; the result is likely repairable but the main theorem is unproved as written. read the letter →

arxiv 1908.06458 v1 pith:2335LLL6 submitted 2019-08-18 math.FA

Andreas Defant , Ingo Schoolmann This is my paper · ORCID
classification math.FA MSC 43A1730H1030B50
keywords FourierseriesongroupsgeneralDirichletverticallimitsRieszsummabilityHardyspacesHardy-Littlewoodmaximaloperator
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

The paper proves that integrable Hardy-space functions on Dirichlet groups, despite the failure of ordinary Fourier convergence, are almost everywhere recovered by their first Riesz means of any positive order k. Equivalently, for every frequency λ, almost all vertical limits of an H1-Dirichlet series are (λ,k)-Riesz summable almost everywhere on the imaginary axis. The engine is a new weak-type (1,∞) Hardy–Littlewood maximal operator on Dirichlet groups, which controls the supremum of the Riesz means and turns a density argument for polynomials into an almost-everywhere statement for all H1 functions. A reader should care because p=1 is exactly the boundary case where Carleson–Hunt convergence fails, and Riesz summation restores pointwise recovery in a way adapted to the exponents λ_n.

What carries the argument

The load-bearing object is a Hardy–Littlewood maximal operator defined on a Dirichlet group (G,β): Mf(ω)=sup_I |I|^{-1}∫_I |f_ω(t)| dt, where f_ω(t)=f(ωβ(t)) is the vertical restriction of f along the dense flow β:R→G. Theorem 2.10 proves M is weak type (1,1) and strong type (p,p) for p>1 by reducing it, via a Vitali covering argument and Fubini, to the one-dimensional maximal theorem. Proposition 3.2 then bounds the Riesz maximal operator pointwise by a constant multiple of Mf(ω), so all almost-everywhere convergence of Riesz means follows from the classical maximal theorem plus density of Dirichlet polynomials. A second mechanism is Lemma 1.4, the transference lemma that converts a.e. convergence on G into a.e. convergence of vertical limits of Dirichlet series on R, and the Bohr–Cahen formula from [19] that controls the abscissa of uniform Riesz summability in the H∞ application.

What would settle it

One would refute the main theorem by finding a frequency λ, k>0, and f∈H^λ_1(G) such that the set of ω∈G where the first Riesz means fail to converge to f has positive Haar measure, or where sup_x |$R^{{λ,k}}$_x(f)(ω)| is infinite on a set of positive measure. For the ordinary case λ=(log n), a concrete search would check whether any non-convergent H1(T) Fourier series, embedded in H1(T∞), has a vertical limit whose logarithmic means diverge on a positive-measure set of t.

Watch

Extended reading notes

Core claim

The central discovery is that first Riesz means are the right summation method for H1 Hardy spaces on Dirichlet groups. The paper shows (Theorem 2.1) that the maximal operator $R^{{λ,k}}$_{max} f(ω)=sup_{x>0}|∑_{λ_n<x} \hat f(h_{λ_n})(1−λ_n/x)^k h_{λ_n}(ω)| is bounded from H^λ_1(G) into weak L1(G) and from H^λ_p(G) into Lp(G) for p>1, for every frequency λ and k>0. From this maximal inequality the authors deduce almost-everywhere convergence of the first Riesz means to f (Corollary 2.2), and via the Bohr transform the same statement for almost all vertical limits of H1-Dirichlet series on the imaginary axis (Corollary 2.6). Along the way they establish an H1-norm approximation theorem and an isometric identification of H^λ_∞(G) with bounded holomorphic uniformly almost periodic functions on the right half-plane.

Load-bearing premise

The argument presupposes the validity of the authors' earlier H^λ_p-theory of general Dirichlet series: every H1 Dirichlet series must be representable, isometrically and coefficient-preserving, as an integrable function on a compact group with a dense one-parameter flow, so that vertical restrictions and Fubini arguments apply.

Editorial extensions

If this is right

  • For the infinite-dimensional torus T∞, every f∈H1(T∞) is almost everywhere the pointwise limit of its logarithmic Riesz means for any k>0; the corresponding Cesàro means fail in general.
  • For any H1 Dirichlet series D, almost every vertical limit D_ω is (λ,k)-Riesz summable at every point u+it with u≥0 and almost every t, including the boundary line Re=0.
  • The H1 norm approximation R^{λ,k}_x(f)→f holds for every f∈H^λ_1(G) and k>0.
  • The space H^λ_∞(G) is isometrically and coefficient-preservingly the same as the bounded holomorphic functions on Re>0 that are uniformly almost periodic on vertical lines and have Bohr spectrum contained in λ.
  • First Riesz means of any positive order work; second Riesz means do not in general, for λ=(n) and λ=(log n), so the result cannot be strengthened to eλ-summability.

Reading between the lines

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

  • The new maximal operator M likely applies to other a.e. convergence questions on Dirichlet groups, since it gives a differentiation theorem for integrable functions along the flow β (Corollary 2.11) and a Besicovitch-norm interpretation of the vertical restrictions f_ω.
  • The argument suggests that any summation kernel whose L1-control can be expressed through the one-dimensional maximal function will satisfy the same weak-type bound; this could be tested for weighted or multi-parameter Riesz means.
  • If the identification in Theorem 2.16 holds for arbitrary frequencies, the Bohr–Cahen formula may be usable to characterize which λ admit boundary extension of bounded holomorphic functions on Re>0 without Landau's condition.
  • The failure of second Riesz means for λ=(log n) hints that no summability method intermediate between first Riesz means and ordinary convergence can work uniformly across all frequencies; describing the class of λ for which eλ-summability holds would be a natural next step.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper develops a theory of Riesz means for Fourier series of functions in Hardy spaces H^λ_p(G) on λ-Dirichlet groups and applies it to general Dirichlet series. The main claim is that every f in H^λ_1(G) is almost everywhere equal to the pointwise limit of its first (λ,k)-Riesz means for any k>0, and correspondingly that almost all vertical limits of an H_1(λ)-Dirichlet series are (λ,k)-Riesz summable almost everywhere on the imaginary axis. The technical engine is a claimed weak-type (1,∞) Hardy-Littlewood maximal operator on Dirichlet groups, Theorem 2.10. From this the authors derive the maximal inequality for Riesz means (Theorem 2.1), pointwise convergence results (Corollaries 2.2, 2.3, 2.6), norm convergence (Theorem 2.13), and an identification of H^λ_∞(G) with uniformly almost periodic holomorphic functions on the right half-plane (Theorem 2.16). The paper also contains negative results showing that second Riesz means fail for the frequencies (n) and (log n).

Significance. If the main results hold, they constitute a substantial contribution: they extend classical a.e. convergence theory for H_1(T) to a general frequency framework, give a positive answer for logarithmic means on the infinite-dimensional torus where Cesàro means fail, and provide a clean transfer between Fourier series on Dirichlet groups and vertical limits of Dirichlet series. The transference lemma (Lemma 1.4) and the reduction of a.e. summability to a maximal inequality are conceptually attractive, and the applications to H_1(T^∞) and to uniformly almost periodic functions are natural and interesting. However, the central maximal operator as defined is not the classical Hardy-Littlewood operator and, as stated, Theorem 2.10 is false. Because Theorem 2.1 and its corollaries rest directly on that theorem, the current proof of the main claims is unsupported. The intended argument appears repairable by replacing the operator with its centered version, so the paper has clear potential, but it requires substantial correction before it can be accepted.

major comments (2)
  1. [§2.3, Eq. (26); §3.1, Lemma 3.1] The operator M defined in (26) is not the Hardy-Littlewood maximal operator: the supremum is taken over all intervals I⊂R without requiring that the interval is anchored at the point where the function is evaluated. As stated, Theorem 2.10 is false. For the (n)-Dirichlet group (T,β_T), let f be the indicator of a small arc A⊂T of length ε. For every ω, the function f_ω is a periodic indicator of an interval of length ε, and since the supremum in (26) ranges over all intervals, one may choose I equal to one full period of the support, giving M(f)(ω)=1 for all ω. Then m({M(f)>1/2})=1, which cannot be bounded by C/(1/2)·‖f‖_1=C·ε/2 uniformly as ε→0. The defect is visible in the proof of Lemma 3.1: from M^A(f)(ωβ(t))>α one only obtains an interval I⊂[-A,A] whose average of |f_{ωβ(t)}| exceeds α; after the change of variables this is an average over t+I, which need not contain t, so the intervals used in the Vitali covering argument need not cover the set Ω_ω(α). The argument becomes correct if (26) and (30) are replaced by the centered maximal operator sup_{r>0}(2r)^{-1}∫_{-r}^r |f_ω(t)|dt and its finite-A truncation; then the interval obtained is centered at t and the proof of Lemma 3.1 works. This is a load-bearing correction because Theorem 2.1 and Corollary 2.6 are deduced from Theorem 2.10.
  2. [§3.3, Proposition 3.7] The proof of Proposition 3.7 uses the unrestricted supremum in a second place: it asserts that for all intervals I and u>0, (1/|I|)∫_I |(f_ω∗P_u)(t)|dt ≤ ∫ P_u(a)(1/|I|)∫_I |f_ω(t-a)|dt da ≤ M(f)(ω). With the corrected centered definition of M, the inner average is over the interval I-a, which is not centered at 0, so the displayed pointwise bound no longer follows. The proposition itself is presumably still true, but the proof must be revised, for instance by using the comparability of centered and uncentered Hardy-Littlewood maximal operators, once (26) is changed. Since Proposition 3.7 is used for part (20) of Corollary 2.2 and hence for Corollary 2.6(25), this revision is necessary for the full statement of the main results.
minor comments (3)
  1. [§1.7, Eq. (16)] Equation (16) defines S^{λ,k}_x(D)(s) with the factor e^{λ_n s}; to be consistent with D(s)=∑ a_n e^{-λ_n s} and with the earlier definition of second Riesz means, the factor should be e^{-λ_n s}.
  2. [§1.7, display before (17)] The displayed formula for Re^{λ,k}_N(D)(s) contains an extraneous factor a_n, writing a_n(1-n/N)a_n n^{-s}; it should be ∑_{n<N} a_n(1-n/N)n^{-s}.
  3. [References [4] and [19]] The paper relies heavily on the authors' preprints [4] and [19] for the entire H^λ_p framework, the vertical restriction lemma, and the Bohr-Cahen formula (58). These are listed as 'preprint 2019' and 'to appear'; the authors should state their current status and, if necessary, make the relevant statements available for verification.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central Riesz-summability result is derived from an independent maximal-operator estimate, not from the conclusion it is supposed to prove.

full rationale

Walking the derivation chain: Theorem 2.10 is presented as a new weak-type maximal inequality for Dirichlet groups and is proved in Section 3.1 from the definition of M, the vertical-restriction lemma [4, Lemma 3.11], and a Vitali-covering argument; the proof does not invoke Theorem 2.1, Corollary 2.2, or Corollary 2.6. Theorem 2.1 is then derived in Section 3.2 through Proposition 3.2, which bounds the Riesz maximal operator pointwise by M(f) using the Hardy-Riesz integral representations (Lemmas 3.3 and 3.4) and a standard one-dimensional maximal estimate from Grafakos [9]; no Riesz-summability statement is fed back into the reduction. Corollary 2.2 follows by the standard maximal-inequality-to-almost-everywhere-convergence device (Lemma 3.6), and Corollary 2.6 is a translation of Corollary 2.2 into Dirichlet-series language via Lemma 1.4, a Fubini-based equivalence. The later results (Theorems 2.5, 2.9, 2.13, 2.16) use the already established maximal estimates together with classical Hardy-Riesz lemmas and the Bohr-Cahen formula (58) taken from [19]; these are background tools, not the target conclusion. The self-citations to [4] and [19] supply the H^lambda_p framework and the Bohr-Cahen abscissa estimate, but the central claim is neither defined in terms of those results nor identical to them. The skeptic's concern that M as defined in (26) is an uncentered global supremum and that Theorem 2.10 may fail is a correctness gap in the proof of Lemma 3.1, not a circular reduction from the paper's conclusion back to its inputs; under the instructions of this pass, that is a mathematical-error risk rather than circularity. No specific circular step can be exhibited, so the circularity score is 0.

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

The paper introduces no free parameters and no new physical or mathematical entities; it does rely on the authors' prior framework for λ-Dirichlet groups ([4]) and on the second author's Bohr-Cahen formula ([19]). The main technical object, the weak-type maximal operator, is defined and proved within the paper.

assumptions (7)
  • domain assumption For every frequency λ there exists a λ-Dirichlet group (G,β), and H^λ_p(G) identifies isometrically with H_p(λ) via the Bohr transform ([4, Corollary 3.21, Theorem 3.26]).
    Used throughout the paper; the entire transfer between group Fourier series and Dirichlet series depends on it (Sections 1.1 and 1.4).
  • domain assumption The vertical restriction map f→f_ω exists for almost all ω and is locally integrable, with f_ω(t)=f(ωβ(t)) a.e. ([4, Lemma 3.11]).
    This is the basis for defining the Hardy-Littlewood maximal operator M in (26) and for the bridge lemma (Lemma 1.4).
  • standard math Classical Hardy-Riesz integral representations and identities for Riesz means, including the Perron-type formula (40), identity (38), and Theorem 24 of [10].
    Used in the proofs of Proposition 3.2, Lemma 3.8, and Lemma 3.9 to convert sums into integrals.
  • domain assumption The Bohr-Cahen formula for the abscissa of uniform Riesz summability: σ^{λ,k}_u(D) ≤ limsup log‖R^{λ,k}_x(D)‖∞/x, with equality when the abscissa is non-negative (from [19]).
    Imported from the second author's paper [19]; used critically in the proof of Theorem 2.16 to show the limit function is holomorphic on Re>0.
  • standard math Weak-type (1,∞) and Lp boundedness of the classical Hardy-Littlewood maximal operator on R, imported via [9, Theorem 2.1.10].
    Used in the proof of Proposition 3.2 to control the convolution with the kernel K_x by the maximal function M(f).
  • domain assumption Density of Dirichlet polynomials in H^λ_p(G) for 1≤p<∞ (from [4]).
    Used to extend identities from polynomials to general functions, e.g., in the proofs of Lemma 3.3, Proposition 2.4, and Theorem 2.13.
  • standard math Vitali covering theorem, Marcinkiewicz interpolation theorem, Egoroff theorem, Hahn-Banach theorem, and the Riesz representation theorem.
    Standard tools used in the proof of Theorem 2.10 (Vitali, interpolation), Lemma 3.6 (Egoroff), and Lemma 3.10 (Hahn-Banach, Riesz).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Riesz means in Hardy spaces on Dirichlet groups." pith.science (2026). https://pith.science/paper/2335LLL6

@misc{pith2026190806458,
  author       = {Pith},
  title        = {Pith review of: Riesz means in Hardy spaces on Dirichlet groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2335LLL6}},
  note         = {Machine review of arXiv:1908.06458}
}
abstract

Given a frequency $\lambda=(\lambda_n)$, we study when almost all vertical limits of a $\mathcal{H}_1$-Dirichlet series $\sum a_n e^{-\lambda_ns}$ are Riesz-summable almost everywhere on the imaginary axis. Equivalently, this means to investigate almost everywhere convergence of Fourier series of $H_1$-functions on so-called $\lambda$-Dirichlet groups, and as our main technical tool we need to invent a weak-type $(1, \infty)$ Hardy-Littlewood maximal operator for such groups. Applications are given to $H_1$-functions on the infinite dimensional torus $\mathbb{T}^\infty$, ordinary Dirichlet series $\sum a_n n^{-s}$, as well as bounded and holomorphic functions on the open right half plane, which are uniformly almost periodic on every vertical line.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [4]

    Defant and I

    A. Defant and I. Schoolmann: Hp-theory of general Dirichlet series , preprint 2019

    work page 2019

  2. [19]

    Schoolmann: On Bohr’s theorem for general Dirichlet series , to appear in Math

    I. Schoolmann: On Bohr’s theorem for general Dirichlet series , to appear in Math. Nachr. 2019

    work page 2019

  3. [1]

    Bayart: Hardy spaces of Dirichlet series and their compostion opera tors, Monatsh

    F. Bayart: Hardy spaces of Dirichlet series and their compostion opera tors, Monatsh. Math. 136 (2002) 203-236

    work page 2002

  4. [2]

    A. S. Besicovitch: Almost periodic functions , Dover publications (1954)

    work page 1954

  5. [3]

    Defant, D

    A. Defant, D. Garc ´ ıa, M. Maestre, and P. Sevilla Peris: Dirichlet series and holomorphic functions in high dimensions , to appear in: New Mathematical Monographs Series, Cam- bridge University Press (2019)

    work page 2019

  6. [5]

    Defant and I

    A. Defant and I. Schoolmann: On Helson’s theorem for general Dirichlet series , in prepa- ration 2019

    work page 2019

  7. [6]

    Duy, On convergence of Fourier series of Besicovitch almost peri odic functions, Lithua- nian Math

    T.K. Duy, On convergence of Fourier series of Besicovitch almost peri odic functions, Lithua- nian Math. J. 53,3 (2013) 264-279

    work page 2013

  8. [7]

    Evans and R.F

    L.C. Evans and R.F. Gariepy, Measure Theory and Fine Properties of Functions , Studies in Advanced Mathematics,(1992)

    work page 1992

Show all 20 references
  1. [8]

    Fefferman: On the convergence of multiple Fourier series , Bull

    C. Fefferman: On the convergence of multiple Fourier series , Bull. Amer. Math. Soc. 77 (1971) 744-745

    1971

  2. [9]

    Grafakos: Classical Fourier analysis , Graduate Texts in Mathematics 249 (2014)

    L. Grafakos: Classical Fourier analysis , Graduate Texts in Mathematics 249 (2014)

    2014

  3. [10]

    G. H. Hardy and M. Riesz: The general theory of Dirichlet series , Cambridge Tracts in Mathematics and Mathematical Physics 18 (1915). 36 DEF ANT AND SCHOOLMANN

    1915

  4. [11]

    Hedenmalm, P

    H. Hedenmalm, P. Lindqvist, and K. Seip: A Hilbert space of Dirichlet series and systems of dilated function in L2(0, 1), Duke Math. J. 86 (1) (1997) 1-37

    1997

  5. [12]

    Hedenmalm and E

    H. Hedenmalm and E. Saksman: Carleson’s convergence theorem for Dirichlet series, Pacific J. of Math. 208 (2003) 85-109

    2003

  6. [13]

    Helson: Compact groups and Dirichlet series , Ark

    H. Helson: Compact groups and Dirichlet series , Ark. Mat. 8 (1969) 139-143

    1969

  7. [14]

    Helson: Dirichlet series , Regent Press (2005)

    H. Helson: Dirichlet series , Regent Press (2005)

    2005

  8. [15]

    Landau: ¨Uber die gleichm¨ aßige Konvergenz Dirichletscher Reihen , J

    E. Landau: ¨Uber die gleichm¨ aßige Konvergenz Dirichletscher Reihen , J. Reine Angew. Math. 143 (1921) 203-211

    1921

  9. [16]

    Rudin: Real and complex analysis , McGraw-Hill (1987)

    W. Rudin: Real and complex analysis , McGraw-Hill (1987)

    1987

  10. [17]

    Rudin: Fourier analysis on groups , Interscience Publishers (1962)

    W. Rudin: Fourier analysis on groups , Interscience Publishers (1962)

    1962

  11. [18]

    E. M. Stein and R. Shakarchi, Real analysis, Princeton lectures in analysis III, Princeton university Press (2005)

    2005

  12. [20]

    Queff´ elec and M

    H. Queff´ elec and M. Queff´ elec:Diophantine approximation and Dirichlet series , Hindustan Book Agency, Lecture Note 2 (2013). Andreas Defant Institut f ¨ur Mathematik, Carl von Ossietzky Universit ¨at, 26111 Oldenburg, Germany. E-mail address : defant@mathematik.uni-oldenburg...

    2013

Pith tools

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