Register to reply 
Implicit Differentiation 
Share this thread: 
#1
Jul2607, 06:09 AM

P: 307

Hi guys,
I have a question on an implicit differentiation problem. I get two different answers depending on how I do it and the answers are different (not just looking, but different). The problem is [tex] \frac{x+3}{y}4xy^2=0 [\tex]. One option is to just differentiate as it stands and you get [tex] y'=\frac{y4y^2}{x+3+2y^3} [\tex]. Another possibility is to initially multiply both sides of the equation by y to simplify it. If you do that the derivative you obtain is [tex] y'=\frac{14x}{4x3y^2} [\tex]. These are two different derivatives but I'm not sure why this happens. Any thoughts would be appreciated (NOTE: I'm teaching the course and this came up). P.S. why aren't my equations texing? Kevin 


#2
Jul2607, 07:05 AM

P: 191

The point is that you define a function y implicitly. What makes you think you're allowed to multiply by y and obtain the same result? The statement you get surely is true (multiplying 0 by anything will yield 0, true), but it might simply define a different function y. See? You could multiply by anything, say xy, but the expression you get will not be equivalent to the thing you started with. When you multiply by 0 there's a loss of information. 


#3
Jul2607, 09:08 AM

P: 1,755

since they're not working, can you just type it out normally. i'm getting so confused as to what the problem is, lol.



#4
Jul2607, 03:18 PM

P: 307

Implicit Differentiation
Here is the original problem:
The problem is [tex] \frac{x+3}{y}4xy^2=0 [/tex]. One option is to just differentiate as it stands and you get [tex] y'=\frac{y4y^2}{x+3+2y^3} [/tex]. Another possibility is to initially multiply both sides of the equation by y to simplify it. If you do that the derivative you obtain is [tex] y'=\frac{14y}{4x+3y^2} [/tex]. These are two different derivatives but I'm not sure why this happens. This is something subtle I think. If you take the original equation and multiply by y you get [tex]x+34xyy^3=0[/tex]. You can solve for [tex]x+3[/tex] to get [tex]x+3 = 4xy+y^3[/tex]. Then plug this into the derivative obtained by straight implicit differentiation (i.e. [tex] y'=\frac{y4y^2}{x+3+2y^3} [/tex]) and with a bit of algebra you get the other function. Now, I plotted both of these "derivatives" as functions of (x,y) and they are different functions. However, when we restrict their domain to that subset of the plane which represents the graph of the original function, they agree. That strikes me as interesting. How many functions could you have that all agreed on that same point set that you could arrive at through implicit differentiation? Probably a lot. Any thoughts or comments would be well appreciated, Kevin 


#5
Jul2607, 04:39 PM

P: 191

Did you read my post?



#6
Jul2607, 08:05 PM

P: 1,755

could you show your steps for y' = 14x / 4x3y^2
this so far is your best solution but it's still not right. kind of close tho. 


#7
Jul2607, 08:39 PM

P: 78




#9
Jul2607, 10:52 PM

P: 307

cliowa,
I didn't respond, because it doesn't matter. y=0 isn't in the domain, multiplying by y is find otherwise. Thanks though, Kevin 


#10
Jul2707, 12:40 AM

P: 2

Both the expressions for y' are correct. easy manipulation of y^3 will get u the equality.
the second expression for y' is wrong 


#11
Jul2707, 07:09 AM

P: 307

RohanSingh: did you mean the minus sign in the bottom, sorry another typo. Nevertheless, noone seems particularly interested in the nature of the problem. The two derivatives are not, in general equal, they are only equal on limited portions of their domains, in particular the point set that represents the graph of the implicit function. That's interesting to me.
So, for the record, I know both derivatives are correct (typos aside). Thanks, Kevin 


#12
Jul2707, 07:47 AM

P: 191

If you multiply by y, your answer will be the same as long as you stick with your initial domain, which excludes y=0. So surely the two results must agree on the level sets of your first equation. But, that's what I was trying to say, if you multiply by anything you might get a new level set, which contains the old one, and new values for the derivative. Try multiplying by xy for example, and you get a new answer. That however isn't surprising, because the domain of y' as you calculate it implicitly really only are those x where y(x) is part of the level set implicitly defined. The algebraic expression you get may be extendable, but that concerns a new, different function then.



#13
Jul2707, 08:20 AM

P: 461

It is easy to see that both are equal by dividing the top and bottom of the first expression by y, and then using the definition of y.



#14
Jul2707, 08:55 AM

P: 191




#15
Jul2707, 09:21 AM

P: 307

Thanks for the discussion guys. Nevertheless, it never occured to me that this happens. It doesn't happen for functions, just implicit functions. As derivatives they're not defined on anything but the limit set, but they are functions in their own right, and I still think its interesting. I just think there might be some interesting math in here. Differentaition of implicitly defined curves maps maps these curves into subsets of a function space. I haven't thought about it much, but it might be fun to see if the functions that agree on the level sets could form some sort of equivalence class and so you could look at some sort of quotient structure and see what comes out of it.
I'm excited because this makes implicit functions interesting to me, I haven't ever seen much use in them so its nice to ponder something. Thanks again for your comments, Kevin 


#16
Jul2707, 09:33 AM

P: 1,755

you can definitely apply this technique for optimization.
in Stewart's Calculus, he did an example that took so many damn steps, then he showed it through implicit differentiation and it was like 1/4 the agony of doing it the long way ... i was like wow. 


#17
Jul2907, 06:46 PM

P: 307

I don't have a copy of stewart's, could you outline the problem statement?
Thanks, Kevin 


Register to reply 
Related Discussions  
Implicit differentiation  Calculus & Beyond Homework  3  
Implicit Differentiation  Calculus & Beyond Homework  3  
Implicit differentiation  Calculus & Beyond Homework  3  
Implicit Differentiation  Introductory Physics Homework  1  
Implicit differentiation  Calculus  6 