Electronic Journal of Linear Algebra
.+3,% ELA Volume 9 (2002) 02)#+%

Deux modeles pour les operateurs de contraction
Berrabah Bendoukha
"%- "%00!"!(6!(..&0
.++.42()1!-$!$$)2).-!+4.0*1!2 (9/0%/.1)2.06346.%$3%+!
8)102)#+%)1"0.3'(22.6.3&.0&0%%!-$./%-!##%11"66.,)-'#(.+!01%/.1)2.062(!1"%%-!##%/2%$&.0)-#+31).-)-+%#20.-)#.30-!+.&
)-%!0+'%"0!"6!-!32(.0)7%$!$,)-)120!2.0.&6.,)-'#(.+!01%/.1)2.06.0,.0%)-&.0,!2).-/+%!1%#.-2!#2 1#(.+#.,346.%$3
%#.,,%-$%$)2!2).-
%-$.3*(!%00!"!(%35,.$%+%1/.30+%1./%0!2%301$%#.-20!#2).- Electronic Journal of Linear Algebra.+3,%
 (9/$5$.).0'
ELA
DEUX MODELES POUR LES OPERATEURS DE CONTRACTION
BERRABAH BENDOUKHA
Abstract. In this work, we propose two models for contractions defined in finite dimensional
Hilbert spaces. These models called matricial and universal, respectively, are constructed using the
spectra and allow one to find all the contractions studied up to unitary equivalence.
esum´e. Dans ce travail, nous proposons deux mod`eles d’op´erateurs pour de larges classes de
contractions d´efinies dans des espaces de Hilbert de dimension finie. Ces mod`eles respectivement
appel´es matriciel et universel s’expriment `a l’aide du spectre et permettent de retrouver toutes les
contractions ´etudi´ees `a une ´equivalence unitaire pr`es.
Key words. Contraction simple, Unitairement ´equivalent, Noeud unitaire, Mod`ele matriciel,
Mod`ele universel.
AMS subject classifications. 47A45, 15A21
1. Introduction. On appelle mod`ele d’un op´erateur lin´eaire Atout op´erateur
lin´eaire Btel que A=U1BU,o`uUest une transformation lin´eaire inversible.
Parmi les mod`eles classiques, on peut citer le mod`eledeJordan[6]: SiAL(E),
dim E+,ilexistealorsunmod`ele unique Bde la forme B=(λ1I+S1)
··· ⊕ (λnI+Sn), o`u l’ensemble des complexes {λi}n
i=1 coincide avec le spectre de
A,Si(i=1,...,n)op´erateurs de translation nilpotents dans Cn.Lemod`ele B
d’un op´erateur Adevient math´ematiquement int´eressant s’il peut ˆetre donn´ede
mani`ere explicite (dans un des espaces couramment utilis´es) `a partir d’un minimum
d’informations sur A.
Dans le pr´esent travail, on consid`ere une classe de contractions donn´ees dans un
espace de Hilbert de dimension finie (comme cela sera mentionn´e`alafin,lesr´esultats
obtenus s’´etendent assez ais´ement `a certaines classes de contractions d´efinies dans
des espaces de Hilbert s´eparables de dimension infinie). Pour chaque contraction de
cette classe, nous construirons deux mod`eles. Le premier, dit mod`ele matriciel agit
dans l’espace des matrices carr´ees et utilise dans sa construction la notion de fonc-
tion caract´eristique d’un noeud unitaire [4]. Nous ´etablirons ainsi que chacune des
contractions de la classe ´etudi´ee poss`ede un mod`ele matriciel auquel elle est unitaire-
ment ´equivalente. Le deuxi`eme mod`ele (dit mod`ele universel) s’exprime uniquement
`a l’aide du spectre et agit dans une somme orthogonale de rexemplaires de l’espace
Cn.Cemod`ele est le mˆeme pour toute la classe ´etudi´ee. Son universalit´e[9],d´ecoule
du fait que toute contraction de la classe consid´er´ee est unitairement ´equivalente `a
la restriction de ce mod`ele `a un sous espace invariant. Dans le cas o`u le sous espace
de non unitarit´edeAest de dimension 1,les deux mod`eles co¨ıncident. Dans ce cas,
les contractions ´etudi´ees sont parfaitement d´efinies par leur spectre. Parmi les autres
mod`eles existants, on peut citer les mod`eles fonctionnels de Nagy B´ela et Foias [8]
Received by the editors on 23 November 2001. Accepted for publication on 13 August 2002.
Handling editor: Stephen Kirkland.
Department of Mathematics, Mostaganem University, Mostaganem (27000), Algeria
(ben berrabah@yahoo.fr).
171
The Electronic Journal of Linear Algebra ISSN 1081-3810
A publication of the International Linear Algebra Society
Volume 9, pp. 171-189, September 2002
http://math.technion.ac.il/iic/ela
ELA
172 Berrabah Bendoukha
et de Brodskii [4]. Ces mod`eles s’expriment tous deux `a l’aide de la fonction car-
act´eristique et agissent dans des espaces fonctionnels construits `a partir des classes de
Hardy. Signalons aussi que dans le cas o`u la contraction A(d´efinie dans un espacede
Hilbert abstrait de dimension infinie) ne poss`ede pas de valeurs propres, des mod`eles
universels furent construits dans [1] ,[2].
Le pr´esent travail comporte une introduction et quatre sections. Dans la sec-
ond section, nous exposons les principaux r´esultats relatifs `alath´eorie des noeuds
unitaires d’op´erateurs qui constitue l’outil math´ematique fondamental utilis´epour
l’obtention de nos mod`eles. Cette th´eorie est apparue au milieu des ann´ees 70 du
dernier si`ecle comme analogue naturel de la th´eorie des noeuds non hermitiens qui
s’est par la suite av´er´ee bien adapt´ee `al´etude des op´erateurs dits presque hermi-
tiens [3,7]. D’autre part, elle est apparue comme g´en´eralisation des r´esultats de [8].
Dans la troisi`eme section, nous construisons le mod`ele matriciel, nous en ´etablissons
les principales propri´et´es et puis nous d´emontrons le th´eor`eme d’´equivalence unitaire
relatif au mod`ele matriciel. La quatri`eme section est consacr´e`alaconstructionainsi
qu’`al´etude du mod`ele universel. Dans la cinqui`eme et dernier section, nous donnons
quelques g´en´eralisations possibles des esultats obtenus au cas non inversible et au cas
des contractions d´efinies dans des espaces de Hilbert eparables de dimension infinie
et dont les valeurs propres v´erifient la condition
+
k=1
(1 −|λk|)+. Dans tout ce
travail et sauf indication contraire, les espaces consid´er´es sont des espaces de Hilbert
de dimension finie.
2. R´esultats pr´eliminaires. Dans ce section, nous exposons les principaux
esultats relatifs `alath´eorie des noeuds unitaires.
D´
efinition 2.1. Une contraction TL(E) est dite simple (on dit aussi totale-
ment non unitaire) si dans E, il n’existe aucun sous espace invariant pour Tet Tet
dans lequel Tinduit un op´erateur unitaire.
Proposition 2.2.Test simple si et seulement si Test simple.
Th´
eor`
eme 2.3.Une contraction TL(E)estsimplesietseulementsitoutson
spectre est situ´e`a l’int´erieur du disque unit´eD={zC:|z|≺1}.
D´
efinition 2.4.SoientT1et T2deux op´erateurs agissant dans E1et E2respec-
tivement. On appelle couplage de T1et T2tout op´erateur (not´e dans tout ce qui suit
par (T1T
2) (Γ)) efini dans l’espace E=E1E2par la formule
((T1T
2)(Γ))(x)=T1P1(x)T
2P2(x)+ΓP2(x)
o`uPi(i=1,2) d´esigne l’orthoprojecteur de Esur E1et E2, respectivement,
l’op´erateur Γ L(E)appel´e coefficient de couplage annule E1et applique E2dans
E1.
Remarquons que le couplage d’op´erateurs d´epend de Γ. De plus, il est asso-
ciatif mais non commutatif. Suivant la ecomposition E=E1E2, l’op´erateur
((T1T
2) (Γ)) admet la repr´esentation matricielle suivante,
((T1T
2)(Γ))=T1Γ1
0T2=
1
00
.
The Electronic Journal of Linear Algebra ISSN 1081-3810
A publication of the International Linear Algebra Society
Volume 9, pp. 171-189, September 2002
http://math.technion.ac.il/iic/ela
ELA
Deux Mod`eles pour les Op´erateurs de Contraction 173
Proposition 2.5.Soient T,T1et T2trois op´erateur lin´eaires d´efinis dans les
espaces E,E1et E2respectivement. Alors, T=((T1T
2) (Γ)) si et seulement si E=
E1E2et E1est un sous espace de Einvariant pour T.
On sait qu’en dimension finie, le spectre d’un couplage d’op´erateurs est ´egal `ala
eunion des spectres des op´erateurs coupl´es. Par cons´equent et en raison du th´eor`eme
2.3, on a la suivant proposition.
Proposition 2.6.Supposons que le couplage ((T1T
2) (Γ)) des contractions T1
et T2est aussi une contraction. Alors, ((T1T
2) (Γ)) estsimplesietseulementsiT1
et T2sont simples.
D´
efinition 2.7. L’ensemble ∆ = (E, F,G, T,Φ,Ψ,K)constitu´e d’espaces E,
F,Gerifiant (dim F=dimG); et d’op´erateurs lin´eaires born´es tels que TL(E);
ΦL(F, E); Ψ L(E,G), KL(F, G)est appel´e noeud unitaire si:
TΨ
ΦKTΦ
ΨK=IE0
0IF,(2.1)
TΦ
ΨKTΨ
ΦK=IE0
0IG.(2.2)
L’espace Eet l’op´erateur Tsont respectivement appel´es espace interieur et op´erateur
principal du noeud ∆. Les relations (2.1) et (2.2) signifient que la matrice bloc
TΦ
ΨK
constitue un op´erateur unitaire de EFdans EGet que l’op´erateur principal de
tout noeud unitaire est une contraction large. Inversement, si Test une contraction
efinie dans un espace E,alorsenposantE=F=G;Φ = (ITT)
1
2;Ψ=
(ITT)
1
2;K=T, on obtient un noeud unitaire ∆ dont l’espace int´erieur et
l’op´erateur principal sont respectivement Eet T. Les formules (2.1) et (2.2) sont
´equivalentes aux relations suivantes,
ITT
Ψ
ITTΦ
;TΦ+Ψ
K=0
TΨK=0 ;ΨΨ+KK=IG
ΦΦ+KK=IF.
(2.3)
Proposition 2.8.Soit ∆=(E, F,G, T,Φ,Ψ,K)un noeud unitaire. Alors,
(a) On peut supposer que F=G.
(b) Si de plus, T1existe, alors on peut supposer que F=G=Cr
(r=dim(ITT)E).
Preuve. (a) Puisque dim F=dimG, il existe alors une application unitaire U
efinie de Fdans G.Onv´erifie facilement que l’ensemble
=E, F, F, T, Φ,U1Ψ,U1K
est un noeud unitaire.
(b) Si Test inversble, alors les espaces (ITT)
1
2E,(ITT)E,(ITT)E
et (ITT)
1
2Esont tous de mˆeme dimension. On v´erifie que l’on obtient un
The Electronic Journal of Linear Algebra ISSN 1081-3810
A publication of the International Linear Algebra Society
Volume 9, pp. 171-189, September 2002
http://math.technion.ac.il/iic/ela
ELA
174 Berrabah Bendoukha
noeud unitaire ∆ = (E,F,G,T,Φ,Ψ,K =T), en posant: F=(ITT)
1
2E,
G=(ITT)
1
2E,Φ=(ITT)
1
2,Ψ=(ITT)
1
2.DoncsiTest inversible,
on peut d’apr´es 1. Supposer F=G=(ITT)
1
2E.Soitr=dim(ITT)E.
esignons par Vn’importe quelle application unitaire d´efinie de Crdans F.
L’ensemble ∆ =E,C r,Cr,T,ΦV,V 1Ψ,V1KV constitue un noeud unitaire.
Soit E=E0E1la d´ecomposition de Ecorrespondant `alad´ecomposition de T
en partie unitaire T0et partie simple T1[8]. Des relations (2.1) et (2.2) d´ecoule
que Ψ E0={0}
E0et les ensembles E1=(E1,F,G,T
1,Φ,Ψ,K),
E0=(E0,F,F,T
0,0,0,I
F) forment des noeuds unitaires. E1est appel´ee
partie simple de ∆ et ∆ E0sa partie compl´ementaire. Si E=E1(dans ce cas T=T1),
alors le noeud est dit simple.
Soient maintenant p=(Ep,F
p,G
p,T
p,Φp,Ψp,K
p); (p=1,2) deux noeuds uni-
taires tels que F1=G2. Posons E=E1E2;F=F2;G=G1;
T=T1P1+T2P2
1Ψ2P2=Φ
2
1K2=Ψ
1P1+K1Ψ2P2;K=K1K2.
L’op´erateur Piesigne l’orthoprojecteur sur Ei. Un calcul direct permet
d’affirmer que l’ensemble ∆ = (E,F,G,T,Φ,Ψ,K) est un noeud unitaire.
D´
efinition 2.9. Le noeud unitaire d´efini par les formules pr´ec´edentes est appel´e
couplage des noeuds 1et ∆2et est not´e∆= ∆
12.
Remarquons que tout noeud unitaire est ´egal au couplage de sa partie simple et
de sa partie compl´ementaire et que si ∆ = 12, alors l’espace int´erieur E1de
1est invariant par rapport `aT.
D´
efinition 2.10. Soit ∆ = (E,F, G, T, Φ,Ψ,K) un noeud unitaire. On appelle
fonction caract´eristique de la fonction d´efinie de l’ensemble D={λC:|λ|≺ 1}
dans L(G, F ) par la relation
S(λ)=K+λΦ(IλT )1Ψ.
Il est clair que la fonction S(λ) est holomorphe dans D(c’est `a dire que la
fonction scalaire S(λ)(x);yest holopmorphe sur Dpour tout couple (x;y)
G×F), de plus ses valeurs sont des op´erateurs lin´eaires born´es de Gdans F.Un
calcul direct nous donne la relation
IES
(λ)S(µ)=(1λµ)Ψ(IµT )1(IλT )1Ψ,
de laquelle d´ecoule que
IES
(λ)S(λ)0;(|λ|≺1) .(2.4)
Pour une connaissance plus approfondie des noeuds unitaires et de leurs fonctions
caract´eristiques, le lecteur peut consulter [4]. Rappelons cependant de ce mˆeme article
trois r´esultats importants pour la suite.
Th´
eor`
eme 2.11. Si ∆= ∆
12,alorsS(λ)=S2(λ)S1(λ).
Th´
eor`
eme 2.12. Si deux noeuds unitaires simples 1et 2ont la eme fonc-
tion caract´eristique, alors ils sont unitairement ´equivalents, i.e., il existe un op´erateur
unitaire Uefini de E1dans E2et tel que: T1=U1T2U
1
2U
1=
U1Φ2.
The Electronic Journal of Linear Algebra ISSN 1081-3810
A publication of the International Linear Algebra Society
Volume 9, pp. 171-189, September 2002
http://math.technion.ac.il/iic/ela
1 / 20 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 !