Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

[resolved] Partial Derivative Relationships

  1. Oct 26, 2014 #1


    User Avatar
    Homework Helper

    I'm trying to come up with an expression for [itex]\partial y / \partial x[/itex] where [itex]z = f(x,y)[/itex]. By observation (i.e. evaluating several sample functions), the following appears to be true:
    \frac{\partial z}{\partial x} + \frac{\partial z}{\partial y} \cdot \frac{\partial y}{\partial x} = 0
    but I can't find anything to prove it. I can sort of get there using the differential formula
    dz = \frac{\partial z}{\partial x} \cdot dx + \frac{\partial z}{\partial y} \cdot dy
    then dividing by [itex]dx[/itex] and reasoning that [itex]dz/dx = 0[/itex] because [itex]z[/itex] is constant when evaluating [itex]\partial y / \partial x[/itex], but I suspect this isn't a valid approach.

    My questions are:

    (1) Is the above relationship between [itex]\partial z / \partial x[/itex], [itex]\partial z / \partial y[/itex], and [itex]\partial y / \partial x[/itex] true?

    (2) How to prove it?

    P.S. Here is an example:
    z = x^3y &&
    y = zx^{-3} &&
    \frac{\partial z}{\partial x} = 3x^2y &&
    \frac{\partial z}{\partial y} = x^3 &&
    \frac{\partial y}{\partial x} = -3zx^{-4} = -3x^3yx^{-4} = -3y/x
    \frac{\partial z}{\partial x} + \frac{\partial z}{\partial y} \cdot \frac{\partial y}{\partial x}
    = 3x^2y + x^3 \cdot \left(-3y/x\right) = 3x^2y - 3x^2y = 0
    Last edited: Oct 26, 2014
  2. jcsd
  3. Oct 26, 2014 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Let x,y,z be variables that satisfy a constraint of the form ##z=f(x,y)##. For all x,y,z such that x and z have values such that this constraint can be solved for y, the variables also satisfy a constraint of the form ##y=g(x,z)##, and we have ##z=f(x,y)=f(x,g(x,z))##. What you have discovered is essentially just that the value of the right-hand side is independent of the value of x, as it must be since it's equal to z.

    The only caveat is that the map ##(x,z)\mapsto f(x,g(x,z))## must be differentiable for your calculation to make sense. For this to be the case, f must be a nice enough function. In particular, it must be such that the domain of the map ##(x,z)\mapsto f(x,g(x,z))## isn't something ridiculous like a singleton set or a curve ##z=C(x)##.

    Let h be the function such that ##h(x,z)=f(x,g(x,z))## for all ##x,z## such that the original constraint can be solved for y. For all ##x,z## such that h is differentiable, we have
    $$0=D_1h(x,z)=D_1 f(x,g(x,z))+D_2 f(x,g(x,z)) D_1g(x,z) =\frac{\partial z}{\partial x}+\frac{\partial z}{\partial y}\frac{\partial y}{\partial x}.$$
  4. Oct 26, 2014 #3


    User Avatar
    Homework Helper

    Makes perfect sense when viewed as a composite function. I'm surprised this relation isn't mentioned in my advanced calculus book. Doesn't seem to me to be such an obscure item.

    It came up because I'm trying to find out where [itex]\frac{\partial y}{\partial x} =0[/itex] which in my case is very difficult to evaluate whereas [itex]\frac{\partial z}{\partial x}[/itex] and [itex]\frac{\partial z}{\partial y}[/itex] are straightforward. I discovered that I could just find where [itex]\frac{\partial z}{\partial y} = 0[/itex] but I didn't know why it worked. Now I do. Thanks.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook