On a lemma arising in the solution of Waring's problem (Q820465): Difference between revisions

The authors give a simple proof for the fact that the sequence \[ c_n=\left\{\begin{array}{cl} \frac{(n)!}{(n/2)!} & \textrm{ if } n \textrm{ is even} \\ 0 & \textrm{ else }\end{array}\right. \] is a truncated moment sequence, and has an atomic measure solution. The proof is non-constructive and uses mainly convex analysis, and especially Carathéodory's theorem. The reasoning in this paper is close to \textit{C.~Bayer} and \textit{J.~Teichmann} [Proc. Am. Math. Soc. 134, No.~10, 3035--3040 (2006; Zbl 1093.41016)] where the question of representation of a truncated moment sequence with a finite known atomic measure is treated (Richter-Tchakaloff theorem).