Proving Finite One-Sided Derivative at x=0 for f(x)=

[chaoseverlasting]

Homework Statement

Prove that the function f(x)=\sqrt(1-\sqrt(1-x^2)) has a finite one sided derivative at the point x=0.

Homework Equations

The Attempt at a Solution

What the heck is a one sided derivative? If I differentiate it, and put limit x=0, I get infinity, which is definitely NOT finite!

Do I use the fundamental definition of a derivative here and put lim x=0- or something?

 

[AKG]

Yeah, prove that one of the following (or both of the following) is/are finite:

\lim _{h \to 0^+} \frac{f(h) - f(0)}{h}

\lim _{h \to 0^-} \frac{f(h) - f(0)}{h}

Technically, the questions asks to show that f has a (as in, at least one) finite one-sided derivative, so you would only have to show that one of the above is finite. To be safe, however, you might want to show it for both.

 

[arildno]

As for the limit from the negative side, you wouldn't have any real number solutions.

Knowing that f(0)=0, it is advantageous to study the squared fraction (\frac{f(h)}{h})^{2} in some detail..

 

[chaoseverlasting]

Thanks all, I solved it. Only one of the derivatives exists.

 

[AKG]

No, both derivatives should exist.

lim _{h \to 0^-}\frac{f(h) - f(0)}{h}

=\lim _{h \to 0^+}\frac{f(-h) - f(0)}{-h}

= -\lim _{h \to 0^+}\frac{f(-h) - f(0)}{h}

= -\lim _{h \to 0^+}\frac{f(h) - f(0)}{h}

The left-sided derivative is just the negative of the right-sided derivative. If X exists, then so does -X.

 

[chaoseverlasting]

But the question says, it has only a one sided derivative. One of the derivatives does not exist.

 

[JasonRox]

But the question says, it has only a one sided derivative. One of the derivatives does not exist.

AKG is right though.

 

[AKG]

But the question says, it has only a one sided derivative. One of the derivatives does not exist.

That's not what the question says at all. Let's be clear. If f is a function, and x is some point in the domain, let L denote the left derivative of f at x, R the right derivative of f at x, and D the derivative of f at x. It's possible that some of these numbers don't exist, so I might right R = d.n.e. for example. Now if I write R = a, L = b, then understand that by using different symbols a and b, I mean a and b to be different, but I mean both of them to be real numbers, otherwise I'd write d.n.e. So we have the following possibilities:

I) L = d.n.e., R = d.n.e., D = d.n.e.
II) L = a, R = d.n.e., D = d.n.e.
III) L = d.n.e., R = b, D = d.n.e.
IV) L = c, R = d, D = d.n.e.
V) L = e, R = e, D = e

The questions asks to prove the existence of a one-sided derivative at 0, so it's asking you to prove that we're not in case I (i.e. we're in case II, III, IV, or V). It's not asking you to prove that it has only one one-sided derivative, i.e. it's not asking you to prove that you're either in case II or III. In this problem, you are in either case IV or case V. You're in case V iff anyone of L, R, or D is 0.

So when it asks: "Show that f has a finite one-sided derivative at 0" it means "Show that f has at leaste one finite one-sided derivative at 0", not "Show that f has only one finite one-sided derivative at 0." If I say "Show that 32 has an even divisor" I'm certainly not asking you to show that it has only one even divisor, I'm asking you to show there exists an even divisor, i.e. that there is at least one even divisor.

 

[chaoseverlasting]

Yeah. I made a mistake I guess. The RHD comes out to be +-1 and the LHD comes out to be -+1.
f(0)=0
lim_{h\to 0^+}=\frac{\sqrt(1-\sqrt(1-(0+h)^2)}{h}
rationalising,
lim_{h\to0^+}=\frac{\sqrt(h^2)}{h\sqrt(1+\sqrt(1-h^2)}
which gives you +_-1 and similarly, the LHD comes out to be -_+1.
Is this correct?

 

[VietDao29]

Uhm... What do you mean by +_-1, and -_+1?? :confsed:

...lim_{h\to0^+}=\frac{\sqrt(h^2)}{h\sqrt(1+\sqrt(1-h^2)}

You are correct up to this point. To continue, one can simply take the square root of h², i.e:
\lim_{h \rightarrow 0 ^ +} \frac{|h|}{h \sqrt{1 + \sqrt{1 - h ^ 2}}}
Since, h tends to 0⁺, i.e tends to 0 from the right, so that means h > 0, right?
So |h| = h, the expression becomes:
= \lim_{h \rightarrow 0 ^ +} \frac{h}{h \sqrt{1 + \sqrt{1 - h ^ 2}}} = \lim_{h \rightarrow 0 ^ +} \frac{1}{\sqrt{1 + \sqrt{1 - h ^ 2}}} = \frac{1}{\sqrt{2}}.
Can you get this? :)
Can you do the same to:
= \lim_{h \rightarrow 0 ^ -} \frac{\sqrt{h ^ 2}}{h \sqrt{1 + \sqrt{1 - h ^ 2}}}

 

[chaoseverlasting]

Yes. Looks like I am really on carless mistake making spree this week. Thank you.