Real analyticity of composition is shy
Abstract
Dahmen and Schmeding have obtained the result that although the smooth Lie group of real analytic diffeomorphisms has a compatible analytic manifold structure, it does not make a real analytic Lie group since the group multiplication is not real analytic. The authors considered this result "surprising" for the applied concept of infinite-dimensional real analyticity for maps , defined by the property that locally a holomorphic extension exist. In this note we show that this type of real analyticity is quite rare for composition maps when is real analytic. Specifically, we show that the smooth Fr\'echet space map for real analytic is real analytic in the above sense only if is the restriction to of some entire function . We also discuss the possibility of proving that the set of these "admissible" functions be "small" in the space of real analytic functions either in the Baire categorical sense, or in the measure theoretic sense of shyness.
Cite
@article{arxiv.1512.04050,
title = {Real analyticity of composition is shy},
author = {Seppo I. Hiltunen},
journal= {arXiv preprint arXiv:1512.04050},
year = {2015}
}
Comments
5 pages, AmS-LaTeX, v2: added Prop. 6: Every inf-dim Silva space is shy in itself