Escolar Documentos
Profissional Documentos
Cultura Documentos
() = ()()
=1
y como consecuencia
(, ) = ()()()
=1
Las mismas ideas luego expuestas por D. Bernoulli (1753) y Lagrange (1759).
La frmula
1
() = 2 ()()
0
Para calcular los coeficientes apareci por primera vez en un artculo escrito por
Euler en 1777.
La contribucin de Fourier comenz en 1807 con sus estudios del problema del
flujo del calor.
1 2
=
2 2
Presentado a la Academie des Sciences en 1811 y publicado en parte como la
clebre Theorie analytique de la chaleur en 1822. Fourier hizo un intento serio
por demostrar que cualquier funcin diferenciable puede ser expandida en una
serie trigonomtrica. Una prueba satisfactoria de este hecho fue dada por
Dirichlet en 1829. Riemann tambin hizo contribuciones importantes al problema.
Modernamente el anlisis de Fourier ha sido impulsado por matemticos de la
talla de Lebesgue, Hardy, Littlewood, Wiener, Frobenius, Selberg, Weil y Weyl
entre otros.
En este trabajo monogrfico se estudian las series de Fourier en el crculo y la
transformada de Fourier de funciones reales infinitamente diferenciables con
todas sus derivadas rpidamente decrecientes. Tambin se dan ejemplos de
algunas de las aplicaciones ms importantes del anlisis de Fourier a varias
ramas de la matemtica y de la fsica.
DEFINICIN:
Las series de Fourier, es una funcin f ( t ) peridica, que puede representarse
mediante funciones seno y coseno. Para dar inicio a este captulo vamos a
recordar el anlisis correspondiente a estas funciones trigonomtricas y sus
caractersticas.
FUNCION PERIDICA:
Son aquellas funciones que tienen un patrn repetitivo. Es decir una funcin
f : ser peridica si existe un nmero positivo "T " tal que f (t T ) f (t )
t E (t ) t 1 E (t 1) t 2 E (t 2) ...
Funcin mantisa
Propiedades:
Si una funcin es peridica e integrable, posee una serie de propiedades. A
continuacin sealaremos algunas de ellas.
1. Si f (t T ) f (t ) , entonces:
T T
a
a
T
2
2
f (t )dt
2
T
2
f (t )dt (1.1)
T t t
T
f (t )dt f (t )dt
0
(1.2)
Demostracin:
Si f (t T ) f (t ) , entonces hacemos t T , se tiene:
f ( T T ) f ( ) f ( T ) (1.3)
Considerar ahora f (t )dt
t T t
0
f (t )dt
T
f (t )dt
T
Si a entonces la ecuacin (1.1) se convierte en:
2
T
T
0
f (t )dt
2
T
2
f (t )dt
t
2. Sea f (t T ) f (t ) y g (t ) f ( )d
0
Entonces: g (t T ) g (t ) si y solo si
T
2
T
2
f (t )dt 0
Demostracin:
t
Puesto que g (t ) f ( )d
0
t T T T t
g (t T ) f ( )d f ( )d f ( )d
0 0 T
De las propiedades anteriores:
T
T
0
f (t )dt
2
T
2
f (t )dt y
T t t
T
f (t )dt f (t )dt
0
Se tiene:
T T
T
0
f ( )d
2
T
2
f ( )d
2
T
2
f (t )dt
T+t t
f (t )dt f (t )dt
T 0
Por consiguiente,
T
t
g (t T ) 2
T f (t )dt f (t )dt
0
2
T
Y, g (t T ) g (t ) si y solo si
2
T
2
f (t )dt 0
1
3. Sea f (t T ) f (t ) , y F (t ) f ( )d a0t donde:
t
0 2
2 T2
T T 2
a0 f (t )dt Entonces se demuestra que F (t T ) F (t )
Demostracin:
t 1
Puesto que F (t ) 0
f ( )d a0t , se tiene
2
t T 1
F (t T ) f ( )d a0 (t T )
0 2
T T t 1 1
f ( )d f ( )d a0t a0T
0 T 2 2
De las propiedades anteriormente mencionadas:
T
T
0
f (t )dt
2
T
2
f (t )dt y
T t t
T
f (t )dt f (t )dt
0
Obtenemos:
T T 1
0
f ( )d T2 f ( )d a0T
2 2
T t t
T
f ( )d f ( )d
0
Por consiguiente:
1 t 1 1
F (t T ) a0T f ( )d a0t a0T
2 0 2 2
t 1
f ( )d a0t F (t )
0 2
Ejemplo:
t t t
1) Hallar el periodo de la funcin f (t ) cos (t T ) cos (t T ) cos (t T )
3 4 5
Solucin:
Por definicin se tiene:
t t t t t t
cos (t T ) cos (t T ) cos (t T ) cos cos cos
3 4 5 3 4 5
Entonces:
1
3 T 2 n1
T 6 n1
1
n1 , n2 , n3 tal que : T 2 n2 T 8 n2
4 T 10 n3
1
5 T 2 n3
Solucin:
Aqu 1 10 y 2 10 . Puesto que:
1 10
2 10
En general, si la funcin
f (t ) cos 1t cos 2t
Es peridica con periodo T, entonces es posible encontrar dos enteros m y n
tales que:
1T 2 m
2T 2 n
El cociente de estas expresiones nos da:
1 m
2 n
Solucin:
1
Si aplicamos la identidad trigonomtrica cos
2
1 cos 2 se tiene:
2
1
f (t ) 10cos t 100cos 2 t 100 (1 cos 2t )
2
2
f (t ) 50 50cos 2t
b para m n
0
g m (t ).g n (t )dt {
a rn para m n
cos(mot )dt 0
2
1. T para m0
2
T
sen(mot )dt 0
2
2. T para todo valor de m
2
T m n
0
3.
2
cos(mot ) cos(not )dt {T
T m n 0
2 2
Demostracin:
1
De la identidad trigonomtrica: cos A cos B cos( A B) cos( A B)
2
y
2 T
ot t T ( ) , se obtiene:
2 T 2
T
1 T2
2 2T
cos (m n)ot ) cos (m n)ot dt
T T
2 2
1 1 1 1
sen (m n)ot sen (m n)ot
2 (m n)o T 2 ( m n )o T
2 2
1 1
2 (m n)o
sen (m n) sen (m n)
1 1
2 (m n)o
sen (m n) sen (m n) 0 si mn
1
Utilizando la identidad trigonomtrica Cos
2
1 cos 2 y haciendo
2
mn0 se obtiene:
T T
1 T2 1 T2 1 T
T
T 1 cos 2mot dt t T sen2mot 2T
2 2 2 2 4mo
2 2
T m n
0
4.
2
sen(mot )sen(not )dt {T
T m n 0
2 2
Demostracin:
De la identidad trigonomtrica:
1
senA cos B sen( A B) sen( A B) Se obtiene:
2
T
1 1
Cos (m n)ot ) T2 0
T
si m n
2 (m n)o 2
1 T2 1
T
sen (2 m t ) dt cos(2 m t ) 2
0
4mot T
T o o
2 2 2
Funcin y x
2
Funcin y=x
f ( x) f ( x) .
Se dice que f es una funcin impar si su dominio contiene a - x , y si
f ( x) f ( x) .
a
a
f ( x)dx 0
FUNCIN SENO:
Es una funcin trigonomtrica cuyo dominio pertenece a los nmeros reales, y
su solucin es otro nmero real, y se expresa F( x ) Senx cuya variable
independiente suele expresarse en radianes.
Es decir: Sen : , y su representacin grfica es:
Dom F , es decir x .
FUNCIN COSENO
De manera similar a la funcin seno, veremos la grfica de la funcin F( x ) Cos x
llamada cosenoide.
Su representacin grfica es:
SERIES DE FOURIER
A principios del siglo XIX Jean-Baptiste-Josep Fourier, estudiando los
fenmenos relacionados con la conduccin del calor, lleg a la conclusin que
cualquier funcin peridica se poda poner como suma infinita de funciones seno
y coseno con periodos submltiplos del periodo de la funcin, o en trminos de
frecuencias, con frecuencias mltiplos de la frecuencia fundamental de la
funcin.
Aunque la versin original de este resultado no era del todo correcta, poco
antes de la muerte de Fourier (1880), la teora de las series de Fourier fue
formulada sobre bases slidas por otros matemticos, entre ellos Dirichlet y
Riemann.
OBTENCIN DE LA SERIE DE FOURIER
La teora de Fourier afirma que cualquier funcin peridica (), ya sea
ms o menos compleja, se puede descomponer en suma de funciones simples,
sinusoidales, cuya frecuencia es mltiplo de la funcin peridica.
() = + ( ) + ( )
=
() = + ( )
=
( = ) es la frecuencia de la funcin peridica y recibe el nombre de
frecuencia fundamental, , , , son los coeficientes de la Serie de
Fourier que definen las senoides cuya frecuencia es mltiplo de la
fundamental
+
= ()
+
= ()( )
+
= ()( )
=
= +
= ( )
Demostracin :
() = + ( ) + ( )
=
() = + ( ) + ( )
=
+
= ()
Demostracin
0
() = + cos(0 ) + (0 )
2
=1
1
Cuando = , recordando cos . = 2 (cos( ) + cos( + ))
0 () cos(0 ) = 2
2
= () cos(0 )
0
Demostracin :
0
() = + cos(0 ) + (0 )
2
=1
1
Cuando = , recordando se . = 2 (cos( ) cos( + ))
0 () sen(0 ) = 2
2
= () sen(0 )
0
EJEMPLOS
2 0 + 2
0 = () = ()
0 2
2 0 2
0 +
2 2 0
0 =
4
2 0 +
= () cos()
0
1
= 0 cos() , integracin por partes
2 0 +
= () sen()
0
1
= 0 sen() , integracin por partes
2 (1)+1
() = +
=1 (21)2 cos((2 1)) + sen
4
k (t ) f (t ) Sk (t ) (3)
Y () es la diferencia o error entre () y su aproximacin, entonces el error
cuadrtico medio est definido por
1 1
T /2 k (t ) dt T T /2 f (t ) Sk (t ) dt
T /2 T /2
Ek
2 2
(4)
T
2) 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) en (4), se tiene
2
1 T /2 1 T /2 a0 k
Ek k (t ) dt f (t ) (an cos n0t b0 sen n0t ) dt
2
T T /2 T T /2 2 n1
(5)
Considerar como una funcin de a0, any bn. Entonces para que el error
cuadrtico medio sea mnimo, sus derivadas parciales con respecto a a 0,
any bn deben ser iguales a cero, es decir,
Ek Ek Ek
0, 0, 0 ( n 1, 2,...)
a0 an bn
Ek 1 T /2 a0 k
f (t ) (an cos n0t b0 sen n0t ) dt (6)
a0 T T /2 2 n1
Ek 2 T /2 a k
f (t ) 0 (an cos n0t b0 sen n0t ) cos (n0t )dt (7)
an T T /2 2 n 1
Ek 2 T /2 a0 k
f (t ) (an cos n0t b0 sen n0t ) sen(n0t )dt (8)
bn T T /2
2 n 1
Si se usan las propiedades de ortogonalidad las integrales (6), (7) y (8) se
reducen a:
Ek a0 1 T /2
a0 2 T T /2
f (t ) dt 0
Ek 2 T /2
an f (t ) cos(n0 t) dt 0
an T T /2
Ek 2 T /2
bn f (t ) sen(n0 t) dt 0
bn T T /2
3) Demostrar que el error cuadrtico medio en una aproximacin a f (t) por Sk
(t), definida por (4), se reduce a
1 T /2 a0 2 1 k
Ek f (t ) dt (an 2 bn 2 )
2
(9)
T T /2 4 2 n1
Solucin:
1 T /2
T T /2
Ek
2
f (t ) S k (t ) dt
1 T /2
f (t ) 2 f (t ) S k (t ) S k (t ) dt
2 2
T T /2
1 2 1
T /2 f (t ) dt T T /2 f (t )Sk (t ) dt T T /2 Sk (t ) dt
T /2 2 T /2 T /2 2
= (10)
T
Ahora bien;
2 T /2 2 a0 T /2 2 k
n f (t ) cos (n0t )dt
T /2
T T /2 T 2 T /2 T n1 T /2
f (t )S k (t ) dt f ( t ) dt a
2 k
+ bn f (t )sen(n0t )dt
T /2
T n1 T /2
Teniendo cuenta el anlisis de los coeficientes de Fourier:
2 T /2 a02 k
f (t )Sk (t ) dt (an 2 bn 2 ) (11)
T T /2 2 n1
Utilizando las relaciones de ortogonalidad
2
1 T /2 1 T /2 a0 k
T T /2 T T /2 2 n1
2
S k (t ) dt ( an cos n 0 t b0 sen n 0 t ) dt
a0 2 1 k
(an 2 bn 2 ) (12)
4 2 n1
Sustituyendo (11) y (12) en (10) se obtiene
1 T /2 a0 2 k a0 2 1 k
Ek = f (t ) dt (an bn ) (an 2 bn 2 )
2 2 2
T T /2 2 n1 4 2 n1
1 T /2 a02 1 k
f (t ) dt (an 2 bn 2 )
2
T T /2 4 2 n1
2 T /2 a02 k
f (t ) dt (an2 bn2 )
2
(13)
T T /2 2 n1
Solucin:
Por (4) se tiene
1 T /2
T T /2
Ek dt 0
2
f (t ) S k (t ) (14)
2 T /2 a02 k
f (t ) dt (an2 bn2 )
2
(15)
T T /2 2 n1
El teorema de Parseval afirma que si a0, any bn para n=1,2, son los
coeficientes en la expansin de Fourier de una funcin peridica f (t) con
periodo T, entonces
1 T /2 a0 2 1
f (t ) dt (an 2 bn 2 )
2
(16)
T T /2 4 2 n1
1 2
Ek 1 Ek (ak 1 bk21 ) (17)
2
Mediante las relaciones (14) y (15) se observa que la sucesin { } contiene
solamente trminos no negativos y no es creciente; por consiguiente la
sucesin converge.
De (3)
lim k (t ) f (t ) lim S k (t ) 0 (18)
k k
De donde lim Ek 0
k
1 T /2 a0 2 1
f (t ) dt (an 2 bn 2 )
2
T T /2 4 2 n1
TEOREMA DE PARSEVAL
El promedio o valor medio de una seal cualquiera f (t) en un periodo dado T se
puede calcular como la altura de un rectngulo que tenga la misma rea que el
rea bajo la curva de f(t)
T /2
1
T
T / 2
[ f (t )]2 dt
(1)
1 2 1 2
T /2
1
[ f (t )] dt a0 (an bn2 )
2
(3)
T T / 2
4 2 n 1
6) Demostrar que el valor cuadrtico medio de una funcin peridica f (t) es igual
a la suma de los valores cuadrticos medios de sus armnicos.
Solucin:
Por Serie de Fourier se tiene
f (t ) C0 Cn cos(n0t n )
n 1
f n (t ) Cn cos(n0t n )
El valor rcm(raz cuadrtica media) es /2 ; por consiguiente, el valor
2
cuadrtico medio del armonico ensimo es ( /2)
1
Cn an2 bn2 2 cn , C0 a0 c0
2
De donde
1
cn Cn2 , c0 C02
2 2
2
Cn
C02
n 1 2
PROBLEMA 1.4.2:
Calcular el valor cuadrtico medio de la funcin f (t):
Solucin:
Del teorema de Parseval
T /2
1
[ f (t )] dt cn
T T/2
2 2
cn 1
n
[1 (1) n ]
8 1 1 1
cn
2
1 ...
n 2 9 25 49
1 1 1
1 ... 1.2337
9 25 49
Por lo tanto,
T /2
1 8
T T/2
(1.2337) 1
2 2
[ f (t )] dt c
n
n
2
Despejando a m :
T /2
2
T T/2
am f (t )cos(mwot )dt
T /2 T /2 T /2
1 1
f (t )dt a0T an cos(nwot )dt bn sen(nwot )dt aoT
T /2
2 n 1 T /2 n 1 T /2
2
T /2
1 1
T T/2
a0 f (t )dt es el valor medio de f(t) durante un periodo
2
T /2
2
T T/2
a0 f (t )dt (3)
T /2
2
T T/2
De donde bm f (t )sen( mwot )dt
a T /2
f (t )dt
T /2
f (t )dt
1, /2 < < 0
f (t ) = {
1, 0 < < /2
T /2
Por la ecuacin (2) an 2 f (t )cos(nwot )dt
T T /2
2
0 T /2
an cos( nw0t )dt cos(nw t )dt o
T T /2 0
2 1 1
2
an ( sen0 sen(n )) ( sen(n ) sen0) Sabemos que: woT
T nw0 nw0
2 2
0 T /2
T T
a0 dt dt (0 ( ) ( 0)
T T /2 0 T 2 2
a0 0
Por la ecuacin (4)
T /2
2
T T/2
bn f (t )sen(nwot )dt
2
0 T /2
bn sen( nw0t )dt sen(nw t )dt o
T T /2 0
2 1 1
bn (cos0 cos(n )) (cos(n ) cos0)
T nw0 nw0
2
bn (2 2cos( n )) como w0T 2
Tnw0
bn
2
(1 cos( n )) cos(n ) (1)n cos(n ) cos(n ) (1)n
n
Cuando n es par bn =0
4
Cuando n es impar bn
n
4 1 1
f (t ) ( senwot sen3w0t sen5w0t ...)
3 5