1.2 Limits Analyticallyap Calculus

Posted on by

In Section 1.1 we explored the concept of the limit without a strict definition, meaning we could only make approximations. In the previous section we gave the definition of the limit and demonstrated how to use it to verify our approximations were correct. Thus far, our method of finding a limit is 1) make a really good approximation either graphically or numerically, and 2) verify our approximation is correct using a (epsilon)-(delta) proof.

Explain why direct substitution can not be used to evaluate the limit. Sketch a graph of the function. Use the graph to guess the value of the limit, or explain why it does not exists. Evaluate the function atx— -0.1, 0.01, -0.001, 0.001, 0.01, and 0.1. Use the results to guess the value of the limit, or explain why it does not exist. 1.2 Limits Analytically Name: Write your questions and thoughts here! Calculus Recall: What is a limit? Notes Finding a limit: 1. Direct Substitution Factor and Cancel 1. 5: T 62 T F4; 2. Lim → 6 √3 F2 3. Lim → 4 4 65 T T 4. Lim →?; 2 6 E13 F7 T E7 Rationalize Two variables 5. AP Calculus AB Name 1.2 Understanding the Limit - An Algebraic Approach - Notes Consider the function, 4 4 2) (2 1 − + − = x x f, for a moment. ' is pictured below. From the graph, determine the following limits. For example, if we start at the point (1, 2) and move on the graph until we get really close to x = 4, then our y-value gets really close to 5. Similarly, if we start at (6, 7) and move closer to x = 4, the y-value gets closer and closer to 5. Thus, the limit of f(x) as x approaches x = 4 is 5.

This process has its shortcomings, not the least of which is the fact that (epsilon)--(delta) proofs are cumbersome. This section gives a series of theorems which allow us to find limits much more quickly and intuitively.

Recognizing that (epsilon)-(delta) proofs are cumbersome, this section gives a series of theorems which allow us to find limits much more quickly and intuitively.

Suppose that (limlimits_{xto 2} f(x)=2) and (limlimits_{xto 2} g(x) = 3).What is (limlimits_{xto 2}(f(x)+g(x)))? Intuition tells us that the limit should be 5, as we expect limits to behave in a nice way. The following theorem states that already established limits do behave nicely.

Theorem (PageIndex{1}): Basic Limit Properties

Let (b), (c), (L) and (K) be real numbers, let (n) be a positive integer, and let (f) and (g) be functions with the following limits:

[limlimits_{xto c}f(x) = L text{ and } limlimits_{xto c} g(x) = K.nonumber]

The following limits hold.

  1. Constants: (displaystyle limlimits_{xto c} b = b)
  2. Identity: (displaystyle limlimits_{xto c} x = c)
  3. Sums/Differences: (displaystyle limlimits_{xto c}(f(x)pm g(x)) = Lpm K)
  4. Scalar Multiples: (displaystyle limlimits_{xto c} bcdot f(x) = bL)
  5. Products: (displaystyle limlimits_{xto c} f(x)cdot g(x) = LK)
  6. Quotients: (displaystyle limlimits_{xto c} f(x)/g(x) = L/K), ((Kneq 0))
  7. Powers: (displaystyle limlimits_{xto c} f(x)^n = L^n)
  8. Roots: (displaystyle limlimits_{xto c} sqrt[n]{f(x)} = sqrt[n]{L})
  9. Compositions: Adjust our previously given limit situation to:

[limlimits_{xto c}f(x) = L, limlimits_{xto L} g(x) = K text{ and } g(L)=K .][text{Then } limlimits_{xto c}g(f(x)) = K.]

We make a note about Property #8: when (n) is even, (L) must be greater than 0. If (n) is odd, then the statement is true for all (L).

We apply the theorem to an example.

Example (PageIndex{1}): Using Basic Limit Properties

Let

[limlimits_{xto 2} f(x)=2,quadlimlimits_{xto 2} g(x) = 3quad text{ and }quad p(x) = 3x^2-5x+7.]

Find the following limits:

  1. ( limlimits_{xto 2} big(f(x) + g(x)big))
  2. ( limlimits_{xto 2} big(5f(x) + g(x)^2big))
  3. ( limlimits_{xto 2} p(x))

Solution

  1. Using the Sum/Difference rule, we know that ( limlimits_{xto 2} big(f(x) + g(x)big) = 2+3 =5).
  2. Using the Scalar Multiple and Sum/Difference rules, we find that ( limlimits_{xto 2} big(5f(x) + g(x)^2big) = 5cdot 2 + 3^2 = 19.)
  3. Here we combine the Power, Scalar Multiple, Sum/Difference and Constant Rules. We show quite a few steps, but in general these can be omitted:

[begin{align*} limlimits_{xto 2} p(x) &= limlimits_{xto 2} (3x^2-5x+7) &= limlimits_{xto 2} 3x^2-limlimits_{xto 2} 5x+limlimits_{xto 2}7 &= 3cdot 2^2 - 5cdot 2+7 &= 9 end{align*}]

Part 3 of the previous example demonstrates how the limit of a quadratic polynomial can be determined using the properties of Theorem 1. Not only that, recognize that

[limlimits_{xto 2} p(x) = 9 = p(2);]

i.e., the limit at 2 was found just by plugging 2 into the function. This holds true for all polynomials, and also for rational functions (which are quotients of polynomials), as stated in the following theorem.

Theorem (PageIndex{2}) : Limits of Polynomial and Rational Functions

Limits of Polynomial and Rational Functions}{Let (p(x)) and (q(x)) be polynomials and (c) a real number. Then:

  1. ( limlimits_{xto c} p(x) = p(c))
  2. ( limlimits_{xto c} frac{p(x)}{q(x)} = frac{p(c)}{q(c)}), where (q(c) neq 0).

Example (PageIndex{2}): Finding a limit of a rational function

Using Theorem 2, find

[limlimits_{xto -1} frac{3x^2-5x+1}{x^4-x^2+3}. nonumber]

Solution

Using Theorem (PageIndex{2}), we can quickly state that

1.2 limits analyticallyap calculus frq

[begin{align*} limlimits_{xto -1}frac{3x^2-5x+1}{x^4-x^2+3} &= frac{3(-1)^2-5(-1)+1}{(-1)^4-(-1)^2+3} &= frac{9}{3} =3. end{align*}]

It was likely frustrating in Section 1.2 to do a lot of work to prove that

[limlimits_{xto 2} x^2 = 4]

as it seemed fairly obvious. The previous theorems state that many functions behave in such an 'obvious' fashion, as demonstrated by the rational function in Example 11.

Polynomial and rational functions are not the only functions to behave in such a predictable way. The following theorem gives a list of functions whose behavior is particularly 'nice' in terms of limits. In the next section, we will give a formal name to these functions that behave 'nicely.'

1.2 Limits Analyticallyap Calculus 14th Edition

Theorem (PageIndex{4}): Special Limits

Let (c) be a real number in the domain of the given function and let (n) be a positive integer. The following limits hold:

Analyticallyap

[begin{align} &1.limlimits_{xto c} sin x = sin c quad &&4. limlimits_{xto c} csc x = csc cquad &&&7.limlimits_{xto c} a^x = a^c (a>0) &2. limlimits_{xto c} cos x = cos c quad &&5. limlimits_{xto c} sec x = sec c quad &&&8.limlimits_{xto c} ln x = ln c &3. limlimits_{xto c} tan x = tan c quad &&6.limlimits_{xto c} cot x = cot c quad &&&9. limlimits_{xto c} sqrt[n]{x} = sqrt[n]{c} end{align}]

Example (PageIndex{3}): Evaluating limits analytically

Evaluate the following limits.

  1. (limlimits_{xto pi} cos x)
  2. ( limlimits_{xto 3} (sec^2x - tan^2 x))
  3. ( limlimits_{xto pi/2} cos xsin x)
  4. ( limlimits_{xto 1} e^{ln x})
  5. ( limlimits_{xto 0} frac{sin x}{x})

Solution

  1. This is a straightforward application of Theorem 3. (limlimits_{xto pi} cos x = cos pi = -1).
  2. We can approach this in at least two ways. First, by directly applying Theorem 3, we have:[limlimits_{xto 3} (sec^2x - tan^2 x) = sec^23-tan^23.]Using the Pythagorean Theorem, this last expression is 1; therefore [limlimits_{xto 3} (sec^2x - tan^2 x) = 1.]We can also use the Pythagorean Theorem from the start. [limlimits_{xto 3} (sec^2x - tan^2 x) = limlimits_{xto 3} 1 = 1,]using the Constant limit rule. Either way, we find the limit is 1.
  3. Applying the Product limit rule of Theorem 1 and Theorem 3 gives [ limlimits_{xto pi/2} cos xsin x = cos (pi/2)sin(pi/2) = 0cdot 1 = 0.]
  4. Again, we can approach this in two ways. First, we can use the exponential/logarithmic identity that (e^{ln x} = x) and evaluate ( limlimits_{xto 1} e^{ln x} = limlimits_{xto 1} x = 1.)
    We can also use the limit Composition Rule of Theorem 1. Using Theorem 3, we have ( limlimits_{xto 1}ln x = ln 1 = 0) and (limlimits_{xto 0} e^x= e^0=1), satisfying the conditions of the Composition Rule. Applying this rule, [ limlimits_{xto 1} e^{ln x} = limlimits_{xto 0} e^x = e^0 = 1.]Both approaches are valid, giving the same result.
  5. We encountered this limit in Section 1.1. Applying our theorems, we attempt to find the limit as [limlimits_{xto 0}frac{sin x}{x}rightarrow frac{sin 0}{0} rightarrow frac{',0,'}{0}.]This, of course, violates a condition of Theorem 1, as the limit of the denominator is not allowed to be 0. Therefore, we are still unable to evaluate this limit with tools we currently have at hand.

The section could have been titled 'Using Known Limits to Find Unknown Limits.' By knowing certain limits of functions, we can find limits involving sums, products, powers, etc., of these functions. We further the development of such comparative tools with the Squeeze Theorem, a clever and intuitive way to find the value of some limits.

Before stating this theorem formally, suppose we have functions (f), (g) and (h) where (g) always takes on values between (f) and (h); that is, for all (x) in an interval,

[f(x) leq g(x) leq h(x).]

If (f) and (h) have the same limit at (c), and (g) is always 'squeezed' between them, then (g) must have the same limit as well. That is what the Squeeze Theorem states.

Theorem (PageIndex{5}): Squeeze Theorem

Let (f), (g) and (h) be functions on an open interval (I) containing (c) such that for all (x) in (I),

[f(x)leq g(x) leq h(x).]

If

[limlimits_{xto c} f(x) = L = limlimits_{xto c} h(x),]

then

[limlimits_{xto c} g(x) = L.]

It can take some work to figure out appropriate functions by which to 'squeeze' the given function of which you are trying to evaluate a limit. However, that is generally the only place work is necessary; the theorem makes the 'evaluating the limit part' very simple.

We use the Squeeze Theorem in the following example to finally prove that ( limlimits_{xto 0} frac{sin x}{x} = 1).

Example (PageIndex{4}): Using the Squeeze Theorem

Use the Squeeze Theorem to show that

[ limlimits_{xto 0} frac{sin x}{x} = 1. nonumber]

Solution

We begin by considering the unit circle. Each point on the unit circle has coordinates ((cos theta,sin theta)) for some angle (theta) as shown in Figure (PageIndex{1}). Using similar triangles, we can extend the line from the origin through the point to the point ((1,tan theta)), as shown. (Here we are assuming that (0leq theta leq pi/2).Later we will show that we can also consider (theta leq 0).)

Figure 1.19 shows three regions have been constructed in the first quadrant, two triangles and a sector of a circle, which are also drawn below. The area of the large triangle is (frac12tantheta); the area of the sector is (theta/2); the area of the triangle contained inside the sector is (frac12sintheta). It is then clear from the diagram that

Multiply all terms by (frac{2}{sin theta}), giving

[frac{1}{costheta} geq frac{theta}{sin theta} geq 1.]

Taking reciprocals reverses the inequalities, giving

[ cos theta leq frac{sin theta}{theta} leq 1.]

(These inequalities hold for all values of (theta) near 0, even negative values, since (cos (-theta) = cos theta) and (sin (-theta) = -sin theta).)

Now take limits.

[limlimits_{thetato 0} cos theta leq limlimits_{thetato 0} frac{sintheta}{theta} leq limlimits_{thetato 0} 1 ]

[cos 0 leq limlimits_{thetato 0} frac{sintheta}{theta} leq 1 ]

[1 leq limlimits_{thetato 0} frac{sintheta}{theta} leq 1 ]

Clearly this means that ( limlimits_{thetato 0} frac{sintheta}{theta}=1)

Two notes about the previous example are worth mentioning. First, one might be discouraged by this application, thinking 'I would never have come up with that on my own. This is too hard!' Don't be discouraged; within this text we will guide you in your use of the Squeeze Theorem. As one gains mathematical maturity, clever proofs like this are easier and easier to create.

Second, this limit tells us more than just that as (x) approaches 0, (sin(x)/x) approaches 1. Both (x) and (sin x) are approaching 0, but the ratio of (x) and (sin x) approaches 1, meaning that they are approaching 0 in essentially the same way. Another way of viewing this is: for small (x), the functions (y=x) and (y=sin x) are essentially indistinguishable.

We include this special limit, along with three others, in the following theorem.

Theorem (PageIndex{5}) : Special Limits

  1. ( limlimits_{xto 0} frac{sin x}{x} = 1)
  2. ( limlimits_{xto 0} frac{cos x-1}{x} = 0)
  3. ( limlimits_{xto 0} (1+x)^frac1x = e)
  4. ( limlimits_{xto 0} frac{e^x-1}{x} = 1)

A short word on how to interpret the latter three limits. We know that as (x) goes to 0, (cos x) goes to 1. So, in the second limit, both the numerator and denominator are approaching 0. However, since the limit is 0, we can interpret this as saying that '(cos x) is approaching 1 faster than (x) is approaching 0.'

Frq

In the third limit, inside the parentheses we have an expression that is approaching 1 (though never equaling 1), and we know that 1 raised to any power is still 1. At the same time, the power is growing toward infinity. What happens to a number near 1 raised to a very large power? In this particular case, the result approaches Euler's number, (e), approximately (2.718.)

In the fourth limit, we see that as (xto 0), (e^x) approaches 1 ``just as fast' as (xto 0), resulting in a limit of 1.

Our final theorem for this section will be motivated by the following example.

Example (PageIndex{5}): Using algebra to evaluate a limit

Evaluate the following limit:

[limlimits_{xto 1}frac{x^2-1}{x-1}. nonumber]

Solution

We begin by attempting to apply Theorem 3 and substituting 1 for (x) in the quotient. This gives:

[limlimits_{xto 1}frac{x^2-1}{x-1} = frac{1^2-1}{1-1} = frac{',0,'}{0},]

1.2

and indeterminate form. We cannot apply the theorem.

By graphing the function, as in Figure (PageIndex{2}), we see that the function seems to be linear, implying that the limit should be easy to evaluate. Recognize that the numerator of our quotient can be factored:

[frac{x^2-1}{x-1} = frac{(x-1)(x+1)}{x-1}. nonumber]

The function is not defined when (x=1), but for all other (x),

[require{cancel} frac{x^2-1}{x-1} = frac{(x-1)(x+1)}{x-1} = frac{cancel{(x-1)}(x+1)}{cancel{x-1}}= x+1.]

Clearly ( limlimits_{xto 1}x+1 = 2). Recall that when considering limits, we are not concerned with the value of the function at 1, only the value the function approaches as (x) approaches 1. Since ((x^2-1)/(x-1)) and (x+1) are the same at all points except (x=1), they both approach the same value as (x) approaches 1. Therefore we can conclude that

[limlimits_{xto 1}frac{x^2-1}{x-1}=2. nonumber]

The key to the above example is that the functions (y=(x^2-1)/(x-1)) and (y=x+1) are identical except at (x=1). Since limits describe a value the function is approaching, not the value the function actually attains, the limits of the two functions are always equal.

Theorem (PageIndex{6}) : Limits of Functions Equal At All But One Point

1.2 limits analyticallyap calculus 2nd edition

Let (g(x) = f(x)) for all (x) in an open interval, except possibly at (c), and let ( limlimits_{xto c} g(x) = L) for some real number (L).Then

[limlimits_{xto c}f(x) = L.]

The Fundamental Theorem of Algebra tells us that when dealing with a rational function of the form (g(x)/f(x)) and directly evaluating the limit ( limlimits_{xto c} frac{g(x)}{f(x)}) returns '0/0', then ((x-c)) is a factor of both (g(x)) and (f(x)). One can then use algebra to factor this term out, cancel, then apply Theorem 6. We demonstrate this once more.

Example (PageIndex{6}): Evaluating a limit using Theorem (PageIndex{6})

Evaluate

[ limlimits_{xto 3} frac{x^3-2 x^2-5 x+6}{2 x^3+3 x^2-32 x+15}. nonumber]

Solution

We begin by applying Theorem 3 and substituting 3 for (x).This returns the familiar indeterminate form of '0/0'.

Since the numerator and denominator are each polynomials, we know that ((x-3)) is factor of each. Using whatever method is most comfortable to you, factor out ((x-3)) from each (using polynomial division, synthetic division, a computer algebra system, etc.). We find that

[frac{x^3-2 x^2-5 x+6}{2 x^3+3 x^2-32 x+15} = frac{(x-3)(x^2+x-2)}{(x-3)(2 x^2+9 x-5)}. nonumber]

We can cancel the ((x-3)) terms as long as (xneq 3). Using Theorem 6 we conclude:

[begin{align*}limlimits_{xto 3} frac{x^3-2 x^2-5 x+6}{2 x^3+3 x^2-32 x+15} &= limlimits_{xto 3}frac{(x-3)(x^2+x-2)}{(x-3)(2 x^2+9 x-5)} &= limlimits_{xto 3} frac{(x^2+x-2)}{(2 x^2+9 x-5)} &= frac{10}{40} = frac14. end{align*}]

We end this section by revisiting a limit first seen in Section 1.1, a limit of a difference quotient. Let (f(x) = -1.5x^2+11.5x); we approximated the limit ( limlimits_{hto 0}frac{f(1+h)-f(1)}{h}approx 8.5.) We formally evaluate this limit in the following example.

Example (PageIndex{7}) : Evaluating the limit of a difference quotient

Let (f(x) = -1.5x^2+11.5x); find ( limlimits_{hto 0}frac{f(1+h)-f(1)}{h}.)

1.2 Limits Analyticallyap Calculus Frq

Solution

Since (f) is a polynomial, our first attempt should be to employ Theorem 3 and substitute 0 for (h). However, we see that this gives us '0/0.' Knowing that we have a rational function hints that some algebra will help. Consider the following steps:

[begin{align*} limlimits_{hto 0}frac{f(1+h)-f(1)}{h} &= limlimits_{hto 0}frac{-1.5(1+h)^2 + 11.5(1+h) - left(-1.5(1)^2+11.5(1)right)}{h} &= limlimits_{hto 0}frac{-1.5(1+2h+h^2) + 11.5+11.5h - 10}{h} &= limlimits_{hto 0}frac{-1.5h^2 +8.5h}{h} &= limlimits_{hto 0}frac{h(-1.5h+8.5)}h &= limlimits_{hto 0}(-1.5h+8.5) quad (text{using Theorem 6, as (hneq 0)}) &= 8.5 quad (text{using Theorem 3}) end{align*}]

This matches our previous approximation.

This section contains several valuable tools for evaluating limits. One of the main results of this section is Theorem 3; it states that many functions that we use regularly behave in a very nice, predictable way. In the next section we give a name to this nice behavior; we label such functions as continuous. Defining that term will require us to look again at what a limit is and what causes limits to not exist.

Contributors and Attributions

  • Gregory Hartman (Virginia Military Institute). Contributions were made by Troy Siemers and Dimplekumar Chalishajar of VMI and Brian Heinold of Mount Saint Mary's University. This content is copyrighted by a Creative Commons Attribution - Noncommercial (BY-NC) License. http://www.apexcalculus.com/

Notes of the book Calculus with Analytic Geometry written by Dr. S. M. Yusuf and Prof. Muhammad Amin, published by Ilmi Kitab Khana, Lahore - PAKISTAN. The notes of this chapter is written by Prof. Muhammad Farooq, Punjab College, Sargodha.

Contents and summary

    • Rational numbers, Irrational numbers, Real numbers, Complex numbers
    • Properties of real numbers, Order properties of $mathbb{R}$
    • The completeness property of $mathbb{R}$
    • Real line, Interval
    • Binary relation (B.R), Domain of B.R, Range of B.R
    • Function, Onto or surjective funiton, (1-1) Function, Bijective Function
    • Real valued function, Image of a function, Bracket function
    • Finite limit at a finite point
    • Right hand limit
    • Continuity

View online or download

Select the exercise below to view it. You can also download the PDF file of the respective exercise from the pages given below.

  • Articles of Exercise 1.1 | View Online | Download PDF

1.2 Limits Analyticallyap Calculus 2nd Edition

  • Solution of Exercise 1.1 | View Online | Download PDF