1 Structure de contact et équations aux dérivées partielles d'après V. V. Lychagin
We consider a nonlinear Laplace equation Δu = f(x,u) in two variables. Following the methods of B. Braaksma [Br] and J. Ecalle used for some nonlinear ordinary differential equations we construct first a formal power series solution and then we prove the convergence of the series in the same class as the function f in x.
The following theorem is the main result of the paper: Let X be a complex Banach space and T belong to L(X). Suppose that 0 lies at the unbounded component of the set of those l such that lI - T is a Fredholm operator. Let Y be a dense subspace of the dual space X' and S be a closed operator from Y to X such that T'(Y) is contained in Y and TSy = ST'y for every y belonging to Y. Then for every vector x belonging to X', T'x belongs to Y if and only if x belongs to Y.