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.     

On the summation of Schlömilch's series

ABSTRACT

Schlömilch's series is named after the German mathematician Oscar Xavier Schlömilch, who derived it in 1857 as a Fourier series type expansion in terms of the Bessel function of the first kind. However, except for Bessel functions, here we consider an expansion in terms of Struve functions or Bessel and Struve integrals as well. The method for obtaining a sum of Schlömilch's series in terms of the Bessel or Struve functions is based on the summation of trigonometric series, which can be represented in terms of the Riemann zeta and related functions of reciprocal powers and in certain cases can be brought in the closed form, meaning that the infinite series are represented by finite sums. By using Krylov's method we obtain the convergence acceleration of the trigonometric series.     

La formule de Plancherel pour les groupes de Lie presque algébriques réels

We give a proof of the Plancherel formula for real almost algebraic groups in the philosophy of the orbit method, following the lines of the one given by M. Duflo and M. Vergne for simply connected semisimple Lie groups. Main ingredients are: (1) Harish-Chandra's descent method which, interpreting Plancherel formula as an equality of semi-invariant generalized functions, allows one to reduce it to a neighbourhood of zero in the Lie algebra of the centralizer of any elliptic element; (2) character formula for representations constructed by M. Duflo, we recently proved; (3) Poisson-Plancherel formula near elliptic elements s in good position, a generalization of the classical Poisson summation formula expressing the Fourier transform of the sum of a series of Harish-Chandra type elliptic orbital integrals in the Lie algebra centralizing s as a generalized function supported on a set of admissible regular forms in the dual of this Lie algebra.     

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.     

Periodic solutions of a derivative nonlinear Schrödinger equation: Elliptic integrals of the third kind

The nonlinear Schrödinger equation (NLSE) is an important model for wave packet dynamics in hydrodynamics, optics, plasma physics and many other physical disciplines. The ‘derivative’ NLSE family usually arises when further nonlinear effects must be incorporated. The periodic solutions of one such member, the Chen-Lee-Liu equation, are studied. More precisely, the complex envelope is separated into the absolute value and the phase. The absolute value is solved in terms of a polynomial in elliptic functions while the phase is expressed in terms of elliptic integrals of the third kind. The exact periodicity condition will imply that only a countable set of elliptic function moduli is allowed. This feature contrasts sharply with other periodic solutions of envelope equations, where a continuous range of elliptic function moduli is permitted.     

Mellin transform of quartic products of shifted Airy functions

The Mellin transform of quartic products of shifted Airy functions is evaluated in a closed form. Some particular cases expressed in terms of the logarithm function and complete elliptic integrals special values are presented.     

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.     

Algorithms for computing complete elliptic integrals and some related functions

We propose some new algorithms for computing the complete elliptic integrals of the first and second kinds and some related functions. The algorithms are constructed from rapidly converging power series; the sign-definiteness of the terms of the series guarantees their good conditionality (stability with respect to rounding errors). The algorithms turned out flexible and easily adjustable to every specific demand of computational mathematics.     

Fourier Integrals, Special Functions, and the Semicontinuity Phenomenon

For a real weighted homogeneous hypersurface germ, we consider elliptic deformations and related special functions. Singularities of these special functions are characterized by some rational numbers called energy exponents. We apply the residue mapping to the corresponding Fourier integrals and give a geometric interpretation of the energy exponents in the terms of the volume of the associated Lagrangian manifold. The energy exponents are calculated for a series of examples. Two conjectures concerning the energy exponents are discussed.     

The Poisson integral and Green’s function for one strongly elliptic system of equations in a circle and an ellipse

For a strongly elliptic system of second-order equations of a special form, formulas for the Poisson integral and Green’s function in a circle and an ellipse are obtained. The operator under consideration is represented by the sum of the Laplacian and a residual part with a small parameter, and the solution to the Dirichlet problem is found in the form of a series in powers of this parameter. The Poisson formula is obtained by the summation of this series.     

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.     

Automatic reduction of elliptic integrals using Carlson's relations

In a series of papers, B. C. Carlson produced tables of elliptic integrals, evaluating them in terms of easily computed symmetrical functions, using a group of multivariate recurrence relations. These relations are, however, cumbersome to use by hand and, in the absence of a specific reductive algorithm, difficult to use with computer algebra. This paper presents such an algorithm, guaranteed to reduce a general elliptic integral to a set of fundamental ones.

     

On the Pinsky Phenomenon

When n>2 it is well known that the spherical partial sums of n-fold Fourier integrals of a characteristic function of the ball D={x:|x|²<1} do not converge at the origin. In the mathematical literature this result is called “the Pinsky phenomenon”. In 1993 Pinsky established necessary and sufficient conditions for a piecewise smooth function, supported on D, which guarantee the convergence at the origin its spherical partial sums. We prove this result for nonspherical partial sums, i.e. for Fourier integrals under summation over domains bounded by level surfaces of elliptic polynomials.     

On Ramanujan relations between Eisenstein series

The Ramanujan relations between Eisenstein series can be interpreted as an ordinary differential equation in a parameter space of a family of elliptic curves. Such an ordinary differential equation is inverse to the Gauss–Manin connection of the corresponding period map constructed by elliptic integrals of first and second kind. In this article we consider a slight modification of elliptic integrals by allowing non-algebraic integrands and we get in a natural way generalizations of Ramanujan relations between Eisenstein series.     

Computing elliptic integrals by duplication

Summary Logarithms, arctangents, and elliptic integrals of all three kinds (including complete integrals) are evaluated numerically by successive applications of the duplication theorem. When the convergence is improved by including a fixed number of terms of Taylor's series, the error ultimately decreases by a factor of 4096 in each cycle of iteration. Except for Cauchy principal values there is no separation of cases according to the values of the variables, and no serious cancellations occur if the variables are real and nonnegative. Only rational operations and square roots are required. An appendix contains a recurrence relation and two new representations (in terms of elementary symmetric functions and power sums) forR-polynomials, as well as an upper bound for the error made in truncating the Taylor series of anR-function.     

Hidden lemmas in the early history of infinite series

Euler, Fourier, Poisson and Cauchy appear to have used, in a more or less implicit form, some facts on infinitely small quantities. Attempting to state and prove several lemmata, I shall discuss their relationships to interchanges of limits in series and integrals. Early methods of summation for divergent series and integrals, including a conjecture of Poisson, are discussed.Dedicated to Professor Otto Haupt with best wishes on his 100th birthday.     

Essential singularity of the second-genus Painlevé function and the nonlinear stokes phenomenon

By the isomonodromic deformation method, the leading term of the elliptic asymptotics as x→∞ of the solution of the second Painlevé equation is constructed in the generic case. The equations for the modulus of this elliptic sine (which depends only on arg x) are given. The phase of the elliptic sine for any arg x is explicitly expressed in terms of first integrals of the Painlevé equation, i.e., in terms of the Stokes multipliers of the associated linear system. A nonlinear Stokes phenomenon typical for the asymptotic behavior of the Painlevé function is described. Bibliography: 25 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 187, pp. 139–170, 1990. Translated by O. A. Ivanov.     

Uniform Asymptotic Expansions of Symmetric Elliptic Integrals

Symmetric standard elliptic integrals are considered when two or more parameters are larger than the others. The distributional approach is used to derive seven expansions of these integrals in inverse powers of the asymptotic parameters. Some of these expansions also involve logarithmic terms in the asymptotic variables. These expansions are uniformly convergent when the asymptotic parameters are greater than the remaining ones. The coefficients of six of these expansions involve hypergeometric functions with less parameters than the original integrals. The coefficients of the seventh expansion again involve elliptic integrals, but with less parameters than the original integrals. The convergence speed of any of these expansions increases for an increasing difference between the asymptotic variables and the remaining ones. All the expansions are accompanied by an error bound at any order of the approximation. January 31, 2000. Date revised: May 18, 2000. Date accepted: August 4, 2000.     

Closed form expressions for some series over certain trigonometric integrals

The series (3) and (4), where T(x) denotes trigonometric integrals (2), are represented as series in terms of Riemann zeta and related functions using the sums of the series (5) and (6), whose terms involve one trigonometric function. These series can be brought in closed form in some cases, where closed form means that the series are represented by finite sums of certain integrals. By specifying the function φ(y) appearing in trigonometric integrals (2) we obtain new series for some special types of functions as well as known results.     

Eichler integrals, period relations and Jacobi forms

This paper contains three main results: the first one is to derive two “period relations” and the second one is a complete characterization of period functions of Jacobi forms in terms of period relations. These are done by introducing a concept of “Jacobi integrals” on the full Jacobi group. The last one is to show, for the given holomorphic function P(τ, z) having two period relations, there exists a unique Jacobi integral, up to Jacobi forms, with a given function P(τ, z) as its period function. This is done by constructing a generalized Jacobi Poincaré series explicitly. This is to say that every holomorphic function with “period relations” is coming from a Jacobi integral. It is an analogy of Eichler cohomology theory studied in Knopp (Bull Am Math Soc 80:607–632, 1974) for the functions with elliptic and modular variables. It explains the functional equations satisfied by the “Mordell integrals” associated with the Lerch sums (Zwegers in Mock theta functions, PhD thesis, Universiteit Utrecht, 2002) or, more generally, with the higher Appell functions (Semikhatov et?al. in Commun Math Phys 255(2):469–512, 2005). Developing theories of Jacobi integrals with elliptic and modular variables in this paper is a natural extension of the Eichler integral with modular variable. Period functions can be explained in terms of the parabolic cohomology group as well.