Integral distribution laws of additive functions and algebraic number fields (Q1825240)

A real additive function belongs to the class LU(M,\(\delta)\), \(M\geq 8\) if the following conditions hold: \[ (1)\quad (\sum_{N\gamma \leq y}^* | N\gamma |^{-1})^{-1}\sum_{| N\gamma | \leq y,h(\gamma)<u}^* | N\gamma |^{-1}=F(u)+\rho_ y(u)\quad (y\geq 5), \] where F(u) is a distribution function, \(| \rho_ y(u)| \leq c(u)(\log y)^{-M};\) (2) there is a constant \(\delta >0\) such that \[ \int \exp (\delta | u|) dF(u)<\infty,\quad \int c(u)\exp (\delta | u|) du<\infty,\quad \sum_{\gamma}^* \sum^{\infty}_{k=2}\exp (\delta | h(\gamma^ k)|)| N\gamma |^{-k}<\infty; \] (3) for every nonprincipal Hecke character g, the exponents of which are \(| m_ j| \leq (\log y)^{2M}\), \(j=1,2,...,n-1,\) \(\sum_{| N\gamma | \leq y}^* g(\gamma)\exp (zh(\gamma))| N\gamma |^{- 1}=c'_ g(z)+\rho_{g,z}(y),\)where z is a complex parameter, \(| z| \leq \delta\), \(| \rho_{g,z}(y)| \leq c'(\log y)^{-M}\), \(c'>0\) some constant, \(c_ g(z)\) independent of y. Theorem 1. Let the real additive function h(\(\alpha)\)\(\in LU(M,\delta)\), \(x=o(\sqrt{\log \log y})\), \(y\geq y_ 0(LU(M,\delta))\geq 3\). Then \[ 1-F_ y(x)=(1-\Phi (x))\exp (\frac{x^ 3}{\sqrt{\log \log y}}L(\frac{x}{\sqrt{\log \log y}}))\times (1+B(1+| x|))E(y,\delta_ 1)(B(y))^{-3})\quad for\quad x\geq 0, \] \[ F_ y(x)=\Phi (x)\exp (\frac{x^ 3}{\sqrt{\log \log y}}L(\frac{x}{\sqrt{\log \log y}}))\times (1+B(1+| x|))E(y,\delta_ 1)(B(y)^{-3}))\quad for\quad x\leq 0. \] Here L(\(\eta)\) is a Cramer series converging for sufficiently small \(\eta\), \(| \eta | \leq \epsilon (\delta)\), \(0<\delta_ 1<\delta\), \(\delta\) is defined in the course of the proof, B is a bounded quantity depending on the field K and the parallelepiped \({\mathcal B}.\) Theorem 2. Let the real additive function h(\(\alpha)\)\(\in LU(M,\delta)\), \(y\geq y_ 0(LU(M,\delta))\geq 3\). Then for any x, \[ F_ y(x)=\Phi (x)+BE(y,\delta_ 1)(B(y))^{-3} \exp (-\delta_ 1| x|), \] where B is a bounded quantity, depending on the field K and the parallelepiped \({\mathcal B}\), \(\delta_ 1\) is from theorem 1.