Abstract
The method of brackets is a method for the evaluation of definite integrals based on a small number of rules. This is employed here for the evaluation of Mellin–Barnes integral. The fundamental idea is to transform these integral representations into a bracket series to obtain their values. The expansion of the gamma function in such a series constitute the main part of this new application. The power and flexibility of this procedure is illustrated with a variety of examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A classical approaches to special functions developed in the 19th century was to classify them from the point of view of solutions to (second) order differential equations with analytic coefficients
Gauss understood that the singularities of this equation are central to this classification. Moreover, the role of \(\infty \) as a possible singularity of (1.1) plays an important role. The notion of regular singularities and the well-known Frobenius method to produce solutions arose from this point of view. The reader will find information about these ideas in [20, 27].
It is a classical result that any differential equation with 3 regular singular points (on \({\mathbb {C}} \cup \{ \infty \}\)) can be transformed to the hypergeometric differential equation
with singularities at \(0, \, 1, \, \infty \). The solution of (1.2), normalized by \(w(0) = 1\) is the hypergeometric function, defined by the series expansion
where \((q)_{n}\) os the Pochhammer symbol defined by
Among the many representations of the hypergeometric function we single out the so-called Mellin-Barnes integral
where the contour of integration \(\gamma \) joins \(- i \infty \) to \(+ i \infty \) and separates the poles of \(\Gamma (-s)\) (namely \(0, \, 1, \, 2, \ldots \)) from those of \(\Gamma (a+s) \Gamma (b+s)\) (located at \(-a, \, -a-1, \ldots , -b, -b-1, \ldots \)). In the general case, the poles of the gamma factors are located on horizontal semi-axes. The contour \(\gamma \) has to be chosen to separate those moving to the right from those moving to the left. Examples may be found in [25, 26].
The main type of integrals considered in this work come from Mellin transforms. This concept is recalled next.
Definition 1.1
Given a function f(x), defined on the positive real axis \({\mathbb {R}}^{+}\), its Mellin transform is defined by
This relation may be inverted by a line integral
by an appropriate choice of the contour \(\gamma \) of the type described above.
The goal of the current work is to present a procedure to evaluate inverse Mellin transforms based on the method of brackets. This is a method to evaluate definite integrals and it is described in Sect. 2. The class of functions considered here are of the form
For simplicity the parameters \(A_{j}, \, B_{j}, \, C_{j}, \, D_{j}\) are taken real and positive. Integrals of the form (1.7) with an integrand of the type (1.8) will be referred as Mellin–Barnes integrals.
Remark 1.2
In high energy physics Mellin–Barnes integrals appear frequently at the intermediate steps in the process of calculations [2, 3, 12, 14,15,16, 21, 25]. These are contour integrals in which the integrands are quotients of Euler Gamma functions, as in (1.8). This type of contour integrals represent a typical representation of generalized hypergeometric functions. The Mellin–Barnes representation of denominators in integrands corresponding to Feynman diagrams in the momentum space representation is a standard procedure in quantum field theory. This approach helps to calculate very difficult Feynman diagrams [25] and this is the reason why Barnes integrals usually appear at the penultimate step of calculation.
Remark 1.3
In the previous work [13] it was mentioned that it would be interesting to combine the Mellin–Barnes integrals and the method of brackets, due to the similarity of these methods. This combination is presented here. In addition, several known relations for generalized hypergeometric functions have been reestablished by combining the method of brackets and Mellin–Barnes transformations. Our investigation has been motivated by the work of Prausa [23] which proposes an interesting symbolic procedure. Our work compares it with the method of brackets.
2 The method of brackets
This is a method that evaluates definite integrals over the half line \([0, \, \infty )\). The application of the method consists of small number of rules, deduced in heuristic form, some of which are placed on solid ground [5, 17, 18].
For \(a \in {\mathbb {R}}\), the symbol
is the bracket associated to the (divergent) integral on the right. The symbol
is called the indicator associated to the index n. The notation \(\phi _{i_{1}i_{2}\cdots i_{r}}\), or simply \(\phi _{12 \cdots r}\), denotes the product \(\phi _{i_{1}} \phi _{i_{2}} \cdots \phi _{i_{r}}\).
Rules for the production of bracket series
The first part of the method is to associate to the integral
a bracket series according to
\({\mathbf {Rule \, \, P_{1}}}\). Assume f has the expansion
Then I(f) is assigned the bracket series
\({\mathbf {Rule \, \, P_{2}}}\). For \(\alpha \in {\mathbb {R}}\), the multinomial power \((a_{1} + a_{2} + \cdots + a_{r})^{\alpha }\) is assigned the r-dimension bracket series
(See [17] for details.)
Example 2.1
The effect of Rule \(P_{2}\) is to replace (part of) an integrand by a bracket series. For example, the integral
can be evaluated directly with the change of variables \(x = (c/a)^{1/\beta } u^{1/\beta }\) to produce
and the classical formula
gives the result
To evaluate this example by the method of brackets, start by using Rule \(P_{2}\) and associate to the integrand a brackets series in the form
The next step is to integrate over \([0, \infty )\) to produce
Up to this point, the integral has been reduced to a two-dimensional bracket series containing two brackets. The evaluation of these series is described below using Rule \(E_{2}\), stated next.
\({\mathbf {Rule \, \, P_{3}}}\). Each representation of an integral by a bracket series has associated a complexity index of the representation via
It is important to observe that the complexity index is attached to a specific representation of the integral and not just to integral itself. The experience obtained by the authors using this method suggests that, among all representations of an integral as a bracket series, the one with minimal complexity index should be chosen. The level of difficulty in the analysis of the resulting bracket series increases with the complexity index.
Rules for the evaluation of a bracket series
\({\mathbf {Rule \, \, E_{1}}}\). Let \(a, \, b \in {\mathbb {R}}\). The one-dimensional bracket series is assigned the value
where \(n^{*}\) is obtained from the vanishing of the bracket; that is, \(n^{*}\) solves \(an+b = 0\). This is precisely the Ramanujan’s master theorem.
The next rule provides a value for multi-dimensional bracket series of index 0, that is, the number of sums is equal to the number of brackets.
\({\mathbf {Rule \, \, E_{2}}}\). Let \(a_{ij} \in {\mathbb {R}}\). Assuming the matrix \(A = (a_{ij})\) is non-singular, then the assignment is
where \(\{ n_{i}^{*} \}\) is the (unique) solution of the linear system obtained from the vanishing of the brackets. There is no assignment if A is singular.
Example \(\mathbf {2.1}\): continuation. The two-dimensional brackets series in Example 2.1
is now evaluated using Rule \(E_{2}\). The linear system to be solved is
and since the determinant of the associated matrix is \(1/\beta \ne 0\), there is a unique solution. This is given by
Using these values in Rule \(E_{2}\) reproduces (2.10).
\({\mathbf {Rule \, \, E_{3}}}\). The value of a multi-dimensional bracket series of positive complexity index is obtained by computing all the contributions of maximal rank by Rule \(E_{2}\). These contributions to the integral appear as series in the free indices. Series converging in a common region are added and divergent/nulls series are discarded. There is no assignment to a bracket series of negative complexity index. If all the resulting series are discarded, then the method is not applicable.
Remark 2.2
There is a small collection of formal operational rules for brackets. These will be used in the calculations presented below.
Rule 2.1
For any \(\alpha \in {\mathbb {R}}\) the bracket satisfies \(\langle - \alpha \rangle = \langle \alpha \rangle \).
Proof
This follows from the change of variables \(x \mapsto 1/x\) in \(\langle - \alpha \rangle = \int _{0}^{\infty } x^{-\alpha - 1} \, dx. \) \(\square \)
A similar change of variables gives the next scaling rule:
Rule 2.2
For any \(\alpha , \, \beta , \, \gamma \in {\mathbb {R}}\) with \(\alpha \ne 0\) the bracket satisfies
This can be deduced from Rule \(E_{1}\).
Rule 2.3
For any \(\alpha , \, \beta \in {\mathbb {R}}\) with \(\alpha \ne 0\), for any \(n \in {\mathbb {N}}\) appearing as the index of a sum any allowable function F, the identity
in the sense that any appearance of the left-hand side in a bracket series may be replaced by the right-hand side.
Proof
This follows directly from the rule \(E_{1}\) to evaluate bracket series. \(\square \)
3 Some operational rules for integration
This section describes the relation between line integrals, like those appearing in the inverse Mellin transform, and the method of brackets. These complement those given for the discrete sums. The results presented here have appeared in [23] as an extension of the method of brackets and used to produce a minimal Mellin-Barnes representations of integrals appearing in connection with Feynman diagrams.
3.1 Brackets and the fundamental rule of integration
Let f be a function defined on \({\mathbb {R}}^{+}\) and consider its Mellin transform
with inversion rule
with the usual convention on the contour \(\gamma \). Then, replacing (3.2) into (3.1) produces
This proves:
Rule 3.1
The rule for integration respect to brackets is given by
where \(\gamma \) is a contour of the usual type. The generalization
can be obtained from Rule 2.2.
3.2 Mellin transform
This section contains a brief review of the Mellin transform. Recall that this is defined by
where the arguments are the function f to be transformed and the variable z appearing in the integral. The inverse Mellin transformation is
The point c associated to the contour of integration must be in the vertical strip \(c_1< c < c_2\), with boundaries determined by the condition that
must be finite. This is satisfied if the function f satisfies the growth conditions
The conditions (3.8) imply that the Mellin transform \({\mathcal {M}}(f)(z)\) is holomorphic in the vertical strip \(c_1< \mathrm{Re}~z < c_2\). The asymptotic behavior of the integrand is then used to determine the direction in which (a finite segment) of the vertical line contour is closed in order to produce a contour to apply Cauchy’s integral theorem. The singularities of the integrand are then used to analyze the behavior of the integrals as the finite segment becomes infinite.
One of the simplest examples of the Mellin transformation is
The contour in the complex plane is the vertical line with \(\mathrm{Re}~z = c\) is in the strip \(0< c < A,\) where A is a real positive number, the vertical line contour must be closed to the left. It is convenient to include here a proof of equations (3.6–3.7). This is classical and may be found in any textbook on the theory of complex variable. It is reproduced here for pedagogical arguments. First, use the fact that \({\mathcal {M}}(f)(z)\) is holomorphic in the strip \(c_1< \mathrm{Re}~z < c_2\), then taking \(\delta > 0\) to be infinitesimally small,
where CR is a rectangular contour constructed from the two vertical lines from (3.9) supplemented by two horizontal lines at the imaginary complex infinities of the strip \(c_1< \mathrm{Re}~z < c_2.\) The contour CR is closed in the counterclockwise orientation.
The inverse transformation proof is even simpler and may be used in order to define Dirac \(\delta \)-function. Observe that
which is valid in view of the relation
This proof of the inverse Mellin transformation belongs to D. Hilbert and may be found in classical textbooks dedicated to complex analysis. In this paper we show that the method of brackets, when applied to Mellin integrals, is in some sense equivalent to this old proof. More precisely, we argue that by using the same procedure, namely to divide the integration over \(x \in [0,\infty [\) into \(x \in [0,1]\) and \(x \in [1,\infty [\) and creating a closed contour in the complex plane, one may map all the rules of the method of bracket to the Cauchy integral formula.
In high energy particle physics, in order to solve integro-differential equations representing evolution of important physical quantities, the transformation to Mellin moment is frequently used (see, for example [4]). The inverse transformation of the Mellin moment has completely the same form like the inverse Mellin transformation. The question may appear if the inverse Mellin transformation returns us to some function but how we may know if we came back to this function of a real variable from its Mellin moment or from its Mellin transform in the complex plane? We may differ the Mellin moments from the the Mellin transforms by studying the asymptotic behaviour at the complex infinity of the given function in the complex plane.
Remark 3.1
The question of complexity, as introduced in Rule \(\mathbf {P_{3}}\) is now extended. In the process of evaluating an integral by the method of brackets, define \(\sigma \) to be the number of sums plus the number of contour integrals appearing and \(\kappa \) to be the number of brackets plus the number of integrals on the half-line \([0, \, \infty )\) that appear. The (generalized) index of complexity is \(\iota = \sigma - \kappa \). This index should be seen as a measure of difficulty in the evaluation of the integral by the method of brackets. In the case \(\iota = 0\), the answer is given by a single term. For \(\iota > 0\), the gamma factors appearing in the numerators of the line integrals must be expanded in bracket series. This guarantees that the method provides all series representations of the solution. As usual series converging in a common region must be added. It is the heuristic observation that the bracket/line integral representations of a problem should aim to minimize the index \(\iota \).
3.3 Multiple integrals
The method discussed here can be extended to evaluate multiple integrals with a bracket representation
by using the one-dimensional rule in iterated form. The expression for J has the form
where \(A = (a_{ij})\), with \(a_{ij} \in {\mathbb {R}}\) and \(\{ s_{i}^{*} \} \, \, (i=1, \ldots , N)\) is the solution of the system \(A \vec {s} = - \vec {c}\) produced by the vanishing of the arguments in the brackets appearing in this process.
4 Transforming Mellin–Barnes integrals to bracket series
This section evaluates Mellin–Barnes integrals by transforming them into a bracket series. The rules of Sect. 2 are then used to produce an analytic expression for the integral.
Lemma 4.1
The gamma function has the bracket series representation
Proof
This follows simply from expanding \(e^{-t}\) in power series in the integral representation of the gamma function to obtain
\(\square \)
In this section we present a systematic procedure to evaluate Mellin–Barnes integrals of the form
where \(\gamma \) is the usual vertical line contour. A similar argument has appeared in [23]. The idea is to use the method of brackets to produce the bracket series associated to (4.3). The parameters satisfy the rules \(a_{j}, \, b_{j}, \, c_{j}, \, d_{j} \in {\mathbb {C}}\) and \(A_{j}, \, B_{j}, \, C_{j}, \, D_{j} \in {\mathbb {R}}^{+}\) for the index j in the corresponding range; for instance, the j associated to \(a_{j}, \, A_{j}\) vary from 1 to M.
The procedure to obtain the bracket series is systematic: the gamma factors in the numerator are replaced using formula (4.1) (the gamma factors in the denominator do not contribute):
and similarly
The rules of the method of brackets described in Sect. 2 now yield a bracket series associated with the integral (4.3). To illustrate these idea, introduce the function
The previous rules transform the integral I(x) in (4.3) to
this will be written in the more compact form
Now select the bracket \(\langle a_{M} + A_{M}s + k_{M} \rangle \) to evaluate the integral (4.8). Any other choice of bracket gives an equivalent value for I(x). Start with
The rules of the method of brackets given requires to solve the linear equation coming from the vanishing of the last bracket and using Rule 3.1. This produces
Therefore
Therefore, the value of the integral I(x) obtained from the selection of the the bracket \(\langle a_{M} + A_{M}s + k_{M} \rangle \) is given by
Observe that one obtains a total of \(M+P\) series representations for the integral I(x). There are P of them in the argument \(x^{-1/C_{j}}\) and the remaining M of them in the argument \(x^{1/A_{j}}\). This procedure extends without difficulty to multiple integrals.
These ideas are illustrated next.
Example 4.2
The hypergeometric function \({_{2}}F_{1}\), defined by the series
for \(|x| < 1\), admits the Mellin-Barnes representation
as a contour integral. This appears as entry 9.113 in [19].
The integral in (4.13) is now used to obtain the series representation (4.12). As an added consequence, this method will also produce an analytic continuation of the series (4.12) to the domain \(|x|>1\).
The starting point is now the right-hand side of (4.13)
and using (4.1) in the three gamma factors yields
The gamma term in the denominator has no poles, so it is not expanded.
In order to evaluate the expression (4.15), select the bracket containing the index \(n_{1}\) and use Rule 3.1 to obtain the bracket series:
The evaluation of this series is done according to the rules given in Sect. 2.
Take \(n_{1}\) as the free index. Then the indices \(n_{2}, \, n_{3}\) are determined by the system
which gives \(n_{2} = - a - n_{1}\) and \(n_{3} = -b-n_{1}\). Then (2.14) produces
where the index on \(G_{1}\) is used to indicate that this sum comes from the free index \(n_{1}\). This reduces to (4.12), showing that
The series on the right converges for \(|x|<1\). This recovers Eq. (4.12).
Take \(n_{2}\) as the free index. Then the vanishing of the brackets give \(n_{1} = -a - n_{2}\) and \(n_{3} = -b+a+n_{2}\). Then
Using \(\Gamma (u+m) = \Gamma (u) (u)_{m}\) converts (4.20) into
The final step uses the transformation rule
to eliminate the negative indices on the Pochhammer symbols and convert (4.21) into
The series on the right is identified as a hypergeometric series and it yields
and this series converges for \(|x|>1\).
Finally take \(n_{3}\) as the free index. This case is similar to the previous one and it produces
and this series also converges for \(|x|>1\).
The rules in Sect. 2 state that if in the evaluation of an integral one obtains a collection of series, coming from choices of free indices, those converging in a common region must be added. Thus, the integral G(a, b, c; x) in (4.16) has the representations
and
Therefore we have obtained an analytic continuation of the hypergeometric function \(_{2}F_{1}(a,b,c;x)\) from \(|x|<1\) to the exterior of the unit circle. The identity (4.27) appears as entry 9.132.2 in [19].
5 Inverse Mellin transforms
The method of brackets is now used to evaluate integrals of the form (1.7)
where \(\gamma \) is a vertical line on \({\mathbb {C}}\), adjusted to each problem. Given \(\varphi (s)\), the function f(x) has Mellin transform \(\varphi \).
Example 5.1
Consider the function \(\varphi (s) = \Gamma (s-a).\) Its inverse Mellin transform is given by
Now use (4.1) to write
and (5.2) yields
Rule 3.1 now gives
This is written as
or equivalently
Replacing \(s-a\) by s, this is the integral definition of the gamma function.
Example 5.2
The inverse Mellin transform of \(\varphi (s) = \Gamma (a-s)\) is obtained as in Example 5.1. The result is
also written as
or equivalently
The change of variables \(u = x^{-1}\) gives the integral representation of the gamma function.
Example 5.3
The inversion of \(\varphi (s) = \Gamma (s-a) \Gamma (s-b)\) amounts to the evaluation of the line integral
Now use (4.1) to write
and produce
Now select the bracket containing the index \(n_{1}\) and write (5.13) using Rule 3.1 as
This is a two-dimensional bracket series and its evaluation is achieved using the rules in Sect. 2:
\(n_{1}\) is a free index. Then \(n_{2} = n_{1}-a+b\) and this produces the value
\(n_{2}\) is a free index. A similar argument gives
Since both representations always converge, one obtains
The function \(_{0}F_{1}\) is now expressed in terms of the modified Bessel function \(I_{\nu }(z)\). This is defined in [22, 10.25.2] by the power series
Lemma 5.4
For \(\alpha \in {\mathbb {R}}\), the identity
holds.
Proof
This follows directly from (5.18). \(\square \)
Replacing the expression in Lemma 5.4 in (5.17) gives
The relation [22, 10.27.4]
(which is here as the definition of \(K_{\nu }(z)\)) now implies
with \(\nu = a-b\). This is
After some elementary changes, this is written as
the form appearing in [22, 10.32.13]. The expression (5.24) is now written in the equivalent form
Example 5.5
Consider the inversion of \(\varphi (s) = \Gamma (s-a) \Gamma (b-s)\). Observe that there is a change in the order of the argument of the second gamma factor with respect to Example 5.3. To evaluate this example, expand the term \(\Gamma (s-a)\) in a bracket series using (4.1) to obtain
Rule 3.1 yields
To simplify this answer write \(\Gamma (b-a+n)= \Gamma (b-a) (b-a)_{n}\), use
and conclude that
This is equivalent to the evaluation
Expanding the other gamma factors produces the same analytic expression for the integral.
Example 5.6
This example considers the simplest case of an integrand where a quotient of gamma factors appears. This is the inversion of
The usual formulation now gives
Rule 3.1 now yields
This expression is simplified using
to obtain
This can be written as
Example 5.7
The inverse Mellin transform f(x) of
is computed from the line integral
The usual procedure now yields
The series is identified as an \({_{0}F_{1}}\) and using the identity
produces
and gives the evaluation
Example 5.8
The inverse Mellin transform f(x) of
is computed as in Example 5.7. The result is
and thus
The identity (5.44), with \(a=0\) and \(b=-\nu -1\), can be written as
Example 5.9
The Mellin inversion of the function
is given by
The standard procedure gives
Rule 3.1 then produces
To evaluate this two-dimensional bracket series proceed as in Example 5.3. This gives
and
The function appearing in (5.51) is the Mittag–Leffler function, defined in [22] by
produces the final expression
6 Direct computations of Mellin transforms
This section describes how to use the method of brackets to produce the evaluation of the Mellin transform
Example 6.1
Example 5.3 has produced the evaluation of
from the Mellin inversion of \(\Gamma (s-a)\Gamma (s-b)\).
Example 6.2
The next example evaluates
by the methods developed here.
Entry 10.32.19 in [22] contains the representation
Replacing this in (6.3) and identifying the x-integral as a bracket, yields
Since this problem contains one bracket and one contour integral, there is no need to expand the gamma terms in bracket series and the result is obtained directly from Rule 3.1. The result is
Example 6.3
The evaluation of
is the special case of Example 6.2 with \(\mu = \nu \). Note that the parameter a has been replaced by 2a, in order to write the answer in a more compact form. In particular, with \(\nu =0\), this becomes
The final special case mentioned here has \(a = \tfrac{1}{2}\):
These examples have been evaluated in [11] by a different procedure.
Example 6.4
Now consider the integral
with an auxiliary parameter a that naturally can be scaled out.
The evaluation begins with a more general problem
and then
The Mellin-Barnes representations of the factors in the integrand
and
Replacing in (6.11) gives
Now replace the gamma factors in the denominator by their corresponding bracket series to obtain
To evaluate this expression choose to eliminate the sums with indices \(n_{1}\) and \(n_{5}\). The resulting sums now depend on four indices \(n_{2}, \, n_{3}, \, n_{4}\) and \(n_{6}\) and the variables of integration t and s take the values
This yields
Under the assumption \(|4a^{2}| < |b^{2}|\) the integral in (6.11) is expressed as
with
Now passing to the limit as \(\alpha , \, \nu , \, \mu \rightarrow 0\) yields
In a similar form, in the case \(|4a^{2}| >|b^{2}|\) one obtains
with
and then letting \(\mu = \nu = 0, \, b=a\) and \(\alpha \rightarrow 0\) yields, after scaling the parameter a
The authors have been unable to produce a simpler analytic expression for this limiting value.
Example 6.5
A similar argument as the one presented in the previous example yields
Details are omitted.
7 Mellin transforms of products
This section presents a method to evaluate the Mellin transform
knowing a series for f of the form
and the inverse Mellin transform
For \(\kappa > 0\), the change of variables \(s = \kappa s'\) gives
where \({\widetilde{\varphi }}(s) = \kappa \varphi (\kappa s)\). The formula (7.4) is now written as
that is, the tilde notation is dropped and the parameter \(\kappa \) is kept.
Then
This is stated as a theorem.
Theorem 7.1
Assume the function f(x) has an expansion given by
and the function g(x) is given by rescaled version of the inverse Mellin transform
Then
Example 7.2
Entry 6.532.4 in [19] states that
Theorem 7.1 is now used to establish this evaluation.
Start with the expansion
This gives (7.7) with \(F(n) = \Gamma (n+1)k^{-2n-2}\) and \(\beta = 2\).
Now use [22, 10.9.23]
and replace z by Ax to produce the desired representation of the Bessel function:
In the notation of (7.8), the parameters are \(\kappa =2, \, \beta = 2, \, \alpha = 2\) and \(b=A\) and \(\varphi (s) = \frac{\Gamma (s)}{2^{2\,s} \, \Gamma (1-s)} \). Theorem 7.1 now gives
Now the formula [22, 10.32.13])
In particular for \(\nu = 0\) this becomes
Formula (7.9) now follows from (7.13) and (7.15).
Example 7.3
The next evaluation is
This is entry 6.521.2 in [19].
Formulas (5.24) and (5.46) give, respectively, the representations
and
Replacing in (7.16) and recognizing the x-integral into a bracket yields
The bracket is now used to eliminate the s-integral, the result is
The gamma terms are expanded as bracket series using (4.1) and then eliminate the line integral with one of the brackets to obtain
The method of brackets now gives two different expressions obtained by using \(n_{1}\) or \(n_{2}\) as the free index of summation. These options give series converging in disjoint regions \(|b|< |a|\) and \(|b|> |a|\). The rules of the method of brackets shows that each sum gives the value of the integral in the corresponding region. In this case, both cases give the same expression
for the value of the integral. This confirms (7.16).
8 An integral involving exponentials and Bessel modified functions
The method developed in this work is now applied to the computation of some definite integrals. The idea is relatively simple: given a function f(x) with a Mellin transform \(\varphi (s)\) containing gamma factors, the integral
can be evaluated by writing the exponential as
and then using the method of brackets. The examples below illustrates this process.
Integrals involving the Bessel function \(K_{\nu }(x)\) have been presented in [11]. The computation there is based on the concept of totally null/divergent representations. The first type includes
in which every term vanishes. There is a similar expression for a series in which every term diverges. In spite of the lack of rigor, these series have shown to be useful in the evaluation of definite integrals. See [11] for details. A second technique used before is the integral representation of \(K_{\nu }(x)\) such as
and then apply the methods of brackets. The method present next is an improvement over those employed in [11].
Example 8.1
Consider the integral
Naturally the parameter b can be scaled out, but it is instructive to leave it as is.
Write the exponential function as in (8.2) and the Bessel function from (5.24) as
where the contour \(\gamma \) is a vertical line to the right of the poles at \(s=0\) and \(s = \nu \). Then
Now replace the gamma factors by their bracket expansions as in (4.1) to produce
Using the bracket \(\langle s + n_{2} \rangle \) to apply Rule 3.1 gives a bracket series for the integral \(F(b,\nu )\):
where \(\vec {n} = \{n_{1},n_{2},n_{3}\}\).
The method of brackets is now used to produce three sums for (8.7):
Observe that \(T_{1}\) diverges since it is of type \({_{2}}F_{0}\) (this sum plays a role in the asymptotic study of the integral when \(b \rightarrow \infty \), not described here) and the series \(T_{2}, \, T_{3}\) converge when \(|b|<1\). The method of brackets now states that \(F(b,\nu ) = T_{2}+T_{3}\), when \(|b| <1\). Under this assumption and since \(T_{3}(b,\nu ) = T_{2}(b, - \nu )\), it suffices to obtain an expression for \(T_{2}(b, \nu )\). This is the next result.
Proposition 8.2
The function \(T_{2}(b, \nu )\) is given by
Proof
The proof is divided in a sequence of steps.
Step 1. The function \(T_{2}(b,\nu )\) is given by
Proof. In the definition of \(T_{2}(b,\nu )\) use \((w)_{2n} = 2^{2n} \left( \frac{w}{2} \right) _{n} \left( \frac{w+1}{2} \right) _{n},\)
and \(\Gamma (-\nu ) \Gamma (1+\nu ) = - \pi /\sin (\pi \nu )\), to obtain the result.
This identity shows that the statement of the Proposition is equivalent to proving
Step 2. Formula (2.5.16) in H. Wilf [28]
and the identity \((1+ \sqrt{1-b^{2}})(1 - \sqrt{1- b^{2}}) = b^{2}\) shows, after some elementary simplifications, that the statement of the Proposition is equivalent to
where \(c = b^{2}\).
Step 3. The identity at the end of Step 2 is equivalent to
Proof. Simply use the binomial theorem
with \(\alpha = 1/2\).
Step 4. The conclusion of the Proposition is equivalent to the identity
for every \(n \in {\mathbb {N}}\). \(\square \)
Proof
The umbral method [9, 24] shows that the identity is equivalent to the one formed by replacing Pochhammer symbols \((a)_{k}\) by \(a^{k}\). In this case, (8.18) becomes
and this follows from the binomial theorem. \(\square \)
Proof
An alternative proof of (8.18) is presented next. Expressing the Pochhammer symbols in terms of binomial coefficients, it is routine to check that the desired identity is equivalent to
This identity is interpreted as the coefficient of \(x^{n}\) in the product of the two series
The first sum is given by the binomial theorem as
To obtain an analytic expression for B(x) start with entry 2.5.15 in [28]
where the term in brackets is the generating function of the Catalan numbers. Some elementary manipulations give
Then (8.20) is equivalent to the identity
This can now be verified by observing that both sides vanish at \(x=0\) and a direct computation shows that the derivatives match. \(\square \)
The integral is stated next. It appears as entry 6.611.3 in [19].
Corollary 8.1
For \(\nu , \, b \in {\mathbb {R}}\)
In particular, as \(b \rightarrow 1\),
and as \(\nu \rightarrow 0\),
Finally, letting \(\nu \rightarrow 0\) and \(b \rightarrow 1\) gives
9 Flexibility of the method of brackets
This final section illustrates the flexibility of the method of brackets. To achieve this goal, we present four different evaluations of the integral
The parameters \(a,\, b\) are assumed to be real and positive. This formula appears as entry 3.466.1 in [19] with value
and the reader will find in [1] an elementary proof of it. This section presents 4 different ways to use the method of brackets to evaluate this integral.
Method 1. Start with the bracket series representations
and produce the bracket series
Method 2. The second form begins with the Mellin–Barnes representations
Replacing in (9.1) a bracket appears and one obtains the representation
The bracket is used to evaluate the s-integral to produce \(s^{*} = 1-t\) and the expression
The next step is to express the gamma factors in the numerator as bracket series to obtain
and for instance selecting the bracket in \(n_{1}\) to eliminate the integral and using
gives
Method 3. The next way to evaluate the integral (9.1) is a mixture of the previous two. Using
and the usual procedures gives
Now use the bracket in \(n_{2}\) to eliminate the integral and produce
and replacing the gamma factor by its bracket series yields
Method 4. The final form uses the representations
to write
where the last bracket comes the original integral. Now write the gamma factors as bracket series to produce
and using the \(n_{2}\)-bracket to eliminate the integral yields
These four bracket series lead to the terms
The values \(T_{1}\) and \(T_{2}\) and Rule \(E_{3}\) in Sect. 2 are combined to give the value
conforming (9.2). The value of \(T_{3}\) is useful in the asymptotic study of I(a, b) as \(a^{2}b^{2} \rightarrow \infty \).
The final example illustrates a different combination ideas.
Example 9.1
Consider the two-dimensional integral
where \(\text {Ei}\) is the exponential integral defined by
with divergent representation
(see [11] for the concept of divergent expansion in the context of the method of brackets). Using this series and the Mellin–Barnes representation of \(K_{0}\)
yields
where the two brackets come from the integrals on the half-line. To evaluate this integral use the bracket \(\langle a + 2 \ell - 2 t \rangle \) to produce
and eliminating the series with the bracket yields the value
10 Feynman diagrams
A variety of interesting integrals appear in the evaluation of Feynman diagrams. See [25, 26] for details. The example corresponds to a loop diagram with a propagator in the scalar theory with internal propagators of equal masses [8].
The integral attached to this diagram is
with Mellin–Barnes representation given by
Replacing the Gamma factors in the numerator by its corresponding bracket series gives
To evaluate the integral, the vanishing of the bracket \(\langle - u + n_{1} \rangle \) gives \(u^{*} = n_{1}\) and J is expressed as a bracket series
The terms obtained from the bracket series above are given as hypergeometric values
The conclusion is the evaluation of the Feynman diagram shown in Fig. 1 is given by
11 Conclusions
The work presented here gives a new procedure to evaluate Mellin–Barnes integral representations. The main idea is to replace the Gamma factors appearing in such representations by its corresponding bracket series. The method of brackets is then used to evaluate these integrals. This method has been shown to be simple and efficient, given its algorithmic nature. A collection of representative examples has been provided.
The paper presents a comparison of the classical methods using Mellin transforms and the newly developed method of brackets. The work included reproduces many integral relations using the method of brackets. The results presented here are compared with those developed by Prausa [23]. In his work this author uses a package developed in Mathematica [10]. Some of the integral representations established here may be obtained using the Mathematica software. Some results in here, such as (6.22), (6.23), (7.16), (8.26), (9.1) may be obtained with the Mathematica package. The same is true for the inverse Mellin transformations studied here, such as the contour integrals (5.30), (5.36), (5.42), the results (4.27) and (4.26) for the contour integral (4.14), the result (5.54) for the contour integral (5.48), the result (7.15) for the contour integral (7.9). The technique developed in the present paper for the evaluation of the improper integrals (6.7), (6.22), (6.23) may be applied to the Mellin transformation of some products of the Bessel functions. Such products appeared in the calculation of the sunset diagrams in [6]. A partial proof of these conjectures may be found in [29].
The present paper establishes that the method of bracket simplifies the calculation of inverse Mellin transformations. In particular this is the case for problems involving multi-fold inverse Mellin transformations applied to Feynman diagrams. This may be seen already at the level of one-fold Mellin–Barnes integrals. For example, the inverse one-fold Mellin–Barnes transforms (4.3) results in the Meijer G-function under the parameter condition \(A_j = B_j = C_j = D_j = 1\). Such simplified structures, in all these particular cases of the G-function considered in the present paper, may be proved without the usage of the method of brackets, but the corresponding proofs are usually longer. This illustrates the flexibility and efficiency of the method of brackets.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This manuscript is dedicated to a new method of integral calculus and does not use any dataset.]
References
M. Albano, E. Beyerstedt, V. Moll, The integrals in Gradshteyn and Ryzhik. Part 19: the error function. Scientia 21, 25–42 (2011)
P. Allendes, N. Guerrero, E. Kondrashuk, E.A. Notte Cuello, New four-dimensional integrals by Mellin–Barnes transform. J. Math. Phys. 51, 052304 (2010)
P. Allendes, B. Kniehl, E. Kondrashuk, E.A. Notte Cuello, M. Rojas Medar, Solution to Bethe–Salpeter equation via Mellin–Barnes transform. Nucl. Phys. B 870, 243 (2013)
G. Alvarez, G. Cvetic, B.A. Kniehl, I. Kondrashuk, I. Parra-Ferrada, Analytical solution to DGLAP integro-differential equation in a simple toy-model with a fixed gauge coupling. https://doi.org/10.3204/PUBDB-2016-06335. arXiv:1611.08787 [hep-ph]
T. Amdeberhan, O. Espinosa, I. Gonzalez, M. Harrison, V. Moll, A. Straub, Ramanujan master theorem. Ramanujan J. 29, 103–120 (2012)
D.H. Bailey, J.M. Borwein, D.M. Broadhurst, M.L. Glasser, Elliptic integral representation of Bessel moments. J. Phys. A Math. Theor. 41, 5203–5231 (2008)
T. Binosi, J. Collins, C. Kaufhold, L. Theussl, JaxoDraw: a graphical user interface for drawing Feynman diagrams. Version 2.0 release notes. Comput. Phys. Commun 180, 1709–1715 (2009)
E.E. Boos, A.I. Davydychev, A method of evaluating massive Feynman integrals. Theor. Math. Phys. 89, 1052–1063 (1991)
I. Gessel, Applications of the classical umbral calculus. Algebra Univ. 49, 397–434 (2003)
J. Gluza, K. Kajda, T. Riemann, AMBRE: a Mathematica package for the construction of Mellin–Barnes representation for Feynman integrals. Comput. Phys. Commun. 177, 879–893 (2007)
I. Gonzalez, L. Jiu, K. Kohl, V. Moll, An extension of the method of brackets. Part 1. Open Math. 15(1), 1181–1211 (2017)
I. Gonzalez, B.A. Kniehl, I. Kondrashuk, I. Notte-Cuello, I. Parra-Ferrada, M.A. Rojas-Medar, Explicit calculation of multi-color contour integral of certain rations of Euler gamma functions. Part 1. Nucl. Phys. B 925, 607 (2017)
I. Gonzalez, K. Kohl, I. Kondrashuk, V. Moll, D. Salinas, The moments of the hydrogen atom by the method of brackets. SIGMA 13, 1 (2017)
I. Gonzalez, I. Kondrashuk, Belokurov–Usyukina loop reduction in non-integer dimension. Phys. Part. Nucl. 44, 268 (2013)
I. Gonzalez, I. Kondrashuk, Box ladders in a non-integer dimension. Theor. Math. Phys. 177, 1515 (2013)
I. Gonzalez, I. Kondrashuk, I. Notte-Cuello, I. Parra-Ferrada, Multi-fold contour integrals of certain ratios of Euler gamma functions from Feynman diagrams: orthogonality of triangles. Anal. Math. Phys. 8, 589 (2018)
I. Gonzalez, V. Moll, Definite integrals by the method of brackets. Part 1. Adv. Appl. Math. 45, 50–73 (2010)
I. Gonzalez, V. Moll, A. Straub, The method of brackets. Part 2: examples and applications, in Gems in Experimental Mathematics, ed. by T. Amdeberhan, L. Medina, V.H. Moll, vol. 517, Contemporary Mathematics, pp. 157–172. American Mathematical Society (2010)
I.S. Gradshteyn, I.M. Ryzhik, Table of Integrals, Series, and Products, ed. by D. Zwillinger, V. Moll, 8th ed. Academic Press, New York (2015)
J. Gray, Linear differential equations and group theory from Riemann to Poincaré, 2nd edn. (Birkhäuser, Boston, 2000)
B.A. Kniehl, I. Kondrashuk, E.A. Notte-Cuello, I. Parra-Ferrada, M. Rojas-Medar, Two-fold Mellin–Barnes transforms of Usyukina–Davydychev functions. Nucl. Phys. B 876, 322 (2013)
F.W.J. Olver, D.W. Lozier, R.F. Boisvert, C.W. Clark (eds.), NIST handbook of mathematical functions (Cambridge University Press, Cambridge, 2010)
M. Prausa, Mellin–Barnes meets Method of Brackets: a novel approach to Mellin–Barnes representations of Feynman integrals. Eur. Phys. J. C 77(9), 594 (2017)
S. Roman, G.-C. Rota, The umbral calculus. Adv. Math 27, 95–188 (1978)
V.A. Smirnov, Evaluating Feynman integrals, Springer Tracts Mod. Phys., vol. 211 (Springer, Berlin, 2004)
V.A. Smirnov, Feynman integral calculus (Springer, Berlin, 2006)
E.T. Whittaker, G.N. Watson, A course of modern analysis. Fifth edition edited and prepared for publication by Victor H. Moll edition (Cambridge University Press, 2020)
H.S. Wilf, generatingfunctionology, 1st edn. (Academic Press, New York, 1990)
Y. Zhou, \({\mathbb{Q}}\)-linear dependence of certain Bessel moments. arXiv:1911.04141 [math.NT]
Acknowledgements
I.K. was supported in part by Fondecyt (Chile) Grants Nos. 1040368, 1050512 and 1121030, by DIUBB (Chile) Grant Nos. 102609, GI 153209/C and GI 152606/VC. I. G. wishes to thank the hospitality of the Department of Mathematics at Tulane University, where part of this work was conducted. The Feynman diagram has been drawn using JaxoDraw [7]. The authors would like to thank the referees for suggestions leading to an improvement of the original version of the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Gonzalez, I., Kondrashuk, I., Moll, V.H. et al. Mellin–Barnes integrals and the method of brackets. Eur. Phys. J. C 82, 28 (2022). https://doi.org/10.1140/epjc/s10052-021-09977-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09977-x