Matt tiene razón en que la señal es convencional. Sin embargo, creo que hay una razón para ello más allá de eso.
Si observamos frecuencias complejas en el plano complejo, se ven como vectores constantes que giran en una dirección u otra. Las frecuencias positivas giran en sentido antihorario, las negativas giran en sentido horario y las frecuencias "0 Hz" no giran en absoluto.
La transformada de Fourier tiene un signo negativo para rotar intencionalmente en la dirección opuesta a las frecuencias que están "buscando".
La razón de la rotación opuesta es que cuando los dos vectores de frecuencia se multiplican, sus fases se cancelarán repetidamente, por lo que cuando se sumen los resultados, habrá un vector masivo debido a la alineación de todos los vectores individuales.
X( f) =∑n = 0norte- 1x ( n )mi- j 2 πk n / N
Así es como la transformada de Fourier "busca" frecuencias. Si las dos frecuencias son iguales o "cercanas" (lo cerca que necesitan estar depende de la longitud del DFT) se alinearán bien y causarán una respuesta masiva en la suma. He mostrado cómo funciona esto para la transformada discreta de Fourier (DFT), pero el mismo razonamiento se aplica exactamente a la transformación continua.
Esperemos que esto explique por qué la transformada de Fourier querría que los vectores giraran en la dirección opuesta. Para ser sincero, no sé si Laplace se transforma lo suficientemente bien como para dar un razonamiento sólido para su signo negativo. Sin embargo, dado que las dos transformaciones están estrechamente relacionadas (la transformación de Laplace es una generalización de la transformación de Fourier), supongo que es por razones similares.
Para la transformación de Fourier, el signo del exponente es pura convención. Tenga en cuenta que para la transformación inversa tiene un signo positivo en el exponente. También podría definir la transformación de Laplace con un signo positivo en el exponente. En cualquier caso, desea que la amortiguación exponencial de la función del dominio del tiempo se transforme, por lo que la parte real del exponente complejo debe ser negativa. Si cambia a entonces la región de convergencia de la transformación unilateral de Laplace cambiaría de a para alguna constante con valor real .s - s R { s } > a R { s } < a una
fuente
Solo diría que la convención original es representar sinusoides complejos con un exponente positivo. entonces un voltaje "fasorial" sería
(V es una constante compleja y |V| representa la magnitud del fasor y arg{V} representa la fase del fasor). Supongo que podríamos definir la convención como
pero mi pregunta sería "¿por qué molestarse?"
¿Por qué un exponencial complejo? porqueest es una función propia (esencialmente la función propia) de los sistemas lineales invariantes en el tiempo (LTI), a los que aplicamos transformaciones de Fourier y Laplace. cuandoest entra en un sistema LTI, algo veces est sale.
Los sistemas LTI pueden describirse completamente o tener su relación de entrada / salida completamente descrita por su respuesta al impulsoh(t) . esa descripción es convolución:
si la entrada es
la salida es
entoncesx(t)=est es una función propia y el valor propio, lo que escala la función propia en un sistema LTI es H(s) y directamente relacionado con h(t) .
entonces el resto es todo sobre Fourier. entonces Fourier generaliza un poco, primero con un periódicox(t) que las posturas de Fourier que pueden representarse con sinusoides tienen el mismo período que x(t) .
sigue siendo la convención original: define la señal como un fasorejωt . queda el exponente positivo. X[k] son los "coeficientes de Fourier" .
entonces sabemos que la salida es
otra función periódica, que tiene el mismo período, pero con diferentes coeficientes de Fourier.
entonces positivoω en el exponente
Entonces, ¿cuáles son esos coeficientes de Fourier?
para cadak en la suma donde k≠m , la integral es cero, por lo que el término en la suma es cero.
para el término único distinto de cero, cuandok=m , tenemos
entonces
de ahí viene el exponente negativo. necesitamos que ese exponente sea negativo para que solo elmth término en el resumen sobrevive (cuando k=m y ej2π(k−m)Tt=1 ), aislando así un solo X[m] entonces sabemos de qué se trata. de lo contrario sería el−mth término sobrevivir y tendríamos que cambiar la convención en nuestra definición original de x(t) .
esto sigue siendo esencialmente el caso, ya que la representación de la serie de Fourier se generaliza a no periódicax(t) , donde la suma se convierte en una integral. porque definimos nuestra señal como una especie de suma integral de estas funciones propias exponenciales (con exponentes positivos):
de nuevo, para obtener esos "coeficientes" de Fourier, necesitamos un exponente negativo:
Laplace generaliza aún más al permitir ese valor puramente imaginariojω para ser un valor complejo más general, s=σ+jω . pero eso no cambia la convención de signos.
fuente
El exponente negativo en la transformación directa es necesario e inevitable, porque los axiomas internos del producto para vectores complejos o funciones sin conjugación son inconsistentes.
Por ejemplo, el producto interno de un vector complejo consigo mismo no sería real y no negativo sin conjugación.
fuente