prop-fr:contenu
| - Pour et où , on note
D'après le cas extrémal de l'inégalité de Hölder, on a
donc
Comme , les fonctions continues à support compact sont denses dans et et le supremum peut être pris sur cet ensemble. Dans la suite, on suppose donc et continues à support compact.
Maintenant, pour et , on pose :
*
*
*
*
Nous avons , et donc aussi pour .
On peut en conclure l'existence de la fonction définie par :
: pour
Nous affirmons en outre que la fonction ainsi définie est analytique dans la bande ouverte . Pour s'en convaincre, il suffit de vérifier que, pour et , on a :
* ;
* ;
* .
Ceci se vérifie aisément puisque
:
et puisque est continue à support compact.
On procède de la même manière pour établir le deuxième point et le troisième point est une conséquence du premier.
Maintenant, on remarque que :
et que :
De même, on a :
:
On en déduit que :
: ;
:.
On remarque aussi que , , et donc que .
En utilisant le théorème des trois droites, on obtient que :
soit encore : (fr)
|