O termo de fronteira

Posted on ago. 29, 2026

Introdução

A conta dava 6,885. O valor certo era 11,385. A diferença, 4,5 exatos, não era erro de arredondamento nem de quadratura: era um termo inteiro que eu tinha deixado de escrever. Quase 40% da resposta desaparecida porque a derivada de uma integral tem três pedaços e eu só tinha somado dois.

Derivar integral de limites fixos é entediante: $\int_0^1 g(\tau) d\tau$ é um número, e derivada de número é zero. Fica interessante quando o $t$ que você está derivando aparece em mais de um lugar dentro da integral. O Teorema Fundamental do Cálculo cobre o caso em que ele aparece só no limite. A regra de Leibniz cobre também o caso em que ele aparece dentro do integrando, e os dois ao mesmo tempo, que é o que acontece de verdade quando você modela acumulação com memória.

Na forma geral:

$$ \frac{d}{dt}\int_{a(t)}^{b(t)} g(t,\tau)\,d\tau = g\big(t,b(t)\big)\,b'(t) - g\big(t,a(t)\big)\,a'(t) + \int_{a(t)}^{b(t)} \frac{\partial g}{\partial t}(t,\tau)\,d\tau $$

Os dois primeiros termos são fronteira: eles medem o efeito de mexer a região de integração. O terceiro é interior: mede o efeito de a curva inteira mudar de altura.

Não vale decorar isso. Vale ver de onde sai, porque de onde sai é regra da cadeia, e aí os três termos param de ser arbitrários.

Os três termos são a regra da cadeia disfarçada

O truque é parar de ver a integral como função de $t$ e ver ela como função de três argumentos independentes. Define

$$ H(t,u,v) = \int_u^v g(t,\tau)\,d\tau $$

e repara que o que você quer é a derivada de $H(t, a(t), b(t))$, uma composição. A cadeia entrega direto:

$$ \frac{dH}{dt} = \frac{\partial H}{\partial v}\,b'(t) + \frac{\partial H}{\partial u}\,a'(t) + \frac{\partial H}{\partial t} $$

Agora os três pedaços, um por um. $\partial H/\partial v = g(t,v)$ é Teorema Fundamental do Cálculo puro: mexer o limite de cima acrescenta área na borda direita, e a taxa com que ela entra é a altura da curva ali. $\partial H/\partial u = -g(t,u)$ é o mesmo TFC com o sinal trocado, porque subir o limite de baixo tira área. Nenhum dos dois é novidade: você já sabia os dois antes de ouvir falar em Leibniz.

O único pedaço que é teorema de fato é o terceiro, $\partial H/\partial t = \int_u^v \partial_t g(t,\tau) d\tau$. Ele diz que dá pra trocar a ordem de duas operações de limite, derivar e integrar, e essa troca é justamente o que precisa de hipótese pra valer. É esse pedaço que se chama derivar sob o sinal da integral. A regra de Leibniz é ele mais dois termos de fronteira que já vinham de graça.

A intuição geométrica fecha o assunto. Entre $t$ e $t+dt$ a integral muda por dois motivos independentes. A região de integração cresce, e nasce uma tira fina de área na borda, de largura $dt$ e altura igual ao integrando naquele ponto. E a curva inteira sobe ou desce, em todo ponto do interior, porque o integrando também depende de $t$. Pensa numa piscina que fica ao mesmo tempo mais comprida e mais funda: o volume novo é a fatia que entrou na ponta mais o que subiu no resto do fundo. Somar os dois efeitos é a regra.

As hipóteses, e onde continuidade deixa de bastar

A versão suficiente pra quase tudo é curta: se $g$ e $\partial g/\partial t$ forem contínuas num retângulo que contenha a região de integração, e $a$ e $b$ forem diferenciáveis, a fórmula vale. Num retângulo fechado a continuidade já dá limitação de graça, e é isso que faz a demonstração andar.

Em domínio infinito, continuidade não basta, e o contraexemplo é curto o suficiente pra caber numa linha:

$$ I(t) = \int_0^\infty t\,e^{-tx}\,dx $$

Para todo $t > 0$ isso vale exatamente 1, e você confere na mão: a primitiva é $-e^{-tx}$, avaliada de 0 a infinito dá 1, e o $t$ cancela. Em $t = 0$ o integrando é identicamente zero, então $I(0) = 0$. O integrando é suave em $t$ para cada $x$ fixo, e mesmo assim $I$ é descontínua na origem. Derivar sob o sinal ali não produz erro pequeno, produz besteira: a função nem é contínua no ponto.

A massa fugiu. Conforme $t$ diminui, a exponencial se espalha e fica baixinha, mas a área não muda, só migra pra longe. Nenhuma função integrável fixa segura a família toda por cima, e é exatamente isso que a dominação pede: além de continuidade, você precisa de cotas $|g(t,\tau)| \le A(\tau)$ e $|\partial_t g(t,\tau)| \le B(\tau)$ que não dependam de $t$ e cujas integrais existam. Com elas, a troca vale mesmo em intervalo infinito. É assim que a regra aparece com todos os parafusos apertados nas notas de Keith Conrad, que trata a versão de limites variáveis como corolário da versão de limites fixos, e não o contrário. Em retângulo compacto a continuidade compra a dominação; em domínio infinito você traz a dominação de casa.

Um caso inteiro, com o erro medido

Pega um acumulador com memória logarítmica, que é a forma que aparece quando o passado pesa cada vez menos mas nunca zera:

$$ A(t) = A_0 + \int_0^t F(\tau)\,\log_2\!\big(2+t-\tau\big)\,d\tau $$

O parâmetro $t$ aparece nos dois lugares que interessam: no limite de cima e dentro do núcleo. É o caso completo da regra, com um dos termos de fronteira ativo.

Identificando as peças: $a(t) = 0$ com $a^{\prime} = 0$, o que mata o termo de fronteira de baixo; $b(t) = t$ com $b^{\prime} = 1$; e $g(t,\tau) = F(\tau)\log_2(2+t-\tau)$.

O termo de fronteira de cima é $g(t,t) \cdot 1 = F(t)\log_2 2 = F(t)$. Ele saiu redondo por construção: o núcleo vale exatamente 1 na diagonal. A derivada parcial do núcleo é $\partial_t \log_2(2+t-\tau) = 1/((2+t-\tau)\ln 2)$, e escrevendo $c = 1/\ln 2$:

$$ A'(t) = F(t) + c\int_0^t \frac{F(\tau)}{2+t-\tau}\,d\tau $$

A regularidade aqui é confortável: $g$ e $\partial_t g$ são contínuas no triângulo compacto $\lbrace 0 \le \tau \le t \le T\rbrace $ e o denominador nunca desce abaixo de 2. Nada perto de explodir, nenhuma dominação pra negociar.

Sobrou uma integral do mesmo formato, então aplica Leibniz de novo. O novo termo de fronteira é o núcleo na diagonal, $F(t)/2$, e a parcial do novo núcleo ganha um sinal negativo:

$$ A''(t) = F'(t) + c\left[\frac{F(t)}{2} - \int_0^t \frac{F(\tau)}{(2+t-\tau)^2}\,d\tau\right] $$

Agora a parte que interessa: conferir. Com $F(\tau) = 1 + \tau/2$ e $t = 7$, comparando a expressão de Leibniz contra a derivada numérica da integral obtida por quadratura de Simpson e diferença finita central:

	numérico	fórmula de Leibniz	erro
$A^{\prime}(7)$	11,385154865451	11,385154864821	6,3e-10
$A^{\prime\prime}(7)$	1,745262530051	1,745261949709	5,8e-07

Os dois erros são compatíveis com o método numérico, não com fórmula errada: o primeiro vem de diferença central com passo $10^{-5}$, o segundo de diferença segunda com passo $10^{-3}$, e o passo maior explica as três ordens de grandeza entre eles. Reproduzir isso custa trinta linhas de Python e nenhuma biblioteca.

E o número que abriu o post: esquecendo o termo de fronteira, $A^{\prime}(7)$ daria 6,885154864821 em vez de 11,385154865451. O erro é 4,5 exatos, que é exatamente $F(7)$, o termo que ficou de fora. Não é erro pequeno, é 39,5% da resposta. E não podia ser pequeno: o termo de fronteira vale $g(t,b(t))b^{\prime}(t)$, uma quantidade da ordem do próprio integrando. Quem esquece ele não perde precisão, perde o resultado.

A segunda armadilha é mais boba e mais comum: usar a mesma letra para a variável de integração e para o parâmetro. Escrever $\int_0^t F(t) dt$ não é notação relaxada, é expressão sem sentido, e o efeito colateral pior é apagar a possibilidade de aplicar a regra. Se as duas coisas têm o mesmo nome, você não consegue nem perguntar qual está variando.

Onde isso aparece em computação

Nada disso é exclusividade de integral com primitiva fechada. A regra aparece em lugares que qualquer pessoa que escreve código encontra, e em dois dos três casos abaixo o termo de fronteira não é detalhe: é a resposta inteira.

O primeiro é a janela deslizante, que é o agregado mais comum de qualquer sistema de observabilidade. Soma dos últimos $W$ minutos é uma integral com os dois limites andando junto com o tempo:

$$ A(t) = \int_{t-W}^{t} f(\tau)\,d\tau \qquad\Longrightarrow\qquad A^{\prime}(t) = f(t) - f(t-W) $$

O integrando não depende de $t$, então o termo interior é zero e sobra fronteira pura: o que entra na janela menos o que sai dela.

Conferi numericamente e bate na décima primeira casa. A consequência é conhecida de quem já pôs alarme em cima da variação de uma métrica de janela: cada pico produz dois eventos, um quando entra e outro, exatamente $W$ depois, quando sai. A queda que aparece uma janela inteira depois do incidente não é o sistema melhorando, é o segundo termo de fronteira entrando na conta com sinal trocado. O gráfico está certo e a leitura é que erra, porque a intuição trata a curva como se fosse o sistema quando ela é o sistema convolvido com a janela.

O segundo é o gradiente de uma esperança, que é o que treina boa parte de machine learning moderno. Otimizar a esperança de $f(X)$ sob uma densidade $p_\theta$, em relação a $\theta$, é derivar uma integral cujo parâmetro está na densidade, e a pergunta de sempre é se dá pra empurrar a derivada pra dentro. Quando o suporte não depende de $\theta$, dá, e o que sobra é a identidade que sustenta os estimadores de gradiente por amostragem, o mesmo movimento que aparece em policy gradient:

$$ \nabla_\theta \int f(x)\,p_\theta(x)\,dx = \int f(x)\,\nabla_\theta \log p_\theta(x)\,p_\theta(x)\,dx $$

Conferi com $X \sim N(\mu,1)$ e $f(x)=x^3$: a derivada numérica e a identidade dão 11,67 e batem com o valor fechado $3(\mu^2+1)$, com erro de $1{,}4 \times 10^{-9}$.

Agora o caso em que o suporte depende do parâmetro, que é onde a coisa fica interessante e onde autodiff ingênuo erra em silêncio. Tome $X \sim \mathrm{Uniforme}(0,\theta)$ e $f(x) = x^2$. A esperança é $\theta^2/3$ e a derivada é $2\theta/3$, que em $\theta = 3$ vale 2. Derivar só a densidade, que é o que a regra da cadeia enxerga quando você diferencia o código de amostragem sem pensar no domínio, entrega $-\theta/3$, que vale $-1$. Não é imprecisão, é sinal trocado e 150% de erro. O que falta são exatamente os 3 do termo de fronteira, $f(\theta)p_\theta(\theta)$, o efeito de o próprio domínio esticar quando $\theta$ cresce.

A saída conhecida pra esse problema é reescrever a amostragem de modo que o parâmetro saia dos limites e vá pro integrando. Com $x = \theta u$ e $u \sim \mathrm{Uniforme}(0,1)$, a esperança vira $\int_0^1 f(\theta u) du$, os limites ficam fixos e o termo interior dá conta de tudo sozinho. É essa a ideia do truque de reparametrização. Ele não é uma esperteza de implementação: é uma mudança de variável que tira o parâmetro da fronteira, onde ele é difícil, e coloca no interior, onde a regra é bem comportada.

O terceiro é rendering diferenciável, e é o exemplo mais bonito porque a fronteira ali é literalmente uma silhueta. A cor de um pixel é uma integral, e o termo de visibilidade torna o integrando descontínuo: um ponto está atrás do objeto ou não está. A posição dessa descontinuidade depende dos parâmetros da cena, então derivar em relação à geometria produz uma contribuição concentrada na borda. Quem ignora essa contribuição consegue treinar cor e material, e não consegue mover geometria, porque o gradiente que empurraria a silhueta é justamente o que ficou de fora. O trabalho que virou referência na área ataca isso de frente, com um algoritmo de amostragem de arestas que, nas palavras dos autores em tradução minha, “diretamente amostra as funções delta de Dirac introduzidas pelas derivadas do integrando descontínuo”.

Some os três e o padrão fica claro. Na integral fechada da seção anterior, esquecer a fronteira custou 40% da resposta. No suporte móvel, custa o sinal. No rendering, custa a capacidade de otimizar geometria. O termo que ninguém precisa provar continua sendo o que mais cobra.

O parâmetro que você inventa

A mesma regra sustenta um truque que parece mágica na primeira vez: introduzir um parâmetro que não existia no problema, só pra derivar em relação a ele. O exemplo clássico cabe em três linhas.

$$ I(a) = \int_0^1 \frac{x^a - 1}{\ln x}\,dx $$

Essa integral não tem primitiva elementar. A derivada dela tem, e é trivial: derivar sob o sinal mata o logaritmo do denominador, porque $\partial_a x^a = x^a \ln x$. Sobra $I^{\prime}(a) = \int_0^1 x^a dx = 1/(a+1)$, e como $I(0) = 0$, integrando de volta vem $I(a) = \ln(a+1)$, válido para $a > -1$. Conferi em quatro valores de $a$ e o erro fica na oitava casa, todo ele de quadratura perto dos extremos. A troca aqui pede justificativa: o intervalo é finito, mas o integrando tem comportamento chato nas duas pontas, e a limitação não sai tão de graça quanto no caso anterior.

É esse movimento que ficou conhecido como truque de Feynman, e daqui pra frente o post fala de história.

O que Leibniz de fato escreveu

Gottfried Wilhelm Leibniz nasceu em 1 de julho de 1646 em Leipzig e morreu em 14 de novembro de 1716 em Hannover. Ele não era matemático de formação: doutorou-se em direito em Altdorf, em fevereiro de 1667, e ganhou a vida como secretário, advogado, bibliotecário e conselheiro de corte. A matemática entrou por via diplomática. Foi a Paris em 1672 numa missão política, ficou até 1676, estudou com Christiaan Huygens no outono de 1672 e, por indicação dele, foi ler Saint-Vincent sobre soma de séries.

A notação é a parte da herança que ninguém disputa. Em 29 de outubro de 1675, num manuscrito não publicado chamado Analyseos tetragonisticae pars secunda, ele escreveu a frase que vale a pena ler no original: “Utile erit scribi ∫ pro omnia, ut ∫l = omn. l, id est summa ipsorum l”. Será útil escrever ∫ em vez de omnia, isto é, a soma dos próprios $l$. O símbolo é um S alongado de summa, e ele nasceu como abreviação de uma palavra que Leibniz estava cansado de escrever. Duas semanas depois, em 11 de novembro de 1675, no manuscrito Methodi tangentium inversae exempla, aparecem $dx$, $dy$ e $dy/dx$. E um detalhe de rodapé sobre como as datas escorregam: a biografia de Leibniz no MacTutor dá 21 de novembro de 1675 para a primeira aparição de $\int f(x)dx$, enquanto a página de primeiras ocorrências de símbolos, no mesmo arquivo, dá 11 de novembro. As duas não batem, e eu não resolvi a divergência sem ir aos manuscritos.

O artigo de 1684 na Acta Eruditorum, o Nova methodus pro maximis et minimis, é a primeira publicação do cálculo diferencial. Ele traz a notação $d$ e as regras de derivada de potência, produto e quociente, e não traz demonstração nenhuma. Os resultados de cálculo integral saíram em 1684 e 1686 com o nome de calculus summatorius; a expressão cálculo integral foi sugestão de Jacob Bernoulli, em 1690. E o símbolo $\int$, inventado em 1675, só apareceu impresso em 1686.

A disputa de prioridade com Newton rende um parágrafo, e ele é bom. Em 1711 Leibniz leu um artigo de Keill acusando ele de plágio e recorreu à Royal Society. Newton, que era presidente da Royal Society, nomeou um comitê “imparcial” para decidir se o inventor do cálculo era ele ou Leibniz, escreveu ele mesmo o relatório oficial do comitê, sem assinar, e depois publicou uma resenha anônima do próprio relatório nas Philosophical Transactions. O relatório saiu como Commercium Epistolicum no começo de 1713, e Leibniz só viu o documento no outono de 1714.

Aqui começa a parte em que eu preciso ser chato. A continuação dessa história, do jeito que circula, é que o rancor da disputa isolou a matemática britânica por um século, e que a culpa foi de os ingleses se agarrarem aos pontinhos de Newton em vez do $d$ de Leibniz. Quem estudou o período de perto contesta. Niccolò Guicciardini, no livro que dedicou ao cálculo de fluxões na Grã-Bretanha entre 1700 e 1800, escreve que “a diferença entre a notação de Newton e a de Leibniz recebeu importância demais”, e rastreia a imagem deprimente do cálculo newtoniano até os escritos da Analytical Society de Cambridge, no começo do século XIX, reformadores com interesse direto em pintar o passado como atrasado. A disputa não foi inofensiva. Mas a versão forte da lenda tem origem identificável e autor interessado, e a lista de matemáticos britânicos do século XVIII, com Taylor, Stirling, Bayes, Maclaurin e Simpson dentro, não parece lista de terra arrasada.

O que se afirma com tranquilidade sobre notação é mais modesto e mais interessante que a lenda: Leibniz sabia que achar boa notação era problema de primeira ordem e pensava muito nisso, enquanto Newton escrevia mais para si mesmo e usava a notação que lhe ocorria no dia. O $d$ e o $\int$ deixam explícito o aspecto de operador, e foi esse aspecto que os desenvolvimentos posteriores foram cobrar.

Agora a pergunta que me interessava, e que é a razão de este post existir: Leibniz enunciou a regra que leva o nome dele?

A resposta honesta é não, não nessa forma. O que a literatura documenta é mais estreito. Steven Engelsman, na monografia sobre a origem da diferenciação parcial a partir de problemas de famílias de curvas, situa em 1697 a descoberta e o uso, por Leibniz e Johann Bernoulli, do que ele chama teorema da permutabilidade entre derivação e integração, na forma $d_x\int \varphi(x,a) da = \int d_x \varphi(x,a) da$, com Jakob Bernoulli usando a mesma propriedade em 1698. O contexto era o problema das trajetórias ortogonais, e os dois estavam conscientes da novidade conceitual: chamaram a operação de diferenciação de curva em curva, em contraste com a derivação ordinária ao longo de uma única curva.

Olha bem o que está e o que não está nessa fórmula. Está o terceiro termo, a troca de ordem, o pedaço que é teorema de fato. Não estão os limites variáveis, não estão os dois termos de fronteira, não está hipótese nenhuma. O que Leibniz teve em 1697, pelo que a documentação sustenta, foi a permutação com limites fixos, escrita na linguagem de famílias de curvas, e usada como ferramenta para resolver um problema geométrico concreto. A regra completa que hoje leva o nome dele, com os três termos e com o retângulo de continuidade, é construção posterior de outras pessoas.

E aqui tem uma ironia de bibliografia que vale contar. As notas de Keith Conrad sobre derivação sob o sinal da integral, que são hoje a referência que todo mundo manda para quem pergunta, abrem dizendo que o método é “devido a Leibniz em 1697”, e a nota de rodapé dessa afirmação aponta para uma resposta no History of Science and Mathematics Stack Exchange. Não é crítica ao Conrad, o texto dele é de matemática e é excelente. É um retrato de como funciona a atribuição em matemática: a data circula com precisão de ano, a cadeia de citação termina num fórum, e ninguém checa porque o crédito não muda a fórmula.

O rigor que hoje se exige veio depois, e veio de outro projeto. Leibniz operava com infinitesimais, quantidades menores que qualquer grandeza dada e ainda assim não nulas, e nem ele tinha certeza do estatuto delas. Numa carta a Johann Bernoulli de junho de 1698 escreve, em tradução livre minha do inglês, que talvez o infinito e o infinitamente pequeno que concebemos sejam imaginários, mas adequados para determinar coisas reais, assim como as raízes também costumam ser consideradas imaginárias. É o autor do cálculo dizendo, com elegância, que não sabe se os objetos dele existem.

A formulação moderna abandonou o infinitesimal como objeto e reconstruiu tudo em cima de limite, com Bolzano, Cauchy e Weierstrass, e foi essa reconstrução que trouxe as hipóteses. A troca de derivada com integral deixou de ser propriedade evidente e passou a exigir continuidade, convergência uniforme e, com a integral de Lebesgue, convergência dominada, que é a hipótese que dá conta do contraexemplo da seção anterior sem pedir nada além de uma cota integrável.

Fecha o círculo o Feynman, responsável pela regra ter fama de arma secreta. Em Surely You’re Joking, Mr. Feynman!, no capítulo “A Different Box of Tools”, ele conta que o professor de física do colégio, o Mr. Bader, mandou ele ficar depois da aula e deu de presente um livro, o Advanced Calculus do Woods, porque ele falava demais e fazia barulho por tédio. E conta o efeito: “aquele livro também mostrava como derivar parâmetros sob o sinal da integral, é uma certa operação. Acontece que isso não é muito ensinado nas universidades, elas não dão ênfase nisso”. Foi com essa peça que ele construiu a fama de resolver integrais em Princeton, não por ser mais rápido, mas porque a caixa de ferramentas dele tinha algo que as outras não tinham. A regra é de 1697, o rigor é do século XIX, e a fama é de um físico que ganhou um livro de presente por ser aluno inconveniente.

O termo de fronteira é o resumo do post. É a parte da regra que ninguém precisa provar, que qualquer um deduz do TFC, e é justamente a parte que todo mundo esquece de escrever. Vale 40% da resposta no caso que eu conferi. A parte difícil você respeita, porque ela impõe hipótese e te obriga a pensar. A parte fácil você atropela, e é ela que te cobra a conta.

Fontes

Biografia de Leibniz, arquivo MacTutor, St Andrews: datas de nascimento e morte, doutorado em direito em Altdorf, os anos de Paris e o contato com Huygens, conteúdo do Nova methodus de 1684, primeira aparição impressa do ∫ em 1686, cronologia da disputa e do Commercium Epistolicum. mathshistory.st-andrews.ac.uk/Biographies/Leibniz
Biografia de Newton, arquivo MacTutor: comitê “imparcial” da Royal Society, relatório escrito por Newton sem assinatura e resenha anônima do próprio relatório. mathshistory.st-andrews.ac.uk/Biographies/Newton
Earliest Uses of Symbols of Calculus, compilação de Jeff Miller hospedada no MacTutor, citando Cajori: manuscrito de 29 de outubro de 1675 com a frase sobre o ∫, e manuscrito de 11 de novembro de 1675 com $dx$, $dy$ e $dy/dx$. mathshistory.st-andrews.ac.uk/Miller/mathsym/calculus
The rise of calculus, MacTutor: postura de Leibniz e de Newton em relação a notação, calculus summatorius, e a sugestão do nome cálculo integral por Jacob Bernoulli em 1690. mathshistory.st-andrews.ac.uk/HistTopics/The_rise_of_calculus
Niccolò Guicciardini, The Development of Newtonian Calculus in Britain, 1700-1800, Cambridge University Press, 1989, introdução: crítica à tese do declínio britânico, origem da imagem na Analytical Society de Cambridge, e a frase sobre a notação ter recebido importância demais.
Steven B. Engelsman, Families of Curves and the Origins of Partial Differentiation, North-Holland Mathematics Studies 93, 1984: 1697 como data da descoberta e uso do teorema de permutabilidade por Leibniz e Johann Bernoulli, 1698 para Jakob Bernoulli, e o termo diferenciação de curva em curva.
Carta de Leibniz a Johann Bernoulli de 7/17 de junho de 1698, edição da Academia A III 7, 796-97, em tradução inglesa publicada pela Technion: os infinitos e infinitamente pequenos como possivelmente imaginários. humanities.technion.ac.il
Keith Conrad, Differentiating under the integral sign: enunciado moderno com hipóteses de dominação, a versão com limites variáveis como corolário, contraexemplo com parcial descontínua, e a epígrafe com o trecho do Feynman. kconrad.math.uconn.edu
Tzu-Mao Li, Miika Aittala, Frédo Durand e Jaakko Lehtinen, Differentiable Monte Carlo Ray Tracing through Edge Sampling, ACM Transactions on Graphics 37(6), SIGGRAPH Asia 2018: descontinuidade de visibilidade no integrando e amostragem direta das deltas de Dirac introduzidas pela derivada. A citação do parágrafo de rendering vem do resumo dos autores. people.csail.mit.edu/tzumao/diffrt
Richard Feynman, Surely You’re Joking, Mr. Feynman!, capítulo “A Different Box of Tools”: o Mr. Bader, o Advanced Calculus do Woods, e o trecho sobre derivar parâmetros sob o sinal da integral.
Conferência numérica da janela deslizante, do gradiente de esperança com suporte fixo e com suporte móvel, de $A^{\prime}(7)$ e $A^{\prime\prime}(7)$, do contraexemplo $\int_0^\infty t e^{-tx}dx$ e de $\int_0^1 (x^a-1)/\ln x dx = \ln(a+1)$: script próprio em Python, quadratura de Simpson com 200 mil a 400 mil subintervalos e diferenças finitas centrais.

O que eu não consegui verificar

Se Leibniz chegou perto da forma com limites variáveis. O que achei documentado é a permutação com limites fixos, em 1697. Nenhuma fonte que eu alcancei diz que ele tratou dos termos de fronteira nesse contexto, e nenhuma diz que ele não tratou. Fica em aberto.
Quem primeiro enunciou a regra na forma moderna, com hipóteses. Não achei fonte. Sei dizer que a maquinaria veio da rigorização do século XIX e que a versão com convergência dominada é posterior a Lebesgue, mas não atribuo o primeiro enunciado a ninguém porque não sei.
A monografia do Engelsman e a edição Gerhardt eu não li. A afirmação sobre 1697 vem da descrição de capítulos da monografia, não do volume impresso, e não fui à correspondência original. Quem quiser fechar essa lacuna precisa do livro na mão.
A divergência de data entre duas páginas do MacTutor, 11 contra 21 de novembro de 1675, eu registrei sem resolver.
Qual edição do Woods o Feynman tinha. A bibliografia do Conrad cita a edição nova, de 1934, da Ginn and Co. O Feynman não dá edição no relato. Não sei qual era.