In mathematics, a Lambert series, named for Johann Heinrich Lambert, is a series taking the form It can be resummed formally by expanding the denominator: where the coefficients of the new series are given by the Dirichlet convolution of an with the constant function 1(n) = 1: This series may be inverted by means of the Möbius inversion formula, and is an example of a Möbius transform.
Since this last sum is a typical number-theoretic sum, almost any natural multiplicative function will be exactly summable when used in a Lambert series.
) the logarithmic derivative of the usual generating function for partition numbers Additional Lambert series related to the previous identity include those for the variants of the Möbius function given below
Related Lambert series over the Möbius function include the following identities for any prime
: The proof of the first identity above follows from a multi-section (or bisection) identity of these Lambert series generating functions in the following form where we denote
Note that Lambert series in which the an are trigonometric functions, for example, an = sin(2n x), can be evaluated by various combinations of the logarithmic derivatives of Jacobi theta functions.
Generally speaking, we can extend the previous generating function expansion by letting
, which in turn shows that We also have a slightly more generalized Lambert series expansion generating the sum of squares function
in the form of [3] In general, if we write the Lambert series over
, the next pairs of functions correspond to other well-known convolutions expressed by their Lambert series generating functions in the forms of where
which counts the number of distinct prime factors of
The conventional use of the letter q in the summations is a historical usage, referring to its origins in the theory of elliptic curves and theta functions, as the nome.
Examples of Lambert series in this form, with
, occur in expressions for the Riemann zeta function for odd integer values; see Zeta constants for details.
In the literature we find Lambert series applied to a wide variety of sums.
is a polylogarithm function, we may refer to any sum of the form as a Lambert series, assuming that the parameters are suitably restricted.
Thus which holds for all complex q not on the unit circle, would be considered a Lambert series identity.
A somewhat newer construction recently published over 2017–2018 relates to so-termed Lambert series factorization theorems of the form[4] where
is the respective sum or difference of the restricted partition functions
into an even (respectively, odd) number of distinct parts.
denote the invertible lower triangular sequence whose first few values are shown in the table below.
Another characteristic form of the Lambert series factorization theorem expansions is given by[5] where
The invertible matrix products on the right-hand-side of the previous equation correspond to inverse matrix products whose lower triangular entries are given in terms of the partition function and the Möbius function by the divisor sums The next table lists the first several rows of these corresponding inverse matrices.
denote the sequence of interleaved pentagonal numbers, i.e., so that the pentagonal number theorem is expanded in the form of Then for any Lambert series
, we have the corresponding inversion relation of the factorization theorem expanded above given by[7] This work on Lambert series factorization theorems is extended in[8] to more general expansions of the form where
is any arithmetic function, and where the modified coefficients are expanded by The corresponding inverse matrices in the above expansion satisfy so that as in the first variant of the Lambert factorization theorem above we obtain an inversion relation for the right-hand-side coefficients of the form Within this section we define the following functions for natural numbers
Then we have the following recurrence relations for involving these functions and the pentagonal numbers proved in:[7] Derivatives of a Lambert series can be obtained by differentiation of the series termwise with respect to
[9][10] where the bracketed triangular coefficients in the previous equations denote the Stirling numbers of the first and second kinds.
We also have the next identity for extracting the individual coefficients of the terms implicit to the previous expansions given in the form of Now if we define the functions
derivatives of a Lambert series given by Of course, by a typical argument purely by operations on formal power series we also have that