5

Here's a question from the calculus section of AEEE 1997:

$${\lim_{x\to2}}\;(x-4)^x$$

I saw this question in a very old paper of the AEEE exam ($90's$ edition of the JEE exam). So when I saw this question, I obviously, wrote $4$ as the answer.

Now the answerkey said Limit does not exist.

I believed that maybe it has something to do with left hand and right hand limit and I tried referring some books on limits and understood how RHL and LHL should exist to say limit should exist but all those books have demonstrated this concept with problems involving greatest integer function or cases where limit tends to 0 which is pretty simple and understandable.

But I cant seem to apply that concept here as x approaches 2 from Right hand and Left hand side which is all positive.

So could anybody explain me the concept behind this. (And I would appreciate graphical representations!!! although not necessary) Also not I'm a high school student and starting calculus so please try to make the answer in simple language.


EDIT 1:

After reading some links from mathematics SE, I understood a possible reason for this could be 'If exponentiation $x^y$ of real numbers $x$ and $y$ is defined as $e^{y \log x}$, then one cannot define things like $(-2)^4$' So that creates whole new level of confusion now for me. In a cubic equation say $x^3+....$, if one of the roots of the solution is -2, then...how can $x=-2$ if $(-2)^3$ isn't possible using the above logic?


EDIT 2 (Very important)

For anyone answering, please also illustrate if or why $(x+4)^x$ should exist.

  • 4
    Probably the exam assumed $x\in\Bbb R$ and for $x<4$, the function is not continuously real – Тyma Gaidash Jun 05 '23 at 14:47
  • 2
    For anyone answering, please also illustrate if or why $(x+4)^x$ should exist. – arivero Jun 05 '23 at 14:56
  • 3
    It is true that at $x=2$ we have $(x-4)^x=4$ but when we take the limit we are looking the value for $x\neq 2$ and exponential for negative base is problematic. – user Jun 05 '23 at 14:59
  • The limit exists if x is restricted to be real. It doesn’t exist for complex x. – Paul Jun 05 '23 at 16:25
  • @Paul Not true , for irrational $x$ near $x=2$ , this expression is undefined. – Peter Jun 05 '23 at 16:38
  • If the base is $x+4$ , it is positive near $x=2$ , so there is no problem , and the limit of course exists. – Peter Jun 05 '23 at 16:39
  • @Peter Could you kindly read the last comment in the below answer and help me with it if possible my friend. – Elizabeth Huffman Jun 05 '23 at 16:43
  • @Peter I would have $2$ questions. 1) If we work over $D\in \mathbb C$ and the principal value of complex exponent, so the limit does exist or not ? 2) Does "not well-defined" imply "undefined" ? – lone student Jun 05 '23 at 16:47
  • For $f(x)=(x-4)^x$, is the problem $\Re(f(2+i t))$ is not a smooth function at $t=0$ (i.e. when $f(x)$ is evaluated along the line $x=2+i t$ (see WolframAlpha evaluation). – Steven Clark Jun 05 '23 at 23:21
  • @Peter if the expression is undefined at a point, that point is not in the domain, and so it does not affect the limit in anyway – Paul Jun 06 '23 at 20:05

2 Answers2

9

It is true that at $x=2$ we have that $(x-4)^x=(-2)^2=4$ but recall that in the definition of limit

$$\lim_{x\rightarrow a} f(x) = L \iff \forall \varepsilon >0\, \exists \delta > 0: \forall x\in D\quad \color{red}{0<\vert x-a\vert <\delta} \implies \vert f(x)-L\vert <\varepsilon $$

we are not interested in the value of $f(x)$ at $x=a$ but we are dealing with the value of $f(x)$ in a deleted neighborhood of $x=a$.

In this case the problem is with the definition of $f(x)=(x-4)^x$ when $x-4<0 \iff x<4$ since exponentiation for negative base is not well defined.

Nevertheless, we can give a meaning to the expression and evaluate the limit for $x\in D=\left\{\frac m n\right\}$ with $m$ even integer and $n$ an odd positive integer assuming that for $a<0$ we have $a^{\frac m n}=\sqrt[n] {a^m}$. In this way limit exists and it is equal to $4$.

Refer also to the related


As noticed, for the case $\displaystyle \lim_{x\to2}\;(x+4)^x$ we have that $f(x)=(x+4)^x$ is well defined and continuous at $x=2$ therefore limit exists and is equal to $f(2)=36$.

user
  • 154,566
  • I think your final remark is not quite right. Even if $n$ is guaranteed odd, for even $m$ you get results near $4$ and for odd $m$ you get results near $-4$. There is also a typo which should be $\sqrt[n]{a^m}$ I guess. – preferred_anon Jun 05 '23 at 16:18
  • I really appreciate the time and precision you have spent for the answer.

    Could you explain these lines a little more easily for me as I'm not able to understand due to my lack of experience in mathematical languages. This one: $\Big(\forall \varepsilon >0, \exists \delta > 0: \forall x\in D\quad 0<\vert x-a\vert <\delta \implies \vert f(x)-L\vert <\varepsilon \Big)$ . And, evaluate the limit for $x\in D=\left{\frac m n\right}$ with $m$ integer and $n$ an odd positive integer assuming that for $a<0$ we have $a^{\frac m n}=\sqrt[n] m$. In this way limit exists and it is equal to $4$

    – Elizabeth Huffman Jun 05 '23 at 16:20
  • @preferred_anon Could you help me sir by simplifying his answer? – Elizabeth Huffman Jun 05 '23 at 16:23
  • @preferred_anon Oh yes, of course! Thanks I fix that – user Jun 05 '23 at 16:25
  • @ElizabethHuffman For teh formal definition what is important is that $0<\vert x-a\vert <\delta$ with $\delta>0$ which means that $x\neq a$. – user Jun 05 '23 at 16:28
  • @user Thanks for fixing the above. Now the $D$ you have mention is domain right buddy? – Elizabeth Huffman Jun 05 '23 at 16:28
  • Yes we take $x$ in the domain, that is the real values such that $f(x)$ is well defined. – user Jun 05 '23 at 16:29
  • @user Ah thanks and delta means the set of neighborhood points. Just correct me if I am wrong. – Elizabeth Huffman Jun 05 '23 at 16:29
  • Yes $\delta$ is usually used to denote the radius around $x=a$. – user Jun 05 '23 at 16:30
  • @user I'm so sorry I might be a little irritating with my elementary doubts. But one last thing is by writing {m/n} you didn't mean it as fractional part function. Just the braces right? – Elizabeth Huffman Jun 05 '23 at 16:31
  • It is a set notation. – user Jun 05 '23 at 16:31
  • Note that $(4+x)^x$ is a continuous function then in this case limit is equal to $f(2)=36$. – user Jun 05 '23 at 16:32
  • @user By the way just realised, after reading this, 'assuming that for $a<0$ we have $a^{\frac m n}=\sqrt[n] {a^m}$. In this way limit exists and it is equal to $4$'

    In our case that a is -4 and lets say m is 2 and n is 7 so $(-4)^{\frac{2/7}}=(2)^{\frac{1/7}}$? I didnt quite get that portion.

    – Elizabeth Huffman Jun 05 '23 at 16:37
  • Here it seems you are assuming $(-4)^\frac12=2$ which is wrong. – user Jun 05 '23 at 16:45
  • Selecting m/n in that way we have that $(a^m)^\frac 1 n=(a^\frac 1 n)^m$ lead to the same result. – user Jun 05 '23 at 16:48
7

Short answer.

In general we define $a^b = e^{b\ln a}$, so $(x-4)^x = e^{x\ln(x-4)}$ is not a well defined real function for $x \leq 4$, and the given limit can't exist if we are considering only real numbers.

To answer the second question:

$$\lim_{x\to 2} (x+4)^x = \lim_{x\to 2} e^{x\ln(x+4)} = e^{\lim_{x\to 2}(x\ln(x+4))} = e^{2\ln 6} = 6^2 = 36$$

and there are no problems since $x+4$ is positive for $x > -4$ and $2> -4$.

(Really?) long answer.

Let me first explain how $a^b$ is defined when $a$ and $b$ are real numbers. I will assume for now that $a>0$ and will later explain the issues that arise if we don't make this assumption.

Fix some $a>0$. At first let $b = n$ be a positive integer. We are well aware that $$a^n = \underbrace{a\cdot a\cdot a\cdot \ldots \cdot a}_n.\tag{1}$$ We can easily extend this definition to all integers $n$ by defining $a^0 = 1$ and defining $$a^{-n} = \frac 1{a^n}\tag{2}.$$

Definitions $(1)$ and $(2)$ are very satisfying since we have the familiar rules for powers like $a^{m+n} = a^m\cdot a^n$ and $(a^m)^n = a^{mn}$, which work for any integers $m,n$.

Next, we would like to define $a^b$ when $b$ is a rational number. First, let $b = \frac 1n$ for a positive integer $n$. Now we can define $$a^{1/n} = \sqrt[n] a\tag{3}.$$ At this point we need to pause and think about what $n$-th root means. It should be a solution to the equation $x^n = a$ because we want $n$-th root to be opposite of taking $n$-th power, i.e. $(\sqrt[n]a)^n = a$. However, if you know about complex numbers, you know that there are exactly $n$ complex solutions to the equation $x^n = a$. So, if we want $n$-th root to be well defined as a function, we are forced to make a choice which solution we want. Luckily, when $a > 0$ there is always a unique positive real solution to the equation $x^n = a$. This should be familiar when you ask the question what is $\sqrt 1$. Although $1^2 = (-1)^2 = 1$, $1>0$, while $-1 < 0$, so $\sqrt 1 = 1$. This is more complicated if we ask what is $\sqrt[4] 1$, since we now have $1^4 = (-1)^4 = i^4 = (-i)^4 = 1$ (where $i$ is the imaginary unit), but only $1$ is positive real number. This is maybe a long story to justify that when $a > 0$, there is no issue in making sense of the definition $(3)$.

Now we are ready to extend our definition to rational numbers. Let $b = m/n$ where $m$ is an integer and $n$ is a positive integer. We can define $$a^{m/n} = (\sqrt[n] a)^m\tag 4$$ and you can see our rules $a^{b+c} = a^b\cdot a^c$ and $(a^b)^c = a^{bc}$ are readily satisfied, so we are happy with this.

The next step is to extend our definition to arbitrary real number $b$. The way how real numbers work is that rational numbers are dense in real numbers, which means we can obtain any real number $b$ as a limit of a sequence of rational numbers $(q_n)$. We would like that our definition of $a^b$ is continuous, i.e. $\lim_n a^{q_n} = a^{\lim_n q_n} = a^b$. However, since there are many different sequences $(q_n)$ of rational numbers that converge to the same real number $b$, to avoid discussion that our definition doesn't depend on the choice of sequence $(q_n)$, we can use the well known continuous function: $x\mapsto e^x$. How this is defined goes beyond the scope of high school but let us just assume that this function is given to us and that it satisfies the properties $e^{x+y} = e^x\cdot e^y$ and $e^0 = 1$ and $(e^b)^c = e^{bc}$. We can now define $$a^b = e^{b\ln a}\tag 5.$$ Note that this definition is reasonable, since $e^{b\ln a} = (e^{\ln a})^b = a^b$ for any rational number $b$, and since exponential function is continuous, we immediately get that $\lim_n a^{q_n} = \lim_n e^{q_n\ln a} = e^{\lim_n q_n\ln a} = e^{b\ln a}$, so our definition $(5)$ works beautifully for any real $b$ and $a>0$. It also generalizes all the previous definitions we gave.

So, for any positive real number $a$, we can define a real function $x\mapsto a^x$ by the formula $a^x = e^{x\ln a}.$

At this point, it might have become clear where the problem is when $a$ is not a positive real: $\ln a$ is not a real number! To extend definition of $a^x$ for negative real numbers $a$, we need to deal with complex numbers and go to the field of complex analysis which is way beyond the scope of high school. I will not go there, but let me add something more about the problem

The problem with $a < 0$ first arises in considering definition $(3)$. You can see that there is absolutely no issue in definitions $(1)$ and $(2)$ since we are only dealing with multiplication and division, so something like $(-2)^{-3} = -1/8$ is not problematic at all.

Let's extend discussion of $(3)$ (and $(4)$). When $n$ is an odd positive integer, there is no problem with $\sqrt[n]a$ since for $a<0$ and odd positive integer $n$, there is always unique negative real solution to the equation $x^n = a$. For example, $\sqrt[3]{-1} = -1$. But, when $n$ is even, we have a problem, what is, for example $\sqrt{-1}$? The answers could be $i$ or $-i$ and usually we make a convention that $\sqrt{-1} = i$ because that convention is very useful when you consider quadratic formula. But it is not without any issues, you might have seen the famous wrong proof $$1 = \sqrt 1 = \sqrt{(-1)\cdot(-1)} = \sqrt{-1}\cdot \sqrt{-1} = i\cdot i = -1,$$ which tells us that a rule like $\sqrt ab = \sqrt a\cdot\sqrt b$ falls apart when we are not dealing with positive $a$ and $b$.

Furthermore, what is $\sqrt[4]{-4}$? You can check that $(1+i)^4 = (1-i)^4 = (-1+i)^4 = (-1-i)^4 = -4$. What do we choose now?

Whatever we would choose, we break the rule $(a^b)^c = a^{bc}$, for example

$$4 = ((-4)^4)^{1/4} \neq ((-4)^{\frac 14})^4 = -4.$$

To systematically deal with problems like these one needs to take definition $(5)$ and extend definition of logarithm to (almost) all complex numbers. But we are now leaving the realm of real numbers and real analysis.

Ennar
  • 23,082