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
Definições e teoremas
Diferenciabilidade num ponto
"Se existe, dizemos que é diferenciável em . Se é diferenciável em todo número em um intervalo aberto , então é diferenciável em ." — OpenStax Calculus Volume 1, §3.2
Teorema fundamental (diferenciabilidade implica continuidade)
"Se é diferenciável em , então é contínua em ." — Active Calculus, §1.7, Boelkins 2024 (Teorema 1.7.1)
Tipos de pontos de não-diferenciabilidade
Os quatro tipos principais de ponto de não-diferenciabilidade. Da esquerda: bico (derivadas laterais finitas e distintas), cúspide (derivadas laterais infinitas opostas), tangente vertical (derivada de ambos os lados), salto (função não contínua).
| Tipo | Exemplo em | O que ocorre |
|---|---|---|
| Bico (corner) | ||
| Cúspide | ||
| Tangente vertical | ||
| Descontinuidade de salto | não é contínua | |
| Oscilação sem limite | limite do quociente não existe |
Hierarquia
Exemplo: mas não (Cauchy)
Esta função é e para todo , mas . Logo — separa definitivamente as classes suave e analítica.
Função de Weierstrass
Exemplos resolvidos
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 59.1ApplicationAnswer key
Seja . Calcule as derivadas laterais e pela definição. Conclua sobre diferenciabilidade em .
- Ex. 59.2Application
Seja . Calcule e . é diferenciável em ?
- Ex. 59.3Application
Seja . Determine usando a definição.
- Ex. 59.4ApplicationAnswer key
Seja . Calcule pela definição. O que a resposta indica geometricamente?
- Ex. 59.5Application
Seja . Analise a diferenciabilidade em calculando as derivadas laterais pela definição.
- Ex. 59.6ApplicationAnswer key
Seja . Calcule e . é diferenciável em ?
- Ex. 59.7Application
Seja para e . Verifique se é contínua em e se é diferenciável em .
- Ex. 59.8Application
Seja para e . Mostre que usando o teorema do sanduíche.
- Ex. 59.9Application
Seja (função ReLU). Calcule e . é diferenciável em ?
- Ex. 59.10Application
Seja . Em que ponto tem um bico? Verifique calculando as derivadas laterais nesse ponto.
- Ex. 59.11Application
Seja para e . É contínua em ? É diferenciável em ?
- Ex. 59.12Application
Onde a função parte inteira é diferenciável? Onde não é? Justifique em cada caso.
- Ex. 59.13Application
Seja . Calcule e pela definição do limite.
- Ex. 59.14ApplicationAnswer key
Seja se e se . Determine se é diferenciável em .
- Ex. 59.15Application
Seja . Calcule pela definição. Identifique o tipo de ponto de não-diferenciabilidade.
- Ex. 59.16ApplicationAnswer key
Seja para e . Mostre que é diferenciável em , mas que . Que classe máxima tem ?
- Ex. 59.17Application
Encontre e tais que seja em .
- Ex. 59.18Application
Encontre tais que seja em .
- Ex. 59.19Application
Encontre tais que seja em .
- Ex. 59.20ApplicationAnswer key
Onde não é diferenciável? Identifique o tipo de ponto.
- Ex. 59.21Application
Seja . é em ? É em ?
- Ex. 59.22UnderstandingAnswer key
Um polinômio cúbico pertence a qual classe ? Por que a resposta não é ?
- Ex. 59.23Understanding
Onde tem bicos? Calcule as derivadas laterais em cada ponto para confirmar.
- Ex. 59.24Understanding
Um spline cúbico é formado por em e em . Quais condições em garantem que o spline total é ? Liste todas as equações.
- Ex. 59.25UnderstandingAnswer key
Seja . Em que pontos tem bicos? Esboce o argumento para os pontos .
- Ex. 59.26Understanding
Seja . Calcule para todo e mostre que .
- Ex. 59.27Application
Analise a diferenciabilidade de em todo . Em que pontos tem bicos?
- Ex. 59.28Understanding
Seja . Qual é a classe de regularidade de em ? Justifique.
- Ex. 59.29ModelingAnswer key
O payoff de uma opção call europeia no vencimento é . (a) Identifique o ponto de não-diferenciabilidade. (b) Calcule e . (c) O que acontece com o Greek Delta nesse ponto?
- Ex. 59.30Modeling
Em aprendizado de máquina, a função de ativação ReLU é . Por que o algoritmo SGD funciona mesmo ReLU não sendo diferenciável em ?
- Ex. 59.31Modeling
Em engenharia estrutural, um cabo elástico com nó tem deslocamento contínuo mas inclinação com salto no nó. (a) Qual a classe de regularidade de ? (b) O que o bico no gráfico de representa fisicamente?
- Ex. 59.32Modeling
Um spline cúbico natural em com nó em impõe quais condições de regularidade? Qual é a classe resultante? Por que e não ?
- Ex. 59.33Modeling
Numa equação de onda com dado inicial descontínuo (função degrau), que regularidade se espera da solução ? Por que uma solução não existe?
- Ex. 59.34Understanding
A recíproca de "diferenciável contínua" é verdadeira? Qual é o contraexemplo mais simples?
- Ex. 59.35Understanding
Seja . Qual a classe máxima de ? Calcule para todo para justificar.
- Ex. 59.36Understanding
A função de Cantor (escada do diabo) satisfaz: contínua em , , , e quase em todo ponto. Por que o Teorema Fundamental do Cálculo não se aplica?
- Ex. 59.37Challenge
Existe função contínua em que não é diferenciável em nenhum ponto? Descreva a construção principal.
- Ex. 59.38Challenge
Seja para e . Mostre que e que para todo . O que isso implica sobre a série de Taylor de em ?
- Ex. 59.39ProofAnswer key
Demonstre: se é diferenciável em , então é contínua em .
- Ex. 59.40Proof
Demonstre que se , então é Lipschitz em . (Dica: use o Teorema do Valor Médio e o fato de que é limitada em compacto.)
Fontes
- Active Calculus — Boelkins, 2024 · §1.7 "Limits, Continuity, and Differentiability" · CC-BY-NC-SA. Fonte primária.
- 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.