Tetration Forum

Full Version: (almost) proof of TPID 13
You're currently viewing a stripped down version of our content. View the full version with proper formatting.
Actually, the statement I'm proving is more general:

Theorem: Let be holomorphic and bounded on the right half-plane for some . Then is equal to its newton series starting at 0 on that half-plane,

We need the following very simple lemma:
Lemma: Let be the analytic continuation of the mellin transform. Then if
1. The sum is absolutely convergent for all x
2. The are all holomorphic.
3. The derivative of the sum at 0 is equal to its term-wise derivative at 0
Proof: The sum and the integral are trivially interchanged. The other term is just

The inner sum is clearly absolutely convergent, so we can interchange the sums. Then we can add the two sums of the transform term-wise to get the result.
A more general result is most likely well-known but I haven't found any proof of it.

Now, satisfies the conditions for Ramanujan's master theorem to hold, so we have :

As the Mellin transform will converge when , the result follows.

Of course, this isn't quite what TPID 13 actually wants: this proves convergence of the newton series of starting at every , but not starting at the desired .
Cant we just take the limit as ? Namely

And therefore

Granted showing the limit can be pulled through is trivial. Maybe I'm missing something though.