1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Polynomial higher order DE in D notation form.

  1. Jul 5, 2012 #1
    1. The problem statement, all variables and given/known data

    My teacher likes to teach us the D-notation methods for higher order DE's. I am having a hard time with this one and I can't seem to find the formula for the general solution

    Find a fundamental set of the equation (D-1)[itex]^{2}[/itex](D[itex]^{2}[/itex]-6D+13)[itex]^{3}[/itex]y = 0


    2. Relevant equations

    Trying to figure this out. Split the formula into two equations, the fundamental set of each of these will be part of the fundamental set of the entire equation.


    3. The attempt at a solution

    Case 1: (D-1)[itex]^{3}[/itex]y = 0

    Let y = e[itex]^{t}[/itex]z

    (D-1)[itex]^{3}[/itex]e[itex]^{t}[/itex]z = 0

    e[itex]^{t}[/itex](D-1+1)[itex]^{3}[/itex]z = 0 Divide by e^t and add 1 inside parentheses.

    D[itex]^{3}[/itex]z = 0

    z = c1+c2t + c3t[itex]^{2}[/itex]

    y1 = [e[itex]^{t}[/itex], te[itex]^{t}[/itex], t[itex]^{2}[/itex]e[itex]^{t}[/itex]]



    Case 2:

    (D[itex]^{2}[/itex]-6D+13)[itex]^{3}[/itex]y = 0

    (D[itex]^{2}[/itex]-6D+9+4)[itex]^{3}[/itex]y = 0

    ((D-3)[itex]^{2}[/itex]-4i[itex]^{2}[/itex])[itex]^{3}[/itex]y = 0

    ((D+(-3-2i))[itex]^{3}[/itex](D+(-3+2i))[itex]^{3}[/itex]y = 0

    Now what? I have my roots in the form alpha + beta(i), but I don't know the equation to find the fundamental set.
     
    Last edited: Jul 5, 2012
  2. jcsd
  3. Jul 5, 2012 #2

    Mark44

    Staff: Mentor

    No, you can't do this (add 1 inside the parentheses).

    I'm not sure you understand what the notation means. For example, (D -1)y means dy/dt - y. D means differentiation with respect to the independent variable (d/dt) and 1 means the identity operation.

    (D - 1)3z is the same as D3z - 3D2z + 3Dz - z.
     
  4. Jul 5, 2012 #3
    My teacher taught us that (unless i am misunderstanding) when we have (D-r)[itex]^{k}[/itex]e[itex]^{rt}[/itex]y = 0, you can put the e[itex]^{rt}[/itex] on the left side, and by doing this you also have to add (or subtract if the original r has a positive sign) r inside the parentheses to isolate D.
     
  5. Jul 5, 2012 #4

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    I wouldn't consider it necessary to do that. Just note that the characteristic equation is
    [itex](r- 1)^3(r^2- 6r+ 13)= 0[/itex], just the equation you have written differently. Some people would just use "D" instead of "r" as a parameter rather than as a differential operator.
    Now, of course, you use the fact that if the product of two numbers is 0 at least one must be 0 to split the equation as you have.


    With a little practice, you can determine that solution immediately without going through all of that.


    Yes, this factor of the characteristic equation has the complex conjuate solutions 3- 2i and 3+ 2i.

    If r is a solution to the characteristic equation then [itex]e^{rt}[/itex] is a solution to the differential equation. And, of course, [itex]e^{(a+ bi)t}= e^{at}e^{ibt}[/itex] and now you can use the fact that [itex]e^{ibt}= cos(bt) + i sin(bt)[/itex]. What that reduces to is that if [itex]a\pm bi[/itex] are solutions to the characteristic equation, then [itex]e^{at}cos(bt)[/itex] and [itex]e^{at}sin(bt)[/itex] are independent solutions to the differential equation. Here, the general solution is [itex]Ae^t+ Bte^t+ Ct^2e^t+ De^{3t}cos(2t)+ Ee^{3t}sin(2t)[/itex] or, equivalently, [itex]Ae^t+ Bte^ti+ Ct^2e^t+ e^{3t}(Dcos(2t)+ Esin(2t)[/itex].
     
  6. Jul 5, 2012 #5
    Ok, so my professor was saying that when you have conjugate solutions to the characteristic equation, you only need to include one of them in the general solution. I guess you applied this identity here?
     
  7. Jul 5, 2012 #6

    Mark44

    Staff: Mentor

    No, that's not what HallsOfIvy was saying. He said that if a ± ib were solutions to the characteristic equation, then eat(cos(bt) + sin(bt)) would be solutions to the differential equation. There wasn't anything about discarding one of the conjugates.
     
  8. Jul 6, 2012 #7

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    It is true that since the conjugate of a+ bi is a- bi, all the information about both (the values of a and b) is contained in either one. However, you need both [itex]e^{(a+bi)t}= e^{at}e^{bti}= e^{at}(cos(bt)+ i sin(bt))[/itex] and [itex]e^{(a- bi)t}= a^{at}(cos(bt)- isin(bt)) [/itex] to be able to eliminate the "i" and write the general solution as [itex]e^{at}(Ccos(bt)+ Dsin(bt))[/itex] with both C and D real constants.

    (Of course, if your differential equation had non-real coefficients, then so would the characteristic equation so its solutions would NOT necessarily come in conjugate pairs and, in that case, it would be best to leave the solutions in the form [itex]e^{(a+bi)t}[/itex].
     
  9. Jul 6, 2012 #8
    Ok thanks guys that really cleared some things up!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Polynomial higher order DE in D notation form.
  1. Order notation (Replies: 1)

Loading...