The Lagrange inversion formula on non-Archimedean fields. Non-analytical form of differential and finite difference equations (Q1395981)

In this interesting paper, the classical Lagrange inversion formula is extended to analytic and non-analytic inversion problems on non-Archimedean fields. Let \(k\) be a field of characteristic zero, complete with respect to a nontrivial absolute value \(|\cdot |\) and \(k'\) denote its residue field. When \(k=\mathbb{R}\) or \(\mathbb{C}\), the classical Lagrange inversion formula says that if \(G\) is an analytic function in a neighborhood of \(w\in k\), then the equation \(h=uG(h)+w\) solved with respect to \(h\), has a unique analytic solution \(h=H(u,w)\). The author generalizes this classical problem as follows. Let \((k,|\cdot|)\) be a non-Archimedean field of characteristic zero. For \(n\in \mathbb{N}\), let \(k^n\) be an \(n\)-dimensional vector space and let \(G:k^n\to k^{n\times 1}\) be a function. For given \(w\in k^n\), \(u\in k^1\), we consider the following problem: Solve with respect to \(h\in k^n\) the multidimensional non-analytic Lagrange inversion problem (1) \(h=\Lambda[w+G(h)).u]\), where \(\Lambda\) is a \(k^n\)-additive \(k'\)-linear, nonexpanding operator. The author proves the existence of a solution of (1) using trees. Two important applications of these results are investigated, especially linearization problems for germs of diffeomorphisms (Siegel center problems) and the linearization of vector fields near a singular point. Each of these problems is reduced to a generalized Lagrange inversion formula on some appropriate setting.