Soit un corps commutatif. Chercher une série formelle vérifiant conduit naturellement à étudier l’application , étant une unité de l’algèbre , et à ramener les solutions à la forme , étant une suite de vérifiant les “identités multinomiales” :
Après mise à l’écart par des lemmes combinatoires du cas caract (les solutions sont triviales), on caractérise de plusieurs manières les solutions. On peut les faire coïncider avec l’ensemble NW des suites de polynômes (ou séries génératrices associées) vérifiant . L’étude de NW se ramènera à celle du sous-ensemble formé des éléments tels que (ou , ), lequel peut être muni de multiples structures affines ou de groupes qu’on explicitera.
Soit (resp. d) l’application définie sur par (resp. la dérivation); la formule de Taylor s’écrit donc . L’ensemble des endomorphismes de commutant avec d ou (modulo l’extension des scalaires à ) et vérifiant , est canoniquement en bijection avec ; en effet, on prouvera qu’à un tel est associée une base de Jordan appartenant à et pour laquelle (réciproquement, une telle “formule de Taylor” caractérise ou les ). L’ensemble de ces endomorphismes est l’orbite de d dans l’action naturelle du groupe GSF des éléments de inversibles pour la composition. Cette bijection “de Jordan” fait apparaître comme l’orbite de dans l’action (que respecte cette bijection) de GSF sur définie par :. Des lemmes indépendants, d’algèbre linéaire ou de nature combinatoire, fournissent généralisations et interprétations dans divers domaines et des connexions avec des développements récents.
We study the affine structure of a subset generating all the solutions of the functional equation where is any commutative field and belongs to (by combinatorial means, one must assume indeed to get non-trivial solutions). The elements of this subset are the formal power series where the sequence satisfies: and Let define an application in by and let d be the standard derivation. By using these notations, the classical Taylor’s formula can be written: . We shall show that there is a canonical bijection between and the set of endomorphisms of the -space which commute with or d and s.t. . More precisely, for such a , there exists s.t. (reciprocally, this is a “Taylor’s formula” which characterizes or ). The set of these endomorphisms is the orbit under the operation of the group GSF (the group of series with and which are invertible for the composition of the formal power series) on defined by (and ). From several independent lemmas on linear algebra and combinatorial analysis, one get new developments in various domains: heights in several variables, geometry of polynomials ...
@article{AIF_1997__47_1_1_0, author = {Langevin, Michel}, title = {Quelques remarques sur les familles canoniques de polyn\^omes g\'en\'erateurs pour l'exponentielle}, journal = {Annales de l'Institut Fourier}, pages = {1--48}, publisher = {Association des Annales de l{\textquoteright}institut Fourier}, volume = {47}, number = {1}, year = {1997}, doi = {10.5802/aif.1558}, mrnumber = {98d:11028}, zbl = {0865.39006}, language = {fr}, url = {http://www.numdam.org/articles/10.5802/aif.1558/} }
TY - JOUR AU - Langevin, Michel TI - Quelques remarques sur les familles canoniques de polynômes générateurs pour l'exponentielle JO - Annales de l'Institut Fourier PY - 1997 SP - 1 EP - 48 VL - 47 IS - 1 PB - Association des Annales de l’institut Fourier UR - http://www.numdam.org/articles/10.5802/aif.1558/ DO - 10.5802/aif.1558 LA - fr ID - AIF_1997__47_1_1_0 ER -
%0 Journal Article %A Langevin, Michel %T Quelques remarques sur les familles canoniques de polynômes générateurs pour l'exponentielle %J Annales de l'Institut Fourier %D 1997 %P 1-48 %V 47 %N 1 %I Association des Annales de l’institut Fourier %U http://www.numdam.org/articles/10.5802/aif.1558/ %R 10.5802/aif.1558 %G fr %F AIF_1997__47_1_1_0
Langevin, Michel. Quelques remarques sur les familles canoniques de polynômes générateurs pour l'exponentielle. Annales de l'Institut Fourier, Tome 47 (1997) no. 1, pp. 1-48. doi : 10.5802/aif.1558. http://www.numdam.org/articles/10.5802/aif.1558/
[BBEM] Products of polynomials in many variables, J. Number Th., 36, n° 2 (1990), 219-245. | MR | Zbl
, , , ,[BG] Solutions entières d'un système d'équations aux différences, Ann. Inst. Fourier, 43, n° 3 (1993), 791-814. | Numdam | MR | Zbl
, ,[FL] Riemann-Roch Algebra, Springer-Verlag, 1985. | MR | Zbl
, ,[H] Applied and Computational Complex Analysis, Tome 1, Wiley & Sons, 1974. | MR | Zbl
,[L1] Polynômes et convexité sur la sphère de Riemann, dans "Cinquante ans de polynômes", Proceedings Paris, 1988 ; M. Langevin et M. Waldschmidt éd., Lecture Notes n° 1415, Springer-Verlag (1990), 138-159. | Zbl
,[L2] Du théorème de Bernstein au théorème de Walsh, Sém. de théorie des nombres de Paris 91/92, Prog. in Math., Birkhäuser (1993), 73-88. | Zbl
,[L3] Convexité sur la sphère de Riemann, C. R. Acad. Sci. Paris, 310, Sér. I (1990), 37-40. | MR | Zbl
,[L4] Géométrie autour d'un théorème de Bernstein, Sém. de théorie des nombres de Paris 82/83, Prog. in Math., Birkhäuser (1984), 143-160. | MR | Zbl
,[R] Topics in Analytic Number Theory, Springer-Verlag, 1973. | MR | Zbl
,Cité par Sources :