Searcharxiv⌕ Search

arXiv subjects

Gergő Nemes

Publications and source records attributed to Gergő Nemes.

At least 19 recordsLinked to original sources

Polynomials and asymptotic constants in a resurgent problem from 't Hooft

In a recent study of the quantum theory of harmonic oscillators, Gerard 't Hooft proposed the following problem: given $G(z)=\sum_{n=1}^\infty\sqrt{n}\,z^n$ for $|z|<1$, find its analytic continuation for $|z|\ge1$, excluding a branch-cut $z\in[1,\,\infty)$. A solution is provided by the bilateral convergent sum $G(z)=\frac12\sqrtπ\sum_{n=-\infty}^\infty(2π{\rm i}n-\log(z))^{-3/2}$. On the negative real axis, $G(-{\rm e}^u)$ has a sign-constant asymptotic expansion in $1/u^2$, for large positive $u$. Optimal truncation leaves exponentially suppressed terms in an asymptotic expansion ${\rm e}^{-u}\sum_{k=0}^\infty P_k(x)/u^k$, with $P_0(x)=x-\frac23$ and $P_k(x)$ of degree $2k+1$ evaluated at $x=u/2-\lfloor u/2\rfloor$. At large $k$, these polynomials become excellent approximations to sinusoids. The amplitude of $P_k(x)$ increases factorially with $k$ and its phase increases linearly, with $P_k(x)\sim\sin((2k+1)C-2πx)R^{2k+1}Γ(k+\frac12)/\sqrt{2π}$, where $C\approx1.0688539158679530121571$ and $R\approx0.5181839789815558726739$ are asymptotic constants satisfying $R\exp({\rm i}\,C)=\sqrt{-1/(2+π{\rm i})}$.

math.NT↗

Hyperasymptotics for linear difference equations with an irregular singularity of rank one: Polynomial coefficients

Hyperasymptotics is an analytical method that incorporates exponentially small contributions into asymptotic approximations, thereby expanding their domain of validity, improving accuracy, and providing deeper insight into the underlying singularity structures. It also allows for the computation of problem-specific invariants, such as Stokes multipliers, whose values are often assumed or remain unknown in other approaches. For differential equations, unlike standard asymptotic expansions, hyperasymptotic expansions determine solutions uniquely. In this paper, we extend the hyperasymptotic method to inverse factorial series solutions of certain higher-order linear difference equations and demonstrate that the resulting expansions also determine the solutions uniquely. We further indicate how the connection coefficients appearing in these expansions can be computed numerically using hyperasymptotic techniques. In addition, we give explicit remainder bounds for the inverse factorial series solutions. Our main tool is the Mellin--Borel transform. The expansions are expressed via universal hyperterminant functions, closely related to the hyperterminants familiar from integral and differential equation contexts. The results are illustrated by the Gauss hypergeometric function with a large third parameter and a third-order difference equation.

math.CA↗

Large-degree asymptotic expansions for the Jacobi and related functions

Simple asymptotic expansions for the Jacobi functions $P_ν^{(α, β)}(z)$ and $Q_ν^{(α, β)}(z)$ for large degree $ν$, with fixed parameters $α$ and $β$, are surprisingly rare in the literature, with only a few special cases covered. This paper addresses this notable gap by deriving simple (inverse) factorial expansions for these functions, complemented by explicit and computable error bounds. Additionally, we provide analogous results for the associated functions $\mathsf{Q}_ν^{(α, β)}(x)$ and $\mathrm{Q}_ν^{(α, β)}(x)$.

math.CA↗

Asymptotic expansions for the generalised trigonometric integral and its zeros

In this paper, we investigate the asymptotic properties of the generalised trigonometric integral $\operatorname{ti}(a, z, α)$ and its associated modulus and phase functions for large complex values of $z$. We derive asymptotic expansions for these functions, accompanied by explicit and computable error bounds. For real values of $a$, the function $\operatorname{ti}(a, z, α)$ possesses infinitely many positive real zeros. Assuming $a < 1$, we establish asymptotic expansions for the large zeros, accompanied by precise error estimates. The error bounds for the asymptotics of the phase function and its zeros will be derived by studying the analytic properties of both the phase function and its inverse. Additionally, we demonstrate that for real variables, the derived asymptotic expansions are enveloping, meaning that successive partial sums provide upper and lower bounds for the corresponding functions.

math.CA↗

Smoothing of the higher-order Stokes phenomenon

For nearly a century and a half the Stokes phenomenon had been perceived as a discontinuous change in the asymptotic representation of a function. In 1989 Berry demonstrated how it is possible to smooth out this discontinuity in broad classes of problems with the prefactor for the exponentially small contribution that is being switched on/off taking the universal form of an error function. Following pioneering work of Berk {\it et al.} \cite{BNR82} and the Japanese school of formally exact asymptotics \cite{Aokietal1994,AKT01}, the concept of the higher-order Stokes phenomenon was introduced in \cite{HLO04} and \cite{CM05}, whereby the ability for the exponentially small terms to cause a Stokes phenomenon may change, depending on the values of parameters in the problem, corresponding to the associated singularities in the Borel plane transitioning between different Riemann sheets. Until now, the higher-order Stokes phenomenon has also been treated as a discontinuous event. In this paper we show how the higher-order Stokes phenomenon is, in fact, also smooth and occurs universally with a prefactor that takes the form of a new special function, based on a Gaussian convolution of an error function that gives rise to a rich structure. We provide a rigorous derivation of the result, with examples spanning the gamma function, a second-order nonlinear ODE and the telegraph equation, giving rise to a ghost-like smooth contribution that is present in the vicinity of a Stokes line, but which rapidly tends to zero on either side. We also include a rigorous derivation and example of the effect of the smoothed higher-order Stokes phenomenon on the individual terms in the asymptotic series, where the additional contributions appear prefactored by an error function.

math.CA↗

Simple error bounds for an asymptotic expansion of the partition function

Recently, there has been renewed interest in studying the asymptotic properties of the integer partition function $p(n)$. Hardy, Ramanujan, and Rademacher provided detailed asymptotic analysis for $p(n)$. Presently, attention has shifted towards Poincaré-type asymptotic expansions, characterised by their simplicity albeit reduced accuracy compared to the earlier works of Hardy, Ramanujan, and Rademacher. This paper aims to establish computable error bounds for one such simplified expansion. The bounds presented herein are sharper, and their derivation is considerably simpler compared to those found in recent literature.

math.NT↗

On the Borel summability of formal solutions of certain higher-order linear ordinary differential equations

We consider a class of $n^{\text{th}}$-order linear ordinary differential equations with a large parameter $u$. Analytic solutions of these equations can be described by (divergent) formal series in descending powers of $u$. We demonstrate that, given mild conditions on the potential functions of the equation, the formal solutions are Borel summable with respect to the parameter $u$ in large, unbounded domains of the independent variable. We establish that the formal series expansions serve as asymptotic expansions, uniform with respect to the independent variable, for the Borel re-summed exact solutions. Additionally, we show that the exact solutions can be expressed using factorial series in the parameter, and these expansions converge in half-planes, uniformly with respect to the independent variable. To illustrate our theory, we apply it to an $n^{\text{th}}$-order Airy-type equation.

math.CA↗

Resurgence in the Transition Region: The Incomplete Gamma Function

We study the resurgence properties of the coefficients $C_n(τ)$ appearing in the asymptotic expansion of the incomplete gamma function within the transition region. Our findings reveal that the asymptotic behaviour of $C_n(τ)$ as $n\to +\infty$ depends on the parity of $n$. Both $C_{2n-1}(τ)$ and $C_{2n}(τ)$ exhibit behaviours characterised by a leading term accompanied by an inverse factorial series, where the coefficients are once again $C_{2k-1}(τ)$ and $C_{2k}(τ)$, respectively. Our derivation employs elementary tools and relies on the known resurgence properties of the asymptotic expansion of the gamma function and the uniform asymptotic expansion of the incomplete gamma function. To the best of our knowledge, prior to this paper, there has been no investigation in the existing literature regarding the resurgence properties of asymptotic expansions in transition regions.

math.CA↗

Dingle's final main rule, Berry's transition, and Howls' conjecture

The Stokes phenomenon is the apparent discontinuous change in the form of the asymptotic expansion of a function across certain rays in the complex plane, known as Stokes lines, as additional expansions, pre-factored by exponentially small terms, appear in its representation. It was first observed by G. G. Stokes while studying the asymptotic behaviour of the Airy function. R. B. Dingle proposed a set of rules for locating Stokes lines and continuing asymptotic expansions across them. Included among these rules is the "final main rule" stating that half the discontinuity in form occurs on reaching the Stokes line, and half on leaving it the other side. M. V. Berry demonstrated that, if an asymptotic expansion is terminated just before its numerically least term, the transition between two different asymptotic forms across a Stokes line is effected smoothly and not discontinuously as in the conventional interpretation of the Stokes phenomenon. On a Stokes line, in accordance with Dingle's final main rule, Berry's law predicts a multiplier of $\frac{1}{2}$ for the emerging small exponentials. In this paper, we consider two closely related asymptotic expansions in which the multipliers of exponentially small contributions may no longer obey Dingle's rule: their values can differ from $\frac{1}{2}$ on a Stokes line and can be non-zero only on the line itself. This unusual behaviour of the multipliers is a result of a sequence of higher-order Stokes phenomena. We show that these phenomena are rapid but smooth transitions in the remainder terms of a series of optimally truncated hyperasymptotic re-expansions. To this end, we verify a conjecture due to C. J. Howls.

math.CA↗

Error bounds for the asymptotic expansions of the Hermite polynomials

In this paper, we present explicit and computable error bounds for the asymptotic expansions of the Hermite polynomials with Plancherel--Rotach scale. Three cases, depending on whether the scaled variable lies in the outer or oscillatory interval, or it is the turning point, are considered separately. We introduce the "branch cut" technique to express the error terms as integrals on the contour taken as the one-sided limit of curves approaching the branch cut. This new technique enables us to derive simple error bounds in terms of elementary functions. We also provide recursive procedures for the computation of the coefficients appearing in the asymptotic expansions.

math.CA↗

Proofs of two conjectures on the real zeros of the cylinder and Airy functions

We prove the enveloping property of the known divergent asymptotic expansions of the large real zeros of the cylinder and Airy functions, and thereby answering in the affirmative two conjectures posed by Elbert and Laforgia and by Fabijonas and Olver, respectively. The essence of the proof is the construction of analytic functions that return the zeros when evaluated along certain discrete sets of real numbers. By manipulating contour integrals of these functions, we derive the asymptotic expansions of the large zeros truncated after a finite number of terms plus remainders that can be estimated efficiently. The conjectures are then deduced as corollaries of these estimates. An analogous result for the associated phase function is also discussed.

math.CA↗

On the Borel summability of WKB solutions of certain Schrödinger-type differential equations

A class of Schrödinger-type second-order linear differential equations with a large parameter $u$ is considered. Analytic solutions of this type of equations can be described via (divergent) formal series in descending powers of $u$. These formal series solutions are called the WKB solutions. We show that under mild conditions on the potential function of the equation, the WKB solutions are Borel summable with respect to the parameter $u$ in large, unbounded domains of the independent variable. It is established that the formal series expansions are the asymptotic expansions, uniform with respect to the independent variable, of the Borel re-summed solutions and we supply computable bounds on their error terms. In addition, it is proved that the WKB solutions can be expressed using factorial series in the parameter, and that these expansions converge in half-planes, uniformly with respect to the independent variable. We illustrate our theory by application to a radial Schrödinger equation associated with the problem of a rotating harmonic oscillator and to the Bessel equation.

math.CA↗

Asymptotic expansions for the radii of starlikeness of normalised Bessel functions

The asymptotic behaviour, with respect to the large order, of the radii of starlikeness of two types of normalised Bessel functions is considered. We derive complete asymptotic expansions for the radii of starlikeness and provide recurrence relations for the coefficients of these expansions. The proofs rely on the notion of Rayleigh sums and asymptotic inversion. The techniques employed in the paper could be useful to treat similar problems where inversion of asymptotic expansions is involved.

math.CV↗

Large-parameter asymptotic expansions for the Legendre and allied functions

Surprisingly, apart from some special cases, simple asymptotic expansions for the associated Legendre functions $P_ν^μ(z)$ and $Q_ν^μ(z)$ for large degree $ν$ or large order $μ$ are not available in the literature. The main purpose of the present paper is to fill this gap by deriving simple (inverse) factorial expansions for these functions and provide sharp and realistic bounds on their error terms. Analogous results for the Ferrers functions and the closely related Gegenbauer function are also included. In the cases that $ν$ is an integer or $2μ$ is an odd integer, many of these new expansions terminate and provide finite representations in terms of simple functions. Most of these representations appear to be new. It is well known that the hypergeometric series can be regarded as a large-$c$ asymptotic expansion for the hypergeometric function $F(a,b;c;z)$. We also derive computable bounds for the remainder term of this expansion. To our best knowledge, no such estimates have been given in the literature prior to this paper.

math.CA↗

Asymptotic expansions for the incomplete gamma function in the transition regions

We construct asymptotic expansions for the normalised incomplete gamma function $Q(a,z)=Γ(a,z)/Γ(a)$ that are valid in the transition regions, including the case $z\approx a$, and have simple polynomial coefficients. For Bessel functions, these type of expansions are well known, but for the normalised incomplete gamma function they were missing from the literature. A detailed historical overview is included. We also derive an asymptotic expansion for the corresponding inverse problem, which has importance in probability theory and mathematical statistics. The coefficients in this expansion are again simple polynomials, and therefore its implementation is straightforward. As a byproduct, we give the first complete asymptotic expansion as $a\to-\infty$ of the unique negative zero of the regularised incomplete gamma function $γ^*(a,x)$.

math.CA↗

An extension of Laplace's method

Asymptotic expansions are obtained for contour integrals of the form \[ \int_a^b \exp \left( - zp(t) + z^{ν/μ} r(t) \right)q(t)dt, \] in which $z$ is a large real or complex parameter, $p(t)$, $q(t)$ and $r(t)$ are analytic functions of $t$, and the positive constants $μ$ and $ν$ are related to the local behaviour of the functions $p(t)$ and $r(t)$ near the endpoint $a$. Our main theorem includes as special cases several important asymptotic methods for integrals such as those of Laplace, Watson, Erdélyi and Olver. Asymptotic expansions similar to ours were derived earlier by Dingle using formal, non-rigorous methods. The results of the paper also serve to place Dingle's investigations on a rigorous mathematical foundation. The new results have potential applications in the asymptotic theory of special functions in transition regions, and we illustrate this by two examples.

math.CA↗

Error bounds for the large-argument asymptotic expansions of the Lommel and allied functions

In this paper, we reconsider the large-$z$ asymptotic expansion of the Lommel function $S_{μ,ν}(z)$ and its derivative. New representations for the remainder terms of the asymptotic expansions are found and used to obtain sharp and realistic error bounds. We also give re-expansions for these remainder terms and provide their error estimates. Applications to the asymptotic expansions of the Anger--Weber-type functions, the Scorer functions, the Struve functions and their derivatives are provided. The sharpness of our error bounds is discussed in detail, and numerical examples are given.

math.CA↗

Globally exact asymptotics for integrals with arbitrary order saddles

We derive the first exact, rigorous but practical, globally valid remainder terms for asymptotic expansions about saddles and contour endpoints of arbitrary order degeneracy derived from the method of steepest descents. The exact remainder terms lead naturally to sharper novel asymptotic bounds for truncated expansions that are a significant improvement over the previous best existing bounds for quadratic saddles derived two decades ago. We also develop a comprehensive hyperasymptotic theory, whereby the remainder terms are iteratively re-expanded about adjacent saddle points to achieve better-than-exponential accuracy. By necessity of the degeneracy, the form of the hyperasymptotic expansions are more complicated than in the case of quadratic endpoints and saddles, and require generalisations of the hyperterminants derived in those cases. However we provide efficient methods to evaluate them, and we remove all possible ambiguities in their definition. We illustrate this approach for three different examples, providing all the necessary information for the practical implementation of the method.

math.CA↗