Sectorial extensions, via Laplace transforms, in ultraholomorphic classes defined by weight functions (Q667536)

Let $\mathcal{R}$ be the Riemann surface of the logarithm. For $\gamma>0$, denote by $S_\gamma$ the unbounded sector \[ S_\gamma := \left\{z\in\mathcal{R}: |\arg(z)|<\frac{\gamma\pi}{2}\right\} \] and by $\mathcal{H}(S_{\gamma})$ the space of holomorphic functions on $S_\gamma$. Given a weight sequence $M$, the Banach space \[ \mathcal{A}_{M,h} := \left\{f\in\mathcal{H}(S_\gamma): \|f\|_{M,h} = \sup_{z\in S_\gamma,\;p\in\mathbb{N}} \frac{|f^{(p)}(z)|}{h^pM_p} < \infty\right\} \] is used to define the Denjoy-Carleman ultraholomorphic class \[ \mathcal{A}_{\{M\}}(S_\gamma) = \varinjlim_{h>0} \mathcal{A}_{M,h}(S_\gamma). \] The sequence space $\Lambda_{\{M\}}$ is defined analogously. A similar construction works in the case where $M$ is replaced by a weight function in the sense of \textit{R. W. Braun} et al. [Result. Math. 17, No. 3--4, 206--237 (1990; Zbl 0735.46022)]. \par A weight matrix is a one parameter family of weight sequences $\mathcal{M} := \{M^x: x\in\mathbb{R}_{>0}\}$. Given such a weight matrix, the space $\mathcal{A}_{\{\mathcal{M}\}}(S_\gamma)$ is defined as \[ \mathcal{A}_{\{\mathcal{M}\}}(S_\gamma) := \varinjlim_{x\in\mathbb{R}_{>0}} \mathcal{A}_{\{M^x\}}(S_\gamma) \] and, similarly, $\Lambda_{\{\mathcal{M}\}}:=\varinjlim_{x\in\mathbb{R}_{>0}} \Lambda_{\{M^x\}}$. \par In all these cases, the Borel map $\mathcal{B}$ is given by \[ \mathcal{B}: \mathcal{A}_{\{*\}}\to\Lambda_{\{*\}}, \qquad f\mapsto (f^{(p)}(0))_{p\in\mathbb{N}}, \] where $*$ stands for a weight sequence, a weight function or a weight matrix. \par The main results of this paper are concerned with the question of when the Borel map is surjective. More precisely, the authors are interested in a linear and continuous right-inverse of $\mathcal{B}$. Conditions on the weight functions and weight matrices which imply the surjectivity of the Borel map are given. Under these assumptions, a constructive procedure for this right inverse is presented. \par As a tool for these results, they also investigate when the spaces defined by certain weight functions coincide with spaces defined by weight matrices.