Utilisateur:Claudeh5/entieres

Mark Aronovich Naimark (russe : Марк Ароно́вич Наймарк) (December 5, 1909–December 30, 1978) was a Soviet mathematician.

He was born in Odessa, Russian Empire (today's Ukraine) into a Jewish family and died in Moscow, USSR. He received his PhD in 1943 from the Steklov Institute of Mathematics.

He is known for e.g.

Publications

modifier
  • Unitary representations of the classical group (with I. M. Gelfand, 1950)
  • Linear Differential operators, 1954
  • Normed Rings, 1956
  • Linear Representations of the Lorentz Group, 1958
  • Theory of Group Representations, 1974

(all the above books were written in Russian)

See also

modifier
modifier

En analyse complexe, une fonction entière est une fonction holomorphe définie sur tout le plan complexe. C'est le cas notamment de la fonction exponentielle complexe, des fonctions polynômes et de leurs combinaisons par composition, somme et produit, telles que sinus, cosinus et les fonctions hyperboliques.

Le quotient de deux fonctions entières est une fonction méromorphe.

Considérée comme un cas particulier de la théorie des fonctions analytiques, la théorie élémentaire des fonctions entières ne fait que tirer les conséquences de la théorie générale. C'est celle que l'on voit essentiellement dans un premier cours sur la théorie des fonctions complexes (souvent enrichi du théorème de factorisation de Weiestrass). Mais l'étude, commencée depuis le milieu du XIXe siècle, par Cauchy, Laguerre, Weierstrass,... s'est considérablement enrichie sous l'impulsion de Borel, Hadamard, Montel, Valiron, Blumenthal,... (sans oublié Nevanlinna) et constitue maintenant une imposante théorie.

Dans la suite, on ne trouvera qu'un pâle résumé de cette théorie.

La théorie des fonctions entières se fixe comme buts de classifier les fonctions entières selon leurs croissance, de préciser le lien entre les coefficients de Taylor de la fonction et la croissance, le lien entre les zéros éventuels et le comportement de la fonction, et les relations entre la fonction et ses dérivées sur ces questions.

La théorie des fonctions entières a été étendue aux fonctions méromorphes.

Théorie élémentaire

modifier

Soit f une fonction analytique complexe holomorphe en z. Elle est développable en série entière autour du point z selon la formule de Taylor-MacLaurin

 

La théorie des séries entières montre que la série précédente convergence absolument et uniformément dans le disque ouvert de centre z et de rayon R donné par la formule de Cauchy-Hadamard

 

Le principal résultat de la théorie des fonctions analytique complexe est que le rayon de convergence est déterminé par la distance  entre le point   et la singularité la plus proche.

On dit d'une fonction analytique complexe qu'elle est entière lorsque qu'elle est holomorphe en tout point du plan complexe.Elle n'a donc pas de singularité à distance finie.

Rappelons qu'une fonction holomorphe en un point y est indéfiniment dérivable.

Soit f une fonction entière. Comme toute fonction analytique holomorphe en un point, elle est developpable en série entière convergente de la forme

 

et, n'ayant d'autre singularité que le point à l'infini,le rayon de convergence est infini. Autrement dit, la série converge quelque soit la valeur de z.

On a donc

 

Et il en est de même de chacune de ses dérivées qui sont entières également.

La formule de Cauchy

 

permet, en développant la fraction 1/(s-z) en série entière, d'identifier les coefficients de Taylor à des intégrales:

 

Dans les deux cas   est un chemin fermé sans boucle contenant z.

les inégalités de Cauchy

modifier

Dans la formule intégrale donnant les coefficients, en appelant   le maximum du module de la fonction sur le disque de centre z et de rayon R, une majoration simple donne les inestimables inégalités de Cauchy

 

Le théorème de Liouville

modifier

Un résultat important sur les fonctions entières est le théorème de Liouville:

« Si une fonction entière est bornée, alors elle est constante. »

Une démonstration possible est l'application des inégalités de Cauchy en remarquant que   est alors borné quelque soit  . Il suffit donc de faire tendre   vers l'infini pour avoir le résultat.

«  tout polynôme de degré n admet exactement n racines complexes comptées avec leur multiplicité »


«  Toute fonction entière non constante prend, sur le plan complexe, toutes les valeurs sauf une au plus. »

Propriétés algébriques

modifier
  • Une fonction holomorphe définie sur un ouvert connexe s'étend en une fonction entière si et seulement si le rayon de convergence de sa série de Taylor est infini en un point quelconque de son domaine.
  • L'ensemble des fonctions entières est stable par composition et forme une sous-algèbre complexe de l'espace des fonctions continues du plan complexe dans lui-même.

Le module maximum des fonctions entières

modifier

On dit d'une fonction analytique complexe qu'elle est entière lorsqu'elle est définie sur le plan complexe tout entier et holomorphe en chaque point. Elle ne présente donc que le point à l'infini pour seule singularité.

On pose

 

Cette fonction croît monotonement, par suite du principe du maximum. Et, en corollaire du théorème de Liouville, elle n'est pas bornée pour les fonctions entières non constantes.

Elle est appelée module maximum de la fonction  .

« La fonction   est une fonction convexe de  .(Hadamard)[1]  »

« La fonction   est continue et analytique par intervalles. (Blumenthal) »

En conséquence de la convexité,   admet une dérivée à droite et à gauche. Elles sont croissantes. Il existe une fonction   croissante (mais pas nécessairement continue) telle que

 

Croissance des fonctions entières

modifier

Par suite du théorème fondamental de l'algèbre, un polynôme de degré n admet n racines dans  . Donc, plus un polynôme admet de zéros, plus il croît rapidement.

Ceci est aussi le cas des fonctions entières mais d'une manière plus complexe. La relation entre la croissance des fonctions entières et la répartition de ses zéros constitue l'un des thèmes principaux de la théorie des fonctions entières.

Si pour une valeurs quelconque  , on a

 

la fonction f est un polynôme de degré au plus égal à  .

Lorsque l'égalité précédente n'a lieu pour aucune valeur de  , on compare la croissance de   à  . Si l'on a, à partir d'une valeur   de  , l'inégalité

 

on dit que la fonction est d'ordre fini. L'ordre (supérieur) de croissance de   est donné par la formule

 

On distingue, parmi les fonctions entières de même ordre  , les fonctions de type   défini par la formule

 

Selon la valeur de  , on distingue le type minimal ( ), normal ( ) ou maximal ( ).

On montre les résultats suivants:

  •  
  •  
  •  
  •  

Relation entre les coefficients et la croissance

modifier
  • Si la fonction entière est telle que
 

et que

 

pour   suffisamment grand,

alors on a

 

pour   suffisamment grand.

  • Réciproquement, si l'on a
 

pour   suffisamment grand, alors, pour tout  ,

 

pour   suffisamment grand.

De ce résultat on déduit

« L'ordre de la fonction entière est déterminé par la formule

 

Le type de la fonction entière est déterminé par la formule

 
 »

L'ordre de la dérivée d'une fonction entière

modifier

«  L'ordre de la dérivée d'une fonction entière est égal à l'ordre de cette fonction. »

Et, comme une fonction entière est indéfiniment dérivable, il en est de même de toutes ses dérivées.

Ordre inférieur et ordre précisé L

modifier

Pour comparer plus finement la croissance des fonctions entières, on est amené à regarder l'ordre inférieur de croissance, défini par la quantité

 

On montre que

«  L'ordre inférieur de la dérivée d'une fonction entière est égal à l'ordre inférieur de cette fonction. »

Mais cela ne suffit pas. On montre l'existence, pour une fonction entière   d'ordre fini  , d'une fonction   ayant les propriétés suivantes:

  •   est définie et continue, dérivable à droite et à gauche en chaque point.
  •  
  •  
  •  

On a ainsi défini un ordre précisé L de  .

La formule de Jensen et l'exposant de convergence des zéros

modifier

Cette formule est fondamentale dans la suite de la théorie, même si elle n'intervient pas explicitement. On la démontre par exemple par l'emploi de la formule de Green.

On a, pour une fonction ayant des zéros aux points  , ne présentant aucun pôle dans le disque   et en posant  

 

Cette formule est la formule de Poisson-Jensen.

On en déduit la formule de Jensen:

Soit   une fonction entière ayant tous ses zéros   dans le disque de rayon  . On appelle   le nombre de zéros de modules inférieurs ou égaux à  .

on a ainsi

 

et ainsi, pour une fonction non nulle en 0, on trouve la forme suivante de la formule de Jensen:

 

Pour une fonction entière d'ordre   fini, on voit que  .

On en déduit que la série

 

est convergente pour  

On appelle ainsi ordre réel (Borel) ou exposant de convergence de la suite des zéros la valeur de   la plus petite pour laquelle la série converge. On en déduit donc ce théorème de Borel:

«  L'exposant de convergence de la suite des zéros est au plus égal à l'ordre. »

La théorie de Nevanlinna

modifier

Factorisation des fonctions entières d'ordre fini

modifier

Le théorème de factorisation de Weierstrass

modifier

Du developpement de

 

on déduit que la fonction

 

où l'on reconnaît le précédent développement limité aux m premiers termes, est sensiblement égale à 1 sauf dans un voisinage de u=1 où elle admet un zéro d'ordre 1.

Ces facteurs   sont appelés facteurs primaires de Weiestrass. Avec eux, Weierstrass a montré le théorème de factorisation des fonctions entières:

«  Soit f une fonction entière d'ordre fini   et s'annulant sur les points d'affixes  . Alors, il existe un polynome   de degré inférieur ou égal à  , et un entier   tel que l'on ait

 
 »

Par la suite, Borel a précisé m et le degré du polynôme. Le facteur   n'est là que pour les fonctions entières ayant un zéro d'ordre p en 0.

« Le degré de   est égal à la partie entière de l'ordre   si   n'est pas entier. Il peut prendre la valeur   ou la valeur   si l'ordre   est entier. L'entier   est majoré par  . L'un des deux entiers au moins est égal à   si l'ordre est entier. »

Ce théorème a été généralisé par Hadamard aux fonctions méromorphes.

Le théorème de Hadamard

modifier

Le théorème de factorisation de Hadamard relatif aux fonctions méromorphes d'ordre fini  

« Pour toute fonction méromorphe   d'ordre fini   il existe deux entiers   et   plus petits que  , et un polynôme   de degré inférieur à   tels que    et   sont des produits de fonctions canoniques d'ordres   et   batis sur les zéros   et les pôles   de  .     avec   »

Estimations sur le produit canonique

modifier

La connexion entre la croissance et la distribution des zéros

modifier

Les fonctions entières d'ordre non-entier

modifier

Dans le cas des fonctions entières d'ordre non entier, celles-ci n'admettent aucune valeur exceptionnelle au sens du théorème de Picard. Ces fonctions ont donc une infinité de solutions à l'équation  , quelque soit la valeur de   et en particulier

«  Toute fonction entière d'ordre non entier admet une infinité de zéros. »

Les fonctions entières d'ordre entier

modifier

Si l'ordre est entier, le cas d'exception du théorème de Picard est possible. Dans ce cas, on a la précision suivante apportée par Emile Borel:

« Le nombre   des racines de l'équation   ne peut être d'un ordre de grandeur inférieur à   que pour une seule valeur de x au plus. »

On montre ainsi qu'il existe des fonctions entières d'ordre entier n'ayant qu'un nombre fini de zéros.

Les fonctions entières et les angles

modifier

Supposons une fonction entière d'ordre   ayant dans un angle donné un ordre  . Alors cette fonction prend toutes les valeurs sauf une au plus dans tout angle de mesure

«  Une fonction entière d'ordre   est d'ordre   dans tout angle de mesure supérieure à  . »

La fonction indicatrice

modifier

Le théorème de Carlson

modifier

Soit f une fonction entière d'ordre 1 et de type  . La fonction f est entièrement déterminée par les valeurs {f(n)}, pour n=1, 2, ... De plus, si le type est strictement inférieur à ln 2, alors

 

La théorie des fonctions entières d'ordre infini de Blumenthal

modifier

Bibliographie

modifier
  • Boas, entire functions, Dover, 1954,
  • Borel, les fonctions entières, Gauthier-Villars, 1928 (deuxième édition)
  • Blumenthal, Les fonctions entières d'ordre infini, Cahiers scientifiques, 1914
  • Levine, entire functions, AMS,
  • Nevanlinna, Le théorème de Picard-Borel et la théorie des fonctions méromorphes, Monographies sur la théorie des fonctions, Gauthier-Villars, 1929
  • Valiron, Fonctions convexes et fonctions entières, Bulletin de la SMF, T60, 1932
  • Valiron, Les fonctions entières d'ordre nul et d'ordre fini, thèse, 1914
  • Valiron, Fonctions entières d'ordre fini et fonctions méromorphes,
  • Valiron, Lectures on the general theory of integral functions,
  • Valiron, Fonctions entières et fonctions méromorphes d'une variable, mémorial des sciences mathématiques, Gauthier-Villars, 1925.

Notes et références

modifier
  1. Hadamard, étude sur les propriétés des fonctions entières et en particulier sur une fonction considérée par Riemann,Journal de mathématique pures et appliquée, Tome 9,1892