Equation xy = yx

Equation xy = yx
In general, exponentiation fails to be commutative. However, the equation has solutions, such as
History
The equation is mentioned in a letter of Bernoulli to Goldbach (29 June 1728). The letter contains a statement that when the only solutions in natural numbers are and although there are infinitely many solutions in rational numbers, such as and .
The reply by Goldbach (31 January 1729) contains a general solution of the equation, obtained by substituting A similar solution was found by Euler.
J. van Hengel pointed out that if are positive integers with , then therefore it is enough to consider possibilities and in order to find solutions in natural numbers.
The problem was discussed in a number of publications. In 1960, the equation was among the questions on the William Lowell Putnam Competition, which prompted Alvin Hausner to extend results to algebraic number fields.
Positive real solutions
Main source:
Explicit form
An infinite set of trivial solutions in positive real numbers is given by Nontrivial solutions can be written explicitly using the Lambert W function. The idea is to write the equation as and try to match and by multiplying and raising both sides by the same value. Then apply the definition of the Lambert W function to isolate the desired variable.
Where in the last step we used the identity .
Here we split the solution into the two branches of the Lambert W function and focus on each interval of interest, applying the identities:
:
:
:
:
Hence the non-trivial solutions are:
Parametric form
Nontrivial solutions can be more easily found by assuming and letting
Then
Raising both sides to the power and dividing by , we get
Then nontrivial solutions in positive real numbers are expressed as the parametric equation
The full solution thus is
Based on the above solution, the derivative is for the pairs on the line and for the other pairs can be found by which straightforward calculus gives as:
for and
Setting or generates the nontrivial solution in positive integers,
Other pairs consisting of algebraic numbers exist, such as and , as well as and .
The parameterization above leads to a geometric property of this curve. It can be shown that describes the isocline curve where power functions of the form have slope for some positive real choice of . For example, has a slope of at which is also a point on the curve
The trivial and non-trivial solutions intersect when . The equations above cannot be evaluated directly at , but we can take the limit as . This is most conveniently done by substituting and letting , so
Thus, the line and the curve for intersect at .
As , the nontrivial solution asymptotes to the line . A more complete asymptotic form is
Other real solutions
An infinite set of discrete real solutions with at least one of and negative also exist. These are provided by the above parameterization when the values generated are real. For example is a solution (using the real cube root of ). Similarly an infinite set of discrete solutions is given by the trivial solution for when is real; for example .
Similar graphs
Equation
The equation produces a graph where the line and curve intersect at . The curve also terminates at (0, 1) and (1, 0), instead of continuing on to infinity.
The curved section can be written explicitly as
This equation describes the isocline curve where power functions have slope 1, analogous to the geometric property of described above.
The equation is equivalent to as can be seen by raising both sides to the power Equivalently, this can also be shown to demonstrate that the equation is equivalent to .
Equation
The equation 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.
References
External links
Diophantine equations
Recreational mathematics