Ecuación diferencial parcial hiperbólica

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar
Tipo de ecuaciones diferenciales parciales

En matemáticas, a ecuación diferencial parcial hiperbólica de orden n{displaystyle n} es una ecuación diferencial parcial (PDE) que, aproximadamente, tiene un problema de valor inicial bien presentado para el primer n− − 1{displaystyle n-1} derivados. 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 interés contemporáneo sustancial. La ecuación hiperbólica modelo es la ecuación de onda. En una dimensión espacial, esto es

∂ ∂ 2u∂ ∂ t2=c2∂ ∂ 2u∂ ∂ x2{fnMicrosoft {fnMicrosoft {fnMicrosoft {fnMicrosoft {fnMicrosoft {\fnMicrosoft} ^{2}u}{partial {fnK}} {fnMicroc {partial ^{2}u}{partial} {f} {f} #
ut = 0t

Las soluciones de ecuaciones hiperbólicas son "ondulatorias". Si se produce una perturbación en los datos iniciales de una ecuación diferencial hiperbólica, entonces no todos los puntos del espacio sienten la perturbación a la vez. En relación con una coordenada de tiempo 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 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 al mismo tiempo esencialmente en 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 que se considere. Existe una teoría bien desarrollada para los operadores diferenciales lineales, debida 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.

Definición

Una ecuación diferencial parcial es hiperbólica en un punto P{displaystyle P} siempre que el problema de Cauchy es únicamente solvable en un barrio P{displaystyle P} para cualquier dato inicial dado en una hipersuperficie no característica pasando por P{displaystyle P}. Aquí los datos iniciales prescritos consisten en todos los derivados (transversos) de la función en la superficie hasta uno menos que el orden de la ecuación diferencial.

Ejemplos

Por un cambio lineal de variables, cualquier ecuación de la forma

A∂ ∂ 2u∂ ∂ x2+2B∂ ∂ 2u∂ ∂ x∂ ∂ Sí.+C∂ ∂ 2u∂ ∂ Sí.2+(en términos derivados del orden más bajo)=0{displaystyle A{frac {partial ^{2}u}{partial x^{2}}}+2B{frac {partial ^{2}u}{partial xpartial}}}{2}}}}}}}}2B{partial ¿Qué?
0}" display="block" xmlns="http://www.w3.org/1998/Math/MathML">B2− − AC■0{displaystyle B^{2}-AC fiel0}
0}" aria-hidden="true" class="mwe-math-fallback-image-display mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c3ed866f3f31ce5e9ee9e664c1401bed1e38c742" style="vertical-align: -0.505ex; width:13.429ex; height:2.843ex;"/>

La ecuación de onda unidimensional:

∂ ∂ 2u∂ ∂ t2− − c2∂ ∂ 2u∂ ∂ x2=0{fnMicrosoft {fnMicrosoft {fnMicrosoft {fnMicrosoft {fnMicrosoft {\fnMicrosoft} ^{2}u}{partial {fnK} {fnMicroc {partial }u}{2}u}{partial ¿Qué?

Sistema hiperbólico de ecuaciones diferenciales parciales

Lo siguiente es un sistema de s{displaystyle s} ecuaciones diferenciales parciales de primer orden para s{displaystyle s} Funciones desconocidas u→ → =()u1,... ... ,us){displaystyle {vec {u}=(u_{1},ldotsu_{s}}, u→ → =u→ → ()x→ → ,t){displaystyle {vec {vec}={vec {} {vec}},t)}}, Donde x→ → ▪ ▪ Rd{displaystyle {vec {x}in mathbb {R} {d}}:

∂ ∂ u→ → ∂ ∂ t+. . j=1d∂ ∂ ∂ ∂ xjf→ → j()u→ → )=0,{fnMicrosoft {fnMicrosoft {fnMicrosoft {fnMicrosoft {fnMicrosoft {\fnMicrosoft} {fnK} {fnMicrosoft} {fnMicrosoft}} {fnMicrosoft}} {fn}} {fn}}} {fn}}} {fn}}} {fnMicrosoft}}}}} {f}}} {f}}}}}}}}}}}} { ¿Qué? {partial }{partial ¿Qué?

()Alternativa)

Donde f→ → j▪ ▪ C1()Rs,Rs),j=1,... ... ,d{displaystyle {vec {f} {f} {f}f} {f} {f} {f} {f}f}}f}f}f}f}f}f}f}f}f}f} {f}f}f}f}f}f}f}f}f}f}f}f}f}f} {f}f}f}f}f}f}f}f}f}c}f}f}f}f}f}f}f}f}f}f}f}c}f}f}f}f}c}f}f}f}f}f}f}f}f}f}f}f}f}f}f}\f}f}f}f} {R} ^{s},mathbb {R} }j=1,ldotsd} son una vez funciones continuamente diferenciables, no lineales en general.

Siguiente, para cada f→ → j{displaystyle {vec {f}} {f}}} {f}}} {f}}} {f}}}} {f}}}}}} {f}}}}} {f}}} definir s× × s{displaystyle stimes s} Matriz Jacobiana

Aj:=()∂ ∂ f1j∂ ∂ u1⋯ ⋯ ∂ ∂ f1j∂ ∂ us⋮ ⋮ ⋱ ⋱ ⋮ ⋮ ∂ ∂ fsj∂ ∂ u1⋯ ⋯ ∂ ∂ fsj∂ ∂ us), para j=1,... ... ,d.{displaystyle A^{j}:={begin{pmatrix}{frac {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft}} {f}} {fnMicrosoft}} {fnMicrosoft}}}} {fnMicrosoft}}} {f}} {fnMicrosoft}}} {fnMicrosoft}} {f}}}}}}} {f}}}}}}}}}}}}} {f}}}}}}}}}}}}}}}}} {b}}}}}}}}}} { ¿Qué? {cMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {f} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif}

El sistema (Alternativa) es hiperbólico si para todos α α 1,... ... ,α α d▪ ▪ R{displaystyle alpha _{1},ldotsalpha _{d}in mathbb {R} la matriz A:=α α 1A1+⋯ ⋯ +α α dAd{displaystyle A:=alpha - ¿Qué? +alfa ¿Qué?sólo tiene valores reales y es diagonalable.

Si la matriz A{displaystyle A} tiene s distintos eigenvalues reales, sigue que es diagonalizable. En este caso el sistema (Alternativa) se llama estrictamente hiperbólico.

Si la matriz A{displaystyle A} es simétrico, sigue que es diagonalizable y los eigenvalues son reales. En este caso el sistema (Alternativa) se llama hiperbólica simétrica.

Sistema hiperbólico y leyes de conservación

Existe una conexión entre un sistema hiperbólico y una ley de conservación. Considere un sistema hiperbólico de una ecuación diferencial parcial para una función desconocida u=u()x→ → ,t){displaystyle u=u({vec {x},t)}. Luego el sistema (Alternativa) tiene la forma

∂ ∂ u∂ ∂ t+. . j=1d∂ ∂ ∂ ∂ xjfj()u)=0.{displaystyle {frac {partial u}{partial ¿Qué? {partial }{partial ¿Qué?

()Alternativa)

Aquí, u{displaystyle u} puede ser interpretado como una cantidad que se mueve alrededor de acuerdo con el flujo dado por f→ → =()f1,... ... ,fd){displaystyle {vec {}=(f^{1},ldotsf^{d}}. Para ver que la cantidad u{displaystyle u} se conserva, integra (Alternativa) sobre un dominio Ω Ω {displaystyle Omega }

∫ ∫ Ω Ω ∂ ∂ u∂ ∂ tdΩ Ω +∫ ∫ Ω Ω Silencio Silencio ⋅ ⋅ f→ → ()u)dΩ Ω =0.{displaystyle int _{ Omega ###,dOmega +int _{\ Omega.

Si u{displaystyle u} y f→ → {displaystyle {vec}} son funciones suficientemente suaves, podemos utilizar el teorema de divergencia y cambiar el orden de la integración y ∂ ∂ /∂ ∂ t{displaystyle partial /partial t} para obtener una ley de conservación para la cantidad u{displaystyle u} en la forma general

ddt∫ ∫ Ω Ω udΩ Ω +∫ ∫ ∂ ∂ Ω Ω f→ → ()u)⋅ ⋅ n→ → d. . =0,{displaystyle {frac {dt} {fnMicroc} {fnMicroc} {fn} {fn}} {fnMicroc} {fn}}fn}fn}fnMicroc}} {f}}fn}}f}fnKf}f}}f}f}f}fn}}}fn}fn}}fn}fn}fn}}}f}f}fn}f}fnKfn}fn}fn}fn}f}f}f}fn}f}fnKfn}fnh}fn}fn}fnKfn}fnh}fn}fn}fn}}fnh}fn}fnKfn}fnh}}}}}} ################################################################################################################################################################################################################################################################
u{displaystyle u}Ω Ω {displaystyle Omega }u{displaystyle u}∂ ∂ Ω Ω {displaystyle partial Omega }u{displaystyle u}Ω Ω {displaystyle Omega }

Contenido relacionado

Conjunto vacío

En matemáticas, el conjunto vacío es el conjunto único que no tiene elementos; su tamaño o cardinalidad es cero. Algunas teorías axiomáticas de...

Precisión y exactitud

En un conjunto de medidas, la exactitud es la cercanía de las medidas a un valor específico, mientras que la precisión es la cercanía de las medidas entre...

Historia de la lógica

La historia de la lógica se ocupa del estudio del desarrollo de la ciencia de la inferencia válida tal como se encuentran en el Organon, encontraron una...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save