Analysis UE — Theorie & Beispiele

Benötigte Theorie aus Drmota, Mathematik für Informatik, für die Übungsbeispiele 163–399.

Kurvendiskussion

Bsp 163 $f(x) = \sin x - \cos x$ auf $[0,2\pi]$   Bsp 170 $f(x) = x\,e^{-x^2}$

Benötigte Theorie

Ableitungsregeln (Satz 5.5)

Wichtige Ableitungen: $(\sin x)' = \cos x$, $(\cos x)' = -\sin x$, $(e^x)' = e^x$.

Checkliste Kurvendiskussion
  1. Definitionsbereich und Symmetrie ($f(-x)=f(x)$? gerade. $f(-x)=-f(x)$? ungerade.)
  2. Nullstellen: $f(x)=0$ lösen.
  3. Erste Ableitung $f'(x)$: Stellen mit $f'(x)=0$ sind kritische Punkte (Kandidaten für Extrema). $f'(x)>0$: monoton steigend, $f'(x)<0$: monoton fallend.
  4. Zweite Ableitung $f''(x)$: $f''(x_0)<0 \Rightarrow$ lokales Maximum, $f''(x_0)>0 \Rightarrow$ lokales Minimum. Stellen mit $f''(x)=0$ (und Vorzeichenwechsel) sind Wendepunkte.
  5. Randwerte und Grenzwerte: $\lim_{x\to\pm\infty}f(x)$, Verhalten an Intervallgrenzen.
  6. Skizze des Graphen.
Notwendige/Hinreichende Bedingung für Extrema (Sätze 5.8, 5.15)

Notwendig: Ist $f$ differenzierbar in $x_0$ und hat dort ein lokales Extremum, so gilt $f'(x_0)=0$.

Hinreichend: Ist $f'(x_0)=0$ und $f''(x_0)\neq 0$, dann:

$$f''(x_0) < 0 \implies \text{lokales Maximum}, \quad f''(x_0) > 0 \implies \text{lokales Minimum}$$

Durchgerechnet: Bsp 163

Bsp 163: $f(x)=\sin x - \cos x$ auf $[0,2\pi]$

Trick: Umschreiben als $f(x) = \sqrt{2}\sin\!\left(x - \frac{\pi}{4}\right)$ (Additionstheorem).

Nullstellen: $\sin x = \cos x \iff \tan x = 1 \iff x = \frac{\pi}{4}, \frac{5\pi}{4}$.

Ableitung: $f'(x) = \cos x + \sin x = \sqrt{2}\cos\!\left(x - \frac{\pi}{4}\right)$.

$f'(x)=0 \iff x = \frac{3\pi}{4}, \frac{7\pi}{4}$.

2. Ableitung: $f''(x) = -\sin x + \cos x$.

Wendepunkte: $f''(x)=0 \iff \cos x = \sin x \iff x = \frac{\pi}{4}, \frac{5\pi}{4}$ (gleich den Nullstellen!).

$f(x) = \sin x - \cos x$: Nullstellen (grün), Extrema (rot/blau), Wendepunkte (gelb).

Durchgerechnet: Bsp 170

Bsp 170: $f(x) = x\,e^{-x^2}$

Symmetrie: $f(-x) = -f(x)$ → ungerade Funktion (punktsymmetrisch zum Ursprung).

Nullstelle: $f(x)=0 \iff x=0$.

Grenzwerte: $\lim_{x\to\pm\infty} x\,e^{-x^2} = 0$ (Exponential dominiert Polynom).

1. Ableitung (Produktregel): $f'(x) = e^{-x^2} + x\cdot(-2x)e^{-x^2} = e^{-x^2}(1-2x^2)$.

$f'(x)=0 \iff 1-2x^2 = 0 \iff x = \pm\frac{1}{\sqrt{2}}$.

2. Ableitung: $f''(x) = e^{-x^2}(-6x+4x^3)= 2x\,e^{-x^2}(2x^2-3)$.

Wendepunkte: $f''(x)=0 \iff x=0$ oder $x = \pm\sqrt{\frac{3}{2}}$.

$f(x)=xe^{-x^2}$: Ungerade Funktion mit Maximum bei $1/\sqrt{2}$ und Minimum bei $-1/\sqrt{2}$.

Taylor-Entwicklung & Potenzreihen

Bsp 183 Taylor-Approximation von $f(x)=8(x+1)^{3/2}$, Fehler bei $x=0.3$   Bsp 190 Potenzreihe von $\cosh(x)$ an $x_0=0$

Satz 5.20 — Taylor-Formel mit Restglied

Ist $f$ $(n+1)$-mal differenzierbar, so gilt:

$$f(x) = \underbrace{\sum_{k=0}^n \frac{f^{(k)}(x_0)}{k!}(x-x_0)^k}_{T_n(x)} + \underbrace{\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-x_0)^{n+1}}_{R_n(x)}$$

mit einem $\xi$ zwischen $x_0$ und $x$ (Lagrange-Restglied).

Fehlerabschätzung

$|R_n(x)| \leq \frac{M}{(n+1)!}|x-x_0|^{n+1}$ wobei $M = \max_{t \in [x_0,x]}|f^{(n+1)}(t)|$.

Da $\xi$ unbekannt ist, schätzt man $|f^{(n+1)}(\xi)|$ durch das Maximum im Intervall $[x_0, x]$ nach oben ab.

Bsp 183: $f(x)=8(x+1)^{3/2}$, Fehler bei $x=0.3$

Ableitungen bei $x_0=0$:

Lineares Taylorpolynom: $T_1(x) = 8 + 12x$, $T_1(0.3) = 11.6$

Quadratisches: $T_2(x) = 8 + 12x + 3x^2$, $T_2(0.3) = 11.87$

Exakter Wert: $f(0.3) = 8\cdot 1.3^{1.5} \approx 11.858$

Fehler $|R_1(0.3)|$: $|f''(\xi)| = 6(1+\xi)^{-1/2} \leq 6$ für $\xi \in [0,0.3]$, also $|R_1| \leq \frac{6}{2}\cdot 0.3^2 = 0.27$.

Fehler $|R_2(0.3)|$: $|f'''(\xi)| = 3(1+\xi)^{-3/2} \leq 3$, also $|R_2| \leq \frac{3}{6}\cdot 0.3^3 = 0.0135$.

Potenzreihen & Taylorreihen

Die Taylorreihe ist das Taylorpolynom mit $n\to\infty$: $f(x) = \sum_{k=0}^\infty \frac{f^{(k)}(x_0)}{k!}(x-x_0)^k$.

Wichtige Reihen ($x_0=0$):

$$e^x = \sum_{n=0}^\infty \frac{x^n}{n!}, \quad \sin x = \sum_{n=0}^\infty \frac{(-1)^n x^{2n+1}}{(2n+1)!}, \quad \cos x = \sum_{n=0}^\infty \frac{(-1)^n x^{2n}}{(2n)!}$$
Bsp 190: Potenzreihe von $\cosh(x)$ an $x_0=0$

$\cosh(x) = \frac{e^x + e^{-x}}{2}$. Setze die Reihe für $e^x$ und $e^{-x}$ ein:

$$\cosh(x) = \frac{1}{2}\left(\sum_{n=0}^\infty \frac{x^n}{n!} + \sum_{n=0}^\infty \frac{(-x)^n}{n!}\right)$$

Ungerade Terme ($(-x)^n = -x^n$) heben sich auf, gerade Terme verdoppeln sich:

$$\boxed{\cosh(x) = \sum_{n=0}^\infty \frac{x^{2n}}{(2n)!} = 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \frac{x^6}{6!} + \cdots}$$

Konvergenzradius: $R = \infty$ (wie bei $e^x$).

Extremwertaufgaben / Optimierung

Bsp 212 Monopolist: $K(x)=5000+100x+x^2$, $U(x)=1000x-2x^2$, Steuer $S(x)=100x$

Methode: Optimierung mit Ableitungen
  1. Zielfunktion aufstellen (z.B. Gewinn $G = U - K - S$).
  2. $G'(x) = 0$ lösen → kritische Punkte.
  3. $G''(x) < 0$ prüfen → Maximum bestätigen.
Bsp 212 durchgerechnet

Gewinnfunktion: $G(x) = U(x) - K(x) - S(x) = 1000x - 2x^2 - 5000 - 100x - x^2 - 100x$

$$G(x) = -3x^2 + 800x - 5000$$

Optimum: $G'(x) = -6x + 800 = 0 \implies x^* = \frac{400}{3} \approx 133.3$

$G''(x) = -6 < 0$ ✓ → Maximum.

Steuereinnahmen: $S(x^*) = 100 \cdot \frac{400}{3} = \frac{40000}{3} \approx 13333.3$

Optimaler Steuersatz $r$: Gewinn $G_r(x) = -3x^2 + (900-r)x - 5000$ mit $S(x)=rx$.

$G_r'(x) = 0 \implies x^*(r) = \frac{900-r}{6}$. Steuereinnahmen: $T(r) = r\cdot x^*(r) = \frac{r(900-r)}{6}$.

$T'(r) = \frac{900-2r}{6} = 0 \implies r^* = 450$. Maximale Steuereinnahmen: $T(450)=\frac{450\cdot 450}{6} = 33750$.

Regel von de l'Hospital

Bsp 219 (a) $\lim_{x\to 1}\frac{x^2+4x-5}{\tan(\pi x)}$   (b) $\lim_{x\to 0}\left(\frac{1}{x}-\frac{1}{\sin x}\right)$

Satz 5.35 — Regel von de l'Hospital

Sind $f(x_0)=g(x_0)=0$ (oder beide $\to\infty$) und existiert $\lim_{x\to x_0}\frac{f'(x)}{g'(x)}$, so gilt:

$$\lim_{x\to x_0}\frac{f(x)}{g(x)} = \lim_{x\to x_0}\frac{f'(x)}{g'(x)}$$

Gilt auch für $x_0 = \pm\infty$ und für einseitige Grenzwerte.

Typische Formen & Umformungen
FormUmformung auf $\frac{0}{0}$ oder $\frac{\infty}{\infty}$
$0 \cdot \infty$$f\cdot g = \frac{f}{1/g}$
$\infty - \infty$Auf gemeinsamen Nenner bringen
$1^\infty, 0^0, \infty^0$$f^g = e^{g \ln f}$, dann Exponent mit L'Hospital
Bsp 219(a): $\lim_{x\to 1}\frac{x^2+4x-5}{\tan(\pi x)}$

Form $\frac{0}{0}$, denn $f(1) = 1+4-5=0$ und $\tan(\pi)=0$. L'Hospital:

$$= \lim_{x\to 1}\frac{2x+4}{\pi/\cos^2(\pi x)} = \frac{2+4}{\pi/\cos^2(\pi)} = \frac{6}{\pi/1} = \boxed{\frac{6}{\pi}}$$
Bsp 219(b): $\lim_{x\to 0}\left(\frac{1}{x}-\frac{1}{\sin x}\right)$

Form $\infty - \infty$. Auf gemeinsamen Nenner bringen:

$$= \lim_{x\to 0}\frac{\sin x - x}{x\sin x}$$

Form $\frac{0}{0}$. L'Hospital:

$$= \lim_{x\to 0}\frac{\cos x - 1}{\sin x + x\cos x}$$

Wieder $\frac{0}{0}$. Nochmal L'Hospital:

$$= \lim_{x\to 0}\frac{-\sin x}{2\cos x - x\sin x} = \frac{0}{2} = \boxed{0}$$

Stammfunktion & Hauptsatz

Bsp 225 $f(t) = -1$ für $t\leq 1$, $f(t)=1$ für $t>1$. Berechne $F(x)=\int_0^x f(t)\,dt$.

Hauptsatz der Differential- und Integralrechnung (Satz 5.54)

Sei $f$ stetig auf $[a,b]$, und $F(x) = \int_a^x f(t)\,dt$. Dann gilt:

$$F'(x) = f(x)$$

$F$ ist also eine Stammfunktion von $f$. Damit: $\int_a^b f(t)\,dt = F(b)-F(a)$ für jede Stammfunktion $F$.

Wichtig: Stetigkeit von $f$ ist entscheidend

Hat $f$ Sprungstellen, ist $F(x)=\int_a^x f(t)\,dt$ trotzdem stetig (als Integral), aber an der Sprungstelle nicht differenzierbar (Knick im Graphen).

Bsp 225 durchgerechnet

Fall 1: $x \leq 1$: $F(x) = \int_0^x (-1)\,dt = -x$

Fall 2: $x > 1$: $F(x) = \int_0^1 (-1)\,dt + \int_1^x 1\,dt = -1 + (x-1) = x-2$

$$\boxed{F(x) = \begin{cases}-x & x \leq 1 \\ x-2 & x > 1\end{cases}}$$

Stetigkeit: $\lim_{x\to 1^-} F(x) = -1 = \lim_{x\to 1^+} F(x) = 1-2 = -1$ ✓ → $F$ ist stetig.

Differenzierbarkeit: $F'(x) = -1$ für $x<1$ und $F'(x) = 1$ für $x>1$. Die einseitigen Ableitungen bei $x=1$ stimmen nicht überein → $F$ ist bei $x=1$ nicht differenzierbar.

$f(t)$ (gestrichelt) und $F(x)=\int_0^x f(t)\,dt$ (durchgezogen). Knick bei $x=1$.

Riemann-Summen

Bsp 234 $\int_2^3 x^2\,dx$ mit Untersummen   Bsp 238 $\lim_{n\to\infty}\frac{1}{n^2}\sum_{k=1}^n\sqrt{n^2-k^2}$

Riemann-Summe & Integral als Grenzwert

Bei äquidistanter Teilung von $[a,b]$ in $n$ Teile: $x_k = a + k\cdot\frac{b-a}{n}$, $\Delta x = \frac{b-a}{n}$.

Untersumme: $\underline{S}_n = \sum_{k=0}^{n-1}\inf_{[x_k,x_{k+1}]}f \cdot \Delta x$   Obersumme: $\overline{S}_n = \sum_{k=0}^{n-1}\sup_{[x_k,x_{k+1}]}f \cdot \Delta x$

Für monoton wachsendes $f$: $\underline{S}_n = \sum_{k=0}^{n-1} f(x_k)\Delta x$, $\overline{S}_n = \sum_{k=1}^{n} f(x_k)\Delta x$.

$$\int_a^b f(x)\,dx = \lim_{n\to\infty}\underline{S}_n = \lim_{n\to\infty}\overline{S}_n$$
Grenzwert als Riemannsche Zwischensumme erkennen

Hat man $\lim_{n\to\infty}\frac{1}{n}\sum_{k=1}^n g\!\left(\frac{k}{n}\right)$, so ist das $= \int_0^1 g(x)\,dx$.

Allgemeiner: Jeden Ausdruck $\frac{1}{n}\sum f(\text{etwas mit }k/n)$ versucht man als $\int_a^b$ zu deuten.

Bsp 234: $\int_2^3 x^2\,dx$ mit Untersummen

$[a,b]=[2,3]$, $\Delta x = \frac{1}{n}$, $x_k = 2 + \frac{k}{n}$. Da $x^2$ monoton wachsend auf $[2,3]$:

$$\underline{S}_n = \sum_{k=0}^{n-1}\left(2+\frac{k}{n}\right)^2 \cdot \frac{1}{n} = \frac{1}{n}\sum_{k=0}^{n-1}\left(4 + \frac{4k}{n} + \frac{k^2}{n^2}\right)$$ $$= \frac{1}{n}\left(4n + \frac{4}{n}\cdot\frac{(n-1)n}{2} + \frac{1}{n^2}\cdot\frac{(n-1)n(2n-1)}{6}\right)$$ $$= 4 + 2\cdot\frac{n-1}{n} + \frac{(n-1)(2n-1)}{6n^2} \xrightarrow{n\to\infty} 4 + 2 + \frac{1}{3} = \boxed{\frac{19}{3}}$$
Bsp 238: $\lim_{n\to\infty}\frac{1}{n^2}\sum_{k=1}^n\sqrt{n^2-k^2}$

Umschreiben: $\frac{1}{n^2}\sum_{k=1}^n\sqrt{n^2-k^2} = \frac{1}{n}\sum_{k=1}^n\sqrt{1-\left(\frac{k}{n}\right)^2}$.

Das ist eine Riemann-Summe für $g(x) = \sqrt{1-x^2}$ auf $[0,1]$:

$$= \int_0^1 \sqrt{1-x^2}\,dx$$

Das ist die Fläche eines Viertelkreises mit Radius 1: $= \boxed{\frac{\pi}{4}}$.

10
Riemann-Summe für $\sqrt{1-x^2}$: konvergiert gegen $\pi/4 \approx 0.785$.

Integrationstechniken

Bsp 241 $\int\frac{dx}{x\ln x}$   Bsp 267 $\int\frac{e^x-1}{e^{2x}+1}\,dx$   Bsp 278 $\int_1^e\frac{dx}{x\sqrt{\ln x}}$

Substitutionsregel (Satz 5.55)
$$\int f(g(x))\,g'(x)\,dx = \int f(u)\,du \quad\text{mit } u=g(x)$$

Spezialfall: $\displaystyle\int\frac{u'(x)}{u(x)}\,dx = \ln|u(x)| + C$

Partielle Integration (Satz 5.56)
$$\int u\,dv = uv - \int v\,du$$

bzw. $\int f(x)g'(x)\,dx = f(x)g(x) - \int f'(x)g(x)\,dx$

Bsp 241: $\int\frac{dx}{x\ln x}$

Setze $u = \ln x$, dann $du = \frac{1}{x}dx$:

$$\int\frac{dx}{x\ln x} = \int\frac{du}{u} = \ln|u| + C = \boxed{\ln|\ln x| + C}$$
Bsp 267: $\int\frac{e^x-1}{e^{2x}+1}\,dx$

Aufteilen: $\frac{e^x - 1}{e^{2x}+1} = \frac{e^x}{e^{2x}+1} - \frac{1}{e^{2x}+1}$.

Erster Term: Subst. $u = e^x$: $\int\frac{e^x}{e^{2x}+1}\,dx = \int\frac{du}{u^2+1} = \arctan(e^x)$.

Zweiter Term: $\frac{1}{e^{2x}+1} = \frac{e^{-2x}}{1+e^{-2x}}$. Subst. $u = e^{-x}$: Das ergibt nach Umrechnung $-\arctan(e^{-x})$. Alternativ: $\frac{1}{e^{2x}+1} = 1 - \frac{e^{2x}}{e^{2x}+1}$, also:

$$\boxed{\int\frac{e^x-1}{e^{2x}+1}\,dx = \arctan(e^x) + \arctan(e^{-x}) - x + C}$$

(Hinweis: $\arctan(u)+\arctan(1/u) = \pi/2$, daher vereinfacht sich das zu $\frac{\pi}{2} - x + C$.)

Bsp 278: $\int_1^e\frac{dx}{x\sqrt{\ln x}}$

Subst. $u = \ln x$, $du = \frac{dx}{x}$. Grenzen: $x=1 \to u=0$, $x=e \to u=1$:

$$\int_1^e\frac{dx}{x\sqrt{\ln x}} = \int_0^1\frac{du}{\sqrt{u}} = \left[2\sqrt{u}\right]_0^1 = \boxed{2}$$

(Uneigentlich bei $u=0$, aber konvergent.)

Uneigentliche Integrale

Bsp 289 $\int_1^\infty\frac{|\cos x|}{x^2}\,dx$   Bsp 293 $\int_0^\infty\frac{x}{e^{x^3}}\,dx$

Uneigentliche Integrale — Definition

1. Art (unendliches Intervall): $\int_a^\infty f(x)\,dx = \lim_{R\to\infty}\int_a^R f(x)\,dx$

2. Art (Singularität): $\int_a^b f(x)\,dx = \lim_{\varepsilon\to 0^+}\int_{a+\varepsilon}^b f(x)\,dx$

Majorantenkriterium (Vergleichskriterium)

Gilt $|f(x)| \leq g(x)$ für alle $x \geq a$ und konvergiert $\int_a^\infty g(x)\,dx$, so konvergiert auch $\int_a^\infty f(x)\,dx$ absolut.

Nützliche Vergleichsintegrale: $\int_1^\infty \frac{dx}{x^p}$ konvergiert $\iff p > 1$.

Bsp 289: $\int_1^\infty\frac{|\cos x|}{x^2}\,dx$ — Konvergenz

$\frac{|\cos x|}{x^2} \leq \frac{1}{x^2}$ für alle $x \geq 1$.

$\int_1^\infty \frac{1}{x^2}\,dx = 1$ konvergiert ($p=2>1$).

Also konvergiert auch $\int_1^\infty\frac{|\cos x|}{x^2}\,dx$ nach dem Majorantenkriterium. ✓

Bsp 293: $\int_0^\infty\frac{x}{e^{x^3}}\,dx$ — Konvergenz

Für $x \geq 1$: $e^{x^3} \geq e^{x}$, also $\frac{x}{e^{x^3}} \leq \frac{x}{e^x}$. Da $\int_1^\infty \frac{x}{e^x}\,dx$ konvergiert, konvergiert auch unser Integral auf $[1,\infty)$.

Auf $[0,1]$ ist $\frac{x}{e^{x^3}}$ stetig und beschränkt → Integral existiert.

Also konvergiert $\int_0^\infty\frac{x}{e^{x^3}}\,dx$. ✓

Integralkriterium für Reihen

Bsp 304 $\sum_{n\geq 2}\frac{1}{n\,(\ln n)^\alpha}$   Bsp 305 $\sum_{n\geq 1}\frac{1}{(1+n^2)\arctan n}$

Integralkriterium (Satz 4.51)

Sei $f: [1,\infty) \to \mathbb{R}$ monoton fallend und $f(x) \geq 0$. Dann gilt:

$$\sum_{n=1}^\infty f(n) \text{ konvergiert} \iff \int_1^\infty f(x)\,dx \text{ konvergiert}$$
Bsp 304: $\sum_{n\geq 2}\frac{1}{n\,(\ln n)^\alpha}$

$f(x) = \frac{1}{x(\ln x)^\alpha}$ ist monoton fallend für $x \geq 2$. Integralkriterium:

$$\int_2^\infty \frac{dx}{x(\ln x)^\alpha} \overset{u=\ln x}{=} \int_{\ln 2}^\infty \frac{du}{u^\alpha}$$

Das konvergiert $\iff \alpha > 1$.

Ergebnis: $\sum_{n\geq 2}\frac{1}{n(\ln n)^\alpha}$ konvergiert für $\alpha > 1$ und divergiert für $\alpha \leq 1$.

Bsp 305: $\sum_{n\geq 1}\frac{1}{(1+n^2)\arctan n}$

$f(x) = \frac{1}{(1+x^2)\arctan x}$ ist monoton fallend. Substitution $u = \arctan x$, $du = \frac{dx}{1+x^2}$:

$$\int_1^\infty \frac{dx}{(1+x^2)\arctan x} = \int_{\pi/4}^{\pi/2} \frac{du}{u} = \ln u\Big|_{\pi/4}^{\pi/2} = \ln 2$$

Das Integral konvergiert → die Reihe konvergiert. ✓

Höhenlinien & Funktionen in $\mathbb{R}^2$

Bsp 327 $z = x^2-y^2$ und $z = \sqrt{1-\frac{x^2}{4}-\frac{y^2}{9}}$   Bsp 328 $z = xy$ und $z = \frac{x}{y}$

Höhenlinien

Die Höhenlinie (Niveaulinie) zum Wert $z_0$ ist die Menge $\{(x,y) \mid f(x,y) = z_0\}$.

Man setzt $f(x,y) = c$ (Konstante) und löst die entstehende Gleichung — das beschreibt eine Kurve in der $(x,y)$-Ebene.

Bsp 327(a): $z = x^2 - y^2$ (Hyperbelsattel)

Definitionsbereich: $D = \mathbb{R}^2$, Wertebereich: $W = \mathbb{R}$.

Höhenlinien: $x^2 - y^2 = c$. Das sind Hyperbeln:

Bsp 327(b): $z = \sqrt{1 - \frac{x^2}{4} - \frac{y^2}{9}}$ (halbes Ellipsoid)

Def.bereich: $\frac{x^2}{4}+\frac{y^2}{9} \leq 1$ (Ellipse), Wertebereich: $[0, 1]$.

Höhenlinien: $\frac{x^2}{4}+\frac{y^2}{9} = 1-c^2$ — konzentrische Ellipsen, die für $c \to 1$ auf den Punkt $(0,0)$ schrumpfen.

Bsp 328(a): $z = xy$

Höhenlinien: $xy = c$ — gleichseitige Hyperbeln. Für $c=0$: die Koordinatenachsen.

Bsp 328(b): $z = \frac{x}{y}$

Def.bereich: $y \neq 0$. Höhenlinien: $\frac{x}{y} = c \iff x = cy$ — Geraden durch den Ursprung (mit Steigung $1/c$).

Höhenlinien von $z=x^2-y^2$ (links, Hyperbeln) und $z=xy$ (rechts, Hyperbeln).

Stetigkeit in mehreren Variablen

Bsp 334–341 Stetigkeit von $f(x,y)$ im Ursprung, iterierte Grenzwerte

Stetigkeit in $\mathbb{R}^n$ (Def. 6.5)

$f$ ist stetig in $(x_0,y_0)$, wenn:

$$\lim_{(x,y)\to(x_0,y_0)} f(x,y) = f(x_0,y_0)$$

d.h. $\forall\varepsilon>0\;\exists\delta>0$: $\|(x,y)-(x_0,y_0)\|<\delta \implies |f(x,y)-f(x_0,y_0)|<\varepsilon$.

Methoden zum Nachweis / Widerlegung
Iterierte vs. simultane Grenzwerte

$\lim_{x\to 0}\lim_{y\to 0} f(x,y)$ und $\lim_{y\to 0}\lim_{x\to 0} f(x,y)$ sind die iterierten Grenzwerte.

$\lim_{(x,y)\to(0,0)} f(x,y)$ ist der simultane Grenzwert.

Wichtig: Sind die iterierten Grenzwerte verschieden, existiert der simultane Grenzwert nicht. Aber: Gleiche iterierte Grenzwerte garantieren noch keinen simultanen Grenzwert!

Bsp 334: $f(x,y)=\frac{|y|}{|x|^3+|y|}$, $f(0,0)=1$

Weg $y=0$: $\lim_{x\to 0}\frac{0}{|x|^3} = 0 \neq 1 = f(0,0)$.

Also ist $f$ im Ursprung nicht stetig.

(Auch: entlang $x=0$: $\lim_{y\to 0}\frac{|y|}{|y|} = 1$, entlang $y=0$: Grenzwert $= 0$. Verschiedene Wege → verschiedene Grenzwerte.)

Bsp 335: $f(x,y)=\frac{2y^2}{|x|+y^2}$, $f(0,0)=0$

Entlang $x=0$: $\lim_{y\to 0}\frac{2y^2}{y^2}=2\neq 0$.

$\implies f$ ist im Ursprung nicht stetig.

Bsp 336: $f(x,y)=\frac{x\cos\frac{1}{x}+y\sin\frac{y}{2x-y}}{1}$ — iterierte Grenzwerte

$\lim_{y\to 0}\lim_{x\to 0}f(x,y)$: Innerer Limes $\lim_{x\to 0}x\cos\frac{1}{x}=0$ (da $|x\cos\frac{1}{x}|\leq|x|\to 0$). Äußerer: $\lim_{y\to 0}(0 + y\sin\frac{y}{-y})=\lim_{y\to 0}y\sin(-1)=0$.

$\lim_{x\to 0}\lim_{y\to 0}f(x,y)$: Innerer Limes $\lim_{y\to 0}y\sin\frac{y}{2x-y}=0$. Äußerer: $\lim_{x\to 0}x\cos\frac{1}{x}=0$.

Beide iterierte Grenzwerte sind $0$. Simultaner Grenzwert muss separat geprüft werden.

Bsp 337: $f(x,y)=\frac{x+y\cos\frac{1}{y}}{x+y}$, $y\neq 0$, $y\neq -x$ — iterierte Grenzwerte

$\lim_{y\to 0}\lim_{x\to 0}f(x,y)$: Innerer: $\lim_{x\to 0}\frac{x+y\cos\frac{1}{y}}{x+y}=\frac{y\cos\frac{1}{y}}{y}=\cos\frac{1}{y}$. Äußerer: $\lim_{y\to 0}\cos\frac{1}{y}$ existiert nicht (oszilliert).

$\lim_{x\to 0}\lim_{y\to 0}f(x,y)$: Innerer: $\lim_{y\to 0}\frac{x+y\cos\frac{1}{y}}{x+y}=\frac{x}{x}=1$. Äußerer: $\lim_{x\to 0}1 = 1$.

Der eine iterierte Grenzwert existiert nicht, der andere ist $1$. Der simultane Grenzwert $\lim_{(x,y)\to(0,0)}f$ existiert nicht.

Bsp 340: $f(x,y)=\frac{xy}{|x|+|y|}$, $f(0,0)=0$ — Stetig!

Mit AM-GM: $|x|+|y| \geq 2\sqrt{|xy|}$, also $\frac{|xy|}{|x|+|y|} \leq \frac{|xy|}{2\sqrt{|xy|}} = \frac{\sqrt{|xy|}}{2}$.

Für $(x,y)\to(0,0)$: $\sqrt{|xy|}\to 0$, also $|f(x,y)| \to 0 = f(0,0)$. ✓ Stetig.

Bsp 341: $f(x,y)=\frac{xy^2+x^2y}{x^2+y^2}$, $f(0,0)=0$ — Stetig!

$|f(x,y)| = \frac{|xy|\cdot|x+y|}{x^2+y^2}$. Da $|xy| \leq \frac{x^2+y^2}{2}$ und $|x+y| \leq |x|+|y| \leq \sqrt{2}\sqrt{x^2+y^2}$:

$$|f(x,y)| \leq \frac{\frac{x^2+y^2}{2}\cdot\sqrt{2}\sqrt{x^2+y^2}}{x^2+y^2} = \frac{\sqrt{2}}{2}\sqrt{x^2+y^2} \to 0$$

Also $f$ ist im Ursprung stetig. ✓

Kettenregel & Richtungsableitung

Bsp 359 $z=\frac{xy}{x+y}$, $x=e^t$, $y=e^{-t}$: $\frac{dz}{dt}$?   Bsp 365 Richtungsableitung von $f(x,y)=x^2+4y^2$ in $P_0=(3,2)$

Kettenregel in mehreren Variablen

Ist $z = f(x,y)$ mit $x=x(t)$, $y=y(t)$, dann:

$$\frac{dz}{dt} = \frac{\partial f}{\partial x}\cdot\frac{dx}{dt} + \frac{\partial f}{\partial y}\cdot\frac{dy}{dt} = f_x\,\dot{x} + f_y\,\dot{y}$$
Gradient und Richtungsableitung

Der Gradient von $f$ im Punkt $P_0$: $\nabla f(P_0) = \left(\frac{\partial f}{\partial x}(P_0),\;\frac{\partial f}{\partial y}(P_0)\right)$

Die Richtungsableitung in Richtung des Einheitsvektors $\mathbf{e}$:

$$D_{\mathbf{e}} f(P_0) = \nabla f(P_0) \cdot \mathbf{e} = \|\nabla f\|\cos\theta$$

Die maximale Änderung erfolgt in Gradientenrichtung, ihr Betrag ist $\|\nabla f\|$.

Bsp 359 durchgerechnet

$z = \frac{xy}{x+y}$, $x=e^t$, $y=e^{-t}$.

Kettenregel: $f_x = \frac{y(x+y)-xy}{(x+y)^2} = \frac{y^2}{(x+y)^2}$, analog $f_y = \frac{x^2}{(x+y)^2}$.

$\dot{x} = e^t$, $\dot{y} = -e^{-t}$.

$$\frac{dz}{dt} = \frac{y^2}{(x+y)^2}\cdot e^t - \frac{x^2}{(x+y)^2}\cdot e^{-t} = \frac{e^{-2t}\cdot e^t - e^{2t}\cdot e^{-t}}{(e^t+e^{-t})^2} = \frac{e^{-t}-e^t}{(e^t+e^{-t})^2}$$

Probe: Direkt einsetzen: $z = \frac{e^t\cdot e^{-t}}{e^t+e^{-t}} = \frac{1}{e^t+e^{-t}}$. Ableiten: $z' = \frac{-(e^t-e^{-t})}{(e^t+e^{-t})^2}$ ✓

Horizontal: $\frac{dz}{dt}=0 \iff e^t = e^{-t} \iff t=0$.

Bsp 365: $f(x,y)=x^2+4y^2$, $P_0=(3,2)$

$\nabla f = (2x, 8y)$, also $\nabla f(3,2) = (6, 16)$.

(a) Koordinatenrichtungen:

(b) Richtung $(-1,-1)$: Normieren: $\mathbf{e} = \frac{1}{\sqrt{2}}(-1,-1)$.

$$D_{\mathbf{e}}f = (6,16)\cdot\frac{1}{\sqrt{2}}(-1,-1) = \frac{-6-16}{\sqrt{2}} = -\frac{22}{\sqrt{2}} = -11\sqrt{2}$$

(c) In Gradientenrichtung: $\|\nabla f\| = \sqrt{36+256} = \sqrt{292} = 2\sqrt{73}$.

Taylor-Entwicklung in mehreren Variablen

Bsp 370 Taylor-Polynom 2. Ordnung für $f(x,y) = x\ln(1+xy)$ an $(x_0,y_0)=(1,0)$

Taylor-Polynom 2. Ordnung in zwei Variablen

Mit $h = x-x_0$, $k = y-y_0$:

$$T_2(x,y) = f(x_0,y_0) + f_x\,h + f_y\,k + \frac{1}{2}\left(f_{xx}\,h^2 + 2f_{xy}\,hk + f_{yy}\,k^2\right)$$

wobei alle Ableitungen an $(x_0,y_0)$ ausgewertet werden.

Bsp 370 durchgerechnet

$f(x,y) = x\ln(1+xy)$ an $(1,0)$. Wir berechnen alle Ableitungen bis Ordnung 2:

$f(1,0) = 1\cdot\ln(1) = 0$

$f_x = \ln(1+xy) + \frac{xy}{1+xy}$, $\quad f_x(1,0) = 0 + 0 = 0$

$f_y = \frac{x^2}{1+xy}$, $\quad f_y(1,0) = 1$

$f_{xx} = \frac{y}{1+xy} + \frac{y(1+xy)-xy\cdot y}{(1+xy)^2} = \frac{2y}{(1+xy)^2} + \frac{y^2 x}{(1+xy)^2}$... Einfacher: $f_{xx}(1,0) = 0$

$f_{xy} = \frac{2x(1+xy)-x^2\cdot x}{(1+xy)^2} = \frac{2x+x^2y}{(1+xy)^2}$, $\quad f_{xy}(1,0) = 2$

$f_{yy} = \frac{-x^3}{(1+xy)^2}$, $\quad f_{yy}(1,0) = -1$

Mit $h = x-1$, $k = y$:

$$\boxed{T_2(x,y) = y + \frac{1}{2}(4(x-1)y - y^2) = y + 2(x-1)y - \frac{y^2}{2}}$$

Implizites Differenzieren

Bsp 381 Tangenten mit Anstieg $\pm 1$ an $2x^2-4xy+9y^2=36$

Implizite Differentiation

Ist $F(x,y)=0$ und $F_y \neq 0$, so definiert die Gleichung implizit $y=y(x)$ mit:

$$\frac{dy}{dx} = -\frac{F_x}{F_y}$$
Tangente an implizite Kurve

Im Punkt $(x_0,y_0)$ auf der Kurve $F(x,y)=0$: Tangente ist $y - y_0 = y'(x_0)\cdot(x - x_0)$.

Bsp 381 durchgerechnet

$F(x,y) = 2x^2-4xy+9y^2-36 = 0$.

$F_x = 4x-4y$, $\quad F_y = -4x+18y$.

$$y' = -\frac{4x-4y}{-4x+18y} = \frac{4x-4y}{4x-18y} = \frac{x-y}{x-\frac{9}{2}y}$$

Tangenten mit Anstieg $+1$: $y' = 1 \iff x-y = x-\frac{9}{2}y \iff \frac{7}{2}y = 0 \iff y = 0$.

Einsetzen in Kurve: $2x^2 = 36 \implies x = \pm 3\sqrt{2}$. Tangenten: $y = x \mp 3\sqrt{2}$.

Tangenten mit Anstieg $-1$: $y' = -1 \iff x-y = -(x-\frac{9}{2}y) = -x+\frac{9}{2}y \iff 2x = \frac{11}{2}y \iff x = \frac{11}{4}y$.

Einsetzen: $2\cdot\frac{121}{16}y^2 - 4\cdot\frac{11}{4}y^2 + 9y^2 = 36 \implies \frac{121}{8}y^2 - 11y^2 + 9y^2 = 36$

$\implies \frac{121-88+72}{8}y^2 = 36 \implies \frac{105}{8}y^2 = 36 \implies y^2 = \frac{288}{105} = \frac{96}{35}$.

Also $y = \pm\sqrt{\frac{96}{35}}$, $x = \frac{11}{4}y$. Tangenten: $y - y_0 = -(x - x_0)$.

Extrema in mehreren Variablen

Bsp 394 $f(x,y) = (x^2+y^2)^2 - 2(x^2-y^2)$   Bsp 399 $f(x,y)=\sin(x+y)+\sin x+\sin y$ auf $[0,\frac{\pi}{2}]^2$

Notwendige Bedingung

In einem inneren Extremum gilt $\nabla f = \mathbf{0}$, also $f_x = 0$ und $f_y = 0$ (stationärer Punkt).

Hinreichende Bedingung — Hesse-Matrix

Die Hesse-Matrix ist $H_f = \begin{pmatrix}f_{xx}&f_{xy}\\f_{xy}&f_{yy}\end{pmatrix}$.

Im stationären Punkt $(x_0,y_0)$:

Dabei: $\det(H_f) = f_{xx}f_{yy} - f_{xy}^2$.

Extrema auf abgeschlossenem Gebiet

Für absolute Extrema auf $D = \{(x,y) \mid \ldots\}$:

  1. Stationäre Punkte im Inneren finden ($\nabla f = 0$)
  2. $f$ auf dem Rand untersuchen (Parametrisierung, oder Lagrange-Multiplikatoren)
  3. Alle Funktionswerte vergleichen → größter = abs. Max., kleinster = abs. Min.
Bsp 394: $f(x,y)=(x^2+y^2)^2-2(x^2-y^2)$

$f_x = 4x(x^2+y^2)-4x = 4x(x^2+y^2-1)$

$f_y = 4y(x^2+y^2)+4y = 4y(x^2+y^2+1)$

$f_y = 0$: Da $x^2+y^2+1 > 0$ stets, folgt $y = 0$.

$f_x = 0$ mit $y=0$: $4x(x^2-1) = 0 \implies x = 0, \pm 1$.

Stationäre Punkte: $(0,0)$, $(1,0)$, $(-1,0)$.

Hesse-Matrix:

$f_{xx} = 12x^2+4y^2-4$, $f_{yy} = 4x^2+12y^2+4$, $f_{xy} = 8xy$.

Bsp 399: $f(x,y)=\sin(x+y)+\sin x+\sin y$ auf $[0,\frac{\pi}{2}]^2$

Stationäre Punkte im Inneren:

$f_x = \cos(x+y)+\cos x = 0$, $\quad f_y = \cos(x+y)+\cos y = 0$.

Subtraktion: $\cos x - \cos y = 0 \implies x = y$.

Einsetzen: $\cos(2x)+\cos x = 0$. Mit $\cos(2x) = 2\cos^2 x - 1$:

$2\cos^2 x + \cos x - 1 = 0 \implies (2\cos x - 1)(\cos x + 1) = 0$.

$\cos x = \frac{1}{2} \implies x = \frac{\pi}{3}$ (im Intervall). Also: stationärer Punkt $\left(\frac{\pi}{3}, \frac{\pi}{3}\right)$.

$f\!\left(\frac{\pi}{3},\frac{\pi}{3}\right) = \sin\frac{2\pi}{3}+2\sin\frac{\pi}{3} = \frac{\sqrt{3}}{2}+\sqrt{3} = \frac{3\sqrt{3}}{2} \approx 2.598$.

Hesse-Matrix bei $(\frac{\pi}{3},\frac{\pi}{3})$:

$f_{xx} = -\sin(x+y)-\sin x = -\sin\frac{2\pi}{3}-\sin\frac{\pi}{3} = -\sqrt{3}$, $f_{yy} = -\sqrt{3}$, $f_{xy} = -\sin\frac{2\pi}{3} = -\frac{\sqrt{3}}{2}$.

$\det(H) = 3 - \frac{3}{4} = \frac{9}{4} > 0$, $f_{xx} < 0$ → lokales Maximum.

Rand: $f(0,y)=\sin y+\sin y = 2\sin y \leq 2$, $f(x,0)=2\sin x\leq 2$, $f(\frac{\pi}{2},y) = \cos y + 1 + \sin y \leq 1+\sqrt{2}$, analog $f(x,\frac{\pi}{2})$. Ecken: $f(0,0)=0$, $f(\frac{\pi}{2},\frac{\pi}{2})=1+2=3$.

Absolutes Maximum: $f\!\left(\frac{\pi}{2},\frac{\pi}{2}\right) = 3$ (am Rand!). Absolutes Minimum: $f(0,0) = 0$.


Analysis UE — Theorie für Bsp. 163–399 aus Drmota: Mathematik für Informatik.