R. Srivastava

collaborators

3 papers

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…

math.NT2024

Density of Rational Points Near Flat/Rough Hypersurfaces

Rajula Srivastava, Niclas Technau

For $n \geq 3$ , let $M \subseteq R^{n}$ be a compact hypersurface, parametrized by a homogeneous function of degree $d \in R_{> 1}$ , with non-vanishing curv…