Period (number theory)

For a more frequently used sense of the word "period" in mathematics, see Periodic function.

The rational numbers $\mathbb {Q}$, algebraic numbers $\mathbb {A}$, algebraic periods ${\mathcal {P}}$ and exponential periods ${\mathcal {EP}}$ as subsets of the complex numbers $\mathbb {C}$.

In mathematics, a period, or algebraic period, is a complex number that can be expressed as an integral of an algebraic function over an algebraic domain. The periods are a class of numbers which includes, alongside the algebraic numbers, many well known mathematical constants such as the number π. Sums and products of periods remain periods, so that the periods form a ring, commonly denoted ⁠${\mathcal {P}}$⁠.

Maxim Kontsevich and Don Zagier gave a survey of periods and introduced some conjectures about them.

Periods play an important role in the theory of differential equations and transcendental numbers as well as in open problems of modern arithmetic geometry. They also appear when computing the integrals that arise from Feynman diagrams, and there has been intensive work trying to understand the connections.

Definition

A number $\alpha$ is a period if it can be expressed as an integral of the form

$\alpha =\int _{P(x_{1},\ldots ,x_{n})\geq 0}Q(x_{1},\ldots ,x_{n})\ \mathrm {d} x_{1}\ldots \mathrm {d} x_{n},$

where $P$ is a polynomial and $Q$ a rational function on $\mathbb {R} ^{n}$ with rational coefficients. A complex number is a period if its real and imaginary parts are periods.

An equivalent definition allows $P$ and $Q$ to be algebraic functions. The coefficients of the rational functions and polynomials can also be generalized to algebraic numbers because irrational algebraic numbers are expressible in terms of areas of suitable domains.

In the other direction, $Q$ can be restricted to be the constant function $1$ or $-1$, by replacing the integrand with an integral of $\pm 1$ over a region defined by a polynomial in additional variables.

In other words, a (nonnegative) period is the volume of a region in $\mathbb {R} ^{n}$ defined by polynomial inequalities with rational coefficients.

Properties and motivation

Periods are intended to bridge the gap between the countable algebraic numbers, whose properties have been well-studied, and transcendental numbers, which are uncountable and hard to describe apart from a very few specific examples. The latter are also not generally computable. Periods include some of those transcendental numbers that can be described in an algorithmic way and only contain a finite amount of information.

The ring of periods ${\mathcal {P}}$ lies in between the fields of algebraic numbers $\mathbb {\overline {Q}}$ and complex numbers $\mathbb {C}$ and is countable. The periods themselves are all computable, and in particular definable.

Numbers known to be periods

The following numbers are among the ones known to be periods:

Number	Example of period integral
Any algebraic number $\alpha$.	$\alpha =\int _{0}^{\alpha }\mathrm {d} x$
The natural logarithm of any positive algebraic number $\alpha >0$.	$\ln(\alpha )=\int _{1}^{\alpha }{\frac {1}{x}}\ \mathrm {d} x$
The inverse trigonometric functions at algebraic numbers $\alpha$ in their domain.	$\arctan(\alpha )=\int _{0}^{\alpha }{\frac {1}{1+x^{2}}}\ \mathrm {d} x$
The inverse hyperbolic functions at algebraic numbers $\alpha$ in their domain.	${\text{artanh}}(\alpha )=\int _{0}^{\alpha }{\frac {1}{1-x^{2}}}\ \mathrm {d} x$
The number π.	$\pi =\int _{0}^{1}{\frac {4}{x^{2}+1}}\ \mathrm {d} x$
Integer values of the Riemann zeta function $\zeta (s)$ for $s\geq 2$ as well as several multiple zeta values. In particular, even powers $\pi ^{2n}$ and Apéry's constant $\zeta (3)$.	$\zeta (3)=\int _{0}^{1}\int _{0}^{1}\int _{0}^{1}{\frac {\mathrm {d} x\mathrm {d} y\mathrm {d} z}{1-xyz}}$
Integer values of the Dirichlet beta function $\beta (s)$. In particular, odd powers $\pi ^{2n+1}$ and Catalan's constant $G$.	$G=\int _{0}^{1}\int _{0}^{1}{\frac {\mathrm {d} x\mathrm {d} y}{1+x^{2}y^{2}}}$
Certain values of the Clausen function ${\text{Cl}}_{2}(z)$ at rational multiples of $\pi$; in particular, the Gieseking constant ${\text{Cl}}_{2}({\tfrac {1}{3}}\pi )$.	${\text{Cl}}_{2}({\tfrac {1}{3}}\pi )=2\int _{0}^{1}\int _{1}^{1+y}{\frac {\mathrm {d} x\mathrm {d} y}{x{\sqrt {(1-y)(3+y)}}}}$
Rational values of the polygamma function $\psi _{m}(z)$ for $z\in \mathbb {Q} ^{+}$ in its domain and $m\in \mathbb {Z} ^{+}$.	$\psi _{m}(z)=-\int _{0}^{1}{\frac {y^{z-1}}{1-y}}\left[\int _{1}^{y}{\frac {\mathrm {d} x}{x}}\right]^{m}\,\mathrm {d} y$
The polylogarithm ${\text{Li}}_{s}(\alpha )$ at algebraic numbers $\alpha$ in its domain and $s\in \mathbb {Z} ^{+}$.	${\text{Li}}_{2}(\alpha )=-\int _{0}^{\alpha }\int _{1}^{1-y}{\frac {1}{xy}}\ \mathrm {d} x\mathrm {d} y$
The inverse tangent integral ${\text{Ti}}_{n}(\alpha )$ at algebraic numbers $\alpha$ in its domain and $n\in \mathbb {Z} ^{+}$.	${\text{Ti}}_{2}(\alpha )=\int _{0}^{\alpha }\int _{0}^{y}{\frac {1}{y(1+x^{2})}}\ \mathrm {d} x\mathrm {d} y$
Values of elliptic integrals with algebraic bounds; in particular, the perimeter $P$ of an ellipse with algebraic radii $a$ and $b$.	$P=\int _{-b}^{b}{\sqrt {1+{\frac {a^{2}x^{2}}{b^{4}-b^{2}x^{2}}}}}\,\mathrm {d} x$
Several numbers related to the gamma and beta functions, such as values $\Gamma (p/q)^{q}$ for $p,q\in \mathbb {Z} ^{+}$ and $\mathrm {B} ({\tfrac {1}{n}},{\tfrac {1}{n}})$ for $n\in \mathbb {Z} ^{+}$; in particular, the lemniscate constant $\varpi$.	$\mathrm {B} \left({\tfrac {1}{n}},{\tfrac {1}{n}}\right)=2n\int _{0}^{1}{\sqrt[{n}]{1-x^{n}}}\ \mathrm {d} x$
Special values of hypergeometric functions at algebraic arguments.	$_{2}F_{1}(-{\tfrac {1}{2}},{\tfrac {1}{3}};{\tfrac {4}{3}};-1)={\frac {1}{3}}\int _{0}^{1}{\frac {\sqrt {1+x}}{x^{2/3}}}\mathrm {d} x$
Special values of modular forms at certain arguments.
Sums and products of periods.

Open questions

Many of the constants known to be periods are also given by integrals of transcendental functions. Kontsevich and Zagier note that there "seems to be no universal rule explaining why certain infinite sums or integrals of transcendental functions are periods".

They conjectured that, if a period is given by two different integrals, then each integral can be transformed into the other using only the linearity of integrals (in both the integrand and the domain), changes of variables, and the fundamental theorem of calculus

$\int _{a}^{b}f'(x)\,dx=f(b)-f(a)$

(or, more generally, Stokes' theorem).

A useful property of algebraic numbers is that equality between two algebraic expressions can be determined algorithmically. The conjecture of Kontsevich and Zagier would imply that equality of periods is also decidable: inequality of computable reals is known to be recursively enumerable; conversely, if two integrals agree, then an algorithm could confirm so by trying all possible ways to transform one of them into the other one.

Further open questions consist of proving which known mathematical constants do not belong to the ring of periods. An example of a real number that is not a period is given by Chaitin's constant Ω. Any other non-computable number also gives an example of a real number that is not a period. It is also possible to construct artificial examples of computable numbers which are not periods. However there are no computable numbers proven not to be periods which have not been artificially constructed for that purpose.

It is conjectured that $1/\pi$, Euler's number $e$ and the Euler–Mascheroni constant $\gamma$ are not periods.

Extensions

The ring of periods can be extended to the ring of extended periods ${\hat {\mathcal {P}}}$ by adjoining the element $1/\pi$.

Permitting the integrand $Q$ to be the product of an algebraic function and the exponential of an algebraic function results in another extension: the exponential periods, usually denoted ${\mathcal {EP}}$. They also form a ring and are countable.

The following numbers are among the ones known to be exponential periods:

Number	Example of exponential period integral
Any algebraic period $I\in {\mathcal {P}}$
Numbers of the form $e^{\alpha }$ with $\alpha \in {\overline {\mathbb {Q} }}$. In particular: The number $e$.	$e^{\alpha }=\int _{-\infty }^{\alpha }e^{x}\mathrm {d} x$
The functions $\sin(\alpha )$ and $\cos(\alpha )$ at algebraic values.	$\sin(\alpha )={\frac {1}{2}}\int _{-\alpha }^{\alpha }e^{ix}\mathrm {d} x$
The functions $\sinh(\alpha )$ and $\cosh(\alpha )$ at algebraic values.	$\sinh(\alpha )={\frac {1}{2}}\int _{-\alpha }^{\alpha }e^{x}\mathrm {d} x$
Rational values of the gamma function $\Gamma (p/q)$ with $p,q\in \mathbb {Z} ^{+}$. In particular: ${\sqrt {\pi }}$.	$\Gamma (p/q)=\int _{0}^{\infty }x^{{\frac {p}{q}}-1}e^{-x}\mathrm {d} x$
Euler's constant $\gamma$ and positive rational values of the digamma function $\psi _{0}(p/q)$.	$\gamma =-\int _{0}^{\infty }\int _{1}^{y}{\frac {e^{-y}}{x}}\ \mathrm {d} x\mathrm {d} y$
Algebraic values of the exponential integral and the Gompertz constant $\delta$.	$\delta =\int _{0}^{\infty }{\frac {1}{1+x}}e^{-x}\mathrm {d} x$
Algebraic values of several trigonometric integrals.	${\text{Si}}(\alpha )=\int _{0}^{\alpha }\int _{-y}^{y}{\frac {e^{ix}}{2y}}\mathrm {d} x\mathrm {d} y$
Certain values of Bessel functions.
Sums and products of exponential periods.

See also

• Transcendental number theory
• Mathematical constant
• L-function
• Jacobian variety
• Gauss–Manin connection
• Mixed motives (math)
• Tannakian formalism

Set inclusions between the natural numbers ($\mathbb {N}$), the integers ($\mathbb {Z}$), the rational numbers ($\mathbb {Q}$), the real numbers ($\mathbb {R}$), and the complex numbers ($\mathbb {C}$)

External links

• PlanetMath: Period