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
Rigorous notation, full derivation, hypotheses
Definitionen und Theoreme
Differenzierbarkeit an einem Punkt
"Wenn existiert, sagen wir, dass differenzierbar in ist. Wenn differenzierbar in jeder Zahl in einem offenen Intervall ist, dann ist differenzierbar in ." — OpenStax Calculus Volume 1, §3.2
Fundamentalsatz (Differenzierbarkeit impliziert Stetigkeit)
"Wenn differenzierbar in ist, dann ist stetig in ." — Active Calculus, §1.7, Boelkins 2024 (Satz 1.7.1)
Typen von Nicht-Differenzierungspunkten
Die vier Haupttypen von Nicht-Differenzierungspunkten. Von links: Ecke (endliche seitliche Ableitungen, unterschiedlich), Spitze (seitliche Ableitungen sind unendlich, entgegengesetzt), vertikale Tangente (Ableitung von beiden Seiten), Sprung (Funktion nicht stetig).
| Typ | Beispiel in | Was passiert |
|---|---|---|
| Ecke | ||
| Spitze | ||
| Vertikale Tangente | ||
| Unstetigkeit durch Sprung | ist nicht stetig | |
| Oszillation ohne Grenze | Grenzwert des Quotienten existiert nicht |
Hierarchie
Beispiel: aber nicht (Cauchy)
Diese Funktion ist und für alle , aber . Daher — trennt definitiv die Klassen glatte und analytische.
Weierstrass-Funktion
Gelöste Beispiele
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 59.1ApplicationAnswer key
Sei . Berechne die seitlichen Ableitungen und aus der Definition. Schließe auf Differenzierbarkeit in .
- Ex. 59.2Application
Sei . Berechne und . Ist differenzierbar in ?
- Ex. 59.3Application
Sei . Bestimme mit der Definition.
- Ex. 59.4ApplicationAnswer key
Sei . Berechne aus der Definition. Was zeigt die Antwort geometrisch?
- Ex. 59.5Application
Sei . Analysiere die Differenzierbarkeit in durch Berechnung der seitlichen Ableitungen aus der Definition.
- Ex. 59.6ApplicationAnswer key
Sei . Berechne und . Ist differenzierbar in ?
- Ex. 59.7Application
Sei für und . Überprüfe ob stetig in ist und ob es differenzierbar in ist.
- Ex. 59.8Application
Sei für und . Zeige dass mit dem Sandwich-Satz.
- Ex. 59.9Application
Sei (ReLU-Funktion). Berechne und . Ist differenzierbar in ?
- Ex. 59.10Application
Sei . In welchem Punkt hat eine Ecke? Überprüfe durch Berechnung der seitlichen Ableitungen an diesem Punkt.
- Ex. 59.11Application
Sei für und . Ist es stetig in ? Ist es differenzierbar in ?
- Ex. 59.12Application
Wo ist die Ganzzahl-Funktion differenzierbar? Wo nicht? Begründe in jedem Fall.
- Ex. 59.13Application
Sei . Berechne und aus der Grenzwertdefinition.
- Ex. 59.14ApplicationAnswer key
Sei wenn und wenn . Bestimme ob differenzierbar in ist.
- Ex. 59.15Application
Sei . Berechne aus der Definition. Identifiziere die Art des Nicht-Differenzierungspunktes.
- Ex. 59.16ApplicationAnswer key
Sei für und . Zeige dass differenzierbar in ist, aber dass . Welche maximale Klasse hat ?
- Ex. 59.17Application
Finde und so dass in ist.
- Ex. 59.18Application
Finde so dass in ist.
- Ex. 59.19Application
Finde so dass in ist.
- Ex. 59.20ApplicationAnswer key
Wo ist nicht differenzierbar? Identifiziere die Art des Punktes.
- Ex. 59.21Application
Sei . Ist in ? Ist es in ?
- Ex. 59.22UnderstandingAnswer key
Ein kubisches Polynom gehört zu welcher Klasse ? Warum ist die Antwort nicht ?
- Ex. 59.23Understanding
Wo hat Ecken? Berechne die seitlichen Ableitungen an jedem Punkt zur Bestätigung.
- Ex. 59.24Understanding
Ein kubischer Spline wird aus in und in gebildet. Welche Bedingungen in garantieren dass der gesamte Spline ist? Liste alle Gleichungen auf.
- Ex. 59.25UnderstandingAnswer key
Sei . In welchen Punkten hat Ecken? Skizziere das Argument für die Punkte .
- Ex. 59.26Understanding
Sei . Berechne für alle und zeige dass .
- Ex. 59.27Application
Analysiere die Differenzierbarkeit von auf ganz . In welchen Punkten hat Ecken?
- Ex. 59.28Understanding
Sei . Was ist die Glattheit-Klasse von in ? Begründe.
- Ex. 59.29ModelingAnswer key
Der Payoff einer europäischen Call-Option bei Verfall ist . (a) Identifiziere den Nicht-Differenzierungspunkt. (b) Berechne und . (c) Was passiert mit dem griechischen Delta an diesem Punkt?
- Ex. 59.30Modeling
Im maschinellen Lernen ist die Aktivierungsfunktion ReLU . Warum funktioniert der SGD-Algorithmus auch wenn ReLU nicht differenzierbar in ist?
- Ex. 59.31Modeling
In der Strukturtechnik hat ein elastisches Kabel mit Knoten Verschiebung stetig aber Steigung mit Sprung im Knoten. (a) Was ist die Glattheit-Klasse von ? (b) Was stellt die Ecke im Graph von physikalisch dar?
- Ex. 59.32Modeling
Ein natürlicher kubischer Spline in mit Knoten in erzwingt welche Glattheit-Bedingungen? Was ist die resultierende Klasse ? Warum und nicht ?
- Ex. 59.33Modeling
In einer Wellengleichung mit unstetiger Anfangsbedingung (Stufenfunktion), welche Glattheit wird von der Lösung erwartet? Warum kann keine -Lösung existieren?
- Ex. 59.34Understanding
Die Umkehrung von "differenzierbar stetig" ist wahr? Was ist das einfachste Gegenbeispiel?
- Ex. 59.35Understanding
Sei . Was ist die maximale Klasse von ? Berechne für alle zur Begründung.
- Ex. 59.36Understanding
Die Cantor-Funktion (Teufels-Treppe) erfüllt: stetig in , , , und fast überall. Warum gilt der Hauptsatz der Analysis nicht?
- Ex. 59.37Challenge
Existiert eine Funktion, die in stetig ist, aber in keinem Punkt differenzierbar? Beschreibe die Hauptkonstruktion.
- Ex. 59.38Challenge
Sei für und . Zeige dass und dass für alle . Was impliziert das über die Taylor-Reihe von in ?
- Ex. 59.39ProofAnswer key
Beweise: Wenn differenzierbar in ist, dann ist stetig in .
- Ex. 59.40Proof
Beweise dass wenn , dann ist Lipschitz in . (Tipp: verwende den Mittelwertsatz und die Tatsache dass 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.