Fonction exponentielle double

Fonction exponentielle double
Page d'aide sur l'homonymie Cet article concerne la fonction exponentielle double. L’expression « distribution exponentielle double » peut désigner la loi de Laplace, qui est une distribution exponentielle bilatérale ou la distribution de Gumbel qui est une distribution exponentielle itérée.
Comparaison d’une exponentielle double (en rouge) et d’une exponentielle simple (en bleu).

Une fonction exponentielle double est une fonction exponentielle dont l’exposant est lui-même une fonction exponentielle.

La forme générale est : f(x) = a^{b^x}

Cette fonction croît plus vite qu’une exponentielle simple. Par exemple, pour a = b = 10 :

  • f(−1) ≈ 1.25892541
  • f(0) = 10
  • f(1) = 1010
  • f(2) = 10100 = googol
  • f(3) = 101000
  • f(100) = 1010100 = googolplex.

Les factorielles croissent plus vite que les exponentielles, mais beaucoup plus lentement que les exponentielles doubles. La fonction hyper-exponentielle et la fonction d'Ackermann croissent encore plus vite[1].

L’inverse d’une fonction exponentielle double est un logarithme double.

Sommaire

Suites à croissance exponentielle double

Aho et Sloane remarquèrent que, pour certaines suites entières importantes, chaque terme successif est égal au carré du terme précédent plus une constante. Ils montrèrent que de telles suites peuvent être calculées en arrondissant à l’entier le plus proche les valeurs d’une exponentielle double de la forme : f(x) = a^{2^x} [2].

Les suites d'entiers qui suivent ce schéma sont, en particulier :

F(m) = 2^{2^m}+1
MM(p) = 2^{2^p-1}-1
  • Les termes successifs de la série de Sylvester (suite A000058 de l’OEIS) :
s_n = \left\lfloor E^{2^{n+1}}+\frac12 \right\rfloor
où E ≈ 1.264084735305 est la constante de Vardi (suite A076393 de l’OEIS).
2^{2^n}

Plus généralement, si la nième valeur d'une suite d’entiers est proportionnelle à une fonction exponentielle double de n, Ionescu et Stanica qualifient la série de "presque exponentielle double" et indiquent les conditions selon lesquelles elle peut être calculée comme l’arrondi inférieur (arrondi par troncation) d’une série exponentielle double, plus, éventuellement, un coefficient constant [3].

D’autres suites de ce type sont :

  • Les nombres premiers 2, 11, 1361,... (suite A051254 de l’OEIS)
a(n) = \left\lfloor A^{3^n}\right\rfloor
où A ≈ 1.306377883863 est la constante de Mills.

Applications

Complexité algorithmique

Dans la Théorie de la complexité algorithmique, certains algorithmes sont de complexité exponentielle double :

Théorie des nombres

Certaines limites de la théorie des nombres sont en exponentielle double. Un nombre parfait impair avec n facteur premiers différents, dont on ne sait même pas s’il existe, vaut au moins

2^{4^n}

résultat de Nielsen (2003) [6].

Le nombre de chiffres du plus grand nombre premier connu a évolué selon une exponentielle double en fonction du nombre d’années depuis que l'on dispose d'ordinateurs pour le calculer (c'est-à-dire depuis que Miller et Wheeler déterminèrent un nombre premier de 79 chiffres sur la machine EDSAC1 in 1951 [7].

Biologie théorique

En dynamique des populations, on a émis l’hypothèse que la croissance de la population humaine pouvait être approchée par une fonction exponentielle double. Gurevich and Varfolomeyev [8] ajustèrent expérimentalement la fonction

N(y)=375.6\cdot 1.00185^{1.00737^{y-1000}} \,

où N(y) est la population humaine de l’année y en millions.

Physique

Dans le modèle d’oscilateur TODA de l'auto-pulsation, le logarithme de l’amplitude (pour les grandes amplitudes) croît exponentiellement avec le temps ; ainsi l’amplitude croît-elle selon une double exponentielle du temps [9].

Références

  1. ↑ Sur la comparaison de la croissance des fonctions, voir Comparaison asymptotique.
  2. ↑ (en) A. V. Aho et N. J. A. Sloane, « Some doubly exponential sequences », dans Fibonacci Quarterly, vol. 11, 1973, p. 429-437 
  3. ↑ (en) E. Ionascu et P. Stanica, « Effective asymptotics for some nonlinear recurrences and almost doubly-exponential sequences », dans Acta Mathematica Universitatis Comenianae, vol. LXXIII, no 1, 2004, p. 78-87 
  4. ↑ (en) Deepak Kapur et Paliath Narendran, « Double-exponential complexity of computing a complete set of AC-unifiers », dans Proc. 7th IEEE Symp. Logic in Computer Science (LICS 1992), 1992, p. 11-21 [texte intégral] 
  5. ↑ (en) Jan Johannse et Martin Lange, « CTL+ is complete for double exponential time », dans Proc. 30th Int. Colloq. Automata, Languages, and Programming (ICALP 2003), Springer-Verlag, vol. 2719, 2003, p. 767–775 [texte intégral, lien DOI] 
  6. ↑ (en) Pace P. Nielsen, « An upper bound for odd perfect numbers », dans The Electronic Journal of Combinatorial Number Theory, vol. 3, 2003, p. A14 [texte intégral] 
  7. ↑ (en) J. C. P. Miller et D. J. Wheeler, « Large prime numbers », dans Nature, vol. 168, 1951, p. 838 [lien DOI] 
  8. ↑ (en) S. D. Varfolomeyev et K. G. Gurevich, « The hyperexponential growth of the human population on a macrohistorical scale », dans Journal of Theoretical Biology, vol. 212, no 3, 2001, p. 367–372 [lien DOI] 
  9. ↑ D. Kouznetsov, J.-F. Bisson, J. Li et K. Ueda, « Self-pulsing laser as oscillator Toda: Approximation through elementary functions », dans Journal of Physics A : Mathematical and Theorical, vol. 40, 2007, p. 1–18 [texte intégral, lien DOI] 

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fonction exponentielle double de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Fonction exponentielle — Pour les articles homonymes, voir Exponentielle. Courbe représentative de la fonction En mathématiques, la fon …   Wikipédia en Français

  • Fonction exponentielle étirée — Figure 1. Exemple d’ajustement par une exponentielle étirée (avec β=0,52) d’un ensemble de mesures. À titre de comparaison, le graphique montre aussi l’ajustement par une exponentielle simple et par une exponentielle double. Les données mesurent… …   Wikipédia en Français

  • Approximant de Padé de la fonction exponentielle — Les travaux présentés dans cet article sont l œuvre d Henri Padé, un mathématicien français. En mathématiques, un approximant de Padé de la fonction exponentielle est une fraction rationnelle h(x) / k(x), où h(x) désigne un polynôme de degré p et …   Wikipédia en Français

  • Fonction KWW — Fonction exponentielle étirée Figure 1. Exemple d’ajustement par une exponentielle étirée (avec β=0,52) d’un ensemble de mesures. À titre de comparaison, le graphique montre aussi l’ajustement par une exponentielle simple et par une exponentielle …   Wikipédia en Français

  • Fonction de Kohlrausch-Williams-Watts — Fonction exponentielle étirée Figure 1. Exemple d’ajustement par une exponentielle étirée (avec β=0,52) d’un ensemble de mesures. À titre de comparaison, le graphique montre aussi l’ajustement par une exponentielle simple et par une exponentielle …   Wikipédia en Français

  • EXPONENTIELLE ET LOGARITHME — Pour les constructeurs des premières tables, les logarithmes étaient avant tout un outil de calcul numérique; mais leur importance n’a cessé de croître. Il suffira de feuilleter cette encyclopédie pour constater que, de nos jours, les logarithmes …   Encyclopédie Universelle

  • Fonction Entière — La fonction associant à chaque nombre réel sa partie entière est traitée à l article Partie entière. Voir aussi la page Entier (homonymie). En analyse complexe, une fonction entière est une fonction holomorphe définie sur tout le plan complexe. C …   Wikipédia en Français

  • Fonction entiere — Fonction entière La fonction associant à chaque nombre réel sa partie entière est traitée à l article Partie entière. Voir aussi la page Entier (homonymie). En analyse complexe, une fonction entière est une fonction holomorphe définie sur tout le …   Wikipédia en Français

  • Fonction entière — La fonction associant à chaque nombre réel sa partie entière est traitée à l article Partie entière. Voir aussi la page Entier (homonymie). En analyse complexe, une fonction entière est une fonction holomorphe définie sur tout le plan complexe. C …   Wikipédia en Français

  • Fonction De Répartition — Fonctions de répartition d une variable discrète, d une variable diffuse et d une variable avec atome, mais non discrète. En théorie des probabilités ou en statistiques, la fonction de répartition d une variable aléatoire réelle caractérise la lo …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”