On the existence and uniqueness of locally analytic invertible solutions of a system of nonlinear functional equations (Q1860380)

This paper is concerned with the existence and uniqueness solution of the nonlinear functional equation \[ w\bigl(\Phi (x)\bigr)= \Psi\bigl (w(x), h(x)\bigr),\;w(0)=0, \quad\text{for }x \in\mathbb{R}^n,\tag{1} \] where \(w: \mathbb{R}^n\to \mathbb{R}^n\), \(\Phi:\mathbb{R}^n \to\mathbb{R}\), \(\Psi:\mathbb{R}^n \times\mathbb{R} \to \mathbb{R}\), are real analytic vector functions. Result: Let \(w,\Psi\) satisfy (1). Let \(k_i\) \((i=1\) to \(n)\) be the eigenvalues of the matrix \(F={\partial \Phi \over\partial x}|_0\) and \(\lambda_i\) \((i=1\) to \(n)\) the eigenvalues of \(A= {\partial \Psi\over \partial x}|_{(0,0)}\). If \(\prod^n_{i=1} k_i^{m_i}\neq \lambda_j\) \((j=1\) to \(n)\) for any \(m_i\) of non negative integers that satisfy \(\sum^n_{i=1} m_i>0\), then the system (1) admits a unique formal power series solution \(w(x)\).