En matemáticas , una ecuación diferencial parcial hiperbólica de orden es una ecuación diferencial parcial (EDP) que, en términos generales, tiene un problema de valor inicial bien planteado para las primeras derivadas. [ cita requerida ] Más precisamente, el problema de Cauchy se puede resolver localmente para datos iniciales arbitrarios a lo largo de cualquier hipersuperficie no característica . Muchas de las ecuaciones de la mecánica son hiperbólicas, por lo que el estudio de las ecuaciones hiperbólicas es de gran interés contemporáneo. La ecuación hiperbólica modelo es la ecuación de onda . En una dimensión espacial, esta es La ecuación tiene la propiedad de que, si u y su primera derivada temporal son datos iniciales especificados arbitrariamente en la línea t = 0 (con suficientes propiedades de suavidad), entonces existe una solución para todo tiempo t .
Las soluciones de las ecuaciones hiperbólicas son "onda-onda". Si se produce una perturbación en los datos iniciales de una ecuación diferencial hiperbólica, no todos los puntos del espacio la sienten de inmediato. En relación con una coordenada temporal fija, las perturbaciones tienen una velocidad de propagación finita . Viajan a lo largo de las características de la ecuación. Esta característica distingue cualitativamente las ecuaciones hiperbólicas de las ecuaciones diferenciales parciales elípticas y de las ecuaciones diferenciales parciales parabólicas . Una perturbación de los datos iniciales (o de frontera) de una ecuación elíptica o parabólica se siente de inmediato en prácticamente todos los puntos del dominio.
Aunque la definición de hiperbolicidad es fundamentalmente cualitativa, existen criterios precisos que dependen del tipo particular de ecuación diferencial en consideración. Existe una teoría bien desarrollada para los operadores diferenciales lineales , debido a Lars Gårding , en el contexto del análisis microlocal . Las ecuaciones diferenciales no lineales son hiperbólicas si sus linealizaciones son hiperbólicas en el sentido de Gårding. Existe una teoría algo diferente para los sistemas de ecuaciones de primer orden que provienen de sistemas de leyes de conservación .
Una ecuación diferencial parcial es hiperbólica en un punto siempre que el problema de Cauchy sea solucionable de manera única en un entorno de para cualquier dato inicial dado en una hipersuperficie no característica que pase por . [1] Aquí los datos iniciales prescritos consisten en todas las derivadas (transversales) de la función en la superficie hasta uno menos que el orden de la ecuación diferencial.
Mediante un cambio lineal de variables, cualquier ecuación de la forma con puede transformarse en la ecuación de onda , salvo los términos de orden inferior que no son esenciales para la comprensión cualitativa de la ecuación. [2] : 400 Esta definición es análoga a la definición de una hipérbola plana .
La ecuación de onda unidimensional es un ejemplo de ecuación hiperbólica. Las ecuaciones de onda bidimensionales y tridimensionales también entran en la categoría de ecuaciones diferenciales parciales hiperbólicas. Este tipo de ecuación diferencial parcial hiperbólica de segundo orden puede transformarse en un sistema hiperbólico de ecuaciones diferenciales de primer orden. [2] : 402
El siguiente es un sistema de ecuaciones diferenciales parciales de primer orden para funciones desconocidas , , donde :
donde son funciones que alguna vez fueron continuamente diferenciables y, en general , no lineales .
A continuación, para cada uno defina la matriz jacobiana
El sistema ( ∗ ) es hiperbólico si para toda la matriz sólo tiene valores propios reales y es diagonalizable .
Si la matriz tiene s valores propios reales distintos , se deduce que es diagonalizable. En este caso, el sistema ( ∗ ) se denomina estrictamente hiperbólico .
Si la matriz es simétrica, se deduce que es diagonalizable y los valores propios son reales. En este caso el sistema ( ∗ ) se denomina simétrico hiperbólico .
Existe una conexión entre un sistema hiperbólico y una ley de conservación . Consideremos un sistema hiperbólico de una ecuación diferencial parcial para una función desconocida . Entonces el sistema ( ∗ ) tiene la forma
Aquí, se puede interpretar como una cantidad que se mueve de acuerdo con el flujo dado por . Para ver que la cantidad se conserva, integre ( ∗∗ ) sobre un dominio
Si y son funciones suficientemente suaves, podemos usar el teorema de divergencia y cambiar el orden de la integración para obtener una ley de conservación para la cantidad en la forma general , lo que significa que la tasa de cambio temporal de en el dominio es igual al flujo neto de a través de su frontera . Como se trata de una igualdad, se puede concluir que se conserva dentro de .