Föreläsning 7 Eistens och entydighet 7.1 Aktuella avsnitt i läroboken Appendi Eistence and Uniqueness of Solutions. 47
48 FÖRELÄSNING 7. EXISTENS OCH ENTYDIGHET Som vi sett i flera eempel kan man ibland lösa en differentialekvation y = f (,y) och erhålla y som ett uttryck i kända funktioner. Genom att välja lämpligt värde på en integrationskonstant får man ofta också en unik lösning y() som uppfyller givna begynnelsedata y( ) = b. Denna procedur fungerar dock endast i undantagsfall. Man är i regel hänvisad till numeriska metoder för att lösa differentialekvationer. Detta är egentligen inget nytt; även en eplicit lösning, som eempelvis y = e till ekvationen y = y, måste man beräkna numeriskt när man vill se en graf eller ha en tabell. Innan man använder eller konstruerar en numerisk lösningsmetod måste man emellertid veta att det finns en lösning och helst också att den är unik. Det är den typen av resultat som denna föreläsning handlar om. 7. En integralekvation I föreläsning 6 visades att om f : I R n R n är en kontinuerlig funktion så är y : I R n är en kontinuerligt deriverbar lösning till begynnelsevärdesproblemet y = f (,y), y( ) = b (7.1) om och endast om y är en kontinuerlig lösning till integralekvationen y() = b + f (t,y(t))dt (7.) I stället för att lösa begynnelsevärdesproblemet (7.1), kan vi alltså lösa integralekvationen (7.) och det är faktiskt enklare. 7.3 Iteration Den metod vi skall använda är att börja med en enkel gissning som vi sedan successivt förbättrar. Ett första och naturligtvis mycket naivt försök att lösa (7.) är att prova med funktionen y 0 () = konstant = b som i alla fall satisfierar begynnelsedata. Insatt i (7.) ger detta y 1 () = b + f (t,b) dt vilket förstås sällan är lika med y 0 om. Vi ger emellertid inte upp, utan sätter in den nya funktionen y 1 (), och får i nästa varv y () = b + f (t,y 1 (t))dt
7.3. ITERATION 49 Upprepas detta blir resultatet en funktionsföljd {y n ()}! n=0 som, förhoppningsvis, allt bättre och bättre approimerar en lösning. Denna erhålles i så fall som gränsvärdet y() = lim n! y n (). Låt oss se hur detta fungerar i ett välkänt fall där vi redan vet hur lösningen ser ut. Eempel 36 Lös ekvationen y = ay med y(0) = 1. Lösning: Om vi startar med y 0 () = 1 får vi succesivt och vi ser att y 1 () = 1 + adt = 1 + a y () = 1 + 0 0 y 3 () = 1 + a 0. y n () = 1 + a + (a) a(1 + at)dt = 1 + a + (a) ( ) 1 + at + (at) + (a)3 lim y n () = n! dt = 1 + a + (a) + + (a)n n!! " n=0 (a) n = e a n! vilket stämmer med vad vi hade anledning att vänta oss. + (a)3 För att komma vidare med den allmänna integralekvationen (7.) måste vi precisera förutsättningarna om f. Det räcker därvid inte att förutsätta att f är kontinuerlig om vi vill ha en unik lösning. Sats 37 Om f : I R n R n är kontinuerlig och dessutom lipschitzkontinuerlig i den andra variabeln, så att det för någon konstant L gäller att f (,y 1 ) f (,y ) L y 1 y för alla I och y 1,y R n, så har integralekvationen (7.) en kontinuerlig lösning y() för varje b R n sådan att f (,b) är begränsad på I och I. Bevis. Vi måste visa att den rekursivt definierade funktionsföljden {y n ()}! n=0 där y 0 () = b och y n+1 () = b + f (t,y n (t))dt, n = 0,1,,...
50 FÖRELÄSNING 7. EXISTENS OCH ENTYDIGHET konvergerar mot en kontinuerlig gränsfunktion y() och dessutom att följande kalkyl är tillåten Vi konstaterar att y() = lim y n+1 () = b + lim n! n! = b + = b + 0 y n () = b + lim f (t,y n (t))dt n! f (t,y(t))dt n " k=1 [y k () y k 1 ()] f (t,y n (t))dt och dessutom att för k =,3,... gäller y k () y k 1 () = [ f (t,y k 1 (t)) f (t,y k (t))]dt vilket ger uppskattningen y k () y k 1 () f (t,y k 1 (t)) f (t,y k (t)) dt L y k 1 (t) y k (t) dt För k = 1 och > gäller dessutom y 1 () b f (t,b) dt f (t,b) dt M ( ) där M = sup I f (,b). Vi får nu succesivt y () y 1 () L y 3 () y () L y 1 (t) b dt ML (t )dt = ML ( ) y (t) y 1 (t) dt ML (t ) dt = ML ( ) 3 (t ) 3 dt = ML 3 ( ) 4 4! y 4 () y 3 () L y 3 (t) y (t) dt ML 3. y k () y k 1 () ML k 1 ( ) k i fallet då < ger motsvarande kalkyl i stället att k! y k () y k 1 () ML k 1 ( ) k k!
7.4. ENTYDIGHET OCH STABILITET 51 och vi får därmed om I betecknar längden av intervallet I att Eftersom k 1 I k sup y k () y k 1 () ML I k!! k 1 I k " ML k=1 k! = M ( ) e L I 1 L följer det av Weierstrass majorantsats att funktionsserien y() = b +! " k=1 [y k () y k 1 ()] = lim n! y n () konvergerar absolut och likformigt på I och att summan y() är kontinuerlig eftersom alla funktionerna y n i följden är det. Dessutom konvergerar f (t,y n (t)) likformigt mot f (t,y(t)) då n! eftersom sup I och då följer det att f (t,y n (t)) f (t,y(t)) Lsup y n (t) y(t) 0 I lim f (t,y n (t))dt = lim f (t,y n (t))dt = n! n! Därmed är satsen bevisad. f (t,y(t))dt 7.4 Entydighet och stabilitet När vi nu har visat att ekvation (7.1) och (7.) alltid har lösning om f är lipschitzkontinuerlig, återstår frågan om det finns flera lösningar. Besläktad med entydigheten är också problemet med stabiliteten: Vad som händer med lösningen vid små ändringar i f och b. Svaret finns i nästa sats. Sats 38 Om y 1 () respektive y () är lösningar till begynnelsevärdesproblemen y = f 1 (,y), y( ) = b 1 y = f (,y), y( ) = b där f 1 och f uppfyller förutsättningarna i sats 37 med lipschitzkonstanter L 1 respektive L så gäller för att y 1 () y () b 1 b e k( 0) + µ ( ) e k( 0) 1 k där k = min(l 1,L ) och µ = ma,y f 1 (,y) f (,y).
5 FÖRELÄSNING 7. EXISTENS OCH ENTYDIGHET Följdsats 39 Speciellt följer av sats 38 att lösningen till ekvation (7.1) är unik, eftersom det för två lösningar y 1 () och y () med samma högerled, f = f 1 = f så att µ = 0, och samma begynnelsedata, b = b 1 = b så att b 1 b = 0, måste gälla att y 1 () y () 0. Så till beviset. Bevis. Sambanden y 1 () = b 1 + y () = b + 0 f 1 (t,y 1 (t))dt f (t,y (t))dt ger med triangelolikheten och någon av omskrivningarna uppskattningen och därmed är f 1 (t,y 1 ) f (t,y ) = [ f 1 (t,y 1 ) f 1 (t,y )] + [ f 1 (t,y ) f (t,y )] = [ f 1 (t,y 1 ) f (t,y 1 )] + [ f (t,y 1 ) f (t,y )] f 1 (t,y 1 ) f (t,y ) k y 1 y + µ y 1 () y () b 1 b + b 1 b + b 1 b + k f 1 (t,y 1 (t)) f (t,y (t)) dt (k y 1 (t) y (t) + µ)dt y 1 (t) y (t) dt + µ ( ) Sätt u() = y 1 (t) y (t) dt. Då är u( ) = 0 och u () = y 1 () y () vilket ger olikheten Grönwalls lemma (33) ger då för > att u () ku() + b 1 b + µ ( ) (7.3) u() e k( 0) u( ) + e k( t) ( b 1 b + µ (t ))dt = 1 ( ) k b 1 b e k( 0) 1 + µ ( ) k e k( 0) 1 µ k ( ) (7.4) kombinerar vi (7.3) och (7.4) får vi slutligen y 1 () y () = u () ku() + b 1 b + µ ( ) b 1 b e k( 0) + µ ( ) e k( 0) 1 k Det kan mycket väl finnas lösningar till ekvation (7.1) även om f inte är lipschitzkontinuerlig. Däremot kan vi i sådana fall inte garantera att lösningen är entydig. Jämför med eempel 40.
7.5. LOKALA RESULTAT 53 Eempel 40 Begynnelsevärdesproblemet y = 3 y med y(0) = 0 har tre lösningar: 1. y() = 0 { (/3) 3 för 0,. y() = 0 för < 0. { (/3) 3. y() = 3 för 0, 0 för < 0. Ett resultat av det faktum att funktionen 3 y inte är lipschitzkontinuerlig i en omgivning av y = 0 eftersom det gäller att 3 y1 3 y 1 /3 = y 1 y 3 y 1 + 3 y1 y + 3 3 y 1 + 3 y y 7.5 Lokala resultat Vi har hittills förutsatt att funktionen f (, y) uppfyller lipschitzvillkoret f (,y 1 ) f (,y ) L y 1 y (7.5) med en konstant L som gäller för I och godtyckliga vektorer y 1,y R n. Det är inte alltid möjligt att uppnå detta utan vi får acceptera inskränkningar även i y-led så att (7.5) bara gäller om y 1,y! R n. Det kan då hända att graferna till funktionerna y n () i iterationen inte ligger kvar i rektangeln {(,y) : I, y!} och vi kan då inte garantera att lösningen är definierad för alla i intervallet I. I sådana fall får vi nöja oss med att konstatera att det i något delintervall " +", med " > 0, finns en unik lösning till y = f (,y).