The general Brannan coefficient conjecture II: Meijer-function approximations

Abstract

The coefficients $A_n(\hat{I}\pm ,{\hat{I}}^2,\ddot{I}‰)$ in the Maclaurin expansion $(1+\ddot{I}‰z{)}^{\hat{I}}\pm (1-z{)}^{-{\hat{I}}^2}={\sum }_{n=0}^{\infty }{A}_n(\hat{I}\pm ,{\hat{I}}^2,\ddot{I}‰)z^n$ are considered for $|\ddot{I}‰|=1$ and $\hat{I}\pm ,{\hat{I}}^2\in (0,1]$. D. A. Brannan conjectured in a 1973 paper that $|A_n(\hat{I}\pm ,{\hat{I}}^2,\ddot{I}‰)|\le A_n(\hat{I}\pm ,{\hat{I}}^2,1)$ for every positive odd integer $n$. The present author recently established the conjecture outside a small neighbourhood of $\ddot{I}‰=-1$. The remaining range is treated here by combining compound Laplace integral representations with two types of local approximation: a Meijer $G$ function approximation for $n|\arg (-\ddot{I}‰)|$ bounded, and a modified Watson approximation for the complementary range. The resulting lower bounds reduce the problem to numerical positivity checks for explicit functions on compact parameter sets. These computations verify the inequality for all $\hat{I}\pm ,{\hat{I}}^2\in (0,1]$ and all odd integers $n\ge 5$, and hence, together with Brannan's result for $n=3$, complete the proof of his conjecture.

v.2: A few minor adjustments and reference [8] updated