Merge branch 'master' of gitea:christian/uni

lecture.cls

@@ -111,3 +111,8 @@
 \renewcommand{\stackrel}[2]{%
     \oldstackrel{\mathclap{#1}}{#2}
 }%
+
+% integral d sign
+\makeatletter \renewcommand\d[1]{\ensuremath{%
+  \;\mathrm{d}#1\@ifnextchar\d{\!}{}}}
+\makeatother

ws2019/ana/lectures/analysis.tex

@@ -40,5 +40,6 @@
 \input{analysis22.tex}
 \input{analysis23.tex}
 \input{analysis24.tex}
+\input{analysis25.tex}
 
 \end{document}

ws2019/ana/lectures/analysis25.tex

@@ -0,0 +1,266 @@
+\documentclass{../../../lecture}
+
+\begin{document}
+
+\begin{korrolar}[2. Mittelwertsatz]
+    Seien $f\colon I \to \R$ monoton, $g\colon I \to \R$ R.-integrierbar. Dann
+    ex. $\xi \in [a,b]$ s.d.
+    \[
+        \int_{a}^{b} f(x) g(x) dx = f(a) \int_{a}^{\xi} g(x) dx + f(b) \int_{\xi}^{b} g(x) dx   
+    .\]
+\end{korrolar}
+
+\begin{proof}
+    o.B.d.A: $f$ monoton fallend.
+
+    Definiere $\phi(t) := f(a) \int_{a}^{t} g(x) dx + f(b) \int_{t}^{b} g(x) dx $, $a \le t \le b$.
+    Nach HDI $\phi(t)$ stetig.
+    \[
+        \varphi(a) = f(b) \int_{a}^{b} g(x) dx \qquad \quad
+        \stackrel{f \text{ monoton fallend}}{\le} \qquad \quad
+        \int_{a}^{b} f(x) g(x) dx
+        \le f(a) \int_{a}^{b} g(x) dx = \varphi(b) 
+    .\] Nach ZWS $\exists \xi \in [a,b]$ s.d.
+    $\varphi(\xi) = \int_{a}^{b} f(x) g(x) dx $.
+\end{proof}
+
+\begin{bem}
+    Monotonie unverzichtbar. $f(x) = x^2$, $g(x) = 1$, $I = [-1,1]$.
+    \begin{align*}
+         &f(-1) \int_{-1}^{\xi} g(x) dx + f(1) \int_{\xi}^{1} g(x) dx
+         = \int_{-1}^{1} 1 dx = 2  \quad \forall \xi \in I\\
+         & \int_{-1}^{1} x^2 dx = \frac{x^{3}}{3} \Big|_{-1}^{1} = \frac{1}{3} - \left( -\frac{1}{3} \right) = \frac{2}{3} \neq 2
+    .\end{align*}
+\end{bem}
+
+\subsection{Integrationsformeln}
+
+\begin{lemma}[Partielle Integration]
+    $f, g\colon  [a,b] \to \R$ stetig differenzierbar. Dann gilt
+    \begin{align*}
+        \int_{a}^{b} f'(x) g(x) dx = \left[ f(x) \cdot g(x) \right] \Big|_{a}^{b} - \int_{a}^{b} f(x) g'(x) dx 
+    .\end{align*}
+\end{lemma}
+
+\begin{proof}
+    $(f \cdot g)'(x) = f' \cdot g + f\cdot g' \implies$
+    \begin{align*}
+        \int_{a}^{b} (f' \cdot g + f\cdot g')(x) dx =
+        \int_{a}^{b} (f \cdot g)'(x) dx
+        \stackrel{\text{HDI}}{=} (f \cdot g)(x) \Big|_{a}^{b}
+    .\end{align*}
+\end{proof}
+
+\begin{bsp}
+    \begin{align*}
+        \int_{a}^{b} \cos^2(x) &= \int_{a}^{b} \cos x \cdot \cos x dx   \\
+        &= \cos x \cdot \sin x \Big|_{a}^{b} - \int_{a}^{b} (- \sin x) \sin x dx  \\
+        &= \cos x \cdot \sin x |Big_{a}^{b} + \int_{a}^{b} (1 - \cos^2(x))dx \\
+        \implies 2 \int_{a}^{b} \cos^2(x) dx &= \cos x \cdot \sin x
+        \Big|_{a}^{b} + \int_{a}^{b} dx 
+    .\end{align*}
+\end{bsp}
+
+\begin{lemma}
+    Seien $[a,b], [\alpha, \beta] \subset \R$, $f\colon [a,b] \to \R$ stetig,
+    $\varphi\colon [\alpha, \beta] \to [a,b]$ stetig differenzierbar
+    mit $a = \varphi(\alpha)$, $b= \varphi(\beta)$. Dann gilt
+    \begin{align*}
+        \int_{a}^{b} f(\varphi(t)) \varphi'(t) dt =
+        \int_{a = \varphi(\alpha)}^{b = \varphi(\beta)} f(x) dx
+    .\end{align*}
+\end{lemma}
+
+\begin{proof}
+    Sei $F$ eine Stammfunktion von $f$. Dann
+    $F \circ \varphi \colon [\alpha, \beta] \to \R$ stetig differenzierbar
+    und
+    \begin{align*}
+        (F \circ \varphi)' = (F'(\varphi(t))) \cdot \varphi'(t)
+        = f(\varphi(t)) \cdot \varphi'(t)
+    .\end{align*}
+    \begin{align*}
+        \int_{\alpha}^{\beta} f(\varphi(t)) \varphi'(t) dt = 
+        \int_{\alpha}^{\beta} (F \circ \varphi)'(t) dt
+        = (F \circ \varphi)(t) \Big|_{\alpha}^{\beta}
+        = F(\varphi(\beta)) - F(\varphi(\alpha))
+        = \int_{\varphi(\alpha)}^{\varphi(\beta)}   f(x) dx
+    .\end{align*}
+\end{proof}
+
+\begin{bem}
+    Formal:
+    $x = \varphi(t)$
+    \begin{align*}
+        \frac{dx}{dt} = \varphi'(t) \implies dx = \varphi'(t) dt \\
+        \int_{\varphi(\alpha) = a}^{\varphi(\beta) = b} 
+        f(x) dx = \int_{a}^{b} f(\varphi(t)) \varphi'(t) dt 
+    .\end{align*}
+\end{bem}
+
+\begin{bsp}
+    \begin{align*}
+        \int_{0}^{2} t \cdot \cos(\underbrace{t^2 + t}_{x}) dt
+        = \frac{1}{2} \int_{0}^{2} \cos(\underbrace{t^2 + t}_{\varphi(t)})
+        \cdot 2 t dt
+        = \frac{1}{2} \int_{\varphi(0) = 1}^{\varphi(2) = 5} \cos x dx
+    .\end{align*}
+\end{bsp}
+
+\subsection{Uneigentliche Integrale}
+
+\begin{satz}[Uneigentliches R.-Integral Typ 1]
+    Sei $f\colon (a, b] \to \R$ auf $(a, b]$
+    R.-integrierbar, d.h. $f$ R.-integrierbar auf
+    $\forall [a', b] \subset (a, b]$, aber nicht auf
+    $[a,b]$.
+
+    Falls für alle Folgen $a_n \in (a,b]$ ex.
+    \begin{align*}
+        \lim_{a_n \searrow a} \int_{a_n}^{b} f(x) dx =: \int_{a}^{b} f(x) dx
+    .\end{align*}
+    Dann gilt: Dieser Limes ist von der Wahl der Folge $a_n$ unabhängig und
+    heißt das uneigentliche Integral von $f$ über $[a,b]$.
+\end{satz}
+
+\begin{figure}[h!]
+    \begin{tikzpicture}
+        \begin{axis}%
+            [grid=both,
+             minor tick num=4,
+             grid style={line width=.1pt, draw=gray!10},
+             major grid style={line width=.2pt,draw=gray!50},
+             axis lines=middle,
+             enlargelimits={abs=0.2},
+             ymax=10,
+             ymin=0,
+             width=.5\textwidth
+            ]
+            \addplot[domain=0:2,samples=100,smooth,red] {1/x};
+          \end{axis}
+    \end{tikzpicture}
+\end{figure}
+
+\begin{proof}
+    Sei $(a_n')_{n \in \N}$ eine weitere Folge mit
+    \[
+        \lim_{a_n \searrow a} \int_{a'}^{b} f(x) dx = A' 
+    .\] Konstruiere Folge $\{a_1, a_1', a_2, a_2', \ldots\} = (a''_n)_{n \in \N}$. Nach Voraussetzungen
+    \begin{align*}
+        \exists \lim_{a_n'' \searrow a} \int_{a''}^{b} f(x) dx = A''
+    .\end{align*}
+    Alle Teilfolgen konvergenter Folgen, konvergieren gegen denselben
+    Limes wie die Gesamtfolge $\implies A''= A'$.
+\end{proof}
+
+\begin{lemma}
+    Sei $f\colon (a,b] \to \R$ auf $(a, b]$ aber nicht auf  $[a,b]$
+    integrierbar.
+
+    Falls das uneigentliche Integral von  $|f|$ auf  $[a,b]$ ex., dann
+    ex. das uneigentliche Integral von $f$ über $[a,b]$ und es gilt
+     \begin{align*}
+         \left| \int_{a}^{b} f(x) dx  \right| \le \int_{a}^{b} |f(x)| dx 
+    .\end{align*}
+\end{lemma}
+
+\begin{proof}
+    Sei $\epsilon > 0, \epsilon < b - a$. Betrachte
+    \begin{align*}
+        \int_{a + \epsilon}^{b} f(x) dx =
+        \int_{a + \epsilon}^{b} \frac{|f(x)| + f(x)}{2} dx
+        - \int_{a + \epsilon}^{b} \frac{|f(x)| - f(x)}{2} dx
+    .\end{align*}
+    Integrale sind gleichmäßig beschränkt.
+    \begin{align*}
+        \frac{|f(x)| + f(x)}{2} > 0 \quad \forall x \text{ und }
+        \frac{|f(x)| - f(x)}{2} > 0 \quad \forall x
+    .\end{align*}
+    $\implies \int_{a+ \epsilon}^{b} \ldots dx $ monoton wachsend für
+    $\epsilon \to 0$ und
+    \begin{align*}
+        \left| \int_{a+\epsilon}^{b} \frac{|f(x)| + f(x)}{2} dx  \right|
+        + \left| \int_{a+\epsilon}^{b} \frac{|f(x)| - f(x)}{dx}  \right|
+        \le \frac{4}{2} \int_{a+\epsilon}^{b} |f(x)| dx 
+        \le 2 \int_{a}^{b} |f(x)|dx 
+    .\end{align*}
+    $\implies$ Für $\epsilon \to 0$:
+    \begin{align*}
+        \exists \lim_{\epsilon \to 0}
+        \int_{a + \epsilon}^{b} f(x) dx =: \int_{a}^{b} f(x) dx  
+    .\end{align*}
+\end{proof}
+
+\begin{bem}
+    \begin{enumerate}
+        \item Umkehrung der Aussage
+    (d.h. $f$ uneigentlich integrierbar $\implies |f|$ uneigentlich
+    integrierbar) ist i.A. nicht richtig.
+
+    ,,einfache'' Konvergenz, d.h.
+    $\exists \lim_{\epsilon \to 0} \int_{a+ \epsilon}^{b} f(x) dx$.
+
+    ,,absolute'' Konvergenz / absolut uneigentlich integrierbar, d.h.
+    $\exists \lim_{\epsilon \to 0} \int_{a + \epsilon}^{b} |f(x)| dx$.
+\item
+    Sei $\int_{a}^{b} f(x) dx $ bei $b$ uneigentlich und 
+    bei $a $ nicht uneigentlich, dann definiert man das uneigentliche Integral
+    \begin{align*}
+        \int_{a}^{b} f(x) dx := &\lim_{x \to b} \int_{a}^{x} f(t) dt \quad \text{oder }\\
+                                &\lim_{\epsilon \to 0} \int_{a}^{b - \epsilon} f(x) dx
+    .\end{align*}
+    falls der Limes existiert!
+\item Sei $\int_{a}^{b} f(x) dx  $ bei $a$ und $b$ uneigentlich, dann
+    \begin{align*}
+        \int_{a}^{b} f(x) dx := \lim_{\epsilon \to 0} \int_{c}^{b - \epsilon} f(x) dx + \lim_{\epsilon \to 0} \int_{a+\epsilon}^{c} f(x) dx  
+    .\end{align*} mit $c \in (a,b)$, falls beide Grenzwerte
+    existieren, ist der Wert unabhängig von der Wahl von $c \in (a,b)$.
+\item Uneigentliches Integral existiert $\iff$ uneigentliches Integral
+    konvergiert.
+    \end{enumerate}
+\end{bem}
+
+\begin{lemma}[wie bei Reihen]
+    Absolute Konvergenz $\implies$ Einfache Konvergenz
+\end{lemma}
+
+\begin{bsp}
+    \begin{align*}
+        \int_{a + \epsilon}^{b} \frac{dx}{x - a}  = \ln(b-a) - \ln(\epsilon)
+        \xrightarrow{\epsilon \to 0} \infty
+    .\end{align*}
+    \begin{align*}
+        \int_{a + \epsilon}^{b} \frac{dx}{(x-a)^{\mu}} 
+        = \frac{1}{1 - \mu} \frac{1}{(x-a)^{\mu -1}} \Big|_{a + \epsilon}^{b}
+        = \frac{1}{1 - \mu} \left( \frac{1}{(b-a)^{\mu - 1}} - \frac{1}{\epsilon^{\mu - 1}} \right)
+    .\end{align*}
+    $\implies$ Integral ex. für $0 < \mu < 1$, ex. nicht für $\mu \ge 1$.
+\end{bsp}
+
+\begin{satz}[Uneigentliche R.-Integrale Typ 2]
+    Sei $f\colon [a, \infty] \to \R$ eine lokal integrierbare
+    Funktion, d.h. $f$ ist auf $[a,b'] \subset [a, \infty)$ integrierbar
+    $\forall b'$.
+
+    Falls für alle Folgen $b_n \in [a, +\infty)$ der Limes
+    \begin{align*}
+        \lim_{b_n \to \infty} \int_{a}^{b_n} f(x) dx =:
+        \int_{a}^{\infty} f(x) dx
+    .\end{align*} existiert, dann ist dieser unabhängig von der Wahl
+    der Folge $(b_n)_{n\in\N}$ und heißt uneigentliches Integral von
+    $f$ über $[a, \infty)$.
+\end{satz}
+
+\begin{lemma}
+    Sei $f\colon [a, \infty) \to \R$ lokal integrierbar und es existiere
+    $\int_{a}^{\infty} |f(x)| dx $. Dann ex. $\int_{a}^{\infty} f(x) dx $ 
+    und es gilt
+    \begin{align*}
+        \left| \int_{a}^{\infty} f(x) dx \right| \le \int_{a}^{\infty} |f(x)| dx 
+    .\end{align*}
+\end{lemma}
+
+\begin{proof}[Ende]
+\end{proof}
+
+\end{document}

ws2019/ana/lectures/analysis26.tex

@@ -0,0 +1,133 @@
+\documentclass{../../../lecture}
+
+\begin{document}
+
+\subsection{Konvergenzkriterien für uneigentliche Integrale}
+
+\begin{satz}[Cauchy-Kriterium]
+    Es sei $-\infty < a < b \le + \infty$ und $f\colon [a,b) \to \R$ lokal
+    integrierbar $\forall [a,c] \subset [a,b)$.
+    Dann gilt: $\int_{a}^{b} f(x) dx $ konvergiert genau dann, wenn
+    $\forall \epsilon > 0$ $\exists a < b_{\epsilon} < b$ s.d.
+    $\forall b_{\epsilon} < b_1 < b_2 < b$ gilt
+    \begin{align*}
+        \left| \int_{b_1}^{b_2} f(x) dx  \right|  < \epsilon
+    .\end{align*}
+\end{satz}
+
+\begin{satz}[Majoranten-Minoranten Kriterium]
+    Seien $f, g, h \colon [a, b) \to \R (b \le \infty)$
+    integrierbar $\forall [a,c] \subset [a,b)$ und
+    $ 0 \le h(x) \le |f(x)| \le g(x)$ $\forall x \in [a,b)$.
+    Dann gilt:
+    \begin{align*}
+        \int_{a}^{b} |f(x)| dx \begin{cases}
+            \text{konvergent, falls } \int_{a}^{b} g(x) \d x \text{ konvergent}  \\
+            \text{divergent, falls } \int_{a}^{b} h(x) \d t \text{ divergent} 
+        \end{cases}
+    .\end{align*}
+\end{satz}
+
+\begin{satz}[Grenzwertkriterium]
+    Seien $f, g\colon [a, b) \to \R$ $(b \le \infty)$ integrierbar
+    $\forall [a,c] \subset [a,b)$ und es ex. der Grenzwert
+    $\lim_{t \nearrow b} \frac{f(t)}{g(t)} \in (0, +\infty) $ Dann
+    sind die Integrale $\int_{a}^{b} f(x) \d x $ und
+    $\int_{a}^{b} g(x) \d x $ entweder beide konvergent oder beide
+    divergent.
+\end{satz}
+
+\begin{satz}
+    Seien $a_n, b_n$ positiv und $\frac{a_n}{b_n} \xrightarrow{n \to \infty} q \in (0, \infty)$. Dann sind $\sum_{k=1}^{\infty} a_n$ und
+    $\sum_{k=1}^{\infty} b_n$ entweder beide konvergent oder beide divergent.
+\end{satz}
+
+\begin{satz}[Dirichlet-Kriterium]
+    Sei $f\colon [a, \infty) \to \R$ in $[a, \infty)$ integrierbar und
+    $\sup_{x \ge a} \left| \int_{a}^{x} f(t) \d t \right| = M < \infty$.
+
+    Sei $g\colon [a, \infty) \to \R_{+}$ differenzierbar und
+    monoton gegen Null fallend, dann ex. das uneigentliche Integral
+    \begin{align*}
+        \int_{a}^{\infty} f(t) g(t) \d t = \lim_{x \to \infty} \int_{a}^{x} f(t)g(t) \d t 
+    .\end{align*}
+\end{satz}
+
+\begin{bsp}
+    $\int_{1}^{\infty} \frac{\sin x}{x} \d x$ mit
+    $f(x) = \sin x$ und $g(x) = \frac{1}{x}$.
+\end{bsp}
+
+\begin{proof}
+    $f, g$ sind integrierbar, $f\cdot g$ auch
+    integrierbar auf $[a,x] \subset [a, \infty)$ $\forall x$.
+    Das Integral $F(x) = \int_{a}^{x} f(t) \d t $ ex. und
+    ist Stammfunktion von $f$ nach HDI.
+
+    Es gilt (partielle Integration)
+    \begin{align*}
+        \int_{a}^{x} f(t) g(t) \d t = F(t) g(t) \Big|_{a}^{x} -
+        \int_{a}^{x} f(t) g'(t) \d t
+    .\end{align*}
+    Sei $\epsilon > 0$ beliebig. Dann ex. $\beta_{\epsilon} > a$ s.d.
+    \begin{align*}
+        g(x) < \frac{\epsilon}{2M} \text{ für } x \ge \beta_{\epsilon}
+        \quad g \text{ (monoton gegen Null fallend)}
+    .\end{align*} und $g'(x) \le 0$.
+
+    Sei $\beta > \alpha \ge \beta_{\epsilon}$ 
+    \begin{align*}
+        \left| \int_{\alpha}^{\beta} F(t) g'(t)\d t  \right| 
+        &\le M \int_{\alpha}^{\beta} |g'(t)| \d t  \\
+        &= - M \int_{\alpha}^{\beta} g'(t) \d t \\
+        &= - M g(t) \Big|_{\alpha}^{\beta} \\
+        &= - M (g(\beta) - g(\alpha)) = M (g(\alpha) - g(\beta)) \\
+        &\le 2 M g(\alpha) \le \epsilon \quad
+        \forall \alpha \ge \beta_{\epsilon}
+    .\end{align*}
+
+    Nach Cauchy-Kriterium existiert
+    \begin{align*}
+        \lim_{x \to \infty} \int_{a}^{x} F(t) g'(t) \d t 
+        = \int_{a}^{\infty} F(t) g'(t) \d t
+    .\end{align*}
+
+    Dann gilt
+    \begin{align*}
+        \lim_{x \to \infty} \int_{a}^{x} f(t) g(t) \d t
+        = \lim_{x \to \infty} \underbrace{F(x)}_{\text{beschränkt}}
+        \underbrace{g(x)}_{\xrightarrow{x \to \infty} 0}
+        - \lim_{x \to \infty} \underbrace{F(a)}_{= 0} g(a) -
+        \underbrace{\int_{a}^{\infty} F(t) g'(t) \d t}_{\text{existiert}}
+    .\end{align*}
+    $\implies \lim_{x \to \infty} \int_{a}^{x} f(t) g(t) \d t $ existiert.
+\end{proof}
+
+\begin{satz}[Integralkriterium für Reihen]
+    Sei $f\colon [n_0, \infty) \to \R$ eine stetige
+    monton fallende Funktion. Dann gilt:
+    \[
+        \sum_{k=n_0}^{\infty} f(k) < \infty \iff
+        \int_{n_0}^{\infty} f(x) \d x < \infty
+    .\] 
+\end{satz}
+
+\begin{proof}
+    ,,$\implies$'' Die Reihe ist konvergent. Sei $n > n_0$, $n \in \N$
+    \[
+        \int_{n_0}^{n+1} f(x) \d x = \sum_{k=n_0}^{n} \int_{k}^{k+1} f(x) \d x
+        \quad \qquad \stackrel{f \text{ monoton fallend}}{\le } \qquad \quad
+        \sum_{k=n_0}^{n} f(k) \cdot 1 \le \sum_{k=n_0}^{\infty} f(k) < \infty
+    .\] $\implies \int_{n_0}^{\infty} f(x) \d x $ existiert.
+
+    ,,$\impliedby$'' $\int_{n_0}^{\infty} f(x) \d x $ existiert. Dann gilt
+    \begin{align*}
+        \sum_{k=n_0}^{n} f(k) &= f(n_0) + \sum_{k=n_0}^{n-1} f(k+1) \\
+                              &\le f(n_0) + \sum_{k=n_0}^{n-1} \int_{k}^{k+1} f(t) \d t \\
+                              &\le f(n_0) + \int_{n_0}^{\infty} f(t) \d t 
+                              < \infty \quad \forall n
+    .\end{align*}
+    $\implies$ die Reihe ist konvergent.
+\end{proof}
+
+\end{document}