arxiv: 2605.05135 · v1 · submitted 2026-05-06 · 🧮 math.CA

Recognition: unknown

de la Vall\'ee Poussin Means of Walsh-Fourier Expansions

Ushangi Goginava

Authors on Pith no claims yet

Pith reviewed 2026-05-08 15:46 UTC · model grok-4.3

classification 🧮 math.CA

keywords Walsh-Fourier seriesde la Vallée Poussin meansalmost everywhere convergenceOrlicz classeseverywhere divergencedyadic groupwindow sequence

0 comments

The pith

A sharp condition on the window sequence decides almost everywhere convergence of de la Vallée Poussin means in Walsh-Fourier series.

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

This paper examines the de la Vallée Poussin means for expansions in the Walsh-Fourier system using a nondecreasing window sequence. It finds a sharp criterion on that sequence guaranteeing that the means converge almost everywhere for any integrable function. If the criterion is not met, then in every Orlicz class with growth slower than the square root of the logarithm, there is a function whose means diverge at every point. This pins down the exact boundary for pointwise behavior in this dyadic Fourier setting.

Core claim

We study de la Vallée Poussin means of Walsh-Fourier series associated with a nondecreasing window sequence. We establish a sharp criterion for almost everywhere convergence for integrable functions. We further show that, when this criterion fails, every Orlicz class below the logarithmic square-root scale contains a function whose de la Vallée Poussin means diverge everywhere.

What carries the argument

de la Vallée Poussin means with a nondecreasing window sequence applied to the Walsh-Fourier coefficients on the dyadic group

If this is right

Integrable functions have de la Vallée Poussin means that converge almost everywhere whenever the window sequence satisfies the criterion.
Failure of the criterion produces functions in every Orlicz class below the logarithmic square-root scale whose means diverge at every point.
The criterion and the divergence examples together establish sharpness for the standard Walsh system.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The dyadic structure may allow the same window condition to control convergence for other summation methods such as Cesàro means.
The divergence constructions could be used to study maximal operators in these Orlicz spaces.
One could check whether the logarithmic square-root threshold changes for non-dyadic orthonormal systems or higher-dimensional product groups.

Load-bearing premise

The window sequence is nondecreasing and the analysis uses the standard Walsh orthonormal system on the dyadic group with Lebesgue measure.

What would settle it

An integrable function whose de la Vallée Poussin means converge almost everywhere despite the window sequence violating the proposed criterion would disprove the sharpness of the convergence result.

read the original abstract

We study de la Vall\'ee Poussin means of Walsh--Fourier series associated with a nondecreasing window sequence. We establish a sharp criterion for almost everywhere convergence for integrable functions. We further show that, when this criterion fails, every Orlicz class below the logarithmic square-root scale contains a function whose de la Vall\'ee Poussin means diverge everywhere.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Goginava gives a sharp if-and-only-if a.e. convergence criterion for de la Vallée Poussin means of Walsh-Fourier series plus everywhere-divergence examples in every weaker Orlicz class.

read the letter

The main thing to know is that this paper delivers a sharp a.e. convergence criterion for de la Vallée Poussin means of Walsh-Fourier expansions, along with matching divergence results in Orlicz classes. Goginava works with a nondecreasing window sequence on the Walsh system over the dyadic group. The positive theorem says that for f in L1, the means converge almost everywhere if and only if some condition on the window and the function holds. The paper then shows that if that condition fails, you can find functions in any Orlicz class weaker than the logarithmic square-root one where the means diverge at every point. This is solid work in a specialized corner of harmonic analysis. The Walsh system is a natural dyadic analog to the trigonometric system, and de la Vallée Poussin means are a standard way to get better convergence than partial sums. Extending the classical results to this setting and making them sharp is a useful contribution. The everywhere divergence is particularly nice because it rules out convergence on sets of full measure in a strong way. The proofs likely draw on standard techniques for orthogonal expansions and properties of Orlicz spaces, which keeps the argument grounded. No obvious circularity or hidden assumptions jump out from the description. A minor limitation is the restriction to nondecreasing windows. That covers the usual cases but leaves open what happens for more general sequences. The paper also stays within the classical Lebesgue and Orlicz framework, so it doesn't touch on other measures or more modern function spaces. This is the kind of paper that experts in Walsh-Fourier analysis or dyadic harmonic analysis will want to read. It gives a clean reference point for convergence questions in this area. A general reader in analysis might find it too narrow, but for the right audience it adds a precise tool. I think it deserves peer review. The results are stated clearly enough that referees can verify the details without too much trouble, and the sharpness makes it worth having in the literature.

Referee Report

2 major / 1 minor

Summary. The manuscript studies de la Vallée Poussin means of Walsh-Fourier series on the dyadic group associated to a nondecreasing window sequence. It claims to establish a sharp if-and-only-if criterion for almost-everywhere convergence of these means when the underlying function lies in L¹, and to prove that when the criterion fails, every Orlicz class strictly below the logarithmic square-root scale contains a function whose means diverge everywhere.

Significance. If the stated criterion and its sharpness are correctly proved, the work supplies a precise boundary between convergence and divergence for a classical summation method in the Walsh system, complementing existing results on Orlicz-space integrability conditions. The divergence-everywhere statement in the sub-logarithmic-square-root regime would be a useful addition to the literature on pointwise behavior of Fourier means.

major comments (2)

[Abstract] The abstract asserts both the sufficiency and necessity parts of the convergence criterion together with the divergence result in Orlicz classes, yet supplies no proof outline, error estimates, or explicit constructions. Without these details the central claims cannot be verified and the soundness of the argument remains unassessable.
[Introduction / main theorem statement] The sharpness statements rest on the usual properties of the Walsh orthonormal system and of Orlicz classes with respect to Lebesgue measure on the dyadic group; any hidden dependence on additional assumptions about the window sequence or on external theorems would need to be made explicit in the main argument.

minor comments (1)

Clarify the precise definition of the nondecreasing window sequence and the normalization of the Orlicz classes at the first appearance in the text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed report and for highlighting points that can improve the presentation. We address each major comment below and indicate the revisions we are prepared to make.

read point-by-point responses

Referee: [Abstract] The abstract asserts both the sufficiency and necessity parts of the convergence criterion together with the divergence result in Orlicz classes, yet supplies no proof outline, error estimates, or explicit constructions. Without these details the central claims cannot be verified and the soundness of the argument remains unassessable.

Authors: Abstracts in mathematical papers are conventionally limited to a concise statement of results. The sufficiency and necessity of the a.e. convergence criterion are proved in full in Theorems 3.1 and 3.2 using standard maximal-function estimates and the properties of the Walsh system; the everywhere-divergence construction for sub-logarithmic-square-root Orlicz classes appears in Section 4 via an explicit lacunary series. We are willing to append a one-sentence outline of the main ideas to the abstract in the revised version. revision: partial
Referee: [Introduction / main theorem statement] The sharpness statements rest on the usual properties of the Walsh orthonormal system and of Orlicz classes with respect to Lebesgue measure on the dyadic group; any hidden dependence on additional assumptions about the window sequence or on external theorems would need to be made explicit in the main argument.

Authors: The proofs invoke only the standard orthonormality and localization properties of the Walsh system together with the definition of Orlicz classes with respect to Lebesgue measure on the dyadic group; the window sequence is assumed merely nondecreasing, as stated in the opening paragraph. No external results beyond these classical facts are used. We will revise the introduction and the statements of Theorems 3.1–3.2 and 4.1 to list the hypotheses explicitly and to note the reliance on these standard properties. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper claims to derive a sharp a.e. convergence criterion for de la Vallée Poussin means of Walsh-Fourier series (with nondecreasing window) on the dyadic group for f in L1, plus a divergence-everywhere result in Orlicz classes below the log-square-root scale. These rest on the external, standard properties of the Walsh orthonormal system, Lebesgue measure, and Orlicz function spaces; no equations or steps in the abstract reduce by definition or self-citation to the target results themselves. The derivation chain is therefore self-contained against independent external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities can be extracted. The work relies on standard background facts about Walsh systems and Orlicz spaces that are presumed known from prior literature.

pith-pipeline@v0.9.0 · 5344 in / 1056 out tokens · 35378 ms · 2026-05-08T15:46:13.398578+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references

[1]

S. V. Bochkarev, Everywhere divergent Fourier series with respect to the Walsh system and with respect to multiplicative systems,Russian Math. Surveys59(2004), 103–124

2004
[2]

Gát, Almost everywhere divergence of Cesàro means of subsequences of partial sums of trigono- metric Fourier series.Math

Gy. Gát, Almost everywhere divergence of Cesàro means of subsequences of partial sums of trigono- metric Fourier series.Math. Ann.389 (2024), no. 4, 4199–4231

2024
[3]

Gy. Gát, U. Goginava and G. Karagulyan, On everywhere divergence of the strongΦ-means of Walsh-Fourier series.J. Math. Anal. Appl.421 (2015), no. 1, 206–214

2015
[4]

Goginava amd F

U. Goginava amd F. Mukhamedov, On problems of the divergence of logarithmic means of Fourier series.Proc. Amer. Math. Soc.153 (2025), no. 6, 2555–2564

2025
[5]

Goginava, Almost everywhere divergence of CesÃ ro means with varying parameters of Walsh- Fourier series.J

U. Goginava, Almost everywhere divergence of CesÃ ro means with varying parameters of Walsh- Fourier series.J. Math. Anal. Appl.529 (2024), no. 2, Paper No. 127153, 9 pp

2024
[6]

Goginava and G

U. Goginava and G. Oniani, On the divergence of subsequences of partial Walsh-Fourier sums.J. Math. Anal. Appl.497 (2021), no. 2, Paper No. 124900, 13 pp

2021
[7]

R. P. Gosselin, On the divergence of Fourier series,Proc. Amer. Math. Soc.9(1958), 278–282

1958
[8]

Heladze, Divergence everywhere of Fourier series in bounded Vilenkin systems,Trudy Tbiliss

Sh. Heladze, Divergence everywhere of Fourier series in bounded Vilenkin systems,Trudy Tbiliss. Mat. Inst. Razmadze58(1978), 224–242

1978
[9]

Math.4(1923), 324–328

A.N.Kolmogorov, UnesériedeFourier-Lebesguedivergentepresquepartout,Fund. Math.4(1923), 324–328

1923
[10]

A. N. Kolmogorov, Une série de Fourier-Lebesgue divergente partout,C. R. Acad. Sci. Paris183 (1926), 1327–1329

1926
[11]

S. V. Konyagin, The Fourier-Walsh subsequence of partial sums,Math. Notes54(1993), 1026–1030

1993
[12]

S. V. Konyagin, On everywhere divergence of trigonometric Fourier series,Sb. Math.191(2000), 97–120

2000
[13]

S. V. Konyagin, Divergence everywhere of subsequences of partial sums of trigonometric Fourier series,Proc. Steklov Inst. Math. Suppl. 2(2005), 167–175

2005
[14]

S. V. Konyagin, Almost everywhere convergence and divergence of Fourier series, inProceedings of the International Congress of Mathematicians. Vol. II, Eur. Math. Soc., Zürich, 2006, pp. 1393– 1403

2006
[15]

T. W. Körner, Sets of divergence for Fourier series,Bull. London Math. Soc.3(1971), 152–154

1971
[16]

T. W. Körner, Everywhere divergent Fourier series,Colloq. Math.45(1981), 103–118

1981
[17]

M. A. Krasnosel’skii and Ya. B. Rutickii,Convex Functions and Orlicz Spaces, Noordhoff, Gronin- gen, 1961

1961
[18]

Leindler, On summability of Fourier series,Acta Sci

L. Leindler, On summability of Fourier series,Acta Sci. Math. (Szeged)29(1968), 147–162

1968
[19]

T. P. Lukashenko, Almost everywhere convergence of Fourier series of functions summable in square (Russian), Moscow State Univ., Moscow, 1978

1978
[20]

Marcinkiewicz, Sur les séries de Fourier,Fund

J. Marcinkiewicz, Sur les séries de Fourier,Fund. Math.27(1936), 38–69

1936
[21]

K. H. Moon, An everywhere divergent Fourier-Walsh series of the classL(log+ log+ L)1−ε,Proc. Amer. Math. Soc.50(1975), 309–314

1975
[22]

V. I. Prokhorenko, On divergent Fourier series (Russian),Mat. Sb.75(1968), 185–198

1968
[23]

V. A. Rodin, Strong means and the oscillation of multiple Fourier-Walsh series,Math. Notes56 (1994), 948–959

1994
[24]

Schipp, Über die Divergenz der Walsh-Fourierreihen,Ann

F. Schipp, Über die Divergenz der Walsh-Fourierreihen,Ann. Univ. Sci. Budapest. Eötvös Sect. Math.12(1969), 49–62

1969
[25]

Wade, and P

F.Schipp, W.R. Wade, and P. Simon,Walsh Series: An Introduction to Dyadic Harmonic Analysis, Adam Hilger, Bristol–New York, 1990

1990
[26]

Simon, On a maximal function,Ann

P. Simon, On a maximal function,Ann. Univ. Sci. Budapest. Eötvös Sect. Math.21(1978), 41–44

1978
[27]

E. M. Stein, On limits of sequences of operators,Ann. of Math. (2)74(1961), 140–170

1961
[28]

Tandori, Ein Divergenzsatz für Fourierreihen,Acta Sci

K. Tandori, Ein Divergenzsatz für Fourierreihen,Acta Sci. Math. (Szeged)30(1969), 43–48

1969
[29]

Tandori, On the divergence of de la Vallée Poussin means of Fourier series,Anal

K. Tandori, On the divergence of de la Vallée Poussin means of Fourier series,Anal. Math.5(1979), 149–166

1979
[30]

Totik, On the divergence of Fourier series,Publ

V. Totik, On the divergence of Fourier series,Publ. Math. Debrecen29(1982), 251–264

1982
[31]

Zygmund,Trigonometric Series

A. Zygmund,Trigonometric Series. Vols. I–II, 3rd ed., Cambridge Univ. Press, Cambridge, 2002. Email address:zazagoginava@gmail.com Email address:ugoginava@uaeu.ac.ae 10 USHANGI GOGINA V A Department of Mathematical Sciences, United Arab Emirates University, P.O. Box 15551, Al Ain, Abu Dhabi, UAE

2002