English
Related papers

Related papers: A Concise, Elementary Proof of Arzel\`a's Bounded …

200 papers

Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval [0,1] is compact. In this article, we present a proof of this result that doesn't involve the standard techniques such as constructing a…

History and Overview · Mathematics 2008-09-12 Matthew Macauley , Brian Rabern , Landon Rabern

This work proves pointwise convergence of the truncated Fourier double integral of non-Lebesgue integrable bounded variation functions. This leads to the Dirichlet-Jordan theorem proof for non-Lebesgue integrable functions, which has not…

Functional Analysis · Mathematics 2024-05-22 Edgar Torres-Teutle , Francisco J. Mendoza-Torres , Maria G. Morales-Macias

The theory of integration over R is rich with techniques as well as necessary and sufficient conditions under which integration can be performed. Of the many different types of integrals that have been developed since the days of Newton and…

Classical Analysis and ODEs · Mathematics 2016-09-20 Laramie Paxton

A version of Arzel\`a-Ascoli theorem for $X$ being $\sigma$-locally compact Hausdorff space is proved. The result is used in proving compactness of Fredholm, Hammerstein and Urysohn operators. Two fixed point theorems, for Hammerstein and…

Functional Analysis · Mathematics 2015-05-12 Mateusz Krukowski , Bogdan Przeradzki

Hal\'asz's Theorem gives an upper bound for the mean value of a multiplicative function $f$. The bound is sharp for general such $f$, and, in particular, it implies that a multiplicative function with $|f(n)|\le 1$ has either mean value…

Number Theory · Mathematics 2019-02-20 Andrew Granville , Adam J Harper , K. Soundararajan

There are presented certain results on extending continuous linear operators defined on spaces of E-valued continuous functions (defined on a compact Hausdorff space X) to linear operators defined on spaces of E-valued measurable functions…

Functional Analysis · Mathematics 2017-05-26 Piotr Niemiec

We study sequences of functions of the form F_p^n -> {0,1} for varying n, and define a notion of convergence based on the induced distributions from restricting the functions to a random affine subspace. Using a decomposition theorem and a…

Combinatorics · Mathematics 2013-08-20 Hamed Hatami , Pooya Hatami , James Hirst

We prove uniform convergence results for the integrated periodogram of a weakly dependent time series, namely a law of large numbers and a central limit theorem. These results are applied to Whittle's parametric estimation. Under general…

Statistics Theory · Mathematics 2008-04-15 Jean-Marc Bardet , Paul Doukhan , José Rafael León

Brouwer's fixed point theorem states that any continuous function from a closed $n$-dimensional ball to itself has a fixed point. In 1961, Klee showed that if such a function has discontinuities that are bounded, then it has a point that is…

Metric Geometry · Mathematics 2025-12-18 Henry Adams , Florian Frick

This paper explores the proof by J. Bourgain, H. Furstenberg, Y. Katznelson and D.S. Ornstein of their return times theorem [2] and lights a corner in it regarding the role of auto-correlation. As for pointwise convergence, this was already…

Dynamical Systems · Mathematics 2025-12-22 Matan Tal

We prove the Central Limit Theorem (CLT), the first order Edgeworth Expansion and a Mixing Local Central Limit Theorem (MLCLT) for Birkhoff sums of a class of unbounded heavily oscillating observables over a family of full-branch piecewise…

Dynamical Systems · Mathematics 2025-12-08 Kasun Fernando , Tanja I. Schindler

A permutation sequence is said to be convergent if the density of occurrences of every fixed permutation in the elements of the sequence converges. We prove that such a convergent sequence has a natural limit object, namely a Lebesgue…

A general moment bound for sums of products of Gaussian vector's functions extending the moment bound in Taqqu (1977, Lemma 4.5) is established. A general central limit theorem for triangular arrays of nonlinear functionals of…

Statistics Theory · Mathematics 2012-08-10 Jean-Marc Bardet , Donatas Surgailis

We present a short proof of Cantor's Theorem (circa 1870s): if $a_n \cos nx + b_n \sin nx \to 0$ for each $x$ in some (nonempty) open interval, where $a_n, b_n$ are sequences of complex numbers, then $a_n$ and $b_n$ converge to 0.

History and Overview · Mathematics 2020-04-08 Sam Walters

We establish a general "boundedness implies convergence" principle for a family of evolving Riemannian metrics. We then apply this principle to collapsing Calabi-Yau metrics and normalized K\"ahler-Ricci flows on torus fibered minimal…

Differential Geometry · Mathematics 2019-04-26 Wangjian Jian , Yalong Shi

In this article we introduce a dual of the uniform boundedness principle which does not require completeness and gives an indirect means for testing the boundedness of a set. The dual principle, although known to the analyst and despite its…

Functional Analysis · Mathematics 2020-11-30 Ehssan Khanmohammadi , Omid Khanmohamadi

We give a simple proof of a well-known theorem of G\'al and of the recent related results of Aistleitner, Berkes and Seip [1] regarding the size of GCD sums. In fact, our method obtains the asymptotically sharp constant in G\'al's theorem,…

Number Theory · Mathematics 2014-08-12 Mark Lewko , Maksym Radziwill

We generalize the Arzel\`a-Ascoli theorem in the space of continuous maps on a compact interval with values in Euclidean N-space by providing a quantitative link between the Hausdorff measure of noncompactness in this space and a natural…

Functional Analysis · Mathematics 2013-03-15 Ben Berckmoes

In this article, we generalize some frequently used metrical notions such as: completeness, closedness, continuity, g-continuity and compatibility to relation-theoretic setting and utilize these relatively weaker notions to prove results on…

Functional Analysis · Mathematics 2021-09-03 Aftab Alam , Mohammad Imdad

In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…

Logic · Mathematics 2026-05-06 Harald Grobner