Fourierreeks

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Zie het artikel Dit artikel beschrijft het begrip fourierreeks wiskundig. Voor een algemene inleiding en toepassingen, zie Fourieranalyse.

Een fourierreeks is een (eventueel oneindige) lineaire combinatie van herhaald de sinus en de cosinus, dan wel gelijkwaardig daarmee de complexe e-macht, die een benadering vormt van een willekeurige periodieke functie. Voor het bestaan van de fourierreeks is het voldoende dat de periodieke functie is begrensd. De coëfficiënten in de reeks worden met fourieranalyse bepaald, een techniek, die in de 19e eeuw door de Franse wis- en natuurkundige Fourier is ontwikkeld.

Geschiedenis[bewerken]

Voor Fourier was de reeks

reeds bekend. Het is een goniometrische reeks, een som van goniometrische functies en die reeds door Euler was gevonden, maar die er niet bij vermeldde hoe hij eraan kwam en dat de reeks alleen geldt als . Fourier zag in dat deze functie niet op zichzelf stond. Hij vermoedde dat elke functie als een som kon worden geschreven van sinussen en cosinussen met bepaalde coëfficiënten, te zijner ere fouriercoëfficiënten genoemd.

Aanvankelijk stonden Fouriers tijdgenoten, onder andere Lagrange, er weigerachtig tegenover. Het bezwaar was dat niet iedere periodieke functie als fourierreeks kan worden geschreven. Een voorbeeld is de tangens, perfect periodiek, maar niet als fourierreeks te schrijven. Het was de wiskundige Dirichlet, van een latere generatie, die een aantal aanvullende voorwaarden heeft opgesteld waaraan de functie moet voldoen. Deze voorwaarden zijn:

  1. De functie moet op een interval ter grootte van 1 periode kunnen worden geïntegreerd.
  2. Het aantal discontinuïteiten van moet op dat interval eindig zijn.
  3. De afgeleide van mag op een eindig aantal punten op dat interval discontinu zijn.

Theorie[bewerken]

De vraag is of er een systematische manier is om een periodieke functie , we gaan hier uit van de periode 2π, te benaderen door een goniometrische reeks, dat wil zeggen door een reeks van de vorm:

.

De coëfficiënten dienen zo bepaald te worden dat de afstand tussen f en de reeks zo klein mogelijk is, waarbij de afstand gegeven is door de norm:

.

Men kan het zich gemakkelijker maken door te bedenken dat deze norm geïnduceerd wordt door het inwendig product:

.

Ten opzichte van dit inproduct vormen de sinussen en cosinussen, de constante wordt als opgevat, een orthogonaal stelsel, zodat de reeks gevonden wordt door orthogonale projectie van f op de afzonderlijke sinussen en cosinussen.

Orthogonale projectie[bewerken]

Omdat de sinussen en cosinussen orthogonaal zijn, worden de coëfficiënten gegeven door:

en voor n>1:

en analoog:

Een willekeurige op (0, 2π) periodieke functie , waarvoor de bovengenoemde reeks bestaat, kan dus worden benaderd door:

,

Voor functies die stuksgewijs continu differentieerbaar zijn, dat wil zeggen die slechts eindig veel discontinuïteitspunten hebben, waarin zowel de linker- als de rechterlimiet als de linker- en rechter afgeleide bestaan, en overigens differentieerbaar zijn met continue afgeleide, convergeert de reeks in de punten waar continu is puntsgewijs naar . In de discontinuïteitspunten convergeert de reeks naar een gemiddelde waarde tussen de linker- en rechterlimiet.

Wiskundige achtergrond[bewerken]

We kunnen ook een meetkundige voorstelling maken, en de fourierreeks opvatten als de beste benadering van de functie in de deelruimte voortgebracht door een eindig aantal sinussen en cosinussen, de constante wordt als opgevat. Die beste benadering is dan de projectie van de functie op die deelruimte. Die projectie is een lineaire combinatie van de voortbrengende functies. Vormen deze ten opzichte van een inproduct een orthonormaal stelsel, dan zijn de coëfficiënten eenvoudig de inproducten van f met de elementen van het orthonormale stelsel. Als het stelsel niet genormeerd is, moeten de coëfficiënten nog worden geschaald.

De natuurlijke context voor deze meetkundige interpretatie van fourierreeksen is de hilbertruimte . Functies die bijna overal aan elkaar gelijk zijn, worden ingedeeld in equivalentieklassen. Het inwendig product, of inproduct, van twee functieklassen is de integraal van het product van de bijhorende functies. In plaats van de genoemde voorwaarden van Dirichlet, eisen we gewoon dat de functie kwadratisch lebesgue-integreerbaar is.

Inwendig product[bewerken]

Zoals boven opgemerkt zijn de relevante cosinussen en sinussen orthogonaal ten opzichte van het inproduct voor complexwaardige functies:

,

waarin de betrokken periode is.

Orthonormale functies[bewerken]

In plaats van sinussen en cosinussen kunnen ook de complexe e-machten , met , als orthogonaal stelsel gekozen worden. Dit stelsel is zelfs orthonormaal, want:

.

Hierbij is de kronecker-delta.

Coëfficiënten[bewerken]

Een functie wordt nu benaderd door de reeks:

.

De coëfficiënten zijn bepaald door:

.

De functies

gedragen zich zoals orthonormale basisvectoren in een eindigdimensionale vectorruimte met inproduct, behalve dat de lineaire combinaties van basisvectoren oneindige reeksen mogen zijn. Een dergelijk stel basisvectoren noemt men in het algemeen een schauderbasis van de genormeerde vectorruimte.

Opmerkingen[bewerken]

Convergentie[bewerken]

Convergentie in de Hilbertruimte betekent dat:

We spreken van convergentie in norm, of ook van convergentie in kwadratisch gemiddelde. Dit hoeft overigens niet te betekenen dat er ook puntsgewijze convergentie is, maar wel convergentie bijna overal.

Verwisselbaarheid van limieten en Lebesgue-integralen wordt onder bepaalde voorwaarden gegarandeerd door de stelling van de gedomineerde convergentie of door de monotone convergentiestelling.

Gedrag coëfficiënten[bewerken]

Men kan bewijzen dat voor een continue functie de fouriercoëfficiënten dalen met volgens 1/k3. Voor continu differentieerbare functies dalen de coëfficiënten volgens 1/k4, voor niet-continue functies, zoals de zaagtandfunctie f(x) = x/2 (voor |x| < π), dalen de coëfficiënten volgens 1/k.

Gibbs-verschijnsel[bewerken]

Gibbs-verschijnsel: boven- en ondersprong

Zowel de cosinus, de sinus als zijn continue functies, zodat de benadering een continue functie is. Dus is ook de benadering van een discontinue functie een continue functie. In een discontinuïteitspunt van een functie met een sprong, maakt de fourierreeks noodzakelijk een boven- en ondersprong. Dit wordt het Gibbs-verschijnsel genoemd.

Eigenschappen[bewerken]

De volgende eigenschappen voor de bepaling van de fourierreeks kunnen eenvoudig (door de definitie) bewezen worden. We geven de eigenschappen enkel voor ck.

Verband tussen de coëfficiënten ak, bk en ck[bewerken]

Voor de eenvoud veronderstellen we een reële functie, dan is het verband gegeven door:

Parseval[bewerken]

De relatie tussen een functie met periode en zijn fouriercoëfficiënten is normbehoudend, uitgedrukt in de gelijkheid van Parseval:

.

Praktisch betekent dit dat het vermogen van een signaal f, verdeeld is over z'n spectrale componenten.

Rekenregels[bewerken]

Een aantal eigenschappen van de fourierreeks zijn:

Functie Fouriercoëfficiënten Eigenschap
Lineariteit
Tijdsverschuiving
Tijdsomkering
Conjugatie
Frequentieverschuiving

Voorbeelden[bewerken]

Driehoekspuls[bewerken]

goede benadering met 6 termen

We kiezen de maximale waarde 1 en de minimale −1.

Deze even functie laat zich door cosinustermen benaderen:

Deze driehoekspuls is continu, de coëfficiënten dalen derhalve vrij sterk, de benadering is reeds na een klein aantal termen goed.

Blokgolf[bewerken]

Na 500 termen is de blokgolf al redelijk benaderd.

Dit is een oneven functie, die dus door uitsluitend met sinussen wordt benaderd.

De blokgolf is niet continu, dus de coëfficiënten dalen ook niet sterk. Om een blokgolf te benaderen is een groot aantal termen nodig.

Zaagtandpuls[bewerken]

We kiezen de maximale waarde 1 en de minimale –1.

Deze oneven functie laat zich volledig door sinustermen benaderen:

.

Deze zaagtandpuls is niet continu, dus de coëfficiënten dalen niet sterk. De benadering is dus na een vrij groot aantal termen toch nog steeds niet goed.

Wikibooks Wikibooks heeft meer over dit onderwerp: Fourieranalyse.