La base {sen(klx), cos(klx)}: Series de Fourier

Vamos a obtener una base ortogonal en el espacio vectorial de Hilbert

de las funciones de cuadrado sumable en el intervalo (a,b) a partir de las
siguientes funciones:
g
l
(x) = sen(klx) ; l = 1, 2, 3,
f
l
(x) = cos(klx) ; l = 0, 1, 2, 3,
donde el ndice l toma valores enteros y k debe ser determinado para
que se cumpla la ortogonalidad de las funciones:
(g
l
(x), f
j
(x)) = 0
(g
l
(x), g
j
(x)) = o
lj
g
l
(x)
2
( f
l
(x), f
j
(x)) = o
lj
f
l
(x)
2
(g
l
(x), f
j
(x)) = 0
sen(klx)cos(kjx)
a
b
}
dx = 0
1
2
sen[k(l + j)x] +sen[k(l j]x)
| |
a
b
}
dx = 0
1
2
cos[k(l + j)x]
k(l + j)
+
cos[k(l j)x]
k(l j)




(

(
(
a
b
= 0
l j =0
(g
l
(x), f
j
(x)) = 0
sen(klx)cos(kjx)
a
b
}
dx = 0
1
2
sen[k(l + j)x] +sen[k(l j )x
| |
a
b
}
dx = 0
1
2
cos[k(l + j)x]
k(l + j)
+
cos[k(l j)x]
k(l j)




(

(
(
a
b
= 0
1
2
cos[k(l + j)b] cos[k(l + j)a]
k(l + j)
+
cos[k(l j )b] cos[k(l j)a]
k(l j)




(

(
(
= 0
(g
l
(x), f
l
(x)) = 0
sen(klx)cos(klx)
a
b
}
dx = 0
sen(2klx)
2
a
b
}
dx = 0
cos(2klx)
2kl



(

(
a
b
= 0

cos(2klb) cos(2kla)
2kl



(

(
= 0
(g
l
(x), g
j
(x)) = 0 ; l = j
sen(klx)sen(kjx)
a
b
}
dx = 0
1
2
cos[k(l j)x] cos[k(l + j)x
| |
a
b
}
dx = 0
1
2
sen[k(l j)x]
k(l j )

sen[k(l + j)x]
k(l + j)




(

(
(
a
b
= 0
1
2
sen[k(l j)b] sen[k(l j)a]
k(l j)

sen[k(l + j)b] sen[k(l + j)a]
k(l + j)




(

(
(
= 0
( f
l
(x), f
j
(x)) = 0 ; l = j
cos(klx)cos(kjx)
a
b
}
dx = 0
1
2
cos[k(l + j)x] + cos[k(l j)x
| |
a
b
}
dx = 0
1
2
sen[k(l + j)x]
k(l + j)
+
sen[k(l j)x]
k(l j)




(

(
(
a
b
= 0
1
2
sen[k(l + j)b] sen[k(l + j)a]
k(l + j )
+
sen[k(l j)b] sen[k(l j)a]
k(l j)




(

(
(
= 0
Para que se cumplan las anteriores relaciones de ortogonalidad:
1
2
cos[k(l + j)b] cos[k(l + j)a]
k(l + j)
+
cos[k(l j )b] cos[k(l j)a]
k(l j)




(

(
(
= 0

cos(2klb) cos(2kla)
2kl



(

(
= 0
1
2
sen[k(l j)b] sen[k(l j)a]
k(l j)

sen[k(l + j)b] sen[k(l + j)a]
k(l + j)




(

(
(
= 0
1
2
sen[k(l + j)b] sen[k(l + j)a]
k(l + j )
+
sen[k(l j)b] sen[k(l j)a]
k(l j)




(

(
(
= 0
la condicin que debe verificarse es:
kb =ka+2tn ; neZ
Luego la siguiente familia de funciones constituye una base ortogonal:
g
l
(x) = sen(
2t
b a
lx) ; l = 1, 2, 3,
f
l
(x) = cos(
2t
b a
lx) ; l = 0,1, 2, 3,
y las respectivas normas son:
(g
l
(x), g
l
(x)) = sen(klx)sen(klx)
a
b
}
dx = sen
2
(klx)
a
b
}
dx
(g
l
(x), g
l
(x)) =
1 cos(2klx)
2
a
b
}
dx =
x
2

sen(2klx)
4kl



(

(
a
b
=
b a
2
( f
l
(x), f
l
(x)) = cos(klx) cos(klx)
a
b
}
dx = cos
2
(klx)
a
b
}
dx
( f
l
(x), f
l
(x)) =
1+ cos(2klx)
2
a
b
}
dx =
x
2
+
sen(2klx)
4kl



(

(
a
b
l =0
=
b a
2
( f
0
(x), f
0
(x)) =
a
b
}
dx
= b a
= L
g
l
(x) = sen(
2t
L
lx) ; l =1, 2, 3,
f
l
(x) = cos(
2t
L
lx) ; l = 0,1, 2,3,
(g
l
(x), f
j
(x)) = 0
(g
l
(x), g
j
(x)) = o
lj
L
2
( f
l
(x), f
j
(x)) =
L
2
(1 +o
l 0
)o
lj
Por tanto, una funcin, f(x), de cuadrado integrable en el intervalo (a,b)
se puede descomponer en esta base ortogonal. A ese desarrollo se le da
el nombre de serie de Fourier de la funcin f(x):
f (x) = o
l
f
l
(x)
l =0

+ |
l
g
l
(x)
l =1

f (x) = o
0
+ o
l
cos(
2t
L
lx)
l=1

+ |
l
sen(
2t
L
lx)
l =1

Dentro del intervalo (a,b) la funcin f(x) es idntica a su desarrollo en

serie de Fourier. Sin embargo, fuera del intervalo (a,b), el desarrollo en
serie cumple una propiedad de periodicidad (que no tendra por qu
tener la f(x) fuera de (a,b)), porque las funciones de la
base ortogonal son peridicas.
g
l
(x) = sen(
2t
L
lx) ; l =1, 2, 3,
f
l
(x) = cos(
2t
L
lx) ; l = 0,1, 2,3,
g
l
(x + nL) = g
l
(x) ; n eZ
f
l
(x + nL) = f
l
(x) ; n eZ
sen
2t
L
(x + nL)



(

(
= sen
2t
L
x + 2tn
|
\

|
.
|
= sen(
2t
L
x); n eZ
cos
2t
L
(x + nL)



(

(
= cos
2t
L
x + 2tn
|
\

|
.
| = cos(
2t
L
x); n eZ
Calcular la serie de Fourier en el intervalo (-1,1) de la siguiente
funcin (funcin de Heaviside):
h(x) =
1 , 1 s x < 0
1 , 0 s x <1



h(x) = o
l
f
l
(x)
l=0

+ |
l
g
l
(x)
l =1

Tenemos que calcular los o

l
y los |
l
de la siguiente serie:
g
l
(x) =sen(
2t
L
lx) ; f
l
(x) = cos(
2t
L
lx)
como el intervalo es el (-1,1):
L = b a = 1 (1) = 2
g
l
(x) = sen(tlx) ; f
l
(x) = cos(tlx)
h(x) = o
l
cos(tlx)
l=0

+ |
l
sen(tlx)
l =1

o
n
=
(cos(tnx), h(x))
cos(tnx)
2
o
n
=
1
cos(tnx)
2
cos(tnx)h(x)dx
1
1
}
= 0
o
n
=0 ; n
h(x) = o
l
cos(tlx)
l=0

+ |
l
sen(tlx)
l =1

|
n
=
(sen(tnx),h(x))
sen(tnx)
2
|
n
=
1
sen(tnx)
2
sen(tnx)h(x)dx
1
1
}
|
n
= 2 sen(tnx)h(x)dx
0
1
}
= 2 sen(tnx)dx
0
1
}
= 2
cos(tnx)
tn



(

(
0
1
=
2
tn
[cos(tn) +1] =
2
tn
[(1)
n
+1] =
0 si n es par
4
tn
si n es impar





h(x) = o
l
cos(tlx)
l=0

+ |
l
sen(tlx)
l =1

|
l
=
0 si l es par
4
tl
si l es impar





o
l
= 0
h(x) =
4
t
sen(tlx)
l
l =1

l impar
-1.5
-1
-0.5
0
0. 5
1
1. 5
-4 -3 -2 -1 0 1 2 3 4
f(x)
1
3
5
7
x
f (x) =
4
t
sen[t(2k +1)x]
2k +1
k =0

La base {exp(iklx)}:
Teniendo en cuenta la frmula de Euler:
ix
e
= cos(x) + i sen(x)
se ve que los elementos de la base ortogonal de senos y cosenos se
pueden escribir en funcin de exponenciales complejas:
cos(klx) =
1
2
iklx
e
+
iklx
e
( )
sen(klx) =
1
2i
iklx
e

iklx
e
( )
Adems puede comprobarse que estas exponenciales complejas
cumplen la condicin de ortogonalidad:
iklx
e
,
ikjx
e
( )
=0 ; l = j
Luego, efectivamente:
k =
2t
b a

iklx
e
,
ikjx
e
( )
= 0 ; l = j
iklx
e
,
ikjx
e
( )
= [
iklx
e
]
*
a
b
}
ikjx
e
dx
iklx
e
,
ikjx
e
( )
=
iklx
e
a
b
}
ikjx
e
dx =
ik( l j) x
e
a
b
}
dx =
ik(l j )x
e
ik(l j)




(

(
(
a
b
Adems el producto de una exponencial compleja por s misma; es
decir, la norma al cuadrado de una exponencial compleja es:
iklx
e
,
ikjx
e
( )
= Lo
lj
; k =
2t
L
Luego el conjunto de las exponenciales complejas {exp(iknx)} con
k=2t/(b-a) y n un nmero entero es una base ortogonal del espacio de
Hilbert de las funciones de cuadrado sumable en el intervalo (a,b) :
iklx
e
,
iklx
e
( )
= [
iklx
e
]
*
a
b
}
iklx
e
dx
iklx
e
,
iklx
e
( )
=
iklx
e
a
b
}
iklx
e
dx
=
a
b
}
dx = b a = L
Por tanto, una funcin, f(x), de cuadrado integrable en el intervalo (a,b)
se puede descomponer en esta base ortogonal:
f (x) = a
l
l =

iklx
e
Hay que tener en cuenta que, ahora, los escalares del desarrollo, es decir,
los a
l
sern, en general, nmeros complejos.
Dentro del intervalo (a,b) la funcin f(x) ser idntica a su desarrollo en
funcin de las exponenciales. Sin embargo, fuera del intervalo (a,b), el
desarrollo cumple una propiedad de periodicidad porque las funciones de
la base ortogonal son peridicas, (periodicidad que no tendra por qu
tener la f(x) fuera de (a,b))
Si queremos calcular los a
l
del desarrollo de una funcin , f(x), haciendo
uso de la ortogonalidad tendremos lo siguiente:
f (x) = a
l
l =

iklx
e
(
ikjx
e
, f (x)) = (
ikjx
e
, a
l
l =

iklx
e
)
= a
l
l =

(
ikjx
e
,
iklx
e
)
(
ikjx
e
, f (x)) = a
l
l =

o
lj
L = a
j
L
a
j
=
1
L
(
ikjx
e
, f (x))
Si la funcin f(x) es una funcin real, se cumplir lo siguiente:
( f (x),
ikjx
e
) = f (x)
*
ikjx
e
dx
a
b
}
= f (x)
ikjx
e
dx
a
b
}
(
ikjx
e
, f (x)) =
ikjx
[e
]
*
f (x)dx
a
b
}
=
ikjx
e
f (x)dx
a
b
}
a
j
=
1
L
(
ikjx
e
, f (x))
a
j
=
1
L
ikjx
e
f (x)dx
a
b
}
=
ikjx
e
f (x)dx
a
b
}
=
ik ( j ) x
[e
]
*
f (x)dx
a
b
}
= (
ikjx
e
, f (x))
Por tanto, si la funcin f(x) es una funcin real, tenemos:
( f (x),
ikjx
e
) = (
ikjx
e
, f (x))
Pero, para cualquier funcin:
( f (x),
ikjx
e
) = (
ikjx
e
, f (x))
| |
*
= a
j
L
= a
j
L
| |
*
Por tanto, si la funcin f(x) es una funcin real, se cumple que:
a
j
*
= a
j
Vamos a utilizar lo anterior para ver cmo podemos, para el caso de
una funcin real, encontrar la relacin entre los coeficientes de la base
ortogonal de las exponenciales complejas y los coeficientes de la serie
de Fourier , es decir, de la base ortogonal de senos y cosenos:
f (x) = a
l
l =

iklx
e
= a
0
+ (a
l
iklx
e
+ a
l
iklx
e
)
l =1

Si la funcin f(x) es una funcin real:

a
l
= a
l
*
f (x) = a
0
+ [a
l
*
iklx
e
( )
*
+ a
l
iklx
e
]
l =1

f (x) = a
0
+ 2 Re[a
l
iklx
e
]
l =1

Si escribimos los a
l
del siguiente modo:
a
l
= a
l
iu
l
e
f (x) = a
0
+ 2 Re[a
l
iklx
e
]
l =1

= a
0
+ 2Re[ a
l
i(klx+u
l
)
e
]
l =1

f (x) = a
0
+ 2 a
l
l =1

cos(klx + u
l
)
f (x) = a
0
+ 2 a
l
l =1

[cos(klx)cos(u
l
) sen(klx)sen(u
l
)]
f (x) = o
0
+ [o
l
l=1

cos(klx) + |
l
sen(klx)]
que es equiparable a la serie de Fourier de la funcin real, f(x):
donde:
o
0
= a
0
o
l
= 2 a
l
cos(u
l
)
|
l
= 2 a
l
sen(u
l
)

`

)

l = 0
o, equivalentemente:
a
0
= o
0
a
l
=
1
2
o
l
2
+ |
l
2
i arctg
|
l
o
l
e
f x ( ) = x
1
2
; x e(0,1)
base ortogonal

i2tjx
e { }
; j e Z
f x ( ) = a
j

i2tjx
e
j =

a
l
=
i 2tlx
e
f (x)dx
0
1
}
a
l
=
i2tlx
e
(x
1
2
)dx
0
1
}
=
i2tlx
e
x dx
0
1
}

1
2
i 2tlx
e
dx
0
1
}
a
l
=
i2tlx
e
x dx
0
1
}
=
ix
2tl
i2tlx
e



(

(
0
1

i
2tl
i 2tlx
e
dx
0
1
}
=
i
2tl
u = x ; du = dx
dv =
i2tlx
e
dx ; v =
i 2tlx
e
i2tl
=
i
i 2tlx
e
2tl
l 0
l =0
a
0
= (x
1
2
)dx
0
1
}
= 0
f (x) =
i
2tj
i 2tjx
e
0= j =

= 2 Re
i
2tj
i2tjx
e




(

(
(
j >0

f (x) =
1
t
sen(2tjx)
j
j> 0

=
1
t
sen(2tjx)
j
j >0

-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx))
-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx)+sen(4tx)/2)
-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx)+sen(4tx)/2+sen(6tx)/3)
-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx)+sen(4tx)/2+sen(6tx)/3+sen(8tx)/4)
-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx)+sen(4tx)/2+sen(6tx)/3+sen(8tx)/4+sen(10tx)/5 )
-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx)+sen(4tx)/2+sen(6tx)/3+sen(8tx)/4+sen(10tx)/5
+sen(12tx)/6)
-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx)+sen(4tx)/2+sen(6tx)/3+sen(8tx)/4+sen(10tx)/5
+sen(12tx)/6+sen(14tx)/7)
-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx)+sen(4tx)/2+sen(6tx)/3+sen(8tx)/4+sen(10tx)/5
+sen(12tx)/6+sen(14tx)/7+sen(16tx)/8)
-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx)+sen(4tx)/2+sen(6tx)/3+sen(8tx)/4+sen(10tx)/5
+sen(12tx)/6+sen(14tx)/7+sen(16tx)/8+sen(18tx)/9)
-0.6
-0.4
-0.2
0
0. 2
0. 4
0. 6
-1.5 -1 -0.5 0 0. 5 1 1. 5 2 2. 5
x
-
1
/
2
x
-1/t (sen(2tx)+sen(4tx)/2+sen(6tx)/3+sen(8tx)/4+sen(10tx)/5
+sen(12tx)/6+sen(14tx)/7+sen(16tx)/8+sen(18tx)/9+sen(20tx)/10)
H(x) =
0 , 1 s x < 0
1 , 0 s x <1



Calcular en el intervalo (-1,1) las series de Fourier de las siguientes funciones:
f (x) = x
f (x) =
x
e
f (x) =o(x)
H(x) =
0 , 1 s x < 0
1 , 0 s x <1



Calcular la serie de Fourier de la funcin de Heaviside:
base ortogonal

itjx
e { }
; j e Z
H x ( ) = a
j

itjx
e
j =

a
l
=
1
2
itlx
e
H(x)dx
1
1
}
a
l
=
1
2
itlx
e
H(x)dx
1
1
}
=
1
2
itlx
e
dx
0
1
}
=
1
2
1
itl
itlx
e



(

(
0
1
a
l
=
1
2
i
tl
itl
e
1
| |
=
i
2tl
cos(tl) i sen(tl) 1 | | =
i
2tl
cos(tl) 1 | | =
0 ; si l es par
i
tl
; si l es impar





l 0
a
l
=
1
2
itlx
e
H(x)dx
1
1
}
H(x) =
0 , 1 s x < 0
1 , 0 s x <1



Calcular la serie de Fourier de la funcin de Heaviside:
base ortogonal

itjx
e { }
; j e Z
H x ( ) = a
j

itjx
e
j =

0
-it0x
=
1
2
dx
0
1
}
=
1
2 a
l
=
0 ; si l es par
i
tl
; si l es impar





a
0
=
1
2
;
=
1
2
+
i
tj
itjx
e
0= j =

j impar
=
1
2
+
i
tj
itjx
e
0= j =

j impar
H(x) =
0 , 1 s x < 0
1 , 0 s x <1



Calcular la serie de Fourier de la funcin de Heaviside:
base ortogonal

itjx
e { }
; j e Z
H x ( ) = a
j

itjx
e
j =

=
1
2
+ 2Re
i
tj
itjx
e




(

(
(
j > 0

j impar
H x ( ) =
1
2
+
2
t
Re
i cos(tjx) + i sen(tjx) ( )
j




(

(
(
j >0

j impar
H x ( ) =
1
2
+
2
t
sen(tjx)
j
j >0

j impar
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
-0.2
0
0. 2
0. 4
0. 6
0. 8
1
1. 2
-4 -3 -2 -1 0 1 2 3 4
x
f x ( ) = x ; x e(1,1)
base ortogonal

itjx
e { }
; j e Z
f x ( ) = a
j

itjx
e
j =

a
l
=
1
2
itlx
e
f (x)dx
1
1
}
a
l
=
1
2
itlx
e
xdx
1
1
}
u = x ; du = dx
dv =
itlx
e
dx ; v =
itlx
e
itl
=
i
itlx
e
tl
l 0
a
l
=
1
2
itlx
e
x dx
1
1
}
=
1
2
i
tl
itl
e

itl
e
( )



(

(

1
2
i
tl
itlx
e
dx
1
1
}
a
l
=
1
2
itlx
e
x dx
1
1
}
=
i
tl
cos(tl) =
i
tl
(1)
l
a
l
=
1
2
itlx
e
x dx
1
1
}
=
1
2
i
tl
itl
e
+
itl
e
( )



(

(
a
l
=
1
2
itlx
e
x dx
1
1
}
=
1
2
i
tl
itl
e
+
itl
e
( )
+
1
(tl)
2
itl
e

itl
e
( )



(

(
a
l
=
1
2
itlx
e
x dx
1
1
}
=
1
2
ix
tl
itlx
e



(

(
1
1
+
1
2
1
(tl)
2
itlx
e



(

(
1
1
a
l
=
1
2
itlx
e
x dx
1
1
}
=
1
2
i
tl
itl
e

itl
e
( )



(

(

1
2
i
tl
itlx
e
dx
1
1
}
f x ( ) = x = a
j

itjx
e
j =

a
j
=
i
tl
(1)
j
=
i(1)
j
tj

itjx
e
j =

x = 2 Re
i(1)
j
tj

itjx
e




(

(
(
j >0

= 2
(1)
j +1
tj
sen(tjx )
j> 0

x =
2
t
(1)
j +1
j
sen(tjx)
j > 0

f (x)o(x x
o
)dx
1
1
}
= f (x
o
)
x
o
e (1,1)

`


)


Calcular la serie de Fourier de o(x):
base ortogonal

itjx
e { }
; j e Z
o x ( )= a
j

itjx
e
j =

a
l
=
1
2
itlx
e
o(x)dx
1
1
}
a
l
=
1
2
itlx
e
o(x)dx
1
1
}
=
1
2
o x ( ) =
1
2
itjx
e
j =

=
1
2
+
1
2

itjx
e
+
itjx
e
j >0

j <0

|
\


|
.
|
|
=
1
2
+
1
2

itjx
e
+
itjx
e
j >0

j >0

|
\


|
.
|
|
=
1
2
+
1
2
(
itjx
e
+
itjx
e
j> 0

)
o x ( )=
1
2
+ cos (tjx )
j > 0

=
1
2
+ cos (tjx )
j > 0

-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
-4
-2
0
2
4
6
8
10
12
-4 -3 -2 -1 0 1 2 3 4
x
A x ( ) =
it
2
itjx
je
j =

o(x) =
1
2
+ cos(tjx )
j > 0

=
it
2
j
itjx
e
0 = j =

= t j sen(tjx)
j > 0

=
t
2
2 Re j i
itjx
e | |
j > 0

f (x)A(x a)dx
1
1
}
= f' (a)
a e (1, 1)

`


)


Calcular la serie de Fourier de A(x):
base ortogonal

itjx
e { }
; j e Z
A x ( ) = a
j

itjx
e
j =

a
l
=
1
2
itlx
e
A(x)dx
1
1
}
a
l
=
1
2
itlx
e
A(x)dx
1
1
}
=
itl
2
= t j sen(tjx)
j > 0
A x ( )