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 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.     

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.     

Bounds for symmetric elliptic integrals

Lower and upper bounds for the four standard incomplete symmetric elliptic integrals are obtained. The bounding functions are expressed in terms of the elementary transcendental functions. Sharp bounds for the ratio of the complete elliptic integrals of the second kind and the first kind are also derived. These results can be used to obtain bounds for the product of these integrals. It is shown that an iterative numerical algorithm for computing the ratios and products of complete integrals has the second order of convergence.     

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.     

Inequalities and bounds for elliptic integrals

Computable lower and upper bounds for the symmetric elliptic integrals and for Legendre's incomplete integral of the first kind are obtained. New bounds are sharper than those known earlier. Several inequalities involving integrals under discussion are derived.     

On the curious series related to the elliptic integrals

By using the theory of the elliptic integrals, a new method of summation is proposed for a certain class of series and their derivatives involving hyperbolic functions. It is based on the termwise differentiation of the series with respect to the elliptic modulus and integral representations of several of the series in terms of the inverse Mellin transforms related to the Riemann zeta function. The relation with the corresponding case of the Voronoi summation formula is exhibited. The involved series are expressed in closed form in terms of complete elliptic integrals of the first and second kind, and some special cases are calculated in terms of particular values of the Euler gamma function.     

Calculation of the elliptic integrals of the first and second kinds with complex modulus

Summary. Numerical procedures for calculating the elliptic integrals of the first and the second kind with complex modulus and their analytic continuations are presented. The corresponding results for the elliptic integral of the third kind are given in Appendices. Received September 9, 1996 / Revised version received June 2, 1998     

Indefinite integrals of products of special functions

A method is given for deriving indefinite integrals involving squares and other products of functions which are solutions of second-order linear differential equations. Several variations of the method are presented, which applies directly to functions which obey homogeneous differential equations. However, functions which obey inhomogeneous equations can be incorporated into the products and examples are given of integrals involving products of Bessel functions combined with Lommel, Anger and Weber functions. Many new integrals are derived for a selection of special functions, including Bessel functions, associated Legendre functions, and elliptic integrals. A number of integrals of products of Gauss hypergeometric functions are also presented, which seem to be the first integrals of this type. All results presented have been numerically checked with Mathematica.     

Inversions of integral operators and elliptic beta integrals on root systems

We prove a novel type of inversion formula for elliptic hypergeometric integrals associated to a pair of root systems. Using the (A,C) inversion formula to invert one of the known C-type elliptic beta integrals, we obtain a new elliptic beta integral for the root system of type A. Validity of this integral is established by a different method as well.     

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.     

Numerical computation of real or complex elliptic integrals

Algorithms for numerical computation of symmetric elliptic integrals of all three kinds are improved in several ways and extended to complex values of the variables (with some restrictions in the case of the integral of the third kind). Numerical check values, consistency checks, and relations to Legendre's integrals and Bulirsch's integrals are included.This work was supported by the Director of Energy Research, Office of Basic Energy Sciences. The Ames Laboratory is operated for the US Department of Energy by Iowa State University under Contract W-7405-ENG-82.     

Transformation of hypersingular integrals and black-box cubature

In this paper, we will consider hypersingular integrals as they arise by transforming elliptic boundary value problems into boundary integral equations. First, local representations of these integrals will be derived. These representations contain so-called finite-part integrals. In the second step, these integrals are reformulated as improper integrals. We will show that these integrals can be treated by cubature methods for weakly singular integrals as they exist in the literature.

     

Some notes on Sonine–Gegenbauer integrals

We provide an explicit formula for a Sonine–Gegenbauer integral, which seems to be unknown in the literature so far. For another type of these integrals, we show a dependence relation over the rational functions, including the explicit calculation of the coefficient 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.     

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.     

Hyperbolic beta integrals

Hyperbolic beta integrals are analogues of Euler's beta integral in which the role of Euler's gamma function is taken over by Ruijsenaars’ hyperbolic gamma function. They may be viewed as -bibasic analogues of the beta integral in which the two bases q and q? are interrelated by modular inversion, and they entail q-analogues of the beta integral for |q|=1. The integrals under consideration are the hyperbolic analogues of the Ramanujan integral, the Askey-Wilson integral and the Nassrallah-Rahman integral. We show that the hyperbolic Nassrallah-Rahman integral is a formal limit case of Spiridonov's elliptic Nassrallah-Rahman integral.     

Turán type inequalities for generalized complete elliptic integrals

In this paper our aim is to establish some Turán type inequalities for Gaussian hypergeometric functions and for generalized complete elliptic integrals. These results complete the earlier result of P. Turán proved for Legendre polynomials. Moreover we show that there is a close connection between a Turán type inequality and a sharp lower bound for the generalized complete elliptic integral of the first kind. At the end of this paper we prove a recent conjecture of T. Sugawa and M. Vuorinen related to estimates of the hyperbolic distance of the twice punctured plane. Dedicated to my son Koppány.     

A two-parameter generalization of the complete elliptic integral of second kind

A two-parameter generalization of the complete elliptic integral of second kind is expressed in terms of the Appell function F ₄. This function is further reduced to a quite simple bilinear form in the complete elliptic integrals K and E. Some physical applications are briefly mentioned.     

Determinants of elliptic hypergeometric integrals

We start from an interpretation of the BC ₂-symmetric “Type I” (elliptic Dixon) elliptic hypergeometric integral evaluation as a formula for a Casoratian of the elliptic hypergeometric equation and then generalize this construction to higher-dimensional integrals and higher-order hypergeometric functions. This allows us to prove the corresponding formulas for the elliptic beta integral and symmetry transformation in a new way, by proving that both sides satisfy the same difference equations and that these difference equations satisfy a needed Galois-theoretic condition ensuring the uniqueness of the simultaneous solution.