Exponentially small expansions in the asymptotics of the Wright function

We consider exponentially small expansions present in the asymptotics of the generalised hypergeometric function, or Wright function, _pΨ_q(z) for large |z| that have not been considered in the existing theory. Our interest is principally with those functions of this class that possess either a finite algebraic expansion or no such expansion and with parameter values that produce exponentially small expansions in the neighbourhood of the negative real z axis. Numerical examples are presented to demonstrate the presence of these exponentially small expansions.     

Method of fast expansions for solving nonlinear differential equations

A method is proposed for constructing fast converging Fourier series with the help of a special boundary function M _q . The convergence rate of the series is determined by the order q of M _q , which makes it possible to use a small number of series terms. The general theory of constructing fast expansions is described, the error of the partial sum of a series is estimated, and an example of a non- linear integrodifferential problem is considered. Due to its remarkable properties, the fast expansion method can be effectively used in applications.     

On zeta function identities involving sums of squares and the zeta-theta correspondence

We prove two identities involving Dirichlet series, in the denominators of whose terms sums of two, three and four squares appear. These follow from two classical identities of Jacobi involving the four Jacobian Theta Functions θ₁(z;q), θ₂(z;q), θ₃(z;q) and θ₄(z;q), by the application of the Mellin transform. These results motivate the well-known correspondence between the set of the four Jacobian Theta Functions and the set of four classical zeta functions of which the Riemann Zeta Function is the third, and the Dirichlet Beta Function is the first.     

A q-linear analogue of the plane wave expansion

We obtain a q-linear analogue of Gegenbauer?s expansion of the plane wave. It is expanded in terms of the little q-Gegenbauer polynomials and the third Jackson q-Bessel function. The result is obtained by using a method based on bilinear biorthogonal expansions.     

On asymptotics of q-Gamma functions

In this paper we derive some asymptotic formulas for the q-Gamma function Γq(z) for q tending to 1.     

Small Divisor Problem in Dynamical Systems and Analytic Solutions of a q-Difference Equation with a Singularity at the Origin

In this paper, we consider a q-difference equation $$\sum_{j=0}^{k}\sum_{t=1}^{\infty}C_{t,j}(z)(y(q^jz))^{t}=G(z)$$ in the complex field ${\mathbb C,}$ where C _t,j (z) and G(z) have a h ₁ order pole and a h ₂ order pole at z = 0, respectively. Under the case 0 < |q| < 1 or |q| = 1, we give the existence of local analytic solutions for the above equation by using small divisor theory in dynamical systems.     

Twisted dendriform algebras and the pre-Lie Magnus expansion

In this paper an application of the recently introduced pre-Lie Magnus expansion to Jackson’s q-integral and q-exponentials is presented. Twisted dendriform algebras, which are the natural algebraic framework for Jackson’s q-analogs, are introduced for that purpose. It is shown how the pre-Lie Magnus expansion is used to solve linear q-differential equations. We also briefly outline the theory of linear equations in twisted dendriform algebras.     

Dirichlet series related to the Riemann zeta function

A study is made of the function H(s, z) defined by analytic continuation of the Dirichlet series H(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z, where s and z are complex variables. For each fixed z it is shown that H(s, z) exists in the entire s-plane as a meromorphic function of s, and its poles and residues are determined. Also, for each fixed s ≠ 1 it is shown that H(s, z) exists in the entire z-plane as a meromorphic function of z, and again its poles and residues are determined. Two different representations of H(s, z) are given from which a reciprocity law, H(s, z) + H(z, s) = ζ(s) ζ(z) + ζ(s + z), is deduced. For each integer q ≥ 0 the function values H(s, ?q) and H(?q, s) are expressed in terms of the Riemann zeta function. Similar results are also obtained for the Dirichlet series T(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z (m + n)^?1. Applications include identities previously obtained by Ramanujan, Williams, and Rao and Sarma.     

Norm expansion along a zero variety

The reproducing kernel function of a weighted Bergman space over domains in Cd is known explicitly in only a small number of instances. Here, we introduce a process of orthogonal norm expansion along a subvariety of (complex) codimension 1, which also leads to a series expansion of the reproducing kernel in terms of reproducing kernels defined on the subvariety. The problem of finding the reproducing kernel is thus reduced to the same kind of problem when one of the two entries is on the subvariety. A complete expansion of the reproducing kernel may be achieved in this manner. We carry this out in dimension d=2 for certain classes of weighted Bergman spaces over the bidisk (with the diagonal z₁=z₂ as subvariety) and the ball (with z₂=0 as subvariety), as well as for a weighted Bargmann-Fock space over C² (with the diagonal z₁=z₂ as subvariety).     

Exponential Asymptotics of the Mittag—Leffler Function

The Stokes lines/curves are identified for the Mittag—Leffler function

Prime and composite Laurent polynomials

In the paper [J. Ritt, Prime and composite polynomials, Trans. Amer. Math. Soc. 23 (1922) 51-66] Ritt constructed the theory of functional decompositions of polynomials with complex coefficients. In particular, he described explicitly polynomial solutions of the functional equation f(p(z))=g(q(z)). In this paper we study the equation above in the case where f,g,p,q are holomorphic functions on compact Riemann surfaces. We also construct a self-contained theory of functional decompositions of rational functions with at most two poles generalizing the Ritt theory. In particular, we give new proofs of the theorems of Ritt and of the theorem of Bilu and Tichy.     

Plancherel-Rotach asymptotics for some q-orthogonal polynomials with complex scalings

In this work we study the Plancherel-Rotach type asymptotics for Stieltjes-Wigert, q-Laguerre and Ismail-Masson orthogonal polynomials with complex scalings. The main terms of the asymptotics for Stieltjes-Wigert and q-Laguerre polynomials (Ismail-Masson polynomials) contain Ramanujan function Aq(z) for scaling parameters above the vertical line R(s)=2 (); the main terms of the asymptotics involve theta function for scaling parameters in the vertical strip 0<R(s)<2 (). When scaling parameters in the vertical strips, the number theoretical properties of scaling parameters completely determine the orders of the error terms. These asymptotic formulas may provide some insights to new random matrix models and also add a new link between special functions and number theory.     

Basic Fourier series on a q-linear grid: Convergence theorems

For 0<q<1 define the symmetric q-linear operator acting on a suitable function f(x) by δf(x)=f(q1/2x)−f(q−1/2x). The q-linear initial value problem , f(0)=1, has two entire functions Cq(z) and Sq(z) as linearly independent solutions, which are orthogonal on a discrete set. Sufficient conditions for pointwise convergence and for uniform convergence of the corresponding Fourier expansion are given.     

Exponential polynomials as solutions of certain nonlinear difference equations

Recently, C.-C. Yang and I. Laine have investigated finite order entire solutions f of nonlinear differential-difference equations of the form fn + L(z, f ) = h, where n ≥ 2 is an integer. In particular, it is known that the equation f(z)2 + q(z)f (z + 1) = p(z), where p(z), q(z) are polynomials, has no transcendental entire solutions of finite order. Assuming that Q(z) is also a polynomial and c ∈ C, equations of the form f(z)n + q(z)e Q(z) f(z + c) = p(z) do posses finite order entire solutions. A classification of these solutions in terms of growth and zero distribution will be given. In particular, it is shown that any exponential polynomial solution must reduce to a rather specific form. This reasoning relies on an earlier paper due to N. Steinmetz.     

The number of designs with geometric parameters grows exponentially

It is well-known that the number of 2-designs with the parameters of a classical point-hyperplane design PG _n-1(n, q) grows exponentially. Here we extend this result to the number of 2-designs with the parameters of PG _d (n, q), where 2 ≤ d ≤ n ? 1. We also establish a characterization of the classical geometric designs in terms of hyperplanes and, in the special case d = 2, also in terms of lines. Finally, we shall discuss some interesting configurations of hyperplanes arising in designs with geometric parameters.     

A uniform asymptotic expansion for the incomplete gamma function

We describe a new uniform asymptotic expansion for the incomplete gamma function Γ(a,z) valid for large values of z. This expansion contains a complementary error function of an argument measuring transition across the point z=a (which is different from that in the well-known uniform expansion for large a of Temme), with easily computable coefficients that do not involve a removable singularity at z=a. Our expansion is, however, valid in a smaller domain of the parameters than that of Temme. Numerical examples are given to illustrate the accuracy of the expansion.     

On q-asymptotics for linear q-difference-differential equations with Fuchsian and irregular singularities

We consider a Cauchy problem for some family of linear q-difference-differential equations with Fuchsian and irregular singularities, that admit a unique formal power series solution in two variables $\stackrel{?}{X}(t,z)$ for given formal power series initial conditions. Under suitable conditions and by the application of certain q-Borel and Laplace transforms (introduced by J.-P. Ramis and C. Zhang), we are able to deal with the small divisors phenomenon caused by the Fuchsian singularity, and to construct actual holomorphic solutions of the Cauchy problem whose q-asymptotic expansion in t, uniformly for z in the compact sets of $\mathbb{C}$, is $\stackrel{?}{X}(t,z)$. The small divisors? effect is an increase in the order of q-exponential growth and the appearance of a power of the factorial in the corresponding q-Gevrey bounds in the asymptotics.     

A systematization of the saddle point method. Application to the Airy and Hankel functions

The standard saddle point method of asymptotic expansions of integrals requires to show the existence of the steepest descent paths of the phase function and the computation of the coefficients of the expansion from a function implicitly defined by solving an inversion problem. This means that the method is not systematic because the steepest descent paths depend on the phase function on hand and there is not a general and explicit formula for the coefficients of the expansion (like in Watson's Lemma for example). We propose a more systematic variant of the method in which the computation of the steepest descent paths is trivial and almost universal: it only depends on the location and the order of the saddle points of the phase function. Moreover, this variant of the method generates an asymptotic expansion given in terms of a generalized (and universal) asymptotic sequence that avoids the computation of the standard coefficients, giving an explicit and systematic formula for the expansion that may be easily implemented on a symbolic manipulation program. As an illustrative example, the well-known asymptotic expansion of the Airy function is rederived almost trivially using this method. New asymptotic expansions of the Hankel function Hn(z) for large n and z are given as non-trivial examples.     

Bilinear Relative Equilibria of Identical Point Vortices

A new class of bilinear relative equilibria of identical point vortices in which the vortices are constrained to be on two perpendicular lines, conveniently taken to be the x- and y-axes of a Cartesian coordinate system, is introduced and studied. In the general problem we have m vortices on the y-axis and n on the x-axis. We define generating polynomials q(z) and p(z), respectively, for each set of vortices. A second-order, linear ODE for p(z) given q(z) is derived. Several results relating the general solution of the ODE to relative equilibrium configurations are established. Our strongest result, obtained using Sturm’s comparison theorem, is that if p(z) satisfies the ODE for a given q(z) with its imaginary zeros symmetric relative to the x-axis, then it must have at least n?m+2 simple, real zeros. For m=2 this provides a complete characterization of all zeros, and we study this case in some detail. In particular, we show that, given q(z)=z ²+η ², where η is real, there is a unique p(z) of degree n, and a unique value of η ²=A _n , such that the zeros of q(z) and p(z) form a relative equilibrium of n+2 point vortices. We show that $A_{n} \approx\frac{2}{3}n + \frac{1}{2}$ , as n→∞, where the coefficient of n is determined analytically, the next-order term numerically. The paper includes extensive numerical documentation on this family of relative equilibria.     

On polynomials orthogonal to all powers of a given polynomial on a segment

In this paper we investigate the following “polynomial moment problem”: for a given complex polynomial P(z) and distinct a,b∈C to describe polynomials q(z) orthogonal to all powers of P(z) on [a,b]. We show that for given P(z), q(z) the condition that q(z) is orthogonal to all powers of P(z) is equivalent to the condition that branches of the algebraic function Q(P⁻¹(z)), where , satisfy a certain system of linear equations over Z. On this base we provide the solution of the polynomial moment problem for wide classes of polynomials. In particular, we give the complete solution for polynomials of degree less than 10.