Proving the Squeeze when x->-infinity

  • Thread starter Thread starter frenchkiki
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving the Squeeze theorem as x approaches negative infinity. Participants are exploring the appropriate definitions and conditions necessary for the theorem's application in this limit context.

Discussion Character

  • Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the correct interval for the functions involved and question the use of δ definitions for limits approaching negative infinity. There are attempts to establish the necessary conditions for the limits of f and h to imply the limit of g.

Discussion Status

Some participants have provided guidance on the correct definitions and conditions needed for the proof, while others are refining their arguments based on feedback. There is an ongoing exploration of how to properly express the limits and the implications of the Squeeze theorem in this context.

Contextual Notes

There is a noted confusion regarding the use of intervals and definitions when dealing with limits as x approaches negative infinity. Participants are encouraged to clarify their understanding of these concepts as they relate to the Squeeze theorem.

frenchkiki
Messages
25
Reaction score
0

Homework Statement



Prove the Squeeze theorem when x tends to -∞

Homework Equations



Squeeze theorem:
f, g and h defined over (a-r , r+a) r>0 [itex]\forall[/itex] x[itex]\in[/itex] (a-r , r+a)
f(x)[itex]\leq[/itex]g(x)[itex]\leq[/itex]h(x)
if lim f(x) = lim h(x) = L as x[itex]\rightarrow[/itex]a
then we have lim g(x) = L as x[itex]\rightarrow[/itex]a

The Attempt at a Solution



I am having a hard time finding the right interval.

I am tempted to write:
f, g and h defined over (-∞,+∞)
Let ε>0, [itex]\exists[/itex] δ1, δ2>0:
f(x)[itex]\leq[/itex]g(x)[itex]\leq[/itex]h(x)
if lim f(x) = lim h(x) = L as x[itex]\rightarrow[/itex]-∞
then we have lim g(x) = L as x[itex]\rightarrow[/itex]-∞

but then if I follow the proof my prof gave me, I'd end up with
[itex]\forall[/itex]x 0<|x- -∞|<δ1
and 0<|x- -∞|<δ2

Thanks in advance
 
Physics news on Phys.org
You can't use a "δ" definition for x → ∞ or x → -∞. You need to start with a proper definition:

[tex]\lim_{x\rightarrow -\infty}g(x) = L\hbox{ means given }\epsilon > 0<br /> \hbox{ you can find } N\hbox{ such that }|g(x) - L | < \epsilon\hbox{ for all } x < N[/tex]

That is what you need to prove.
 
Last edited:
Would the following be correct?

f, g and h defined over I=(-∞,N) N ∈ ℝ
If ∀ x ∈ I, we have:
f(x)≤g(x)≤h(x) and lim f(x) = lim h(x) = L as x→-∞,
then we have:
lim g(x) = L as x→-∞

lim f(x) = L as x→-∞ implies:
[itex]\forall[/itex] ε>0, ∃ N1>0, ∀x, x<N1→ L-ε<g(x)<L+ε

lim h(x) = L as x→-∞ implies:
[itex]\forall[/itex] ε>0, ∃ N2>0, ∀x, x<N2→ L-ε<g(x)<L+ε

Let N=max(N1,N2)

[itex]\forall[/itex] ε>0, ∃ N>0, [itex]\forall[/itex] x<N → L-ε<f(x)≤g(x)≤h(x)<L+ε
which proves
[itex]\forall[/itex] ε>0, ∃ N>0, [itex]\forall[/itex] x<N → g(x)[itex]\in[/itex](L-ε , L+ε)

therefore lim g(x)=L as x→-∞
 
frenchkiki said:
Would the following be correct?

f, g and h defined over I=(-∞,N) N ∈ ℝ
If ∀ x ∈ I, we have:
f(x)≤g(x)≤h(x) and lim f(x) = lim h(x) = L as x→-∞,
then we have:
lim g(x) = L as x→-∞

lim f(x) = L as x→-∞ implies:
[itex]\forall[/itex] ε>0, ∃ N1>0, ∀x, x<N1→ L-ε<g(x)<L+ε

lim h(x) = L as x→-∞ implies:
[itex]\forall[/itex] ε>0, ∃ N2>0, ∀x, x<N2→ L-ε<g(x)<L+ε

The structure of your argument is good, but you are still not using the correct definition for a limit as x → -∞. Remember that, intuitively, f(x) and g(x) must get close to L when x becomes a "large negative number". You don't get that with your conditions on N I have highlighted. x less than some positive number doesn't qualify.

Let N=max(N1,N2)

[itex]\forall[/itex] ε>0, ∃ N>0, [itex]\forall[/itex] x<N → L-ε<f(x)≤g(x)≤h(x)<L+ε
which proves
[itex]\forall[/itex] ε>0, ∃ N>0, [itex]\forall[/itex] x<N → g(x)[itex]\in[/itex](L-ε , L+ε)

therefore lim g(x)=L as x→-∞

Fix that with a couple of minor changes and you will be good to go.
 
I think I've got it:

lim f(x) = L as x→-∞ implies:
∀ ε>0, ∃ N1>0, ∀x, x<-N1→ L-ε<g(x)<L+ε

lim h(x) = L as x→-∞ implies:
∀ ε>0, ∃ N2>0, ∀x, x<-N2→ L-ε<g(x)<L+ε

Let N=max(N1,N2)

∀ ε>0, ∃ N>0, ∀ x<-N → L-ε<f(x)≤g(x)≤h(x)<L+ε
which proves
∀ ε>0, ∃ N>0, ∀ x<-N → g(x)∈(L-ε , L+ε)

therefore lim g(x)=L as x→-∞
 
frenchkiki said:
I think I've got it:

lim f(x) = L as x→-∞ implies:
∀ ε>0, ∃ N1>0, ∀x, x<-N1→ L-ε<g(x)<L+ε

lim h(x) = L as x→-∞ implies:
∀ ε>0, ∃ N2>0, ∀x, x<-N2→ L-ε<g(x)<L+ε

Let N=max(N1,N2)

∀ ε>0, ∃ N>0, ∀ x<-N → L-ε<f(x)≤g(x)≤h(x)<L+ε
which proves
∀ ε>0, ∃ N>0, ∀ x<-N → g(x)∈(L-ε , L+ε)

therefore lim g(x)=L as x→-∞

OK, that's better. Or you could just say there is an N such that x < N implies... and take the minimum of N1 and N2. You don't need the N > 0 and the minus signs, although the way you have written it is not incorrect.
 
OK. Thanks a lot for your help LCKurtz.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K