Holomorphic mappings associated to composition ideals of polynomials

DOI10.4171/RLM/571MaRDI QIDQ991046zbMATH OpenOpenAlexFDO

Authors G. Botelho, Pilar Rueda, Richard M. Aron, Daniel Pellegrino

Publication date 2 September 2010

Published in Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni (Search for Journal in Brave)

Full work available at URL http://www.ems-ph.org/journals/show_abstract.php?issn=1120-6330&vol=21&iss=3&rank=3

zbMATH Keywords

compact polynomials factorization holomorphic mappings polynomial ideals

Mathematics Subject Classification ID

Infinite-dimensional holomorphy (46G20) (Spaces of) multilinear mappings, polynomials (46G25) Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10) Ideals of polynomials and of multilinear mappings in operator theory (47L22)

Review text

Given a Banach operator ideal \({\mathcal I}\), the composition polynomial ideal \({\mathcal I}\circ {\mathcal P}\) is the collection of homogeneous polynomials \(P\) which can be written as \(P=u\circ Q\), where \(Q\) is a homogeneous polynomial and \(u\) belongs to the Banach ideal \({\mathcal I}\). A holomorphic function \(f: U\to F\) (\(U\) open in a Banach space \(E\)) is said to be associated to \({\mathcal I}\circ {\mathcal P}\) if, for each \(a\) in \(U\), all of its derivatives about \(a\), \({\hat d}^kf(a)\), belong to \({\mathcal I}\circ{\mathcal P}\) and satisfy \(\left\|{\hat d}^kf(a)/k!\right\|_{{\mathcal I}\circ {\mathcal P}}\leq Cc^k\) for some \(C,c\geq 0\), all \(a\) in \(U\) and \(k\) in \({\mathbb N}\). The authors prove that, when \({\mathcal I}\) is a closed surjective ideal, then \(f\) is associated to \({\mathcal I}\circ {\mathcal P}\) if and only if \(f=u\circ g\) with \(g\) holomorphic and \(u\) a bounded linear operator belonging to the ideal \({\mathcal I}\). Moreover, a local factorisation of the form \(f_a=u_a\circ g_a\) or even a factorisation in a neighbourhood of \(0\) of the form \(u\circ g\) is sufficient to guarantee such a global decomposition of \(f\). A counterexample shows that there are bounded holomorphic functions associated with the ideal \({\mathcal K}\circ {\mathcal P}\) which do not admit a factorisation of the form \(u\circ g\) with \(u\) compact and \(g\) bounded. For the ideals of compact and weakly compact operators, the authors prove that, for \(U\) arbitrary open, \(f: U\to F\) of bounded type being associated to \({\mathcal I}\circ {\mathcal P}\) is equivalent to \(f\) having a global (local) factorisation of the form \(u\circ g\). When either \(U\) is absolutely convex or belongs to a separable Banach space, this is also true for arbitrary holomorphic functions and the ideal of compact operators.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Holomorphic mappings associated to composition ideals of polynomials

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