Holomorphic series expansion of functions of Carleman type
Let f be a holomorphic function of Carleman type in a bounded convex domain D of the plane. We show that f can be expanded in a series f = ∑ₙfₙ, where fₙ is a holomorphic function in Dₙ satisfying for some constants C > 0 and 0 < ϱ < 1, and where (Dₙ)ₙ is a suitably chosen sequence of decreasing neighborhoods of the closure of D. Conversely, if f admits such an expansion then f is of Carleman type. The decrease of the sequence Dₙ characterizes the smoothness of f.