Home Mathematics Pochhammer symbol with negative indices. A new rule for the method of brackets
Article Open Access

Pochhammer symbol with negative indices. A new rule for the method of brackets

  • Ivan Gonzalez EMAIL logo , Lin Jiu and Victor H Moll
Published/Copyright: September 30, 2016

Abstract

The method of brackets is a method of integration based upon a small number of heuristic rules. Some of these have been made rigorous. An example of an integral involving the Bessel function is used to motivate a new evaluation rule.

MSC 2010: 33C99; 33C10

1 Introduction

The evaluation of definite integrals is connected, in a surprising manner, to many topics in Mathematics. The last author has described in [15] and [17] some of these connections. Many of these evaluations appear in the classical table [13] and proofs of these entries have appeared in a series of papers starting with [16] and the latest one is [1]. An interesting new method of integration, developed in [10] in the context of integrals coming from Feynman diagrams, is illustrated here in the evaluation of and entry from the classical table mentioned above. Each of these entries have an assigned number and the one discussed here is 6:671:7 in [13]:

(1)I:=0J0(ax)sin(bx)dx={0if0<b<a,1/b2a2,if0<a<b.

Here J0 is the Bessel function. The reader is referred to [3] for an introduction to these classical functions.

The new integration procedure has been named the method of brackets. It is based upon a small number of heuristic rules. This method is close in spirit to the classical umbral method, developed in the Combinatorial world by G. C. Rota. The reader will find in [18] an elementary introduction to this topic. The application of this method to Special Functions may be found, for instance, in a series of papers by G. Dattoli and collaborators, such as [4], [5] and [6]. The connections between the umbral method and the method of brackets is the subject of current work and results will be reported elsewhere.

The rules for the method of brackets are described in the next section. Sections 3 and 4 present the evaluation of (1). It turns out that a naive limiting process leads to a conflict between these two evaluations. The issue comes from a limit computation involving the Pochhammer symbol (a)k. It is the goal of this paper to clarify this conflict. This is presented in Section 5 leading to the proposal of a new rule dealing with the extension of the Pochhammer symbol to negative integer indices.

2 The method of brackets

A method to evaluate integrals over the half line [0, ∞), based on a small number of rules has been developed in [1012]. This method of brackets is described next. The heuristic rules are currently being made rigorous in [2] and [14]. The reader will find in [79] a large collection of evaluations of definite integrals that illustrate the power and flexibility of this method.

For a ∈ ℂ, the symbol

(2)a0xa1dx

is the bracket associated to the (divergent) integral on the right. The symbol

(3)ϕn:=(1)nΓ(n+1)

is called the indicator associated to the index n. The notation ϕi1i2...ir, or simply ϕ12...r, denotes the product ϕi1ϕi2 ... ϕir.

Rules for the production of bracket series

Rule P1. If the function f is given by the formal power series

(4)f(x)=n=0anxαn+β1,

then the improper integral of f over the positive real line is formally written as the bracket series

(5)0f(x)dx=nanαn+β.

Rule P2. For α ∈ ℂ, the multinomial power (a1 + a2 + . . . + ar)α is assigned the r-dimension bracket series

(6)n1n2nrϕn1n2n1a1n1a1nrα+n1++nrΓ(α).

Rules for the evaluation of a bracket series

Rule E1 The one-dimensional bracket series is assigned the value

(7)nϕnf(n)an+b=1|a|f(n)Γ(n),

where n* is obtained from the vanishing of the bracket; that is, n* solves an + b = 0.

The next rule provides a value for multi-dimensional bracket series where the number of sums is equal to the number of brackets.

Rule E2 Assume the matrix A = (aij) is non-singular, then the assignment is

n1nrϕn1nrf(n1,,nr)a11n1++a1rnr+c1ar1n1++arrnr+cr=1|det(A)|f(n1,nr)Γ(n1)Γ(nr)

where {ni} is the (unique) solution of the linear system obtained from the vanishing of the brackets. There is no assignment if A is singular.

Rule E3 Each representation of an integral by a bracket series has associated an index of the representation via

index = number of sums – number of brackets. (8)

It is important to observe that the 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 index should be chosen.

The value of a multi-dimensional bracket series of positive index is obtained by computing all the contributions of maximal rank by Rule E2. These contributions to the integral appear as series in the free parameters. Series converging in a common region are added and divergent series are discarded.

Note 2.1The ruleE1is a version of the Ramanujan’s Master Theorem. A complete justification of this rule is provided in [2]. The justification of the remaining rules is the subject of current work.

Note 2.2A systematic procedure in the simplification of the series obtained by this procedure has been used throughout the literature: express factorials in terms of the gamma function and the transform quotients of gamma terms into Pochhammer symbol, defined by

(9)(a)k=Γ(a+k)Γ(a).

Any presence of a Pochhammer with a negative index k is transformed by the rule

(10)(a)k=(1)k(1a)k.

The example discussed in the next two section provides motivation for an additional evaluation rule for the method of brackets.

3 A first evaluation of entry 6:671:7 in Gradshteyn and Ryzhik

The evaluation of (1) uses the series

(11)J0(ax)=m=0ϕma2mΓ(m+1)22mx2m

and

(12)sin(bx)=n=0ϕnΓ(n+1)Γ(2n+2)b2n+1x2n+1.

Therefore the integral in (1) is given by

(13)I=m,nϕm,na2mb2n+1Γ(n+1)22mΓ(m+1)Γ(2n+2)2m+2n+2.

The duplication formula for the gamma function transforms this expression to

(14)I=π2m,nϕm,na2mb2n+122m+2nΓ(m+1)Γ(n+3/2)2m+2n+2.

Eliminating the parameter n using Rule E1 gives n* = –m – 1 and produces

I=π2m=0ϕm1Γ(m+12)(ab)2m=1bm=0(1)mm!(a2b2)m(12)m=1bm=0(12)m1m!(a2b2)m=1b2a2.

The condition |b| > |a| is imposed to guarantee the convergence of the series on the third line of the previous argument.

The series obtained by eliminating the parameter m by m* = –n – 1 vanishes because of the factor Γ(m + 1) in the denominator. The formula has been established.

4 An alternative evaluation

A second evaluation of (1) begins with

(15)0J0(ax)sin(bx)dx=m,nϕm,na2mb2n+122mm!(2n+1)!2m+2n+2.

The evaluation of the bracket series is described next.

Case 1. Choose n as the free parameter. Then m* = –n – 1 and the contribution to the integral is

(16)I1=12n=0ϕn(a2)2n2b2n+11Γ(n)n!(2n+1)!Γ(n+1).

Each term in the sum vanishes because the gamma function has a pole at the negative integers.

Case 2. Choose m as a free parameter. Then 2m + 2n + 2 = 0 gives n* = –m – 1. The contribution to the integral is

(17)I2=12mϕm(a2)2mb2m11m!n!(2n+1)!|n=m1Γ(m+1).

Now write

(18)n!(2n+1)!=1(n+1)n+1

and (17) becomes

(19)I2=12bm=0(1)mm!(a2b)2m1(m)m.

Transforming the term (–m)–m by using

(20)(x)n=(1)n(1x)n.

gives

(21)(m)m=(1)m(1+m)m.

Replacing in (19) produces

I2=12bk=0(12)k1k!(a2b2)k=121b2a2.

The method of brackets produces half of the expected answer. Naturally, it is possible that the entry in [13] is erroneous (this happens once in a while). Some numerical computations and the evaluation in the previous section, should convince the reader that this is not the case. The source of the error is the use of (20) for the evaluation of the term (–m)–m. A discussion is presented in Section 5.

5 Extensions of the Pochhammer symbol

Rule E1 of the method of brackets requires the evaluation of f(n*). In many instances, this involves the evaluation of the Pochhammer symbol (x)m for m ∉ ℕ. In particular, the question of the value

(22)(m)mformN

is at the core of the missing factor of 2 in Section 4.

The first extension of (x)m to negative values of n comes from the identity

(23)(x)m=(1)m(1x)m.

This is obtained from

(24)(x)m=Γ(xm)Γ(x)=Γ(xm)(x1)(x2)(xm)Γ(xm)

and then changing the signs of each of the factors. This is valid as long as x is not a negative integer. The limiting value of the right-hand side in (23) as x → –km, with k ∈ ℕ, is

(25)(km)m=(1)m(km)!((k+1)m)!.

On the other hand, the limiting value of the left-hand side is

limε0(k(m+ε))(m+ε)=limε0Γ((k+1)m(k+1)ε)Γ(km+kε)=limε0Γ((k+1)ε)((k+1)ε)(k+1)mΓ(kε)(kε)km=limε0Γ((k+1)ε)Γ(kε)(1)(k+1)m(1+(k+1)ε)(k+1)m(1+kε)km(1)km=(1)m(km)!((k+1)m)!kk+1.

Therefore the function (x)–m is discontinuous at x = –km, with

(26)Direct(km)mLimiting(km)m=k+1k.

For k = 1, this ratio becomes 2. This explains the missing ½ in the calculation in Section 4. Therefore it is the discontinuity of (10) at negative integer values of the variables, what is responsible for the error in the evaluation of the integral (1).

This example suggest that the rules of the method of brackets should be supplemented with an additional one:

Rule E4 Let k ∈ ℕ be fixed. In the evaluation of series, the rule

(27)(km)m=kk+1(1)m(km)!((k+1)m)!

must be used to eliminate Pochhammer symbols with negative index and negative integer base.

A variety of other examples confirm that this heuristic rule leads to correct evaluations.

Acknowledgement

The last author acknowledges the partial support of NSF-DMS 1112656. The second author is a graduate student, partially supported by the same grant.

References

[1] Amdeberhan T., Dixit A., Guan X., Jiu L., Kuznetsov A., Moll V., Vignat C., The integrals in Gradshteyn and Ryzhik. Part 30: Trigonometric integrals. Scientia, 27:47-74, 2016Search in Google Scholar

[2] Amdeberhan T., Espinosa O., Gonzalez, Harrison M., Moll V., Straub A., Ramanujan Master Theorem. The Ramanujan Journal, 29:103-120, 201210.1007/s11139-011-9333-ySearch in Google Scholar

[3] Andrews G.E., Askey R., Roy R., Special Functions, volume 71 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, New York, 1999Search in Google Scholar

[4] Dattoli G., Cesarano C., Saccetti D., Miscellaneous results on the generating functions of special functions. Integral Transforms and Special Functions, 12:315-322, 200110.1080/10652460108819354Search in Google Scholar

[5] Dattoli G., Ricci P., Cesarano C., The Lagrange polynomials, the associated generalizations, and the Umbral Calculus. Integral Transforms and Special Functions, 14:181-186, 200310.1080/1065246031000098186Search in Google Scholar

[6] Dattoli G., Ricci P., Cesarano C., Beyond the monomiality: the Monumbrality Principle. Jour. Comp. Anal. Appl., 6:77-83, 2004Search in Google Scholar

[7] Gonzalez I., Kohl K., Moll V., Evaluation of entries in Gradshteyn and Ryzhik employing the method of brackets. Scientia, 25:65-84, 2014Search in Google Scholar

[8] Gonzalez I., Moll V., Definite integrals by the method of brackets. Part 1. Adv. Appl. Math., 45:50-73, 201010.1016/j.aam.2009.11.003Search in Google Scholar

[9] Gonzalez I., Moll V., Straub A., The method of brackets. Part 2: Examples and applications. In T. Amdeberhan, L. Medina, and Victor H. Moll (Eds.), Gems in Experimental Mathematics, volume 517 of Contemporary Mathematics, pages 157-172. American Mathematical Society, 201010.1090/conm/517/10139Search in Google Scholar

[10] Gonzalez I., Schmidt I., Optimized negative dimensional integration method (NDIM) and multiloop Feynman diagram calculation. Nuclear Physics B, 769:124-173, 200710.1016/j.nuclphysb.2007.01.031Search in Google Scholar

[11] Gonzalez I., Schmidt I., Modular application of an integration by fractional expansion (IBFE) method to multiloop Feynman diagrams. Phys. Rev. D, 78:086003, 200810.1103/PhysRevD.78.086003Search in Google Scholar

[12] Gonzalez I., Schmidt I., Modular application of an integration by fractional expansion (IBFE) method to multiloop Feynman diagrams II. Phys. Rev. D, 79:126014, 200910.1103/PhysRevD.79.126014Search in Google Scholar

[13] Gradshteyn I.S., Ryzhik I.M., Table of Integrals, Series, and Products. Edited by D. Zwillinger and V. Moll. Academic Press, New York, 8th edition, 2015.POCHHAMMER SYMBOL WITH NEGATIVE INDICES 7Search in Google Scholar

[14] Jiu L., On the method of brackets: rules, examples, interpretations and modifications. Submitted for publication, 2016Search in Google Scholar

[15] Moll V., The evaluation of integrals: a personal story. Notices of the AMS, 49:311-317, 2002Search in Google Scholar

[16] Moll V., The integrals in Gradshteyn and Ryzhik. Part 1: A family of logarithmic integrals. Scientia, 14:1-6, 2007Search in Google Scholar

[17] Moll V., Seized opportunities. Notices of the AMS, pages 476-484, 2010Search in Google Scholar

[18] Roman S., The Umbral Calculus. Dover, New York, 1984Search in Google Scholar

Received: 2015-7-11
Accepted: 2016-9-8
Published Online: 2016-9-30
Published in Print: 2016-1-1

© 2016 Gonzalez et al., published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Articles in the same Issue

  1. Regular Article
  2. A metric graph satisfying w41=1 that cannot be lifted to a curve satisfying dim(W41)=1
  3. Regular Article
  4. On the Riemann-Hilbert problem in multiply connected domains
  5. Regular Article
  6. Hamilton cycles in almost distance-hereditary graphs
  7. Regular Article
  8. Locally adequate semigroup algebras
  9. Regular Article
  10. Parabolic oblique derivative problem with discontinuous coefficients in generalized weighted Morrey spaces
  11. Corrigendum
  12. Corrigendum to: parabolic oblique derivative problem with discontinuous coefficients in generalized weighted Morrey spaces
  13. Regular Article
  14. Some new bounds of the minimum eigenvalue for the Hadamard product of an M-matrix and an inverse M-matrix
  15. Regular Article
  16. Integral inequalities involving generalized Erdélyi-Kober fractional integral operators
  17. Regular Article
  18. Results on the deficiencies of some differential-difference polynomials of meromorphic functions
  19. Regular Article
  20. General numerical radius inequalities for matrices of operators
  21. Regular Article
  22. The best uniform quadratic approximation of circular arcs with high accuracy
  23. Regular Article
  24. Multiple gcd-closed sets and determinants of matrices associated with arithmetic functions
  25. Regular Article
  26. A note on the rate of convergence for Chebyshev-Lobatto and Radau systems
  27. Regular Article
  28. On the weakly(α, ψ, ξ)-contractive condition for multi-valued operators in metric spaces and related fixed point results
  29. Regular Article
  30. Existence of a common solution for a system of nonlinear integral equations via fixed point methods in b-metric spaces
  31. Regular Article
  32. Bounds for the Z-eigenpair of general nonnegative tensors
  33. Regular Article
  34. Subsymmetry and asymmetry models for multiway square contingency tables with ordered categories
  35. Regular Article
  36. End-regular and End-orthodox generalized lexicographic products of bipartite graphs
  37. Regular Article
  38. Refinement of the Jensen integral inequality
  39. Regular Article
  40. New iterative codes for 𝓗-tensors and an application
  41. Regular Article
  42. A result for O2-convergence to be topological in posets
  43. Regular Article
  44. A fixed point approach to the Mittag-Leffler-Hyers-Ulam stability of a fractional integral equation
  45. Regular Article
  46. Uncertainty orders on the sublinear expectation space
  47. Regular Article
  48. Generalized derivations of Lie triple systems
  49. Regular Article
  50. The BV solution of the parabolic equation with degeneracy on the boundary
  51. Regular Article
  52. Malliavin method for optimal investment in financial markets with memory
  53. Regular Article
  54. Parabolic sublinear operators with rough kernel generated by parabolic calderön-zygmund operators and parabolic local campanato space estimates for their commutators on the parabolic generalized local morrey spaces
  55. Regular Article
  56. On annihilators in BL-algebras
  57. Regular Article
  58. On derivations of quantales
  59. Regular Article
  60. On the closed subfields of Q¯~p
  61. Regular Article
  62. A class of tridiagonal operators associated to some subshifts
  63. Regular Article
  64. Some notes to existence and stability of the positive periodic solutions for a delayed nonlinear differential equations
  65. Regular Article
  66. Weighted fractional differential equations with infinite delay in Banach spaces
  67. Regular Article
  68. Laplace-Stieltjes transform of the system mean lifetime via geometric process model
  69. Regular Article
  70. Various limit theorems for ratios from the uniform distribution
  71. Regular Article
  72. On α-almost Artinian modules
  73. Regular Article
  74. Limit theorems for the weights and the degrees in anN-interactions random graph model
  75. Regular Article
  76. An analysis on the stability of a state dependent delay differential equation
  77. Regular Article
  78. The hybrid mean value of Dedekind sums and two-term exponential sums
  79. Regular Article
  80. New modification of Maheshwari’s method with optimal eighth order convergence for solving nonlinear equations
  81. Regular Article
  82. On the concept of general solution for impulsive differential equations of fractional-order q ∈ (2,3)
  83. Regular Article
  84. A Riesz representation theory for completely regular Hausdorff spaces and its applications
  85. Regular Article
  86. Oscillation of impulsive conformable fractional differential equations
  87. Regular Article
  88. Dynamics of doubly stochastic quadratic operators on a finite-dimensional simplex
  89. Regular Article
  90. Homoclinic solutions of 2nth-order difference equations containing both advance and retardation
  91. Regular Article
  92. When do L-fuzzy ideals of a ring generate a distributive lattice?
  93. Regular Article
  94. Fully degenerate poly-Bernoulli numbers and polynomials
  95. Commentary
  96. Commentary to: Generalized derivations of Lie triple systems
  97. Regular Article
  98. Simple sufficient conditions for starlikeness and convexity for meromorphic functions
  99. Regular Article
  100. Global stability analysis and control of leptospirosis
  101. Regular Article
  102. Random attractors for stochastic two-compartment Gray-Scott equations with a multiplicative noise
  103. Regular Article
  104. The fuzzy metric space based on fuzzy measure
  105. Regular Article
  106. A classification of low dimensional multiplicative Hom-Lie superalgebras
  107. Regular Article
  108. Structures of W(2.2) Lie conformal algebra
  109. Regular Article
  110. On the number of spanning trees, the Laplacian eigenvalues, and the Laplacian Estrada index of subdivided-line graphs
  111. Regular Article
  112. Parabolic Marcinkiewicz integrals on product spaces and extrapolation
  113. Regular Article
  114. Prime, weakly prime and almost prime elements in multiplication lattice modules
  115. Regular Article
  116. Pochhammer symbol with negative indices. A new rule for the method of brackets
  117. Regular Article
  118. Outcome space range reduction method for global optimization of sum of affine ratios problem
  119. Regular Article
  120. Factorization theorems for strong maps between matroids of arbitrary cardinality
  121. Regular Article
  122. A convergence analysis of SOR iterative methods for linear systems with weak H-matrices
  123. Regular Article
  124. Existence theory for sequential fractional differential equations with anti-periodic type boundary conditions
  125. Regular Article
  126. Some congruences for 3-component multipartitions
  127. Regular Article
  128. Bound for the largest singular value of nonnegative rectangular tensors
  129. Regular Article
  130. Convolutions of harmonic right half-plane mappings
  131. Regular Article
  132. On homological classification of pomonoids by GP-po-flatness of S-posets
  133. Regular Article
  134. On CSQ-normal subgroups of finite groups
  135. Regular Article
  136. The homogeneous balance of undetermined coefficients method and its application
  137. Regular Article
  138. On the saturated numerical semigroups
  139. Regular Article
  140. The Bruhat rank of a binary symmetric staircase pattern
  141. Regular Article
  142. Fixed point theorems for cyclic contractive mappings via altering distance functions in metric-like spaces
  143. Regular Article
  144. Singularities of lightcone pedals of spacelike curves in Lorentz-Minkowski 3-space
  145. Regular Article
  146. An S-type upper bound for the largest singular value of nonnegative rectangular tensors
  147. Regular Article
  148. Fuzzy ideals of ordered semigroups with fuzzy orderings
  149. Regular Article
  150. On meromorphic functions for sharing two sets and three sets in m-punctured complex plane
  151. Regular Article
  152. An incremental approach to obtaining attribute reduction for dynamic decision systems
  153. Regular Article
  154. Very true operators on MTL-algebras
  155. Regular Article
  156. Value distribution of meromorphic solutions of homogeneous and non-homogeneous complex linear differential-difference equations
  157. Regular Article
  158. A class of 3-dimensional almost Kenmotsu manifolds with harmonic curvature tensors
  159. Regular Article
  160. Robust dynamic output feedback fault-tolerant control for Takagi-Sugeno fuzzy systems with interval time-varying delay via improved delay partitioning approach
  161. Regular Article
  162. New bounds for the minimum eigenvalue of M-matrices
  163. Regular Article
  164. Semi-quotient mappings and spaces
  165. Regular Article
  166. Fractional multilinear integrals with rough kernels on generalized weighted Morrey spaces
  167. Regular Article
  168. A family of singular functions and its relation to harmonic fractal analysis and fuzzy logic
  169. Regular Article
  170. Solution to Fredholm integral inclusions via (F, δb)-contractions
  171. Regular Article
  172. An Ulam stability result on quasi-b-metric-like spaces
  173. Regular Article
  174. On the arrowhead-Fibonacci numbers
  175. Regular Article
  176. Rough semigroups and rough fuzzy semigroups based on fuzzy ideals
  177. Regular Article
  178. The general solution of impulsive systems with Riemann-Liouville fractional derivatives
  179. Regular Article
  180. A remark on local fractional calculus and ordinary derivatives
  181. Regular Article
  182. Elastic Sturmian spirals in the Lorentz-Minkowski plane
  183. Topical Issue: Metaheuristics: Methods and Applications
  184. Bias-variance decomposition in Genetic Programming
  185. Topical Issue: Metaheuristics: Methods and Applications
  186. A novel generalized oppositional biogeography-based optimization algorithm: application to peak to average power ratio reduction in OFDM systems
  187. Special Issue on Recent Developments in Differential Equations
  188. Modeling of vibration for functionally graded beams
  189. Special Issue on Recent Developments in Differential Equations
  190. Decomposition of a second-order linear time-varying differential system as the series connection of two first order commutative pairs
  191. Special Issue on Recent Developments in Differential Equations
  192. Differential equations associated with generalized Bell polynomials and their zeros
  193. Special Issue on Recent Developments in Differential Equations
  194. Differential equations for p, q-Touchard polynomials
  195. Special Issue on Recent Developments in Differential Equations
  196. A new approach to nonlinear singular integral operators depending on three parameters
  197. Special Issue on Recent Developments in Differential Equations
  198. Performance and stochastic stability of the adaptive fading extended Kalman filter with the matrix forgetting factor
  199. Special Issue on Recent Developments in Differential Equations
  200. On new characterization of inextensible flows of space-like curves in de Sitter space
  201. Special Issue on Recent Developments in Differential Equations
  202. Convergence theorems for a family of multivalued nonexpansive mappings in hyperbolic spaces
  203. Special Issue on Recent Developments in Differential Equations
  204. Fractional virus epidemic model on financial networks
  205. Special Issue on Recent Developments in Differential Equations
  206. Reductions and conservation laws for BBM and modified BBM equations
  207. Special Issue on Recent Developments in Differential Equations
  208. Extinction of a two species non-autonomous competitive system with Beddington-DeAngelis functional response and the effect of toxic substances
Downloaded on 9.12.2025 from https://www.degruyterbrill.com/document/doi/10.1515/math-2016-0063/html?lang=en
Scroll to top button