No label defined (Q4547403)

Let the Dirichlet series \(f(s)=\sum^{+\infty}_{n=0} a_ne^{-\lambda_ns}\) \((s=\sigma+ it,\;0\leq\lambda_n \uparrow+ \infty)\) verify \[ \varlimsup (\ln n/ \lambda_n)= \varlimsup(\ln|a_n|/ \lambda_n)=0 \quad (n\to+\infty). \tag{1} \] Then \(f(s)\) is holomorphic in \(\text{Re} s>0\). Let \[ M (\sigma)= \sup\biggl\{\bigl |f(\sigma+ it)\bigr |:t \in\mathbb{R} \biggr\} (\sigma >0). \] If there is a function \(U(r)(r>0)\) verifying \[ \varliminf \bigl( \ln^+ \ln^+ M(\sigma)/ \ln U(1/ \sigma)\bigr)= \tau\in [0,1]\;(\sigma \downarrow 0)\tag{2} \] and some other conditions and if \[ \varlimsup (\ln\ln n/\ln \lambda_n)<1 \tag{3} \] and \[ \lim (\ln\lambda_{n+1}/ \ln\lambda_n) =1\quad (n\to+ \infty), \tag{4} \] then (2) holds if and only if \(\varliminf (\ln\lambda_n/ \ln U( \lambda_n/ \ln|a^c_n|) =\tau(n\to +\infty)\), where \(\ln|a_n^c |= \inf\{\ln m(\sigma) +\lambda_n \sigma:\sigma >0\}\) and \(m(\sigma)= \max \{|a_n|e^{-\lambda} n^\sigma: n\in\mathbb{N}\} (\sigma>0)\). Let \(\{Z_n (\omega)\}\) be a sequence of Rademacher or Steinhaus random variables and let (1) hold. Then \(f_\omega(s)= \sum^{+\infty}_{n=0} a_nZ_n(\omega) e^{-\lambda_n s}\) is almost surely (a.s.) holomorphic in \(\text{Re} s>0\). If (4) and (2) hold a.s. with \(M(\sigma)\) replaced by \(M(\sigma,\omega) =\sup\{|f_\omega (\sigma+it) |:t \in\mathbb{R}\}\), then \(\forall t_0\in \mathbb{R}\), \(\varliminf \ln^+ \ln^+ |f_\omega (\sigma+it) |/ \ln U(1/ \sigma)=\tau\) \((\sigma \downarrow 0)\) a.s.