For \(p\in Q\) define \(f: R\rightarrow R\) by \(f(x)=[|x|^p sin(\frac{1}{x}) ~~x\not = 0\);\(0~~x=0\). For which values of p is f continuous at 0?
@ganeshie8
@SolomonZelman , I am not sure if you know this, but could you look at it for me?
@freckles do you mind taking a look?
I think it is continuous for any value of p>1...
but I don't know how to prove it
We want f to be continuous at x=0... we need to have this: \[\lim_{x \rightarrow 0}|x|^psin(\frac{1}{x})=0\] Thinking right now
oh, it should include 1. I was thinking differentiable(2nd part of the question)
We know \[\lim_{x \rightarrow 0} x \sin(\frac{1}{x})=0 \text{ by squeeze theroem }\] -1<sin(1/x)<1 -x<x sin(1/x)<x and -x and x go to 0 so x sin(1/x) goes to 0
agreed, same for integers above 1
and yeah I didn't put the equal signs there (just the inequalities) because I'm being lazy
Oh true
If you can use squeeze theorem then we are done right? \[-x^n \le \sin(\frac{1}{x} )\le x^{n} \text{ for rational } n \ge 1 \] we have that the thingy in between goes 0 0 since the thingys on the outside go to zero
it's the rationals I do not know how to prove. I rewrote p as \(\frac{m}{n}\) then changed \(|x|^\frac{m}{n}=(|x|^m)^\frac{1}{n}\) but I'm not sure that helps
can we assume?
and yes, we have squeeze up our sleeve
i wonder if we consider rationals between 0 and 1
so, jsut cause I'm now thinking about it, what about for 0<p<1
like -x^(1/2) and x^(1/2) also go to zero
as x goes to zero
roots are continuous, no?
oh but not on R only R+
but we have an abs. value so yes, they end up eing continuous
so if we had \[f(x)=x^n \sin(\frac{1}{x}), x \neq 0 \text{ and } 0 ,x =0\] We have by squeeze theorem that when n>0 that \[\lim_{x \rightarrow 0}f(x)=0\] do you agree with this?
The only think I' haven't touched on is the | | part but that shouldn't make much of a difference
i think
not in the case of positive exp. No, no difference
but yes, I agree
|| doesn't effect cont. only differentiability
that is true because |x|->0 as x->0
any |x|^n->0 as x->0 as along as n>0
and not any*
? not any? every exponent goes to 0 when x goes to zero.
every positive exp*
I was just saying i didn't mean to write any I meant to write and
oh ok, you typed any again
So now, do you agree that for p>1 it is differentiable?
at zero
\[f(x)=x^n \sin(\frac{1}{x}) \text{ if } x>0 , \text{ and } (-x)^n \sin(\frac{1}{x}) \text{ if } x<0,\text{ and } 0 \text{ if } x=0\]
I was going to look at the derivative of this and I think you are right but I have to go right now i have a meeting at 1 oclock sorry
it's cool thanks for the help!
we don't care about p<=0 because we already said it wasn't continuous on p<=0 so it certainly won't be differentiable there So we need to look at p>0 only \[f'(x)=nx^{n-1}\sin(\frac{1}{x})+x^n \cdot \frac{-1}{x^2}\cos(\frac{1}{x}) \text{ for } x>0 \\ f'(x)=nx^{n-1}\sin(\frac{1}{x})-x^{n-2}\cos(\frac{1}{x}) \text{ for } x>0 \\ f'(x)=x^{n-2} \cdot [n x \sin(\frac{1}{x})-\cos(\frac{1}{x})] \text{ for } x>0 \\ \text{ and } \\ f'(x)=-n(-x)^{n-1}\sin(\frac{1}{x})+(-x)^{n} \cdot \frac{-1}{x^2}\cos(\frac{1}{x}) \text{ for } x<0 \\ f'(x)=-(-x)^{n-2}[(-x)\sin(\frac{1}{x})+\cos(\frac{1}{x})] \text{ for } x<0\]
we should check to see if the function is actually differentiable at x=0 that is we need to check to see \[\lim_{x \rightarrow 0^+}f'(x)=\lim_{x \rightarrow 0^-}f'(x)=0\] so f'(x)=0 when x=0 so actually n might have to be greater than 2
And I say n might have to be greater than 2 because of x^(n-2) factor
Join our real-time social learning platform and learn together with your friends!