Ring of periods

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For a more frequently used sense of the word "period" in mathematics, see Periodic function.

In mathematics, a period is a number that can be expressed as an integral of an algebraic function over an algebraic domain. Sums and products of periods remain periods, so the periods form a ring.

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

Definition[edit]

A real number is called a period if it is the difference of volumes of regions of Euclidean space given by polynomial inequalities with rational coefficients. More generally a complex number is called a period if its real and imaginary parts are periods.

The values of absolutely convergent integrals of rational functions with algebraic coefficients, over domains in \mathbb{R}^n given by polynomial inequalities with algebraic coefficients are also periods, since integrals and irrational algebraic numbers are expressible in terms of areas of suitable domains.

Examples[edit]

Besides the algebraic numbers, the following numbers are known to be periods:

An example of real number that is not a period is given by Chaitin's constant Ω. Currently there are no natural examples of computable numbers that have been proved not to be periods, though it is easy to construct artificial examples using Cantor's diagonal argument. Plausible candidates for numbers that are not periods include e, 1/π, and Euler–Mascheroni constant γ.

Purpose of the classification[edit]

The periods are intended to bridge the gap between the algebraic numbers and the transcendental numbers. The class of algebraic numbers is too narrow to include many common mathematical constants, while the set of transcendental numbers is not countable, and its members are not generally computable. The set of all periods is countable, and all periods are computable, and in particular definable.

Conjectures[edit]

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".

Kontsevich and Zagier 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, changes of variables, and the Newton–Leibniz formula

 \int_a^b f'(x) \, dx = f(b) - f(a)

(or, more generally, the Stokes formula).

A useful property of algebraic numbers is that equality between two algebraic expressions can be determined algorithmically. The corresponding problem for periods is open, but the conjecture of Kontsevich and Zagier would at least imply that equality of periods is recursively enumerable: an algorithm which takes two integrals and tries all possible ways to transform one of them into the other one will eventually terminate if the integrals are equal (assuming the conjecture).

It is not expected that Euler's number e and Euler–Mascheroni constant γ are periods. The periods can be extended to exponential periods by permitting the product of an algebraic function and the exponential function of an algebraic function as an integrand. This extension includes all algebraic powers of e, the gamma function of rational arguments, and values of Bessel functions. If, further, Euler's constant is added as a new period, then according to Kontsevich and Zagier "all classical constants are periods in the appropriate sense".

References[edit]

External links[edit]