The general Brannan coefficient conjecture II: Meijer-function approximations
Abstract
The coefficients An(α,β,ω) in the Maclaurin expansion (1+ωz)α(1−z)−β=∑n=0∞ An(α,β,ω)zn are considered for |ω|=1 and α,β∈(0,1]. D. A. Brannan conjectured in a 1973 paper that |An(α,β,ω)|≤ An(α,β,1) for every positive odd integer n. The present author recently established the conjecture outside a small neighbourhood of ω=−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(−ω)| 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 α,β∈(0,1] and all odd integers n≥5, and hence, together with Brannan's result for n=3, complete the proof of his conjecture.
Related
- A solution to the Yau-Tian-Donaldson Conjecture through Special Fujita Approximations
- Krzyż's conjecture for the seventh coefficient
- Non-local approximations for the Schrödinger operator with a general point interaction via the non-relativistic limit
- A computer-assisted proof of Krzyż's conjecture for the sixth coefficient
- A counterexample to the Clunie--Sheil-Small coefficient-difference conjecture via quasiconformal maps
BibTeX
@misc{dunster2026general,
title = {{The general Brannan coefficient conjecture II: Meijer-function approximations}},
author = {T. M. Dunster},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2606.11621},
eprint = {2606.11621},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2606.11621},
}
RIS
TY - UNPB
TI - The general Brannan coefficient conjecture II: Meijer-function approximations
AU - T. M. Dunster
PY - 2026
DA - 2026/10/04
PB - arXiv
DO - 10.48550/arxiv.2606.11621
UR - https://arxiv.org/abs/2606.11621
AB - The coefficients A_n(α,β,ω) in the Maclaurin expansion (1+ωz)^α(1−z)^−β=∑_n=0^∞ A_n(α,β,ω)z^n are considered for |ω|=1 and α,β∈(0,1]. D. A. Brannan conjectured in a 1973 paper that |A_n(α,β,ω)|≤ A_n(α,β,1) for every positive odd integer n. The present author recently established the conjecture outside a small neighbourhood of ω=−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(−ω)| 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 α,β∈(0,1] and all odd integers n≥5, and hence, together with Brannan's result for n=3, complete the proof of his conjecture.
ER -