35 citations · 168 across the 30 of their papers we have counts for
Showing 2024 · math.CAShow all
3 papers · 2 filters
math.CA2024
Spherical maximal operators with fractal sets of dilations on radial functions
David Beltran, Joris Roos, Andreas Seeger
For a given set of dilations , Lebesgue space mapping properties of the spherical maximal operator with dilations restricted to are studied when acting on radia…
math.CA2024
Sharp isoperimetric inequalities on the Hamming cube near the critical exponent
Polona Durcik, Paata Ivanisvili, Joris Roos
An isoperimetric inequality on the Hamming cube for exponents is proved, achieving equality on any subcube. This was previously known for $β\ge \log_2(3/2)\approx 0.…
math.CA2024
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…