Accueil🇫🇷Chercher

Type exponentiel

En analyse complexe, une fonction holomorphe est dite de type exponentiel C si sa croissance est bornée par la fonction exponentielle eC|z| avec une constante réelle C, pour |z| → ∞. Quand une fonction est bornée de la sorte, il est alors possible de l'exprimer comme une somme convergente de série d'autres fonctions complexes, de même qu'il est possible d'appliquer des techniques comme la sommation de Borel, ou, par exemple, d'appliquer la transformation de Mellin, ou d'obtenir des approximations comme la formule d'Euler-Maclaurin. Le cas général est décrit par le théorème de Nachbin, qui utilise la notion analogue de type Ψ pour une fonction générale Ψ(z) à la place d'une fonction exponentielle.

Représentation graphique de la fonction , une fonction gaussienne sur l'axe réel. Cette fonction n'a pas de type exponentiel, mais peut être approchée de chaque côté par deux fonction (en rouge et bleu) de type exponentiel 2π.

Principe

Une fonction f(z) définie sur le plan complexe est dite de type exponentiel s'il existe des constantes réelles M et τ telles que

dans le cas où . Ici, la variable complexe z est écrite sous la forme z = reiθ pour indiquer que la limite est indépendante de la direction θ. En notant τ (de façon abusive) l'infimum de tous les τ qu conviennent, on dit que la fonction f est de type exponentiel τ.

Considérons par exemple f(z) = sin(π z). Alors on dit que f est de type exponentiel π, car π est le plus petit nombre qui borne la croissance de sin(π z) sur l'axe imaginaire. Ainsi, dans ce cas, le théorème de Carlson ne s'applique pas, car il n'est vrai que pour des fonctions de type exponentiel inférieur à π. De même, la formule d'Euler-Maclaurin ne s'applique pas non plus, dans la mesure où elle est liée à un théorème lié à la théorie des différences finies.

Définition formelle

Une fonction holomorphe F(z) est dite de type exponentiel σ > 0 si

quand avec . On dira que F(z) est de type exponentiel si F(z) est de type exponentiel σ pour un certain σ > 0.

Le nombre

est le type exponentiel de F(z). La limite supérieure désigne ici la limite du supremum du rapport au-delà d'un rayon donné alors que le rayon tend vers l'infini. Cette limite supérieure peut exister même si le maximum au rayon r n'a pas de limite quand r tend vers l'infini. Par exemple, pour la fonction

La valeur de

pour r = 10n!-1 est majoré par le n- 1e terme donc on a les expressions asymptotiques :

et tend vers 0 pour n tend vers l'infini[1], mais F(z) est tout de même de type exponentiel 1, comme on peut le voir aux points z = 10n!.

Exemples

Les fonctions constantes sont de type exponentiel.

Propriétés

Le produit de deux fonctions de type exponentiel est également de type exponentiel[2].

Type exponentiel sur un ensemble convexe symétrique

(Stein 1957) a donné une généralisation de type exponentiel pour les fonctions entières de plusieurs variables complexes. Soit K un sous-ensemble convexe, compact et symétrique de . On sait que pour tout K, il existe une norme associé pour laquelle K est la boule unité de :

Alors l'ensemble

est appelé l'ensemble polaire de K[3] C'est aussi un sous-ensemble convexe, compact et symétrique de . De plus, on peut écrire

On étend sur vers par

Une fonction entière F(z) de n variables complexes est dite de type exponentiel par rapport à K si :

Espace de Fréchet

Des collections de fonctions de type exponentiel τ peuvent former un espace complet uniforme, qu'on appelle espace de Fréchet, par la topologie induite par la famille dénombrable des normes :

Voir aussi

Références

  1. En fait, même tend vers 0 en pour n tendant vers l'infini.
  2. André Martineau, Sur les fonctionnelles analytiques et la transformation de Fourier-Borel, (DOI 10.1007/bf02789982)
  3. Pierre Lelong, « Fonctions entières de type exponentiel dans Cn », Annales de l’institut Fourier, t. 16, no 2, , p. 269-318 (lire en ligne)
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.