Ecuaciones diferenciales parciales.

3. Algunos mtodos de solucin de ecuaciones diferenciales parciales (EDP)

A continuacin se listan algunos de los mtodos disponibles para la solucin de ecuaciones
diferenciales parciales. No se pretende que esta sea una lista completa, solo dar una idea de
la variedad de los mtodos existentes.

Mtodos para la solucin exacta de ecuaciones diferenciales parciales.
a. Separacin de variables. Este mtodo es conveniente si el problema tiene las
siguientes caractersticas:
- Sistema de coordenadas ortogonal
- Suficientes ecuaciones de frontera homogneas
- Dominio cerrado
b. Mtodos de transformada. Estos mtodos son convenientes para dominios
abiertos.
Dos de los mtodos ms frecuentemente usados son:
- Transformada de Laplace 0<t< (semi infinito)
- Transformada de Fourier -<x<+ (infinito)
c. Funciones de Green. Un mtodo muy til para problemas no homogneos.
d. Mtodos de similaridad

Mtodos aproximados para la solucin exacta de ecuaciones diferenciales parciales no
lineales.
a. Analticos
1. Mtodos de perturbacin (tiles si se pueden identificar
parmetros pequeos o grandes en la ecuacin diferencial o las
condiciones frontera).
2. Residuos ponderados
Colocacin ortogonal
Momentos
Galerkin
b. Numricos
1. Elemento finito
2. Diferencias finitas

4. Mtodo de separacin de variables.
Este mtodo funciona adecuadamente cuando el sistema de coordenadas es ortogonal, la es
lineal y las condiciones de frontera son homogneas. Primero se analizar la solucin de
una ecuacin diferencial elptica para mostrar los pasos principales del desarrollo. Por
simplicidad, se empezar con un problema bidimensional en coordenadas cartesianas.
Considere el siguiente problema de conduccin de calor en estado estacionario.
0
2
2
2
2
=
c
c
+
c
c
y
T
x
T
, en 0<x<l, 0<y>l (4.1)
T = T
0
, en x=0,l, para 0<y<l (4.2)
T = T
0
, en y=0, para 0<x<l (4.3)
T = T
1
, en y=l, para 0<x<l (4.4)
Ntese que es muy parecido al problema de enfriamiento en una aleta pero con condiciones
de frontera diferentes. Este es un problema con condiciones no-homogneas, pero tres de
ellas se pueden homogeneizar si se utiliza la siguiente variable:
0 1
0
T T
T T
u

= (4.5)
Entonces
0
2
2
2
2
=
c
c
+
c
c
Y
u
X
u
(4.6)
Sujeta a

u = 0, en X = 0,1 para 0<Y<1 (4.7)
u = 0, en Y = 0 para 0<X<1 (4.8)
u = 1, en Y = 1 para 0<X<1 (4.9)
Se introdujeron las siguientes coordenadas adimensionales
l
y
Y
l
x
X
=
=
(4.10)
Se tratar de buscar soluciones de la forma
) ( ) ( ) , ( Y G X F Y X u = (4.11)
Sustituyendo la ecuacin (4.11) en (4.6) se puede obtener
0
1 1
2
2
2
2
= +
dY
G d
G dX
F d
F
(4.12)
Puesto que el miembro derecho e izquierdo son funciones de diferente variable
independiente, la igualdad slo se puede satisfacer si los dos miembros son igual a la
misma constante. Si la constante la denominamos
2
entonces
2
2
2
2
2
1 1
= =
dY
G d
G dX
F d
F
(4.13)
El signo es cuestin de conveniencia. Se podra haber seleccionado +
2
, lo cual no
modificar el resultado final. Sin embargo, los valores de seran imaginarios. Resolviendo
las ecuaciones (4.13) se encuentra
) cosh( ) ( ) (
) cos( ) ( ) (
Y D Y Csenh Y G
X B X Asen X F


+ =
+ =
(4.14)
Ahora se encontrarn las condiciones de frontera por medio de la sustitucin de la ecuacin
(4.11) en las ecuaciones (4.7), (4.8) y (4.9) da:
Homognea F(0)G(Y) = 0 entonces F(0)=0 separable
Homognea F(1)G(Y) = 0 entonces F(1)=0 separable
Homognea F(X)G(0) = 0 entonces G(0)=0 separable
No-homognea F(X)G(1) = 0 no separable
En la direccin X hay dos condiciones de frontera homogneas, y en Y solo una,
posteriormente se ver la consecuencia de esto. Usando las condiciones de frontera en la
direccin X:
0 ) ( ) 1 (
0 ) 0 (
) cos( ) ( ) (
= =
= =
+ =

Asen F
B F
X B X Asen X F

Esta ltima ecuacin se cumplir cuando A=0, sen()=0. Si A=0, entonces F=0, que es la
solucin trivial. Por lo tanto,
sen()=0 (4.15)
Esta es la condicin para obtener los valores propios, la cual se satisface si

n
=n, para n =1,2,3,,
Estos son los valores propios. El valor n=0 tambin es un valor propio, pero da lugar a la
solucin trivial. Si hubiramos seleccionado +
2
como la constante de separacin entonces
la solucin para F sera
F = A senh(X)
y la condicin para los valores propios
senh(
n
)=0 en donde
n
= i n , para n=1,2,3,,
Pero puesto que senh(iX) =sen(X) la solucin final sera idntica.
Para cada n hay una funcin propia, as
F
n
(X) = A
n
sen(
n
X), en donde
n
= n, para n = 1,2,3,, (4.16)
Para el problema de G sabemos que G(0)=0, por lo tanto
G(0)=0=D
Que permite reducir (4.14b) a
G
n
(Y)=C
n
senh(
n
Y), en donde
n
= n, para n = 1,2,3,, (4.17)
Las ecuaciones (4.1) y (4.17) indican que hay n soluciones del tipo propuesto en la
ecuacin (4.11), por ello
U
n
(X,Y) = F
n
(X)G
n
(Y)
U
n
(X,Y) = A
n
C
n
sen(
n
X)senh(
n
Y)

U
n
(X,Y) = a
n
sen(
n
X)senh(
n
Y),
n
= n, n= 1,2,3, (4.18)
La solucin general es la suma de todas las soluciones particulares

=
=
1
) ( ) ( ) , (
n
n n n
Y senh X sen a Y X U (4.19)
Para evaluar el coeficiente a
n
, se utiliza la condicin de frontera en Y = 1, dado por la
ecuacin (4.9), de tal forma que:

=
= =
1
) ( ) ( 1 ) , (
n
n n n
senh X sen a Y X U (4.20)
La cual es la expansin de 1 en trminos de las funciones propias sen(
n
X). Los
coeficientes de expansin son a
n
senh(
n
). Se puede probar que las funciones propias son
ortogonales, as
m n si dX X sen X sen
m n
= =
}
, 0 ) ( ) (
1
0
(4.21)
Que es una consecuencia directa de la condicin para los valores propios. Esto puede
lograrse considerando la integral
,
) ( 2
) (
) ( 2
) (
) ( ) (
1
0
1
0
1
0
n m
n m
n m
n m
m n nm
X sen X sen
dX X sen X sen I





+

= =
}
en donde
m

n
Desarrollando el trmino
0
) cos( ) (
) (
) (
1
0
1
0
=

n m
n m
n m
n m
X X sen X sen




, puesto que sen(
m
)=0
0
) ( ) cos(
1
0
=

n m
m n
X den X


, puesto que sen(
n
)=0
Ntese que la condicin para los valores propios hace que las funciones propias sean
ortogonales
}
= =
1
0
0 ) ( ) ( dX X sen X sen I
m n mn
,
n

m
(4.22)
Pero adems
1
0
1
0
2
) 2 (
4
1
2
1
) (
(

= =
}
X sen X dX X sen I
n n nn


I
nn
=1/2 (4.23)
La ortogonalidad de las funciones propias dada por la ec. (4.22) puede usarse para evaluar
los coeficientes de la ec. (4.20)

=
=
1
)] ( )] ( [ 1
n
n n n
senh X sen a
multiplicando por sen(
m
X) e integrando de 0 a 1

} }

=
=
1
1
0
1
0
) ( ) ( ) ( ) (
n
m n n n n
dX X sen X sen senh a dX X sen
Esta se reduce a lo siguiente debido a la condicin de ortogonalidad dada por la ecuacin
(4.22).
) (
2
1
) (
1
0
n n n
senh a dX X sen =
}


) (
)] cos( 1 [ 2
n n
n
n
senh
a


= ,
n
=n, n = 1,2,3, (4.24)
El resultado fina es:

=
1
) ( ) (
) (
)] cos( 1 [ 2
) , (
n
Y n senh X n sen
n senh n
n
Y X U t t
t t
t
(4.25)
A continuacin se muestra, en forma grfica, el efecto del nmero de trminos en la
evaluacin de la solucin dada por la ec. (4.25)

















Figura 5. Efecto del nmero de trminos en la evaluacin de la solucin para diferentes
trminos de la seria (a) 1, (b) 5, (c) 10, (d) 50, (e) 100 y (f) 200.


5. Teora de Sturm-Liouville. Funciones ortogonales y problemas de valor en la
frontera
Los problemas que se formulan en sistemas de coordenadas ortogonales son factibles de
separacin. O sea la solucin puede escribirse como resultado de la separacin de la
siguiente manera
u(x
1
,x
2
,x
3
) = F
1
(x
1
)F
2
(x
2
)F
3
(x
3
) (5.1)
Esto genera ecuaciones diferenciales para cada una de las funciones F
1
(x
1
), F
2
(x
2
), F
3
(x
3
) en
trminos de las constantes de separacin, . Las ecuaciones son de la forma
| | 0 ) ( ) ( ) ( = + +
(

y x w x q
dx
dy
x p
dx
d
(5.2)
En donde x representa cualquiera de las tres coordenadas x
1
, x
2
, x
3
y y la correspondiente
F
1
(x
1
), F
2
(x
2
) F
3
(x
3
). La constante de separacin es y p(x), q(x), w(x) toman diferentes
formas funcionales dependiendo del sistema coordenado. Este se muestra mejor en los dos
siguientes ejemplos:

*************************************************************************

*************************************************************************
Los ejemplos anteriores muestran que las ecuaciones ordinarias obtenidas por el mtodo de
separacin de variables son de la forma mostrada por la ecuacin (5.2).
Las condiciones de frontera que se generan en la direccin x pueden ser muchas formas, sin
embargo, frecuentemente ellas son homogneas o peridicas. Esto en el sentido que se
discutir a continuacin. Supondremos que a y b son los lmites de integracin a lo largo
del eje coordenado x, y que las condiciones de frontera que debe satisfacer la solucin de la
ecuacin (5.2) son las siguientes
0 ) ( ' ) (
2 1
= a y a a y a (5.3)
0 ) ( ' ) (
2 1
= b y b b y b (5.3b)
Estas son condiciones homogneas mixtas o del tipo de Cauchy. Ya anteriormente vimos
que al tener un problema condiciones homogneas, se genera un nmero infinito de
soluciones (funciones propias) y
1
, y
2
, y
3
, que corresponden a los valores propios
1
,
2
,

3
, Algunas veces las condiciones son peridicas, como ejemplo
) ( ) ( b y a y = (5.4)
) ( ' ) ( ) ( ' ) ( b y b r a y a r = (5.4b)
Note que el que r(a)=r(b), implica que la funcin y(x) y su primera derivada y(x) vale lo
mismo en a y b.
Lo que pretendemos ahora es demostrar que las funciones propias, soluciones de la
ecuacin diferencial ordinaria de la forma mostrada por la ecuacin (5.2), con condiciones
de frontera homogneas o peridicas, son ortogonales con respecto a la funcin de
ponderacin w(x). Es decir
0 ) ( ) ( ) ( =
}
b
a
m n
dx x y x y x w , para n m (5.5)
Veremos que esta propiedad es generada directamente de la forma de las condiciones de
frontera. Si probamos lo anterior en general, en adelante, podremos despus de observar la
ecuacin diferencial ordinaria y las condiciones de frontera, decidir si las soluciones son
ortogonales o no. De esta forma no tendremos que analizar la posible ortogonalidad de las
funciones generadas en cada caso particular. El problema de valor en la frontera definido
por ecuaciones de la forma (5.2), con condiciones de frontera del tipo (5.3) (5.4) se
conoce como problema de Sturm-Liouville.
Para lograr la demostracin pretendida consideramos las ecuaciones diferenciales asociadas
con las funciones propias y
n
, y y
m
correspondientes a dos valores propios diferentes
n
y
m
:
| | 0 ) ( ) ( ) ( = + +
(

n n
n
y x w x q
dx
dy
x p
dx
d
(5.6)
| | 0 ) ( ) ( ) ( = + +
(

m m
m
y x w x q
dx
dy
x p
dx
d
(5.6b)
Ahora se multiplicar la primera de ellas por y
m
, y se le restar la segunda multiplicada por
y
n
, para obtener
(

=
dx
dy
x p
dx
d
y
dx
dy
x p
dx
d
y w y y
n
m
m
n m n m n
) ( ) ( ) (
Ahora procedemos a la integracin de este resultado entre a y b para obtener
dx
dx
dy
x p
dx
d
y
dx
dy
x p
dx
d
y dx w y y
b
a
n
m
m
n
b
a
m n m n
} }
)
`

= ) ( ) ( ) (
El miembro derecho de esta ecuacin es integrado por partes para obtener
dx
dx
dy
dx
dy
x p
dx
dy
x p y dx
dx
dy
dx
dy
x p
dx
dy
x p y dx w y y
b
a
n m
b
a
n
m
b
a
m n
b
a
m
n
b
a
m n m n
} } }
+ = ) ( ) ( ) ( ) ( ) (
Que puede fcilmente a
(

+
(

=
}
a
m
n
a
a
m
b
n
m
b
m
n
b
a
m n m n
dx
dy
a y
dx
dy
a y a p
dx
dy
b y
dx
dy
b y b p dx w y y ) ( ) ( ) ( ) ( ) ( ) ( ) (
(5.7)
Podemos observar que si las condiciones son peridicas como se estableci en las
ecuaciones (5.4), el miembro derecho de la ecuacin (5.7) ser idntico a cero siempre y
cuando
p(a) = p(b)
Como conclusin la ecuacin (5.5) es satisfecha.
Para el caso en que las ecuaciones de frontera son homogneas, como se muestra en la
ecuacin (5.3) podemos obtener
y
m
(a)=(a
1
/a
2
)y
m
(a); y
n
(a)=(a
1
/a
2
)y
n
(a) (5.8)
y
m
(b)=(b
1
/b
2
)y
m
(b); y
n
(b)=(b
1
/b
2
)y
n
(b) (5.8b)
La sustitucin de estas en el miembro derecho de la ecuacin (5.7) demuestra una vez ms
que la ecuacin (5.5) se satisface. Podemos entonces concluir que las funciones propias
generadas de cualquier problema de Sturm-Liouville son ortogonales con respecto a w(x).
Note que cuando p(a)=p(b)=0, es suficiente que y y y sea finitas en las fronteras para que
las soluciones de la ecuacin (5.2) sean ortogonales. Podemos entonces adicionar esta
condicin como otras de las posibles ara obtener u problema de Sturm-Liouville
y(a), y(a); y(b), y(b) finitas con p(a) = p(b) = 0 (5.9)
El valor de la integral definida por la ecuacin (5.5) no es cero cuado n = m
n
b
a
n
g dx x y x w =
}
) ( ) (
2
(5.10)
Podemos hacer las funciones ortogonales de la siguiente forma
n
n
n
g
x y
x Y
) (
) ( = (5.11)
Por lo tanto la condicin de ortogonalidad se transforma a

=
=
=
}
m n para
m n para
dx x Y x Y x w
b
a
m n
, 1
, 0
) ( ) ( ) ( (5.12)
Cualquier funcin puede ser expandida en trminos de las funciones propias, por ejemplo la
funcin f(x)

=
=
1
) ( ) (
n
n n
x Y A x f
Los coeficientes pueden obtenerse usando la propiedad de ortogonalidad. Multiplicando,
ambos miembros de la ecuacin (5.12) por w(x)Y
m
(x) e integrando
n
n
n
n
b
a
m n n
b
a
m
A
m n para
m n para
A dx x Y x Y x w A dx x Y x f x w =

=
=
= =

} }

=

=
, 1
, 0
) ( ) ( ) ( ) ( ) ( ) (
1 1

O sea las constantes de la expansin en series son
}
=
b
a
m n
dx x Y x f x w A ) ( ) ( ) (
Para finalizar esta seccin comentaremos que las series de Fourier del seno y coseno son
un caso especial de funciones propias generadas por el problema definido por la ecuacin
diferencial
t t + < < = + x y
dx
y d
, 0
2
2
2
(5.13)
sujeta a las condiciones de frontera
y(-) = y() = 0 (5.14)
y(-) = y() = 0 (5.15)
Generando soluciones de la forma
) cos( ) ( ) ( x n b x n sen a x y
n n n
t t + = , para n = 1, 2, 3, (5.16)

6. El problema de la aleta de enfriamiento en dos dimensiones: solucin por el
mtodo de separacin de variables.
Ahora podemos volver al problema de transferencia de calor y tratar de resolverlo como
originalmente se plante. O sea
0
2
2
2
2
=
c
c
+
c
c
y
T
x
T
(6.1)
Sujeta a
En y = 0, T = T
w
(6.2)
En y=L, q . n = 0 0 =
c
c
y
T
(6.3)
En x = +-B, q . n = h(T- T
a
) ) (
a
T T h
x
T
=
c
c
(6.4)
Introducimos ahora las siguientes variables adimensionales
En
B
y
Y
B
x
X
T T
T T
u
a w
a
= =

= , , (6.5)
De tal manera que el problema toma ahora la forma
0
2
2
2
2
=
c
c
+
c
c
Y
T
X
T
(6.6)
en Y = 0, u = 1 (6.7)
en 0 , =
c
c
= =
Y
u
B
L
r Y (6.8)
en u N
X
u
X
Bi
=
c
c
= , 1 (6.9)
En esta ltima hemos definido el nmero de Biot como
k
hB
N
Bi
= (6.10)
Ahora procedemos a la solucin de (6.6) por el mtodo de separacin de variables. Se
propone
u(X,Y) =F(X)G(Y) (6.11)
La sustitucin de (6.11) en (6.6) da
0
1 1
2
2
2
2
= +
dY
G d
G dX
F d
F


2
2
2
2
2
1 1
= =
dY
G d
G dX
F d
F
(6.12)
Ntese que el signo en la separacin se ha seleccionado de esta forma por que las dos
condiciones de frontera en X son homogneas. La solucin de las ecuaciones diferenciales
ordinarias en (6.12) es
) cos( ) ( ) ( X E X Asen X F + = (6.13)
) cosh( ) ( ) ( Y D Y Csenh Y G + = (6.14)
Las condiciones homogneas en X permiten encontrar
En F N
dX
dF
X
Bi
= = , 1 (6.15)
Utilizando ests condiciones para evaluar las constantes de F(X), dada por la ecuacin
(6.13), cuya derivada es
| | ) ( ) cos( X Esen X A
dX
dF
= (6.16)
Sustituyendo (6.13) y (