# Differentiability Question

Printable View

• October 25th 2009, 08:51 PM
JohnLeee
Differentiability Question
http://i34.tinypic.com/wu5k414.png

I don't understand how to prove this considering f(x) is not specifically given....(Wondering)
• October 25th 2009, 09:13 PM
redsoxfan325
Quote:

Originally Posted by JohnLeee
http://i34.tinypic.com/wu5k44.png

I don't understand how to prove this considering f(x) is not specifically given....(Wondering)

At zero, $f(0)\leq ||0||^a\implies f(0)=0$. So $\frac{|f(x)-f(0)|}{||x-0||}\leq||x||^{a-1}$.

Take the limit of both sides as $x\to0$ and you get $f'(0)=0$.

If $a=1$, all you know is that $|f'(0)|\leq1$.
• October 25th 2009, 09:16 PM
Jose27
Remember that for a function to be diff. at $0$ there exists a linear transformation $D_f(0)$ such that $\vert \frac{f(h)-f(0)-D_f(0)h}{ \Vert h \Vert } \vert \rightarrow 0$ as $h \rightarrow 0$. Take $D_f(0) \equiv 0$ then $\vert \frac{f(h)-f(0)}{ \Vert h \Vert } \vert \leq \frac{ \Vert h \Vert ^a}{ \Vert h \Vert } = \Vert h \Vert ^{a-1}$ and since $a-1>0$ we have that this goes to $0$ as $h$ goes to $0$. This proves that $f$ is diff. at $0$ and $D_f(0) \equiv 0$. When $a=1$ we can only bound by $1$, but I can't think of a counter-example at the moment for this case.
• October 25th 2009, 09:19 PM
redsoxfan325
A good counterexample is $f:\mathbb{R}\longrightarrow\mathbb{R}$ with $f(x)=x$.
• October 25th 2009, 09:27 PM
Jose27
Quote:

Originally Posted by redsoxfan325
A good counterexample is $f:\mathbb{R}\longrightarrow\mathbb{R}$ with $f(x)=x$.

But $f$ is differentiable at $0$, I think we need a function such that $\vert f(x) \vert \leq \Vert x \Vert$ and it's not diff. at $0$ (If such a counter-example exists)
• October 25th 2009, 09:31 PM
redsoxfan325
Oh, in that case how about $x\sin(1/x)$?
All times are GMT -8. The time now is 12:12 PM.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 30, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9416674375534058, "perplexity_flag": "middle"}