summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorsiveshs <siveshs@gmail.com>2010-07-03 05:31:58 +0000
committerbnewbold <bnewbold@adelie.robocracy.org>2010-07-03 05:31:58 +0000
commit62e45adcaf7a8815dff9f6afe82b0ee93a820cc1 (patch)
treeb028620098b6dc20a5a7c032b29a048fcb91ec16
parente3ddf20bf5077654ebfe90ada68c03b1314a1192 (diff)
downloadafterklein-wiki-62e45adcaf7a8815dff9f6afe82b0ee93a820cc1.tar.gz
afterklein-wiki-62e45adcaf7a8815dff9f6afe82b0ee93a820cc1.zip
editing
-rw-r--r--Fourier Series.page11
1 files changed, 6 insertions, 5 deletions
diff --git a/Fourier Series.page b/Fourier Series.page
index bc1226d..64df72a 100644
--- a/Fourier Series.page
+++ b/Fourier Series.page
@@ -6,15 +6,16 @@
We first begin with a few basic identities on the size of sets. Then, we will show that the set of possible functions representing sets is not larger than the set of available functions. This at best indicates that the Fourier series is not altogether impossible.
## To show that $(0,1) \sim \mathbb R$
---> could someone fill this out?
+*--> could someone fill this out? *
## Cantor's proof for $\mathbb R > \mathbb N$
---> don't have the notes for this
+*--> don't have the notes for this *
## Proof that no. of available functions is greater than number of functions required to define the periodic function
Consider any arbitrary periodic function in the interval $[-\pi,\pi]$. This can be represented as a series of values at various points in the interval. For example,
$\qquad f(0) = ... , f(0.1) = ..., f(0.2) = ...$ and so on. At each point, we can assign any real number (i.e. $\in \mathbb R$). So, the number of possible periodic functions in an interval is of the order of $\mathbb R^{\mathbb R}$.
---> don't quite remember how this goes.
+
+*--> don't quite remember how this goes.*
#<b>Why Fourier decomposition is plausible?</b>
To show that Fourier series is plausible, let us consider some arbitrary trignometric functions and see if it is possible to express them as the sum of sines and cosines:
@@ -195,11 +196,11 @@ This is the common definition for the terms of the Fourier series.
##Proving that this function is does indeed completely represent $f$
It is important to note at this point that we have simply expressed the periodic function $f$ in terms of a sum of arbitrary orthonormal vectors $f_n$. We haven't quite shown yet that the sum of orthonormal vectors actually completely represents $f$. Put in another way, there could be some components of $f$ that are not described by the vectors $f_n$. It is necessary to prove first that no other such components exist.
---> don't quite remember this part
+*--> don't quite remember this part*
Now, we know that the entire function space can be described by the defined basis vectors. We can now prove that, the sum of terms that we computed in the previous section does indeed converge to $f$ as follows:
---> don't quite remember this part
+*--> don't quite remember this part*
#<b>Why the Fourier decomposition is useful? </b>
Applications will be covered on Monday July 5, 2010. See you all soon! \ No newline at end of file