Representations of analytic functions as infinite products and their application to numerical computations (Q457032): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(D\) be an open disk of radius smaller than or equal to 1 in the complex plane and let \(f\) be an analytic function from \(D\) to the complex numbers without zeros in \(D\) and further satisfying \(f(0)=1\) and \(f'(0)=0\). Many constants arising in number theory, especially in analytic number theory, are of the form \(\prod_{p}f(1/p)\) (they usual arise in density problems). The authors present a method to compute such constants with very high numerical accuracy by representing the product as an infinite product involving zeta values evaluated at integers \(\geq 2\). This generalizes work of the reviewer [Manuscr. Math. 101, No. 3, 385--399 (2000; Zbl 1007.11084)], who only considered the case where \(f\) is rational. The starting point of the present investigation is to show that given a sequence of \((\epsilon_n)\) with \(\epsilon_n\in \{\pm 1\}\), 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}\). The authors demonstrate their method on a function \(f\) that is not rational and is closely related to a constant in the work of Ramanujan. As a by-product they obtain an elegant reproof of the result (conjectured by V. Arnold) that given an \(n \times n\) integral matrix \(A\) and a prime number \(p\) the trace of \(A^{p^k}\) is congruent to the trace of \(A^{p^{k-1}}\) modulo \(p^k\). | |||
Property / review text: Let \(D\) be an open disk of radius smaller than or equal to 1 in the complex plane and let \(f\) be an analytic function from \(D\) to the complex numbers without zeros in \(D\) and further satisfying \(f(0)=1\) and \(f'(0)=0\). Many constants arising in number theory, especially in analytic number theory, are of the form \(\prod_{p}f(1/p)\) (they usual arise in density problems). The authors present a method to compute such constants with very high numerical accuracy by representing the product as an infinite product involving zeta values evaluated at integers \(\geq 2\). This generalizes work of the reviewer [Manuscr. Math. 101, No. 3, 385--399 (2000; Zbl 1007.11084)], who only considered the case where \(f\) is rational. The starting point of the present investigation is to show that given a sequence of \((\epsilon_n)\) with \(\epsilon_n\in \{\pm 1\}\), 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}\). The authors demonstrate their method on a function \(f\) that is not rational and is closely related to a constant in the work of Ramanujan. As a by-product they obtain an elegant reproof of the result (conjectured by V. Arnold) that given an \(n \times n\) integral matrix \(A\) and a prime number \(p\) the trace of \(A^{p^k}\) is congruent to the trace of \(A^{p^{k-1}}\) modulo \(p^k\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Pieter Moree / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30E10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11Y60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30J99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 40A30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 40A20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11A07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11C20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6348378 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Euler product | |||
Property / zbMATH Keywords: Euler product / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinite products | |||
Property / zbMATH Keywords: infinite products / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
approximating constants | |||
Property / zbMATH Keywords: approximating constants / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
congruences for traces | |||
Property / zbMATH Keywords: congruences for traces / rank | |||
Normal rank |
Revision as of 12:53, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Representations of analytic functions as infinite products and their application to numerical computations |
scientific article |
Statements
Representations of analytic functions as infinite products and their application to numerical computations (English)
0 references
26 September 2014
0 references
Let \(D\) be an open disk of radius smaller than or equal to 1 in the complex plane and let \(f\) be an analytic function from \(D\) to the complex numbers without zeros in \(D\) and further satisfying \(f(0)=1\) and \(f'(0)=0\). Many constants arising in number theory, especially in analytic number theory, are of the form \(\prod_{p}f(1/p)\) (they usual arise in density problems). The authors present a method to compute such constants with very high numerical accuracy by representing the product as an infinite product involving zeta values evaluated at integers \(\geq 2\). This generalizes work of the reviewer [Manuscr. Math. 101, No. 3, 385--399 (2000; Zbl 1007.11084)], who only considered the case where \(f\) is rational. The starting point of the present investigation is to show that given a sequence of \((\epsilon_n)\) with \(\epsilon_n\in \{\pm 1\}\), 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}\). The authors demonstrate their method on a function \(f\) that is not rational and is closely related to a constant in the work of Ramanujan. As a by-product they obtain an elegant reproof of the result (conjectured by V. Arnold) that given an \(n \times n\) integral matrix \(A\) and a prime number \(p\) the trace of \(A^{p^k}\) is congruent to the trace of \(A^{p^{k-1}}\) modulo \(p^k\).
0 references
Euler product
0 references
infinite products
0 references
approximating constants
0 references
congruences for traces
0 references