Existens och entydighet

Relevanta dokument
Om existens och entydighet av lösningar till ordinära differentialekvationer

ALA-a Innehåll RÄKNEÖVNING VECKA 7. 1 Lite teori Kapitel Kapitel Kapitel Kapitel 14...

Bisektionsalgoritmen. Kapitel Kvadratroten ur 2

R AKNE OVNING VECKA 1 David Heintz, 31 oktober 2002

Några satser ur talteorin

Meningslöst nonsens. November 19, 2014

Lineära system av differentialekvationer

BEGREPPSMÄSSIGA PROBLEM

Instuderingsfrågor i Funktionsteori

Fixpunktsiteration. Kapitel Fixpunktsekvation. 1. f(x) = x = g(x).

Existens och entydighet för ordinära differentialekvationer

R LÖSNINGG. Låt. (ekv1) av ordning. x),... satisfierar (ekv1) C2,..., Det kan. Ekvationen y (x) har vi. för C =4 I grafen. 3x.

TATA 57/TATA80 18 augusti Lösningar 1) Lösning 1: Z-transformering av ekvationen (med hänsyn tagen till begynnelsevillkoren) ger.

Repetitionsfrågor i Flervariabelanalys, Ht 2009

z = z 2. z = z 2 z /z 2 = 1 1 z = x + c z(x) = x + c = ln x + c + c 2 y(x) = ln y = 0 y(x) = c 2

Lipschitz-kontinuitet

DIFFERENTIALEKVATIONER. INLEDNING OCH GRUNDBEGREPP

Kontinuerliga funktioner. Ytterligare en ekvivalent formulering av supremumaxiomet

Föreläsningen ger en introduktion till differentialekvationer och behandlar stoff från delkapitel 18.1, 18.3 och 7.9 i Adams. 18.

EXISTENS AV EN UNIK LÖSNING TILL FÖRSTAORDNINGENS BEGYNNELSEVÄRDESPROBLEM

Funktionsserier och potensserier. som gränsvärdet av partialsummorna s n (x) =

DIFFERENTIALEKVATIONER. INLEDNING OCH GRUNDBEGREPP

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

1 x dx Eftersom integrationskonstanten i (3) är irrelevant, kan vi använda oss av 1/x som integrerande faktor. Låt oss beräkna

1 Konvexa optimeringsproblem grundläggande egenskaper

LÖSNINGSFÖRSLAG TILL TENTAMEN 2 SF1664

DIFFERENTIALEKVATIONER. INLEDNING OCH GRUNDBEGREPP

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Modeller för dynamiska förlopp

TATA42: Föreläsning 7 Differentialekvationer av första ordningen och integralekvationer

8 Minsta kvadratmetoden

MVE035. Sammanfattning LV 1. Blom, Max. Engström, Anne. Cvetkovic Destouni, Sofia. Kåreklint, Jakob. Hee, Lilian.

Kontinuitet och gränsvärden

AB2.8: Laplacetransformation av derivator och integraler. Differentialekvationer

Lite Kommentarer om Gränsvärden

TATA42: Föreläsning 6 Potensserier

Differentialekvationer av första ordningen

Institutionen för Matematik. SF1625 Envariabelanalys. Modul 5 Integraler

Modul 5: Integraler. Det är viktigt att du blir bra på att integrera, så träna mycket.

Tavelpresentation - Flervariabelanalys. 1E January 2017

Tillämpningar av integraler: Area, skivformeln för volymberäkning, båglängd, rotationsarea, integraler och summor

Några viktiga satser om deriverbara funktioner.

DIFFERENTIALEKVATIONER. INLEDNING OCH GRUNDBEGREPP

TAMS79: Föreläsning 10 Markovkedjor

Tentamen SF1633, Differentialekvationer I, den 23 oktober 2017 kl

8. Euklidiska rum 94 8 EUKLIDISKA RUM

DIFFERENTIALEKVATIONER. INLEDNING OCH GRUNDBEGREPP

Föreläsning 8 för TNIU23 Integraler och statistik

KTH Matematik Tentamensskrivning i Differentialekvationer I, SF1633.

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

3 differensekvationer med konstanta koefficienter.

Maclaurins och Taylors formler. Standardutvecklingar (fortsättning), entydighet, numerisk beräkning av vissa uttryck, beräkning

Rita även upp grafen till Fourierseriens summa på intervallet [ 2π, 3π], samt ange summans värde i punkterna π, 0, π, 2π. (5) S(t) = c n e int,

TATA42: Föreläsning 2 Tillämpningar av Maclaurinutvecklingar

Icke-linjära ekvationer

Laboration 1, M0039M, VT16

Tentamen, SF1629, Differentialekvationer och Transformer II (del 2) 10 januari 2017 kl. 14:00-19:00. a+bx e x 2 dx

Om ortonormerade baser i oändligtdimensionella rum

Fourierserier: att bryta ner periodiska förlopp

1 Att läsa matematik.

III. Analys av rationella funktioner

1 Duala problem vid linjär optimering

LÖSNINGSFÖRSLAG TILL TENTAMEN 2 SF1664

k=0 kzk? (0.2) 2. Bestäm alla holomorfa funktioner f(z) = f(x + iy) = u(x, y) + iv(x, y) sådana att u(x, y) = x 2 2xy y 2. 1 t, 0 t 1, f(t) =

Prov 1 2. Ellips 12 Numeriska och algebraiska metoder lösningar till övningsproven uppdaterad a) i) Nollställen för polynomet 2x 2 3x 1:

Tentamensskrivning i Differentialekvationer I, SF1633(5B1206).

Lösningsförslag, Tentamen, Differentialekvationer och transformer II, del 2, för CTFYS2 och CMEDT3, SF1629, den 9 juni 2011, kl.

Mer om reella tal och kontinuitet

Institutionen för matematik KTH. Tentamensskrivning, , kl B1210 och 5B1230 Matematik IV, för B, M, och I.

TATA42: Föreläsning 9 Linjära differentialekvationer av ännu högre ordning

SF1625 Envariabelanalys Tentamen Måndagen den 11 januari 2016

14. Minsta kvadratmetoden

SF1633, Differentialekvationer I Tentamen, torsdagen den 7 januari Lösningsförslag. Del I

Block 5: Ickelineära. ekvationer? Läroboken. Löpsedel: Icke-lineära. ekvationer. Vad visade laborationen? Vad visade laborationen?

Veckans teman. Repetition av ordinära differentialekvationer ZC 1, 2.1-3, 4.1-6, 7.4-6, 8.1-3

Partiella differentialekvationer av första ordningen

Mälardalens högskola Akademin för utbildning, kultur och kommunikation

1 Primitiva funktioner

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A. e 50k = k = ln 1 2. k = ln = ln 2

Studietips inför kommande tentamen TEN1 inom kursen TNIU22

SF1625 Envariabelanalys

Läsanvisningar till kapitel 4

= 0 vara en given ekvation där F ( x,

Kursens Kortfrågor med Svar SF1602 Di. Int.

Uppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna 11-14, 16/11-28/

ENDIMENSIONELL ANALYS DELKURS A3/B kl HJÄLPMEDEL. Lösningarna skall vara försedda med ordentliga motiveringar.

Lösningsförslag obs. preliminärt, reservation för fel

Vektorgeometri för gymnasister

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Euler-Mac Laurins summationsformel och Bernoulliska polynom

Lösningar till tentamen i Transformmetoder okt 2007

FULLSTäNDIGHETSAXIOMET, SATSEN OM MELLANLIGGANDE VäRDE OCH SATSEN OM STöRSTA OCH MINSTA VäRDE

TAYLORS FORMEL VECKA 4

Icke-linjära ekvationer

ENDIMENSIONELL ANALYS A3/B kl INGA HJÄLPMEDEL. Lösningarna ska vara försedda med ordentliga motiveringar. lim

SF1625 Envariabelanalys Tentamen Lördagen den 11 januari, 2014

DERIVATA. = lim. x n 2 h h n. 2

= = i K = 0, K =

x f (x) dx 1/8. Kan likhet gälla i sistnämnda relation. (Torgny Lindvall.) f är en kontinuerlig funktion på 1 x sådan att lim a

Mer om analytisk geometri

Transkript:

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).