The Second Appell Function for one Large Variable

We consider the Mellin convolution integral representation of the second Appell function given in [8]. Then, we apply the asymptotic method designed in [12] for this kind of integrals to derive new asymptotic expansions of the Appell function F ₂ for one large variable in terms of hypergeometric functions. For certain values of the parameters, some of these expansions involve logarithmic terms in the asymptotic variables. The accuracy of the approximations is illustrated with numerical experiments.     

Asymptotic analysis of a singular Sturm-Liouville boundary value problem

Asymptotic expansions are given for the eigenvalues λ_n and eigenfunctions u_n of the following singular Sturm-Liouville problem with indefinite weight: $$\begin{gathered} - ((1 - x^2 )u'(x))' = \lambda xu(x) on ( - 1,1), \hfill \\ lim_{| x | \to 1} u(x) finite \hfill \\ \end{gathered} $$ This eigenvalue problem arises if one separates variables in a partial differential equation which describes electron scattering in a one-dimensional slab configuration. Asymptotic expansions of the normalization constants of the eigenfunctions are also given. The constants in these asymptotic expansions involve complete elliptic integrals. The asymptotic results are compared with the results of numerical calculations.     

Multi-point Taylor expansions of analytic functions

Taylor expansions of analytic functions are considered with respect to several points, allowing confluence of any of them. Cauchy-type formulas are given for coefficients and remainders in the expansions, and the regions of convergence are indicated. It is explained how these expansions can be used in deriving uniform asymptotic expansions of integrals. The method is also used for obtaining Laurent expansions in several points as well as Taylor-Laurent expansions.

     

Series solutions of confluent Heun equations in terms of incomplete Gamma-functions

We present a simple systematic algorithm for construction of expansions of the solutions of ordinary differential equations with rational coefficients in terms of mathematical functions having indefinite integral representation. The approach employs an auxiliary equation involving only the derivatives of a solution of the equation under consideration. Using power-series expansions of the solutions of this auxiliary equation, we construct several expansions of the four confluent Heun equations'' solutions in terms of the incomplete Gamma-functions. In the cases of single- and double-confluent Heun equations the coefficients of the expansions obey four-term recurrence relations, while for the bi- and tri-confluent Heun equations the recurrence relations in general involve five terms. Other expansions for which the expansion coefficients obey recurrence relations involving more terms are also possible. The particular cases when these relations reduce to ones involving less number of terms are identified. The conditions for deriving closed-form finite-sum solutions via right-hand side termination of the constructed series are discussed.     

An Explicit Formula for the Coefficients in Laplace’s Method

Laplace’s method is one of the fundamental techniques in the asymptotic approximation of integrals. The coefficients appearing in the resulting asymptotic expansion arise as the coefficients of a convergent or asymptotic series of a function defined in an implicit form. Due to the tedious computation of these coefficients, most standard textbooks on asymptotic approximations of integrals do not give explicit formulas for them. Nevertheless, we can find some more or less explicit representations for the coefficients in the literature: Perron’s formula gives them in terms of derivatives of an explicit function; Campbell, Fröman and Walles simplified Perron’s method by computing these derivatives using an explicit recurrence relation. The most recent contribution is due to Wojdylo, who rediscovered the Campbell, Fröman and Walles formula and rewrote it in terms of partial ordinary Bell polynomials. In this paper, we provide an alternative representation for the coefficients that contains ordinary potential polynomials. The proof is based on Perron’s formula and a theorem of Comtet. The asymptotic expansions of the gamma function and the incomplete gamma function are given as illustrations.     

Two-Point Taylor Expansions of Analytic Functions

Taylor expansions of analytic functions are considered with respect to two points. Cauchy-type formulas are given for coefficients and remainders in the expansions, and the regions of convergence are indicated. It is explained how these expansions can be used in deriving uniform asymptotic expansions of integrals. The method is also used for obtaining Laurent expansions in two points.     

Error Bounds for Uniform Asymptotic Expansions—Modified Bessel Function of Purely Imaginary Order

The authors modify a method of Olde Daalhuis and Temme for representing the remainder and coefficients in Airy-type expansions of integrals. By using a class of rational functions, they express these quantities in terms of Cauchy-type integrals; these expressions are natural generalizations of integral representations of the coefficients and the remainders in the Taylor expansions of analytic functions. By using the new representation, a computable error bound for the remainder in the uniform asymptotic expansion of the modified Bessel function of purely imaginary order is derived.     

The distribution |f|λ, oscillating integrals and principal value integrals

We study the coefficients of asymptotic expansions of oscillating integrals. We also consider the connection with the coefficients of Laurent expansions at candidate poles of the distribution |f|^λ and show that some of these coefficients vanish. Next, we express some of the most important of these coefficients as the so-called principal value integrals, first introduced by Langlands. Together with our results on principal value integrals, this leads to new results on the vanishing of these coefficients.     

On summability of eigenfunction expansions of piecewise smooth functions

We consider two forms of eigenfunction expansions associated with an arbitrary elliptic differential operator with constant coefficients and order m, that is the multiple Fourier series and integrals. For the multiple Fourier integrals, we prove the convergence of the Riesz means of order s?>?(N???3)/2 of piecewise smooth functions of N?≥?2 variables. The same result is proved in the case of the N?≥?3 dimensional multiple Fourier series.     

An integral semiclassical method for calculating the spectra for centrally symmetric potentials

We develop a new approach to semiclassical quantization conditions that does not involve asymptotic expansions and is based on exact general properties of wave equations and their spectra. For centrally symmetric potentials, the quantization conditions depend only on a collection of integrals involving powers of the classical momentum. The energy levels calculated using these conditions are in good agreement with numerical data. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 124, No. 3, pp. 463–480, September, 2000.     

Applications of?the Cosecant and Related Numbers

Power series expansions for cosecant and related functions together with a vast number of applications stemming from their coefficients are derived here. The coefficients for the cosecant expansion can be evaluated by using: (1) numerous recurrence relations, (2) expressions resulting from the application of the partition method for obtaining a power series expansion and (3) the result given in Theorem 3. Unlike the related Bernoulli numbers, these rational coefficients, which are called the cosecant numbers and are denoted by c _k , converge rapidly to zero as k????. It is then shown how recent advances in obtaining meaningful values from divergent series can be modified to determine exact numerical results from the asymptotic series derived from the Laplace transform of the power series expansion for tcsc?(at). Next the power series expansion for secant is derived in terms of related coefficients known as the secant numbers d _k . These numbers are related to the Euler numbers and can also be evaluated by numerous recurrence relations, some of which involve the cosecant numbers. The approaches used to obtain the power series expansions for these fundamental trigonometric functions in addition to the methods used to evaluate their coefficients are employed in the derivation of power series expansions for integer powers and arbitrary powers of the trigonometric functions. Recurrence relations are of limited benefit when evaluating the coefficients in the case of arbitrary powers. Consequently, power series expansions for the Legendre-Jacobi elliptic integrals can only be obtained by the partition method for a power series expansion. Since the Bernoulli and Euler numbers give rise to polynomials from exponential generating functions, it is shown that the cosecant and secant numbers gives rise to their own polynomials from trigonometric generating functions. As expected, the new polynomials are related to the Bernoulli and Euler polynomials, but they are found to possess far more interesting properties, primarily due to the convergence of the coefficients. One interesting application of the new polynomials is the re-interpretation of the Euler-Maclaurin summation formula, which yields a new regularisation formula.     

A Systematic “Saddle Point Near a Pole” Asymptotic Method with Application to the Gauss Hypergeometric Function

In recent works [ 1 ] and [ 2 ], we have proposed more systematic versions of the Laplace’s and saddle point methods for asymptotic expansions of integrals. Those variants of the standard methods avoid the classical change of variables and give closed algebraic formulas for the coefficients of the expansions. In this work we apply the ideas introduced in [ 1 ] and [ 2 ] to the uniform method “saddle point near a pole.” We obtain a computationally more systematic version of that uniform asymptotic method for integrals having a saddle point near a pole that, in many interesting examples, gives a closed algebraic formula for the coefficients. The asymptotic sequence is given, in general, in terms of exponential integrals of fractional order (or incomplete gamma functions). In particular, when the order of the saddle point is two, the basic approximant is given in terms of the error function (as in the standard method). As an application, we obtain new asymptotic expansions of the Gauss Hypergeometric function ₂F₁(a, b, c; z) for large b and c with c > b + 1 .     

Four Properties to Characterize Chebyshev Blossoms

The blossom of a polynomial function of degree less than or equal to n is known as the unique function of n variables to be symmetric, affine with respect to each variable, and to coincide with the polynomial function itself when all the variables are equal. Chebyshev blossoms do satisfy similar properties, the affinity being now replaced by a pseudoaffinity property with respect to each variable. However, by themselves, these three properties may be insufficient to clearly identify the blossom of a given function. In this paper we show that this identification is made possible through an additional appropriate requirement of differentiability. June 15, 1999. Date revised: January 20, 2000. Date accepted: May 8, 2000.     

Asymptotics of the eigenvalues of elliptic systems with fast oscillating coefficients

A singularly perturbed second-order elliptic operator with fast oscillating coefficients is considered in the whole space. Complete asymptotic expansions of the eigenvalues are constructed, which converge to the isolated eigenvalues of the homogenized operator; complete asymptotic expansions for the corresponding eigenfunctions are constructed as well.     

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 simplification of Laplace’s method: Applications to the Gamma function and Gauss hypergeometric function

The main difficulties in the Laplace’s method of asymptotic expansions of integrals are originated by a change of variables. We propose a variant of the method which avoids that change of variables and simplifies the computations. On the one hand, the calculation of the coefficients of the asymptotic expansion is remarkably simpler. On the other hand, the asymptotic sequence is as simple as in the standard Laplace’s method: inverse powers of the asymptotic variable. New asymptotic expansions of the Gamma function Γ(z) for large z and the Gauss hypergeometric function ₂F₁(a,b,c;z) for large b and c are given as illustrations. An explicit formula for the coefficients of the classical Stirling expansion of Γ(z) is also given.     

Symbolic evaluation of coefficients in Airy-type asymptotic expansions

Computer algebra algorithms are developed for evaluating the coefficients in Airy-type asymptotic expansions that are obtained from integrals with a large parameter. The coefficients are defined from recursive schemes obtained from integration by parts. An application is given for the Weber parabolic cylinder function.     

Asymptotic Solutions of a Fourth Order Differential Equation

In this paper, we derive uniform asymptotic expansions of solutions to the fourth order differential equation where x is a real variable and λ is a large positive parameter. The solutions of this differential equation can be expressed in the form of contour integrals, and uniform asymptotic expansions are derived by using the cubic transformation introduced by Chester, Friedman, and Ursell in 1957 and the integration-by-part technique suggested by Bleistein in 1966. There are two advantages to this approach: (i) the coefficients in the expansion are defined recursively, and (ii) the remainder is given explicitly. Moreover, by using a recent method of Olde Daalhuis and Temme, we extend the validity of the uniform asymptotic expansions to include all real values of x .     

On the distribution of the coefficients of normal forms for Frobenius expansions

Frobenius expansions are representations of integers to an algebraic base which are sometimes useful for efficient (hyper)elliptic curve cryptography. The normal form of a Frobenius expansion is the polynomial with integer coefficients obtained by reducing a Frobenius expansion modulo the characteristic polynomial of Frobenius. We consider the distribution of the coefficients of reductions of Frobenius expansions and non-adjacent forms of Frobenius expansions (NAFs) to normal form. We give asymptotic bounds on the coefficients which improve on naive bounds, for both genus one and genus two. We also discuss the non-uniformity of the distribution of the coefficients (assuming a uniform distribution for Frobenius expansions).