zbMATH — the first resource for mathematics

Convergence to zero of exponential sums with positive integer coefficients and approximation by sums of shifts of a single function on the line. (English) Zbl 1413.42002
This paper solves two problems arising from a result by the first author P. A. Borodin, [Izv. Math. 78, No. 6, 1079–1104 (2014; Zbl 1316.46015); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 78, No. 6, 21–48 (2014)]. The main results are
Theorem 1. There is a sequence of trigonometric polynomials \[ Q_{\nu}(x)=\sum_{s=1}^{s_{\nu}}\,n_s^{(\nu)}e^{ik_s^{(\nu)}x} \tag{(1)} \] converging to zero almost everywhere; \(k_s^{(\nu)}\) are (distinct) integers and \(n_s^{(\nu)}\) are positive integers.
Theorem 2. There is a function \(f:\mathbb{R}\rightarrow\mathbb{R}\) such that the sums \[ \sum_{k=1}^n\,f(x-a_k),\;a_k\in\mathbb{R},\;n\in\mathbb{N} \tag{(2)} \] of its shifts are dense in all real spaces \(L_p(\mathbb{R})\) for \(2\leq p<\infty\) and also in the real space \(C_0(\mathbb{R})\) of continuous functions tending to zero at \(\pm\infty\).
The layout of the paper is as follows:
1. Introduction: Definitions, historical information and the main tool for the proof of Theorem 1 given in Lemma 1:
For any \(\delta>0\) there is a sum \[ f_{\delta}(x)=\sum_{j=1}^J\, g(m_jx) \] with positive integers \(m_1,\ldots,m_J\) and a set \(E\subset\mathbb{T}\), such that \(\text{mes}\,E\geq 2\pi -\delta\) and \(f_{\delta}(x)>\delta\) for \(x\in E\). (\(\mathbb{T}=\mathbb{R}/2\pi\mathbb{Z};\;\text{mes}\) is the Lebesgue measure; \(g(x)=\ln{| 1-e^{ix}|}\))
2. Deduction of Theorem from Lemma 1.
The paper concludes with a list of remarks and problems.

42A05 Trigonometric polynomials, inequalities, extremal problems
42A32 Trigonometric series of special types (positive coefficients, monotonic coefficients, etc.)
41A46 Approximation by arbitrary nonlinear expressions; widths and entropy
Full Text: DOI
[1] S. Banach, Théorie des opérations linéaires, Jacques Gabay (Sceaux, 1993).
[2] A. Bonami and Sz. Gy. Révész, Integral concentration of idempotent trigonometric polynomials with gaps, Amer. J. Math., 131 (2009), 1065–1108. · Zbl 1201.42001 · doi:10.1353/ajm.0.0065
[3] P. A. Borodin, Density of a semigroup in a Banach space, Izv. Math., 78 (2014), 1079–1104. · Zbl 1316.46015 · doi:10.1070/IM2014v078n06ABEH002721
[4] P. A. Borodin, Approximation by simple partial fractions with constraints on the poles. II, Sb. Math., 207 (2016), 331–341. · Zbl 1354.30025 · doi:10.1070/SM8500
[5] P. A. Borodin, Approximation by sums of shifts of a single function on the circle, Izv. Math., 81 (2017), 1080–1094. · Zbl 1384.41016 · doi:10.1070/IM8529
[6] P. Borwein and T. Erdélyi, Littlewood-type problems on subarcs of the unit circle, Indiana Univ. Math. J., 46 (1997), 1323–1346. · Zbl 0930.30005 · doi:10.1512/iumj.1997.46.1435
[7] M. Fekete, Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten, Math. Z., 17 (1923), 228–249. · JFM 49.0047.01 · doi:10.1007/BF01504345
[8] S. V. Konyagin, On a problem of Littlewood, Izv. Akad. Nauk SSSR Ser. Mat., 45 (1981), 243–265. · Zbl 0493.42004
[9] S. V. Konyagin, On a question of Pichorides, C. R. Acad. Sci. Paris Ser. I Math., 324 (1997), 385–388. · Zbl 0889.42001
[10] O. C. McGehee, L. Pigno, and B. Smith, Hardy’s inequality and the L1-norm of exponential sums, Ann. of Math., 113 (1981), 613–618. · Zbl 0473.42001 · doi:10.2307/2007000
[11] E. C. Titchmarsh, Introduction to the Theory of Fourier Integrals, Clarendon Press (Oxford, 1937). · JFM 63.0367.05
[12] J. Lindenstrauss and L. Tzafriri, Classical Banach Spaces II, Springer (Berlin–Heidelberg–New York, 1979). · Zbl 0403.46022
[13] N. Wiener, Tauberian theorems, Ann. of Math. (2), 33 (1932), 1–100. · Zbl 0004.05905 · doi:10.2307/1968102
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.