Differentiation operators similar to exponents?

  • Thread starter Gib Z
  • Start date
  • #1
Gib Z
Homework Helper
3,346
6
I was just messing around on another problem I was trying to solve for someone in the homework forums when I stumbled on this:

If we denote the n-th derivative the same way we do for exponents, eg the second derivative of f will be denoted by f^2, and the original function as its zero-th derivative, and define a function f, that is the product of two functions u and v, ie [tex]f(x) = u(x)\cdot v(x)[/tex].

Then the following holds:

[tex]f^n (x) = \sum_{k=0}^n \frac{n!}{k! (n-k)!} u^{n-k} v^k[/tex]

I'm guessing if we chose to use induction, that theorem would be not too difficult to prove since it would be analogous to the proof of the binomial theorem. Also in the deeps on my mind it looks somewhat similar to a repeated differentiation formula, but that may have been more general (any function f(x), not necessarily product of u and v) or even something else.

Could someone either tell me that repeated differentiation formula, post a nice proof, or just comment, because commentaries are welcome =]

EDIT: I was thinking of making my reply to you the 2000th post, but I thought best leave it till tomorrow (its getting quite late here) to use it on a post that my enlighten someone else who needs help =] Thank you very much for the congrats arildno, and everyone else on these forums that makes it the wonderful, pleasant and enlightening place it is!! Heres to 2000 more =D

PS. For frequent posters, if you are able to, send it some Contributions to Greg, it feels nice giving a little bit back !
 
Last edited:

Answers and Replies

  • #2
arildno
Science Advisor
Homework Helper
Gold Member
Dearly Missed
10,025
134
Pre-congratulations for post 2000, GibZ!!!
 
  • #3
543
1
This doesn't hold true for all functions, though. Take u(x) = e^x and v(x) = e^-x so that f(x) = 1, and the summation doesn't hold.
 
  • #4
D H
Staff Emeritus
Science Advisor
Insights Author
15,415
687
This doesn't hold true for all functions, though. Take u(x) = e^x and v(x) = e^-x so that f(x) = 1, and the summation doesn't hold.
The summation still holds. With [itex]f(x)= e^xe^{-x}=1[/itex], the nth derivative of [itex]f(x)[/itex] just generates a lot of different expressions for zero:
[tex]f^{(n)} (x) = 0 = e^xe^{-x}\sum_{k=0}^n \frac{n!}{k! (n-k)!} (-1)^{(k)}[/tex]
 
  • #5
543
1
DOH! I knew I should have worked that out before I opened my big mouth!
 
  • #6
...I'm guessing if we choose to use induction, that theorem would be not too difficult to prove since it would be analogous to the proof of the binomial theorem. ...

You are guessing right, because all we need is Pascal's recurrence relation, i.e.

[tex] \left( \begin{array}{c}n+1\\k\end{array}\right)=\left( \begin{array}{c}n\\k-1\end{array}\right)+\left( \begin{array}{c}n\\k\end{array}\right)[/tex]

We want to prove

[tex]f^{(n)} (x) = \sum_{k=0}^n \frac{n!}{k! (n-k)!} u^{(n-k)} v^{(k)}\Rightarrow f^{(n)}(x)=\sum_{k=0}^n \left( \begin{array}{c}n\\k\end{array}\right)\,u^{(n-k)}\,v^{(k)} \quad (*)[/tex]
(I prefer parenthesis :smile: )

  • For [tex] n=1, \quad f'(x)= \left(\begin{array}{c}1\\0\end{array}\right)\,u^{(1)}\,v^{(0)}+\left(\begin{array}{c}1\\1\end{array}\right)\,u^{(0)}\,v^{(1)}\Rightarrow f'(x)=u'(x)\,v(x)+u(x)\,v'(x) \quad \text{True}[/tex]
  • We assume that [itex] (*) [/itex] is true for some [itex] n[/itex]. We will show that for [itex] n+1 [/itex] is also true.
    For [itex] n+1 [/itex], [itex](*) [/itex] reads
    [tex]\begin{array}{llll}f^{(n+1)}(x)&=&\sum_{k=0}^{n+1} \left( \begin{array}{c}n+1\\k\end{array}\right)\,u^{(n+1-k)}\,v^{(k)} & \\&=& \sum_{k=1}^{n} \left( \begin{array}{c}n+1\\k\end{array}\right)\,u^{(n+1-k)}\,v^{(k)}+u^{(n+1)}\,v+u\,v^{(n+1)} &\\ &=&\sum_{k=1}^{n} \left( \begin{array}{c}n\\k-1\end{array}\right)\,u^{(n+1-k)}\,v^{(k)}+ \sum_{k=1}^{n} \left( \begin{array}{c}n\\k\end{array}\right)\,u^{(n+1-k)}\,v^{(k)}+u^{(n+1)}\,v+u\,v^{(n+1)} &\text{Pascal's rule} \\ &=& \sum_{l=0}^{n-1} \left( \begin{array}{c}n\\l\end{array}\right)\,u^{(n-l)}\,v^{(l+1)}+ \sum_{k=1}^{n} \left( \begin{array}{c}n\\k\end{array}\right)\,u^{(n+1-k)}\,v^{(k)}+u^{(n+1)}\,v+u\,v^{(n+1)} &\text{define l=k-1} \\ &=& \sum_{l=0}^{n} \left( \begin{array}{c}n\\l\end{array}\right)\,u^{(n-l)}\,v^{(l+1)}+ \sum_{k=0}^{n} \left( \begin{array}{c}n\\k\end{array}\right)\,u^{(n+1-k)}\,v^{(k)} &\text{combine 1st sum - 4rd term, 2nd sum - 3rd term} \\ &=& \sum_{k=0}^{n} \left( \begin{array}{c}n\\k\end{array}\right)\,(u^{(n-k)}\,v^{(k+1)}+u^{(n+1-k)}\,v^{(k)}) &\text{remane l to k} \\ &=& \sum_{k=0}^{n} \left( \begin{array}{c}n\\k\end{array}\right)\,\frac{d}{d\,x}u^{(n-k)}\,v^{(k)} & \\ &=& \frac{d}{d\,x}\sum_{k=0}^{n} \left( \begin{array}{c}n\\k\end{array}\right)\,u^{(n-k)}\,v^{(k)} & \\ &=& \frac{d}{d\,x}f^{(n)}(x) &\text{using} \, (*) \, True\end{array}[/tex]

Hope it isn' t too mesy :smile: !!!
 
  • #7
Gib Z
Homework Helper
3,346
6
Quite the contrary, an excellently set out post, Rainbow Child.
 
  • #8
Gib Z
Homework Helper
3,346
6
So anybody seen that expression before (or a generalization)? If not, I might claim it as the Gib Z-Rainbow Child theorem =)
 
  • #9
CompuChip
Science Advisor
Homework Helper
4,306
48
Hey, I never thought of that :smile:
Just one little comment Rainbow Child: the first line of the large formula had me confused at first. I thought you assumed [itex]f^{(n+1)}[/itex] to be what was on the right hand side, though that is actually what you want to prove. Probably you should just start with the sum and in the end find it to be [itex]\frac{d}{dx} f^{(n)} = f^{(n+1)}[/itex], or start from [itex]f^{(n+1)} = \frac{d}{dx} f^{(n)} = \sum \cdots[/itex] and write the whole thing backwards.

But no, it's not messy (rather clear, actually) and yes, it is nice.
 
  • #14
CompuChip
Science Advisor
Homework Helper
4,306
48
Isn't the GibZ-Rainbow Child identity that complicated but intuitive one, from which the Leibniz identity follows?
 
  • #15
Gib Z
Homework Helper
3,346
6
Isn't the GibZ-Rainbow Child identity that complicated but intuitive one, from which the Leibniz identity follows?

Are you asking that my theorem is a generalization of the Leibniz Identity? Because if you follow d_leet's link, its exactly the same :( Damn It >.<
 
  • #16
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,950
19
It's possible to compute this identity by actually using the binomial identity. (Rather than just using the ideas behind the binomial identity) :smile:

Let [itex]\mu[/itex] denote the multiplication operator on tensor products of functions, so[itex]\mu(f \otimes g) = f g[/itex]. Let [itex]D[/itex] be the differentiation operator on differentiable functions.

Lemma:
[tex]D \mu = \mu (D \otimes 1 + 1 \otimes D)[/tex]

Because [itex]D \otimes 1[/itex] and [itex]1 \otimes D[/itex] commute, we have:

[tex]
\begin{equation*}
\begin{split}
D^n \mu &= \mu (D \otimes 1 + 1 \otimes D)^n
\\&= \mu \sum_i \binom{n}{i} (D \otimes 1)^i (1 \otimes D)^{n-i}
\\&= \mu \sum_i \binom{n}{i} D^i \otimes D^{n-i}
\\&= \sum_i \binom{n}{i} \mu (D^i \otimes D^{n-i})
\end{split}
\end{equation*}
[/tex]

And since the original question is to compute [itex](D^n \mu) (u \otimes v)[/itex]...
 
Last edited:
  • #17
CompuChip
Science Advisor
Homework Helper
4,306
48
Are you asking that my theorem is a generalization of the Leibniz Identity? Because if you follow d_leet's link, its exactly the same :( Damn It >.<

No, I was saying that the new theorem from the following quote:

Don't worry Gib, we will prove something ...harder!!! :biggrin:

will be a generalization of it.
 
  • #18
Gib Z
Homework Helper
3,346
6
Hurkyl, I am not familiar with a lot of that notation you used, but I think I get the general idea (since the order of operations when multiplying by one and differentiating give the same result, and the binomial theorem applies to things that commute, we use the theorem directly).

CompuChip, perhaps I already know a small and simple generalization, I didn't think it was worth posting though :( It was the n-th derivative of a product of k functions, not just 2. That just goes into the multinomial theorem now, and proof again analogous with the proof of the multinomial theorem.
 

Related Threads on Differentiation operators similar to exponents?

  • Last Post
Replies
1
Views
1K
Replies
1
Views
1K
  • Last Post
Replies
6
Views
5K
  • Last Post
Replies
5
Views
6K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
7
Views
11K
Replies
17
Views
700
Replies
7
Views
4K
  • Last Post
Replies
8
Views
3K
Top