Compare commits

..
5 Commits
Author SHA1 Message Date
christian 82dc897168 remove additional vertical pipe 2020-05-03 17:03:14 +02:00
JosuaKugler 4ac2dfcd1f mistakes 2020-05-02 20:00:50 +02:00
JosuaKugler c6a2eb583d hopefully fixed everything, added .out files to gitignore 2020-05-02 10:34:32 +02:00
JosuaKugler 157f4ad111 merge finished 2020-05-02 09:50:35 +02:00
JosuaKugler 9a1c35636b minor changes, added hyperref 2020-05-02 09:45:51 +02:00
6 changed files with 10 additions and 6 deletions
+1
View File
@@ -4,3 +4,4 @@
*.toc *.toc
*.synctex.* *.synctex.*
*.fls *.fls
*.out
+1 -1
View File
@@ -299,7 +299,7 @@ Wichtige Frage: Wenn $f_n \to f$, gilt dann auch $\int_{a}^{b} f_n \to \int_{a}^
.\] .\]
\end{proof} \end{proof}
\begin{satz} \begin{satz}\label{permutesumint}
Seien $f_n \colon [a,b] \to \R$ stetige Funktionen $(n \in \N)$ und die Reihe Seien $f_n \colon [a,b] \to \R$ stetige Funktionen $(n \in \N)$ und die Reihe
$\sum_{n=0}^{\infty} f_n$ konvergiere gleichmäßig auf $[a,b]$, d.h. die Folge der Partialsummen $\sum_{n=0}^{\infty} f_n$ konvergiere gleichmäßig auf $[a,b]$, d.h. die Folge der Partialsummen
$(\sum_{n=0}^{N} f_n)_{n\in\N}$ sei gleichmäßig konvergent. Dann gilt: $(\sum_{n=0}^{N} f_n)_{n\in\N}$ sei gleichmäßig konvergent. Dann gilt:
BIN
View File
Binary file not shown.
+4 -5
View File
@@ -3,7 +3,6 @@
\begin{document} \begin{document}
\newcommand{\K}{\mathrm{K}} \newcommand{\K}{\mathrm{K}}
\newcommand{\qnorm}[1]{\left\Vert#1\right\Vert^2} \newcommand{\qnorm}[1]{\left\Vert#1\right\Vert^2}
\newcommand{\norm}[1]{\left\Vert#1\right\Vert}
\section{Fourier-Entwicklung} \section{Fourier-Entwicklung}
\begin{definition}[Periodische Funktionen] \begin{definition}[Periodische Funktionen]
$f: \R \to \K$ heißt $L$-periodisch $(L >0)$ falls $f(x+L) = f(x)$, $\forall x \in \R (\implies f(x+kL) = f(x),\; \forall k\in \Z)$. $f: \R \to \K$ heißt $L$-periodisch $(L >0)$ falls $f(x+L) = f(x)$, $\forall x \in \R (\implies f(x+kL) = f(x),\; \forall k\in \Z)$.
@@ -13,7 +12,7 @@
$$\tilde{f}(x) \coloneqq f\left(\frac{L}{2\pi}x\right) \implies f(x) = \tilde{f} \left(\frac{2\pi}{L}x\right)$$ $$\tilde{f}(x) \coloneqq f\left(\frac{L}{2\pi}x\right) \implies f(x) = \tilde{f} \left(\frac{2\pi}{L}x\right)$$
$$\tilde{f}(x + 2\pi) = f\left(\frac{L}{2\pi}(x + 2\pi)\right) = f\left(\frac{L}{2\pi}x + L\right) \overset{f\; L\text{-per}}{=} f\left(\frac{L}{2\pi}x\right) = \tilde{f}$$ $$\tilde{f}(x + 2\pi) = f\left(\frac{L}{2\pi}(x + 2\pi)\right) = f\left(\frac{L}{2\pi}x + L\right) \overset{f\; L\text{-per}}{=} f\left(\frac{L}{2\pi}x\right) = \tilde{f}$$
\end{bsp} \end{bsp}
Hier betrachten wir deshalb nur $2\pi$-periodische Funktionen $f: \R \to \K$. Weiterhin betrachen wir Funktionen $f:[0, 2\pi]\to \K$, $fin R[0,2\pi]$, $2\pi$-periodisch. Hier betrachten wir deshalb nur $2\pi$-periodische Funktionen $f: \R \to \K$. Weiterhin betrachen wir Funktionen $f:[0, 2\pi]\to \K$, $f\in R[0,2\pi]$, $2\pi$-periodisch.
\begin{bsp}[\underline{Trigonometrische Polynome}] \begin{bsp}[\underline{Trigonometrische Polynome}]
Für $a_k, b_k \in \C$ betrachte Für $a_k, b_k \in \C$ betrachte
\begin{align*} \begin{align*}
@@ -64,7 +63,7 @@ Frage: Hat jede $2\pi$-periodische Funktion die Form $\sum_{k = -n}^{n}c_ke^{ixk
Die (formale) \underline{Fourier-Reihe} von $f$ ist $$\sum_{k = -\infty}^{\infty}c_k e^{ikx}$$ mit der n-ten Partialsumme $$s_n(x) = s_n(f,x) \coloneqq \sum_{k = -n}^{n}c_ke^{ikx}.$$ Die Fourier-Reihe läßt sich in der Form schreiben Die (formale) \underline{Fourier-Reihe} von $f$ ist $$\sum_{k = -\infty}^{\infty}c_k e^{ikx}$$ mit der n-ten Partialsumme $$s_n(x) = s_n(f,x) \coloneqq \sum_{k = -n}^{n}c_ke^{ikx}.$$ Die Fourier-Reihe läßt sich in der Form schreiben
$$\frac{a_0}{2} + \sum_{k = 1}^{\infty}(a_k\cos(kx) + b_k \sin(kx))$$ wobei \begin{align*} $$\frac{a_0}{2} + \sum_{k = 1}^{\infty}(a_k\cos(kx) + b_k \sin(kx))$$ wobei \begin{align*}
a_k &= \frac{1}{\pi} \int_0^{2\pi} f(x) \cos(kx) \d x\\ a_k &= \frac{1}{\pi} \int_0^{2\pi} f(x) \cos(kx) \d x\\
b_k &= \frac{1}{\pi} \int_0^{1\pi} f(x) \sin(kx)\d x b_k &= \frac{1}{\pi} \int_0^{2\pi} f(x) \sin(kx)\d x
\end{align*} \end{align*}
\end{definition} \end{definition}
\begin{satz} \begin{satz}
@@ -156,7 +155,7 @@ $$F_n(x) = \int_\pi^x \frac{1}{2 \sin\left(\frac{y}{2}\right)} \cdot \sin\left(\
\begin{align*} \begin{align*}
\frac{(x - \pi)^2}{4} - \frac{(y-4)^1}{4} &= \int_y^x \frac{t-\pi}{2}\d t\\ \frac{(x - \pi)^2}{4} - \frac{(y-4)^1}{4} &= \int_y^x \frac{t-\pi}{2}\d t\\
&\stackrel{\ref{HilfslemmaC}}{=} -\int_y^x \sum_{k = 1}^{\infty}\frac{\sin(kt)}{k} \d t\\ &\stackrel{\ref{HilfslemmaC}}{=} -\int_y^x \sum_{k = 1}^{\infty}\frac{\sin(kt)}{k} \d t\\
&\stackrel{\text{glm. Konv.}}{\stackrel{\text{Satz reference 1.3.2}}{=}} \qquad - \sum_{k = 1}^{\infty}\int_y^x\frac{\sin(kt)}{k}\d t\\ &\stackrel{\text{glm. Konv.}}{\stackrel{\text{Satz \ref{permutesumint}}}{=}} \qquad - \sum_{k = 1}^{\infty}\int_y^x\frac{\sin(kt)}{k}\d t\\
&= \sum_{k = 1}^{\infty}\frac{\cos(kx)}{k^2} - \sum_{k = 1}^{\infty}\frac{\cos(ky)}{k^2}\\ &= \sum_{k = 1}^{\infty}\frac{\cos(kx)}{k^2} - \sum_{k = 1}^{\infty}\frac{\cos(ky)}{k^2}\\
\end{align*} \end{align*}
$$\xRightarrow{y \text{ fest}} \frac{(x-\pi)^2}{4} =\sum_{k = 1}^{\infty} \frac{\cos(kx)}{k^2} + C\quad \forall x\in (0, 2\pi), C \text{ konst}$$ $$\xRightarrow{y \text{ fest}} \frac{(x-\pi)^2}{4} =\sum_{k = 1}^{\infty} \frac{\cos(kx)}{k^2} + C\quad \forall x\in (0, 2\pi), C \text{ konst}$$
@@ -239,7 +238,7 @@ $$F_n(x) = \int_\pi^x \frac{1}{2 \sin\left(\frac{y}{2}\right)} \cdot \sin\left(\
\end{proof} \end{proof}
\begin{satz} \begin{satz}
Sei $f\in R[0,2\pi]$ eine $2\pi$-periodische Treppenfunktion. Dann konvergiert die Fourier-Reihe von $f$ im quadratischen Mittel gegen $f$ und es gilt die Parsevalsche Gleichung (sog. Vollständigkeitsrelation) Sei $f\in R[0,2\pi]$ eine $2\pi$-periodische Treppenfunktion. Dann konvergiert die Fourier-Reihe von $f$ im quadratischen Mittel gegen $f$ und es gilt die Parsevalsche Gleichung (sog. Vollständigkeitsrelation)
$$2 \pi \underbrace{\int_0^{2\pi} |f(x)|^2\d x}_{=\qnorm{f}} = \sum_{k = -\infty}^{\infty}|c_k|^2$$ $$\frac{1}{2\pi} \underbrace{\int_0^{2\pi} |f(x)|^2\d x}_{=\qnorm{f}} = \sum_{k = -\infty}^{\infty}|c_k|^2$$
\end{satz} \end{satz}
\begin{proof} \begin{proof}
O.B.d.A. sei $f$ reellwertig (sonst werden Real- und Imaginärteil getrennt behandelt) und $|f(x)| \leq 1 \forall x\in [0, 2\pi]$ (sonst betrachte $\overline{f}(x) \coloneqq \frac{f(x)}{M},\; M = \sup\limits_{x\in [0, 2\pi]} |f(x)|$). O.B.d.A. sei $f$ reellwertig (sonst werden Real- und Imaginärteil getrennt behandelt) und $|f(x)| \leq 1 \forall x\in [0, 2\pi]$ (sonst betrachte $\overline{f}(x) \coloneqq \frac{f(x)}{M},\; M = \sup\limits_{x\in [0, 2\pi]} |f(x)|$).
BIN
View File
Binary file not shown.
+4
View File
@@ -21,6 +21,7 @@
\RequirePackage{mathtools} \RequirePackage{mathtools}
\RequirePackage{forloop} \RequirePackage{forloop}
\RequirePackage{totcount} \RequirePackage{totcount}
\RequirePackage[hidelinks]{hyperref}
\usetikzlibrary{quotes, angles} \usetikzlibrary{quotes, angles}
@@ -137,3 +138,6 @@
% remove page before chapters % remove page before chapters
\let\cleardoublepage=\clearpage \let\cleardoublepage=\clearpage
%josua
\newcommand{\norm}[1]{\left\Vert#1\right\Vert}