Ecuación de onda de primer orden: ¿Por qué no es común su presencia?

La ecuación de onda (unidimensional) es la ecuación diferencial parcial lineal de segundo orden

(EDP de segundo orden) 2 F X 2 = 1 v 2 2 F t 2
que admite como sus soluciones funciones F de la forma
(solución) F = F ( X ± v t ) ,
como se puede comprobar de manera directa. Estas soluciones tienen una interpretación conveniente que justifica la frase ecuación de onda.

Noté que hay ecuaciones diferenciales parciales de primer orden que tienen como solución funciones de la forma F ( X ± v t ) :

(EDP de primer orden) F X = ± 1 v F t .

Una búsqueda rápida en Google muestra que esto se llama ecuación de onda de primer orden, pero generalmente aparece en el contexto de las clases de matemáticas.

Entonces ahora la pregunta:

¿Por qué se prefiere la PDE habitual de segundo orden a las de primer orden si ambas admiten las mismas soluciones? ¿Hay una razón física? ¿Son estas ecuaciones de primer orden útiles por derecho propio?

Tal vez hay otras soluciones que uno admite que no son deseadas, o tal vez simplemente se ve más limpia ya que uno no tiene que cargar con el ± símbolo en la ecuación diferencial.

No tendrá las mismas soluciones si, por ejemplo, v ( X ) constante . Además, no puede establecer dos condiciones de contorno para una PDE de primer orden.
La ecuación de Dirac es una ecuación de onda de primer orden.
@Raskolnikov no es solo una ecuación, es un sistema de ecuaciones. La ecuación de onda habitual (de segundo orden) también podría reescribirse como un sistema de PDE de primer orden.
Sigue siendo de primer orden.
Como suele ser el caso, publicar una pregunta me lleva a tropezar mágicamente con información relevante. Una de estas PDE de primer orden se conoce como Ecuación de advección , aunque todavía me gustaría saber por qué se prefiere la forma de segundo orden a la forma de primer orden cuando se trata de ondas.

Respuestas (4)

Matemáticamente, no hay nada malo con la ecuación de onda de primer orden, pero es un poco aburrida. Si quieres usar esta ecuación para describir ondas, básicamente equivale a tener un sólido 1d con la velocidad del sonido. v para las ondas que se mueven a la izquierda (por ejemplo) y la velocidad del sonido 0 para ondas en movimiento hacia la derecha. No me sorprendería si se pudiera construir tal cosa (habría que introducir algunos campos externos para romper la invariancia de inversión de tiempo), pero es un sistema muy especial en el que no estamos interesados ​​genéricamente.

Tomemos las transformadas de Fourier de ambas ecuaciones para obtener las relaciones de dispersión. La ecuación normal de segundo orden da

ω 2 = v 2 k 2
Entonces para cada frecuencia ω hay dos valores permitidos de k , correspondiente a las ondas en movimiento derecha e izquierda. Tenga en cuenta que si generalizamos la ecuación de segundo orden para incluir más direcciones espaciales, habría un número infinito de direcciones permitidas. k valores.

Mientras tanto, la ecuación de primer orden siempre tiene una solución permitida para una frecuencia dada

ω = v k
Entonces obtenemos ondas que se mueven hacia la derecha o hacia la izquierda, pero no ambas. Esto restringe el comportamiento permitido, por ejemplo, no puede tener ondas estacionarias. Si trato de generalizar a dimensiones más altas, esta ecuación selecciona un solo permitido k para cada frecuencia, por lo que las ondas solo se propagarán en una dirección muy especial.

Físicamente, esto no es lo que normalmente llamaríamos una onda porque solo necesito una condición inicial, no dos. Por lo general, los sistemas dinámicos solo pueden evolucionar dada su posición y velocidad iniciales, pero la ecuación de primer orden solo necesita la posición inicial. (O si lo desea, su ecuación no es un sistema hamiltoniano porque el espacio de fase tiene dimensiones impares).

Por último, pero no menos importante, la ecuación de primer orden selecciona necesariamente un marco preferido. Haciendo un impulso puedo cambiar el signo de v , Por lo tanto, la ecuación no es un buen punto de partida para tratar con ondas relativistas, que es una de las principales aplicaciones de la ecuación de onda. (Por supuesto, puede tener ondas en materiales que elijan un marco preferido, y eso está bien, pero allí se encuentra con los problemas anteriores de que también está mirando algo con una dirección de movimiento preferida).

(La ecuación de Dirac soluciona esto usando repeticiones de spinor del grupo de Lorentz, pero a partir de su pregunta, supongo F es un escalar).

Editar: releyendo tu pregunta, veo que quieres tener el ± . Entonces no estás mirando soluciones de una sola ecuación, estás mirando soluciones a dos ecuaciones y diciendo que ambas están permitidas. Esto es un poco feo por varias razones. Primero, filosóficamente debería haber una sola ecuación para cualquier sistema. En segundo lugar, las superposiciones no resuelven ninguna ecuación de primer orden por separado, pero sí resuelven la ecuación de segundo orden. En tercer lugar, la analogía de su idea para dimensiones más espaciales es tener un conjunto infinito de ecuaciones de primer orden, una para cada dirección.

Por otro lado, hay una manera de reescribir la ecuación de segundo orden como dos ecuaciones de primer orden de una manera que se generaliza a cualquier dimensión, esta es la forma del hamiltoniano y es algo muy útil en muchas situaciones.

Esto es lo que yo llamo una respuesta que va al grano. Disfruté muchísimo leerlo.
Quizás sea interesante notar que, si bien la ecuación de onda de primer orden en sí misma no es interesante (e incluso más aburrida en el marco comóvil de la onda), es lo que se usa como punto de partida para variaciones ligeramente no lineales en la ecuación de onda: dependencia de la velocidad de la amplitud (ecuación de Hopf), disipación (ecuación de Burgers), dispersión (ecuación de Korteweg-de Vries), etc.

Hay algunas razones por las que puedo pensar:

(1) El sistema de segundo orden es que es reversible en el tiempo. Si tu dejas t t , usted obtiene

2 F ( t ) 2 = 2 F t 2 = v 2 2 F X 2
mientras que el sistema de primer orden tiene
F ( t ) = F t = ± v F X
que ahora es una ecuación diferente debido al signo menos.

(2) Superposición. Si F ( X + v t ) y F ( X v t ) son ambas soluciones, entonces F ( X , t ) = a F ( X + v t ) + b F ( X v t ) también es una solución. Insertando esto en la ecuación de segundo orden,

2 F t 2 = a v 2 F ( X + v t ) + b v 2 F ( X v t ) v 2 2 F X 2 = v 2 ( a F ( X + v t ) + b F ( X v t ) )
y la ecuación de primer orden
F t = a v F ( X + v t ) b v F ( X v t ) ± v F X = ± v ( a F ( X + v t ) + b F ( X v t ) )
que son resultados diferentes (es decir, la superposición no se mantiene aquí excepto quizás para casos particulares).

Sin embargo, en términos de resolver tales ecuaciones numéricamente, es mucho más fácil usar la ecuación de primer orden porque se requiere menos memoria. Las dos ecuaciones se pueden aproximar a través de las diferencias finitas

F ( X , t + d t ) + F ( X , t d t ) 2 F ( X , t ) Δ t 2 = v 2 F ( X + d X , t ) + F ( X d X , t ) 2 F ( X , t ) Δ X 2
F ( X , t + d t ) F ( X , t ) Δ t = ± v F ( X + d X , t ) F ( X d X , t ) 2 Δ X
La primera ecuación (segundo orden) requiere almacenar los pasos de tiempo anteriores, actuales y futuros, mientras que la segunda ecuación (primer orden) requiere solo los pasos de tiempo anteriores.

No estoy de acuerdo con esta respuesta. 1) la inversión del tiempo no solo requiere t t pero también v v ; como tal, los dos signos menos se cancelan entre sí y la ecuación aún conserva la misma forma. 2) La superposición siempre es válida para las ecuaciones lineales (de cualquier orden): ¿por qué estás buscando soluciones de la forma F ( X ± v t ) ? Esas son soluciones solo de las ecuaciones de segundo orden y, obviamente, no es necesario que se cumplan para la de primer orden.

Una aplicación muy útil de la ecuación de onda de primer orden es describir la propagación de la envolvente de variación lenta de una onda casi sinusoidal.

Supongamos que tenemos una onda que satisface la ecuación de onda de segundo orden que se sabe que es casi sinusoidal, con una envolvente a que varía lentamente tanto en el espacio (con una pequeña variación en una longitud de onda) como en el tiempo (con una pequeña variación en un período de oscilación). En el caso de las ondas de luz, por ejemplo, esto se aplica en muchas situaciones, incluso para campos de luz que se consideran "pulsados" o que varían con el tiempo. En notación compleja, podemos escribir la onda de propagación positiva o negativa como

F = a mi i ( ± k X ω t ) ,
con k positivo.

Sustituyendo en la ecuación de onda de segundo orden y tomando k = ω / v , tenemos

± 2 i ω v a X + 2 a X 2 = 2 i ω v 2 a t + 1 v 2 2 a t 2 .
Bajo la aproximación de envolvente de variación lenta (SVEA), despreciamos las derivadas de segundo orden con respecto a las de primer orden, y nos quedamos con
a X = 1 v a t ,
es decir, la ecuación de onda de primer orden.

Esto simplifica enormemente los cálculos numéricos, especialmente porque la oscilación de frecuencia relativamente alta y número de onda alto en ω y k ha sido eliminado de la consideración explícita.

Las ecuaciones de onda de primer orden son comunes, solo que la ecuación de onda de primer orden sobre los números reales es muy aburrida. La ecuación de Schrödinger, las ecuaciones de Maxwell y la ecuación de Dirac son todas de primer orden en el tiempo.

El siguiente ejemplo más simple es F t = i F X . Tomando la derivada del tiempo en ambos lados y reescribiendo usando la ecuación original, 2 F t 2 = i 2 F t X = i 2 2 F X X = 2 F X X . Entonces, la ecuación de onda de primer orden con coeficiente complejo es equivalente a la ecuación de onda de segundo orden 2 F t 2 = 2 F X 2 . La ecuación de segundo orden necesita 2 condiciones iniciales ( F ( 0 , X ) y F t ( 0 , X ) ) , y la ecuación compleja de primer orden también necesita 2 condiciones iniciales (parte real e imaginaria).

Las ecuaciones de Maxwell son directamente análogas a esta pero con múltiples dimensiones espaciales, y la ecuación de Dirac también está estrechamente relacionada.