(Differentialekvationer II, vt11: F4, fr 21 januari) Vi repeterade lösningen av (homogena) linjära ODE med konstanta koefficienter, se ZV4.3 eller tidigare kurser. För en n:e ordningens ekvation är den allmänna lösningen y(x) = c1 y1 (x) + c2 y2 (x) + · · · + cn yn (x), där c1 , c2 , . . . är godtyckliga konstanter, entydigt bestämda av y(x). y1 (x), y2 (x), . . . är lösningar som kan bestämmas med hjälp av den karakteristiska ekvationen. Linjära system av första ordningens ODE (ZC8.1) Sats: (Global och entydig lösbarhet för linjära system) Låt A(t) och f (t) vara kontinuerliga funktioner av t i intervallet I och t0 ∈ I. n×n n×1 n Då har för alla x0 ∈ Rn (eller ( C ) begynnelsevärdesproblemet 0 x = A(t)x + f (t) x(t0 ) = x0 en entydig lösning x(t) i hela intervallet I. Superpositionsprincipen för homogena linjära system: Om X = (x1 x2 . . . xk ), där xi :na alla uppfyller x 0 = A(t)x (så X 0 = A(t)X), n×k så gör x = Xc = c1 x1 + · · · + ck xk också det, för varje konstant c . k×1 Sats: Om X = (x1 x2 . . . xn ), där n×n x 0i 0 = A(t)xi (dvs X = A(t)X) och A(t) är kontinuerlig i I, är wronskideterminanten W (x1 , . . . , xn )(t) = det X(t) antingen = 0 för alla t ∈ I eller 6= 0 för alla t ∈ I. {x1 (t), . . . , xn (t)} är alltså linjärt oberoende för alla t ∈ I om den är det för något t ∈ I. Om W (x1 , . . . , xn )(t) 6= 0 kallas {x1 , . . . , xn } en fundamentalmängd lösningar och Φ(t) = (x1 . . . xn ) en fundamentalmatris för den homogena ekvationen. ( 0 Φ = A(t)Φ Φ(t) är en fundamentalmatris för ekvationen precis om det Φ(t0 ) 6= 0 n×n Sats: Om A(t) är kontinuerlig i I, finns ett sådant Φ i I. Den allmänna lösningen till ekvationen x 0 = A(t)x + f (t) är då xp + Φ(t)c, xp en (”partikulär–”)lösning, c godtycklig konstant. n×1 Om f (t) ≡ 0 (dvs ekvationen homogen) kan man ta xp (t) ≡ 0. Speciellt för n:e ordningens linjära ODE, (ZC4.1): En linjär ODE skrivs L(y) = 0 (homogen ekvation) eller L(y) = g(x) (inhomogen), med differentialoperatorn L = an (x)D n +. . .+a1 (x)D+a0 (x). Sats: (Global och entydig lösbarhet för linjära ODE) Om an (x), . . . , a1 (x), a0 (x), g(x) är definierade och kontinuerliga i ett intervall I och an (x) 6= 0 för alla x ∈ I har begynnelsevärdesproblemet ( L(y) = g(x) x ∈ I och för 0 0 (n−1) y0 , . . . , yn−1 ∈ R (eller C) y(x0 ) = y0 , y (x0 ) = y1 , . . . , y (x0 ) = yn−1 en entydig lösning y(x) i hela intervallet I. Superpositionsprincipen (för linjära, homogena ODE): Om y1 , y2 , . . . , yk uppfyller L(y) = 0, så gör y = c1 y1 + · · · + ck yk också det. Wronskideterminanten av funktionerna f1 , . . . , fn : f1 f2 ... fn f0 0 f ... fn0 1 2 .. .. W (f1 , . . . , fn )(x) = .. . . . (n−1) (n−1) (n−1) f1 f2 ... fn Då gäller f1 , . . . , fn linjärt beroende ⇒ W (f1 , . . . , fn )(x) = 0, alla x ∈ I. Sats: Om y1 , . . . , yn är lösningar till L(y) = 0 i I gäller y1 , . . . , yn är linjärt oberoende ⇔ W (y1 , . . . , yn )(x) 6= 0, alla x ∈ I, y1 , . . . , yn är linjärt beroende ⇔ W (y1 , . . . , yn )(x) = 0, alla x ∈ I. En fundamentalmängd lösningar till L(y) = 0 är en mängd {y1 , y2 , . . . , yn } av n stycken linjärt oberoende lösningar. Sats: L(y) = 0 har en fundamentalmängd lösningar (om ai (x) uppfyller samma villkor som i existens- och entydighetssatsen). Sats: Om {y1 , . . . , yn } är en fundamentalmängd lösningar till L(y) = 0, kan varje lösning skrivas y = c1 y1 + . . . + cn yn (allmänna lösningen). Fundamentalmängden är alltså en bas för lösningarna. I motsats till fallet med konstanta koefficienter finns inget enkelt sätt att finna en fundamentalmängd lösningar. Sats: Allmänna lösningen till L(y) = g är y = yh + yp , där yh är allmänna lösningen till den homogena ekvationen L(y) = 0 och yp är en lösning till L(y) = g (en ”partikulärlösning”). Sats: Om L(ypi ) = gi och yp = c1 yp1 +. . .+ck ypk så är L(yp ) = c1 g1 +. . .+ck gk .