A \mathcal{C}^k-Seeley-Extension-Theorem for Bastiani's Differential Calculus

DOI10.4153/S0008414X21000596MaRDI QIDQ6334692arXivFDO

Authors Maximilian Hanusch

Publication date 12 February 2020

Published in arXiv

Full work available at URL https://doi.org/10.4153/S0008414X21000596

Mathematics Subject Classification ID

Calculus of functions on infinite-dimensional spaces (26E15) Calculus of functions taking values in infinite-dimensional spaces (26E20) Spaces of differentiable or holomorphic functions on infinite-dimensional spaces (46E50) Derivatives of functions in infinite-dimensional spaces (46G05) Continuous and differentiable maps in nonlinear functional analysis (46T20) Extension of maps (54C20)

arXiv classification

math.DGmath.FA

Abstract: We generalize a classical extension result by Seeley in the context of Bastiani's differential calculus to infinite dimensions. The construction follows Seeley's original approach, but is significantly more involved as not only $C^k$-maps (for $kinmathbbNcupinfty$) on (subsets of) half spaces are extended, but also continuous extensions of their differentials to some given piece of boundary of the domains under consideration. A further feature of the generalization is that we construct families of extension operators (instead of only one single extension operator) that fulfill certain compatibility (and continuity) conditions. Various applications are discussed as well.

This page was built for publication: A $\mathcal{C}^k$-Seeley-Extension-Theorem for Bastiani's Differential Calculus

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