Math ClubMath Club
v1 · padrão canônico

Lektion 59 — Differenzierbarkeit und Glattheit

Differenzierbar impliziert stetig. Ecken, Spitzen, vertikale Tangenten. Klassen C^k und C^∞. Weierstrass-Funktion.

Used in: Gymnasialjahr 2 (fortgeschrittene Analysis) · Japanischer Äquivalent: Math III · Deutsches Äquivalent: Leistungskurs Klasse 12

f(a)=limh0f(a+h)f(a)hf'(a) = \lim_{h \to 0} \frac{f(a+h) - f(a)}{h}
Choose your door

Rigorous notation, full derivation, hypotheses

Definitionen und Theoreme

Differenzierbarkeit an einem Punkt

"Wenn f(a)f'(a) existiert, sagen wir, dass ff differenzierbar in aa ist. Wenn ff differenzierbar in jeder Zahl in einem offenen Intervall (a,b)(a, b) ist, dann ist ff differenzierbar in (a,b)(a, b)." — OpenStax Calculus Volume 1, §3.2

Fundamentalsatz (Differenzierbarkeit impliziert Stetigkeit)

"Wenn ff differenzierbar in aa ist, dann ist ff stetig in aa." — Active Calculus, §1.7, Boelkins 2024 (Satz 1.7.1)

Typen von Nicht-Differenzierungspunkten

Ecke (|x|)0Spitze (x²/³)0Vert. Tangente (x¹/³)0Sprung (sgn)0

Die vier Haupttypen von Nicht-Differenzierungspunkten. Von links: Ecke (endliche seitliche Ableitungen, unterschiedlich), Spitze (seitliche Ableitungen sind unendlich, entgegengesetzt), vertikale Tangente (Ableitung =+= +\infty von beiden Seiten), Sprung (Funktion nicht stetig).

TypBeispiel in 00Was passiert
Eckex\lvert x \rvertf+(0)=11=f(0)f'_+(0) = 1 \neq -1 = f'_-(0)
Spitzex2/3x^{2/3}f±(0)=±f'_\pm(0) = \pm\infty
Vertikale Tangentex1/3x^{1/3}f(0)=+f'(0) = +\infty
Unstetigkeit durch Sprungsgn(x)\text{sgn}(x)ff ist nicht stetig
Oszillation ohne Grenzexsin(1/x), f(0)=0x\sin(1/x),\ f(0)=0Grenzwert des Quotienten existiert nicht

Hierarchie CkC^k

Beispiel: CC^\infty aber nicht CωC^\omega (Cauchy)

f(x)={e1/x2,x>00,x0f(x) = \begin{cases} e^{-1/x^2}, & x > 0 \\ 0, & x \leq 0 \end{cases}

Diese Funktion ist C(R)C^\infty(\mathbb{R}) und f(n)(0)=0f^{(n)}(0) = 0 für alle n0n \geq 0, aber f≢0f \not\equiv 0. Daher fCωf \notin C^\omega — trennt definitiv die Klassen glatte und analytische.

Weierstrass-Funktion

W(x)=n=0ancos(bnπx),0<a<1, b ungerade ganz Zahl, ab>1+32π.W(x) = \sum_{n=0}^{\infty} a^n \cos(b^n \pi x), \quad 0 < a < 1,\ b \text{ ungerade ganz Zahl},\ ab > 1 + \tfrac{3}{2}\pi.

Gelöste Beispiele

Exercise list

40 exercises · 10 with worked solution (25%)

Application 22Understanding 9Modeling 5Challenge 2Proof 2
  1. Ex. 59.1ApplicationAnswer key

    Sei f(x)=xf(x) = |x|. Berechne die seitlichen Ableitungen f+(0)f'_+(0) und f(0)f'_-(0) aus der Definition. Schließe auf Differenzierbarkeit in 00.

  2. Ex. 59.2Application

    Sei f(x)=x3f(x) = |x - 3|. Berechne f+(3)f'_+(3) und f(3)f'_-(3). Ist ff differenzierbar in x=3x = 3?

  3. Ex. 59.3Application

    Sei f(x)=xxf(x) = x|x|. Bestimme f(0)f'(0) mit der Definition.

  4. Ex. 59.4ApplicationAnswer key

    Sei f(x)=x1/3f(x) = x^{1/3}. Berechne f(0)f'(0) aus der Definition. Was zeigt die Antwort geometrisch?

  5. Ex. 59.5Application

    Sei f(x)=x2/3f(x) = x^{2/3}. Analysiere die Differenzierbarkeit in 00 durch Berechnung der seitlichen Ableitungen aus der Definition.

  6. Ex. 59.6ApplicationAnswer key

    Sei f(x)={x2,x0x2,x<0f(x) = \begin{cases} x^2, & x \geq 0 \\ -x^2, & x < 0 \end{cases}. Berechne f+(0)f'_+(0) und f(0)f'_-(0). Ist ff differenzierbar in 00?

  7. Ex. 59.7Application

    Sei f(x)=xsin(1/x)f(x) = x\sin(1/x) für x0x \neq 0 und f(0)=0f(0) = 0. Überprüfe ob ff stetig in 00 ist und ob es differenzierbar in 00 ist.

  8. Ex. 59.8Application

    Sei f(x)=x2sin(1/x)f(x) = x^2\sin(1/x) für x0x \neq 0 und f(0)=0f(0) = 0. Zeige dass f(0)=0f'(0) = 0 mit dem Sandwich-Satz.

  9. Ex. 59.9Application

    Sei f(x)=max(x,0)f(x) = \max(x, 0) (ReLU-Funktion). Berechne f+(0)f'_+(0) und f(0)f'_-(0). Ist ff differenzierbar in 00?

  10. Ex. 59.10Application

    Sei f(x)=min(x,1x)f(x) = \min(x, 1-x). In welchem Punkt hat ff eine Ecke? Überprüfe durch Berechnung der seitlichen Ableitungen an diesem Punkt.

  11. Ex. 59.11Application

    Sei sgn(x)=x/x\text{sgn}(x) = x/|x| für x0x \neq 0 und sgn(0)=0\text{sgn}(0) = 0. Ist es stetig in 00? Ist es differenzierbar in 00?

  12. Ex. 59.12Application

    Wo ist die Ganzzahl-Funktion f(x)=xf(x) = \lfloor x \rfloor differenzierbar? Wo nicht? Begründe in jedem Fall.

  13. Ex. 59.13Application

    Sei f(x)=x3f(x) = |x|^3. Berechne f(0)f'(0) und f(0)f''(0) aus der Grenzwertdefinition.

  14. Ex. 59.14ApplicationAnswer key

    Sei f(x)=x2f(x) = x^2 wenn xQx \in \mathbb{Q} und f(x)=0f(x) = 0 wenn xQx \notin \mathbb{Q}. Bestimme ob ff differenzierbar in 00 ist.

  15. Ex. 59.15Application

    Sei f(x)=xf(x) = \sqrt{|x|}. Berechne f(0)f'(0) aus der Definition. Identifiziere die Art des Nicht-Differenzierungspunktes.

  16. Ex. 59.16ApplicationAnswer key

    Sei f(x)=x2sin(1/x)f(x) = x^2\sin(1/x) für x0x \neq 0 und f(0)=0f(0) = 0. Zeige dass ff differenzierbar in 00 ist, aber dass fC0f' \notin C^0. Welche maximale Klasse CkC^k hat ff?

  17. Ex. 59.17Application

    Finde aa und bb so dass f(x)={ax+b,x1x2,x>1f(x) = \begin{cases} ax + b, & x \leq 1 \\ x^2, & x > 1 \end{cases} C1C^1 in R\mathbb{R} ist.

  18. Ex. 59.18Application

    Finde c,dc, d so dass f(x)={cx+d,x13x22,x>1f(x) = \begin{cases} cx + d, & x \leq 1 \\ 3x^2 - 2, & x > 1 \end{cases} C1C^1 in 11 ist.

  19. Ex. 59.19Application

    Finde a,ba, b so dass f(x)={ax+b,x0sinx,x>0f(x) = \begin{cases} ax + b, & x \leq 0 \\ \sin x, & x > 0 \end{cases} C1C^1 in 00 ist.

  20. Ex. 59.20ApplicationAnswer key

    Wo ist f(x)=(x2)1/3f(x) = (x-2)^{1/3} nicht differenzierbar? Identifiziere die Art des Punktes.

  21. Ex. 59.21Application

    Sei f(x)={x2,x<0sinx,x0f(x) = \begin{cases} x^2, & x < 0 \\ \sin x, & x \geq 0 \end{cases}. Ist ff C0C^0 in 00? Ist es C1C^1 in 00?

  22. Ex. 59.22UnderstandingAnswer key

    Ein kubisches Polynom p(x)=ax3+bx2+cx+dp(x) = ax^3 + bx^2 + cx + d gehört zu welcher Klasse CkC^k? Warum ist die Antwort nicht C3C^3?

  23. Ex. 59.23Understanding

    Wo hat f(x)=x21f(x) = |x^2 - 1| Ecken? Berechne die seitlichen Ableitungen an jedem Punkt zur Bestätigung.

  24. Ex. 59.24Understanding

    Ein kubischer Spline wird aus S1(x)S_1(x) in [0,1][0,1] und S2(x)S_2(x) in [1,2][1,2] gebildet. Welche Bedingungen in x=1x = 1 garantieren dass der gesamte Spline C2C^2 ist? Liste alle Gleichungen auf.

  25. Ex. 59.25UnderstandingAnswer key

    Sei f(x)=xsinxf(x) = x|\sin x|. In welchen Punkten hat ff Ecken? Skizziere das Argument für die Punkte x=nπx = n\pi.

  26. Ex. 59.26Understanding

    Sei f(x)=xxf(x) = x|x|. Berechne f(x)f'(x) für alle xx und zeige dass fC1f \in C^1.

  27. Ex. 59.27Application

    Analysiere die Differenzierbarkeit von f(x)=sinxf(x) = |\sin x| auf ganz R\mathbb{R}. In welchen Punkten hat ff Ecken?

  28. Ex. 59.28Understanding

    Sei p(x)=3x42x2+7p(x) = 3x^4 - 2x^2 + 7. Was ist die Glattheit-Klasse CkC^k von pp in R\mathbb{R}? Begründe.

  29. Ex. 59.29ModelingAnswer key

    Der Payoff einer europäischen Call-Option bei Verfall ist V(S)=max(SK,0)V(S) = \max(S - K, 0). (a) Identifiziere den Nicht-Differenzierungspunkt. (b) Berechne V(K)V'_-(K) und V+(K)V'_+(K). (c) Was passiert mit dem griechischen Delta Δ=V/S\Delta = \partial V/\partial S an diesem Punkt?

  30. Ex. 59.30Modeling

    Im maschinellen Lernen ist die Aktivierungsfunktion ReLU f(x)=max(0,x)f(x) = \max(0, x). Warum funktioniert der SGD-Algorithmus auch wenn ReLU nicht differenzierbar in 00 ist?

  31. Ex. 59.31Modeling

    In der Strukturtechnik hat ein elastisches Kabel mit Knoten Verschiebung u(x)u(x) stetig aber Steigung u(x)u'(x) mit Sprung im Knoten. (a) Was ist die Glattheit-Klasse von uu? (b) Was stellt die Ecke im Graph von uu physikalisch dar?

  32. Ex. 59.32Modeling

    Ein natürlicher kubischer Spline in [0,1][0,1] mit Knoten in 1/21/2 erzwingt welche Glattheit-Bedingungen? Was ist die resultierende Klasse CkC^k? Warum C2C^2 und nicht C3C^3?

  33. Ex. 59.33Modeling

    In einer Wellengleichung utt=c2uxxu_{tt} = c^2 u_{xx} mit unstetiger Anfangsbedingung (Stufenfunktion), welche Glattheit wird von der Lösung u(x,t)u(x,t) erwartet? Warum kann keine C2C^2-Lösung existieren?

  34. Ex. 59.34Understanding

    Die Umkehrung von "differenzierbar \Rightarrow stetig" ist wahr? Was ist das einfachste Gegenbeispiel?

  35. Ex. 59.35Understanding

    Sei f(x)=xxf(x) = x|x|. Was ist die maximale Klasse CkC^k von ff? Berechne f(x)f'(x) für alle xx zur Begründung.

  36. Ex. 59.36Understanding

    Die Cantor-Funktion (Teufels-Treppe) erfüllt: stetig in [0,1][0,1], f(0)=0f(0) = 0, f(1)=1f(1) = 1, und f(x)=0f'(x) = 0 fast überall. Warum gilt der Hauptsatz der Analysis nicht?

  37. Ex. 59.37Challenge

    Existiert eine Funktion, die in R\mathbb{R} stetig ist, aber in keinem Punkt differenzierbar? Beschreibe die Hauptkonstruktion.

  38. Ex. 59.38Challenge

    Sei f(x)=e1/x2f(x) = e^{-1/x^2} für x0x \neq 0 und f(0)=0f(0) = 0. Zeige dass fCf \in C^\infty und dass f(n)(0)=0f^{(n)}(0) = 0 für alle n0n \geq 0. Was impliziert das über die Taylor-Reihe von ff in 00?

  39. Ex. 59.39ProofAnswer key

    Beweise: Wenn ff differenzierbar in aa ist, dann ist ff stetig in aa.

  40. Ex. 59.40Proof

    Beweise dass wenn fC1[a,b]f \in C^1[a,b], dann ist ff Lipschitz in [a,b][a,b]. (Tipp: verwende den Mittelwertsatz und die Tatsache dass ff' in kompakt beschränkt ist.)

Quellen

  • Active Calculus — Boelkins, 2024 · §1.7 "Limits, Continuity, and Differentiability" · CC-BY-NC-SA. Primärquelle.
  • Calculus Volume 1 — OpenStax, 2016 · §3.2 "The Derivative as a Function" · CC-BY-NC-SA.
  • APEX Calculus — Hartman et al., 2024 · v5 · §2.1 "Instantaneous Rates of Change: The Derivative" · CC-BY-NC.

Updated on 2026-05-11 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.