Namespaces
Variants
Actions

Difference between revisions of "Dirichlet theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(LaTeX part)
(split into sections)
Line 1: Line 1:
Dirichlet's theorem in the theory of Diophantine approximations: For any real number $\alpha$ and any natural number $Q$ there exist integers $a$ and $q$ which satisfy the condition
+
A name referring to several theorems associated with Peter Gustav Lejeune Dirichlet (1805-1859).
 +
 
 +
===Dirichlet's theorem in the theory of Diophantine approximations===
 +
For any real number $\alpha$ and any natural number $Q$ there exist integers $a$ and $q$ which satisfy the condition
 
$$
 
$$
 
|\alpha q - a | < \frac{1}{q}\,,\ \ \ 0 < q \le Q\ .
 
|\alpha q - a | < \frac{1}{q}\,,\ \ \ 0 < q \le Q\ .
Line 15: Line 18:
 
''V.I. Bernik''
 
''V.I. Bernik''
  
Dirichlet's unit theorem. A theorem describing the structure of the multiplicative group of units of an algebraic number field; obtained by P.G.L. Dirichlet [[#References|[1]]].
+
===Dirichlet's unit theorem===
 +
A theorem describing the structure of the multiplicative group of units of an algebraic number field; obtained by P.G.L. Dirichlet [[#References|[1]]].
  
 
Each algebraic number field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294011.png" /> of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294012.png" /> over the field of rational numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294013.png" /> has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294014.png" /> different isomorphisms into the field of complex numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294015.png" />. If under the isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294016.png" /> the image of the field is contained in the field of real numbers, this isomorphism is said to be real; otherwise it is said to be complex. Each complex isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294017.png" /> has a complex conjugate isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294018.png" />, defined by the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294019.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294020.png" />. In this way the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294021.png" /> may be represented as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294022.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294023.png" /> is the number of real and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294024.png" /> is the number of complex isomorphisms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294025.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294026.png" />.
 
Each algebraic number field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294011.png" /> of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294012.png" /> over the field of rational numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294013.png" /> has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294014.png" /> different isomorphisms into the field of complex numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294015.png" />. If under the isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294016.png" /> the image of the field is contained in the field of real numbers, this isomorphism is said to be real; otherwise it is said to be complex. Each complex isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294017.png" /> has a complex conjugate isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294018.png" />, defined by the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294019.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294020.png" />. In this way the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294021.png" /> may be represented as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294022.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294023.png" /> is the number of real and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294024.png" /> is the number of complex isomorphisms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294025.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294026.png" />.
Line 30: Line 34:
 
''S.A. Stepanov''
 
''S.A. Stepanov''
  
Dirichlet's theorem on prime numbers in an arithmetical progression: Each arithmetical progression whose first term and difference are relatively prime contains an infinite number of prime numbers. It was in fact proved by P.G.L. Dirichlet [[#References|[1]]] that for any given relatively prime numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294043.png" />,
+
===Dirichlet's theorem on prime numbers in an arithmetical progression===
 +
Each arithmetical progression whose first term and difference are relatively prime contains an infinite number of prime numbers. It was in fact proved by P.G.L. Dirichlet [[#References|[1]]] that for any given relatively prime numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294043.png" />,
  
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294044.png" /></td> </tr></table>
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294044.png" /></td> </tr></table>
Line 55: Line 60:
 
''V.G. Sprindzhuk''
 
''V.G. Sprindzhuk''
  
Dirichlet's theorem on Fourier series: If a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294076.png" />-periodic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294077.png" /> is piecewise monotone on the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294078.png" /> and has at most finitely many discontinuity points on it, i.e. if the so-called Dirichlet conditions are satisfied, then its trigonometric Fourier series converges to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294079.png" /> at each continuity point and to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294080.png" /> at each discontinuity point. First demonstrated by P.G.L. Dirichlet [[#References|[1]]]. Dirichlet's theorem was generalized by C. Jordan [[#References|[3]]] to functions of bounded variation.
+
===Dirichlet's theorem on Fourier series===
 +
If a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294076.png" />-periodic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294077.png" /> is piecewise monotone on the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294078.png" /> and has at most finitely many discontinuity points on it, i.e. if the so-called Dirichlet conditions are satisfied, then its trigonometric Fourier series converges to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294079.png" /> at each continuity point and to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032940/d03294080.png" /> at each discontinuity point. First demonstrated by P.G.L. Dirichlet [[#References|[1]]]. Dirichlet's theorem was generalized by C. Jordan [[#References|[3]]] to functions of bounded variation.
  
 
====References====
 
====References====

Revision as of 17:16, 17 October 2014

A name referring to several theorems associated with Peter Gustav Lejeune Dirichlet (1805-1859).

Dirichlet's theorem in the theory of Diophantine approximations

For any real number $\alpha$ and any natural number $Q$ there exist integers $a$ and $q$ which satisfy the condition $$ |\alpha q - a | < \frac{1}{q}\,,\ \ \ 0 < q \le Q\ . $$ With the aid of the Dirichlet box principle a more general theorem can be demonstrated: For any real numbers $\alpha_1,\ldots,\alpha_n$ and any natural number $Q$ there exist integers $a_1,\ldots,a_n$ and $q$ such that $$ \max(|\alpha_1 q - a_1|,\ldots,|\alpha_n q - a_n|) < \frac{1}{Q^{1/n}}\,,\ \ \ 0 < q \le Q\ . $$

References

[1] J.W.S. Cassels, "An introduction to diophantine approximation" , Cambridge Univ. Press (1957)

V.I. Bernik

Dirichlet's unit theorem

A theorem describing the structure of the multiplicative group of units of an algebraic number field; obtained by P.G.L. Dirichlet [1].

Each algebraic number field of degree over the field of rational numbers has different isomorphisms into the field of complex numbers . If under the isomorphism the image of the field is contained in the field of real numbers, this isomorphism is said to be real; otherwise it is said to be complex. Each complex isomorphism has a complex conjugate isomorphism , defined by the equation , . In this way the number may be represented as , where is the number of real and is the number of complex isomorphisms of into .

Dirichlet's theorem: In an arbitrary order of an algebraic number field of degree there exist units such that any unit is uniquely representable as a product

where are integers and is some root of unity contained in . The units , the existence of which is established by Dirichlet's theorem, are said to be the basic units of the order . In particular, the basic units of the maximal order of the field , i.e. the ring of integers of , are usually called basic units of the algebraic number field .

References

[1] P.G.L. Dirichlet, "Werke" , 1 , Springer (1889)
[2] Z.I. Borevich, I.R. Shafarevich, "Number theory" , Acad. Press (1966) (Translated from Russian) (German translation: Birkhäuser, 1966)

S.A. Stepanov

Dirichlet's theorem on prime numbers in an arithmetical progression

Each arithmetical progression whose first term and difference are relatively prime contains an infinite number of prime numbers. It was in fact proved by P.G.L. Dirichlet [1] that for any given relatively prime numbers ,

where the summation is effected over all prime numbers subject to the condition () and is Euler's function. This relation may be interpreted as the law of uniform distribution of prime numbers over the residue classes (), since

where the summation is extended over all prime numbers.

Let be an integer and let be the amount of prime numbers subject to the condition (), where and and are relatively prime. Then

where the estimate of the remainder is uniform in for any given , and is a magnitude which depends only on (non-effectively). This is the modern form of Dirichlet's theorem, which immediately indicates the nature of the distribution of the prime numbers () in the series of natural numbers. It is believed (the extended Riemann hypothesis) that, for given relatively prime and and any integer ,

where is arbitrary, while is a magnitude depending on and .

References

[1] P.G.L. Dirichlet, "Vorlesungen über Zahlentheorie" , Vieweg (1894)
[2] K. Prachar, "Primzahlverteilung" , Springer (1957)
[3] A.A. Karatsuba, "Fundamentals of analytic number theory" , Moscow (1975) (In Russian)

V.G. Sprindzhuk

Dirichlet's theorem on Fourier series

If a -periodic function is piecewise monotone on the segment and has at most finitely many discontinuity points on it, i.e. if the so-called Dirichlet conditions are satisfied, then its trigonometric Fourier series converges to at each continuity point and to at each discontinuity point. First demonstrated by P.G.L. Dirichlet [1]. Dirichlet's theorem was generalized by C. Jordan [3] to functions of bounded variation.

References

[1] P.G.L. Dirichlet, "Sur la convergence des series trigonométriques qui servent à représenter une fonction arbitraire entre des limites donnés" J. Math. , 4 (1829) pp. 157–169
[2] P.G.L. Dirichlet, "Werke" , 1 , Springer (1889)
[3] C. Jordan, C.R. Acad. Sci. , 92 (1881) pp. 228–230
[4] N.K. [N.K. Bari] Bary, "A treatise on trigonometric series" , Pergamon (1964) (Translated from Russian)
[5] A. Zygmund, "Trigonometric series" , 1 , Cambridge Univ. Press (1988)
How to Cite This Entry:
Dirichlet theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dirichlet_theorem&oldid=33718
This article was adapted from an original article by T.P. Lukashenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article