title: Gibbsverschijnsel
text: In de wiskunde is het Gibbsverschijnsel, ontdekt in 1848 door Henry Wilbraham en herontdekt door Josiah Willard Gibbs in 1899, de merkwaardige manier waarop de fourierreeks van een stuksgewijs continue differentieerbare periodieke functie zich gedraagt in een sprongpunt. De -de partiële som van de fourierreeks heeft grote schommelingen in de buurt van het sprongpunt, zodat het maximum van de partiële som uitstijgt boven de naburige functiewaarden. Deze zogenaamde overshoot sterft niet uit met toenemende , maar nadert naar een eindige limiet.
  
  Dit verschijnsel was ook waargenomen door experimenteel natuurkundigen, maar werd beschouwd als het gevolg van onvolkomenheden in de meetapparatuur.
  
  Beschrijving 
  
  Het Gibbsverschijnsel betreft zowel het feit dat fouriersommen bij een sprongdiscontinuïteit overshoot vertonen, als dat deze overshoot niet uitsterft wanneer meer termen worden meegenomen.
  
  De drie figuren aan de rechterkant laten het verschijnsel zien voor een blokgolf met hoogte  met de fourierontwikkeling
  
  .
  
  Nauwkeuriger geformuleerd gaat het om de functie  die voor elke  de waarde  aanneemt tussen  en  en  tussen  en . Deze blokgolf heeft een dus een sprongdiscontinuïteit ter grootte  in elk geheel veelvoud van .
  
  Zoals te zien is, vermindert, als het aantal termen toeneemt, de fout van de benadering zowel in breedte als in energie, maar convergeert deze niet naar 0, maar naar een vaste hoogte. Een berekening voor de blokgolf (zie Zygmund, hfst. 8.5., of de berekeningen aan het eind van dit artikel) geeft een expliciete formule voor de limiet. Het blijkt dat de fourierreeks de hoogte  van de blokgolf overschrijdt met
  
  wat ongeveer 9% van de spronggrootte is.
  
  Meer algemeen: op elk sprongpunt van een stuksgewijze continu differentieerbare functie, zal de -de partiële som van de fourierontwikkeling voor zeer grote  deze sprong met ongeveer  overschrijden aan de bovenkant en onderschrijden met dezelfde fractie aan de onderkant. De "sprong" in de partiële som van de fourierontwikkeling zal dus ongeveer 18% groter zijn dan de sprong in de oorspronkelijke functie. Ter plaatse van de discontinuïteit zelf, zal de fourierreeks convergeren naar het midden van de sprong (ongeacht wat de werkelijke waarde van de oorspronkelijke functie is in dit punt). De grootheid
  
  staat wel bekend als de Wilbraham-Gibbs-constante.
  
  Geschiedenis 
  Het Gibbsverschijnsel werd voor het eerst opgemerkt en geanalyseerd door Henry Wilbraham. In 1848 publiceerde hij er een artikel over, dat echter onopgemerkt bleef in de wiskundige wereld. Albert Michelson ontwikkelde in 1898 een apparaat dat de fourierreeks kon berekenen en weer synthetiseren. Een wijdverbreide mythe zegt dat toen de fouriercoëfficiënten voor een blokgolf werden ingevoerd in de machine, de grafiek zou zijn gaan oscilleren rond de discontinuïteiten. En omdat een fysiek apparaat onderhevig is aan fabricagefouten, zou Michelson ervan overtuigd zijn geweest dat de overshoot veroorzaakt werd door fouten in de machine. In feite waren de grafieken die de machine produceerde niet goed genoeg om duidelijk het Gibbsverschijnsel te tonen, en Michelson zal het niet opgemerkt hebben omdat hij geen melding maakt van dit verschijnsel in het artikel over zijn machine of in zijn latere brieven aan Nature. Geïnspireerd door een briefwisseling in Nature tussen Michelson en Love over de convergentie van de fourierreeks van de blokgolffunctie, publiceerde Gibbs in 1898 een kort briefje waarin hij wat vandaag de dag een zaagtand zou worden genoemd, beschouwde, en wees op het belangrijke verschil tussen de limiet van de grafieken van de partiële sommen van de fourierreeks, en de grafiek van de functie die de limiet is van die partiële sommen. In zijn eerste brief noemde Gibbs het Gibbsverschijnsel niet, en de limiet die hij beschreef voor de grafieken van de partiële sommen was inaccuraat. In 1899 publiceerde hij een correctie, waarin hij de overshoot beschreef in het discontinuïteitspunt (Nature: 27 april 1899, p. 606). In 1906 gaf Maxime Bôcher een uitgebreide statistische analyse van die overshoot, die hij het "Gibbsverschijnsel" noemde.
  
  Uitleg 
  Informeel weerspiegelt het verschijnsel de moeilijkheden die inherent zijn aan het benaderen van een discontinue functie door een eindige reeks continue sinussen en cosinussen. Daarbij ligt de nadruk op eindige, want hoewel elke partiële som van de fourierreeks de overschrijding vertoont in de benadering van de functie, doet de limiet van de partiële sommen dat niet. Het punt waar de maximale overschrijding optreedt, nadert meer en meer de discontinuïteit als het aantal termen in de partiële som toeneemt. Zodra de overshoot een punt gepasseerd is, convergeert de fourierreeks in dat punt. Er is sprake van puntsgewijze convergentie, maar niet van uniforme convergentie.
  
  Voor een stuksgewijze -functie convergeert de fourierreeks naar de functie in elk punt, behalve in de sprongdiscontinuïteiten. Voor deze sprongdiscontinuïteiten is er convergentie naar het gemiddelde van de waarden van de functie aan weerszijden van de sprong. Dit is een gevolg van de stelling van Dirichlet
  
  Wiskundige beschrijving 
  Zij  een stuksgewijs continue, differentieerbare en periodieke functie met periode , die in het punt  een sprongdiscontinuïteit heeft:
  
  Noem voor de eenvoud van notatie . De fouriergetransformeerde van  wordt gegeven door de rij:
  
  en de -de partiële som van de fourierreeks door:
  
  Dan geldt:
  
  en
  
  ,
  
  maar
  
  Meer algemeen geldt voor elke rij  reële getallen die convergeert naar  dat als  is:
  
  en
  
  Als  is, gelden analoge relaties.
  
  Referenties
  
  Wiskundige analyse
  Wiskundige reeks