Does anyone know the best way to show this limit does not exist?

  • Context: Undergrad 
  • Thread starter Thread starter AxiomOfChoice
  • Start date Start date
  • Tags Tags
    Limit
Click For Summary

Discussion Overview

The discussion revolves around the limit \lim_{x\to 0} \frac{\ln (1-x) - \sin x}{1 - \cos^2 x} and explores methods to demonstrate that this limit does not exist. Participants consider various approaches, including l'Hôpital's rule and Taylor expansions, while discussing the implications of one-sided limits.

Discussion Character

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

Main Points Raised

  • Some participants suggest using l'Hôpital's rule to analyze the limit, while others argue that it only provides a sufficient condition for the existence of a limit, not a necessary one.
  • One participant proposes using Taylor expansions to analyze the limit, noting that the first factor approaches \(-\infty\) or \(+\infty\) depending on the direction from which \(x\) approaches 0.
  • Another participant reformulates the limit and calculates the left and right-sided limits, concluding that they are not equal, which indicates that the limit does not exist.
  • There is a discussion about whether l'Hôpital's rule can be applied to one-sided limits and if it can still be valid when considering left-hand or right-hand limits.
  • Some participants question the assumption that the limit of a sum can be determined by the limits of its components when those limits are infinite.
  • A participant mentions a specific limit involving \(x\) and suggests that a power of 2 was lost in the denominator, indicating a potential error in a previous calculation.

Areas of Agreement / Disagreement

Participants express differing views on the applicability of l'Hôpital's rule and the methods for demonstrating that the limit does not exist. There is no consensus on the best approach or the implications of using one-sided limits.

Contextual Notes

Some discussions involve assumptions about the behavior of functions as they approach infinity, and there are unresolved questions regarding the application of l'Hôpital's rule in specific contexts.

AxiomOfChoice
Messages
531
Reaction score
1
What's the most efficient way (other than just plotting it and eyeballing it) to show that

[tex] \lim_{x\to 0} \frac{\ln (1-x) - \sin x}{1 - \cos^2 x}[/tex]

does not exist?
 
Physics news on Phys.org
l'Hôpital?
 
tiny-tim said:
l'Hôpital?



Can't be. L'Hospital gives a sufficient condition for a limit to exist, not necessary, meaning: if the limit *after* doing L'H doesn't exist we cannot deduce the original limit doesn't exist either.

DonAntonio
 
DonAntonio said:
Can't be. L'Hospital gives a sufficient condition for a limit to exist, not necessary, meaning: if the limit *after* doing L'H doesn't exist we cannot deduce the original limit doesn't exist either.

DonAntonio

Still, we can use l'hospital's rule by noting it holds also for one-sided limits and for extended limits. So if we can show that the left-sides and right-sides limits of the derivatives are infinite, then so are the left-sided and rigt-sided limits of the original function.
 
AxiomOfChoice said:
What's the most efficient way (other than just plotting it and eyeballing it) to show that

[tex] \lim_{x\to 0} \frac{\ln (1-x) - \sin x}{1 - \cos^2 x}[/tex]

does not exist?



One way is using Taylor expansions: [tex]\log(1-x)=-(x+\frac{x^2}{2}+\frac{x^3}{3}+...)\,\,,\,\,\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}-...\Longrightarrow \sin^2x=x^2-\frac{x^4}{3}+...[/tex] so[tex]\frac{\log(1-x)\sin x}{\sin^2x}=\frac{-2x-\frac{x^2}{2}-\frac{x^3}{6}-...}{x^2-\frac{x^4}{3}+...}=-\frac{1}{x}\frac{2+\frac{x}{2}+\frac{x^2}{3}+...}{1-\frac{x^2}{3}+...}[/tex]

The second factor in the last expression above has limit [itex]\,2\,\text{when}\,x\to 0\,[/itex] , whereas the first factor has no limit, as it approaches [itex]\,-\infty\,\,\,or\,\,\,+\infty\,[/itex] according as whether [itex]\,x\to 0^+\,\,\,or\,\,\,x\to 0^-\,[/itex] , resp.

DonAntonio
 
[tex]\frac{\ln(1-x)-\sin x}{1-\cos^2x} = \frac{\ln(1-x)-\sin x}{\sin^2x} = \frac{\ln(1-x)}{\sin^2x} - \csc x[/tex]
[tex]\lim_{x\to 0^-} \frac{\ln(1-x)}{\sin^2x} = +\infty[/tex] [tex]\lim_{x\to 0^+}\frac{\ln(1-x)}{\sin^2x} = -\infty[/tex][tex]\lim_{x\to 0^-}-\csc x = +\infty[/tex][tex]\lim_{x\to 0^+}-\csc x = -\infty[/tex]

The left and right-sided limits aren't the same, so the limit doesn't exist.
 
micromass said:
Still, we can use l'hospital's rule by noting it holds also for one-sided limits and for extended limits. So if we can show that the left-sides and right-sides limits of the derivatives are infinite, then so are the left-sided and rigt-sided limits of the original function.

Does this mean that L'Hopital's rule is still good even if we rewrite the statement of the theorem in terms of left-hand (or right-hand) limits? (We obviously then just obtain a result about the left-hand or right-hand limit of the function.)
 
Bohrok said:
[tex]\frac{\ln(1-x)-\sin x}{1-\cos^2x} = \frac{\ln(1-x)-\sin x}{\sin^2x} = \frac{\ln(1-x)}{\sin^2x} - \csc x[/tex]
[tex]\lim_{x\to 0^-} \frac{\ln(1-x)}{\sin^2x} = +\infty[/tex] [tex]\lim_{x\to 0^+}\frac{\ln(1-x)}{\sin^2x} = -\infty[/tex][tex]\lim_{x\to 0^-}-\csc x = +\infty[/tex][tex]\lim_{x\to 0^+}-\csc x = -\infty[/tex]

The left and right-sided limits aren't the same, so the limit doesn't exist.
You seem to be assuming that we can determine

[tex] \lim_{x\to a} \Big( f(x) + g(x) \Big)[/tex]

by considering

[tex] \lim_{x\to a} f(x) + \lim_{x\to a} g(x),[/tex]

even if the limits of [itex]f[/itex] and [itex]g[/itex] are [itex]\pm \infty[/itex]. Is this really the case?
 
AxiomOfChoice said:
Does this mean that L'Hopital's rule is still good even if we rewrite the statement of the theorem in terms of left-hand (or right-hand) limits?

yes … if we can use l'hôpital to prove that the left and right limits are ∞ and -∞, then we have proved that "the" limit does not exist :wink:
 
  • #10
AxiomOfChoice said:
Does this mean that L'Hopital's rule is still good even if we rewrite the statement of the theorem in terms of left-hand (or right-hand) limits? (We obviously then just obtain a result about the left-hand or right-hand limit of the function.)

A function has a limit at x0 iff its right and left limits at x0 exist and are equal.
 
  • #11
[tex] \lim_{x\to 0} x \frac{\ln (1-x) - \sin x}{1 - \cos^2 x}=-2[/tex]
 
  • #12
lurflurf said:
[tex] \lim_{x\to 0} x \frac{\ln (1-x) - \sin x}{1 - \cos^2 x}=-2[/tex]
Nope. That's [itex]\lim_{x\to 0} x \frac{\ln (1-x) - \sin x}{\sin x}[/itex]. It looks like you lost a power of 2 in the denominator.
 
  • #13
AxiomOfChoice said:
You seem to be assuming that we can determine

[tex] \lim_{x\to a} \Big( f(x) + g(x) \Big)[/tex]

by considering

[tex] \lim_{x\to a} f(x) + \lim_{x\to a} g(x),[/tex]

even if the limits of [itex]f[/itex] and [itex]g[/itex] are [itex]\pm \infty[/itex]. Is this really the case?

It depends on whether the infinite limits have the same sign. If, say, [itex]\lim_{x\to a} f(x) = \infty[/itex] while [itex]\lim_{x\to a} g(x) = -\infty[/itex], then we have to use other methods to investigate the limit. But, informally speaking, if [itex]\lim_{x\to a} f(x) = \lim_{x\to a} g(x) = \infty[/itex] (note: same sign), then close to a, f(x) is very large and g(x) is nonnegative, which means that f(x)+g(x)≥f(x)+0, which is still very large.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K