Phil Lucht Math & Physics Archive
Home / Math and Physics Files / Math / ODEs

ODE notes

DOCX · 18.4 KB
Open DOCX file

Short personal notes by Phil dated 1.21.99. They treat the constant-coefficient ODE through factoring the operator (D - r_i), the characteristic polynomial, exponential solutions, and repeated roots giving x^k e^(rx). They also cover the matching difference equations using the raising operator E, with solutions as sums of powers of the roots. The notes refer to page 48 of a text called MM.

AI-written summary; may contain errors.

Extracted text (machine-read; may contain errors)
Some ODE Notes PhL 1.21.99 Differential and Difference Equations with constant coefficients. Page 48 of MM is a good place to start. The ODE is written in 2.12 using the usual D operator. You can think of this as: Ay = 0 A = Dn + a1Dn-1 + ... + an 1 = an operator This operator A can be factored just as if it were a polynomial and D were x: A = (D - r1)(D - r2)..... (D - rn) You can see for example that - a1 = the sum of the ri , and an is the product of the ri. Consider now the corresponding x polynomial and its fully factored form: p(x) = xn + a1xn-1 + ... + an = (x - r1)(x - r2)..... (x - rn) This is called the characteristic polynomial for the ODE and it of course has roots that we can find by the usual methods of factorization. Now back to the ODE. Notice that the factors (D - ri) can be put in any order, the factors commute because the ri are constants! So we can pick any ri and put its factor on the right, and we can then consider this equation: (D - ri)y = 0 A solution of this is then a solution of the full ODE. But we know the solution to this is y(x) = exp(rix). Therefore, we know this is true for any root and we have a linear equation, so we now have a fairly large class of solutions, y(x) = !Syntax Error, Ici exp(rix) The claim is now that this solution has n independent constants, and that therefore this is the most general solution of the equation. How do we know that? I had to go off and write a whole separate document to see why this is so. The answer is that the nth order ODE has a unique solution for the n usual boundary conditions on y, y'..... y(n-1) at some point, given certain conditions including Lipschitz. These n constants map into the n ci constants above. There cannot be more or less than n free constants ci to meet the boundary conditions. Thus, the dimensionality of the basis is n. Now, if the roots are all different, we are done. If 4 roots are the same, then we replace those four indistinct expos with these: erx , x erx , x2erx , x3 erx This idea works for whatever root degeneracy you have. Difference equations Now suppose we have this, again with constant coefficients A = n + a1n-1 + ... + an 1 = an operator Ayk = 0 We can factor this thing as before A = ( - s1)( - s2)..... ( - sn) Then we can look at this equation ( - s1) yk = 0 But I think instead they want you to think in terms of the raising operator E = 1+ where we have Eyk = yk+1 . So let's reorder our difference equation like this: A = bn En + bn-1En-1 + ... + b0 1 Ayk = 0 which says bn yk+n + bn-1 yk+n-1 + .... + b0 yk = 0 // order n then factor this thing A = (E - r1)(E - r2)..... (E - rn) Then consider (E - r1)yk = 0 => yk+1 = r1 yk => yk = (r1)ky0 so now you see how the little powers arise! As you iterate, each time you build up another factor. so these little root powers are the analogs of the exp functions in the continuous case. We can then write our general solution as: yk = a1 (r1)k + a2 (r2)k + ... an (rn)k and you determine the ai using initial conditions on say y0, y1 .... yn-1 .