Está en la página 1de 26

EJERCICIOS RESUELTOS DE

SERIES DE FOURIER Y TRANSFORMADA DE LAPLACE


INTRODUCCION

Muchos fenómenos aplicados en las ciencias ingenieriles por naturaleza son periódicos, por
ejemplo el movimiento de los planetas alrededor del sol, las mareas en el océano, el
movimiento de un péndulo en un reloj, los voltajes y corrientes en redes eléctricas, entre otros.
Las series de Fourier y la Transformada de Laplace son dos de las herramientas matemáticas
mas utilizadas para resolver y comprender estos fenómenos. El tema central de la teoría de las
Series de Fourier es examinar y determinar las condiciones bajo las cuales una función
periódica puede ser descrita como una combinación 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 más generales
que las que se resuelven por series de Fourier.
SERIES DE FOURIER

Se analizara la teoría de las series de Fourier, que trabajan con desarrollos en series
trigonométricas. Sin embargo primero revisáremos algunas propiedades de funciones,
particularmente importantes para el estudio de la continuidad por partes, la periocidad y la
simetría par e impar.
Se definió una función continua por partes en [a, b] como una función 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 también que una función es periódica 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
trigonométrica sen x cos x son ejemplos de funciones periódicas, con periodo fundamental 2 
y tan x es periódica con periodo fundamental . Una función constante es una función
periódica con periodo arbitrario T. hay dos propiedades de simetría de funciones que serán
útiles en el estudio de las series de Fourier. Una función f que satisface f (-x)=f(x) para toda x
en el dominio de f tiene una grafica simétrica con respecto del eje (ver figura A). Decimos que
tal función es par .una función f que satisface f (-x)=f(x) para toda x en el dominio de f tiene
una grafica que es simétrica con respecto del origen (ver figura b). Se dice que es una función
2 4
impar. Las funciones 1, x , x ,... son ejemplos de funciones pares, mientras que las funciones

x, x3 , x5 ... son ejemplos de funciones impares. Las funciones trigonométricas senx y tan x
son funciones impares y cos x es una función par.

Figura a Figura b
FUNCION PAR FUNCION IMPAR
a a a


a
f  A  A  2 f
0

a
f  A A  0

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


DOS.
1
a. f ( x)  1  X 2
b. g ( X )  x  senx 3
c. h( x)  e
x

Solución

(a)Como f  x   1   x   1  x  f x , entonces f (x) es una función par.


2 2

(b)Como g  x    x   sen x    x  senx   x 3  senx    g x , tenemos que


1 1 1
3 3
 
g x  es una función impar.
(c)En este caso, h x   e
x
 e x solo cuando x  0 y e  x nunca es igual a  e x , entonces
hx  no es una función par ni impar.
El hecho de saber que una función es par o impar puede ser de utilidad al evaluar integrales
definidas.

PROPIEDADES DE FUNCIONES SIMETRICAS


Teorema 1. Si f es una función par continua por partes en  a, a , entonces  
(1)

Si f es una función impar continua por partes en  a, a, entonces

 f x dx  0
a
(2)
a

Demostración. Si f es una función par, entonces f  x   f x . Por lo tanto,

 f xdx   f xdx   f xdx   f u du   f xdx 2 f xdx , donde se usa el


a 0 a 0 a a

a a 0 a 0 0

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:


T mx nx
(a) T
sen
T
cos
T
dx
T mx nx
(b)  T
sen
T
sen
T
dx

T mx nx
(c) 
T
cos
T
cos
T
dx

Solución
m ( x) n  x  mx nx
(a) Como sen cos   sen cos , el integrando de la parte (a)
T T T T
es una función impar. Así, por el teorema 1,
T mx nx
(3) T
sen
T
cos
T
dx  0

(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 m  n,

mx nx T
dx   cos
m  nx  cos m  nx dx
T mx nx T sen sen 
T sen T sen T dx  20 T T 0
 T T 


sen
m  n x sen m  n x 
T

T  T T 
    0
 mn mn 
  0
Cuando m=n, la integral en (b) se escribe

nx  nx  2nx 


2
T  T T
T  T 
 sen  dx  2 0  T 
 sen  dx  0 1  cos T dx
2nx 
T
 T
 x  sen T
 2n T  0
Por lo tanto,
mx nx
(4) 
T

T
sen
T
sen
T
dx  0, m  n
T ,mn

El integrando de la parte (c) también es par y puede calcularse usando una identidad
trigonometrica similar.
mx nx
(5) 
T

T
cos
T
cos
T
dx  0, m  n
T ,mn

Las ecuaciones (3) y (5) expresan una condición de ortogonalidad satisfecha por el
conjunto de funciones trigonometricas cos x, senx, cos 2 x, sen2 x,.... , donde T   .

Es fácil verificar que si cada una de las funciones f1 ........... f n es periódica con periodo T,

entonces ocurre lo mismo con cualquier combinación lineal


c1 f1 x   .......  cn f n x 
Por ejemplo, la suma 7  3 cos x  8senx  4 cos 2x  6sen2x tiene periodo 2, pues
cada término tiene periodo 2. Además si la serie infinita
a0   nx nx 
   a n cos  bn sen 
2 n1  T T 
Que consta de funciones con periodo 2T, converge para toda x, entonces la función a la
cual converge será periódica con periodo 2T.
Así como a cada función 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 función continua por partes, Para ilustrar esto, se supone que f (x) tiene el
desarrollo en serie
a0   nx nx 
(6) f ( x)    a n cos  bn sen ,
2 n1  T T 
Donde an y bn son constantes.
Para determinar los coeficientes a0, a1.b1, a2,….., se procede como sigue. Se integra
f (x) de –T a T, suponiendo que se puede integrar término a término:
a0 
nx 
nx
f x dx   dx   a n  cos dx   bn  sen
T T T T
 T T 2
n 1
T T n 1
T T
dx.

Como sen nx  T


 es una función impar  T

T

sen nx
T
dx  0 , además, para n=1, 2,3…
es fácil verificar que 
T

T

cos nx
T
dx  0 , por lo tanto  T

T
f x dx  
T

T
a0
2
dx  a0T y

f x dx.
1 T
T T
entonces a0 

a0
Observe que es el valor promedio de f en un periodo 2T. A continuación para
2
determinar el coeficiente de am cuandom  1 , se multiplica por (6) por cos mx  T
 y se
integra:
(7)

mx a mx 
nx mx 
nx mx
f x cos dx   an  cos dx   bn  sen
T T T T
T T
dx  0
2 
T
cos
T n 1
T T
cos
T n 1
T T
cos
T
dx

Las condiciones de ortogonalidad (3) y (5) permiten analizar fácilmente las integrales del
lado derecho. Se ha observado que
mx

T
cos dx  0 m 1
T T
Y por las formulas (3) y (5), se tiene
Nx mx

T
sen cos dx  0
T T T
mx nx
T
T
cos
T
cos
T
dx  0, m  n
T ,mn

Por tanto, en (7) solo hay un término del lado derecho que sobrevive a la integración:
mx
 f x cos T dx  a
T
m T
T

Así se tiene una formula para el coeficiente a m

mx
f x  cos
1 T
am  
T T T
dx

De manera análoga al multiplicar (6) sen mx  T


 e integrar se tiene
mx
 f xsen T dx  b T
T
m
T

De modo que la formula para bm es

mx
f x sen
1 T
bm 
T  T T
dx.

Por los cálculos anteriores se puede establecer la siguiente definición


SERIES DE FOURIER
DEFINICION 1. Sea f una función continua por partes en el intervalo [-T, T]. La serie de Fourier
de f la serie trigonométricas.
a0   n x n x 
8. f  x  :   an cos  bn sen 
2 n1  T T 
1 T n x
9. an   f  x  cos dx, n  0,1, 2,3.....
T  T T
1 T n x
10. bn   f  x  sen dx, n  0,1, 2,3.....
T  T T

Las series 9y 10 se llaman formulas de euler. Usamos el símbolo : en 8 para recordar que
esta serie esta asociada con f ( X ) pero podría no converger a tal f ( X ) .
Ejemplo 3. CALCULAR LA SERIE DE FOURIER DE

 0,  X 0, 
F(X )    
 X ,  0X  
Solución
En este caso, T=  . Usamos las formulas 9y 10 para tener
1  1 
an 
  
f ( x) cos nxdx 
  0
x cos nxdx

1 n 1
2 
cos u  usenu 0
n

 n2 0
u cos udu 
n
1 n 1
2 
cos u  usenu 0 ..
n

 n2 0
u cos udu 
n

1  1  x2  
  
a0  f ( x)dx  xdx  
 0 2 0
2
1  1 
b0 
  
f ( x)sennxdx 
 
0
xsennxdx

1 n 1
2 
senu  u cos u 0
n

 n2 0
usenudu 
n

 cos n (1)n 1
  n  1, 2,3,.....
n n
POR TANTO

  1 
n 1

 1  

   2  1  1 cos nx 
n
11... f ( X ) : sennx 
 
 n
4 n 1  n 

 2 1 1
  cos x   COS 3 X  cos 5 x  ...
4  9 25
 1 1 
  senx  sen2 x  sen3x  .......
 2 3 
La figura c muestra algunas sumas parciales de esta serie.
Ejemplo 4. CALCULAR LA SERIE DE FOURIER

 1,  X 0, 


F(X )    .
 1,  0X  
SOLUCION
De nuevo, T=  .observe que fes una función impar .como el producto de una función impar y
una función par es impar, f(X) cosnx también es una función impar .así,
1 


a0  f ( x) cos nxdx  0, n  1, 2,3,.....

Además, f(x) sennx es el producto de dos funciones impar y por tanto es una función par, de
modo que
1  2 


bn  f ( x) sennxdx   sennxdx
  0

2   cos nx   2  1 (1) n 
   n  1, 2,3,.....
  n n 
,
  n  0


  0,4 n par – n impar así,
 n ,
2 
1  ( 1) n 4  1 1 
12... f ( X ) :   sennx   senx  sen3 x  sen5 x,....  
 n1  n  3 5 
La figura d muestra algunas sumas parciales
En este ejemplo, la función impar f tiene una serie de Fourier que solo consta de funciones
seno. Es fácil ver que, en general, si f es cualquier función impar, entonces su serie de Fourier
consta únicamente de términos seno.

Ejemplo 5. CALCULAR LA SERIE DE FOURIER DE f ( x)  x , 1  x  1

Solución. En este caso, T=1. Como f es una función par, f(X) senn  x es una función impar.
Por consiguiente,
1
bn   f ( x)s enn xdx  0, n  1, 2,3,.....
1

1 1
a0   f ( x)dx  2 xdx  x 2 1
1
1 0 0

1 1
a0   f ( x) cos n xdx  2 x cos n xdx
1 0

2 n 1
2 
cos u  usenu 0
n

 n2
2 
0
u cos udu 
 n
2

2
  cos n  1
 n2
2

2 
2 
 1  1 , n  1, 2,3,.....
n

 n
2 
Por tanto

1   2  
   2 2  1  1 cos n x  
n
13... f ( X ) :
2 n1   n   
1 4  1 1 
   cos  x  cos 3 x  cos 5 x,....
2 2 9 25 
La figura e muestra la sumas parciales

Observe que la función 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 función par,
entonces su serie de Fourier solo consta de funciones coseno (incluyendo cos0  x).
DESARROLLOS ORTOGONALES

 fn ( X )n

Las series de Fourier son ejemplos de desarrollos. Un conjunto de funciones 1
es un sistema ortogonal o simplemente ortogonal con respecto de la función de Ponderación
no negativa wx  en el intervalo a, b si  
 f x f xwxdx  0 siempre que m  n.
b
(14) m n
a

Como se ha visto el conjunto de funciones trigonometricas


(15) 1, cos x, senx, sen2 x, cos 2 x,.....

 
Es ortogonal en   ,  , con respecto de la función de ponderación wx   1 , si se define la

norma de f como
1

(16) f   f 2 x wx dx


b

a
2



Entonces se dice que un conjunto de funciones  f n x n 1 , f n x n 1 , es un sistema ortogonal de


 N

wx  si se cumple (14) y además f n  1 para cada n. En forma equivalente, se dice que el
conjunto es un sistema ortonormal si

 f x f xwxdx  
b
0m n
(17) m n 1, m  n
a

Siempre se puede obtener un sistema ortonormal a partir de un sistema ortogonal, dividiendo


cada función entre su norma. En particular como
 


cos 2 nxdx   sen 2 nxdx   , n=1, 2,3……


Y

 1dx  2

Entonces el sistema ortogonal (15) da lugar en   ,  , al sistema ortonormal  


  1
2 ,
1
2
cos x, 
1
2
senx, 
1
2
cos 2 x, 
1
2

sen2 x,....... .

Si  f n xn1 es un sistema ortogonal con respecto de wx en a, b , se podría preguntar si se  


puede desarrollar una función f x  en términos de estas funciones; es decir, se puede

expresar a f en la forma

(18) f x   c1 f1 x   c2 f 2 x   ....... 
Para una elección 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 deducción de las
formulas de Euler para los coeficientes de una serie de Fourier, utilizando ahora ortogonalidad
 f xwx e
b
del sistema. Suponiendo que la representación (18) es valida, se multiplica por m
a

integra para obtener


(19)

f m x  f n x wx dx  c1  f 1 x  f m x wx dx  c 2  f 2 x  f m x wx dx  ...   c n  f n x  f m x wx dx.
b b b b
a a a
n 1
a

También se ha supuesto que se puede integrar termino a termino, como el sistema es


ortogonal con respecto de wx  , cada integral del lado derecho de (19) se anula, excepto

cuando n=m. Al despejar c m se obtiene

 f x  f x wx dx   f x  f x wx dx ,


b b
m m
(20) c m  a a
n=1,2,…..
 f x wx dx
b 2
2
m
f m
a

La deducción de la formula para c m solo fue formal pues no se ha resuelto la cuestión de la

 c f n x  converge uniformemente a

convergencia del desarrollo en (18). Si la serie n 1 n

f x ena, b , 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 comparación o de comparación de
limites para demostrar que la serie es dominada absolutamente por una serie p de la forma



1 , la cual converge. Sin embargo esto es más fácil de hacer en el ejemplo 4, pues los
n 1 n2
términos tienden a cero como 1 , las cosas pueden empeorar, pues existen series de Fourier
n
que divergen. Se establecen 2 teoremas para la convergencia de las series de Fourier y 2 que
tratan de la derivación e integración término a término.
Antes de continuar se necesita la siguiente notación. Sean:

 
f x   lim f x  h Y f x   lim f x  h  
h 0  h 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).

nx nx  1
(21)
a0  
  a n cos
2 n1  T
 bn sen  
    
  f x  f x , donde an y bn están dadas
T  2

por las formulas de Euler (9) y (10). Para x  T , la serie converge a


 1
2
   
f T   f T 
 
En otras palabras cuando f , f  son continuas por partes en  T, T , la serie de Fourier

converge a f x  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 periódico con periodo 2T. Esto significa que si se extiende f  x 
mas allá del intervalo (-T.T) a toda la recta real usando la periodicidad con periodo 2T,
entonces la ecuación (21) es valida para toda x en la extensión de f  x  con periodo 2T.

Ejemplo 6. ¿A que función converge la serie de Fourier de

f x   1,10xx0
SOLUCION

En el ejemplo 4 se vio que la serie de Fourier f x  esta dada por (12) y en la figura e se

bosquejo las graficas de 2 de sus sumas parciales f x , f x  son continuas por partes en

  ,  . Además f es continua en x=0. Así por el teorema 2, la serie de Fourier en (12)


converge a la función g x  con periodo 2g x  , donde g x   f x   1 para


   x  0, g x   f x   1 para 0  x   , g 0  f 0   f 0 

  0 y en   se tiene
2

  
g    f    f       1  1  0 . La grafica de g x  aparece en la figura g.
 

2 2

Cuando f es una función 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


a0 N  nx nx 
sN    a n cos  bn sen 
2 n1  T T 
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 solución parcial es una solución genuina.

CONVERGENCIA UNIFORME DE UNA SERIE DE FOURIER

Teorema 3. Sea f una función continua en  ,  y periódica 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

a N
 nx nx 
f x    0   a n cos  bn sen   
 2 n 1  T T 

Para toda N  N 0 y toda x   ,.

En el ejemplo 5 se obtuvo el desarrollo en serie de Fourier dado en (13) para

f x   x ,1  x  1. Como g x , la extensión periódica de f x  la figura i es continua en

 ,  y f x   1,1,10xx010
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 extensión periódica de f ( x)  x , 1  x  1

No siempre es posible derivar término a término una serie de Fourier. Por ejemplo, la serie de

fourier para f ( x)  x ,   x   es,

 n 1
sennx
f ( x) : 2 (1)
n 1 n
Que converge para toda x, mientras que su serie derivada
 n 1

2 (1) cos nx
n 1

Diverge para toda x. el siguiente teorema proporciona condiciones suficientes para usar la
derivación termino a termino.
DERIVACION DE SERIE DE FOURIER

Teorema 4 sea f ( X ) continua en (-  ,  ), periódica 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

a0   n x n x 
f (X ) :   an cos  bn sen ,
2 n 1  T T 

n  n x n x 
f ,(X ) : T
n 1
an c  sen
 T
 bn cos
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 extensión con periodo 2  de f ( X ) no es continua en (-  ,  ).


La integración termino a termino de una serie de Fourier es validan bajo condiciones mucho
mas débiles.

INTERGRACION DE SERIES DE FOURIER

 
Teorema 5. Sea f ( X ) continua por partes en T  T , con serie de Fourier

a0   n x n x 
f (X ) :   an cos  bn sen .
2 n1  T T 


Entonces para cualquier x en T  T , tenemos

 X n x n x
 .
a0
dt     an cos
X X
T
f (t )  
T 2 n 1 
T T
 bn sen
T 

SERIES DE SENOS Y COSENOS DE FOURIER

Un problema que aparece de manera típica al usar separación de variable para resolver una
ecuación diferencial es el problema de representar una función definida en algún intervalo
finito mediante una serie trigonométrica que conste solo de funciones seno o solo de
funciones coseno. La ecuación

f ( X )   cn sen(n x ) Necesitamos expresar los valores iníciales
n 1
L

u( X ,0)  F ( x),0  x  L , de los valores iniciales y en la frontera asociado al problema de


flujo de calor como una serie trigonométrica.
Recordemos que la serie de Fourier para una función impar definida en [-L, L] consta solo de
términos seno, pero lo que podríamos tratar de obtener de la serie extendiendo la función
F ( x),0  x  L , al intervalo [-L, L] de modo que la función extendida sea impar, logramos
esto definiendo la función



f ( x)
o  x  L,
f0 ( X )  
  f (  X )  L  X  o.

Y extendiendo f 0 ( X ) para toda x usando la periosidad con periodo 2L. Como f 0 ( X ) es
una función impar, tiene una serie de Fourier que consta de solo términos seno. Además
f 0 ( X ) es una extensión de f ( x) , pues f0 ( X )  f ( x) en (0, L). Esta extensión se
llama la extensión 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 función
f ( x) en (0, L) , en la mitad del intervalo [-L, L] donde representa a f 0 ( X ) .
De manera similar, podemos definir la extensión par con periodo 2L de f ( x) como la función


f ( x ),
o  x  L,
fe ( X )  
 f (  X ),  L  X  o.

De modo que f e ( X  2L)  f e ( X ) .
Para ilustrar las diversas extensiones, consideremos la función f ( X )  X ,0  X   . Sin
extendemos f ( x) al intervalo ( ,  ) usando un periodo  , entonces la extensión f esta
: 

x,
o  x ,
dada por f (X )  
 X  ,   X  o.

: : :
Con f ( X  2 )  f ( X ) . El calculo de la serie de Fourier para f ( X ) se vio que
:   1
(2) f ( X ) :   sen2nx
2 n 1 n
Que consta de función impar (los términos senos) y función par (el termino constante), pues la
:
extensión con periodo  f (X ) no es par ni impar. La extensión impar con periodo 2 de
f ( x) es justamente f0 ( X )  X ,   X   , que tiene desarrollo en series de Fourier.
 4 
(1)
(3) f e ( X ) 
2


 (2n  1) COS (2n  1) x
n 1
2

:
Las tres extensiones anteriores, la función con periodo  f (X ) , la función impar f 0 ( X )
con periodo y la función par f e ( x) con periodo 2  con extensiones naturales de f ( x) .
 x , o  x   ,
Existen otras formas de extender a f ( x) . Por ejemplo la función g ( X )  
 0,   X  o.
g ( X  2 )  g ( X )
Sin embargo, su serie de Fourier contiene término 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 extensión con periodo 2

a. c.
B

C.

D.

Los desarrollos en series de Fourier para f 0 ( X ) f e ( X ) dados en (2) (3) representa


y
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

a0  n x
(4)   an cos 
2 n 1 T
Donde
2 T n x
(5) an  
T O
F ( x) cos
T
dx n  0,1, 2,...
La series de senos de Fourier. De f ( x) en [0.T]. Es

n x
(6)  b sen
n 1
n
T
DONDE
2 T n x
(7) bn 
T O
F ( x) sen
T
dx n  0,1, 2,...

La serie trigonométrica en (4) es justamente la serie d Fourier para f e ( x) , la extenson par


con periodo 2T de f ( x) .y la de la (6) la serie de Fourier para f 0 ( x) , la extensión 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
 x 
 ox ,
f (X )   2
 
 X  .
   X 2
Usamos la formula (7) con
f0 ( X )
T  Para obtener
(0,  )
2 


bn  f ( X ) SENnxdx
0

2 2 

 
 xSENnxdx   (  X ) SENnxdx
2
0
2
n
2  2 n

 n2 
0
2
uSENudu  2 SENnxdx 
2  n2  2
 n uSENudu

2 2
2 2 n  2
 2  SENu  u cos u  n0  cos  n  cos   2  SENu  u cos u  n
n  2  n
0


4  n  0 n  par ,
sen 
n 2
2  4(1) ( n 1) 2
n  impar ,
 n 2

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

4 (1) K

4 1 1 
(8)  
 K 0 (2k  1)
SEN (2k  1) x  senx  sen3x  sen5 x  ....
 9 25 
es continua por partes en (0,  )
,
La función f ( x) es continua y f ( x) , de modo que
el teorema (2) acerca de la convergencia puntual de las series de Fourier implica que
4 1 1 1 
f (X )  senx  sen3x  sen5x  sen7 x  ....
 9 25 49 
Para todo x en (0,  )
TRANSFORMADA DE ROURIER

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 ecuación
algebraica en la transformada y por otro lado en el caso de una Ecuación Diferencial Parcial en
dos variables independientes, el método proporciona una ecuación diferencial ordinaria en la
transformada; esto se debe a que se transforma la ecuación 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 ecuación transformada; luego de obtener la
Ecuación 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 ecuación dada no
dependen de t la transformación simplificara el problema sin embargo si la ecuación original no
es de coeficientes constantes y estos dependen de t la ecuación transformada es también una
Ecuación Diferencial Parcial que incluso puede ser de mayor orden que la original.

Considerando en términos generales la función u(x,t) se obtiene para cada x una transformada
de Laplace dependiente de s que será notada como U(x,s):


Lu( x, t )(s)   u( x, t )e st dt  U ( x, s)
0

Similarmente, tenemos condiciones iníciales para cada x, como u(x,0) o ut(x,0),los cuales
serán interpretados como valores limites u(x,0+) o ut(x,0+)si es necesario. Respecto a la
diferenciación en la variable x, se asume que la diferenciación y la transformada de Laplace
podrán ser intercambiadas así:

  
 
u
Lu x ( x, t )(s)   ( x, t )e dt    u( x, t )est dt 
 st

0
x x  0 


 Lu( x, t )(s)  U x ( x, s)
x
Ejemplo 8. Ecuación de primer orden

w w
(1) x 0 w(x,o)=0 w(0,t)=t (t≥0)
x t

Solución. Se toma la transformada de Laplace con respecto a t .

 w 
L    xsLw wx,0  0
 x 
(2)

Aquí w(x,0)=0. En el primer término se supone que es posible intercambiar la integración y la


derivación:

 w   w   
L     e  st dt   e  st w( x, t )dt  Lwx, t 
 x  0 x x 0 x
(3)

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

W
 xsW  0
x

Esto puede considerarse como una Ecuación Diferencial Ordinaria con x como variable
independiente, ya que no tiene derivadas con respecto a s en la ecuación. La solución general
es:

W x, s   c(s)e  sx
2
/2

2 2
Puesto que L{t}=1/s , la condición w(0,t)=t da W(0,s)=1/s , es decir,

W(0,s) = c(s) = 1/s2,

De donde,
1 2
W x, s    2 e  sx / 2
s 

Ahora bien L-1 {1/s2} = t, de modo que se puede aplicar el teorema de traslación con a=x2/2, da

0 si t < x2/2

 x2 
(4) W x, t    t  u x 2 / 2 (t ) 
 2
t – 1/2x2 si t > x2/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 elástica 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) Además,

lim w( x, t )  0 para t ≥ 0
x 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.

Solución. La ecuación de onda que se debe resolver es:

2 w 2
2  w
c
t 2 x 2
(I)

sujeta a las siguientes condiciones de frontera:

(II) w(0,t) = f(t), lim w( x, t )  0


x 0

(III) w(x,0) = 0

w
0
t t 0
(IV)

se toma la transformada de Laplace con respecto a t .

 2 w  2 w 2  w
2
L  2   s Lw sw( x,0)   c L 2 
 t  t t 0  x 

Se cancelan dos términos debido a las ecuaciones (III) y (IV). A la derecha, se supone que es
posible intercambiar la integración y la derivación:

  2 w    st  2 w 2  2
L 2    e 2
dt  2  e w( x, t )dt  2 Lw( x, t )
 st

  x  0  x x 0 x

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

2  2W 2
s W c
x2

o bien,
 2W s 2
 W 0
x2 c2

como esta ecuación solo contiene una derivada con respecto a x, puede considerarse como
una ecuación diferencial ordinaria para W(x,s), considerada como una función de x. Una
solución general es

(V) W ( x, s)  A(s)e sx / c  B(s)e sx / c

Basándose en (II) se obtiene al escribir F(s)=L { f(t)}.

W (0, s)  Lw0, t   L f (t )  F (s)

y, suponiendo que puede intercambiarse el orden al integrar con respecto a t y tomar el límite
cuando x  .

lim W ( x, s)  lim  e w( x, t )dt
 st
x  x  0


  e  st lim w( x, t )dt  0
0 x 

Esto implica que en la ecuación (V) A(s)=0, porque c>0, de modo que, para toda s positiva fija
la función esx/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 algún γ fijo. De donde se tiene

W (0, s)  B(s)  F (s)

De modo que (V) queda

W ( x, s)  F (s)e sx / c

A partir del segundo teorema de traslación con a = x/t, se obtiene la transformada inversa
 x
w( x, t )  f  t  u x / c (t )
 c

Es decir,

 x
w( x, t )  sen t  
 c

x x
si  t   2 o ct  x  (t  2 )c
c c

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. Págs.
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, Págs. 100, 198.
 NAGLE, Kent, Ecuaciones Diferenciales y problemas con valor en la frontera,
tercera edición, Págs. 613-631.

También podría gustarte