Flatness of differentiable functions along a subset of a real analytic set (Q698324)

Fix \(A\subseteq \mathbb{R}^n\) and \(x\in\partial A\). Let \(f\) be a \(C^\infty\) real function defined in a neighborhood of \(x\). When is the Taylor expansion of \(f\) at \(x\) determined by its values on \(A\)? The order \(\text{ord}_x(f)\) of \(f\) at \(x\) is the minimal order of a non-vanishing partial derivative of \(f\) at \(x\); \(f\) is weakly \(r\)-flat along \(A\) if \[ \lim_{y\in A,y\to x} {f(y)\over\|y- x\|^r}= 0. \] The maximal such \(r\) is the order \(\mu_A(f)\) of weak flatness of \(f\) along \(A\). Let \(S^{\omega}_{A,x}(k)\) be the minimal integer \(s\) such that for any real analytic \(f\) if \(\mu_A(f)> s\), then \(\text{ord}_x(f)> k\). Here the author introduces and studies the function \(S^\omega_{A,x}(k)\). He shows that if \(S^\omega_{A\cup B,x}(k)\) is majorized by a linear function, then either \(S^\omega_{A,x}(k)\) or \(S^\omega_{B,x}(k)\) has the same property. He proves the existence of a countable \(A\) such that \(S^\omega_{A,x}(k)= k\) for every \(k\). He gives a similar definition and study for subsets \(A\) of closed analytic subsets of a Euclidean space and proves the following result. Theorem. Let \(X\subseteq \mathbb{R}^n\) (resp. \(Y\subseteq \mathbb{R}^m\)) be analytic subsets irreducible at \(x\) (resp. \(y\)) and \(A\subseteq X\) a closed subset. Let \(\Phi: X\to Y\) be an analytic mapping with \(\Phi(x)= y\) and full topological rank. Then there exists \(a> 0\) such that \(aS^\omega_{\Phi(A),y}(k)\leq S^\omega_{A,x}(ak)\).