Guia Edp

Captulo 4
Ecuaciones en Derivadas Parciales

4.1.
Introduccin a las ecuaciones en derivadas parciales
Denicin 4.1 Se llama ecuacin diferencial en derivadas parciales o abreviadamente ecuacin en

derivadas parciales (EDP) a una ecuacin de la forma
!
@u
@u
@mu
x1 ; : : : ; xn ; u;
;:::;
; : : : ; k1
;::: = 0
@x1
@xn
@x1
@xknn
(4.1)
donde n > 1, (x1 ; : : : ; xn ) 2 , son las variables independientes y u

u (x1 ; : : : ; xn ) es la variable
dependiente, siendo k1 +
+ kn = m.
La EDP estar denida y planteada en la regin abierta (nita o innita)
Rn .
Denicin 4.2 Las derivadas parciales tambin pueden expresarse como
@u
= uxk
@xk
@mu
@xk11
@xknn
= ux1 : : : x1 :::xn : : : xn
| {z } | {z }
k1
kn
Para los casos n = 2 y n = 3 utilizaremos la siguiente notacin:
n = 2 ) (x1 ; x2 ) =
8
< (x; y)
:
n = x ) (x1 ; x2 ; x3 ) =
(t; x)
8
< (x; y; z)
:
(t; x; y)
Para problemas espaciales

Para problemas espacio-temporales
Para problemas espaciales
Para problemas espacio-temporales
Denicin 4.3 El orden de la EDP est indicado por la derivada de mayor orden dentro de la
ecuacin.
29
30
Captulo 4. Ecuaciones en Derivadas Parciales
Ejemplo 4.1 A continuacin se introducen alguna EDP y se indica su correspondiente orden:

Ecuacin
Laplace
Fourier
Onda
Euler-Bernouilli
Schrodinger
Helmholtz
Korleneg-de Vries
Tricormi
Expresin
uxx + uyy = 0
2u
ut
xx = 0
uxx uyy = 0
utt + 2 uxxxx = 0
ut i uxx = 0
uxx + uyy + 2 u = 0
ut + uux + uxxx = 0
uxx + xuyy = 0
Orden
2
2
2
4
2
2
3
2
Observacin 4.1 Por su dicultad no estudiaremos sistemas de EDP.

Las EDP se utilizan para modelar procesos que adems de tener una variacin temporal, tienen
una variacin espacial. Por ejemplo la variacin del calor con el tiempo en un slido, la distribucin
de poblaciones un habitat o la propagacin del sonido de las cuerdas de una guitarra.
En general las EDP son bastante difciles de resolver de forma analtica, de hecho, no existen
teoremas de existencia y unicidad tan sencilloscomo los estudiados en los problemas de valor inicial
asociados a las EDO.
Denicin 4.4 Una solucin de 4.1 en
Rn es cualquier funcin u u (x1 ; : : : ; xn ) 2 C m ( ) tal
que a sustituir u y todas sus derivadas parciales en dicha ecuacin 4.1 obtenemos una identidad.
Observacin 4.2 Generalmente se exigir que u sea continua o diferenciable en @ , la frontera de
, que tenga todas las derivadas parciales en y que se cumpla la ecuacin en el interior de .
4.1.1.
Algunos mtodos sencillos para resolver una EDP
Integracin directa
Algunas EDP pueden resolverse mediante integracin directa, como en los ejemplos siguientes:
Ejemplo 4.2 Resuelva
ux = x + y
Solucin: Obviamente esta EDP es de orden 1. Buscamos una funcin u que sea de clase C 1 .
Integramos respecto a x
Z
Z
x2
u = ux dx = (x + y) dx =
+ xy + (y)
2
La funcin (y) es la constante respecto a x que aparece al integrar de forma indenida la funcin
x + y, hay que permitir que sea una funcin de la otra variable y, ya que aunque sabemos que es
constante respecto a x, no tiene que ser constante respecto a y y obviamente se cumple
@
( (y)) = 0
@x
uxy = 0
c SPH
4.1. Introduccin a las ecuaciones en derivadas parciales
C2.
31
Solucin: Obviamente la EDP anterior es de orden 2. Buscamos una funcin u que sea de clase
Integramos en primer lugar respecto a y
Z
Z
ux = uxy dy = 0dy = 0 (x)
ya que cualquier funcin que slo dependa de x es constante respecto a y. A continuacin integramos
respecto de la otra variable c
Z
Z
u = ux dx =
0 (x) dx = 1 (x) + 2 (y)
donde 1 (x) es una primitiva cualquiera de 0 (x). Por tanto la solucin de la EDP viene dada por
cualquier funcin u de la forma
u (x; y) = 1 (x) + 2 (y)
con 1 y 2 funciones arbirtrarias de una variable que sean derivables dos veces. Por ejemplo, seran
solucin de la EDP las siguientes funciones:
u (x; y) = x + y
u (x; y) = ex + sen (y)
u (x; y) = x2 + yey
uxx + uyy = 0
Solucin: Si recordamos la teora de variable compleja y las funciones holomorfas que all se
utilizaban, recordaremos que las soluciones de esta EDP son de la forma
u (x; y) = Re (f (z))
o
u (x; y) = Im (f (z))
donde f (z) = f (x + iy) es cualquier funcin holomorfa (derivable compleja). Por ejemplo tendremos
como soluciones
u (x; y) = x2
y2
u (x; y) = 2xy
u (x; y) = ex cos (y)
Cambio de variable
Otras veces una EDP pueden resolverse fcilmente mediante un cambio de variables, como en
el siguiente ejemplo.
Ejemplo 4.5 Resuelva la ecuacin
ux
c SPH
uy = 0
32

Solucin: En primer lugar hacemos el siguiente cambio de variable
x
= x+y )
= x
=1
=1
=1
= 1
y)
Por tanto
ux = u
+u
=u +u
uy = u
+u
=u
y sustituyendo en la EDP
ux
uy = 0 , (u + u )
(u
u ) = 2u = 0
En trminos de las nuevas variables ( ; ) la EDP es

u =0
cuya solucin es
u( ; ) =
es decir cualquier funcin de
u d =
( )
y por tanto constante en . Deshaciendo el cambio

u (x; y) =
(x + y)
y ser solucin cualquier funcin derivable evaluada en x + y, por ejemplo

u (x; y) = sen (x + y)
u (x; y) = (x + y)2
u (x + y) = ex+y = ex ey
Mtodo de separacin de variables
Tambin es posible resolver algunas EDP haciendo cierta suposicin sobre la funcin solucin. en
el caso del mtodo de separacin de variables se supone que la funcin es de la forma
u (x; y) = F (x) G (y)
Con esta suposicin, entonces podemos poner
ux (x; y) = F 0 (x) G (y)
uy (x; y) = F (x) G0 (y)
uxy (x; y) = F 0 (x) G0 (y)
uxx (x; y) = F 00 (x) G (y)
uyy (x; y) = F (x) G00 (y)
c SPH
4.1. Introduccin a las ecuaciones en derivadas parciales

y en general
@nu
=
ux xy
y
| {z }| {z } @xk @y n
k
(x; y) = F (k) (x) G(n
33
k)
(y)
n k
y sustituyendo en la EDP en algunas ocasiones es posibleyreducir de este modo una EDP a un sistema
de EDO con dos ecuaciones.
Ejemplo 4.6 Resuelva la siguiente EDP por el mtodo de separacin de variables
uxx = 4uy
Solucin: Realizando el cambio indicado y sustiyendo en la ecuacin anterior obtenemos
F 00 (x) G (y) = 4F (x) G0 (y)
Agrupando los trminos en x y y
F 00 (x)
4G0 (y)
=
F (x)
G (y)
Como el primer miembro es una funcin que slo depende de x y el segundo miembro es una funcin
que slo depende de y, la nica forma de que se cumpla la igualdad es que ambos miembros sean
iguales a una constante que llamamos 2 R, es decir
F 00 (x)
4G0 (y)
=
=
F (x)
G (y)
El parmetro
narias
se denomina constante de separacin. Obtenemos dos ecuaciones diferenciales ordiF 00 (x)

F (x)
) F 00 (x)
F (x) = 0
4G0 (y)
G (y)
) 4G0 (y)
G (y) = 0
que se pueden resolver de forma independiente. Segn el valor de , obtenemos:

1. Caso I:
=0
e integrando
F 00 (x)
F (x) = 0 ) F 00 (x) = 0
4G0 (y)
G (y) = 0 ) G0 (y) = 0
9
F (x) = c1 x + c2 =
G (y) = c3
con c1 ; c2 ; c3 2 R, constantes arbitrarias. La funcin u (x; y) sera

u (x; y) = F (x) G (y) = (c1 x + c2 ) c3 = A1 x + B1
c SPH
34
2. Caso II:
Como
>0
es positivo, podemos suponer que

=
y las ecuaciones sern

F 00 (x)
F (x) = 0 ) F 00 (x)
4G0 (y)
G (y) = 0 ) 4G0 (y)
F (x) = 0
G (y) = 0
La primera de estas ecuaciones es de segundo orden y su solucin, utilizando el polinomio caracterstico, es de la forma
F (x) = c1 e x + c2 e x
La segunda es de primer orden y su solucin es
2 y=4
G (y) = c3 e
La funcin u (x; y) es de la forma
u (x; y) = F (x) G (y) = c1 e
3. Caso III:
+ c2 e
c3 e
2 y=4
= A2 e
x+
2 y=4
+ B2 e
x+
2 y=4
<0
Como en el caso anterior y debido a que
es negativo, en este caso podemos suponer que

=
y las ecuaciones sern

F 00 (x)
F (x) = 0 ) F 00 (x) +
4G0 (y)
G (y) = 0 ) 4G0 (y) +
F (x) = 0
G (y) = 0
Como antes, la primera de estas ecuaciones es de segundo orden y su solucin, utilizando el

polinomio caracterstico, que tiene como races complejas
i, es de la forma
F (x) = c1 cos ( x) + c2 sen ( x)
La segunda es de primer orden y su solucin es
G (y) = c3 e
2 y=4
La funcin u (x; y) es de la forma

u (x; y) = F (x) G (y) = (c1 cos ( x) + c2 sen ( x)) c3 e
2 y=4
= A3 e
2 y=4
cos ( x)+B3 e
2 y=4
sen ( x)
En los ejemplos anteriores podemos comprobar que similarmente a lo que ocurre con las ecuaciones
diferenciales ordinarias (EDO) para las que la solucin general implicaba la existencia de constantes
arbitrarias, en este caso las soluciones de una EDP suele implicar a funciones arbitrarias. En general
al resolver una EDP podemos obtener una cantidad innita de soluciones que dependern de esas
funciones arbitrarias. Para poder obtener una solucin nica a problemas de EDP y tal y como ocurre
con las EDO, estos problemas llevarn asociadas unas condiciones o restricciones que pueden ser de
dos tipos: condiciones iniciales y condiciones de contorno. Veamos esta diferencia con un ejemplo.
c SPH
4.2. Ecuaciones lineales de orden 2
35
Ejemplo 4.7 La siguiente EDP modela la variacin de temperatura con el tiempo en una varilla de
longitud 1. Si u (t; x) es la temperatura de la varilla en el instante t en la posicin x de la varilla,
entonces, podemos plantear el problema como
9
t > 0; x 2 (0; 1) >
>
>
>
=
u (0; x) = f (x)
x 2 [0; 1]
>
>
>
>
;
u (t; 0) = u (t; 1) = 0
t 0
ut = uxx
La ecuacin ut = uxx (ecuacin del calor) representa el comportamiento de la variacin de temperatura

con el tiempo en funcin de la posicin. La condicin u (0; x) = f (x) es la temperatura en el instante
inicial t = 0 y por tanto representa una condicin inicial del problema. Las condiciones u (t; 0) = 0 y
u (t; 1) = 0 son restricciones que se le imponen a los extremos de la varilla en cualquier instante de
tiempo y se denominan condiciones de contorno.
4.2.
Ecuaciones lineales de orden 2
4.2.1.
Clasicacin de EDP
Las EDP, al igual que las EDO, se clasican en lineales y no lineales.

Denicin 4.5 Una EDP es lineal, s y slo si, la variable dependiente u o sus derivadas parciales
aparecen slo en primera potencia.
Por ejemplo, una EDP lineal de 2o orden ser de la forma
n X
n
X
Aij uxi xj +
i=1 j=1
n
X
Bi uxi + F u = G
i=1
donde
Aij
Aij (x1 ; : : : ; xn )
Bi
Bi (x1 ; : : : ; xn )
F (x1 ; : : : ; xn )
G (x1 ; : : : ; xn )
son funciones de las variables independientes y supondremos adems que Aij = Aji .
Si las funciones Aij , Bi , y F son constantes, la EDP ser lineal con coecientes constantes.
Como en el caso de las EDO si la funcin G es idnticamente nula
G
la ecuacin lineal se dice homognea, siendo no homognea caso contrario.

c SPH
36
Ejemplo 4.8 Las siguientes ecuaciones son lineales

uxx + uyy = 0
uxx
uyy = xy
siendo la primera de ellas homognea y la segunda no homognea.

Teorema 4.1 Si u1 ; : : : ; un son soluciones de una EDP lineal homognea, entonces cualquier combinacin lineal de ellas de la forma
u = c1 u1 +
+ cn un
con ci 2 R, tambin es solucin de la EDP.
La solucin general de una EDP lineal de orden n es una familia de funciones que depende de n
funciones arbitrarias.
4.2.2.
Ecuaciones lineales de orden 2
Una ecuacin lineal de 2o orden es de la forma

A (x; y) uxx + B (x; y) uxy + C (x; y) uyy + D (x; y) ux + E (x; y) uy + F (x; y) u = G (x; y)
donde A; B; C; D; E; F; G :
(4.2)
R ! R, son funciones sucientemente regulares.
Tipos de EDP lineales de 2o orden

Denicin 4.6 Sea la EDP dada por la ecuacin 4.2 y sea (x0 ; y0 ) 2
punto es
, entonces la EDP en dicho
, B 2 (x0 ; y0 )
4A (x0 ; y0 ) C (x0 ; y0 ) > 0
Parablica , B 2 (x0 ; y0 )
4A (x0 ; y0 ) C (x0 ; y0 ) = 0
Elptica , B 2 (x0 ; y0 )
4A (x0 ; y0 ) C (x0 ; y0 ) < 0
Hiperblica
Si las desiguladades son ciertas para todos los puntos de (x; y) 2 , entonces la EDP ser Hiperblica, Parablica o Elptica, respectivamente, segn el caso.
Como caso particular, si la ecuacin tiene coecientes constantes la clasicacin de la EDP no
depende del punto (x0 ; y0 ), de esta forma para la EDP
Auxx + Buxy + Cuyy + Dux + Euy + F u = G (x; y)
(4.3)
se cumple que la ecuacin es

, B2
4AC > 0
Parablica , B 2
4AC = 0
Elptica , B 2
4AC < 0
Hiperblica
c SPH
37
La clasicacin de las EDP de 2o orden lineales est basada en la posibilidad de reducir la ecuacin
general mediante un cambio de coordenadas a una forma cannica o estndar. Una vez en forma
cannica es posible reducir, mediante cambios de coordenadas adecuados, la ecuacin a una del tipo
siguiente
wss + wtt + w = ' (s; t)
(4.4)
wss
wtt + w = ' (s; t)
(4.5)
wtt
ws = ' (s; t)
(4.6)
wss + w = ' (s; t)
(4.7)
donde es una constante que puede tomar los valores

en las nuevas variables (s; t).
1, 0 o 1, y ' (s; t) es una funcin cualquiera
Paso a la forma cannica

Para (x; y) es posible encontrar una transformacin que reduzca la ecuacin a una forma cannica
en una regin dada (esto no es posible, en general, para ms de dos variables).
Dada la ecuacin 4.3 se hace un cambio de variables de la forma
(x; y)
(x; y)
con la condicin de que el Jacobiano asociado al cambio de variable sea distinto de cero, es decir
J=
@( ; )
=
@ (x; y)
6= 0
Con este cambio de variable la funcin u y sus derivadas seran, haciendo uso de la regla de la cadena
c SPH
38
(y tenienndo en cuenta tambin que uxy = uyx )

ux = u
+u
uy = u
+u
du
dx
uxx =
= (u
d x
dx
du
dx
+u
x) x
+u
xx
+ (u
+ 2u
x x
+u
d x
dy
+u
d x
dx
+u
+u
x) x
+u
xx
+u
xy
=
2
x
du
dy
uxy =
+u
2
x
+u
du
dy
xx
+u
+u
d x
dy
xx
=
u
+u
+u
xy
+ u
y x
+u
du
dy
+u
=
u
x y
du
dy
uyy =
+u
x y
+u
d y
dy
x y
+u
xy
+u
xy
d y
dy
+u
=
u
+u
+u
y y
+u
yy
+ u
+u
+u
yy
=
2
y
+ 2u
2
y
+u
yy
+u
yy
y sustituyendo en 4.3
A u
2
x
B u
x y
C u
2
y
D (u
+ 2u
x x
+u
+ 2u
+u
x y
y y
x)
2
x
+u
+
y x
2
y
+u
+E u
+u
xx
+u
+u
+u
x y
yy
+u
+u
xx
+u
yy
xy
+u
xy
+ Fu
= G
agrupando trminos obtenemos la EDP en las variables ( ; )
A u
+B u
+C u
+D u +E u +F u=G
c SPH

donde
2
x
A =A
B = 2A
39
+B
x x
x y
+C
+B
2
y
x y
x y
+C
2
y
+ 2C
y x
y y
C =A
2
x
D =A
xx
+B
xy
+C
yy
+D
+E
E =A
xx
+B
xy
+C
yy
+D
+E
+B
G =G
Es importante notar que en la nueva ecuacin ocurre
4A C = J 2 B 2
(4.8)
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
;
F =F
9
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
=
4AC
y por tanto si J 6= 0, el carcter de la ecuacin (hiperblica, parablica o elptica) se conserva para

cualquier cambio de variable.
Para encontrar el cambio de variable adecuado, observamos que las ecuaciones para A y C son
similares y asumiremos que el cambio de variable realizados conduce a que A = 0 o C = 0 o ambos.
En este caso, si utilizamos la ecuacin para A (para C el desarrollo sera el mismo), tenemos
2
x
A =A
Dividiendo por
+B
x y
+C
2
y
=0
2
y
2
A
Supongamos ahora que
2
x
+B
y +C
2
y
=0,A
+B
+C
(4.9)
= cte:, en ese caso

d =
de donde
x dx
dy
=
dx
y dy
=0
x
y
y la ecuacin 4.9 se transforma en

A
dy
dx
+B
dx
dy
que es una ecuacin de segundo grado en
dy
dx ,
dy
B
=
dx
e integrando
y=
c SPH
dy
dx
+C =0)A
dy
dx
+C =0
cuyas races son

B2
2A
p
4AC
B2
2A
= constante
4AC
x+C
(4.10)
40
donde C es constante. Las ecuaciones anteriores, llamadas ecuaciones caracterstica, son lneas rectas.
Por tanto el cambio que debemos realizar sera el siguiente
= y
1x
= y
2x
(4.11)
donde
1
B+
B2
2A
4AC
B2
2A
4AC
Las coordenadas ( ; ) son las coordenadas caractersticas.

El cambio de coordenadas anterior sera de tipo general. A continuacin estudiaremos qu ocurre
a cada uno de los tipos de EDP.
1. EDP Hiperblica. Supongamos que la EDP bajo estudio es de tipo hiperblico, es decir
B2
entonces
6=
4AC > 0
y el cambio de variable sera el dado por 4.11. En este caso

8
< x=
1
xx = 0
= y
x
)
1
xy = 0
:
y =1
yy = 0
8
< x=
2
xx = 0
= y
2x )
xy = 0
:
=
1
y
yy = 0
y la EDP con este cambio los nuevos coecientes seran, teniendo en cuenta que
races de A 2 B + C y sustituyendo en 4.8
9
A = A 21 B 1 + C = 0
>
>
>
>
>
>
>
>
B = 2A 1 2 B ( 1 + 2 ) + 2C >
>
>
>
>
>
>
>
2
>
C =A 2 B 2+C =0
>
>
>
>
=
D =
D
+
E
1
>
>
>
>
>
>
>
E =
2D + E
>
>
>
>
>
>
>
>
F =F
>
>
>
>
>
>
;
G =G
son las
(4.12)
y la ecuacin se transforma en
B u
+D u +E u +F u=G
c SPH
41
y dividiendo por B
u
= D1 u + E1 u + F1 u + G1
En el caso de que A = 0, entonces el coeciente A vendra dado por

A =A
2
x
+B
y en este caso dividiramos por
2
x
x y
+C
2
y
=0)A =B
para obtener
x
A =B
2
x
2
y
+C
x y
+C
2
y
=0
=0
y teniendo en cuenta que

dy
=
dx
x
y
dx
=
dy
y
x
se obtendra
dx
dx 2
=0
+C
dy
dy
ecuacin de segundo grado que podemos resolver fcilmente
8
dx
>
=0
>
>
< dy
dx
dx
C
B =0)
>
dy
dy
> dx
B
>
:
=
)
dy
C
B
que podemos integrar como
x = c1
x =
El cambio de variable entonces sera
= x)
= x
y nos conducira a la forma cannica
u
8
<
:
B
y + c2
C
=1
=0
=0
=0
xx
xy
=0
8
<
B
y)
:
C
yy
x
=1
B
C
xy
yy
=0
=0
=0
= D1 u + E1 u + F1 u + G1
Una vez que hemos puesto la ecuacin en la forma cannica,

de variable
8
=1
<
=
+ )
:
=1
8
=1
<
=
)
:
= 1
c SPH
xx
podemos hacer el siguiente cambio

=0
=0
=0
=0
=0
=0
42

para expresar la funcin en trminos de las derivadas dobles respecto a la misma variable.
u
= u
+u
=u +u
= u
+u
=u
= u
+u
+u
u
+u
=u
+u
=u
y la segunda forma cannica sera

u
= D1 u + E1 u + F1 u + G1
2. EDP Parablica. Supongamos que la EDP bajo estudio es de tipo parablico, es decir
B2
entonces
4AC = 0
y solamente tendramos una ecuacin caracterstica

1
B
2A
El cambio de variable sera el dado en este caso por

8
< x=
1
= y
x
)
1
:
y =1
8
< x= k
= hy kx )
:
y =h
xx
xy
yy
xx
xy
yy
=0
=0
=0
=0
=0
=0
donde h; k 2 R son valores arbitrarios elegidos para que el Jacobiano del cambio sea distinto de
0, es decir
@( ; )
1 1
J=
=
=k
1 h 6= 0
k h
@ (x; y)
los nuevos coecientes seran, sustituyendo en 4.8
A
B
C
D
E
F
G
9
>
+B
+C =0 >
=A
>
>
>
>
>
>
>
>
>
B
B
>
= 2A 2A k B 2A h Bk + 2Ch = 0 >
>
>
>
>
>
>
>
>
= Ak 2 Bkh + Ch2
>
>
>
=
BD
>
=
+E
>
>
2A
>
>
>
>
>
>
>
= kD + Eh
>
>
>
>
>
>
>
>
=F
>
>
>
>
>
>
;
=G
B
2A
B
2A
(4.13)
c SPH
43
En este caso vamos a elegir h y k de forma que como hemos comentado J 6= 0, para que el
cambio de variable conserve el tipo de ecuacin.
La ecuacin con este cambio se transforma en
C u
+D u +E u +F u=G
y dividiendo por C
u
= D2 u + E2 u + F2 u + G2
En el caso de que B = 0, entonces como B 2

B = 0 y por tanto:
4AC = 0, tendra que suceder o que A = 0 o que
A = 0 ) Cuyy + Dux + Euy + F u = G (x; y)

C = 0 ) Aux + Dux + Euy + F u = G (x; y)
y ya estara en la forma cannica buscada.
3. EDP Elptica. Supongamos que la EDP bajo estudio es de tipo elptico, es decir
B2
entonces
1;
4AC < 0
2 C, son complejos conjugados. En este caso haremos el cambio

9
(a + bi) x =
=y
=y
(a
bi) x
donde
B
a=
2A
p
4AC B 2
b=
2A
y despus el cambio
=
1
2
1
2i
c SPH
ax )
bx )
8
<
:
8
<
:
9
>
>
>
=
(4.15)
>
>
>
;
9
( + ) =
(4.16)
o de forma simultnea (x; y) ! ( ; ) ! ( ; )

= y
(4.14)
xx
xy
y
x
=1
b
yy
xx
xy
=0
yy
=0
=0
=0
=0
=0
=0
44

y la EDP en funcin de estas nuevas variables sera
A
B
C
D
E
F
G
= A 2x + B x y + C 2y
= 2A x x + B x y + y x + 2C
= A 2x + B x y + C 2y
= A xx + B xy + C yy + D x + E
= A xx + B xy + C yy + D x + E
=F
=G
y y
y
y
= Aa2 Ba + C
= 2Aab bB
= Ab2
= aD + E
= bD
=F
=G
El trmino B se anula
B = 2Aab
bB = 2A
B
2A
bB = Bb
9
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
;
(4.17)
bB = 0
adems por la ecuacin 4.15 podemos comprobar que

A =C
y la ecuacin se transforma en
A u
+A u
+D u +E u +F u=G
y dividiendo por A podemos expresar la EDP elptica como

u
+u
= D3 u + E3 u + F3 u + G3
Resumiendo, hemos comprobado que cualquier EDP lineal de orden 2 en dos variables y con
coecientes constantes puede ponerse en forma cannica segn la siguiente tabla
Tipo
Discriminante
Cambio
Si A 6= 0 )
Hiperblica
B2
4AC > 0
8
>
>
<
>
>
:
=y
p
B+ B 2 4AC
2A
=y
Parablica
Elptica
B2
B2
4AC = 0
4AC < 0
8
<
:
8
<
=x
=y
B
2A x
Si A = 0 )
8
<
Forma Cannica
x
u
B 2 4AC
2A
=x
u
= hy
=y
=
= F (u; u ; u )
B
Cx
= F (u; u ; u )
= F (u; u ; u )
kx
B
2A x
+u
= F (u; u ; u )
4AC B 2
x
2A
c SPH
45
donde F es una funcin de la forma

F (u; u ; u ) = au + bu + cu + d ( ; )
siendo a; b; c 2 R.
Una vez que la EDP est puesta en la forma cannica, en algunos casos posible eliminar las
derivadas primeras mediante cambios del tipo v (x; y) = u (x; y) e kx o v (x; y) = u (x; y) e ky segn
querramos eliminar ux o uy en la ecuacin. Veamos a continuacin un ejemplo de cada uno de los tipos
de EDP.
Ejemplo 4.9 Transforma la siguiente EDP en su forma cannica

4uxx + 5uxy + uyy + ux + uy = 2
Solucin: Como A = 4, B = 5 y C = 1, entonces

B2
4AC = 52
4 4 1=9>0
luego es una ecuacin de tipo hiperblico. En este caso
B+
B
B2
p 2A
B2
2A
5+3
=1
8
4AC
5 3
1
=
=
8
4
4AC
Las ecuaciones caractersticas son

y = x + c1
y =
1
x + c2
4
y el cambio de variables que necesitamos es
= y
= y
c SPH
x)
8
<
:
8
<
x
)
:
4
=1
=
y
1
4
=1
46
Los nuevos coecientes de la EDP en estas variables sern sustituyendo en 4.17

9
>
>
>
>
>
>
9 >
>
>
>
=
>
4 >
>
>
>
>
>
>
=0 >
>
>
>
>
=
=0
>
>
>
>
>
3 >
>
>
=
>
4 >
>
>
>
>
>
>
=0 >
>
>
>
>
>
>
;
=2
A =0
B
C
D
E
F
G
y la EDP sera
3
+ u =2
4
9
u
4
y reorganizando obtendramos la primera forma cannica de la EDP hiperblica inicial

u
1
= u
3
8
9
Para obtener la segunda forma cannica hacemos el cambio

= +
=
y tendremos
9
=
;
= u +u
= u
= u
1
= u
3
1
u
3
La edp buscada sera

u
8
9
Ahora podemos simplicar la edp eliminando ahora los trminos u y u mediante cambios de tipo
exponencial. En primer lugar eliminaremos el trmino u mediante el cambio
v = ueh
c SPH
47
donde h 2 R se elegir de forma que el trmino correspondiente a la primera derivada respecto a la

primera variable desaparezca. Con este cambio tendremos
9
u = ve h
>
>
>
>
>
>
>
h
h
>
u =v e
hve
>
>
>
>
=
h
u =v e
>
>
>
>
>
h
h
2
h
>
>
u =v e
2hv e
+ h ve
>
>
>
>
>
;
h
u =v e
Notar que no necesitamos saber cunto vale u
u
1
u
3
1
u
3
. Sustituyendo en la ecuacin
8
)u
9
1
1
8
u + u + =0
3
3
9
u
v
2hv e
v
+ h2 ve
v e
+v e
1
v e
3
v e
h
1
3
2h
u
h
+ ve
hve
1
+ v e
3
Para que se anule el trmino en v debe ocurrir

1
3
2h
=0,h=
1
6
y la EDP quedara como

v
Como e
v e
1
+ v e
3
1
ve
36
=6
8
=0
9
6= 0, entonces podemos multiplicar toda la ecuacin y obtener
1
1
+ v
v+
3
36
Eliminaremos ahora el trmino en v mediante un cambio
v
8 =6
e
=0
9
similar
w = vek
Con este cambio tendremos
v = we
v =w e
v =w e
v
v
c SPH
=w e
=w
9
>
>
>
>
>
>
>
>
>
>
>
>
=
kwe
e
2kw e
k
k
+ k 2 we
>
>
>
>
>
>
>
>
>
>
>
>
;
1
8
1
u + u +
3
3
9
= 0,
1
v e
3
= 0,
8
9
1
8
h2 + h +
3
9
= 0
48
y sustituyendo en la edp en la variable v

v
w
w e
2kw e
+ k 2 we
1
w e
3
kwe
1
+ v
3
1
we
16
1
8
v+ e
36
9
=6
= 0,
8
+ e
9
=6
= 0
multiplicamos por ek
w
2kw + k 2 w +
1
(w
3
1
8
w+ e
16
9
kw)
=6 k
=0
y agrupando
w
+w
2k +
1
3
+ k2
k
3
8
w+ e
9
1
16
=6 k
=0
y elegimos k de forma que se anule el trmino en w

1
6
1
=0,k=
3
2k +
quedando nalmente la ecuacin en la forma
w
8
1
w + e(
48
9
)=6
=0
Finalmente es posible hacer el cambio

s =
1
p
48
t =
1
p
48
y obtendremos la ecuacin en las forma usual, puesto que

w =
p1 ws
48
w =
p1 wt
48
p1 wss
48
p1 wtt
48
y entonces
w
8
1
w + e(
48
9
=0)
1
wss
48
wtt + w +
384 (
e
9
)=6
9
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
;
1
1
8
wtt + w + e(
48
48
9
)=6
=0
y multiplicando por 48
wss
)=6
=0
Ejemplo 4.10 Expresa en forma cannica la siguiente EDP

uxx
4uxy + 4uyy = ey
c SPH

Solucin: Como A = 1, B =
49
4 y C = 4, el discriminante es
4AC = ( 4)2
B2
4 1 4=0
y la EDP es parablica.
El cambio de variable que hay que realizar es
8
<
B
x = y + 2x )
:
2A
= y
= hy
kx )
8
<
=2
=1
=h
y elegiremos h y k de forma que el Jacobiano sea no nulo

J=
2 1
k h
= 2h + k 6= 0
podemos tomar por ejemplo h = 1 y k = 0. De esta forma tendremos

transformaciones seran
ux = u
uy = u
x
y
+u
uxx = 2 (u
uxy = 2 u
uyy = u
+u
+u
y
y
x)
= 4u
= 2u
+u
+ 2u
=u
+ 2u
+u
y sustituyendo en la ecuacin
uxx
(2u )
4 (2u
+ 2u ) + 4 (u
= 0 y
= 1 y las
9
>
>
>
>
>
>
>
>
>
>
>
>
=
= 2u
=u +u
+u
+u
+ u
>
>
>
>
>
>
>
>
>
>
>
>
;
4uxy + 4uyy = ey ,
+ 2u
+u ) = e
y agrupando
4u
8u
8u
+ 4u
+ 8u
+ 4u
cuya solucin puede obtenerse fcilmente integrando

Z
1
e d =
u =
4
Z
Z
1
u= u d =
e + 1( )
4
= e , 4u
=e ,u
1
= e
4
dos veces respecto a :

1
e +
4
1(
1
d = e +
4
1(
) +
2(
siendo 1 ( ) y 2 ( ) dos funciones arbitrarias en la variable . Si deshacemos el cambio obtendremos

la solucin en trminos de las variables originales:
1
u (x; y) = ey +
4
c SPH
1 (y
+ 2x) y +
2 (y
+ 2x)
50
Ejemplo 4.11 Expresa en forma cannica la siguiente EDP

uxx + uxy + uyy + ux = 0
Solucin: Para esta ecuacin A = B = C = 1 y por tanto
B2
4AC = 1
4=
3<0
y la EDP es elptica.
Hacemos el cambio
p !
3
1
+
i x
2
2
p !
3
1
i x
2
2
= y
= y
y despus el cambio
=
1
( + )
2
1
(
2i
o como hemos hecho en teora hacemos el cambio

8
>
<
1
x)
>
2
:
3
x)
>
2
>
:
= y
y las transformaciones seran:

ux = u
+u
uy = u
uxx =
uxy =
1
(u
2
1
u
2
+u
+u
+u
x)
3
(u
2
p
3
u
2
uyy = u
8
>
>
<
+u
1
2
=1
p
3
2
=
y
=0
1
u
2
y
=u
+u
3
u
2
x)
+u
y
=u
= 14 u
1
u
2
3
2 u
+ 43 u
p
3
u
2
9
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
;
c SPH
51
uxx + uxy + uyy + ux = 0 ,
1
u
4
3
+
u
2
3
+ u
4
3
u
2
1
u
2
+ (u
y agrupando obtenemos
3
u
4
y multiplicando por
4
3
3
+ u
4
1
u
2
)+
3
u
2
= 0
1
u
2
3
u =0
2
obtenemos la forma cannica

u
p
2 3
u =0
3
2
u
3
+u
(4.18)
Como en el caso de la ecuacin hiperblica podemos eliminar las derivadas de primer orden haciendo
los cambios oportunos, ambos del mismo tipo. Para eliminar ua haremos el cambio
v = ueh
y recordamos que en este caso
h
u = ve
u = (va
hv) e
h
u =v e
u
2hv + h2 v e
= v
u
=v e
y sustituyendo en la ecuacin 4.18
2hv + h v e
{z
+v e
| {z }
u
2
(va
3|
hv) e
{z
u
Podemos multiplicar la ecuacin por eh , que es distinto de 0

2
2hv + h v + v
y agrupando
v
+v
+v
2h
2
3
2
(va
3
hv)
9
>
>
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
>
>
;
h
p
2 3
v e h =0
2 | {z }
p
2 3
v =0
2
p
2 3
1
v + h2 +
2
3
El valor del parmetro h se elige de forma que el coeciente de v sea 0

2h
c SPH
2
3
=0,h=
1
3
v=0
52
con este valor la ecuacin queda como

v
p
2 3
v
2
+v
1
v=0
9
(4.19)
Ahora para eliminar v haremos el cambio

w = vek
v = we
v =w e
v = (w
kw) e
=w
2kw + k 2 w e
= w
9
>
>
>
>
>
>
>
>
>
>
>
>
=

k
+ w
w e
| {z } |
v
2kw + k w e
{z
p
2 3
(w
2 |
Podemos multiplicar la ecuacin por ek , que es distinto de 0

p
2 3
2
w + w
2kw + k w
(w
2
y agrupando
w
+w
+w
2k
>
>
>
>
>
>
>
>
>
>
>
>
;
kw) e
{z
v
kw)
1
we
9
=0
1
w=0
9
p !
p
2 3
2 3
2
+w k +
k
3
3
1
9
=0
El valor del parmetro k se elige de forma que el coeciente de w sea 0

p
p !
3
2 3
=0,k=
2k
3
3
w
+w
4
w=0
9

s =
2
3
t =
2
3
c SPH
53

9
w = 32 ws >
>
>
>
>
>
>
2
w = 3 wt >
=
>
= 49 wss >
>
>
>
>
>
>
;
4
= 9 wtt
w
y entonces
w
+w
4
4
4
w = 0 ) wss + wtt
9
9
9
4
w = 0 ) wss + wtt
9
w=0
Ejercicio 4.1 Realiza los cambios de variable adecuados para transformar la EDP siguiente
3uxx
2uxy + 6uyy
Solucin: Para esta ecuacin A = 3, B =

B2
12ux
9uy
5u = 0
2, C = 6 y por tanto
4AC = ( 2)2
4 3 6 = 4 ( 17) < 0
y la EDP es elptica. Las races son

=
B2
2A
4AC
1
3
17
i
3
Hacemos el cambio
p !
1
17
+
i x
3
3
p !
1
17
i x
3
3
= y
= y
y despus el cambio
=
1
( + )
2
1
(
2i
o como hemos hecho en teora hacemos el cambio

8
>
<
1
= y+ x)
>
3
:
=
c SPH
8
>
>
<
p
17
x)
>
3
>
:
1
3
=1
=
y
17
3
=0
54
y las transformaciones seran:

ux = u
+u
uy = u
uxx
1
= (u
3
+u
+u
17
(u
3
x)
uxy = uyx = (u
uyy = u
17
u
3
1
= u
3
=u
+u
+u
17
u
3
17
9 u
17
u
3
1
x) = u
3
+u
p
2 17
9 u
= 19 u
x)
=u
1
u
3
9
|
3
9
p
2 17
u
9
{z
17
+ u
9
uxx
1
2
u
3
|
{z
p
p !
6 17 2 17
+
+u
9
3
2
+6 +u
3
uxy
+ 6u
|{z}
uyy
3 17
9
+u
1
12
u
3
|
12
3
!
p
17
u
3
{z
}
9
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
;
9u
|{z}
uy
ux
9 +u
12
5u = 0
p
3
17
5u = 0
y agrupando obtenemos
17
u
3
3
17
Multiplicando por
3
17
p
13u + 4 17u
17
u
3
5u = 0
obtenemos la forma cannica

u
+u
p
39
12 17
u +
u
17
17
15
u=0
17
Como en los ejemplos anteriores podemos eliminar las derivadas de primer orden haciendo los cambios
oportunos, ambos del mismo tipo. Para eliminar ua haremos el cambio
v = ueh
u = ve
u = (va
hv) e
u =v e
u
= v
u
2hv + h2 v e
=v e
9
>
>
>
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
>
>
>
;
c SPH
55

|
2hv + h v e
{z
39
(va
17 |
+v e
} | {z }
u
hv) e
{z
u
Podemos multiplicar la ecuacin por eh 6= 0

v
2hv + h v + v
y agrupando
v
+v
39
17
2h
+v
p
12 17
+
v e h
}
17 | {z }
u
p
12 17
hv) +
v
17
39
(va
17
p
12 17
+
v + h2
17
15
ve h = 0
17 | {z }
u
15
v=0
17
15
17
v=0
El valor del parmetro h se elige de forma que el coeciente de v sea 0

39
17
2h
=0,h=
39
34

v
p
12 17
501
+
v +
v=0
17
1156
+v
Ahora para eliminar v haremos el cambio

w = vek
v = we
v =w e
v = (w
kw) e
=w
2kw + k 2 w e
= w
9
>
>
>
>
>
>
>
>
>
>
>
>
=
k
+ w
w e
| {z } |
2kw + k w e
{z
Multiplicamos la ecuacin por ek 6= 0

w
+ w
p
12 17
+
(w
17 |
}
p
12 17
2kw + k w +
(w
17
2
>
>
>
>
>
>
>
>
>
>
>
>
;
kw) e
{z
v
kw) +
501
we
1156
501
w=0
1156
y agrupando
w
c SPH
+w
+w
p !
12 17
2k +
+ w k2
17
!
p
12 17
501
k+
=0
17
1156
=0
56
El valor del parmetro k se elige de forma que el coeciente de w sea 0

p
p !
6 17
12 17
=0,k=
2k +
17
17
w
1947
w=0
1156
+w

s =
t =
1947
1156
1947
1156

q
9
>
w
w = 1947
1156 s >
>
>
>
>
>
>
q
>
>
1947
wt =
w =
1156
1947
1156 wss
1947
1156 wtt
y entonces
w
+w
>
>
>
>
>
>
>
>
>
>
;
1947
1947
1947
w=0)
wss +
wtt
1156
1156
1156
1947
w = 0 ) wss + wtt
1156
4.3.
Ecuaciones en derivadas parciales clsicas
4.3.1.
Ecuacin del calor
w=0
La ecuacin del calor describe la variacin de la temperatura en una regin a lo largo del tiempo.
En el caso de una dimensin, describira la temperatura en una barra de longitud L y se expresa como
8
ut = 2 uxx
t>0
x 2 (0; L)
>
>
>
>
<
u (0; x) = f (x)
0<x<L
>
>
>
>
:
u (t; 0) = u (t; L) = 0
t>0
La condicin de
u (t; 0) = u (t; L)
son llamadas condiciones de contorno e indican que la temperatura en los extremos de la barra es
constante e igual a 0. Mientras que la condicin
u (0; x) = f (x)
c SPH
4.3. Ecuaciones en derivadas parciales clsicas
57
es una condicin inicial e indica la distribucin de temperatura en la barra en el instante inicial.

Vamos a tratar de resolver la ecuacin mediante el mtodo de separacin de variables. Supondremos
que la solucin u (t; x) puede ponerse como
u (t; x) = F (t) G (x)
por tanto
ut = F 0 (t) G (x)
ux = F (t) G0 (x)
uxx = F (t) G00 (x)
y sustituyendo en la ecuacin del calor
ut =
uxx , F 0 (t) G (x) =
F (t) G00 (x)
Obviamente la solucin trivial u 0 es solucin del problema, as que buscamos soluciones alternativas
y supondremos que F (t) 6= 0 y G (x) 6= 0, por tanto
G00 (x)
1 F 0 (t)
=
2 F (t)
G (x)
Como una lado de la igualdad depende slo de t y el otro depende slo de x, ambos deben ser constantes
1 F 0 (t)
G00 (x)
=
=
2 F (t)
G (x)
con
2 R. Hemos elegido el signo menos por convencin.

De 4.20 obtenemos dos ecuaciones diferenciales
F 0 (t) +
F (t) = 0
G00 (x) + G (x) = 0

Con estas suposiciones las condiciones de contorno son
u (t; 0) = F (t) G (0) = 0
u (t; L) = F (t) G (L) = 0
como t es arbitraria se deduce que
G (0) = G (L) = 0
Tendremos el problema de contorno
cuya solucin depende del valor de .

c SPH
8 00
< G (x) + G (x) = 0
G (0) = 0
:
G (L) = 0
(4.20)
58
1. Caso I:
= 0. Supongamos que
= 0, entonces la ecuacin diferencial ser
G00 (x) + G (x) = 0 ) G00 (x) = 0

cuya solucin general es de la forma
G (x) = Ax + B
Utilizando las condiciones de contorno
G (0) = 0 ) B = 0
G (L) = 0 ) A L + B = 0
como L 6= 0, la solucin del sistema anterior es: A = B = 0, y por tanto obtenemos de nuevo la
solucin trivial nula.
2. Caso II: < 0. Supongamos
ahora que es negativo, y por tanto lo podemos poner de la forma
p
2
= a , con a = j j. La ecuacin diferencial sera
G00 (x) + G (x) = 0 ) G00 (x)
a2 G (x) = 0
que tiene por solucin general

G (x) = Aeax + Be
ax
Utilizamos las condiciones de contorno para encontrar los valores de A y B

G (0) = 0 ) A + B = 0
G (L) = 0 ) AeaL + Be
aL
=0
Las ecuaciones anteriores forman un sistema lineal homogneo en las incgnitas A y B. El

determinante de la matriz de coecientes es
1
1
=e
eaL
aL
eaL =
2 senh (aL)
aL
y puesto que 6= 0 es no nulo y por tanto la nica solucin del sistema es la trivial A = B = 0
y obtenemos de nuevo la solucin trivial.
3. Caso III: > 0. Supongamos
ahora que es positivo, y por tanto lo podemos poner de la forma
p
2
= a , con a =
. La ecuacin diferencial sera
G00 (x) + G (x) = 0 ) G00 (x) + a2 G (x) = 0
que tiene por solucin general
G (x) = A cos ax + B sen ax
Utilizamos las condiciones de contorno para encontrar los valores de A y B
G (0) = 0 ) A = 0
G (L) = 0 ) A cos aL + B sen aL = 0
c SPH
59
de donde
B sen aL = 0
Como buscamos una solucin no trivial, entonces B 6= 0 y
sen aL = 0 , aL = n ;
n2Z
luego
a=
n
L
y,
=
n2 2
;
L2
n2N
recordemos que era una constante arbitraria, luego para cada valor de n 2 N, tendremos una
posible solucin de la EDO,
n
n2 2
) Gn (x) = Bn sen
x
2
L
L
Notar que el caso n = 0, nos conduce de nuevo a la solucin trivial, luego supondremos n
Para estos valores n y utilizando la otra ecuacin diferencial
F 0 (t) +
2 2
a F (t) = 0 ) F 0 (t) +
2n
1.
2 2
L2
F (t) = 0
cuya solucin para cada n 2 N es de la forma

Fn (t) = An e
2 n2 2
t
L2
An 2 R
La solucin de la EDP ser, para cada n, de la forma

un (t; x) = Fn (t) Gn (x) = An Bn sen
n
x e
L
2 n2 2
t
L2
= cn sen
n
x e
L
2 n2 2
t
L2
con cn = An Bn . Por la linealidad de la Ecuacin, cualquier combinacin lineal de soluciones, es

otra solucin, por tanto podemos considerar como solucin general a
u (t; x) =
1
X
cn sen
n=1
n
x e
L
2 n2 2
t
L2
y utilizando la condicin inicial u (0; x) = f (x) se obtiene

u (0; x) =
1
X
n=1
cn sen
n
x = f (x)
L
La pregunta que aparece de forma inmediata es: cuando ser posible desarrollar la funcin f (x)
como suma de funciones trigonomtricas?
c SPH
60
4.3.2.
Ecuacin de onda
La ecuacin de onda representa las vibraciones de una cuerda sujeta por los extremos a lo largo del
tiempo. Si L es la longitud de la cuerda y u (t; x) respresenta el desplazamiento de la cuerda respecto
de la horizontal en cada instante y en cada posicin de la cuerda, la ecuacin viene dada por
8
utt = c2 uxx
t>0
x 2 (0; L)
>
>
>
>
>
>
>
>
u (0; x) = f (x)
0<x<L
<
>
>
>
>
>
>
>
>
:
ut (0; x) = g (x)
0<x<L
u (t; 0) = u (t; L) = 0
t>0
Como en el caso de la ecuacin del calor, las condiciones

u (t; 0) = u (t; L)
son condiciones de contorno e indican que los extremos de la cuerda son jos y situados en el eje
horizontal. Mientras que la condicin
u (0; x) = f (x)
es una condicin inicial e indica la forma de la cuerda en el instante inicial, y la condicin
ut (0; x) = g (x)
sera la velocidad inicial que tiene la cuerda en el instante inicial.
Como en el caso anterior utilizaremos el mtodo de separacin de variables. Supondremos que la
solucin u (t; x) puede ponerse como
u (t; x) = F (t) G (x)
por tanto
utt = F 00 (t) G (x)
ux = F (t) G0 (x)
uxx = F (t) G00 (x)
y sustituyendo en la ecuacin del calor
utt = c2 uxx , F 00 (t) G (x) = c2 F (t) G00 (x)
y supondremos que F (t) 6= 0 y G (x) 6= 0, por tanto
G00 (x)
1 F 00 (t)
=
c2 F (t)
G (x)
1 F 00 (t)
G00 (x)
=
=
c2 F (t)
G (x)
(4.21)
c SPH

con
61
2 R.
F 00 (t) + c2 F (t) = 0
G00 (x) + G (x) = 0
Con estas suposiciones las condiciones de contorno son

u (t; 0) = F (t) G (0) = 0
u (t; L) = F (t) G (L) = 0
como t es arbitraria se deduce que
G (0) = G (L) = 0
Tendremos el problema de contorno
8 00
< G (x) + G (x) = 0
G (0) = 0
:
G (L) = 0
que es el mismo problema de contorno que se obtuvo para la ecuacin del calor, por tanto, si queremos
una solucin no trivial (no idnticamente nula) los valores para y G (x) seran
n
Para estos valores
n2 2
n
y Gn (x) = Bn sen
x
L2
L
y utilizando la otra ecuacin diferencial

F 00 (t) + c2 a2 F (t) = 0 ) F 00 (t) + c2
n2 2
F (t) = 0
L2

Fn (t) = Cn cos
n c
n c
t + Dn sen
t
L
L
con Cn ; Dn 2 R
La solucin de la EDP para cada n, ser de la forma

un (t; x) = Fn (t) Gn (x) = an cos
n c
n c
t + bn sen
t
L
L
sen
n
x
L
con an = Cn Bn y bn = Dn Bn . Por la linealidad de la Ecuacin, cualquier combinacin lineal de

soluciones, es otra solucin, por tanto podemos considerar como solucin general a
u (t; x) =
1
X
an cos
n=1
n c
n c
t + bn sen
t
L
L
y utilizando las condiciones iniciales u (0; x) = f (x)

u (0; x) =
1
X
n=1
c SPH
an sen
n
x = f (x)
L
sen
n
x
L
62
y ut (0; x) = g (x) se obtiene

ut (t; x) =
1
X
an
n=1
ut (0; x) =
1
X
bn
n=1
bn nL c .
n c
n c
n c
n c
sen
t + bn
cos
t
L
L
L
L
sen
n
x
L
X
n c
n
n
sen
x =
cn sen
x = g (x)
L
L
L
n=1
con cn =
Como vemos las expresiones para f (x) y g (x) son desarrollos similiares y similares a los encontrados
en la ecuacin del calor.
4.3.3.
Ecuacin de Laplace
La ecuacin en derivadas parciales que vamos a tratar en esta seccin es la llamada ecuacin de
Laplace que en dos dimensiones tiene la forma
uxx + uyy = 0
(4.22)
Se utilizan las variables espaciales para indicar que mientras que en las ecuaciones de calor y onda
representan modelos fsicos que cambian con el tiempo, la ecuacin de Laplace es esttica y representa
una condicin de equilibrio como el potencial gravitatorio o electrosttico o como la temperatura en
una seccin plana.
Esta ecuacin se plantea slo con condiciones de contorno sobre la frontera del recinto donde se
cumpla la ecuacin que tiene que tener cierta regularidad.
Estas condiciones de contorno pueden ser de dos tipos: Si R es la regin donde se cumple la ecuacin
4.22, podemos suponer que u (x; y) es concida en todos los puntos de la frontera de R (condicin de
tipo Dirichlet) o por el contrario podemos suponer que conocemos el vector normal a R en la frontera
(condicin de Neumann).
La geometra de R es muy importante y slo podemos calcular soluciones si tienen ciertas condiciones de regularidad.
Supongamos, por ejemplo, que el recinto es una rectngulo de lados a y b, es decir, sea R =
[0; a] [0; b] y que tenemos el problema de Laplace siguiente
8
uxx + uyy = 0
0 x a 0 y b
>
>
>
>
>
>
>
>
< u (x; 0) = u (x; b) = 0 0 x a
>
>
>
>
>
>
>
>
:
u (0; y) = 0
u (a; y) = f (y)
En este caso todas las condiciones son condiciones de contorno.

Utilizamos de nuevo el mtodo de separacin de variables, suponiendo que la solucin u (t; x) puede
ponerse como
u (x; y) = F (x) G (y)
por tanto
uxx = F 00 (x) G (y)
uyy = F (x) G00 (y)
c SPH
63
y sustituyendo en la ecuacin de Laplace 4.22

uxx + uyy = 0 , F 00 (x) G (y) + F (x) G00 (y) = 0
y supondremos que F (x) 6= 0 y G (y) 6= 0, por tanto
F 00 (x)
=
F (x)
G00 (y)
G (y)
F 00 (x)
=
F (x)
con
G00 (y)
=
G (y)
(4.23)
2 R.
F 00 (x)
F (x) = 0
G00 (y) + G (y) = 0

Las condiciones de contorno seran
u (x; 0) = F (x) G (0) = 0
u (x; b) = F (x) G (b) = 0
como x es arbitraria se deduce que
G (0) = G (b) = 0
La funcin G (y) se obtiene resolviendo el problema de contorno
8 00
< G (y) + G (y) = 0
G (0) = 0
:
G (b) = 0
que es el mismo problema de contorno que se obtuvo para la ecuacin del calor (salvo el nombre de la
variable), por tanto, si queremos una solucin no trivial (no idnticamente nula) los valores para y
G (y) seran
n2 2
n
y
y G (y) = Bn sen
n =
2
b
b
Para estos valores n y utilizando la otra ecuacin diferencial
F 00 (x)
n2 2
F (x) = 0
b2

Fn (x) = Cn e(
n
b
x)
+ Dn e (
n
b
x)
con Cn ; Dn 2 R
Por la condicin inicial u (0; y) = 0

u (0; y) = F (0) G (y) = 0
c SPH
64
que para y arbitraria conduce a que

F (0) = 0
y por tanto
Fn (0) = Cn + Dn = 0 ) Dn =
Cn
y la funcin Fn (x) sera

n
Fn (x) = Cn e( b x)
e(
n
b
x)
= 2Cn senh
n
x
b
La solucin de la EDP ser, para cada n, de la forma

un (x; y) = Fn (x) Gn (y) = 2Cn senh
n
n
n
n
x Bn sen
y = cn senh
x sen
y
b
b
b
b
con cn = 2Cn Bn . Por la linealidad de la Ecuacin, cualquier combinacin lineal de soluciones, es otra
solucin, por tanto podemos considerar como solucin general a
u (x; y) =
1
X
cn senh
n=1
n
n
x sen
y
b
b
y utilizando la ltima condicin de contorno u (a; y) = f (y)

u (a; y) =
1
X
n=1
X
n a
n
n
sen
y =
dn sen
y = f (y)
cn senh
b
b
b
n=1
de nuevo un desarrollo similiar a las ecuaciones previas del calor y de onda.
4.4.
Series de Fourier
Los problemas de la seccin anterior nos plantean la cuestin de si cualquier funcin f (x) de una
variable pude desarrollarse como en las soluciones obtenidas, en trminos de la funcin trigonomtrica
sen ( ).
Denicin 4.7 Sea f (x) una funcin real peridica de periodo T = 2L, es decir,
f (x) = f (x + 2T )
8x 2 R
entonces denimos los coecientes de Fourier de f (x) a los siguientes valores

1
an =
L
1
bn =
L
f (x) cos
L
L
f (x) sen
L
n
x dx;
L
n
x dx;
L
n = 0; 1; 2; : : :
n = 1; 2; : : :
y se denomina serie de Fourier de f (x) a la siguiente serie funcional

Sf (x) =
a0 X
n
n
+
an cos
x + bn sen
x
2
L
L
n=1
c SPH
4.4. Series de Fourier
65
Ejemplo 4.12 Para encontrar la serie de Fourier de la funcin

8
x 2 [ 1; 0)
< 0
f (x) =
:
1
x 2 [0; 1]
Solucin: En este caso T = 2 y L = 1. Aplicando directamente la denicin de an y bn obtendremos

para n = 0
Z 1
Z
Z 0
Z 1
Z 0
1 1
a0 =
1dx = 1
f (x) dx =
f (x) dx +
f (x) dx =
0dx +
1 1
0
1
0
1
mientras que para n 1
Z 1
1
an =
cos (n x) dx =
sen (n x)
n
0
bn =
1
cos (n x)
n
sen (n x) dx =
x=1
x=0
x=1
=
x=0
1
=
(cos (0)
n
Por tanto la serie de Fourier asociada a f (x) sera

1 X
2
Sf (x) = +
2
(2n 1)
1
(sen (n )
n
sen (0)) = 0
1
cos (n )) =
(1
n
sen ((2n
( 1)n ) =
8
< 0
:
2
n
n par
n impar
1) x)
n=1
La siguiente pregunta que deberamos hacernos es cundo es posible identicar la funcin f (x)
con su serie de Fourier?, es decir, cundo ocurre que Sf (x) = f (x)?
Teorema 4.2 Si f : R ! R, es una funcin 2Lperidica, de manera que tanto f (x) y f 0 (x) son
continuas a trozos, entonces la serie dada por
1
n
n
a0 X
an cos
+
x + bn sen
x
Sf (x) =
2
L
L
n=1
cumple 8x0 2 R
l m Sf (x) =
x!x0
1
f x+
0 + f x0
2
siendo f x+
0 y f x0 los correspondientes lmites laterales de f (x) en x0 .
Obviamente si f (x) es continua en x0 , entonces
f x+
0 = f x0 = f (x0 ) ) l m Sf (x) = f (x0 )
x!x0
Ejemplo 4.13 Podemos comprobar que en el ejemplo anterior se cumple que en el punto de discontinuidad x = 0 ocurre
1 X
1
1
Sf (0) = +
sen ((2n 1) 0) =
2
(2n 1)
2
n=1
y los lmites laterales

9
f (0+ ) = l m f (x) = l m 1 = 1 >
+
+
=
x!0
x!0
>
f (0 ) = l m f (x) = l m 0 = 0 ;
x!0
c SPH
x!0
1
f 0+ + f 0
2
1
1
(1 + 0) =
2
2
66
Es posible comprobar tambin que

l m Sf (x) =
1
2
l m Sf (x) =
1
2
x!1
x! 1
4.4.1.
Funciones pares e impares
La serie de Fourier de una funcin f (x) se simplica en el caso de que la funcin sea par o impar.
1. Caso I: f (x) es par.
Si f (x) es una funcin par, entonces
f ( x) = f (x)
8x 2 R
y los coecientes de Fourier seran: Para a0

Z
1
a0 =
L
1
f (x) dx =
L
L
y haciendo el cambio de variable y =

Z
f (x) dx +
L
f (x) dx =
L
f (x) dx
f ( y) ( dy) =
1
a0 =
L
x en la primera integral
luego
f (y) dy +
f (y) dy
2
=
L
f (x) dx
f (x) dx
Para n 1, y puesto que cos ( ) es una funcin par y por tanto f (x) cos
par obtendramos
1
an =
L
n
2
f (x) cos
x dx =
L
L
L
f (x) cos
mientras que como sen ( ) es una funcin impar y por tanto f (x) sen
1
bn =
L
f (x) sen
L
n
L
x sera una funcin
n
x dx
L
n
L
x tambin lo sera
n
x dx = 0
L
y la serie de Fourier para f (x) peridica y par sera

Sf (x) =
a0 X
n
+
an cos
x
2
L
n=1
2. Caso II: f (x) es impar.

Si f (x) es una funcin impar, entonces
f ( x) =
f (x)
8x 2 R
c SPH
4.4. Series de Fourier
67
y los coecientes de Fourier seran: Para a0

Z
1
1 L
f (x) dx =
a0 =
L L
L
f (x) dx +
L
f (x) dx
y haciendo el cambio de variable y = x en la primera integral

Z 0
Z 0
Z L
f (x) dx =
f ( y) ( dy) =
f (y) dy
L
luego
1
a0 =
L
f (y) dy +
f (x) dx
=0
Para n 1, y puesto que cos ( ) es una funcin par y por tanto f (x) cos
impar obtendramos
Z
1 L
n
an =
f (x) cos
x dx = 0
L L
L
n
L
mientras que como sen ( ) es una funcin impar y por tanto f (x) sen
x sera par
1
bn =
L
n
2
x dx =
f (x) sen
L
L
L
f (x) sen
n
L
x sera una funcin
n
x dx
L
y la serie de Fourier para f (x) peridica e impar sera

Sf (x) =
1
X
bn sen
n=1
n
x
L
que es similar a los obtenidos mediante separacin de variables para los problemas del calor,
onda y Laplace vistos en la seccin anterior.
4.4.2.
Aplicacin a la ecuacin del Calor
Consideremos el problema del calor

8
ut = 2 uxx
t>0
x 2 (0; L)
<
u (0; x) = f (x)
0<x<L
:
u (t; 0) = u (t; L) = 0
t>0
cuya solucin general hemos encontrado
u (t; x) =
1
X
cn sen
n=1
siendo
u (0; x) =
1
X
n=1
cn sen
n
x e
L
2 n2 2
t
L2
n
x = f (x)
L
Por tanto si consideramos a f (x) como una funcin impar, 2Lperidica

Z
2 L
n
cn =
x dx
f (x) sen
L 0
L
c SPH
68
y la ecuacin general sera

u (t; x) =
1
X
2
L
n=1
2 n2 2
t
L2
n
n
s ds sen
x e
L
L
f (s) sen
(4.24)
donde hemos cambiado la variable de integracin para evitar confusiones con la variable independiente
de la funcin u.
Se dice que la expresin 4.24 es la solucin formal porque no podemos asegurar que sea una
verdadera solucin, es decir, que f (x) pueda representarse mediante una serie trigonomtrica.
Por otra parte, aunque la linealidad garantiza que una combinacin lineal nita de soluciones, es
solucin, nuestra combinacin lineal es innita, por lo que tendramos que comprobar que efectivamente
es solucin (derivando 2 veces y sustituyendo en la ecuacin correspondiente), y este es un proceso
difcil, aunque en nuestro caso se garantiza por la presencia del trmino exponencial en la solucin
2 n2 2
t
L2
formal, ya que si n ! 1, entonces e
! 0.
Cualitativamente la ecuacin describe un proceso de difusin del calor a travs de la barra, la barra
disipa calor convergiendo a 0 y suavizando cualquier irregularidad que f (x) pueda tener. Aplicamos
este anlisis a un ejemplo concreto. Supongamos una barra de aluminio ( 2 = 0;86) de 10 centmetros
de longitud y con una temperatura inicial de 100o C. La evolucin de la temperatura con el tiempo,
ser, para u (0; x) = 100
u (t; x) =
1
X
2
10
n=1
10
100 sen
n
n
s ds sen
x e
10
10
0;86n2 2
t
100
y calculando la integral
Z
10
100 sen
n
s ds =
10
100 cos
n
10
s
10
n
10
=
0
1000
(cos (0)
n
cos (n )) =
1000
(1
n
( 1)n )
sustituyendo obtendremos el valor de u (t; x)

u (t; x) =
1
X
( 1)n )
200 (1
n=1
sen
n
x e
10
0;86n2 2
t
100
o teniendo en cuenta que slo los trminos impares son no nulos, ya que (1
u (t; x) =
1
X
n=1
400
(2n 1)
sen
(2n
1)
10
x e
( 1)n ) = 0 para n par
0;86(2n 1)2 2
t
100
c SPH

Guia Edp

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Guia Edp

Diunggah oleh

Hak Cipta:

Format Tersedia

Captulo 4

Ecuaciones en Derivadas Parciales

Introduccin a las ecuaciones en derivadas parciales

Denicin 4.1 Se llama ecuacin diferencial en derivadas parciales o abreviadamente ecuacin en

donde n > 1, (x1 ; : : : ; xn ) 2 , son las variables independientes y u

Para los casos n = 2 y n = 3 utilizaremos la siguiente notacin:

Para problemas espaciales

Captulo 4. Ecuaciones en Derivadas Parciales

Ejemplo 4.1 A continuacin se introducen alguna EDP y se indica su correspondiente orden:

Observacin 4.1 Por su dicultad no estudiaremos sistemas de EDP.

Algunos mtodos sencillos para resolver una EDP

4.1. Introduccin a las ecuaciones en derivadas parciales

Captulo 4. Ecuaciones en Derivadas Parciales

En trminos de las nuevas variables ( ; ) la EDP es

y por tanto constante en . Deshaciendo el cambio

y ser solucin cualquier funcin derivable evaluada en x + y, por ejemplo

4.1. Introduccin a las ecuaciones en derivadas parciales

(x; y) = F (k) (x) G(n

se denomina constante de separacin. Obtenemos dos ecuaciones diferenciales ordiF 00 (x)

que se pueden resolver de forma independiente. Segn el valor de , obtenemos:

con c1 ; c2 ; c3 2 R, constantes arbitrarias. La funcin u (x; y) sera

Captulo 4. Ecuaciones en Derivadas Parciales

es positivo, podemos suponer que

y las ecuaciones sern

G (y) = 0 ) 4G0 (y)

Como en el caso anterior y debido a que

es negativo, en este caso podemos suponer que

y las ecuaciones sern

G (y) = 0 ) 4G0 (y) +

Como antes, la primera de estas ecuaciones es de segundo orden y su solucin, utilizando el

La funcin u (x; y) es de la forma

4.2. Ecuaciones lineales de orden 2

La ecuacin ut = uxx (ecuacin del calor) representa el comportamiento de la variacin de temperatura

Ecuaciones lineales de orden 2

Las EDP, al igual que las EDO, se clasican en lineales y no lineales.

la ecuacin lineal se dice homognea, siendo no homognea caso contrario.

Captulo 4. Ecuaciones en Derivadas Parciales

Ejemplo 4.8 Las siguientes ecuaciones son lineales

siendo la primera de ellas homognea y la segunda no homognea.

Ecuaciones lineales de orden 2

Una ecuacin lineal de 2o orden es de la forma

R ! R, son funciones sucientemente regulares.

Tipos de EDP lineales de 2o orden

, entonces la EDP en dicho

4A (x0 ; y0 ) C (x0 ; y0 ) > 0

4A (x0 ; y0 ) C (x0 ; y0 ) < 0

se cumple que la ecuacin es

4.2. Ecuaciones lineales de orden 2

wss + wtt + w = ' (s; t)

wtt + w = ' (s; t)

wss + w = ' (s; t)

donde es una constante que puede tomar los valores

1, 0 o 1, y ' (s; t) es una funcin cualquiera

Paso a la forma cannica

Captulo 4. Ecuaciones en Derivadas Parciales

(y tenienndo en cuenta tambin que uxy = uyx )

4.2. Ecuaciones lineales de orden 2

y por tanto si J 6= 0, el carcter de la ecuacin (hiperblica, parablica o elptica) se conserva para

= cte:, en ese caso

y la ecuacin 4.9 se transforma en

que es una ecuacin de segundo grado en

cuyas races son

Captulo 4. Ecuaciones en Derivadas Parciales