Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
(almost) proof of TPID 13
#1
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 .
Reply
#2
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.
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 803 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 1,509 09/06/2016, 04:23 PM
Last Post: tommy1729
  Flexible etas and eulers ? TPID 10 tommy1729 0 1,366 08/19/2016, 12:09 PM
Last Post: tommy1729
  TPID 4 tommy1729 29 23,674 07/07/2014, 11:56 PM
Last Post: tommy1729
  introducing TPID 16 tommy1729 4 4,932 06/18/2014, 11:46 PM
Last Post: tommy1729
  Proof Ackermann function extended to reals cannot be commutative/associative JmsNxn 1 2,956 06/15/2013, 08:02 PM
Last Post: MphLee
  Proof Ackermann function cannot have an analytic identity function JmsNxn 0 2,423 11/11/2011, 02:26 AM
Last Post: JmsNxn
  TPID 8 tommy1729 0 1,846 04/04/2011, 10:45 PM
Last Post: tommy1729
  Discussion of TPID 6 JJacquelin 3 6,021 10/24/2010, 07:44 AM
Last Post: bo198214
  Another proof of TPID 6 tommy1729 0 2,059 07/25/2010, 11:51 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)