In mathematics, the Dirichlet beta function (also known as the Catalan beta function) is a special function, closely related to the Riemann zeta function. It is a particular Dirichlet L-function, the L-function for the alternating character of period four.
The Dirichlet beta function is defined as
or, equivalently,
In each case, it is assumed that Re(s) > 0.
Alternatively, the following definition, in terms of the Hurwitz zeta function, is valid in the whole complex s-plane: [1]
Another equivalent definition, in terms of the Lerch transcendent, is:
which is once again valid for all complex values of s.
The Dirichlet beta function can also be written in terms of the polylogarithm function:
Also the series representation of Dirichlet beta function can be formed in terms of the polygamma function
but this formula is only valid at positive integer values of .
It is also the simplest example of a series non-directly related to which can also be factorized as an Euler product, thus leading to the idea of Dirichlet character defining the exact set of Dirichlet series having a factorization over the prime numbers.
At least for Re(s) ≥ 1:
where p≡1 mod 4 are the primes of the form 4n+1 (5,13,17,...) and p≡3 mod 4 are the primes of the form 4n+3 (3,7,11,...). This can be written compactly as
The functional equation extends the beta function to the left side of the complex plane Re(s) ≤ 0. It is given by
where Γ(s) is the gamma function. It was conjectured by Euler in 1749 and proved by Malmsten in 1842 (see Blagouchine, 2014).
Some special values include:
where G represents Catalan's constant, and
where in the above is an example of the polygamma function.
Hence, the function vanishes for all odd negative integral values of the argument.
For every positive integer k:
where is the Euler zigzag number.
Also it was derived by Malmsten in 1842 (see Blagouchine, 2014) that
s | approximate value β(s) | OEIS |
---|---|---|
1/5 | 0.5737108471859466493572665 | A261624 |
1/4 | 0.5907230564424947318659591 | A261623 |
1/3 | 0.6178550888488520660725389 | A261622 |
1/2 | 0.6676914571896091766586909 | A195103 |
1 | 0.7853981633974483096156608 | A003881 |
2 | 0.9159655941772190150546035 | A006752 |
3 | 0.9689461462593693804836348 | A153071 |
4 | 0.9889445517411053361084226 | A175572 |
5 | 0.9961578280770880640063194 | A175571 |
6 | 0.9986852222184381354416008 | A175570 |
7 | 0.9995545078905399094963465 | |
8 | 0.9998499902468296563380671 | |
9 | 0.9999496841872200898213589 | |
10 | 0.9999831640261968774055407 |
There are zeros at -1; -3; -5; -7 etc.
In mathematics, the gamma function is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer n,
The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter ζ (zeta), is a mathematical function of a complex variable defined as
Integration is the basic operation in integral calculus. While differentiation has straightforward rules by which the derivative of a complicated function can be found by differentiating its simpler component functions, integration does not, so tables of known integrals are often useful. This page lists some of the most common antiderivatives.
In mathematics, the Mellin transform is an integral transform that may be regarded as the multiplicative version of the two-sided Laplace transform. This integral transform is closely connected to the theory of Dirichlet series, and is often used in number theory, mathematical statistics, and the theory of asymptotic expansions; it is closely related to the Laplace transform and the Fourier transform, and the theory of the gamma function and allied special functions.
In mathematics, a Dirichlet L-series is a function of the form
In mathematics, the polygamma function of order m is a meromorphic function on the complex numbers defined as the (m + 1)th derivative of the logarithm of the gamma function:
In mathematics, the digamma function is defined as the logarithmic derivative of the gamma function:
In mathematics, the Hurwitz zeta function is one of the many zeta functions. It is formally defined for complex variables s with Re(s) > 1 and a ≠ 0, −1, −2, … by
In mathematics, in the area of analytic number theory, the Dirichlet eta function is defined by the following Dirichlet series, which converges for any complex number having real part > 0:
In mathematics, the polylogarithm (also known as Jonquière's function, for Alfred Jonquière) is a special function Lis(z) of order s and argument z. Only for special values of s does the polylogarithm reduce to an elementary function such as the natural logarithm or a rational function. In quantum statistics, the polylogarithm function appears as the closed form of integrals of the Fermi–Dirac distribution and the Bose–Einstein distribution, and is also known as the Fermi–Dirac integral or the Bose–Einstein integral. In quantum electrodynamics, polylogarithms of positive integer order arise in the calculation of processes represented by higher-order Feynman diagrams.
In probability theory, a distribution is said to be stable if a linear combination of two independent random variables with this distribution has the same distribution, up to location and scale parameters. A random variable is said to be stable if its distribution is stable. The stable distribution family is also sometimes referred to as the Lévy alpha-stable distribution, after Paul Lévy, the first mathematician to have studied it.
In mathematics, the Legendre chi function is a special function whose Taylor series is also a Dirichlet series, given by
In mathematics, the Stieltjes constants are the numbers that occur in the Laurent series expansion of the Riemann zeta function:
In mathematics, the explicit formulae for L-functions are relations between sums over the complex number zeroes of an L-function and sums over prime powers, introduced by Riemann (1859) for the Riemann zeta function. Such explicit formulae have been applied also to questions on bounding the discriminant of an algebraic number field, and the conductor of a number field.
In mathematics, the Riemann zeta function is a function in complex analysis, which is also important in number theory. It is often denoted ζ(s) and is named after the mathematician Bernhard Riemann. When the argument s is a real number greater than one, the zeta function satisfies the equation
Carl Johan Malmsten was a Swedish mathematician and politician. He is notable for early research into the theory of functions of a complex variable, for the evaluation of several important logarithmic integrals and series, for his studies in the theory of Zeta-function related series and integrals, as well as for helping Mittag-Leffler start the journal Acta Mathematica. Malmsten became Docent in 1840, and then, Professor of mathematics at the Uppsala University in 1842. He was elected a member of the Royal Swedish Academy of Sciences in 1844. He was also a minister without portfolio in 1859–1866 and Governor of Skaraborg County in 1866–1879.
In mathematics, Montgomery's pair correlation conjecture is a conjecture made by Hugh Montgomery (1973) that the pair correlation between pairs of zeros of the Riemann zeta function is
Gregory coefficientsGn, also known as reciprocal logarithmic numbers, Bernoulli numbers of the second kind, or Cauchy numbers of the first kind, are the rational numbers that occur in the Maclaurin series expansion of the reciprocal logarithm