🔬 física de mesoescala

A clarification of Fermi's formula for the maximum of partial sums

Este artigo corrige um erro de cálculo na nota de 1926 de Fermi sobre a probabilidade de somas parciais permanecerem abaixo de um limiar, esclarece a inconsistência em sua integração final e estabelece que pequenas variâncias individuais sozinhas são insuficientes para garantir o limite discreto sem satisfazer a condição de Lindeberg.

Autores originais: Alessandro Lodi

Publicado 2026-10-14

📖 4 min de leitura☕ Leitura rápida

CC0 1.0

Autores originais: Alessandro Lodi

Artigo original dedicado ao domínio público sob CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

No estudo dos processos aleatórios, os cientistas frequentemente buscam sequências de pequenos passos imprevisíveis para compreender como um sistema evolui ao longo do tempo. Imagine um viajante dando uma série de passos onde cada passo é independente do anterior, às vezes movendo-se para frente, às vezes para trás, mas sem uma tendência geral de derivar em uma direção. Uma questão central neste campo é determinar a probabilidade de esse viajante permanecer dentro de um certo limite, nunca cruzando uma linha específica, não importa quantos passos ele dê. Este conceito, conhecido como a probabilidade de um máximo, é crucial para entender desde a propagação do calor até as flutuações dos mercados financeiros. Por quase um século, um cálculo famoso do físico Enrico Fermi tem sido a referência padrão para este problema, oferecendo uma fórmula para prever com que frequência um caminhante aleatório permanece abaixo de um limite. No entanto, um olhar mais atento à matemática revela um erro sutil, mas significativo, na forma como essa fórmula foi interpretada, que inverte a resposta da probabilidade de permanecer seguro para a probabilidade de falhar.

Uma análise recente do pesquisador independente Alessandro Lodi revisita a nota de 1926 de Fermi para esclarecer exatamente o que foi calculado e onde a lógica se perdeu. O cerne da questão reside na diferença entre dois eventos relacionados, mas opostos: a chance de um caminho aleatório permanecer inteiramente abaixo de um limite e a chance de ele cruzar esse limite pelo menos uma vez. O texto original de Fermi forneceu uma expressão matemática que, após inspeção, na verdade descreve a probabilidade de cruzar a linha, não de permanecer abaixo dela. A fórmula impressa na nota original diminui à medida que o limite se afasta, o que não faz sentido para uma probabilidade de permanecer dentro dos limites; se a parede for movida mais para fora, a chance de permanecer dentro deve aumentar, não diminuir. Lodi demonstra que a probabilidade correta é simplesmente o complemento do que foi impresso. Ao rastrear cuidadosamente os passos da derivação original, especificamente como a integração final foi realizada, o autor mostra que o sinal do resultado foi efetivamente invertido, transformando a probabilidade de sobrevivência na probabilidade de falha.

O artigo faz mais do que apenas corrigir um erro histórico de digitação; ele estabelece rigorosamente as condições sob as quais o modelo matemático contínuo usado por Fermi realmente se aplica a passos discretos reais. Fermi assumiu que, se os passos individuais forem pequenos o suficiente em comparação com a distância total percorrida, o sistema se comportará como um fluxo contínuo e suave. Lodi confirma que isso é verdade, mas apenas se uma condição específica em relação ao tamanho dos passos for atendida. Esta condição garante que nenhum passo individual, por mais raro que seja, seja grande o suficiente para interromper o padrão suave. Para provar que esta condição é necessária, o autor constrói um contraexemplo específico envolvendo uma mistura de movimentos aleatórios minúsculos e saltos ocasionais e raros de um tamanho fixo. Neste cenário, mesmo que os passos individuais sejam pequenos em média, os saltos raros impedem que o sistema se comporte como um fluxo suave. O resultado é uma probabilidade que não coincide com a fórmula padrão, provando que simplesmente tornar as variâncias pequenas não é suficiente para garantir que o limite se sustente.

A resolução oferecida neste trabalho reconcilia a intuição física com a realidade matemática. Ela confirma que, para uma ampla classe de processos aleatórios onde os passos são bem comportados, a probabilidade de permanecer abaixo de um limite é, de fato, dada por uma curva suave específica que se aproxima da certeza à medida que o limite se afasta. No entanto, serve também como um aviso de que este resultado elegante depende de regras estritas sobre a natureza da aleatoriedade. O artigo conclui mostrando como os passos discretos, quando seguem as regras corretas, convergem perfeitamente para o modelo contínuo, mas quando essas regras são quebradas por flutuações raras e grandes, a aproximação padrão falha. Este esclarecimento garante que as aplicações futuras do trabalho de Fermi, da física às finanças, utilizem a probabilidade correta para o evento em questão, distinguindo claramente entre a chance de permanecer dentro dos limites e a chance de rompê-los.

Resumo Técnico: Uma Clarificação da Fórmula de Fermi para o Máximo de Somas Parciais

Enunciado do Problema
Esta nota aborda uma discrepância na publicação de 1926 de Enrico Fermi referente à probabilidade de que todas as somas parciais de variáveis aleatórias independentes permaneçam abaixo de um determinado limiar $a$ . Fermi definiu o evento $Q_n(a) = P(S_1 \le a, \dots, S_n \le a)$ , onde $S_k$ são somas parciais de variáveis de média zero e variâncias finitas. A fórmula impressa de Fermi (Fórmula 9 em sua nota) atribuía a expressão $\text{erfc}(a/\sqrt{2V_n})$ a esta probabilidade, onde $V_n$ é a variância total.

O autor identifica uma inconsistência fundamental: a fórmula impressa descreve uma função decrescente de $a$ que tende a zero quando $a \to \infty$ . No entanto, o evento $Q_n(a)$ é não decrescente em $a$ e deve tender a 1 quando $a \to \infty$ . A expressão impressa corresponde, na verdade, à probabilidade do evento complementar (a probabilidade de cruzamento), não à probabilidade de sobrevivência.

Metodologia
O artigo emprega uma combinação de análise probabilística, aproximação por difusão e teoremas de limite para resolver a inconsistência e esclarecer as condições para o limite discreto.

Equação de Difusão e Princípio da Reflexão: O autor reconstrói a derivação de Fermi utilizando o movimento browniano padrão ( $B_t$ ) e o princípio da reflexão. Ao definir a densidade de caminhos que ainda não atingiram o limiar $a$ como $q_a(t, x) = g_t(x) - g_t(2a-x)$ , onde $g_t$ é a densidade gaussiana livre, o artigo deriva a probabilidade de sobrevivência correta $Q(a, t) = 2\Phi(a/\sqrt{t}) - 1$ .
Análise de Integração: O artigo rastreia o erro no cálculo original de Fermi. Embora a fórmula de Fermi (19) estabeleça corretamente a densidade dos caminhos sobreviventes ao subtrair a densidade de primeira passagem, a integração subsequente na página 318 identifica incorretamente o integral da densidade sobrevivente com o integral da massa absorvida (a probabilidade de primeira passagem). O autor demonstra que integrar a densidade correta recupera a probabilidade de sobrevivência, enquanto o cálculo impresso resulta na probabilidade de cruzamento.
Análise do Limite Discreto: O artigo investiga a convergência das somas parciais discretas para o limite Browniano. Utiliza o teorema de Lindeberg funcional, parametrizando as somas pela variância acumulada para estabelecer a convergência para o movimento browniano.
Construção de Contraexemplo: Para testar a suficiência da condição de "pequenas variâncias individuais" como uma condição para o limite, o autor constrói um contraexemplo envolvendo incrementos independentes com densidades suaves. Esses incrementos consistem em uma mistura de saltos unitários raros e ruído Gaussiano.

Contribuições Principais e Resultados

Correção da Fórmula de Fermi: O artigo corrige explicitamente as Fórmulas (9) e (19) de Fermi. Estabelece que a probabilidade correta para o máximo das somas parciais permanecer abaixo de $a$ é $2\Phi(a/\sqrt{V_n}) - 1$ (ou $\text{erf}(a/\sqrt{2V_n})$ ), enquanto a fórmula impressa $\text{erfc}(a/\sqrt{2V_n})$ corresponde à probabilidade de o máximo exceder $a$ .
Teorema de Limite Explícito (Proposição 1): O artigo estabelece um limite preciso para incrementos independentes sob a condição de Lindeberg. Prova que, se a condição de Lindeberg for satisfeita e o limiar normalizado $a_n/\sqrt{V_n}$ convergir para $b$ , então:
$\lim_{n \to \infty} P(M_n \le a_n) = 2\Phi(b) - 1$
Este resultado controla o erro absoluto da aproximação.
Necessidade da Condição de Lindeberg: O artigo demonstra que a condição de "pequenas variâncias individuais" em relação à soma é insuficiente para justificar o limite de difusão. O contraexemplo construído mostra que, mesmo com densidades suaves e variâncias individuais vanishing (tendendo a zero) em relação ao total, a presença de saltos grandes e raros (de tamanho unitário) que sobrevivem à normalização pode fazer com que a probabilidade discreta desvie significativamente do limite Browniano. No exemplo, a probabilidade discreta permanece afastada da previsão Gaussiana porque os saltos raros impedem que a condição de Lindeberg seja satisfeita.
Absorção Discreta vs. Contínua: O autor esclarece que, embora o modelo contínuo imponha uma condição de contorno zero ( $q_a(t, a) = 0$ ), a recursão discreta para as densidades de caminho não impõe estritamente um valor zero no limiar da mesma maneira, embora as probabilidades convirjam sob a condição de Lindeberg.

Significância e Escopo
O artigo reivindica uma significância modesta, focando em reconciliar o evento declarado na nota de Fermi com o cálculo impresso e tornar explícitas as hipóteses suficientes para o limite discreto. Os resultados probabilísticos em si (como o princípio da reflexão e o teorema de Lindeberg) são descritos como clássicos. A principal contribuição é a correção de um erro de cálculo histórico e a delineação rigorosa das condições (especificamente a condição de Lindeberg) necessárias para que a aproximação de difusão seja válida para o máximo de somas parciais. O autor observa que o limite de 1 mencionado ao final da nota de Fermi pertence corretamente à probabilidade de cruzamento, não à probabilidade de sobrevivência.

O artigo não propõe novas aplicações ou direções experimentais futuras, mas serve como um esclarecimento técnico de uma derivação histórica específica em física matemática.

Mais como este