On a certain class of infinite products with an application to arithmetical semigroups
type: Item
instance of: scholarly article
title: On a certain class of infinite products with an application to arithmetical semigroups
zbMATH Open document ID: 0708.11041
DOI: 10.1007/BF01200088
author: K.-H. Indlekofer
author: Richard Warlimont
author: Eugenijus Manstavičius
published in: Archiv der Mathematik
publication date: 1991-01-01T00:00:00Z
review text: Let \(\{\pi (n)\}_{n\in {\mathbb{N}}}\) be a sequence of real numbers such that \(\pi (n)\ll q^ n\) holds for all \(n\in {\mathbb{N}}\) with some constant \(q>1\). Then the function \[ f(z):=\prod^{\infty}_{n=1}(1-z^ n)^{- \pi (n)}=1+\sum^{\infty}_{n=1}\gamma (n)z^ n \] is holomorphic for \(| z| <q^{-1}\), and the relations \[ \pi (n)\in {\mathbb{Z}}\text{ for all } n\in {\mathbb{N}}\quad \Leftrightarrow \quad \gamma (n)\in {\mathbb{Z}}\text{ for all } n\in {\mathbb{N}} \] and \[ \pi (n)>0\text{ for all } n\in {\mathbb{N}}\quad \Leftrightarrow \quad \gamma (n)>\pi (n)\text{ for all } n\in {\mathbb{N}} \] hold. The main aim of this paper is to investigate consequences of the following axiom: (V) There is some \(R>q^{-1}\) such that f can be analytically continued on the disc \(| z| <R\) to a meromorphic function which has exactly one pole of order 1 at \(q^{-1}.\) In particular, the following theorems hold. Theorem 1. Let (V) be fulfilled. Put \(\sigma (n):=q^{-n}\sum_{d| n}d\pi (d)\). Then the following two assertions hold: (i) If f has no zeros of modulus 1/q then for every r, \(1/q<r<R\), one has \[ \sigma (n)=1- \sum^{\ell}_{j=1}(qb_ j)^{-n}+O((qr)^{-n}), \] where \(b_ j\) \((1\leq j\leq \ell =\ell (r))\) are the zeros of f with \(1/q<| b_ j| <r\), counted according to their multiplicities. (ii) If \(\pi\) (n)\(\geq 0\) for all n, and if f has zeros of modulus 1/q then f has exactly one zero in the disc \(| z| <R\). It is located at -1/q and has order 1. By an example it is shown that the case (ii) of Theorem 1 can occur. A necessary condition for f(z) having a zero at \(-q^{-1}\) is given in Theorem 2. Assume (V) with \(R\geq q^{-1/2}\), and let \(\pi (n)\in {\mathbb{N}}_ 0\) for all n. Then, if \(f(-q^{-1})=0\), we have \[ f(x)f(- x)\gg (1-q^{1/2}x)^{-1}\text{ for } x\to q^{-1/2},\quad 0<x<q^{- 1/2}. \] As an application to arithmetical semigroups the above results give a correct version of the ``abstract prime number theorem'' of \textit{J. Knopfmacher} [``Ana…
Mathematics Subject Classification ID: 11M99
Mathematics Subject Classification ID: 30B50
zbMATH DE Number: 4163005
zbMATH Keywords: arithmetical semigroups
zbMATH Keywords: abstract prime number theorem
MaRDI profile type: MaRDI publication profile
cites work: The function field abstract prime number theorem
cites work: The abstract prime number theorem for function fields
cites work: Q4198823
full work available at URL: https://doi.org/10.1007/bf01200088
OpenAlex ID: W1983416860
Recommended article: Q3211412
Recommended article: The function field abstract prime number theorem
Recommended article: The prime element theorem in additive arithmetic semigroups. I
Recommended article: Arithmetical semigroups. V: Multiplicative functions
Recommended article: The abstract prime number theorem for function fields
description: scientific article; zbMATH DE number 4163005