Systèmes récursifs et algèbre de Hadamard de suites récurrentes

Laboratoire d’Arithmétique, de Calcul formel et d’Optimisation
ESA - CNRS 6090
Systèmes récursifs et algèbre de Hadamard
de suites récurrentes linéaires sur des anneaux commutatifs
Abdelkader Necer
Rapport de recherche n° 1998-04
Université de Limoges, 123 avenue Albert Thomas, 87060 Limoges Cedex
Tél. 05 55 45 73 23 - Fax. 05 55 45 73 22 - [email protected]
http://www.unilim.fr/laco/
Syst`emes r´ecursifs et alg`ebre de Hadamard de suites
ecurrentes lin´eaires sur des anneaux commutatifs
Abdelkader Necer
esum´e
En r´eponse `a une question de V. E. Hoggat, Jr.,B´
ela Zay montre que les solutions d’un
syst`eme r´ecursif homog`ene sur R, sont des suites r´ecurrentes lin´eaires. Nous nous proposons
d’´etendre son r´esultat `a des syst`emes r´ecursifs (homog`enes ou non) sur des modules sur des
anneaux commutatifs. Nous appliquerons le th´eor`eme principal pour ´etablir quelques propri´et´es
de suites r´ecurrentes lin´eaires sur des modules et alg`ebres. Nous red´emontrons, en particulier,
un r´esultat r´ecent dˆu`a U. Cerruti et F. Vaccarino, et qui affirme que le produit de Hadamard
de deux suites r´ecurrentes lin´eaires sur un anneau commutatif est encore une suite r´ecurrente
lin´eaire.
1 Introduction
Soit rN.Dans toute la suite Iesigne l’ensemble {1,...,r}et m1,...,m
rsont des entiers
rationnels strictement positifs. Soit Uj=(uj
n)n0,(jI), une famille de suites de nombres
eels de termes initiaux uj
0,...,u
j
mj1,(jI). Soit ci,j,l ((i, j)I2;0lmj)desnombres
eels. On suppose que les suites U1,...,Urerifient, pour tout nN,lesyst`eme d’´equations :
m1
X
l=0
c1,1,lu1
n+l+··· +
mr
X
l=0
c1,r,lur
n+l=0,
m1
X
l=0
c2,1,lu1
n+l+··· +
mr
X
l=0
c2,r,lur
n+l=0,
.
.
..
.
..
.
.
m1
X
l=0
cr,1,lu1
n+l+··· +
mr
X
l=0
cr,r,lur
n+l=0,
(1)
1991 Mathematics Subject Classification : 11B83, 11C20,13C99
Facult´e des Sciences. Math´ematiques. 123, av. A. Thomas 87060 Limoges Cedex.
1
et que
det ci,j,mj1i,jr6=0.(2)
Dans [9] ela Zay d´emontre que les suites U1,...,Ursont des suites r´ecurrentes lin´eaires
eelles et ont toutes le mˆeme polynˆome caract´eristique. Dans ce qui suit nous g´en´eralisons ce
esultat au cas o`u les suites sont dans un module sur un anneau commutatif unitaire. Ce qui
permet d’obtenir, par une m´ethode ´el´ementaire, le esultat ´etabli par U. Cerruti et F. Vaccarino
dans ([3]), sur la stabilit´e du produit de Hadamard de deux suites r´ecurrentes lin´eaires sur un
anneau commutatif unitaire. Une autre application de ce r´esultat consiste `a montrer que les
ecimations de suites r´ecurrentes lin´eaires sont ´galement des suites r´ecurrentes lin´eaires.
Mais auparavent, signalons que, sur un corps commutatif K, le passage des suites `aleurss´eries
en´eratrices permet de donner une autre d´emonstration du r´esultat de ela Zay. Rappelons
rapidement que si U=(un)n0est un ´el´ement de KNet si U(X) est sa s´erie g´en´eratrice dans
K[[X]], alors, pour lN,las´erie g´en´eratrice V(X)delasuiteV=(un+l)n0, translat´ee de
U, est donn´ee par :
XlV(X)=U(X)
l1
X
i=0
uiXi.
En injectant toutes les s´eries g´en´eratrices de U1,...,Uret de leurs translat´ees dans (1) on
obtient un syst`eme lin´eaire de r´equations `acoecientsdansK[X]. Les solutions de ce syst`eme
sont alors des fractions rationnelles. Ce qui signifie que les suites U1,...,Ursont des suites
ecurrentes lin´eaires.
2 Suites r´ecurrentes lin´eaires sur un module
La th´eorie des suites r´ecurrentes lin´eaires sur des modules est tr`es riche et relativement r´ecente.
On pourra consulter le travail de Kurakin et al. (voir [9]) pour `a la fois un historique et un
expos´e complet du sujet. Dans cette section nous nous contenterons de rappeler les ´el´ements
dont nous aurons besoin dans la suite.
Soit Aun anneau commutatif unitaire d’´el´ement neutre 1. Le groupe des ´el´ements inversibles
de Asera not´eU(A) ou tout simplement U.DanslasuiteMesignera un module sur A.
Soit S(M) l’ensemble des suites `a valeurs dans M.Uel´ement Ude S(M)seranot´e(un)n0.
Soit B=A[X] l’alg`ebre des polynˆomes sur A.PourdN,
p(X)=
d
X
i=0
piXiB, U =(un)S,
et pour tout nN,onpose
(p(X)u)n=
d
X
i=0
piun+i.
2
Muni de l’addition usuelle des suites et de cette multiplication par les scalaires, S(M) est alors
un B-module.
Soit US.Ond´esigne par Iul’id´eal annulateur de Udans B. i.e.,
Iu={pB;pU =0}.
efinitions
Soit US.OnditqueUest une suite r´ecurrente lin´eaire (sur M)siIucontient un polynˆome
unitaire.
L’id´eal Iuest alors appel´eid´eal caract´eristique de Uet les polynˆomes unitaires de Iudes po-
lynˆomes caract´eristiques de U.
Soit dle degr´e minimal des polynˆomes unitaires de Iu.OnditquelasuiteUest de longueur
d.
Remarques
1- Soit U=(un)n0une suite `a valeurs dans M.SilasuiteUest r´ecurrente lin´eaire alors
l’id´eal Iuest cofini : le quotient de Bpar Iuest un A-module de type fini. Inversement si Iu
est cofini alors la suite Uest une suite r´ecurrente lin´eaire. En effet, supposons que B/Iuest
engendr´eparg1+Iu,...,g
s+Iuo`usNte g1,...,g
ssont dans B.Soitd=max
1sdeg(gi). la
famille (Xi+Iu)0idest alors une famille g´en´eratrice de B/Iuet par cons´equent, pour nd,
il existe a0,...,a
ddans Atels que :
Xn+Iu=
d
X
j=0
aj(Xj+Iu).
Ce qui signifie que le polynˆome unitaire XnPd
j=0 ajXjest dans Iu.
2- Si on suppose que Aest un corps et que M=A, on retrouve la d´efinition classique des
suites r´ecurrentes lin´eaires sur des corps commutatifs (voir [8]).
3- Contrairement au cas o`uAest un corps, une suite r´ecurrente lin´eaire sur Mpeut poss´eder
plusieurs polynˆomes minimaux unitaires. Voir [9] pour des exemples.
4- L’ensemble, qu’on notera SR(M), des suites r´ecurrentes lin´eaires sur Mest un sous B-
module de S(M).
Soit q(X)A[X]unpolynˆome unitaire. L’ensemble des suites ecurrentes lin´eaires sur Mde
polynˆome caraceristique q(X) est aussi un B-module.
3
1 / 16 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !