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.     

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.     

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

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 extraction technique in boundary integral equations

In this paper we develop and analyze a bootstrapping algorithm for the extraction of potentials and arbitrary derivatives of the Cauchy data of regular three-dimensional second order elliptic boundary value problems in connection with corresponding boundary integral equations. The method rests on the derivatives of the generalized Green's representation formula, which are expressed in terms of singular boundary integrals as Hadamard's finite parts. Their regularization, together with asymptotic pseudohomogeneous kernel expansions, yields a constructive method for obtaining generalized jump relations. These expansions are obtained via composition of Taylor expansions of the local surface representation, the density functions, differential operators and the fundamental solution of the original problem, together with the use of local polar coordinates in the parameter domain. For boundary integral equations obtained by the direct method, this method allows the recursive numerical extraction of potentials and their derivatives near and up to the boundary surface.

     

A High-Order Kernel-Free Boundary Integral Method for Incompressible Flow Equations in Two Space Dimensions

This paper presents a fourth-order kernel-free boundary integral method for the time-dependent, incompressible Stokes and Navier-Stokes equations defined on irregular bounded domains. By the stream function-vorticity formulation, the incompressible flow equations are interpreted as vorticity evolution equations. Time discretization methods for the evolution equations lead to a modified Helmholtz equation for the vorticity, or alternatively, a modified biharmonic equation for the stream function with two clamped boundary conditions. The resulting fourth-order elliptic boundary value problem is solved by a fourth-order kernel-free boundary integral method, with which integrals in the reformulated boundary integral equation are evaluated by solving corresponding equivalent interface problems, regardless of the exact expression of the involved Green's function. To solve the unsteady Stokes equations, a four-stage composite backward differential formula of the same order accuracy is employed for time integration. For the Navier-Stokes equations, a three-stage third-order semi-implicit Runge-Kutta method is utilized to guarantee the global numerical solution has at least third-order convergence rate. Numerical results for the unsteady Stokes equations and the Navier-Stokes equations are presented to validate efficiency and accuracy of the proposed method.     

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

Estimating quadrature errors for an efficient method for quasi-singular boundary integral

The numerical resolution of the boundary integral equations applied to the differential equations of Laplace, Helmholtz and Maxwell requires the handling of quasi-singular integrals with different order of singularity. The numerical approximation of the integral equations of different kinds is made by boundary finite elements. In this paper, we present a complete survey for estimating quadrature errors for the numerical techniques proposed by Huang and Cruse [Q. Huang, T.A. Cruse, Some notes on singular integral techniques in boundary element analysis, Int. J. Numer. Methods Eng. 36 (15) (1993) 2643-2659], to calculate the quasi-singular integrals. To validate the accuracy and efficiency of these techniques and approve our study some numerical examples are presented and discussed.     

Schwarz problem for higher‐order complex partial differential equations in the upper half plane

Linear and nonlinear elliptic complex partial differential equations of higher‐order are considered under Schwarz conditions in the upper‐half plane. Firstly, using the integral representations for the solutions of the inhomogeneous polyanalytic equation with Schwarz conditions, a class of integral operators is introduced together with some of their properties. Then, these operators are used to transform the problem for linear equations into singular integral equations. In the case of nonlinear equations such a transformation yields a system of integro‐differential equations. Existence of the solutions of the relevant boundary value problems for linear and nonlinear equations are discussed via Fredholm theory and fixed point theorems, respectively.     

常微分方程(组)的高次积分因子与高次积分及其微分特征列集算法

考虑了一般微分方程(组)高次积分和其微分特征列集(吴方法)机械化确定算法.首先提出微分方程的积分因子和首次积分的推广高次积分因子与其对应的高次积分的概念.其次给出了由高次积分因子确定其对应的高次积分的计算公式,使确定高次积分的问题转化为求高次积分因子的问题.再其次对确定高次积分因子的问题,给出了微分特征列集算法.最后用给定的算法确定了二阶和三阶微分方程拥有高次积分的结构定理,并给出了具体的算例和结论.     

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.     

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.     

Painlevé Classification Problems Featuring Essential Singularities

In this article we construct and solve all Painlevé-type differential equations of the second order and second degree that are built upon, in a natural well-defined sense, the "sn-log" equation of Painlevé, the general integral of which admits a movable essential singularity (elliptic function of a logarithm). This equation (which was studied by Painlevé in the years 1893–1902) is frequently cited in the modern literature to elucidate various aspects of Painlevé analysis and integrability of differential equations, especially the difficulty of detecting essential singularities by local singularity analysis of differential equations. Our definition of the Painlevé property permits movable essential singularities, provided there is no branching. While the essential singularity presents no serious technical problems, we do need to introduce new techniques for handling "exotic" Painlevé equations, which are Painlevé equations whose singular integrals admit movable branch points in the leading terms. We find that the corresponding full class of Painlevé-type equations contains three, and only three, equations, which we denote SD-326-I, SD-326-II, and SD-326-III, each solvable in terms of elliptic functions. The first is Painlevé's own generalization of his sn-log equation. The second and third are new, the third being a 15-parameter exotic master equation. The appendices contain results (in general, without uniqueness proofs) of related Painlevé classification problems, including full generalizations of two other second-degree equations discovered by Painlevé, additional examples of exotic Painlevé equations and Painlevé equations admitting movable essential singularities, and third-order equations featuring sn-log and other essential singularities.     

A uniqueness criterion for linear problems of wave-body interaction

The question of uniqueness for linearized problems describinginteraction of submerged bodies with an ideal unbounded fluidis far from its final resolution. In this work a new criterionof uniqueness is suggested based on Green's integral identityand maximum principles for elliptic differential equations.The criterion is formulated as an inequality involving integralsof the Green function over the bodies' wetted surfaces. Thiscriterion is quite general and applicable for any number ofsubmerged bodies of arbitrary shape (provided the boundary issufficiently regular) and in any dimension; it can also be generalizedto more complicated elliptic problems. Very simple bounds arealso derived from the criterion, which deliver uniqueness setsin the space of parameters defined by submergence of the systemof bodies and the frequency of oscillation. Results of numericalinvestigation and comparison with known uniqueness criteriaare presented.     

On the Existence of Weak Solutions of Nonlinear Integral Equations in Banach Spaces

In this paper, we use the techniques of measure of weak noncompactness and Henstock–Kurzweil–Pettis integrals to discuss the existence theorem of weak solutions for a class of the nonlinear integral equations and obtain a new result, which improves and extends some relevant results for differential and integral equations in Banach spaces.     

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.     

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.     

A new boundary integral equation formulation for plane orthotropic elastic media

A new boundary integral equation formulation for solving plane elasticity problems involving orthotropic media is presented in this paper. Based on the real variable fundamental solutions of the considered problems, a limit theorem for the transformation from domain integral equations into boundary integral equations (BIEs) and a novel decomposition technique to the fundamental solutions, the regularized BIEs with indirect unknowns, which do not involve the direct calculation of CPV and HFP integrals, are established. The limiting process is done in global coordinates and no separate numerical treatment for strong and weak singular integrals was necessary. The current method does not need to transform the considered problems into isotropic ones as is normally done in the existing literature, so no inverse transform is required. The numerical implementation is carried out using both discontinuous quadratic elements and exact elements, which is developed to model its boundary with negligible error. The validity of the proposed scheme is demonstrated by three numerical examples. Excellent agreement between the numerical results and exact solutions was obtained even with using small amounts of element.