Inequalities and bounds for generalized complete elliptic integrals

Computable bounds for the generalized complete elliptic integrals of the first and second kind are obtained. Also, bounds for some combinations and products for integrals under discussion are established. It has been proven that both families of integrals are logarithmically convex as functions of the first parameter. This property has been employed to obtain several inequalities involving integrals in question.     

完全椭圆积分和Hersch-Pfluger偏差函数

该文建立了Hersch-Pfluger偏差函数ψK(r)和第二类完全椭圆积分ε(r)之间的关系. 通过对完全椭圆积分及某些初等函数的组合的单调性和凹凸性的研究获得了完全椭圆积分的一些不等式, 并且藉此得到Hersch-Pfluger偏差函数ψK(r)的几个渐进精确的上界估计.     

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.     

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.     

Toader型平均的算术与调和平均界

给出了Toader型平均T[A(a,b),G(a,b)]关于调和平均H(a,b)与算术平均A(a,b)组合的精确界.作为应用,发现了几个关于第二类完全椭圆积分的精确不等式.     

Bounds for complete elliptic integrals of the first kind

In this note by using some elementary computations we present some new sharp lower and upper bounds for the complete elliptic integrals of the first kind. These results improve some known bounds in the literature and are deduced from the well-known Wallis inequality, which has been studied extensively in the last 10 years.     

Identities for Catalan's Constant Arising from Integrals Depending on a Parameter

In this paper we provide some relationships between Catalan's constant and the ₃F₂ and ₄F₃ hypergeometric functions, deriving them from some parametric integrals. In particular, using the complete elliptic integral of the first kind, we found an alternative proof of a result of Ramanujan for ₃F₂, a second identity related to ₄F₃ and using the complete elliptic integral of the second kind we obtain an identity by Adamchik.     

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.     

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.     

Convergence of the arithmetic-geometric mean procedure for the complex variables and the calculation of the complete elliptic integrals with complex modulus

The convergence of the arithmetic-geometric mean procedure is checked for complex variables. The procedure is shown to be useful for the evaluation of the complete elliptic integrals of the first and second kinds with complex modulus. It is suggested that the procedure will be useful also for the numerical calculation of the elliptic integrals and the Jacobian elliptic functions with complex modulus in general.     

Modular equations and distortion functions

Modular equations occur in number theory, but it is less known that such equations also occur in the study of deformation properties of quasiconformal mappings. The authors study two important plane quasiconformal distortion functions, obtaining monotonicity and convexity properties, and finding sharp bounds for them. Applications are provided that relate to the quasiconformal Schwarz Lemma and to Schottky’s Theorem. These results also yield new bounds for singular values of complete elliptic integrals.      

Concavity of the complete elliptic integrals of the second kind with respect to Hölder means

In this paper, we establish a necessary and sufficient condition for the concavity of the complete elliptic integrals of the second kind with respect to Hölder means.     

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.     

Integrals of <Emphasis Type="Italic">K</Emphasis> and <Emphasis Type="Italic">E</Emphasis> from lattice sums

We give closed form evaluations for many families of integrals, whose integrands contain algebraic functions of the complete elliptic integrals K and E. Our methods exploit the rich structures connecting complete elliptic integrals, Jacobi theta functions, lattice sums, and Eisenstein series. Various examples are given, and along the way new (including 10-dimensional) lattice sum evaluations are produced.     

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.     

Numerical inversion of a general incomplete elliptic integral

We present a numerical method to invert a general incomplete elliptic integral with respect to its argument and/or amplitude. The method obtains a solution by bisection accelerated by half argument formulas and addition theorems to evaluate the incomplete elliptic integrals and Jacobian elliptic functions required in the process. If faster execution is desirable at the cost of complexity of the algorithm, the sequence of bisection is switched to allow an improvement by using Newton’s method, Halley’s method, or higher-order Schröder methods. In the improvement process, the elliptic integrals and functions are computed by using Maclaurin series expansion and addition theorems based on the values obtained at the end of the bisection. Also, the derivatives of the elliptic integrals and functions are recursively evaluated from their values. By adopting 0.2 as the critical value of the length of the solution interval to shift to the improvement process, we suppress the expected number of bisections to be as low as four on average. The typical number of applications of update formulas in the double precision environment is three for Newton’s method, and two for Halley’s method or higher-order Schröder methods. Whether the improvement process is added or not, our method requires none of the procedures to compute the incomplete elliptic integrals and Jacobian elliptic functions but only those to evaluate the complete elliptic integrals once at the beginning. As a result, it runs fairly quickly in general. For example, when using the improvement process, it is around 2–5 times faster than Newton’s method using Boyd’s starter (Boyd (2012) [25]) in inverting E(φ|m)$E\left(\phi \right|m)$, Legendre’s incomplete elliptic integral of the second kind.     

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     

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.     

Precise and fast computation of a general incomplete elliptic integral of second kind by half and double argument transformations

We developed a method to compute simultaneously two associate incomplete elliptic integrals of the second kind, B(φ|m) and D(φ|m), by the half argument formulas of Jacobian elliptic functions and the double argument transformations of the integrals. The relative errors of the new method are sufficiently small as 5-10 machine epsilons. Meanwhile, the new method runs 3-6 times faster than that using Carlson’s R_D. As a result, it enables a precise and fast computation of arbitrary linear combination of the incomplete elliptic integrals of the first and the second kind, F(φ|m) and E(φ|m).     

Bifurcation of Limit Cycles of a Perturbed Pendulum Equation

This paper investigates the limit cycle bifurcation problem of the pendulum equation on the cylinder of the form $\dot{x}=y, \dot{y}=-\sin x$ under perturbations of polynomials of $\sin x$, $\cos x$ and $y$ of degree $n$ with a switching line $y=0$. We first prove that the corresponding first order Melnikov functions can be expressed as combinations of anti-trigonometric functions and the complete elliptic functions of first and second kind with polynomial coefficients in both the oscillatory and rotary regions for arbitrary $n$. We also verify the independence of coefficients of these polynomials. Then, the lower bounds for the number of limit cycles are obtained using their asymptotic expansions with $n=1,2,3$.