A representation of symmetric functions in Carleman-Gevrey spaces

For a symmetric function t(x)(x^d) one investigates the representation, where _j(x) is the elementary symmetric polynomial of degree j. Let be the closure of the domain in ^d, let be a numerical sequence such that (n) does not decrease, let be the Carleman-Gevrey space, i.e. the collection of functions (n+1)/(n) such that for any bounded subdomain there exists a constant tC() with which one has the inequality _x t(x)H⁺¹!() (x*#x03A9;'). Let S be the image of ^d under the mapping x(₁(x), ..., _d(x)). One proves the following theorem: For any tk(^d) there exists such that, if and only if (n)(nd)ⁿ⁺¹, where is some positive number, independent of n.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 149, pp. 116–126, 1986.