Absolute Schauder decompositions and linearization of holomorphic mappings of bounded type

DOI10.4171/PRIMS/55-3-6MaRDI QIDQ2329643zbMATH OpenOpenAlexWikidataFDO

Authors G. Botelho, Jorge Mujica, V. V. Fávaro

Publication date 18 October 2019

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4171/prims/55-3-6

zbMATH Keywords

holomorphic mappings of bounded type linearization operator ideals Schauder decompositions

Mathematics Subject Classification ID

Spaces of differentiable or holomorphic functions on infinite-dimensional spaces (46E50) (Spaces of) multilinear mappings, polynomials (46G25) Operator ideals (47L20)

Review text

Let \(\mathcal H_b(U;F)\) be the space of holomorphic functions of bounded type on an open set \(U\) of a Banach space \(E\) with values in a Banach space \(F\). This nice and interesting paper gives an explicit description of the linearization \(T_f\) of a mapping \(f\in \mathcal H_b(E;F)\) by means of the linearization \(T_{\hat d^mf(0)}\) of its derivatives \(\hat d^mf(0)\). In order to do that, the authors give a direct detailed proof of the fact that the preduals \(Q(^mE)\) of spaces of \(m\)-homogeneous polynomials form an \(\mathcal S\)-absolute Schauder decomposition for the predual \(G_b(U)\) of \(\mathcal H_b(U)\) (as mentioned in the paper, this fact could be deduced from [\textit{M.~Venkova}, Math. Scand. 101, No. 1, 65--82 (2007; Zbl 1177.46002)]). The elegant description of the linearization \(T_f\) of \(f\in \mathcal H_b(E;F)\) is as follows: \[ T_f(w)=\sum_{m=0}^\infty \frac{1}{m!} (T_{\hat d^mf(0)}\circ \Pi_m)(w) \] for every \(w\in G_b(E)\), where \(\Pi_m\) is the projection from \(G_b(E)\) to \(Q(^mE)\). Indeed, some situations where the above convergence occurs not only pointwise but also in the strong topology are shown. Another application of the former result on Schauder decomposition for preduals of spaces of holomorphic functions of bounded type is given in the context of closed operator ideals. It is characterized when the identity operator on \(G_b(U)\) belongs to a given closed operator ideal. This general characterization is motivated by the result proved in [\textit{G. Botelho} and \textit{P. Rueda}, Proc. Am. Math. Soc. 137, No. 1, 219--225 (2009; Zbl 1168.46042)] that states that \(G_b(U)\) has the Schur property if and only \(Q(^mE)\) has the Schur property for every \(m\), a fact that can be rephrased by saying that the identity on \(G_b(U)\) belongs to the ideal of completely continuous operators if and only if the identity on \(Q(^mE)\) does as well.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Absolute Schauder decompositions and linearization of holomorphic mappings of bounded type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2329643)