Por que a transformação de Fourier de um pente Dirac é um pente Dirac?


16

Isso não faz sentido para mim, porque a desigualdade de Heisenberg afirma que ~ 1.ΔtΔω

Portanto, quando você tem algo perfeitamente localizado no tempo, obtém algo completamente distribuído em frequência. Portanto, o relacionamento básico que é o operador de transformação de Fourier .F{δ(t)}=1F

Mas para o pente Dirac , aplicando a transformação Fourier, você recebe outro pente Dirac. Intuitivamente, você também deve obter outra linha.

Por que essa intuição falha?

Respostas:


13

Acredito que a falácia é acreditar que um pente Dirac está localizado no tempo. Não é por ser uma função periódica e, como tal, só pode ter componentes de frequência em múltiplos de sua frequência fundamental, ou seja, em pontos de frequência discretos. Não pode ter um espectro contínuo, caso contrário não seria periódico no tempo. Assim como qualquer outra função periódica, um pente Dirac pode ser representado por uma série de Fourier, ou seja, como uma soma infinita de exponenciais complexas. Cada exponencial complexo corresponde a um impulso Dirac no domínio da frequência em uma frequência diferente. A soma desses impulsos de Dirac fornece um pente de Dirac no domínio da frequência.


Sim, nenhum pente periódico está localizado em sua respectiva variável independente (tempo / frequência).
Peter K.

11

Sua intuição falha porque você está começando com suposições erradas. A incerteza de Heisenberg não diz o que você acha que diz. Como você já disse na sua pergunta, é uma desigualdade . Para ser preciso, é

ΔtΔf14π

Não há razão para que o produto da incerteza tenha que estar próximo ao limite inferior para todos os sinais. De fato, os únicos sinais que atingem esse limite mais baixo são os átomos de Gabor. Para todos os outros sinais, espere que seja maior e possivelmente até infinito.


1
Certo, mas a principal falácia é pensar que um pente Dirac está localizado no tempo. Não é porque é periódico. Portanto, o teorema da incerteza não diz nada de útil sobre um pente Dirac.
Matt L.

@ MattL., Não é assim que entendo a pergunta original. Eu acho que ele está realmente argumentando que o trem dirac está totalmente deslocalizado em seu domínio nativo e, portanto, Fourier deve se transformar em algo muito localizado.
31415 Jazzmaniac #

1
OK, parece que há um mal-entendido sobre o que o OP quer dizer com 'outra linha'. Eu pensei que isso se refere a um espectro plano (assim como o espectro de um impulso Dirac a que ele se referia anteriormente). Mas você pensou que isso se refere a uma linha espectral, ou seja, uma única frequência. Pelo menos agora eu entendo como sua resposta pode responder à pergunta do OP.
Matt L.

1
@ MattL., Na verdade, pensei que ele quis dizer a representação gráfica usual das distribuições Dirac quando ele escreve "line". De qualquer forma, ele precisará esclarecer, pois a pergunta pode ser realmente lida de pelo menos duas maneiras diferentes.
Jazzmaniac

1
bem, a definição "padrão" é uma declaração física que relaciona incertezas de momento e posição (especificamente desvios padrão) e tem um lá. e, mesmo assim, neste caso, você tem que definir o que se entende por " Δ t " e " Δ f ". essa constante (que você especifica como 1ΔtΔf ) não pode estar muito longe da unidade (na escala de log), mas não precisa estar114π exceto devido a uma definição específica para "Δt" e "Δf". 14πΔtΔf
22815 Robert Bristow-Johnson #

6

os engenheiros elétricos jogam um pouco rápido e solto com a função delta Dirac, que os matemáticos insistem que não é uma função (ou, pelo menos, não é uma função "regular", mas é uma "distribuição"). o facto matemático é que, se f(t)=g(t) "quase em toda a parte" (o que significa a cada valor de t , excepto para um número contáveis de valores discretos), em seguida,

f(t)dt=g(t)dt
.

bem, as funções f(t)=0 0 e g(t)=δ(t) são iguais em todos os lugares, exceto em t=0 0 , mas nós, engenheiros elétricos, insistimos que suas integrais são diferentes. mas se você deixar de lado essa pequena diferença (e, na minha opinião, não prática), a resposta para sua pergunta é:

  1. a função de Dirac pente

    EuEuEuT(t)k=-+δ(t-kT)
    é uma função periódica de período T e, portanto, tem uma série de Fourier:
    IIIT(t)=n=+cn ej2πnt/T

  2. se você eliminar os coeficientes, cn , da série Fourier, obtém:

cn=1Tt0 0t0 0+TEuEuEuT(t)e-j2πnt/Tdt=1T-T/2T/2δ(t)e-j2πnt/Tdt(k=0 0)=1T-T/2T/2δ(t)e-j2πn0 0/Tdt=1Tn

  1. então a série Fourier para o pente Dirac é

EuEuEuT(t)=n=-+1T ej2πnt/T

o que significa que você está apenas resumindo um monte de sinusóides de igual amplitude.

  1. a transformada de Fourier de um único sinusóide complexo é:

F{ej2πf0 0t}=δ(f-f0 0)

e existe essa propriedade de linearidade em relação à transformada de Fourier. o restante da prova é um exercício deixado para o leitor.


1
@ Jazzmaniac, isso é uma falsidade. Quando eu condescendi com os matemáticos? (eu acho que você está projetando um pouco.) BTW, já faz 38 anos desde que eu fiz dois semestres de análise funcional no nível de pós-graduação. não me lembro de tudo, mas com certeza me lembro do que é um espaço métrico, um espaço métrico normalizado (acho que às vezes eram chamados de "espaços de Banach") e espaços internos do produto (às vezes chamados de "espaços de Hilbert"), e que funcional é (mapeia de um para um número). e eu sei o que são espaços lineares. sobre , não me importo que estejam nus. δ(t)
Robert Bristow-Johnson

Você continua com um argumento errado que sugere que os matemáticos não recebem 1 quando se integram em uma distribuição Dirac. Bem, você não pode demonstrar melhor que não entendeu a distribuição Dirac, mesmo que tenha participado de uma aula de análise funcional. Não precisa de engenheiros elétricos como você para "consertar" a matemática. E vou continuar apontando isso para você até que você pare de falar sobre matemáticos assim. É inteiramente sua escolha.
Jazzmaniac

isso também é uma falsidade, @Jazzmaniac. estou dizendo que, consistente com o que os matemáticos nos dizem, a função delta do Dirac não é realmente uma função (mesmo que nós, engenheiros elétricos, não nos preocupemos com essa distinção e a tratemos como se fosse uma função), porque se fosse uma função função que era zero em quase todos os lugares, a integral seria zero. por que você continua me deturpando? qual é o machado que você está afiando?
22815 Robert Robinson-Johnson

@ robertbristow-johnson "os engenheiros elétricos jogam um pouco mais rápido com a função delta Dirac". Paul Dirac era um engenheiro elétrico. Claude Shannon também era engenheiro elétrico. Eu o aconselho a fazer declarações gerais e imprecisas. Você afirma ser um engenheiro elétrico e entende claramente a teoria da distribuição.
Mark Viola

quase todos os manuais de graduação em engenharia elétrica sobre Teoria de Sistemas Lineares ou Sinais e Sistemas ou algum nome semelhante introduzirão e tratarão o Delta do Dirac como um caso limitante de um "delta nascente" . por exemplo: ou alguma outra função de pulso da área da unidade que você pode tornar mais fina. não ficaria surpreso que, em artigos publicados, pessoas como Shannon ou Dirac (não soubessem disso) fiquem com os fatos conservadores:f(t)δ(t-τ)dt=f(τ)eδ(t)=0
δ(t)=limuma0 01umaπe-t2/uma2
f(t)δ(t-τ) dt=f(τ)
.
δ(t)=0 0 t0 0
robert bristow-johnson

1

Vou tentar dar uma intuição. A maneira como poderíamos pensar é: "Um delta de Dirac nos dá um domínio de frequência 1. Agora, dou um número infinito de deltas de Dirac. Não devo obter um CD mais alto?" Agora vamos ver se, adicionando todos os componentes de frequência mencionados no Dirac comb no domínio da frequência (FD), obtemos outro Dirac comb no domínio do tempo (TD). Estamos adicionando formas de onda contínuas e obtendo deltas em pontos discretos. Soa estranho.

ω0 00 0,±ω0 0,±2ω0 0,±3ω0 0porque(ω0 0t),porque(2ω0 0t),porque(3ω0 0t) e assim por diante.

t=2nπω0 0

cos(kn);n=0 0,1,2,3,4 ...πcos(kn)cos(kn)k=2π

t=t0 02rπporque(0 0ω0 0t0 0)[dc]+porque(ω0 0t0 0)+porque(2ω0 0t0 0)+porque(3ω0 0t0 0)t=t0 0t=2nπω0 0

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.