Fourieranalyse/Convergentie

Niet elke periodieke functie heeft een fourierreeks. Als een periodieke functie een fourierreeks heeft, zou het plezierig zijn als deze reeks de functie benadert. Er zijn echter periodieke functies met een fourierreeks, die niet convergeert naar de oorspronkelijke functie. Voor andere periodieke functies met een fourriereeks is er wel sprake van convergentie. Voor sommige functies is er alleen puntgewijze convergentie, voor andere convergeert de fourrierreeks zelfs uniform.

Puntsgewijze convergentie

bewerken

Onder bepaalde voorwaarden zal de fourierreeks puntgewijze convergeren, zij het dat voor punten waar de functie discontinu is, de reeks convergeert naar wat de gemiddelde waarde heet, een waarde midden tussen de linker- en rechterlimiet.

Definitie

bewerken

Onder de gemiddelde waarde van een functie in het punt x, verstaan we:

 ,

mits de linker- en rechterlimieten bestaan.

In een continuïteitspunt van f is de gemiddelde waarde natuurlijk gelijk aan de functiewaarde f(x).

De bovengenoemde voorwaarden heten de Dirichlet-voorwaarden.

Definitie

bewerken

Een functie f voldoet aan de Dirichlet-voorwaarden als voor elke x:

  • de linker- en rechterlimiet   en   bestaan, en
  •   en   bestaan

Stelling

bewerken

Voor functies f die voldoen aan de Dirichlet-voorwaarden convergeert de fourierreeks puntsgewijs naar de gemiddelde waarde, dwz.:

 

Voor de partiële sommen geldt:

 
 
 
 
 
 

Omdat:

 

en analoog

 ,

volgt:

 
 
 

We laten vervolgens zien dat elk van de beide integralen naar 0 nadert voor toenemende n. We bezien de eerste van de beide integralen, een beetje anders geschreven:

 

Het bewijs gaat nu verder langs de volgende lijnen:

We tonen aan dat de functie:

 

integreerbaar is.

Daardoor kan deze functie willekeurig dicht benaderd worden door een trapfunctie, een eindige som van functies die op een deelinterval constant zijn en 0 daarbuiten. Een zo'n functie is bijvoorbeeld gelijk aan c op het deelinterval (a,b) en 0 daarbuiten. Dan is:

  als n toeneemt.

Om de integreerbaarheid aan te tonen, schrijven we:

 

Omdat f integreerbaar is, zal voor x niet te dicht bij 0 deze functie integreerbaar zijn. Verder is in de Dirichlet-voorwaarden precies geëist wat hier nodig is, nl. het bestaan van:

 .

Omdat ook

  bestaat,

is de integreerbaarheid aangetoond en daarmee de stelling bewezen


1)

 

dus

 

Of via inductie; we laten alleen de inductiestap zien:

 
 
 
 


Voorbeelden

bewerken

In dit eerste voorbeeld is de functie f gegeven op het interval   en wordt deze daarbuiten periodiek voortgezet.

 , voor  ,

Deze functie heeft geen fourierreeks.


Welke functies kunnen benaderd worden door een fourierreeks? Functies die continu differentieerbaar zijn voldoen aan de voorwaarden, evenals stuksgewijs continu differentieerbare functies.

Een voorbeeld is een driehoekig signaal.

Driehoekspuls

bewerken

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

 
 
Goede benadering met 6 termen

Deze functie is overduidelijk stuksgewijs continu differentieerbaar. De coëfficiënten zijn:

 

en voor n>0:

 

en

 
 
 

Dus:

 

Het zal ons niet verbazen dat a0 en bn gelijk zijn aan nul. De driehoekspuls lijkt immers al veel op een gewone cosinus. Daarom zijn ook a2k gelijk aan 0. De cosinus heeft wat correctie nodig via a2k+1. Omdat de driehoek continu is en al zoveel op de cosinus lijkt nemen de coëfficiënten snel af met toenemende k.


Een heel ander geval is de zaagtand.

Zaagtand

bewerken

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

 


Deze functie is niet continu, maar wel stuksgewijs continu differentieerbaar. De coëfficiënten zijn:

 

en voor n>0:

 

en

 
 

Dus:

 

Dit is een oneven functie, die dus door uitsluitend sinussen benaderd kan worden. In de buurt van 0 lijkt de functie wel op een sinus, maar de discontinuïten maken dat er erg veel termen nodig zijn voor een goede benadering in de buurt van die punten.

Een ander bekend voorbeeld is de blokgolf.

Blokgolf

bewerken
 


Deze functie is niet continu, maar wel stuksgewijs continu differentieerbaar. De coëfficiënten zijn:

 

en voor n>0:

 

en

 
 

Dus:

 

Dit is een oneven functie, die dus door uitsluitend sinussen benaderd kan worden.

Informatie afkomstig van https://nl.wikibooks.org Wikibooks NL.
Wikibooks NL is onderdeel van de wikimediafoundation.