We prove an Ω result on the average of the sum of the divisors of n which are relatively coprime to any given integer a. This generalizes the earlier result for a prime proved by Adhikari, Coppola and Mukhopadhyay.

We consider the behavior of the power series ${}_0\left(z\right)={\sum }_{n=1}^{\infty }{\mu }^2\left(n\right)z^n$ as z tends to $e\left(\beta \right)=e^{2\pi i\beta }$ along a radius of the unit circle. If β is irrational with irrationality exponent 2 then ${}_0\left(e\left(\beta \right)r\right)=O\left({(1-r)}^{-1/2-\epsilon }\right)$. Also we consider the cases of higher irrationality exponent. We prove that for each δ there exist irrational numbers β such that ${}_0\left(e\left(\beta \right)r\right)=\Omega \left({(1-r)}^{-1+\delta }\right)$.

Consider the power series $\left(z\right)={\sum }_{n=1}^{\infty }\alpha \left(n\right)zⁿ$, where α(n) is a completely additive function satisfying the condition α(p) = o(lnp) for prime numbers p. Denote by e(l/q) the root of unity $e^{2\pi il/q}$. We give effective omega-estimates for $\left(e(l/p^k)r\right)$ when r → 1-. From them we deduce that if such a series has non-singular points on the unit circle, then it is a zero function.

Let $\left(z\right)={\sum }_{n=1}^{\infty }\mu \left(n\right)z^n$. We prove that for each root of unity $e\left(\beta \right)=e^{2\pi i\beta }$ there is an a > 0 such that $\left(e\left(\beta \right)r\right)=\Omega \left({(1-r)}^{-a}\right)$ as r → 1-. For roots of unity e(l/q) with q ≤ 100 we prove that these omega-estimates are true with a = 1/2. From omega-estimates for (z) we obtain omega-estimates for some finite sums.

Let H(n) = σ(ϕ(n))/ϕ(σ(n)), where ϕ(n) is Euler's function and σ(n) stands for the sum of the positive divisors of n. We obtain the maximal and minimal orders of H(n) as well as its average order, and we also prove two density theorems. In particular, we answer a question raised by Golomb.