Für Vorlesungen, bitte die Webseite verwenden. https://flavigny.de/lecture
Вы не можете выбрать более 25 тем Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.

181 строка
7.9KB

  1. \documentclass[uebung]{../../../lecture}
  2. \begin{document}
  3. \punkte
  4. \title{Analysis II: Übungsblatt 1}
  5. \author{Leon Burgard, Christian Merten}
  6. \begin{aufgabe}
  7. Integralberechnung
  8. \begin{enumerate}[(a)]
  9. \item Integration von Monom
  10. \[
  11. \int_{0}^{1} \sqrt{x\sqrt{x\sqrt{x} } } \d x = \int_{0}^{1} \sqrt{\sqrt{\sqrt{x^{7}} } } \d x
  12. = \int_{0}^{1} x^{\frac{7}{8}} \d x = \frac{8}{15} x^{\frac{15}{8}} \Big|_{0}^{1} = \frac{8}{15}
  13. .\]
  14. \item Produktintegration
  15. \begin{align*}
  16. \int_{0}^{1} e^{x}(1 - x + x^2) \d x
  17. &= e^{x}(1 - x + x^2) \Big|_{0}^{1} - \int_{0}^{1} e^{x}(2x-1) \d x \\
  18. &= e^{x}(1 - x + x^2) \Big|_{0}^{1} - \left( e^{x}(2x-1) - \int_{0}^{1} 2e^{x} \d x \right) \\
  19. &= e^{x}(1 - x + x^2) \Big|_{0}^{1} - e^{x}(2x-1) \Big|_{0}^{1} + 2e^{x} \Big|_{0}^{1} \\
  20. &= e^{x}(x^2 - 3x+4) \Big|_{0}^{1} \\
  21. &= 2e - 4
  22. .\end{align*}
  23. \item Mit Substitution $t = x^2$ folgt
  24. \begin{align*}
  25. \int_{0}^{1} e^{x^2} x^{3} \d x
  26. = \int_{0}^{1} e^{t} tx \frac{\d t}{2x}
  27. = \frac{1}{2} \int_{0}^{1} e^{t}\cdot t \d t
  28. = \frac{1}{2} \left( e^{t}\cdot t \Big|_{0}^{1} - \int_{0}^{1} e^{t} \d t\right)
  29. = \frac{1}{2}
  30. .\end{align*}
  31. \item Mit $(\tan x)' = \frac{1}{\cos^2(x)}$ folgt
  32. \begin{align*}
  33. \int_{0}^{\frac{\pi}{4}} \frac{x}{\cos^2(x)} \d x
  34. &= \tan(x) \cdot x \Big|_{0}^{\frac{\pi}{4}} - \int_{0}^{\frac{\pi}{4}} \tan x \d x
  35. \intertext{Mit Substitution $t = \cos x$ folgt}
  36. \int \tan x \d x
  37. &= \int \frac{\sin x}{\cos x} \d x
  38. = - \int \frac{\sin x}{t} \frac{\d x}{\sin x}
  39. = - \int \frac{1}{t} \d t
  40. = - \ln t
  41. = - \ln(\cos x)
  42. \intertext{Damit folgt}
  43. \int_{0}^{\frac{\pi}{4}} \frac{x}{\cos^2(x)} \d x
  44. &= \frac{\pi}{4} + \ln(\cos x) \Big|_{0}^{\frac{\pi}{4}}
  45. = \frac{\pi}{4} + \ln\frac{\sqrt{2} }{2}
  46. = \frac{1}{4} (\pi - \ln 4)
  47. .\end{align*}
  48. \end{enumerate}
  49. \end{aufgabe}
  50. \begin{aufgabe}
  51. Weitere Eigenschaften von Integralen
  52. \begin{enumerate}[(a)]
  53. \item Sei $f\colon [a,b] \to \R$ stetig und $\varphi, \psi\colon [c,d] \to [a,b]$ differenziebar.
  54. Beh.:
  55. \[
  56. \frac{d}{\d x} \int_{\varphi(x)}^{\psi(x)} f(t) \d t =
  57. f(\psi(x)) \psi'(x) - f(\varphi(x)) \varphi'(x), \quad x \in [c, d]
  58. .\]
  59. \begin{proof}
  60. $f$ stetig auf $[a,b]$, d.h. es ex. eine Stammfunktion $F$ von $f$ mit $F'(x) = f(x)$. Nach
  61. dem HDI gilt dann
  62. \[
  63. \int_{\varphi(x)}^{\psi(x)} f(t) \d t = F(\psi(x)) - F(\varphi(x))
  64. .\] Damit folgt mit Kettenregel
  65. \begin{align*}
  66. \frac{d}{\d x} \left( F(\psi(x)) - F(\varphi(x)) \right)
  67. = \frac{d}{\d x} F(\psi(x)) - \frac{d}{\d x} F(\varphi(x))
  68. = f(\psi(x)) \psi'(x) - f(\varphi(x)) \varphi'(x)
  69. .\end{align*}
  70. \end{proof}
  71. \item Sei $f\colon [a,b] \to \R$ stetig differenzierbar mit $f(a) = 0$.
  72. Beh.:
  73. \[
  74. \int_{a}^{b} |f(x)f'(x)| \d x \le \frac{b-a}{2} \int_{a}^{b} f'(x)^2 \d x
  75. .\]
  76. \begin{proof}
  77. Definiere $G(x) := \int_{a}^{x} |f'(t)| \d t $. Es folgt $G(a) = f(a) = 0$. Dann gilt
  78. $\forall x \in [a,b]$: $G(x) \ge 0$ und $G(x) \ge f(x)$.
  79. Außerdem ist $G'(x) = |f'(x)|$.
  80. Damit folgt:
  81. \begin{align*}
  82. \int_{a}^{b} |f(x)f'(x)| \d x \qquad
  83. &\le \qquad \int_{a}^{b} G(x)G'(x) \d x \\
  84. &= \qquad \frac{1}{2} \int_{a}^{b} (G^2(x))' \d x \\
  85. &\stackrel{G(a) = 0}{=} \qquad \frac{1}{2} G(b)^2 \\
  86. &\stackrel{G(a) = 0}{=} \qquad \frac{1}{2} \left| \int_{a}^{b} G'(x) \d x \right|^2 \\
  87. &\stackrel{\text{CSU}}{\le} \qquad \frac{1}{2} \int_{a}^{b} 1 \d x \cdot \int_{a}^{b} G'(x)^2 \d x \\
  88. &\stackrel{G'(x) = |f'(x)|}{=} \qquad \frac{b-a}{2} \cdot \int_{a}^{b} f'(x)^2 \d x
  89. .\end{align*}
  90. \end{proof}
  91. \end{enumerate}
  92. \end{aufgabe}
  93. \begin{aufgabe}[Funktionenfolgen und Integration]
  94. Für $n \in \N$ sei $f_n\colon [0, \infty) \to \R$ definiert durch
  95. \[
  96. f_n(x) := \frac{n^2 x}{(1+n^2x^2)^2}
  97. .\] Beh.:
  98. \[
  99. \lim_{n \to \infty} \int_{0}^{1} f_n(x) \d x \neq \int_{0}^{1} \lim_{n \to \infty} f_n(x) \d x
  100. .\]
  101. \begin{proof}
  102. Zunächst linke Seite mit Substitution $t = 1+n^2x^2$:
  103. \[
  104. \int_{0}^{1} \frac{n^2x}{(1+n^2x^2)^2} \d x
  105. = \frac{1}{2} \int_{1}^{1+n^2} \frac{\d t}{t^2}
  106. = - \frac{1}{2} \frac{1}{t} \Big|_{1}^{1+n^2}
  107. = - \frac{1}{2 + 2n^2} + \frac{1}{2}
  108. \xrightarrow{n \to \infty} \frac{1}{2}
  109. .\] Zu zeigen: $f_n \xrightarrow[\text{punktweise}]{n \to \infty} f(x) := 0$. Sei $x \in \R$ beliebig.
  110. \[
  111. |f_n(x) - f(x)|
  112. = \left| \frac{x}{\frac{1}{n^2} + 2x^2 + n^2x^{4}} \right| \xrightarrow{n \to \infty} 0
  113. .\] Damit folgt
  114. \[
  115. \lim_{n \to \infty} \int_{0}^{1} f_n(x) \d x = \frac{1}{2} \neq 0 = \int_{0}^{1} 0 \d x
  116. = \int_{0}^{1} \lim_{n \to \infty} f_n(x) \d x
  117. .\]
  118. \end{proof}
  119. Da $f_n$ nicht gleichmäßig konvergent ist, ist Satz 1.3.1 nicht anwendbar.
  120. \begin{proof}
  121. Zu zeigen: $f_n$ nicht gleichmäßig konvergent.
  122. Sei $\epsilon > 0$ und $n \in \N$ mit $n > \frac{\epsilon \cdot 16}{\sqrt{27} }$. Dann wähle
  123. $x_0 = \frac{1}{\sqrt{3} n}$. Mit $f_n(x_0) = \frac{\sqrt{27} n}{16}$ folgt
  124. \[
  125. |f_n(x_0) - f(x_0)| = |f_n(x_0)|
  126. = \left| \frac{\sqrt{27} n}{16} \right|
  127. > \left| \frac{\sqrt{27} \epsilon 16}{16\sqrt{27}} \right|
  128. = \epsilon
  129. .\]
  130. \end{proof}
  131. \end{aufgabe}
  132. \begin{aufgabe}[Uneigentliche Integrale und Funktionenfolgen]
  133. Für $n \in \N$ sei $f_n \colon [0, \infty) \to \R$ definiert durch
  134. \[
  135. f_n(x) := \frac{1}{n} e^{-\frac{x}{n}}, \quad x \ge 0
  136. .\] Beh.: $(f_n)_{n\in\N}$ konvergiert gleichmäßig, aber
  137. \[
  138. \lim_{n \to \infty} \int_{0}^{\infty} f_n(x) \d x \neq \int_{0}^{\infty} \lim_{n \to \infty} f_n(x) \d x
  139. .\]
  140. \begin{proof}
  141. Zu zeigen: $f_n \xrightarrow[\text{gleichmäßig}]{n \to \infty} f(x) := 0$.
  142. Sei $\epsilon > 0$ und $x \in [0, \infty)$ beliebig. Wähle $n_0 > \frac{1}{\epsilon}$. Wegen
  143. $x \ge 0$ und $n \ge 1$, folgt $\frac{x}{n} \ge 0 \implies e^{-\frac{x}{n}} \le 1$.
  144. Damit folgt direkt $\forall n \in \N$, $n \ge n_0$:
  145. \[
  146. \left| \frac{1}{n} e^{-\frac{x}{n}} - 0 \right| \le \frac{1}{n} \cdot 1 \le \frac{1}{n_0}
  147. < \frac{1}{\frac{1}{\epsilon}} = \epsilon
  148. .\] $\implies f_n \xrightarrow[\text{gleichmäßig}]{n \to \infty} f(x)$.
  149. Damit folgt
  150. \[
  151. \int_{0}^{1} \frac{1}{n} e^{-\frac{x}{n}} \d x
  152. = - e^{-\frac{x}{n}} \Big|_{0}^{\infty} = - \left( \lim_{x \to \infty} e^{-\frac{x}{n}} - 1 \right)
  153. = 1 \neq 0 = \int_{0}^{\infty} f(x) \d x = \int_{0}^{\infty} \lim_{n \to \infty} f_n(x) \d x
  154. .\]
  155. \end{proof}
  156. $[0, \infty)$ ist kein kompaktes Intervall, weshalb Satz 1.3.1 nicht anwendbar ist.
  157. \end{aufgabe}
  158. \begin{aufgabe}[Stammfunktionen]
  159. Mit Produktintegration folgt sofort
  160. \begin{align*}
  161. &\int \cos(x) \sin(x) \d x = - \cos^2(x) - \int \cos(x) \sin(x) \d x \\
  162. \implies & 2 \int \cos(x) \sin(x) \d x = - \cos^2(x) \\
  163. \implies & \int \cos(x) \sin(x) \d x = - \frac{1}{2} \cos^2(x)
  164. .\end{align*}
  165. \end{aufgabe}
  166. \end{document}