Fonction x puissance x

Représentation graphique de la fonction définie par $f(x)=x^x$ sur ${ℝ}_{+}^{*}$ et son extension à certains rationnels négatifs.

En mathématiques, et plus spécialement en analyse, la fonction x puissance x est la fonction définie sur l'ensemble des réels strictement positifs par

$f(x)=x^x=\exp (x\ln x)$

Parfois nommée en anglais self-exponential function, elle correspond à l'extension à ${ℝ}_{+}^{*}$ de la tétration d'ordre deux.

Elle peut se prolonger en 0, sur certains rationnels négatifs ainsi qu'en une fonction multivaluée de ${ℝ}^{*}$ dans $ℂ$.

Cette fonction est étudiée dès le Modèle:S- quand sont connues les relations liant exponentielles et logarithmes.

Dénominations et notations

Cette fonction porte différents noms selon les articles dans lesquelles elle est étudiée. Dans les versions anglophones, on peut trouver les termes de self exponential ou coupled exponentModèle:Sfn. En relation avec son cas particulier de tétration, on trouve aussi Second-order towering exponentModèle:Sfn. Dans les versions françaises, on peut trouver le terme de surpuissance seconde.

Puisqu'il s'agit de la tétration d'ordre 2 de $x$, on peut rencontrer les notations $f(x)=x^x={}^{2}x$ ou, selon la notation des puissances itérées de Knuth, $f(x)=x\uparrow \uparrow 2$. Fantini et Koepfler la notentModèle:Sfn $f(x)=\mathrm{c}\mathrm{x}\mathrm{t}(x).$

Étude sur l'ensemble des réels strictement positifs

Définition

La fonction $f:R_{\mathbb{+}}^{\mathbb{*}}\to ℝ$ est définie par : $x\mapsto x^x$. Pour l'étudier, il est souvent commode de la réécrire avec les fonctions exponentielle et logarithme naturel :

$\mathrm{\forall }x>0,f(x)=x^x={\mathrm{e}}^{x\ln x}.$

Limite en 0

L'indétermination de la limite en 0 se lève en passant par la forme exponentielle et par croissance comparée :

$\underset{x\to 0^{+}}{\lim }{x}^x=\underset{x\to 0^{+}}{\lim }{\mathrm{e}}^{x\ln x}=\underset{x\to 0^{+}}{\lim }{\mathrm{e}}^x=1.$

Dérivée

La dérivée de la fonction s'obtient en dérivant $x\mapsto {\mathrm{e}}^{x\ln x}$ :

$f^{\prime }(x)={\mathrm{e}}^{x\ln x}(\ln x+1)$.

Variations et minimum

La dérivée est de même signe que $\ln x+1$, fonction strictement croissante qui s'annule en $\frac{1}{\mathrm{e}}$. La fonction $x\mapsto x^x$ est donc strictement décroissante sur $]0;\frac{1}{\mathrm{e}}]$, strictement croissante sur $[\frac{1}{\mathrm{e}};+\mathrm{\infty }[$, et possède un minimum atteint en Modèle:Nobr qui vaut Modèle:Nobr.

Croissances comparées

La fonction Modèle:Math croît plus rapidement que chacune des fonctions Modèle:Math.

C'est-à-dire que $\underset{x\to +\mathrm{\infty }}{\lim }\frac{x^x}{a^x}=+\mathrm{\infty }.$

La suite $(n^n)$ croit même plus vite que $(n!)$. La formule de Stirling donne un équivalent de $n!$ en fonction de $n^n:$ Modèle:Retrait

Fonction réciproque

Les équations $(1):a^t=t$ et $(2):x^x=b$ sont liées par la relation suivante : Modèle:Retrait soit encore Modèle:Retrait

C'est donc à l'aide de l'équation (1) que sont d'abord cherchées les solutions de l'équation (2).

L'étude de la fonction W de Lambert multivaluée permet d'offrir une nouvelle expression de la fonction réciproque de $f$ : Pour Modèle:Math donné, on a :

$x^x=y⟺x=\exp (W(\ln y))$

où Modèle:Mvar désigne la fonction W de Lambert.

Plus exactement, la fonction de Lambert possède deux branches réelles :

• $W_0$, définie sur $[-1/\mathrm{e};+\mathrm{\infty }[$ à valeurs dans $[-1;+\mathrm{\infty }[$, qui permet d'exprimer la réciproque de $f$ considérée comme une bijection croissante de $[1/\mathrm{e};+\mathrm{\infty }[$ sur $[\exp (-1/\mathrm{e});+\mathrm{\infty }[;$
• $W_{-1}$, définie sur $[-1/\mathrm{e};0[$ à valeurs dans $]-\mathrm{\infty };-1]$, qui permet d'exprimer la réciproque de $f$ considérée comme une bijection décroissante de $]0;1/e]$ sur $[\exp (-1/\mathrm{e});1[.$

Fantini et Kloepfer ont nommé cette réciproque Modèle:Lang (racine de l'exposant couplé) et l'ont notée $\mathrm{c}\mathrm{r}\mathrm{t}$Modèle:Sfn.

Intégration

La primitive de $f$ n'est pas une fonction élémentaire. Cette propriété se démontre grâce au théorème de Liouville.

Mais l'intégrale de $f$ sur l'intervalle $[0;1]$ offre un développement en série remarquable. Ce résultat porte le nom de rêve du deuxième année. Modèle:Retrait

Prolongements

En 0

La fonction se prolonge par continuité en 0 par passage à la limite, en posant: Modèle:Retrait. Mais la fonction prolongée n'est pas dérivable en 0 et la courbe possède en ce point l'axe des ordonnées comme tangente.

Sur les rationnels négatifs

Il est possible, à partir des fonctions racines n-ièmes, d'étendre la définition des fonctions puissances à tout exposant rationnel comme suit : Modèle:Retrait

Cette expression a un sens pour tout réel négatif dès que $q$ est impair. Il est donc possible de définir $f(-p/q)$ pour tout $p$ entier naturel non nul et tout $q$ entier naturel impair premiers entre euxModèle:Sfn. Modèle:Retrait

• pour p pair, cette expression s'écrit $f(r)=f(-p/q)=(\sqrt[q]{p/q}{)}^{-p}={(p/q)}^{-p/q}=|r{|}^r$.
• pour p impair, cette expression s'écrit $f(r)=f(-p/q)=-(\sqrt[q]{p/q}{)}^{-p}=-{(p/q)}^{-p/q}=-|r{|}^r$.

Comme fonction de l'ensemble des réels sur l'ensemble des complexes

Représentation graphique (partielle) de la partie réelle de la fonction multivaluée $x\mapsto x^x$ de ${ℝ}^{*}$ dans $ℂ$

En utilisant le logarithme complexe il est possible de l'étendre en une fonction multivaluée sur tout le plan complexeModèle:Sfn.

Pour tout $x$, $\ln (x)=\ln (|x|)+\mathrm{i}(\theta +2k\pi )$ où $\theta$ est un argument de x. Donc: Modèle:Retrait

• Tout réel positif possède un argument nul et $x^x=|x{|}^x(\cos (2k\pi x)+\mathrm{i}\sin (2k\pi x)$
• Tout réel négatif possède un argument égal à $\pi$ et $x^x=|x{|}^x(\cos ((2k+1)\pi x)+\mathrm{i}\sin ((2k+1)\pi x)$

Cette fonction de ${ℝ}^{*}$ dans $ℂ$ peut se représenter dans l'espace par l'ensemble des points de coordonnées $(x,\mathrm{\Re }(x^x),\mathrm{\Im }(x^x))$.

Tous ces points sont sur un fuseau, obtenu par la rotation de la courbe d'équation $y=|x{|}^x$ autour de l'axe des abscisses. Pour chaque valeur de $k$, ces points décrivent une courbe spiralant sur ce fuseau. Dans le graphique ci-dessus, sont dessinées les spirales pour $k\in [[-4;4]]$.

Ces points sont inégalement répartis, selon que $x$ est rationnel ou irrationnelModèle:Sfn. Les points du graphe d'abscisse $x$ sont toujours sur un cercle de rayon $|x{|}^x$.

• pour $x$ irrationnel, les points sont denses sur le cercle;
• pour $x=r=p/q$ (fraction irréductible), il y a exactement $q$ points sur le cercle. En particulier, chaque entier relatif non nul a une unique image par cette fonction.
  • pour $r>0$, il y a parmi ces points
    • un point correspondant à un réel positif si $q$ est impair;
    • deux points correspondant à deux réels opposés si $q$ est pair.
  • pour $r<0$, il y a,
    • aucun point correspondant à des réels si $q$ est pair;
    • un seul point correspondant à un réel si $q$ est impair, ce réel étant positif ou négatif selon la parité de $p$.

Repères historiques

L'idée d'une expression comme $x^x$ précède l'étude des relations entre exponentielle et logarithme. Elle nait d'une généralisation de la puissance rationnelle à un exposant réel, puis de l'idée que l'exposant pourrait être aussi une variable. Cette généralisation est le fait de Newton et de Leibniz. À cette époque, la notation est seulement symbolique sans que soit défini avec précision comment pourrait se calculer et s'étudier de telles formes. Ainsi voit-on Leibniz s'interroger en 1679 sur le sens à donner à une équation comme $x^x-x=27$ et sur les méthodes à mettre en place pour la résoudreModèle:SfnModèle:,

La fonction en elle-même est étudiée par Leibniz et Jean Bernoulli à partir de 1694. Ils font le lien entre $x^x$ et $\exp (x\ln x)$, construisent points par points sa courbe représentative à l'aide de la courbe logarithmique et en tracent ses tangentes en remarquant que la sous-tangente au point d'abscisse $x$ est $\frac{1}{1+\ln (x)}$Modèle:,.

C'est également Bernoulli qui établit en 1697 la formule dite du rêve du deuxième annéeModèle:, : $\underset{0}{\overset{1}{\int }}{x}^x\mathrm{d}x=\sum _{n=1}^{+\mathrm{\infty }}\frac{(-1{)}^{n-1}}{n^n}$. Pour cela, il utilise le développement de $x^x$ sous la forme suivante : Modèle:Retrait et intègre chacun des termes par une intégration par parties.

À la même époque, Euler démontre que la tour de puissance $x$, $x^x$, $x^{x^x}$, ..., ${}^{n}x$, ... soit la n-ième surpuissance de $x$ converge pour tout $x$ appartenant à $]\frac{1}{f(\mathrm{e})};\frac{1}{f(1/\mathrm{e})}[$ et que la limite $y$ est solution de l'équation $x=y^{1/y}=\frac{1}{f(1/y)}$ soit $1/x=f(1/y)$ fournissant ainsi un outil pour résoudre l'équation « $a=f(t)$ »Modèle:Sfn.

En 1844, Gotthold Eisenstein développe en série la réciproque de la fonction $f$ et donne une valeur approchée de $f^{-1}(n)$ pour tous les entiers de 1 à 40, et pour quelques dizainesModèle:SfnModèle:, Modèle:Retrait

La fonction W de Lambert, pressentie en 1758, est étudiée au cours du Modèle:S-.

Bibliographie

• Modèle:Article

Liens externes

• La fonction y=x^x sur WolframAlpha
• Modèle:Lien web

Voir aussi

• Tétration
• Rêve du deuxième année
• Fonction W de Lambert