# Derivative of Function to Power of Function

## Theorem

Let $\map u x, \map v x$ be real functions which are differentiable on $\R$.

Then:

$\map {\dfrac \d {\d x} } {u^v} = v u^{v - 1} \map {\dfrac \d {\d x} } u + u^v \paren {\ln u} \map {\dfrac \d {\d x} } v$

## Proof

 $\ds \map {\dfrac \d {\d x} } {u^v}$ $=$ $\ds \map {\dfrac \d {\d x} } {\map \exp {v \ln u} }$ Definition of Power to Real Number $\ds$ $=$ $\ds \map \exp {v \ln u} \map {\dfrac \d {\d x} } {v \ln u}$ Chain Rule for Derivatives and Derivative of Exponential Function $\ds$ $=$ $\ds \map \exp {v \ln u} \paren {\paren {\ln u} \map {\dfrac \d {\d x} } v + v \map {\dfrac \d {\d x} } {\ln u} }$ Product Rule for Derivatives $\ds$ $=$ $\ds u^v \paren {\paren {\ln u} \map {\dfrac \d {\d x} } v + \frac v u \map {\dfrac \d {\d x} } u}$ Chain Rule for Derivatives $\ds$ $=$ $\ds v u^{v - 1} \map {\dfrac \d {\d x} } u + u^v \paren {\ln u} \map {\dfrac \d {\d x} } v$ gathering terms

$\blacksquare$

## Also presented as

Derivative of Function to Power of Function can also be seen presented in the form:

$\map {\dfrac \d {\d x} } {u^v} = u^v \paren {\dfrac v u \dfrac {\d u} {\d x} + \ln u \dfrac {\d v} {\d x} }$

## Also see

$\map {\dfrac \d {\d x} } {x^n} = n x^{n-1}$

$\map {\dfrac \d {\d x} } {a^x} = a^x \ln a$