Nonrecurrence in mean of sums along the Kronecker sequence (Q1810285)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Nonrecurrence in mean of sums along the Kronecker sequence |
scientific article; zbMATH DE number 1928369
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Nonrecurrence in mean of sums along the Kronecker sequence |
scientific article; zbMATH DE number 1928369 |
Statements
Nonrecurrence in mean of sums along the Kronecker sequence (English)
0 references
15 June 2003
0 references
The Weyl's limit relation states that an \(s\)-dimensional real sequence \(\mathbf x_n\in[0,1)^s\), \(n=1,2,\dots\) is uniformly distributed if and only if \(\lim_{N\to\infty}\frac{1}{N} \sum_{n=1}^NF(\mathbf x_n)= \int_{[0,1]^s}F(\mathbf x)\,d\mathbf x\) holds for all continuous functions \(F:[0,1]^s\to\mathbb R\). The Koksma-Hlawka's inequality gives an error term \[ \left| \frac{1}{N}\sum_{n=1}^NF(\mathbf x_n)- \int_{[0,1]^s}F(\mathbf x)\,d\mathbf x\right| \leq V(F)D_N, \] where \(V(F)\) is the Hardy and Krause variation of \(F\) and \(D_N\) is the discrepancy of \(\mathbf x_1,\dots,\mathbf x_N\) (all such notations can be found, e.g., in the reviewer and \textit{Š. Porubský} [Distribution of sequences: a sampler, Peter Lang, Frankfurt am Main (2005; Zbl 1078.11051)]). For every continuous \(F(\mathbf x)\) for which \(\int_{[0,1]^s}F(\mathbf x)\,d\mathbf x=0\), the best known \(D_N=O((\log N)^{s}/N)\) implies \(| \sum_{n=1}^NF(\mathbf x_n)| \leq V(F)ND_N\to\infty\), but for some special casses it can be found \(\liminf_{N\to\infty}| \sum_{n=1}^NF(\mathbf x_n)| =0\) [see \textit{V.V. Kozlov}, Mosc. Univ. Math. Bull. 33, No. 1--2, 31--38 (1978); translation from Vestn. Moskov. Univ., Ser. I 1978, No. 1, 106--115 (1978; Zbl 0404.34034)] for dimension \(s=1\). In this note, for the Kronecker sequence \(\mathbf x_n= (n\alpha_1+\varphi_1,\dots, n\alpha_s+\varphi_s)\bmod1\), where \(\alpha_1,\dots,\alpha_s, 1\) are linearly independent over \(\mathbb Q\), the authors prove that if (1) \(F(\mathbf x)=G(\mathbf x)+H(\mathbf t\cdot\mathbf x)\), where \(G(\mathbf x)\) is a trigonometric polynomial, \(H(x)\) is a one-periodic function of a single variable \(x\), (\(\mathbf t\cdot\mathbf x\) is the inner product), then (2) \(\liminf_{N\to\infty}\sup_{\varphi_1,\dots,\varphi_s} | \sum_{n=1}^NF(\mathbf x_n)| =0\), and that (1) characterizes (2). For the proof the authors use a construction of the second author [Math. Notes 58, No. 3, 948--959 (1995); translation from Mat. Zametki 58, No. 3, 394--410 (1995; Zbl 0857.11037)].
0 references
Kronecker sequence
0 references
periodic function
0 references
linear independence
0 references
Fourier series
0 references
0.71654934
0 references
0 references
0 references
0 references
0.6864822
0 references
0.6850178
0 references
0.68297833
0 references
0.6821981
0 references