Monday, August 7, 2017

real analysis - How do I compute $lim_{x to 0}{(sin(x) + 2^x)^frac{cos x}{sin x}}$ without L'Hopital's rule?



What I've tried so far is to use the exponent and log functions:
$$\lim_{x \to 0}{(\sin(x) + 2^x)^\frac{\cos x}{\sin x}}= \lim_{x \to 0}e^ {\ln {{(\sin(x) + 2^x)^\frac{\cos x}{\sin x}}}}=\lim_{x \to 0}e^ {\frac{1}{\tan x}{\ln {{(\sin(x) + 2^x)}}}}$$.



From here I used the expansion for $\tan x$ but the denominator turned out to be zero. I also tried expanding $\sin x$ and $\cos x$ with the hope of simplifying $\frac{\cos x}{\sin x}$ to a constant term and a denominator without $x$ but I still have denominators with $x$.




Any hint on how to proceed is appreciated.


Answer



Take the logarithm and use standard first order Taylor expansions:
$$
\lim_{x\to0} \frac{\log\bigl(\sin(x)+2^x\bigr)}{\tan(x)}
=\lim_{x\to0} \frac{\log\bigl(\sin(x)+2^x\bigr)}{x+o(x)}
=\lim_{x\to0} \frac{x+\log(2)x+o(x)}{x+o(x)}
= 1+\log(2).
$$

Then

$$
\lim_{x\to0} \bigl(\sin(x)+2^x\bigr)^{\cot(x)} = e^{1+\log(2)} = 2e.
$$






EDIT



Maybe it's important to clarify why $\log\bigl(\sin(x)+2^x\bigr)=x+\log(2)x+o(x)$. I'm using the following facts:





  • $\log(1+t) = t+o(t)$ as $t\to0$,

  • $\sin(x)+2^x = 1+x+\log(2)x+o(x)$ as $x\to0$.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...