- Research
- Open access
- Published:
Extension of Hardy's class for Ramanujan's interpolation formula and master theorem with applications
Journal of Inequalities and Applications volume 2012, Article number: 52 (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
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
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]
The integrand in (1.2) is majorized, for all positive x, by a constant multiple of
and the integral (1.2) converges uniformly in an interval 0 < x ≤ x0 ≤ 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,
for some analytic function ϕ(s) (σ > -δ), then
By Cauchy's theorem (see [2, 4] for example) for (1.2), we obtain the series representation
which is another form of the Hardy-Ramanujan's master theorem. This leads to the Ramanujan interpolation formula
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
was originally introduced by Euler (for real s) who proved that [[5], p. 1]
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)])
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
Then the functional equation (1.11) can be rewritten as
Using the identity
for the gamma function, we can rewrite the function χ(s) as
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 ,
-
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 , then the function f(t) is said to be in the class H(∞; λ) . It is to be noted that
H(∞; λ) ⊂H(κ; λ) (). Clearly, we have
The Mellin transform of f ∈H(κ; λ) is defined by [[13], p. 83],
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]),
For σ ≤ 0, we define the Weyl transform (or Weyl's fractional derivative) of order s of ω ∈ H(κ; 0) as follows (see [[14], p. 241]):
where n is the smallest positive integer greater than or equal to -σ provided that ω(0) is well defined and that
We can rewrite Weyl's fractional derivative (2.4) alternately as
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
Notice that {Ws} (s ∈ℂ) is a multiplicative group [[14], p. 245] and satisfies
Following the above terminology, we obtain
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
Define
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 ± θ0 say, where , then the logarithm of the modulus of the integrand on C (where s = Reiθ) in (3.3) behaves like ε R cosθ0 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
Note that the loop C in (3.3) is bent back into the vertical path σ = Re(s) = c (0 < c1 ≤ c ≤ c2 < b), (3.3) is valid for and hence the integral is convergent only when z = x > 0 and 0 < c1 ≤ c ≤ c2 < b. Therefore, the line integral
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
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
where,
Taking the inverse Mellin transform of both sides in (3.8), we find
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
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
Equations (3.8) and (3.11) yield
which is the Hardy-Ramanujan master theorem.
It is worth remarking that (3.12) can be extended further as
provided F(s; x) (σ < b) is analytic for all x ≥ 0 and
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
where A, B and C are positive constants. In this case, we note that as
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 < x0 ≤ x ≤ X < ∞. Hence, the IMT (3.9) defines a regular function of x (0 < x < ∞) which also has the series representation
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)
(σ < δ).
-
(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)
(σ < δ).
-
(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)
(σ < δ).
-
(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 = ep.
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
(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
Then, we note that F(s, 0): = ζ(s) (-∞ < σ < 1) is analytic and for and (see [[9], pp. 135-136])
Therefore, . Hence, according to the lemma (3.1), the IMT
is well defined. The integrand in (5.3) has simple poles at s = 0, -1, -2, .... Using Cauchy's residue theorem, we get
that can be simplified further as (see [[6], p. 264-266] and [[9], p. 136])
Example (5.2) Let
Here the function F(s; 0) = Γ(1-s) (σ < 1) is analytic and
which shows that F(s; 0): = Γ(1-s) ∈ Q0(π, 1). Therefore, according to the lemma (3.1), the IMT
is well defined. Using the Cauchy's residue theorem we find
It is worth pointing out that Ramanujan's master theorem stated as
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 . Then we note that
Hence, according to the above lemma (3.1), the line integral
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
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 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 (σ < 1/2). Then (see [[7], p. 6(1.45)])
Hence, according to the above lemma, the integral
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
which has the closed form . Again we have A = π and
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 (σ < 1/2). Then (see [[5], p. 81])
Hence, according to the above lemma, the integral
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
The series (5.19) can be simplifies further by using Riemann functional equation (1.11) to give the closed form
Once again we have
which shows that ϕ does not belong to Hardy's class of functions. However, F(s; 0) ∈Q∞(1, 1/2).
Example (5.6) Consider
Then we note that (see [[5], p.81])
Hence, according to the lemma (3.1), the IMT
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
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
be in one of the above three classes. Then, we have
Theorem (6.2) Let
be in one of the above three classes. Then, we have
Theorem (6.3) (Extension of Ramanujan's Formulas)
Let F(s; 0) G(1-s; 0) be in one of the three classes. Then
Proof Since we have
which implies that
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 in (6.6), we obtain
which is (D.1) (see [[2], p. 187]).
Putting F(0; x) = sin x and in (6.6), we obtain
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.
References
Berndt BC: Ramanujan's Notebooks, Part IV. Springer-Verlag, New York 1989.
Hardy GH: Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work. Chelsea Publishing Company, New York 1959.
Edwards HM: Riemann Zeta Function. Academic Press, New York; 1974.
Ash RB: Complex Variables. Academic Press New York and London; 1971.
Titchmarsh EC: The Theory of the Riemann Zeta Function. Oxford University Press, New York; 1951.
Apostol TM: Introduction to Analytic Number Theory. Springer-Verlag, New York Heidelberg Berlin 1976.
Chaudhry MA, Zubair SM: On a Class of Incomplete Gamma Functions with Applications. Chapman and Hall/CRC 2001.
Davenport H: Multiplicative Number Theory, second edition. New York, Springer-Verlag 1980.
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.
Magnus W, Oberhettinger F, Soni RP: Formulas and Theorems for the Special Functions of Mathematical Physics. Springer-Verlag, New York 1966.
Srivastava HM: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math Proc Camb Philos Soc 2000, 129: 77–84. 10.1017/S0305004100004412
Temme NM: Special Functions: An Introduction to Classical Functions of Mathematical Physics. Wiley, New York 1996.
Paris RB, Kaminski D: Asymptotics and Mellin-Barnes Integrals. Cambridge University Press, Cambridge; 2001.
Miller KS, Ross B: An Introduction to the Fractional Calculus and Fractional Differential Equations. John Wiley & Sons, Inc., New York; 1993.
Acknowledgements
The authors are grateful to the King Fahd University of Petroleum and Minerals for providing excellent research facilities through IN090049.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
Both authors take full joint responsibility for the paper. There are equal contributions of both authors.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Chaudhry, M.A., Qadir, A. Extension of Hardy's class for Ramanujan's interpolation formula and master theorem with applications. J Inequal Appl 2012, 52 (2012). https://doi.org/10.1186/1029-242X-2012-52
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2012-52