From the first post we know that the integral series for log(x) is f(x) = s1(x) + s2(x). And:
s2 has the pattern of an exponential generating function because part. The harmonic series is then the series that is generating our result. If we expand s2 by each power of x we can see what the harmonic series looks like in a generating function.
A nice part of exponential generating functions is that taking the gf’s derivative just slides down the coefficient to one lower power.
Each term of s2′ has one more reciprocal being summed than the same term in s2 itself. s2 for x^1 has 1/1, but s2′ has 1/1 + 1/2. For each term, the difference between s2′ – s2 is
So, replacing s2 with f to make differential equations easier, we have:
This is a pretty interesting and not immediately obvious sum. But:
Which is just f’ – f with k shifted forward. Since we can’t use k = 0 anyway, we can make this shift to make the sum actually valid starting from 0. Which means:
This integral does not have an elementary solution, but according to Wolfram Alpha it is Ei(2x) – Ei(x) where Ei is the Exponential Integral special function.
So the final answer is not clean or neat but there it is.
I think a better name for the M and P summations I’ve been talking about would be integral series and differential series, in the same sense as geometric series, or any other kind.
I have been working on the calculations for the Integral Series of f(x)=log(x) over the past few weeks and it has been rather involved, but also interesting. I didn’t think I was going to find an explicit formula for the summation, but eventually I found a connection that I want to talk about here with generating functions.
It makes sense to talk about generating functions because they also have a lot of connections with derivatives and integrals. The Integral Series for log(x) leads to what turns out to be an exponential generating function, which is a sum of the form:
But let me start at the beginning with the iterated integrals of log(x) themselves. Even figuring out what pattern the integrals have in the arbitrary case was pretty tricky.
When trying to figure out the integral of log(x), there is no simple rule to figure it out. You have to reason backwards from the derivative of log(x).
by definition of the logarithm.
This definition is interesting when you combine it with the product rule:
The derivative of x log(x) is very close to log(x), because the 1 / x and the x cancel in the left hand of the product rule, and the x when differentiated becomes 1 on the right side. From this derivative we can get the integral of log(x):
Using the fact that the derivative of a sum is the sum of the derivatives, and taking the integral of 1 wrt x, we can turn that into:
Then taking the 2nd integral, we have the first term which we will have to figure out, but the second term is just x, so that part is easy:
The integral of x log(x) is not that different from log(x) itself:
The clear pattern is all of the parts of the expression have the same power of x.
Applying this rule we will have an extra polynomial term with each integration of log(x), as well as the integrals of the previous polynomial terms:
Using the notation: L(n) to denote the nth integral of log(x), here are a few of them.
Grouping the fractions in L(3) hints towards the pattern for L(n):
The more terms you take the more messy it gets but the pattern in L(3) holds:
The is called the nth harmonic number. It is simply the sum of the reciprocals of the first n integers.
So the Integral Series is:
So we have something to work with, but the fact that the sum has these Harmonic numbers in it makes things more complicated. In order simplify things, I broke apart the summation above into s1 and s2. You can’t always break up an infinite sum because the converge could be different, but it seems to have worked out this time.
So I just distributed out log(x) and H and separated the sum that way.
For s1, log(x) doesn’t depend on the summation variable n, so we can separate it as we would in an integral.
But then the sum itself is simply e^x.
I’ll be discussing the calculations for s2 next time. I went through a lot of deadends when analyzing s2, but the final solution isn’t too bad.