Fonction demi-exponentielle

De testwiki
Aller à la navigation Aller à la recherche

En mathématiques, une fonction semi-exponentielle est une racine carrée fonctionnelle d'une fonction exponentielle. Autrement dit, une fonction f telle que f composée avec elle-même donne une fonction exponentielle[1]Modèle:,[2]: f(f(x))=abx, pour certaines constantes Modèle:Nobr

Impossibilité d'une forme fermée

Si une fonction f est définie à l'aide des opérations arithmétiques standard, de l'exponentiation, des logarithmes et des constantes réelles, alors f(f(x)) est soit sous-exponentielle, soit super-exponentielle[3]. Ainsi, une [[Corps de Hardy|fonction Modèle:Mvar de Hardy]] ne peut pas être semi-exponentielle.

Construction

Toute fonction exponentielle peut être écrite comme l'auto-composition f(f(x)) pour une infinité de choix possibles de f. En particulier, pour chaque A dans l'intervalle ouvert ]0,1[ et pour toute fonction continue strictement croissante g depuis [0,A] sur [A,1], il existe un prolongement de cette fonction vers une fonction continue strictement croissante f sur les nombres réels tels que Modèle:Nobr[4]. La fonction f est l'unique solution de l'équation fonctionnellef(x)={g(x)si x[0,A],expg1(x)si x]A,1],expf(lnx)si x>1,lnf(expx)si x<0.

Exemple de fonction semi-exponentielle

Un exemple simple, qui conduit à f avec une dérivée continue partout, consiste à prendre A=12 et g(x)=x+12, donnantf(x)={ln(ex+12)si xln2,ex12si ln2x0,x+12si 0x12,ex1/2si 12x1,xesi 1xe,ex/esi exe,xesi exee,ex1/esi eexee,

Application

Les fonctions demi-exponentielles sont utilisées dans la théorie de la complexité informatique pour les taux de croissance « intermédiaires » entre polynôme et exponentiel. Modèle:Références multiples Une fonction f croît au moins aussi vite qu'une fonction demi-exponentielle (sa composition avec elle-même croît de façon exponentielle) si elle est non décroissante et f1(xC)=o(logx), pour Modèle:Nobr

Voir aussi

Références

Modèle:Traduction/Référence Modèle:Références

Liens externes

Modèle:Portail

  1. Modèle:Lien conférence
  2. Modèle:Article
  3. Modèle:Ouvrage Voir 4.10, p. 91, selon lequel toute telle fonction a un taux de croissance comparable à une fonction exponentielle ou logarithmique intérée un nombre entier de fois, plutôt que le demi-entier qui serait requis pour une fonction demi-exponentielle.
  4. Modèle:Article