Hi(adsbygoogle = window.adsbygoogle || []).push({});

I have a question regarding differentiation of inverse functions that I am not capable of solving. I want to prove that

[itex]\frac{\partial}{\partial y} h_y(h^{-1}_{y_0}(z_0))\bigg|_{y=y_0} = - \frac{\partial}{\partial y} h_{y_0}(h^{-1}_{y}(z_0))\bigg|_{y=y_0},[/itex]

where

[itex]h_y(x)[/itex] is considered as a function of x with a secondary variable y attached.

[itex]h^{-1}_y(z)[/itex] is the inverse function of [itex]h[/itex] written as a function of z, of course also depending of [itex]y[/itex], precisely given as the to solution to [itex]z=h_y(x)[/itex].

I have tested the relation with a wide range of easy-to-check h-functions and it holds in all cases I have checked. By using the chain rule I could rewrite the right-hand side to a quantity easier to handle, but as I am not able to re-write the left-hand side in any way this does not really help me.

As the derivative is with respect to the secondary y-variable and not the variable that that the inverse is taken with respect to I cannot apply the rule for differentiating inverse functions either.

Does anyone have any clue how I might prove that this holds, or have a counter-example showing that it does not hold? Any help or pointing to references are highly appreciated.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Differentiation of a two dimensional inverse function

Loading...

Similar Threads - Differentiation dimensional inverse | Date |
---|---|

B Product rule OR Partial differentiation | Jan 10, 2018 |

A Differential operator, inverse thereof | Jan 9, 2018 |

I Differentiation of sin function where's my mistake? | Dec 21, 2017 |

I Differentials of order 2 or bigger that are equal to 0 | Dec 6, 2017 |

Scalar field 2 dimensional discontinuous but differentiable | Nov 4, 2014 |

**Physics Forums - The Fusion of Science and Community**