Dirichlet series

from Wikipedia, the free encyclopedia

Dirichlet series , named after Peter Gustav Lejeune Dirichlet , are series that are used in analytical number theory to investigate number theoretic functions with methods from analysis , especially function theory. Many open number theoretic questions have become accessible to an "approximate solution" (through estimates) through this connection, such as questions about the distribution of prime numbers .

Convergent Dirichlet series are also interesting as analytical functions , detached from number theoretic problems, as an object of investigation, as they are closely related to power series and allow a similarly “natural” representation of analytical functions.

Definition and formal characteristics

A Dirichlet series is a series of form

With

This series converges absolutely for certain coefficient sequences and complex numbers . The product of two such absolutely convergent Dirichlet series is again an absolutely convergent Dirichlet series, the coefficients result from the convolution of the coefficient sequences as number-theoretic functions . The multiplication of absolutely convergent Dirichlet series corresponds to the convolution of their coefficients.

Occasionally one can find the more general definition in the literature ( e.g. in Zagier )

With

With this you get the first definition again, with you get

with ,

thus an ordinary power series .

The space of the formal Dirichlet series is provided with a multiplication by transferring the multiplication rule valid for absolutely convergent series to any (including non-convergent) Dirichlet series (for this construction, compare the analogous concept formation formal power series ).

This makes the space of the formal Dirichlet series with pointwise addition, scalar multiplication and convolution isomorphic (as a ring and algebra ) to the number-theoretic functions and inherits all structural properties of this space.

Isomorphism assigns the formal Dirichlet series to every number-theoretic function , whose coefficient sequence it is. This Dirichlet series is then called the Dirichlet series generated by .

Identity set

If two ordinary Dirichlet series and , both of which converge on a half-plane , agree on an open subset , then it already follows that they are completely identical and that all of their coefficients agree exactly. Then we have so and for all .

Convergent Dirichlet series

For every Dirichlet series that converges somewhere, but not everywhere, there is a real number , so that the series converges in the half plane ( is the real part of ) and diverges in the half plane . No general statement can be made about the behavior on the straight . If the Dirichlet series converges everywhere or nowhere, or is set and in all cases the convergence is called the abscissa of the Dirichlet series.

Similar to how the radius of convergence can be calculated in the case of power series , in the case of Dirichlet series the convergence abscissa with a limit superior can also be determined from their coefficient sequence:

Is divergent, so is

.

If, however, is convergent, then is

.

Analytical properties

In its half-plane of convergence , the Dirichlet series is compactly convergent and represents a holomorphic function there .

The derivatives of the holomorphic function determined in this way can be obtained by differentiation by term. Its -th derivative is the Dirichlet series

.

Euler products

Dirichlet series with multiplicative number theoretic functions as coefficients can be represented as Euler products. If it is a multiplicative number theoretic function and the Dirichlet series F ( s ) it generates converges absolutely for the complex number s , then the following applies

.

In the case of a fully multiplicative function, this product is simplified to

.

These infinite products over all prime numbers are called Euler products. The value of these products is defined as the limit of the sequence of finite products , which is created by this product on prime numbers below a barrier N extends.

Important Dirichlet series

Riemann ζ function

The most famous Dirichlet series is the Riemann ζ function:

.

It is generated by the number-theoretic 1-function (with for all ). Since this function is completely multiplicative, the zeta function has the Euler product representation

Dirichlet series of the divider function

The divisor function (also more precisely the number of divisors function ) , which assigns the number of its positive factors to a natural number , is the "convolution square" of the 1 function.

,

the Dirichlet series assigned to it is therefore the square of the zeta function:

.

Dirichlet series of the Möbius function

The Möbius function is multiplicative with for . So the Dirichlet series generated by it has the Euler product

.

The relation is transferred to the associated number theoretic functions and means there:

.

Dirichletsche L-rows

The L series also introduced by Dirichlet

are generated by a Dirichlet character . These series play an important role in the proof of Dirichlet's theorem about the existence of an infinite number of prime numbers in arithmetic progressions . Since Dirichlet characters are completely multiplicative, the L-series can be represented as Euler products

and for the main character modulo k applies:

The L-series generalize the Riemann zeta function. → About the zeros of L-series there is the generalized Riemann Hypothesis, which has not yet been proven .

Hecke gave a generalization with size characters instead of Dirichlet characters (also called Hecke L-series, but see below for a further definition).

Dirichlet series of the Mangoldt function

The von Mangoldt function plays a role in proving the prime number theorem . This number theoretic function is defined as

,

the Dirichlet series it generates can be expressed using the zeta function:

.

Dirichlet's lambda function

The Dirichlet lambda function is the L series that goes through

is defined.

It can be represented by the Riemann zeta function as

It can be calculated in closed form at the points where this is possible for the zeta function, i.e. for even positive numbers.The following relationship exists with the Dirichlet eta function :

Dirichlet series of Euler's φ-function

The Euler φ function is multiplicative with

for .

The Euler product of the Dirichlet series generated by it is

.

Dirichlet series of the generalized partial sum function

The generalized divisional sum function is multiplicative and for prime powers is

.

Hence the Dirichlet series of has the Euler product representation:

Dirichlet series and modular forms

Erich Hecke found a connection (Hecke correspondence) between Dirichlet series, which satisfy certain Euler product and functional equations, and modular forms , see Hecke operator . The Hecke L-rows defined by him are formed with the Fourier coefficients of the modular shapes. However, these are to be distinguished from the Dirichlet series, which are similar to Dirichlet L series and are also called Hecke L series, with size characters according to Hecke.

folding

The convolution of two number theoretic functions induces a formal ring homomorphism from the ring of number theoretic functions into the ring of formal Dirichlet series via

wherein the at corresponding Dirichlet rows designate.

example

One finds, for example, the relation:

where is the number of divisors function that counts how many natural factors a number has. This result is obtained by systematically multiplying the square of the Dirichlet series of the zeta function. Since it is the product of two (convergent) Dirichlet series, it can, as described above, again be represented by a Dirichlet series.

The Dirichlet series generated from this convolution now has a new number theoretic function, which is referred to as. The sum index is chosen as to avoid confusion. The penultimate step of the evaluation now shows that the value of can be obtained from the number of all natural number pairs for which applies. This reduces the question of the value of to how many factors the number in question has.

See also

Web links

literature