Related papers: On the constant in a transference inequality for t…

We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…

We establish a Shearer-type inequality for the Poincar\'e constant, showing that the Poincar\'e constant corresponding to the convolution of a collection of measures can be nontrivially controlled by the Poincar\'e constants corresponding…

An analogue of D. Waterman's result on the summability of the Fourier series for functions of bounded \Lambda-variation by the Ces\'aro methods of negative order is obtained in multidimensional case. It is proved that, unlike…

In this paper we implement a numerical algorithm to compute codimension-one tori in three-dimensional, volume-preserving maps. A torus is defined by its conjugacy to rigid rotation, which is in turn given by its Fourier series. The…

We introduce a class of integral theorems based on cyclic functions and Riemann sums approximating integrals. The Fourier integral theorem, derived as a combination of a transform and inverse transform, arises as a special case. The…

It is a well known general principle that the Fourier transform of a random measure is small, except at the zero frequency, in various senses for appropriate notions of randomness. In this note we develop analogues of this principle for two…

It is well known that there is an absolute constant $\mathfrak{C}>0$ such that if the Laplace transform $G(s)=\int_{0}^{\infty}\rho(x)e^{-s x}\:\mathrm{d}x$ of a bounded function $\rho$ has analytic continuation through every point of the…

The discrete Fourier transform of the greatest common divisor is a multiplicative function that generalises both the gcd-sum function and Euler's totient function. On the one hand it is the Dirichlet convolution of the identity with…

We obtain estimates on the uniform convergence rate of the Birkhoff average of a continuous observable over torus translations and affine skew product toral transformations. The convergence rate depends explicitly on the modulus of…

In a type-theoretic fibration category in the sense of Shulman (representing a dependent type theory with at least 1, Sigma, Pi, and identity types), we define the type of constant functions from A to B. This involves an infinite tower of…

In this paper we are interested in the inverse problem of recovering a compact supported function from its truncated Fourier transform. We derive new Lipschitz stability estimates for the inversion in terms of the truncation parameter. The…

We prove the following extension of the Wiener--Wintner Theorem in Ergodic Theor and the Carleson Theorem on pointwise convergence of Fourier series: For all measure preserving flows $ (X,\mu , T_t)$ and $ f\in L^p (X,\mu)$, there is a set…

We identify a one-parameter family of inequalities for the Fourier transform whose limiting case is the restriction conjecture for the sphere. Using Stein's method of complex interpolation we prove the conjectured inequalities when the…

We present a new method for proving Correa-Jofr\'e-Thibault theorem that monotonicity of subdifferential implies convexity of the function. This new method is based on barrier functions. Barrier functions help overcome some of the main…

We investigate an extension of an equilibrium-type result, conjectured by Ambrus, Ball and Erd\'elyi, and proved recently by Hardin, Kendall and Saff. These results were formulated on the torus, hence we also work on the torus, but one of…

We compute the Fourier transform of some of the summands of the push-forward of the constant sheaf under the Hitchin map for $\mathrm{SL}_n$ restricted to the locus of cyclic spectral curves inside the Hitchin base (for $\mathrm{SL}_2$ all…

In this paper, we introduce the fractional Fourier series on the fractional torus and study some basic facts of fractional Fourier series, such as fractional convolution and fractional approximation. Meanwhile, fractional Fourier inversion…

We find the sharp constant $C=C(\tau,p, \mathbb{E}G, \mathbb{E}F)$ of the following inequality $\|(G^{2}+ \tau^{2} F^{2})^{1/2} \|_{p} \leq C \|F\|_{p},$ where $G$ is the transform of a martingale $F$ under a predictable sequence…

The aim of this paper is to prove an uncertainty principle for the representation of a vector in two bases. Our result extends previously known qualitative uncertainty principles into quantitative estimates. We then show how to transfer…

We generalize the notion of proof term to the realm of transfinite reduction. Proof terms represent reductions in the first-order term format, thereby facilitating their formal analysis. We show that any transfinite reduction can be…