Gibbsverschijnsel
In de wiskunde is het Gibbsverschijnsel, ontdekt in 1848 door Henry Wilbraham[1] 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.[2]
Dit verschijnsel was ook waargenomen door experimenteel natuurkundigen, maar werd beschouwd als het gevolg van onvolkomenheden in de meetapparatuur.[3]
Beschrijving
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f8/Gibbs_phenomenon_10.svg/260px-Gibbs_phenomenon_10.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b3/Gibbs_phenomenon_50.svg/260px-Gibbs_phenomenon_50.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/dc/Gibbs_phenomenon_250.svg/260px-Gibbs_phenomenon_250.svg.png)
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 fourierontwikeling 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 fourierontwikeling 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.[4] 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.[5]
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[6]
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
- ↑ Hewitt, Edwin, Hewitt, Robert E. (1979). The Gibbs-Wilbraham phenomenon: An episode in Fourier analysis. Archive for History of Exact Sciences 21 (2): 129–160. DOI: 10.1007/BF00330404. Geraadpleegd op 16 september 2011. Available on-line at: National Chiao Tung University: Open Course Ware: Hewitt & Hewitt, 1979.
- ↑ H.S. Carslaw, Introduction to the theory of Fourier's series and integrals, Hfdst. IX, 3e druk, 1930, Dover Publications Inc., New York. [1]
- ↑ Vretblad 2000, Hoofdstuk 4.7
- ↑ Wilbraham, Henry (1848) "On a certain periodic function," The Cambridge and Dublin Mathematical Journal, 3 : 198-201.
- ↑ Bôcher, Maxime (April 1906) "Introduction to the theory of Fourier's series," Annals of Mathethematics, second series, 7 (3) : 81-152. The Gibbs phenomenon is discussed on pages 123-132; Gibbs' role is mentioned on page 129.
- ↑ M. Pinksky, Introduction to Fourier Analyse and Wavelets, p.27, Brooks/Cole, VS, 2002.