Recently, a question that I posted raised a healthy debate.

The question was to find \[\lim_{x \to 0} x^x\].

There were various veiwpoints, none of them illogical.

**Viewpoint** **1** : It is complete gobblydook

The given problem can be written as :

\[\lim_{x \to 0} x^x = \lim_{a \to 0} \lim_{b \to 0} a^b\]

\[=\lim_{a \to 0} a^0 = \lim_{a \to 0} 1 = 1\]

However, exchanging the limits,

\[\lim_{x \to 0} x^x = \lim_{b \to 0} \lim_{a \to 0} a^b\]

\[=\lim_{b \to 0} 0^b = 0, \pm \infty\] depending on \(b \to 0^+\) or \(b \to 0^-\)

Hence, even if we consider only the left OR right limit, there is ambiguity.

Hence, it is gobblydook.

**Viewpoint** **2** : The Left is not Right

No, No... You are not to make a mess of the problem by taking two 'limits', it is the same quantity that is varying.

The right limit is (Courtesy : Ryan Tamburrino)

\[\lim_{x \to 0^+} x^x = \exp\left(\lim_{x \to 0^+}x\ln(x)\right)=\exp\left(\lim_{x \to 0^+}\frac{\ln(x)}{1/x}\right)\]

Applying L'Hopital's rule,

\[\lim_{x \to 0^+} x^x = \exp\left(\lim_{x \to 0^+}\frac{1/x}{-1/x^2}\right)=\exp(\lim_{x \to 0^+} -x)=1\]

The left limit involves complex exponentiation, fractional power of negative numbers and all other mathematical boggarts. It would be a bad idea to go into that lest we fall prey to tetration.

**Viewpoint** **3** : All's well - The limits agree

The right limit is indeed 1, as shown in Viewpoint 2. However, there is no need to panic as the left limit is also a tame one, and certainly not a boggart.

For the left limit, consider \(x=-r\) with \(r\) being positive. The problem now becomes

\[\lim_{r \to 0^+} (-r)^{-r} = \exp\left(\lim_{r \to 0^+}-r\left(\ln(r)+\ln(-1)\right)\right)\]

\[= \exp\left(\lim_{r \to 0^+}-r(\ln(r)+j\pi)\right) = \exp\left(-\lim_{r \to 0^+}r\ln(r)-\lim_{r \to 0}jr\pi\right)\]

\[=\exp\left(0+0\right)=1\]

Whom do you agree with?

What is your opinion on the 'value' of \(0^0\). (Not many seem to want to fix a value for it!!).

What is your opinion on the existence/agreement/value of the limits?

## Comments

Sort by:

TopNewestThanks for posting this "curious case" as a note. Later, I'll bring up some points why it's still an unsettled matter, although for most practical purposes it's said to be "\(1\)" . This is a good example why it's not true that "everything" in mathematics, "if pursued with rigor" necessarily lead to unambiguous conclusions. Sometimes it does not. – Michael Mendrin · 2 years, 1 month ago

Log in to reply

It is true that if \( f(x) , g(x) \) are non-zero polynomials such that \( f(0) = g(0) = 0 \), then \( \lim_{x \rightarrow 0 } f(x) ^ { g(x) } = 1 \). – Calvin Lin Staff · 2 years, 1 month ago

Log in to reply

\( { 0 }^{ 0 }={\displaystyle 0 }^{ 1-1 }=\dfrac { 0 }{ 0 } \)

which we know is indeterminate (the very point you had argued for with that problem with roots!)

More generally, if we consider the function \(f(x,y) = {x}^{y}\), and we examine the double limit \(x\rightarrow 0\) and \(y\rightarrow 0\), then in this case there isn't even a consistent limiting value. In other words, there is a "nice" limiting value ONLY for the single-valued function \(f(x) = {x}^{x}\), but it's risky to assume that \({0}^{0}=1\) in any context. It all depends. – Michael Mendrin · 2 years, 1 month ago

Log in to reply

What I am saying is that \( 1 = \lim_{ x \rightarrow 0 } x ^ x \), which was what I thought the question is about.

To me, \(0^0 \) it is indeterminate, though yes there are reasons why we might want to define it as \( 1\). – Calvin Lin Staff · 2 years, 1 month ago

Log in to reply

– Michael Mendrin · 2 years, 1 month ago

Were you responding to my first comment here, or to my reply to Jake Lai? But, yes, the question was about the limit \({x}^{x}\) as \(x\rightarrow 0\) , and, yes, it's \(1\). Now that we're on this matter, when I made my first comment disputing the originally posted problem, I later found that there wasn't an easy way to come back and try to clarify it without either 1) making an addendum to my original comment, or 2) as a reply to someone else. Is there a way for me to enter a new comment, in an effort to clarify? I ended up making an addendum to my original comment, but I don't know if anyone has picked that up, since it won't notify anyone that a new comment has been made.Log in to reply

Ah, now I see your edit, and I understand it better. Right, in a sense, if you think it's worthwhile to inform everyone else in the discussion, then yes reply. If it's a minor correction / addition, then hit edit.

(Ignore this)

With regards to reports, if you hit on the Reply button, that will open up a reply box

You can also edit your report, or your comments. – Calvin Lin Staff · 2 years, 1 month ago

Log in to reply

– Michael Mendrin · 2 years, 1 month ago

Let me go check it out and try it.Log in to reply

\(f(x) = x^{x}\) is well-defined everywhere except at \(x = 0\) (if we're accepting complex values, of course). The two-sided limit

is1. Also note, you cannot just switch from a limit of one variable (\(x\) in this case) to one of two variables (\(a, b\) here). – Jake Lai · 2 years, 1 month agoLog in to reply

In both cases, the limiting value is \(1\), but both \( \displaystyle 0^0\) and \(\dfrac { 0 }{ 0 } \) are undefined. – Michael Mendrin · 2 years, 1 month ago

Log in to reply

Although 0^0 = 0^(N - N) = 0^N/ 0^N, it will not be having different N and therefore definable to be 1.

1 is one among all from indeterminate.

Limit x--> 3 for (x - 3)/ (x^2 - 9) = 1/ 6 which is not necessarily 1, but Limit x --> 3 for (x^2 - 9)^(x - 3) is 1.

Therefore, 0^0 <> 0/ 0.

A 0/ 0 can be 0^0 but 0^0 is not 0/ 0, as 0/ 0 can stand for all others which do not stand for 0^0.

0^0 simply definable to be (exact 0)^(exact 0) = 1. Just be careful when we take limits of a form looked like 0^0.

Note: Limit is a subject to mean for as thought as exact and say as exact because we cannot know how tiny the smallest thing is to be described. Just like I ask you, do you see a quark? Something even smaller than this is still valid but just like seeing nothing. This is the concept of limit I believe in. – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

Also, for \(N = 1\), doesn't that contradict what you just said before? (That \(\frac{0}{0}\) is indeterminate.) Moreover, we are dealing with equality - which is transitive - so what do you mean by "a \(\frac{0}{0}\) can be \(0^{0}\) but \(0^{0}\) is not \(\frac{0}{0}\)"?

Also, no offense, but nobody cares about what you imagine the limit to be; the limit is a

mathematicalconcept and doesn't concern itself with how the physical world works (just as Michael Mendrin said). – Jake Lai · 2 years, 1 month agoLog in to reply

When you explain d x to me, you shall find trouble of how you can express to me. As thought as exact but not actually exact while still saying exact is where we find some mean to express a limit. It is trivial to explain to people that all denominator of d y/ d x is not exactly zero. The reason why I use physics to imagine the most tiny in limit is when we are actually asked to elaborate what d x is, we shall automatically think back to what is actual.

I believe you learnt about set theory. 1 is one among all. In other words, 1 is a member of indeterminate. 0/ 0 is indeterminate while 0^0 is 1. Therefore, 0^0 is a member of 0/ 0. 0/ 0 is something which covers all while 0^0 can only be 1. – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

The Indifatigable Frog. It's about an argument between a scientist and a philosopher and explores concepts of the limit, such as the barrier between the world of math and physical reality.https://phillipkay.files.wordpress.com/2011/07/collected-stories-1-the-short-happy-life.pdf

Skip to page 165. – Brock Brown · 2 years, 1 month ago

Log in to reply

– Lu Chee Ket · 2 years, 1 month ago

In truth, we don't talk about authority but reasonable reasons. The important thing is straight to the fact, and our attitude or expectation is just to sort for a true answer. Too long for me to read and I don't think I ought to do this. Direct to questioning and answering is the right thing to do for truth.Log in to reply

willmake it to the end. The scientist goes crazy and traps the philosopher in the machine, and the philosopher keeps moving and shrinking until eventually he falls through the tunnel due to spaces in matter.When the philosopher escapes he returns to his original size, and the scientist and the philosopher implicitly agree that there may not be a direct solution to the problem applicable to both the physical world and the world of math.

I do agree that direct questioning is the best way to find truth, but authority is necessary to some extent to help us start from something instead of nothing. – Brock Brown · 2 years, 1 month ago

Log in to reply

in the limit,travels the distance of the tunnel, but it's not necessarily true that it actually makes it to end of it.Now, a physicist, which normally isn't necessarily a rigorous mathematician, will argue that if the frog makes each jump in proportionally less time than the previous, then in the limiting case it will reach the end of the tunnel in a finite time, and therefore we can surmise he will reach the end of the tunnel for all practical purposes. A lot of theoretical physics is like that. Just as mathematics doesn't concern itself with physical reality, theoretical physics doesn't concern itself with mathematical rigor---and leaves philosophy to the philosophers. – Michael Mendrin · 2 years, 1 month ago

Log in to reply

1/ 2 + 1/ 4 + 1/ 8 + 1/ 16 + ... = (1/ 2)/(1 - 1/ 2) = 1. The frog ought to be able to jump many times. Assuming half the original journey for the first jump, the limit is 1. I don't think this is a contradiction between physics and mathematics though.

Could you give an example that physical phenomena that do not agree with mathematics? – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

Since 0^0 is not any value like 0/ 0 but only first possible for between 1 and 0, we ought to find the best resemblance.

With 0^0 expressed as 0^(N - N) = 0^N/ 0^N, where N = N, we can see that 0 isn't the best fit but 1.

Not to let 0^0 be doubted as anything, we define 0^0 = 1. The thing is just that we take symbol 0 for something as thought as exact 0 to stand for 0^0 = 1; taking symbol 0 to represent zero is a good and natural thing to do. This shall not mislead when we think carefully. If we want to think that 0 can never be any other thing when taking any index, then it is better not to take the power to zero and quest or define as undefined. This is why I take 0^0 = 1.

To elaborate these zeroes, we can imagine an extreme tiny thing that is effectively nothing, yet still valid but can be thought as zero. d x/ d x is just 1 no matter how nothing is d x. The thing is (d x)^2/ d x or d x/ (d x)^2 and etc cannot be the 0^0 we mean. Since the concept of 0^0 = 1 is good or better than anything or undefined, it should be taken.

Undefined should be applied onto something else that cannot be expressed or assigned with any fixed quantity. In my development of a 3 Dimensional Number Calculator, I think memorizing the total number of such zeroes is very good. 0/ 0 becomes 0^M/ 0^N for 0^(M - N). As we give the same right to 0 as other numbers, we shall find that 0/ 0 and 0^0 are just as usual as any other cases for other numbers! Everything is generalized. – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

x^x has no left hand limit: try (-0.01)^(-0.01), which is invalid, as fractional powers of negative numbers don't exist – Mahek Mehta · 2 years, 1 month ago

Log in to reply

= 1.0471285480508995334645020315281 (Cos 0.01 Pi - j Sin 0.01 Pi)

= 1.0471285480508995334645020315281 (0.99950656036573155700069083670925 - j 0.031410759078128293839183673817829)

= 1.0466118533231172518572375041105 - j 0.032891102546657091868384347944302 – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

– Janardhanan Sivaramakrishnan · 2 years, 1 month ago

Fractional power of a negative number exists. It just need not be a real number. Thus, \((-0.5)^{-0.5} = 1/(-0.5)^{0.5} = -i\sqrt{2}\). And your problem \((-0.01)^{-0.01} = -\sqrt[100]{100}\left(\cos(\pi/100) - i\sin(\pi/100)\right)\)Log in to reply

Has anyone taken into consideration the fact that a calculator might be useful ? we know that f(x) = x^x is a continuous function on the real numbers, hence if we calculate the LHL and RHL we would get 1 in both cases. Just try 0.00000001^0.00000001 or -0.0000001^(-0.0000001). LHL = RHL = 1 and also the continuity. I don't get it why this problem poses so many controversy (Don't forget that 0^0 is a completely different thing than the limit as x goes to 0 of x^x) – Radinoiu Damian · 2 years, 1 month ago

Log in to reply

Whenever we have sufficient good reasons, we can validate this. – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

– Radinoiu Damian · 2 years, 1 month ago

Yes you are right, but the problem was asking for the limit not the 0^0 case.Log in to reply

– Lu Chee Ket · 2 years, 1 month ago

The limit asked is 1 and not doubted here. Only 0^0 is of actual discussions. Since I disagree with limit x --> 0 for x^x and 0^0 are completely different, I wrote to answer.Log in to reply

Log x {base x} = Log x/ Log x = 1 = Log x, for x <>1 let say.

With x = x^Log x whenever we like,

x^(1/ Log x) = x as well, as [x^(Log x)]^(1/ Log x) = [x]^(1/ Log x) or just because 1/ 1 = 1 with Log x = 1.

Log x = 1 is itself an equation for indeterminate to some x.

When x^(Log x) is written with base x, Log x = 1 and x itself has been an indeterminate.

Now x^(Log x) is purposely aimed for [x^(Log x)]^(1/ Log x) = x,

Meaning to say x has escaped from being x --> 0 but some a or e.

On the other hand for [a^(Log x)]^(1/ Log x),

The limit for x --> 0 becomes a which includes e as a possible base, where x --> 0 is not being against.

However, please remember that (1/ Log x) here is having base a which is a form of indeterminate. You get what you wanted but not actually doing a proper limit with fixed value.

I think putting (1/ Log x) as a (0-) for x of (0) for x^(1/ Log x) = 0^(0-) here has introduced some base a to decide for its value of the limit. We may think of x--> 0- for (0-)^(0-) to argue for same thing for 0^0, but at least a power to a Log a/ Log x {saying explicitly} ought to be excepted because of features of logarithm itself.

Limit x --> 0 for such x^[Log a/ Log x] = a is just x^(Log a) = a without bothering about x --> 0. Antilog (Log a) = a don't bother about what x is being described. That was why one of our friend here asked if it doesn't matter of what x is. Then, the limit is not under a discussion of limit. Quoting his question: "Even without the limit, does it suggest that x^(1/ Log x) = e, for all x where the function is defined??" – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

Relatedly, this problem is one of my favorites:

– Calvin Lin Staff · 2 years, 1 month agoLog in to reply

– Michael Mendrin · 2 years, 1 month ago

Okay, I see why this should be interesting, it suggests that \(0^0=e\), but of course that's true only as a limiting value for that particular expression. Yet another reason why \(0^0\) cant be anything except indeterminate.Log in to reply

– Calvin Lin Staff · 2 years, 1 month ago

Right, this shows the path dependence. As mentioned above if the path that you take is polynomial then the limiting value is 1. (I believe that if \( f', g' \) is finite, the limiting value is 1). However, if you take a different path, then you could get a different answer.Log in to reply

When x <> a, Limit x--> 0 has no effect to a at all. Limit x--> 0 x^(Log a) = a isn't a consequence of a limit. – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

This becomes a form of 0^(0-) to mean for any outcome of a or x, following the base of Log mentioned. – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

– Janardhanan Sivaramakrishnan · 2 years, 1 month ago

Even without the limit, does it suggest that \(x^{\frac{1}{\log(x)}}=e\), for all \(x\) where the function is defined??Log in to reply

0/ 0 must be indeterminate, otherwise, there is no d y/ d x. Typical example is tangent to a curve or a circle.

0^0 is not 0/ 0. It is something that tends to a limit like d y/ d x which gives a slope of 1, which we could write 0^0.

As thought as exact zeroes but not actually zeroes, a limit is however to mean for exact arrival to zero. We can think of a tiny limit of nothing left to our sight, yet still valid or exists in a sense that we don't see. A slope or ratio is left for people to realize a fixed direction. – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

In my opinion, the value of \(0^0\) is indeterminate.

Reason : If \(0^0 = x\), where \(x\) is a definite complex number, then \(0^1=x \times 0 = 0\). This relation is true for any \(x\). Hence, it is not wise to assign a value to \(0^0\).

However, just like \(\lim_{x \to 0}\frac{\sin(x)}{x} = 1\) though the function itself indeterminate at \(x=0\), \(\lim_{x \to 0} x^x = 1\).

The limit exists but the function is not defined at \(x=0\) – Janardhanan Sivaramakrishnan · 2 years, 1 month ago

Log in to reply

By thinking that Sin x = x - x^3/ 3 ! to be divided by x in limit, the ratio is just x/ x = 1 and when x and x continue to divide, they divide in exactly the same proportion to maintain as a ratio of 1. Never be exactly zero but the limit is as thought as zero because we can't describe a limit by not as thought as exact! – Lu Chee Ket · 2 years, 1 month ago

Log in to reply

Python says it converges to 1.

Maybe it's not healthy to place faith in limited accuracy floating point numbers but I'm going to trust it anyway. – Brock Brown · 2 years, 1 month ago

Log in to reply