Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
Solución
f x dx 0
a
(2)
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.
T mx nx
(c)
T
cos
T
cos
T
dx
Solución
m ( x) n x mx nx
(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 mx nx
(3) T
sen
T
cos
T
dx 0
mx nx T
dx cos
m nx cos m nx dx
T mx nx T sen sen
T sen T sen T dx 20 T T 0
T T
sen
m n x sen m n x
T
T T T
0
mn mn
0
Cuando m=n, la integral en (b) se escribe
T
sen
T
sen
T
dx 0, m n
T ,mn
El integrando de la parte (c) también es par y puede calcularse usando una identidad
trigonometrica similar.
mx nx
(5)
T
T
cos
T
cos
T
dx 0, m n
T ,mn
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,
T
sen nx
T
dx 0 , además, para n=1, 2,3…
es fácil verificar que
T
T
cos nx
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 mx T
y se
integra:
(7)
mx a mx
nx mx
nx mx
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
mx
T
cos dx 0 m 1
T T
Y por las formulas (3) y (5), se tiene
Nx mx
T
sen cos dx 0
T T T
mx nx
T
T
cos
T
cos
T
dx 0, m n
T ,mn
Por tanto, en (7) solo hay un término del lado derecho que sobrevive a la integración:
mx
f x cos T dx a
T
m T
T
mx
f x cos
1 T
am
T T T
dx
mx
f x sen
1 T
bm
T T T
dx.
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 , 0X
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
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,....
n1 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.
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 n1 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 wx en el intervalo a, b si
f x f xwxdx 0 siempre que m n.
b
(14) m n
a
Es ortogonal en , , con respecto de la función de ponderación wx 1 , si se define la
norma de f como
1
a
2
wx 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 xwxdx
b
0m n
(17) m n 1, m n
a
Y
1dx 2
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 xwx e
b
del sistema. Suponiendo que la representación (18) es valida, se multiplica por m
a
c f n x converge uniformemente a
convergencia del desarrollo en (18). Si la serie n 1 n
f x ena, 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
Teorema 2. Si f y f son continuas en partes en T, T , entonces para cualquier x en (-T,
¨
T).
nx nx 1
(21)
a0
a n cos
2 n1 T
bn sen
f x f x , donde an y bn están dadas
T 2
f x 1,10xx0
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
g f f 1 1 0 . La grafica de g x aparece en la figura g.
2 2
a N
nx nx
f x 0 a n cos bn sen
2 n 1 T T
, y f x 1,1,10xx010
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
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
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
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 n1 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
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
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
a. c.
B
C.
D.
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,...
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
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 )est 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
w
L xsLw wx,0 0
x
(2)
w w
L e st dt e st w( x, t )dt Lwx, t
x 0 x x 0 x
(3)
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,
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
El objetivo es encontrar el desplazamiento w(x,t) de una cuerda elástica sujeta a las siguientes
condiciones:
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.
2 w 2
2 w
c
t 2 x 2
(I)
(III) w(x,0) = 0
w
0
t t 0
(IV)
2 w 2 w 2 w
2
L 2 s Lw 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 Lw( x, t )
st
x 0 x x 0 x
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
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 ( 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