Tétration

En mathématiques, la tétration (ou encore nappe exponentielle, hyperpuissance, tour de puissances, super-exponentiation ou hyper4) est une « exponentiation itérée ». C'est le premier hyperopérateur après l'exponentiation.

Le mot-valise tétration a été forgé par Reuben Goodstein sur la base du préfixe tétra- (quatre) et itération. La tétration est utilisée pour l'écriture des grands nombres. Elle suit l'addition, la multiplication et l'exponentiation comme indiqué ci-après :

1. addition

   ${{a+b=\ } \atop {\ }}{a+{\underbrace {1+\cdots +1} } \atop b{\text{ termes}}}$

2. multiplication

   ${{a\times b=\ } \atop {\ }}{{\underbrace {a+a+\cdots +a} } \atop b{\text{ termes}}}$

3. exponentiation

   ${{a^{b}=\ } \atop {\ }}{\underbrace {a\times a\times \cdots \times a} \atop b{\text{ facteurs}}}$

4. tétration

   ${\ ^{b}a=\ \atop {\ }}{\underbrace {a^{a^{\cdot ^{\cdot ^{a}}}}} \atop b{\text{ copies de }}a}$

avec chaque fois b apparitions de la lettre a. La multiplication (a × b) peut être vue comme (b-1) itérations de l'opération "ajouter a", l'exponentiation (a^b) comme (b-1) itérations de l'opération "multiplier par a" donc b apparitions de la lettre a. De manière analogue, la tétration (^ba) peut être considérée comme (b-1) itérations de l'opération "élever à la puissance a".

On remarquera que lorsque l'on évalue une exponentiation à niveaux multiples, l'exponentiation est effectuée au niveau le plus « profond » en premier lieu (en notation, au niveau le plus élevé), c'est-à-dire de la droite vers la gauche. En d'autres termes :

$\ ^{4}2=2^{2^{2^{2}}}=2^{\left(2^{\left(2^{2}\right)}\right)}=2^{\left(2^{4}\right)}=2^{16}=65\,536$

$2^{2^{2^{2}}}$ n'est pas égal à $\!\left({\left(2^{2}\right)}^{2}\right)^{2}=2^{2\times 2\times 2}=256$.

Ceci est la règle générale pour l'ordre des opérations impliquant une exponentiation répétée.

Notations

Afin de généraliser le premier cas ci-dessus (calcul des puissances de la droite vers la gauche) de la tétration à des valeurs non entières, une nouvelle notation est nécessaire. Le second cas (calcul de la gauche vers la droite) peut être également écrit : $\left(\left(2^{2}\right)^{2}\right)^{2}=2^{2\times 2\times 2}=2^{2^{3}}$, donc l'écriture de sa forme générale utilise toujours une notation d'exponentiation ordinaire.

Les notations dans lesquelles une tétration peut être notée (parmi celles permettant même des niveaux d'itérations plus élevés) incluent :

• la notation standard : ^ba, utilisée en premier lieu par Hans Maurer ; cette notation a été popularisée par le livre de Rudy Rucker, Infinity and the Mind.
• la notation des puissances itérées de Knuth : $a\uparrow \uparrow b$ — peut être étendue en utilisant plus de flèches (ou de manière équivalente, une flèche indexée).
• la notation des flèches chaînées de Conway : $a\rightarrow b\rightarrow 2$ — peut être étendue en augmentant le nombre 2 (équivalentes avec les extensions au-dessus), mais aussi, de manière plus performante, en étendant la chaîne.
• la notation hyper4 : $a^{(4)}b=\operatorname {hyper4} (a,b)=\operatorname {hyper} (a,4,b)$ — peut-être étendue en augmentant le nombre 4 ; cela donne la famille des hyper opérateurs.

Le cas particulier a = 2 peut s'écrire avec la fonction d'Ackermann :

$2\uparrow \uparrow b=\operatorname {A} (4,b-3)+3$,

c.-à-d. $\operatorname {A} (4,n)=2\uparrow \uparrow (n+3)-3$.

La flèche vers le haut est utilisée de manière identique au signe d'omission, ce qui fait que l'opérateur tétration peut être écrit comme ^^ en ASCII : a^^b.

Définition formelle

Pour un nombre réel a > 0 et un entier naturel n, on définit $^{n}a=a\uparrow \uparrow n$ par récurrence :

$^{0}a=a\uparrow \uparrow 0=1$ ;

$^{n+1}a=a\uparrow \uparrow (n+1)=a^{a\uparrow \uparrow n}$.

Exemples

(Les exemples écrits avec virgule sont approchés)

n = n↑↑1	n↑↑2	n↑↑3	n↑↑4
1	1	1	1
2	4	16	65 536
3	27	7,63×1012	$10^{3{,}64\times 10^{12}}$
4	256	1,34 × 10154	$10^{8{,}07\times 10^{153}}$
5	3 125	1,91 × 102 184	$10^{1{,}34\times 10^{2\,184}}$
6	46 656	2,70 × 1036 305	$10^{2{,}07\times 10^{36\,305}}$
7	823 543	3,76 × 10695 974	$10^{3{,}18\times 10^{695\,974}}$
8	16 777 216	6,01 × 1015 151 335	$10^{5{,}43\times 10^{15\,151\,335}}$
9	387 420 489	4,28 × 10369 693 099	$10^{4{,}09\times 10^{369\,693\,009}}$
10	10 000 000 000	1010 000 000 000	$10^{10^{10^{10}}}$

Extension à la valeur − 1 du second opérande

En utilisant la relation $n\uparrow \uparrow k=\log _{n}\left(n\uparrow \uparrow (k+1)\right)$ (déduite de la définition de la tétration), on peut définir les valeurs pour $n\uparrow \uparrow k$ pour $k\in \{-1,0,1\}$.

${\begin{matrix}n\uparrow \uparrow 1&=&\log _{n}\left(n\uparrow \uparrow 2\right)&=&\log _{n}\left(n^{n}\right)&=&n\log _{n}n&=&n\\n\uparrow \uparrow 0&=&\log _{n}\left(n\uparrow \uparrow 1\right)&=&\log _{n}n&&&=&1\\n\uparrow \uparrow -1&=&\log _{n}\left(n\uparrow \uparrow 0\right)&=&\log _{n}1&&&=&0\end{matrix}}$

Cela confirme la définition intuitive de $n\uparrow \uparrow 1$ comme étant simplement n. Cependant, on ne peut plus définir plus de valeurs par itération supplémentaire de cette manière, puisque $n\uparrow \uparrow -2=\log _{n}(n\uparrow \uparrow -1)=\log _{n}0$ n'est pas défini.

Extension à la valeur 0 de la base

$1\uparrow \uparrow n$ peut être défini sans problème comme étant égal à 1. Puisque $\log _{1}x$ est indéfini ($\log _{1}x={\begin{matrix}{\frac {\log x}{\log 1}}\end{matrix}}$), la définition donnée ci-dessus $n\uparrow \uparrow {-1}=\log _{n}(n\uparrow \uparrow 0)$ ne peut être utilisée lorsque n = 1 et $1\uparrow \uparrow {-1}$ doit rester une quantité non définie.

Parfois, 0⁰ est considéré comme quantité indéfinie. Dans ce cas, les valeurs pour $0\uparrow \uparrow k$ peuvent être définies par la limite $\lim _{x\rightarrow 0}x\uparrow \uparrow k$ qui existe et vaut :

$\lim _{x\rightarrow 0}x\uparrow \uparrow k={\begin{cases}1&{\mbox{ pour }}k{\mbox{ pair}}\\0&{\mbox{ pour }}k{\mbox{ impair}}\end{cases}}$

$0\uparrow \uparrow k$ peut être définie en termes de cette limite et est en accord avec la définition de $0^{0}=1$.

Extension de la tétration à des valeurs réelles positives de la base

Représentation graphique de la fonction ${\begin{aligned}f_{n}(x)&={}^{n}\!x\end{aligned}}$ pour de petites valeurs de n.

L'extension de $x\uparrow \uparrow b$ aux nombres réels $x>0$ est relativement simple et donne, pour chaque nombre entier naturel n, une fonction super-puissance $\operatorname {f} _{n}(x)=x\uparrow \uparrow n$ (le préfixe super est parfois remplacé par hyper : fonction hyper-puissance).

Comme indiqué précédemment, pour les entiers positifs n, la fonction tend vers 1 pour x tendant vers 0 si n est pair, et vers 0 si n est impair, alors que pour $n=0$ et $n=-1$, la fonction est constante, avec pour valeur 1 et 0, respectivement.

Extension de la tétration à des bases complexes

Puisqu'un nombre complexe peut être élevé à une puissance complexe en utilisant la branche principale du logarithme complexe, la tétration peut être appliquée aux nombres de la forme $a+b\,\mathrm {i}$, dans lesquels i est l'unité imaginaire.

Ainsi, calculons, par exemple, $z\uparrow \uparrow k$ dans lequel $z=\mathrm {i}$. L'exponentiation est effectuée en utilisant la branche principale du logarithme complexe, et l'on a la relation :

$\mathrm {i} ^{a+b\mathrm {i} }=\mathrm {e} ^{{\mathrm {i} \pi \over 2}(a+b\mathrm {i} )}=\mathrm {e} ^{-{b\pi \over 2}}\left(\cos {a\pi \over 2}+\mathrm {i} \sin {a\pi \over 2}\right)$

Ce qui suggère une définition par récurrence pour $\mathrm {i} \uparrow \uparrow (k+1)=a'+b'\,\mathrm {i}$ lorsque $\mathrm {i} \uparrow \uparrow k=a+b\,\mathrm {i}$ :

$a'=\mathrm {e} ^{-{b\pi \over 2}}\cos {a\pi \over 2}$

$b'=\mathrm {e} ^{-{b\pi \over 2}}\sin {a\pi \over 2}$

On en déduit les valeurs approchées suivantes ($\mathrm {i} \uparrow z$ est l'exponentiation $\mathrm {i} ^{z}$). :

• $\mathrm {i} \uparrow \uparrow 1=\mathrm {i}$
• $\mathrm {i} \uparrow \uparrow 2=\mathrm {i} \uparrow \left(i\uparrow \uparrow 1\right)\approx 0{,}2079$
• $\mathrm {i} \uparrow \uparrow 3=\mathrm {i} \uparrow \left(i\uparrow \uparrow 2\right)\approx 0{,}9472+0{,}3208\,\mathrm {i}$
• $\mathrm {i} \uparrow \uparrow 4=\mathrm {i} \uparrow \left(i\uparrow \uparrow 3\right)\approx 0{,}0501+0{,}6021\,\mathrm {i}$
• $\mathrm {i} \uparrow \uparrow 5=\mathrm {i} \uparrow \left(i\uparrow \uparrow 4\right)\approx 0{,}3872+0{,}0305\,\mathrm {i}$
• $\mathrm {i} \uparrow \uparrow 6=\mathrm {i} \uparrow \left(i\uparrow \uparrow 5\right)\approx 0{,}7823+0{,}5446\,\mathrm {i}$
• $\mathrm {i} \uparrow \uparrow 7=\mathrm {i} \uparrow \left(i\uparrow \uparrow 6\right)\approx 0{,}1426+0{,}4005\,\mathrm {i}$
• $\mathrm {i} \uparrow \uparrow 8=\mathrm {i} \uparrow \left(i\uparrow \uparrow 7\right)\approx 0{,}5198+0{,}1184\,\mathrm {i}$
• $\mathrm {i} \uparrow \uparrow 9=\mathrm {i} \uparrow \left(i\uparrow \uparrow 8\right)\approx 0{,}5686+0{,}6051\,\mathrm {i}$

La résolution de la relation $\mathrm {i} \uparrow \uparrow (k+1)=\mathrm {i} \uparrow (\mathrm {i} \uparrow \uparrow k)$ conduit aux relations attendues $\mathrm {i} \uparrow \uparrow 0=1$ et $\mathrm {i} \uparrow \uparrow -1=0$.

Dans le plan complexe, la suite $\mathrm {i} \uparrow \uparrow n$ converge en spirale (voir infra). De telles suites de tétration ont été étudiées depuis l'époque d'Euler mais sont très peu comprises en raison de leur comportement chaotique. Les recherches les plus publiées se sont historiquement concentrées sur la convergence de la fonction de tour de puissances. La recherche actuelle a grandement bénéficié du progrès de puissantes stations de calcul avec des supports logiciel en mathématiques symboliques et fractales. La plupart de ce qui est connu sur la tétration vient de la connaissance générale de la dynamique complexe et de la recherche spécifique sur les nappes exponentielles.

Extension de la tétration à des valeurs réelles > − 2 du second opérande

À ce jour, il n'existe pas de solution communément acceptée pour le problème général d'extension de la tétration aux nombres réels et complexes, bien que cela soit un champ de recherche actif.

Considérons le problème de trouver une fonction super-exponentielle ou une fonction hyper-exponentielle

$\operatorname {f} (x)=a\uparrow \uparrow x$

qui est une extension au réel $x>-2$ de ce qui est défini précédemment, et qui satisfait :

• $a\uparrow \uparrow (x+1)=a^{\left(a\uparrow \uparrow x\right)}$ ;
• f est croissante (pour $a>1$) ;
• f est continue.

Graphes des fonctions $f(x)=\,^{x}\mathrm {a}$ définies en utilisant une interpolation affine entre − 1 et 0.

Lorsque $x\mapsto a\uparrow \uparrow x$ est définie sur un intervalle de longueur unitaire, on peut définir la fonction dans son ensemble pour tout $x>-2$, par récurrence.

Une solution simple est donnée par l'interpolation affine entre − 1 et 0 :

$a\uparrow \uparrow x=x+1$ pour $-1\leqslant x\leqslant 0$,

par conséquent :

$\,\!a\uparrow \uparrow x=\log _{a}{(x+1)}$ pour $-2<x\leqslant -1$

$a\uparrow \uparrow x=a^{x}$ pour $0\leqslant x\leqslant 1$,

$\,\!a\uparrow \uparrow x=a^{a^{(x-1)}}$ pour $1<x<2$

$\,\!a\uparrow \uparrow x=a^{a\uparrow \uparrow {(x-1)}}$ pour $x>2$, etc.

Cependant, si a ≠ e, la fonction ainsi définie est seulement dérivable par morceaux : à des valeurs entières de x, la dérivée est multipliée par $\ln a$ entre deux intervalles :

$10\uparrow \uparrow 0{,}99=9{,}77$,

$10\uparrow \uparrow 1=10$,

$10\uparrow \uparrow 1{,}01=10{,}55$.

D'autres fonctions, plus compliquées, peuvent être plus régulières ou satisfont des propriétés additionnelles (fonction analytique, ou fonction prolongeable en une fonction holomorphe, etc.).

Une fonction super-exponentielle croît plus vite qu'une fonction exponentielle double.

Par exemple, si a = 10 :

• $\operatorname {f} (-1)=0$
• $\operatorname {f} (0)=1$
• $\operatorname {f} (0{,}3)\approx 2$
• $\operatorname {f} (1)=10$
• $\operatorname {f} (1{,}3)\approx 10^{2}$
• $\operatorname {f} (2)=10^{10}$
• $\operatorname {f} (2{,}3)\approx 10^{100}$ (googol)
• $\operatorname {f} (3)=10^{10^{10}}$
• $\operatorname {f} (3{,}3)\approx 10^{10^{100}}$ (googolplex)

Lorsque l'on définit $a\uparrow \uparrow x$ pour tout a, une autre condition requise peut être que $a\uparrow \uparrow x$ est croissante avec a.

Opérations inverses de la tétration : super-logarithmes

Les fonctions réciproques de la tétration relativement à la base ou relativement au deuxième opérande sont appelées respectivement super-racines ou hyper-racines, et super-logarithme ou hyper-logarithme.

La bijection réciproque de la fonction super-exponentielle $\operatorname {f} (x)=a\uparrow \uparrow x$ est définie, si a > 1, pour tous les nombres réels, y compris les nombres négatifs.

La fonction super-logarithme $\mathrm {slog} _{a}$ vérifie :

$\mathrm {slog} _{a}(a\uparrow \uparrow x)=\mathrm {slog} _{a}(^{x}a)=x$

$a\uparrow \uparrow (\mathrm {slog} _{a}x)=^{\mathrm {slog} _{a}x}a=x$

$\mathrm {slog} _{a}1=0$

$\mathrm {slog} _{a}a=1$

$\mathrm {slog} _{a}0=-1$

$\mathrm {slog} _{a}a^{x}=1+\mathrm {slog} _{a}x$

$\mathrm {slog} _{a}x=-1+\mathrm {slog} _{a}a^{x}$

$\mathrm {slog} _{a}x=1+\mathrm {slog} _{a}\log _{a}x\,$ si x > 0

$\mathrm {slog} _{a}x>-2$

Dans le paragraphe précédent on a défini :

$a\uparrow \uparrow x=x+1$ pour $-1<x<0$,

$a\uparrow \uparrow x=a^{x}$ pour $0<x<1$,

Par conséquent (avec a > 1)

$\mathrm {slog} _{a}x=\log _{a}x,\,$ si $\,1<x\leqslant a$ (on interpole par une fonction logarithme entre 1 et a) :

$\mathrm {slog} _{a}x=-1+x,\,$ si $\,0<x\leqslant 1$ (on interpole par une fonction affine entre 0 et 1) :

$\mathrm {slog} _{a}x=-1+\mathrm {slog} _{a}a^{x}=-2+a^{x},\,$ si $x\leqslant 0$.

Exemples :

• $\mathrm {slog} _{10}3=\log _{10}3\approx 0{,}477$ ;
• $\mathrm {slog} _{10}10^{-3}=-1+10^{-3}=-0{,}999$ ;
• $\mathrm {slog} _{10}(-3)=-1+\mathrm {slog} _{10}10^{-3}=-1+(-0{,}999)=-1{,}999$ ;
• $\mathrm {slog} _{10}10^{6\times 10^{23}}=1+\mathrm {slog} _{10}(6\times 10^{23})\approx 2+\mathrm {slog} _{10}23{,}778\approx 3+\mathrm {slog} _{10}1{,}376=3+\log _{10}1{,}376\approx 3{,}139$.

Tours de puissances infiniment hautes

Graphe de la fonction $f(x)={^{\infty }}x$.

La suite ${\sqrt {2}}\uparrow \uparrow n={\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{\;.^{\;.^{\;.}}}}}}$ converge vers 2. La tendance vers 2 peut être perçue en évaluant une petite tour finie :

${\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{1{,}41}}}}}\approx {\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{1{,}63}}}}\approx {\sqrt {2}}^{{\sqrt {2}}^{{\sqrt {2}}^{1{,}76}}}\approx {\sqrt {2}}^{{\sqrt {2}}^{1{,}84}}\approx {\sqrt {2}}^{1{,}89}\approx 1{,}93$.

En général, la tour de puissances $\left(^{n}x\right)$ converge si, et seulement si, $\mathrm {e} ^{-\mathrm {e} }\leq x\leq \mathrm {e} ^{1/\mathrm {e} }$.

Pour un réel quelconque r avec $\mathrm {e} ^{-1}\leq r\leq \mathrm {e}$, si $x=r^{1/r}$, alors la limite $^{\infty }x=x^{x^{x^{..}}}$ de $\left(^{n}x\right)$ est r.

La fonction $x\mapsto r={^{\infty }x}$ peut être étendue aux nombres complexes z avec la définition :

$^{\infty }z=-{\frac {\mathrm {W} _{0}(-\operatorname {Log} z)}{\operatorname {Log} z}}$ pour z ≠ 1,

où $\mathrm {W} _{0}$ est la branche principale de la fonction W de Lambert et Log est celle du logarithme complexe.

Par exemple :

$^{\infty }\mathrm {i} ={\frac {2\mathrm {i} }{\pi }}\;W_{0}\left(-{\frac {\pi \mathrm {i} }{2}}\right)$ ≈ 0,4383 + 0,3606 i (suites  A077589 et  A077590 de l'OEIS), de module ${\frac {2}{\pi }}\left|W_{0}\left(-{\frac {\pi \mathrm {i} }{2}}\right)\right|$ ≈ 0,567 555 ( A212479).

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Tetration » (voir la liste des auteurs).

Voir aussi

Article connexe

Fonction d'Ackermann

Bibliographie

• (en) Reuben Louis Goodstein, « Transfinite ordinals in recursive number theory », Journal of Symbolic Logic, vol. 12,‎ 1947
• (en) R. Arthur Knoebel, « Exponentials reiterated », American Mathematical Monthly, vol. 88,‎ 1981, p. 235-252 (lire en ligne)
• (en) Jonathan Sondow et Diego Marques, « Algebraic and transcendental solutions of some exponential equations », Annales Mathematicae et Informaticae, vol. 37,‎ 2010, p. 151-164 (lire en ligne)

Liens externes

• (en) I. Galidakis et E. Weisstein, « PowerTower », sur MathWorld
• (en) I. N. Galidakis, « A Continuous Extension For the Hyper4 Operator », sur ioannis.virtualcomposer2000.com (version du 20 mai 2009 sur Internet Archive) (non daté, 2006 ou plus tôt ; une exposition plus simple, plus facile à lire que la référence suivante)
• (en) I. N. Galidakis, « On Extending hyper4 and Knuth's Up-arrow Notation to the Reals », sur ioannis.virtualcomposer2000.com (version du 25 mai 2006 sur Internet Archive)
• (en) I. N. Galidakis, « Mathematics », sur ioannis.virtualcomposer2000.com (version du 20 avril 2009 sur Internet Archive) (liste de références à la recherche sur la tétration. Informations nombreuses sur la fonction W de Lambert, les surfaces de Riemann et le prolongement analytique)
• (en) Daniel Geisler, tetration.org
• (en) Albert Gural, « Infinite Power Towers », sur albertgural.com
• (en) Joseph MacDonell, « Some Critical Points of the Hyperpower Function y = xx.. »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)}, sur faculty.fairfield.edu/jmac
• (en) Robert Munafo, « My Extension of the hyper4 Function to Real-Valued Arguments », sur mrob.com
• (en) Andrew Robbins, « Solving for the Analytic Piecewise Extension of Tetration and the Super-logarithm », sur tetration.itgo.com (version du 1^er février 2009 sur Internet Archive)
• (en) Lode Vandevenne, « Tetration of the Square Root of Two », sur groups.google.com/forum/#!topic/sci.math/, 2004 (essai d'extension de la tétration aux nombres réels)