Datorövningar i funktionalanalys och harmonisk analys

Transkript

1 Datorövningar i funktionalanalys och harmonisk analys Sven Spanne 28 september 21 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 p = 1, 2 och, med hjälp av Matlab. För enkelhetens 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 1

2 # I Matlab representerar vi funktionerna f med vektorer, erhållna genom sampling. Kommandot *, *!, ger värdet av en vektor med ekvidistanta element 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 $. Uppgift1: I skriptet # # som ser ut så här # # "! # $$#$ #" #!#& # " & %& # " # #&! $ & ( % "% & ( * *! * *, *,,-! $ (#./ #,*1 2,,3" (# 4 #&! & 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. Uppgift2: Läs skriptet 5& #& $ & $ 6 % %& #& ( ($# & ( 2 &% #&! $& ( & & %&!% & # $# 87#"9,:;<= =.(( # # #" ( (,!,A 1?, -!! % CB, -D

3 # # # $?,! $# &5! $ # # $ (& $! (& #$./, $,, $&$#! (&,, $& - # $ $! # #& $ $,! ( #& # (! "# ( %& % -D (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. Uppgift3: Olikheten f g ε kan också skrivas eller ekvivalent ε f (x g(x ε för alla x f (x ε g(x f (x ε för alla x. Tolka denna olikhet geometriskt och rita upp motsvarande figur med kommandot & (#! 2! #& 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. Uppgift4: 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 sedan även upp gränser i maximumnormen, med 6 $ 6 2 # / 2 2 #"!$& 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. Uppgift5: Definiera funktioner genom #. / B&*, 2 B*,, 5 5($3(*1 $ & #$./,

4 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? Uppgift6: 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: $ $ # 6 $ $ #", 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. Uppgift7: Beteckningen kanske förbryllar någon. Vi skall nu motivera den experimentellt. Beräkna för funktionerna 15 $ 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. Om intervallängden inte är 1 så måste man dock kompensera för denna på ett lämpligt ställe. Uppgift8: Det Matlab arbetar med är ju 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. 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 f (x f (y r x y, r < 1 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

5 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: *,,-! $ (#./ ( - &&, - # 2 &,& # 2, >2 & &, && 2,,. Variablerna och & representeras med matriser, resp && som varierar längs rader respektive kolonner. Uppgift9: 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 &&. Uppgift1: 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. #, $&&. Uppgift11: Skriv ett skript # %& som givet en funktionsvektor beräknar den diskreta motsvarigheten till differenskvoten q f. Gör beräkningen genom $ ( - && - & # % && 2 2 && 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 intervall I, så konvergerar iterationen x n1 = f (x n mot den entydigt bestämda fixpunkten. Uppgift12: 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 *6 */,-, * * $, 5($, / $

6 Uppgift13: Funktionen f (x = cos x ä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 = cosx. Uppgift14: 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 med egenskapen Ax 1 x 1 för alla x i R n 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 för exakta formler i dessa fall. Uppgift15: 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? Uppgift16: 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 dess normer? Vilken slutsats kan dras om konvergens av iterationen x n1 = f (x n? Testa iterationen numeriskt i Matlab. Uppgift17: 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. ]

7 Vi skall syssla med olineära differentialekvationsproblem. 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 (ydy 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. Den olineära ekvationen u = F(u kan alltså överföras i den olineära integralekvationen u(x = k(x, yf(u(y dy. Detta är en form som kan lämpa sig för numerisk iteration. Vi ser nu först på det lineära problemet. Uppgift18: Skriv ett Matlabskript som beräknar en approximation till integraloperatorn T f (x = k(x,y f (ydy. Representera funktioner med (kolonnvektorer som tidigare och k(x, y med en matris, som med tidigare beteckningar erhålls i Matlab med #, 2 &&, && 2D,, 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. Uppgift19: 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. Jag avbryter nu Matlab med lite teori. Vi kan nu försöka lösa randvärdesproblemet u = λu f (x, u( = u(1 =

8 på följande sätt. Skriv om den som u = T (λu T f = λtu T f och iterera. Detta fungerar garanterat om operatorn ä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 = har lösning u är ju detsamma som att motsvarande differentialoperator har ett egenvärde λ. Vi ser alltså att det minsta egenvärdet är 1/ T. Men just för detta problem är ju minsta egenvärdet = π 2. Vilken numerisk olikhet för π 2 ger våra räkningar? Uppgift2: 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. Den 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 så är integraloperatorn på höger sida kontraherande om λ k < 1. Vi vet t ex att k 1 = 1/8. Uppgift21: 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 trycket, och lösningarna u betyder möjliga jämviktslägen. I det lineära fallet har integralekvationen u(x = λ k(x, yu(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 en lösning. Detta är ju mekaniskt ganska orimligt. Den olineära modellen

9 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. Uppgift22: Sätt λ = 1 och iterera med begynnelsevärde u = 1 (till exempel. Rita upp varje iteration. Vad sker? Uppgift23: Automatisera iterationerna. Använd till exempel följande skript: 6,-, * * " $ # $ 6 &( $ 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 λ. Uppgift24: Följande skript ritar upp maximumvärdet av den stabila jämviktslösningen som funktion av λ: "$ $# %,,, "$ $$# %(,-, * * * " $ #,"* *6 $ $, $ "$ $# $ # % Kör det och titta på resultatet. Var verkar instabiliteten av nollösningen uppträda? Uppgift25: Ä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.

10 Uppgift26: 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.