Undetermined coefficients with annihilator approach (DE)

[Mangoes]

There isn't a specific problem that's making me stuck, but I was hoping if someone could point me in the right direction here. I've looked up the topic online, but most of what I could find was through another approach or very unclear. The book I'm using also does not use the method my professor uses.

In my ODE class I've been using the annihilator approach to solve homogenous DEs. We moved on to solving nonhomogenous ODEs a while ago and covered undetermined coefficients and variation of parameters, but I had to miss the lecture on undetermined coefficients and there's something I missed which is messing me up.

I understand that if I have a simple ODE such as
y'' + 16y = e^{3x}

I can see why the particular solution would take the form

y_p = Ae^{3x}

You'd then differentiate as needed, plug in, and solve for the coefficients. This way of thinking has been recurring throughout the course so it doesn't feel foreign. However, in the later exercises, I'm having problems.

Consider the ODE

y^{(3)} - y = e^x + 7

If I just look at the RHS and think of what'll annihilate it, let D be the differential operator, then D(D-1) looks like it'll do the job. This means that the particular solution would look like the form:

y_p = c_1 + c_2e^x

But if I were to differentiate that three times and plug it into the ODE, it wouldn't give me a nice result.

I noticed that the problems I've been struggling with have something in common though.
The LHS of the ODE is annihilated by (D-1)(D² + D + 1). So (D-1) is a common annihilator of both sides of the equation and I suspect this has to do with what's throwing me off.

Could someone please shed some light on what's the algorithm for these types of situations?

 

[vela]

If you apply the annihilator, you'll have D(D-1)²(D²+D+1)y = 0. What should be the form of the solution to this homogeneous equation? Compare it to y_h you get from the original DE. The terms left over make up y_p.

 

[Mangoes]

If you apply the annihilator, you'll have D(D-1)²(D²+D+1)y = 0. What should be the form of the solution to this homogeneous equation? Compare it to y_h you get from the original DE. The terms left over make up y_p.

Thanks for the reply, I hadn't thought of it that way. You're kind of shifting the nonhomogeneous equation to a homogeneous one.

The solution formed by applying the annihilator would take the form:

y = c_1 + c_2e^x + c_3xe^x + e^{-x/2}(c_4cos(\sqrt{3/4}x) + c_5sin(\sqrt{3/4}x))

Since

y_h = a_1e^x +e^{-x/2}(a_2cos(\sqrt{3/4}x) + a_3sin(\sqrt{3/4}x))

I'm guessing

y_p = Axe^{x/2} + B

So in order to find the particular solution, it would simply just be a manner of differentiating the last equation above and plugging into find the coefficients?

 

[vela]

I'm not sure what's going on with the exponents there. Where did the $a_2$ term and the A term come from?

 

[Mangoes]

I'm not sure what's going on with the exponents there. Where did the $a_2$ term and the A term come from?

Oh, I just switched the letters up because I didn't feel like keeping track of which constant is which.

Sorry about that, I thought of adding the explanation when I made the choice to do that after I was finished typing the equations, but I forgot to actually go ahead and type that out when I got to finishing...

That is, B would be equal to c_1, a_1 would be equal to c_2...
Should've just gone ahead and used the same names...

 

[vela]

The exponent in y_p should be x, not x/2, but otherwise it looks fine now.

Do you see how you would generally modify your guess for the particular solution when the forcing function has terms that satisfy the homogeneous equation?

 

[Mangoes]

The exponent in y_p should be x, not x/2, but otherwise it looks fine now.

Do you see how you would generally modify your guess for the particular solution when the forcing function has terms that satisfy the homogeneous equation?

Yep, that exponent's a typo.

Just write out the general solution for the DE annihilated by both annihilators (the RHS and LHS) and then filter out y_p from the terms that already appeared in y_h and then just go through the mindless computation and equate coefficients.

Pretty simple procedure then, thanks a lot for taking the trouble to help me out.

 

[vela]

You can streamline that procedure a bit. You just need to multiply what you might naively guess for y_p by appropriate powers of x. For example, if you had (D-1)²y=e^x, you might initially guess that y_p=Ce^x. But since y_h=Ae^x+Bxe^x, you need to multiply by x² to make the particular solution linearly independent of y_h, so you'd actually use y_p=Cx²e^x.

 

[Mangoes]

Eh, the thought process of converting the nonhomogeneous eqn to a homogeneous eqn and then choosing what you want to solve seems like the most intuitive thing for me and I hate memorizing things, so I'll just stick to what you told me a couple of posts ago. What you're saying now might seem more obvious after I work out a couple of problems, but for now I'm happy the other way.