Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Differentiation operators similar to exponents?

  1. Dec 26, 2007 #1

    Gib Z

    User Avatar
    Homework Helper

    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: Dec 26, 2007
  2. jcsd
  3. Dec 26, 2007 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member
    Dearly Missed

    Pre-congratulations for post 2000, GibZ!!!
  4. Dec 26, 2007 #3
    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.
  5. Dec 26, 2007 #4

    D H

    Staff: Mentor

    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]
  6. Dec 26, 2007 #5
    DOH! I knew I should have worked that out before I opened my big mouth!
  7. Dec 27, 2007 #6
    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: !!!
  8. Dec 27, 2007 #7

    Gib Z

    User Avatar
    Homework Helper

    Quite the contrary, an excellently set out post, Rainbow Child.
  9. Dec 28, 2007 #8

    Gib Z

    User Avatar
    Homework Helper

    So anybody seen that expression before (or a generalization)? If not, I might claim it as the Gib Z-Rainbow Child theorem =)
  10. Dec 28, 2007 #9


    User Avatar
    Science Advisor
    Homework Helper

    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.
  11. Dec 28, 2007 #10
  12. Dec 28, 2007 #11
  13. Dec 28, 2007 #12

    Gib Z

    User Avatar
    Homework Helper

  14. Dec 28, 2007 #13
  15. Dec 28, 2007 #14


    User Avatar
    Science Advisor
    Homework Helper

    Isn't the GibZ-Rainbow Child identity that complicated but intuitive one, from which the Leibniz identity follows?
  16. Dec 29, 2007 #15

    Gib Z

    User Avatar
    Homework Helper

    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 >.<
  17. Dec 29, 2007 #16


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    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.

    [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:

    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})

    And since the original question is to compute [itex](D^n \mu) (u \otimes v)[/itex]...
    Last edited: Dec 29, 2007
  18. Dec 29, 2007 #17


    User Avatar
    Science Advisor
    Homework Helper

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

    will be a generalization of it.
  19. Dec 29, 2007 #18

    Gib Z

    User Avatar
    Homework Helper

    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.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Differentiation operators similar to exponents?
  1. Differential Operator (Replies: 8)

  2. Differential operators (Replies: 5)