Lição 59 — Diferenciabilidade e suavidade
Diferenciável implica contínua. Pontos de bico, cúspide, tangente vertical. Classes C^k e C^∞. Função de Weierstrass.
Used in: 2.º ano do EM avançado (cálculo) · Equiv. Math III japonês · Equiv. Leistungskurs Klasse 12 alemã
Rigorous notation, full derivation, hypotheses
Définitions et théorèmes
Différentiabilité en un point
"Si existe, on dit que est différentiable en . Si est différentiable en tout nombre dans un intervalle ouvert , alors est différentiable sur ." — OpenStax Calculus Volume 1, §3.2
Théorème fondamental (différentiabilité implique continuité)
"Si est différentiable en , alors est continue en ." — Active Calculus, §1.7, Boelkins 2024 (Théorème 1.7.1)
Types de points de non-différentiabilité
Les quatre types principaux de points de non-différentiabilité. De gauche à droite : point anguleux (dérivées unilatérales finies et distinctes), cuspide (dérivées unilatérales infinies opposées), tangente verticale (dérivée des deux côtés), saut (fonction non continue).
| Type | Exemple en | Ce qui se produit |
|---|---|---|
| Point anguleux (corner) | ||
| Cuspide | ||
| Tangente verticale | ||
| Discontinuité par saut | n'est pas continue | |
| Oscillation sans limite | la limite du quotient n'existe pas |
Hiérarchie
Exemple : mais non (Cauchy)
Cette fonction est et pour tout , mais . Donc — elle sépare définitivement les classes lisse et analytique.
Fonction de Weierstrass
Exemples résolus
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 59.1ApplicationAnswer key
Soit . Calculez les dérivées unilatérales et par la définition. Concluez sur la différentiabilité en .
- Ex. 59.2Application
Soit . Calculez et . est-elle différentiable en ?
- Ex. 59.3Application
Soit . Déterminez en utilisant la définition.
- Ex. 59.4ApplicationAnswer key
Soit . Calculez par la définition. Que la réponse indique-t-elle géométriquement ?
- Ex. 59.5Application
Soit . Analysez la différentiabilité en en calculant les dérivées unilatérales par la définition.
- Ex. 59.6ApplicationAnswer key
Soit . Calculez et . est-elle différentiable en ?
- Ex. 59.7Application
Soit pour et . Vérifiez si est continue en et si elle est différentiable en .
- Ex. 59.8Application
Soit pour et . Montrez que en utilisant le théorème du sandwich.
- Ex. 59.9Application
Soit (fonction ReLU). Calculez et . est-elle différentiable en ?
- Ex. 59.10Application
Soit . En quel point a-t-elle un point anguleux ? Vérifiez en calculant les dérivées unilatérales à ce point.
- Ex. 59.11Application
Soit pour et . Est-elle continue en ? Est-elle différentiable en ?
- Ex. 59.12Application
Où la fonction partie entière est-elle différentiable ? Où ne l'est-elle pas ? Justifiez dans chaque cas.
- Ex. 59.13Application
Soit . Calculez et par la définition de la limite.
- Ex. 59.14ApplicationAnswer key
Soit si et si . Déterminez si est différentiable en .
- Ex. 59.15Application
Soit . Calculez par la définition. Identifiez le type de point de non-différentiabilité.
- Ex. 59.16ApplicationAnswer key
Soit pour et . Montrez que est différentiable en , mais que . Quelle classe maximale a ?
- Ex. 59.17Application
Trouvez et tels que soit sur .
- Ex. 59.18Application
Trouvez tels que soit en .
- Ex. 59.19Application
Trouvez tels que soit en .
- Ex. 59.20ApplicationAnswer key
Où n'est-elle pas différentiable ? Identifiez le type de point.
- Ex. 59.21Application
Soit . est-elle en ? Est-elle en ?
- Ex. 59.22UnderstandingAnswer key
Un polynôme cubique appartient à quelle classe ? Pourquoi la réponse n'est pas ?
- Ex. 59.23Understanding
Où a-t-elle des points anguleux ? Calculez les dérivées unilatérales en chaque point pour confirmer.
- Ex. 59.24Understanding
Une spline cubique est formée par sur et sur . Quelles conditions en garantissent que la spline totale est ? Listez toutes les équations.
- Ex. 59.25UnderstandingAnswer key
Soit . En quels points a-t-elle des points anguleux ? Esquissez l'argument pour les points .
- Ex. 59.26Understanding
Soit . Calculez pour tout et montrez que .
- Ex. 59.27Application
Analysez la différentiabilité de sur tout . En quels points a-t-elle des points anguleux ?
- Ex. 59.28Understanding
Soit . Quelle est la classe de régularité de sur ? Justifiez.
- Ex. 59.29ModelingAnswer key
Le payoff d'une option call européenne à l'échéance est . (a) Identifiez le point de non-différentiabilité. (b) Calculez et . (c) Que se passe-t-il avec le Greek Delta à ce point ?
- Ex. 59.30Modeling
En apprentissage automatique, la fonction d'activation ReLU est . Pourquoi l'algorithme SGD fonctionne-t-il même si ReLU n'est pas différentiable en ?
- Ex. 59.31Modeling
En ingénierie structurale, un câble élastique avec nœud a déplacement continu mais pente avec saut au nœud. (a) Quelle est la classe de régularité de ? (b) Que représente le point anguleux du graphe de physiquement ?
- Ex. 59.32Modeling
Une spline cubique naturelle sur avec nœud en impose quelles conditions de régularité ? Quelle est la classe résultante ? Pourquoi et non ?
- Ex. 59.33Modeling
Dans une équation d'onde avec donnée initiale discontinue (fonction marche), quelle régularité attend-on de la solution ? Pourquoi une solution n'existe-t-elle pas ?
- Ex. 59.34Understanding
La réciproque de « différentiable continu » est-elle vraie ? Quel est le contre-exemple le plus simple ?
- Ex. 59.35Understanding
Soit . Quelle la classe maximale de ? Calculez pour tout pour justifier.
- Ex. 59.36Understanding
La fonction de Cantor (escalier du diable) satisfait : continue sur , , , et presque partout. Pourquoi le Théorème Fondamental du Calcul ne s'applique-t-il pas ?
- Ex. 59.37Challenge
Existe-t-il une fonction continue sur qui n'est différentiable en aucun point ? Décrivez la construction principale.
- Ex. 59.38Challenge
Soit pour et . Montrez que et que pour tout . Que cela implique-t-il sur la série de Taylor de en ?
- Ex. 59.39ProofAnswer key
Démontrez : si est différentiable en , alors est continue en .
- Ex. 59.40Proof
Démontrez que si , alors est Lipschitz sur . (Indice : utilisez le Théorème de la Valeur Moyenne et le fait que est bornée en compact.)
Sources
- Active Calculus — Boelkins, 2024 · §1.7 "Limits, Continuity, and Differentiability" · CC-BY-NC-SA. Source primaire.
- 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.