Formal Definition of Limits, as x -> infinity

In summary, I am having difficulties trying to adopt the formal definition of Limits as x -> infinity. I will simply try to explain my problem using an example. The Formal Definition of Limits as x -> infinity is as follows: Limit of f(x) as x -> infinity = L, iff we can find M such that x > M forces absolute value of f(x) - L < e. However, I am having difficulty trying to find a general equation M, in terms of e. I have tried some I can't do: f(x) = (x + 3) / (x^2 - 3) so given e>0 you must show \frac{\sin(x)|}{x^

Was this thread helpful?

  • A bit (go ask some more)

    Votes: 0 0.0%

  • Total voters
    2
  • Poll closed .
  • #1
kioria
54
0
Hi,

I am having difficulties trying to adopt the formal definition of Limits as x -> infinity. I will simply try to explain my problem using an example.
Code:
The Formal Definition of Limits as x -> infinity is as follows:
Limit of f(x) as x -> infinity = L, iff we can find M such that
x > M forces absolute value of f(x) - L < e.

note: e = epsilon, M = a function of epsilon

Question:
Find as x -> infinity, the limit of: and prove using the Formal Definition.
f(x) = (sin 3x) / (x^2 + 4), the answer is 0.
Formal definition requires me to find a general equation M, in terms of e. How can I do that with these type of questions?

Here are some I can't do:
Code:
f(x) = (x + 3) / (x^2 - 3)
 
Physics news on Phys.org
  • #2
So given e>0 you must show [tex] \frac{\sin(x)|}{x^2+4} < e[/tex] for all x sufficiently large. |sin(x)| is bounded above by 1, so it suffices to show that given e>0 [tex]\frac{1}{x^2+4}<e[/tex], try manipulating that expression to get some idea for M. Eg 1/x^6 <e for all x> e^{-1/6}
 
  • #3
I have actually done that, but I am just not sure if the way I've done is right. It goes like:

[tex] {sin(3x)} <= 1 [/tex]

[tex] \frac{\sin(3x)}{x^2+4} < \frac{1}{x^2+4} < \epsilon[/tex]

[tex] M(\epsilon) = \sqrt{\frac{1}{\epsilon} - 4}[/tex]

[tex] x = \frac{1}{\sqrt{\epsilon}} > M(\epsilon)[/tex]

this works out so that if, I replace the x into the first condition, then it satisfies. And there I have left it as the answer.

Is that the correct approach?
 
Last edited:
  • #4
Well, x cannot be fixed by epsilon like that, M is fixed by the epsilon, and then as long as all the steps you've taken are reasonable, then x>M will imply |f(x)-L|<e
 
  • #5
matt grime said:
Well, x cannot be fixed by epsilon like that, M is fixed by the epsilon, and then as long as all the steps you've taken are reasonable, then x>M will imply |f(x)-L|<e

The x I meant was the x I've picked to test... Is there a better way to generalise the x I pick to test?
 
  • #6
you don't pick an x to test. you pick an M dependent on epsilon, and then it must be true for all x>M that..., you can't just pick one x and hope that the infinitely many other cases are also true.
 
  • #7
matt grime said:
you don't pick an x to test. you pick an M dependent on epsilon, and then it must be true for all x>M that..., you can't just pick one x and hope that the infinitely many other cases are also true.

And.. how would I do that? Can you show me how it is done with the above example? Thank you.

Thanks for your quick replies... really appreciate that.
 
  • #8
(It's better than being bored to death by the flat pitch in the test match in the Windies right now)

Let's do the easiest example: 1/x tends to zero as x tends to infinity.

Given e>0 we want 1/x<e, or x>1/e, so observing this we make the claim: let M=1/e

If x>M then 1/x<1/M and by choice 1/M=e, and we have solved the problem.

So we are given e, we manipulate the expression to see what M ought to be like, and then we check that if we assume x>M, that things behave themselves.
 
  • #9
matt grime said:
(It's better than being bored to death by the flat pitch in the test match in the Windies right now)

Let's do the easiest example: 1/x tends to zero as x tends to infinity.

Given e>0 we want 1/x<e, or x>1/e, so observing this we make the claim: let M=1/e

If x>M then 1/x<1/M and by choice 1/M=e, and we have solved the problem.

So we are given e, we manipulate the expression to see what M ought to be like, and then we check that if we assume x>M, that things behave themselves.

A rather, refreshing reply. Thanks for your easy example, and because of that I have much clearer understanding of this formal definition of limits. Now going back to the original example I've posted... I still don't have a clue, any more hints? Sorry to bother you... but I am just not getting at this...
 
  • #10
Well, we've done the manipulation so we know that letting M = sqrt(1/e-4) is sensible (and assuming e is small enough so that isnt' imaginary) then

x>M => x^2>M^2 => x^2+4> M^2+4 => (x^2+4)^{-1}< (M^2+4)^{-1} = e

so we've shown x>M implies f(x) <e
 
  • #11
matt grime said:
Well, we've done the manipulation so we know that letting M = sqrt(1/e-4) is sensible (and assuming e is small enough so that isnt' imaginary) then

x>M => x^2>M^2 => x^2+4> M^2+4 => (x^2+4)^{-1}< (M^2+4)^{-1} = e

so we've shown x>M implies f(x) <e

Oh my god... thanks very much for taking your time to reply. I have finally understood, and now I can do the questions that follows... Thank you.

Did you say you were watching a cricket match? GO AUSTRALIA!
 
  • #12
We (England) have got a chance to be the first team in history to whitewash the Windies in their own backyard. We already matched the feat of winning the first three like Oz did last year. I know, the Poms doing well, I can't believe it either. Don't worry, WI have just reached 300 for 2, sorry, 2 for 300 off 75 overs, so we won't be the ones to make history. Good on ya, (sorry, couldn't resist) for figuring it out.
 
  • #13
matt grime said:
Good on ya, (sorry, couldn't resist) for figuring it out.

Yes, I couldn't resist too :biggrin:
 
  • #14
matt grime said:
(It's better than being bored to death by the flat pitch in the test match in the Windies right now)

Eh, yer just bitter you won't whitewash the series 4-0. :wink:
 

1. What is the formal definition of limits?

The formal definition of limits, as x -> infinity, is a mathematical concept that describes the behavior of a function as the input variable approaches infinity. It is used to determine the value that a function approaches as its input variable approaches infinity.

2. How is the formal definition of limits expressed mathematically?

The formal definition of limits, as x -> infinity, is expressed as:
If for every positive number M, there exists a corresponding real number N such that for all x greater than N, the absolute value of f(x) - L is less than M, then the limit of f(x) as x approaches infinity is L.

3. What does the formal definition of limits represent?

The formal definition of limits represents the idea of a function approaching a specific value as its input variable gets larger and larger. It is a way to describe the behavior of a function at the extreme end of its domain.

4. How is the formal definition of limits used in calculus?

The formal definition of limits is a fundamental concept in calculus and is used to determine the continuity of a function. It is also used to evaluate the behavior of functions at infinity, which is important in finding the derivative and integral of a function.

5. Are there any limitations to the formal definition of limits?

Yes, the formal definition of limits only applies to functions that are continuous and defined on a closed interval. It also does not apply to functions with infinite oscillations or discontinuities at infinity.

Similar threads

  • Calculus
Replies
7
Views
1K
Replies
25
Views
3K
Replies
9
Views
891
  • Calculus
Replies
5
Views
838
Replies
16
Views
2K
  • Calculus
Replies
5
Views
954
Replies
1
Views
93
Replies
3
Views
1K
  • Calculus
Replies
5
Views
774
  • Calculus
Replies
2
Views
1K
Back
Top