FUNCIONES PERIDICAS................................................................

3
SERIE DE FOURIER.........................................................................4
HISTORIA......................................................................................5
APLICACIONES.......................................................................................................... 7

PROPIEDADES DEL SENO Y DEL COSENO. FUNCIONES ORTOGONALES

Funcin seno.................................................................................8
Propiedades de la funcin seno................................................................................8

Funcin coseno.............................................................................9
Propiedades de la funcin coseno............................................................................9

Producto Interno.........................................................................10
Funciones ortogonoles.......................................................................................10

Conjuntos Ortogonales................................................................11
Norma de una funcin............................................................................................12
Conjunto ortonormal.............................................................................................. 13

Ejemplo #1..................................................................................13
Ejemplo#2...................................................................................14
Ejemplo 3....................................................................................15
Ejemplo 4....................................................................................15
Ejemplo 5....................................................................................15

Evaluacion de los coeficientes de Fourier...............................16

Definicin:...................................................................................16
DIFERENCIACIN E INTEGRACIN DE LAS SERIES DE FOURIER........21
Aproximaciones mediante una serie finita de fourier.....................21

BIBLIOGRAFIA.......................................................................24

FUNCIONES PERIDICAS

SERIE DE FOURIER
Una serie de Fourier es una serie infinita que converge puntualmente a una funcin
peridica y continua a trozos (o por partes). Las series de Fourier constituyen la herramienta
matemtica bsica del anlisis de Fourier empleado para analizar funciones peridicas a
travs de la descomposicin de dicha funcin en una suma infinita de funciones sinusoidales
mucho ms simples (como combinacin de senos y cosenos con frecuencias enteras). El
nombre se debe al matemtico francs Jean-Baptiste Joseph Fourier que desarroll la teora
cuando estudiaba la ecuacin del calor. Fue el primero que estudi tales series
sistemticamente, y public sus resultados inciales en 1807 y 1811. Esta rea de
investigacin se llama algunas veces Anlisis armnico.
Es una aplicacin usada en muchas ramas de la ingeniera, adems de ser una herramienta
sumamente til en la teora matemtica abstracta. 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. Refirase al uso de un analizador de
espectros.
Las series de Fourier tienen la forma:

Donde

se denominan coeficientes de Fourier de la serie de Fourier de la funcin

Si
serie

es una funcin
de

Fourier

(o seal) peridica y su perodo es

asociada a

, la

es:

Donde ,
y
son los
coeficientes de Fourier que toman los valores:

Por la identidad de Euler, las frmulas de arriba pueden expresarse tambin en su forma
compleja:

Los coeficientes ahora seran:

Otra forma de definir la serie de Fourier es:

S

Donde

Siendo:
A esta forma de la serie de Fourier se le conoce como la serie trigonomtrica de Fourier.

HISTORIA
Las series de Fourier reciben su nombre en honor a Jean-Baptiste Joseph Fourier (17681830), que hizo importantes contribuciones al estudio de las series trigonomtricas, que
previamente haban sido consideradas por Leonhard Euler, Jean le Rond d'Alembert y Daniel
Bernoulli. Fourier introdujo las series con el propsito de resolver la ecuacin [de conduccin]
del calor en una lmina de metal publicando sus resultados en 1807 Mmoire sur la
propagation de la chaleur dans les corps solides ('Memoria sobre la propagacin del calor en
los cuerpos slidos'), y publicando su Thorie analytique de la chaleur ('Teora analtica del
calor') en 1822. Ideas previas en descomponer una funcin peridica en la suma de simples
funciones de oscilacin datan desde el siglo III a.C., cuando astrnomos antiguos propusieron
un modelo emprico de movimiento planetario con base en epiciclo.
La ecuacin del calor es una ecuacin en derivadas parciales. Previamente al trabajo de
Fourier, no se conoca solucin alguna para la ecuacin de calor en forma general, aunque se
conocan soluciones particulares si la fuente de calor se comportaba de manera sencilla, en
particular, si la fuente era una onda de seno o coseno. Estas soluciones simples a veces son
llamadas valores propios. La idea de Fourier era modelar una fuente de calor compleja con
una superposicin (o combinacin lineal) de simples ondas sinusoidales y para escribir
la solucin como una superposicin de los correspondientes valores propios. A la
superposicin o combinacin lineal se le llama Serie de Fourier.
Las ondas armnicas continuas no existen realmente, ya que todos los movimientos
ondulatorios estn limitados tanto espacial como temporalmente. Utilizando el anlisis de
Fourier y la transformada de Fourier se pueden describir formas de ondas ms complejas
como las que producen los instrumentos musicales.

El anlisis de Fourier surgi a partir del intento de ste matemtico francs 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. Esta
tesis 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.
Aunque el motivo original era resolver la ecuacin de calor, tiempo despus fue obvio que se
poda usar la misma tcnica a un gran conjunto de problemas fsicos y matemticos,
especialmente aquellos que involucraban ecuaciones diferenciales lineales con coeficientes
constantes, para los cuales sus soluciones nicas eran sinusoidales. Las series de Fourier
tienen
muchas
aplicaciones
en
la ingeniera
elctrica,
anlisis
de vibraciones, acstica, ptica, procesamiento de seales, retoque fotogrfico, mecnica
cuntica, econometra, la teora de estructuras con cascarn delgado, etc.

Veamos un ejemplo:

En este caso, los coeficientes de Fourier nos dan esto:

Si la serie de Fourier converge hacia: (x) de cada punto x donde es diferenciable:

APLICACIONES

Generacin de formas de onda de corriente o tensin elctrica por medio de la

superposicin de sinusoides generados por osciladores elctrnicos de amplitud
variable cuyas frecuencias ya estn determinadas.

Anlisis en el comportamiento armnico de una seal.

Reforzamiento de seales.

Estudio de la respuesta en el tiempo de una variable circuital elctrica donde la seal

de entrada no es sinusoidal o cosinusoidal, mediante el uso de transformadas de
Laplace y/o solucin en rgimen permanente sinusoidal en el dominio de la frecuencia.

La resolucin de algunas ecuaciones diferenciales en derivadas parciales admiten

soluciones particulares en forma de series de Fourier fcilmente computables, y que
obtener soluciones prcticas, en la teora de la transmisin del calor, la teora de
placas, etc.

PROPIEDADES DEL SENO Y DEL COSENO. FUNCIONES ORTOGONALES

Funcin seno
f(x) = sen x
Propiedades
de la funcin
seno

Dominio:
Recorrido: [-1, 1]
S

Perodo:
Continuidad : Continua en
Creciente en:
Decreciente en :
Mximos:
Mnimos:
Impar: sen(-x) = -sen x
Cortes con el eje OX:

Funcin coseno
f(x) = cosen x
Propiedades de la funcin coseno

Dominio:
Recorrido: [-1, 1]
Perodo:
Continuidad : Continua en
Creciente en:
Decreciente en :
Mximos:
Mnimos:
Par: cos(-x) = cos x
Cortes con el eje OX:

Producto Interno
El producto interno de dos funciones

en un intervalos

es el nmero

Supongamos que (u ,v) son vectores en el espacio tridimencional. El producto

interno (u ,v) de los vectores, tambien se escribe u.v, posee las siguientes propiedades:

1.2.3.4.-

(u, v) = (v, u)
(ku, v) = k(u, v) , donde k es un escalar.
(u, u) = 0, si u=0, y (u, u)>0 si u 0
(u+v,w)=(u,w)+(v,w)

Funciones ortogonoles
A diferencia del anlisis vectorial, en donde la palabra ortogonal es sinnimo de
"perpendicular", en el presente contexto el trmino ortogonal no tiene significado
geomtrico.
En "anlisis funcional" se dice que dos funciones f y g de un cierto espacio son
"ortogonales" si su producto escalar es nulo. Dos funciones
un intervalo [a, b] si

son ortogonales es

Conjuntos Ortogonales
Un conjunto de funciones de valor real
[a, b] si

es ortogonal en un intervalo

EJEMPLO 1 Funciones ortogonales Las funciones 1 (x) = x2 y 2 (x) = x3 son ortogonales en

el intervalo [ 1, 1] porque
Un conjunto de funciones {f 1(x), f 2(x),} es un conjunto ortogonal de funciones en el
intervalo [a,b] si cualesquiera dos funciones son ortogonales entre si.

(n m).

Se considerar solo conjuntos ortogonales en los que ninguna de las funciones son
idnticamente iguales a cero en [a,b].
Los coeficientes de una serie respecto a un conjunto ortogonal tiene una forma til, que se
deducir ahora. Suponga que {f 1(x), f 2(x),} es un conjunto ortogonal de funciones en el
intervalo [a,b] y que se considerar solo conjuntos ortogonales en los que ninguna de las
funciones son idnticamente iguales a cero en [a,b]. Los coeficientes de una serie respecto a
un conjunto ortogonal tiene una forma til, que se deducir ahora. Suponga que {f 1(x), f
2(x),} es un conjunto ortogonal de funciones en el intervalo [a,b] y que . Se quiere obtener
una frmula para los coeficientes Cn en trminos de f(x) y de las funciones ortogonales f
n(x). Se selecciona un miembro del conjunto ortogonal, digamos, f n(x), y tome el producto
interno con f(x). es decir, se multiplican ambos lados de por f n(x), y se integra sobre el
intervalo para obtener suponga que la integracin y la suma se puede intercambiar para
dar . Pero f , forma un conjunto ortogonal, de manera que (f n, f m) = 0 si n m. Entonces se
convierte en Teorema fundamental de una funcin por una serie de funciones ortogonales.
Suponga que f(x) es diferenciable por partes en el intervalo [a,b] y que donde {f n(x)} es un
conjunto ortogonal de funciones en [a,b]. Entonces Una prueba rigurosa del teorema incluye
consideraciones tcnicas que estn ms all del nivel de esta investigacin. Estas
consideraciones se refieren a la convergencia de y a la demostracin de que la suma y la
integral se pueden intercambiar. Adems cuando se escribe , de hecho, no se requiere que la
serie converja a f(x) para toda x. Las condiciones suficientes para garantizar el intercambio

de Fourier del seno y del coseno, tambin se analizan en qu sentido es igual a f(x). Slo se
necesita la continuidad por las partes de f y las f n para este teorema.
Ejemplo 2: Sea T un subconjunto de R
T={(1,0,0);(0,2,0);(0,0,-1)}.
Primero T es un sub espacio vectorial de R Sus elementos o vectores son distintos Al
realizar su respectivo producto punto entre ellos nos da 0 esto se puede evidenciar
claramente porque son vectores perpendiculares. Por lo tanto T es un conjunto ortogonal.
Todo conjunto ortogonal es linealmente independiente porque si:
{ u1, u2, u3, , un} ortogonal
{ 1u1, 2u2, nun} ortogonal
Siendo un escalar
Al mutiplicar por cualquier escalar el conjunto sigue siendo ortogonal
Norma de una funcin

Dada

la

funcin

El

su norma se

define

nmero

se llama norma cuadrada de

Conjunto ortonormal

Si

es un conjunto ortogonal de funciones en el intervalo [a, b] y tiene la propiedad

que
intervalo.

para

, se dice que

es un conjunto ortonormal en el

Ejemplo #1
Demuestre que el Conjunto
1.- Tenemos que hacer

es ortogonal en el intervalo de [-,].

pero eso nos llevara demasiado tiempo y

nunca lo terminaramos ya que se va hasta , nos damos cuenta que podemos

escribir
donde

Entonces podemos decir

eso el lo mismo que

Sabemos que el

no importando el valor que pueda tener n

podemos concluir con

2.- Tenemos que hacer cuando
donde nm vale menciona que no nos
interesa cuando n=m porque eso sera la norma

por una identidad trigonomtrica podemos escribirlo

como

Como ya sabemos el

entonces en todo los senos se hacen cero por lo cual

tenemos
entonces podemos concluir con
ya que probamos para todos podemos decir que el conjunto {1,cosx,cos2x,cos3x,...} es
Ortogonal.

Ejemplo#2
Encontrar las normas de las funciones del conjunto
con intervalo [,], en este caso nos interesa cuando n=n en los cuales tenemos (1,1) y (cosnx,cosnx)

sabemos que el
entonces nos queda
por lo tanto podemos concluir
Ejemplo 3
Demuestre que las funciones son ortogonales:
y

en

el

Por lo tanto sabemos que las funciones son ortogonales.

Ejemplo 4
Demuestre que las funciones son ortogonales:

intervalo

en el intervalo

Valuado en
Por lo tanto sabemos que las funciones son ortogonales.
Ejemplo 5
Demuestre que las funciones son ortogonales:
y

en el intervalo

Dado que la respuesta es 0 sabemos que son ortogonales

Evaluacin de los coeficientes de Fourier

Definicin:
Sea una funcin que va de reales en reales una funcin de periodo 2 , integrable en el
intervalo de

{0,2 }

Los coeficientes de Fourier son los siguientes:

Estos grficos sugieren que la serie de Fourier de la funcin f converge a f en cada punto de

nx
nx
ak cos
+b k sin
continuidad f ( x )=a 0+
L
L
n=1

Para, calcular a0, multipliquemos los dos trminos de la serie (3) por dx, e integremos de (- ),
todas las integrales del segundo miembro de dicha serie, se anulan, excepto la que
multiplica a0.
Para
calcular
multipliquemos
los dos trminos
de la serie, por
cosnx
e
integremos de
todas
las
integrales
del
segundo
miembro se anulan
excepto el factor que multiplica

ya que sabemos que si m y n son enteros positivos diferentes se verifica

y si m y n son dos enteros positivos iguales o distintos se verifica

Dando a n valores (0, 1, 2,3...) en (8), se obtienen todos los coeficientes de los cosenos.
Anlogamente, se obtiene bn, multiplicando los dos trminos de (3) por sennx, e integrando
se verifica
Ya que sabemos que si m y n son dos enteros positivos diferentes se verifica

Ejemplos propuestos #1
Desarollar la serie de Fourier la funcionperiodica de 2 . Estudiar su convergencia.de la
serie en R

Ejemplos propuestos
#2
sea f(x) =x(sinx), si
<x< ,

entonces :
determine los
coeficientes
de Fourier de
esta funcion y
si es posible la
serie
de
Fourier

DIFERENCIACIN E INTEGRACIN DE LAS SERIES DE FOURIER

Aproximaciones mediante una serie finita de fourier

Sea:

La suma de los dos primeros

La suma de los primeros (2k + 1) trminos de una serie de fourier que representa la f(t) en
el intervalo -t/2 < t < t/2.
Si f(t) se aproxima por sk (t), es decir;

Y ek (t) es la diferencia o error entre f(t) y su aproximacin, entonces el error cuadrado

medio fk est definida por

Problema propuesto 1
Demostrar que si se aproxima una funcin f(t) por una serie finita de fourier sk (t) ,
entonces esta aproximacin tiene la propiedad de ser el mnimo error cuadrtico medio.
Solucin: si se sustituye (1.54) en (1.57), se tiene

Considerar ek como una funcin de ao , an , y bn . Entonces para que el error cuadrtico

medio eksea un mnimo, sus derivadas parciales con respecto a ao , an , y bn deben ser
iguales a cero, es decir,

Intercambio de orden de la diferencia y de la integracin:

Si se usan las propiedades de ortogonalidad del seno y del coseno, las integrales (1,59),
(1.60), y (1.61) se reduce a

Problema propuesto 2.Demostrar que el error cuadrtico medio eken una aproximacin a f(t) por sk (t) , definida
por (1.57) se reduce a

Solucin: por (1.57) se tiene:

Ahora bien;

Teniendo en cuenta (1.27) y (1.28), se obtiene

Utilizando las relaciones de ortogonalidad (1.19)

Sustituyendo (1.67) y (1.68) en (1.66), se obtiene

Problema prpuesto 3.-

Solucin: por (1.57), se tiene

Y tambin por (1.65) se deduce que

BIBLIOGRAFIA
http://es.wikipedia.org/wiki/Serie_de_Fourier
http://www.sc.ehu.es/sbweb/energiasrenovables/MATLAB/simbolico/fourier/fourier.html
WikiMatematica.org