Matematiken i Per Nørgårds oändlighetsserie

Slides:



Advertisements
Liknande presentationer
F. Drewes, Inst. f. datavetenskap1 Föreläsning 13: Resolution •Resolution i satslogiken •Resolution i predikatlogiken.
Advertisements

Talföljder formler och summor
Skapa jullåtar i grupp med Garageband
Föreläsning 9 Programmeringsteknik och Matlab 2D1312/2D1305
Interface.  Interface är en datatyp och har alltså egen syntax och en hel del egna regler för vad arv från interface innebär.  Interface är renodlad.
Från mönster till algebra
Meny •Hem: Visar denna sida. Kan användas för allmän info •ProNavigo visar Modellen, mallar, checklistor •Projektlänkar: visar en undermeny med lämpliga.
Matematik med föräldrar
MaB: Ekvationssystem Allmänt
Lära sig läsa, skriva och räkna med datorn som första verktyg.
Skapa jullåtar i grupp med Garageband Fyra tillfällen av skapande för år sju.
1 Begreppssekvens Varför ?. 2 Att beskriva de naturvetenskapliga begrepp som ingår i temat Att definiera den ”röda tråden” i temat Att ge en grund för.
Illustrationer till kursen I endimensionell analys
Mattebanor År 2-3.
Mitt Hus! Jag började med min skiss och bestämde att huset skulle va 20 cm långt 13 cm brett och 10 cm högt tills taket började. Jag följde inte min ritning.
xn + yn = zn Problemlösning Några enkla metoder
Välkommen till kursen i Statistik och geometri!. -Vad är matematik? -Vad är uppdraget? > Förmågor och centralt innehåll i Lgr11 -Varför och hur den här.
1 Logikprogrammering ons 11/9 David Hjelm. 2 Repetition Listor är sammansatta termer. De består av en ordnad mängd element. Elementen i en lista kan vara.
5. Grafiska objekt Redan på övning fem av sex! Här handlar det om att rita själv, färglägga och att låta kreativiteten flöda. Något för dig? Ritverktyg.
En övning i att formulera sig matematiskt
Enhet Politik på människans och naturens villkor
Institutionen för matematik, KTH Mats Boij 5B1118 Diskret matematik 5 november B1118 Diskret matematik Tredje föreläsningen - Kombinatorik.
Institutionen för matematik, KTH Mats Boij 5B1118 Diskret matematik 19 novnember B1118 Diskret matematik Sjunde föreläsningen Grupper.
Veronica Maggio Veronica Maggio.
Logikprogrammering Ons, 25/9
Sällsamma attraktorer - Strange Attrators
Matematisk statistik och genletning
Växjö 21 april -04Språk & logik: Kontextfria grammatiker1 DAB760: Språk och logik 21/4: Kontextfria 10-12grammatiker Leif Grönqvist
Enklare för kunden – förslag som ger förutsättningar för en nordisk slutkundsmarknad.
Hur gör vi tandvården hälsoinriktad? Hur vet vi att vi skapar hälsa hos patienterna? Hans Sandberg.
Musikens grundbegrepp och symboler
Formell logik Kapitel 1 och 2
Klassicismen
Beräkna en ekvation (metod 1)
Metoder för att räkna addition och subtraktion
Matematik A - Introduktion
Felkalkyl Ofta mäter man inte direkt den storhet som är den intressanta, utan en grundläggande variabel som sedan används för att beräkna det som man är.
Att gå från magkänsla till faktabaserad utveckling Stöd för förskolor och skolor som vill ordna analysgrupp Metoden har utvecklats och prövats i Eu-projektet.
Bedömning Strategi 2 Tillfälle 4 1 Att ta fram belägg för elevers prestationer Att åstadkomma effektiva klassrumsdiskussioner, aktiviteter och.
Övning 4 Ritobjekt.
INTRODUKTION Balken kan ha olika tvärsnitt
Dagens ämnen Determinanten Radoperationers påverkan på determinanten
Läsbar prolog CM 8.1. allmäna principer correctness user-friendliness efficiency readability modifiability robustness documentation.
Swedish Welcome Christian Åberg Umeå
Rörelse Kapitel 7.
May the force be with you
1 Akureyri-processen  Uppföljning av Akureryri-rapporten ska ske den 1 mars 2006  De nordiska tillsynsmyndigheterna (NordReg) ombedda att redovisa status.
Nordiska språken del 1 Lgr-11 säger: ”Du ska känna till likheter och skillnader mellan svenska och de andra Nordiska språken”
Kan två räta linjer ge upphov till kaos? Matematikbiennalen 2010 Hans Thunberg, KTH Torsten Lindström, Linnéuniversitetet.
Genetiska Algoritmer En översikt Vetenskapsmetodik - CDT Pablo Santibanez Jara, Ulrika Hjälmgården,
Att inte ha någon egen agenda – aktivt lyssnade
Aborter i Norden 2013 Anna Heino Mika Gissler.
Föreläsning 11 Logik med tillämpningar Innehåll u Generell resolution u Kapitel i Ben-Ari.
Satslogik, forts. DAA701/716 Leif Grönqvist 5:e mars, 2003.
Evolutionen.
Föreläsning 16 Logik med tillämpningar Innehåll u Information kring kursvärdering och tentagenomgång u Genomgång av övningstenta 2.
Logik med tillämpningar
Lennart Edblom, Frank Drewes, Inst. f. datavetenskap 1 Föreläsning 13: Resolution Resolution i satslogiken Resolution i predikatlogiken.
Den gyllene kunskapstriangeln - vacker och spännande matematik
Vacker och spännande matematik
Samband och förändring. Delen i procent Finns två metoder. Antingen räknar man först 1 % (genom att dividera med 100) och multiplicerar till den procenten.
Några nedslag i geometrins historia
Formell logik Kapitel 1 och 2
Filosofisk logik Kapitel 15
Kapitel 2, mattespananrna
Gränsöverskridande infrastrukturplanering - äntligen verkstad?
Y 1.2 Addition och subtraktion av bråk
xn + yn = zn Problemlösning Några enkla metoder
Y 5.3 Kombinatorik Kombinationer
Tunga och långa fordon Johan Ullberg
Presentationens avskrift:

Matematiken i Per Nørgårds oändlighetsserie Matematikbiennalen 2014 Hans Thunberg thunberg@math.kth.se

Per Nørgård Dansk tonsättare , född 1932 En av de ledande i Norden i sin generation Nordiska rådets musikpris 1974 Sibeliuspriset 2006 Stockholms Konserthus tonsättarfestival 2012 Oändlighetsserien en metod att generera melodier - med överflöd på symmetrier och fraktal struktur - med i princip oändlig utsträckning utan exakt upprepning

Konstruktion av en oändlighetsserie - Välj ett tonförråd (”skala”) t ex stamtonerna (”de vita tangenterna”) - Välj två inledande toner Nørgårds algoritm gör resten …..

Nørgårds algoritm + 1 - 1 + 1 - 2 + 2 - 2

+ 3 + 3 - 3 - 1 - 1 + 1 Nørgårds algoritm, forts. Differens efter n steg subtraheras resp. adderas efter 2n steg

+ 13 + 13 - 13

Enkel formel – Rika egenskaper Nya lägsta och högsta toner efter 2 𝑛 steg Innehåller oändligt många transponerade kopior av sig själv i långsammare tempo Innehåller oändligt många spegelvända (”upp-och-nervända”) transponerade kopior av sig själv Har fraktal struktur

Nya lägsta och högsta toner efter 2 𝑛 steg:

Var fjärde ton ger tillbaks den ursprungliga melodin

Var annan ton med start från andra tonen ger melodin transponerad + 1 - 2 + 3 - 1 - 1 - 2 + 5 - 3 + 1 + 2 - 5 - 1 + 2 + 1 Var annan ton ger melodin spegelvänd (”upp-och-ner”)

Var 8:e ton med start från den sjunde ger en transponerad spegelbild Var 8:e ton med start från den åttonde ger ett transponat osv

Klipp-och-Klistra Egenskapen

?

Modell: Nørgårdföljder 𝐴= 𝑎 0 , 𝑎 1 , 𝑎 2 , … Talföljd { 𝑎 0 , 𝑎 1 , 𝑎 2 , 𝑎 3 , … } Välj två inledande toner Välj begynnelsevärden 𝑎 0 och 𝑎 1 𝑎 𝑘 för 𝑘≥2 ges av 𝑎 2𝑛 = 𝑎 2𝑛−2 − 𝑑 𝑛 𝑎 2𝑛+1 = 𝑎 2𝑛−1 + 𝑑 𝑛 där 𝑑 𝑛 = 𝑎 𝑛 − 𝑎 𝑛−1 Differens efter n steg subtraheras och adderas efter 2n steg

Exempel 𝑎 2𝑛 = 𝑎 2𝑛−2 − 𝑑 𝑛 𝑎 2𝑛+1 = 𝑎 2𝑛−1 + 𝑑 𝑛 Välj t ex 𝑎 0 =1, 𝑎 1 =3 där 𝑑 𝑛 = 𝑎 𝑛 − 𝑎 𝑛−1 𝑎 2 = 𝑎 0 − 𝑑 1 =1−2=−1 𝑎 3 = 𝑎 1 + 𝑑 1 =3+2=5 𝑑 1 = 𝑎 1 − 𝑎 0 =3 −1=2 𝑎 4 = 𝑎 2 − 𝑑 2 =−1+4=3 𝑎 5 = 𝑎 3 + 𝑑 2 =5−4=1 𝑑 2 = 𝑎 2 − 𝑎 1 =−1 −3=−4 𝑎 6 = 𝑎 4 − 𝑑 3 =3−6=−3 𝑎 7 = 𝑎 5 + 𝑑 3 =1+6=7 𝑑 3 = 𝑎 3 − 𝑎 2 =5+1=6 𝑎 8 = 𝑎 6 − 𝑑 4 =−3+2=−1 𝑎 9 = 𝑎 7 + 𝑑 4 =7−2=5 𝑑 4 = 𝑎 4 − 𝑎 3 =3−5=−2 osv …

Om 𝐴= 𝑎 0 , 𝑎 1 , 𝑎 2 , … är en Nørgårdföljd gäller Sats 1. Succesiva min infaller på positioner 2 𝑛 −2 Succesiva max infaller på positioner 2 𝑛 −1 Dessa avtar/ökar aritmetiskt med 𝑑 1 Sats 2. Den delföljd som börjar på position 2 𝑛 −2 och består av element på avstånd 2 𝑛 är en translaterad spegelbild av 𝐴. Den delföljd som börjar på position 2 𝑛 −1 och består av element på avstånd 2 𝑛 är ett translat av 𝐴. Sats 3. Om de 2 𝑛 första elementen i 𝐴 har bestämts, kan ytterligare 2 𝑛 element bestämmas med klipp-och-klistra algoritmen.

Modelltest 𝑎 0 =1, 𝑎 1 =3 ger 1, 3, -1, 5, 3, 1, -3, 7, -1, 5, 1, 3, 5, -1, -5, 9, 3, 1, -3, 7, 1, 3, -1, 5, -3, 7, 3, 1, 7, -3, -7, 11, … Succesiva min och max: 1, 3, -1, 5, 3, 1, -3, 7, -1, 5, 1, 3, 5, -1, -5, 9, 3, 1, -3, 7, 1, 3, -1, 5, -3, 7, 3, 1, 7, -3, -7, 11, … Translat och translaterade speglingar: 1, 3, -1, 5, 3, 1, -3, 7, 1, -1, 3, -3, -1, 1, 5 -5, 3 -3, 1, -1, -3, 3, 7, -7, … 3, 5, 1, 7, 5, 3, -1, 9, 1, 7, 3, 5, 7, 1, -3, 11, … 5, 7, 3, 9, 7, 5, 1, … -3, -5, -1, -7, … Klipp-och-klistra: 1, 3, -1, 5, 3, 1, -3, 7, -1, 5, 1, 3, 5, -1, -5, 9, 3, 1, -3, 7, 1, 3, -1, 5, -3, 7 3, 1, 7, -3, -7, 11, …

Börja med specialfall (det enklaste!) 𝑁= 𝑐 0 , 𝑐 1 , 𝑐 2 , … , 𝑐 0 =0, 𝑐 1 =1 𝑐 2 = 𝑐 0 − 𝑑 1 =− 𝑐 1 =−1 𝑐 3 = 𝑐 1 + 𝑑 1 = 2𝑐 1 =2 𝑑 1 = 𝑐 1 − 𝑐 0 = 𝑐 1 𝑐 4 = 𝑐 2 − 𝑑 2 =− 𝑐 1 +2 𝑐 1 = 𝑐 1 =1 𝑐 5 = 𝑐 3 + 𝑑 2 =2 𝑐 1 −2 𝑐 1 =0 𝑑 2 = 𝑐 2 − 𝑐 1 =− 𝑐 1 − 𝑐 1 =−2 𝑐 1 𝑐 6 = 𝑐 4 − 𝑑 3 = 𝑐 1 −3 𝑐 1 =−2 𝑐 1 =−2 𝑐 7 = 𝑐 5 + 𝑑 3 =0 𝑐 1 +3 𝑐 1 =3 𝑐 1 =3 𝑑 3 = 𝑐 3 − 𝑐 2 =2 𝑐 1 + 𝑐 1 =3 𝑐 1 𝑐 8 = 𝑐 6 − 𝑑 4 =−2 𝑐 1 + 𝑐 1 =− 𝑐 1 =−1 𝑐 9 = 𝑐 7 + 𝑑 4 =3 𝑐 1 − 𝑐 1 =2 𝑐 1 =2 𝑑 4 = 𝑐 4 − 𝑐 3 = 𝑐 1 −2 𝑐 1 =− 𝑐 1 osv …

𝑁= 𝑐 0 , 𝑐 1 , 𝑐 2 , … , 𝑐 0 =0, 𝑐 1 =1 Påstående 1: 𝑐 2𝑛 =− 𝑐 𝑛 𝑁= 𝑐 0 , 𝑐 1 , 𝑐 2 , … , 𝑐 0 =0, 𝑐 1 =1 𝑛 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 𝑐 𝑛 -1 -2 -3 Påstående 1: 𝑐 2𝑛 =− 𝑐 𝑛 Påstående 2: 𝑐 2𝑛+1 = 𝑐 𝑛 +1 Bevis: 𝑐 2 =−1= −𝑐 1 , 𝑐 3 =2= 𝑐 1 +1. Om Påstående 1 är sant för 0<𝑘<𝑛 fås 𝑐 2𝑛 = 𝑐 2𝑛−2 − 𝑐 𝑛 − 𝑐 𝑛−1 = 𝑐 𝑛−1 − 𝑐 𝑛 + 𝑐 𝑛−1 =− 𝑐 𝑛 . Påstående 2 bevisa på motsvarande sätt.

En ekvivalent men enklare modell … 𝑐 0 =0, 𝑐 1 =1 𝑐 2𝑛 = 𝑐 2𝑛−2 − 𝑑 𝑛 𝑐 2𝑛+1 = 𝑐 2𝑛−1 + 𝑑 𝑛 , 𝑑 𝑛 = 𝑐 𝑛 − 𝑐 𝑛−1 𝑐 0 =0, 𝑐 1 =1 𝑐 2𝑛 = −𝑐 𝑛 𝑐 2𝑛+1 = 𝑐 𝑛 +1

𝑐 0 =0, 𝑐 1 =1, 𝑐 2𝑛 =− 𝑐 𝑛 , 𝑐 2𝑛+1 = 𝑐 𝑛 +1

Sats 1. Succesiva min infaller på positioner 2 𝑛 −2 Succesiva max infaller på positioner 2 𝑛 −1 Dessa avtar/ökar aritmetiskt med 𝑑 1 Bevis:

Induktion i det stora trädet … Sats 3. Om de 2 𝑛 första elementen i 𝐴 har bestämts, kan ytterligare 2 𝑛 element bestämmas med klipp-och-klistra algoritmen. Bevis Induktion i det stora trädet …

Bevis sats 3, steg I: Nästan alla likheter ärvs från raden ovanför

Bevis sats 3, steg II: Bevis av likhet vid två nya positioner - trädklättring

Sats 2. (i) Den delföljd som börjar på position 2 𝑛 −2 och består av element på avstånd 2 𝑛 är en translaterad spegelbild av 𝐴. (ii) Den delföljd som börjar på position 2 𝑛 −1 och består av element på avstånd 2 𝑛 är ett translat av 𝐴. Bevis: Induktivt bevis genom att använda rekursionsformlerna. Observera att för 𝑛=1 följer (i) ur 𝑐 2𝑛 =− 𝑐 𝑛 , vilket också direkt ger att 𝑐 4𝑛 = 𝑐 𝑛 𝑛 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 𝑐 𝑛 -1 -2 -3

Generalisera till det generella fallet Om 𝑁= 𝑐 0 , 𝑐 1 , 𝑐 2 , … är den Nørgårdföljd som ges av 𝑐 0 =0, 𝑐 1 =1 och 𝐴= 𝑎 0 , 𝑎 1 , 𝑎 2 , … är en godtycklig Nørgårdföljd gäller att 𝑎 𝑛 = 𝑎 0 + 𝑐 𝑛 ( 𝑎 1 − 𝑎 0 ). (följer av att rekursionsekvationerna är linjära) Sats 1 - 3 gäller därmed för varje Nørgårdföljd.

Thue-Morse följden Om istället 𝑎 2𝑛 = 𝑎 2𝑛−2 + 𝑑 𝑛 𝑎 2𝑛+1 = 𝑎 2𝑛−1 − 𝑑 𝑛 där 𝑑 𝑛 = 𝑎 𝑛 − 𝑎 𝑛−1 fås med 𝑎 0 =0, 𝑎 1 =1 den s k Thue-Morse följden 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 ….. A B B A B A … 0 1 1 0 0 1 1 0 0 1 1 0 …

Tack för er uppmärksamhet!