Search

By simple means we prove irrationality results for some series whose terms are recursively defined. In particular, we prove that the roots and the quotient of such series are irrational numbers.

If $$z\in {\mathbb {C}}$$ and $$1\le n$$ is a natural number then $$\begin{aligned} \sum _{d_1 d_2 =n} (1-z^{p_1})\cdots (1-z^{p_m}) z^{q_1 e_{1}+\cdots +q_i e_{i} }=1, \end{aligned}$$ where $$d_1=p_1^{r_1}\dots p_m^{r_m }$$ , $$d_2=q_1^{e_1}\dots q_i^{e_i }$$ are the prime decompositions of $$d_1, d_2$$ . This is one of the identities involving arithmetic functions that we prove using ideas from the paper of Dressler and van de Lune [3].

With the aid of Solomon Golomb formula we give closed formulas for the generating functions of Mersenne and Fermat primes. A limit-type criteria for the existence of an infinite number of such primes is given using these generating functions. Fil: Panzone, Pablo Andres. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Bahía Blanca. Instituto de Matemática Bahía Blanca (i); Argentina