Escolhendo uma Ferramenta de Cálculo: Um Guia de Decisão

Objetivos de Aprendizagem

Ler o enunciado de um problema e dizer qual ferramenta de cálculo ele pede antes de fazer qualquer conta.
Dizer qual verificação vem primeiro em cada ferramenta, que costuma ser uma hipótese de um teorema.
Resolver um problema com cada ferramenta principal da disciplina e conferir a resposta por um segundo caminho.
Reconhecer quando o próximo passo certo é um cálculo numérico ou uma cota, e não uma fórmula exata.

Contexto e Motivação

Trinta e duas lições desta disciplina responderam, cada uma, a uma pergunta específica. Um problema real chega sem título de capítulo: um laço cujo custo precisa ser estimado, um tamanho de batch a ajustar, um valor a calcular dentro de uma tolerância. A etapa difícil em geral não é a conta. É decidir que tipo de problema é esse e notar a hipótese que faria a ferramenta falhar.

As lições repetiram o mesmo padrão. the-fundamental-theorem-of-calculus dá uma resposta finita errada para $\frac{1}{x^2}$ em $[-1,1]$ . lhopitals-rule dá um limite errado quando a forma não é indeterminada. taylor-and-maclaurin-series-with-error-bounds mostra uma série que converge para a função errada. Em cada caso a ferramenta rodou normalmente, e o erro estava numa verificação pulada. Este guia organiza a disciplina em torno dessa primeira verificação.

Teoria Central

Da pergunta à ferramenta

O problema pergunta	Use	Verifique primeiro
O que acontece quando a entrada cresce?	Limite no infinito, razão de duas funções	A forma é indeterminada? A afirmação vale só para entradas grandes?
Com que rapidez isso muda aqui?	Derivada	A função é derivável nesse ponto? Quais são as unidades?
Qual o melhor valor de um parâmetro?	Pontos críticos e extremidades	O domínio é fechado? O extremo é global?
Qual o total de uma taxa que varia?	Integral definida, Teorema Fundamental	O integrando é contínuo no intervalo inteiro?
Quanto dá uma soma de muitos termos?	Forma fechada ou cotas por integral	Os termos são monótonos?
Este total infinito é finito?	Integral imprópria, testes de convergência	Cada extremidade converge sozinha? O teste se aplica?
Qual este valor dentro de uma tolerância?	Polinômio de Taylor com cota do resto	O ponto está no intervalo de convergência? A cota é válida?
Como uma saída depende de várias entradas?	Gradiente, hessiana, integrais múltiplas	É diferenciável? Qual fator jacobiano se aplica?
A variação depende do estado atual?	Equação diferencial	Quais equilíbrios a divisão perde? Em que intervalo vale?

Três hábitos

Diga a hipótese em voz alta. Todo teorema desta disciplina tem uma que pode falhar: continuidade em intervalo fechado no Teorema do Valor Extremo, diferenciabilidade no intervalo aberto no Teorema do Valor Médio, derivada não nula do denominador na Regra de L'Hôpital, convergência absoluta para rearranjar uma série.

Separe resposta exata de cota. Muitos resultados úteis são desigualdades: cotas por integral para uma soma, o resto de Lagrange, um teste de comparação. Uma cota que vale costuma ser melhor que uma fórmula que não existe, como the-mean-value-theorem-and-monotonicity mostra ao cercar uma raiz quadrada.

Confira por um segundo caminho. Derive uma antiderivada, substitua uma solução de volta, avalie um limite numericamente numa entrada grande ou compare uma integral simbólica com uma quadratura. A concordância entre dois caminhos independentes pega a maior parte dos erros. Só a conferência numérica pode enganar, como mostram as tabelas de ponto flutuante de limit-laws-and-indeterminate-forms, então ela é evidência, não prova.

Exemplos Resolvidos

Cada exemplo começa pela etapa de reconhecer o problema. Todos os valores foram calculados em um script.

Exemplo 1: comparando crescimento

$n \ln n$ cresce mais devagar que $n^{3/2}$ ? A pergunta é sobre entradas grandes, então tome o limite da razão, que se reduz a $\frac{\ln n}{\sqrt{n}}$ . Isso é $\frac{\infty}{\infty}$ , então a Regra de L'Hôpital se aplica e dá

\lim_{n\to\infty}\frac{\ln n}{\sqrt n}=\lim_{n\to\infty}\frac{1/n}{1/(2\sqrt n)}=\lim_{n\to\infty}\frac{2}{\sqrt n}=0.

A armadilha é ler isso como afirmação sobre um tamanho específico. Aqui a razão nunca chega a 1, com pico de cerca de $0{,}736$ em $n=e^2$ , então $n\ln n$ é o menor em todo $n\ge1$ . Acrescente uma constante, como em $100\,n\ln n$ contra $n^{3/2}$ , e o limite não muda, mas o primeiro passa a ser o maior para todo $n$ de $2$ até cerca de $2{,}1\times10^6$ . O limite resolve a ordem assintótica e não diz qual algoritmo vence em um dado tamanho, como explica limits-at-infinity-and-asymptotic-growth.

Exemplo 2: o melhor parâmetro

Processar $n$ itens em batches custa um setup fixo por batch mais um atraso que cresce com o tamanho, modelados aqui como $T(b)=\frac{1000}{b}+0{,}1\,b$ para $b>0$ . A pergunta pede um melhor valor, então procure pontos críticos:

T'(b)=-\frac{1000}{b^2}+0{,}1=0 \quad\Longrightarrow\quad b=100,\qquad T(100)=20.

A armadilha é o domínio. Ele é aberto, então o Teorema do Valor Extremo não se aplica, e um ponto crítico sozinho não prova nada. Aqui $T''(b)=\frac{2000}{b^3}>0$ em todo $(0,\infty)$ , então $T$ tem concavidade para cima em todo lugar e $b=100$ é o mínimo global. Os vizinhos confirmam: $T(99)\approx 20{,}0010$ e $T(101)\approx 20{,}0010$ .

Exemplo 3: uma soma sem forma fechada

Quanto dá $\sum_{k=1}^{1000}\sqrt{k}$ ? Não há forma fechada elementar, então use integrais. Como $\sqrt{x}$ é crescente, a soma fica entre duas integrais:

\int_0^{1000}\sqrt{x}\,dx \;\le\; \sum_{k=1}^{1000}\sqrt{k} \;\le\; \int_1^{1001}\sqrt{x}\,dx.

O Teorema Fundamental dá $21081{,}85$ e $21112{,}82$ . A soma verdadeira é $21097{,}46$ , dentro das cotas como deveria. A armadilha é que o argumento exige termos monótonos. Para uma função que oscila, essas desigualdades não estão disponíveis.

Exemplo 4: um valor dentro de uma tolerância

Calcule $\ln(1{,}1)$ com erro de no máximo $10^{-6}$ . Isso pede um polinômio de Taylor, e $x=0{,}1$ está no intervalo $(-1,1]$ em que vale $\ln(1+x)=\sum_{k\ge1}(-1)^{k+1}\frac{x^k}{k}$ . A série alterna com termos decrescentes, então o erro é no máximo o primeiro termo omitido:

text
termos  estimativa    erro real     primeiro termo omitido
4       0.09530833    1.85e-06      2.00e-06
5       0.09531033    1.54e-07      1.67e-07

Quatro termos não bastam, e cinco bastam. A armadilha é o intervalo: em $x=2$ a mesma série tem somas parciais $5{,}07$ , $-64{,}83$ e $-34359{,}71$ depois de 5, 10 e 20 termos, porque esse ponto está fora do intervalo de convergência.

Exemplo 5: o total é finito?

Tempos de resposta seguem uma densidade de Pareto $f(x)=\alpha x^{-\alpha-1}$ em $[1,\infty)$ . A média é finita? A pergunta é sobre um total infinito, então é uma integral imprópria:

\int_1^\infty x\cdot\alpha x^{-\alpha-1}\,dx=\alpha\int_1^\infty x^{-\alpha}\,dx.

Pelo teste $p$ , isso converge exatamente quando $\alpha>1$ . Para $\alpha=1{,}5$ a média é $3$ , para $\alpha=2$ é $2$ , e para $\alpha=1$ a integral diverge. A armadilha é que uma média amostral sempre devolve um número finito. A densidade integra 1 em todos os casos, e a média infinita não aparece em nenhum log finito.

Exemplo 6: várias entradas

Minimize $f(x,y)=x^2+4y^2-2x$ . Há duas entradas, então use o gradiente: $\nabla f=(2x-2,\,8y)$ só se anula em $(1,0)$ . A hessiana tem $2$ e $8$ na diagonal e $0$ no resto, então seu determinante é $16>0$ com primeira entrada positiva, o que faz de $(1,0)$ um mínimo local. Como $f$ é soma de termos convexos, ele também é o global.

Em $(0,1)$ o gradiente é $(-2,8)$ , de comprimento cerca de $8{,}25$ , então a direção de maior descida é $(2,-8)$ dividido por esse comprimento. A armadilha é que essa direção não aponta para o minimizador: a partir de $(0,1)$ ele fica na direção $(1,-1)$ . Maior descida é uma afirmação local, como mostra directional-derivatives-and-the-direction-of-steepest-ascent.

Exemplo 7: variação que depende do estado

Um cache aquece a uma taxa proporcional ao que ainda falta: $y'=0{,}2(100-y)$ com $y(0)=0$ , com $t$ em minutos e $y$ em porcentagem. A taxa depende do valor atual, então é uma equação diferencial, e separável. Dividir por $100-y$ dá

y(t)=100-100e^{-0{,}2t},

e substituir de volta confirma, com $y'=20e^{-0{,}2t}=0{,}2(100-y)$ . O cache chega a $95\%$ em $t=\frac{\ln 20}{0{,}2}\approx 14{,}98$ minutos. A armadilha é a divisão, que supõe $y\ne100$ . Nada se perde aqui, porque a solução geral $y=100+(y_0-100)e^{-0{,}2t}$ contém o equilíbrio em $y_0=100$ . Isso não é garantido: a forma usual da solução logística em separable-differential-equations perde um equilíbrio, então verifique as raízes do lado direito separadamente.

Equívocos Comuns e Armadilhas

"Se os passos rodaram sem erro, a resposta está certa." Uma fórmula aplicada fora de suas hipóteses ainda produz um número. O Exemplo 4 em $x=2$ produz somas parciais que não significam nada.
"Um ponto crítico é a resposta." É um candidato. O Exemplo 2 precisou da concavidade para concluir, e um intervalo fechado também exigiria olhar as extremidades.
"Limites descrevem o que acontece em tamanhos realistas." O Exemplo 1 mostra um fator constante levando o cruzamento para além de dois milhões. Assintótica responde a uma pergunta diferente da de um benchmark.
"Sem forma fechada não há resposta." O Exemplo 3 cercou uma soma com folga de cerca de $31$ em $21{.}000$ usando duas integrais.
"Uma conferência numérica prova." É evidência. Uma amostra finita nunca revela a média infinita do Exemplo 5, e o ponto flutuante pode arredondar um limite verdadeiro para fora.
"A maior descida aponta para o mínimo." O Exemplo 6 mostra que não, em geral. Com curvas de nível elípticas, ela aponta só sobre os eixos.

Resumo

Antes de calcular, identifique a pergunta: crescimento, taxa, melhor valor, total, finito ou infinito, valor dentro de uma tolerância, várias entradas ou variação que depende do estado. Depois diga a hipótese que a ferramenta correspondente exige, porque é ali que o cálculo erra. Prefira uma cota que vale a uma fórmula que não existe, e confira por um segundo caminho. Os sete exemplos usam uma ferramenta cada, e cada um traz uma verificação que a conta sozinha não daria.