On multiple and infinite log-concavity
Following Boros--Moll, a sequence (an) is m-log-concave if Lj(an)≥0 for all j=0,1,…,m. Here, L is the operator defined by L(an)=an2−an−1an+1. By a criterion of Craven--Csordas and McNamara--Sagan it is known that a sequence is ∞-log-concave if it satisfies the stronger inequality ak2≥rak−1ak+1 for large enough r. On the other hand, a recent result of Brändén shows that ∞-log-concave sequences include sequences whose generating polynomial has only negative real roots. In this paper, we investigate sequences which are fixed by a power of the operator L and are therefore ∞-log-concave for a very different reason. Surprisingly, we find that sequences fixed by the non-linear operators L and L2 are, in fact, characterized by a linear 4-term recurrence. In a final conjectural part, we observe that positive sequences appear to become ∞-log-concave if convoluted with themselves a finite number of times.