Log-concavity of $P$-recursive sequences

TL;DR

This paper investigates the conditions under which $P$-recursive sequences exhibit higher order Turán inequalities and log-concavity, providing criteria and methods to determine when these properties hold for large sequence indices.

Contribution

It offers a sufficient condition for higher order Turán inequalities and $r$-log-concavity in $P$-recursive sequences, along with a method to find the threshold index beyond which these properties are guaranteed.

Findings

Provides a criterion for higher order Turán inequalities in $P$-recursive sequences.

Establishes conditions for higher order log-concavity in these sequences.

Develops a method to determine the index after which inequalities hold.

Abstract

We consider the higher order Tur\'an 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^{\alpha_i}} + o\left( \frac{1}{n^{\beta}} \right), \] where $m$ is a nonnegative integer, $\alpha_i$ are real numbers, $r_i(x)$ are rational functions of $x$ and \[ 0 < \alpha_1 < \alpha_2 < \cdots < \alpha_m < \beta. \] We will give a sufficient condition on the higher order Tur\'an 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\'an inequality holds.