Vous êtes sur la page 1sur 10

Fonctions monotones sur et homographies d'aprs Karl

Lwner
Richard Antetomaso
1


Notes
... Antetomaso
1


Agrg de mathmatiques, professeur en classes prparatoires scientifiques au lyce
Fnelon, Paris.

Partie I
INTRODUCTION
Partie II
QUELQUES EXEMPLES SIMPLES
Partie III
UTILISATION DE REPRSENTATIONS INTGRALES
Partie IV
UNE CARACTRISATION DES HOMOGRAPHIES
Bibliographie

Partie I
INTRODUCTION
1 - Le problme
Notons l'espace des matrices symtriques relles, le sous-ensemble des matrices
symtriques positives et celui des matrices symtriques dfinies positives.
est naturellement muni d'une structure d'ordre partiel dfinie par :



Il est intressant d'tudier la monotonie de certaines applications pour cet ordre. Par exemple
l'exercice suivant est un classique des concours :
L'application est croissante sur l'espace lorsque est muni de
l'ordre ci-dessus et de l'ordre usuel.
2 - Le travail de Karl Lwner
Page 1sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=435&Type=enonce&Num=0&Mode=...
Un autre exemple abondamment tudi est celui de la fonction racine carre dfinie sur .
Plus gnralement, pour toute fonction relle de variable relle , o et pour
tout matrice dont le spectre est inclus dans on peut dfinir


o est la dcomposition de sur ses projecteurs spectraux, et on peut se
demander si est croissante pour l'ordre de .
Ce problme a t en grande partie rsolu par Karl Lwner en 1934 dans son article [1] o il
prouve, en particulier, que :
si , est croissante sur pour tout si, et seulement si, a un
prolongement analytique sur qui envoie le demi-plan sur lui-
mme.
Karl Lwner obtient le rsultat nonc ci-dessus en donnant pour tout des conditions
ncessaires et suffisantes pour que soit croissante sur .
On peut aussi prouver que est croissante sur pour tout si, et seulement si, il existe
une reprsentation intgrale de sous la forme



o , est positive, mesurable et telle que est intgrable sur .
3 - Le but de cette note
Mon propos n'est pas de prouver ces difficiles thormes mais, plus modestement, d'tablir
quelques rsultats en utilisant des ides dveloppes par Lwner et des rudiments d'analyse
fonctionnelle.
On verra, en particulier, une preuve trs courte de la monotonie de et le rle
central jou par les homographies.
Page 2sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=435&Type=enonce&Num=0&Mode=...
On verra aussi que est croissante sur pour une valeur de si, et
seulement si, .

Partie II
QUELQUES EXEMPLES SIMPLES
1 - Dfinitions
Pour tout , on munit de l'ordre partiel dfini au I. On note l'ensemble des
matrices positives de (i.e. valeurs propres positives) et celui des matrices
dfinies positives (i.e. valeurs propres strictement positives).
Soit un intervalle de et . dont les valeurs propres sont dans on
associe



o est la dcomposition de sur ses projecteurs spectraux. sera dite -
croissante si est croissante pour l'ordre de et -croissante si elle est -
croissante pour tout . On dfinit de manire analogue les fonctions -dcroissantes.
Proprit 1 1) Si est -croissante, elle est -croissante pour tout . En particulier,
toute fonction -croissante pour est croissante comme fonction d'une variable relle.
2) Sur un intervalle convenanble : un compos et une somme de deux fonctions -croissantes
sont -croissantes, un compos d'une -croissante et d'une -dcroissante est -dcroissante.
Pour 1) considrer des matrices diagonales par blocs. 2) est immdiat.
2 - Monotonie des homographies
Thorme 1 L'application est -dcroissante sur .
Plus gnralement, l'homographie est :
* -croissante sur tout intervalle inclus dans son domaine de dfinition si ,
* -dcroissante sur tout intervalle inclus dans son domaine de dfinition si .

Page 3sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=435&Type=enonce&Num=0&Mode=...
Preuves
Soient , symtriques dfinies positives telles que . Considrons les formes
quadratiques et . Comme est dfinie positive, par
rduction simultane de et , il existe une base orthonormale pour et orthogonale pour
. Il existe donc inversible telle que et avec
diagonale.
Le caractre dfini positif de et la relation se traduisent par



ou par

i.e. par .
Ainsi pour tout tout de coefficients on a :



ce qui montre que et sont dfinies positives et l'ingalit .
Pour : si le rsultat est vident. Si , on a ce qui montre que
est compos de fonctions -croissantes ou -dcroissantes selon le signe de .
3 - Les puissances
Proposition 1 Si , est croissante (i.e. -croissante ) mais pas -
croissante pour sur .

Preuve
Page 4sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=435&Type=enonce&Num=0&Mode=...
Considrons pour les matrices



est symtrique dfinie positive de valeurs propres et ; on trouve facilement que
l'on a .
est symtrique positive de valeurs propres et ; on a



De plus on a car est symtrique positive (son dterminant est nul et
sa trace positive) et a pour dterminant



donc, pour voisin de , n'est pas positive. Ainsi n'est pas -croissante sur
.
Remarque
Par un argument de continuit, on peut en dduire que n'est pas -croissante sur .

Partie III
UTILISATION DE REPRSENTATIONS INTGRALES
1 - Un rsultat gnral
Thorme 2 Soit continue par morceaux positive et telle que est
intgrable sur . La fonction est dfinie sur
et -croissante.
Page 5sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=435&Type=enonce&Num=0&Mode=...

Preuve
Soit de dcompostion spectrale . On a alors pour tout ,
ce qui donne



Si, de plus, est telle que , on a d'aprs le thorme 2,




d'o, en multipliant par et en intgrant l'ingalit, .
2 - Le logarithme et les puissances
a) Logarithme
En prenant dans l'nonc prcdent et en utilisant la formule intgrale vidente :



on a :

Thorme 3 La fonction est -croissante sur .
b) Puissances

Page 6sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=435&Type=enonce&Num=0&Mode=...
Thorme 4 Pour , est -croissante sur .

Preuve
Commenons par le :

Lemme 1 Soit . Il existe et tels que



Preuve du lemme
Posons .
est sur pour tout , on a



comme est continue et intgrable sur , est dfinie et continue sur tout segment
donc sur .
En outre, pour tout , on a



comme est continue et intgrable sur , est sur tout segment donc sur
et on a, en posant ,



ce qui en intgrant, et compte tenu de la continuit en , donne
Page 7sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=435&Type=enonce&Num=0&Mode=...



Pour en dduire le thorme, il suffit maintenant de procder comme pour le thorme 2.
3 - Les puissances : une preuve trs courte
Thorme 4 bis Pour est -dcroissante sur et
est -croissante sur .
Remarque
Pour avoir le caractre -croissante de sur , il faudrait ajouter un
argument de continuit.

Preuve
Ici le rsultat immdiat suivant suffit :

Lemme 2 Soit . Pour tout , l'intgrale suivante existe et on a tel que



Preuve du lemme
Poser .
On obtient le thorme par des arguments analogues aux prcdents.

Partie IV
UNE CARACTRISATION DES HOMOGRAPHIES
Pour prsenter la mthode de Karl Lwner, nous allons en dtailler le cas le plus simple o
et en dduire le :

Thorme 5 Soit un intervalle de et . est telle que

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

alors est une homographie croissante sur .
Remarque
On peut ainsi montrer, sans calcul supplmentaire, que n'est pas -croissante si .


Preuve du thorme
On suppose que a une infinit d'lments. Considrons d'abord
-croissante.
* Soient tels que . Il existe tel que les valeurs propres
de soient et .
En effet, il s'agit de rsoudre en le systme



dont on voit qu'il quivaut



* Soit telle que . Comme
est de rang , on a (avec un peu de calcul)



d'o .
Or, puisque est -croissante,
Page 9sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=435&Type=enonce&Num=0&Mode=...


est positive donc son dterminant est positif. Le mme calcul que ci-dessus donne



ce qui, grce la valeur de trouve plus haut, devient :






* Supposons maintenant que de valeurs propres dans ,


Tout d'abord, cette proprit est vraie en dimension donc est strictement croissante. En suite
l'tude ci-dessus, applique et , montre que l'on a :



En fixant trois de quatre points on voit, qu'au voisinage de chaque point, est une
homographie. Comme deux homographies gales sur un ensemble infini sont gales, est une
homographie sur .

Bibliographie
1 Karl Lwner, ber monotone Matrix Funktionen, Mathematische Zeitschrift 38 (1934) pp.
177-216.

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