TECSUP - PFR Matemtica Aplicada

143
Unidad VII
S SE ER RI IE E D DE E F FO OU UR RI IE ER R
1. SERIE DE FOURIER
Las funciones peridicas se presentan frecuentemente en problemas de
ingeniera. Su representacin, en trminos de funciones peridicas sencillas tales
como el seno y el coseno, es un tema de gran importancia prctica que conduce
a las series de Fourier. Estas series, que reciben su nombre en honor del fsico
francs JEAN BAPTISTE FOURIER (1768-1830), representan una herramienta
muy poderosa en relacin con varios problemas que conducen a ecuaciones
diferenciales ordinarias y parciales.
Mientras que la teora de las series de Fourier es complicada, su aplicacin es
muy sencilla. En cierto modo, las series de Fourier son ms universales que la
serie de Taylor, debido a que muchas funciones peridicas discontinuas, que
tienen un gran inters prctico, pueden desarrollarse mediante las series de
Fourier y, sin embargo, no tienen representacin con la serie de Taylor.
Es importante tener conocimientos bsicos de clculo integral.
FUNCIONES PERIDICAS SERIES TRIGONOMTRICAS
Se dice que una funcin f (x) es peridica si est definida para toda x real y si
existe algn nmero positivo T de manera que
f (x + T) = f (x), para toda x (1)
El nmero T recibe el nombre de perodo de f (x). La grfica que se muestra a
continuacin, de una funcin de este tipo se obtiene mediante una repeticin
peridica de la grfica correspondiente a cualquier intervalo de longitud T.
Figura 1. Funcin peridica
Matemtica Aplicada TECSUP - PFR
144
De (1) se sigue que, si n es un entero cualquiera
f (x + n T) = f (x), para toda x
De modo que, cualquier mltiplo entero n T 0) ( = n de T, tambin es perodo.
Otro ejemplo se muestra a continuacin:
Por otro lado, si f (x) y g (x) tienen el perodo T, entonces la funcin
h (x) = a f (x) + b g (x) (a, b, constantes)
Tambin tiene el perodo T.
Ejemplos familiares de las funciones peridicas son las funciones seno y coseno.
Es necesario hacer notar que la funcin f = c = constante tambin es una
funcin peridica de acuerdo con el sentido de la definicin, puesto que satisface
la ecuacin (1) para cualquier nmero positivo T.
f (x) = f (x + T) = C
T
T T T
f(x)
x
x x + T x + 2T x + 3T
0
T T T T
f(x)
x
x x + T x + 2T x + 3T
0
TECSUP - PFR Matemtica Aplicada
145
La problemtica radica en la representacin de varias funciones de perodo 2t
en trminos de funciones sencillas cos x, sen x, cos 2x, sen 2x, . . . , cos nx, sen
nx, . . .
que tienen el perodo 2t.
Figura 2. Funciones seno y coseno que tienen el periodo 2t
La serie a la que se llegar en este caso ser de la forma
a
0
+ a
1
cos x + b
1
sen x + a
2
cos 2x + b
2
sen 2x + . . . .
Donde a
0
, a
1
, a
2
....., b
1
, b
2
, . . . son constantes reales. Esta serie recibe el
nombre de serie trigonomtrica y las constantes a
n
y b
n
, se llaman coeficientes
de la serie. Se ve que cada trmino de la serie tiene el perodo 2t. De aqu que,
si la serie converge, su suma ser una funcin de perodo 2t.
Con frecuencia sucede que las funciones peridicas que se encuentran en los
problemas de ingeniera son complicadas y, por lo tanto, es conveniente
representarlas en trminos de funciones peridicas sencillas. Se ver que casi
toda funcin peridica f (x) de perodo 2t que se presenta en las aplicaciones,
por ejemplo en relacin con las vibraciones, puede representarse mediante una
serie trigonomtrica
SERIES TRIGONOMTRICAS DE FOURIER
Toda forma de onda peridica puede expresarse por una serie de Fourier.
Dada una funcin peridica f (x) con periodo 2t, se puede formar la serie
trigonomtrica:
... sin cos ... sin cos
1 1 0
+ + + + + + = nx b nx a x b x a a (x) f
n n
Y por lo tanto, esta serie recibe el nombre de serie de Fourier, la cual se puede
representar por:
) sin cos (
1
0
nx b nx a a (x) f
n n
n
+ + =

=
Matemtica Aplicada TECSUP - PFR
146
En donde a
0
, a
n
, b
n
se les denomina coeficientes de Fourier de f (x) y estn
dados por las siguientes frmulas:
}
}
}

=
=
=
t
t
t
t
t
t
t
t
t
0
sin ) (
1
cos ) (
1
) (
2
1
dx nx x f b
dx nx x f a
dx x f a
n
n
Debido a la periodicidad de los integrados, el intervalo de integracin de los
coeficientes de Fourier, pueden sustituirse por cualquier otro intervalo de
longitud 2t.
Si f (x) es continua o, por lo menos seccionalmente continua (continua excepto
para un nmero finito de saltos en el intervalo de integracin), las integrales
dadas en los coeficiente de Fourier existen y, en consecuencia, pueden ser
calculadas.
Ejemplo 1: Determinar la serie de Fourier para la onda representada en la
siguiente Figura.
La onda es continua para 0 < x < 2t y viene dada por
t 2
10
) (
x
x f

= , con
discontinuidades para x = n 2t, siendo n = 0, 1, 2. . . .
Clculo de a
0
}

=
t
t t
0
) (
2
1
dx x f a
} } }
= =
|
|
.
|

\
|
=
t t t
t
t t t t
2
0
2
0
2
0
0
2
0
0
2
5
2
10
2
1
2
10
2
1
dx x a dx x a dx x a
Recordar:
1
) (
) (
1
+
=
+
} n
x f
dx x f
n
f(x)
x
0
2t 4t
10
TECSUP - PFR Matemtica Aplicada
147
(
(

=
(
(

= 0
2
4
2
5
2
2
5
2
2
0
2
0
2
2
0
t
t t
t
a
x
a 5
0
= a
Clculo de a n
}

=
t
t t
x cos ) (
1
d nx x f a
n
} }
=
|
|
.
|

\
|
=
t t
t
t t
2
0
2
2
0
cos
5
cos
2
10 1
dx nx x a dx nx x a
n n
Integrando por partes:
} }
= = = = cos cos dx nx dv dx nx dv dx d x
Recordar: z dz =
}
nx
n
v ndx nx
n
v sin
1
cos
1
= =
}
} }
= = sin
1
sin
1
dx nx
n
nx
n
x I du v v u I
2 2 2
cos sin
) cos (
1
sin sin
1
sin
n
nx
n
nx x
I nx
n
nx
n
x
I ndx nx
n
nx
n
x
I +

= = =
}
(
(

|
|
.
|

\
|
+

|
|
.
|

\
|
+

=
(

=
2 2 2 2
2
0
2 2
0 cos 0 sin 0 2 cos 2 sin 2 5 cos sin 5
n
n
n
n
n
n
n
a
n
nx
n
nx x
a
n n
t t t
t t
t
|
|
.
|

\
|
=
|
|
.
|

\
|
=
2 2 2 2 2 2
1 1 5 0 cos 2 cos 5
n n
a
n n
n
a
n n
t
t
t
0 =
n
a Para todos los valores enteros de n.
Matemtica Aplicada TECSUP - PFR
148
Clculo de b n
}

=
t
t t
sin ) (
1
dx nx x f b
n
} }
=
|
|
.
|

\
|
=
t t
t
t t
2
0
2
2
0
sin
5
sin
2
10 1
dx nx x b dx nx x b
n n
Integrando por partes:
} }
= = = = sin sin dx nx dv dx nx dv dx d x
Recordar: z dz =
}
nx
n
v nx
n
v ndx nx
n
v cos
1
) cos (
1
sin
1
= = =
}
} }
= = ) cos (
1
cos
1
dx nx
n
nx
n
x I du v v u I
2 2 2
sin cos
) (sin
1
cos cos
1
cos
n
nx
n
nx x
I nx
n
nx
n
x
I ndx nx
n
nx
n
x
I +

= + = + =
}
(
(

|
|
.
|

\
|
+

|
|
.
|

\
|
+

=
(

=
2 2 2 2
2
0
2 2
0 sin 0 cos 0 2 sin 2 cos 2 5 sin cos 5
n
n
n
n
n
n
n
b
n
nx
n
nx x
b
n n
t t t
t t
t
( ) ( ) 1
10
2 cos
2 5 2 cos 2 5
2 2
n
b n
n
b
n
n
b
n n n

=
|
|
.
|

\
|
=
t
t
t
t t t
t

n
b
n

=
t
10
Por lo tanto, de la ecuacin general tenemos:
) sin cos (
1
0
nx b nx a a (x) f
n n
n
+ + =

=
Y mediante los coeficientes calculados anteriormente,
0 =
n
a
n
b
n

=
t
10
TECSUP - PFR Matemtica Aplicada
149
La serie ser:
...... 3 sin
3
10
2 sin
2
10
sin
10
5 ) ( = x x x x f
t t t

=
=
1
sin 10
5 ) (
n
n
nx
x f
t
2. SERIE DE FOURIER
SIMETRA DE LAS FORMAS DE ONDA
Las series pueden contener nicamente trminos en seno sumados a una
constante, otras formas de onda tienen solamente trminos en coseno y, a
veces, nicamente existen en la serie armnicas impares, tanto si la serie
contiene senos, cosenos o ambos a la vez.
Este es el resultado de ciertos tipos de simetra asociados a la forma de onda. El
conocimiento de tal simetra da lugar a una reduccin de los clculos en la
determinacin de las series. A este respecto, son importantes las definiciones
siguientes:
FUNCIN PAR: Una funcin f (x) es par cuando f (x) =f (x).
La funcin f (x) = 2 + x
2
+ x
4
es un ejemplo de funcin par, ya que los valores
de la funcin para x y para - x son iguales. El coseno es una funcin par,
puesto que su desarrollo en serie es:
......
! 8 ! 6 ! 4 ! 2
1 cos
8 6 4 2
+ + =
x x x x
x
La suma de dos o ms funciones pares es otra funcin par, y la adicin de una
constante no vara la naturaleza par de una funcin.
Las ondas que se muestran a continuacin, representan funciones pares, siendo
simtricas respecto del eje vertical.
Figura 3. Funciones pares con simetra de eje vertical
x
o o
x
x
o
o
x
Matemtica Aplicada TECSUP - PFR
150
FUNCIN IMPAR: Una funcin f (x) es impar cuando f (x) = f (x).
La funcin f (x) = x + x
3
+ x
5
es un ejemplo de funcin impar, ya que los
valores de la funcin para x y x son de signo contrario. El seno es una
funcin impar, puesto que su desarrollo en serie es:
......
! 9 ! 7 ! 5 ! 3
1 sin
9 7 5 3
+ + =
x x x x
x
La suma de dos o ms funciones impares es otra funcin impar pero la adicin
de una constante destruye la naturaleza impar de la funcin, ya que f (x) no es
ya igual a f (x). El producto de dos funciones impares es una funcin par.
Las ondas que se muestran a continuacin representan funciones impares.
Figura 4. Funciones impares
FUNCIN PERIDICA: Una funcin peridica f (x) tiene una simetra de
semionda si:
f (x) = - f (x + T /2), siendo T el periodo.
En las siguientes figuras se representan dos ejemplos de este tipo.
Figura 5. Funciones peridicas con simetra de semi onda
Una vez establecido el tipo de simetra de una onda se llega a las conclusiones
siguientes:
- Si la forma de onda es par, todos los trminos de la serie correspondiente
son, cosenos con una constante si la onda tiene un valor medio distinto de
cero. En consecuencia, no es preciso calcular las integrales para hallar los
coeficientes b
n
, ya que no puede haber trminos en seno.
- Si la forma de onda es impar, la serie solo contiene senos. La onda solo puede
ser impar despus de eliminar la constante, en cuyo caso su representacin
de Fourier contendr simplemente tal constante y una serie de trminos en
seno.
T
x
o
x
T
o
x
o o
x
x
o
TECSUP - PFR Matemtica Aplicada
151
- Si la onda tiene simetra de semionda, en la serie habr solamente armnicos
impares. Estas series contendrn trminos en seno y coseno a menos que la
funcin sea tambin par o impar. En todo caso, a
n
y b
n
son nulos para n = 2,
4, 6, . . . y para cualquier onda con simetra de semionda.
Por lo tanto:
Si f (x) es par:
}

=
t
t t
0
) (
2
1
dx x f a
}
=
t
t 0
0
) (
1
a dx x f
}

=
t
t t
cos ) (
1
dx nx x f a
n

}
=
t
t 0
cos ) (
2
dx nx x f a
n
}

=
t
t t
sin ) (
1
dx nx x f b
n
0 =
n
b
Serie de Fourier de cosenos:

=
+ =
1
0
cos ) (
n
n
nx a a x f
Si f (x) es impar:
}

=
t
t t
0
) (
2
1
dx x f a 0 a
0
=
}

=
t
t t
cos ) (
1
dx nx x f a
n
0 =
n
a
}

=
t
t t
sin ) (
1
dx nx x f b
n

}
=
t
t 0
sin ) (
2
dx nx x f b
n
Serie de Fourier de senos:

=
=
1
sin ) (
n
n
nx b x f
Matemtica Aplicada TECSUP - PFR
152
3. FUNCIONES DE PERIODO ARBITRARIO
En trminos generales la serie de Fourier para un periodo T tenemos:

=
T/2
T/2
0
) (
1
dt t f
T
a

=
T/2
T/2
cos ) (
2
dt nwt t f
T
a
n

=
T/2
T/2
sin ) (
2
dt nwt t f
T
b
n
Para: n = 1, 2, 3, .
Donde:
T
w
t 2
=

=
+ + =
1
0
) sin cos ( ) (
n
n n
nwx b nwt a a t f
Funcin Par

}
=
T/2
0
0
) (
2
dt t f
T
a

}
=
T/2
0
cos ) (
4
dt nwt t f
T
a
n
0 =
n
b
Serie de Fourier de cosenos:

=
+ =
1
0
cos ) (
n
n
nwt a a t f
TECSUP - PFR Matemtica Aplicada
153
Funcin impar:
0 a
0
=
0 =
n
a

}
=
T/2
0
sin ) (
4
dt nwt t f
T
b
n
Serie de Fourier de senos:

=
=
1
sin ) (
n
n
nwt b t f
Ejemplo 1: Hallar la serie de Fourier de la funcin: f (x) = | x |
f (x) = f (x + 2) periodo: T = 2
Funcin PAR:
Clculo de a 0
}
=
T/2
0
0
) (
2
dt t f
T
a
1
0
2
0
1
0
0
T/2
0
0
2
a
2
2
a ) (
2
a
(
(

= = =
} }
x
dx x dx x f
T

2
1
a
0
=
x
f (x)
0
-1 1
1
Matemtica Aplicada TECSUP - PFR
154
Clculo de a n
}
=
T/2
0
cos ) (
4
dt nwt t f
T
a
n
}

|
|
.
|

\
|
=
T/2
0
2
cos ) (
4
dx
T
x n
x f
T
a
n
t

}
=
T/2
0
cos ) (
4
dx x n x f
T
a
n
t
}
=
1
0
cos 2 dx x n x a
n
t
Integrando por partes:
} }
= = = = cos cos dx x n dv dx x n dv dx d x t t
Recordar: z dz =
}
x n
n
v dx n x n
n
v t
t
t t
t
sin
1
cos
1
= =
}
} }
= = sin
1
sin
1
dx x n
n
x n
n
x I du v v u I t
t
t
t
) cos (
) (
1
sin sin
) (
1
sin
2 2
x n
n
x n
n
x
I dx n x n
n
x n
n
x
I t
t
t
t
t t
t
t
t
= =
}
2
) (
cos sin
t
t
t
t
n
x n
n
x n x
I +

=
1
0
2
1
0
1
0
2
) (
cos sin
2
) (
cos sin
2
(
(

+
(

=
(
(

=
t
t
t
t
t
t
t
t
n
x n
n
x n x
a
n
x n
n
x n x
a
n n
| |

+ = o n
n
n
n
a
n
cos cos
) (
1
] 0 [sin
1
2
2
t
t
t
t
| |

+ = 1 cos
) (
1
0 2
2
t
t
n
n
a
n
{ } 1 cos
2
2 2
= t
t
n
n
a
n

=
=
=
etc. , 6 , 4 , 2 0
etc. , 5 , 3 , 1
4
2 2
n
n
n
a
n t
TECSUP - PFR Matemtica Aplicada
155
Clculo de la serie

=
+ =
1
0
cos ) (
n
n
nwx a a x f

=
|
|
.
|

\
|
+ =
1
2
2
cos
2
1
) (
n
n
x n a x f
t

... x 5 cos
25
4
x 3 cos
9
4
x cos
4
2
1
) x ( f
2 2 2
t
t
t
t
t
t
=
Ejemplo 2: Encontrar la serie de Fourier de la funcin peridica f (x) que se
muestra a continuacin:
La representacin analtica es:

< < +
< <
=
t
t
x cuando k
x cuando k
(x) f
0
0
y ) (x f x f t 2 ) ( + =
Funciones de este tipo se encuentran como fuerzas externas que actan sobre
sistemas mecnicos, fuerzas electromotrices en circuitos elctricos, etc.
El rea bajo la curva de f (x) entre t y t es cero y, por lo tanto de acuerdo con
los coeficientes de Fourier tenemos que a
0
= 0.
Clculo de a 0
}

=
T/2
T/2
0
) (
1
dt t f
T
a
| | | | ( )
t
t
t
t
t
t t t t
0
0
- 0
0
0
-
0
-
0
1
a -
1
a ) (
2
2
a x k x k dx k dx k dx x f + =
(
(

+ = =
} } }
| | | | ( ) ( ) t t
t
t t
t
k k k k + = + =
1
a 0 ) ( 0
1
a
0 0
0 a
0
=
0
t t 2t
-k
k
f (x)
x
Matemtica Aplicada TECSUP - PFR
156
Clculo de a n
}

=
T/2
T/2
cos ) (
2
dt nwt t f
T
a
n
} } }

|
|
.
|

\
|
(
(

+ +
(
(

= =
t
t
t
t t t
t
t 0
0
cos ) ( cos ) (
1
2
2
cos ) (
2
2
dx nx k dx nx k a dx x n x f a
n n
|
|
.
|

\
|
(
(

+ +
(
(

=
} }

t
t t 0
0
cos ) (
1
cos ) (
1 1
ndx nx k
n
ndx nx k
n
a
n
|
|
|
.
|

\
|
(

+
(

=
t
t
t
0
0
-
sin sin
1
nx
n
k
nx
n
k
a
n
| | | |
|
|
.
|

\
|
+ = ) 0 sin( ) sin( ) sin( ) 0 sin(
1
t t
t
n
n
k
n
n
k
a
n
( ) ) 0 sin( ) sin( ) sin( ) 0 sin( + + = t t
t
n n
n
k
a
n
( ) ) 0 sin( 2 ) sin( ) sin( + = t t
t
n n
n
k
a
n
0 =
n
a
Debido a que: sin nx = 0 en: t, o, t para todo n = 1, 2, 3,..
Clculo de b n
}

=
T/2
T/2
sin ) (
2
dt nwt t f
T
b
n
TECSUP - PFR Matemtica Aplicada
157
} } }

|
|
.
|

\
|
(
(

+ +
(
(

= =
t
t
t
t t t
t
t 0
0
sin ) ( sin ) (
1
2
2
sin ) (
2
2
dx nx k dx nx k b dx x n x f b
n n
|
|
.
|

\
|
(
(

+ +
(
(

=
} }

t
t t 0
0
sin ) (
1
sin ) (
1 1
ndx nx k
n
ndx nx k
n
b
n
|
|
|
.
|

\
|
(

+
(

=
t
t
t
0
0
-
cos cos
1
nx
n
k
nx
n
k
b
n
| | | |
|
|
.
|

\
|
= ) 0 cos( ) cos( ) cos( ) 0 cos(
1
t t
t
n
n
k
n
n
k
b
n
( ) ) 0 cos( ) cos( ) cos( ) 0 cos( + = t t
t
n n
n
k
b
n
Puesto que: cos (-u) = cosu y cos (0) = 1, se llega a:
) cos 1 (
2
t
t
n
n
k
b
n
=
Clculo de b n funcin IMPAR
}
=
T/2
0
sin ) (
4
dt nwt t f
T
b
n
} }
|
|
.
|

\
|
(
(

+ = =
t t
t t
t
t 0 0
sin ) (
2
2
2
sin ) (
2
4
dx nx k b dx x n x f b
n n
(
(

+ =
}
t
t 0
sin ) (
1 2
ndx nx k
n
b
n
t
t
0
cos
2
(

= nx
n
k
b
n
| |
|
|
.
|

\
|
= ) 0 cos( ) cos(
2
t
t
n
n
k
b
n
Matemtica Aplicada TECSUP - PFR
158
( ) ) 0 cos( ) cos(
2
+ = t
t
n
n
k
b
n
Puesto que: cos (0) = 1, se llega a:
) cos 1 (
2
t
t
n
n
k
b
n
=
Ahora, cos t = -1, cos 2t = 1, cos 3t = -1, etc., en general:

=
par para 0
impar para 2
cos 1 as, y
par para 1
impar para 1
cos
n
n
n
n
n
n t t
De aqu, los coeficientes b
n
de Fourier son:
,....
5
4
, 0 ,
3
4
, 0 ,
4
5 4
3
2 1
t t t
k
b b
k
b b
k
b = = = = =
Clculo de la serie
Puesto que a
0
y a
n
son nulos, la serie de Fourier correspondiente es:

=
+ + =
1
0
) sin cos ( ) (
n
n n
nwx b nwt a a t f


=

=
= + + =
1 1
sin ) ( )
2
2
sin 0 ( 0 ) (
n
n
n
n
nx b x f x n b x f
t
t
(

+ + + = ... 5 sin
5
1
3 sin
3
1
sin
4
) ( x x x
k
x f
t
Las sumas parciales son:
etc. , 3 sin
3
1
sin
4
, sin
4
2 1 (

+ = = x x
k
S x
k
S
t t
Y sus grficas, mostradas a continuacin, parecen indicar que la serie es
convergente y tiene por suma f (x), la funcin dada. Se nota que en x= 0 y x =
t, los puntos de discontinuidad de f (x), todas las sumas parciales tienen el valor
cero, la media aritmtica entre los valores - k y k de la funcin.
TECSUP - PFR Matemtica Aplicada
159
Figura 6. A medida que vamos sumando armnicas a la fundamental,
La resultante se aproxima mejor a la onda requerida
Matemtica Aplicada TECSUP - PFR
160
ANOTACIONES:
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................
.............................................................................................................................