Ramanujan's Master Theorem

In mathematics, Ramanujan's Master Theorem, named after Srinivasa Ramanujan, is a technique that provides an analytic expression for the Mellin transform of an analytic function.

The result is stated as follows:

If a complex-valued function $f(x)$ has an expansion of the form

: $f(x)=\sum_^\infty \frac(-x)^k$

then the Mellin transform of $f(x)$ is given by

: $\int_0^\infty x^ f(x) \, dx = \Gamma(s)\,\varphi(-s)$

where $\Gamma(s)$ is the gamma function.

It was widely used by Ramanujan to calculate definite integrals and infinite series.

Higher-dimensional versions of this theorem also appear in quantum physics (through Feynman diagrams).

A similar result was also obtained by Glaisher.

Alternative formalism

An alternative formulation of Ramanujan's Master Theorem is as follows:

: $\int_0^\infty x^\left(\,\lambda(0) - x\,\lambda(1) + x^2\,\lambda(2) -\,\cdots\,\right) dx = \frac\,\lambda(-s)$

which gets converted to the above form after substituting $\lambda(n) \equiv \frac$ and using the functional equation for the gamma function.

The integral above is convergent for $0 < \operatorname(s) < 1$ subject to growth conditions on $\varphi$.

Proof

A proof subject to "natural" assumptions (though not the weakest necessary conditions) to Ramanujan's Master theorem was provided by G. H. Hardy employing the residue theorem and the well-known Mellin inversion theorem.

Application to Bernoulli polynomials

The generating function of the Bernoulli polynomials $B_k(x)$ is given by:

: $\frac=\sum_^\infty B_k(x)\,\frac$

These polynomials are given in terms of the Hurwitz zeta function:

: $\zeta(s,a) = \sum_^\infty \frac$

by $\zeta(1-n,a) = -\frac$ for $~ n \geq 1$.
Using the Ramanujan master theorem and the generating function of Bernoulli polynomials one has the following integral representation:

: $\int_0^\infty x^\left(\frac-\frac\right) dx = \Gamma(s)\,\zeta(s,a) \!$

which is valid for $0 < \operatorname(s) < 1$.

Application to the gamma function

Weierstrass's definition of the gamma function

: $\Gamma(x) = \frac\,\prod_^\infty \left(\,1 + \frac\,\right)^ e^ \!$

is equivalent to expression

: $\log\Gamma(1+x) = -\gamma\,x + \sum_^\infty \frac\,(-x)^k$

where $\zeta(k)$ is the Riemann zeta function.

Then applying Ramanujan master theorem we have:

: $\int_0^\infty x^ \frac \mathrm d x = \frac\frac \!$

valid for $0 < \operatorname(s) < 1$.

Special cases of $s = \frac$ and $s = \frac$ are

: $\int_0^\infty \frac \, \mathrm d x = \frac\,\zeta\left( \frac \right)$

: $\int_0^\infty \frac \, \mathrm d x = \sqrt \frac \zeta\left(\frac 5 4\right)$

Application to Bessel functions

The Bessel function of the first kind has the power series
: $J_\nu(z)=\sum_^\infty \frac\bigg(\frac\bigg)^$

By Ramanujan's Master Theorem, together with some identities for the gamma function and rearranging, we can evaluate the integral

: $\frac \int_0^\infty z^J_\nu(\sqrt)\,dz = \Gamma(s)\Gamma(s-\nu)$

valid for $0 < 2\operatorname(s) < \operatorname(\nu)+\tfrac$.

Equivalently, if the spherical Bessel function $j_\nu(z)$ is preferred, the formula becomes

: $\frac \int_0^\infty z^j_\nu(\sqrt)\,dz = \Gamma(s)\Gamma\bigg(\frac+s-\nu\bigg)$

valid for $0 < 2\operatorname(s) < \operatorname(\nu)+2$.

The solution is remarkable in that it is able to interpolate across the major identities for the gamma function. In particular, the choice of $J_0(\sqrt z)$ gives the square of the gamma function, $j_0(\sqrt)$ gives the duplication formula, $z^J_(\sqrt z)$ gives the reflection formula, and fixing to the evaluable $s=\tfrac$ or $s=1$ gives the gamma function by itself, up to reflection and scaling.

Bracket integration method

The bracket integration method applies Ramanujan's Master Theorem to a broad range of integrals. The bracket integration method generates an integral of a series expansion, introduces simplifying notations, solves linear equations, and completes the integration using formulas arising from Ramanujan's Master Theorem.

Generate an integral of a series expansion

This method transforms the integral to an integral of a series expansion involving ''M'' variables, $x_1, \ldots x_M$, and S summation parameters, $n_1, \dots n_S$. A multivariate integral may assume this form.

Apply special notations

* The bracket ($\langle \cdots \rangle$), indicator ($\phi$), and monomial power notations replace terms in the series expansion.

* Application of these notations transforms the integral to a bracket series containing B brackets.

* Each bracket series has an index defined as index = number of sums − number of brackets.
* Among all bracket series representations of an integral, the representation with a minimal index is preferred.

Solve linear equations

* The array of coefficients $a_$ must have maximum rank, linearly independent leading columns to solve the following set of linear equations.
* If the index is non-negative, solve this equation set for each $n^_$. The terms $n^_$ may be linear functions of $\$.

* If the index is zero, equation () simplifies to solving this equation set for each $n^\ast_j$

* If the index is negative, the integral cannot be determined.

Apply formulas

* If the index is non-negative, the formula for the integral is this form.

* These rules apply.
** A series is generated for each choice of free summation parameters, $\$.
** Series converging in a common region are added.
** If a choice generates a divergent series or null series (a series with zero valued terms), the series is rejected.
** A bracket series of negative index is assigned no value.
** If all series are rejected, then the method cannot be applied.
** If the index is zero, the formula simplifies to this formula and no sum occurs.

Mathematical basis

* Apply this variable transformation to the general integral form ().
.
* This is the transformed integral () and the result from applying Ramanujan's Master Theorem ().

* The number of brackets (B) equals the number of integrals (M) (). In addition to generating the algorithm's formulas (,), the variable transformation also generates the algorithm's linear equations (,).

Example

* The bracket integration method is applied to this integral.
:: $\int_0^\infty x^ \cdot e^ \ dx$
* Generate the integral of a series expansion ().
:: $\int_0^\infty \sum_^\infty 2^ \cdot \frac \cdot x^ \ dx$
* Apply special notations (, ).
:: $\sum_^\infty 2^ \cdot \phi(n) \cdot \langle 3 \cdot n+ \frac \rangle$
* Solve the linear equation ().
:: $3 \cdot n^\ast + \frac=0, \ n^\ast= \frac$
* Apply the formula ().
:: $\frac$

References

External links

*
* {{cite web , url=http://arminstraub.com/files/publications/rmt.pdf , website=ArminStraub , series=publications , title=rmt

Srinivasa Ramanujan
Theorems in analytic number theory