Prove the Leibnitz rule of derivatives

In summary, the conversation discusses the use of induction and selecting the derivatives that act on each function for a given term in order to prove the formula for n+1. The conversation also introduces the idea of using series notation and manipulating summation limits to make the induction step easier. Additionally, the conversation delves into the combinatoric possibilities of creating each term and how it affects the coefficients in the final formula.
  • #1
Karol
1,380
22

Homework Statement


Snap2.jpg


Homework Equations


Newton's binomial's: ##(a+b)^n=C^0_n a^n+C^1_n a^{n-1}b+...+C^n_n b^n##

The Attempt at a Solution


I use induction and i try to prove for n+1, whilst the formula for n is given:
$$\frac{d^{n+1}(uv)}{dx^{n+1}}=\frac{d}{dx}\frac{d^{n}(uv)}{dx^n}=$$
The first member of the derivative of the product of each member in ##~\displaystyle \frac{d^{n}(uv)}{dx^n}~##+ the whole derivative of the last member in ##~\displaystyle\frac{d^{n}(uv)}{dx^n}~## give the desired ##~\displaystyle \frac{d^{n+1}(uv)}{dx^{n+1}}~##.
In ##~\displaystyle \frac{d^{n+1}(uv)}{dx^{n+1}}~## there are n+2 members and my statement also gives the correct number of members: it adds one member to the n+1 members of ##~\displaystyle \frac{d^{n}(uv)}{dx^n}##.
But if i consider the rest k-1 members, then deriving makes one more member for each, so ##~\displaystyle \frac{d}{dx}\frac{d^{n}(uv)}{dx^n}~## creates too many members!
Apart from that, i am not sure i can use the induction formula since i don't think the book taught it till this chapter.
 
Physics news on Phys.org
  • #2
If you cannot use induction, think of the possible ways of selecting which of the derivatives act on each function for a given term.

If you want to use induction I would suggest writing everything in series notation and play with the sum limits.
 
Last edited:
  • #3
Orodruin said:
selecting which of the derivatives act on each function for s given term
I don't understand. for example the general term:
$$\frac{d}{dx}\left[ \left( \begin{array}{m} n\\k \end{array} \right) \frac{d^{n-k}u}{dx^{n-k}}\frac{d^kv}{dx^k} \right]$$
$$=\left( \begin{array}{m} n\\k \end{array} \right) \left[ \frac{d^{n+1-k}u}{dx^{n+1-k}}\frac{d^kv}{dx^k}+\frac{d^{n-k}u}{dx^{n-k}}\frac{d^{k+1}v}{dx^{k+1}} \right]$$
Each member, when beeing derived, makes 2 members. i don't understand what you mean.
 
  • #4
Karol said:
I don't understand. for example the general term:
$$\frac{d}{dx}\left[ \left( \begin{array}{m} n\\k \end{array} \right) \frac{d^{n-k}u}{dx^{n-k}}\frac{d^kv}{dx^k} \right]$$
$$=\left( \begin{array}{m} n\\k \end{array} \right) \left[ \frac{d^{n+1-k}u}{dx^{n+1-k}}\frac{d^kv}{dx^k}+\frac{d^{n-k}u}{dx^{n-k}}\frac{d^{k+1}v}{dx^{k+1}} \right]$$
Each member, when beeing derived, makes 2 members. i don't understand what you mean.
No, I am talking about each derivative in ##(d/dx)^n(uv)##. Each derivative can act on either ##u## or ##v##. How many possibilities are there to get ##k## derivatives acting on ##u## and ##n-k## on ##v##.

The other option is doing it by induction. Note that adjacent terms will lead to similar derivatives. You need to collect the derivatives that are the same into one term with one coefficient. For example ##d(u'v)/dx = u''v + u'v'## and ##d(uv')/dx = u'v' + uv''##. While both contributions contain two terms, if you sum them you would have three terms as you would collect the ##u'v'## into one term.
 
  • #5
I still don't think i understand. for example n=5, k=0,1,2... then:
5x0, 4x1, 3x2, 2x3, 1x4, 0x5
There are n+1 possibilities.
 
  • #6
Karol said:
I still don't think i understand. for example n=5, k=0,1,2... then:
5x0, 4x1, 3x2, 2x3, 1x4, 0x5
There are n+1 possibilities.
No, this is not what I am talking about. I am talking about the combinatoric number of possibilities of creating each of those terms. For example, there is only one possibility to generate ##u'''''v##, namely that all derivatives act on ##u##. This gives you the factor 1 before that term.

Edit: Again, if you have problems I suggest writing the induction step in series notation and play with the summation limits.
 
  • #7
Karol said:
I don't understand. for example the general term:
$$\frac{d}{dx}\left[ \left( \begin{array}{m} n\\k \end{array} \right) \frac{d^{n-k}u}{dx^{n-k}}\frac{d^kv}{dx^k} \right]$$
$$=\left( \begin{array}{m} n\\k \end{array} \right) \left[ \frac{d^{n+1-k}u}{dx^{n+1-k}}\frac{d^kv}{dx^k}+\frac{d^{n-k}u}{dx^{n-k}}\frac{d^{k+1}v}{dx^{k+1}} \right]$$
Each member, when beeing derived, makes 2 members. i don't understand what you mean.

To make writing easier, let ##D = d/dx##. Look at the coefficient of ##D^j v##. You get ##C(n,j) D^{n+1-j}u## from ##C(n,j) D (D^{n-j}u D^j v)## and you get ##C(n,j-1) D^{n+1-j} u## from ##C(n,j-1) D(D^{n-j+1} D^{j-1} v)##. What is ##C(n,j) + C(n,j-1)##? (Here, ##C(a,b)## means ##{a \choose b}##.)
 
  • #8
$$\frac{d^{n+1}(uv)}{dx^{n+1}}=\left[ \sum_{k=0}^n \left( \begin{array}{m} n\\k \end{array} \right) u^{n-k}v^k \right]'=\sum_{k=0}^n \left( \begin{array}{m} n\\k \end{array} \right) (u^{n+1-k}v^k+u^{n-k}v^{k+1})$$
$$=u^{n+1}v+\sum_{k=0}^n \left[ \left( \begin{array}{m} n\\k \end{array} \right) + \left( \begin{array}{m} n\\k+1 \end{array} \right) \right] u^{n-k}v^{k+1}+uv^{n+1}$$
 
Last edited:
  • #9
Your sum is going one too far. It encompasses one of the terms that you have taken out (the corresponding partner term is zero).
 
  • #10
$$\frac{d^{n+1}(uv)}{dx^{n+1}}=\left[ \sum_{k=0}^n \left( \begin{array}{m} n\\k \end{array} \right) u^{n-k}v^k \right]'=\sum_{k=0}^n \left( \begin{array}{m} n\\k \end{array} \right) (u^{n+1-k}v^k+u^{n-k}v^{k+1})$$
$$=u^{n+1}v+\sum_{k=0}^{n-1} \left[ \left( \begin{array}{m} n\\k \end{array} \right) + \left( \begin{array}{m} n\\k+1 \end{array} \right) \right] u^{n-k}v^{k+1}+uv^{n+1}$$
But how to do it with the first method:
Orodruin said:
No, this is not what I am talking about. I am talking about the combinatoric number of possibilities of creating each of those terms. For example, there is only one possibility to generate ##~u′′′′′v~##, namely that all derivatives act on ##~u##. This gives you the factor 1 before that term.
But the factor before all other terms is also 1 since each can appear only once: ##~u''''v'~##, ##~u'''v''~## etc.
 
  • #11
Karol said:
$$\frac{d^{n+1}(uv)}{dx^{n+1}}=\left[ \sum_{k=0}^n \left( \begin{array}{m} n\\k \end{array} \right) u^{n-k}v^k \right]'=\sum_{k=0}^n \left( \begin{array}{m} n\\k \end{array} \right) (u^{n+1-k}v^k+u^{n-k}v^{k+1})$$
$$=u^{n+1}v+\sum_{k=0}^{n-1} \left[ \left( \begin{array}{m} n\\k \end{array} \right) + \left( \begin{array}{m} n\\k+1 \end{array} \right) \right] u^{n-k}v^{k+1}+uv^{n+1}$$
But how to do it with the first method:

But the factor before all other terms is also 1 since each can appear only once: ##~u''''v'~##, ##~u'''v''~## etc.
No it is not. It is a combinatorical problem of finding how many different ways you can "construct" each term. Take the n = 2 case as example.
 
  • #12
$$(uv)''=u''v+2u'v'+uv'',~~(uv)'''=u'''v+3u''v'+3u'v''+uv'''$$
You mean i can construct the term ##~u'v'~## in 2 different ways?
And ##~u''v'~## and ##~u'v''~## each of them in 3 different ways?
I don't know which ways. ##~u'v',~u''v',~u'v''~## are all unique, i can "construct" each only by one way: for example ##~u'v''~## i differentiate u once and i differentiate v 2 times, there is no other way.
How can i construct ##~u'v'~## in 2 different ways?
 
Last edited:
  • #13
Karol said:
How can i construct ##~u'v'~## in 2 different ways?
You can let the first d/dx act on u and the second on v or vice versa - 2 choices.
 
  • #14
Karol said:
$$\frac{d^{n+1}(uv)}{dx^{n+1}}=\left[ \sum_{k=0}^n \left( \begin{array}{m} n\\k \end{array} \right) u^{n-k}v^k \right]'=\sum_{k=0}^n \left( \begin{array}{m} n\\k \end{array} \right) (u^{n+1-k}v^k+u^{n-k}v^{k+1})$$
$$=u^{n+1}v+\sum_{k=0}^{n-1} \left[ \left( \begin{array}{m} n\\k \end{array} \right) + \left( \begin{array}{m} n\\k+1 \end{array} \right) \right] u^{n-k}v^{k+1}+uv^{n+1}$$
But how to do it with the first method:

But the factor before all other terms is also 1 since each can appear only once: ##~u''''v'~##, ##~u'''v''~## etc.

What s preventing you from simplifying ##{n \choose k} + {n \choose k+1}##? It is an entirely standard result, known for hundreds of years.

BTW: you need not use an "array" to typset ##{a \choose b}##; the built-in command "{ a \choose b}" will do it.
 
  • #15
In n=3, i denote the first d/dx as 1 and the second d/dx as 2, and even so there are more possibilities than 3:
$$u'v'': u^1v^{11},~u^1v^{12},~u^2v^{12},~u^2v^{11},~u^2v^{22}$$
 
  • #16
Karol said:
In n=3, i denote the first d/dx as 1 and the second d/dx as 2, and even so there are more possibilities than 3:
$$u'v'': u^1v^{11},~u^1v^{12},~u^2v^{12},~u^2v^{11},~u^2v^{22}$$
No there are not. The choices are ##u^1 v^{23}##, ##u^2 v^{13}##, and ##u^3 v^{12}##. It is a 3 choose 1 situation, you have 3 choices in which derivative acts on ##u##, the other derivatives act on ##v##. The same derivative cannot act on several functions or multiple times on the same function.
 
  • #17
I don't know combinatorics but i know now how to calculate the coefficients. but i don't understand the logic.
When i take d/dx of n=2 to get d3/dx3 i don't select which derivative acts, i just derive.
And even so this gives only the coefficients, in the first method of proof of ##~d^n(uv)/dx^n~##.
 
  • #18
Karol said:
I don't know combinatorics but i know now how to calculate the coefficients. but i don't understand the logic.
When i take d/dx of n=2 to get d3/dx3 i don't select which derivative acts, i just derive.
And even so this gives only the coefficients, in the first method of proof of ##~d^n(uv)/dx^n~##.
I don't understand your concern, if you can derive the coefficients you have your proof. For each derivative, it can act on either ##u## or ##v##. In the end, you will therefore end up with a total of ##2^n## terms if you do not collect the terms that have the same derivatives. However, since the derivatives commute, it does not matter in which order they act and you can collect all term with the same number of derivatives on ##u##. For ##u^{(k)}##, there will be ##{n \choose k}## such terms and therefore the coefficient in front of ##u^{(k)} v^{(n-k)}## must be ##{n \choose k}##.

Note that this is also completely compatible with the fact that ##\sum_{k=0}^n {n\choose k} = 2^n##.
 
  • #19
Karol said:
When i take d/dx of n=2 to get d3/dx3 i don't select which derivative acts, i just derive.
And even so this gives only the coefficients, in the first method of proof of ##~d^n(uv)/dx^n~##.

Also, it is not about selecting where the derivatives act, it is about selecting which terms you look at and how they appear. The argumentation for the ##n = 2## case is as follows: You want to compute
$$
\newcommand{\dd}[2]{\frac{d#1}{d#2}}
\newcommand{\red}[1]{\color{red}{#1}}
\newcommand{\blue}[1]{\color{blue}{#1}}
\dd{^2uv}{x^2} = \red{\dd{}{x}}\blue{\dd{}{x}} uv = \red{\dd{}{x}}(u\blue{'} v + u v\blue{'})
= u\blue{'}\red{'} v + u\blue{'} v\red{'} + u\red{'}v\blue{'} + uv\blue{'}\red{'},
$$
where we have tracked how each term appeared from the differentiations by colouring the primes. (Also note how there are ##2^2 = 4## terms before collecting them together.)
Note how there are two options resulting in the ##u'v'## term, one where the red derivative acts on ##u## and one where the blue derivative acts on ##u##. Hence you have ##{2 \choose 1} = 2## possibilities of constructing this term and it is therefore the coefficient in front. For the term ##u'' v##, both derivatives must act on ##u## and you have ##{2\choose 2} = 1## possibilities of constructing it.

For arbitrary ##n##, imagine the same thing, but with more colours.
 
  • #20
Thank you very much Orodruin for your thoroughness and patience.
Now i see Ray's remark on how to combine ##~\displaystyle {n \choose k}+{n \choose k+1}##, how is it called and where do i find it
(i am not hundreds of years old...)
 
Last edited:
  • #21
Karol said:
Thank you very much Orodruin for your thoroughness and patience.
Now i see Ray's remark on how to combine ##~\displaystyle {n \choose k}+{n \choose k+1}##, how is it called and where do i find it
(i am not hundreds of years old...)
Those are the binomial coefficients. The easiest way of simplifying is to write them out in terms of factorials and start simplifying.
 
  • #22
$${n \choose k}+{n \choose k+1}=\frac{n!}{k!(n-k)!}+\frac{n!}{(k+1)!(n-k-1)!}=\frac{n![(k+1)+(n-k)]}{(k+1)!(n-k)!}=\frac{n!(n+1)}{(k+1)!(n-k)!}$$
 
  • #23
Karol said:
Thank you very much Orodruin for your thoroughness and patience.
Now i see Ray's remark on how to combine ##~\displaystyle {n \choose k}+{n \choose k+1}##, how is it called and where do i find it
(i am not hundreds of years old...)

It's called Pascal's Triangle. And I'm afraid being a mere century of age is not going to do the job.
We'll need about 4 centuries. :)
Anyway, we can get a hint from that triangle on what that sum should be.
The numbers in the triangle correspond to ##\binom n k##, where ##n## is the row, and ##k## is the column.
 
  • #24
Karol said:
$${n \choose k}+{n \choose k+1}=\frac{n!}{k!(n-k)!}+\frac{n!}{(k+1)!(n-k-1)!}=\frac{n![(k+1)+(n-k)]}{(k+1)!(n-k)!}=\frac{n!(n+1)}{(k+1)!(n-k)!}$$
Of course, ##\ n!(n+1) = (n+1)!\ ## and ##\ n-k \ ## can be written as ##\ (n+1)-(k+1)\ ##.
 
  • #25
$$\frac{n!(n+1)}{(k+1)!(n-k)!}=\frac{(n+1)!}{(k+1)![(n+1)-(k+1)]!}=\frac{(n+1)!}{(k+1)!n!}$$
 
  • #26
The last step is not correct.
 
  • #27
$$\frac{n!(n+1)}{(k+1)!(n-k)!}=\frac{(n+1)!}{(k+1)![(n+1)-(k+1)]!}=\frac{(n+1)!}{(k+1)!k!}$$
 
  • #28
No, that neither. It is arithmetically wrong. What happens if you let ##n+1 = N## and ##k+1 = K## in the step before the last?
 
Last edited:
  • Like
Likes SammyS
  • #29
$$\frac{n!(n+1)}{(k+1)!(n-k)!}=\frac{(n+1)!}{(k+1)![(n+1)-(k+1)]!}=\frac{(n+1)!}{(k+1)!(k+1)!(n-1)}=\frac{(n+1)!}{[(k+1)!]^2(n-1)}$$
$$=\frac{(n+1)n}{(k+1)!(n-1)}$$
 
  • #30
No, now you are just guessing. Why would ##[(n+1) - (k+1)]! = (k+1)!(n-1)##? Why don't you do what I suggested in #28?
 
  • #31
Because i don't know what to do with that:
$$\frac{(n+1)!}{(k+1)![(n+1)-(k+1)]!}=\frac{(n+1)!}{(k+1)!(N-K)!}$$
So?
I am not guessing. n=5, k=3:
$$[(n+1) - (k+1)]! =(1\cdot 2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 - 1\cdot 2 \cdot 3 \cdot 4 )=(1\cdot 2 \cdot 3 \cdot 4 )(5 \cdot 6 -1 )=(k+1)![n(n+1)-1]$$
 
  • #32
Karol said:
Because i don't know what to do with that:
$$\frac{(n+1)!}{(k+1)![(n+1)-(k+1)]!}=\frac{(n+1)!}{(k+1)!(N-K)!}$$
You have one more ##n+1## and one more ##k+1##. Why did you not make the substitution there as well?
 
  • #33
Karol said:
So?
I am not guessing. n=5, k=3:
##[(n+1)−(k+1)]!=(1⋅2⋅3⋅4⋅5⋅6−1⋅2⋅3⋅4)=(1⋅2⋅3⋅4)(5⋅6−1)=(k+1)![n(n+1)−1]##​
This is completely wrong, simple as that.
##(5-3)!=2!=2\neq 5!-3!=120-6=114## and ##(n-m)!\neq n!-m!##.

Repetition never makes something true, which has been wrong in the first place.
 
  • #34
Karol said:
I am not guessing. n=5, k=3:
$$[(n+1) - (k+1)]! =(1\cdot 2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 - 1\cdot 2 \cdot 3 \cdot 4 )=(1\cdot 2 \cdot 3 \cdot 4 )(5 \cdot 6 -1 )=(k+1)![n(n+1)-1]$$
No, this is wrong. The factorial is outside of the parentheses! With ##n = 5## and ##k = 3## you have
$$
[(n+1)-(k+1)]! = [6-4]! = 2! = 2
$$
and
$$
(k+1)! (n-1) = 4! \cdot 4 = 96.
$$
Clearly not the same thing.

Edit: In addition, even if it did hold you cannot just take two arbitrary values for unknowns, show that it is true for that particular choice, and then expect that it holds for an arbitrary choice of the unknowns.
 
  • #35
Karol said:
$$\frac{n!(n+1)}{(k+1)!(n-k)!}=\frac{(n+1)!}{(k+1)![(n+1)-(k+1)]!}=\frac{(n+1)!}{(k+1)!k!}$$
##\displaystyle \frac{n!(n+1)}{(k+1)!(n-k)!}=\frac{(n+1)!}{(k+1)![(n+1)-(k+1)]!}\ \ \ne\ \ \frac{(n+1)!}{(k+1)!k!} ##

Now, take ##\displaystyle \ \frac{(n+1)!}{(k+1)![(n+1)-(k+1)]!}\ ## and make the substitution @Orodruin suggested:
Orodruin said:
...
What happens if you let ##n+1 = N## and ##k+1 = K## ?
 
Back
Top