Fourier series: Difference between revisions
imported>Aleksander Stos m (reverting self, test done.) |
mNo edit summary |
||
(28 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
In [[mathematics]], the '''Fourier series''', named after [[Joseph Fourier]] (1768—1830), of a | {{subpages}} | ||
{{TOC|right}} | |||
In [[mathematics]], the '''Fourier series''', named after [[Joseph Fourier]] (1768—1830), refers to an infinite series representation of a [[periodic function]] ''ƒ'' of a [[real number|real]] variable ξ, of period ''P'': | |||
:<math>\ | :<math>f(\xi+P)=f(\xi) \ . </math> | ||
In the case of a [[complex number|complex]]-valued function ''ƒ''(ξ), ''Fourier's theorem'' states that an [[infinite series]], known as a Fourier series, is equivalent (in some sense) to such a function: | |||
:<math> | :<math>f(\xi) =\sum_{n=-\infty}^\infty c_n e^{2\pi in\xi/P}</math> | ||
where | where the coefficients {''c<sub>n</sub>''} are defined by | ||
:<math> c_n = \frac{1}{P} \int_0^P f(\xi) \exp\left(\frac{-2\pi in\xi}{P}\right)\,d\xi \ . </math> | |||
In what sense it may be said that this series converges to ''ƒ''(ξ) is a complicated question.<ref name=Hardy/><ref name=Jahnke/> | |||
[[Category: | |||
However, physicists being less delicate than mathematicians in these matters, simply write | |||
:<math>f(\xi) = \sum_{n=-\infty}^\infty c_n e^{2\pi in\xi/P} \ ,</math> | |||
and usually do not worry too much about the conditions to be imposed on the arbitrary function ''ƒ''(ξ) of period ''P'' in order that this expansion converge to the function. | |||
==Gibbs phenomenon== | |||
{{Image|Sawtooth Fourier series.png|right|150px|The first six terms of a Fourier series for a periodic sawtooth wave (bottom) and their summation (top). The sum oscillates about the value of the function.}} | |||
A particular topic in considering how well a Fourier series approximates a function is the behavior known as ''Gibbs phenomenon'', which refers to the behavior of the Fourier series in representing a piecewise continuous function. A summation of a finite number of terms of the Fourier series oscillates about the the target function, as shown in the figure. Adding more terms to the sum reduces this oscillation, except for functions with step discontinuities. For such functions, adding more terms reduces the oscillation, except very near the discontinuity, where adding more terms results in narrowing the width of these oscillations, but not in a reduction of their amplitude. This behavior is the Gibbs phenomenon.<ref name=Gibbs/> | |||
==Real-valued functions in time and space== | |||
Fourier's theorem states that any real-valued periodic function can be expressed as a sum of sinusoidal functions with periods related to ''P'':<ref name=Schaum/> | |||
:<math>f(\xi)=a_0 +\sum_1^\infty a_n\cos\left(\frac{2\pi}{P/n}\xi+\varphi_n\right) \ , </math> | |||
a series of cosines with various ''phases'' {φ<sub>n</sub>}. Using the cosine relation: | |||
:<math>\cos (x+y) = \cos(x)\cos(y)-\sin (x) \sin (y) \ , </math> | |||
and the orthogonality relations: | |||
:<math>\frac{2}{P}\int_0^P \ d \xi \cos\left(\frac{2\pi}{P/n}\xi\right)\cos\left(\frac{2\pi}{P/m}\xi\right) = \delta_{n,m} \ , </math> | |||
:<math>\frac{2}{P}\int_0^P \ d \xi \sin\left(\frac{2\pi}{P/n}\xi\right)\sin\left(\frac{2\pi}{P/m}\xi\right) = \delta_{n,m} \ , </math> | |||
:<math>\frac{2}{P}\int_0^P \ d \xi \cos\left(\frac{2\pi}{P/n}\xi\right)\sin\left(\frac{2\pi}{P/m}\xi\right) = 0 \ , </math> | |||
one finds:<ref name=Kumar/> | |||
:<math>a_0=\frac{1}{P}\int_0^P \ d \xi \ f(\xi)</math> | |||
:<math>a_n\cos\varphi_n = \frac{2}{P}\int_0^P \ d \xi \ f(\xi) \cos\left(\frac{2\pi}{P/n}\xi\right)</math> | |||
:<math>a_n\sin\varphi_n = -\frac{2}{P}\int_0^P \ d \xi \ f(\xi) \sin\left(\frac{2\pi}{P/n}\xi\right) \ ,</math> | |||
thereby determining the coefficients {''a<sub>n</sub>''} and the phases {φ<sub>n</sub>}. | |||
Thus, a function periodic in time with period ''T'' can be expressed as a Fourier series:<ref name=Bakshi/> | |||
:<math>f(t)=a_0 +\sum_1^\infty a_n \cos \left( n\omega_0t +\varphi_n \right) \ , </math> | |||
where ω<sub>0</sub> = 2π/''T'' is called the ''fundamental frequency'' and its multiples 2ω<sub>0</sub>, 3ω<sub>0</sub>,... are called ''harmonic frequencies'' and the cosine terms are called ''harmonics'' of ƒ. A function ''ƒ(x)'' of spatial period λ, can be synthesized as a sum of harmonic functions whose wavelengths are integral sub-multiples of λ (''i.e.'' λ, λ/2, λ/3, ''etc.''):<ref name=Schaum/> | |||
:<math>f(x)=a_0 +\sum_1^\infty a_n\cos\left(\frac{2\pi}{\lambda/n}x+\varphi_n\right) \ . </math> | |||
If the function is a fixed waveform propagating in time, we may take ξ as: | |||
:<math>\xi = x-vt \ , </math> | |||
where ''x'' is a position in space, ''v'' is the speed of propagation and ''t'' is the time. The period in space at a fixed instant in time is called the ''wavelength'' λ=''P'', and the period in time at a fixed position in space is called the period ''T''=λ/''v''. | |||
==References== | |||
{{reflist|refs= | |||
<ref name=Bakshi> | |||
{{cite book |title=Circuit Analysis |author=A.V.Bakshi U.A.Bakshi |url=http://books.google.com/books?id=ULrEmRPsG9MC&pg=SA10-PA3 |pages=p. 10.3 |isbn=8184310579 |year=2008 |publisher=Technical Publications}} | |||
</ref> | |||
<ref name=Gibbs> | |||
A good illustration is found in {{cite book |title=Digital Terrain Analysis in Soil Science and Geology |chapter=Figure 5.8: Approximation of a square wave |url=http://books.google.com/books?id=8NypDB1pMg4C&pg=PA88 |pages=p. 88 |author=Igor Florinsky |isbn=0123850371 |year=2011|publisher=Academic Press}} A treatise on the subject is: | |||
{{cite book |title=The Gibbs Phenomenon in Fourier Analysis, Splines and Wavelet Approximations |author=Abdul J. Jerri |url=http://books.google.com/books?id=y2c00LAMnFUC&printsec=frontcover |isbn=0792351096 |year=1998 |publisher=Springer}} | |||
</ref> | |||
<ref name=Hardy> | |||
{{cite book |title=Fourier Series |author=G. H. Hardy, Werner Rogosinski |chapter=Chapter IV: Convergence of Fourier series |pages=pp. 37 ''ff'' |isbn= 0486406814 |year=1999 |edition=Reprint of Cambridge University Press 1956 ed|publisher=Courier Dover Publications |url=http://books.google.com/books?id=t2QpTZI_6mwC&pg=PA37}} | |||
</ref> | |||
<ref name=Jahnke> | |||
For an historical account, see {{cite book |title=A History of Analysis |url=http://books.google.com/books?id=CVRZEXFVsZkC&pg=PA178 |pages=pp. 178 ''ff'' |chapter=§6.5 Convergence of Fourier series |author=Hans Niels Jahnke |isbn=0821826239 |year=2003 |publisher=American Mathematical Society}} | |||
</ref> | |||
<ref name=Kumar> | |||
For example, see {{cite book |title=Signals and Systems |author=A. Anand Kumar |url=http://books.google.com/books?id=FGGa6BXhy3kC&pg=PA166 |pages=p. 166 |isbn=8120343107 |publisher=PHI Learning Pvt. Ltd. |year=2011}} | |||
</ref> | |||
<ref name=Schaum > | |||
{{cite book |title=Schaum's Outline of Theory and Problems of Optics |publisher=McGraw-Hill Professional |url=http://books.google.com/books?id=ZIZmyOG-DxwC&pg=PA205 | |||
|page=205 |author=Eugene Hecht |year=1975 |isbn=0070277303}} | |||
</ref> | |||
}}[[Category:Suggestion Bot Tag]] |
Latest revision as of 07:01, 18 August 2024
![](http://s9.addthis.com/button1-share.gif)
In mathematics, the Fourier series, named after Joseph Fourier (1768—1830), refers to an infinite series representation of a periodic function ƒ of a real variable ξ, of period P:
In the case of a complex-valued function ƒ(ξ), Fourier's theorem states that an infinite series, known as a Fourier series, is equivalent (in some sense) to such a function:
where the coefficients {cn} are defined by
In what sense it may be said that this series converges to ƒ(ξ) is a complicated question.[1][2]
However, physicists being less delicate than mathematicians in these matters, simply write
and usually do not worry too much about the conditions to be imposed on the arbitrary function ƒ(ξ) of period P in order that this expansion converge to the function.
Gibbs phenomenon
A particular topic in considering how well a Fourier series approximates a function is the behavior known as Gibbs phenomenon, which refers to the behavior of the Fourier series in representing a piecewise continuous function. A summation of a finite number of terms of the Fourier series oscillates about the the target function, as shown in the figure. Adding more terms to the sum reduces this oscillation, except for functions with step discontinuities. For such functions, adding more terms reduces the oscillation, except very near the discontinuity, where adding more terms results in narrowing the width of these oscillations, but not in a reduction of their amplitude. This behavior is the Gibbs phenomenon.[3]
Real-valued functions in time and space
Fourier's theorem states that any real-valued periodic function can be expressed as a sum of sinusoidal functions with periods related to P:[4]
a series of cosines with various phases {φn}. Using the cosine relation:
and the orthogonality relations:
one finds:[5]
thereby determining the coefficients {an} and the phases {φn}.
Thus, a function periodic in time with period T can be expressed as a Fourier series:[6]
where ω0 = 2π/T is called the fundamental frequency and its multiples 2ω0, 3ω0,... are called harmonic frequencies and the cosine terms are called harmonics of ƒ. A function ƒ(x) of spatial period λ, can be synthesized as a sum of harmonic functions whose wavelengths are integral sub-multiples of λ (i.e. λ, λ/2, λ/3, etc.):[4]
If the function is a fixed waveform propagating in time, we may take ξ as:
where x is a position in space, v is the speed of propagation and t is the time. The period in space at a fixed instant in time is called the wavelength λ=P, and the period in time at a fixed position in space is called the period T=λ/v.
References
- ↑ G. H. Hardy, Werner Rogosinski (1999). “Chapter IV: Convergence of Fourier series”, Fourier Series, Reprint of Cambridge University Press 1956 ed. Courier Dover Publications, pp. 37 ff. ISBN 0486406814.
- ↑ For an historical account, see Hans Niels Jahnke (2003). “§6.5 Convergence of Fourier series”, A History of Analysis. American Mathematical Society, pp. 178 ff. ISBN 0821826239.
- ↑ A good illustration is found in Igor Florinsky (2011). “Figure 5.8: Approximation of a square wave”, Digital Terrain Analysis in Soil Science and Geology. Academic Press, p. 88. ISBN 0123850371. A treatise on the subject is: Abdul J. Jerri (1998). The Gibbs Phenomenon in Fourier Analysis, Splines and Wavelet Approximations. Springer. ISBN 0792351096.
- ↑ 4.0 4.1 Eugene Hecht (1975). Schaum's Outline of Theory and Problems of Optics. McGraw-Hill Professional. ISBN 0070277303.
- ↑ For example, see A. Anand Kumar (2011). Signals and Systems. PHI Learning Pvt. Ltd., p. 166. ISBN 8120343107.
- ↑ A.V.Bakshi U.A.Bakshi (2008). Circuit Analysis. Technical Publications, p. 10.3. ISBN 8184310579.