In mathematics, the n-th hyperharmonic number of order r, denoted by , is recursively defined by the relations:
and
In particular, is the n-th harmonic number.
The hyperharmonic numbers were discussed by J. H. Conway and R. K. Guy in their 1995 book The Book of Numbers . [1] : 258
By definition, the hyperharmonic numbers satisfy the recurrence relation
In place of the recurrences, there is a more effective formula to calculate these numbers:
The hyperharmonic numbers have a strong relation to combinatorics of permutations. The generalization of the identity
reads as
where is an r-Stirling number of the first kind. [2]
The above expression with binomial coefficients easily gives that for all fixed order r>=2 we have. [3]
that is, the quotient of the left and right hand side tends to 1 as n tends to infinity.
An immediate consequence is that
when m>r.
The generating function of the hyperharmonic numbers is
The exponential generating function is much more harder to deduce. One has that for all r=1,2,...
where 2F2 is a hypergeometric function. The r=1 case for the harmonic numbers is a classical result, the general one was proved in 2009 by I. Mező and A. Dil. [4]
The next relation connects the hyperharmonic numbers to the Hurwitz zeta function: [3]
It is known, that the harmonic numbers are never integers except the case n=1. The same question can be posed with respect to the hyperharmonic numbers: are there integer hyperharmonic numbers? István Mező proved [5] that if r=2 or r=3, these numbers are never integers except the trivial case when n=1. He conjectured that this is always the case, namely, the hyperharmonic numbers of order r are never integers except when n=1. This conjecture was justified for a class of parameters by R. Amrane and H. Belbachir. [6] Especially, these authors proved that is not integer for all r<26 and n=2,3,... Extension to high orders was made by Göral and Sertbaş. [7] These authors have also shown that is never integer when n is even or a prime power, or r is odd.
Another result is the following. [8] Let be the number of non-integer hyperharmonic numbers such that . Then, assuming the Cramér's conjecture,
Note that the number of integer lattice points in is , which shows that most of the hyperharmonic numbers cannot be integer.
The problem was finally settled by D. C. Sertbaş who found that there are infinitely many hyperharmonic integers, albeit they are quite huge. The smallest hyperharmonic number which is an integer found so far is [9]
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 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 natural logarithm of a number is its logarithm to the base of the mathematical constant e, which is an irrational and transcendental number approximately equal to 2.718281828459. The natural logarithm of x is generally written as ln x, logex, or sometimes, if the base e is implicit, simply log x. Parentheses are sometimes added for clarity, giving ln(x), loge(x), or log(x). This is done particularly when the argument to the logarithm is not a single symbol, so as to prevent ambiguity.
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
In mathematics, a transcendental number is a real or complex number that is not algebraic – that is, not the root of a non-zero polynomial of finite degree with rational coefficients. The best-known transcendental numbers are π and e.
In mathematics, the Lambert W function, also called the omega function or product logarithm, is a multivalued function, namely the branches of the converse relation of the function f(w) = wew, where w is any complex number and ew is the exponential function. The function is named after Johann Lambert, who considered a related problem in 1758. Building on Lambert's work, Leonhard Euler described the W function per se in 1783.
In mathematics, the harmonic series is the infinite series formed by summing all positive unit fractions:
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 combinatorial mathematics, the Bell numbers count the possible partitions of a set. These numbers have been studied by mathematicians since the 19th century, and their roots go back to medieval Japan. In an example of Stigler's law of eponymy, they are named after Eric Temple Bell, who wrote about them in the 1930s.
In mathematics, the n-th harmonic number is the sum of the reciprocals of the first n natural numbers:
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, theta functions are special functions of several complex variables. They show up in many topics, including Abelian varieties, moduli spaces, quadratic forms, and solitons. As Grassmann algebras, they appear in quantum field theory.
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.
A hexagonal number is a figurate number. The nth hexagonal number hn is the number of distinct dots in a pattern of dots consisting of the outlines of regular hexagons with sides up to n dots, when the hexagons are overlaid so that they share one vertex.
In mathematics, especially in combinatorics, Stirling numbers of the first kind arise in the study of permutations. In particular, the Stirling numbers of the first kind count permutations according to their number of cycles.
In q-analog theory, the -gamma function, or basic gamma function, is a generalization of the ordinary gamma function closely related to the double gamma function. It was introduced by Jackson (1905). It is given by
This is a summary of differentiation rules, that is, rules for computing the derivative of a function in calculus.
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