Log-concavity of $P$-recursive sequences

Abstract

We consider the higher order Turán inequality and higher order log-concavity for sequences $\{a_n{\}}_{n\ge 0}$ such that \[ \frac{a_{n-1}a_{n+1}}{a_n^2} = 1 + \sum_{i=1}^m \frac{r_i(\log n)}{n^{α_i}} + o\left( \frac{1}{n^β} \right), \] where $m$ is a nonnegative integer, ${\alpha }_i$ are real numbers, $r_i(x)$ are rational functions of $x$ and \[ 0 < α_1 < α_2 < \cdots < α_m < β. \] We will give a sufficient condition on the higher order Turán inequality and the $r$-log-concavity for $n$ sufficiently large. Most $P$-recursive sequences fall in this frame. At last, we will give a method to find the exact $N$ such that for any $n>N$, the higher order Turán inequality holds.

References in corpus (1)

• Jensen polynomials for the Riemann zeta function and other sequences