Indefinite integrals of quotients of special functions

A new method is presented for deriving indefinite integrals involving quotients of special functions. The method combines an integration formula given previously with the recursion relations obeyed by the function. Some additional results are presented using an elementary method, here called reciprocation, which can also be used in combination with the new method to obtain additional quotient integrals. Sample results are given here for Bessel functions, Airy functions, associated Legendre functions and the three complete elliptic integrals. All results given have been numerically checked with Mathematica.     

Indefinite integrals of special functions from inhomogeneous differential equations

A method is presented for deriving integrals of special functions which obey inhomogeneous second-order linear differential equations. Inhomogeneous equations are readily derived for functions satisfying second-order homogeneous equations. Sample results are derived for Bessel functions, parabolic cylinder functions, Gauss hypergeometric functions and the six classical orthogonal polynomials. For the orthogonal polynomials the method gives indefinite integrals which reduce to the usual orthogonality conditions on the usual orthogonality intervals. These indefinite integrals for the orthogonal polynomials appear to be new. All results have been checked with Mathematica.     

Indefinite integrals involving complete elliptic integrals of the third kind

A method developed recently for obtaining indefinite integrals of functions obeying inhomogeneous second-order linear differential equations has been applied to obtain integrals with respect to the modulus of the complete elliptic integral of the third kind. A formula is derived which gives an integral involving the complete integral of the third kind for every known integral for the complete elliptic integral of the second kind. The formula requires only differentiation and can therefore be applied for any such integral, and it is applied here to almost all such integrals given in the literature. Some additional integrals are derived using the recurrence relations for the complete elliptic integrals. This gives a total of 27 integrals for the complete integral of the third kind, including the single integral given in the literature. Some typographical errors in a previous related paper are corrected.     

Indefinite integrals of special functions from hybrid equations

ABSTRACT

Elementary linear first and second order differential equations can always be constructed for twice differentiable functions by explicitly including the function's derivatives in the definition of these equations. If the function also obeys a conventional differential equation, information from this equation can be introduced into the elementary equations to give blended linear equations which are here called hybrid equations. Integration theorems are derived for these hybrid equations and several universal integrals are also derived. The paper presents integrals derived with these methods for cylinder functions, associated Legendre functions, and the Gegenbauer, Chebyshev, Hermite, Jacobi and Laguerre orthogonal polynomials. All the results presented have been checked using Mathematica.     

Indefinite integrals of incomplete elliptic integrals from Jacobi elliptic functions

Integration formulas are derived for the three canonical Legendre elliptic integrals. These formulas are obtained from the differential equations satified by these elliptic integrals when the independent variable u is the argument of Jacobian elliptic function theory. This allows a limitless number of indefinite integrals with respect to the amplitude to be derived for these three elliptic integrals. Sample results are given, including the integrals derived from powers of the 12 Glaisher elliptic functions. New recurrence relations and integrals are also given for the 12 Glaisher elliptic functions.     

New indefinite integrals of Heun functions

We present a conspicuous number of indefinite integrals involving Heun functions and their products obtained by means of the Lagrangian formulation of a general homogeneous linear ordinary differential equation. As a by-product we also derive new indefinite integrals involving the Gauss hypergeometric function and products of hypergeometric functions with elliptic functions of the first kind. All integrals we obtained cannot be computed using Maple and Mathematica.     

New special function recurrences giving new indefinite integrals

Sequences of new recurrence relations are presented for Bessel functions, parabolic cylinder functions and associated Legendre functions. The sequences correspond to values of an integer variable r and are generalizations of each conventional recurrence relation, which correspond to r=1. The sequences can be extended indefinitely, though the relations become progressively more intricate as r increases. These relations all have the form of a first-order linear inhomogeneous differential equation, which can be solved by an integrating factor. This gives a very general indefinite integral for each recurrence. The method can be applied to other special functions which have conventional recurrence relations. All results have been checked numerically using Mathematica.     

Indefinite integrals involving the Jacobi Zeta and Heuman Lambda functions

Jacobian elliptic functions are used to obtain formulas for deriving indefinite integrals for the Jacobi Zeta function and Heuman's Lambda function. Only sample results are presented, mostly obtained from powers of the twelve Glaisher elliptic functions. However, this sample includes all such integrals in the literature, together with many new integrals. The method used is based on the differential equations obeyed by these functions when the independent variable is the argument u of elliptic function theory. The same method was used recently, in a companion paper, to derive similar integrals for the three canonical incomplete elliptic integrals.     

Integral inequalities for some special functions

Several integral inequalities for the classical hypergeometric, confluent hypergeometric, and confluent hypergeometric limit functions are given. The related results for Bessel and Whittaker functions as well as for Laguerre, Hermite, and Jacobi polynomials are discussed.     

On Bessel integrals for reducible degenerate principal series representations

We discuss generalized Bessel integrals with nondegenerate characters, which are assigned to irreducible submodules of a reducible degenerate principal series representation of Sp(n,R). Then we give sufficient conditions for their vanishings which are based on the signatures of the nondegenerate characters. This consequently suggests a reasonable correspondence between open GLn(R)-orbits in the set of real symmetric matrices of size n and irreducible submodules of the reducible principal series representations.     

Weber and Beltrami integrals of squared spherical Bessel functions: finite series evaluation and high‐index asymptotics

Weber integrals and Beltrami integrals are studied, which arise in the multipole expansions of spherical random fields. These integrals define spectral averages of squared spherical Bessel functions with Gaussian or exponentially cut power‐law densities. Finite series representations of the integrals are derived for integer power‐law index μ, which admit high‐precision evaluation at low and moderate Bessel index n. At high n, numerically tractable uniform asymptotic approximations are obtained on the basis of the Debye expansion of modified spherical Bessel functions in the case of Weber integrals. The high‐n approximation of Beltrami integrals can be reduced to Legendre asymptotics. The Airy approximation of Weber and Beltrami integrals is derived as well, and numerical tests are performed over a wide range of Bessel indices by comparing the exact finite series expansions of the integrals with their high‐index asymptotics. Copyright © 2013 John Wiley & Sons, Ltd.     

Short proofs of the elliptic beta integrals

We give elementary proofs of the univariate elliptic beta integral with bases |q|,|p| < 1 and its multiparameter generalizations to integrals on the A _n and C _n root systems. We prove also some new unit circle multiple elliptic beta integrals, which are well defined for |q| = 1, and their p → 0 degenerations. Dedicated to Richard Askey on the occasion of his seventieth birthday. 2000 Mathematics Subject Classification Primary—33D99, 33E05 This work is supported in part by the Russian Foundation for Basic Research (RFBR) grant no. 03-01-00781.     

Unit Circle Elliptic Beta Integrals

We present some elliptic beta integrals with a base parameter on the unit circle, together with their basic degenerations. 2000 Mathematics Subject Classification: Primary—11F50, 11L05, 33D05, 33D67     

Indefinite integrals involving the incomplete elliptic integrals of the first and second kinds

A substantial number of indefinite integrals are presented for the incomplete elliptic integrals of the first and second kinds. The number of new results presented is about three times the total number to be found in the current literature. These integrals were obtained with a Lagrangian method based on the differential equations which these functions obey. All results have been checked numerically with Mathematica. Similar results for the incomplete elliptic integral of the third kind will be presented separately.     

Automorphic integrals with log-polynomial period functions and arithmetical identities

Building on the works of S. Bochner on equivalence of modular relation with functional equation associated to the Dirichlet series, K. Chandrasekharan and R. Narasimhan obtained new equivalences between the functional equation and some arithmetical identities. Sister Ann M. Heath considered the functional equation in the Hawkins and Knopp context and showed its equivalence to two arithmetical identities associated with entire modular cusp integrals involving rational period functions for the full modular group. In this paper we use techniques of Chandrasekharan and Narasimhan to prove results analogous to those of Sister Ann M. Heath. Specifically, we establish equivalence of two arithmetical identities with a functional equation associated with automorphic integrals involving log-polynomial-period functions on the discrete Hecke groups.     

Indefinite integrals involving the incomplete elliptic integral of the third kind

A substantial number of new indefinite integrals involving the incomplete elliptic integral of the third kind are presented, together with a few integrals for the other two kinds of incomplete elliptic integral. These have been derived using a Lagrangian method which is based on the differential equations which these functions satisfy. Techniques for obtaining new integrals are discussed, together with transformations of the governing differential equations. Integrals involving products combining elliptic integrals of different kinds are also presented.     

The plane wave expansion, infinite integrals and identities involving spherical Bessel functions

This paper shows that the plane wave expansion can be a useful tool in obtaining analytical solutions to infinite integrals over spherical Bessel functions and the derivation of identities for these functions. The integrals are often used in nuclear scattering calculations, where an analytical result can provide an insight into the reaction mechanism. A technique is developed whereby an integral over several special functions which cannot be found in any standard integral table can be broken down into integrals that have existing analytical solutions.