Prove that product of two functions is differentiable by the chain rule

509 Views Asked by At

I am stuck with a question for my math class, I can prove it from the definition of differentiability but I have no idea how to do it using the chain rule:

Given $f, g: E \rightarrow \mathbb{R}, $

where E open in $\mathbb{R}^n$ prove that $fg$ is differentiable.

2

There are 2 best solutions below

1
On BEST ANSWER

Surely it wants something like this: let $m:\mathbb{R}^2 \to \mathbb{R}$ be given by $$ m((x,y))= xy. $$ Show that this is differentiable: you'll find it has derivative $$ Dm((x,y)).(h,k) = yh+xk = \begin{pmatrix} y & 0 \\ 0 & x \end{pmatrix} \begin{pmatrix} h \\ k\end{pmatrix}. $$ Now, the function $ h(x)= f(x) g(x) $ is given by $$ h(x) = m((f(x),g(x))) = [m \circ (f,g)] (x). $$ Therefore, by the chain rule, it has derivative $$ Dh(x) = Dm((f(x),g(x))) \cdot (Df(x),Dg(x)) = g(x) Df(x) + f(x) Dg(x). $$

A clearer way to see this is to work with a vector $f(x)$ with $i$th component $f_i(x)$, and then you have $$ m(x)= \prod_i x_i, $$ and then $$ (Dm(x))_i = \prod_{j \neq i} x_j, $$ and $$ h(x) = \prod_i f_i(x) = [m \circ f](x), $$ and the chain rule gives $$ (Dh(x))_i = \sum_j (Dm(f(x)))_j (Df(x))_{j,i} = \left[ \sum_j \left(\prod_{j \neq k} f_k(x) \right) D(f_j)(x) \right]_i, $$ after swapping the linear operation of "taking the $i$th component" with the sum.

(if the functions don't commute, such as if they are matrices, your derivative also has to take into account the ordering, and insert the $D(f_j)$s into the correct places in the product)

1
On

Did you mean product rule, since chain rule is supposed to be working for composition of functions like $f\circ g$?

The way of proving it using chain rule is almost the same as proving using definition -- in fact, chain rule can be derived from proving the differentiability of $f\cdot g$.

Here is a reference from Wiki that might help: https://en.wikipedia.org/wiki/Product_rule#Proofs. See "Proof by factoring" section. It basically considers the change in $f$ and $g$ separately and then analyze the higher order terms like $f(x+\Delta x)\cdot g(x+\Delta x)$ using the continuity of $f$ and $g$.