This problem is making me think, deeply about continuity and differentiability

[SammyS]

Do you mean this part?

The area you've circled is the label for values of x. The values of z are along the vertical edge at the left. The values of y are along the bottom.

Nope that was my question! I'll do my best to look up the definitions, but my theory is that there are no side limits.

What's a side limit?

 

[vela]

Do you mean this part?
[PLAIN]http://img571.imageshack.us/img571/5297/xview.png[/QUOTE]
No, in that plot, the y-axis runs horizontally, and the z-axis is vertical. The front edge of the surface is in the plane x=0. If you look at the labels, you can see that y goes from -1 to 1 while z also goes from -1 to 1.

 

[flyingpig]

No, in that plot, the y-axis runs horizontally, and the z-axis is vertical. The front edge of the surface is in the plane x=0. If you look at the labels, you can see that y goes from -1 to 1 while z also goes from -1 to 1.

But if y is the horizontal, then isn't it slanted?

 

[vela]

I take it you're referring to the surface. Yes, it is slanted because ∂F/∂y(0,y)=1. If it were horizontal, you'd have ∂F/∂y(0,y)=0.

 

[SammyS]

Here is a graph which is similar to vela's middle graph, the one you (flyingpig) and vela have posted recently as an image.

What we have here are a set of graphs with y on the horizontal axis and z on the vertical axis. The graphs are of a "family" of functions: z = f_n(y), with n=0,..., 5. (In this case, the subscript, n, is an index; n does not indicate differentiation.)

Each f_n is defined as: $\displaystyle f_n(y)=\sqrt[3]{(n/5)^2+y^3}\,.$

So, what we have here is that $\displaystyle f_n(y)=F((n/5),y)\,,$ i.e., $\displaystyle f_n(y)=F(x,y)\,,$ where x = 1/n, with x held constant for each value of n.

Hopefully, you can see that $\displaystyle f_n'(y=0)=0\,,$ for n≠0. Also, f₀(y) = y , so f₀'(y) = 1, for all y.

Note: I spent some time yesterday getting WolframAlpha to graph the cube root as a real valued function. (It treats the cube root of a negative number as a complex valued function.) By the time I got the above graph, I noticed that vela had posted a more complete reply than I would have posted.

Perhaps this will help you understand what's going on with this interesting function & its partial derivatives.

 

[rude man]

dF = ∂F/∂x dx + ∂F/∂y dy
= 1/3 (x^2 + y^3)^(-2/3) (2x)dx + 1/3 (x^2 + y^3)^(-2/3) (3y^2)dy

dF/dy = 1/3 (x^2 + y^3)^(-2/3) (3y^2) since dx/dy = 0 if x,y independent variables.

So dF/dy at (0,0) = lim y^2/(X^2 + y^2)^(2/3) = lim y^(2/3) = 0

where limits are to x = y = 0.

 

[SammyS]

dF = ∂F/∂x dx + ∂F/∂y dy
= 1/3 (x^2 + y^3)^(-2/3) (2x)dx + 1/3 (x^2 + y^3)^(-2/3) (3y^2)dy

dF/dy = 1/3 (x^2 + y^3)^(-2/3) (3y^2) since dx/dy = 0 if x,y independent variables.

So dF/dy at (0,0) = lim y^2/(X^2 + y^2)^(2/3) = lim y^(2/3) = 0

where limits are to x = y = 0.

That's an interesting way to get ∂F/∂y .

I see that you fixed a typo. One remains. The exponent on y is 3, not 2, on your next to last line, i.e. .. = lim y^2/(X^2 + y^3)^(2/3) = ...

More importantly, (I was hopping that vela would have responded by now --LOL) that final limit is not correct.

$\displaystyle \lim_{(x,y)\to(0,0)}\frac{y^2}{(x^2+y^3))^{2/3}}\ \text{Does Not Exist}\,$ as vela has adequately demonstrated.


.

 

[flyingpig]

No he didn't, I did it first!

 

[vela]

I was hopping that vela would have responded by now --LOL

I was waiting for you to post.

 

[flyingpig]

So there's a question of what it means for a function to be differentiable in the multivariate case. Look it up and tell us your understanding of this concept.

Sorry for the very very late response, but you guys have absolutely no idea how hard it was to dig this up. I'll post what I found

[PLAIN]http://img7.imageshack.us/img7/3756/unledzpe.png

Here is what we have

$$E(x,y) = (x^2 + y^3)^{\frac{1}{3}} - (mx + ny)$$

$$\lim_{(x,y) \to (0,0)} \frac{ (x^2 + y^3)^{\frac{1}{3}} - (mx + ny)}{x^2 + y^2}$$

Basically if that goes to 0, then we showed that f is differentiable at (0,0)

There is absolutely no continuity condition here. WHICH IS SOMETHING I DID NOT EXPECT.

The limit is unfortunately beyond me, but my attempt wasI called $$H = \frac{ (x^2 + y^3)^{\frac{1}{3}} - (mx + ny)}{x^2 + y^2}$$

So basically I took x = 0, then $$H = \frac{1-n}{y}$$. I tried doing y = 0, but that was even worse...

 

[deluks917]

A function is continuous if it is differentible. The important point is that the existence of partial derivatives does not imply a function has a "derivative". A function is differentible if you can "linearize" it, this is a good way to think about it.