Inspired by Menshov's representation theorem, we prove that there exists a sequence of frequecies such that any measurable (complex valued) function on R can be represented as a sum of almost everywhere convergent trigonometric series with these frequencies.
Using the multilinear theory of oscillatory integral operators, we establish a square function inequality with implications to moment inequalities for discrete exponential sums which frequencies lie on curved hyper-surfaces. In particular a new distributional estimate for toral eigenfunctions is established.
We show that for every finite symetric set S of integer vectors, every real trigonometric polynomial on the d dimensional torus with spectrum in S has a zero in every closed ball of diameter D, where D is the sum over S of 1 over 4 times the L2 norm of the vector. We investigate tightness in some special cases.
Let $\{c_k\}$ be a nonincreasing sequence of positive numbers (more general classes of sequences are also considered), and $α>0$ be not an integer. We find necessary and sufficient conditions for the uniform convergence of the series $\sum_k c_k\sin k^αx$ and $\sum_k c_k\cos k^αx$ on the real line and its bounded subsets.
The generalized summation of divergent trigonometric series, namely by method of $σ_k(r,a)$-factors is considered in this paper. It is proved that such summation of Fourier series of periodical function $f(t)$ results in the convolution of this function with kernels $De(r,α,t)$; if the parameter $r$ is integer, these kernels are polynomial normalized basic $B$-splines of order $r-1$ $(r=1,2,\ldots)$. Also it is proved that the method of summation with $σ_k(r,a)$-factors is $F$-effective.
In 1936 Zygmunt Zalcwasser asked with respect to the trigonometric system that how "rare" can a sequence of strictly monotone increasing integers $(n_j)$ be such that the almost everywhere relation $\frac{1}{N}\sum_{j=1}^N S_{n_j}f \to f$ is fulfilled for each integrable function $f$. In this paper, we give an answer to this question. It follows from the main result that this a.e. relation holds for every integrable function $f$ and lacunary sequence $(n_j)$ of natural numbers.
We provide a general theorem for evaluating trigonometric Dirichlet series of the form $\sum_{n \geq 1} \frac{f (πn τ)}{n^s}$, where $f$ is an arbitrary product of the elementary trigonometric functions, $τ$ a real quadratic irrationality and $s$ an integer of the appropriate parity. This unifies a number of evaluations considered by many authors, including Lerch, Ramanujan and Berndt. Our approach is based on relating the series to combinations of derivatives of Eichler integrals and polylogarithms.
We prove that for all p>1/2 there exists a constant $γ_p>0$ such that, for any symmetric measurable set of positive measure $E\subset \TT$ and for any $γ<γ_p$, there is an idempotent trigonometrical polynomial f satisfying $\int_E |f|^p > γ\int_{\TT} |f|^p$. This disproves a conjecture of Anderson, Ash, Jones, Rider and Saffari, who proved the existence of $γ_p>0$ for p>1 and conjectured that it does not exists for p=1. Furthermore, we prove that one can take $γ_p=1$ when p>1 is not an even integer, and that polynomials f can be chosen with arbitrarily large gaps when $p\neq 2$. This shows str…
Let $$ A_{m,n}(a)=\sum_{j=0}^m (-4)^j {m+j\choose 2j}\sum_{k=0}^{n-1} \sin(a+2kπ/n) \cos^{2j}(a+2kπ/n) $$ and $$ B_{m,n}(a)=\sum_{j=0}^m (-4)^j {m+j+1\choose 2j+1}\sum_{k=0}^{n-1} \sin(a+2kπ/n) \cos^{2j+1}(a+2kπ/n), $$ where $m\geq 0$ and $n\geq 1$ are integers and $a$ is a real number. We present two proofs for the following results: (i) If $2m+1 \equiv 0 \, (\mbox{mod} \, n)$, then $$ A_{m,n}(a)=(-1)^m n \sin((2m+1)a). $$ (ii) If $2m+1 \not\equiv 0 \, (\mbox{mod} \, n)$, then $A_{m,n}(a)=0$. (iii) If $2(m+1) \equiv 0 \, (\mbox{mod} \, n)$, then $$ B_{m,n}(a)=(-1)^m \frac{n}{2} \sin(2(m+1)a).…
One of the fundamental theorems of uniform distribution theory states that the fractional parts of the sequence $(n α)_{n \geq 1}$ are uniformly distributed modulo one (u.d. mod 1) for every irrational number $α$. Another important result of Weyl states that for every sequence $(n_k)_{k \geq 1}$ of distinct positive integers the sequence of fractional parts of $(n_k α)_{k \geq 1}$ is u.d. mod 1 for almost all $α$. However, in this general case it is usually extremely difficult to classify those $α$ for which uniform distribution occurs, and to measure the speed of convergence of the empirical …
Let $2s$ points $y_i=-π\le y_{2s}<\ldots<y_1<π$ be given. Using these points, we define the points $y_i$ for all integer indices $i$ by the equality $y_i=y_{i+2s}+2π$. We shall write $f\in\bigtriangleup^{(1)}(Y)$ if $f$ is a $2π$-periodic function and $f$ does not decrease on $[y_i, y_{i-1}]$ if $i$ is odd; and $f$ does not increase on $[y_i, y_{i-1}]$ if $i$ is even. We denote $E_n^{(1)}(f;Y)$ the value of the best uniform comonotone approximation. In this article the following counterexample of comonotone approximation is proved. Example. For each $k\in\Bbb N$, $k>3$, and $n\in\Bbb N$ there …
The function $ \tan(πx / 2) / (πx / 2) $ is expanded into a Laurent series of $ 1 - x^2 $, where the coefficients are given explicitly as combinations of zeta function of even integers. This is used to achieve a sequence of upper and lower bounds which are very precise even at the poles $ x = 1, -1 $. Similar results are obtained for other trigonometric functions with poles.
We have discovered three non-power infinite series representations for Bessel functions of the first kind of integer orders and real arguments. These series contain only elementary functions and are remarkably simple. Each series was derived as a Fourier series of a certain function that contains Bessel function. The series contain parameter $b$ by setting which to specific values one can change specific form of series. Truncated series retain qualitatively behaviour of Bessel functions at large $x$: they have sine-like shape with decreasing amplitude. Derived series allow to obtain new series…
In the framework of KAM theory, the persistence of invariant tori in quasi-integrable systems is proved by assuming a non-resonance condition on the frequencies, such as the standard Diophantine condition or the milder Bryuno condition. In the presence of dissipation, most of the quasi-periodic solutions disappear and one expects, at most, only a few of them to survive together with the periodic attractors. However, to prove that a quasi-periodic solution really exists, usually one assumes that the frequencies still satisfy a Diophantine condition and, furthermore, that some external parameter…
A Menshov spectrum is a subset of the integers that is sufficient for representing every measurable function as an almost-everywhere converging trigonometric (non-Fourier) sum. In this language the celebrated "Menshov representation theorem" states that Z is a Menshov spectrum. In this paper we construct 1) Menshov spectra that are almost exponentially sparse 2) that are almost squares. Then we show that the positive integers are not a Menshov spectrum but are a Menshov spectrum in measure, and repeat 1) and 2) in the analytic settings.
For a periodic function $f$ with bounded variation and integral zero on its period interval, we show that $\sum_{k=1}^\infty c_k^2 (\log\log k)^γ<\infty$, $γ>4$ implies the almost everywhere convergence of $\sum_{k=1}^\infty c_k f(n_kx)$ for any increasing sequence $(n_k)$ of integers. We also construct an example showing that the previous condition is not sufficient for $γ<2$. Finally we give an a.e. bound for the growth of sums $\sum_{k=1}^N f(n_kx)$ differing from the corresponding optimal result for trigonometric sums by a loglog factor.
We show that a spectrum of frequencies obtained by a random perturbation of the integers allows one to represent any measurable function on R by an almost everywhere converging sum of harmonics almost surely.
It is well-known that for a quickly increasing sequence $(n_k)_{k \geq 1}$ the functions $(\cos 2 πn_k x)_{k \geq 1}$ show a behavior which is typical for sequences of independent random variables. If the growth condition on $(n_k)_{k \geq 1}$ is relaxed then this almost-independent behavior generally fails. Still, probabilistic constructions show that for \emph{some} very slowly increasing sequences $(n_k)_{k \geq 1}$ this almost-independence property is preserved. For example, there exists $(n_k)_{k \geq 1}$ having bounded gaps such that the normalized sums $\sum \cos 2 πn_k x$ satisfy the c…
In this paper we study digit frequencies in the setting of expansions in non-integer bases, and self-affine sets with non-empty interior. Within expansions in non-integer bases we show that if $β\in(1,1.787\ldots)$ then every $x\in(0,\frac{1}{β-1})$ has a simply normal $β$-expansion. We also prove that if $β\in(1,\frac{1+\sqrt{5}}{2})$ then every $x\in(0,\frac{1}{β-1})$ has a $β$-expansion for which the digit frequency does not exist, and a $β$-expansion with limiting frequency of zeros $p$, where $p$ is any real number sufficiently close to $1/2$. For a class of planar self-affine sets we sho…