Notación compleja de ondas planas

Hasta donde yo sé, la función:

mi ( r , t ) = mi 0 mi i ( k r ω t ) ( 1 )

es una solución matemática de la ecuación de onda:

2 mi = m ε 2 mi t 2

si y solo si ω satisface la relación de dispersión:

ω ( k ) = k m ε
Anteriormente escribí "matemático" porque la función compleja ( 1 ) no tiene significado físico, si queremos tener una función físicamente significativa tenemos que tomar la parte real de (1)
mi ( r , t ) = mi 0 porque ( k r ω t )

Hasta ahora no debería haber ningún problema. El problema surge cuando considero un paquete de ondas 1D.

Usando la notación compleja: el paquete de ondas inicial viene dado por:

mi ( X , t = 0 ) = mi ( X X C ) 2 2 σ 2 mi i k C X
donde esta la dermis mi i k C X deriva del hecho de que el paquete de ondas inicial es un paquete de ondas en movimiento y no estático.

Su evolución temporal puede determinarse mediante una transformada de Fourier.

Indiquemos con gramo ( k ) la transformada de Fourier del paquete de ondas inicial:

gramo ( k ) = 1 2 π mi ( X , t = 0 ) mi i k X d X
Entonces, usando el hecho de que cada componente de los espectros evoluciona de acuerdo a un ω ( k ) , puedo determinar la evolución temporal:
mi ( X , t ) = 1 2 π gramo ( k ) mi i ( k X ω ( k ) t ) d k ( 2 )

Finalmente, según lo dicho anteriormente, si estoy interesado en cantidades físicas como la evolución temporal de la amplitud, tengo que tomar la parte real de (2):

mi física ( X , t ) = [ 1 2 π gramo ( k ) mi i ( k X ω ( k ) t ) d k ] ( 3 )

Razonando sobre el significado físico paso a paso

La condición inicial es un paquete de ondas de valor real:

mi r ( X , t = 0 ) = [ mi ( X X C ) 2 2 σ 2 mi i k C X ] = mi ( X X C ) 2 2 σ 2 porque ( k C X )
entonces, debido a que estoy interesado en determinar la evolución temporal del paquete de ondas, realizo una transformada de Fourier del paquete de ondas inicial:
gramo r ( k ) = 1 2 π mi r ( X , t = 0 ) mi i k X d X
donde ahora gramo r ( k ) Esta podría ser una función de valor complejo, pero esto no me duele porque esta función vive en el espacio k y estoy interesado en tener una función real solo en el espacio x. El problema es que si evoluciono gramo r ( k ) en la función en el espacio de Fourier multiplicándola por mi i ω ( k ) t y luego regreso en el espacio x antitransforming:
mi r ( X , t ) = 1 2 π gramo r ( k ) mi i ( k X ω ( k ) t ) d k ( 4 )

Obtengo que (4) es una función cuya amplitud se vuelve cero en un tiempo muy rápido, un comportamiento muy diferente al de (3). ¿Alguien podría darme una explicación de eso, o alguna referencia en la que se explique bien la notación compleja?

Me temo que soy incapaz de discernir la diferencia entre (3) y (4). ¿Por qué dices que la amplitud de (4) se vuelve cero?
Ok, los números complejos (o cualquier otro número o vector) son solo una forma de modelar datos (físicos) cuando se pueden usar de esta manera. Entonces, en este sentido, los números complejos son tan reales como los números reales. Creo que el problema surge del hecho de que al usar la parte real a priori en realidad se refiere a otro problema, ya que por la linealidad de diff. ec. la solución es una superposición de ambos C o s y s i norte (que mantiene la representación compleja). Cuando uno usa la parte real al final es equivalente a R mi ( z ) = 1 / 2 ( z + z ) y esto aclara el significado físico, selecciona las ondas retardadas
Consejo de LaTeX: puedes usar \Re y \Im para indicar partes reales e imaginarias respectivamente.

Respuestas (1)

Tome la ecuación de onda

2 mi = 1 C 2 2 mi t 2 ,
y deja mi ( r , t ) ser una solución. De hecho tomando la parte real ( mi ( r , t ) ) produce los valores físicos significativos.

Los valores iniciales en t = 0 son ( mi ( r , 0 ) ) y el problema surge aquí: ¡esto no le brinda suficiente información para predecir la evolución futura del campo!

Por ejemplo, considere el caso 1D con:

F 1 ( X , t ) = mi i ( k X ω t ) , F 2 ( X , t ) = porque ( k X ω t ) .

Tenga en cuenta que ( F 1 ( X , 0 ) ) = ( F 2 ( X , 0 ) ) = porque ( k X ) . Por lo tanto, las dos funciones tienen los mismos valores iniciales en t = 0 , sin embargo, evolucionan de manera diferente como t progresa

Para especificar completamente el estado inicial de una solución, necesitaría ( mi ( r , 0 ) ) y uno de además:

  • ( mi ( r , 0 ) ) ,
  • ( mi t ( r , 0 ) ) ,
  • ( mi t ( r , 0 ) ) . [Agregado en Edición 2].

En su cálculo, el momento en que tomó ( mi ( r , 0 ) ) y aplicó la transformada de Fourier, ha estipulado implícitamente ( mi ( r , 0 ) ) = 0 . Por lo tanto, cambió el estado inicial a otra cosa, por lo que, por supuesto, terminaría con una solución diferente.

Por qué necesito ( mi ( r , 0 ) ) y ( mi t ( r , 0 ) ) para especificar el estado inicial? Que yo sepa, la parte imaginaria no tiene significado físico.
Su paquete de ondas es complejo, por lo que tomar la parte real alteró el resultado. Mientras tanto, sí, la ecuación diferencial funciona bien cuando todo es real. Sin embargo, las funciones propias del operador 2 1 C 2 2 t 2 son complejos; por lo tanto, la descomposición modal necesitaría un número complejo. Entonces, también podemos ver las soluciones en su gloria compleja y tratar las señales reales como un caso especial donde las partes imaginarias son 0.
Mientras tanto, el paquete de ondas también se ve mucho para la ecuación de Shrodinger de una partícula libre. En este caso, la parte compleja se vuelve esencial porque la derivada temporal es de primer orden y no hay libertad para especificar la derivada temporal inicial. En este caso, la parte imaginaria interactúa con la parte real y afecta las direcciones de propagación.