Related papers: $\mathbf L^1$ completeness for Fourier series
The classical concept of bounded completeness and its relation to sufficiency and ancillarity play a fundamental role in unbiased estimation, unbiased testing, and the validity of inference in the presence of nuisance parameters. In this…
We provide an introduction of some basic facts of uniformly almost periodic functions, such as Fourier series representations. A result is then proved about Fourier coefficients which is a generalization of the purely periodic case. We then…
Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…
Let $S_{n}f$ denote the $n$th partial sum of the Vilenkin-Fourier series of a function $f \in L^{1}(G)$. For $1 < p_{-} \leq p_{+} < \infty$, we characterize all exponents $p(\cdot)$ for which the convergence of $S_{n}f$ to $f$ in…
In modern usage the Bernoulli numbers and Bernoulli polynomials follow Euler's approach and are defined using generating functions. We consider the functional equation $f(x)+x^k=f(x+1)$ and show that a solution can be derived from…
We give an exact value of the rank of an $\mathcal{F}$-Fubini sum of filters for the case where $\mathcal{F}$ is a Borel filter of rank $1$. We also consider $\mathcal{F}$-limits of filters $\mathcal{F}_i$, which are of the form…
Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…
It is shown that if a function defined on the segment [-1,1] has sufficiently good approximation by partial sums of the Legendre polynomial expansion, then, given the function's Fourier coefficients $c_n$ for some subset of $n\in[n_1,n_2]$,…
We obtain an exact formula for the Fourier transform of multiradial functions, i.e., functions of the form $\Phi(x)=\phi(|x_1|, \dots, |x_m|)$, $x_i\in \mathbf R^{n_i}$, in terms of the Fourier transform of the function $\phi$ on $\mathbf…
It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a…
We give elementary proofs of some congruence criteria to compute binomial coefficients in modulo a prime. These criteria are analogues to the symmetry property of binomial coefficients. We give extended version of Lucas Theorem by using…
We deal with the algebraicity of a Puiseux series in terms of the properties of its coefficients. We show that the algebraicity of a Puiseux series for given bounded degree is determined by a finite number of explicit polynomial formulae.…
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.
In this paper we present a generalization of the Fueter's theorem for monogenic functions to the case of the biregular functions of Clifford analysis.
We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type…
The symmetric function theorem states that a polynomial that is invariant under permutation of variables, is a polynomial in the elementary symmetric polynomials. We deduce this classical result, in the analytic setting, from the…
We prove a Tauberian theorem for the Voronoi summation method of divergent series with an estimate of the remainder term. The results on the Voronoi summability are then applied to analyze the mean values of multiplicative functions on…
We introduce new classes of general monotone sequences and study their properties. For functions whose Fourier coefficients belong to these classes, we establish Hardy-Littlewood-type theorems.
Let $\lambda (n)$ denote the Liouville function. Complementary to the prime number theorem, Chowla conjectured that \vspace{1mm} \noindent {\bf Conjecture (Chowla).} {\em \begin{equation} \label{a.1} \sum_{n\le x} \lambda (f(n)) =o(x)…
We prove two-sided inequalities between the integral moduli of smoothness of a function on $\mathbb{R}^d/\mathbb{T}^d$ and the weighted tail-type integrals of its Fourier transform/series. Sharpness of obtained results in particular is…