Gregory coefficientsGn, also known as reciprocal logarithmic numbers, Bernoulli numbers of the second kind, or Cauchy numbers of the first kind, [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] are the rational numbers that occur in the Maclaurin series expansion of the reciprocal logarithm
Gregory coefficients are alternating Gn = (−1)n−1|Gn| for n > 0 and decreasing in absolute value. These numbers are named after James Gregory who introduced them in 1670 in the numerical integration context. They were subsequently rediscovered by many mathematicians and often appear in works of modern authors, who do not always recognize them. [1] [5] [14] [15] [16] [17]
n | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | ... | OEIS sequences |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Gn | +1/2 | −1/12 | +1/24 | −19/720 | +3/160 | −863/60480 | +275/24192 | −33953/3628800 | +8183/1036800 | −3250433/479001600 | +4671/788480 | ... | OEIS: A002206 (numerators), |
The simplest way to compute Gregory coefficients is to use the recurrence formula
with G1 = 1/2. [14] [18] Gregory coefficients may be also computed explicitly via the following differential
or the integral
which can be proved by integrating between 0 and 1 with respect to , once directly and the second time using the binomial series expansion first.
It implies the finite summation formula
where s(n,ℓ) are the signed Stirling numbers of the first kind.
and Schröder's integral formula [19] [20]
The Gregory coefficients satisfy the bounds
given by Johan Steffensen. [15] These bounds were later improved by various authors. The best known bounds for them were given by Blagouchine. [17] In particular,
Asymptotically, at large index n, these numbers behave as [2] [17] [19]
More accurate description of Gn at large n may be found in works of Van Veen, [18] Davis, [3] Coffey, [21] Nemes [6] and Blagouchine. [17]
Series involving Gregory coefficients may be often calculated in a closed-form. Basic series with these numbers include
where γ = 0.5772156649... is Euler's constant. These results are very old, and their history may be traced back to the works of Gregorio Fontana and Lorenzo Mascheroni. [17] [22] More complicated series with the Gregory coefficients were calculated by various authors. Kowalenko, [8] Alabdulmohsin [10] [11] and some other authors calculated
Alabdulmohsin [10] [11] also gives these identities with
Candelperger, Coppo [23] [24] and Young [7] showed that
where Hn are the harmonic numbers. Blagouchine [17] [25] [26] [27] provides the following identities
where li(z) is the integral logarithm and is the binomial coefficient. It is also known that the zeta function, the gamma function, the polygamma functions, the Stieltjes constants and many other special functions and constants may be expressed in terms of infinite series containing these numbers. [1] [17] [18] [28] [29]
Various generalizations are possible for the Gregory coefficients. Many of them may be obtained by modifying the parent generating equation. For example, Van Veen [18] consider
and hence
Equivalent generalizations were later proposed by Kowalenko [9] and Rubinstein. [30] In a similar manner, Gregory coefficients are related to the generalized Bernoulli numbers
Jordan [1] [16] [31] defines polynomials ψn(s) such that
and call them Bernoulli polynomials of the second kind . From the above, it is clear that Gn = ψn(0). Carlitz [16] generalized Jordan's polynomials ψn(s) by introducing polynomials β
and therefore
Blagouchine [17] [32] introduced numbers Gn(k) such that
obtained their generating function and studied their asymptotics at large n. Clearly, Gn = Gn(1). These numbers are strictly alternating Gn(k) = (-1)n-1|Gn(k)| and involved in various expansions for the zeta-functions, Euler's constant and polygamma functions. A different generalization of the same kind was also proposed by Komatsu [31]
so that Gn = cn(1)/n! Numbers cn(k) are called by the author poly-Cauchy numbers. [31] Coffey [21] defines polynomials
and therefore |Gn| = Pn+1(1).
In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers n ≥ k ≥ 0 and is written It is the coefficient of the xk term in the polynomial expansion of the binomial power (1 + x)n; this coefficient can be computed by the multiplicative formula
In mathematics, the Bernoulli numbersBn are a sequence of rational numbers which occur frequently in analysis. The Bernoulli numbers appear in the Taylor series expansions of the tangent and hyperbolic tangent functions, in Faulhaber's formula for the sum of m-th powers of the first n positive integers, in the Euler–Maclaurin formula, and in expressions for certain values of the Riemann zeta function.
In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any finite sums, products and compositions of these, such as the trigonometric functions sine and cosine and their hyperbolic counterparts sinh and cosh, as well as derivatives and integrals of entire functions such as the error function. If an entire function has a root at , then , taking the limit value at , is an entire function. On the other hand, the natural logarithm, the reciprocal function, and the square root are all not entire functions, nor can they be continued analytically to an entire function.
In mathematics, the gamma function is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function is defined for all complex numbers except non-positive integers, and for every positive integer , The gamma function can be defined via a convergent improper integral for complex numbers with positive real part:
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 for , and its analytic continuation elsewhere.
Euler's constant is a mathematical constant, usually denoted by the lowercase Greek letter gamma, defined as the limiting difference between the harmonic series and the natural logarithm, denoted here by log:
In mathematics, Stirling's approximation is an asymptotic approximation for factorials. It is a good approximation, leading to accurate results even for small values of . It is named after James Stirling, though a related but less precise result was first stated by Abraham de Moivre.
In mathematics, the Bernoulli polynomials, named after Jacob Bernoulli, combine the Bernoulli numbers and binomial coefficients. They are used for series expansion of functions, and with the Euler–MacLaurin formula.
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 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.
The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 in The Saint Petersburg Academy of Sciences. Since the problem had withstood the attacks of the leading mathematicians of the day, Euler's solution brought him immediate fame when he was twenty-eight. Euler generalised the problem considerably, and his ideas were taken up more than a century later by Bernhard Riemann in his seminal 1859 paper "On the Number of Primes Less Than a Given Magnitude", in which he defined his zeta function and proved its basic properties. The problem is named after Basel, hometown of Euler as well as of the Bernoulli family who unsuccessfully attacked the problem.
In mathematics, the Stieltjes constants are the numbers that occur in the Laurent series expansion of the Riemann zeta function:
In mathematics, especially in combinatorics, Stirling numbers of the first kind arise in the study of permutations. In particular, the unsigned Stirling numbers of the first kind count permutations according to their number of cycles.
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, the secondary measure associated with a measure of positive density ρ when there is one, is a measure of positive density μ, turning the secondary polynomials associated with the orthogonal polynomials for ρ into an orthogonal system.
In mathematics, the Mittag-Leffler polynomials are the polynomials gn(x) or Mn(x) studied by Mittag-Leffler (1891).
The Bernoulli polynomials of the second kindψn(x), also known as the Fontana–Bessel polynomials, are the polynomials defined by the following generating function: