错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On real analytic functions on closed subanalytic domains

  • Armin Rainer

摘要

We show that a function \(f: X \rightarrow {\mathbb {R}}\) f : X R defined on a closed uniformly polynomially cuspidal set X in \({\mathbb {R}}^n\) R n 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 \(f: X \rightarrow {\mathbb {R}}\) f : X R 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.