Namespaces
Variants
Actions

Difference between revisions of "Arithmetic function"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
 +
{{TEX|done}}
 
''number-theoretic function''
 
''number-theoretic function''
  
A complex-valued function, the domain of definition of which is one of the following sets: the set of natural numbers, the set of rational integers, the set of integral ideals of a given algebraic number field, a lattice in a multi-dimensional coordinate space, etc. These are arithmetic functions in the wide sense. However, the term is often employed to denote a function of the above type with special arithmetic properties. The most commonly occurring arithmetic functions have traditional symbolic notations: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a0133001.png" /> is the [[Euler function|Euler function]]; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a0133002.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a0133003.png" /> is the [[Number of divisors|number of divisors]]; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a0133004.png" /> is the [[Möbius function|Möbius function]]; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a0133005.png" /> is the [[Mangoldt function|Mangoldt function]]; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a0133006.png" /> is the sum of divisors of the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a0133007.png" />. Arithmetic functions also include the integral part of a number, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a0133008.png" />, and the fractional part of a number, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a0133009.png" />. Arithmetic functions giving the number of solutions of an equation are also studied; for example, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330010.png" /> is the number of integer solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330012.png" /> of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330013.png" /> in the [[Goldbach problem|Goldbach problem]]; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330014.png" /> is the number of solutions in prime numbers of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330015.png" />. Other arithmetic functions express the quantity of numbers satisfying certain conditions; thus, for instance, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330016.png" /> — the number of primes not larger than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330017.png" /> — describes the distribution of primes; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330018.png" /> gives the number of primes not larger than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330019.png" /> in the arithmetic progression <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330020.png" />. The Chebyshev functions also deal with properties of primes: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330021.png" /> is the sum of the natural logarithms of the prime numbers up to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330022.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330023.png" /> (cf. [[Chebyshev function|Chebyshev function]]).
+
A complex-valued function, the domain of definition of which is one of the following sets: the set of natural numbers, the set of rational integers, the set of integral ideals of a given algebraic number field, a lattice in a multi-dimensional coordinate space, etc. These are arithmetic functions in the wide sense. However, the term is often employed to denote a function of the above type with special arithmetic properties. The most commonly occurring arithmetic functions have traditional symbolic notations: $\phi(n)$ is the [[Euler function|Euler function]]; $d(n)$ or $\tau(n)$ is the [[Number of divisors|number of divisors]]; $\mu(n)$ is the [[Möbius function|Möbius function]]; $\Lambda(n)$ is the [[Mangoldt function|Mangoldt function]]; $\sigma(n)$ is the sum of divisors of the number $n$. Arithmetic functions also include the integral part of a number, $[x]$, and the fractional part of a number, $\{x\}$. Arithmetic functions giving the number of solutions of an equation are also studied; for example, $r(n)$ is the number of integer solutions $x$ and $y$ of the equation $x^2+y^2=n$ in the [[Goldbach problem|Goldbach problem]]; $J(N)$ is the number of solutions in prime numbers of the equation $N=p_1+p_2+p_3$. Other arithmetic functions express the quantity of numbers satisfying certain conditions; thus, for instance, the function $\pi(x)$ — the number of primes not larger than $x$ — describes the distribution of primes; $\pi(x,q,l)$ gives the number of primes not larger than $x$ in the arithmetic progression $p\equiv l\pmod q$. The Chebyshev functions also deal with properties of primes: $\theta(x)$ is the sum of the natural logarithms of the prime numbers up to $x$, while $\psi(x)=\sum_{n\leq x}\Lambda(n)$ (cf. [[Chebyshev function|Chebyshev function]]).
  
Algebraic number theory deals with generalizations of the above arithmetic functions of a natural argument. Thus, for instance, in an algebraic field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330024.png" /> of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330025.png" />, Euler's function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330026.png" /> — the number of residue classes by the ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330027.png" /> mutually prime with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330028.png" /> — is introduced for an integral ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013300/a01330029.png" />.
+
Algebraic number theory deals with generalizations of the above arithmetic functions of a natural argument. Thus, for instance, in an algebraic field $K$ of degree $n$, Euler's function $\phi(\mathfrak U)$ — the number of residue classes by the ideal $\mathfrak U$ mutually prime with $\mathfrak U$ — is introduced for an integral ideal $\mathfrak U$.
  
 
Arithmetic functions appear and are employed in studies on the properties of numbers. However, the theory of arithmetic functions is also of independent interest. The laws governing the variations of arithmetic functions cannot usually be described by simple formulas, and the asymptotic behaviour in terms of numerical functions is determined. Since many arithmetic functions are not monotone, the study of their average values is of great importance. An important class of arithmetic functions is constituted by the multiplicative arithmetic functions and the additive arithmetic functions (cf. [[Multiplicative arithmetic function|Multiplicative arithmetic function]]; [[Additive arithmetic function|Additive arithmetic function]]). The problem of the distribution of their values is studied in probabilistic number theory [[#References|[5]]].
 
Arithmetic functions appear and are employed in studies on the properties of numbers. However, the theory of arithmetic functions is also of independent interest. The laws governing the variations of arithmetic functions cannot usually be described by simple formulas, and the asymptotic behaviour in terms of numerical functions is determined. Since many arithmetic functions are not monotone, the study of their average values is of great importance. An important class of arithmetic functions is constituted by the multiplicative arithmetic functions and the additive arithmetic functions (cf. [[Multiplicative arithmetic function|Multiplicative arithmetic function]]; [[Additive arithmetic function|Additive arithmetic function]]). The problem of the distribution of their values is studied in probabilistic number theory [[#References|[5]]].

Revision as of 11:39, 27 October 2014

number-theoretic function

A complex-valued function, the domain of definition of which is one of the following sets: the set of natural numbers, the set of rational integers, the set of integral ideals of a given algebraic number field, a lattice in a multi-dimensional coordinate space, etc. These are arithmetic functions in the wide sense. However, the term is often employed to denote a function of the above type with special arithmetic properties. The most commonly occurring arithmetic functions have traditional symbolic notations: $\phi(n)$ is the Euler function; $d(n)$ or $\tau(n)$ is the number of divisors; $\mu(n)$ is the Möbius function; $\Lambda(n)$ is the Mangoldt function; $\sigma(n)$ is the sum of divisors of the number $n$. Arithmetic functions also include the integral part of a number, $[x]$, and the fractional part of a number, $\{x\}$. Arithmetic functions giving the number of solutions of an equation are also studied; for example, $r(n)$ is the number of integer solutions $x$ and $y$ of the equation $x^2+y^2=n$ in the Goldbach problem; $J(N)$ is the number of solutions in prime numbers of the equation $N=p_1+p_2+p_3$. Other arithmetic functions express the quantity of numbers satisfying certain conditions; thus, for instance, the function $\pi(x)$ — the number of primes not larger than $x$ — describes the distribution of primes; $\pi(x,q,l)$ gives the number of primes not larger than $x$ in the arithmetic progression $p\equiv l\pmod q$. The Chebyshev functions also deal with properties of primes: $\theta(x)$ is the sum of the natural logarithms of the prime numbers up to $x$, while $\psi(x)=\sum_{n\leq x}\Lambda(n)$ (cf. Chebyshev function).

Algebraic number theory deals with generalizations of the above arithmetic functions of a natural argument. Thus, for instance, in an algebraic field $K$ of degree $n$, Euler's function $\phi(\mathfrak U)$ — the number of residue classes by the ideal $\mathfrak U$ mutually prime with $\mathfrak U$ — is introduced for an integral ideal $\mathfrak U$.

Arithmetic functions appear and are employed in studies on the properties of numbers. However, the theory of arithmetic functions is also of independent interest. The laws governing the variations of arithmetic functions cannot usually be described by simple formulas, and the asymptotic behaviour in terms of numerical functions is determined. Since many arithmetic functions are not monotone, the study of their average values is of great importance. An important class of arithmetic functions is constituted by the multiplicative arithmetic functions and the additive arithmetic functions (cf. Multiplicative arithmetic function; Additive arithmetic function). The problem of the distribution of their values is studied in probabilistic number theory [5].

References

[1] I.M. [I.M. Vinogradov] Winogradow, "Elemente der Zahlentheorie" , R. Oldenbourg (1956) (Translated from Russian)
[2] I.M. Vinogradov, "The method of trigonometric sums in the theory of numbers" , Interscience (1954) (Translated from Russian)
[3] L.-K. Hua, "Abschätzungen von Exponentialsummen und ihre Anwendung in der Zahlentheorie" , Enzyklopaedie der Mathematischen Wissenschaften mit Einschluss ihrer Anwendungen , 1 : 2 (1959) (Heft 13, Teil 1)
[4] K. Chandrasekharan, "Arithmetical functions" , Springer (1970)
[5] I. Kubilyus, "Probabilistic methods in the theory of numbers" , Amer. Math. Soc. (1964) (Translated from Russian)


Comments

References

[a1] G.H. Hardy, E.M. Wright, "An introduction to the theory of numbers" , Oxford Univ. Press (1979) pp. Chapt.16
How to Cite This Entry:
Arithmetic function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Arithmetic_function&oldid=19149
This article was adapted from an original article by N.I. Klimov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article