Tuesday, April 9, 2019

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...