You are on page 1of 30

UNIVERSIDAD NACIONAL MAYOR DE

SAN MARCOS
UNIVERSIDAD DEL PERÚ, DECANA DE AMERICA

TRABAJO MONOGRAFICO
TEMA: FUNDAMENTOS DE LA SERIE DE FOURIER Y APLICACIONES

DOCENTE DEL CURSO:

CASTRO VIDAL RAÚL

AUTORES:

ACUÑA GAMARRA GUILLERMO ALONSO


BECERRA ALIAGA JUAN MIGUEL
BOZA QUISPE RICARDO ANDRÉS
CHINGUEL JIMENEZ DIEGO ERNESTO
VALVERDE BANDAN KELLY NATHALY

FACULTAD DE INGENIERIA ELECTRICA Y ELECTRONICA

CICLO 2018-I
DEDICATORIA

Este trabajo está dedicado en primer lugar a Dios por brindarnos la sabiduría necesaria en cada
circunstancia a lo largo de nuestras vidas de estudiantes y por haber guiado nuestros caminos por
un sendero de luz y amor.

También deseamos dedicar este trabajo a nuestros seres queridos quienes siempre están
apoyándonos incondicionalmente y por el deseo de superación que ellos nos brindan
INDICE

Introducción………………………………………………………………………………………

I. Marco histórico………………………………………………………
II. Funciones Periodicas
III. Funciones Ortogonales
IV. Series de Fourier
V. Aproximación mediante series de Fourier………………………….
VI. Convergencia uniforme……………………………………………….
VII. Condiciones de Dirichlet………………………………………………
VIII. .
IX. .
X. .
XI. .
XII. .
XIII. .
XIV. Series de Fourier de las derivadas de funciones periódicas continúas………………
XV. Evaluación de coeficientes de Fourier por diferenciación…………………
XVI. Problemas Resueltos……………………………………………………..
XVII. Aplicaciones……………………………………………………………
XVIII. Conclusiones……………………………………………………………….

Bibliografía………………………………………………………………………………………...
INTRODUCCIÓN

El presente trabajo de investigación se refiere al tema de fundamentos de la serie de Fourier, que


podemos definir como los conocimientos básicos o previos en los que están basados las series de
Fourier, estos son de convergencia de una serie infinita, funciones periódicas y continuidad de
una función, que fueron adquiridos con anterioridad; además se analizará las importantes y
diversas aplicaciones que ha tenido en diferentes ramas de la ingeniería.

La realización de este trabajo de investigación se debe al interés académico que tiene cada
alumno de profundizar sus conocimientos acerca de este tema y enfocarse en lo que le ayudara a
comprender los fenómenos físicos que lo generan. Por ejemplo las señales sinusoidales que son
generadas por el sonido de un diapasón, en el estudio de esta señal se pueden utilizar el análisis
de funciones periódicas para determinar el tipo de señal con el que estamos tratando y determinar
su expresión matemática.

El verdadero objetivo de este trabajo será no tan solo de investigación sino también didáctico, de
manera que pueda ser útil para el aprendizaje de este tema.

En las siguientes secciones se comprenderá desde el análisis de funciones periódicas y


sinusoidales, siguiendo con convergencia de las funciones, posteriormente diferenciación, y para
terminar el análisis de las ondas periódicas con las series de Fourier y sus aplicaciones en los
diferentes ámbitos.
I. MARCO HISTORICO

Comenzaremos nuestro recorrido por los métodos de Fourier conociendo un poco sobre quién
fue Fourier y cómo se desarrolló su vida, así como una breve mención acerca de los estudios que
le llevaron a crear dichos métodos y todos los trabajos previos realizados por numerosos
matemáticos, no menos importantes, que contribuyeron a su creación.

Jean Baptiste Joseph Fourier nació el 21 de marzo de 1768 en Auxerre, Francia, y en 1789 entró
en la Ecole Royale Militaire de Auxerre donde se sintió atraído fuertemente por las matemáticas.
A los 14 años había estudiado los seis volúmenes del Cours de mathematique de Bézout. En
1787 ingresó en la abadía Benedictina pero dos años después deja el monasterio y se dirigió a
París, donde presentó un trabajo sobre ecuaciones algebraicas en la Real Academia de Ciencias.
Al siguiente año ocupó un puesto de profesor en el colegio Benedictino en la Real Escuela
Militar de Auxerre, hasta que en 1793 se involucró en política, uniéndose al Comité
Revolucionario local y acabando en prisión a punto de enfrentarse a la guillotina. En 1795 fue
admitido en la Ecole Normale de París, donde fue alumno de Lagrange y de Laplace. Más tarde,
fue profesor en la Ecole Polytechnique, recién creada. A consecuencia de su arresto previo
nuevamente fue a prisión, de donde pudo ser liberado gracias a las súplicas de Lagrange,
Laplace, Monge, sus alumnos, y un cambio de clima político.

Durante sus últimos años en París, Fourier publicó una serie de trabajos tanto en matemáticas
puras como aplicada, hasta que murió el 16 de marzo de 1827 en dicha ciudad francesa, a
consecuencia de una enfermedad contraída durante su estancia en Egipto.

Es preciso notar que los trabajos de Fourier proporcionaron un gran impulso para posteriores
investigaciones sobre series trigonométricas y la teoría de funciones de variable real. Pero la
historia del Análisis de Fourier tiene más de 200 años y sus orígenes se encuentran unos 60 años
antes del momento en que Jean Baptiste Joseph Fourier presentara la primera versión de su
trabajo sobre la teoría de la conducción del calor a la Academia de París en 1807.

Para situarnos un poco en el contexto histórico de la época, haremos unas menciones a la


situación del momento.

En el año 1750 Fernando VI era rey de España, y Jorge II de Inglaterra. Las colonias de América
del Norte estaban en medio de las guerras con los nativos y los franceses y unos años después
Carlos III creaba el virreinato del Río de la Plata, en 1776. Voltaire, Rousseau y Kant estaban
escribiendo sus libros en Europa; Bach acababa de morir y Mozart estaba a punto de nacer.
Además, el cálculo de Leibnitz y Newton, publicado 75 años antes, estaba permitiendo la
creación de poderosas nuevas teorías sobre la mecánica celeste y la mecánica del continuo. De
hecho, el desarrollo del cálculo de los últimos tiempos se había convertido en la principal
herramienta para estudiar y modelizar la Naturaleza. En este aspecto, la idea básica era
representar la evolución de un fenómeno natural por medio de una ecuación diferencial que
relacionaba las distintas magnitudes relevantes en el fenómeno. Esta ecuación se obtenía a partir
de un análisis del fenómeno a nivel infinitesimal, utilizando un reducido número de leyes
naturales que se habían ido descubriendo. Los fenómenos que podían describirse en términos de
una sola variable venían así regidos por ecuaciones diferenciales ordinarias, que relacionaban la
función incógnita con sus derivadas; cabe resaltar que a lo largo del siglo XVII y la primera
mitad del XVIII se habían desarrollado considerablemente los métodos de resolución de este tipo
de ecuaciones. Sin embargo, cuando el fenómeno estudiado dependía de dos o más variables
significativas, su modelización venía dada por una ecuación en derivadas parciales, mucho más
difícil de tratar.

La historia moderna de las series de Fourier comenzó con D’Alembert (1747) y su tratado de las
oscilaciones de las cuerdas del violín. El desplazamiento u=u(t,x)u=u(t,x) de una cuerda de
violín, como una función del tiempo t y de la posición x, es solución de la ecuación diferencial

sujeto a las condiciones


iniciales u(t,0)=u(t,1)=0u(t,0)=u(t,1)=0 para t≥,∂u∂t(0,x)=0t≥,∂u∂t(0,x)=0 para 0<x<10<x<1. La
solución de este problema es la superposición de dos ondas viajando en direcciones opuestas a la
velocidad 1, como lo expresa la fórmula de D’Alembert:

u(t,x)=12f(x+t)+12f(x−t),u(t,x)=12f(x+t)+12f(x−t),

en la cual f es una función impar de período 2 que se anula en los puntos x = 0, ±1, ±2, . . . Euler
en 1748 propuso que tal solución podía ser expresada en una serie de la forma

f(x)=∑n=1∞f^(n)sinnπx,f(x)=∑n=1∞f^(n)sin⁡nπx,

y como consecuencia

u(t,x)=∑n=1∞f^(n)cosnπxsinnπx.u(t,x)=∑n=1∞f^(n)cos⁡nπxsin⁡nπx.

Las mismas ideas fueron luego expresadas por D. Bernoulli(1753) y Lagrange(1759). La fórmula

f^(x)=2∫00f(x)sinnπxf^(x)=2∫00f(x)sin⁡nπx

para calcular los coeficientes, apareció por primera vez en un artículo escrito por Euler en 1777.

La contribución de Fourier comenzó en 1807 con sus estudios del problema de flujo del calor

∂u∂t=12∂2u∂x2,∂u∂t=12∂2u∂x2,

presentado a la Académie des Sciences en 1811 y publicado en parte como la celebre Théorie
analytique de la chaleur en 1822. Fourier hizo un intento serio por demostrar que cualquier
función diferenciable puede ser expandida en una serie trigonométrica. Una prueba satisfactoria
de este hecho fue dada por Dirichlet en 1829. Riemann también hizo contribuciones importantes
al problema.

Modernamente el análisis de Fourier ha sido impulsado por matemáticos de la talla de Lebesgue,


Hardy, Littlewood, Wiener, Frobenius, Selberg, Weil y Weyl entre otros.
II. FUNCIONES PERIODICAS

Una función periódica se puede definir como una función para la cual:

f (t )  f (t  T ), t  1
Para todo valor de t. La constante mínima T que satisface la relación (1) se llama el periodo de la
función. Mediante repetición de (1) se obtiene:

f (t )  f (t  nT ),  n  0, 1, 2, 
III. FUNCIONES ORTOGONALES

 
2 funciones f1 , f 2 : a, b  son ortogonales si f1 , f2  0 es decir, diremos que f1 y f2
son ortogonales en el intervalo a, b

IV. SERIES DE FOURIER

Sea f  x  una función Rieman integrable en el intervalo L, L , definimos su serie de


Fourier en ese intervalo como:

a0  n x   n x 
  n 1 an cos    n 1 n 
 
 b sen 
2  L   L 
Donde los coeficientes se calculan como:

 n x   n x 
L L L
1 1 1
a0   f  x  dx an   f  x  cos   dx bn   f  x  sen   dx
L L L L  L  L L  L 

 Hallamos el primer coeficiente: a0

a0  n x   n x 
f  x    n 1 an cos    n 1 n 
 
 b sen 
2  L   L 
 n x   n x 
L L L L
a0
   L 2 L  n1 n  L  L  n1 n  L dx
 
 L f x dx  dx  a cos dx  b sen
 n x   n x 
L L L L
a0
 L   2 L n1 n L  L  n1 n L  L  dx
 
f x dx  dx  a cos dx  b sen

L L
 n x     L  n x  
L
L
L
a0
f  x  dx    n1 an  sen  
 

L
2 L

 n  L    L
 n 1 n 
b cos  
 n  L    L

L
L

 2L    n1 an  2sen  n     n1 bn  0


a0 L
f  x  dx 
 

L
2 n n
.
L L
1
 f  x  dx  La
L
0  a0   f  x  dx
L L

 Hallamos el segundo coeficiente: a n

a0  n x   n x 
f  x    n 1 an cos    n 1 n 
 
 b sen 
2  L   L 

 m x  a0  m x   n x   m x 
f  x  cos     n 1 an cos 

  cos   cos  
 L  2  L   L   L 
 n x   m x 
  n 1 bn sen 

 cos  
 L   L 

 m x   m x   n x   m x 
L L L
a0
  

 L f x cos 
 L 
 dx   cos 
2 L  L 
 dx  n 1
an 
L
cos   cos 
 L   L 
 dx

 n x   m x 
L
  n1 bn  sen 

 cos   dx
L  L   L 
 m x  2  n x 
L L

 L f  x  cos   dx  an  cos   dx
 L  L  L 

 m x  2  n x 
L L

 f  x  cos   dx  an  cos   dx
L  L  L  L 

 m x 
L

 f  x  cos   dx  an L
L  L 

 m x 
L
1
an   f  x  cos   dx
L L  L 

 Hallamos el coeficiente: bn

a0  n x   n x 
f  x    n 1 an cos    n 1 n 
 
 b sen 
2  L   L 

 m x  a0  m x   n x   m x 
f  x  sen     n 1 an cos 

  sen  sen  
 L  2  L   L   L 
 n x   m x 
  n 1 bn sen 

 sen  
 L   L 
 m x   m x   n x   m x 
L L L
a0
  

 L f x sen 
 L


dx 
2 
L
sen 
 L


dx  n 1
an 
L
cos 
 L
 sen 
  L
 dx

 n x   m x 
L
  n1 bn  sen 

 sen   dx
L  L   L 

 m x  2  n x 
L L

 L    L  n L  L  dx
f x sen dx  b sen

 m x  2  n x 
L L

 f  x  sen   dx  bn  sen   dx
L  L  L  L 

 m x 
L

 f  x  sen   dx  bn L
L  L 

 m x 
L
1
bn   f  x  sen   dx
L L  L 
V. APROXIMACIÓN MEDIANTE UNA SERIE FINITA DE FOURIER

Sea:
𝑘
𝑎0
𝑆𝐾 (𝑡) = + ∑ 𝑎𝑛 cos⁡(𝑛𝑊0 𝑡) + 𝑏𝑛 sin(𝑛𝑊0 𝑡)
2
𝑛=1

La suma de los primeros (2k+1) términos de una serie de Fourier que representan 𝑓(𝑡) en el
𝑡 𝑡
intervalo − 2 < 𝑡 < 2. Si 𝑓(𝑡) se aproxima por 𝑆𝑘 (𝑡), es decir:

𝑘
𝑎0
𝑓(𝑡) = + ∑ 𝑎𝑛 cos⁡(𝑛𝑊0 𝑡) + 𝑏𝑛 sin(𝑛𝑊0 𝑡) + 𝜀𝑘 (𝑡)
2
𝑛=1

𝜀𝑘 (𝑡) = 𝑓(𝑡) − 𝑆𝑘 (𝑡)

Y 𝜀𝑘 (𝑡) es la diferencia o error entre 𝑓(𝑡) y su aproximación, entonces el error cuadrático medio
𝐸𝑘 está definido por:
𝑇 𝑇
1 ⁄2 1 ⁄2
𝐸𝑘 = ∫ [𝜀𝑘 (𝑡)]2 𝑑𝑡 = ∫ [𝑓(𝑡) − 𝑆𝑘 (𝑡)]2 𝑑𝑡
𝑇 −𝑇⁄ 𝑇 −𝑇⁄
2 2

Demostrar:

Si se aproxima una función 𝑓(t) por una serie finita de Fourier 𝑆𝑘 (𝑡), entonces esta
aproximación tiene la propiedad de ser el mínimo error cuadrático medio

𝑘 2
𝑇
1 ⁄2 𝑎0
𝐸𝑘 = ∫ [𝑓(𝑡) − − ∑(𝑎𝑛 cos 𝑛𝑤0 𝑡 + 𝑏𝑛 sin 𝑛𝑤0 𝑡)] 𝑑𝑡
𝑇 𝑇⁄ 2
2 𝑛=1

Considerar 𝐸𝑘 una funcion de 𝑎0 , 𝑎𝑛 , 𝑏𝑛 . Para que el error cuadrático medio 𝐸𝑘 sea un mínimo,
sus derivadas parciales con respecto a 𝑎0 ,𝑎𝑛 ,𝑏𝑛 deben ser iguales a cero, es decir
𝑑𝐸𝑘 𝑑𝐸𝑘 𝑑𝐸𝑘
=0 =0 =0
𝑑𝑎0 𝑑𝑎𝑛 𝑑𝑏𝑛

n=1,2,……

𝑑𝐸 1 𝑇⁄ 𝑎0
Intercambio el orden de la diferenciación y de la integración 𝑑𝑎𝑘 = − 𝑇 ∫−𝑇⁄2 [𝑓(𝑡) − −
0 2 2

∑𝑘𝑛=1(𝑎𝑛 cos 𝑛𝑤0 𝑡 + 𝑏𝑛 sin 𝑛𝑤0 𝑡] 𝑑𝑡

𝑇 𝑘
𝑑𝐸𝑘 2 ⁄2 𝑎0
= − ∫ [𝑓(𝑡) − − ∑(𝑎𝑛 cos 𝑛𝑤0 𝑡 + 𝑏𝑛 sin 𝑛𝑤0 𝑡] cos 𝑛𝑤0 𝑡 𝑑𝑡
𝑑𝑎𝑛 𝑇 −𝑇⁄ 2
2 𝑛=1
𝑇 𝑘
𝑑𝐸𝑘 2 ⁄2 𝑎0
= − ∫ [𝑓(𝑡) − − ∑(𝑎𝑛 cos 𝑛𝜔0 𝑡 + 𝑏𝑛 sin 𝑛𝜔0 𝑡] sin 𝑛𝜔0 𝑡 𝑑𝑡
𝑑𝑏𝑛 𝑇 −𝑇⁄ 2
2 𝑛=1

Si se usan las proposiciones de ortogonalidad, y del seno y del coseno, las integrales se reducen
a:
𝑇
𝑑𝐸𝑘 𝑎0 1 ⁄2
= − ∫ 𝑓(𝑡)𝑑𝑡 = 0
𝑑𝑎0 2 𝑇 −𝑇⁄
2

𝑇
𝑑𝐸𝑘 2 ⁄2
= 𝑎𝑛 − ∫ 𝑓(𝑡) cos(𝑛𝜔0 𝑡)𝑑𝑡 = 0
𝑑𝑎𝑛 𝑇 −𝑇⁄
2

𝑇
𝑑𝐸𝑘 2 ⁄2
= 𝑏𝑛 − ∫ 𝑓(𝑡) sin(𝑛𝜔0 𝑡) 𝑑𝑡 = 𝑂
𝑑𝑏𝑛 𝑇 −𝑇⁄
2

Ahora se demostrará el error cuadrático medio 𝐸𝑘 en una aproximación a 𝑓(𝑡) por 𝑆𝑘 (𝑡), se
reduce a la siguiente expresión:
𝑘
1 𝑇/2 𝑎0 2 1
𝐸𝑘 = ∫ [𝑓(𝑡)] 2
𝑑𝑡 − − ∑(𝑎𝑛 2 + 𝑏𝑛 2 )
𝑇 −𝑇/2 4 2
𝑛=1

Solución:
Por anteriores definiciones tenemos:

1 𝑇/2
𝐸𝑘 = ∫ [𝑓(𝑡) − 𝑆𝑘 (𝑡)]2 𝑑𝑡
𝑇 −𝑇/2

1 𝑇/2
= ∫ {[𝑓(𝑡)]2 − 2𝑓(𝑡)𝑆𝑘 (𝑡) + [𝑆𝑘 (𝑡)]2 }𝑑𝑡
𝑇 −𝑇/2

1 𝑇/2 2
2 −𝑇/2 1 𝑇/2
= ∫ [𝑓(𝑡)] 𝑑𝑡 − ∫ 𝑓(𝑡)𝑆𝑘 (𝑡)𝑑𝑡 + ∫ [𝑆𝑘 (𝑡)]2 𝑑𝑡
𝑇 −𝑇/2 𝑇 𝑇/2 𝑇 −𝑇/2

Ahora:
𝑘 𝑘
2 𝑇/2 2 𝑎0 𝑇/2 2 𝑇/2
2 𝑇/2
∫ 𝑓(𝑡)𝑆𝑘 (𝑡)𝑑𝑡 = ∫ 𝑓(𝑡)𝑑𝑡 + ∑ 𝑎𝑛 ∫ 𝑓(𝑡) cos(n𝜔0 𝑡) 𝑑𝑡 + ∑ 𝑏𝑛 ∫ 𝑓(𝑡)𝑠𝑒𝑛⁡(𝑛𝜔0 𝑡)𝑑𝑡
𝑇 −𝑇/2 𝑇 2 −𝑇/2 𝑇 −𝑇/2 𝑇 −𝑇/2
𝑛=1 𝑛=1

Teniendo en cuenta que la integral de coseno y seno ya fueron desarrolladas con anterioridad,
reduciendo se obtendrá lo siguiente:
𝑘
2 𝑇/2 𝑎0 2
∫ 𝑓(𝑡)𝑆𝑘 (𝑡) 𝑑𝑡 = + ∑(𝑎𝑛 2 + 𝑏𝑛 2 )
𝑇 −𝑇/2 2
𝑛=1

Utilizando las relaciones de ortogonalidad:

𝑘 2
1 𝑇/2 1 𝑇/2 𝑎0
∫ [𝑆𝑘 (𝑡)]2 𝑑𝑡 = ∫ [ + ∑(𝑎𝑛 cos 𝑛𝜔0 𝑡 + 𝑏𝑛 sin 𝑛𝜔0 𝑡)] 𝑑𝑡
𝑇 −𝑇/2 𝑇 −𝑇/2 2
𝑛=1

𝑘
𝑎0 2 1
= + ∑(𝑎𝑛 2 + 𝑏𝑛 2 )
4 2
𝑛=1

Sustituyendo las anteriores ecuaciones, se obtiene lo siguiente:


𝑘 𝑘
1 𝑇/2 𝑎0 2 𝑎0 2 1
𝐸𝑘 = ∫ [𝑓(𝑡)]2 𝑑𝑡 − − ∑(𝑎𝑛 2 + 𝑏𝑛 2 ) + + ∑(𝑎𝑛 2 + 𝑏𝑛 2 )
𝑇 −𝑇/2 2 4 2
𝑛=1 𝑛=1

𝑘
1 𝑇/2 𝑎0 2 1
= ∫ [𝑓(𝑡)]2 𝑑𝑡 − − ∑( 𝑎𝑛 2 + 𝑏𝑛 2 )
𝑇 −𝑇/2 4 2
𝑛=1
VI. CONVERGENCIA UNIFORME

Los criterios que se explicaran en esta sección serán relativos al tamaño de los coeficientes de
Fourier de señales 2π-periódicas 𝑥(𝑡)⁡no son, en absoluto, suficientes para un estudio serio de
las propiedades de convergencia de las sumas parciales𝑆𝑁 𝑥. Tengase en cuenta que los cálculos
que se realizarán hasta ahora estarán más bien enfocados para utilizar el criterio M de
Weierstrass y demostrar la convergencia uniforme de la serie.

Que la integral traspase los sumatorios en la deducción de las fórmulas para los coeficientes de la
serie de Fourier, equivale a asumir que la serie converge uniformemente. Recordemos qué es
convergencia uniforme. Sea la serie infinita:

𝑆(𝑡) = ∑ 𝑢𝑛 (𝑡)
𝑛=1

y definamos sus sumas parciales como:


𝑆𝑘 (𝑡) = ∑ 𝑢𝑛 (𝑡)
𝑛=1

Diremos que S converge a f(t) en un intervalo si ∀𝜀> 0 existe para todo t del intervalo un N > 0
tal que:

|𝑆𝑘 (𝑡) − 𝑓(𝑡)| < 𝜀⁡⁡𝑠𝑖𝑒𝑚𝑝𝑟𝑒⁡𝑞𝑢𝑒⁡𝑘 > 𝑛

Observemos que en general N dependerá de 𝜀 y del punto t (convergencia puntual).

Si N solo depende de 𝜀, pero no de t, decimos que la convergencia es uniforme.

Que la serie sea uniformemente convergente será beneficioso en especial por las siguientes
razones:

1. Si cada término 𝑢𝑛 (𝑡) de una serie es continuo en (a, b) y la serie es uniformemente


convergente a f(t), entonces:

(a) f(t) es también continua en (a, b).

(b)

𝑏 ∞ ∞ 𝑏
∫ ∑ 𝑢𝑛 (𝑡)𝑑𝑡 = ∑ ∫ 𝑢𝑛 (𝑡)𝑑𝑡
𝑎 𝑛=1 𝑛=1 𝑎
2. Si cada término 𝑢𝑛 (𝑡) de una serie posee derivada en (a, b) y la serie derivada es
uniformemente convergente, entonces:
∞ ∞
𝑑 𝑑
∑ 𝑢𝑛 (𝑡) = ∑ 𝑢 (𝑡)
𝑑𝑥 𝑑𝑥 𝑛
𝑛=1 𝑛=1

La condición de convergencia uniforme es suficientemente fuerte para garantizar que se puede


integrar término a término la serie.

Con anterioridad se había mencionado un criterio muy importante para comprobar la


convergencia uniforme de una serie infinita, el cual era la prueba M de Weierstrass. Se enunciará
a continuación en que consiste y cómo se aplica esta condición.

Definición.-

Sea {𝑓𝑛 } una sucesión de funciones de variable real definidas en un conjunto A, supongamos que
para cada {𝑓𝑛 } existe una constante positiva 𝑀𝑛 tal que

|𝑓𝑛 (𝑡)| ≤ 𝑀𝑛

NOTA: podemos considerar, por definiciones anteriores: 𝑢𝑛 (𝑡) = 𝑓𝑛 (𝑡)

Para todo 𝑛 ≥ 1 y todo t en A. Supongamos también que la serie


∑ 𝑀𝑛
𝑛=1

Converge, entonces la serie


∑ 𝑓𝑛 (𝑡)
𝑛=1

Converge uniformemente en A. En particular, si el conjunto A es un espacio topológico y las


funciones 𝑓𝑛 son continuas en A, entonces la serie converge a una función continua.

Otra forma de saber si la serie de Fourier es convergente es encontrar una expresión "cerrada"
para𝑆𝑘 (𝑡) y aplicar la definición.

𝑠𝑒𝑛(𝑛𝑡)
𝑆(𝑥) = ∑ ⁡
𝑛2
𝑛=1

En (−𝜋, 𝜋)

1 𝑠𝑒𝑛(𝑛𝑡) 1
𝑀𝑛 = → | | ≤
𝑛2 𝑛2 𝑛2

1 𝜋2
∑ 2= → 𝑆𝑐𝑜𝑛𝑣𝑒𝑟𝑔𝑒⁡𝑢𝑛𝑖𝑓𝑜𝑟𝑚𝑒𝑚𝑒𝑛𝑡𝑒
𝑛 6
𝑛=1
VII. CONDICIONES DE DIRICHLET

Anteriormente se dedicó atención a la determinación de la serie de Fourier de funciones dadas y


se supuso que la función que la función dada se podía representar mediante una serie de Fourier,
también se vio cómo se podía determinar si una serie era convergente o no, ahora de manera
similar se investigará la convergencia de esta serie de Fourier a 𝑓(𝑡).

Se enuncian aquí las condiciones, conocidas como condiciones de Dirichlet, bajo las cuales es
posible la representación en serie de Fourier de una función dada 𝑓(𝑡).

1) La función f(t) tiene un número finito de discontinuidades en un periodo.

(2)La función f(t) tiene un número finito de máximos y mínimos en un periodo.

(3)La integral del valor absoluto de f(t) en un periodo es finita, es decir:

∫|𝑓(𝑡)| 𝑑𝑡 < ∞ → 𝐹𝐼𝑁𝐼𝑇𝐴

Donde la integral está definida en todo su periodo T.

Se dice que una función f(t) es continua por tramos en el intervalo finito [−𝑇/2, 𝑇/2] si satisface
las condiciones 1 y 2.

En un punto de discontinuidad el cual denotaremos por 𝑡 = 𝑡1 , la serie de Fourier converge a:

1
(𝑓(𝑡1 + ) + 𝑓(𝑡1 − ))
2
Donde f(t1-) e sel limite de f(t) cuando t se aproxima a t1 por la izquierda, y f(t1+) es el limite de
f(t) cuando t se aproxima a t1 por la derecha.

Ejercicio:

Si 𝑎𝑛 y 𝑏𝑛 son las sucesiones de los coeficientes de f(t), demostrar que:

lim 𝑎𝑛 = lim 𝑏𝑛 = 0
𝑛→∞ 𝑛→∞

Solución:

1 2 2 𝑇/2
𝑎0 + ∑(𝑎𝑛 2 + 𝑏𝑛 2 ) ≤ ∫ [𝑓(𝑡)]2 𝑑𝑡
2 𝑇 −𝑇/2
𝑛=1

Puesto que la serie del miembro izquierdo es convergente entonces es necesario que:

lim (𝑎𝑛 2 + 𝑏𝑛 2 ) = 0
𝑛→∞
Lo cual implica que

𝑙𝑖𝑚 𝑎𝑛 = lim 𝑏𝑛
𝑛→∞ 𝑛→∞

VIII. .
IX. .
X. .
XI. .
XII. .
XIII. .
XIV. SERIES DE FOURIER DE LAS DERIVADAS DE FUNCIONES PERIODICAS
DISCONTINUAS

Se dice que la función de una sucesión generalizada f n (t)


n  1, 2,... converge a la función generalizada f (t ) si y solo si:
 
lim
x  

f n (t ) (t ) dt  

f (t ) (t ) dt

Para toda función de prueba  (t)


Análogamente una serie:
k

f
n 1
n (t )

De funciones generalizadas que converge a la función generalizada,


se puede diferenciar término por término. En otros términos:
k
f '(t )   f n '(t )
n 1

En este caso se dice que la serie converge en el sentido de funciones


generalizadas, aunque en el sentido ordinario, la derivada de una serie convergente
de funciones generalizadas puede en general, no converger.
Se demostró que si f (t ) es periódica, continua y esta dada por:

1
f (t ) a0   ( an cos n0t  bn senn0t )
2 n 1

Entonces f '(t ) también es periódica y se puede obtener diferenciando


termino por termino, es decir:

f '(t )   ( n0 an senn0t  n0bn cos n0t )
n 1

Con el ejemplo de la función  y las derivadas generalizadas,


se puede ahora investigar las series de Fourier para las derivadas
de formas de onda como un número finito de discontinuidades
en un periodo.
XV. EVALUACIÓN DE COEFICIENTES DE FOURIER POR DIFERENCIACION

El uso de la función delta de dirac o impulso unitario denominado por 𝛿(𝑡) junto con la
diferenciación, puede facilitar el cálculo de los coeficientes de las series de Fourier para ciertas
funciones que contengan discontinuidades; de modo que las integrales envueltas en el cálculo
de las series de Fourier presenten importantes simplificaciones.

Figura: Diferenciación de una onda cuadrada

Para calcular los coeficientes 𝑎0 , 𝑎𝑛 y 𝑏𝑛 de la serie de Fourier, se puede emplear la expresión


diferencial:

𝑑𝑓(𝑡)
= ∑(𝛼𝑛 𝑐𝑜𝑠𝑛𝜔0 𝑡 + 𝛽𝑛 𝑠𝑒𝑛𝑛𝜔0 𝑡)
𝑑𝑡
𝑛=1

Entonces se obtienen los coeficientes de f(t) mediante las relaciones:


𝛽𝑛
𝑎𝑛 =
𝑛𝜔0
𝛼𝑛
𝑏𝑛 =
𝑛𝜔0

Esto es útil siempre y cuando los coeficientes 𝛼𝑛 y 𝛽𝑛 sean de más fácil obtención que los
correspondientes 𝑎𝑛 y 𝑏𝑛 , tal es el caso del ejemplo de la figura. En este caso para el cálculo de
los coeficientes solo se necesita conocer la Serie de Fourier de un tren de impulsos, cuya
obtención involucra integrales muy sencillas. En general, el coeficiente 𝑎0 , ha de calcularse a
partir de la función original, ya que la diferenciación implica la desaparición de la componente
continua de la función.

TREN DE PULSOS

En este pequeño apartado se va a calcular la serie de Fourier del tren de pulsos mostradoen la
figura anterior, cuyo periodo es T y de pulsación 𝜔0 , por tramos es:

0 𝑡 < 𝑡𝛼

+A 𝑡𝛼 ≤ 𝑡 ≤ 𝑡𝛼 + ∆𝑡𝛿
𝑇
𝑓(𝑡) = 0 𝑡𝛼 + ∆𝑡𝛿 < 𝑡 < 𝑡𝛼 + 2

𝑇 𝑇
-A 𝑡𝛼 + 2 < 𝑡 < 𝑡𝛼 + ∆𝑡𝛿 + 2

𝑇
0 𝑡𝛼 + ∆𝑡𝛿 + 2 < 𝑡 < 𝑇

Donde 𝛼 es el retardo del pulso y 𝛿 su ancho, teniendo estos dos valores asociados a instantes:
𝑡𝛼 = 𝛼⁄𝜔0 y ∆𝑡𝛿 = 𝛿⁄𝜔0, respectivamente:
XVI. PROBLEMAS RESUELTOS

Problema 1

0 x0

Encontrar la integral de Fourier para la función f ( x)   1 x0
2
 x
 e x0
Solución:

1
Si la integral converge, escribimos: f ( x) 
   A( w) Cos wx  B(w)Senwxdw donde:
0
 
A( w)  

f (v) Cos( wv)dv B( w)  

f (v) Sen( wv) dv

e  x ( Cos wv  wSenwx) 

1
A( w)   e  x Cos( wv)dv  
0
1 w 2
0 1  w2
e  x ( Senwv  w Cos wx) 

w
B ( w)   e  x Sen( wv)dv   Luego:
0
1 w 2
0 1  w2
 
1 Cos wx  wSenwx  1
 0
f ( x)  dw Si x=0   dw
1  w2 2 0
1  w2

Problema 2
1 0  x 1
  2
1 Senw 
Demostrar que:  Cos wxdv   1 x 1
 0 w 
4
 0 x 1

Solución:
La integral corresponde a una función par puesto que B( w)  0, luego consideremos la
1 0  x 1
 2

función extendida par: f ( x)   1 x 1
4

0 x 1
x 
Senw 1 senw
Así: A( w)   1 Cos wvdv   f ( x)   Cos wxdw
0
2 w  0 w

Problema 3

Demostrar que:

1 Sen w  1 Senx x 
 0 1  w2
Senwxdw   2
0 x 
Solución:
Sen w
La integral representa a una función impar, pues A( w)  0 y B( w)  , luego debemos
1  w2
 1 Senx - <x  
considerar la extensión impar: f(x)=  2
 0 x 
 
De ese modo A( w)  0 y B( w)  

f (v) Senwvdv 

 1 2 SenvSenwvdv
 
1
 B( w)    SenvSenwvdv 
2 0
(Cos(1  w)v  Cos(1  w)v)dv
0

1 1 1 
B( w)   Sen(1  w)v  Sen(1  w)v 
2 1  w 1 w 0
1 Senw
2 
B( w)  (1  w) Sen(1  w)  (1  w) Sen(1  w)  
2(1  w ) 1  w2

1 Senw
 0 1  w2
Así: fi ( x)  Senwxdw y corresponde con f ( x) si x  (0,  )
Problema 4

1
Representar mediante una integral de Fourier de tipo
  A( w) Cos wxdx a la función:
0

 x 0  x 1

f ( x)  2  x 1 x  2
0 x2

Solución:
Lo que se pide es representar a una función par por lo que hacemos la respectiva extensión
de la función dada. Así:

1 2

A( w)  2  f (v) Cos( wv) dv  2   v Cos( wv) dv   (2  v) Cos( wv) dv  usando tablas:
0 0 1 
 2 Cos w  Cos 2 w  1 
A( w)  2   y por lo tanto:
 w2 

2  2 Cos w  Cos 2 w  1 
 0 
f ( x)    Coswxdw
w2 

Problema 5

1
Si f ( x) es una función par con su integral f ( x) 
  A(w) Cos wxdw.
0
Demostrar que:


1 d 2 A( w)
x f ( x)   A *(w) Cos( wx)dw donde A *( w)  
2

 0
dw2
Solución:

1
Como x f ( x)   A *( w) Cos( wx)dw pues es una función par y como:
2

 0
 
1
f ( x) 
  Cos(wx)dw
0
con A( w)  2  f (v) Cos( wv) dv
0
Entonces:

 
dA d2A
 2  vf (v) Sen( wv)dv 2
 2  v 2 f (v) Cos( wv) dv, comparando con
dw 0
dw 0

d 2 A( w)
A *( w)  2  v 2 f (v) Cos( wv)dv  A *( w)  
0
dw2

Problema 6

1
Sea f ( x) 
  B(w)Sen(wx)dw
0
Hallar la integral de Fourier de la función:

g ( x)  f ( x) Senx
Solución:

1
Como f ( x) es una función impar, g ( x) es par, luego: I g 
  A(w) Cos( wx)dw
0
donde:

  
A( w)  2  g (v) Cos( wv) dv  2  f (v) Senv Cos( wv)dv   f (v) Sen(1  w)v  Sen(1  w)vdv
0 0 0
 
1
A( w)   f (v) Sen(1  w)vdv   f (v) Sen(1  w)vdv  B(w  1)  B(w  1) Luego
0 0
2
bastaría con conocer B(w).

Problema 7

1
Si f(x) es una función par con integral f ( x) 
  A(w) Cos(wx)dw
0
Entonces:


1  dA 
   dw 
xf ( x)   Sen( wx)dw
0

Solución:
 
1
Para xf ( x) 
  B *(w)Sen(wx)dw donde B*(w)=2 vf (v)Sen(wv)dv
0 0
Pero como:

 
dA dA
 2  vf (v) Senwvdv pues A( w)  2  f (v) Cos( wv)dv  B *( w)  
dw 0 0
dw

Problema 8

1
Probar que si f ( x) 
  A(w) Cos(wx)  B(w)Sen(wx)dw
0
Entonces se cumple:

 
1
 f 2 ( x)dx   ( A (w)  B
2 2
( w))

 0

Solución:
 
1
f   f ( x)dx   A(w) Cos(wx) f   B(w) Sen(wx) f  dw
2
f

 0


1

 A (w)  B
2 2
( w)dw
0

Problema 9
Aplicando lo anterior probar que:

Sen 2 (aw) 
 w2 dw  a
Solución:
Si tomamos: f ( x)   - a  x  a, función par
2 a 2
a
entonces: A(w)=2   Cos( wv) dv  Sen( wv)  Sen( wa )
0
w 0 w
4 2
 A2 ( w)  Sen 2 ( wa )
w2
a a

 f ( x) dx    2 dx  2a 2
2
Por otra parte:
a a
 
1 1 4 2 Sen 2 ( wa )
Luego: 2a 2   A (w)dw   0
2
dw
 0
w2
a sen ( wa ) 2
  dw o bién:
2 0 w2

Sen 2 ( wa )
a   w2 dw


Problema 10

2  Sen( w )  Cos( w ) 
 0  w2
Probar que: x    Sen( wx)dw 0 x 
w 
Solución:
 x x <
Como se puede apreciar se trata de una función impar, es decir: f ( x)  
0 x >

1
 f ( x) 
  B(w)Sen(wx)dw
0
donde:


2 2
B( w)  2 vSen( wv)dv   Cos( w )  2 Sen( w )
0
w w

2  Sen( w ) Cos( w ) 
 0  w2
 f ( x)  x    Sen( wx)dv
w 
XVII. APLICACIONES

XVIII. CONCLUSIONES

 El mundo de las matemáticas es amplio y diverso, a través de este trabajo monográfico se


ha podido observar eso, y las múltiples utilidades que nos brinda. Al indagar un poco más
sobre la función de tren de pulsos, pudimos conocer una importante aplicación que tiene
en el campo de la electrónica el cual es representar la intensidad a la entrada de cierto
tipo de rectificadores de onda, los cuales son utilizados ampliamente; por ejemplo al
implementar una fuente de alimentación en donde el rectificador funciona como una
especie de filtro.
 Es de gran importancia considerar la aplicación de las series de Fourier, ya que estas
sirven mucho en el procesamiento digital de señales, la cual es un área de las ciencias e
ingeniería que se ha desarrollado rápidamente en los últimos 30 años.
Este rápido desarrollo es resultado de avances tecnológicos tanto en los ordenadores
digitales como en la fabricación de circuitos integrados. Estos circuitos digitales baratos y
relativamente rápidos han hecho posible
construir sistemas digitales altamente sofisticados, capaces de realizar funciones y tareas
del procesado de señales, que convencionalmente se realizaban analógicamente, se
realicen hoy mediante hardware digital, más barato y a menudo más fiable.
BIBLIOGRAFIA

 Cañada V. A.(2016). Origen de los métodos de Fourier en relación con la ecuación de


ondas y la ecuación del calor. Una perspectiva histórica de los métodos de Fourier.(pp
13-20).Departamento de análisis matemático: Universidad de granada.
 Carrillo J.(2003).Análisis de la forma de onda periódica. Fundamentos del análisis de las
series de Fourier.(pp 11-23).Departamento de ingeniería eléctrica: Universidad de Vigo
 Hwei P.(1973).Funciones periódicas. Análisis de Fourier.(pp 4-49).Wayne state
University: Addison Wesley iberoamericana. Orig(1970)
 Bruzual R. y Dominguez M.(pp.17-24).Condiciones para la convergencia puntual y en
media aritmética de una serie de Fourier. Series de Fourier.pp(12-22).Facultad de
ciencias: Universidad central de Venezuela.