Calculus/Choosing delta

From testwiki
Revision as of 21:34, 17 June 2006 by imported>Jguk (Calculus:Choosing delta moved to Calculus/Choosing delta: naming convention)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Recall the definition of a limit:

A number L is the limit of a function f(x) as x approaches c if and only if for all numbers ε > 0 there exists a number δ > 0 such that

|f(x)L|<ϵ
whenever
0<|xc|<δ.

In other words, given a number ε we must construct a number δ such that assuming
0<|xc|<δ
we can prove
|f(x)L|<ϵ;
moreover, this proof must work for all values of ε > 0.

Note: this definition is not constructive -- it does not tell you how to find the limit L, only how to check whether a particular value is indeed the limit. We use the informal definition of the limit, experience with similar problems, or theorems (L'Hopital's rule, for example), to determine the value, and then can prove the correctness of this value using the formal definition.

Example 1: Suppose we want to find the limit of f(x) = x + 5 as x approaches c = 9. We know that the limit L is 9+5=14, and desire to prove this.

We choose δ = ε (this will be explained later). Then, since we assume
|x9|<δ
we can show
|(x+5)14|=|x9| <δ =ϵ,
which is what we wanted to prove.

We chose δ by working backwards from the formula we are trying to prove:
|f(x)L|<ϵ.
In this case, we desire to prove
|x9|<ϵ,
given
|x9|<δ,
so the easiest way to prove it is by choosing δ = ε. This example, however, is too easy to adequately explain how to choose δ in general. Lets try something harder:

Example 2: Prove that the limit of f(x) = x² - 9 as x approaches 2 is L = -5.

We want to prove that
|f(x)L|=|x24|<ϵ
given
|x2|<δ.

We choose δ by working backwards. First, we need to rewrite the equation we want to prove using δ instead of x:

|x24|<ϵ|x2||x+2|<ϵ(δ)(δ+4)=ϵ

Note: we used the fact that |x + 2| < δ + 4, which can be proven with the triangle inequality.

Word of caution: the above series of equations is not a logical series of steps, and is not part of any proof, but is an informal technique used to help write the proof. We will select a value of δ so that the last equation is true, and then use the last equation to prove the equations above it in turn (which is what was meant earlier by working backwards).

Note: in the equations above, when δ was substituted for x, the sign < was replaced with =. This can be done (but is not necessary) because we are not told that |x-2| = δ, but rather |x-2| < δ. The justification for this becomes clear when the above equations are used in backwards order in the proof.

We can solve this last equation for δ using the quadratic formula:

δ=4+1641ϵ21=2+4ϵ

Note: δ is always in terms of ε. A constant value of δ (e.g., δ = 0.5) will never work.

Now, we have a value of δ, and we can do our proof:

given
|x2|<δ,
|f(x)L|=|x24| =|x2||x+2| (δ)(δ+4) <(4ϵ2)(4ϵ+2) =(4ϵ)2(2)2 =ϵ.

Here a few more examples of choosing δ; try to figure them out before reading the explanation.

Example 3: Prove that the limit of f(x) = sin(x)/x as x approaches 0 is L = 1.

Explanation:


Example 4: Prove that f(x) = 1/x has no limit as x approaches 0.