ECUACIONES EN DERIVADAS PARCIALES.

ECUACIONES EN DERIVADAS PARCIALES.

Una ecuación diferencial en derivadas parciales (EDP) para la función ${\displaystyle u(x_{1},...x_{n})\,}$ tiene la siguiente forma:

${\displaystyle F(x_{1},\cdots x_{n},u,{\frac {\partial }{\partial x_{1}}}u,\cdots {\frac {\partial }{\partial x_{n}}}u,{\frac {\partial ^{2}}{\partial x_{1}\partial x_{1}}}u,{\frac {\partial ^{2}}{\partial x_{1}\partial x_{2}}}u,\cdots )=0\,}$

donde ${\displaystyle \scriptstyle F}$ es una función lineal de ${\displaystyle u\,}$ y sus derivadas si:

${\displaystyle F(\lambda u+\mu w)=\lambda F(u)+\mu F(w),}$

Si ${\displaystyle F\,}$ es una función lineal de ${\displaystyle u\,}$ y sus derivadas, entonces la EDP es lineal. Ejemplos comunes de EDPs son la ecuación del calor, la ecuación de onda y la ecuación de Laplace. Una ecuación diferencial en derivadas parciales simple puede ser:

${\displaystyle {\frac {\partial u}{\partial x}}(x,y)=0\,}$

donde u es una función de x e y. Esta relación implica que los valores de u(x, y) son completamente independientes de x. Por lo tanto la solución general de esta ecuación diferencial es:

${\displaystyle u(x,y)=f(y),\,}$

donde f es una función arbitraria de y. La ecuación diferencial ordinaria (Similar a la EDP, pero con funciones de una variable) análoga es

${\displaystyle {\frac {du}{dx}}=0,\,}$

que tiene la siguiente solución

${\displaystyle u(x)=c,\,}$

Donde c es cualquier valor constante (independiente de x). Estos dos ejemplos ilustran que las soluciones generales de las ecuaciones diferenciales ordinarias se mantienen con constantes, pero las soluciones de las ecuaciones diferenciales en derivadas parciales generan funciones arbitrarias. Una solución de una ecuación en derivadas parciales generalmente no es única; de tal forma que se tienen que proporcionar condiciones adicionales de contorno capaces de definir la solución de forma única. Por ejemplo, en el caso sencillo anterior, la función ${\displaystyle \scriptstyle f(y)\,}$ puede determinarse si ${\displaystyle \scriptstyle u\,}$ se especifica sobre la línea ${\displaystyle \scriptstyle x=0\,}$.

Notación y ejemplos[editar]

En las ecuaciones diferenciales en derivadas parciales es muy común denotar las derivadas parciales empleando sub-índices (Notación tensorial). Esto es:

${\displaystyle u'_{x}={\partial u \over \partial x},\qquad u''_{xy}={\partial ^{2}u \over \partial y\,\partial x}={\partial \over \partial y}\left({\partial u \over \partial x}\right)}$

Especialmente en la física matemática, se suele preferir el operador nabla (que en coordenadas cartesianas se escribe como ${\displaystyle \nabla =(\partial _{x},\partial _{y},\partial _{z})}$ para las derivadas espaciales y un punto (${\displaystyle {\dot {u}}}$) para las derivadas que involucran el tiempo, por ejemplo para escribir la Ecuación de onda (véase más abajo) como

${\displaystyle {\ddot {u}}=c^{2}\Delta u\,}$ (notación matemática)

${\displaystyle {\ddot {u}}=c^{2}\nabla ^{2}u\,}$ (notación física)

Solución general y solución completa[editar]

Toda ecuación diferencial en derivadas parciales de primer orden posee una solución dependiente de una función arbitraria, que se denomina usualmente solución general de la EDP. En muchas aplicaciones físicas esta solución general es menos importante que las llamadas soluciones completas, que frecuentemente pueden obtenerse por el método de separación de variables.

Una solución completa es una solución particular de la EDP que contiene tantas constantes arbitrarias independientes como variables independientes intervienen en la ecuación. Por ejemplo la integración de las ecuaciones del movimiento de un sistema mecánico mediante el método basado en la ecuación de Hamilton-Jacobi requiere una integral completa, mientras que la solución general resulta menos interesante desde el punto de vista físico.

Existencia y unicidad[editar]

Aunque el asunto de la existencia y unicidad de las soluciones de las ecuaciones diferenciales ordinarias tiene una respuesta muy satisfactoria resumida en el teorema de Picard-Lindelöf, el mismo asunto para las ecuaciones en derivadas parciales está lejos de estar satisfactoriamente resuelto. Aunque existe un teorema general, el teorema de Cauchy-Kovalevskaya, que afirma que para una EDP, que es analítica en la función incógnita y sus derivadas, tiene una única solución analítica. Aunque este resultado que parece establecer la existencia y unicidad de la soluciones, aparecen ejemplos de EDP de primer orden cuyos coeficientes tienen derivadas de cualquier orden (aunque sin ser analíticas) pero que no tienen solución.²​ Incluso si la solución de una EDP existe y es única, ésta puede tener propiedades indeseables.

Un ejemplo de comportamiento patológico es la secuencia de problemas de Cauchy dependientes del parámetro n para la ecuación de Laplace:

${\displaystyle {\frac {\partial ^{2}u}{\partial x^{2}}}+{\frac {\partial ^{2}u}{\partial y^{2}}}=0,\,}$

con condiciones iniciales

${\displaystyle u(x,0)=0,\qquad {\frac {\partial u}{\partial y}}(x,0)={\frac {\sin nx}{n}},\,}$

Donde n es un entero. La derivada de u con respecto a y se aproxima a 0 uniformemente en x a medida que n se incrementa, pero la solución es:

${\displaystyle u(x,y)={\frac {(\sinh ny)(\sin nx)}{n^{2}}}.\,}$

Esta solución se aproxima a infinito si nx no es un entero múltiplo de π para cualquier valor de y. El problema de Cauchy para la ecuación de Laplace se denomina mal propuesto o mal definido, puesto que la solución no depende continuamente de los datos del problema. Estos problemas mal definidos no son usualmente satisfactorios para las aplicaciones físicas.

Clasificación de las EDP de segundo orden[editar]

Las EDP de segundo orden se clasifican habitualmente dentro de cinco tipos de EDP que son de interés fundamental, a continuación se dan ejemplos de estos cinco tipos:

Ecuación	Nombre	Tipo
${\displaystyle \nabla ^{2}u=0}$	Laplace	Elíptica
${\displaystyle \nabla ^{2}u=f}$	Poisson	Elíptica
${\displaystyle {\frac {\partial ^{2}u}{\partial t^{2}}}=c^{2}\nabla ^{2}u}$	Onda	Hiperbólica
${\displaystyle {\frac {\partial u}{\partial t}}=k\nabla ^{2}u}$	Difusión	Parabólicas
${\displaystyle \nabla ^{2}u=ku}$	Helmholtz	Elíptica

Con mayor generalidad, si se tiene una ecuación de segundo orden del tipo:

(*)

Con estos coeficientes se monta la siguiente matriz:

${\displaystyle Z={\begin{bmatrix}A&B\\B&C\end{bmatrix}}}$

En función del determinante la ecuación (*):

• se dice que es elíptica si la matriz Z tiene un determinante mayor a 0.
• se dice que es parabólica si la matriz Z tiene un determinante igual a 0.
• se dice que es hiperbólica si la matriz Z tiene un determinante menor a 0.

Nombres de objetos de la geometría analítica y se llaman cónicas.

EDP de orden superior[editar]

Si bien las EDP de segundo orden se aplican a una inmensa cantidad de fenómenos físicos; otra cantidad menor de procesos físicos hallan solución en EDP de órdenes superiores, como ejemplos podemos citar:

• Flexión mecánica de una placa elástica:

${\displaystyle {\frac {\partial ^{4}w}{\partial x^{4}}}+2{\frac {\partial ^{4}w}{\partial x^{2}\partial y^{2}}}+{\frac {\partial ^{4}w}{\partial y^{4}}}={\frac {q(x,y)}{D}}}$

• Vibración flexional de una viga:

${\displaystyle {\frac {\partial ^{2}}{\partial x^{2}}}\left[EI{\frac {\partial ^{2}y}{\partial x^{2}}}\right]+\rho A{\frac {\partial ^{2}y}{\partial t^{2}}}=p(x,t)}$

• Ecuación de Korteweg-de Vries, que tiene soluciones de tipo solitón,

${\displaystyle {\frac {\partial v}{\partial t}}+v{\frac {\partial v}{\partial x}}+\mu {\frac {\partial ^{3}v}{\partial x^{3}}}=0}$