On a family of symmetric Bernoulli convolutions. (Q2594506)

\(\lambda(x;a)\) sei die Faltung der unendlich vielen symmetrischen Bernoullischen Verteilungsfunktionen \(\beta(a^{-n}x)\), \(n=0\), 1, \dots, wo \(\beta(x)\) bzw. gleich 0, \(\frac 12\) und 1 in den Intervallen \(x < -1\), \(|x| \leqq 1\) und \(x> 1\) ist und \(a\) eine feste reelle Zahl in \(0< a< 1\) bedeutet. Die Fourier-Stieltjes-Transformierte von \(\lambda(x;a)\) ist \(L(u;a)=\prod\limits_{n=0}^\infty \cos(a^n u)\). Es ist bekannt, daß einerseits \(\lambda(x;a)\) für \(a< \frac 12\) rein singulär ist, d. h. in der Lebesgueschen Zerlegung weder eine unstetige noch eine absolut stetige Komponente besitzt; daß andererseits \(\lambda(x;a)\) für die wachsenden Werte \(a=\frac 12\), \((\frac 12)^{\frac 12}\), \((\frac 12)^{\frac 13}\), \dots absolut stetig ist. Die Vermutung, daß \(\lambda(x;a)\) für alle \(a\) im Intervall \(\frac 12 \leqq a < 1\) absolut stetig sei, widerlegt Verf. durch Angabe eines Beispiels, indem er für gewisse \(a\) dieses Intervalls zeigt, daß die für absolute Stetigkeit von \(\lambda(x;a)\) durch das Riemann-Lebesguesche Lemma geforderte notwendige Bedingung \(L(u;a)\to 0\) für \(u \to \pm \infty\) nicht erfüllt ist. Die Bedingung \(L(u;a) \to 0\) ist nur notwendig, nicht hinreichend. In der Tat weiß man, daß \(L(u;a) \to 0\) für alle rationalen \(a\neq \frac 13, \frac 14\), \dots, wo ja \(\lambda(x;a)\) bei \(a<\frac 12\) singulär ist. Verf. zeigt, daß \(L(u;a) \to 0\) auch für alle irrationalen \(a\), die nicht zu einer gewissen abzählbaren Menge gehören.