I need to show that $f'(0)=0$ for $$ f(x)=\int\limits_0^x\sin\left(\frac{1}{t}\right)dt $$ But fundamental theorem of calculus is unapplicable here. What should I do?
Finding $f'(0)$ when $f(x)=\int\limits_0^x\sin\left(\frac{1}{t}\right)dt$
-
6Do you mean, show that $f'(x)=0$ for some $x$? Because $f'(x)\neq 0$ for most values of $x$ – 2012-06-27
-
0Sorry, that is my inadvertence – 2012-06-27
-
0Sorry, you are right... again – 2012-06-27
-
1$f'(0)=\lim\limits_{h\to0}\dfrac{f(0+h)-f(0)}{h}$. Probably you'll need to find the limit by "squeezing". – 2012-06-27
-
0How to find this limit? L'Hopital's rule doesn't work too! – 2012-06-27
-
0Related: http://math.stackexchange.com/questions/163717/find-the-derivative-of-the-primitive-of-a-discontinous-function – 2012-06-28
3 Answers
Here is one approach:
- Use integration by parts to show that $f(x)=x^2\cos(1/x)-\int_0^x 2t\cos(1/t)dt$ for $x\neq 0$.
- Use this to show that $\left|\dfrac{f(x)}{x}\right|\leq 2|x|$.
-
1Then $0\leq |f'(0)|\leq\lim\limits_{x\to 0} 2|x|=0$. Right? – 2012-06-27
-
0I do not entirely follow the logic of your comment, but e.g. you could use the so-called squeeze theorem, observing that $0<|f(x)/x|<2|x|$ and $\lim\limits_{x\to 0}2|x| = 0$ implies that $\lim\limits_{x\to 0}\frac{f(x)}{x}=0$, hence by definition $f'(0)$ exists and is $0$. – 2012-06-27
-
5Note that if you could assume that $f'(0)$ exists then this would be very easy, because $f$ is an even function so $f'(0)=0$ if it exists. ($f(x)=f(-x)\implies f'(x)=-f'(-x)$.) – 2012-06-27
-
2You are so smart! – 2012-06-27
To strengthen the convergence of an integral, a integration by parts is always a good idea. Here we have $$\begin{aligned} f(x) &=\int_0^x\sin\left(\frac 1t \right) dt\\ &= \left[ t^2 \cos\left(\frac 1t \right)\right]_0^x - \int_0^x 2t\cos\left(\frac 1t \right)dt\\ &= x^2 \cos\left(\frac 1x \right) - \int_0^x 2t\cos\left(\frac 1t \right)dt \end{aligned}$$ You can apply the fundamental theorem of calculus for the second term, since it is the integral of a continuous function. The first term is a $O(x^2)$, so it is differentiable at zero with null derivative. In the end, we get $f'(0) = 0$.
[Reminder — A function $f$ is derivable at zero with derivative $a$ if and only if $f(x) = f(0) + ax + o(x)$ when $x\to 0$.]
-
1Your solution is more detailed but Jonas Meyer for the first. – 2012-06-27
-
2@Jataga — Detailed solutions are longer to write ! (Just teasing you, I don't mind your choice ;)) – 2012-06-27
-
0Ok I've got another unanswered question. I will be glad to accept your solution :D – 2012-06-27
You can use the fundamental theorem of calculus to show that $f$ is differentiable in an interval around $0$ and apply Rolle's theorem.