• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 (almost) proof of TPID 13 fivexthethird Junior Fellow Posts: 9 Threads: 3 Joined: Nov 2013 05/06/2016, 11:50 AM Actually, the statement I'm proving is more general: Theorem: Let $f(z)$ be holomorphic and bounded on the right half-plane $\Re(z) > c$ for some $c < 0$. Then $f(x)$ is equal to its newton series starting at 0 on that half-plane, We need the following very simple lemma: Lemma: Let $\mathcal{M}\{f(x)\}(s) = \int_1^\infty x^{s-1}f(x) dx + \sum_{n=0}^\infty \frac{f^{(n)}(0)}{n! (n+s)}$ be the analytic continuation of the mellin transform. Then $\mathcal{M}\{\sum_{k=0}^\infty f_k(x) \}(s) = \sum_{k=0}^\infty \mathcal{M}\{f_k(x)\}(s)$ if 1. The sum is absolutely convergent for all x 2. The $f_k$ 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 $\sum_{n=0}^{\infty} \sum_{k=0}^\infty \frac{f_k^{(n)}(0)}{n!(n+s)}$ 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, $f$ satisfies the conditions for Ramanujan's master theorem to hold, so we have : $f(s) = \mathcal{M}\{\frac{1}{\Gamma(-s)} \sum_{k=0}^{\infty} (-x)^k \frac{f(k)}{k!}\}(-s) [tex] = \mathcal{M}\{\frac{e^{-x}}{\Gamma(-s)} \sum_{k=0}^{\infty} (-x)^k \frac{\Delta^k f(0)}{k!}\}(-s)$ $=\sum_{k=0}^{\infty} \frac{\mathcal{M}\{e^{-x}(-x)^k\}(-s)}{\Gamma(-s)} \frac{\Delta^k f(0)}{ k!} =\sum_{k=0}^{\infty} \frac{(-1)^k \Gamma(k-s)}{\Gamma(-s) } \frac{\Delta^k f(0)}{k!}$ $=\sum_{k=0}^{\infty} (s)_k\frac{\Delta^k f(0)}{k!}$ As the Mellin transform will converge when $\Re(s) > c$, the result follows. Of course, this isn't quite what TPID 13 actually wants: this proves convergence of the newton series of $n^{\frac{1}{n}}$ starting at every $n>0$, but not starting at the desired $n=0$. JmsNxn Long Time Fellow Posts: 739 Threads: 104 Joined: Dec 2010 05/06/2016, 04:12 PM Cant we just take the limit as $n \to 0$? Namely $f_x(z) = (x+z)^{\frac{1}{x+z}}$ $g_x(w) = \sum_{n=0}^\infty f_x(n) \frac{w^n}{n!}$ $\sum_{n=0}^\infty (z)_n\frac{\Delta^nf_x(0)}{n!} = \frac{d^{z}}{dw^{z}}|_{w=0} g_x(w) =f_x(z)$ And therefore $z^{1/z} = \lim_{x\to 0} f_x(z) = \lim_{x\to 0} \sum_{n=0}^\infty \frac{(z)_n}{n!} \sum_{j=0}^n \binom{n}{j}(-1)^{n-j}(j+x)^{\frac{1}{j+x}} = \sum_{n=0}^\infty \frac{(z)_n}{n!} \sum_{j=0}^n \binom{n}{j}(-1)^{n-j}j^{\frac{1}{j}}$ Granted showing the limit can be pulled through is trivial. Maybe I'm missing something though. « Next Oldest | Next Newest »

 Possibly Related Threads… Thread Author Replies Views Last Post TPID 4 tommy1729 30 51,834 06/18/2022, 10:40 PM Last Post: tommy1729 Where is the proof of a generalized integral for integer heights? Chenjesu 2 4,822 03/03/2019, 08:55 AM Last Post: Chenjesu Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 3,598 09/06/2016, 04:23 PM Last Post: tommy1729 Flexible etas and eulers ? TPID 10 tommy1729 0 3,119 08/19/2016, 12:09 PM Last Post: tommy1729 introducing TPID 16 tommy1729 4 10,080 06/18/2014, 11:46 PM Last Post: tommy1729 TPID 8 tommy1729 0 3,610 04/04/2011, 10:45 PM Last Post: tommy1729 Discussion of TPID 6 JJacquelin 3 10,743 10/24/2010, 07:44 AM Last Post: bo198214 Another proof of TPID 6 tommy1729 0 3,777 07/25/2010, 11:51 PM Last Post: tommy1729 proof: Limit of self-super-roots is e^1/e. TPID 6 bo198214 3 11,578 07/10/2010, 09:13 AM Last Post: bo198214 Weak theorem about an almost identical function: PROOF Kouznetsov 3 9,450 11/14/2008, 01:11 PM Last Post: Kouznetsov

Users browsing this thread: 1 Guest(s)