On the effectivization of the universality theorem for the Lerch zeta-function (Q1592026)

Es sei \(L(\lambda,\alpha,s)\) die bei festen Parametern \(\lambda,\alpha\) mit \(\lambda\in \mathbb R\) , \(0<\alpha\leq 1\) für Re\((s)>1\) durch \(L(\lambda,\alpha,s)=\sum_{m=0}^{\infty}{e(\lambda m)/(m+\alpha)^s}\) definierte Lerchsche Zetafunktion, \({\mathcal B}(S)\) die Klasse der Borelschen Mengen eines Raums \(S\). Für \(D=\{s\in {\mathbb C}:{{1}\over {2}}<\text{Re}(s)< 1\}\) sei \(H(D)\) der Raum der auf \(D\) analytischen Funktionen, der mit der Topologie der gleichmäßigen Konvergenz auf kompakten Mengen versehen ist. Für das Wahrscheinlichkeitsmaß \[ P_{T}(A)=T^{-1} \operatorname {mes}\{\tau \in [0,T]:L(\lambda,\alpha,s+i\tau)\in A\}\quad (T>0,A\in {\mathcal B}(H(D))), \] wo mes\(\,M\) das Lebesguesche Maß einer Lebesgue-messbaren Menge \(M\) bezeichnet, hat der Verf. für \(\lambda \notin \mathbb Z\) und transzendentes \(\alpha\) ein explizites Wahrscheinlichkeitsmaß \(P_{L}\) konstruiert, so dass \(P_{T}\) schwach gegen \(P_{L}\) für \(T\to \infty\) konvergiert [vgl. \textit{A. Laurinčikas}, On limit distribution of the Lerch zeta-function, New Trends Probab. Stat. 4, 135-148 (1997; Zbl 0929.11026)]. Der Verf. verschärft dieses Resultat zu einer effektiven Aussage über die Universalität der Lerchschen Zetafunktion. Mit Hilfe einer geeigneten Metrik \(\varrho\), welche die Topologie von \(H(D)\) induziert, setzt er für \(\varepsilon >0\), \(f\in H(D)\) \[ A(\varepsilon,f)=\{g\in H(D):\varrho(f,g)<\varepsilon\},\quad R_T(\varepsilon,f)= P_T(A(\varepsilon,f))-P_L(A(\varepsilon,f)) \] und beweist damit den folgenden Satz. Es sei \(0<\lambda<1\), \(\alpha\) transzendent \(\in (0,1)\). Die Funktion \(f(s)\) besitze eine auf \(D\) analytische Fortsetzung. Für ein \(\varepsilon >0\) sei \(P_{L}(\partial A(\varepsilon,f))=0\). Für ein \(T>0\) gelte \(|R_{T}(\varepsilon,f)|<P_{L}(A(\varepsilon,f))\). Dann existiert zu jedem kompakten \(K \subset D\) ein \(\tau \in [0,T]\) und ein nur von \(K\) abhängiges \(j\in {\mathbb N}\) mit \[ \sup_{s\in K}|L(\lambda,\alpha,s+i\tau)-f(s)|< {{2^j\varepsilon}\over {1-2^{j}\varepsilon}}.\tag \(*\) \] Eine analoge Verallgemeinerung dieses Satzes ergibt sich unter den obigen Voraussetzungen, wenn man \(A(\varepsilon,f)\) durch \(\{g\in H(D): \sup_{s\in K}|f(s)-g(s)|<\varepsilon\}\) und die rechte Seite von \((*)\) durch \(\varepsilon\) ersetzt.