Division par un polynôme hyperbolique
Canadian journal of mathematics, Tome 56 (2004) no. 6, pp. 1121-1144

Voir la notice de l'article provenant de la source Cambridge University Press

On se donne un intervalle ouvert non vide $\omega $ de $\mathbb{R}$ , un ouvert connexe non vide $\Omega $ de ${{\mathbb{R}}_{5}}$ et unpolynôme unitaire $${{P}_{m}}\left( z,\text{ }\!\!\lambda\!\!\text{ } \right)={{z}^{m}}+{{a}_{1}}\left( \text{ }\!\!\lambda\!\!\text{ } \right){{z}^{m-1}}=+\cdot \cdot \cdot +{{a}_{m-1}}\left( \text{ }\!\!\lambda\!\!\text{ } \right)z+{{a}_{m}}\left( \text{ }\!\!\lambda\!\!\text{ } \right)$$ de degré $m>0$ , dépendant du paramètre $\lambda \in \Omega $ . Un tel polynôme est dit $\omega $ -hyperbolique si, pour tout $\lambda \in \Omega $ , ses racines sont réelles et appartiennent à $\omega $ .On suppose que les fonctions ${{a}_{k}},k=1,\cdot \cdot \cdot ,m$ , appartiennent à une classe ultradifférentiable ${{C}_{M}}\left( \Omega\right)$ . On s‘intéresse au problème suivant. Soit $f$ appartient à ${{C}_{M}}\left( \Omega\right)$ , existe-t-il des fonctions ${{Q}_{f}}$ et ${{R}_{f,k}},k=0,\cdot \cdot \cdot ,m-1$ , appartenant respectivement à ${{C}_{M}}\left( \omega \,\times \,\Omega\right)$ et à ${{C}_{M}}\left( \Omega\right)$ , telles que l’on ait, pour $\left( x,\,\lambda\right)\,\in \,\omega \,\times \,\Omega$ , $$f\left( x \right)={{P}_{m}}\left( x,\text{ }\!\!\lambda\!\!\text{ } \right){{Q}_{f}}\left( x,\text{ }\!\!\lambda\!\!\text{ } \right)+\sum\limits_{k=0}^{m-1}{{{x}^{k}}{{R}_{f,k}}\left( \text{ }\!\!\lambda\!\!\text{ } \right)?}$$ On donne ici une réponse positive dès que le polynôme est $\omega$ -hyperbolique, que la class untradifférentiable soit quasi-analytique ou non ; on obtient alors, des exemples d’idéaux fermés dans ${{C}_{M}}\left( {{\mathbb{R}}^{n}} \right)$ . On complète ce travail par une généralisation d’un résultat de C. L. Childress dans le cadre quasi-analytique et quelques remarques.
DOI : 10.4153/CJM-2004-050-1
Mots-clés : 26E10, 46E25, 46J20
Chaumatet, Jacques; Chollet, Anne-Marie. Division par un polynôme hyperbolique. Canadian journal of mathematics, Tome 56 (2004) no. 6, pp. 1121-1144. doi: 10.4153/CJM-2004-050-1
@article{10_4153_CJM_2004_050_1,
     author = {Chaumatet, Jacques and Chollet, Anne-Marie},
     title = {Division par un polyn\^ome hyperbolique},
     journal = {Canadian journal of mathematics},
     pages = {1121--1144},
     year = {2004},
     volume = {56},
     number = {6},
     doi = {10.4153/CJM-2004-050-1},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-2004-050-1/}
}
TY  - JOUR
AU  - Chaumatet, Jacques
AU  - Chollet, Anne-Marie
TI  - Division par un polynôme hyperbolique
JO  - Canadian journal of mathematics
PY  - 2004
SP  - 1121
EP  - 1144
VL  - 56
IS  - 6
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-2004-050-1/
DO  - 10.4153/CJM-2004-050-1
ID  - 10_4153_CJM_2004_050_1
ER  - 
%0 Journal Article
%A Chaumatet, Jacques
%A Chollet, Anne-Marie
%T Division par un polynôme hyperbolique
%J Canadian journal of mathematics
%D 2004
%P 1121-1144
%V 56
%N 6
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-2004-050-1/
%R 10.4153/CJM-2004-050-1
%F 10_4153_CJM_2004_050_1

[1] [1] Alekseevsky, D., Kriegl, A., Michor, P.W. and Losik, M., Choosing roots of polynomials smoothly. Israel J. Math. 105(1998), 203–233. Google Scholar

[2] [2] Bronshtein, M.D., Smoothness of roots of polynomials depending on parameters. Siberian J. Math. 20(1979), 347–352. Google Scholar

[3] [3] Bronshtein, M.D., Division with remainder in spaces of smooth functions. Trans. Moscow Math. Soc. (1990), 109–138. Google Scholar

[4] [4] Chaumat, J. et Chollet, A.M., Surjectivité de l’application restriction à un compact dans des classes de fonctions ultradifférentiables. Math. Ann. 298(1994), 7–40. Google Scholar

[5] [5] Chaumat, J., Sur le théorème de division de Weierstrass. Studia Math. 116(1995), 59–84 Google Scholar

[6] [6] Chaumat, J., Caractérisation des anneaux noethériens de séries formelles à croissance contrôlées. Application à la synthèse spectrale. Publicationes Mat. 41(1997), 545–561. Google Scholar

[7] [7] Childress, C.L., Weierstrass division in quasianalytic local rings. Can. J. Math. 28(1976), 938–953. Google Scholar

[8] [8] Dynkin, E.M., Pseudoanalytic extension of smooth functions. The uniform scale. Amer. Math. Soc. Trans. 115(1980), 33–58. Google Scholar

[9] [9] Hörmander, L., The analysis of linear partial differential operators I. 2ième édition, Springer-Verlag, Berlin, 1989. Google Scholar

[10] [10] Malgrange, B., Ideals of differentiable functions. Oxford, Oxford Université Press, 1966. Google Scholar

[11] [11] Petzsche, H.J., On E. Borel's theorem. Math. Ann. 63(1988), 71–88. Google Scholar

[12] [12] Thilliez, V., On closed ideals in smooth classes. Math. Nachr. 227(2001), 143–157. Google Scholar

[13] [13] Thilliez, V., A sharp division estimate for ultradifferentiable germs. Pac. J. Math. 205(2002), 337–256. Google Scholar

[14] [14] Thilliez, V., Bounds for quotients in rings of formal power series with growth constraints. Studia Math. 151(2002), 49–65. Google Scholar

[15] [15] Tougeron, J.C., Idéaux de fonctions différentiables. Springer-Verlag, Berlin, 1972. Google Scholar

[16] [16] Wakabayashi, S., Remarks on hyperbolic polynomials. Tsukuba J. Math. 10(1986), 17–28. Google Scholar

[17] [17] Alekseevsky, D., Kriegl, A., Michor, P.W. et Losik, M., Choosing roots of polynomials smoothly, II. Israel J. Math. 139(2003), 183–188. Google Scholar

Cité par Sources :