Representations of analytic functions as infinite products and their application to numerical computations (Q457032): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2593997777 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1202.1335 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3724706 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4218535 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The matrix Euler-Fermat theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the matricial version of Fermat-Euler congruences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3066834 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934484 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the analytic continuation of Eulerian products / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4936071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalizations of Arnold's version of Euler's theorem for matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Approximation of singular series and automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The product over all primes is \(4\pi^{2}\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5766728 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On some number-theoretic conjectures of V. Arnold / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On matrix analogs of Fermat's little theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On congruences for the traces of powers of some matrices / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 02:50, 9 July 2024
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