Math ClubMath Club
v1 · padrão canônico

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ã

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

Definições e teoremas

Diferenciabilidade num ponto

"Se f(a)f'(a) existe, dizemos que ff é diferenciável em aa. Se ff é diferenciável em todo número em um intervalo aberto (a,b)(a, b), então ff é diferenciável em (a,b)(a, b)." — OpenStax Calculus Volume 1, §3.2

Teorema fundamental (diferenciabilidade implica continuidade)

"Se ff é diferenciável em aa, então ff é contínua em aa." — Active Calculus, §1.7, Boelkins 2024 (Teorema 1.7.1)

Tipos de pontos de não-diferenciabilidade

Bico (|x|)0Cúspide (x²/³)0Tang. vertical (x¹/³)0Salto (sgn)0

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 =+= +\infty de ambos os lados), salto (função não contínua).

TipoExemplo em 00O que ocorre
Bico (corner)x\lvert x \rvertf+(0)=11=f(0)f'_+(0) = 1 \neq -1 = f'_-(0)
Cúspidex2/3x^{2/3}f±(0)=±f'_\pm(0) = \pm\infty
Tangente verticalx1/3x^{1/3}f(0)=+f'(0) = +\infty
Descontinuidade de saltosgn(x)\text{sgn}(x)ff não é contínua
Oscilação sem limitexsin(1/x), f(0)=0x\sin(1/x),\ f(0)=0limite do quociente não existe

Hierarquia CkC^k

Exemplo: CC^\infty mas não 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}

Esta função é C(R)C^\infty(\mathbb{R}) e f(n)(0)=0f^{(n)}(0) = 0 para todo n0n \geq 0, mas f≢0f \not\equiv 0. Logo fCωf \notin C^\omega — separa definitivamente as classes suave e analítica.

Função de Weierstrass

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

Exemplos resolvidos

Exercise list

40 exercises · 10 with worked solution (25%)

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

    Seja f(x)=xf(x) = |x|. Calcule as derivadas laterais f+(0)f'_+(0) e f(0)f'_-(0) pela definição. Conclua sobre diferenciabilidade em 00.

  2. Ex. 59.2Application

    Seja f(x)=x3f(x) = |x - 3|. Calcule f+(3)f'_+(3) e f(3)f'_-(3). ff é diferenciável em x=3x = 3?

  3. Ex. 59.3Application

    Seja f(x)=xxf(x) = x|x|. Determine f(0)f'(0) usando a definição.

  4. Ex. 59.4ApplicationAnswer key

    Seja f(x)=x1/3f(x) = x^{1/3}. Calcule f(0)f'(0) pela definição. O que a resposta indica geometricamente?

  5. Ex. 59.5Application

    Seja f(x)=x2/3f(x) = x^{2/3}. Analise a diferenciabilidade em 00 calculando as derivadas laterais pela definição.

  6. Ex. 59.6ApplicationAnswer key

    Seja f(x)={x2,x0x2,x<0f(x) = \begin{cases} x^2, & x \geq 0 \\ -x^2, & x < 0 \end{cases}. Calcule f+(0)f'_+(0) e f(0)f'_-(0). ff é diferenciável em 00?

  7. Ex. 59.7Application

    Seja f(x)=xsin(1/x)f(x) = x\sin(1/x) para x0x \neq 0 e f(0)=0f(0) = 0. Verifique se ff é contínua em 00 e se é diferenciável em 00.

  8. Ex. 59.8Application

    Seja f(x)=x2sin(1/x)f(x) = x^2\sin(1/x) para x0x \neq 0 e f(0)=0f(0) = 0. Mostre que f(0)=0f'(0) = 0 usando o teorema do sanduíche.

  9. Ex. 59.9Application

    Seja f(x)=max(x,0)f(x) = \max(x, 0) (função ReLU). Calcule f+(0)f'_+(0) e f(0)f'_-(0). ff é diferenciável em 00?

  10. Ex. 59.10Application

    Seja f(x)=min(x,1x)f(x) = \min(x, 1-x). Em que ponto ff tem um bico? Verifique calculando as derivadas laterais nesse ponto.

  11. Ex. 59.11Application

    Seja sgn(x)=x/x\text{sgn}(x) = x/|x| para x0x \neq 0 e sgn(0)=0\text{sgn}(0) = 0. É contínua em 00? É diferenciável em 00?

  12. Ex. 59.12Application

    Onde a função parte inteira f(x)=xf(x) = \lfloor x \rfloor é diferenciável? Onde não é? Justifique em cada caso.

  13. Ex. 59.13Application

    Seja f(x)=x3f(x) = |x|^3. Calcule f(0)f'(0) e f(0)f''(0) pela definição do limite.

  14. Ex. 59.14ApplicationAnswer key

    Seja f(x)=x2f(x) = x^2 se xQx \in \mathbb{Q} e f(x)=0f(x) = 0 se xQx \notin \mathbb{Q}. Determine se ff é diferenciável em 00.

  15. Ex. 59.15Application

    Seja f(x)=xf(x) = \sqrt{|x|}. Calcule f(0)f'(0) pela definição. Identifique o tipo de ponto de não-diferenciabilidade.

  16. Ex. 59.16ApplicationAnswer key

    Seja f(x)=x2sin(1/x)f(x) = x^2\sin(1/x) para x0x \neq 0 e f(0)=0f(0) = 0. Mostre que ff é diferenciável em 00, mas que fC0f' \notin C^0. Que classe CkC^k máxima tem ff?

  17. Ex. 59.17Application

    Encontre aa e bb tais que f(x)={ax+b,x1x2,x>1f(x) = \begin{cases} ax + b, & x \leq 1 \\ x^2, & x > 1 \end{cases} seja C1C^1 em R\mathbb{R}.

  18. Ex. 59.18Application

    Encontre c,dc, d tais que f(x)={cx+d,x13x22,x>1f(x) = \begin{cases} cx + d, & x \leq 1 \\ 3x^2 - 2, & x > 1 \end{cases} seja C1C^1 em 11.

  19. Ex. 59.19Application

    Encontre a,ba, b tais que f(x)={ax+b,x0sinx,x>0f(x) = \begin{cases} ax + b, & x \leq 0 \\ \sin x, & x > 0 \end{cases} seja C1C^1 em 00.

  20. Ex. 59.20ApplicationAnswer key

    Onde f(x)=(x2)1/3f(x) = (x-2)^{1/3} não é diferenciável? Identifique o tipo de ponto.

  21. Ex. 59.21Application

    Seja f(x)={x2,x<0sinx,x0f(x) = \begin{cases} x^2, & x < 0 \\ \sin x, & x \geq 0 \end{cases}. ff é C0C^0 em 00? É C1C^1 em 00?

  22. Ex. 59.22UnderstandingAnswer key

    Um polinômio cúbico p(x)=ax3+bx2+cx+dp(x) = ax^3 + bx^2 + cx + d pertence a qual classe CkC^k? Por que a resposta não é C3C^3?

  23. Ex. 59.23Understanding

    Onde f(x)=x21f(x) = |x^2 - 1| tem bicos? Calcule as derivadas laterais em cada ponto para confirmar.

  24. Ex. 59.24Understanding

    Um spline cúbico é formado por S1(x)S_1(x) em [0,1][0,1] e S2(x)S_2(x) em [1,2][1,2]. Quais condições em x=1x = 1 garantem que o spline total é C2C^2? Liste todas as equações.

  25. Ex. 59.25UnderstandingAnswer key

    Seja f(x)=xsinxf(x) = x|\sin x|. Em que pontos ff tem bicos? Esboce o argumento para os pontos x=nπx = n\pi.

  26. Ex. 59.26Understanding

    Seja f(x)=xxf(x) = x|x|. Calcule f(x)f'(x) para todo xx e mostre que fC1f \in C^1.

  27. Ex. 59.27Application

    Analise a diferenciabilidade de f(x)=sinxf(x) = |\sin x| em todo R\mathbb{R}. Em que pontos ff tem bicos?

  28. Ex. 59.28Understanding

    Seja p(x)=3x42x2+7p(x) = 3x^4 - 2x^2 + 7. Qual é a classe de regularidade CkC^k de pp em R\mathbb{R}? Justifique.

  29. Ex. 59.29ModelingAnswer key

    O payoff de uma opção call europeia no vencimento é V(S)=max(SK,0)V(S) = \max(S - K, 0). (a) Identifique o ponto de não-diferenciabilidade. (b) Calcule V(K)V'_-(K) e V+(K)V'_+(K). (c) O que acontece com o Greek Delta Δ=V/S\Delta = \partial V/\partial S nesse ponto?

  30. Ex. 59.30Modeling

    Em aprendizado de máquina, a função de ativação ReLU é f(x)=max(0,x)f(x) = \max(0, x). Por que o algoritmo SGD funciona mesmo ReLU não sendo diferenciável em 00?

  31. Ex. 59.31Modeling

    Em engenharia estrutural, um cabo elástico com nó tem deslocamento u(x)u(x) contínuo mas inclinação u(x)u'(x) com salto no nó. (a) Qual a classe de regularidade de uu? (b) O que o bico no gráfico de uu representa fisicamente?

  32. Ex. 59.32Modeling

    Um spline cúbico natural em [0,1][0,1] com nó em 1/21/2 impõe quais condições de regularidade? Qual é a classe CkC^k resultante? Por que C2C^2 e não C3C^3?

  33. Ex. 59.33Modeling

    Numa equação de onda utt=c2uxxu_{tt} = c^2 u_{xx} com dado inicial descontínuo (função degrau), que regularidade se espera da solução u(x,t)u(x,t)? Por que uma solução C2C^2 não existe?

  34. Ex. 59.34Understanding

    A recíproca de "diferenciável \Rightarrow contínua" é verdadeira? Qual é o contraexemplo mais simples?

  35. Ex. 59.35Understanding

    Seja f(x)=xxf(x) = x|x|. Qual a classe CkC^k máxima de ff? Calcule f(x)f'(x) para todo xx para justificar.

  36. Ex. 59.36Understanding

    A função de Cantor (escada do diabo) satisfaz: contínua em [0,1][0,1], f(0)=0f(0) = 0, f(1)=1f(1) = 1, e f(x)=0f'(x) = 0 quase em todo ponto. Por que o Teorema Fundamental do Cálculo não se aplica?

  37. Ex. 59.37Challenge

    Existe função contínua em R\mathbb{R} que não é diferenciável em nenhum ponto? Descreva a construção principal.

  38. Ex. 59.38Challenge

    Seja f(x)=e1/x2f(x) = e^{-1/x^2} para x0x \neq 0 e f(0)=0f(0) = 0. Mostre que fCf \in C^\infty e que f(n)(0)=0f^{(n)}(0) = 0 para todo n0n \geq 0. O que isso implica sobre a série de Taylor de ff em 00?

  39. Ex. 59.39ProofAnswer key

    Demonstre: se ff é diferenciável em aa, então ff é contínua em aa.

  40. Ex. 59.40Proof

    Demonstre que se fC1[a,b]f \in C^1[a,b], então ff é Lipschitz em [a,b][a,b]. (Dica: use o Teorema do Valor Médio e o fato de que ff' é 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.

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

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