Funções Características

A função característica de uma variável aleatória é a esperança de uma exponencial complexa, a transformada de Fourier de sua distribuição; ela sempre existe, determina a distribuição de forma única e converte a independência em multiplicação.

Definition

A função característica de uma variável aleatória é o valor esperado da exponencial complexa da variável vezes um argumento real, equivalentemente a transformada de Fourier de sua distribuição, que existe para toda distribuição e a determina de forma única.

Scope

O tópico abrange a definição e as propriedades elementares da função característica, seus teoremas de unicidade e inversão, a fatoração da função característica de uma soma de variáveis independentes, a relação entre a suavidade da função e os momentos da distribuição, a caracterização de Bochner sobre quais funções são funções características e o teorema da continuidade de Levy que liga a convergência pontual à convergência em distribuição.

Core questions

• Por que toda distribuição possui uma função característica quando os momentos podem não existir?
• Como a função característica determina e permite a recuperação da distribuição?
• Por que a função característica de uma soma de variáveis independentes se fatoriza?
• Como a convergência de funções características se relaciona com a convergência de distribuições?

Key concepts

• Transformada de Fourier de uma medida
• unicidade e inversão
• Teorema da continuidade de Levy
• Teorema de Bochner
• momentos a partir de derivadas

Key theories

Unicidade e inversão

Distribuições distintas possuem funções características distintas, e uma fórmula de inversão recupera a distribuição a partir de sua função característica, de modo que a transformada é uma codificação fiel e invertível da lei de uma variável aleatória.

Teorema da continuidade de Levy

Uma sequência de distribuições converge em distribuição se e somente se suas funções características convergem pontualmente para uma função contínua na origem, que é então a função característica do limite; esta é a rota padrão para teoremas de limite.

Fatoração para somas de variáveis independentes

Como a esperança se fatoriza sobre variáveis independentes, a função característica de uma soma de variáveis independentes é o produto de suas funções características, substituindo a convolução de distribuições pela multiplicação ordinária.

Clinical relevance

As funções características são a principal ferramenta para provar o teorema do limite central e outras leis de limite, elas tornam as somas de variáveis aleatórias independentes analiticamente tratáveis em campos que vão do processamento de sinais à ciência atuarial, e sua inversão sustenta métodos numéricos para precificação de opções onde a função característica é conhecida em forma fechada.

History

As funções características foram usadas por Laplace e Cauchy e foram transformadas em instrumento sistemático da probabilidade por Paul Levy, cujo teorema da continuidade transformou a prova de teoremas de limite no estudo da convergência pontual dessas transformadas; Bochner caracterizou exatamente quais funções surgem dessa forma.

Key figures

• Paul Levy
• Aleksandr Lyapunov
• Salomon Bochner
• Eugene Lukacs

Seminal works

• feller1971

Frequently asked questions

Como a função característica difere da função geradora de momentos?

A função característica usa um expoente imaginário e, portanto, existe para toda distribuição, enquanto a função geradora de momentos usa um expoente real e pode não existir para distribuições de cauda pesada; a função característica é a ferramenta mais robusta.

Por que a convergência é verificada apenas na origem no teorema da continuidade?

A continuidade do limite na origem exclui um escape de massa de probabilidade para o infinito, garantindo que a função limitante seja ela própria uma função característica genuína, em vez daquela de uma distribuição defeituosa.