On real analytic functions on closed subanalytic domains

Armin Rainer
DOI: https://doi.org/10.1007/s00013-024-01983-1
2024-04-13
Archiv der Mathematik
Abstract:We show that a function defined on a closed uniformly polynomially cuspidal set X in is real analytic if and only if f is smooth and all its composites with germs of polynomial curves in X are real analytic. The degree of the polynomial curves needed for this is effectively related to the regularity of the boundary of X . For instance, if the boundary of X is locally Lipschitz, then polynomial curves of degree 2 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 X are real analytic; here it is not necessary to assume that f is smooth.
mathematics
What problem does this paper attempt to address?