Unlimited

Or when is a limit not a limit?

I was discussing the definition of a limit equal to infinity with someone recently. It occurred to me that such functions have no limit! Of course, you say that’s why – sometimes – we say “infinity”. But should we? What does “∞” mean?

The definition we were discussing is this:

\underset{{x\to a}}{\mathop{{\lim }}}\,f\left( x \right)=\infty \text{ if, and only if, for any }M>0\text{ there is a number }\delta >0\text{ such that} \text{ if }\left| {x-a} \right|<\delta \text{, then }f(x)>M.

What is being defined here?

What this definition says is that if we can always find numbers close to x = a that make the function’s value larger than any (every, all) positive number we pick, then we say that the limit is (equal to) infinity (∞).

This is how we say mathematically that every (any, all) number in the open interval defined by \left| {x=a} \right|<\delta , also known as a-\delta <x<a+\delta , will generate function values greater than M.

\displaystyle f\left( x \right)=\frac{1}{{{{{\left( {x-2} \right)}}^{2}}}}

For example, if \displaystyle f\left( x \right)=\frac{1}{{{{{\left( {x-2} \right)}}^{2}}}}, then \displaystyle \delta =\frac{1}{{\sqrt{M}}} will do the trick, since if

\displaystyle 0<\left| {x-2} \right|<\frac{1}{{\sqrt{M}}}

\displaystyle \Rightarrow \sqrt{M}>\left| {\frac{1}{{x-2}}} \right|

\displaystyle \Rightarrow M>\frac{1}{{{{{\left( {x-2} \right)}}^{2}}}}

The function has no value at exactly x = 2. As x get closer to 2, the graph just goes up and up; the values will eventually be greater than any value you choose. The line, x = 2 that the graph never gets to is called an asymptote. An asymptote is the graphical manifestation of a limit of infinity.

But wait a minute: this function has no limit; the values are unlimited. They just get larger and larger. It is correct to say, \underset{{x\to 2}}{\mathop{{\lim }}}\,\frac{1}{{{{{\left( {x-2} \right)}}^{2}}}}\text{ does not exist}. So, which is it “infinity” or does not exist”?

What is this ∞ thing?

An equal sign means that the numbers on both sides are the same. Now the limit part should be a number, but ∞ is not. So how can they be the same?

Is this an abuse of notation?

A definition must be phrased using previously defined terms. Have we defined ∞?

Up to the beginning of the calculus, we probably told students that infinity means something is greater than any value you choose. That’s true, but not much of a definition. (I hope you did not say “a number greater that any number you choose” or “the largest number,” because infinity is not a number.)

How can we tell if something is greater than any value we choose? The answer is that is exactly what the definition quoted above says! It defines what to say about situation where a function’s values get greater and greater, where they are unlimited. In doing so, it defines infinity as much as anything else, and maybe more so.


Disclaimer: There are functions whose limits fail to exist for other reasons and that “infinity” is not an appropriate description in those situations.

For example,  \displaystyle \underset{{x\to 3}}{\mathop{{\lim }}}\,\frac{{{{x}^{2}}-9}}{{\left( {{{x}^{2}}+1} \right)\sqrt{{{{{\left( {x-3} \right)}}^{2}}}}}} does not exist and is not ∞ .

\displaystyle f(x)=\frac{{{{x}^{2}}-9}}{{\left( {{{x}^{2}}+1} \right)\sqrt{{{{{\left( {x-3} \right)}}^{2}}}}}} has a finite jump discontinuity at x = 3.


Advertisement

Infinite Musings

Students get confused about infinity, \infty , because they think of it as a number, because \infty used like a number. Even though they know there is no largest number, they think of infinity as the largest number.

In studying limits, the starting point of calculus, infinite limits come up early on. We tell them \displaystyle \underset{{x\to 0}}{\mathop{{\lim }}}\,\frac{1}{{{{x}^{2}}}}=\infty . But what we really mean, and what this symbol means, is that by taking x close enough to 0, \displaystyle\frac{1}{{{{x}^{2}}}} eventually becomes larger that any number they choose, no matter how large.

So, instead why don’t we just say \displaystyle \underset{{x\to 0}}{\mathop{{\lim }}}\,\frac{1}{{{{x}^{2}}}}>M where M is any real number? (And as I always suggest when you see the word “any” replace it with “every” and “all.”

    • \displaystyle \underset{{x\to 0}}{\mathop{{\lim }}}\,\frac{1}{{{{x}^{2}}}}>M where M is any real number
    • \displaystyle \underset{{x\to 0}}{\mathop{{\lim }}}\,\frac{1}{{{{x}^{2}}}}>M where M represents every real number
    • \displaystyle\underset{{x\to 0}}{\mathop{{\lim }}}\,\frac{1}{{{{x}^{2}}}}>M where M is all real numbers

Likewise, \displaystyle \underset{{x\to 2}}{\mathop{{\lim }}}\,\frac{{-1}}{{{{{\left( {x-2} \right)}}^{2}}}}<N where N is any number, instead of saying the limit is -\infty .

Infinity, \infty , is really defined by this idea; it’s what “infinity” means.

Consider, \displaystyle \underset{{x\to 0}}{\mathop{{\lim }}}\,\frac{1}{x} . Here, you cannot say the expression is larger than any number (because of the negative values approaching zero from the left), so obviously there is no limit, the limit does not exist, DNE, and using \infty is wrong).

To answer my own question, we don’t do this because we’d have to change all the calculus books, and that’s not going to happen. So, don’t do it. Maybe you can start with this and then quickly switch over to the shorthand version  \infty .

For more on using \infty and DNE see the post Finding Limits and Good Question 5


.


Dominance

When considering functions made up of the sums, differences, products or quotients of different sorts of functions (polynomials, exponentials and logarithms), or different powers of the same sort of function we  say that one function dominates the other. This means that as x approaches infinity or negative infinity, the graph will eventually look like the dominating function.

  • Exponentials dominate polynomials,
  • Polynomials dominate logarithms,
  • Among exponentials, larger bases dominate smaller,
  • Among polynomials, higher powers dominate lower,

For example, consider the function x{{e}^{x}}. The exponential function dominates the polynomial. As x\to \infty , the graph looks like an exponential approaching infinity; that is, \displaystyle \underset{x\to \infty }{\mathop{\lim }}\,x{{e}^{x}}=\infty . As  x\to -\infty the graph looks like an exponential with very small but still positive values; that is \displaystyle \underset{x\to -\,\infty }{\mathop{\lim }}\,x{{e}^{x}}=0.

Another example, consider a rational function (the quotient of two polynomials). If the numerator is of higher degree than the denominator, as x\to \pm \infty the numerator dominates, and the limit is infinite. If the denominator is of higher degree, the denominator dominates, and the limit is zero. (And if they are of the same degree, then the limit is the ratio of the leading coefficients. Dominance does not apply.)

Dominance works in other ways as well. Consider the graphs of y=3{{x}^{2}} and y={{2}^{x}}. In a standard graphing window, the graphs appear to intersect twice. But on the right side the exponential function is lower than the polynomial. Look farther out and farther up, the exponential dominates and will eventually lie above the polynomial   (after x = 7.334).

Here’s an example that pretty much has to be done using the dominance approach.

\displaystyle \underset{x\to \infty }{\mathop{\lim }}\,\frac{\ln \left( {{x}^{5}} \right)}{{{x}^{0.02}}}=0

The polynomial function in the denominator, even with the very small exponent, will dominate the logarithm function. The denominator will eventually get larger than the numerator and drive the quotient towards zero. We will return to this function when we know about finding maximums and points of inflection and find where it starts decreasing. For more on this see my post Far Out!

Finding Limits

Ways to find limits (summary):

  1. If the function is continuous at the value x approaches, then substitute that value and the number you get will be the limit.
  2. If the function is not continuous at the value approaches, then
    1. If you get something that is not zero divided by zero, the limit does not exist (DNE) or equals infinity (see below).
    2. If you get \frac{0}{0} or \frac{\infty }{\infty } the limit may exist. Simplify by factoring, or using different trig functions. Later in the year a method called L’Hôpital’s Rule can often be used in this situation.
  3. Dominance is a quick way of finding many limits. Exponentials dominate, polynomials, polynomials dominate logarithms, higher powers dominate lower powers. The next post will give some hints about dominance.

Infinity is not a number, but it often is used as if it were. When we say a limit is infinity, what we mean is that the function increases without bound, or there is some x-value that will make the expression larger than any number you choose. Writing things like \infty -\infty =0,\frac{\infty }{\infty }=1,\infty +\infty =2\infty  are common mistakes.

DNE or Infinity?  \displaystyle \underset{x\to 3}{\mathop{\lim }}\,\frac{1}{{{\left( x-3 \right)}^{2}}} does not exist, and DNE is a correct answer. However, it is a bit better to say the limit is (equals) infinity, indicating that the expression gets larger without bound as x approaches 3. Both answers will get credit on an AP exam.  \displaystyle \underset{x\to 3}{\mathop{\lim }}\,\frac{1}{x-3} DNE since the one-sided limits (from the left and from the right) are different.  Only DNE gets credit here.

Take a look at this AP question 1998 AB-2: In (a) students found that \displaystyle \underset{x\to \infty }{\mathop{\lim }}\,2x{{e}^{2x}}=\infty \text{ or }DNE, in (b) they found the minimum value of 2x{{e}^{2x}}  is -{{e}^{-1}} and in (c) they had to state the range of the function is [-{{e}^{-1}},\infty )\text{ or }x>-{{e}^{-1}}. Thus making the students show they knew that this kind of DNE is the kind where the value increases without bound.