On restricted analytic gradients on analytic isolated surface singularities (Q2434369)

From the authors' summary: Let \((X,\mathbf{0})\) be a real analytic isolated surface singularity at the origin \(\mathbf{0}\) of \(\mathbb{R}^n\) and let \(g\) be a real analytic Riemannian metric at \(\mathbf{0}\in\mathbb{R}^n\). Given a real analytic function \(f_{\mathbf{0}}:(\mathbb{R}^n, \mathbf{0})\to(\mathbb{R}, \text\textbf{0})\) singular at \(\mathbf{0}\), it is proved that the gradient trajectories for the metric \(g|_{X\setminus\mathbf{0}}\) of the restriction \((f_{\mathbf{0}}|_X)\) escaping from or ending up at \(\mathbf{0}\) do not oscillate. Such a trajectory is thus a sub-Pfaffian set. Moreover, in each connected component of \(X\setminus\mathbf{0}\) where the restricted gradient does not vanish, there is always a trajectory accumulating at \(\mathbf{0}\) and admitting a formal asymptotic expansion at \(\mathbf{0}\).