Injectivity and surjectivity of the asymptotic Borel map in Carleman ultraholomorphic classes

Abstract

We study the injectivity and surjectivity of the Borel map in three instances: in Roumieu-Carleman ultraholomorphic classes in unbounded sectors of the Riemann surface of the logarithm, and in classes of functions admitting, uniform or nonuniform, asymptotic expansion at the corresponding vertex. These classes are defined in terms of a log-convex sequence $\mathbb{M}$ of positive real numbers. Injectivity had been solved in two of these cases by S. Mandelbrojt and B. Rodríguez-Salinas, respectively, and we completely solve the third one by means of the theory of proximate orders. A growth index $ω(\mathbb{M})$ turns out to put apart the values of the opening of the sector for which injectivity holds or not. In the case of surjectivity, only some partial results were available by J. Schmets and M. Valdivia and by V. Thilliez, and this last author introduced an index $γ(\mathbb{M})$ (generally different from $ω(\mathbb{M})$) for this problem, whose optimality was not established except for the Gevrey case. We considerably extend here their results, proving that $γ(\mathbb{M})$ is indeed optimal in some standard situations (for example, as far as $\mathbb{M}$ is strongly regular) and puts apart the values of the opening of the sector for which surjectivity holds or not.