133

$$\lim_{x \to \infty} \frac{x}{x+\sin(x)}$$

This is of the indeterminate form of type $\frac{\infty}{\infty}$, so we can apply l'Hopital's rule:

$$\lim_{x\to\infty}\frac{x}{x+\sin(x)}=\lim_{x\to\infty}\frac{(x)'}{(x+\sin(x))'}=\lim_{x\to\infty}\frac{1}{1+\cos(x)}$$

This limit doesn't exist, but the initial limit clearly approaches $1$. Where am I wrong?

eMathHelp
  • 2,409
  • 94
    If the limit of $f'/g'$ exists, then it is also the limit of $f/g$. Not the other way around. – user251257 Mar 23 '16 at 21:11
  • 12
    One often forgets there are hypotheses to check before applying L'Hospital. One of these is that the ratio of the derivatives must exist (or still be indeterminate). – Bernard Mar 23 '16 at 21:13
  • 3
    A condition on the use of L'Hôpital in this context is that the derivative of the denominator must be non-zero on $(N, \infty)$ for some $N$. – Brian Tung Mar 23 '16 at 21:15
  • 2
    This post might give you something to think about. – Hirshy Mar 23 '16 at 21:23
  • @Bernard Being indeterminate isn't really a mathematical property of limits, just a way of looking at them. – Christopher King Mar 24 '16 at 00:41
  • 6
    An excellent example for a Calculus Course. – dwarandae Mar 24 '16 at 04:46
  • If the limit of $\frac{f'}{g'}$ does not exist, I believe you take the second derivative's ratio $\frac{f''}{g''}$ and if that doesn't exist, go to $3^{rd}$ derivative, etc.. – naiveai Mar 25 '16 at 05:53
  • 1
    Language nitpicking: The limit doesn't approach anything, it just sits there and waits for the function to approach it. – Hans Lundmark Mar 25 '16 at 09:17
  • @eshansingh1 you may only do this, if for $\frac{f'}{g'}$ you get another limit of the form $\frac{\infty}{\infty}$ or $\frac{0}{0}$. If the limit of $\frac{f'}{g'}$ doesn't exist, L'Hospital will just not give you any information about the limit of $\frac{f}{g}$. – Hirshy Mar 25 '16 at 15:39
  • @Hirshy Yes, right. – naiveai Mar 25 '16 at 16:14
  • If you are interested in the precise mathematical statement of the L'Hopital's Rule, take a look in my answer here. – Pedro A Mar 26 '16 at 13:24
  • 1
    @HansLundmark: Mathematical nitpicking: Functions don't approach a limit; it's an expression or the value of a function that approaches a limit. Functions just sit there and wait for input to process and produce output. – user21820 Mar 26 '16 at 16:14
  • @user21820: Fair enough, that's even better! Although as a matter of established terminology, we do speak of "the limit of a function" or "the limit of a sequence" rather than "the limit of the values of a function" or "the limit of the elements of a sequence"... – Hans Lundmark Mar 26 '16 at 20:15
  • @HansLundmark: "limit of a function/sequence" is necessary, because "values of a function" and "elements of a sequence" loses the order. However, we say "$f(x) \to c$ as $x \to a$", which literally says "the output of $f$ on input $x$ tends to $c$ as $x$ tends to $a$", and we don't say "$f \to c$ as $x \to a$", because it makes no sense. – user21820 Mar 27 '16 at 01:27
  • @Andrew Fount The numerator is zero as well as the first part of the denominator. Unless the second part also vanishes for all $x,$ L'Hospital's rule should not be used because you did not have $0/0$ form. – Narasimham Jan 29 '19 at 21:41
  • https://math.stackexchange.com/questions/362940/when-lh%C3%B4pitals-rule-fails , https://math.stackexchange.com/questions/1286699/whats-wrong-with-lhopitals-rule , https://math.stackexchange.com/questions/3588618/failure-of-lhopitals-rule , https://math.stackexchange.com/questions/1521718/are-there-any-situations-in-which-lhopitals-rule-will-not-work , https://math.stackexchange.com/questions/1102896/lhopitals-rule-failure-due-to-derivative-of-denominator-equaling-0 , https://math.stackexchange.com/questions/912650/when-does-l-hopitals-rule-fail – V.G Mar 16 '21 at 17:42

5 Answers5

165

Your only error -- and it's a common one -- is in a subtle misreading of L'Hopital's rule. What the rule says is that IF the limit of $f'$ over $g'$ exists then the limit of $f$ over $g$ also exists and the two limits are the same. It doesn't say anything if the limit of $f'$ over $g'$ doesn't exist.

Joe
  • 19,636
Barry Cipra
  • 79,832
44

L'Hopital's rule only tells you that if the modified limit exists and has value $L$, then the original limit also exists and has value $L$. It doesn't tell you that the converse holds.

So, the fact that the modified limit doesn't exist gives you no information about the original limit. So, you need a different method.

Consider something more direct: can you compute $$ \lim_{x\to\infty}\frac{x}{x+\sin x}=\lim_{x\to\infty}\frac{1}{1+\frac{\sin x}{x}}? $$

Nick Peterson
  • 32,430
13

Because you don't need it! And because one of the hypotheses (under which this technique applies) is not verified in this case.

Here, in layman terms, the ratio of functions, and the ratio of derivatives as well, does not have a clear enough limit. The de l'Hospital rule is more than often misused: a lot of people believe that if one cannot compute the limit of a ratio of functions, it is easier to compute easily the limit of the ratio of their derivatives. Possibly because derivatives sometimes look simpler, as for polynomials.

However, this is not true in general. Derivatives are rarely more continuous than original functions (my fundamental anti-theorem of analysis).

And thus said, remember that the purpose of exercises is to train your mathematical skills, not to get the result. The teacher knows it already (hopefully). Using de L'Hôpital's rule is sometimes overkill, with which you don't learn what is going on with your functions. It is more efficient, and sounder, to try first simpler techniques, such as factorization of leading terms (here $x$), transformations (logarithms), etc.

Now let us go to the point.

De L'Hôpital's rule states that: if $f$ and $g$ are functions that are differentiable on some (small enough) open interval $I$ (except possibly at a point $x_0$ contained in $I$), if $$\lim_{x\to x_0}f(x)=\lim_{x\to x_0}g(x)=0 \;\mathrm{ or }\; \pm\infty,$$ if $g'(x)\ne 0$ for all $x$ in $I$ with $x \ne x_0$, and $\lim_{x\to x_0}\frac{f'(x)}{g'(x)}$ exists, then:

$$\lim_{x\to x_0}\frac{f(x)}{g(x)} = \lim_{x\to x_0}\frac{f'(x)}{g'(x)}\,.$$

The most classical "counter-example" is when functions are constant: $f(x)=c$ and $g(x)=1$. The derivative of $g(x)$ vanishes on any open interval, while $f/g = c$.

The factorization proposed by @Nick Peterson typically avoids to resort to this overkill rule when it is not necessary (especially when the indeterminacy can be lifted easily).

De L'Hôpital's rule looks magic, and as for every magic, it shall be used wisely with parsimony (unless it unleashes terrible powers).

Here, tracks are legion. One very simple is that $x$ grows as... $x$, and $\sin(x)$ is bounded between $-1$ and $1$. So for a big engough $x$, $x-1\le x+\sin(x) \le x+1$, and you know that$ \frac{x}{x+1} $ and $\frac{x}{x-1}$ clearly tends to $1$.

10

others already said that l'Hopital requires existence of the limit of the ratio of the derivatives; However in addition, with a solid understanding of limit definition is still possible to prove solution applying De l'Hopital, but not to that function, think about this:

$$\lim_{x \to +\infty} \frac{x}{x+1} \leq \lim_{x \to +\infty} \frac{x}{x-\sin(x)} \leq \lim_{x \to +\infty} \frac{x}{x-1}$$ condensed considering also $-\infty$ with $$\lim_{x \to \infty} \frac{x}{x+sig(x)} \leq \lim_{x \to \infty} \frac{x}{x+\sin(x)} \leq \lim_{x \to \infty} \frac{x}{x-sig(x)}$$ where $$sig(x)=\left\{ \begin{matrix} 0 & x=0\\ \frac{|x|}x & x\ne 0 \end{matrix} \right.$$

prove the above while apply l'Hopital to

$$\lim_{x \to \infty} \frac{x}{x\pm 1}$$

the squeezing inequities are true after a certain G, formally $\exists G / \forall x\in\Re,|x|>G : \frac{x}{x+sig(x)} \leq \frac{x}{x+\sin(x)} \leq \frac{x}{x-sig(x)}$

applying the limit definition to $x \over x+sin(x)$ the starting point M selecting all x>M has to be greater or equal than G (simply require $M\geq G$), in this case M=G is great enough to say that the limit is the same 1.

More formally (I actually didn't find an online pointable suitable formal definition of $\lim_{x\to\infty}$, so I'm making it up)

$$\lim_{x \to \infty} f(x) = r\in \{\Re, -\infty, +\infty, NaN\} / \\ \exists r \in \Re : \forall \epsilon \in \Re, \epsilon>0: \exists M \in \Re : \forall x \in \Re, |x| > M : |f(x)-r|<\epsilon \\ \lor r=\infty, omissis \\ \lor r=+\infty, omissis \\ \lor r=-\infty, omissis \\ \lor r=NaN, omissis. $$ (r as abbreviation of response, NaN (not a number) is when the limit doesn't exists and $\lor$ is in this case a shortcut or).

think of names

$f(x)=\frac{x}{x+\sin(x)}$

$g(x)=\frac{x}{x \pm 1}$, and when the definition of limit is used with g(x) the lower bound M is called G

from the evident property $\exists G' \in \Re^+ | \forall x \in \Re, |x|>G' : x-1 \leq x+\sin(x) \leq x+1$

$\Rightarrow \exists G \in \Re^+ | \forall x \in \Re, |x|>G : \frac{x}{x+sig(x)} \leq \frac{x}{x+\sin(x)} \leq \frac{x}{x-sig(x)}$

$$\lim_{x \to \infty} \frac{x}{x\pm 1} \underleftarrow{=(?H)= \lim_{x \to +\infty} \frac{\frac{d}{dx} x}{\frac{d}{dx}(x \pm 1)} = \lim_{x \to +\infty} \frac{1}{1 \pm 0}=1}$$ the existence of this limits (they are two, due to $\pm$) ensures that

$\forall \epsilon \in \Re, \epsilon>0: \exists G \in \Re : \forall x \in \Re, |x| > G : |g(x)-r|<\epsilon$

Choosing $M \geq G$ ($M$ is the lower bound in the definition of limit for $f(x)$) $$ \Rightarrow \lim_{x \to \infty} f(x)=1$$

8

There is another useful rule, which I don't seem to have seen written down explicitly:

Let $f, g, r$ and $s$ be functions such that $g\to\infty$ and $r, s$ are bounded.
Then the limit of $\dfrac{f}{g}$ and the limit of $\dfrac{f + r}{g + s}$ gives the same result.

Applied here, since $\sin x$ is bounded, the limit is the same as the limit of $\dfrac{x}{x}$.

Bumblebee
  • 18,220
  • 5
  • 47
  • 87
gnasher729
  • 10,113