Showing math.CAShow all
2 papers · 1 filter
math.CA2025
Carleson operators on doubling metric measure spaces
Lars Becker, Floris van Doorn, Asgar Jamneshan +2
Doubling metric measure spaces provide a natural framework for singular integral operators. In contrast, the study of maximally modulated singular integral operators, the so-called…
math.CA2025
A blueprint for the formalization of Carleson's theorem on convergence of Fourier series
Lars Becker, MarÃa Inés de Frutos-Fernández, Leo Diedering +14
This paper is the blueprint underlying the Lean formalization of the proof of Carleson's classical result asserting almost everywhere convergence of Fourier series of continuous fu…