SERIES DE FOURIER Y TRANSFORMADA DE LAPLACE CON ECUACIONES

DIFERENCIALES PARCIALES
SANDRA PATRICIA CABRERA SALAMANCA 2033501
CRISTHIAN CAMILO CARDENAS CAICEDO 2043073
LILIANA SOFIA GOMEZ RODRIGUEZ 2043079
LINA JULIANA GONZALEZ RECALDE 2043075
HARVEY STEVE ROJAS AVILA 2043263
Presentado a:
Ing. LUIS ENRIQUE FUENTES
UNIVERSIDAD INDUSTRIAL DE SANTENDER
METODOS DE INGENIERIA QUIMICA II - O1
ESCUELA DE INGENIERIA QUIMICA
BUCARAMANGA
AGOSTO, 2007
INTRODUCCION
Muchos fenmenos aplicados en las ciencias ingenieriles por naturaleza son peridicos, por
ejemplo el movimiento de los planetas alrededor del sol, las mareas en el ocano, el
movimiento de un pndulo en un reloj, los voltajes y corrientes en redes elctricas, entre otros.
Las series de Fourier y la Transformada de Laplace son dos de las herramientas matemticas
mas utilizadas para resolver y comprender estos fenmenos. El tema central de la teora de las
Series de Fourier es examinar y determinar las condiciones bajo las cuales una funcin
peridica puede ser descrita como una combinacin lineal de las funciones elementales seno y
coseno. El uso de la Transformada de Laplace ayuda a simplificar el proceso para resolver
problemas con valores iniciales para ciertas ecuaciones diferenciales mucho ms generales
que las que se resuelven por series de Fourier.
SERIES DE FOURIER
Se analizara la teora de las series de Fourier, que trabajan con desarrollos en series
trigonomtricas. Sin embargo primero revisremos algunas propiedades de funciones,
particularmente importantes para el estudio de la continuidad por partes, la periocidad y la
simetra par e impar.
Se defini una funcin continua por partes en [a, b] como una funcin f que es continua en
cada punto [a, b], excepto posiblemente para un numero finito de puntos donde f tiene una
discontinuidad de salto. Tales funcione son integrables en cualquier intervalo finito donde sean
continuas por partes.
Recuerde tambin que una funcin es peridica con periodo T si f(x+T)=f(x) para todo x en el
dominio de f. el menor valor positivo de T se llama el periodo fundamental. Las funciones
trigonomtrica sen x cos x son ejemplos de funciones peridicas, con periodo fundamental 2

y tan x es peridica con periodo fundamental

. Una funcin constante es una funcin

peridica con periodo arbitrario T. hay dos propiedades de simetra de funciones que sern
tiles en el estudio de las series de Fourier. Una funcin f que satisface f (-x)=f(x) para toda x
en el dominio de f tiene una grafica simtrica con respecto del eje (ver figura 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 grafica que es simtrica con respecto del origen (ver figura b). Se dice que es una funcin
impar. Las funciones 1,
2 4
, ,... x x son ejemplos de funciones pares, mientras que las funciones
3 5
, , ... x x x son ejemplos de funciones impares. Las funciones trigonomtricas senx y tan x
son funciones impares y cos x es una funcin par.

Figura a Figura b



FUNCION PAR FUNCION IMPAR
0
2
a a
a
f A A f

+


0
a
a
f A A

Ejemplo 1. DETERMINAR SI LA FUNCION DADA ES PAR, IMPAR, O NINGUNA DE LAS

DOS.
a.
2
( ) 1 f x X +
b.
1
3
( ) g X x senx
c. ( )
x
h x e
Solucin
(a)Como ( ) ( ) ( ), 1 1
2 2
x f x x x f + + entonces ) (x f es una funcin par.
(b)Como
( ) ( ) ( ) ( ),
3
1
3
1
3
1
x g senx x senx x x sen x x g
,
_

+ tenemos que
( ) x g es una funcin impar.
(c)En este caso, ( )
x x
e e x h

solo cuando 0 x y
x
e

nunca es igual a
x
e
,
entonces ( ) x h no es una funcin par ni impar.
El hecho de saber que una funcin es par o impar puede ser de utilidad al evaluar integrales
definidas.
PROPIEDADES DE FUNCIONES SIMETRICAS
Teorema 1. Si f es una funcin par continua por partes en [ ], , a a entonces
(1)
Si
f
es una funcin impar continua por partes en [ ], , a a entonces
(2) ( ) 0

a
a
dx x f
Demostracin. Si
f
es una funcin par, entonces ( ) ( ). x f x f Por lo tanto,
( ) ( ) ( ) ( ) ( ) ( )


+ +
a
a
a
a
a a
a
dx x f dx x f du u f dx x f dx x f dx x f
0
0
0
0
0
2 , donde
se usa el cambio el cambio de variable u=-x. Esto se ilustra en la figura (a). La formula (2) se
puede demostrar con un segmento similar y se ilustra en la figura (b).
El siguiente ejemplo trata de ciertas integrales cruciales en las series de Fourier.
Ejemplo 2. Evaluar las siguientes integrales cuando m y n son enteros positivos:
(a)

T
T
dx
T
x n
T
x m
sen

cos
(b)

T
T
dx
T
x n
sen
T
x m
sen

(c)

T
T
dx
T
x n
T
x m
cos cos
Solucin
(a) Como
( )
, cos cos
) (
T
x n
T
x m
sen
T
x n
T
x m
sen



el integrando de la parte
(a) es una funcin impar. As, por el teorema 1,
(3) 0 cos

T
T
dx
T
x n
T
x m
sen

(b)Se usa el hecho de que el integrando es par y la identidad trigonometrica
2senAsenB=cos (A-B)-cos(A+B), se ve que para
, n m
( ) ( )

'
+

T
T
T
T
dx
T
x n m
T
x n m
dx
T
x n
sen
T
x m
sen
dx
T
x n
sen
T
x m
sen
0
0
cos cos
2



( ) ( )
0
0

1
1
1
1
]
1

+
+

T
n m
T
x n m
sen
n m
T
x n m
sen
T

Cuando m=n, la integral en (b) se escribe

'

,
_

,
_

T
T
T T
dx
T
x n
dx
T
x n
sen dx
T
x n
sen
0 0
2
2
cos 1 2

T
T
x n
sen
n
T
x
T

1
]
1

0
2
2

Por lo tanto,
(4) {

T
T
n m
n m T
dx
T
x n
sen
T
x m
sen
, 0
,

El integrando de la parte (c) tambin es par y puede calcularse usando una identidad
trigonometrica similar.
(5) {

T
T
n m
n m T
dx
T
x n
T
x m
, 0
,
cos cos

Las ecuaciones (3) y (5) expresan una condicin de ortogonalidad satisfecha por el
conjunto de funciones trigonometricas ( ) ,.... 2 , 2 cos , , cos x sen x senx x , donde T .
Es fcil verificar que si cada una de las funciones
n
f f . ..........
1
es peridica con
periodo T, entonces ocurre lo mismo con cualquier combinacin lineal
( ) ( ) x f c x f c
n n
+ +.......
1 1
Por ejemplo, la suma x sen x x sen x 2 6 2 cos 4 8 cos 3 7 + + tiene periodo 2, pues
cada trmino tiene periodo 2. Adems si la serie infinita

,
_

+ +
1
0
cos
2
n
n n
T
x n
sen b
T
x n
a
a
Que consta de funciones con periodo 2T, converge para toda x, entonces la funcin a la
cual converge ser peridica con periodo 2T.
As como a cada funcin que tiene derivadas de todos los ordenes en un punto fijo se le
puede asociar una serie de Taylor, se puede identificar una serie trigonometrica particular
con una funcin continua por partes, Para ilustrar esto, se supone que
) (x f
tiene el
desarrollo en serie
(6)

'

+ +
1
0
, cos
2
) (
n
n n
T
x n
sen b
T
x n
a
a
x f

Donde an y bn son constantes.
Para determinar los coeficientes a0, a1.b1, a2,.., se procede como sigue. Se integra
) (x f
de T a T, suponiendo que se puede integrar trmino a trmino:
( )

+ +
T
T
T
T
n
T
T
n
T
T
n n
dx
T
x n
sen b dx
T
x n
a dx
a
dx x f
1 1
0
. cos
2

Como ( )
T
x n
sen

es una funcin impar ( ) 0

dx
T
x n
sen
T
T

, adems, para n=1,
2,3 es fcil verificar que ( ) 0 cos

dx
T
x n
T
T

, por lo tanto
( )



T
T
T
T
T a dx
a
dx x f
0
0
2
y entonces ( )

T
T
dx x f
T
a .
1
0
Observe que
2
0
a
es el valor promedio de
f
en un periodo 2T. A continuacin para
determinar el coeficiente de 1 cuandom a
m
, se multiplica por (6) por ( )
T
x m
cos y se
integra:
(7)
( )

+ +
T
T
T
T
n
T
T
n
T
T
n n
dx
T
x m
T
x n
sen b dx
T
x m
T
x n
a dx
T
x m a
dx
T
x m
x f
1 1
0
cos cos cos cos
2
cos

Las condiciones de ortogonalidad (3) y (5) permiten analizar fcilmente las integrales del
lado derecho. Se ha observado que

T
T
dx
T
x m
0 cos

1 m
Y por las formulas (3) y (5), se tiene

T
T
dx
T
x m
T
x N
sen 0 cos

{

T
T
n m
n m T
dx
T
x n
T
x m
, 0
,
cos cos

Por tanto, en (7) solo hay un trmino del lado derecho que sobrevive a la integracin:
( )

T
T
m
T a dx
T
x m
x f

cos
As se tiene una formula para el coeficiente
m
a
( )

T
T
m
dx
T
x m
x f
T
a

cos
1
De manera anloga al multiplicar (6) ( )
T
x m
sen

e integrar se tiene
( )

T
T
m
T b dx
T
x m
sen x f

De modo que la formula para
m
b
es
( )

T
T
m
dx
T
x m
sen x f
T
b .
1
Por los clculos anteriores se puede establecer la siguiente definicin
SERIES DE FOURIER
DEFINICION 1. Sea f una funcin continua por partes en el intervalo [-T, T]. La serie de Fourier
de f la serie trigonomtricas.
8. ( )
0
1
cos
2
n n
n
a n x n x
f x a b sen
T T

+ +
' )

:
9. ( )
1
cos , 0,1, 2, 3.....
T
n
T
n x
a f x dx n
T T

10. ( )
1
, 0,1, 2, 3.....
T
n
T
n x
b f x sen dx n
T T

Las series 9y 10 se llaman formulas de euler. Usamos el smbolo

:
en 8 para recordar que
esta serie esta asociada con ( ) f X pero podra no converger a tal ( ) f X .
Ejemplo 3. CALCULAR LA SERIE DE FOURIER DE

0, 0,
( )
, 0
X
F X
X X

,
Solucin
En este caso, T=

. Usamos las formulas 9y 10 para tener

0
1 1
( ) cos cos
n
a f x nxdx x nxdx

[ ]
2 2 0
0
1 1
cos cos
n
n
u udu u usenu
n n

[ ]
2 2 0
0
1 1
cos cos ..
n
n
u udu u usenu
n n

2
0
0
0
1 1
( )
2 2
x
a f x dx xdx

0
0
1 1
( ) b f x sennxdx xsennxdx

[ ]
2 2 0
0
1 1
cos
n
n
usenudu senu u u
n n

1
cos ( 1)
n
n
n n

+

1, 2, 3,..... n
POR TANTO
11... ( )
( )
1
2
1
1
1
( ) 1 1 cos
4
n
n
n
f X nx sennx
n n

1
+ +
' )
]

:
2 1 1
cos 3 cos5 ...
4 9 25
x COS X x

+ + +
' )

1 1
2 3 .......
2 3
senx sen x sen x

+ + +
' )

La figura c muestra algunas sumas parciales de esta serie.
Ejemplo 4. CALCULAR LA SERIE DE FOURIER
1, 0,
( ) .
1, 0
X
F X
X

,
SOLUCION
De nuevo, T=

.observe que fes una funcin impar .como el producto de una funcin impar y
una funcin par es impar, f(X) cosnx tambin es una funcin impar .as,
0
1
( ) cos 0, a f x nxdx

1, 2, 3,..... n
Adems, f(x) sennx es el producto de dos funciones impar y por tanto es una funcin par, de
modo que
0
1 2
( )
n
b f x sennxdx sennxdx

0
2 cos 2 1 ( 1)
,
n
nx
n n n

1
1

1
1
]
]
1, 2, 3,..... n
0,
4
,
n

'

n par n impar as,

12...
1
2 1 ( 1) 4 1 1
( ) 3 5 ,....
3 5
n
n
f X sennx senx sen x sen x
n

1
+ + +
' )
1
]

:
La figura d muestra algunas sumas parciales
En este ejemplo, la funcin impar f tiene una serie de Fourier que solo consta de funciones
seno. Es fcil ver que, en general, si f es cualquier funcin impar, entonces su serie de Fourier
consta nicamente de trminos seno.
Ejemplo 5. CALCULAR LA SERIE DE FOURIER DE
( ) , 1 1 f x x x < <
Solucin. En este caso, T=1. Como f es una funcin par, f(X) senn

x es una funcin impar.

Por consiguiente,
1
1
( )s 0,
n
b f x enn xdx

1, 2, 3,..... n
1 1
1
2
0
0
1 0
( ) 2 1 a f x dx xdx x

1 1
0
1 0
( ) cos 2 cos a f x n xdx x n xdx

[ ]
2 2 2 2 0
0
2 1
cos cos
n
n
u udu u usenu
n n

( )
2 2
2
cos 1 n
n

( )
2 2
2
1 1 ,
n
n
1

]
1, 2, 3,..... n
Por tanto
13... ( )
2 2
1
1 2
( ) 1 1 cos
2
n
n
f X n x
n

1
+
' )
]

:
2
1 4 1 1
cos cos3 cos 5 ,....
2 9 25
x x x

1
+ +
1
]
La figura e muestra la sumas parciales
Observe que la funcin par f del ejemplo tiene una serie de Fourier que solo consta de
funciones coseno y de la nuncio constante 1=cos0

x. en general, si f es funcin par,

entonces su serie de Fourier solo consta de funciones coseno (incluyendo cos0

x).
DESARROLLOS ORTOGONALES
Las series de Fourier son ejemplos de desarrollos. Un conjunto de funciones
{ } ( ) 1
n
n
f X


es un sistema ortogonal o simplemente ortogonal con respecto de la funcin de Ponderacin
no negativa ( ) x w en el intervalo [ ] b a, si
(14) ( ) ( ) ( )

b
a
n m
dx x w x f x f 0 siempre que . n m
Como se ha visto el conjunto de funciones trigonometricas
(15) ( ) ,..... 2 cos , 2 , , cos , 1 x x sen senx x
Es ortogonal en [ ] , , con respecto de la funcin de ponderacin ( ) 1 x w , si se define la
norma de
f
como
(16) ( ) ( )
2
1
2
1
]
1

b
a
dx x w x f f
Entonces se dice que un conjunto de funciones ( ) { } ( )
N
n n n n
x f x f
1 1
,

, es un sistema
ortogonal de ( ) x w si se cumple (14) y adems
1
n
f
para cada n. En forma equivalente,
se dice que el conjunto es un sistema ortonormal si
(17) ( ) ( ) ( ) {

b
a
n m
n m n m
dx x w x f x f
0
, 1
Siempre se puede obtener un sistema ortonormal a partir de un sistema ortogonal, dividiendo
cada funcin entre su norma. En particular como

nxdx sen nxdx

2 2
cos , n=1, 2,3
Y

2 1dx
Entonces el sistema ortogonal (15) da lugar en [ ] , , al sistema ortonormal
( ) { }. ,....... 2 , 2 cos , , cos ,
2
1
2
1
2
1
2
1
2
1
x sen x senx x

2
Si ( ) { }

1 n n
x f es un sistema ortogonal con respecto de ( ) [ ] b a en x w , , se podra preguntar si
se puede desarrollar una funcin ( ) x f en trminos de estas funciones; es decir, se puede
expresar a
f
en la forma
(18) ( ) ( ) ( ) + + + .......
2 2 1 1
x f c x f c x f
Para una eleccin adecuada de las constantes c1, c2.Tal desarrollo se llama desarrollo
ortogonal o serie de Fourier generalizada.
Para determinar las constantes en (18), se puede proceder como en la deduccin de las
formulas de Euler para los coeficientes de una serie de Fourier, utilizando ahora ortogonalidad
del sistema. Suponiendo que la representacin (18) es valida, se multiplica por
( ) ( )

b
a
m
x w x f e integra para obtener
(19)
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

+ +
b
a
b
a
b
a
n
b
a
m n n m m n m
dx x w x f x f c dx x w x f x f c dx x w x f x f c dx x w x f x f
1
2 2 1 1
. ...
Tambin se ha supuesto que se puede integrar termino a termino, como el sistema es
ortogonal con respecto de ( ) x w , cada integral del lado derecho de (19) se anula, excepto
cuando n=m. Al despejar
m
c se obtiene
(20)
( ) ( ) ( )
( ) ( )
( ) ( ) ( )
2
2
m
b
a
m
b
a
m
b
a
m
m
f
dx x w x f x f
dx x w x f
dx x w x f x f
c

, n=1,2,..
La deduccin de la formula para
m
c
solo fue formal pues no se ha resuelto la cuestin de la
convergencia del desarrollo en (18). Si la serie ( )

1 n
n n
x f c converge uniformemente a
( ) [ ] b a en x f , , entonces se puede justificar cada paso y los coeficientes vienen dados por la
formula (20).
CONVERGENCIA DE LAS SERIES DE FOURIER Las figuras d y f proporcionan algunas
pistas. En el ejemplo 5 es posible utilizar un criterio de comparacin o de comparacin de
limites para demostrar que la serie es dominada absolutamente por una serie p de la forma

1
2
1
n
n
, la cual converge. Sin embargo esto es ms fcil de hacer en el ejemplo 4, pues
los trminos tienden a cero como
n
1
, las cosas pueden empeorar, pues existen series de
Fourier que divergen. Se establecen 2 teoremas para la convergencia de las series de Fourier
y 2 que tratan de la derivacin e integracin trmino a trmino.
Antes de continuar se necesita la siguiente notacin. Sean:
( ) ( ) h x f x f
h
+
+

+
lim
0
Y
( ) ( ) h x f x f
h

lim
0
CONVERGENCIA PUNTUAL DE UNA SERIE DE FOURIER
Teorema 2. Si
f
y

f son continuas en partes en [ ] T T, , entonces para cualquier x en

(-T, T).
(21) ( ) ( ) [ ]

+
+

'

+ +
1
0
,
2
1
cos
2
n
n n
x f x f
T
x n
sen b
T
x n
a
a
donde an y bn estn dadas
por las formulas de Euler (9) y (10). Para T x
+

, la serie converge a
( ) ( ) [ ]
+
+ T f T f
2
1
En otras palabras cuando f f , son continuas por partes en [ ] T T, , la serie de Fourier
converge a ( ) x f si
f
es continua en x y converge al promedio de los limites por la
izquierda y por la derecha en puntos donde
f
es discontinua.
El lado izquierdo de (21) es peridico con periodo 2T. Esto significa que si se extiende ( ) x f
mas all del intervalo (-T.T) a toda la recta real usando la periodicidad con periodo 2T,
entonces la ecuacin (21) es valida para toda x en la extensin de ( ) x f con periodo 2T.
Ejemplo 6. A que funcin converge la serie de Fourier de
( ) {
0 1
0 , 1
< <
< <

x
x
x f

SOLUCION
En el ejemplo 4 se vio que la serie de Fourier ( ) x f esta dada por (12) y en la figura e se
bosquejo las graficas de 2 de sus sumas parciales ( ) ( ) x f x f , son continuas por partes en
[ ] , . Adems
f
es continua en x=0. As por el teorema 2, la serie de Fourier en (12)
converge a la funcin ( ) x g con periodo ( ) x g 2 , donde ( ) ( ) 1 x f x g para
( ) ( ) 1 , 0 < < x f x g x para
( )
( ) ( ) [ ]
0
2
0 0
0 , 0
+
< <
+
f f
g x
y en
+

se tiene
( )
( ) ( ) [ ] ( )
0
2
1 1
2

+

+
+

f f
g
. La grafica de ( ) x g aparece en la figura g.
Cuando
f
es una funcin con periodo 2T continua en ( ) , y cuya derivada es continua
por partes, su serie de Fourier no solo converge en cada punto, sino que converge
uniformemente en ( ) , . Esto significa que para cualquier tolerancia prescrita >0, la
grafica de la suma parcial

'

+ +
N
n
n n N
T
x n
sen b
T
x n
a
a
s
1
0
cos
2


Estar, para N grande, en un corredor de ancho en tono de la grafica de
f
en ( ) , .
La propiedad de convergencia uniforme de series de Fourier es de particular utilidad cuando
hay que verificar que una solucin parcial es una solucin genuina.
CONVERGENCIA UNIFORME DE UNA SERIE DE FOURIER
Teorema 3. Sea
f
una funcin continua en ( ) , y peridica con periodo 2T. Si f

es continua por partes en [ ] T T, y por tanto en cualquier intervalo. Es decir, para cada
>0, existe un entero N0 que depende de tal que
( )

<

'

'

+ +

N
n
n n
T
x n
sen b
T
x n
a
a
x f
1
0
cos
2
Para toda
0
N N
y toda ( ). , x
En el ejemplo 5 se obtuvo el desarrollo en serie de Fourier dado en (13) para
( ) . 1 1 , < < x x x f
Como ( ), x g la extensin peridica de ( ) x f la figura i es continua
en ( ) , y ( ) {
0 1 , 1
01 0 , 1
< <
<

x
x
x f
Es continua por partes en [ ] 1 , 1 , el desarrollo de la serie de Fourier (13) converge
uniformemente a
x
en [ ] 1 , 1 .
La figura i muestra la extensin peridica de
( ) , 1 1 f x x x < <
No siempre es posible derivar trmino a trmino una serie de Fourier. Por ejemplo, la serie de
fourier para ( ) , f x x x < < es,
1
1
( ) 2 ( 1)
n
n
sennx
f x
n
+

:
Que converge para toda x, mientras que su serie derivada
1
1
2 ( 1) cos
n
n
nx
+

Diverge para toda x. el siguiente teorema proporciona condiciones suficientes para usar la
derivacin termino a termino.
DERIVACION DE SERIE DE FOURIER
Teorema 4 sea ( ) f X continua en (- , ), peridica con periodo 2T. Suponga que
,
( ) f X y
,,
( ) f X son continuas por partes en [ ]
T T . Entonces la serie de Fourier de
,
( ) f X se
puede obtener a partir de la serie de Fourier para ( ) f X derivando termino a termino. En
particular, si
0
1
( ) cos ,
2
n n
n
a n x n x
f X a b sen
T T

+ +
' )

:
,
1
( ) c cos
n n
n
n n x n x
f X a sen b
T T T

+
' )

:
Observe que el teorema 4 nos se aplica al ejemplo ( ) f X y su desarrollo en series de Fourier
e la serie 22, pues la extensin con periodo 2

de ( ) f X no es continua en (- , ).
La integracin termino a termino de una serie de Fourier es validan bajo condiciones mucho
mas dbiles.
INTERGRACION DE SERIES DE FOURIER
Teorema 5. Sea ( ) f X continua por partes en[ ]
T T , con serie de Fourier
0
1
( ) cos
2
n n
n
a n x n x
f X a b sen
T T

+ +
' )

: .
Entonces para cualquier x en [ ]
T T , tenemos
( )
0
1
( ) cos
2
X X X
n n
T T T
n
a n x n x
f t dt a b sen
T T

+ +
' )

.
SERIES DE SENOS Y COSENOS DE FOURIER
Un problema que aparece de manera tpica al usar separacin de variable para resolver una
ecuacin diferencial es el problema de representar una funcin definida en algn intervalo
finito mediante una serie trigonomtrica que conste solo de funciones seno o solo de
funciones coseno. La ecuacin
1
( ) ( )
n
n
n x
f X c sen
L

Necesitamos expresar los valores inciales

( , 0) ( ), 0 u X F x x L < < , de los valores iniciales y en la frontera asociado al problema de
flujo de calor como una serie trigonomtrica.
Recordemos que la serie de Fourier para una funcin impar definida en [-L, L] consta solo de
trminos seno, pero lo que podramos tratar de obtener de la serie extendiendo la funcin
( ), 0 F x x L < < , al intervalo [-L, L] de modo que la funcin extendida sea impar, logramos
esto definiendo la funcin
( )
0
( )
,
( )
.
f x
f X
o x L
f X
L X o

< <

'
< <

Y extendiendo
0
( ) f X para toda x usando la periosidad con periodo 2L. Como
0
( ) f X es
una funcin impar, tiene una serie de Fourier que consta de solo trminos seno. Adems
0
( ) f X es una extensin de ( ) f x , pues
0
( ) ( ) f X f x en (0, L). Esta extensin se
llama la extensin impar con periodo 2L de ( ) f x . El desarrollo en serie de Fourier
resultante se llama un desarrollo de de medio rango para , pues representa a la funcin
( ) f x en (0, L) , en la mitad del intervalo [-L, L] donde representa a
0
( ) f X .
De manera similar, podemos definir la extensin par con periodo 2L de ( ) f x como la funcin

( ),
( ),
,
( )
.
f x
e
f X
o x L
f X
L X o

< <

'
< <

De modo que ( 2 ) ( )
e e
f X L f X + .
Para ilustrar las diversas extensiones, consideremos la funcin ( ) , 0 f X X X < < . Sin
extendemos ( ) f x al intervalo ( , ) usando un periodo

, entonces la extensin f esta

dada por
,
,
,
( )
.
x
X
o x
f X
X o

< <

'
< <

:
Con
( 2 ) ( ) f X f X +
: :
. El calculo de la serie de Fourier para
( ) f X
:
se vio que
(2)
1
1
( ) 2
2
n
f X sen nx
n

:
:
Que consta de funcin impar (los trminos senos) y funcin par (el termino constante), pues la
extensin con periodo
( ) f X
:
no es par ni impar. La extensin impar con periodo 2 de
( ) f x es justamente
0
( ) , f X X X < < , que tiene desarrollo en series de Fourier.
(3)
2
1
4 (1)
( ) (2 1)
2 (2 1)
e
n
f X COS n x
n

+
+

Las tres extensiones anteriores, la funcin con periodo

( ) f X
:
, la funcin impar
0
( ) f X

con periodo y la funcin par ( )
e
f x con periodo 2

con extensiones naturales de ( ) f x .

Existen otras formas de extender a ( ) f x . Por ejemplo la funcin
,
0,
,
( )
.
x
o x
g X
X o

< <

'
< <

( 2 ) ( ) g X g X +
Sin embargo, su serie de Fourier contiene trmino seno y coseno y por lo tanto no es tan til
como las extensiones anteriores .
Graficas de extensiones. De ( ) f x .
a. Periodo

b. Impar con periodo 2

c. Par con periodo 2
d. Otra extensin con periodo 2
a. c.
B
C.
D.
Los desarrollos en series de Fourier para
0
( ) f X
y ( )
e
f X dados en (2) (3) representa
a ( ) f x en el intervalo (0, ) (en realidad, son iguales a ( ) f x en (0, ) . esto motiva
las siguientes funciones.
SERIE DE SENOS Y COSENOS DE FOURIER
DEFINICION 2. Sea ( ) f x continua por partes en el intervalo [0.T]. La serie de cosenos de
Fourier de en es ( ) f x en [0.T].es
(4)
0
1
cos
2
n
n
a n x
a
T

Donde
(5)
2
( ) cos
T
n
O
n x
a F x dx
T T

0,1, 2,... n
La series de senos de Fourier. De ( ) f x en [0.T]. Es
(6)
1
n
n
n x
b sen
T

DONDE
(7)
2
( )
T
n
O
n x
b F x sen dx
T T

0,1, 2,... n
La serie trigonomtrica en (4) es justamente la serie d Fourier para ( )
e
f x , la extenson par
con periodo 2T de ( ) f x .y la de la (6) la serie de Fourier para
0
( ) f x , la extensin impar
con periodo 2T de ( ) f x .estos son los desarrollos de medio rango para ( ) f x .
Ejemplo 7. calcule la serie de Fourier para
,
2
( )
.
2
x
X
o x
f X
X

'

< <

Usamos la formula (7) con

T
0
( )
(0, )
f X

Para obtener
0
2
( )
n
b f X SENnxdx

2
0
2
2 2
( ) xSENnxdx X SENnxdx

+

2
2 2
0
2 2
2 2
2
n
n
n
uSENudu SENnxdx uSENudu
n n

+

[ ] [ ]
2 2
0 0 2 2
2 2 2
cos cos cos cos
2
n n
n
SENu u u n SENu u u
n n

1

1
]
( 1) 2 2
2
4 0 ,
4( 1) 2 ,
n
n n par
sen
n n impar
n

'

As que al hacer, tenemos que la serie de senos de Fourier para es

(8)
0
4 ( 1) 4 1 1
(2 1) 3 5 ....
(2 1) 9 25
K
K
SEN k x senx sen x sen x
k

+ + +
' )
+

La funcin ( ) f x es continua y
,
( ) f x es continua por partes en (0, ) , de modo que
el teorema (2) acerca de la convergencia puntual de las series de Fourier implica que
4 1 1 1
( ) 3 5 7 ....
9 25 49
f X senx sen x sen x sen x

+ +
' )

Para todo x en (0, )
TRANSFORMADA DE LAPLACE
Las transformadas de Laplace solo pueden ser aplicadas a funciones que dependen de una
sola variable, por lo tanto para que estas sean aplicadas a las Ecuaciones Diferenciales
Parciales es necesario realizar ciertas modificaciones. Laplace da origen a una ecuacin
algebraica en la transformada y por otro lado en el caso de una Ecuacin Diferencial Parcial en
dos variables independientes, el mtodo proporciona una ecuacin diferencial ordinaria en la
transformada; esto se debe a que se transforma la ecuacin dada con respecto a una de las
variables independientes, por lo general t, de modo que las derivadas con respecto a la otra
variable independiente se deslizan hacia la ecuacin transformada; luego de obtener la
Ecuacin Ordinaria se resuelve el problema que queda planteada por esta y se calcula la
transformada inversa. Se debe tener en cuenta que si los coeficientes de la ecuacin dada no
dependen de t la transformacin simplificara el problema sin embargo si la ecuacin original no
es de coeficientes constantes y estos dependen de t la ecuacin transformada es tambin una
Ecuacin Diferencial Parcial que incluso puede ser de mayor orden que la original.
Considerando en trminos generales la funcin u(x,t) se obtiene para cada x una transformada
de Laplace dependiente de s que ser notada como U(x,s):
( ) ) , ( ) , ( ) ( ) , (
0
s x U dt e t x u s t x u
st

L
Similarmente, tenemos condiciones inciales para cada x, como u(x,0) o ut(x,0),los cuales
sern interpretados como valores limites u(x,0+) o ut(x,0+)si es necesario. Respecto a la
diferenciacin en la variable x, se asume que la diferenciacin y la transformada de Laplace
podrn ser intercambiadas as:
( )

,
_

0 0
) , ( ) , ( ) ( ) , ( dt e t x u
x
dt e t x
x
u
s t x u
st st
x
L

( ) ) , ( ) ( ) , ( s x U s t x u
x
x

L
Ejemplo 8. Ecuacin de primer orden
(1) 0

t
w
x
x
w
w(x,o)=0 w(0,t)=t (t0)
Solucin. Se toma la transformada de Laplace con respecto a t .
(2)
{ } ( ) [ ] 0 0 , +

'

x w w s x
x
w
L L
Aqu w(x,0)=0. En el primer trmino se supone que es posible intercambiar la integracin y la
derivacin:
(3)
( ) { } t x w
x
dt t x w e
x
dt
x
w
e
x
w
st st
, ) , (
0 0
L L

'

As entonces, si se escribe W(x,s)=L{w(x,t)} de (2) se obtiene:

0 +

W
W
xs
x
Esto puede considerarse como una Ecuacin Diferencial Ordinaria con x como variable
independiente, ya que no tiene derivadas con respecto a s en la ecuacin. La solucin general
es:
( )
2 /
2
) ( ,
sx
e s c s x

W
Puesto que L{t}=1/s
2
, la condicin w(0,t)=t da W(0,s)=1/s
2
, es decir,
W(0,s) = c(s) = 1/s
2
,
De donde,
( )
2 /
2
2 1
,
sx
e
s
s x

,
_

W
Ahora bien L
-1
{1/s
2
} = t, de modo que se puede aplicar el teorema de traslacin con a=x
2
/2, da
0 si t < x
2
/2
(4)
( )

,
_

) (
2
,
2 /
2
2
t u
x
t t x
x
W

t 1/2x
2
si t > x
2
/2
Por ultimo se verifica que (4) satisfaga a (1).
Ejemplo 9. Cuerda Semiinfinita
El objetivo es encontrar el desplazamiento w(x,t) de una cuerda elstica sujeta a las siguientes
condiciones:
i) La cuerda esta inicialmente en reposo sobre el eje x desde x=0 hasta
(cuerda infinita).
ii) Para el tiempo t >0, el extremo izquierdo de la cuerda se mueve en
forma senoidal
Sen t si 0 t 2
w(0,t ) = f(t) =
0 en caso contrario
iii) Adems,
0
0

) , ( lim t x w
x
para t 0
Por supuesto, no existe una cuerda infinita, el modelo solo describe una cuerda larga, de peso
despreciable, con su extremo derecho muy lejos a lo largo del eje x.
Solucin. La ecuacin de onda que se debe resolver es:
(I)
2
2
2
2
2
x
w
c
t
w

sujeta a las siguientes condiciones de frontera:

(II) w(0,t) = f(t), 0
0

) , ( lim t x w
x
(III) w(x,0) = 0
(IV)
0
0

t
t
w
se toma la transformada de Laplace con respecto a t .
{ }

'

'

2
2
2
0
2
2
2
L 0 L L
x
w
c
t
w
x sw w s
t
w
t
) , (
Se cancelan dos trminos debido a las ecuaciones (III) y (IV). A la derecha, se supone que es
posible intercambiar la integracin y la derivacin:
{ } ) , ( ) , ( t x w
x
dt t x w e
x
dt
x
w
e
x
w
st st
L L
2
2
0
2
2
0
2
2
2
2

'

As entonces, si se escribe W(x,s) = L{w(x,t)}, se obtiene

2
2
2 2
x
W
c W s

o bien,
0
2
2
2
2

W
c
s
x
W
como esta ecuacin solo contiene una derivada con respecto a x, puede considerarse como
una ecuacin diferencial ordinaria para W(x,s), considerada como una funcin de x. Una
solucin general es
(V)
c sx c sx
e s B e s A s x W
/ /
) ( ) ( ) , (

+
Basndose en (II) se obtiene al escribir F(s)=L { f(t)}.
( ) { } { } ) ( ) ( , ) , ( s F t f t w s W L 0 L 0
y, suponiendo que puede intercambiarse el orden al integrar con respecto a t y tomar el lmite
cuando x .
dt t x w e s x W
st
x
x
) , ( lim ) , (
lim

0
0
0

dt t x w e
x
st
) , ( lim
Esto implica que en la ecuacin (V) A(s)=0, porque c>0, de modo que, para toda s positiva fija
la funcin e
sx/c
crece al crecer x. se puede suponer que s > 0, dado que, por lo general, existe
una transformada de Laplace para toda s mayor que algn fijo. De donde se tiene
) ( ) ( ) , ( s F s B s W 0
De modo que (V) queda
c sx
e s F s x W
/
) ( ) , (

A partir del segundo teorema de traslacin con a = x/t, se obtiene la transformada inversa
) ( ) , (
/
t u
c
x
t f t x w
c x

,
_

Es decir,

,
_

c
x
t sen t x w ) , (
si 2 + < <
c
x
t
c
x
o c t x ct ) ( 2 > >
y cero en el caso contrario. Esta es una sola onda senoidal que viaja hacia la derecha con
velocidad c. Se tiene en cuenta que un punto x permanece en reposo hasta t=x/c, el tiempo
necesario para llegar hasta esa x si se parte en t=0 (inicio del movimiento del extremo
izquierdo) y se viaja con velocidad c.
BIBLIOGRAFIA
BEERENDS, R. TERMORSCHE, H. VAN DEN BERG, J. VAN DE VRIE, E. Fourier
and Laplace Transforms. Cambridge University Press. Cambridge. 2003. Pgs.
60-122; 253-330.
CHURCHILL, Ruel, V, Fourier series and boundary value problems, McGraw-Hill
Book Company, Pags. 53-57.
FRANKLIN, Philip, Introduction to Fourier Methods and the Laplace
Transformation, Pgs. 100, 198.
NAGLE, Kent, Ecuaciones Diferenciales y problemas con valor en la frontera,
tercera edicin, Pgs. 613-631.