English

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 f:XRf : X \to \mathbb R defined on a closed uniformly polynomially cuspidal set XX in Rn\mathbb R^n is real analytic if and only if ff is smooth and all its composites with germs of polynomial curves in XX are real analytic. The degree of the polynomial curves needed for this is effectively related to the regularity of the boundary of XX. For instance, if the boundary of XX is locally Lipschitz, then polynomial curves of degree 22 suffice. In this Lipschitz case, we also prove that a function f:XRf : X \to \mathbb R is real analytic if and only if all its composites with germs of quadratic polynomial maps in two variables with images in XX are real analytic; here it is not necessary to assume that ff is smooth.

Keywords

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

R2 v1 2026-06-28T13:12:32.849Z