Understanding the squeeze theorem

  • Context: Undergrad 
  • Thread starter Thread starter chwala
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary

Discussion Overview

The discussion revolves around the Squeeze Theorem, particularly its application in determining limits of sequences and the conditions under which it holds. Participants explore various scenarios, including the use of alternating sequences and the implications of convergence.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants question the number of terms needed to apply the Squeeze Theorem, suggesting it may depend on common sense or specific conditions.
  • There is a discussion about the necessity of having ##n > 3## for the theorem to hold, as illustrated by the inequalities involving factorials and powers of two.
  • Concerns are raised about applying the theorem to sequences with alternating terms, with some suggesting that the theorem still applies under certain conditions.
  • One participant proposes using limits directly instead of relying on similar sequences, raising questions about the divergence of specific sequences.
  • Another participant emphasizes the importance of the limits of bounding sequences being equal for the Squeeze Theorem to apply, noting that divergence cannot be concluded without additional information.
  • There are mentions of using L'Hôpital's rule and geometric series to analyze convergence, though some participants challenge the application of these methods.

Areas of Agreement / Disagreement

Participants express differing views on the application of the Squeeze Theorem, particularly regarding alternating sequences and the conditions for convergence. There is no consensus on the best approach to take in certain examples, and the discussion remains unresolved on several points.

Contextual Notes

Some participants highlight limitations in their reasoning, such as the transition from discrete to continuous cases and the application of L'Hôpital's rule, indicating that further justification is needed for certain steps taken in their arguments.

Who May Find This Useful

Readers interested in mathematical analysis, particularly those studying limits, sequences, and the Squeeze Theorem, may find this discussion beneficial.

chwala
Gold Member
Messages
2,828
Reaction score
425
TL;DR
See attached
1666871362473.png


The theorem is pretty clear...out of curiosity i would like to ask...what if we took ##n-3## factors...then the theorem would not be true because we shall have;

##[n!=6⋅4⋅5⋅6 ... n]##

and

##[2^n = 8⋅2⋅2⋅2 ...2]##

What i am trying to ask is at what point do we determine the number of terms to consider? Is there a general rule when using Squeeze Theorem or is it a matter of one using common sense? :wink: Of course i can see that for ##n## values greater than or equal to ##4## the theorem would be sufficient.
 
Physics news on Phys.org
chwala said:
TL;DR Summary: See attached

What i am trying to ask is at what point do we determine the number of terms to consider?
We have ##\dfrac{-1}{2^n}\leq \dfrac{(-1)^n}{n!}\leq \dfrac{1}{2^n}.## In order to squeeze something, we need ##\dfrac{1}{n!}<\dfrac{1}{2^n}## which is equivalent to ##2^n<n!## and this isn't true for ##n\leq 3,## hence ##n>3.##
 
  • Like
Likes   Reactions: malawi_glenn and chwala
fresh_42 said:
We have ##\dfrac{-1}{2^n}\leq \dfrac{(-1)^n}{n!}\leq \dfrac{1}{2^n}.## In order to squeeze something, we need ##\dfrac{1}{n!}<\dfrac{1}{2^n}## which is equivalent to ##2^n<n!## and this isn't true for ##n\leq 3,## hence ##n>3.##
That is exactly what I am saying, ...I agree... then it's just a matter of logical thinking ( checking the comparison and so forth) ...what about sequences that may have alternating terms? would the theorem still apply? I may need to explore further. Thanks @fresh_42 .
 
chwala said:
That is exactly what I am saying, ...I agree... then it's just a matter of logical thinking ( checking the comparison and so forth) ...what about sequences that may have alternating terms? would the theorem still apply? I may need to explore further. Thanks @fresh_42 .
Be careful. If ##a_n\leq b_n \leq c_n## - alternating or not - and ##L:=\lim_{n \to \infty}a_n## and ##M:=\lim_{n \to \infty}c_n## then ##L=M## implies ##\lim_{n \to \infty}b_n=L. ## The important condition is ##L=M,## not convergence. If ##L\neq M## then we cannot make any conclusions without further information like e.g. monotony.
 
  • Like
Likes   Reactions: malawi_glenn and chwala
fresh_42 said:
Be careful. If ##a_n\leq b_n \leq c_n## - alternating or not - and ##L:=\lim_{n \to \infty}a_n## and ##M:=\lim_{n \to \infty}c_n## then ##L=M## implies ##\lim_{n \to \infty}b_n=L. ## The important condition is ##L=M,## not convergence. If ##L\neq M## then we cannot make any conclusions without further information like e.g. monotony.
Nice, i see that it does not matter whether a sequence is alternating or not as the Absolute Value theorem will apply. Cheers mate.
 
Still on this, instead of using a similar sequence...can't we just use limits straightaway? i am asking this in reference to another example;

For this case; we may have

##\lim_{n→∞} \left[(-1)^n \dfrac {1}{n!}\right] =0##

My next example is on determining the divergence or convergence of the sequence;

##b_n = (-1)^n \dfrac{n}{n+1}##

it follows that;

##\lim_{n→∞} \left[(-1)^n \dfrac {n}{n+1}\right] =\left[\lim_{n→∞} (-1)^n\right]⋅\left[\lim_{n→∞} \dfrac {n}{n+1}\right]=∞⋅1=∞##

thus sequence diverges.

i hope i am doing it right...cheers
 
Last edited:
* i do not want to post a new thread as the questions are related...

Also for

##c_n = \dfrac{ \ln (n^2)}{n}##

here i used the L 'Hopital's rule i.e

##\lim_{x→∞} \dfrac {\ln (x^2)}{x}= \lim_{x→∞} \left[\dfrac{2}{x}\right]=0##

The sequence converges to ##0##.
 
Last edited:
...on the highlighted i hope my reasoning is correct any further insight is welcome...refreshing a little bit...

1667044331567.png


On the first highlighted part to arrive there, they made use of;

##Sn= \dfrac{a(1-r^n)}{1-r}= \dfrac{0.5(1-0.5^n)}{1-0.5}=1- \dfrac{1^n}{2^n}= \dfrac{2^n -1 }{2^n}##

on the second highlighted they made use of L'Hopital's rule;

##\lim_{x→∞} \dfrac {2^x-1}{2^x}= \lim_{x→∞} \left[\dfrac{2^x \ln 2}{2^x \ln 2}\right]=1##

Another approach;

Also ...the series is geometric, therefore ##r=\dfrac{1}{2}## because ##0< |r|< 1##, the series converges and its sum is

##S = \dfrac{a}{1-r} = \dfrac {0.5}{1-0.5} = 1##
 
Last edited:
This series;

1667045494871.png
can also be expressed as one fraction i.e

##S_n= \dfrac{1}{n(n+1)}## ...the partial sums converge to ##1##. We have ##[0.5, 0.666, 0.75, 0.8, ...)##

##\lim_{n→∞} \dfrac{1}{n(n+1)}=\lim_{n→∞}\left[ \dfrac{A}{n} + \dfrac{B}{1+n}\right] ##

With

##A=1##

##A+B=0, ⇒B=-1##

then the results given will be realized...this is just but a different way of me looking at the problem...of course the text approach is straightforward no dispute there.
 
  • #10
chwala said:
Still on this, instead of using a similar sequence...can't we just use limits straightaway? i am asking this in reference to another example;

For this case; we may have

##\lim_{n→∞} \left[(-1)^n \dfrac {1}{n!}\right] =0##

My next example is on determining the divergence or convergence of the sequence;

##b_n = (-1)^n \dfrac{n}{n+1}##

it follows that;

##\lim_{n→∞} \left[(-1)^n \dfrac {n}{n+1}\right] =\left[\lim_{n→∞} (-1)^n\right]⋅\left[\lim_{n→∞} \dfrac {n}{n+1}\right]=∞⋅1=∞##

thus sequence diverges.

i hope i am doing it right...cheers
You cannot write it that way. ##\lim_{n \to \infty}(-1)^n## does not exists, and even less is it ##\infty .## To show divergence, you could e.g. simply show that ##|a_n-a_{n-1}|>0.5.## Limit formulas do not help in such a case.
 
  • #11
chwala said:
* i do not want to post a new thread as the questions are related...

Also for

##c_n = \dfrac{ \ln (n^2)}{n}##

here i used the L 'Hopital's rule i.e

##\lim_{x→∞} \dfrac {\ln (x^2)}{x}= \lim_{x→∞} \left[\dfrac{2}{x}\right]=0##

The sequence converges to ##0##.
You need to justify why you can transition from discrete to continuous. Also, how exactly did you apply L'Hôpital? Wikipedia's version is
$$
\lim_{x \to x_0}\dfrac{f'(x)}{g'(x)}=c \Longrightarrow \lim_{x \to x_0}\dfrac{f(x)}{g(x)}=c
$$
Yours seem to be different?!?
 
  • #12
chwala said:
...on the highlighted i hope my reasoning is correct any further insight is welcome...refreshing a little bit...

View attachment 316322

On the first highlighted part to arrive there, they made use of;

##Sn= \dfrac{a(1-r^n)}{1-r}= \dfrac{0.5(1-0.5^n)}{1-0.5}=1- \dfrac{1^n}{2^n}= \dfrac{2^n -1 }{2^n}##

on the second highlighted they made use of L'Hopital's rule;

##\lim_{x→∞} \dfrac {2^x-1}{2^x}= \lim_{x→∞} \left[\dfrac{2^x \ln 2}{2^x \ln 2}\right]=1##

Another approach;

Also ...the series is geometric, therefore ##r=\dfrac{1}{2}## because ##0< |r|< 1##, the series converges and its sum is

##S = \dfrac{a}{1-r} = \dfrac {0.5}{1-0.5} = 1##
Same problem with L'Hôpital as before. See above.
 
  • #13
Sorry, but this thread is getting a mess by discussing four posts in parallel.

Please open new threads. This one is closed.
 
  • Like
Likes   Reactions: SammyS

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 17 ·
Replies
17
Views
6K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 9 ·
Replies
9
Views
8K
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K