Matt está certo de que o sinal é uma convenção. Eu acho que há uma razão para isso além disso.
Se olharmos para frequências complexas no plano complexo, elas se parecem com vetores constantes que giram em uma direção ou outra. As frequências positivas giram no sentido anti-horário, as frequências negativas giram no sentido horário e as frequências "0 Hz" não giram.
A transformada de Fourier tem um sinal negativo para girar intencionalmente na direção oposta às frequências que eles estão "procurando".
A razão para a rotação oposta é que, quando os dois vetores de frequência são multiplicados, suas fases se cancelam repetidamente; portanto, quando os resultados são somados, haverá um vetor massivo devido a todos os vetores individuais alinhados.
X( f) =∑n = 0N- 1x ( n )e- j 2 πk n / N
É assim que a transformada de Fourier "procura" por frequências. Se as duas frequências forem iguais ou "próximas" (quão próximas elas precisam estar depende do comprimento da DFT), elas se alinham bem e causam uma resposta maciça no somatório. Eu mostrei como isso funciona para a transformada discreta de Fourier (DFT), mas o mesmo raciocínio se aplica à transformação contínua.
Espero que isso explique por que a transformada de Fourier iria querer que os vetores girassem na direção oposta. Para ser perfeitamente sincero, não sei se a Laplace se transforma suficientemente bem para fornecer um sólido raciocínio para seu sinal negativo. Como as duas transformações estão intimamente relacionadas (a transformada de Laplace é uma generalização da transformada de Fourier), presumo que seja por razões semelhantes.
Para a transformação de Fourier, o sinal do expoente é pura convenção. Observe que, para a transformação inversa, você tem um sinal positivo no expoente. Você também pode definir a conversão de Laplace com um sinal positivo no expoente. Em qualquer caso, você deseja que o amortecimento exponencial da função no domínio do tempo seja transformado, portanto a parte real do expoente complexo deve ser negativa. Se você mudous para - s então a região de convergência da transformação unilateral de Laplace mudaria de R { s } > a para R { s } < a para alguma constante com valor real uma .
fonte
eu diria apenas que a convenção original é representar sinusóides complexos com um expoente positivo. então um "fasor" de tensão seria
(V é uma constante complexa e | V| representa a magnitude do fasor e arg{ V} representa a fase do fasor.) Suponho que poderíamos definir a convenção como
mas minha pergunta seria "por que se preocupar?"
por que um exponencial complexo? Porqueest é uma função própria (essencialmente a função própria) de sistemas lineares invariantes no tempo (LTI), aos quais aplicamos as transformações de Fourier e Laplace. quandoest entra em um sistema de LTI, algumas vezes est sai.
Os sistemas LTI podem ser completamente descritos por, ou ter sua relação de entrada / saída completamente descrita por sua resposta ao impulsoh(t) . essa descrição é convolução:
se a entrada for
a saída é
tãox(t)=est é uma função própria e o valor próprio, o que escala a função própria em um sistema de LTI é H(s) e diretamente relacionado a h(t) .
então o resto é sobre Fourier. então Fourier generaliza um pouco, primeiro com um periódicox(t) que Fourier postula que pode ser representado com sinusóides todos tendo o mesmo período que x(t) .
ainda é a convenção original: defina o sinal como um fasorejωt . o expoente positivo permanece. X[k] são os "coeficientes de Fourier" .
então sabemos que a saída é
outra função periódica, com o mesmo período, mas com diferentes coeficientes de Fourier.
então positivoω no expoente.
Então, quais são esses coeficientes de Fourier?
para cadak na soma em que k≠m , a integral é zero, portanto o termo na soma é zero.
para o termo único diferente de zero, quandok=m , temos
tão
é daí que o expoente negativo vem. precisamos que o expoente seja negativo para que apenas omth termo no somatório sobrevive (quando k=m e ej2π(k−m)Tt=1 ), isolando assim um único X[m] então sabemos o que é. caso contrário, seria o−mth longo prazo e teríamos que mudar a convenção em nossa definição original de x(t) .
isso permanece essencialmente o caso, pois a representação da série de Fourier é generalizada para não periódicax(t) , onde o somatório se torna uma integral. porque definimos nosso sinal como uma espécie de somatório integral dessas funções próprias exponenciais (com expoentes positivos):
novamente, para obter esses "coeficientes" de Fourier, precisamos de um expoente negativo:
Laplace generaliza ainda mais, permitindo que esse valor puramente imagináriojω para ser um valor complexo mais geral, s=σ+jω . mas isso não altera a convenção de assinatura.
fonte
O expoente negativo na transformação direta é necessário e inevitável, porque os axiomas internos do produto para vetores ou funções complexas sem conjugação são inconsistentes.
Por exemplo, o produto interno de um vetor complexo por si só não seria real e não negativo sem conjugação.
fonte