Convex sequences and Integral representation for the generating function
Suppose that $c_k$ is an decreasing sequence of non-negative real numbers, such that $c_0=1$ and $c_{k}\leq \frac{1}{2}(c_{k-1}+c_{k+1})$.
Is it true that the generated function of $c_k$ admit an integral representation as below $$ \sum_{k=0}^{\infty}c_kz^k=\int_{\partial\mathbb D} \frac{1}{1-\zeta z}d\mu(\zeta), $$ where $\mu$ is a Borel Probability Measure in $\partial\mathbb D$ ?
Motivation: This question is related a possible slight different solution for the question asked in https://math.stackexchange.com/questions/2188/complex-analysis-question whose the answer, as pointed out by damiano, can be found at the IMC website.
I think this is not possible. We need a stronger condition on the $c_k$.
Assume such a measure exists, then $L:C(S^1) \to \mathbb{C}$ given by $$L(f) = \int_{S^1} f \, d\mu$$ is a linear functional so we can extend it to $L^2(S^1)$. To see it is continuous note that
$$|L(f)| \leq \|f\|_1 \leq \|f\|_2$$
Also write this extension as $L$.
By Riesz representation theorem we know that $L(f) = \langle f, x \rangle$ for some $x \in L^2(S^1)$.
So $L(\sum \zeta^n z^n) = \sum b_n z^n$ where $b_n = \langle \zeta^n, x \rangle$ and we know that this is equal to $\sum c_n z^n$. So that $c_n = \langle \zeta^n, x \rangle$. But we also know that $\sum |c_n|^2 < \infty$. This is a stronger condition than convexity as George pointed out below.
I hope it is correct this time.
The problem looks a lot like the Hausdorff moment problem and the standard work on moment problems is probably the book by Akhiezer: The classical moment problem and some related questions in analysis. Hafner Publishing Co., New York 1965.