One-dimensional center manifolds are \(C^{\infty{}}\) (Q1193210)

Given an analytic system of differential equations in standard form: (1) \(\dot x=f(x,y)\), \(\dot y=Ay+g(x,y)\), where \(x\in\mathbb{R}\), \(y\in\mathbb{R}^ n\), \(f(0,0)=0\), \(Df(0,0)=0\), \(g(0,0)=0\), \(Dg(0,0)=0\), and \(A\) is a hyperbolic \((n\times n)\)-matrix. It is well-known that (1) has a local one- dimensional center manifold (2) \(y=\gamma(x)\), \(\gamma(0)=\gamma'(0)=0\), which, for any given \(k\in\mathbb{N}\), is of class \(C^ k\) when restricted to some \(k\)-dependent neighborhood of \(x=0\). The author proves that any such local center manifold (2) of (1) is indeed an analytic curve consisting of equilibria or it is a curve of class \(C^ \infty\). The essential step in the proof of this interesting result is to show that the function \(\varphi(x):=f(x,\gamma(x))\) has an isolated zero at \(x=0\) or vanishes identically in a neighborhood of \(x=0\).