This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
vpde_lecture20 [2020/03/19 12:30] trinh |
vpde_lecture20 [2020/03/19 15:50] trinh [Fourier series for even and odd- extensions] |
||
---|---|---|---|
Line 17: | Line 17: | ||
$$ | $$ | ||
f(x) \sim \frac{a_0}{2} + \sum_{n=1}^\infty \left[ a_n \cos\left(\frac{n\pi x}{L}\right) + b_n \sin\left(\frac{n\pi x}{L}\right)\right] | f(x) \sim \frac{a_0}{2} + \sum_{n=1}^\infty \left[ a_n \cos\left(\frac{n\pi x}{L}\right) + b_n \sin\left(\frac{n\pi x}{L}\right)\right] | ||
+ | $$ | ||
+ | where now the coefficients are calculated from | ||
+ | $$ | ||
+ | a_n = \frac{1}{L} \int_{-L}^L f(x) \cos\left(\frac{n\pi x}{L}\right) \, \mathrm{d}{x} | ||
+ | $$ | ||
+ | $$ | ||
+ | b_n = \frac{1}{L} \int_{-L}^L f(x) \sin\left(\frac{n\pi x}{L}\right) \, \mathrm{d}{x} | ||
$$ | $$ | ||
+ | There is a simple way to prove this based on what we already know. Let's take the function we have on $[-L. L]$ and simply transform the domain so that it is now between $[-\pi, \pi]$. We can do that via | ||
+ | $$ | ||
+ | X = \frac{\pi x}{L}. | ||
+ | $$ | ||
+ | Go ahead and verify that this works as indicated. You can verify that if $f(x) = f(LX/\pi) = g(X)$, then this new function $g(X)$ is $2\pi$ periodic and defined on $[-\pi, pi]$. So now we have the Fourier series for $g(X)$. Go and write that down. After you have done that, you'll notice that you get the above formulae. | ||
+ | **Remark 12.8.** There is an important note here. Because of the $2L$-periodicity, | ||
+ | ==== Fourier series for even and odd- extensions ==== | ||
+ | |||
+ | We are almost done. There is one last variation to explain. Occasionally, | ||
+ | |||
+ | It is a lot easier to explain how this is done via a picture. | ||
+ | |||
+ | === Odd- and even extensions of $f(x) = x^2$ === | ||
+ | |||
+ | We'll draw the odd and even periodic extension of $f(x) = x^2$ originally defined on $[0, \pi]$, and then extended in an even or odd manner to $[-\pi, \pi]$. So for example | ||
+ | $$ | ||
+ | f_e(x) = \begin{cases} | ||
+ | x^2 & x\in[0, \pi] \\ | ||
+ | x^2 & x\in[-\pi, 0] | ||
+ | \end{cases} | ||
+ | $$ | ||
+ | is the even extension, while | ||
+ | $$ | ||
+ | f_o(x) = \begin{cases} | ||
+ | x^2 & x\in[0, \pi] \\ | ||
+ | -x^2 & x\in[-\pi, 0] | ||
+ | \end{cases} | ||
+ | $$ | ||
+ | is the odd extension. |