English

Real analyticity of composition is shy

Functional Analysis 2015-12-21 v2

Abstract

Dahmen and Schmeding have obtained the result that although the smooth Lie group GG of real analytic diffeomorphisms S1.S1.\mathbb S^{\,1.}\to\mathbb S^{\,1.} has a compatible analytic manifold structure, it does not make GG 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 EFE\to F, defined by the property that locally a holomorphic extension ECFCE_{\mathbb C}\to F_{\mathbb C} exist. In this note we show that this type of real analyticity is quite rare for composition maps fφ:xφx{\rm f\,}\varphi:x\mapsto\varphi\circ x when φ\varphi is real analytic. Specifically, we show that the smooth Fr\'echet space map fφ:C(R)C(R){\rm f\,}\varphi:C\,(\mathbb R)\to C\,(\mathbb R) for real analytic φ:RR\varphi:\mathbb R\to\mathbb R is real analytic in the above sense only if φ\varphi is the restriction to R\mathbb R of some entire function CC\mathbb C\to\mathbb C. We also discuss the possibility of proving that the set of these "admissible" functions φ\varphi be "small" in the space A(R)A\,(\mathbb R) of real analytic functions either in the Baire categorical sense, or in the measure theoretic sense of shyness.

Keywords

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

R2 v1 2026-06-22T12:08:23.969Z