Equation x^y = y^x

An infinite set of trivial solutions in positive real numbers is given by ${\displaystyle x=y.}$ Nontrivial solutions can be written explicitly using the Lambert W function. The idea is to write the equation as ${\displaystyle ae^{b}=c}$ and try to match ${\displaystyle a}$ and ${\displaystyle b}$ by multiplying and raising both sides by the same value. Then apply the definition of the Lambert W function ${\displaystyle a'e^{a'}=c'\Rightarrow a'=W(c')}$ to isolate the desired variable.

${\displaystyle {\begin{aligned}y^{x}&=x^{y}=\exp \left(y\ln x\right)&\\y^{x}\exp \left(-y\ln x\right)&=1&\left({\mbox{multiply by }}\exp \left(-y\ln x\right)\right)\\y\exp \left(-y{\frac {\ln x}{x}}\right)&=1&\left({\mbox{raise by }}1/x\right)\\-y{\frac {\ln x}{x}}\exp \left(-y{\frac {\ln x}{x}}\right)&={\frac {-\ln x}{x}}&\left({\mbox{multiply by }}{\frac {-\ln x}{x}}\right)\end{aligned}}}$

${\displaystyle \Rightarrow -y{\frac {\ln x}{x}}=W\left({\frac {-\ln x}{x}}\right)}$

${\displaystyle \Rightarrow y={\frac {-x}{\ln x}}\cdot W\left({\frac {-\ln x}{x}}\right)=\exp \left(-W\left({\frac {-\ln x}{x}}\right)\right)}$

Where in the last step we used the identity ${\displaystyle W(x)/x=\exp(-W(x))}$.

Here we split the solution into the two branches of the Lambert W function and focus on each interval of interest, applying the identities:

${\displaystyle {\begin{aligned}W_{0}\left({\frac {-\ln x}{x}}\right)&=-\ln x\quad &{\text{for }}&0<x\leq e,\\W_{-1}\left({\frac {-\ln x}{x}}\right)&=-\ln x\quad &{\text{for }}&x\geq e.\end{aligned}}}$

• ${\displaystyle 0<x\leq 1}$:

${\displaystyle \Rightarrow {\frac {-\ln x}{x}}\geq 0}$

${\displaystyle {\begin{aligned}\Rightarrow y&=\exp \left(-W_{0}\left({\frac {-\ln x}{x}}\right)\right)\\&=\exp \left(-(-\ln x)\right)\\&=x\end{aligned}}}$

• ${\displaystyle 1<x<e}$:

${\displaystyle \Rightarrow {\frac {-1}{e}}<{\frac {-\ln x}{x}}<0}$

${\displaystyle \Rightarrow y={\begin{cases}\exp \left(-W_{0}\left({\frac {-\ln x}{x}}\right)\right)=x\\\exp \left(-W_{-1}\left({\frac {-\ln x}{x}}\right)\right)\end{cases}}}$

• ${\displaystyle x=e}$:

${\displaystyle \Rightarrow {\frac {-\ln x}{x}}={\frac {-1}{e}}}$

${\displaystyle \Rightarrow y={\begin{cases}\exp \left(-W_{0}\left({\frac {-\ln x}{x}}\right)\right)=x\\\exp \left(-W_{-1}\left({\frac {-\ln x}{x}}\right)\right)=x\end{cases}}}$

• ${\displaystyle x>e}$:

${\displaystyle \Rightarrow {\frac {-1}{e}}<{\frac {-\ln x}{x}}<0}$

${\displaystyle \Rightarrow y={\begin{cases}\exp \left(-W_{0}\left({\frac {-\ln x}{x}}\right)\right)\\\exp \left(-W_{-1}\left({\frac {-\ln x}{x}}\right)\right)=x\end{cases}}}$

Hence the non-trivial solutions are:

Nontrivial solutions can be more easily found by assuming ${\displaystyle x\neq y}$ and letting ${\displaystyle y=vx.}$ Then

${\displaystyle (vx)^{x}=x^{vx}=(x^{v})^{x}.}$

Raising both sides to the power ${\displaystyle {\tfrac {1}{x}}}$ and dividing by ${\displaystyle x}$, we get

${\displaystyle v=x^{v-1}.}$

Then nontrivial solutions in positive real numbers are expressed as the parametric equation

The full solution thus is ${\displaystyle (y=x)\cup \left(v^{1/(v-1)},v^{v/(v-1)}\right){\text{ for }}v>0,v\neq 1.}$

Based on the above solution, the derivative ${\displaystyle dy/dx}$ is ${\displaystyle 1}$ for the ${\displaystyle (x,y)}$ pairs on the line ${\displaystyle y=x,}$ and for the other ${\displaystyle (x,y)}$ pairs can be found by ${\displaystyle (dy/dv)/(dx/dv),}$ which straightforward calculus gives as:

${\displaystyle {\frac {dy}{dx}}=v^{2}\left({\frac {v-1-\ln v}{v-1-v\ln v}}\right)}$

for ${\displaystyle v>0}$ and ${\displaystyle v\neq 1.}$

Setting ${\displaystyle v=2}$ or ${\displaystyle v={\tfrac {1}{2}}}$ generates the nontrivial solution in positive integers, ${\displaystyle 4^{2}=2^{4}.}$

Other pairs consisting of algebraic numbers exist, such as ${\displaystyle {\sqrt {3}}}$ and ${\displaystyle 3{\sqrt {3}}}$, as well as ${\displaystyle {\sqrt[{3}]{4}}}$ and ${\displaystyle 4{\sqrt[{3}]{4}}}$.

The parameterization above leads to a geometric property of this curve. It can be shown that ${\displaystyle x^{y}=y^{x}}$ describes the isocline curve where power functions of the form ${\displaystyle x^{v}}$ have slope ${\displaystyle v^{2}}$ for some positive real choice of ${\displaystyle v\neq 1}$. For example, ${\displaystyle x^{8}=y}$ has a slope of ${\displaystyle 8^{2}}$ at ${\displaystyle ({\sqrt[{7}]{8}},{\sqrt[{7}]{8}}^{8}),}$ which is also a point on the curve ${\displaystyle x^{y}=y^{x}.}$

The trivial and non-trivial solutions intersect when ${\displaystyle v=1}$. The equations above cannot be evaluated directly at ${\displaystyle v=1}$, but we can take the limit as ${\displaystyle v\to 1}$. This is most conveniently done by substituting ${\displaystyle v=1+1/n}$ and letting ${\displaystyle n\to \infty }$, so

${\displaystyle x=\lim _{v\to 1}v^{1/(v-1)}=\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}=e.}$

Thus, the line ${\displaystyle y=x}$ and the curve for ${\displaystyle x^{y}-y^{x}=0,\,\,y\neq x}$ intersect at x = y = e.

As ${\displaystyle x\to \infty }$, the nontrivial solution asymptotes to the line ${\displaystyle y=1}$. A more complete asymptotic form is

${\displaystyle y=1+{\frac {\ln x}{x}}+{\frac {3}{2}}{\frac {(\ln x)^{2}}{x^{2}}}+\cdots .}$

The equation ${\displaystyle {\sqrt[{x}]{y}}={\sqrt[{y}]{x}}}$ produces a graph where the line and curve intersect at ${\displaystyle 1/e}$. The curve also terminates at (0, 1) and (1, 0), instead of continuing on to infinity.

The curved section can be written explicitly as

${\displaystyle y=e^{W_{0}(\ln(x^{x}))}\quad \mathrm {for} \quad 0<x<1/e,}$

${\displaystyle y=e^{W_{-1}(\ln(x^{x}))}\quad \mathrm {for} \quad 1/e<x<1.}$

This equation describes the isocline curve where power functions have slope 1, analogous to the geometric property of ${\displaystyle x^{y}=y^{x}}$ described above.

The equation is equivalent to ${\displaystyle y^{y}=x^{x},}$ as can be seen by raising both sides to the power ${\displaystyle xy.}$ Equivalently, this can also be shown to demonstrate that the equation ${\displaystyle {\sqrt[{y}]{y}}={\sqrt[{x}]{x}}}$ is equivalent to ${\displaystyle x^{y}=y^{x}}$.

The equation ${\displaystyle \log _{x}(y)=\log _{y}(x)}$ produces a graph where the curve and line intersect at (1, 1). The curve becomes asymptotic to 0, as opposed to 1; it is, in fact, the positive section of y = 1/x.