# Solution of $ax=a^x$

When I studied math at my school (I was 16) I was studying system of linear equations, and equations of first or second order and I liked it very much (and I was good to xD) but one day I asked to myself how to solve equation of this kind $ax=a^x$ and ...I had no idea, I have felt completely disorientated.

Now math is only an hobby for me (even if I don't study it at school I love it) so I tried again to solve this problem, using "new concept" I have "learnt" since I left school but still can't find a solution even using logarithm (aka even using a calculator).

I noticed that $a^x-ax=0$ so I just need to find the zeros of the functions $f_a(x)=a^x-ax$ but I don't know how to solve this. My second attempt was to using a graphical method plotting $ax=y$ and $a^x=y$ and finding the intersection, but this doesn't satisfy me.

My last effort was to "unify" the two $x$'s and put them on the same side of the equation:

$$a^x=ax$$

$$\log_a(a^x)=\log_a(ax)$$

$$x=1+\log_a(x)$$

$$a^{x-1}=x$$

$$a=x^{1/(x-1)}$$

here I'm lost and I am starting to doubt that is possible to "bring" the $x$s using the "standard" algebra rules, to one side of the equation and get one $x$ "alone".

Maybe I need more powerful theoretic tools to face this problem, but I don't understand why I can't find a way to "reduce" it to a simple form with easy operations $(+,\cdot)$ and powers.

a) Maybe that means that the solution isn't even irrational? Why at this point all become harder?

b) How can I face this problem? How to find the solution? Which are the extra concepts I need? I accept complete answers (even if I wanted only hints because I love to solve problems on my own, but I think this is above my level)

I'm sorry for my terrible English but I'm using a translator. Thanks in advance.

• No, this isn't enough. You need a function like Lambert's W – Cocopuffs Apr 9 '13 at 16:02
• In general, you can't find a simple expression for the solution. – Javier Apr 9 '13 at 16:03
• IF it is a Diophantine equation.You can contradict every $x>1$ or $x<1$ is not a solution to this equation. – Inceptio Apr 9 '13 at 16:08

We need to bring out a non-elementary (termed "special") function for this kind of problem; the one intended for this type of situation is the Lambert W function. It is defined to be the inverse function of $xe^x$ - that is, it satisfies the functional equation $W(x)e^{W(x)}=x$.

Now we wish to solve $ax=a^x$. Fix $a$, so that we're solving for $x$ in terms of $a$. Rearrange:

$$ax=e^{(\ln a)x}\iff xe^{-(\ln a)x}=a^{-1}\iff \color{Blue}{-(\ln a)x} e^{\color{Blue}{-(\ln a)x}}=\color{DarkGreen}{-(\ln a)/a}$$

$$\iff \color{Blue}{-(\ln a)x}=W\left(\color{DarkGreen}{-\frac{\ln a}{a}}\right)\iff x=-\frac{1}{\ln a}W\left(-\frac{\ln a}{a}\right).$$

Inverse functions can trip a lot of people up when they're new to the concept, and in particular, those that are inverse functions which are non-elementary (not able to be expressed with a finite number of the basic four operations combined with roots and powers and exponentials) can be pretty trick and take a bit of getting used to. The Lambert W function falls into this category occasionally, which is why I provide a full solution as an introduction on how to manipulate it.

No, the graphical approach is fastest and most easy. Here are three cases for a;   You can see there are 2 solutions for every a$\not=$e; a>0;

Even without much of graphing or solving, we can see that $x=1$ is a solution for each a. Now at $x=1$ , $ax$ will increase at a higher than $a^x$ . So, the straight line moves up the a^x curve. But at large $x$ this has to get reversed . So, there would be another solution for $x>1$

• (+1) Nice. You can conclude in the end that $a^x$ moving to infinity faster than $ax$. Thus, you see only two solutions. – Inceptio Apr 9 '13 at 16:15
• Yes it is so, we can check it via differentiation. – ABC Apr 9 '13 at 16:16
• Exponential functions $a>1$ tend to infinity faster than $ax$. I don't think you need to differentiate to check that. – Inceptio Apr 9 '13 at 16:18
• Yes of course. Even for me I had even not drawn the graphs but then also concluded that there would be 2 solutions. It goes like $\uparrow$ I'll edit my answer. – ABC Apr 9 '13 at 16:21

Assume $a \in \mathbb{R}^{+}\setminus\{1\}$ (trivial case: $1^{x}=1\cdot x$ iff $x=1$) and that solutions are sought in the reals.

Let $k=log(a)$ (which is well-defined and not equal to 0) and $y=kx$ and $\beta:=exp(k)/k$ which is $\neq 0$ and is positive resp. negative exactly when $k$ is positive resp. negative, exactly when $a>1$ resp. $0<a<1$

Then $a^{x}=a x \Leftrightarrow exp(y)-\beta y=0$.

Let $f : \mathbb{R}\to\mathbb{R} : x \mapsto exp(x)-\beta x$. Sought out is $x$ such that $f(x)=0$.

Case 1. $\beta>0$. One observes, that $f(x) > 0$ for $x\in(-\infty;0)$.

If there is a solution in $(0;\infty)$, then, since $f(0)=1>0$ and $f(\infty)=\infty$, there must exist a local minimum with function-value $\leq 0$; on the otherhand, if there be a local minimum with function-value $\leq 0$, then there is obviously a solution. Thus there is a solution in $(0;\infty)$ iff there is a critical point $x_{c} \in (0;\infty)$ with $f(x_{c})\leq 0$. Now $f´(x) = 0 \Leftrightarrow exp(x)-\beta=0 \Leftrightarrow x=log(\beta)$. So there is one critical point. This critical point is $>0$ iff $\beta>1$; the function-value is $f(log(\beta))=\beta-\beta log(\beta)$, which is $\leq 0$ iff $\beta\geq e$. Hence there is a solution in $(0;\infty)$ iff $\beta\geq e$.

Case 2. $\beta<0$. Now $f(-\infty)=-\infty$ and $f(0)=1>0$. Thus there is a solution $f(x)=0$ in $(-\infty;0)$.

Reasoning as in Case 1, there is a solution in $(0;\infty)$, exactly when $\beta\geq e$, which is not the case here, since $\beta<0$.

Conclusion. There is a solution exactly when $a<1$ or $a/log(a)\geq e$.

It can also be shown, that there be exactly one solution in case $a<1$ or $a/log(a)=e$, and exactly 2 in case $a/log(a)> e$.

• I can't understand your reply atm, anyways I'll think about it more till I'll understand, thanks – MphLee Apr 9 '13 at 18:08
• Here is not calculated, what the solutions are, but rather is derived, when and how many solutions exist. – user71724 Apr 9 '13 at 20:19