Series de Fourier Arregaldo

UNIVERSIDAD NACIONAL DE CAJAMARCA
ESCUELA ACADMICO PROFESIONAL DE INGENIERA CIVIL

SEDE JAN

FACULTAD DE INGENIERA
CURSO
ANALISIS MATEMATICO III
TEMA
DOCENTE
ALUMNOS
SERIES DE FOURIER
LIC. SANCHEZ CULQUI ELADIO
CHINGUEL CAMIZAN JAMES

BERECHE ALVARADO PEDRO RAMON
OLANO RUBIO JHOSVER
CUBA ESPINOZA JHORDIN
GUERRERO IRENE MILTON
:
CICLO/AO : CICLO VACACIONAL 2013

FECHA
5 MARZO 2013
NDICE
SERIES DE FOURIER
Pgina 1

I.- INTRODUCCIN
II.- DEFINICIONES
III.- FUNCIONES PARES E IMPARES
DESARROLLOS DE MEDIO INTERVALO.
XI.- SERIES DE FOURIER
DESARROLLOS ORTOGONALES
V.- CONVERGENCIA DE LAS SERIES DE FOURIER

CONVERGENCIA PUNTUAL DE UNA SERIE DE FOURIER
CONVERGENCIA UNIFORME DE UNA SERIE DE FOURIER
VI.- DERIVACIN DE SERIE DE FOURIER
VII.- INTEGRACIN DE SERIES DE FOURIER
VIII.- SERIES DE SENOS Y COSENOS DE FOURIER
1. SERIES TRIGONOMTRICAS Y POLINOMIOS TRIGONOMTRICOS
2. AMPLITUD Y FASE
3. VARIANTES DE LA SERIE DE FOURIER
IX.- FUNCIONES PERIDICAS
X.- CONVERGENCIA PUNTUAL DE LA SERIE DE FOURIER
1) NCLEO DE DIRICHLET
2) PRIMEROS TEOREMAS:
3) TEOREMA DE DIRICHLET
4) OTROS TEOREMAS DE CONVERGENCIA
5) CONDICIONES NECESARIAS PARA LA CONVERGENCIA DE SERIES
DE FOURIER
6) ANLISIS ARMNICO PRCTICO
I. INTRODUCCIN
SERIES DE FOURIER
Pgina 2

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 senoidales
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 publicando sus
resultados iniciales 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 describen seales peridicas como
una combinacin de seales armnicas (sinusoides).
Con esta herramienta podemos analizar una seal
peridica en trminos de su contenido frecuencial o
espectro.
Nos permitir establecer la dualidad entre tiempo y
frecuencia, de forma que operaciones realizadas en el
dominio temporal tienen su dual en el dominio frecuencial.
Forma trigonomtrica de las series de Fourier: se pretende
describir una funcin peridica xp(t) de periodo T
(frecuencia fundamental f0=1/T, w0=2p f0).
SERIES DE FOURIER
Pgina 3

LA SERIE DE FOURIER
II.- DEFINICIONES
DEFINICIN 1 (FUNCIONES PERIDICAS)
Una funcin
tiene un perodo T o es peridica con perodo T si para
todo t,
, donde T es una constante positiva. El valor ms
pequeo de
se llama el perodo principal o perodo fundamental o
simplemente el perodo de
Ejemplo 1
La funcin
tiene perodos 2, 4, 6 ya que:

Todas son iguales a
Ejemplo2
Sea
. Si
tiene perodo
perodo T. (sustituyendo
entonces
tiene
Ejemplo 3
Si f tiene perodo T entonces
SERIES DE FOURIER
Pgina 4

DEFINICIN 2 (EXPANSIN PERIDICA)

Sea una funcin f definida en el intervalo
peridica
de
. La expansin
se define por la siguiente frmula:
DEFINICIN 3 (FUNCIONES CONTINUAS A TROZOS)

Una funcin
definida en el intervalo
se llama continua a
trozos en si y solo si
(i) Existe una subdivisin
tal que
continua en cada subintervalo

los puntos de las subdivisiones
f es
y (ii) en cada uno de

existe el lmite por un lado en
cada extremo del subintervalo.

Teorema 1
Sea f continua en
SERIES DE FOURIER
. Asumiendo que la serie
Pgina 5

Converge uniformemente a f para todo
. Entonces
se definen as:
Dado que la
secuencia
desprende que
converge uniformemente a
para
cada
f(x), se
cuando
fijo.
As Para cada
fijo:
La serie, convergente uniformemente, puede ser integrada trmino a

trmino
SERIES DE FOURIER
Pgina 6

El argumento es anlogo para
DEFINICIN
FOURIER)
Los nmeros
Cuando
estn descritos como en
(COEFICIENTES
DE
FOURIER,
SERIES
DE
se denominan los coeficientes de Fourier de f.

la serie trigonomtrica
se
denomina la serie de Fourier de la funcin f.

Nota 1
Si f es cualquier funcin integrable entonces los coeficientes
pueden ser calculados. Sin embargo no existe certeza de que la serie de

Fourier converger a f si f es una funcin arbitraria integrable. En
general, se dice:
Esto indica que la serie podra o no converger a f en algunos puntos.
Nota 2 (Notacin Compleja para las series de Fourier)

identidad de Euler,
SERIES DE FOURIER
Usando la
Pgina 7

Donde i es la unidad imaginaria tal que
, la serie de Fourier de
pueden ser escrita en notacin compleja as:
Donde:
Ejemplo 1
Sea
definida en el intervalo
y determinada por fuera de este
intervalo por su extensin peridica,
asumiendo que
perodo T. La serie de Fourier correspondiente a
Donde los coeficientes de Fourier
SERIES DE FOURIER
(con
tiene
) es:
son:
Pgina 8

Ejemplo 2
Sean
los coeficientes de Fourier de f. La forma fase-ngulo
de la serie de Fourier de f es:
Con
Ejemplo 3
Calculando la serie de Fourier de la funcin f dada por:
Ya que f es una funcin impar, esto es
SERIES DE FOURIER
, y por lo tanto:
Pgina 9

Para
los coeficientes
estan dados por:
Se deduce que:
III.- FUNCIONES PARES E IMPARES

DEFINICIN.
Sea
una funcin. Se dice que

para cada
respecto del eje de ordenadas. Si
es una funcin par cuando
esto significa que su grafica es simtrica

es par e integrable, entonces:
Las constantes, los cosenos o las funciones
par son ejemplos de
funciones pares.
Se dice que una funcin
para cada
SERIES DE FOURIER
es una funcin impar cuando

esto significa que su grafica es
Pgina 10

simtrica respecto del origen de coordenadas. Si
es impar e integrable,
entonces:
Los senos o las funciones
impar son ejemplos de funciones
impares. La suma y el producto de funciones pares o impares siguen la

misma regla que los signos (con par en el papel de positivo e
impar en el de negativo). Otra propiedad til es que la derivada de
una funcin par es impar y viceversa.
Ejemplo 1
Ejemplo 2
Cuya grafica se muestra en la figura 10.7 es impar en el intervalo

y de acuerdo con
SERIES DE FOURIER
Pgina 11

De modo que:
Teorema. Sea
una funcin continua a trozos y peridica de perodo
T.
(1)Si f es una funcin par, entonces su desarrollo en serie de Fourier
solo tiene funciones coseno, lo que se conoce como una serie de
Fourier en cosenos
Siendo:
SERIES DE FOURIER
Pgina 12

(2) Si f es una funcin impar, entonces su desarrollo en serie de

Fourier slo tiene funciones seno, lo que se conoce como una
serie de Fourier en senos
Siendo:
DESARROLLOS DE MEDIO INTERVALO.

Sea
una funcin continua a trozos. Sea T = 2L, entonces la
extensin T-peridica y par de f es la funcin definida en el intervalo

por
Y extendida peridicamente a toda la recta real . Obviamente, f par es

una funcin par, as que su desarrollo en serie de Fourier es una serie
de cosenos que se conoce, en este contexto, como el desarrollo de f en
serie de cosenos en medio intervalo
y viene dado por:
Siendo:
La extensin T-peridica e impar de f es la funcin definida en

por y extendida peridicamente a toda la recta real
. Obviamente, f impar es una funcin impar, as que su desarrollo en
SERIES DE FOURIER
Pgina 13

serie de Fourier es una serie de senos que se conoce, en este contexto,

como el desarrollo de f en serie de senos en medio intervalo
viene dado por:
Siendo:
Ejemplo.
Sea
para
Entonces, su extensin par y 2 - peridica es
la funcin dada por f par
para
y extendida
peridicamente a toda la recta real; el desarrollo de f en serie de

cosenos en
es:
Para la misma funcin f, su extensin impar y 2 peridica viene dada

por f impar
para
y extendida peridicamente a toda la
recta real; el desarrollo de f en serie de senos en
es:
Ejemplo:
Las siguientes funciones son pares o impares?
Donde
es una funcin arbitraria.
Solucin:
Como
Como
SERIES DE FOURIER
es funcin impar.
es funcin par.
Pgina 14

Como
es funcin par.
Ejemplo. Evaluar las siguientes integrales cuando m y n son enteros

positivos:
Solucin
(a) Como
el integrando de la parte
(a) es una funcin impar. As, por el teorema 1:
(b)Se usa el hecho de que el integrando es par

trigonomtrica
SERIES DE FOURIER
y la identidad
se ve que para
Pgina 15

, la integral en (b) se escribe
Por lo tanto:
(4)
El integrando de la parte (c) tambin es par y puede calcularse

usando una identidad trigonomtrica similar.
(5)
Las ecuaciones (3) y (5) expresan una condicin de ortogonalidad

satisfecha
por
el
conjunto
de
funciones
trigonomtricas
, donde
Es fcil verificar que si cada una de las funciones
es
peridica con periodo T, entonces ocurre lo mismo con cualquier

combinacin lineal:
SERIES DE FOURIER
Pgina 16

Por ejemplo, la suma 7 + 3 cos x 8senx + 4 cos 2x 6 sen 2x tiene periodo

2, pues cada trmino tiene periodo 2. Adems si la serie infinita
Que consta
de funciones con periodo 2T, converge para toda
entonces la funcin a la cual converge ser peridica con periodo 2T.

As como a cada funcin que tiene derivadas de todos los rdenes en
un punto fijo se le puede asociar una serie de Taylor, se puede
identificar una serie trigonomtrica particular con una funcin
continua por partes, Para ilustrar esto, se supone que
tiene el
desarrollo en serie
(6)
Donde
son constantes.
Para determinar los coeficientes

sigue. Se integra
se procede como
de T a T, suponiendo que se puede integrar
trmino a trmino:
SERIES DE FOURIER
Pgina 17

Como
es una funcin impar
es
fcil
verificar
, adems, para
que
por
lo
tanto
y entonces
Observe
que
es el valor
promedio de
en un periodo 2T. A
continuacin para determinar el coeficiente de
multiplica por (6) por
, se
y se integra:
(7)
Las condiciones de ortogonalidad (3) y (5) permiten analizar

fcilmente las integrales del lado derecho. Se ha observado que
Y por las formulas (3) y (5), se tiene
SERIES DE FOURIER
Pgina 18

Por tanto, en (7) solo hay un trmino del lado derecho que sobrevive
a la integracin:
As se tiene una frmula para el coeficiente
De manera anloga al multiplicar (6)
De modo que la frmula para
e integrar se tiene
es
Por los clculos anteriores se puede establecer la siguiente definicin

IV.- SERIES DE FOURIER
DEFINICIN 1. Sea f una funcin continua por partes en el intervalo
La serie de Fourier de f la serie trigonomtricas.
SERIES DE FOURIER
Pgina 19

Las series 9 y 10 se llaman formulas de Euler. Usamos el smbolo

para recordar que esta serie est asociada con
converger a tal
en 8
pero podra no
Ejemplo.
Calcular la serie de Fourier:
Solucin
En este caso,
SERIES DE FOURIER
Usamos las formulas 9 y 10 para tener
Pgina 20

Por tanto:
11.
La figura c muestra algunas sumas parciales de esta serie.
Ejemplo.
Calcular la serie de Fourier:
Solucin
De nuevo,
.observe que fes una funcin impar .como el producto
de una funcin impar y una funcin par es impar,
tambin es
una funcin impar .as,

SERIES DE FOURIER
Pgina 21

Adems,
es el producto de dos funciones impar y por tanto es
una funcin par, de modo que:
12...
La figura d muestra algunas sumas parciales
En este ejemplo, la funcin impar f tiene una serie de Fourier que solo
consta de funciones seno. Es fcil ver que, en general, si f es cualquier
funcin impar, entonces su serie de Fourier consta nicamente de
trminos seno.
Ejemplo.
SERIES DE FOURIER
Pgina 22

Calcular la serie de Fourier de:
Solucin.
En este caso,
. Como f es una funcin par,
es
una funcin impar. Por consiguiente,
Por tanto:
La figura e muestra la sumas parciales
SERIES DE FOURIER
Pgina 23

Observe que la funcin par f del ejemplo tiene una serie de Fourier que
solo consta de funciones coseno y de la nuncio constante
. En
general, si f es funcin par, entonces su serie de Fourier solo consta de

funciones coseno (incluyendo
).
DESARROLLOS ORTOGONALES
Las series de Fourier son ejemplos de desarrollos. Un conjunto de
funciones
es un sistema ortogonal o simplemente
ortogonal con respecto de la funcin de Ponderacin no negativa

en el intervalo
(14)
si
siempre que
Como se ha visto el conjunto de funciones trigonomtricas

SERIES DE FOURIER
Pgina 24

(15)
Es ortogonal en
, con respecto de la funcin de ponderacin
, si se define la norma de como:
(16)
Entonces se dice que un conjunto de funciones

sistema ortogonal de
si se cumple (14) y adems
, es un
para cada
. En forma equivalente, se dice que el conjunto es un sistema orto

normal si:
(17)
Siempre se puede obtener un sistema orto normal a partir de un

sistema ortogonal, dividiendo cada funcin entre su norma. En
particular como
Entonces el sistema ortogonal (15) da lugar en
, al sistema orto
normal:
SERIES DE FOURIER
Pgina 25

Si
es un sistema ortogonal con respecto de
podra preguntar si se puede desarrollar una funcin

estas funciones; es decir, se puede expresar a
, se
en trminos de
en la forma
(18)
Para una eleccin adecuada de las constantes
Tal desarrollo se
llama desarrollo ortogonal o serie de Fourier generalizada.

Para determinar las constantes en (18), se puede proceder como en la
deduccin de las formulas de Euler para los coeficientes de una serie de
Fourier, utilizando ahora ortogonalidad del sistema. Suponiendo que la
representacin (18) es vlida, se multiplica por
integra para obtener.

(19)
Tambin se ha supuesto que se puede integrar termino a trmino, como

el sistema es ortogonal con respecto de
derecho de (19) se anula, excepto cuando
, cada integral del lado

. Al despejar
se
obtiene:
SERIES DE FOURIER
Pgina 26

La deduccin de la frmula para
solo fue formal pues no se ha
resuelto la cuestin de la convergencia del desarrollo en (18). Si la serie

, entonces se puede
justificar cada paso y los coeficientes vienen dados por la formula (20).
V.- CONVERGENCIA DE LAS SERIES DE FOURIER

Las figuras d y f proporcionan algunas pistas.
En el ejemplo 5 es
posible utilizar un criterio de comparacin o de comparacin de lmites

para demostrar que la serie es dominada absolutamente por una serie p
de la forma
, la cual converge. Sin embargo esto es ms fcil
de hacer en el ejemplo 4, pues los trminos tienden a cero como
, las
cosas pueden empeorar, pues existen series de Fourier que divergen.

Se establecen 2 teoremas para la convergencia de las series de Fourier
y 2 que tratan de la derivacin e integracin trmino a trmino.
Antes de continuar se necesita la siguiente notacin. Sean:
CONVERGENCIA PUNTUAL DE UNA SERIE DE FOURIER

Teorema 2. Si
son continuas en partes en [T , T ] ,
entonces para cualquier x en
SERIES DE FOURIER
Pgina 27

(21)
[ ( )
( )]
a0
nx
nx 1
+
+ an cos
+ bn sen
= f x + f x , donde
2 n =1
T
T 2
estn
dadas por las formulas de Euler (9) y (10). Para x =+

T , la serie
converge a
1
f ( T + ) + f (T )
2
En otras palabras cuando f , f son continuas por partes en [T , T ] , la

serie de Fourier converge a f ( x ) si f es continua en
x y converge al
promedio de los limites por la izquierda y por la derecha en puntos

donde f es discontinua.
El lado izquierdo de (21) es peridico con periodo 2T. Esto significa que
si se extiende f ( x ) ms all del intervalo
a toda la recta real
usando la periodicidad con periodo 2T, entonces la ecuacin (21) es

vlida para toda x en la extensin de f ( x ) con periodo 2T.
Ejemplo. A qu funcin converge la serie de Fourier de
f
<
x<
0
(x ) =
{1
, 0<
x<
Solucin
En el ejemplo anterior se vio que la serie de Fourier f ( x ) est 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 [, ] . Adems f es
continua en x=0. As por el teorema 2, la serie de Fourier en (12)
converge a la funcin g ( x ) con periodo 2g ( x ) , donde g ( x ) = f ( x ) = 1
[ ( ) ( )]
+
para < x < 0, g ( x ) = f ( x ) = 1 para 0 < x < , g ( 0) = f 0 + f 0
( ) [(
se tiene g + = f
) + f ( ) ]
= ( 1 + 1) = 0 . La grafica de
2
2
= 0 y en
g ( x ) aparece
en la figura g.
SERIES DE FOURIER
Pgina 28

Cuando f es una funcin con periodo 2T continua en ( , ) y cuya

derivada es continua por partes, su serie de Fourier no solo converge en
cada punto, sino que converge uniformemente en ( , ) . Esto significa
que para cualquier tolerancia prescrita >0, la grafica de la suma
parcial
sN =
a0 N
nx
nx
+ a n cos
+ bn sen
2 n =1
T
T
Estar, para N grande, en un corredor de ancho en tono de la grafica

de f en ( , ) . La propiedad de convergencia uniforme de series de
Fourier es de particular utilidad cuando hay que verificar que una
solucin parcial es una solucin genuina.
CONVERGENCIA UNIFORME DE UNA SERIE DE FOURIER

Teorema 3. Sea f
una funcin continua en ( , ) y peridica
con periodo 2T. Si f es continua por partes en [T , T ] y por tanto

en cualquier intervalo. Es decir, para cada >0, existe un entero N 0
SERIES DE FOURIER
Pgina 29

que depende de tal que

N
a
nx
nx
f ( x ) 0 + a n cos
+ bn sen
<
T
T
2 n =1
Para toda N N 0 y toda x ( , ).
En el ejemplo 5 se obtuvo el desarrollo en serie de Fourier dado en (13)

para
f ( x ) = x ,1 < x <1. Como g ( x ),
la extensin peridica de f ( x ) la
1, 1< x <0
figura i es continua en ( , ) y f ( x ) = { 1, 0<x 01
Es continua por partes en [1,1] , el desarrollo de la serie de Fourier (13)

en [1,1] .
La figura i muestra la extensin peridica de
No siempre es posible derivar trmino a trmino una serie de Fourier.

Por ejemplo, la serie de Fourier para
es,
Que converge para toda x, mientras que su serie derivada
SERIES DE FOURIER
Pgina 30

Diverge para toda x. el siguiente teorema proporciona condiciones

suficientes para usar la derivacin termino a termino.
VI. DERIVACIN DE SERIE DE FOURIER

TEOREMA 4 Sea
continua en
Suponga que
son continuas por partes en
la serie de Fourier de
Fourier para
, peridica con periodo 2T.
se puede obtener a partir
. Entonces
de la serie de
derivando termino a termino. En particular, si:
Observe que el teorema 4 no se aplica al ejemplo
y su desarrollo en
series de Fourier e la serie 22, pues la extensin con periodo

no es continua en
de
La integracin termino a trmino de una serie de Fourier es validan bajo

condiciones mucho ms dbiles.
VII.- INTEGRACIN DE SERIES DE FOURIER

Teorema 5. Sea
SERIES DE FOURIER
continua por partes en
, con serie de Fourier
Pgina 31

.
Entonces para cualquier x en [ T T ] , tenemos
VIII. SERIES DE SENOS Y COSENOS DE FOURIER

Un problema que aparece de manera tpica al usar separacin de
variable para resolver una ecuacin diferencial
representar una funcin definida
es el problema de
en algn intervalo finito
mediante
una serie trigonomtrica que conste solo de funciones seno o solo de

funciones coseno. La ecuacin
Necesitamos expresar los valores inciales
, de los
valores iniciales y en la frontera asociado al problema de flujo de calor

como una serie trigonomtrica.
Recordemos que la serie de Fourier para una funcin impar definida en
consta solo de trminos seno, pero lo que podramos tratar de
obtener de la serie extendiendo la funcin
de modo que la funcin extendida
, al intervalo
sea impar, logramos esto
definiendo la funcin
SERIES DE FOURIER
Pgina 32

Y extendiendo
Como
para toda
usando la periosidad con periodo 2L.
es una funcin impar, tiene una serie de Fourier
consta de solo trminos seno. Adems

, pues
impar
en
que
es una extensin de
Esta extensin se llama la extensin
con periodo 2L de
. El desarrollo en serie de Fourier
resultante se llama un desarrollo de de medio rango, pues representa

a la funcin
en
representa a
, en la mitad
del intervalo
donde
De manera similar, podemos definir la extensin par con periodo 2L de

como la funcin
De modo que
Para ilustrar las diversas extensiones, consideremos la funcin

. Sin extendemos
al intervalo
usando un
periodo , entonces la extensin f est dada por:
Con
. El clculo de la serie de Fourier para
se
vio que:
SERIES DE FOURIER
Pgina 33

Que consta de funcin impar (los trminos senos) y funcin par (el
termino constante), pues la extensin con periodo
impar. La extensin impar con periodo
de
no es par ni
es justamente
, que tiene desarrollo en series de Fourier.
Las tres extensiones anteriores, la funcin

funcin impar
con periodo
con extensiones naturales de
con periodo
y la funcin par
, la
con periodo
. Existen otras formas de extender a
. Por ejemplo la funcin:
Sin embargo, su serie de Fourier contiene trmino seno y coseno y por

lo tanto no es tan til como las extensiones anteriores .
Graficas de extensiones. De
. .
a. Periodo
b. Impar con periodo
c. Par con periodo
d. Otra extensin con periodo
A.
SERIES DE FOURIER
Pgina 34

B.
C.
D.
SERIES DE FOURIER
Pgina 35

Los desarrollos en series de Fourier para

(2) (3) representa a
iguales a
en
en el intervalo
dados en
(en realidad, son
. esto motiva las siguientes funciones.
SERIE DE SENOS Y COSENOS DE FOURIER

DEFINICIN 2. Sea
continua por partes en el intervalo
serie de cosenos de Fourier de en
es
en
La
es:
Donde
La series de senos de Fourier. De
en
Es:
DONDE
SERIES DE FOURIER
Pgina 36

La serie trigonomtrica en (4) es justamente la serie d Fourier para

, la extensin par con periodo 2T de
para
, la extensin
.y la de la (6) la serie de Fourier
impar con periodo 2T de
desarrollos de medio rango para
.estos son los
Ejemplo 7. Calcule la serie de Fourier para:
Usamos la formula (7) con
As que al hacer, tenemos que la serie de senos de Fourier
SERIES DE FOURIER
Pgina 37

La funcin
es continua y
es continua por partes en
de modo que el teorema (2) acerca de la convergencia puntual de las

series de Fourier implica que:
Para todo
en
1) SERIES TRIGONOMTRICAS Y POLINOMIOS

TRIGONOMTRICOS
Se llama serie trigonomtrica de periodo
a toda serie de funciones de
la forma:
Se llama polinomio trigonomtrico de grado N y periodo
a toda
expresin de la forma
Si al menos uno de los coeficientes
es distinto de cero se dice
que el grado del polinomio es N. Obsrvese que las sumas parciales de

las series trigonomtricas (1.1) son polinomios trigonomtricos.
Utilizando formulas trigonomtricas elementales para sumas de ngulos
,
se pueden expresar en funcin de
y sus
potencias y productos. El grado mximo de los monomios que aparecen

al desarrollar
de esta manera es precisamente k y si lo
hacemos con un polinomio trigonomtrico de grado N, el grado mximo

ser N.
Utilizando las formulas elementales se ve que al multiplicar dos
polinomios trig. de grados N y M, se obtiene un polinomio
SERIES DE FOURIER
Pgina 38

trigonomtrico de grado N +M. Est claro que el grado no puede ser

mayor que este, pero hay que probar (y se deja como ejercicio) que al
menos uno de los coeficientes de los trminos de mayor grado no es
cero. (Conviene observar que esta propiedad puede no ser cierta si los
coeficientes son nmeros complejos como se puede comprobar
multiplicando
.)
2) AMPLITUD Y FASE
Dado el par
podemos definir
y un ngulo
de
modo que:
Entonces se tiene:
El coeficiente
es la amplitud
es la fase del k-eximo trmino.
3) VARIANTES DE LA SERIE DE FOURIER

a) Cambio De Periodo
En aplicaciones ocurren funciones que no son peridicas pero que
necesitamos
expandir
en
series
de
Fourier.
Esto
lo
hacemos
construyendo otra funcin que sea peridica y que coincida con la

primera en su intervalo de definicin.
SERIES DE FOURIER
Pgina 39

Supongamos que
est definida en un intervalo
definir una funcin par de perodo
. Podemos
que coincida con la original en
y obtener su serie de Fourier de cosenos, o bien, podemos

definir una funcin impar de perodo
en
que coincida con la original
y obtener su serie de Fourier de senos.
Las frmulas de los coeficientes

convenientemente y quedan:
tambin
deben
adaptarse
b) Extensin Par
La serie de Fourier de una extensin par
con periodo
es una
serie de cosenos:
Ejemplo n 01
Funcion original
SERIES DE FOURIER
Extencion par
Pgina 40

Ejemplo n 02
Funcion original
Extencion par
c) Extensin Impar
La serie de Fourier de una extensin impar
con periodo
es
una serie de senos:
Ejemplo n 01
SERIES DE FOURIER
Pgina 41

Funcion original
Extencion impar
Funcion original
Extencion impar
Ejemplo n 02
SERIES DE FOURIER
Pgina 42

IX.
FUNCIONES PERIDICAS
Una funcin
se llama peridica de perodo
Grficamente
de longitud
tiene perodo
si cumple que:
si su grfica se repite cada intervalo
. As, una grfica tpica de una funcin peridica se ve

como sigue:
1
0.75
0.5
0.25
-3
-2
-1
-0.25
-0.5
-0.75
-1
Si
es el perodo ms pequeo entonces
fundamental de
. Por ejemplo, si
por lo tanto, vemos que

Si
se llama el perodo
tiene periodos
es el perodo fundamental.
tiene periodo p entonces se repiten sus valores cada intervalo
de longitud p, en particular si tomamos el intervalo

intervalo podemos calcular la serie de Fourier de
, y en este
Donde podemos usar el hecho de que la funcin es peridica para

obtener que:
SERIES DE FOURIER
Pgina 43

Esta serie representa a la funcin
en el intervalo
y como
tiene perodo p, entonces representa a la funcin en todos los

nmeros reales, excepto tal vez en los puntos de discontinuidad.
Propiedades:
1) Una funcin peridica
, que admite el desarrollo en serie de
Fourier, define una serie:
Donde:
Que evala a la funcin
de acuerdo con el enunciado del teorema
de Fourier.
2) Si
es peridica, desarrollable en serie de Fourier y adems
verifica que:
SERIES DE FOURIER
Pgina 44

Entonces el desarrollo en serie de Fourier tiene la forma:
EJEMPLOS:
1. Sea
grfica de
, y peridica con perodo fundamental 2, una

se ve como sigue:
Solucin
Si calculamos la serie de Fourier de
impar en el intervalo
en
y por lo tanto,
Por lo tanto, la serie de Fourier de
tenemos que
es
y adems:
es:
Usando el criterio de convergencia, tenemos que esta serie de Fourier

converge a:
Por lo tanto, la serie de Fourier converge a
si
, y como
es peridica de perodo fundamental 2, entonces la misma serie de

Fourier converge a
en todos los intervalos abiertos:
As como:
SERIES DE FOURIER
Pgina 45

Esto ltimo lo podemos verificar si usamos el programa Mathematica,

para graficar la funcin
, as como aproximaciones a la serie de
Fourier, tomando en vez del valor infinito en la suma, un nmero

natural fijo.
Por ejemplo, si tomamos la suma desde
siguientes grficas:
hasta
Y si tomamos la suma desde

grficas:
, obtenemos las siguientes
hasta
, obtenemos las
Ntese que efectivamente la segunda aproximacin es mejor que la

primera, y obviamente si tomamos la suma desde
hasta
con
k cada vez ms grande, entonces la serie de Fourier ser mucho ms

parecida a f(x). Tambin obsrvese que como afirmamos arriba, la serie
de Fourier no converge a f(x) en los extremos de los intervalos.
2. Sea:
con perodo fundamental 6.

Solucin
Calculamos los coeficientes de la serie de Fourier en el intervalo
SERIES DE FOURIER
Pgina 46

Por lo tanto la serie de Fourier de
es:
Y usando el criterio de convergencia, vemos que esta serie de Fourier

converge a:
Por lo tanto, esta serie converge a f(x) si
y como f(x)
tiene perodo 6, la misma serie converge a f(x) en los intervalos:
X.
CONVERGENCIA PUNTUAL DE LA SERIE DE

FOURIER
Escribiremos
para representar la suma parcial N-e sima de la serie
de Fourier de f, es decir,
Nuestro objetivo es estudiar la convergencia puntual de esta sucesin

de funciones.
1) NCLEO DE DIRICHLET
Conviene representar la suma parcial de una forma ms manejable.
Para ello sustituimos los coeficientes
por sus expresiones
integrales y tenemos:
SERIES DE FOURIER
Pgina 47

Hemos utilizado la notacin:
Y llamamos a esta funcin ncleo de Dirichlet. Multiplicando por

y utilizando la relacin trigonomtrica:
Llegamos a:
Grafica de
en un periodo
Propiedades
1.
2.
es una funcin peridica de periodo 2

es par:
SERIES DE FOURIER
Pgina 48

3.
La primera propiedad permite cambiar el intervalo de integracin a

cualquier otro de longitud 2. Como tambin
, se puede
poner:
Cambiando la variable
en el intervalo
y usando la
segunda propiedad se obtiene la expresin:
2) PRIMEROS TEOREMAS:
Teorema 1. Sea f una funcin integrable en (, ) que tiene derivada
en el punto
. Entonces, la serie de Fourier de f converge a
Demostracin.
Teniendo en cuenta la propiedad 3 del ncleo de Dirichlet podemos
escribir:
El primer factor del ltimo integrando es una funcin integrable en el

conjunto
y adems esta acotada en un entorno de 0 (por
la Existencia de derivada), luego es integrable en
.El segundo
factor es una funcin continua en ese intervalo ya que la aparente

discontinuidad en el origen es evitable.
SERIES DE FOURIER
Pgina 49

La existencia de derivada en
exige la continuidad en ese punto. Con
una pequea variante se puede cubrir el caso en que la funcin tiene

una discontinuidad de salto en
los
lmites
laterales en
. Para ello y suponiendo que existen
laterales
, definimos
las
derivadas
como:
Cuando estos lmites existen.

Teorema 2. Sea f una funcin integrable en
laterales en el punto
que tiene derivadas
en el sentido mencionado. Entonces, la serie de
Fourier de f converge en
, Para probar este teorema basta
utilizar:
Para escribir:
Y razonar como en el teorema anterior.

Muchas de las funciones que manejamos cumplen las hiptesis de este
teorema.
3) TEOREMA DE DIRICHLET
El primer teorema de convergencia de series de Fourier, debido a
Dirichlet, Apareci en 1829 y se refiere a funciones montonas a trozos.
Por ello Comenzamos primero con unos comentarios sobre estas
funciones. Una funcin montona y acotada en un intervalo
es
integrable y tiene lmites laterales finitos en cada punto.
SERIES DE FOURIER
Pgina 50

Teorema 1.
Sea f una funcin montona a trozos y acotada en
converge a
. Entonces,
. En particular, converge a
si la funcin
es continua en x.
Hay que entender que la funcin se ha extendido por periodicidad
cuando el punto x es uno de los extremos del intervalo. As
.
Utilizaremos en la prueba los dos lemas siguientes.
Lema 1
Sea
no decreciente y no negativa en
nmero finito de cambios de signo en
continua con un
. Existe
tal que:
Este teorema es debido a Bonnet (1850), quien lo propuso buscando

una simplificacin de la prueba de Dirichlet;
Demostracin:
Descomponemos
en los intervalos
los que h tiene signo constante
Donde
, en
, entonces:
, escribiremos
, de modo
que:
SERIES DE FOURIER
Pgina 51

(Hemos aadido
que es cero.) Los coeficientes que multiplican
a valores de la funcin H en la anterior expresin son todos no

negativos por ser g no decreciente, de modo que se puede escribir
como el producto de la suma de los coeficientes (que es
) por un
valor comprendido entre el mximo y el mnimo de H. Por la

continuidad de H, este valor ser
para algn
Lema 2
Existe una constante M tal que:
Para todo
Demostracin
Sumando y restando
en el integrando tenemos:
La primera integral del segundo miembro se acota por la integral en

y Como el integrando es una funcin continua, la integral es finita.
Un cambio De variable en la ultima integral muestra que basta probar
que:
Esta acotada independientemente de
SERIES DE FOURIER
con:
Pgina 52

Si
, basta observar que sin
y la integral se acota por 1 Si
, integrando por partes:
Finalmente, si
, se acotan las integrales en
y en
como las anteriores.

Demostracin del teorema 1:
Tenemos que probar que:
Lo que teniendo en cuenta las propiedades del ncleo de Dirichlet se

pueden escribir
Es suficiente probar que:
Para g montona a trozos en
y tal que
. Aplicando
a:
Queda probado el teorema 1.

Podemos suponer que g es creciente en un intervalo a la derecha de 0
(si es decreciente, cambiamos de signo a g). Dado > 0, escogemos
> 0 tal que g es creciente en (0, ) y g() < /2M (donde M es la
constante del lema 2), lo que es posible porque
. Aplicando
sucesivamente los lemas1 y 2 tenemos:
SERIES DE FOURIER
Pgina 53

Razonando ahora como en el principio de localizacin, basta escoger N

suficientemente grande para que la integral entre y sea menor que
/2.
4) OTROS TEOREMAS DE CONVERGENCIA
1. Teorema de Dini (1880)
Utiliza de forma sencilla y muy efectiva el lema de Riemann-Lebesgue.
Sea f integrable en
, en un punto del intervalo x0 y
un nmero
real tal que la funcin:
Satisface:
Para algn
Entonces:
Demostracin: se tiene
La funcin:
Es integrable en
porque el primer factor lo es por hiptesis y el
segundo es una funcin continua. Como claramente es tambin

integrable en
, el lema de Riemann-Lebesgue termina la prueba.
2. Teorema de Lipschitz
Si f es integrable en
SERIES DE FOURIER
y en un punto
de ese intervalo se cumple:
Pgina 54

Para alguna constante
, entonces
Es habitual decir que una funcin f cumple la condicin de Lipschitz si:
Para todo par de puntos
de su dominio. Esta es una condicin de
Lipschitz uniforme, mientras que en
es una condicin puntual.
Tambin se suele hablar de condicin de Lipschitz (o de Holder) de

orden
La
condicin
cuando:
puntual
asociada
convergencia: basta tener |t|
tambin
es
suficiente
en el segundo miembro de
para
la
para
aplicar el teorema de Dini. Por otra parte, tambin se podran poner

condiciones del tipo:
5) CONDICIONES NECESARIAS PARA LA CONVERGENCIA DE

SERIES DE FOURIER
Damos una descripcin de los diversos mtodos que se han ido
empleando y se emplean actualmente para encontrar condiciones
necesarias para que las series de Fourier respecto de un sistema
ortogonal converjan tanto en media de orden p como dbil y en casi
todo punto. En la exposicin se hace especial hincapi en las series de
Fourier de polinomios ortogonales en [1, 1], ya que las condiciones
que aqu aparecen son particularmente atractivas y sencillas de aplicar.
a. Planteamiento Del Problema
A lo largo de toda la exposicin consideraremos
definida en un intervalo real
una medida positiva
, acotado o no. (Aunque el intervalo lo
denotaremos siempre como cerrado, puede ser abierto o semiabierto si
SERIES DE FOURIER
Pgina 55

se desea). Tomaremos {
un sistema ortogonal en
, es decir:
Y completo, o sea span
. Salvo que indiquemos lo
contrario supondremos siempre que
para todo
que ell sistema
y as diremos
es ortonormal. As mismo, para cada
construiremos las sumas parciales de su serie de Fourier
Es bien conocido que, por ser
un espacio de Hilbert, se
verifica la desigualdad de Bessel
Y la convergencia
en
para cada
Mas an, el teorema de mejor aproximacin garantiza que las sumas

parciales de la serie de Fourier son las combinaciones lineales de
que mejor aproximan la funcin f en el sentido de que
Y la igualdad solo se alcanza cuando
.Una
medida d siempre puede descomponerse en su parte absolutamente

continua y su parte singular,
Cuando
no tiene parte
singular pondremos
, y a la funcin
la
llamaremos peso
SERIES DE FOURIER
Pgina 56

Son tambin muy usados los sistemas ortogonales constituidos por

polinomios, esto es, cuando
exista una familia
polinomio de grado n. Para que

de polinomios ortogonales respecto a una
medida d basta que dicha medida posea infinitos

crecimiento efectivo y que existan todos los momentos:
puntos de
Cuando tratamos con sistemas de polinomios ortogonales, el teorema

de Weierstrass garantiza que, siempre que el intervalo [a, b] sea
acotado, el sistema es completo. Esto no es cierto en general para un
intervalo cualquiera y en este caso debemos abordar la completitud por
otros caminos. Cabe aqu recordar su relacin con la unicidad en el
problema de momentos.
As como los casos particulares de sistemas de Jacobi pero que poseen
denominacin propia: Legendre
, Chebyshev de 1a clase
, Chebyshev de 2.a clase
y ultra esfricos
. Otro sistema ortogonal muy utilizado y que ya no est

formado
por
polinomios
es
, donde
son
el
que
constituyen
las
funciones
es la funcin de Bessel de orden

sus
ceros
positivos
ordenados
en
sentido
creciente. Este sistema es ortogonal y completo en
satisfacindose
Volviendo a sistemas ortogonales generales, sea

combinaciones lineales de
SERIES DE FOURIER
tal que las
son densas en el espacio
Pgina 57

El primer problema que podemos plantearnos es estudiar si
Lo que se denomina convergencia en media de orden p. Supondremos

siempre que
, siendo q el conjugado de p, es decir
lo cual es necesario para que para todo
Donde, aqu y a partir de ahora, utilizaremos C para denotar constantes

Positivas independientes de n y que pueden no ser la misma en cada
ocasin. Comprobemos dicha equivalencia:
Y por tanto Sn es un operador continuo para cada n. Adems
Dado
, sea
tal que
. Por ser
, se tiene
Cuando
es un sistema orto normal respecto a un peso w(x) en
un intervalo [a, b], es claro que el nuevo sistema

mediante
definido
es orto normal en el mismo intervalo
.Esto da lugar a poder estudiar la convergencia de los dos sistemas

orto normales.
SERIES DE FOURIER
Pgina 58

Pero no nos detenemos aqu a la hora de encontrar un nuevo sistema

orto normal a partir de uno dado, sino que si tomamos
entonces
es orto normal en
Ms an, si tomamos una funcin

esta
vez
tendremos
y hacemos
cualquiera y
que
es
,
ortonormal
en
. Esta ltima modificacin se puede aplicar incluso

aunque la medida no provenga de un peso. En efecto, si
orto normal en
entonces el sistema
, es ortonormal en
es
, con
. Adems, las
series de Fourier respecto a uno y otro sistema se pueden relacionar

fcilmente. Para ello, denotemos sn y Sn a las sumas parciales de las
series de Fourier respecto de
sea as mismo
Ms an, si llamamos
respectivamente, y
. Entonces
es inmediato comprobar que
6) ANALISIS ARMONICO PRCTICO

Las ondas armnicas continuas que hemos estudiado 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
SERIES DE FOURIER
Pgina 59

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.
Descripcin
A primera vista, parece que el problema de analizar formas de ondas
complejas representa una tarea formidable. Sin embargo, si la forma de
la onda es peridica, se puede representar con una precisin arbitraria,
mediante la superposicin de un nmero suficientemente grande de
ondas senoidales que forman una serie armnica.
Toda funcin f(t) peridica de periodo P, se puede representar en forma
de una suma infinita de funciones armnicas, es decir,
Donde el periodo
son los
denominados coeficientes de Fourier.
Conocida la funcin peridica
, calculamos los coeficientes
del
siguiente modo
En el programa interactivo, transformamos la funcin peridica de

periodo P, en otra funcin peridica de periodo 2p, mediante un simple
SERIES DE FOURIER
Pgina 60

cambio de escala en el eje t. Escribiendo
, tendremos el periodo P
de t convertido en el periodo 2p de x, y la funcin f(t) convertida en
Definida en el intervalo que va de
. La serie se expresa en la
forma ms simple
Donde
Si la funcin g(x) tiene simetra, algunos de los coeficientes resultan

nulos.
Si
es una funcin par,
Si
es impar
SERIES DE FOURIER
, los trminos bi son nulos
, los coeficientes ai son nulos
Pgina 61

Series de Fourier Arregaldo

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Series de Fourier Arregaldo

Uploaded by

Copyright:

Available Formats

UNIVERSIDAD NACIONAL DE CAJAMARCA

ESCUELA ACADMICO PROFESIONAL DE INGENIERA CIVIL

UNIVERSIDAD NACIONAL DE CAJAMARCA

ESCUELA ACADMICO PROFESIONAL DE INGENIERA CIVIL

ANALISIS MATEMATICO III

LIC. SANCHEZ CULQUI ELADIO

CHINGUEL CAMIZAN JAMES

CICLO/AO : CICLO VACACIONAL 2013

UNIVERSIDAD NACIONAL DE CAJAMARCA

V.- CONVERGENCIA DE LAS SERIES DE FOURIER

UNIVERSIDAD NACIONAL DE CAJAMARCA

Una serie de Fourier es una serie infinita que converge

UNIVERSIDAD NACIONAL DE CAJAMARCA

tiene un perodo T o es peridica con perodo T si para

, donde T es una constante positiva. El valor ms

se llama el perodo principal o perodo fundamental o

tiene perodos 2, 4, 6 ya que:

UNIVERSIDAD NACIONAL DE CAJAMARCA

DEFINICIN 2 (EXPANSIN PERIDICA)

se define por la siguiente frmula:

DEFINICIN 3 (FUNCIONES CONTINUAS A TROZOS)

continua en cada subintervalo

y (ii) en cada uno de

cada extremo del subintervalo.

. Asumiendo que la serie

UNIVERSIDAD NACIONAL DE CAJAMARCA

Converge uniformemente a f para todo

La serie, convergente uniformemente, puede ser integrada trmino a

UNIVERSIDAD NACIONAL DE CAJAMARCA

El argumento es anlogo para

estn descritos como en

se denominan los coeficientes de Fourier de f.

denomina la serie de Fourier de la funcin f.

pueden ser calculados. Sin embargo no existe certeza de que la serie de

Esto indica que la serie podra o no converger a f en algunos puntos.

Nota 2 (Notacin Compleja para las series de Fourier)

UNIVERSIDAD NACIONAL DE CAJAMARCA

Donde i es la unidad imaginaria tal que

pueden ser escrita en notacin compleja as:

y determinada por fuera de este

intervalo por su extensin peridica,

perodo T. La serie de Fourier correspondiente a

Donde los coeficientes de Fourier

UNIVERSIDAD NACIONAL DE CAJAMARCA

los coeficientes de Fourier de f. La forma fase-ngulo

de la serie de Fourier de f es:

Ya que f es una funcin impar, esto es

UNIVERSIDAD NACIONAL DE CAJAMARCA

estan dados por:

III.- FUNCIONES PARES E IMPARES

una funcin. Se dice que

respecto del eje de ordenadas. Si

es una funcin par cuando

esto significa que su grafica es simtrica

Las constantes, los cosenos o las funciones

par son ejemplos de

es una funcin impar cuando

UNIVERSIDAD NACIONAL DE CAJAMARCA

simtrica respecto del origen de coordenadas. Si

Los senos o las funciones

impar son ejemplos de funciones

impares. La suma y el producto de funciones pares o impares siguen la

Cuya grafica se muestra en la figura 10.7 es impar en el intervalo

UNIVERSIDAD NACIONAL DE CAJAMARCA