2

I would like to ask what are the general formula for the the $n$-th derivative of the product of three functions?

For the product of two functions, we have the Leibniz's rule for the general formula, how about three functions?

Example may be like$\ y=\ x^2\cdot x\cdot \ln x$

Eric Stucky
  • 12,758
  • 3
  • 38
  • 69
Tony
  • 59
  • 1
    Have you ever heard of the "multinomial theorem"? – Pedro Aug 20 '13 at 04:07
  • 3
    three functions is the same as two functions. If you have $f\cdot g \cdot h$ then just define $f_1=f\cdot g$ and hence $f\cdot g \cdot h=f_1\cdot g$. – Dominic Michaelis Aug 20 '13 at 04:36
  • 1
    You've edited the question so that it asks something entirely different than the original. This is a bad idea, since it then makes user71352's answer incomprehensible in context. Remember, this site is intended to be, among other things, a permanent archive of questions and answers. A better way would be either to ask your new question separately or to edit it so that the new version makes some reference to the original, perhaps by adding "edit I meant ". – Rick Decker Aug 21 '13 at 15:11

1 Answers1

5

My answer to your original question is the following: The general form will follow a multinomial pattern. Let $u,v,w$ be functions of $x$. Then:

$\frac{d^{n}}{dx^{n}}(uvw)=\sum_{k_{1}+k_{2}+k_{3}=n}\binom{n}{k_{1},k_{2},k_{3}}u^{(k_{1})}v^{(k_{2})}w^{(k_{3})}$

where $u^{(k_{1})}$, $v^{(k_{2})}$, and $w^{(k_{3})}$ denote the $k_{1}^{th}$, $k_{2}^{th}$, and $k_{3}^{th}$ derivatives of $u$, $v$, and $w$ respectively.

Even more generally if we have a product of $m$ functions $u_{1},...,u_{m}$ of $x$ then:

$\frac{d^{n}}{dx^{n}}(u_{1}\cdots u_{m})=\sum_{k_{1}+...+k_{m}=n}\binom{n}{k_{1},...,k_{m}}u_{1}^{(k_{1})}\cdots u_{m}^{(k_{m})}$.

Your example $f(x)=x^{2}\cdot x\cdot\ln(x)=x^{3}\ln(x)$ so $n^{th}$ derivatives can be handled by the Leibniz formula.

My answer to your new question is the following: The derivatives of $\sin(x)$ and $\cos(x)$ "cycle" so the general pattern is easy to find.

Note that:

$\frac{d}{dx}(\sin(x))=\cos(x)$

$\frac{d}{dx}(\cos(x))=-\sin(x)$

$\frac{d}{dx}(-\sin(x))=-\cos(x)$

$\frac{d}{dx}(-\cos(x))=\sin(x)$.

So $\frac{d^{4n}}{dx^{4n}}(\sin(x))=\sin(x)$

$\frac{d^{4n+1}}{dx^{4n+1}}(\sin(x))=\cos(x)$

$\frac{d^{4n+2}}{dx^{4n+2}}(\sin(x))=-\sin(x)$

$\frac{d^{4n+3}}{dx^{4n+3}}(\sin(x))=-\cos(x)$

A similar pattern holds for $\cos(x)$.

The derivatives of $\tan(x)$, $\cot(x)$, $\sec(x)$, and $\csc(x)$ don't behave as nicely. Apparently it is possible to get a general formula for the $n^{th}$ derivative of $\tan(x)$ and $\cot(x)$ as seen in http://arxiv.org/pdf/1202.1205.pdf . Unfortunately I don't know of a general pattern for $\sec(x)$ and $\csc(x)$ so I give you the following:

For $\sec(x)$ we have that

$\frac{d}{dx}(\sec(x))=\sec(x)\tan(x)$.

Letting $f(x)=\sec(x)$ this tells us that (assuming $\tan(x)>0$, a similar formula will hold for $\tan(x)<0$) $f'(x)=\sec(x)\tan(x)=\sec(x)\sqrt{\sec^{2}(x)-1}=f(x)\sqrt{f^{2}(x)-1}$. So denoting the $n^{th}$ derivative of $f$ by $f^{(n)}(x)$ we have:

$\frac{d^{n+1}}{dx^{n+1}}(\sec(x))=f^{(n+1)}(x)=(f')^{(n)}(x)=(f\sqrt{f^{2}-1})^{(n)}(x)=\sum_{k=0}^{n}\binom{n}{k}f^{(n-k)}(x)(\sqrt{f^{2}(x)-1})^{(k)}=\sum_{k=0}^{n}\binom{n}{k}(\sec(x))^{(n-k)}(\sqrt{sec^{2}(x)-1})^{k}$.

You can expand out the term involving the square root using Faà di Bruno's formula (http://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno's_formula).

These formulas give the general derivatives of $\sec(x)$ in terms of lower order derivatives. Similar techniques can be used to calculate the general form of the derivatives of $\csc(x)$. I don't know the exact general pattern for these functions though.

user71352
  • 13,038
  • My apologies. Didn't mean to confuse you. Consider $f(x)=x\sin(x)\ln(x)$. Then $f'(x)=\sum_{k_{1}+k_{2}+k_{3}=1}\binom{1}{k_{1},k_{2},k_{3}}\frac{d^{k_{1}}}{dx^{k^{1}}}(x)\frac{d^{k_{2}}}{dx^{k_{2}}}(\sin(x))\frac{d^{k_{3}}}{dx^{k_{3}}}(\ln(x))$. Since the sum of the non-negative integers $k_{1},k_{2},k_{3}$ must be $1$ then they are all ones or zeroes with exactly one of them as $1$. So the above sum is $\binom{1}{1,0,0}\frac{d}{dx}(x)\sin(x)\ln(x)+\binom{1}{0,1,0}x\frac{d}{dx}(\sin(x))\ln(x)+\binom{1}{0,0,1}x\sin(x)\frac{d}{dx}(\ln(x))=\sin(x)\ln(x)+x\cos(x)\ln(x)+x\sin(x)\frac{1}{x}$. – user71352 Aug 20 '13 at 04:55
  • In the above example $\binom{1}{1,0,0}=\frac{1!}{1!\cdot0!\cdot0!}=1$, $\binom{1}{0,1,0}=\frac{1!}{0!\cdot1!\cdot0!}=1$, and $\binom{1}{0,0,1}=\frac{1!}{0!\cdot0!\cdot1!}=1$. – user71352 Aug 20 '13 at 05:01
  • Your welcome. Glad it makes you feel comfortable. – user71352 Aug 20 '13 at 05:20
  • Can you please show me how to find the second derivative by using the general formula?

    f(x)=xsin(x)ln(x)

    – Tony Aug 31 '13 at 15:12
  • Gladly. In the formula we need that $k_{1}+k_{2}+k_{3}=2$ for the second derivative. Either we have one of the integers as $2$ with the other two being $0$ or two integers are both $1$ and we have one integer as $0$. This creates $6$ possibilities. Using the formula we have $f''(x)=\sum_{k_{1}+k_{2}+k_{3}=2}\binom{2}{k_{1},k_{2},k_{3}}\frac{d^{k_{1}}}{dx^{k_{1}}}(x)\frac{d^{k_{2}}}{dx^{k_{2}}}(\sin(x))\frac{d^{k_{3}}}{dx^{k_{3}}}(ln(x))$ – user71352 Sep 01 '13 at 05:21
  • $=\binom{2}{2,0,0}\frac{d^{2}}{dx^{2}}(x)\sin(x)\ln(x)+\binom{2}{0,2,0}\frac{d^{2}}{dx^{2}}(\sin(x))x\ln(x)+\binom{2}{0,0,2}\frac{d^{2}}{dx^{2}}(\ln(x))x\sin(x)+\binom{2}{1,1,0}\frac{d}{dx}(x)\frac{d}{dx}(\sin(x))\ln(x)+\binom{2}{1,0,1}\frac{d}{dx}(x)\frac{d}{dx}(\ln(x))\sin(x)+\binom{2}{0,1,1}\frac{d}{dx}(\sin(x))\frac{d}{dx}(\ln(x))x=0-x\sin(x)\ln(x)-x\sin(x)\frac{1}{x^{2}}+2\cos(x)\ln(x)$ $+2\sin(x)\frac{1}{x}+2x\cos(x)\frac{1}{x}$. – user71352 Sep 01 '13 at 05:25