Extension of Hardy's class for Ramanujan's interpolation formula and master theorem with applications

Muhammed Aslam Chaudhry; Asghar Qadir

doi:10.1186/1029-242X-2012-52

Research

Open Access

Extension of Hardy's class for Ramanujan's interpolation formula and master theorem with applications

Muhammed Aslam Chaudhry¹Email author and
Asghar Qadir²

Journal of Inequalities and Applications20122012:52

https://doi.org/10.1186/1029-242X-2012-52

Received: 2 December 2010

Accepted: 1 March 2012

Published: 1 March 2012

Abstract

Hardy's class of functions for the Ramanujan interpolation formula and Ramanujan-Hardy master theorem is extended to a wider domain of applicability and the extension is illustrated by examples.

MSC: 11M06, 11M26, 11M36, 11M99, 42 A32, 11M06, 42A32

Keywords

Gamma functionzeta functionHurwitz's zeta functionMellin transformsWeyl transformHardy-Ramanujan's master theorem

1. Introduction

Ramanujan was in a class by himself as an intuitive mathematician and provided many results that have kept generations of mathematicians busy to prove them rigorously (see [1, 2]). Given the accuracy of his intuition it may be wondered why it is worth the effort of proving the remaining results rigorously. Of course, it is worth while as the next intuition may prove wrong (see [[2], p. 188(11.3)]). More importantly, the domain of applicability of the correct results needs to be specified. A case in point is the interpolation formula and the master theorem arrived at intuitively by Ramanujan and proved by Hardy, now known as the Hardy-Ramanujan master theorem [[3], p. 189]. For the interpolation formula, which is used in proving the master theorem, Hardy proved it using the domain (0, π) for the parameter A that appeared in the proof. He remarked that it may be true for the value A = π as well but that he 'did not have time for any more subtle argument' (see [[2], p. 191]), seeming to imply that this extension was unimportant and/or too complicated. The proof does not seem to have appeared anywhere else in the literature since. However, it turns out that this constraint seriously limits the domain of applicability of the theorem as most of the commonly used functions do require A = π. In this article, we prove the result rigorously for A ∈ (0, π] and then extend the theorem beyond its original context. More precisely, Hardy considered the space of analytic functions [[2], p. 189] as follows. Take 0 < δ < 1 and H(δ): = {s = σ + iτ: σ ≥ -δ} as the half space. Suppose that 0 < A < π and

ℜ = ℜ (A, P, δ) : = {ϕ (s} : |ϕ (s)| \leq C e^{P σ + A |τ|}, s \in H (δ)} .

(1.1)

The space ℜ is called the Hardy space of analytic functions that restricts the parameter A to lie in (0, π). Consider a function ϕ ∈ ℜ and define [[2], p. 189]

Φ (x) : = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{π}{sin π s} ϕ (- s) x^{- s} (0 < c < δ) .

(1.2)

The integrand in (1.2) is majorized, for all positive x, by a constant multiple of

e^{- (π - A) |τ|} e^{- P c} x^{- c},

(1.3)

and the integral (1.2) converges uniformly in an interval 0 < x ≤ x₀ ≤ X < ∞. Therefore, the function Φ(x) is regular, and represented by the integral (1.2), for all positive x.

For completeness we state the 'canonical' form of the theorem, the Hardy-Ramanujan master theorem: If in some neighborhood of x = 0,

Φ (x) = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} ϕ (n) x^{n}}{n!},

(1.4)

for some analytic function ϕ(s) (σ > -δ), then

\int_{0}^{\infty} Φ (x) x^{s - 1} d x = \int_{0}^{\infty} (\sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} ϕ (n) x^{n}}{n!}) x^{s - 1} d x = Γ (n) ϕ (- n) .

(1.5)

By Cauchy's theorem (see [2, 4] for example) for (1.2), we obtain the series representation

Φ (x) = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{π}{sin π s} ϕ (- s) x^{- s} = \sum_{n = 0}^{\infty} {(- 1)}^{n} ϕ (n) x^{n} (ϕ \in ℜ, 0 < x < e^{- P}),

(1.6)

which is another form of the Hardy-Ramanujan's master theorem. This leads to the Ramanujan interpolation formula

\int_{0}^{\infty} x^{s - 1} {ϕ (0) - ϕ (1) x + ϕ (2) x^{2} - . . .} d x = \frac{π}{sin π s} ϕ (- s) .

(1.7)

Since, for ϕ(x) = sin πx the left hand side (LHS) in (1.7) is zero while the right hand side is -π, it is clear, as indicated by Hardy (see [[2], p. 188]), that the formula (1.7) is not applicable as such, there must be a constraint on ϕ(s). The Hardy class ℜ = ℜ(A, P, δ) does not accommodate functions of common interest. We give applications of the master theorem by introducing a larger class of functions using Mellin and Weyl transforms. It may be noted that the Riemann zeta function

ζ (s) : = \sum_{n = 1}^{\infty} \frac{1}{n^{s}} (s : = σ + i τ, σ > 1),

(1.8)

was originally introduced by Euler (for real s) who proved that [[5], p. 1]

ζ (s) = \prod_{p}^{} {(1 - p^{- s})}^{- 1} (where p runs through all primes),

(1.9)

which plays an important role in the study of prime numbers. Riemann proved that the zeta-function has a meromorphic continuation to the complex plane and satisfies the Riemann functional equation (see [[5], p. 13 (2.1.1)])

ζ (s) = 2 {(2 π)}^{- (1 - s)} cos (\frac{π}{2} (1 - s)) Γ (1 - s) ζ (1 - s) .

(1.10)

The zeta function has simple zeros at s = -2, -4, -6, ..., called the trivial zeros. All the other zeros, called the non-trivial zeros, of the function are symmetric about the critical line σ = 1/2, in the critical strip 0 ≤ σ ≤ 1. The multiplicity of these non-trivial zeros (in general) is not known. Riemann conjectured that the non-trivial zeros of the function lie on the critical line σ = 1/2. This conjecture is called the Riemann hypothesis. Define

χ (s) : = 2 {(2 π)}^{- (1 - s)} cos (\frac{π}{2} (1 - s)) Γ (1 - s) .

(1.11)

Then the functional equation (1.11) can be rewritten as

ζ (s) = χ (s) ζ (1 - s) .

(1.12)

Using the identity

\frac{π}{sin π s} = Γ (s) Γ (1 - s),

(1.13)

for the gamma function, we can rewrite the function χ(s) as

χ (s) = \frac{π^{s - \frac{1}{2}} Γ (\frac{1}{2} - \frac{1}{2} s)}{Γ (\frac{1}{2} s)} .

(1.14)

For basic definitions, historical background and results involving gamma and zeta functions, we refer to the standard references [1–3, 5–12]. We have shown applications of the general lemma by considering the functions that involve the gamma, the Riemannzeta and the χ(s) functions.

The plan of the article is as follows: we briefly review the aspects of the Mellin and Weyl transforms that we need to use in the next section. We introduce the notation for the Weyl transform of a function that is found helpful in stating the master theorem and other related results precisely. We prove a general lemma in Section 3 that shows the existence of the inverse Mellin transform (IMT) of a class of functions accommodating the case A = π. Some applications of the general result are also shown. We define three classes of functions in Section 4 that are suitable for Hardy-Ramanujan's master theorem for different intervals of the variable x appearing in the series representation of the IMT. Some special cases of the theorem are discussed in Section 5. Different forms of Ramanujan's master theorem are shown to follow from the general lemma in the Section 6. Some concluding remarks are given in the final section.

2. Preliminaries

The function spaces H(κ; λ) and H(∞; λ) are defined as follows: A function f ∈C^∞(0, ∞) is said to be a member of H(κ; λ) if

1.

f(t) is integrable on every finite subinterval [0, T] (0 < T < ∞) of $ℝ_{0}^{+} : = [0, \infty)$ ,
2.

f(t) = O(t^-λ) (t →0⁺),
3.

f(t) = O(t^-κ) (t →∞).

Furthermore, if the above relation f(t) = O(t^-κ) (t →∞) is satisfied for every exponent $κ \in ℝ_{0}^{+}$ , then the function f(t) is said to be in the class H(∞; λ) . It is to be noted that

H(∞; λ) ⊂H(κ; λ) (

\forall κ \in ℝ_{0}^{+}

). Clearly, we have

f (t) = e^{- b t} \in H (\infty, 0) (b > 0) .

(2.1)

The Mellin transform of f ∈H(κ; λ) is defined by [[13], p. 83],

f_{M} (s) : = M [f (t); s] : = \int_{0}^{\infty} f (t) t^{s - 1} d t (s = σ + i τ, λ < σ < κ) .

(2.2)

The Weyl transform (or Weyl's fractional integral) of order s of ω ∈ H(κ; λ) is defined by (see [[3], Vol. II, p. 181] and [[14], p. 237]),

\begin{matrix} Ω (s; x) : = W^{- s} [ω (t)] (x) : = \frac{1}{Γ (s)} M [ω (t + x); s] \\ = \frac{1}{Γ (s)} \int_{0}^{\infty} ω (t + x) t^{s - 1} d t = \frac{1}{Γ (s)} \int_{x}^{\infty} ω (t) {(t - x)}^{s - 1} d t \end{matrix} (s = σ + i τ, 0 < σ < κ, x \geq 0) .

(2.3)

For σ ≤ 0, we define the Weyl transform (or Weyl's fractional derivative) of order s of ω ∈ H(κ; 0) as follows (see [[14], p. 241]):

Ω (s; x) : = W^{- s} [ω (t)] (x) : = {(- 1)}^{n} \frac{d^{n}}{d x^{n}} (Ω (n + s; x)), (0 \leq n + σ < k),

(2.4)

where n is the smallest positive integer greater than or equal to -σ provided that ω(0) is well defined and that

Ω (0; x) : = ω (x) .

(2.5)

We can rewrite Weyl's fractional derivative (2.4) alternately as

\begin{matrix} \begin{gathered} Ω (- s; x) : = W^{s} [ω (t)] (x) = {(- 1)}^{n} \frac{d^{n}}{d x^{n}} (W^{- (n - s)} [ω (t)] (x)) \\ = : {(- 1)}^{n} \frac{d^{n}}{d x^{n}} (Ω (n - s; x)) \end{gathered} & (σ > 0, 0 \leq n - σ < k), \end{matrix}

(2.6)

where n is the smallest positive integer greater than or equal to σ. In particular for s = n (n = 0, 1, 2, 3, ...) in (2.6), we obtain

Ω (- n; x) : = W^{n} [ω (t)] (x) : = {(- 1)}^{n} \frac{d^{n}}{d x^{n}} (Ω (0; x)) = {(- 1)}^{n} \frac{d^{n}}{d x^{n}} (ω (x)) .

(2.7)

Notice that {W^s} (s ∈ℂ) is a multiplicative group [[14], p. 245] and satisfies

W^{- (μ + s)} [ω (t)] (x) = W^{- μ} [Ω (s; t)] (x) = Ω (s + μ; x] .

(2.8)

Following the above terminology, we obtain

Ω (0; x) = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} Ω (- n; 0) x^{n}}{n!} (ω \in H (κ; 0), 0 \leq σ < k, x \geq 0) .

(2.9)

Weyl transform notation is helpful for obtaining a precise formulation of the Hardy-Ramanujan master theorem and Ramanujan's interpolation formula.

3. An extended form of the Hardy class for Ramanujan's master theorem

Let b ∈ (0, 1] and F(s) (σ < b) be an analytic function which is not identically zero at all the non-positive integers, s = 0, -1, -2, -3, ..., and

|F (s) Γ (s)| = O ({|τ|}^{ε (σ - b)}) (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < b, ε \geq ε_{0} > 0) .

(3.1)

Define

f_{M} (s) : = Γ (s) F (s) (σ < b),

(3.2)

f (z) : = \frac{1}{2 π i} \int_{C}^{} f_{M} (s) z^{- s} d s (z \neq 0),

(3.3)

where C denotes a loop in the complex s plane that encircles the poles s = 0, -1, -2, -3, ... of Γ(s) (in the positive sense) that passes through 0 < σ < b with end points at infinity in σ < 0. We refer to [[13], p. 90] for the representation of the loop. If the loop C approaches ∞ in the direction ± θ₀ say, where

\frac{1}{2} π < θ_{0} \leq π

, then the logarithm of the modulus of the integrand on C (where s = Re^iθ) in (3.3) behaves like ε R cosθ₀ log(R) + O(R) →-∞ as R → ∞. Consequently, (3.3) defines f(z) without any restriction on arg(z) and thereby represents an analytic continuation of the line integral

f (z) : = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} f_{M} (s) z^{- s} d s (|arg (z)| < \frac{1}{2} π, z \neq 0, 0 < c_{1} \leq c \leq c_{2} < b) .

(3.4)

Note that the loop C in (3.3) is bent back into the vertical path σ = Re(s) = c (0 < c₁ ≤ c ≤ c₂ < b), (3.3) is valid for

|arg z| < \frac{1}{2} π

and hence the integral is convergent only when z = x > 0 and 0 < c₁ ≤ c ≤ c₂ < b. Therefore, the line integral

f (x) : = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} f_{M} (s) x^{- s} d s (x > 0, 0 < c_{1} \leq c \leq c_{2} < b),

(3.5)

is well defined. Hence, we have proved the following lemma.

Lemma (3.1) Let b ∈ (0, 1] and F(s) (σ < b) be an analytic function not identically zero at all the non-positive integers at s = 0, -1, -2, -3, ..., and

|F (s) Γ (s)| = O ({|τ|}^{ε (σ - b)}) (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < b, ε \geq ε_{0} > 0) .

(3.6)

Then the inverse Mellin transform (3.5) is well defined and it can be evaluated by using Cauchy's residue theorem [[4], p. 84].

Remark (3.1) In the above lemma we note that f_M(s): = Γ(s)F(s) (0 < σ < b) is the well defined Mellin transform which is analytic in the strip. Therefore, following the notation of Section 2 we note that

f_{M} (s) : = Γ (s) F (s) = Γ (s) F (s; 0) (0 < σ < b),

(3.7)

where,

\int_{0}^{\infty} F (0; x) x^{s - 1} d x = Γ (s) F (s; 0) (0 < σ < b) .

(3.8)

Taking the inverse Mellin transform of both sides in (3.8), we find

F (0; x) : = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} Γ (s) F (s; 0) x^{- s} d s (0 < c < b) .

(3.9)

Since F(s; 0) (σ < b) is analytic function which is not identically zero at all the non-positive integers at s = 0, -1, -2, -3, ..., and

|Γ (s) F (s; 0)| = O ({|τ|}^{ε (σ - b)}) (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < b, ε \geq ε_{0} > 0),

(3.10)

therefore, according to the above lemma, the inverse Mellin transform (3.9) is well defined. Application of Cauchy's theorem to (3.9) gives that

F (0; x) = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} F (- n; 0) x^{n}}{n!} (0 \leq x < \infty) .

(3.11)

Equations (3.8) and (3.11) yield

\int_{0}^{\infty} x^{s - 1} (\sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} F (- n; 0) x^{n}}{n!}) d x = Γ (s) F (s; 0) (0 < σ < b),

(3.12)

which is the Hardy-Ramanujan master theorem.

It is worth remarking that (3.12) can be extended further as

F (s; x) = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} F (s - n; 0) x^{n}}{n!} (0 \leq x < \infty, 0 \leq σ < b),

(3.13)

provided F(s; x) (σ < b) is analytic for all x ≥ 0 and

|Γ (s) F (s; x)| = O ({|τ|}^{ε (σ - b)}) (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < b, ε \geq ε_{0} > 0, x \geq 0) .

(3.14)

The asymptotic restriction (3.10) can be modified by allowing the series (3.11) to converge only in a finite interval 0 < x < e^-p(see [[2], p. 189]), which is generally the case when the Riemann zeta function is involved. However, then the representation (3.12) is meaningless as the series will be divergent on the infinite interval 0 < x < ∞. To be precise, three type of asymptotic relations where the IMT (3.9) is well defined and the corresponding series converges in different intervals of the variable x are needed.

Suppose that F(s; 0) (σ < b) is analytic function which is not identically zero at all the non-positive integers at s = 0, -1, -2, -3, ..., and

\begin{gathered} |Γ (s) F (s; 0)| \leq C B^{σ} e^{- A |τ|} \\ (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < b), \end{gathered}

(3.15)

where A, B and C are positive constants. In this case, we note that as

|\frac{1}{2 π i} \int_{q - i \infty}^{q + i \infty} Γ (s) F (s; 0) x^{- s} d s| = O ({|\frac{x}{B}|}^{m}) (q = - m - \frac{1}{2}, m \to \infty),

(3.16)

which shows that the IMT (3.9) is absolutely convergent when 0 < x < B. However, (3.9) remains well defined and uniformly convergent when 0 < x₀ ≤ x ≤ X < ∞. Hence, the IMT (3.9) defines a regular function of x (0 < x < ∞) which also has the series representation

F (0; x) = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} F (- n; 0) x^{n}}{n!} (0 < x < B) .

(3.17)

In order to state Ramanujan's master theorem precisely and give the series representation (3.17) in the finite and infinite intervals of x, we need three classes of functions that are introduced in the next section.

4. The classes of functions suitable for the master theorem

We define three classes of functions suitable for the Hardy-Ramanujan formula. Our approach is different from Hardy's, as we define our classes by introducing an asymptotic relation satisfied by the product Γ(s) F(s; 0). This facilitates the determination of a particular function to which the Hardy-Ramanujan formula is applicable.

Definition A meromorphic function F(s; 0) is said to be a member of the class Q_∞(ε, δ) (ε, δ > 0) if:

(a)

F(s; 0) (σ < ∞) is analytic;
(b)

$|Γ (s) F (s; 0)| \leq C {|τ|}^{ε (σ - δ)}$ (σ < δ).
(c)

F(s; 0) is not identically zero at all the non-positive integers at s = 0, -1, -2, -3, ....

Definition A meromorphic function F(s; 0) is said to be a member of the class Q_P(ε, δ) (ε, δ > 0) if:

(a)

F(s; 0) (σ < δ) is analytic,
(b)

$|Γ (s) F (s; 0)| \leq C e^{- P σ - ε |τ|}$ (σ < δ).
(c)

F(s; 0) is not identically zero at all the non-positive integers at s = 0, -1, -2, -3, ....

Definition A meromorphic function F(s; 0) is said to be a member of the class R_∞(ε, δ) (ε, δ > 0) if:

(a)

F(s; 0) (σ < δ) is analytic,
(b)

$|Γ (s) F (s; 0)| \leq C {|τ|}^{σ} e^{- ε |τ|}$ (σ < δ).
(c)

F(s; 0) is not identically zero at all the non-positive integers at s = 0, -1, -2, -3, ....

Theorem (4.1) Every F(s; 0) ∈ Q_∞(ε, δ) (or F(s; 0) ∈ R_∞(ε, δ)) satisfies (3.11), (3.12).

Theorem (4.2) Every F(s; 0) ∈ Q_P(ε, δ) satisfies (3.17) for B = e^p.

5. Some applications of the Hardy-Ramanujan master theorem

We now give examples that include functions that do not belong to Hardy's class for which Ramanujan's master theorem is applicable. As Γ(s) Γ(1-s) = π/sin(πs), using Hardy's notation we have

ϕ (- s) = F (s; 0) / Γ (1 - s) and (π / sin (π s)) ϕ (- s) = Γ (s) F (s; 0),

(see (1.6)). Therefore, it is natural to introduce classes of functions based on the asymptotic representations of the product Γ(s)F(s; 0) as we have done in Section 4.

Example (5.1) Let

Γ (s) F (s; 0) : = Γ (s) ζ (s) (0 < σ < 1) .

(5.1)

Then, we note that F(s, 0): = ζ(s) (-∞ < σ < 1) is analytic and for

0 < θ \leq θ_{0} < \frac{π}{2}

and (see [[9], pp. 135-136])

|Γ (s) F (s, 0)| \leq C {(2 π)}^{σ} e^{- (\frac{π}{2} - θ) |τ|} (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < 1) .

(5.2)

Therefore,

F (s; 0) : = ζ (s) \in Q_{log (1 / 2 π)} (\frac{π}{2} - θ_{0}, 1)

. Hence, according to the lemma (3.1), the IMT

F (0; x) = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} Γ (s) ζ (s) x^{- s} d s (0 < c < 1),

(5.3)

is well defined. The integrand in (5.3) has simple poles at s = 0, -1, -2, .... Using Cauchy's residue theorem, we get

F (0; x) = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} ζ (- n) x^{n}}{n!} (0 < x < 2 π),

(5.4)

that can be simplified further as (see [[6], p. 264-266] and [[9], p. 136])

F (0; x) = \frac{1}{e^{x} - 1} - \frac{1}{x} = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} ζ (- n) x^{n}}{n!} (0 < x < 2 π) .

(5.5)

Example (5.2) Let

Γ (s) F (s; 0) : = Γ (s) Γ (1 - s) = \frac{π}{sin π s} (0 < σ < 1) .

(5.6)

Here the function F(s; 0) = Γ(1-s) (σ < 1) is analytic and

|Γ (s) F (s; 0)| = |Γ (s) Γ (1 - s)| \leq C e^{- π |τ|} (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < 1),

(5.7)

which shows that F(s; 0): = Γ(1-s) ∈ Q₀(π, 1). Therefore, according to the lemma (3.1), the IMT

F (0; x) = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} Γ (s) Γ (1 - s) x^{- s} d s = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{π}{sin π s} x^{- s} d s (x > 0, 0 < σ_{1} \leq c \leq σ_{2} < 1),

(5.8)

is well defined. Using the Cauchy's residue theorem we find

F (0; x) = \frac{1}{1 + x} = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n}}{n!} Γ (1 + n) x^{n} = \sum_{n = 0}^{\infty} {(- 1)}^{n} x^{n} (0 < x < 1),

(5.9)

It is worth pointing out that Ramanujan's master theorem stated as

\int_{0}^{\infty} x^{s - 1} (\sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} Γ (1 + n)}{n!} x^{n}) d x = Γ (s) Γ (1 - s) = \frac{π}{sin π s} (0 < σ < 1),

(5.10)

is not meaningful, as the series in (5.9) and (5.10) is divergent if x > 1. However, the IMT (5.8) is well defined that has the series representation (5.9). The series representation in (5.10) must be replaced by the analytic continuation on the LHS of (5.9).

Example (5.3) We now give an example of a function where Ramanujan's master theorem is applicable but the function does not belong to Hardy's class of functions.

Consider

F (s; 0) : = sin (\frac{π s}{2})

. Then we note that

|Γ (s) sin (\frac{π s}{2})| = O ({|τ|}^{σ - \frac{1}{2}}) (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < 1 / 2) .

(5.11)

Hence, according to the above lemma (3.1), the line integral

F (0; x) : = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} Γ (s) sin (\frac{π s}{2}) x^{- s} d s (x > 0, 0 < c_{1} \leq c \leq c_{2} < 1 / 2),

(5.12)

is well defined. From Cauchy's residue theorem, the integral (5.11) can be evaluated by taking the sum of the residues at the simple poles at s = -1, -3, -5, ... leading to a closed form f(x) = sin x. Hence, we have the Mellin transform representation

M [sin x; s] : = \int_{0}^{\infty} \frac{sin x}{x^{1 - s}} d x = Γ (s) sin (\frac{π s}{2}) (0 < σ < 1 / 2) .

(5.13)

We note that F(s; 0) ∈Q_∞(1, 1/2). Following Jordan's lemma, the integral (5.13) remains convergent for 0 < σ < 1 which shows that (3.9) is valid in the strip 0 < σ < 1. Note that in this example we have A = π and $ϕ (- s) = F (s; 0) / Γ (1 - s) = sin (\frac{π s}{2}) / Γ (1 - s)$ which shows that ϕ does not belong to Hardy's class of functions.

Example (5.4) We give a second example of a function where Ramanujan's master theorem is applicable but the function does not belong to Hardy's class of functions. The applicability of the Ramanujan's master theorem is assured by the lemma (3.1). Consider

F (s; 0) = \frac{1}{Γ (1 - s)}

(σ < 1/2). Then (see [[7], p. 6(1.45)])

|\frac{Γ (s)}{Γ (1 - s)}| = O ({|τ|}^{2 (σ - \frac{1}{2})}) (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < 1 / 2) .

(5.14)

Hence, according to the above lemma, the integral

\begin{gathered} F (0; x) : = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{Γ (s)}{Γ (1 - s)} x^{- s} d s \\ (x > 0, 0 < c_{1} \leq c \leq c_{2} < 1 / 2), \end{gathered}

(5.15)

is well defined. From Cauchy's residue theorem, the integral (5.15) can be evaluated by taking the sum of the residues at the simple poles at s = 0, -1, -2, ... leading to

F (0; x) = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} x^{n}}{{(n!)}^{2}},

(5.16)

which has the closed form

F (0; x) = J_{0} (2 \sqrt{x})

. Again we have A = π and

ϕ (- s) = F (s; 0) / Γ (1 - s) = 1 / {(Γ (1 - s))}^{2},

(5.17)

which shows that ϕ does not belong to Hardy's class of functions. However, F(s; 0) ∈Q_∞(2, 1/2).

Example (5.5) We give another example of a function involving ratio of the Riemann zeta functions where our lemma (3.1) assures the application of Ramanujan's master theorem but the function does not belong to Hardy's class of functions. Consider

F (s; 0) : = \frac{ζ (s)}{Γ (1 - s) ζ (1 - s)}

(σ < 1/2). Then (see [[5], p. 81])

|\frac{Γ (s) ζ (s)}{Γ (1 - s) ζ (1 - s)}| = O ({|τ|}^{σ - \frac{1}{2}}) (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < 1 / 2) .

(5.18)

Hence, according to the above lemma, the integral

F (0; x) : = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{Γ (s) ζ (s)}{Γ (1 - s) ζ (1 - s)} x^{- s} d s (x > 0, 0 < c_{1} \leq c \leq c_{2} < 1 / 2),

(5.19)

is well defined. From Cauchy's residue theorem, the integral (5.16) can be evaluated by taking the sum of the residues at the simple poles at s = -1, -3, ... leading to

F (0; x) = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} ζ (- n) x^{n}}{{(n!)}^{2} ζ (1 + n)} .

(5.20)

The series (5.19) can be simplifies further by using Riemann functional equation (1.11) to give the closed form

F (0; x) = \sum_{n = 0}^{\infty} \frac{{(- 1)}^{n} ζ (- n) x^{n}}{{(n!)}^{2} ζ (1 + n)} = \frac{1}{π} sin (\frac{π x}{2}) .

(5.21)

Once again we have

ϕ (- s) = F (s; 0) / Γ (1 - s) = ζ (s) / ζ (1 - s) {(Γ (1 - s))}^{2},

(5.22)

which shows that ϕ does not belong to Hardy's class of functions. However, F(s; 0) ∈Q_∞(1, 1/2).

Example (5.6) Consider

F (s; 0) : = \frac{ζ (1 - s)}{Γ (s) ζ (s)} (σ < 1 / 2) .

(5.23)

Then we note that (see [[5], p.81])

|Γ (s) F (s; 0)| = |\frac{ζ (s)}{ζ (1 - s)}| = |χ (s)| = O ({|τ|}^{σ - \frac{1}{2}}) (|τ| \to \infty, - \infty < σ_{1} \leq σ \leq σ_{2} < 1 / 2) .

(5.24)

Hence, according to the lemma (3.1), the IMT

F (0; x) = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{ζ (1 - s)}{ζ (s)} x^{- s} d s (0 < c < 1 / 2, x \geq 0),

(5.25)

is well defined. The integral (5.23) can be evaluated by Cauchy's residue theorem which has the closed form (see [[13], p. 91(3.3.6)]), F(0; x) = 2cos(πx). Once again the function

ϕ (- s) = F (s; 0) / Γ (1 - s) = ζ (1 - s) / ζ (s) Γ (s) Γ (1 - s),

(5.26)

which shows that ϕ does not belong to Hardy's class of functions. However, F(s; 0) ∈Q_∞(1, 1/2).

6. Different forms of the Hardy-Ramanujan master theorem

The Hardy-Ramanujan master theorem can be represented in different forms by considering special cases of the function F(s; 0) (see [[2], p. 186]) in the above lemma and in theorems (4.1) and (4.2). These special cases were stated as formulas/theorems by Ramanujan. These are special cases of the master theorem. We state them in the form of theorems for the sake of completeness.

Theorem (6.1) Let

F (s; 0) : = Γ (1 - s) G (s),

(6.1)

be in one of the above three classes. Then, we have

\begin{matrix} \begin{gathered} \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} Γ (s) Γ (1 - s) G (s) x^{- s} d s = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{π}{sin π s} G (s) x^{- s} d s \\ = \sum_{n = 0}^{\infty} {(- 1)}^{n} G (- n) x^{n} \end{gathered} & (0 < c < 1) \end{matrix} .

(6.2)

Theorem (6.2) Let

F (s; 0) : = Γ (1 - s) G (s) H (1 - s)

(6.3)

be in one of the above three classes. Then, we have

\begin{gathered} \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} Γ (s) Γ (1 - s) G (s) H (1 - s) x^{- s} d s = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{π}{sin π s} G (s) H (1 - s) x^{- s} d s \\ = \sum_{n = 0}^{\infty} {(- 1)}^{n} G (- n) H (1 + n) x^{n} (0 < c < 1) . \end{gathered}

(6.4)

Theorem (6.3) (Extension of Ramanujan's Formulas)

Let F(s; 0) G(1-s; 0) be in one of the three classes. Then

\begin{gathered} F (0; x) \circ G (0; x) : = \int_{0}^{\infty} F (0, x t) G (0, t) d t = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{π}{sin π s} F (s; 0) G (1 - s; 0) x^{- s} d s \\ = \sum_{n = 0}^{\infty} {(- 1)}^{n} F (- n; 0) G (1 + n; 0) x^{n} . \end{gathered}

(6.5)

Proof Since we have

M [f (x) \circ g (x); s] = f_{M} (s) g_{M} (1 - s),

which implies that

\begin{gathered} M [F (0; x) \circ G (0; x); s] \\ = Γ (s) Γ (1 - s) F (s; 0) G (1 - s; 0) = \frac{π}{sin π s} F (s; 0) G (1 - s; 0) . \end{gathered}

(6.6)

Taking the IMT in (6.6), we arrive at (6.5).

Remark (6.4) It may be noted that the result (6.4) can be regarded as an extension of Ramanujan's Formulas (D.1) and (D.2) (see [[2], p. 186]). Putting F(0; x) = cos x and

F (s; 0) = cos (\frac{π s}{2})

in (6.6), we obtain

\begin{gathered} cos (x) \circ G (0; x) : = \int_{0}^{\infty} cos (x t) G (0; t) d t = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{π}{sin π s} cos \frac{π s}{2} G (1 - s; 0) t^{- s} d s \\ = \sum_{n = 0}^{\infty} {(- 1)}^{n} G (1 + 2 n; 0) x^{2 n}, \end{gathered}

(6.7)

which is (D.1) (see [[2], p. 187]).

Putting F(0; x) = sin x and

F (s; 0) = sin (\frac{π s}{2})

in (6.6), we obtain

\begin{gathered} sin (x) \circ G (0; x) : = \int_{0}^{\infty} sin (x t) G (0; t) d t = \frac{1}{2 π i} \int_{c - i \infty}^{c + i \infty} \frac{π}{sin π s} sin \frac{π s}{2} G (1 - s; 0) x^{- s} d s \\ = \sum_{n = 0}^{\infty} {(- 1)}^{n} G (2 + 2 n; 0) x^{2 n + 1}, \end{gathered}

(6.8)

which is (D.2).

7. Concluding remarks

Rigorous proofs are needed not only to be absolutely sure of the validity of the result but also to clearly define the range of its validity. This is, of course, necessary for actual application of the result. Even more importantly, the clear statement of the limitations delineates the precise reason for those limitations and hence provides the direction to be taken to proceed beyond those limits. Ways may then be found of 'bypassing' those limitations or of going around the limitations by extending the domain of the variables and thereby entering a different domain from the original, as done in analytic continuation. This has been the philosophy behind the present work.

In this article, we have provided a rigorous proof of the Hardy-Ramanujan theorem for a wider class of functions than was previously available. In fact, Hardy had noted that the theorem should apply to a wider class of functions but had then provided the extension. He does not appear to have provided the required extension later either. It may be thought that this indicates that he felt that the extension was not worth pursuing but, as we have pointed out here, many functions that are likely to be used in the application of the master theorem and Ramanujan's formula lie outside the domain of classes defined by Hardy. As such, the need for that extension was there but had not been provided. As we show, the rigorous proof for the wider class leads to even more general applicability of the theorem.

It would be worth seeing if the theorem could be extended still further. This extension is being explored separately. It appears that an extension may be possible.

Abbreviations

IMT:: inverse Mellin transform

LHS:: left hand side.

Declarations

Acknowledgements

The authors are grateful to the King Fahd University of Petroleum and Minerals for providing excellent research facilities through IN090049.

Authors’ Affiliations

(1)

Department of Mathematics and Statistics, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia

(2)

Center for Advanced Mathematics and Physics, National University of Science and Technology, Islamabad, Pakistan

References

Berndt BC: Ramanujan's Notebooks, Part IV. Springer-Verlag, New York 1989.Google Scholar
Hardy GH: Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work. Chelsea Publishing Company, New York 1959.Google Scholar
Edwards HM: Riemann Zeta Function. Academic Press, New York; 1974.Google Scholar
Ash RB: Complex Variables. Academic Press New York and London; 1971.Google Scholar
Titchmarsh EC: The Theory of the Riemann Zeta Function. Oxford University Press, New York; 1951.Google Scholar
Apostol TM: Introduction to Analytic Number Theory. Springer-Verlag, New York Heidelberg Berlin 1976.Google Scholar
Chaudhry MA, Zubair SM: On a Class of Incomplete Gamma Functions with Applications. Chapman and Hall/CRC 2001.Google Scholar
Davenport H: Multiplicative Number Theory, second edition. New York, Springer-Verlag 1980.Google Scholar
Hardy GH, Littlewood JE: Contributions to the Theory of the Riemann Zeta Function and the Theory of the Distribution of Primes. Acta Math 1918, 41: 119–196.MathSciNetView ArticleGoogle Scholar
Magnus W, Oberhettinger F, Soni RP: Formulas and Theorems for the Special Functions of Mathematical Physics. Springer-Verlag, New York 1966.Google Scholar
Srivastava HM: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math Proc Camb Philos Soc 2000, 129: 77–84. 10.1017/S0305004100004412MATHView ArticleGoogle Scholar
Temme NM: Special Functions: An Introduction to Classical Functions of Mathematical Physics. Wiley, New York 1996.Google Scholar
Paris RB, Kaminski D: Asymptotics and Mellin-Barnes Integrals. Cambridge University Press, Cambridge; 2001.View ArticleGoogle Scholar
Miller KS, Ross B: An Introduction to the Fractional Calculus and Fractional Differential Equations. John Wiley & Sons, Inc., New York; 1993.Google Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.