MathDB
Convex functions and logarithms

Source:

October 30, 2010
functionlogarithmsinequalitiesalgebra proposedalgebra

Problem Statement

A sequence (an)0(a_n)^{\infty}_0 of real numbers is called convex if 2anan1+an+12a_n\le a_{n-1}+a_{n+1} for all positive integers nn. Let (bn)0(b_n)^{\infty}_0 be a sequence of positive numbers and assume that the sequence (αnbn)0(\alpha^nb_n)^{\infty}_0 is convex for any choice of α>0\alpha > 0. Prove that the sequence (logbn)0(\log b_n)^{\infty}_0 is convex.