MTODO DE SEPARACIN DE VARIABLES
Es un mtodo muy eficiente para resolver problemas de ecuaciones diferenciales
parciales
u ( x, t )
Sea
una solucin de una ecuacin diferencial parcial que es igual a la
n 1, 2,3, 4,5....
u ( x, t ) n
combinacin lineal de
, siendo
Entonces la solucin componente se escribir con sus variables separables
u ( x, t ) n X n ( x)Tn (t )
Con esto se puede ilustrar la ecuacin del calor y de la onda.
Sea:
utt cu xx donde x 0, l , t 0
u (0, t ) u (0, l ) 0 , t 0
u (0, t ) f ( x) , x 0, l
Solucin:
Aplicamos el mtodo de separacin de variables.
u ( x, t ) X ( x)T (t )
(1)
u ( x, t )
Luego derivamos
X yT
para obtener
u xx ( x, t ) X " ( x)T (t )
ut ( x, t ) X ( x)T ' (t )
Y
Luego al sustituir en
se obtiene:
X ( x )T ` (t ) cX " ( x )T (t )
Al separar variables tenemos:
T ' (t ) X " ( x )
T (t ) X ( x )
Estos deben ser constantes:
T ' (t )
k
T (t )
X " ( x)
k
X ( x)
(2)
Ahora se ha reducido el problema a dos ecuaciones diferenciales ordinarias
T ' (t ) kT (t ) 0
X " ( x) kX ( x) 0
u (0, t ) u (0, l ) 0
Ahora nos fijamos en las condiciones de frontera
X (0)T (t ) 0
X (l )T (t ) 0
T (t ) 0
Por lo tanto
t 0
t0
para toda
u ( x, t ) 0
lo que implica que
X(0)=X(l )=0
u ( x, t ) 0
Si ignoramos la solucin trivial
, combinamos las condiciones de frontera en
x
(6) y con la ecuacin diferencial para
T ' (t ) kT (t ) 0
en (5)
, X(0)=X(L)=0
Donde k puede ser cualquier constante.
X(0)=0
Observar que la funcin
es una solucin de (7) para cada k esta puede ser a
nica solucin del problema con valores de frontera (7) si buscamos una solucin no
u ( x, t ) X ( x)T (t )
trivial
de (1) y (2) primero debemos determinar los valores de k para
los cuales el problema con valores en la frontera (7) tiene soluciones no triviales. Estos
valores particulares de k son llamados valores propios y las soluciones no triviales
correspondientes de (7) son las funciones propias. Para resolver la ecuacin (7)
utilizamos la ecuacin auxiliar.
r2 k 0
y consideramos tres casos:
k 0
Caso 1:
r k
las races de la ecuacin son
X c1e
kx
c2 e
entonces la solucin es:
kx
c1 y c2
Para hallar
apelamos a las condiciones de frontera.
X (0) c1 c2 0 X (l ) c1e
kl
c2e
kl
c1 c2
c1 (e
Entonces se nota que
kl
)0
c1 (e 2 kl 1) 0
Luego
kl
(e 2l 1) 0
k 0
como
entonces
c1 y c2
entonces
son cero por
k 0
lo tanto para
no hay soluciones no triviales.
r12 0
k B0
Caso 2 para
se tiene que
entonces la solucin ser.
X ( x ) c1 c2 x
c1 0 y
c1 c2l 0
c1 c2 0
Las condiciones de frontera implican que
k B0
As para
no hay soluciones no triviales.
r12 ki
k 0
Caso 3 para
para este caso las races de la ecuacin son
solucin de la ecuacin es:
as la
X ( x ) c1 cos k x c2 sen k x
X (0) X (l ) 0
Esta vez las condiciones de frontera
dan.
c1 0 y c1 cos kl c2 sen kl 0
c2 sen kl 0
c1 0
Como
se reduce la otra ecuacin a
c2 0
por lo tanto
kl n
sen kl 0
para el primer caso
por lo tanto la solucin no trivial
n
k
Entonces sustituyendo en la solucin.
n x
X ( x) n an sen
n
T (t )
T (t ) 0
l
'
Luego se tiene la siguiente ecuacin.
n 1, 2,3, 4,5....
Para cada
Entonces la solucin general de la ecuacin linela de primer orden es:
Tn (t ) bn e
n
t
l
Al combinar esta ecuacin con una anterior se tiene:
n x
bn e
l
u ( x, t ) n X n ( x )Tn (t ) an sen
n x
e
l
u ( x, t ) n cn sen
n
t
l
n
t
l
Ahora consideramos una suma infinita de funciones es decir.
n 1
n 1
u ( x, t ) un ( x, t ) cn e
n
t
l
n x
sen
Ahora trataremos de satisfacer la otra condicin inicial.
n x
f ( x ) y 0 x l
l
u ( x, 0) cn sen
n 1
As se ha reducido el problema de (1) y (2) de flujo de calor a determinar el desarrollo
f ( x)
de
, a forma.
n x
f ( x) cn sen
n 1
Tal desarrollo es una serie de senos de Fourier que se analizara en las dos siguientes
secciones.
SERIES DE FURIER
a, b
Definicin: una funcin continua por partes en
como una funcin
a, b
continua en cada punto en
f
que es
excepto posiblemente para un nmero infinito de
f
puntos donde tiene una discontinuidad de salto. Tales funciones son integrables en
cualquier intervalo finito donde sean continuas por partes.
Hay dos propiedades de simetra de funciones que sern tiles en el estudio de
f ( x) f ( x)
las series de Fourier. Una funcin f que satisface
para toda x en el
dominio de f tiene una grfica que es simtrica con respecto del eje y (vase la
figura 10.3(a)). Decimos que tal funcin es par. Una funcin f que satisface
f ( x) f ( x )
para toda x en el dominio de f tiene una grfica que es simtrica
con respecto del origen. Se dice que es una funcin impar.
f A A 2 f
a) Funcin par:
b) funcin impar
f A A 0
Propiedades de funciones simtricas:
Teorema 1:
a, b
f
Si
es una funcin par continua por partes en
a
1)
f ( x)dx 2 f ( x )dx
0
a, b
f
Si
, entonces.
es una funcin impar continua por partes en
, entonces.
2)
f ( x) dx 0
f ( x) f ( x)
f
Demostracin: si
es una funcin par entonces
. Por lo tanto,
f ( x )dx
a
a
f ( x )dx
a
0
f ( x )dx f ( x )dx
a
f ( x)dx
0
f ( x )dx 2
f ( x)dx
0
Serie de Fourier
T , T
f
Definicin 1: sea
una continua por partes en el intervalo
. La serie de
f
Fourier
es la serie trigonomtrica.
f ( x) :
a0
n x
n x
an cos
bn sen
2 n 1
T
T
an y bn
Donde
estn dadas por las formulas:
1 T
n x
f ( x) cos
dx,
T T
T
1 T
n x
bn f ( x)sen
dx,
T T
T
an
n 1, 2,3, 4,...
n 1, 2, 3, 4,...
Las frmulas se llaman frmulas de Euler. Usamos el smbolo ~ en para
Recordar que esta serie est asociada con pero podra no converger a tal
Regresaremos a la cuestin de convergencia posteriormente en esta seccin.
