We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Number Theory

Title: A Conjectured Integer Sequence Arising From the Exponential Integral

Abstract: Let $f_0(z) = \exp(z/(1-z))$, $f_1(z) = \exp(1/(1-z))E_1(1/(1-z))$, where $E_1(x) = \int_x^\infty e^{-t}t^{-1}{\,d}t$. Let $a_n = [z^n]f_0(z)$ and $b_n = [z^n]f_1(z)$ be the corresponding Maclaurin series coefficients. We show that $a_n$ and $b_n$ may be expressed in terms of confluent hypergeometric functions. We consider the asymptotic behaviour of the sequences $(a_n)$ and $(b_n)$ as $n \to \infty$, showing that they are closely related, and proving a conjecture of Bruno Salvy regarding $(b_n)$. Let $\rho_n = a_n b_n$, so $\sum \rho_n z^n = (f_0\,\odot f_1)(z)$ is a Hadamard product. We obtain an asymptotic expansion $2n^{3/2}\rho_n \sim -\sum d_k n^{-k}$ as $n \to \infty$, where the $d_k\in\mathbb Q$, $d_0=1$. We conjecture that $2^{6k}d_k \in \mathbb Z$. This has been verified for $k \le 1000$.
Comments: 18 pages, additional motivation and references in v3/v4
Subjects: Number Theory (math.NT)
MSC classes: 34E05 (Primary) 11Y55, 33C10, 33C15, 33F99 (Secondary)
Journal reference: Journal of Integer Sequences 22 (2019), article 19.4.7, 16 pp
Cite as: arXiv:1812.00316 [math.NT]
  (or arXiv:1812.00316v4 [math.NT] for this version)

Submission history

From: Richard Brent [view email]
[v1] Sun, 2 Dec 2018 03:44:33 GMT (13kb)
[v2] Sat, 15 Dec 2018 07:09:32 GMT (14kb)
[v3] Mon, 27 May 2019 11:50:47 GMT (14kb)
[v4] Fri, 31 May 2019 04:07:02 GMT (14kb)

Link back to: arXiv, form interface, contact.