On real analytic functions on closed subanalytic domains
Classical Analysis and ODEs
2023-11-07 v1 Algebraic Geometry
Differential Geometry
Abstract
We show that a function defined on a closed uniformly polynomially cuspidal set in is real analytic if and only if is smooth and all its composites with germs of polynomial curves in are real analytic. The degree of the polynomial curves needed for this is effectively related to the regularity of the boundary of . For instance, if the boundary of is locally Lipschitz, then polynomial curves of degree suffice. In this Lipschitz case, we also prove that a function is real analytic if and only if all its composites with germs of quadratic polynomial maps in two variables with images in are real analytic; here it is not necessary to assume that is smooth.
Cite
@article{arxiv.2311.03014,
title = {On real analytic functions on closed subanalytic domains},
author = {Armin Rainer},
journal= {arXiv preprint arXiv:2311.03014},
year = {2023}
}
Comments
10 pages