Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



On composite formal power series

Authors: Jacques Chaumat and Anne-Marie Chollet
Journal: Trans. Amer. Math. Soc. 353 (2001), 1691-1703
MSC (2000): Primary 13F25, 13J05, 32A05
Published electronically: January 2, 2001
MathSciNet review: 1806723
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $F$ be a holomorphic map from ${\mathbb{C}}^{n}$ to ${\mathbb{C}}^{n}$ defined in a neighborhood of $0$ such that $F(0)=0$. If the Jacobian determinant of $F$ is not identically zero, P. M. Eakin et G. A. Harris proved the following result: any formal power series such that ${\mathcal{A}}\circ F$ is analytic is itself analytic. If the Jacobian determinant of $F$ is identically zero, they proved that the previous conclusion is no more true.

The authors get similar results in the case of formal power series satifying growth conditions, of Gevrey type for instance. Moreover, the proofs here give, in the analytic case, a control of the radius of convergence of ${\mathcal{A}}$ by the radius of convergence of ${\mathcal{A}}\circ F$.

RÉSUMÉ. Soit $F$ une application holomorphe de ${\mathbb{C}}^{n}$dans ${\mathbb{C}}^{n}$ définie dans un voisinage de $0$ et vérifiant $F(0)=0$. Si le jacobien de $F$ n'est pas identiquement nul au voisinage de $0$, P.M. Eakin et G.A. Harris ont établi le résultat suivant: toute série formelle ${\mathcal{A}}$ telle que ${\mathcal{A}}\circ F$ est analytique est elle-même analytique. Si le jacobien de $F$ est identiquement nul, ils montrent que la conclusion précédente est fausse.

Les auteurs obtiennent des résultats analogues pour les séries formelles à croissance contrôlée, du type Gevrey par exemple. De plus, les preuves données ici permettent, dans le cas analytique, un contrôle du rayon de convergence de ${\mathcal{A}}$ par celui de ${\mathcal{A}}\circ F$.

References [Enhancements On Off] (What's this?)

  • 1. CARTAN H. Calcul Différentiel. Hermann, Paris (1967). MR 36:6243
  • 2. EAKIN P. M. - HARRIS G. A. When $\Phi (f)$ Convergent Implies $f$ is Convergent. Math. Ann. 229 (1977) 201-210. MR 56:3001
  • 3. GABRIELOV A. M. Formal Relations Between Analytic Functions. Math. USSR. Isvestija 7 (1973) 1056-1088. MR 49:10910
  • 4. GLAESER G. Fonctions composées différentiables. Ann. of Math. (2) 77 (1963) 193-209. MR 26:624
  • 5. KLIMEK M. Pluripotential Theory. London Math. Soc. Monographs. Clarendon Press (1991). MR 93h:32021
  • 6. THILLIEZ V. Sur les fonctions composées différentiables. J. Math. Pures et Appl. 76 (1997) 499-524. MR 99e:58018
  • 7. TOUGERON J. C. Idéaux de fonctions différentiables. Springer Verlag (1972). MR 55:13472
  • 8. TOUGERON J. C. Sur les racines d'un polynôme à coefficients séries formelles. Real Analysis and Algebraic Geometry (Trento, 1988), Lecture Notes in Math., vol.1420 (1990), 325-363. MR 91b:32010

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 13F25, 13J05, 32A05

Retrieve articles in all journals with MSC (2000): 13F25, 13J05, 32A05

Additional Information

Jacques Chaumat
Affiliation: U.M.R. C.N.R.S. 8628, Université Paris-Sud, Mathématiques - Bât. 425, 91405 Orsay Cedex, France

Anne-Marie Chollet
Affiliation: U.M.R. C.N.R.S. 8524, Université de Lille, U.F.R. de Mathématique,59655 Villeneuve D’Ascq Cedex, France

Received by editor(s): December 12, 1997
Published electronically: January 2, 2001
Article copyright: © Copyright 2001 American Mathematical Society

American Mathematical Society