On composite formal power series
HTML articles powered by AMS MathViewer
- by Jacques Chaumat and Anne-Marie Chollet PDF
- Trans. Amer. Math. Soc. 353 (2001), 1691-1703 Request permission
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
- Henri Cartan, Calcul différentiel, Hermann, Paris, 1967 (French). MR 0223194
- Paul M. Eakin and Gary A. Harris, When $F(f)$ convergent implies $f$ is convergent, Math. Ann. 229 (1977), no. 3, 201–210. MR 444651, DOI 10.1007/BF01391465
- A. M. Gabrièlov, Formal relations among analytic functions, Izv. Akad. Nauk SSSR Ser. Mat. 37 (1973), 1056–1090 (Russian). MR 0346184
- Georges Glaeser, Fonctions composées différentiables, Ann. of Math. (2) 77 (1963), 193–209 (French). MR 143058, DOI 10.2307/1970204
- Maciej Klimek, Pluripotential theory, London Mathematical Society Monographs. New Series, vol. 6, The Clarendon Press, Oxford University Press, New York, 1991. Oxford Science Publications. MR 1150978
- Lawrence M. Graves, The Weierstrass condition for multiple integral variation problems, Duke Math. J. 5 (1939), 656–660. MR 99
- Jean-Claude Tougeron, Idéaux de fonctions différentiables, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 71, Springer-Verlag, Berlin-New York, 1972. MR 0440598
- Jean-Claude Tougeron, Sur les racines d’un polynôme à coefficients séries formelles, Real analytic and algebraic geometry (Trento, 1988) Lecture Notes in Math., vol. 1420, Springer, Berlin, 1990, pp. 325–363 (French). MR 1051220, DOI 10.1007/BFb0083927
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
- Email: jacques.chaumat@math.u-psud.fr
- 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
- Email: chollet@aglae.univ-lille1.fr
- Received by editor(s): December 12, 1997
- Published electronically: January 2, 2001
- © Copyright 2001 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 353 (2001), 1691-1703
- MSC (2000): Primary 13F25, 13J05, 32A05
- DOI: https://doi.org/10.1090/S0002-9947-01-02733-7
- MathSciNet review: 1806723