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
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
12 replies · 4K views
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
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:
 
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.
 
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.