The Ramanujan's master theorem states that:
$$
\int\_0^{\infty}x^{s-1}\sum\_{n=0}^{\infty}\frac{(-1)^n}{n!}a\_nx^ndx=\Gamma(s)a\_{-s}
$$


I found a really strange proof recently on a personal blog:
Define
$$
\tau \*a\_n=a\_{n+1}
$$
we have
$$
{\int\_0^{\infty}x^{s-1}\sum\_{n=0}^{\infty}\frac{(-1)^n}{n!}a\_nx^n\text{dx} \\=a\_0\int\_0^{\infty}x^{s-1}\sum\_{n=0}^{\infty}\frac{(-1\*\tau\_a\*x)^n}{n!}\text{dx} \\=a\_0\int\_0^{\infty}x^{s-1}\text{e}^{-\tau\_ax}\text{dx} \\=\frac{a\_0}{\tau\_a^s}\int\_0^{\infty}{(\tau\_a x)}^{s-1}\text{e}^{-\tau\_ax}\mathrm{d\tau\_a x} =\frac{a\_0}{\tau\_a}\Gamma(s) \\=a\_{-s}\Gamma(s) }
$$


**My question is**, how can I understand the above proof? Can anyone give a **rigorous explanation** for the above proof? For example, I **totally have no idea about the meaning of $\color{blue}{\mathrm{d\tau\_ax}}$**(in the sense of analysis).


Would it be related to [Umbral calculus](https://en.wikipedia.org/wiki/Umbral_calculus)?


Also, I want some further readings if possible.



Ramanujan's Master Formula: A proof and relation to umbral calculus
The RMF is definitely related to umbral calculus via the modified Mellin transform (MMT) pair and symbolic extension of the iconic Euler gamma function integral. The proof you copied? I don't know. The MMT pair allows for interpolation of the coefficients of generating functions, often directly connected to sinc and/or Newton interpolation.


First consider the MMT and its inverse


$$\tilde{f}(s) = MMT[f(x)] = \int\_{0}^{\infty} f(x) \; \frac{x^{s-1}}{(s-1)!} \; dx$$


$$f(x) = MMT^{-1}[\tilde{f}(s)] = \frac{1}{2 \pi i} \int\_{\sigma - i \infty}^{\sigma + i \infty} \frac{\pi}{\sin(\pi s)} \tilde{f}(s) \frac{x^{-s}}{(-s)!} \; ds .$$


Then the RMF holds for a class of functions such that


$$f(x) = e^{-a.x} = \sum\_{n \geq 0} \frac{(-a.x)^n}{n!} = \sum\_{n=0} a\_n \frac{(-x)^n}{n!} = 
 \sum\_{n=0} \tilde{f}(-n) \frac{(-x)^n}{n!} \; ,$$


that is, such that we may close the complex contour to the left (e.g., in the sense of the limit of a semicircle with its radius expanding to infinity) for $0 < \sigma < 1$ and $0 < x < 1$ when $F(s)$ has no singularities/poles within the contour. This rep allows an extension of the RMT (and the Mellin transform) to cases in which poles are present in $F(s)$ and other ranges of $x$.


Also note (see, e.g., Gelfand and Shilov's "Generalized Functions") the relation


$$D\_x^{m+n+1} \; H(x) \frac{x^m}{m!} = H(x) \frac{x^{-n-1}}{(-n-1)!} = \delta^{(n)}(x)$$


reflected in the two (of several) reps of the fractional differintegro op equivalent under analytic continuation


$$\frac{x^{\alpha-\beta}}{(\alpha-\beta)!} = \frac{d^{\beta}}{dx^\beta}\frac{x^{\alpha}}{\alpha!}=\int\_{0}^{x}\frac{z^{\alpha}}{\alpha!}\frac{(x-z)^{-\beta-1}}{(-\beta-1)!} dz = \frac{1}{2\pi i} \oint\_{|z-x|=|x|}\frac{z^{\alpha}}{\alpha!}\frac{\beta!}{(z-x)^{\beta+1}}dz ,$$


with $H(x)$ the Heaviside step function.


So, under the conditions above,


$$\tilde{f}(-n) = \int\_{0}^{\infty} f(x) \; \frac{x^{-n-1}}{(-n-1)!} \; dx = \int\_{0}^{\infty} e^{-a. x} \; \delta^{(n)}(x) \; dx = a\_n,$$


and this suggests the analytic continuation and relation to umbral calculus


$$\tilde{f}(s) = \int\_{0}^{\infty} f(x) \; \frac{x^{s-1}}{(s-1)!} \; dx = \int\_{0}^{\infty} e^{-a.x} \; \frac{x^{s-1}}{(s-1)!} \; dx = (a.)^{-s} = a\_{-s}.$$


The iconic guiding example is the Euler gamma function integral rep with $(a.)^n = a\_n = c^n$


$$ (a.)^{-s} = a\_{-s} = c^{-s} = F(s) = MT[f(x)= e^{-c\; x}] = \int\_{0}^{\infty} e^{-c \; x} \; \frac{x^{s-1}}{(s-1)!} \; dx = \frac{1}{c^{s}}.$$


Another useful example, which vividly illustrates the relation to the Appell Sheffer sequences of umbral calculus (of which the $x^n$ with e.g.f. $e^{x}$ is the basic example), is the integral rep for (what I call) the Bernoulli function, simply related to the Hurwitz zeta function and generalizing the Bernoulli polynomials,


$$ B\_{-s}(z) = (B.(z))^{-s} = \int\_{0}^{\infty} e^{-B.(z)t} \; \frac{t^{s-1}}{(s-1)!} \; dt $$


$$ = \int\_{0}^{\infty} \frac{-t}{e^{-t}-1} \; e^{-zt} \frac{t^{s-1}}{(s-1)!} \; dt = s \; \zeta(s,z)$$


where the e.g.f. for the Bernoulli polynomials with $(b.)^n = b\_n$ the Bernoulli numbers is


$$e^{B.(x)t} = e^{(b.+x)t} = e^{b.t} e^{xt} = \frac{t}{e^t-1} \; e^{xt}.$$


Note that


$$B\_n(z) = -n \; \zeta(1-n,z),$$


$$B\_n(1) = -n \; \zeta(1-n,1) =-n \; \zeta(1-n) (Riemann) = (-1)^n B\_n(0) = (-1)^n b\_n.$$


Through this characterization, it is not too difficult to show that the Bernoulli function inherits all the elegant properties of a regular Appell sequence, such as $D\_z \; B\_{s}(z) = s \; B\_{s-1}(z)$.




---


Riemann knew all this stuff. Ramanujan intuited it. Hardy formalized it. I stumbled across it on a journey starting from the ladder ops of QM and a brief comment by my old math prof Stallybrass about the sequence $D^{m+n} H(x) \frac{x^m}{m!}$ in his integral transforms class an eon ago.


For application to defining fractional powers of operators, see my answer and comments therein to the MO-Q "[What does the inverse Mellin transform really mean?](https://mathoverflow.net/questions/79868/what-does-mellin-inversion-really-mean)" and several of my blog posts, such as "[The Creation / Raising Operators for Appell Sequences.](https://tcjpn.wordpress.com/2015/11/21/the-creation-raising-operators-for-appell-sequences/)"




---


Added 2/5/21:


Other examples of interpolation of $a\_n$ for the exponential generating funcrtion $g(t) = e^{a.t}$ from the MMT of $f(t) = g(-t) = e^{-a.t}$, or, conversely, surmising the MMT of $f(t)$ from the Taylor series coefficients of $g(t)$ via $a\_n \; |\_{n \rightarrow -s} =a\_{-s} =\tilde{f}(s)$:


**1)** $\;g(t) = \cos(t) = \sum\_{n \geq 0} \cos(\pi \frac{n}{2}) \; \frac{t^n}{n!}, $


$\; \; \; \; \;f(t) = g(-t) = \cos(t) = \sum\_{n \geq 0} \cos(\pi \frac{n}{2}) \; \frac{t^n}{n!} ),$


$\; \; \; \; \;\tilde{f}(s) =\cos(\pi \frac{s}{2})$ for $0 < Re(s) < 1,$


**2)** $\;g(t) = \sin(t)= \sum\_{n \geq 0} \sin(\pi \frac{n}{2}) \; \frac{t^n}{n!},$


$\; \; \; \; \;f(t) = g(-t) = \sin(-t) = \sum\_{n \geq 0} \sin(-\pi \frac{n}{2}) \; \frac{t^n}{n!},$


$\; \; \; \; \;\tilde{f}(s) =-\sin(\pi \frac{s}{2})$ for $-1 < Re(s) < 1,$


**3)** $\;g(t) = \frac{1}{1-t} = \sum\_{n \geq 0} \; n! \; \frac{t^n}{n!},$


$\; \; \; \; \;f(t) = g(-t) = \frac{1}{1+t} = \sum\_{n \geq 0} \cos(\pi n) \; n! \; \frac{t^n}{n!},$


$\; \; \; \; \;\tilde{f}(s) =(-s)! $ for $0 < Re(s) < 1,$


**4)** $\;g(t) = \frac{1}{1+t} = \sum\_{n \geq 0} \cos(\pi n) \; n! \; \frac{t^n}{n!} ,$


$\; \; \; \; \;f(t) = g(-t) = \frac{1}{1-t} = \sum\_{n \geq 0} \; n! \; \frac{t^n}{n!},$


$\; \; \; \; \;\tilde{f}(s)=\cos(\pi s) (-s)!$ for $0 < Re(s) < 1,$


**5)** $\;g(t) = \ln(1-t) = \sum\_{n \geq 0} \; -(n-1)! \; \frac{t^n}{n!} ,$


$\; \; \; \; \;f(t) = \ln(1+t) = -\sum\_{n \geq 0} \cos(\pi n) \; (n-1)! \; \frac{t^n}{n!},$


$\; \; \; \; \;\tilde{f}(s) = -(-s-1)! $ for $-1 < Re(s) < 0,$


**6)** $\;g(t) =\sum\_{n \ge 0} \frac{x^n}{n!} \frac{t^n}{n!}, $


$\; \; \; \; \;f(t) = J\_0(2 \sqrt{xt}) =\sum\_{n \ge 0} (-1)^n \frac{x^n}{n!} \frac{t^n}{n!},$


$\; \; \; \; \;\tilde{f}(s) = \frac{x^{-s}}{(-s)!}$ for $0 < Re(s) < \frac{3}{4},$


**7)** $\;g(t) = e^{-t^2} =\sum\_{n \ge 0} \cos(\frac{\pi n}{2}) \; \frac{n!}{(\frac{n}{2})!} \; \frac{t^n}{n!}, $


$\; \; \; \; \;f(t) = g(-t) = e^{-t^2},$


$\; \; \; \; \;\tilde{f}(s) = \cos(\pi\frac{ s}{2}) \; \frac{(-s)!}{(-\frac{s}{2})!} = \frac{1}{2}\frac{(\frac{s}{2}-1)!}{(s-1)!} \;$ for $ Re(s) > 0.$


**8)** $\;g(t) =\sum\_{n \ge 0} \; \frac{a\_{\bar{n}}\; b\_{\bar{n}}}{c\_{\bar{n}}} \; \frac{t^n}{n!} = F(a,b;c;t)$, the hypergeometric function, where, e.g.,


$\; \; \; \; \;a\_{\bar{n}} = \frac{(a+n-1)!}{(a-1)!}$, the rising factorial,


$\; \; \; \; \;f(t) = g(-t) = F(a,b;c;-t),$


$\; \; \; \; \;\tilde{f}(s) = \frac{a\_{-\bar{s}} \; b\_{-\bar{s}}}{c\_{-\bar{s}}},$
see the Mellin-Barnes contour integral.


