CAPITULO V

5.1 Funciones ortogonales.

5.2 Conjuntos ortogonales y conjuntos ortonormales.
5.3 Definicin de serie de Fourier.
5.4 Convergencia de una serie de Fourier.
5.5 Series de Fourier de una funcin de periodo arbitrario.
5.6 Serie de Fourier de funciones pares e impares (desarrollo coseno o
seno).
5.7 Serie de Fourier en medio intervalo.
5.8 Forma compleja de la serie de Fourier.

El anlisis de Joseph Fourier matemtico francs (1768-1830), nace en la
prctica de la Matemtica del siglo XVIII, a partir del intento de ste
matemtico por hallar la solucin a un problema prctico, la conduccin del
calor en un anillo de hierro. Demostr que se puede obtener una funcin
discontinua a partir de la suma de funciones continuas. Tesis que fue
defendida por Fourier ante la Academia Francesa, lo que motiv severas
objeciones de los matemticos ms importantes de su poca como
Lagrange, Laplace, etc.
Las series trigonomtricas surgieron en relacin con el estudio de las
pequeas oscilaciones que existen en los medios elsticos, se tiene
conocimiento de que su influencia fue decisiva en el desarrollo del Anlisis a
lo largo del siglo XIX.
Las ondas armnicas continuas no existen realmente ya que todos los
movimientos ondulatorios estn limitados, tanto espacial como
temporalmente. Utilizando el anlisis de Fourier para funciones peridicas y
la transformada de Fourier para funciones aperidicas, se pueden describir
formas de ondas ms complejas como las que producen los instrumentos
musicales.
La solucin de algunas ecuaciones diferenciales se puede resolver mediante
las series de Fourier fcilmente obteniendo soluciones muy prcticas.


Figura 5. 1 Funciones Matemticas o seales electrnicas?

5.1 Funciones ortogonales.
La palabra ortogonal significa que est en ngulo recto
1
.
Tambin se refiere a las dimensiones independientes de una cantidad medida. En un
mapa, es posible localizar un punto mediante su longitud y su latitud. Esas dos mediciones
son independientes y se necesitan a los dos para localizar el punto. Se dice que ellas son
ortogonales. En la medicin de vibracin, para el monitoreo de maquinaria, se mide la
aceleracin en tres direcciones ortogonales y de esas tres mediciones se puede determinar
la orientacin en el espacio de la vibracin. En el espacio tridimensional, las direcciones
ortogonales se sitan a 90 grados una de otra
2
.

1
http://www.wordreference.com/definicion/ortogonal
2
http://www.azimadli.com/vibman-spanish/ortogonal1.htm
FUNCIONES
MATEMTICAS
O SEALES
ELECTRNICAS
?
INGENIERAS:
ELECTRNICA,
SISTEMAS,
ELCTRICA,
QUMICA,
MECNICA,
CIVIL,
ARQUITECTURA
,
SEAL DIGITAL
SEAL
ANALGICA

Figura 5.2, Clasificacin de las funciones en Matemticas.

5.2 Conjuntos ortogonales y conjuntos ortonormales.
Un conjunto de vectores es ortonormal si es a la vez un conjunto ortogonal
y la norma [En un espacio eucldeo ordinario los vectores son representables como
segmentos orientados entre puntos de dicho espacio. Dado un vector de un espacio
vectorial eucldeo, la norma de un vector se define como la distancia (en lnea recta) entre
dos puntos A y B que delimitan dicho vector. De hecho, en un espacio eucldeo la norma de
un vector coincide precisamente con el mdulo del vector AB
3
] de cada uno de sus
vectores es igual a 1.
Esta definicin slo tiene sentido si los vectores pertenecen a un espacio
vectorial en el que se ha definido un producto interno, como sucede en los
espacios eucldeos E
n
donde el producto interno puede definirse en trminos
de distancias y proyecciones perpendiculares de vectores.


3
http://es.wikipedia.org/wiki/Norma_vectorial
CLASIFICACIN DE
FUNCINES
MATEMTICAS
FUNCIONES
ELEMENTALES
FUNCIONES NO
ELEMENTALES
Funciones
Trascendentales
Funciones
Algebraicas
Polinmicas
Lineales
Cuadrticas
Racionales
raz
Exponencial
Logartmica
Trigonomtricas
Hiperblicas
DISTRIBUCIN
DE PROBABILIDAD
Funcin modulo
Funcin escaln unitario
Funcin parte entera
Funcin potencial
Funcin Mantisa
Funcin signum
Funcin de Dirichlet
Funcin de Ackermann
Transformaciones lineales
Transformada de Laplace
Transformada de Fourier
Funcin Hipergeomtrica.

Ejemplos:
- En el espacio eucldeo tridimensional E
n
= R
3
el conjunto S = {u
1
, u
2
, u
3
}
formado por los tres vectores u
1
= (1,0,0), u
2
= (0,1,0) y u
3
= (0,0,1) es un
conjunto ortonormal.
- En espacios vectoriales ms abstractos donde puedan definirse ms de
un producto interno, un conjunto podra ser ortonormal respecto al primer
producto interno, pero no ser ortonormal respecto al segundo producto
interno
4
.

5.2.1. Relaciones de Ortogonalidad

Existen muchos tipos de series en Matemticas. Dentro de las ms sencillas
encontramos las llamadas Series de Fourier Trigonomtricas, que como un
ejemplo presentamos, la serie de Fourier de la funcin Sen(nx) multiplicada
por la serie armnica 1/n para 0 = n .
........ 4
4
1
3
3
1
2
2
1
) (
1
1
+ + + + =

=
x Sen x Sen x Sen Senx nx Sen
n
n

Las series de Fourier tienen importantes interpretaciones, estas estn
basadas en una teora muy diferente a las series de potencias.
Proyeccin ortogonal, es la de una forma observada sobre una recta, un
plano o una superficie cualquiera, utilizando perpendiculares bajadas desde
sus puntos.
Si contamos con una sucesin de funciones reales (que se pueden
reproducir en laboratorio), tales como: ( ) { } ... ,..... 4 , 3 , 2 , 1 n n con x
n
= y
que se encuentran definidas sobre cierto intervalo (a, b), finito o infinito, estas
tiene la propiedad, tal que:
( ) ( )

= =
=
=
}
n m si
n m si
dx x x
b
a
n m
; 0
; 0

Podemos mencionar que las funciones formarn un conjunto Ortogonal
sobre ese intervalo
5
(a, b).

4
http://es.wikipedia.org/wiki/Norma_vectorial
5
C. Ray Wayle. Matemticas Superiores para Ingeniera. Mc Graw Hill 4. Edicin (2.
Edicin en espaol), Pg.392

Ejemplo.5.1 Las funciones: f(x) = x y g(x) = x
2
son ortogonales en el
intervalo (-1,1), puesto que:
0
4
1
4
1
4
1
1
4 1
1
1
1
3 2
= = = =

} }
x
dx x dx xx
Las funciones Coseno y Seno, son ortogonales en el intervalo: -t s x s t,:

Figura 5.3. funciones Coseno y Seno.

Mediante la definicin de Ortogonalidad, se realiza la demostracin de que
las funciones Senx & Cosx son ortogonales, en el intervalo (-, ):
( )
0 0 0
2 2 2 2 2
2 2 2 2 2
= + = + =

= =
}

t t t t
t
t
t
t
Sen Sen Sen Sen x Sen
SenxCosxdx
Sugerencia: ( ) ( ) 0 & ,
2
2
= =
}
t sen
a
ax Sen
dx ax Cos ax Sen




Ortonormal.
Si las funciones de un conjunto ortogonal
( ) { } ... ,..... 4 , 3 , 2 , 1 n n con x
n
=
Tienen la propiedad de que: ( ) ( ) n toda para dx x x
b
a
n m
, 1 =
}
se dice que
estas funciones son ortonormales sobre el intervalo (a, b): si un conjunto de
funciones ortogonales ( ) { } x
n
, tiene la propiedad Ortonormal, antes
mencionada, esto implica funciones ortonormales en el mismo intervalo.

Todo conjunto de funciones ortogonales se puede transformar fcilmente en
un conjunto Ortonormal. En efecto, si las funciones del conjunto ( ) { } x
n
, son
ortogonales y K
n
es el valor de dx x
b
a
n
}
) (
2
> 0, implica que las funciones:
,
) (
2
2
k
x
,
) (
3
3
k
x
,
) (
4
4
k
x
.. Son evidentemente Ortonormales.
Lo anterior hace suponer que un conjunto de funciones Ortogonales lo es
tambin Ortonormal
6
.
Ejemplo:
a). Demostrar que las funciones:
,
2
1
L
,
1
x
L
Sen
L
t
,
1
x
L
Cos
L
t
,
2 1
x
L
Sen
L
t
,
2 1
x
L
Cos
L
t
forman un
conjunto ortogonal en el intervalo, -L, L.
b). Determinar las constantes de normalizacin correspondientes al conjunto
del inciso a), tal que el conjunto de funciones sea Ortonormal.

Soluciones: a), si k = 1, 2, 3, 4,
i). =
}

dx
L
x k
Sen
L
L
t
(

L
L k
Cos
L
L k
Cos
K
L
L
x k
Cos
k
L
L
L
t t
t
t
t

| | t t
t
Cosk Cosk
K
L
= = 0
ii). =
}

dx
L
x k
Cos
L
L
t
=
}

dx
L
x k
Sen
k
L
L
L
t
t
(

L
L k
Sen
L
L k
Sen
K
L
L
x k
Sen
k
L
L
L
t t
t
t
t

| | 0 = + = t t
t
Senk Senk
K
L







6
C. R. Wcye, Jr. Matemticas superiores para Ingeniera, editorial Mc Graw Hill, pginas
370 a 377.
,
) (
1
1
k
x
a-i). Demostracin; si m= n:
=
}

dx
L
x n
Cos
L
x m
Cos
L
L
t t
=
}

dx
L
x m
Cos
L
L
t
2
= +

L
L
L
m
x
L
m
Sen
x
t
t
4
2
2

+
2
L

L
m
L
L m
Sen
t
t
4
2
( )

2
L
L
m
L
L m
Sen
t
t
4
2
= +
2
L
L
m
m Sen
t
t
4
2
-
( )
+

2
L
L
m
m Sen
t
t
4
2
=
L
L L
= +
2 2

Sugerencia:
Sen 2mk = 0, para todo valor de k &
}
+ =
a
ax Sen x
axdx Cos
4
2
2
2

a-ii). Demostracin; si m= n:
=
}

dx
L
x n
Sen
L
x m
Sen
L
L
t t
=
}

dx
L
x m
Sen
L
L
t
2
=

L
L
L
m
x
L
m
Sen
x
t
t
4
2
2

2
L

L
m
L
L m
Sen
t
t
4
2
( )

2
L
L
m
L
L m
Sen
t
t
4
2
= +
2
L
L
m
m Sen
t
t
4
2
-
( )
+

2
L
L
m
m Sen
t
t
4
2
=
L
L L
= +
2 2


a-iii). Demostracin; si m n:
; 0
}

=
L
L
dx
L
x n
Cos
L
x m
Sen
t t

Sugerencia:
( )
( )
( )
( )
x
q p
q p Cos
x
q p
q p Cos
dx SenpxCosqx
+
+

=
}
2 2
& Cos(-) = Cos(), funcin par.
Sean:
L
n
q
L
m
p
t t
= = & Entonces:
}

=
L
L
dx
L
x n
Cos
L
x m
Sen
t t
|
.
|

\
|

|
.
|

\
|

L
n
L
m
x
L
n
L
m
Cos
t t
t t
2
|
.
|

\
|
+
|
.
|

\
|
+

L
n
L
m
x
L
n
L
m
Cos
t t
t t
2

=
|
.
|

\
|

|
.
|

\
|

L
n
L
m
L
L
n m
Cos
t t
t t
2
|
.
|

\
|
+
|
.
|

\
| +

L
n
L
m
L
L
n m
Cos
t t
t t
2
( )
|
.
|

\
|

|
.
|

\
|
+
L
n
L
m
L
L
n m
Cos
t t
t t
2
( )
|
.
|

\
|
+

|
.
|

\
| +
+
L
n
L
m
L
L
n m
Cos
t t
t t
2

=
( )
( )
L
n m
n m Cos
t
t

2
( )
( )
L
n m
n m Cos
t
t
+
+

2
( )( )
( )
L
n m
n m Cos
t
t

+
2
( )( )
( )
L
n m
n m Cos
t
t
+
+
+
2

=
( )
( )
L
n m
n m Cos
t
t

2
( )
( )
L
n m
n m Cos
t
t
+
+

2
( )( )
( )
L
n m
n m Cos
t
t

+
2
( )( )
( )
L
n m
n m Cos
t
t
+
+
+
2
= 0
b). Solucin: como, =
}

dx
L
x m
Sen
L
L
t
2
L & =
}

dx
L
x m
Cos
L
L
t
2
L
Entonces: 1
1
2
=
|
|
.
|

\
|
}

dx
L
x m
Sen
L
L
L
t
& 1
1
2
=
|
|
.
|

\
|
}

dx
L
x m
Cos
L
L
L
t

Tambin es posible, ( ) 1 1
2
=
}

dx
L
L
o 1
2
1
2
= |
.
|

\
|
}

dx
L
L
L
, tales que, el conjunto
Ortonormal, es:
,
2
1
L
,
1
x
L
Sen
L
t
,
1
x
L
Cos
L
t
,
2 1
x
L
Sen
L
t
,
2 1
x
L
Cos
L
t


5.2.2. Teorema: Ortogonalidad del sistema trigonomtrico bsico, la
integral sobre el intervalo t t s s x del producto de cualquier par de
funciones distintas del sistema trigonomtrico bsico
)
`

,........ 2 , 2 , , , 1 x Sen x Cos Senx Cosx es igual a cero, esto es

7
:

7
Hdez. Lerma Onsimo. Mtodos de Fourier en la Fsica y en la Ingeniera. Editorial
Trillas. 1. Edicin, octubre 1973, Pg. 56.
}

= = =
t
t
,..... 3 , 2 , 1 , 0 ,.....; 3 , 2 , 1 , , 0 ) ( ) ( ) m n para dx mx Cos nx Sen i
....... 4 , 3 , 2 , 1 , :
, , 0
, ,
) ( ) ( ) =

=
=
=
}

n m con
n m si
n m si
dx mx Sen nx Sen ii
t
t
t

.
0 , ; 2
, 2 , 1 , ;
, ; 0
) ( ) ( )
}

= =
= =
=
=
t
t
t
t
n m si
n m si
n m si
dx mx Cos nx Cos iii

La demostracin de que los valores de las integrales anteriores tienen los
resultados expresados, las debe realizar el estudiante como ejercicio de
calentamiento, utilizando el teorema de las integrales definidas que
adelante se detalla, para las funciones pares e impares.

5.3 Definicin de la serie de Fourier.

La serie de Fourier es una serie infinita y converge a una funcin continua
(sin agujeros) y peridica. Las series de Fourier son una herramienta
matemtica bsica del anlisis de Fourier y se utiliza para efectuar el estudio
en frecuencia de funciones peridicas mediante la descomposicin de
dichas funciones, en una suma infinitesimal de funciones senoidales y/o
cosenoidales, mucho ms elementales.
El nombre de estas series se debe a un gran matemtico francs Jean-
Baptiste Joseph Fourier (1772-1837) que elabor su teora cuando analizaba
la ecuacin del calor. Fue Fourier quien estudi primeramente
sistemticamente las series y public sus resultados en los aos de 1807 y
1811. a este tipo de estudio de las funciones peridicas, tambin se le
conoce como anlisis armnico.
Es una aplicacin usada en muchas ramas de la ingeniera, adems de ser
una herramienta sumamente til en la teora matemtica abstracta. Las
reas de aplicacin incluyen anlisis vibratorio, acstica, ptica,
procesamiento de imgenes y seales, y compresin de datos. En
ingeniera, para el caso de los sistemas de telecomunicaciones, y a travs
del uso de los componentes espectrales de frecuencia de una seal dada,
se puede optimizar el diseo de un sistema para la seal portadora del
mismo. Mediante el uso de un analizador de espectros
8
.

Funcin peridica.
Una funcin f(x), es peridica, si - un nmero T = 0 f(x + T) = f(x), x e
R
Donde T se conoce como periodo de la funcin.
T ser el periodo fundamental si es el menor nmero positivo que satisface
la ecuacin anterior.
Ejemplos clsicos de funciones trigonomtricas:
Sen(x) y Cos(x) son peridicas, con perodo T = 2t
Lo anterior significa que:
Sen(x + 2t) = sen(x) y Cos(x + 2t) = Cos(x), x e R
Las demostraciones son elementales y debe utilizar las recetas siguientes:
Sen (A + B) = Sen A Cos B + Sen B Cos A
y
Cos (A + B) = Cos A Cos B Sen A Sen B
Ejercicio para liberar las neuronas de tensiones negativas:
Encontrar el periodo de la funcin: f(x) = Cos(x/3) + Cos(x/4).
Solucin. Utilizando Cos (u+2tm) = Cosu , para cualquier m.
Debemos considerar la forma peridica, como sigue:
( ) ( )
4 3
)
4
1
4
1
( )
3
1
3
1
(
4
1
3
1 x
Cos
x
Cos T x Cos T x Cos T x Cos T x Cos + = + + + = + + +
Lo que nos lleva a pensar que,
n y m T t t 2
4
1
2
3
1
= =
Con n & m enteros, las ecuaciones anteriores nos llevan a considerar que, T
= 6tm = 8tm, lo que nos conduce a tomar: m = 4 & n = 3 para obtener el
valor mnimo de T, y mediante el ensayo y error llegamos a considerar que,
T = 24t.


8
http://es.wikipedia.org/wiki/Serie_de_Fourier
Ejercicios elementales, para el estudiante:
i). Grafique la funcin, f(x) = ,x, , si -1 s x < 1, y f(x + 2) = f(x).

ii).Grafique la funcin definida por.



La cual es peridica con periodo, T = 2.
iii) Grafique la funcin Constante, f(x) = c, la cual es peridica con periodo T
para toda T e R, o sea f(x + T) = c = f(x), T e R y x e R.

LA SERIE DE FOURIER, en un intervalo -t s x s t, se representa
mediante:
nx Sen b nx Cos a a x f
n
n
n
+ + ~

=1
0
2
1
) (
Donde los coeficientes se conocen como, coeficientes de Euler-Fourier, y
estn dados por:

. ) (
1
. ) (
1
. ) (
1
0
dx nx Sen x f b
dx nx Cos x f a
dx x f a
n
n
}
}
}

=
=
=
t
t
t
t
t
t
t
t
t



La serie de Fourier en una representacin compacta, es:
) ( ) (
0
n
n
n
nx Cos c x f + ~

=
Con
2 2
n n n
b a c + = &
|
|
.
|

\
|
=

n
n
n
a
b
Tan
1

,........ 3 , 2 , 1 , 0 ,
1 2 2 , , 1
2 1 2 , , 0
) ( =

+ < s
< s
= n para
n x n si
n x n si
x f

Figura, 5.4. Onda cuadrada en negro y sus componentes en frecuencia, obtenidas por
Fourier.



Figura, 5.5, diferentes funciones y su aproximacin con series de Fourier.

Ejercicio 5.2 Obtener la serie de Fourier de la siguiente funcin peridica, de
periodo T = 2t .

Figura 5.6 funcin peridica,

< s
< s
= + =
t
t
t
x
x
x f x f
0 ; 0
0 ; 1
) 2 ( ) (
f(x)
0
x

1
2 3 4 - -2 3
..
..
| | 1 ) 0 (
1 1
) 1 (
1
) 0 (
1
) (
1
0
0
0
0
= = = = + = =
} } }

t
t
t
t t t t t
t
t
t
t
t
x dx dx dx x f a

dx Cosnx x f a
n
}

=
t
t
t
) (
1
} }
+ =

t
t
t t
0
0
) 1 (
1
) 0 (
1
Cosnxdx Cosnxdx

t t
t t
0 0
1 1
(

= =
}
n
Sennx
Cosnxdx a
n
0 ) 0 0 (
1 ) 0 ( ) ( 1
0
= =
(

=
t
t
t
t
n n
Sen
n
n Sen

. ) (
1
. dx Sennx x f b
n
}

=
t
t
t
dx Sennx x f
}

=
t
t
t
) (
1
} }
+ =

t
t
t t
0
0
) 1 (
1
) 0 (
1
Sennxdx Sennxdx

t t
t t
0 0
1 1
(

= =
}
n
Cosnx
Sennxdx b
n
| | 0 1 ) 1 (
1 ) 0 ( ) ( 1
0
= =
(

=
n
n n
Cos
n
n Cos
t
t
t
t

| |
n
n
n
b ) 1 ( 1
1
=
t
donde:

=
=
=
impar n para
par n para
n
, 1
, 1
) 1 (

=
impar n para
n
par n para
b
n
, ,
2
, , 0
t

nx Sen b nx Cos a a x f
n
n
n
+ + ~

=1
0
2
1
) (
|
.
|

\
|
+ + ~

=
) (
2
) 0 ( ) 1 (
2
1
nx Sen
n
Cosnx
impar n
t

|
.
|

\
|
+ ~

=
) (
1 2
) 1 (
2
1
nx Sen
n
Par n
t
que es la serie de Fourier de la grfica 5.7.
La expandimos de la siguiente manera:
(

(
+ |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
+

|
.
|

\
|
+ + ~ ....... 9
9
1
7
7
1
5
5
1
3
3
1 2
2
1
) ( x Sen x Sen x Sen x Sen Senx x f
t

En los argumentos de los ngulos, los nmeros 1, 3, 5, 7, 9, etc. son los
llamados armnicos de la serie.
| | ....... 9 111 . 0 7 142 . 0 5 2 . 0 3 33 . 0
2
2
1
) ( + + + + + + ~ x Sen x Sen x Sen x Sen Senx x f
t

..... 9 07 . 0 7 09 . 0 5 127 . 0 3 21 . 0 636 . 0
2
1
) ( + + + + + + ~ x Sen x Sen x Sen x Sen Senx x f

Graficando frecuencia contra amplitud de armnicos, tenemos:


Figura 5.7 grfica de la frecuencia contra la amplitud de los armnicos (o espectro de
frecuencias), de la funcin

< s
< s
= + =
t
t
t
x
x
x f x f
0 ; 0
0 ; 1
) 2 ( ) ( .

Ejercicio 5.3 Obtener la serie de Fourier de la siguiente funcin peridica, de
periodo T = 2t .

Figura 5.8 funcin peridica,

< s
< s
= + =
t t
t
t
x
x x
x f x f
0 ;
0 ;
) 2 ( ) (
( ) ( ) | | ) 0 ( 0
2
1
2
1 1 1
) (
1
2
0
0
0
2 0
0
+ = +
(

= + = =
} } }

t t
t t
t
t t t
t
t
t t
t
t
x
x
dx xdx dx x f a

( )
2 2
1
1
2 2
1
2
0
t
t
t
t t t
t
=
|
.
|

\
|
= = + = a

1
Amplitud
del
armnico
Frecuencia
1/2
0 2 4 6 8 10
0.636
0.21
0.127
0.09
0.07
-

0
2 3

4

-
-2
f(x)
x
}
=
t
t
0
1
Cosnxdx a
n
} }
+ =

t
t
t
t t
0
0
) (
1 1
Cosnxdx xCosnxdx
} }
+ =

t
t
t
0
0
1
Cosnxdx xCosnxdx

t
t
t
0
0
2
1
|
.
|

\
|
+
|
.
|

\
|
+ =

n
Sennx
n
xSennx
n
Cosnx
a
n

|
.
|

\
|
+ =
n
Senn
n
Cosn ) 0 ( ) 0 ( ) 0 ( 1
2
t

(

(
|
.
|

\
|

n
Senn
n
Cosn ) ( ) (
2
t t t
|
.
|

\
|
+
n
Sen
n
Senn ) 0 ( ) (t

( ) ( )
( ) | |
n
n n
n n n n n n n n n
a 1 1
1 1 1 1 0 0 0 1 0 1 1
2 2 2 2 2 0
=
|
|
.
|

\
|

=
|
.
|

\
|
+
|
|
.
|

\
|
+

+ =
t t t

( ) | |
n
n
a 1 1
1
2 0
=
t
donde:

=
=
=
impar n para
par n para
n
, 1
, 1
) 1 (

=
impar n para
n
par n para
a
n
,
1
, 0
2
t

. ) (
1
. dx Sennx x f b
n
}

=
t
t
t
dx xSennx
}

=
0
1
t
t
}
+
t
t
t
0
) (
1
Sennxdx
dx xSennx
}

=
0
1
t
t
}
+
t
0
Sennxdx

t
t
t
0
0
2
1
.
(

n
Cosnx
n
xCosnx
n
Sennx
b
n

(

+ =
n
Cosn
n
Cosn
n
Cosn
n
Senn
n
Cosn
n
Senn
b
n
) 0 ( ) 0 ( ) 0 ( ) 0 ( 1
.
2 2
t t t t
t

n n n n n n n
b
n n n n
n
1 1 ) 1 ( ) 1 ( 1 ) 1 ( ) 1 ( 1
. = +

=
(

=
t
t
Que:
nx Sen b nx Cos a a x f
n
n
n
+ + ~

=1
0
2
1
) (
| |
)
`

+
|
.
|

\
|
~

=
Sennx
n
Cosnx
n
x f
n
n
1
) 1 ( 1
1
2 2
1
) (
1
2
t
t


Se deja como ejercicio al alumno la expansin de la serie de Fourier y la
grfica del espectro de frecuencia.





Ejercicio para que el alumno resuelva en casa:
Ejercicio 5.4 Hallar la serie de Fourier de la funcin:

< s
< s
= + =
t
t
t
x Senx
x
x f x f
0 ;
0 ; 0
) 2 ( ) ( Solucin.

=

+ + =
1
2
4 1
2 2
2
1 2
) (
n
n
nx Cos
Senx x f
t t


Ejercicio 5.5 hallar la serie de Fourier de la funcin:
x
e x f x f = + = ) 2 ( ) ( t en el intervalo: t t < s x
Solucin.
(

+

+ =

=1
2 2
) 1 (
) ( ) 1 (
2
1
) (
n
n
n
Sennx Cosnx
Senh x f
t
t t
t


Ejercicio 5.6 hallar la serie de Fourier de la funcin:

< s
< s
=
t
t
x para x
x para
x f
0 ;
0 ; 0
) ( en el intervalo: t t < s x y graficar la funcin.
Solucin.

=

+ + =
1
2
4 1
2 2
2
1
2
1
) (
n
n
nx Cos
Senx x f
t

Ejercicio 5.7 hallar la serie de Fourier de la funcin:

< s
< s
< s
=
2 2
; 0
2 2
;
2
; 0
) (
t t
t t
t
t
x
x Cosx
x
x f en el intervalo: t t < s x y graficar la funcin.
Solucin.
( )
Cosnx
n
Cos
n
Cosx x f
n
2 4 1
1 2
2
1 1
) (
1
2
t
t t

=

+ + =
Ejercicio 5.8 Hallar la serie de Fourier de la funcin:

< s
< s
=
t
t
x para x
x para
x f
0 ;
0 ; 0
) ( en el intervalo: t t < s x y graficar la funcin.
Solucin.


=
+
=

=
1
1
1
2
) 1 (
) 1 2 (
) 1 2 ( 2
4
) (
n
n
n
n
Sennx
n
x n Cos
x f
t
t





5.4 Convergencia de una serie de Fourier.

Sea f(x) una funcin definida para todo valor de x, con T = 2t tal que, la
serie de Fourier de la funcin f converge a f(x) para todo x.
Las condiciones de dicha convergencia y lo que se debe esperarse de la
convergencia, sern:
S una funcin f es continua en cada intervalo de longitud 2t excepto en un
nmero finito de discontinuidades de salto, donde el valor de f es el
promedio de sus lmites por la izquierda y por la derecha y en cada intervalo
de longitud 2t , la funcin f tiene una derivada continua, excepto en los
puntos de salto y en un nmero finito de esquinas.
En los puntos de salto y en las esquinas hay un valor lmite para la derivada
por la derecha y por la izquierda (sugerida por las lneas tangentes).
La funcin f que satisfaga estas condiciones se llama funcin continua a
trozos.
As, la serie de Fourier de una funcin f(x) continua a trozos, de periodo 2t
converge a f(x) para todo x.
Supongamos que f(x) es una funcin peridica, continua a trozos y acotada,
que en un periodo tiene un nmero finito de mximos y mnimos locales y un
nmero finito de discontinuidades, de perodo 2t , Sean:
Cosnxdx x f a
n
}

=
t
t
t
) (
1
y Sennxdx x f b
n
}

=
t
t
t
) (
1
y entonces la serie converge a
| | ) ( ) (
2
1
) ( + + = x f x f x f en donde | | ) ( ) ( x f lm x f
x x +
= + y | | ) ( ) ( x f lm x f
x x
=
Conocido como teorema de Dirichlet
9
.

5.5. Serie de Fourier para una funcin de periodo arbitrario c.

LA SERIE DE FOURIER, en un intervalo -c s x s c, se representa mediante:
c
x n
Sen b
c
x n
Cos a a x f
n
n
n
t t
+ + ~

=1
0
2
1
) (

9
http://www.uclm.es/profesoradO/raulmmartin/AmpliacionMatematicas/SeriesFourier.pdf
Donde los coeficientes se conocen como, coeficientes de Euler-Fourier, y
estn dados por:

. ) (
1
. ) (
1
. ) (
1
0
dx
c
x n
Sen x f b
dx
c
x n
Cos x f
c
a
dx x f
c
a
n
c
c
n
c
c
}
}
}

=
=
=
t
t
t
t
t


Ejercicio 5.9 encontrar la serie de Fourier de periodo arbitrario de la funcin
f(x), con periodo arbitrario, presentada en la figura 5.11, con T = 2.

Figura 5.9 funcin peridica,

< s
< s
= + =
1 0 ; 1
0 1 ;
) 2 ( ) (
x
x x
x f x f
Solucin:
2
1
1
2
1
0 1
2
) 1 (
0
2
) (
1
1
) (
1
2
1
0
0
1
2 1
1
0
1
1
0
0
= + = + +

= + = + = = =

} } } }
x
x
dx xdx dx x f dx x f
c
a
c
c

1
0
0
1
0
1
1
0
2
1
1
1
1
) (
1
(

+
(

+ = + = =

} } }
n
Sennx
n
xSennx
n
Cosnx
Cosnxdx xCosnxdx dx
c
x n
Cos x f
c
a
c
c
n
t

n
Senn
n
Cosn
n n
Senn
n
n Sen
n
n Cos
n
Cos
a
n
= + +

+ =
2 2 2 2
1
0
) ( ) (
0
0

1
0
0
1
2
0
1
1
0
1
1
1
1
) (
1
(

= + = =

} } }
n
Cosnx
n
xCosnx
n
Sennx
Sennxdx xSennxdx dx
c
x n
Sen x f b
n
t
t
t
t

n
Cos
n
Cosn
n
n Cos
n
n Sen
n
Cos
n
Sen
b
n
0 ) ( ) ( 0 0 0
2 2
+

=
-1
1
0
1 2
3

4

-1
-2
f(x)
x
n n
Cosn
n
Senn
n n
Cosn
n
Cosn
n
Senn
b
n
1 2 1
0 0
2 2
= + + + =
y la serie de Fourier, es:
Sennx
n n
Cosn
n
Senn
Cosnx
n n
Cosn
n
x f
n

=
|
.
|

\
|
+ +
|
.
|

\
|
+ + ~
1
2 2 2
1 2 1 1
4
1
) (

Ejercicios para que el alumno realice en casa:

Ejercicio 5.10 hallar la serie de Fourier de la funcin:

Figura 5.10 funcin peridica,

< s +
< s +
= + =
1 0 ; 1
0 1 ; 1
) 2 ( ) (
x x
x x
x f x f
Solucin:

=
|
.
|

\
|
+ + ~
1
2 2
1
) 2 (
2
1
) (
n
Cosnx
n n
Cosn
x f

Ejercicio 5.11 hallar la serie de Fourier de la funcin:

Figura 5.11 funcin peridica,

< s
< s
= + =
1 0 ; 0
0 1 ; 1
) 2 ( ) (
x
x
x f x f
Solucin: ( )Sennx Cosn
n
Cosnx
n
Senn
x f
n
1
1
2
1
) (
1
+
|
.
|

\
|
+ ~

=


f(x)
x
0 2

-2
-1 1
1
-1
f(x)
0
x
1
1
2 3 4 -1 -2 -3
..
..
Ejercicio 5.12 hallar la serie de Fourier de la funcin:

< s
< s
= + =
2 1 ; 2
1 0 ;
) 2 ( ) (
x x
x x
x f x f
Solucin.

=
+
+
=
0
2 2
) 1 2 (
) 1 2 ( 4
2
1
) (
n
n
x n Cos
x f
t
t
, para las x (0, 2).
Ejercicio 5.13 Hallar la serie de Fourier de la funcin:
2
) ( x x f = en el
intervalo: 1 0 < s x y graficar la funcin.
Solucin. ( )
)
`

+
+
+
+ =

1
2 2 2 2
1
4 1
2 2
4 1
2
2 1 1 ) (
n
n
x n Sen n
n
x n Cos
e x f
t
t t
t
t

Ejercicio 5.14 hallar la serie de Fourier de la funcin:
x
e x f

= ) ( en el
intervalo: 1 0 < s x y graficar la funcin.
Solucin. x n Sen
n
x n Cos
n
x f
n
t
t
t
t
2
1
2
1
3
1
) (
1
2 2
+ =

=

Ejercicio 5.15 hallar la serie de Fourier de la funcin:

< s
< s
=
2 4
; 0
4
0 ; 2
) (
t t
t
x
x x Cos
x f en el intervalo:
2
0
t
< s x y graficar la funcin.
Solucin. nx Sen
n
n
nx Cos
n
Cosn
x f
n
4
4 1
2
4
4 1
2 1
) (
2
1
2

|
.
|

\
|

+ =

=
t
t t

Ejercicio 5.16 hallar la serie de Fourier de la funcin:
( )
( )

< s
< s +
=
1 0 ; 1 4
0 1 ; 1 4
) (
x x
x x
x f en el intervalo: 1 1 < s x y graficar la funcin.
Solucin. x Senn n x f
n
t
t

=
=
1
8
) (




5.6 Serie de Fourier de funciones pares e impares (desarrollo coseno o
seno).

Cuando una funcin Matemtica es par o impar su serie de Fourier, ser: si
es par slo aparecern trminos en Cosenos y si es impar tendremos
trminos Senos en la serie buscada, con lo anterior nos ahorramos tiempo
para desarrollar dichas series.

5.6.1. Funciones pares e impares.
Una funcin par: matemticamente es la que cumple, con: f (-x) = f (x), x
e R, su grafica es simtrica al eje vertical.

Figura 5.12 funciones par e impar, respectivamente.

Una funcin impar es aquella donde f(-x) =-f(x), su grfica es simtrica al
origen de coordenadas.
Ejemplos de funciones pares e impares:
-Sen (-x) =- Sen x impar. Graficar para mejor comprensin.
-Cos (-x) =Cos x par. Graficar esta funcin.
-Sen(nHx/c) es una funcin impar para cualquier entero n.
-Cos(nHx/c) es una funcin par, para cualquier entero n.
-Problema para quitar lo aburrido.
La funcin, f(x) = x
n
, es par o impar? demuestre y de su punto de vista.
Las funciones constantes diferentes de 0 son pares.

Existe una funcin que es par e impar a la vez, nos estamos refiriendo a la
funcin constante 0


Teorema. Si tenemos las funciones f & g, entonces;
a) Con f & g pares f + g & fg sern pares.
b) Con f & g impares f + g es impar & fg es par.
-
0
1
-
0
1
f(x)
f(x)
x x
c) Con f par & g impar fg es impar, la adicin no se sabe.

Ejemplos del producto de funciones.
i.- El resultado de la multiplicacin de las funciones (Sen nx).(Cos mx), (con: n =
1, 2, 3,....; m = 0, 1, 2, 3,.....) es impar.
ii.- El resultado de la multiplicacin de las funciones (Cos nx) .( Cos mx), (con:
n, m = 1, 2, 3,...) es par.
iii.- El resultado de la multiplicacin de las funciones (Sen nx) .( Sen mx)
(con n: & m = 1, 2, 3,....) es par.

Recordando que la interpretacin grfica de una integral, nos
representa el rea bajo la curva.
Si, y = f(x)

Teorema, Sea f una funcin integrable y sea c > 0
Si f(x) es par


Si f(x) es impar
}

=
c
c
dx x f 0 ) (

Recetas para el desarrollo de funciones en coseno o seno, en un intervalo:
t t < s x .

La serie de Fourier desarrollada en Cosenos, para una funcin par:

=
+ ~
1
0
2
) (
n
n
Cosnx a
a
x f , que es una serie de Cosenos.
Y la serie de Fourier desarrollada en Senos, para una funcin impar, en el
mismo intervalo, ser:

=
~
1
) (
n
n
Sennx b x f , que es una serie en Senos.

Ejercicio 5.17 obtener la serie de Fourier desarrollada en Cosenos, de la
siguiente funcin par:
} } }

= =
0
0
) ( 2 ) ( 2 ) (
c
c
c
c
dx x f dx x f dx x f

Figura 5.13 funcin peridica par,

< s +
< s +
= + =
t t
t t
t
x x
x x
x f x f
0 ;
0 ;
) 2 ( ) (
Solucin.
=
|
|
.
|

\
|
+ =
|
|
.
|

\
|
+ = + = =
} }

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

t t t t
t
t
t
t
= = + + =
|
|
.
|

\
|
+ = 2 0 0 2 2
2
0
2
0
x
x
a

} }

= =
t
t
t
t
t t
Cosnxdx x f Cosnxdx a
n
) (
1 1
Donde ) (x f es par y Cosnx Tambin lo
es, entonces el producto de una funcin par por otra funcin par, nos dice el
teorema, que tambin es par, por lo tanto es posible realizar el siguiente
artificio:
}
+ =
t
t
t
0
) (
2
Cosnxdx x a
n
+ =
}
t
t
0
2
xCosnxdx
}
t
0
2 Cosnxdx
t
t
0
2
2
|
.
|

\
|
+ =
n
xSenx
n
Cosnx
a
n
t
0
2
|
.
|

\
|
+
n
Sennx

|
.
|

\
|
+ = 0
0 2
2 2
n
Cos
n
Sen
n
Cosn
a
n
t t t
t
|
.
|

\
|
+
n
Sen
n
Senn 0
2
t

|
|
.
|

\
|
+

=
2 2
1 0 ) 1 ( 2
n n n
a
n
n
t
( ) | | 1 1
2 0 0
2
2
=
|
.
|

\
|
+
n
n n n t

=
n
a ( ) | |

=
impar n para
n
par n para
n
n
;
4
. ; 0
1 1
2
2
2
t
t
Sustituimos, en la siguiente
ecuacin:

=
+ ~
1
0
2
) (
n
n
Cosnx a
a
x f

> =
+ ~
0
2
1 4
2
impar n
Cosnx
n t
t


f(x)
x
0 2

-2
-

-
|
.
|

\
|
+ + + + + + ~ ........ 9
81
1
7
49
1
5
25
1
3
9
1 4
2
) ( x Cos x Cos x Cos x Cos Cosnx x f
t
t


Figura 5.14 grfica de f(x) = f(x + 2t) = x, en el intervalo de - t < x < t.

Ejercicio 5.18 resolver por medio del desarrollo en Senos de la serie de
Fourier, la funcin impar f(x) = f(x + 2t) = x, en el intervalo de - t < x < t.
} }

= =
t
t
t
t
t t
xSennxdx dx Senx x f b
n
1
) (
1
en esta ltima integral, tenemos el
producto de la funcin x que es impar, por la funcin Sennx que tambin es
impar dando como resultado, por el teorema de multiplicacin de funciones
impares entre s, una funcin par, de tal manera que realizamos el siguiente
artificio, luego entonces:
t
t t
t
t t t
0
2
0
2 2 1
|
.
|

\
|
= = =
} }

n
xCosnx
n
Sennx
xSennxdx xSennxdx b
n

|
|
.
|

\
|
=
|
.
|

\
|
+ =
|
.
|

\
|
=
n n n
Sen
n
Cosn
n
Senn
n
xCosnx
n
Sennx
b
n
n
) 1 ( 2 0 0 2 2
2 2
0
2
t
t
t t t
t t
t

n n
b
n n
n
1
) 1 ( 2 ) 1 ( 2
+

== Sennx
n
Sennx b x f
n
n
n
n

=
+
=

~ ~
1
1
1
) 1 (
2 ) ( es la serie
de Fourier, y la expandimos, tal que:
|
.
|

\
|
+ + =

=
+
..... 5
5
1
4
4
1
3
3
1
2
2
1
2
) 1 (
2 ) (
1
1
x Sen x Sen x Sen x Sen Senx Sennx
n
x f
n
n

.... 6
3
1
5
5
2
4
2
1
3
3
2
2 2 ) ( + + + ~ x Sen x Sen x Sen x Sen x Sen Senx x f
Como ejercicio el alumno debe graficar el espectro de frecuencias.
Ejercicios para resolver en casa:
Ejercicio 5.19 Encontrar la serie de Fourier, desarrollada en Cosenos de la
funcin par Cosx x f x f = + = ) ( ) ( t .
f(x)
x
0
2 3 -2
-

-
Solucin.
( )

+ + ~
1
2
4
4 1
1 4
2
2
) (
n
n
nx Cos
n
x Cos x f
t t


Ejercicio 5.20 Encontrar la serie de Fourier, desarrollada en Cosenos, de la
funcin:

< s
< s
=
4 2 ; 4
2 0 ;
) (
x x
x x
x f Solucin:

~
1
2 2
2
) 1 2 (
) 1 2 (
8
1 ) (
n
x n
Cos
n
x f
t
t


Cuando el intervalo es peridico, por ejemplo para: c x c < s las
ecuaciones deben entonces ampliarse a una forma general, tales que:
La serie de Fourier est desarrollada en Cosenos para una funcin par, en
este caso:

=
+ ~
1
0
2
) (
n
n
c
x n
Cos a
a
x f
t
, que es una serie de Cosenos.
Y la serie de Fourier desarrollada en Senos para una funcin impar, en el
mismo intervalo, ser:

=
~
1
) (
n
n
c
x n
Sen b x f
t
, que es una serie en Senos.

Ejercicio 5.21 Encontrar la serie de Fourier, desarrollada en Senos, de la
funcin impar:

< s
< s
=
0 2 ; 1
2 0 ; 1
) (
x
x
x f Solucin:

~
1
2
) 1 2 (
) 1 2 (
4
) (
n
x n
Sen
n
x f
t
t

Ejercicio 5.22 Encontrar la serie de Fourier 1 ) ( + = x x f para x | | t t, en
cosenos.
Solucin: | | t t
t
t
, ,
) 1 2 (
) ) 1 2 cos(( 4
2
1 ) (
1
2
e

+ =

=
x
n
x n
x f
n


5.7 Serie de Fourier en medio intervalo.
Se dice que cualquier funcin se puede expresar mediante la suma de una
funcin par y otra impar, veamos el caso sencillo para su mejor
interpretacin:

Descomponer la funcin,

< s +
< <
=
2 0 ; 2
0 ; 0
) (
x x
x
x f
En sus componentes par e impar.


Figura 5.15 grfica de f(x).


( ) 2
2
1
) (
2
1
+ = x x f
1
2
1
) ( + = x x f
-2 < x < 0.

Figura 5.16 grfica de la componente par.

( ) 2
2
1
) (
2
1
+ = x x f
1
2
1
) ( + = x x f
0 < x < 2.




( ) 2
2
1
) (
2
1
+ = x x f
1
2
1
) ( = x x f

-2 < x < 0.

Figura 5.17 grfica de la componente
impar.

( ) 2
2
1
) (
2
1
+ = x x f
1
2
1
) ( + = x x f
0 < x < 2.

5.7.1 Simetra de media onda.

Se dice que una funcin peridica es simtrica y de media onda si y slo si
cumple con, la siguiente propiedad Matemtica: )
2
1
( ) ( T x f x f + = o en el
2
2 0
x
f(x)
1
2
0
x
f(x)
2
0
x
f(x)
-1
caso del involucrar el tiempo )
2
1
( ) ( T t f t f + = . Grficamente observamos
que la parte positiva es un reflejo de la parte negativa desplazada medio
periodo o viceversa.

Figura 5.18 grfica de una funcin peridica simtrica de media onda

5.7.2 simetra de un cuarto de onda.

En el caso que una funcin tenga simetra de media onda y esta sea par o
impar, es posible comentar que tambin cumple con una simetra de un
cuarto de onda par o impar, segn el caso.

Figura 5.19 grfica de una funcin simtrica de un cuarto de onda.

5.7.3, expansin en series de Fourier de una funcin en un intervalo finito.
Una funcin f (x) aperidica, definida en cierto intervalo finito (0, k), se puede
desarrollar en una serie de Fourier, definida solamente en el mismo
intervalo.
Es posible desarrollar f(x) en una serie de Fourier con cualquier frecuencia
fundamental; pudindose representar mediante una serie de trminos del
f(x)
0
x

1
2 3 - -2 -3
. . .
. . .
-1
f(x)
0
x
2 3 - -2 -3
. . .
. . .
Seno o Coseno solamente, construyendo una funcin peridica adecuada
que sea idntica a f (x), en su intervalo (0, k) y que satisfaga las condiciones
de simetra, que nos lleven a la forma deseada de las series de Fourier.

Figura 5.20 Funcin f(x) aperidica


Figura 5.21 Simetra par, trminos del Coseno
0
= /


Figura 5.22 Simetra impar, trminos del Seno
0
= /


Figura 5.23 Trminos del Seno y del Coseno,
0
= / con (T arbitrario).


f(x)
0
q
x
f(x)
k
T = 2k 0
k
f(x)
x
T = 2k 0
f(x)
x
k
T=2k
0
f(x)
x
k
T = 2k 0
x
Figura 5.24 Simetra de media onda, trminos del Seno y del Coseno y armnicos impares,

0
= /


Figura 5.25 Simetra de cuarto de onda par, trminos del Coseno y armnicos impares,
0
=
/(2)


Figura 5.26 Simetra de cuarto de onda impar, trminos del Seno y armnicos impares,
0
=
/(2).

5.7.2, Expansin de medio recorrido (MEDIO INTERVALO).
Sea f(x) una funcin de perodo T = 2. Si f(x) es una funcin par,
entonces:
x
n
Cos a a x f
n
n

=
+ ~
1
0
2
1
) (
t
t
Con coeficientes: dx x
n
Cos x f a
n
|
.
|

\
|
=
}
t
t
t
t
0
) (
2

Representando as, la extensin peridica par.
Si f(x) es una funcin impar, entonces la serie de Fourier queda en trminos
del Seno, x
n
Sen b x f
n
n

=
~
1
) (
t
t
y dx x
n
Sen x f b
n
|
.
|

\
|
=
}
t
t
t
t
0
) (
2

Representando as, la extensin peridica impar.
Ejemplo. Desarrollar la funcin siguiente en una serie de trminos del
Coseno y graficar su extensin peridica,

f(x)
x
k
T = 2k 0
k
f(x)
x
T = 4k 0

< <
< <
=
t t
t
x para
x para
x f
2
1
; 1
2
1
0 ; 0
) (


Extendiendo la funcin a tipo par, se tiene:


Figura 5.28 Representacin peridica par de f (x)

Para cuando f (x) es par, se tiene que: b
n
= 0, para valores de n = 1, 2, 3,..
Y se sigue, que:

| |
|
.
|

\
|
= = = =
} }
,
2
2
) (
2
) (
2
) ( ) (
2
2
2
0
t
t t t t
t
t
t
t
t
n
Sen
n
nx Sen
n
dx nx Cos dx nx Cos x f a
n

Entonces:
( )

=
=
=
=
,.. 11 , 7 , 3 ,
2
,.. 9 , 5 , 1 ,
2
0 , 0
n para
n
n para
n
n par n para
a
n
t
t

Para, n = 0, se tiene:
}
= =
t
t
t
2
0
1
2
dx a Y sustituyendo estos valores en la
ecuacin:
x
n
Cos a a x f
n
n

=
+ ~
1
0
2
1
) (
t
t
= |
.
|

\
|
+ + ..... 7
7
1
5
5
1
3
3
1 2
2
1
x Cos x Cos x Cos Cosx
t

Para . 0 t < <x t = .
Figura 5.27 Funcin f (x)
f(x)
0
x
/2
1
f(x)
0
x
/2
1
- -/2

Realizar para la misma funcin anterior, una serie de Fourier expresada en
trminos del seno y trazar la correspondiente extensin peridica de f (t).

Figura 5. 29
La extensin peridica impar
de f (x).





x
n
Sen b x f
n
n

=
~
1
) (
t
t
y dx x
n
Sen x f b
n
|
.
|

\
|
=
}
t
t
t
t
0
) (
2

a
n
= 0 , n = 0, 1, 2,

( )
|
.
|

\
|

= = = =
} }
2
2
) (
2
) (
2
) (
2
2
2
0
t
t
t t t t
t
t
t
t
t
n
Cos Cosn
n
nx Cos
n
dx nx Sen dx nx Sen x f b
n

=
=
=
=
,... 12 , 8 , 4 , 0
,.. 10 , 6 , 2 ,
4
,.... 5 , 3 , 1 ,
2
n
n
n
n
n
b
n
t
t

Desarrollando la serie de Fourier, obtenemos: Para . 0 t < <x t = .
Sennx
n
Sennx
n
x
n
Sen b x f
de
mltiplo a
par n impar n n
n

=
> =

> =

=
~ ~
4
0 0 1
4 2
) (
t t t
t

..... 5
5
2
6
3
2
3
3
2
2
2 2
) ( + + ~ t
t t t t t
Sen x Sen x Sen x Sen Senx x f

5.8 Forma compleja de la serie de Fourier.
Conocemos la SERIE DE FOURIER, en un intervalo -t s x s t, la cual se
representa mediante:
Sennx b Cosnx a a x f
n
n
n
+ + ~

=1
0
2
1
) (
f(x)
0
x
/2

1
- -/2
-1
A partir de ella, consideremos ahora, que nuestro periodo
0 0 0
1
2
2 2
f f
T = = =
t
t
e
t

donde a f
0
se le conoce como una frecuencia lineal fundamental en Hertz
(en circuitos elctricos lleva el nombre de frecuencia de resonancia) a
0
se
le llama la frecuencia angular fundamental (en rad /seg). En esta parte
involucramos al tiempo t, pero tambin es posible trabajar slo con x, para
propsitos didcticos, por lo tanto:
Recordando a Euler:
2
0 0
0
t in t in
e e
t Cosn
e e
e

+
= y
i
e e
t Senn
t in t in
2
0 0
0
e e
e

=
Sustituimos valores en nuestra ecuacin de Fourier, obteniendo:

=
+ ~
1
0
2
1
) (
n
a t f

|
|
.
|

\
| +

2
0 0
t in t in
n
e e
a
e e
(

(
|
|
.
|

\
|
+

i
e e
b
t in t in
n
2
0 0
e e
donde i = 1 , con
i
i
=
1
obtenemos |

=
+ ~
1
0
2
1
) (
n
n
a a t f
|
|
.
|

\
|
+
|
|
.
|

\
|

2 2
0 0
t in
n
t in
e
a
e
e e
(

(
|
|
.
|

\
|
+
|
|
.
|

\
|

2 2
0
t in
n
t in
n
o
e
ib
e
ib
e e

|

=
+ ~
1
0
2
1
) (
n
n
a a t f
|
|
.
|

\
|
+
|
|
.
|

\
|

2 2
0 0
t in
n
t in
e
a
e
e e
(

(
|
|
.
|

\
|
+
|
|
.
|

\
|

2 2
0
t in
n
t in
n
o
e
ib
e
ib
e e

|

=
+ ~
1
0
(
2
1
) (
n
n
a a t f
|
|
.
|

\
|

2
)
0
t in
n
e
ib
e
(

(
|
|
.
|

\
|
+ +

2
) (
0
t in
n n
e
ib a
e
Donde:
0 0
2
1
a C = , ) (
2
1
n n n
ib a C = y ) (
2
1
n n n
ib a C + =

Por ser la funcin Seno impar,

tenemos que:
n n
b b

= .
Por tal motivo,

=
+ ~
1
0
) (
n
C t f
t in
n
e C
0
e

=
+
1 n
t in
n
e C
0
e

=
+ ~
n
t in
n
e C C t f
0
0
) (
e
Que es la forma compleja de la serie de Fourier.
Para calcular
}

=
2
2
0
) (
1
T
T
t in
dt e t f
T
Cn
e
, n puede tomar cualquiera de los
siguientes valores 0, 1 , 2 , 3 , ..
Como los valores de
n
C son complejos, es posible reescribirlos en forma
polar, tal que:
n
i
n n
e C C
u
= y
n
i
n n n
e C C C
u

= =
*
en este sentido
2 2
2
1
n n n
b a C + = y
|
|
.
|

\
|
=

n
n
n
a
b
Tan
1
u lo cual se cumple para todo 0 = n .
Cuando se maneje 0 = n sucede que
0 0
2
1
a C = es un nmero real.
La serie de Fourier compleja de una funcin par, es la misma serie real de
Fourier, es por ello que los anlisis de las seales de transmisin electrnica
se realizan principalmente con seales Cosenoidales, recurdese que las
funciones que contienen el trmino 1 no se puede reproducir en
laboratorio.


Figura 5.30 grfica de f(x) = f(x + 2t) = x, en el intervalo de - t < x < t.

Ejercicio 5.23 obtener la serie de Fourier compleja, de la siguiente funcin
impar f(x) = f(x + 2t) = x, en el intervalo de - t < x < t. a) a partir de la serie
de Fourier real ya encontrada anteriormente, Sennx
n
x f
n
n

=
+

~
1
1
) 1 (
2 ) ( , b)
mediante las frmulas correspondientes.
Solucin:
a) Sennx
n
x f
n
n

=
+

~
1
1
) 1 (
2 ) (
(

~

=

i
e e
n
inx inx
n
n
2
) 1 ( ) 1 (
2
1
(

~

=

i
e e
n
inx inx
n
n
1
) 1 ( ) 1 (

( )
) (
) 1 (
1
) 1 ( ) 1 ( ) 1 (
) (
1 1
inx inx
n
n inx inx
n
n
e e
n
i i e e
n
x f

=

=

=
(

~


f(x)
x
0
2 3 -2
-

-
) (
) 1 (
) (
1
inx
n
n
e
n
i
x f

~ ) (
) 1 (
1
inx
n
n
e
n
i

, donde
n n
= ) 1 ( ) 1 ( con demostracin
muy elemental, entonces: ) (
) 1 (
) (
1
inx
n
n
e
n
i
x f

~ ) (
) 1 (
1
inx
n
n
e
n
i

+ y
considerando los lmites desde hasta , sin tocar el 0, se tiene:
) (
) 1 (
) (
inx
n
n
e
n
i
x f

~ y 0 ) ( = x f para n = 0.
b)

=
+ ~
n
inx
n
e C C x f
0
) ( , donde C
0
= 0, puesto que la funcin es impar.
( )
} }

= =
t
t
t
t
t t
dx xe dx e x f C
inx inx
n
1
) (
1
utilizamos
|
.
|

\
|
=
}

a
x
a
e
dx xe
ax
ax
1
t
t

( )
}

=
t
t
t
dx xe C
inx
n
1
(

|
.
|

\
|
+ +
|
.
|

\
|
+

=
(

|
.
|

\
|

in in
e
in in
e
in
x
in
e
in in inx
1 1 1 1 1
t t
t t
t t
t
t

2 2 2 2
n i
e
in
e
n i
e
in
e
C
in in in in
n
t t
t t t t
+

=

2 2
n
e
in
e
n
e
in
e
in in in in
t t
t t t t
+ =

Donde se
consider que: ( ) 1 1
2
2
= = i y adems tenemos que
t t in in
e e

= que resulta
muy fcil de demostrar:
n in
Cosn iSenn Cosn e ) 1 ( = = + = t t t
t
y
n in
Cosn iSenn Cosn e ) 1 ( = = =

t t t
t

Entonces
n
i
n
e
i
in
e
in
e
in
e
C
n in in in in
n
) 1 (
= = = =
t t t t
sustituimos en la
ecuacin correspondiente y obtenemos la serie de Fourier compleja:

=
+ ~
n
inx
n
e C C x f
0
) (

+ ~
n
inx
n
e
n
i
x f
) 1 (
0 ) ( Lo cual corresponde a lo encontrado por el otro
mtodo.

Ejercicio 5.24 Obtenga la serie de Fourier compleja de la funcin, dada a
continuacin:

< s
< s
=
t
t
x si
x si
x f
0 , , 1
0 , , 1
) (


La cual es peridica con periodo, T = 2.

Grfica 5.31 de la funcin escaln.
Calculamos la serie de Fourier compleja,

=
+ ~
n
inx
n
e C C x f
0
) ( donde
} } }

= =
t
t
t
t
t t t
0
0
1 1
) (
1
dx e dx e dx e x f C
inx inx inx
n
t
t
t t
0
0
1 1
|
|
.
|

\
|

|
|
.
|

\
|

in
e
in
e
inx inx

( ) | | ( ) | | 1 1
1
1 1
1 1 1
0
0
0
0
+ =
|
|
.
|

\
|
+
|
|
.
|

\
|
=

n n
in in
n
in in in
e e
in
e e
C
t t t t
t
t
t
t

( ) | | | | | |
n n n
n
in in in
C ) 1 ( 1
2
) 1 ( 1
1
1 1
1

= =
t t t

| |

=

+ ~
n
inx
n
e
n
i
x f
) ( ) 1 ( 1 2
0 ) (
t
con C
0
= 0, por ser una funcin impar f(x).
Resolver los siguientes ejercicios, sobre el tema, obtenga la serie de Fourier
compleja de la funcin, dada:
Ejercicio 5. 25. t
t
t < s = = + x x x f x f 0 ,
1
) ( ) (
sol.
|
.
|

\
|
+

+ ~
2
1
2
1
2
1
) (
t
t
nx i
n
e
n
x f
Ejercicio 5. 26.

< s
< s
< s
= = +
t
t
t t
t
t
t
x
x
x
x f x f
2
; 0
2 2
; 1
2
; 0
) ( ) 2 (
Sol.
nx
Sennx
x f ~ ) (
f(x)
0

1
2 3 - -2 -3
. . .
. . .
-1
x

Ejercicio 5. 27


Ejercicio 5. 28

x
e x f x f = = + ) ( ) 2 ( t
Sol.
( ) | |
inx
n
n
n
ie
n

=
=

+
1 1
2
1
2
1
t


Sol.
inx
n
n
n
ie
n

=
=
+

+
) 1 (
2
) 1 (
) 6 ( 2 t t

Ejercicio 5. 29 Obtenga la serie de Fourier compleja de la funcin, dada a
continuacin:




La cual es peridica con periodo, T = 2.

Grfica 5.32 de la funcin escaln.
Solucin:

=
~
n
inx
n
e
i
x f
t
8
) ( para toda n impar.

f(x)
0

4
1 2 3 -1 -2 -3
. . .
. . .
-4
x

< s
< s
= +
t
t
t
x si
x si
x f
0 , , 1
0 , , 1
) 2 (

< s
< s
=
2 1 , 4
1 0 , , 4
) (
x si
x si
x f