Dirichlet density

Dirichlet density

In mathematics, the Dirichlet density (or analytic density) of a set of primes, named after Johann Gustav Dirichlet, is a measure of the size of the set that is easier to use than the natural density.

Contents

Definition

If A is a subset of the prime numbers, the Dirichlet density of A is the limit

 \lim_{s\rightarrow 1^+}{\sum_{p\in A}{1\over p^s}\over |\log(\frac{1}{s-1})|}

if the limit exists. This expression is usually the order of the "pole" of

\prod_{p\in A}{1\over 1-p^{-s}}

at s = 1, (though in general it is not really a pole as it has non-integral order), at least if the function on the right is a holomorphic function times a (real) power of s−1 near s = 1. For example, if A is the set of all primes, the function on the right is the Riemann zeta function which has a pole of order 1 at 0, so the set of all primes has Dirichlet density 1.

More generally, one can define the Dirichlet density of a sequence of primes (or prime powers), possibly with repetitions, in the same way.

Properties

If a subset of primes A has a natural density, given by the limit of

(number of elements of A less than N)/(number of primes less than N)

then it also has a Dirichlet density, and the two densities are the same. However it is usually easier to show that a set of primes has a Dirichlet density, and this is good enough for many purposes. For example, in proving Dirichlet's theorem on arithmetic progressions, it is easy to show that the Dirichlet density of primes in an arithmetic progression a + nb (for ab coprime) has Dirichlet density 1/φ(b), which is enough to show that there are an infinite number of such primes, but harder to show that this is the natural density.

Roughly speaking, proving that some set of primes has a non-zero Dirichlet density usually involves showing that certain L-functions do not vanish at the point s = 1, while showing that they have a natural density involves showing that the L-functions have no zeros on the line Re(s) = 1.

In practice, if some "naturally occurring" set of primes has a Dirichlet density, then it also has a natural density, but it is possible to find artificial counterexamples: for example, the set of primes whose first decimal digit is 1 has no natural density, but has Dirichlet density log(2)/log(10)[1].

Notes

  1. ^ This is attributed by J.-P. Serre to a private communication from Bombieri in A course in arithmetic; an elementary proof based on the prime number theorem is given in: A. Fuchs, G. Letta, Le problème du premier chiffre décimal pour les nombres premiers [The first digit problem for primes] (French) The Foata Festschrift. Electron. J. Combin. 3 (1996), no. 2.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Dirichlet distribution — Several images of the probability density of the Dirichlet distribution when K=3 for various parameter vectors α. Clockwise from top left: α=(6, 2, 2), (3, 7, 5), (6, 2, 6), (2, 3, 4). In probability and… …   Wikipedia

  • Dirichlet process — In probability theory, a Dirichlet process is a stochastic process that can be thought of as a probability distribution whose domain is itself a random distribution. That is, given a Dirichlet process , where H (the base distribution) is an… …   Wikipedia

  • Dirichlet eigenvalue — In mathematics, the Dirichlet eigenvalues are the fundamental modes of vibration of an idealized drum with a given shape. The problem of whether one can hear the shape of a drum is: given the Dirichlet eigenvalues, what features of the shape of… …   Wikipedia

  • Dirichlet's theorem on arithmetic progressions — In number theory, Dirichlet s theorem, also called the Dirichlet prime number theorem, states that for any two positive coprime integers a and d, there are infinitely many primes of the form a + nd, where n ≥ 0. In other… …   Wikipedia

  • Dirichlet's unit theorem — In mathematics, Dirichlet s unit theorem is a basic result in algebraic number theory due to Gustav Lejeune Dirichlet.[1] It determines the rank of the group of units in the ring OK of algebraic integers of a number field K. The regulator is a… …   Wikipedia

  • Chebotarev's density theorem — in algebraic number theory describes statistically the splitting of primes in a given Galois extension K of the field Q of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic… …   Wikipedia

  • Generalized Dirichlet distribution — In statistics, the generalized Dirichlet distribution (GD) is a generalization of the Dirichlet distribution with a more general covariance structure and twice the number of parameters. Random variables with a GD distribution are neutral [R. J.… …   Wikipedia

  • 11665 Dirichlet — Infobox Planet minorplanet = yes width = 25em bgcolour = #FFFFC0 apsis = name = Dirichlet symbol = caption = discovery = yes discovery ref = discoverer = P. G. Comba discovery site = Prescott discovered = April 14, 1997 designations = yes mp name …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • Class formation — In mathematics, a class formation is a structure used to organize the various Galois groups and modules that appear in class field theory. They were invented by Emil Artin and John Tate. Contents 1 Definitions 2 Examples of class formations 3 The …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”