5. Några viktiga summations- och integrationsformler.

Relevanta dokument
4. Några viktiga summations- och integrationsformler.

7. Sampling och rekonstruktion av signaler

Lösningar till tentamen i Transformmetoder okt 2007

Instuderingsfrågor i Funktionsteori

Fourierserier: att bryta ner periodiska förlopp

Kontinuitet och gränsvärden

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

5B1134 Matematik och modeller

Euler-Mac Laurins summationsformel och Bernoulliska polynom

SF1635, Signaler och system I

Anteckningar för kursen "Analys i en Variabel"

Lösningsförslag till tentan i 5B1115 Matematik 1 för B, BIO, E, IT, K, M, ME, Media och T,

5B1134 Matematik och modeller Lösningsförslag till tentamen den 11 oktober 2004

Kap Inversfunktion, arcusfunktioner.

SF1635, Signaler och system I

Transformer och differentialekvationer (MVE100)

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

Teori... SME118 - Mätteknik & Signalbehandling SME118. Johan Carlson 2. Teori... Dagens meny

P03. (A) Visa, att om en aritmetisk serie med differensen d har a som första och b som sista term, så är seriens summa b + a 2.

6. Tidskontinuerliga fouriertransformen

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

Kryssproblem (redovisningsuppgifter).

Om konvergens av serier

Signal- och Bildbehandling FÖRELÄSNING 4. Multiplikationsteoremet. Derivatateoremet

Spektrala Transformer

Liten formelsamling Speciella funktioner. Faltning. Institutionen för matematik KTH För Kursen 5B1209/5B1215:2. Språngfunktionen (Heavisides funktion)

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

5B1147. Envariabelanalys. MATLAB Laboration. Laboration 1. Gränsvärden och Summor

Laplace, Fourier och resten varför alla dessa transformer?

Signal- och bildbehandling TSBB03

Explorativ övning 7 KOMPLEXA TAL

Exempelsamling Grundläggande systemmodeller. Klas Nordberg Computer Vision Laboratory Department of Electrical Engineering Linköping University

SF1626 Flervariabelanalys

Exempelsamling Grundläggande systemmodeller. Klas Nordberg Computer Vision Laboratory Department of Electrical Engineering Linköping University

Uppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna 15-18, 30/11-12/

Signaler några grundbegrepp

Kompletterande räkneuppgifter i Spektrala Transformer Komplex analys, sampling, kvantisering, serier och filter Laura Enflo & Giampiero Salvi

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

Mer om Fourierserier. Fouriertransform LCB vt 2012

5B1134 Matematik och modeller Lösningsförslag till tentamen den 29 augusti 2005

Modul 1: Funktioner, Gränsvärde, Kontinuitet

FOURIERANALYS En kort introduktion

Modul 1: Funktioner, Gränsvärde, Kontinuitet

gränsvärde existerar, vilket förefaller vara en naturlig definition (jämför med de generaliserade integralerna). I exemplet ovan ser vi att 3 = 3 n n

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,

Tentamen ssy080 Transformer, Signaler och System, D3

2 Ortogonala signaler. Fourierserier. Enkla filter.

i(t) C i(t) = dq(t) dt = C dy(t) dt y(t) + (4)

LMA515 Matematik, del B Sammanställning av lärmål

+ 5a 16b b 5 då a = 1 2 och b = 1 3. n = 0 där n = 1, 2, 3,. 2 + ( 1)n n

Approximation av funktioner

TATA42: Föreläsning 5 Serier ( generaliserade summor )

Tentamensuppgifter, Matematik 1 α

Uppföljning av diagnostiskt prov Repetition av kursmoment i TNA001-Matematisk grundkurs.

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

ÖVN 6 - DIFFERENTIALEKVATIONER OCH TRANSFORMMETODER - SF Nyckelord och innehåll. a n (x x 0 ) n.

Tentamen i Envariabelanalys 2

Tentamen i TMA 982 Linjära System och Transformer VV-salar, 27 aug 2013, kl

Tisdag v. 2. Speglingar, translationer och skalningar

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning

Serier. egentligen är ett gränsvärde, inte en summa: s n, där s n =

Institutionen för Matematik, KTH Lösningar till tentamen i Analys i en variabel för I och K (SF1644) 1/ e x h. (sin x) 2 1 cos x.

Tillämpad Fysik Och Elektronik 1

Rita även grafen till Fourierserien på intervallet [ 2π, 4π]. (5) 1 + cos(2t),

M0038M Differentialkalkyl, Lekt 17, H15

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

TMV225 Kapitel 3. Övning 3.1

Attila Szabo Niclas Larson Gunilla Viklund Mikael Marklund Daniel Dufåker. GeoGebraexempel

Övningshäfte 2: Komplexa tal

SF1625 Envariabelanalys

Signal- och bildbehandling TSBB14

Tentamen, Matematik påbyggnadskurs, 5B1304 fredag 20/ kl

Matematik D (MA1204)

SF1661 Perspektiv på matematik Tentamen 24 oktober 2013 kl Svar och lösningsförslag. z 11. w 3. Lösning. De Moivres formel ger att

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Signal- och bildbehandling TSEA70

Signal- och bildbehandling TSBB03

Tentamen, SF1629, Differentialekvationer och Transformer II (del 2) 11 april 2017 kl. 8:00-13:00

SF1661 Perspektiv på matematik Tentamen 20 oktober 2011 kl Svar och lösningsförslag

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

Signal- och bildbehandling TSEA70

Kapitel 3 Diskreta slumpvariabler och deras sannolikhetsfördelningar

= e 2x. Integrering ger ye 2x = e 2x /2 + C, vilket kan skrivas y = 1/2 + Ce 2x. Här är C en godtycklig konstant.

Modul 1 Mål och Sammanfattning

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Komplexa tal: Begrepp och definitioner

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

Några viktiga satser om deriverbara funktioner.

Innehåll 1. Kapitel 6: Separation of Variables 1

e x x + lnx 5x 3 4e x (0.4) x 0 e 2x 1 a) lim (0.3) b) lim ( 1 ) k. (0.3) c) lim 2. a) Lös ekvationen e x = 0.

6 Derivata och grafer

BEGREPPSMÄSSIGA PROBLEM

Transformer och differentialekvationer (MVE100)

Patologiska funktioner. (Funktioner som på något vis inte beter sig väl)

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

TATM79: Föreläsning 7 Komplexa exponentialfunktionen och binomiska ekvationer

Lösningsförslag till TATA42-tentan

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Signal- och bildbehandling TSBB03

Transkript:

Institutionen för matematik, KTH 050928 Arbetsmaterial 4 för 5B209/25:2/HT05/E.P. 5. Några viktiga summations- och integrationsformler. Först en repetition: 5. Geometriska serier För godtyckliga komplexa tal a och k gäller a + ak + ak 2 + + ak n n termer = s = k n a k, om k, a n, om k =. Bevis: Om a + ak + ak 2 + + ak n = s, så är ak + ak 2 + + ak n + ak n = ks, varav efter subtraktion, a( k n ) = ( k)s a kn k, (om k ). Om k =, så är s summan av n st tal a, d.v.s. = na. (5.) Övningar: 5. Summera a. 3 + 2 9 + 4 27 + 8 8 + + 299 3 00, b. 3 2 9 + 4 27 8 8 + 2 99 3 00. 5.2 I sambandet + k + k2 + k 3 + + k n k + k 2 k 3 + kn = 2 är n ett udda heltal. Bestäm k. 5.3 Verifiera att summan e Mt + e (M )t + + e t + + e t + + e (M )t + e Mt för t 0 kan skrivas där P är antalet termer i summan. e Pt/2 e Pt/2 e t/2 e t/2 = sinh Pt/2 sinh t/2, 5.4 Summan (5.) ovan är tydligen en polynom i variabeln k och måste därför vara kontinuerlig. Speciellt måste summans värde för k = vara = lim a kn k k, Verifiera detta genom att direkt beräkna gränsvärdet t.ex. med hjälp av l'hospitals regel. 5.5 Vilket värde har lim t 0 sinh Pt/2 sinh t/2? De komplexa exponentialfunktionerna av typen e jωt, där ω och t är reella, tilldrar sig ett speciellt intresse inom signalteorin. Vi skall i de följande avsnitten titta närmare på vissa enkla summor och integraler av sådana funktioner. Det visar sig nämligen att det finns oväntade samband mellan sådana summor och δ-pulserna. Sambanden är hörnstenar inom fourieranalysen.

5.2 Summation av harmoniska vågor (e jω t -funktioner), pulståg 5.2. Först en kommentar till vissa variabelval: Värdet av funktionen e jω t, där ω t är reellt, är som vi vet ett komplext tal med belopp och med argumentvinkeln ω t mätt i radianer. Om t har tidsdimension så kan man åskådliggöra funktionen som en rörlig pekare fäst i origo i planet. Pekaren snurrar med en vinkelhastighet på ω radianer/sek moturs om ω > 0. Att man oftast valt just radianmåttet som vinkelmått beror bl.a. på att deriveringsformlerna för den komplexa exponentialfunktionen (och därmed sinus- och cosinusfunktionerna) blir speciellt enkla. Exempelvis är som bekant d dv sin v = cos v, om v mäts i radianer, medan d π dv sin v = 80 cos v, om v mäts i grader. Trots att radianmåttet verkar vara bäst i matematiska sammanhang kan det i vissa fall ändå vara fördelaktigt att välja ett annat vinkelmått. Ett naturligt sådant är att ta ett varv som enhet. Ett varv motsvarar då 2π radianer respektive 360. En pekare som roterar f varv/sek (dvs. med frekvensen f Herz) har då en vinkelhastighet på 2π f radianer/sek. Vi har alltså ω = 2πf. I allmänhet kommer vi i fortsättningen använda oss av varv-variabeln f. Upprepningsvis: Funktionen e 2πjft uttrycker en pekare med längden, som roterar med f varv/sek (= f Hz). 5.2.2 Summation av harmoniska funktioner n = M M Vi tittar nu närmare på summor, e 2πjnft, av heltalspotenser av e 2πjft -funktioner. I det komplexa talplanet utgör termerna i summan ett udda antal (P = 2M + st) enhetspilar, spegelsymmetriskt placerade kring reella axeln och för jämnt fördelade över en sektor av enhetscirkeln. Några exempel finns i figurerna nedan. För att hyfsa formlerna litet har vi satt 2πft = α. eiα eimα eimα α α eiα eimα e imα eiα α e imα Summan α = 2π/5 = 72 M = 2, P = 5 e imα α = π/9 = 20 M = 5, P = α = π/8 = 0 M = 6, P = 33 M S P (α) = e jnα = e jmα + e j(m )α + + e jα + + e jα + + e j(m )α + e jmα n = M är en geometrisk serie med kvot e jα, första term e jmα och med P stycken termer, där P = 2M +. För e jα får man därför summan S P (α) = e jmα ej(2m +)α e jα e = jpα/2 e jpα/2 e jα/2 e jα/2 = = e jmα ej(2m+)α/2 e jα/2 sin P α/2 sin α/2. ej(2m +)α/2 e j(2m +)α/2 e jα/2 e jα/2 = 2

För e jα =, dvs. när α = 2π heltal, är summan istället = P. Notera att termerna i summan alla är 2πperiodiska i variabeln α, detsamma gäller då förstås också summan. Väljer man i stället andelen av varvet som vinkelmått, dvs. sätter α = 2πβ, så får man istället den -periodiska summan: S P (2πβ) = sin πp β sin πβ utom när β = heltal, då summan = P. Summan är tydligen alltid reell och som funktion av α (respektive β) har dess graf principutseendet: P -4π -2π -2-2 β Funktionen är periodisk med periodlängd, och dess 0-ställen i intervallet 0 < α < 2π (0 < β < ) är α = 2π/P, 4π/P,, 2π(P )/P (β = /P, 2/P,, (P )/P ) ( Man kan visa att b S P (2πβ) dβ, om intervallet a < β < b innehåller precis en heltalspunkt, då P. 0, om intervallet a< β < b inte innehåller någon heltalspunkt, a Funktionen kommer alltså för stora P att approximativt motsvara enhetspulser vid punkterna β = heltal. Funktionen representerar ett så kallat pulståg enhetspulståget. 2π 4π α 2 δ (β n) n = 2 β Vi har alltså det mycket anmärkningsvärda sambandet: e 2πjnβ = δ(β n) (5.2) n = n = I figuren är P =. 3

Övning: 5.6 Skala (5.2) genom att sätta β = t/t (t variabel, T konstant > 0). Utnyttja sambandet (4.6) för att verifiera att och speciellt e 2πjnt /T = T δ(t nt) (T-periodiska fallet) (5.2 ) n = n = e jnt = 2π δ(t 2πn) (2π-periodiska fallet) (5.2 ) n = n = Sambanden (5.2) (5.2 ) är alltså likheter mellan generaliserade funktioner och är med den klassiska analysens synsätt meningslösheter. Exempelvis är vänsterleden divergenta serier 2 som saknar (klassisk) summa! Inte desto mindre kan man använda sambanden för att förhållandevis lätt härleda klassiska resultat som är mycket svåra att få fram med andra metoder. Exempel 5. Om man t.ex. multiplicerar ekvationen (5.2 ) med en funktion x(t) som är kontinuerlig åtminstone i punkterna 2πn, n = 0, ±, ±2, ±3,, får man n = x(t) e jnt = 2π n = x(t)δ(t 2πn) = 2π x(2πn)δ(t 2πn) (5.3) n = och sedan integrerar leden över hela reella axeln, så får man en mycket generell summationsformel : n = x(t) e jnt dt = 2π n = x(t)δ(t 2πn) dt = 2π x(2πn) (54) n = Integralen i vänsterledet känner vi igen 3 som fouriertransformen av x(t), X(ω) = x(t) e jω t dt, i heltalspunkterna ω = n, n = 0, ±, ±2,, varför (5.4) kan skrivas n = X(n) = 2π x(2πn). (4 (5.4 ) n = Anmärkning: Detta samband är (en variant) av den s.k. Poissonska summationsformeln. För att den skall vara giltig i klassisk mening måste funktionen x(t) ha en del snällhetsegenskaper (krav på konvergens av inblandade summor och integraler t.ex.). Vi går dock inte in på detta närmare här. Litet slarvigt kan man säga att den i praktiskt förekommande fall stämmer om de båda leden är meningsfulla från klassisk synpunkt. För att se vad sambandet (5.4 ) innebär i något speciellt fall, låt oss ta om t < /2, x(t) = rect (t) = 0, om t > /2, Fouriertransformen till denna funktion beräknades i exempel.2 och den är 2 De successiva termerna i en serie som är konvergent i klassisk mening måste 0. Termerna i summan i vänster led har alla beloppet, så den serien kan inte vara konvergent. 3 Analysekvationen (.8) i kapitel. 4 Obs att X( n) = X(n). Summation av samma termer, men i omvänd ordning. n = n = 4

Övningar: X(ω) = sin ω/2 ω/2, då ω 0 och, då ω = 0. Eftersom rect (2πn) = 0 för alla heltal n 0 och = för n = 0, så får man sin n/2 n/2 n = + + sin n/2 n/2 n = vilket, eftersom de båda serierna i vänster led är lika, ger att sin n/2 n/2 n = = π 2. = 2π, 5.7 Vilket samband får man om x(t) sätts till e t i (5.4 )? För fouriertransforming av x(t) se övning.7b d. om t < a, 5.8 a. Verifiera att fouriertransformen till x(t) = 0, om t > a, b. Genom välja x(t) som i uppgift a, visa att sin an n n = a > 0, är X(ω) = 2 sin aω ω. = (π a)/2, för 0 < a < 2π, (3π a)/2, för 2π < a < 4π. c. Vilket är värdet av summan sin an n, då 2Nπ < a < 2(N + )π, N heltal? n = 5.9 Bestäm den reella fourierserien till den 2-periodiska funktion g(a) som i intervallet 0 < a < 2 ges av g(a) = a 2. Ledning: Man kan förstås använda integralformlerna för beräkning av seriens koefficienter, men man kan också avläsa svaret från resultatet i uppgift 5.8b. 5.3 Regelbunden sampling multiplikation med pulståg Inkommande kontinuerligt definierade signaler x(t) kan i allmänhet inte avläsas vid alla tidpunkter. Något mer realistiskt är att de avläses vid tidpunkter t = nt, n = 0, ±, ±2, : Man säger då att man samplar signalen (regelbundet) med sampelavståndet T. Sampelvärdena ges då av den oändliga talföljden x[n] = x(nt), n = 0, ±, ±2, Anmärkningsvärt nog kan motsvarande analytiska procedur koncist uttryckas med hjälp av pulstågs- funktionen, δ(t nt). Den samplade signalen svarar nämligen mot pulståget: n = x(nt) δ(t nt) = x(t) δ(t nt) = x(t) δ(t nt) n = n = n = 5

x(t) 2T T T 2T t x(nt) δ(t nt) = x(t) δ(t nt) n = n = Sampling med samplingsavståndet T av en kontinuerlig signal svarar mot att signalen multipliceras med pulståget δ(t nt). n = Övningar 5.0 Låt x(t) = cos t. Skriv upp analytiska uttryck för sampelfunktionerna för sampelavstånden T = π/2 respektive π. Vilka är följderna av sampelvärden i de båda fallen? 5. Låt x T (t) vara samplingen av signalen x(t) med sampelavståndet T. a. Beräkna I T = x T (t) dt. b. Vad bör gränsvärdet lim T I T rimligtvis ha för värde? T 0+ (Rita figur, se efter vad T x(nt) betyder geometriskt.) 5.4 Periodisk fortsättning faltning med pulståg Det visar sig att också operationen att bilda den L-periodiska fortsättningen till en signal har att gö- ra med pulståget δ(t nl). Låt nämligen x(t) vara den L-periodiska fortsättningen av y(t): n = x(t) = y(t nl) n = 6

y(t + 3L) y(t + 2L) y(t + L) y(t) y(t L) y(t 2L) y(t 3L) x(t) Observera att y(t nl) = x(t) = n = där L (t) är pulståget 3L 2L L L 2L y(τ)δ(t τ nl) dτ = n = y(τ)δ(t τ nl) dτ, varför δ(t nl) Integralen i höger led i (5.6) är tydligen en faltning 3L y(τ) δ(t τ nl) dτ = n = y(τ) L (t τ ) dτ = y(t) * L (t ) t y(τ) L (t τ ) dτ. (5.6) dvs. x(t) = y(t) * δ(t nl) (5.7) n = Sammanfattningsvis: L-periodisk fortsättning av en signal svarar mot att signalen faltas med pulståget δ(t nl). n = Övning 5.2 Förenkla sin t rect t 2π * δ(t 2nπ). (Rita figur!) n = 5.3 Beräkna y 3π 4 då y(t) = sin t rect t π * δ(t nπ). (Rita figur!) n = 7

6. Fourierserier och fourierutveckling 6. Syntes- och analysekvationerna för fourierserier I det här avsnittet skall vi se att formelparet (.3 ) och (,4 ) för den komplexa fourierserieutvecklingen av L-periodiska funktioner, x(t) = c n e jnt/l, n= c n = L/2 L x(τ) e jnτ/l dτ. L/2 är en konsekvens av summationsformeln (5.2): e 2πjnt = δ(t n), n = n = Låt x(t) för enkelhets skull vara en -periodisk funktion. Funktionen x (t) = x(t) rect (t) beskriver då x:s värden i intervallet /2 < t < /2 och x(t) är den -periodiska fortsättningen av x (t). x (t) x(t) n = /2 /2 d.v.s. x(t) = x (t) * δ(t n) = x (τ) δ((t τ ) n) dτ, Summationsformeln x(t) = n = n = e 2πjnt = δ(t n) gör det nu möjligt att skriva om uttrycket för x(t): n = x (τ) e 2πjn ( t τ) dτ = n = n = x (τ) e2πjn ( t τ) dτ. Här är e 2πjn ( t τ) = e 2πjnt e 2πjn τ, där den första faktorn tydligen är oberoende av integrationsvariabeln τ, alltså x(t) = n = x (τ) e 2πjn τ dτ e 2πjnt. Men x (τ ) = 0 utanför intervallet /2 τ < /2 och = x(τ) inom det intervallet, varför /2 vilket ger x (τ) e 2πjn τ dτ = /2 x(τ) e 2πjn τ dτ, t 8

x(t) = där c n = cn e 2πjnt, n = /2 /2 x(τ) e 2πjn τ dτ. På så sätt återfår vi också för periodiska funktioner med godtycklig period L sambanden (,3 ) och (.4 ): x(t) = där c n = L cn e 2πjnt /L, (6.) n = L/2 L/2 x(τ) e 2πjn τ/l dτ. (6.2) Processen, att gå från en periodisk funktion till dess spektrum, är en transformation (eller transform), ). Om man vill framhäva detta kan man skriva analysekva- den så kallade fourierserietransformen ( tionen som: x(t) c n = L L/2 x(τ) e 2πjn τ/l dτ, n = 0, ±, ±2, L/2 Syntesekvationen, som ju omvänt anger vilken periodisk funktion som har spektret c n, kan skrivas på motsvarande sätt: c n x(t) = cn e 2πjnt /L. n = Exempel 6.: För x(t) = δ(t), /2 t < /2 får man fourierkoefficienterna /2 c n = /2 Den -periodiska fortsättningen av δ(t) är pulståget d.v.s. vi återfår sambandet (5.2) ovan. Funktionen n = δ(τ) e 2πjn τ dτ =. n = δ(t n) = e 2πjnt, n = δ(t n), varför syntesekvationen ger och dess fourierkoefficienter δ(t n) n = a n 3 2 2 t 3 2 2 n 9

Övning : 6.a. Bestäm fourierkoefficienterna till de -periodiska funktionerna sin 2πt och cos 2πt. b. Bestäm fourierkofficienterna till den L-periodiska fortsättningen till Lδ(t). Vilken blir syntesekvationen i detta fall? 6.2 Vilken är fourierserieutvecklingen y(t) av den 3-periodiska funktion för vilken y(t) = då 0 < t <, 0, då < t < 3. Om x(t) redan är en L-periodisk funktion, så är x(t) identisk med den L-periodiska fortsättningen av funktionen y(t) = x(t), 0 t < L. Syntesekvationen ger därför att Eftersom integralen C + L C x(t) = cn e 2πjnt /L, då < t <. n = x(t) dt är oberoende av C om x(t) är L-periodisk, 5 så spelar det ingen roll vilket intervall av längd L man integrerar över. Man kan använda beteckningen L för sådana integrationer. Analysekvationen kan då skrivas: c n = L L x(τ) e 2πjn τ/l dτ. (6.2 ) 6.2 Egenskaper hos fourierserietransformen Mellan en periodisk funktion och dess fourierkoefficienter finns många rätt enkla samband. Här följer en lista med några av de viktigaste: Om den L-periodiska signalerna x(t) och y(t) har fourierseriekoefficienterna c n resp. d n, n = 0, ±, ±2,, så gäller att funktionen har fourierseriekoefficienterna C x(t) + D y(t), C och D konstanta C c n + D d n x (t) 2πn j L c n x (t) 4π2 n 2 x (m) (t) x(t c) L 2 2πn j L c n m cn e 2πn jc /L c n δ(t nl) n = cn = L 5 Kan visas formellt genom att man deriverar integralen med avseende på c och utnyttjar att x(c + P) = x(t). Genomför gärna detta! 0

Notera att sambanden som rör derivering och translation blir speciellt enkla för 2π-periodiska funktioner. Tabell över den reella varianten av fourierserierna finns också i handboken β. Dessa egenskaper följer ganska omedelbart ur analys- och syntesekvationerna. Exempelvis ger derivering av syntesekvationen x (t) = [(2πjn/L) cn ] e 2πjnt /L, n = där man avläser fourierseriekofficienterna för x (t) till (2πjn/L) c n. Förutom dessa egenskaper så har vi den viktiga energirelationen, Parsevals relation (.20): L/2 L L/2 x(t) 2 dt = cn 2. n = Den gäller för alla L-periodiska signaler där integralen i vänster led är ändlig. Den signalteoretiska tolkningen av likheten är, att signalens medeleffekt om denna är ändlig är = summan av frekvenskomponenternas medeleffekt. I nästa exempel använder vi några av ovanstående egenskaper för att underlätta räknearbete: Exempel 6.2: Problem: Bestäm fourierutvecklingen till den 2-periodiska funktion som i intervallet 0 t ges av x(t) = ht/d, då 0 t d, h( t)/( d), då d t och för vilken x( t) = x(t). h d h x(t) t Lösning: Syntesekvationen har utseendet x(t) = cn e πjnt, där fourierkoefficienterna kan beräknas n = direkt ur analysekvationen. Man kan dock slippa en hel del räkningar om man observerar att x och framför allt x är betydligt enklare funktioner än x: x (t) = = h/d, då 0 t < d, (Rita grafen!) h/( d), då d < t. och x (t) = h d h d (δ(t + d) δ(t d)) = h d( d) (δ(t + d) δ(t d)). ( ) Deriverar man syntesekvationen 2 ggr får man att x (t) = (πj n) 2 c n e πjnt. Här avläser man att x :s n = fourierkoefficienter (πj n) 2 c n = π 2 n 2 c n erhålls ur π 2 n 2 c n = 2 x (t) e πjnt dt = = h 2d( d) h 2d( d) (eπjnd e πjnd ) = c n = δ(t + d) e πjnt dt δ(t d) e πjnt dt = j h d( d) sin (πnd), varav för n 0: j h π 2 n 2 d( d) sin (πnd),

Återstår att beräkna c 0 som enligt analysekvationen är = 2 x(t) dt, d.v.s. funktionens medelvärde över en period. Detta medelvärde är i det här fallet uppenbarligen = 0. Vi får alltså fourierserien j h x(t) = π 2 sin (πnd) d( d) n = n 2 e πjnt. n 0 Anmärkning: Alternativt kan man få fram resultatet utgående från uttrycket för andraderivatan ( ) och egenskapstabellen ovan:.de 2-periodiska fortsättningarna av funktionerna till vänster har enligt den tabellen seriekoefficienterna till höger: δ(t) 2, n = 0, ±, ±2,, δ(t ± d) e ±πn jd 2, n = 0, ±, ±2,, x (t) (πjn) 2 c n = h d( d) (e πn jd e +πn jd ) 2 = varav för n 0: x(t) c n = π 2 n 2 j h d( d) sin πnd. För n = 0 får vi som nyss direkt ur analysekvationen att c 0 = 0. Detta ger svaret ovan. j h d( d) sin πnd, Övningar 6.3 a. Bestäm de komplexa fourierkoefficienterna till den 2π-periodiska funktionen x(t) för vilken: x(t) = t 2, då π t π. Använd någon av beräkningsmetoderna som användes i exempel 6.2. Ange också den reella fourierseriutvecklingen. b. Samma som a, men med 4-periodiska funktionen x(t) =, då t < 2 t, då t < 2, c. Samma som a, men med 6-periodiska funktionen 3, då 0 < t < x(t) = 0, då < t < 3, 2, då 3 < t < 5,, då 5 < t < 6. (Skissera först grafen!) (Skissera först grafen!) 2

6.4 a. Förenkla koefficienterna i fourierserien för signalen i exempel 6.2 för det fall att d = /2 och h = /2. b. Ett (idealt) lågpassfilter släpper igenom alla harmoniska signaler upp till en viss frekvens B ograverade och ingen av de harmoniska signalerna med högre frekvens. Man vill konstruera ett lågpassfilter så att andelen förlorad energi vid filtrering av signalen i a-uppgiften blir mindre än %. Hur skall brytfrekvensen B då väljas? Variabeln t mäts i ms. Använd till att börja med Parsevals relation till att verifiera, att om man väljer B [khz] i intervallet M + /2 < B < M + 3/2 (M heltal 0), så kommer andelen förlorad energi att vara 96 π 4 M m = 0 (2m+) 4. 6.3 Konvergensfrågor Eftersom likheten i syntesekvationen är en likhet mellan generaliserade funktioner är det inte självklart att likheten gäller i klassisk mening, d.v.s. att M x(t) = lim cn e jnt, M n = M där limesbegreppet är som i den vanliga analysen. Detta problem är inte alldeles enkelt att reda ut, men tillräckliga villkor finns uppskrivna i kurslitteraturen, ZC Theorem.., sid 492: Om x(t) och x (t) (6 är styckvis kontinuerliga och har höger- och vänstergränsvärden i alla punkter så är lim M M n = M cn e jnt = x(t+) + x(t ) 2. ( ) Konvergens råder därför i praktiken alltid, med undantag för de ställen där x(t) är diskontinuerlig. Där blir, som likheten ( ) utsäger, seriesumman i stället = värdet mitt i språngintervallet. I närheten av sådana punkter uppträder också en komplikation som kallas Gibbs fenomen (se ZC sid 498.) Förutsättningarna i konvergenssatsen ovan kan inte tas bort. Man känner exempelvis till kontinuerliga periodiska funktioner vars fourierserier inte konvergerar för alla t och än värre, integrabla funktioner vars fourierserie inte konvergerar för något enda t. Situationen kan kännas en smula obekväm! Situationen ter sig dock mera tillfredställande om noterar att konvergensbegreppet egentligen mest används här för att på ett precist sätt kunna uttrycka att olika funktioner ligger nära varandra. Relationen lim M får betyda att M n = M cn e jnt = x(t) M cn e jnt ligger godtyckligt nära x(t) för tillräckligt stora värden på M. n = M Som vi tidigare sett (.2) finns det andra möjliga sätt att mäta graden av närhet. En lämplig kandidat är att ta energin (under en period) hos differensen mellan signalerna som ett sådant mått. Att M n = M cn e jnt ligger godtyckligt nära x(t) för tillräckligt stora värden på M, får då betyda att där definieras som i (.9) lim M cn e jnt x(t) 2 = 0, (6.3) M n = M 6 Derivatan i klassisk mening ingen generaliserad funktion avses här. 3

Viktigare för signalteorin än ovannämnda konvergenssats är att man faktiskt kan bevisa att: Likheten (6.3) gäller för alla L-periodiska signaler med ändlig energi/period, dvs om bara x(t) 2 = L x(t) 2 dt. < Inga speciella krav på kontinuitet eller deriverbarhet behövs för detta! Beviset för den satsen ligger utanför den här kursens ram. Övning 6.5 I ett tabellverk hittar man angående 2π-periodiska fourierserier att om c n = ( ) n +j n +n 2, så är x(t) = π e t sinh π, då π < t < π. a, Bestäm de exakta värdena av seriesumman då t = 0, = 4 respektive = π. b. Bestäm med hjälp av resultatet i a-uppgiften det exakta värdet av summan n = +n 2, 4

Svar till uppgifterna 5. a. 2 3 00, b. 5 2 00 3 5.2 3. 5.5 P. (Summan av serien i uppgift 5.3 för t = 0, d.v.s. summan av 2M + = P st. :or.) 5.7 n = +n 2 = π + e 2π e 2π = π eπ + e π e π e π = π coth π.. 5.8c. (2N + )π a 2 sin π na g(a) = π n n = /2 5.9 2 2 a /2 5.0 n = cos (n π/2) δ(t n π/2) respektive n = cos (n π) δ(t n π) = ( ) n δ(t nπ) n = Följderna av sampelvärden: respektive n= 5 4 3 2 0 2 3 4 5 6 0,, 0,, 0,, 0,, 0,, 0,,,,,,,,,,,,,, 5. a. x(nt), b. n = 5.2 sin t. 5.3 sin ( π/4) = 2. x(t) dt. 6.a För sin 2πt: c = /(2j), c = /(2j), c n = 0 för övriga n. För cos 2πt: c = c = /2, c n = 0 för övriga n. 6.b c n = för alla n. Syntesekvationen: δ(t/l n) = e 2πjnt/L. n = n = 6.2 c n = e 2πjn/3 2πj n 6.3a. x(t) = n = x(t) = a 0 2 + om n 0, c 0 = 3. cn e jnt, där c n = 2 ( )n n 2 n = an cos nt, där a n = 4 ( )n n 2 då n 0 och c 0 = π2 3. 5 då n 0 och a 0 = 2π2 3.

6.3b. x(t) = cn e jπnt/2, där c n = 2 n = x(t) = a 0 2 + 6.3c. x(t) = n = n = x(t) = + an cos πnt 2, där a n = 4 cn e jπnt/3, där c n = n = cos (πn/2) ( )n n 2 π 2 då n 0 och c 0 = 3 4. cos (πn/2) ( )n n 2 π 2 då n 0 och a 0 = 3 2. 2 3 cos (πn/3) + ( )n jnπ bn sin πnt 3, där b 2 3 cos (πn/3) + ( )n n = 2 nπ då n 0 och c 0 =.. 6.4 a. 2j π 2 k = ( ) k (2k+) 2 ej(2k+)πt b. Om B > 500 Hz så kommer andelen förlorad energi att vara < 0.3 % (om B < 500 Hz, så kommer andelen att vara >,4%. π 6.5 a. x(0) = sinh π, b. π coth π. π e(4 2π) x(4) = sinh π, x(π) = π 2 e π sinh π + e π sinh π = π coth π. Obs att x(π) = +j n n = +n 2 = n n = +n 2 + j n = +n 2 = n = +n2 + j 0, eftersom termerna i den senare summan tar ut varandra parvis. Anmärkning: Även Parsevals relation kan användas. Man har att x(t) 2 = 2π cn 2, n = där c n 2 = ( ) n +j n 2 +n 2 = +n 2 2 + n 2 = +n 2 och = π 2 sinh 2 π x(t) 2 = π π 2 e 2t π sinh 2 π dt = π 2 sinh 2 π (e π e π )(e π + e π ) 2 varav n = +n2 = π coth π. = e 2π e 2π 2 π 2 sinh 2 π 2 sinh π cosh π = 2π2 coth π, = 6