On series \(\sum c_k f(kx)\) and Khinchin's conjecture (Q466093): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
Let \(\{x\}\) denote the fractional part of \(x\) and \(f:[0,1]\to[0,1]\). \textit{H. Weyl} [Rend. Circ. Mat. Palermo 30, 377--407 (1910; JFM 41.0528.02)] proved that \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N f(\{nx\})=\int_0^1f(y)\,dy\tag{1} \] holds for every continuous \(f\) and irrational \(x\in[0,1]\). \textit{A. Khintchine} [Math. Z. 18, 289--306 (1923; JFM 49.0159.03)] conjectured that (1) holds for a.e.\ \(x\in[0,1]\) and every \(f\in L^1\). \textit{J. F. Koksma} [J. Indian Math. Soc., New Ser. 15, 87--96 (1952; Zbl 0046.04802)] proved a slightly modified form (1') when the Fourier coefficients \(a_k\) of \(f\) satisfy \(\sum_{k=1}^\infty|a_k|^2\log\log k<\infty\). \textit{J. M. Marstrand} [Proc. Lond. Math. Soc., III. Ser. 21, 540--556 (1970; Zbl 0208.31402)] disproved Khintchine's conjecture for \(f\in L^\infty\). \textit{J. Bourgain} [Isr. J. Math. 63, No. 1, 79--97 (1988; Zbl 0677.60042)] constructed a new counterexample \(f\in L^\infty\) and claimed that Koksma's condition \(\sum_{k=1}^\infty|a_k|^2\log\log k<\infty\) is essentially the best possible. In the present paper, the authors prove the following modification: Theorem. Let \(w(n)\) be a function of a natural argument which is sub-multiplicative (i.e., \(w(nm)\leq w(n)w(m)\) for all \(m,n\)) and bounded in mean. Assume that \(w(n)=o(\log\log n)\). Then there exists \(f\) with Fourier coefficients \(a_k\) satisfying \(\sum_{k=1}^\infty|a_k|^2w(k)<\infty\) such that (1) is not valid. The proof is based on an adaptation of the method elaborated by Bourgain [loc.\,cit.].
Property / review text: Let \(\{x\}\) denote the fractional part of \(x\) and \(f:[0,1]\to[0,1]\). \textit{H. Weyl} [Rend. Circ. Mat. Palermo 30, 377--407 (1910; JFM 41.0528.02)] proved that \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N f(\{nx\})=\int_0^1f(y)\,dy\tag{1} \] holds for every continuous \(f\) and irrational \(x\in[0,1]\). \textit{A. Khintchine} [Math. Z. 18, 289--306 (1923; JFM 49.0159.03)] conjectured that (1) holds for a.e.\ \(x\in[0,1]\) and every \(f\in L^1\). \textit{J. F. Koksma} [J. Indian Math. Soc., New Ser. 15, 87--96 (1952; Zbl 0046.04802)] proved a slightly modified form (1') when the Fourier coefficients \(a_k\) of \(f\) satisfy \(\sum_{k=1}^\infty|a_k|^2\log\log k<\infty\). \textit{J. M. Marstrand} [Proc. Lond. Math. Soc., III. Ser. 21, 540--556 (1970; Zbl 0208.31402)] disproved Khintchine's conjecture for \(f\in L^\infty\). \textit{J. Bourgain} [Isr. J. Math. 63, No. 1, 79--97 (1988; Zbl 0677.60042)] constructed a new counterexample \(f\in L^\infty\) and claimed that Koksma's condition \(\sum_{k=1}^\infty|a_k|^2\log\log k<\infty\) is essentially the best possible. In the present paper, the authors prove the following modification: Theorem. Let \(w(n)\) be a function of a natural argument which is sub-multiplicative (i.e., \(w(nm)\leq w(n)w(m)\) for all \(m,n\)) and bounded in mean. Assume that \(w(n)=o(\log\log n)\). Then there exists \(f\) with Fourier coefficients \(a_k\) satisfying \(\sum_{k=1}^\infty|a_k|^2w(k)<\infty\) such that (1) is not valid. The proof is based on an adaptation of the method elaborated by Bourgain [loc.\,cit.]. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Oto Strauch / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 40A10 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 11K06 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 11K38 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6361311 / rank
 
Normal rank
Property / zbMATH Keywords
 
Khinchin conjecture
Property / zbMATH Keywords: Khinchin conjecture / rank
 
Normal rank
Property / zbMATH Keywords
 
Sobolev space
Property / zbMATH Keywords: Sobolev space / rank
 
Normal rank
Property / zbMATH Keywords
 
Banach principle
Property / zbMATH Keywords: Banach principle / rank
 
Normal rank
Property / zbMATH Keywords
 
prime numbers
Property / zbMATH Keywords: prime numbers / rank
 
Normal rank
Property / zbMATH Keywords
 
entropy number
Property / zbMATH Keywords: entropy number / rank
 
Normal rank

Revision as of 14:02, 30 June 2023

scientific article
Language Label Description Also known as
English
On series \(\sum c_k f(kx)\) and Khinchin's conjecture
scientific article

    Statements

    On series \(\sum c_k f(kx)\) and Khinchin's conjecture (English)
    0 references
    0 references
    0 references
    24 October 2014
    0 references
    Let \(\{x\}\) denote the fractional part of \(x\) and \(f:[0,1]\to[0,1]\). \textit{H. Weyl} [Rend. Circ. Mat. Palermo 30, 377--407 (1910; JFM 41.0528.02)] proved that \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N f(\{nx\})=\int_0^1f(y)\,dy\tag{1} \] holds for every continuous \(f\) and irrational \(x\in[0,1]\). \textit{A. Khintchine} [Math. Z. 18, 289--306 (1923; JFM 49.0159.03)] conjectured that (1) holds for a.e.\ \(x\in[0,1]\) and every \(f\in L^1\). \textit{J. F. Koksma} [J. Indian Math. Soc., New Ser. 15, 87--96 (1952; Zbl 0046.04802)] proved a slightly modified form (1') when the Fourier coefficients \(a_k\) of \(f\) satisfy \(\sum_{k=1}^\infty|a_k|^2\log\log k<\infty\). \textit{J. M. Marstrand} [Proc. Lond. Math. Soc., III. Ser. 21, 540--556 (1970; Zbl 0208.31402)] disproved Khintchine's conjecture for \(f\in L^\infty\). \textit{J. Bourgain} [Isr. J. Math. 63, No. 1, 79--97 (1988; Zbl 0677.60042)] constructed a new counterexample \(f\in L^\infty\) and claimed that Koksma's condition \(\sum_{k=1}^\infty|a_k|^2\log\log k<\infty\) is essentially the best possible. In the present paper, the authors prove the following modification: Theorem. Let \(w(n)\) be a function of a natural argument which is sub-multiplicative (i.e., \(w(nm)\leq w(n)w(m)\) for all \(m,n\)) and bounded in mean. Assume that \(w(n)=o(\log\log n)\). Then there exists \(f\) with Fourier coefficients \(a_k\) satisfying \(\sum_{k=1}^\infty|a_k|^2w(k)<\infty\) such that (1) is not valid. The proof is based on an adaptation of the method elaborated by Bourgain [loc.\,cit.].
    0 references
    0 references
    Khinchin conjecture
    0 references
    Sobolev space
    0 references
    Banach principle
    0 references
    prime numbers
    0 references
    entropy number
    0 references

    Identifiers