Representations of analytic functions as infinite products and their application to numerical computations
Abstract
Let $D$ be an open disk of radius $\le 1$ in $\mathbb C$, and let $(\epsilon_n)$ be a sequence of $\pm 1$. We prove that for every analytic function $f: D \to \mathbb C$ without zeros in $D$, there exists a unique sequence $(\alpha_n)$ of complex numbers such that $f(z) = f(0)\prod_{n=1}^{\infty} (1+\epsilon_nz^n)^{\alpha_n}$ for every $z \in D$. From this representation we obtain a numerical method for calculating products of the form $\prod_{p \text{prime}} f(1/p)$ provided $f(0)=1$ and $f'(0) = 0$; our method generalizes a well known method of Pieter Moree. We illustrate this method on a constant of Ramanujan $\pi^{-1/2}\prod_{p \text{prime}} \sqrt{p^2-p}\ln(p/(p-1))$. From the properties of the exponents $\alpha_n$, we obtain a proof of the following congruences, which have been the subject of several recent publications motivated by some questions of Arnold: for every $n \times n$ integral matrix $A$, every prime number $p$, and every positive integer $k$ we have $\text{tr} A^{p^k} \equiv \text{tr} A^{p^{k-1}} (\text{mod}\,{p^k})$.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2012
- DOI:
- 10.48550/arXiv.1202.1335
- arXiv:
- arXiv:1202.1335
- Bibcode:
- 2012arXiv1202.1335M
- Keywords:
-
- Mathematics - Number Theory;
- 11Y60;
- 30E10;
- 30J99;
- 40A30;
- 40A20 (Primary) 11A07;
- 11C20 (Secondary)
- E-Print:
- Several editorial changes have been made