Related papers: An uncertainty inequality for finite abelian group…

This article is devoted to the sharp improvement of the classical Bohr inequality for bounded analytic functions defined on the unit disk. We also prove two other sharp versions of the Bohr inequality by replacing the constant term by the…

We obtain an asymptotically sharp error bound in the classical Sudakov-Fernique comparison inequality for finite collections of gaussian random variables. Our proof is short and self-contained, and gives an easy alternative argument for the…

It is shown that there exist infinitely many non-integers $r>2$ such that the Dehn function of some finitely presented group is $\simeq n^r$. For each positive rational number $s$ we construct pairs of finitely presented groups $H\subset G$…

For a finite group $G$, let $N(G)$ denote the set of conjugacy class sizes of $G$. We show that if every finite group $G$ with trivial center such that $N(G)$ equals to $N(Alt_n)$, where $n>1361$ and at least one of numbers $n$ or $n-1$ are…

The classical inequality of Bohr asserts that if a power series converges in the unit disk and its sum has modulus less than or equal to $1$, then the sum of absolute values of its terms is less than or equal to $1$ for the subdisk…

A very useful fact in additive combinatorics is that analytic expressions that can be used to count the number of structures of various kinds in subsets of Abelian groups are robust under quasirandom perturbations, and moreover that…

We study the following problem: given n real arguments a1, ..., an and n real weights w1, ..., wn, under what conditions does the inequality w1 f(a1) + w2 f(a2) + ... + wn f(an) >= 0 hold for all functions f with nonnegative kth derivative…

Classical results due to Ingham and Paley-Wiener characterize the existence of nonzero functions supported on certain subsets of the real line in terms of the pointwise decay of the Fourier transforms. We view these results as uncertainty…

A version of the Uncertainty Principle says: There does not exist a non zero function in $L_p(\mathbb{R}^d)$ if its Fourier transform is supported by a set of finite $\alpha$-Hausdorff measure with $\alpha<2d/p$. This UP does not hold at…

For a function $f\colon \mathbb{N}\to\mathbb{N}$, let $$ N^+_f(x)=\{n\leq x: n=k+f(k) \mbox{ for some } k\}. $$ Let $\tau(n)=\sum_{d|n}1$ be the divisor function, $\omega(n)=\sum_{p|n}1$ be the prime divisor function, and…

If $f\in L^1({\mathbb R})$ it is proved that $\lim_{S\to\infty}\lVert f-f\ast D_S\rVert=0$, where $D_S(x)=\sin(Sx)/(\pi x)$ is the Dirichlet kernel and $\lVert f\rVert = \sup_{\alpha<\beta}|\int_{\alpha}^{\beta}f(x)\,dx|$ is the Alexiewicz…

We prove that if a multiple trigonometric series is spherically Abel summable everywhere to an everywhere finite function $f(x)$ which is bounded below by an integrable function, then the series is the Fourier series of $f(x)$ if the…

S. Banach \cite{Banach} proved that good differential properties of function do not guarantee the a.e. convergence of the Fourier series of this function with respect to general orthonormal systems (ONS). On the other hand it is very well…

The sign uncertainty principle of Bourgain, Clozel & Kahane asserts that if a function $f:\mathbb{R}^d\to \mathbb{R}$ and its Fourier transform $\widehat{f}$ are nonpositive at the origin and not identically zero, then they cannot both be…

A classical result of Aubin states that the constant in Moser-Trudinger-Onofri inequality on $\mathbb{S}^{2}$ can be imporved for furnctions with zero first order moments of the area element. We generalize it to higher order moments case.…

The $U^2$ norm gives a useful measure of quasirandomness for real- or complex-valued functions defined on finite (or, more generally, locally compact) groups. A simple Fourier-analytic argument yields an inverse theorem, which shows that a…

Transition from Fourier series to Fourier integrals is considered and error introduced by ordinary substitution of integration for summing is estimated. Ambiguity caused by transition from discrete function to continuous one is examined and…

We show that there exists a sequence $\{n_k, k\ge 1\}$ growing at least geometrically such that for any finite non-negative measure $\nu$ such that $\hat \nu\ge 0$, any $T>0$, $$ \int_{-2^{n_k} T}^{2^{n_k} T} \hat \nu(x) \dd x \ll_\e…

At the end of 1960's, Lawrence Zalcman posed a conjecture that the coefficients of univalent functions $f(z) = z + \sum\limits_2^\infty a_n z^n$ on the unit disk satisfy the sharp inequality $|a_n^2 - a_{2n-1}| \le (n-1)^2$, with equality…

Under the Ornstein-Uhlenbeck semigroup $\{U_t\}$, any non-negative measurable $f : \mathbb R^n \to \mathbb R_+$ exhibits a uniform tail bound better than that implied by Markov's inequality and conservation of mass: For every $\alpha \geq…