Datorövning(ar) i funktionalanalys och harmonisk analys

Transkript

1 Datorövning(ar) i funktionalanalys och harmonisk analys Sven Spanne & Anders Holst 5 september 26 1 Normer och approximation Inledning Funktionalanalys är ett abstrakt område, och för att förstå innebörden av begrepp, satser och metoder krävs en hel del arbete med konkreta exempel. Huvudsakligen får man arbeta med papper och penna, men i en hel del fall kan matematikprogram som Maple och Matlab öka förståelsen. Vid användning av funktionalanalytiska metoder på praktiska problem är man också förr eller senare tvungen att gripa till numeriska beräkningar. Använd Matlab för att lösa nedanstående uppgifter. Om du ser ett Matlabkommando som du inte känner igen så använd den inbyggda hjälpen ( ÐÔ ÓÑÑÓ). Jag har genomgående försökt använda formelkursiv, t ex f, i analytiska formler och skrivmaskinsstil, alltså, för motsvarande Matlabuttryck. De färdiga Matlabskript som används nedan finns att hämta på kursens vävsida: ØØÔ»»ÛÛÛºÑ Ø ºÐØ º»Ñ Ø Ñ Ø ÐØ»Ô Ö ÓÒ Ð»» ÙÒ ÖÑ¼ º ØÑÐ Känn dig inte bunden till förslagen nedan utan använd din fantasi för fler experiment. Normer Avsikten med detta avsnitt är att ge ett intuitivt begrepp om normerna p, främst för p = 1, 2 och, med hjälp av Matlab. För enkelhets skull arbetar vi främst på intervallet I = [,1]. Normerna definieras då av f 1 = f(x) dx, ( 1 f 2 = f(x) dx) 2 2, ( 1 f p = f(x) dx) p p, (1 p < ) f = max f(x). x 1 I Matlab representerar vi funktionerna f med vektorer, erhållna genom sampling. Kommandot Ü ¼ Ø ½ ger Ü värdet av en vektor med ekvidistanta element: 1

2 2 Datorövningar i funktionalanalys ¼ Ø ¾ Ø ººº ½, om Ø är definierat innan. (Den sista 1-an är i regel en approximation). Funktionen f(x) = sin(x), x 1 representeras då av vektorn Ò Üµ. Hur väl funktionen f, av en kontinuerlig variabel, kan representeras av den diskreta vektorn behandlar vi på ett annat ställe, men ibland måste man tänka för att tolka Matlabfigurerna på rätt sätt. L p -normerna av funktioner är definierade med hjälp av integraler. Diskret motsvaras dessa av summor,varvid man måste ta hänsyn till steglängden vid samplingen. Om antalet element i vektorn är Ò så sätter vi ÒÓÖÑ ½µ ÙÑ µµ»ò ÒÓÖÑ ¾µ ÙÑ µº ¾µ»Òµº ½»¾µ ÒÓÖÑ Ôµ ÙÑ µº Ôµ»Òµº ½»Ôµ ÒÓÖÑ µ Ñ Ü µµ Det bifogade Matlabskriptet ÒÓÖÑ ºÑ utför dessa beräkningar (i något allmännare form). Det finns ett inbyggt Matlabkommando ÒÓÖÑ, men det skiljer sig på en skalfaktor (ej delat med Ò) från ÒÓÖÑ. Uppgift 1: I skriptet ØÒÓÖÑºÑ som ser ut så här ± ØÒÓÖÑºÑ ± Æ Ö ÐÑÔÐ Ø Ö Ö Ö ØÓÖ ÚÒ ÙÒ Ø ÓÒ ÐÐÝ ± ËËÔ ¾¾º º Ø ¼º¼½ Ü ¼ Ø ½ Ü Ü³ ØØ ÓÒ Þ Üµµ Ò ½¼ Üµ¹½» Ò ¾ Üµ ± Ü ÑÔ Ð ÙÒ Ø ÓÒ finns några lämpliga variabler och funktioner definierade. Kör det (med Matlabkommandot ØÒÓÖÑ) och se efter vilka variabler du har (med Û Ó ). Rita upp funktionen med ÔÐÓØ Ü µ. Uppgift 2: Läs skriptet ÒÓÖÑ ºÑ ÙÒØ ÓÒ ÒÓÖÑ ÒÓÖÑ Ü Ôµ ± ÒÓÖÑ Ú Ú ØÓÖ ± ÖÖ ÒÓÖÑ Ð Ö Ô¹ÒÓÖÑ Ú ÙÒ Ø ÓÒ Ö ÔÖ ÒØ Ö ÓÑ ± Ú ØÓÖ Ü ± Ú Ö Ö ÑÓØ Ø ÓÒØ ÒÙ ÖÐ ± ÒØ ßÁÐ Ü Øµ Ô Ø»ÐØ Áµµ ½»Ôµ ± ÓÑ Ô ± Ñ Ü ÑÙÑ ÓÑ Ô ± ËËÔ ¾½» º Ô ½ ÖÖÓÖ ³Ô Ñ Ø Ú Ö ½³µ ± ÇÑ Ô ½ Ð Ö ÙØØÖÝ Ø Ò ÒÓÖÑ ØÖ ÐÓÐ Ø Ò ÐÐ Ö µº Ô ÒÓÖÑ Ñ Ü Üµµ Ö ØÓÖÐ Þ Üµ

3 1 NORMER OCH APPROXIMATION 3 ØÓÖÐ ½µ ½ ÒØ Ð ØÓÖÐ ¾µ Ð ØÓÖÐ ¾µ ½ ÒØ Ð ØÓÖÐ ½µ Ð ÖÖÓÖ ³ Ö Ö ÒÓÖÑ Ö Ø Ö Ö Ú ØÓÖ Ö³µ ÒÓÖÑ ÙÑ Üµº Ôµ» ÒØ Ð¹½µ ½»Ôµ (i Matlab med ØÝÔ ÒÓÖÑ ) och tag reda på vad det gör, så bra att du kan förklara det för någon annan. Vi skall nu först se på maximumnormen. Uppgift 3: Olikheten f g ε kan också skrivas ε f(x) g(x) ε för alla x eller ekvivalent f(x) ε g(x) f(x)+ε för alla x. Tolka denna olikhet geometriskt och rita upp motsvarande figur med kommandot ÔÐÓØ Ü Ü Ô ÐÓÒ Ü ¹ Ô ÐÓÒµ för något lämpligt valt Ô ÐÓÒ. (Obs! Matlabs Ô är fixerat och kan ej ändras: ÐÔ Ô.) Vi skall nu se hur funktioner som bara skiljer sig lite i olika normer kan se ut. Uppgift 4: Bilda (i Matlab) en»liten» regelbunden och analytiskt definierad funktion h, t ex h(x) =.1cos(5x). Sätt g = f + h. Rita upp f och g i samma figur med ÔÐÓØ Ü Ü µ. Rita även upp gränser i maximumnormen, med ÔÐÓØ Ü Ü Ü ÒÓÖÑ ¹ µ Ü ¹ÒÓÖÑ ¹ µµ Tag sedan en mera oregelbunden funktion med Matlabkommandot (ÖÒ bildar normalfördelade slumptal) ¼º½ ÖÒ Þ Üµµ. Gör om figurerna med detta. Vi skall nu se lite på L p -normer. Uppgift 5: Definiera funktioner genom ÓÒ Þ Üµµ Ü ¼º½µ¹ Ü ¼º½½µ Ó ¼ Üµ ÖÒ Þ Üµµ Rita upp dem. Jämför deras 1-, 2- och -normer genom att beräkna kvoterna h 1 h 2, h 1 h och h 2 h På vilka funktioner märks det mest att normerna inte är ekvivalenta? Uppgift 6: Normering av en funktion f innebär att den ersätts med f/ f. Normera funktionerna i föregående uppgift med avseende på -normen och rita upp dem i samma figur:

4 4 Datorövningar i funktionalanalys ÔÐÓØ Ü»ÒÓÖÑ µ ººº Ü ÒÓÖÑ µµ Gör sedan om samma sak med L 2 och L 1 -normerna. Lägg märke till hur olika det ser ut. Olika normer tar fasta på olika egenskaper hos funktionerna. Uppgift 7: Beteckningen kanske förbryllar någon. Vi skall nu motivera den experimentellt. Beräkna för funktionerna ovan ÒÓÖÑ Ôµ med större och större Ô och jämför med ÒÓÖÑ µ. (Tar man alltför stora p så blir det dock problem med flyttalen.) Gissa vad gränsvärdet kan vara! (För kontinuerliga f finns det en allmän formel.) Uppgift 8: Det Matlab arbetar med är ju ändliga följder (element i R n ), och där vet vi att alla normer är ekvivalenta, speciellt även 1-, 2- och -normerna. Hur går detta ihop med att funktionsnormerna inte är ekvivalenta? Ledning: En sak att tänka på är vad som händer med konstanterna i olikheterna t ex a f 1 f b då n blir stort. Vilka vektorer f maximerar respektive minimerar kvoten i olikheten? Grovt talat kan man säga att den praktiska gränsen mellan ändligt och oändligt är ganska flytande och beror bland annat på den precision man räknar med. 2 Kontraherande avbildningar Kontraktion och Lipschitzkonstanter Om f är en funktion på M så definieras Lipschitzkonstanten för f genom f(x) f(y) Lip( f) = sup x y M x y Om detta supremum är ändligt så sägs f vara Lipschitzkontinuerlig. Om Lip( f) < 1 så sägs f vara kontraherande. Detta är samma sak som att det finns ett r [,1) så att f(x) f(y) r x y för alla x M (och Lipschitzkonstanten är det minsta r som duger i olikheten). Vi skall nu undersöka differenskvoter med hjälp av Matlab. Sätt q f (x,y) = f(x) f(y). x y För att få fram en sådan differenskvotsfunktion i Matlab (och allmännare funktioner av två variabler (x,y)) krävs ett knep. Detta återfinns i skriptet ÜÜÝÝºÑ som ser ut så här: Ü ¼ Ø ½ Ü Ü³ ØØ ÓÒ Þ Üµµ ÜÜ ØØ Ü³ ÝÝ Ü ØØ³ Ö Ñ Ò ÜÜº ¹ÝÝ ½µ ÝÝº ¹ÜÜ ½µµ Ö Ò¾ Ñ Ò ¹ÜÜ ½ ¹ÝÝ ½µ

5 2 KONTRAHERANDE AVBILDNINGAR 5 Variablerna Ü och Ý representeras med matriser ÜÜ resp ÝÝ som varierar längs rader respektive kolonner. (Matriserna Ö Ò och Ö Ò¾ används senare.) Uppgift 9: Sätt Ø ¼º¾ och kör ÜÜÝÝ. Titta på de bildade variablerna ÜÜ och ÝÝ, dels direkt och dels genom plottning, ÙÖ ÜÜµ resp ÙÖ ÝÝµ. Det senare ritar upp ytorna z = x resp z = y. Sätt nu Ø ¼º¼½ och kör åter ÜÜÝÝ. Uppgift 1: Plotta ytorna z = x 2 + y 2 och z = sin(xy): Bilda först Þ ÜÜº ¾ ÝÝº ¾ och visa sedan upp den med ÙÖ Þµ. Gör sedan samma med Þ Ò ÜÜº ÝÝµ. Uppgift 11: Skriv ett skript ÚÓØºÑ som givet en funktionsvektor beräknar den diskreta motsvarigheten till differenskvoten q f. Gör beräkningen genom ØØÓÖ ÓÒ Þ Üµµ ÜÜ ØØÓÖ ³ ÝÝ ØØÓÖ³ ÚÓØ ÜÜ¹ ÝÝµº» ÜÜ¹ÝÝµ Använd det på funktionerna sin(2 x) och e x. Beräkna också Lipschitzkonstanten för dessa funktioner (i intervallet x 1, genom att bestämma maximum och minimum av differenskvoterna. (Gör du på rätt sätt så stör inte de odefinierade diagonalelementen.) Jämför med de Lipschitzkonstanter som du beräknar analytiskt. Fixpunkter för skalära funktioner Om funktionen f är kontraherande på ett (slutet) intervall I, så konvergerar iterationen x n+1 = f(x n ) mot en entydigt bestämd fixpunkt. Uppgift 12: Funktionen f(x) =.5 cos(x) är säkert kontraherande på hela R. Använd Matlab för att lösa ekvationen x =.5 cos(x). En treraders lösning, med illustration av konvergensen, är Ü ¼ Ù ¼ ÓÖ ½ ½¼¼ Ù µ Ü Ü Ó Üµ»¾ ÔÐÓØ Ùµ Uppgift 13: Funktionen f(x) = cosx är inte kontraherande på R (varför ej?) men iterationen konvergerar i alla fall för alla begynnelsevärden. Rita upp f(x) och förklara varför. Beräkna lösningen till f(x) = cos x. Uppgift 14: Försök samma sak med f(x) = λcos(x), med λ = 1.2 och λ = 1.4. Genom att rita upp funktionerna cos(x) och x/λ i samma diagram övertygar man sig lätt om att i bägge fallen finns bara en fixpunkt. Vilken är skillnaden? Lineära avbildningar Vi skall nu se på lineära avbildningar i R n. Här finns tre olika normer värda att nämna, 1, 2 och. Som bekant definieras 1-operatornormen av en matris genom Ax 1 A 1 = max x x 1 och är alltså det minsta talet C med egenskapen Ax 1 C x 1 för alla x i R n

6 6 Datorövningar i funktionalanalys och motsvarande för de andra normerna. Om f(x) = Ax+b där b är en fix vektor, så är ju f(x) f(y) = A(x y) och operatornormen är precis Lipschitzkonstanten för f. I Matlab finns en funktion ÒÓÖÑ som beräknar 1-, 2- och inf-normerna för matriser. Se matristeorin (eller avsnitt 3.3 i kompendiet) för exakta formler i dessa fall. Uppgift 15: Låt [.1.7 A =.1.8 Beräkna de tre operatornormerna för A. Kan du hitta någon vektor med Ax = A x i de tre fallen? (Jfr avnitt 3.3 i kompendiet.) Uppgift 16: Låt A vara matrisen i föregående uppgift och sätt f(x) = Ax + b med b = [1 2] T. Är f kontraherande i någon av de aktuella normerna? Vilken slutsats kan dras om konvergens av iterationen x n+1 = f(x n )? Testa iterationen numeriskt i Matlab. Uppgift 17: Ersätt A i föregående uppgifter med [ ].1.1 A =.7.8 och gör samma räkningar. Fixpunkter för operatorer Fixpunktsiteration i en variabel är förhållandevis enkel att analysera. I R n blir det svårare, om man har olineära ekvationer. För exempel på detta hänvisas till Olineära dynamiska system. Här går vi direkt på ett ännu svårare fall, nämligen fixpunktsiteration i funktionsrum (fast Matlab tvingar oss att approximera med R n, med n 1 till 2). Vi skall syssla med olineära differentialekvationsproblem, jfr t ex Exempel 5.19 i Griffel. Randvärdesproblemet d2 u dx 2 = F(u), ] u() = = u(1) uppträder i olika praktiska sammanhang. Ett besläktat lineärt problem d2 u dx 2 = f(x), löses som bekant av integraloperatorn u() = = u(1) u(x) = k(x,y) f(y)dy där k är Greens funktion för problemet, { x(1 y), x y k(x,y) = = min(x(1 y),y(1 x)) y(1 x), y x 1 där det senare uttrycket kan vara praktiskt vid programmering, jfr ÜÜÝÝºÑ. Den olineära differentialekvationen u = F(u) kan alltså överföras i den olineära integralekvationen u(x) = k(x, y)f(u(y)) dy.

7 2 KONTRAHERANDE AVBILDNINGAR 7 Detta är en form som kan lämpa sig för numerisk iteration. Vi ser nu först på det lineära problemet. Uppgift 18: Skriv ett Matlabskript som beräknar en approximation till integraloperatorn T f(x) = k(x,y) f(y)dy. Representera funktioner med (kolonn)vektorer som tidigare och k(x, y) med en matris Ã, som med tidigare beteckningar erhålls i Matlab med Ã Ñ Ò ÜÜº ¹ÝÝ ½µ ÝÝº ¹ÜÜ ½µµ»Ò eller alternativt Ã Ö Ò»Ò där Ò är antalet element i vektorerna (och 1/n svarar mot dy i integralen). Beräkna Ã, där svarar mot den konstanta funktionen 1, och jämför med den exakta lösningen till u = 1, u() = = u(1). Uppgift 19: Beräkna de tre operatornormerna för Ã (vilka är numeriska approximationer till operatornormerna för operatorn T ). För vilka värden på λ är operatorn F(u) = λtu kontraherande, enligt dessa beräkningar? (Svar: λ < k 1 ). Jag avbryter nu Matlab med lite teori. Vi kan nu försöka lösa (det linjära) randvärdesproblemet u = λu+ f(x), u() = u(1) = på följande sätt. Skriv om det som u = Lu := T(λu)+T f = λtu+t f och iterera. Detta fungerar garanterat om operatorn L är kontraherande. Då har ekvationen en entydig lösning, som kan erhållas med iteration. Ett specialfall är intressant. Att randvärdesproblemet u = λu, u() = u(1) = u = λtu (1) har lösning u (och därmed mer än en lösning) är ju detsamma som att motsvarande differentialoperator har ett egenvärde λ. Vi ser alltså att det minsta egenvärdet är 1/ T. (Eftersom (1) ger att u = λtu λ T u.) Men just för detta problem är ju minsta egenvärdet = π 2. Vilken numerisk olikhet för π 2 ger våra räkningar? Uppgift 2: Lös ekvationen u = λu+1, u() = = u(1) med t ex λ = ±.2 numeriskt genom att iterera utgående från en godtycklig startfunktion. Jämför gärna med motsvarande exakta lösning. Vi skall nu se på ett riktigt olineärt problem. Låt F(u) = λsin(u) och se på ekvationen u = λsin(u), u() = = u(1). (2)

8 8 Datorövningar i funktionalanalys I hållfasthetsläran dyker denna upp vid beskrivning av utböjningen hos en elastisk stav som belastas i sin längsrikting medan ändarna hålls fast, Eulers knäckningsfall 2 i Tefyma. Då är u(x) stavens lokala vinkel med den obelastade riktningen och λ = F EI där F är den belastande kraften samt EI stavens böjmotstånd. Se, t ex Timoshenko & Gere: The theory of elastic stability. (Problemet (2) dyker också upp om vi låter u beteckna utslagsvinkeln för en plan pendel med längd l = gλ, där g är tyngdaccelerationen, och söker efter lösningar med pendeln rakt ned för t = och t = 2.) Ekvation (2) kan överföras till integralekvationen u(x) = λ k(x, y) sin(u(y)) dy. Eftersom sin(u) sin(v) u v för alla u och v (varför?) så är integraloperatorn på höger sida kontraherande om λ k < 1. Vi vet t ex att k 1 = 1/8. Uppgift 21: Försök att lösa integralekvationen u(x) = λ k(x, y) sin(u(y)) dy. genom iteration med något begynnelsevärde. Försök med olika värden på λ från till 1. Rita upp iterationerna. Vad händer? Jämför med det lineära fallet. Att öka värdet av λ är betyder i den mekaniska tolkningen att öka belastningen, och lösningarna u betyder möjliga jämviktslägen. I det lineära fallet har integralekvationen u(x) = λ k(x, y)u(y) dy bara lösningen u = för λ < π 2, medan det för λ = π 2 finns oändligt många lösningar, storleken på utböjningen är obestämd. För λ > π 2 (och < 4π 2 ) finns återigen bara den triviala lösningen. Detta är ju mekaniskt ganska orimligt. Den olineära modellen ger här vettigare resultat. För λ > π 2 (men inte alltför stort) finns det tre jämviktslösningar. En av dessa är naturligtvis u =. Den är instabil. De två andra är utböjda och spegelbilder till varandra. Uppgift 22: Sätt λ = 1 och iterera med begynnelsevärde u = 1 (till exempel). Rita upp varje iteration. Vad sker? Uppgift 23: Automatisera iterationerna. Använd till exempel följande skript: ØØ ÓÖ ½ ½¼¼ Ù Ð Ñ Ö Ò»Ò Ò µ Ù ÔÐÓØ Ü µ Ö ÛÒÓÛ Det går också bra att skriva in detta på en kommandorad. Testa vad som händer för olika λ-värden över och under π 2. Nära gränsen λ = π 2 blir konvergensen mycket långsam (ty kontraktionsfaktorn är nära 1). Öka då antalet iterationer från 1. Vill man få en överblick över vad som händer för olika λ kan det vara tydligare att bara spara t ex maximum av jämviktsutböjningen (eller någon annan norm), och rita upp den som funktion av λ.

9 2 KONTRAHERANDE AVBILDNINGAR 9 Uppgift 24: Följande skript ritar upp maximumvärdet av den stabila jämviktslösningen som funktion av λ: Ð Ñ ÒØ ÖÚ ÐÐ ½ ½ Ö ½ ÓÖ Ð Ñ Ð Ñ ÒØ ÖÚ ÐÐ ØØ ÓÖ ½ ½¼¼¼ Ù Ð Ñ Ö Ò Ò µ»½¼¼ Ù ÒÓÖÑ Ö Öµ ÒÓÖÑ Ù µ Ö Ö ½ ÔÐÓØ Ð Ñ ÒØ ÖÚ ÐÐ ÒÓÖÑ Öµ Kör det och titta på resultatet. Var verkar instabiliteten av nollösningen uppträda? Uppgift 25: Ändra λ-intervallet i skriptet till ett kortare med tätare delningspunkter för att få bättre uppfattning om stabilitetsgränsen. Öka sedan antalet iterationer, om du har en tillräckligt snabb dator. Hur skiljer sig utseendet? Vad kan det bero på? Som överkurs kan man sedan följa de stabila utböjda lösningarna för allt större λ-värden. Här inträder ett nytt fenomen. Uppgift 26: Tag λ ungefär = 25. Kör ett antal iterationer för hand och titta på funktionerna. Vad sker? Det som händer är följande. Det finns för detta λ-värde inte längre någon stabil jämviktslösning. I stället konvergerar iterationerna mot en stabil 2-cykel, vilket innebär att vi har två funktioner u 1 och u 2 sådana att u 2 = T(u 1 ) och u 1 = T(u 2 ), och iterationerna växlar mellan dessa två. Hitta på ett lämpligt sätt att illustrera detta fenomen i ett diagram liknande det du gjort i de två föregående uppgifterna.