Vous êtes sur la page 1sur 9

La rpartition des valeurs propres des matrices de Tplitz

Nicolas Tosel
1


Notes
... Tosel
1


Professeur en classe de MP au lyce du Parc, Lyon.

Partie I
INTRODUCTION ET NOTATIONS
Partie II
Interprtation de appartenance des
Partie III
Une ingalit de convexit
Partie IV
Le cas o
Partie V
Fin de la dmonstration
Partie VI
Quelques remarques
Bibliographie

Partie I
INTRODUCTION ET NOTATIONS
Soit le cercle unit du plan complexe. Si dans dans , on pose :


On fixe, une fois pour toutes, une fonction mesurable et borne sur , valeurs relles, que l'on
note . On note (resp. ) la borne infrieure (resp. suprieure) de , et l'intervalle
. Le cas vident o est contante est exclu dans les preuves.
Pour dans , soit le coefficient de Fourier d'indice de .
Si est dans , on dsigne par la matrice de :


Page 1sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=436&Type=enonce&Num=0&Mode=...
La matrice est appele matrice matrice de T plitz associe . Puisque est
valeurs relles, est hermitienne et on peut noter :


son spectre ordonn.
Dans plusieurs articles, G. Szeg a tudi la rpartition de ce spectre lorsque . Les
deux rfrences principales sont deux textes reproduits dans [4] sous les numros 17.1 (en
hongrois) et 20.3 (en allemand). Pour noncer le rsultat essentiel de ces travaux, on note
dsormais, si est une fonction continue de dans et :


On a alors le :
Thorme 1 (G. Szeg, 1917). Les sont dans , et, pour toute fonction continue
de dans , on a :


La mthode de Szeg part d'une expression du dterminant de comme intgrale multiple
permettant d'tablir, si :


Cette relation est, bien sr, le cas particulier du thorme pour lequel . Elle permet
d'obtenir le cas gnral par un argument d'approximation consistant, au fond, en la densit, dans
l'espace des fonctions continues nulles en sur norm uniformment, du sous-espace
engendr par les fonctions pour dans . En fait, la rdaction de Szeg est
un peu diffrente ; de la validit du thorme pour les fonctions prcdentes, il dduit le cas o
est un polynme avant de conclure par le thorme d'approximation de Weierstrass.
On se propose ici d'indiquer une autre preuve du thorme prcdent. La dmarche adopte ici
est partiellement inspire d'un autre article de Szeg, portant, cette fois, sur les matrices de
Hankel (rfrence 18-1 dans [4]). Prcisment, on a conserv de ce dernier article l'ide d'utiliser
une ingalit de convexit, tout en simplifiant un peu la partie approximation de la
dmonstration que, dans le travail de Szeg, repose sur la densit, dans l'espace susmentionn,
du sous-espace engendr par les fonctions pour .
Page 2sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=436&Type=enonce&Num=0&Mode=...
Le paragraphe II interprte gomtriquement , ce qui rend vidente l'appartenance des
. La preuve du thorme est conduite dans les paragraphes III V, selon l'ordre
suivant : comparaison de et de si est convexe, cas particulier o ,
conclusion. Le paragraphe VI est consacr quelques remarques.

Partie II
Interprtation de appartenance des
On munit du produit hermitien canonique, que l'on note , et de la norme
associe. Si est dans , la fonction est dfinie sur par :


La famille est une base hilbertienne de . Si , on note le sous-esapce de
engendr par les pour dans ; la projection orthogonale de sur
est dsigne par .
on attache l'endomorphisme hermitien de dfini par :


et la forme associe, donne par :


Il est clair que est la matrice, dans la base orthonorme de , de la
restriction de . Autrement dit, est la matrice, dans la base de ,
de l'endomorphisme de dfini par :


Maintenant, il est clair que :


Page 3sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=436&Type=enonce&Num=0&Mode=...
Ces considrations entranent aussitt l'appartenance des au segment .

Partie III
Une ingalit de convexit
Nous allons utiliser, dans ce paragraphe, une base de diagonalisation de l'endomorphisme .
Prcisment, soit une base orthonorme de telle que :


Pour tout de , on dcompose sur la base de en :


La matrice de est alors unitaire comme matrice de passage entre
deux bases orthonormes de l'espace . Cette observation est cruciale pour la preuve du :
Lemme 1 Si , si est une fonction convexe de dans , on a l'ingalit :


[On part de l'expression : , valable pour .
Vu que , l'ingalit de J ensen implique :


D'o :


Mais :
Page 4sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=436&Type=enonce&Num=0&Mode=...


Ceci achve la dmonstration.

Partie IV
Le cas o
Dans cette partie et la suivante, dsignera la fonction dfinie sur par :


Pour , le thorme peut tre tabli par un calcul direct utilisant l'galit de Parseval.
Lemme 2 On a :
[On munit de la norme de Hilbert-Schmidt, dfinie par :


qui est invariante par conjugaison unitaire. On en tire :


Mais la formule de Parseval garantit que :


Il reste donc, pour conclure, vrifier :


Compte tenu de la convergence de la srie , cette relation s'obtient facilement par
Page 5sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=436&Type=enonce&Num=0&Mode=...
sommation d'Abel. On pose, en effet :


de sorte que :


et que :


Le thorme de Cesaro, et la convergence de vers montrent alors que :


C'est le rsultat voulu.]

Partie V
Fin de la dmonstration
Soit l'espace des fonctions continues de dans , norm uniformment. Les formes
linaires pour dans sont toutes de norme , et en particulier forment une famille
quicontinue. Il suffit donc, pour prouver le thorme, de se restreindre des appartenant un
sous-espace dense dans . On va tablir le rsultat si est de classe sur , en utilisant
uniquement les lemmes 1 et 2.
Soit donc une fonction de classe de dans . On fixe un rel ,
de sorte que les fonctions et sont convexes sur , et que le lemme 1 fournit :



Mais le lemme 2 assure : .
Page 6sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=436&Type=enonce&Num=0&Mode=...
De cette convergence et des deux ingalits ci-dessus, on tire :


ce qui achve la dmonstration.

Partie VI
Quelques remarques
Un cas particulier
Si est un polynme trigonomtrique de degr 1, la matrice est tridiagonale. Il est
possible de calculer explicitement son polynme caractristique ( l'aide des polynmes de
Tchebycheff de deuxime espce) et ses valeurs propres. Ce cas est donn en guise d'exemple
dans l'article 20.3 de [4], repris sous forme d'exercice dans [3].
Une extension
Par des encadrements de routine, on peut gnraliser le thorme comme suit.
Thorme 2 Soient une fonction continue par morceaux sur , l'ensemble des points
de discontinuit de . Si, pour tout de , l'ensemble est une partie ngligeable de
, on a :


L'intrt de cet nonc (explicit par Szeg) est de s'appliquer, sous rserve de l'hypothse de
ngligeabilit, aux fonctions caractristiques d'intervalles.
Application un problme d'approximation
Szeg a obtenu, comme consquence du thorme dont il est ici question, la solution d'un
problme de minimisation conduisant naturellement un thorme classique et important en
thorie de l'approximation. On va dcrire succinctement son argument, en laissant les dtails aux
lecteurs.

On suppose, dans ce 3., . Pour , soit le minimum de sur l'hyperplan
affine de . La suite est dcroissante positive, donc
convergente. On va en calculer la limite. On commence par vrifier que :
Page 7sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=436&Type=enonce&Num=0&Mode=...


Les formules de Cramer permettent alors d'crire comme quotient de deux
dterminants. En explicitant, on aboutit :


Puisque la suite converge, sa limite est, ncessairement :


Ainsi :
Si dsigne l'espace de Hardy usuel, ce rsultat se paraphrase en :


Cette dernire galit s'tend sans difficult au cas o est simplement suppose intgrable
positive, condition d'interprter comme nul si


On peut alors obtenir le rsultat d'approximation susmentionn. Soit l'espace des
fonctions mesurables de dans telles que ; on munit du
produit scalaire (non forcment dfini) :


Dans cet espace, est adhrent si et seulement si


Page 8sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=436&Type=enonce&Num=0&Mode=...
Si tel est le cas, chaque ( ) est galement adhrent , et ce sous-
espace est, en fin de compte, dense dans .
Prolongements
Le calcul de borne infrieure et le thorme d'approximation de 3. admettent des preuves plus
directes, des extensions avec , de nombreuses applications des problmes de densit.
On trouvera beaucoup de renseignements sur ces sujets dans [1] et [2].

Bibliographie
1 N. Achiezer, Theory of Approximation, Dover.
2 K. Hoffmann, Banach spaces of analytic functions, Dover.
3 G. Polya et G. Szeg, Problems ans Theorems in Analysis, Springer.
4 G. Szeg, Collected Works, Vol. 1, Birkhaser.

Page 9sur 9 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=436&Type=enonce&Num=0&Mode=...

Vous aimerez peut-être aussi