This paper concerns the $L^4$ norm of Littlewood polynomials on the unit circle which are given by

$$ \begin{align*}q_n(z)=\sum_{k=0}^{n-1}\pm z^k;\end{align*} $$

$\{-1,1\}$

$$ \begin{align*}||q_n||_4^4=\frac{1}{2\pi}\int_0^{2\pi}|q_n(e^{i\theta})|^4 d\theta.\end{align*} $$

$||q_n||_4/\sqrt {n}\rightarrow \sqrt [4]{2}$

$n\to \infty $

Let $\mathcal {F}$ denote the set of functions $f \colon [-1/2,1/2] \to \mathbb {R}_{\geq 0}$ such that $\int f = 1$. We determine the value of $\inf _{f \in \mathcal {F}} \| f \ast f \|_2^2$ up to a $4 \cdot 10^{-6}$ error, thereby making progress on a problem asked by Ben Green. Furthermore, we prove that a unique minimizer exists. As a corollary, we obtain improvements on the maximum size of $B_h[g]$ sets for $(g,h) \in \{ (2,2),(3,2),(4,2),(1,3),(1,4)\}$.

The range of a trigonometric polynomial with complex coefficients can be interpreted as the image of the unit circle under a Laurent polynomial. We show that this range is contained in a real algebraic subset of the complex plane. Although the containment may be proper, the difference between the two sets is finite, except for polynomials with a certain symmetry.

A Littlewood polynomial is a polynomial in $\mathbb{C}\left[ z \right]$ having all of its coefficients in $\{-1,1\}$. There are various old unsolved problems, mostly due to Littlewood and Erdős, that ask for Littlewood polynomials that provide a good approximation to a function that is constant on the complex unit circle, and in particular have small ${{L}^{q}}$ normon the complex unit circle. We consider the Fekete polynomials

$${{f}_{p}}(z)=\sum\limits_{j=1}^{p-1}{(j|p){{z}^{j}}},$$

where $p$ is an odd prime and $(.|p)$ is the Legendre symbol (so that ${{z}^{-1}}{{f}_{p}}(z)$ is a Littlewood polynomial). We give explicit and recursive formulas for the limit of the ratio of ${{L}^{q}}$ and ${{L}^{2}}$ norm of ${{f}_{p}}$ when $q$ is an even positive integer and $p\to \infty $. To our knowledge, these are the first results that give these limiting values for specific sequences of nontrivial Littlewood polynomials and infinitely many $q$. Similar results are given for polynomials obtained by cyclically permuting the coefficients of Fekete polynomials and for Littlewood polynomials whose coefficients are obtained from additive characters of finite fields. These results vastly generalise earlier results on the ${{L}^{4}}$ norm of these polynomials.

In this paper certain Turán-type inequalities for some Lommel functions of the first kind are deduced. The key tools in our proofs are the infinite product representation for these Lommel functions of the first kind, a classical result of Pólya on the zeros of some particular entire functions, and the connection of these Lommel functions with the so-called Laguerre–Pólya class of entire functions. Moreover, it is shown that in some cases Steinig's results on the sign of Lommel functions of the first kind combined with the so-called monotone form of l’Hospital's rule can be used in the proof of the corresponding Turán-type inequalities.

Let ${\it\alpha}\in \mathbb{C}$ in the upper half-plane and let $I$ be an interval. We construct an analogue of Selberg’s majorant of the characteristic function of $I$ that vanishes at the point ${\it\alpha}$. The construction is based on the solution to an extremal problem with positivity and interpolation constraints. Moreover, the passage from the auxiliary extremal problem to the construction of Selberg’s function with vanishing is easily adapted to provide analogous “majorants with vanishing” for any Beurling–Selberg majorant.

We prove that some inequalities, which are considered to be generalizations of Hardy's inequality on the circle, can be modified and proved to be true for functions integrable on the real line. In fact we would like to show that some constructions that were used to prove the Littlewood conjecture can be used similarly to produce real Hardy-type inequalities. This discussion will lead to many questions concerning the relationship between Hardy-type inequalities on the circle and those on the real line.

A classical theorem due to Young states that the cosine polynomial

$$ C_n(x)=1+\sum_{k=1}^{n}\frac{\cos(kx)}{k} $$

is positive for all $n\geq1$ and $x\in(0,\pi)$. We prove the following refinement. For all $n\geq2$ and $x\in[0,\pi]$ we have

$$ \tfrac{1}{6}+c(\pi-x)^2\leq C_n(x), $$

with the best possible constant factor

$$ c=\min_{0\leq t\lt\pi}\frac{5+6\cos(t)+3\cos(2t)}{6(\pi-t)^2}=0.069\dots. $$

We call $\alpha \left( z \right)={{a}_{0}}+{{a}_{1}}z+\cdot \cdot \cdot +{{a}_{n-1}}{{z}^{n-1}}$ a Littlewood polynomial if ${{a}_{j}}=\pm 1$ for all $j$. We call $\alpha \left( z \right)$ self-reciprocal if $\alpha \left( z \right)={{z}^{n-1}}\alpha \left( 1/z \right)$, and call $\alpha \left( z \right)$ skewsymmetric if $n=2m+1$ and ${{a}_{m+j}}={{\left( -1 \right)}^{j}}{{a}_{m-j}}$ for all $j$. It has been observed that Littlewood polynomials with particularly high minimum modulus on the unit circle in $\mathbb{C}$ tend to be skewsymmetric. In this paper, we prove that a skewsymmetric Littlewood polynomial cannot have any zeros on the unit circle, as well as providing a new proof of the known result that a self-reciprocal Littlewood polynomial must have a zero on the unit circle.

The following problem has been suggested by Paul Turán. Let $\Omega $ be a symmetric convex body in the Euclidean space ${{\mathbb{R}}^{d}}$ or in the torus ${{\mathbb{T}}^{d}}$. Then, what is the largest possible value of the integral of positive definite functions that are supported in $\Omega $ and normalized with the value 1 at the origin? From this, Arestov, Berdysheva and Berens arrived at the analogous pointwise extremal problem for intervals in $\mathbb{R}$. That is, under the same conditions and normalizations, the supremum of possible function values at $z$ is to be found for any given point $z\,\in \,\Omega $. However, it turns out that the problem for the real line has already been solved by Boas and Kac, who gave several proofs and also mentioned possible extensions to ${{\mathbb{R}}^{d}}$ and to non-convex domains as well.

Here we present another approach to the problem, giving the solution in ${{\mathbb{R}}^{d}}$ and for several cases in ${{\mathbb{T}}^{d}}$. Actually, we elaborate on the fact that the problem is essentially one-dimensional and investigate non-convex open domains as well. We show that the extremal problems are equivalent to some more familiar ones concerning trigonometric polynomials, and thus find the extremal values for a few cases. An analysis of the relationship between the problem for ${{\mathbb{R}}^{d}}$ and that for ${{\mathbb{T}}^{d}}$ is given, showing that the former case is just the limiting case of the latter. Thus the hierarchy of difficulty is established, so that extremal problems for trigonometric polynomials gain renewed recognition.

Let $ S_n(x)=\sum_{k=1}^{n}({\sin(kx)})/{k} $ be Fejér's sine polynomial. We prove the following statements.

1. The inequality $ (S_n(x+y))^{\alpha} (x+y)^{\beta} \leq (S_n(x))^{\alpha}x^{\beta}+ (S_n(y))^{\alpha}y^{\beta} {(n\in \mathbb{N}; \; \alpha, \beta \in \mathbb{R})}$ holds for all $x,y \in (0,\pi)$ with $x+y<\pi$ if and only if $\alpha\geq 0$ and $\alpha+\beta \leq 1$.

2. The converse of the above inequality is valid for all $x,y \in (0,\pi)$ with $x+y<\pi$ if and only if $\alpha\leq 0$ and $\alpha+\beta \geq 1$.

3. For all $n\in\mathbb{N}$ and $x,y \in [0,\pi]$ we have $ 0\leq S_n(x)+S_n(y)- S_n(x+y)\leq \frac{3}{2}\sqrt{3}.$ Both bounds are best possible.

A well-known result of Zygmund states that if f ∈ L (log+L) ½ on the circle group T and E is a Hadamard set of integers, then . In this paper we investigate similar results for the classes on an arbitrary infinite compact abelian group G and Sidon subsets E of the dual Γ. These results are obtained as special cases of more general results concerning a new class of lacunary sets Sαβ, 0 < α ≤ β, where a subset E of Γ is an Sα β set if . We also prove partial results on the distinctness of the Sαβ sets in the index β.

We generalise the classical Bernstein's inequality: . Moreover we obtain a new representation formula for entire functions of exponential type.

We prove a two-sided version of Hardy's inequality by methods arising from the proof of the Littlewood conjecture.

We define an iterative interpolation process for data spread over a closed discrete subgroup of the Euclidean space. We describe the main algebraic properties of this process. This interpolation process, under very weak assumptions, is always convergent in the sense of Schwartz distributions. We find also a convenient necessary and sufficient condition for continuity of each interpolation function of a given iterative interpolation process.

We adopt the terminology and notations of [5]. If f ∈ Bτ is an entire function of exponential type τ bounded on the real axis then we have the complementary interpolation formulas [1, p. 142-143]

and

where t, γ are reals and