LA TRANSFORMADA DE FOURIER

1.

El desarrollo de una funci

on en serie de funciones ortonormales

Definici
on: Dos funciones f y g se dicen ortogonales con respecto a la funcion peso r en el intervalo
a x b si, y solo si,

Z b
a

f (x).g(x).r(x)dx = 0

Ejemplo: f (x) = sen x, g(x) = sen(2x), r(x) 1, [a, b] = [0, ]

Definici
on: Sea {n }nN una coleccion infinita de funciones definidas en el intervalo a x b. La
coleccion {}nN es ortogonal respecto de la funcion peso r en a x b, si
Z b
a

n (x)m (x)r(x)dx = 0

Ejemplo:{sen(nx)}n=1,2,3,... , 0 x , r(x) 1.
(m 6= n);

sen(nx) sen(mx) dx =

1
2

Z
0

(m 6= n)

{cos[(m + n)x] cos[(n m)x]} dx =

1
1
1
sen[(m + n)x]
sen[(n m)x] = 0
2 m+n
nm
0
Definici
on: Una funcion f se dice normalizada respecto de la funcion peso r(x) en el intervalo

a x b si, y solo si
r

Ejemplo: f (x) =

Z b
a

2
sen x, r(x) 1, 0 x .

Z r !2
2
0

[f (x)]2 r(x)dx = 1

2
sen (x) dx =

Z
1 cos(2x)
0

2
dx =

1
1
x sen(2x)
2
4

=1
0

Definici
on: Sea {n }nN un conjunto infinito de funciones definidas en el intervalo a x b. El
conjunto {n } se llama sistema ortonormal respecto de la funcion peso r(x) en a x b, si es un
sistema ortogonal y cada funcion esta normalizada respecto de r(x) en a x b, es decir,
Z b
a

Ejemplo: {n (x)} = {

m (x)n (x)r(x)dx =

0
1

m 6= n
m=n

2
sen(nx)}, (n = 1, 2, 3, ....), 0 x , r(x) 1.

El problema del desarrollo

Sea {n } un sistema ortonormal respecto a una funcion peso r(x) en un intervalo a x b y
sea f (x) una funcion arbitraria. Consideremos el problem de desarrollar f (x) en serie infinita de las
funciones ortonormales 1 , 2 , 3 , .... Supongamos que tal desarrollo existe,
f (x) =

cn n (x)

(i)

n=1

para cada x del intervalo a x b. La cuestion es como determinar los coeficientes cn

(n = 1, 2, 3, ...). Procedamos a nivel formal dejando de lado, por el momento, la cuestion de la
convergencia. Multipliquemos la igualdad (i) por k (x)r(x)
f (x)k (x)r(x) =

cn n (x)k (x)r(x)

n=1

integremos entre a y b
Z b
a

f (x)k (x)r(x)dx =
Z b
a

Z b X

cn n (x)k (x)r(x)]dx =

n=1

Z b
a

n (x)k (x)r(x)dx =
Z b
a

cn

se obtiene que

Luego si

X
n=1

Z b

n=1

f (x)k (x)r(x)dx =

y como

Z b
X
a

cn n (x)k (x)r(x)dx]

n (x)k (x)r(x)dx
0
1

n 6= k
n=k

f (x)k (x)r(x)dx = ck

cn n (x) converge uniformemente a f (x) en a x b, podemos garantizar que los

n=1

coeficientes del desarrollo vienen dados por

cn =
En general para que

Z b
a

f (x)n (x)r(x)dx

(n = 1, 2, 3, ...)

cn n (x) converja uniformemente a f (x) hay que imponer condiciones

n=1

restrictivas sobre f (x) y la familia de funciones {n (x)}.

2.

Series trigonom
etricas de Fourier

Definici
on: Sea {n (x)}nN un sistema ortonormal respecto de una funcion peso r(x) en a x b.
Sea f (x) una funcion tal que para cada n = 1, 2, 3, ... el producto f (x)n (x)r(x) sea integrable en
2

a x b. En estas condiciones la serie

cn n (x)

n=1

donde
cn =

Z b
a

f (x)n (x)r(x)dx

(n = 1, 2, 3, ...)

se llama serie de Fourier de f (x) respecto del sistema {n }; los coeficientes cn se denominan coeficientes
de Fourier de f (x) respecto de {n }. Escribiremos, entonces
f (x)

cn n (x),

axb

n=1

Si consideramos el sistema de funciones {n } definido por

1 (x) = 1; 2n (x) = cos(

nx
nx
); 2n+1 (x) = sen(
) (n = 1, 2, 3, ...)
L
L

para todo x del intervalo L x L, (L > 0)

Z L
L

cos(

Z L
L

Z L
L

nx
mx
)cos(
)dx = 0
L
L

sen(

cos(

(m, n = 0, 1, 2, ....; m 6= n)

nx
mx
)sen(
)dx = 0
L
L

nx
mx
)sen(
)dx = 0
L
L

(m, n = 1, 2, ....; m 6= n)

(m = 0, 1, 2, ....; n = 1, 2, 3....)

luego, {n (x)} es un sistema ortogonal respecto de la funcion peso r(x) = 1 en L x L. Ademas

Z L
L

Z L
L

Z L
L

(1)2 dx = 2L

cos2 (

nx
)dx = L
L

(n = 1, 2, 3, ....)

sen2 (

nx
)dx = L
L

(n = 1, 2, 3, ....)

por lo que podemos construir el sistema ortonormal {n (x)} en el intervalo L x L, dado por
1
1
1
nx
nx
); 2n+1 (x) = sen(
) (n = 1, 2, 3, ...)
1 (x) = ; 2n (x) = cos(
L
L
2L
L
L
Si f (x) es una funcion tal que el producto f (x)n (x) es integrable, para cada n (x), en el
intervalo L x L podemos escribir la serie de Fourier

cn n (x), siendo

n=1

c1 =

Z L
L

1
1
f (x)dx =
2L
2L
3

Z L
L

f (x)dx

c2n

Z L

1
nx
1
f (x) cos(
)dx =
=
L
L
L
L

c2n+1 =

Z L

Z L
L

f (x)cos(

Z L
1

1
nx
f (x) sen(
)dx =
L
L
L
L

nx
)dx
L

f (x)sen(

nx
)dx
L

con lo que la serie quedara

1
cn n (x) = c1 1 (x) +
[c2n 2n (x) + c2n+1 2n+1 (x)] = [
2L
n=1
n=1
+

1
{[
L
n=1

Z L
L

f (x)cos(

1
1
nx
nx
)dx][ cos(
)] + [
L
L
L
L

Z L
L

f (x)sen(

Z L

1
f (x)dx][ ]+
2L
L

1
nx
nx
)dx][ sen(
)]}
L
L
L

y agrupando convenientemente podemos enunciar

Definici
on: Sea f (x) una funcion definida en el intervalo L x L y tal que las integrales
Z L

nx
f (x)cos(
)dx
L
L

Z L
L

f (x)sen(

nx
)dx
L

existen para cada n = 0, 1, 2, 3, .... Entonces la serie

X
1
nx
nx
a0 +
) + bn sen(
)]
[an cos(
2
L
L
n=1

siendo
an =

1
L

1
bn =
L

Z L
L

Z L
L

f (x)cos(

nx
)dx
L

f (x)sen(

(n = 0, 1, 2, 3, ...)

nx
)dx
L

(n = 1, 2, 3, ....)

se denomina serie trigonometrica de Fourier de f (x) en el intervalo L x L, escribiendose

f (x)

X
nx
nx
1
a0 +
[an cos(
) + bn sen(
)],
2
L
L
n=1

L x L

Los n
umeros an (n = 0, 1, 2, ...) y bn (n = 1, 2, 3, ...) se llaman coeficientes de Fourier de f (x) en
nx
el intervalo dado. El termino n-esimo del desarrollo, es decir, an cos( nx
L ) + bn sen( L ) se denomina

n-esimo armonico el cual puede expresarse en la forma An cos( nx

L + n ), donde An =

a2n + b2n y

tag n = abnn si an 6= 0
n = 2 si an = 0
El factor An es la amplitud del n-esimo armonico y n la fase inicial.
En el caso particular de que f (x) sea una funcion par o impar, el calculo de los coeficientes de
Fourier se simplifica.
4

Si f (x) es par en L x L, entonces:

an =

2
L

Z L
0

f (x)cos(

con lo que

nx
)dx
L

(n = 0, 1, 2, 3, ...) y bn = 0

X
1
nx
),
f (x) a0 +
an cos(
2
L
n=1

(n = 1, 2, 3, ...)

L x L

En caso de ser f (x) impar, entonces:

2
bn =
L

Z L
0

f (x)sen(

nx
)dx
L

escribiendose

(n = 1, 2, 3, ....) y an = 0

f (x)

nx
),
L

bn sen(

n=1

(n = 0, 1, 2, 3, ...)

L x L

Ejemplos:
a) f (x) = |x|,

x . Dado que la funcion es par los coeficientes bn = 0, n, con lo que

obtendremos un desarrollo solo en cosenos.

Z

2
a0 =

2
an =

Z
0

2
f (x) dx =

x2
2

2
nx
) dx =
f (x) cos(

=
0

x cos(nx) dx = (1)

aplicando el metodo de integraci

on por partes, tomando u = x y dv = cos(nx)dx, obtenemos
2
(1) =

x sen(nx)
n

Z
sen(nx)

por lo que

0 si n par
n4 2 si n impar

4 X
cos[(2n 1)x]

2 n=1 (2n 1)2

|x|
b) f (x) = x,

2
dx =
(cos(nx))0 =
n 2

4 x 4. Al ser la funcion impar tenemos garantizado que an = 0, n, lo que

nos llevara a obtener un desarrollo solo en senos.

bn =

2
4

Z 4
0

f (x) sen

nx
4

dx =

1
2

Z 4
0

x sen

nx
4

dx = (2)

nuevamente, usando el metodo de integraci

on por partes con u = x y dv = sen
tiene
1
(2) =
2

4x cos
n

lo que nos lleva a

nx )4
4

2
+
n
0

Z 4
0

nx
cos
4

dx =

nx
4

8
8
cos(n) =
(1)n+1
n
n

8 X
nx
(1)n+1
x
sen
n=1
n
4

dx, se

c) f (x) =

, x < 0
x, 0 x
1
a0 =

an =

1
=

sen(nx)
n

1
=

Z
1

1
f (x) dx =

f (x) cos(nx) dx =

bn =

es decir

x
sen(nx)
n

f (x) sen(nx) dx =

cos(nx)
n

Z 0

Z 0

Z 0
1

x dx =

cos(nx) dx +

Z
1

dx +

sen(nx) dx

x
+ cos(nx)
n

+
0

Z
1

x cos(nx) dx =

1
= 2 [(1)n 1] =
n

sen(nx) dx +

3
2

Z
0

0 si n par
n22 n impar

x sen(nx) dx =
)

cos(nx) dx

2
1
3 X

+
cos[(2n 1)x] sen(nx)
f (x)
2
4
(2n

1)
n
n=1

1
n

Nota: Si f (x) y g(x) son funciones definidas e integrables en a x b y tales que f (x) = g(x) salvo
en un n
umero finito de puntos del intervalo a x b, entonces
Z b
a

f (x)dx =

Z b
a

g(x)dx

esta situacion es trasladable a los desarrollos de Fourier, por lo que si f (x) = g(x) salvo en un n
umero
finito de puntos de L x L, entonces f (x) y g(x) tendran el mismo desarrollo en serie de Fourier.
Ejemplo:

f (x) =

, x < 0
x, 0 x

g(x) =

x < 0
/2 x = 0

x, 0 < x

Series de Fourier de senos y series de Fourier de cosenos

La famlia de funciones {n (x)} definidas por
r

n (x) =

2
nx
sen(
), 0 x L
L
L

(n = 1, 2, 3, ...)

constituye un sistema ortonormal respecto a la funcion peso r(x) = 1 en el intervalo 0 x L.

Consideremos el problema de desarrollar una funcion arbitraria f (x), definida en 0 x L, en
serie respecto de este sistema ortonormal de funciones
f (x)

X
n=1

cn n (x)

cn =

Z L
0

f (x)

2
nx
sen(
)
L
L

(n = 1, 2, 3, ...)

y operando adecuadamente obtenemos

f (x)

bn sen(

n=1

donde
bn =

2
L

Z L
0

f (x)sen(

nx
)
L

nx
)dx
L

recibiendo esta u
ltima serie, cuando exista, el nombre de serie de Fourier de senos de f (x) en el
intervalo 0 x L.
Nota: Si f (x) es impar, la serie trigonometrica de Fourier de f (x) en L x L coincide con la
serie de Fourier de senos de f (x) en 0 x L.
Analogamente, la familia {n } definida por
1
1 (x) = ; n (x) =
L

nx
2
cos(
), 0 x L
L
L

(n = 1, 2, 3, ...)

tambien constituye un sistema ortonormal respecto a la misma funcion peso y en el mismo intervalo.
Por lo que dada f (x) definida en 0 x L podemos desarrollarla respecto a este sistema de funciones,
obteniendose

X
1
nx
a0 +
)
an cos(
2
L
n=1

f (x)
donde
an =

2
L

Z L
0

f (x)cos(

nx
)dx
L

(n = 0, 1, 2, ...)

serie que se denomina serie de Fourier de cosenos de f (x) en el intervalo 0 x L.

Nota: Si f (x) es par, la serie trigonometrica de Fourier de f (x) en L x L coincide con la serie
de Fourier de cosenos de f (x) en 0 x L.
Ejemplos:
a) f (x) = 1, 0 x
1

a0 X
+
an cos(nx)
2
n=1

a0 =
an =

Z
2

Z
0

dx =

cos(nx) dx =

2
{x}0 = 2

sen(nx)
n

=0
0

luego
1 1
y como hemos podido comprobar se ha trabajado de mas, pues la funcion ya estaba desarrollada en cosenos.
1

bn sen(nx)

n=1

2
bn =

Z
0

2
sen(nx) dx =

por lo tanto

cos(nx)
n

2 1 (1)n
=
=

0 n par
4
n n impar

4 X
1
sen[(2n 1)x]
n=1 2n 1

1
b) f (x) = x, 0 x
x

a0 X
+
an cos(nx)
2
n=1

2
a0 =

2
an =

Z
0

2
x cos(nx) dx =

es decir
x
x

Z
0

2
x dx =

x sen(nx)
n

x2
2

Z
0

=
0

sen(nx) dx =

0
n par
n42 n impar

4 X
1

cos[(2n 1)x]
2 n=1 (2n 1)2

bn sen(nx)

n=1

2
bn =

Z
0

2
x sen(nx) dx =

con lo que
x

x cos(nx)
n

X
2(1)n+1
n=1

1
+
n

Z
0

cos(nx) dx =

2(1)n+1
n

sen(nx)

Convergencia de las series de Fourier

Hemos expresado el desarrollo de una funcion f (x) en serie trigonometrica de Fourier en un
intervalo L x L como

X
nx
nx
1
a0 +
[an cos(
) + bn sen(
)]
2
L
L
n=1

donde los coeficientes de Fourier de f (x) vienen dados por

an =

1
L

1
bn =
L

Z L
L

Z L
L

f (x)cos(

nx
)dx
L

f (x)sen(

(n = 0, 1, 2, 3, ...)

nx
)dx
L

(n = 1, 2, 3, ....)

Este desarrollo es meramente formal y nos planteamos ahora cuales deben ser las condiciones
nx
nx
2L
para la convergencia de la serie. Las funciones sen(
) y cos(
) son periodicas de periodo
,
L
L
n
lo que nos lleva a que tambien son periodicas de periodo 2L, por tanto si la serie trigonometrica de
Fourier converge a una funcion f (x), esta debe ser tambien periodica de periodo 2L. Luego, si la serie
converge para todo x del intervalo L x L lo hara para todo x en < x < y la funcion
suma sera periodica de periodo 2L.
Teorema: Sea f (x) una funcion tal que
1. f (x) es periodica de periodo 2L.
2. f (x) es regular a trozos en el intervalo L x L.
Entonces, la serie trigonometrica

X
1
nx
nx
a0 +
) + bn sen(
)]
[an cos(
2
L
L
n=1

donde
an =

1
L

1
bn =
L
converge en cada punto x al valor

siendo f (x+ ) =

lim

h0; h>0

Z L
L

Z L
L

f (x)cos(

nx
)dx
L

f (x)sen(

(n = 0, 1, 2, 3, ...)

nx
)dx
L

(n = 1, 2, 3, ....)

f (x+ ) + f (x )
2

f (x + h) y f (x ) =

lim

h0; h>0

f (x h). En particular si f es continua en x, la

convergencia sera a f (x).

Ejemplo:

f (x) =

, x 0
x, 0 x

Teorema: Sea f (x) una funcion regular a trozos en el intervalo 0 x L. Entonces:

f (x+ ) + f (x )
para cada x tal que
2
0 < x < L. En particular si f es continua en 0 < x < L, converge a f (x). Ademas converge a

1. La serie de Fourier de senos de f (x) converge al valor

cero en x = 0 y x = L.
g(x+ ) + g(x )
, siendo g la funcion impar
2
periodica de periodo 2L que coincide con f en 0 < x < L y tal que g(0) = g(L) = 0.

La serie converge en cada punto x (, ) a

f (x+ ) + f (x )
para cada x tal que
2
0 < x < L. En particular si f es continua en 0 < x < L, converge a f (x). Ademas converge a

2. La serie de Fourier de cosenos de f (x) converge al valor

f (0+ ) en x = 0 y a f (L ) en x = L.

h(x+ ) + h(x )
, siendo h la funcion par periodica
2
de periodo 2L que coincide con f en 0 x L.
La serie converge en cada punto x (, ) a

Ejemplo: f (x) = x,

3.

0x

De la serie de Fourier a la integral de Fourier

En esta seccion pretendemos deducir de forma intuitiva y poco rigurosa la expresion de la transformada
integral de Fourier partiendo de la correspondiente serie compleja.
Obtengamos en primer lugar la forma compleja de las series de Fourier.
Si consideramos la serie trigonometrica de Fourier de la funcion f (t), como
f (t) =
donde w =

a0 X
+
an cos(nwt) + bn sen(nwt)
2
n=1

. Dado que
L
cos(nwt) =

einwt + einwt
einwt einwt
y sen(nwt) =
2
2i

si llevamos estas expresiones al desarrollo de Fourier obtenemos

f (t) =

teniendo en cuenta que

a0 X
einwt einwt
einwt + einwt
+
+ bn
an
2
2
2i
n=1

1
= i, y haciendo
i
c0 =

a0
,
2

cn =

an ibn
2

10

cn =

an + ibn
2

nos queda
f (t) = c0 +

cn einwt + cn einwt = c0 +

n=1

cn einwt +

n=1

cn einwt =

n=1

cn einwt

n=

donde los coeficientes cn se calculan mediante la integral

1
cn =
2L

Z L

f (t)einwt dt

(n = 0, 1, 2, ...)

sustituyendo estas expresiones en la serie compleja obtenemos

f (t) =

n=

y por lo tanto
f (t) =

1
2L
n=

1
2L

Z L
L

Z L

f (x)einwx dx]einwt

f (x)einw(tx) dx

t (L, L)

En esta u
ltima expresion queremos determinar el lmite cuando L tiende a , con lo que ampliaremos
los resultados para funciones no periodicas y con t R. Escribamos
G(w) =
entonces

f (x)eiw(tx) dx

Z
1 X
w X
G(nw) w =
f (x)einw(tx) dx
2 n=
2 n=

parece ser una buena aproximacion de la u

ltima serie. Si hacemos tender L a , lo que lleva a que
w tienda a 0, el lado izquierdo de la u
ltima igualdad parecera una suma de Riemann; la cual sera
una buena aproximacion de
1
2
con lo que
f (t) =

1
2

G(w) dw

Z Z

f (x)eiwx dx eiwt dw

En las siguientes secciones veremos como el par

F (w) = F{f (t)}(w) =
f (t) = F

1
{F (w)}(t) =
2

eiwt f (t)dt

eiwt F (w)dw

definen la transformada integral de Fourier y su correspondiente inversa.

11

4.

La funci
on impulso

La funcion impulso unitario (t), conocida tambien como funcion delta, puede introducirse de la
siguiente manera, para > 0:

F (t) =

es obivio que para cualquier , se verifica que

|t| >

F (t)dt = 1.

Se define la funcion impulso unitario como

(t) = lim F (t)
0

Otra forma de introduccion sera

(

(t) =
Z

(t)dt =

0 si t 6= 0
si t = 0

(t)dt = 1

( > 0)

La funcion delta tambien se puede definir en terminos de las propiedades de sus integrales. Si
se supone que la funcion (t) (llamada funcion prueba) es una funcion continua, que se anula fuera
de alg
un intervalo finito, entonces (t) se define como una funcion simb
olica por la relacion
Z

(t)(t)dt = (0)

(t) se trata como una funcion ordinaria, aunque en realidad no lo es. Nunca se habla del valor
de (t), pero s de los valores de las integrales en que aparece (t).
Ejemplos:
1.
2.
3.

Z b
a

(t t0 )(t)dt =
(at)(t)dt =

1
|a|

t
1
(t)( )dt =
(0)
a
|a|

(t t0 )(t)dt =

(t)(t + t0 )dt = (t0 )

(t0 ) a < t0 < b

. Siendo a < b y (t) continua en t0 .
0 en los otros casos

La derivada 0 (t) de (t) esta definida por la relacion integral

Z

0 (t)(t)dt =

12

(t)0 (t)dt = 0 (0)

analogamente se define la derivada enesima

Z

(n)

(t)(t)dt = (1)

(t)(n) (t)dt = (1)n (n) (0)

Ejercicios
1. Si a < b demostrar que
Z b
a

1 para a < t0 < b

(t t0 ) dt =

0 para b < t , t < a

0
0

2. Demostrar que
f (t)(t) = f (0)(t)
donde f (t) es continua en t = 0. Usar esta igualdad para demostrar las siguientes propiedades
de la funcion
a) t(t) = 0

b) (at) =

1
(t)
|a|

c) (t) = (t)

3. Demostrar que la expresion siguiente es consecuente con el concepto de derivaci

on clasico
Z

f (t)(t)dt =

f (t)0 (t)dt

siendo f (t) funcion cuya derivada es continua y (t) funcion prueba.

4. Si f (t) es una funcion continua y diferenciable, demostrar que la regla del producto
[f (t)(t)]0 = f (t) 0 (t) + f 0 (t)(t)
se sigue cumpliendo
5. Demostar la siguiente igualdad
f (t) 0 (t) = f (0) 0 (t) f 0 (0)(t)
6. Demostrar que la funcion es la derivada de la funcion u(t), la cual esta definida por la relacion
Z

u(t)(t)dt =

Z
0

(t)dt

7. Si f (t) es una funcion continua por tramos con discontinuidades de salto finito a1 , a2 , ... en
t1 , t2 , ..., y la funcion f 0 (t) esta definida en todas partes excepto en estas discontinuidades,
encontrar la derivada generalizada de f (t).
13

5.

La transformada integral de Fourier

Definici
on: Dada la funcion f (t), se define la transformada de Fourier de f (t) como
F (w) = F{f (t)}(w) =

eiwt f (t)dt

y la transformada inversa de Fourier como

f (t) = F 1 {F (w)}(t) =

1
2

eiwt F (w)dw

La condicion para que exista F (w) generalmente esta dada por

Z

|f (t)|dt <

aunque es una condicion suficiente pero no necesaria.

La funcion F (w) = F{f (t)}(w) es, en general, compleja y se tiene
F (w) = R(w) + iX(w) = |F (w)|ei(w)
donde |F (w)| se denomina espectro de magnitud de f (t), y (w) espectro de fase de f (t).
Nota: En caso de que f (t) sea real, se tiene:
R(w) =

f (t)cos(wt)dt y X(w) =

R(w) = R(w);

f (t)sen(wt)dt

F (w) = F (w)

X(w) = X(w);

|F (w)| es par y (w) impar.

Ejemplos:
a) Pd (t) =

1 |t| < 2 d

0 |t| > 1 d
2

F (w) = F{Pd (t)}(w) =

Z
iwt

Pd (t)e

dt =

d
2

d2

iwt

1
dt = eiwt
iw

wd

sen
1
2
wd
2
iw d2
iw d2
=
e
e
=
sen
=d

iw

14

wd
2

d
2

d2

b) f (t) =

et t > 0
0 t<0
F (w) =

( > 0)

f (t)e

iwt

dt =

Z
0

t iwt

dt =

Z
0

e(+iw)t dt =

1
+ iw

Definici
on: Si f (t) esta definida para 0 < t < , se define la transformada de Fourier coseno de f (t)
como
Fc {f (t)}(w) = Fc (w) =
Fc1 {Fc (w)}(t) = f (t) =

Z
0

Z
0

f (t)cos(wt)dt
Fc (w)cos(wt)dw

y la transformada de Fourier seno de f (t), como

Fs {f (t)}(w) = Fs (w) =
Fs1 {Fs (w)}(t) = f (t) =

Z
0

Z
0

f (t)sen(wt)dt
Fs (w)sen(wt)dw

Ejemplo: f (t) = et para t > 0 y > 0.

Fc (w) =

Z
0

cos(wt) dt

Fs (w) =

Z
0

et sen(wt) dt

Denotamos por I1 e I2 , respectivamente, a las integrales anteriores . Integrando por partes cada una
de ellas obtenemos
I1 =

1
w
I2

I2 =

w
I1

y resolviendo el sistema llegamos a

Fc (w) =

6.

2 + w 2

Fs (w) =

w
2 + w 2

Propiedades de la transformada de Fourier

1. Si F1 (w) = F[f1 (t)](w) y F2 (w) = F[f2 (t)](w), y a1 y a2 son dos constantes arbitrarias. Entonces
F[a1 f1 (t) + a2 f2 (t)](w) = a1 F1 (w) + a2 F2 (w)
La demostracion es muy sencilla, basta tener encuenta el caracter lineal del operador integral.

15

2. Si a es una constante real y F (w) = F[f (t)](w), entonces F[f (at)](w) =

Demostarci
on: F[f (at)](w) =

1
w
F( )
|a| a

f (at)eiwt dt efectuando el cambio de variable at = x

obtenemos

F[f (at)](w) =

(a > 0)

1
a

(a < 0)

1
a

f (x)ei a x dx =

1
w
F( )
|a| a

f (x)ei a x dx =

1
a

f (x)ei a x dx =

1
w
F( )
|a| a

3. Si F (w) = F[f (t)](w), entonces F[f (t)](w) = F (w)

Demostraci
on: Aplicar la propiedad anterior al caso a = 1.
4. Si F (w) = F[f (t)](w), entonces F[f (t t0 )](w) = F (w)eiwt0
Demostraci
on: F[f (t t0 )](w) =
F[f (t t0 )](w) =

f (x)e

f (t t0 )eiwt dt haciendo el cambio t t0 = x

iw(t0 +x)

dx = e

iwt0

f (x)eiwx dx = eiwt0 F (w)

5. Si w0 es una constante real y F (w) = F[f (t)](w), entonces F[f (t)eiw0 t ](w) = F (w w0 )
Demostraci
on:
F[f (t)e

iw0 t

](w) =

f (t)ei(ww0 )t) dt = F (w w0 )

6. Si F (w) = F[f (t)](w), entonces F[F (t)](w) = 2 f (w)

Demostraci
on: Sabemos que
2 f (t) =
cambiando t por t
2 f (t) =

F (w) eiwt dw

F (w) eiwt dw

Intercambiando t y w
2 f (w) =

F (t) eiwt dt = F[F (t)](w)

7. Si F (w) = F[f (t)](w) y f (t) 0 cuando t , entonces

F[f 0 (t)](w) = iwF (w)
16

es mas
F[f (n) (t)](w) = (iw)n F (w)
cuando exista F[f (n) (t)](w)
Demostraci
on: Aplicando el metodo de integraci
on por partes
0

F[f (t)](w) =

f (t)e

iwt

dt = f (t)e

iwt

+ iw

f (t)eiwt dt

y teniendo en cuenta el comportamiento de f (t) para t , se obtiene el resultado buscado.

La segunda parte puede demostrarse por induccion, siempre que en cada paso se admite la
existencia de la correspondiente transformada.
8. Si F (w) = F[f (t)](w), w 6= 0, y

F
cuando

f (t)dt = F (0) = 0, entonces

Z t

f (x)dx (w) =

1
F (w)
iw

f (t)dt = F (0) 6= 0,entonces

F

Z t

f (x)dx (w) =

1
F (w) + F (0)(w)
iw

La demostracion de la segunda parte la dejaremos para las clases de problemas.

Demostraci
on: Consideremos la funcion
(t) =

Z t

f (x) dx

entonces, 0 (t) = f (t), y como

lim (t) =

f (x) dx = F (0) = 0

tenemos que, si F[(t)](w) = (w), entonces

F[0 (t)](w) = F[f (t)](w) = iw(w) = (w) =

1
F (w)
iw

9. Si F (w) = F[f (t)](w), entonces

F[it f (t)](w) =
Demostraci
on:
d
dF (w)
=
dw
dw

dF (w)
dw

f (t)eiwt dt =

17

it f (t)eiwt dt

10. El producto de convolucion:

Sean f1 (t) y f2 (t) dos funciones dadas. La convoluci
on de ellas esta definida por la funcion
f (t) = f1 (t) f2 (t) =

f1 (x)f2 (t x)dx

esta operacion es conmutativa, asociativa y tiene a la funcion impulso (t) como elemento unidad,
es decir, f (t) (t) = f (t).

f1 (t) f2 (t) =

f1 (x)f2 (t x)dx = {t x = y} =

f1 (t y)f2 (y)dy = f2 (t) f1 (t)

tomemos f1 (t) f2 (t) = g(t), y f2 (t) f3 (t) = h(t). Dado que g(t) =

f1 (x)f2 (t x)dx,

se tiene que
g(t) f3 (t) =

g(x)f3 (t x)dx =

Z Z

f1 (y)f2 (x y)dy f3 (t x)dx

sustituyendo z = x y e intercambiando el orden de integraci

on, obtenemos
g(t) f3 (t) =
y como h(t) =

f1 (y)

f2 (z)f3 (t y z)dz dy

f2 (z)f3 (t z)dz, se tiene h(t y) =

consiguiente
g(t) f3 (t) =

f (t) (t) = (t) f (t) =

f2 (z)f3 (t y z)dz. Por

f1 (y)h(t y)dy = f1 (t) h(t)

(x)f (t x)dx = [f (t x)]x=0 = f (t)

Si F[f1 (t)](w) = F1 (w) y F[f2 (t)](w) = F2 (w), entonces

F[f1 (t) f2 (t)](w) = F1 (w)F2 (w)
y ademas
F 1 [F1 (w) F2 (w)](t) = 2f1 (t)f2 (t)
o bien
F[f1 (t)f2 (t)](w) =

1
1
F1 (w) F2 (w) =
2
2

18

F1 (y)F2 (w y)dy


F[f1 (t)f2 (t)](w) =

Z Z

f1 (x)f2 (t x)dx eiwt dt =

f1 (x)

f2 (t x)eiwt dt dx

pero la expresion entre corchetes es la transformada de f2 (t x) y su valor es F2 (w)eiwx ,

por lo que
F[f1 (t) f2 (t)](w) =

f1 (x)eiwx F2 (w)dx = F1 (w)F2 (w)

[F1 (w) F2 (w)](t) = F

1
=
2

Z Z

F1 (y)F2 (w y)dy =

F1 (y)F2 (w y)dy eiwt dw = (1)

efectuando el cambio w y = x e intercambiando el orden de integraci

on, se obtiene
(1) =

1
2

F1 (y)

1
2

F2 (x)ei(x+y)t dx dy = 2

F1 (y)eiyt dy

= 2[f1 (t)f2 (t)]

11. Relaciones de Parseval:

(a) Si F[f1 (t)](w) = F1 (w) y F[f2 (t)](w) = F2 (w), entonces
Z

1
f1 (t)f2 (t)dt =
2

sabemos que
1
F[f1 (t)f2 (t)](w) =
2

F1 (w)F2 (w)dw

F1 (y)F2 (w y)dy

o lo que es lo mismo
Z

[f1 (t)f2 (t)]e

iwt

1
dt =
2

F1 (y)F2 (w y)dy

y tomando w = 0 se obtiene la igualdad requerida.

(b) Si F (w) = F[f (t)](w), entonces
Z

|f (t)|2 dt =

19

1
2

|F (w)|2 dw

1
2

F2 (x)eixt dx =

7.

Problemas
1. Si F (w) = F[f (t)](w), hallar la transformada de Fourier de f (t)cos(w0 t).
2. Hallar la transformada de Fourier de la funcion f (t) =

sen(at)
.
t

3. Demostrar que
a) f (t) (t T ) = f (t T )

b) f (t t1 ) (t t2 ) = f (t t1 t2 )

4. Utilizar la convolucion para encontrar f (t) = F 1 [

1
].
(1 + iw)2

5. Hallar la integral de Fourier que representa la funcion

(

f (t)

1 para |t| < 1

0 para |t| > 1

6. Utilizar el resultado del problema anterior para deducir que

7. Si F (w) = F[f (t)](w), demostrar que

Z
sen w
0

dw =

.
2

1
w w0
F(
) = F[f (at)eiw0 t ](w)
|a|
a

8. Si F (w) = F[f (t)](w), hallar la transformada de Fourier de f (t)sen(w0 t).

9. Hallar, de dos formas diferentes, f (t) = F 1 [

1
].
(1 + iw)(2 + iw)

10. Hallar la transformada de Fourier de la funcion impulso (t).

11. Deducir las siguientes representaciones
a) (t) =

1
2

eiwt dw

b) (t) =

Z
0

cos(wt)dw

12. Hallar la transformada de Fourier de una funcion constante.

13. Hallar la transformada de Fourier de las siguientes funciones
a) f (t) = eiw0 t

b) f (t) = cos(w
0 t)
(
1 para t > 0
d) u(t) =
0 para t < 0

c) f (t) = sen(w0 t)

du(t)
, entonces F[(t)](w) = iwF[u(t)](w). Por lo tanto 1 = iwF[u(t)](w), de lo que
dt
1
se deduce que F[u(t)](w) =
, sin embargo en el apartado d) del problema anterior se obtiene
iw
un resultado distinto. Encontrar el fallo de esta argumentaci
on.

14. Si (t) =

20

15. Probar que F 1 [

1
1
] = sgn t, donde sgn t est
a definido como
iw
2
(

sgn t =

16. Demostrar que cuando

1 para t > 0
1 para t < 0

f (t)dt = F (0) 6= 0,entonces

Z t

f (x)dx (w) =

1
F (w) + F (0)(w)
iw

17. Sea F[f (t)](w) = F (w) y F[g(t)](w) = G(w); establecer la igualdad de Parseval
Z

8.

f (x)G(x)dx =

F (x)g(x)dx

Ap
endice

En esta seccion estableceremos algunos resultados teoricos asociados a la transformada integral de

Fourier. Comenzaremos mostrando las notaciones que usaremos a lo largo de esta.
Sea R:
C() = {f continua en }
C n () = {f, f 0 , ..., f (n) continuas en }

(n puede ser )

P() = {f continua a trozos en }

P n () = {f, f 0 , ..., f (n) continuas a trozos en }

(n puede ser )

L1 () = {f abs. integrable en , esto es

Z

Lp () = {f :

8..1

|f |dx < }

|f |p dx < }

Teorema integral de Fourier

Pretendemos averiguar para que tipo de funciones es valida la expresion

1
f (x) =
2

ixu

21

f (v)eiuv dvdu

Lema de Riemann-Lebesgue
Sea f C([a, b]), 0 a < b < , entonces
lim

Z b

f (t) sen(t) dt = lim

Z b

f (t) cos(t) dt = 0

Demostraci
on: Lo haremos para el caso de sen(t), ya que para el caso del coseno sera analogo.
Z b
a

f (t) sen(t) dt =

Z b

f (u + ) sen(u + ) du =

Z b

f (u +

) sen(u) du

Por tanto,
2

Z b
a

f (t) sen(t) dt =

Z b
a

f (t) sen(t) dt

Z b

f (t +

) sen(t) dt = I1 + I2 + I3

siendo
I1 =

Z a
a

f (t +

) sen(t) dt; I2 =

Z b

[f (t) f (t +

)] sen(t) dt; I3 =

Z b
b

f (t) sen(t) dt

Estudiemos primero I1 : f es continua en [a, b], luego alcanza el maximo en [a, b], y por tanto
existe M > 0 de forma que |f (x)| M para todo x [a, b]
Z

f (t + ) sen(t) dt M <

siendo max{0 , 1 }, tal que a +

Caso de I3 :
|I3 |

b y M 1 <
0

Z b
b

siendo max{2 , 3 }, tal que b

3.

|f (t)| |sen(t)| dt M

a y M 3 <
2

<

3.

veamos que ocurre para I2 : f continua en [a, b] f uniformemente continua en [a, b] dado
> 0 > 0 : x, y [a, b] : |x y| < |f (x) f (y)| < .

Dado
> 0 existen un y un 4 tal que para cualquier > 4 se tiene que |t (t+ )| =
3(b a)

< |f (t) f (t + )| <

, entonces

3(b a)
|I2 |

(b a )
(b a) =
3(b a)

3(b a)
3

Por u
ltimo, tomando max{0 , 1 , 2 , 3 , 4 }, podemos demostrar que
Z

f (t) sen(t) dt |I1 | + |I2 | + |I3 | <

2
a

22

Corolario 1.- Si f P(a, b), 0 a < b < , entonces

lim

Z b

f (t) sen(t) dt = lim

Z b

f (t) cos(t) dt = 0

Demostraci
on: Aplicamos el lema de Riemann-Lebesgue a cada subintervalo y escribimos
Z b
a

n Z bi
X
i=1 ai

Corolario 2.- Si f P(a, ), a 0 y f L1 [a, ), entonces

lim

f (t) sen(t) dt = lim

f (t) cos(t) dt = 0

Demostraci
on:
f L1 [a, )

Z
a

|f (t)| dt < N > a :

Z
N

|f (t)| dt <

f P(a, ) f P(a, N ), por el lema de Riemann-Lebesgue 0 > 0 : > 0

R

a f (t) sen(t) dt < 2 . Entonces,

Z

<
f
(t)
sen(t)
dt

Z
N

f (t) sen(t) dt +
|f (t)| dt <

Lema de localizacion
Sea f P 1 [0, a], a < , entonces
lim

Z a

f (t)

sen(t)

dt =
f (0+ )
t
2

Demostraci
on: Supondremos que f C(0, a], ya que si no fuese as, buscaramos el punto 0 < b < a
tal que f C(0, b] y el valor del lmite de la integral dependera tan solo de la integral entre 0 y b dado
f (t)
que le lmite de la integral entre b y a sera igual a cero al aplicar el corolario 1 a la funcion
.
t
I =

Z a
0

sen(t)

f (t)
dt f (0+ ) =
t
2

Z a

sen(t)
[f (t) f (0 )]
dt+f (0+ )
t
+

Estudiemos I1 : La funcion g(t) =

Z a
sen(t)
0

dt
2

= I1 +I2

f (t) f (0+ )
es continua en (0, a] y en t = 0 ocurre que
t

lim g(t) = lim

t0+

t0+

f (t) f (0+ )
= f 0 (0+ )
t

y podemos definir g(0) = f 0 (0+ ). Entonces, por el lema de Riemann-Lebesgue, existe un 0 tal
que para todo 0 , se tiene que
Z a

|I1 | =

g(t) sen(t) dt <

23

 Veamos ahora que ocurre con I2 :

si f (0+ ) = 0 ya estara.
si f (0+ ) 6= 0, efectuando el cambio u = t en la integral obtenemos
Z a
sen(t)

dt =

Z a
sen u
0

du

Z a
sen u

du = . Por tanto, existe un 1 tal

u
2

que para todo 1 se verifica que |I2 | |f (0+ )|

2|f (0+ )|

y sabemos (problema 6 del tema) que lim

Para finalizar, tomando max{0 , 1 } concluimos que |I | <

f (t)
L1 [a, ), a > 0, entonces
t

Corolario 3.- Si f P 1 [0, ) y

lim

f (t)

sen(t)

dt =
f (0+ )
t
2

Demostraci
on: Sea > 0

Z
f (t)

t dt < 2
N
Z

sen(t)

1
+
dt f (0 ) < , para todo 0 .
f P [0, N ]
f (t)
0

t
2
2

f (t)
L1 [a, ) N N :
t

Por tanto para todo mayor o igual que un cierto 0 se verifica que
Z

sen(t)
+

dt

f
(0
)
f
(t)

<
t
2
0

Corolario 4.- Si f P 1 (R) y f L1 (R), entonces

lim

f (x + t)

sen(t)

dt =
f (x+ )
t
2

Demostraci
on: Definimos gx (t) = f (x + t), t [0, ), x > 0

[x + t x].

f P 1 (R) gx P 1 [0, ).

gx (t)
L1 [a, ),
t

a > 0, ya que

Z
Z 1
Z
Z
gx (t)
|f (x + t)|
|f (x + t)|

dt =
dt
dt +
|f (x + t)| dt <
t
t
t
a

24

Aplicando el corolario 3 a la funcion gx obtenemos el resultado buscado.

Corolario 5.- Si f P 1 (R) y f L1 (R), entonces
lim

f (x + t)

sen(t)

dt =
[f (x+ ) + f (x )]
t
2

Demostraci
on:
Z

sen(t)
f (x + t)
dt =
t

Z 0

sen(t)
f (x + t)
dt +
t

Aplicando el corolario 4, sabemos que I2 tiende a

f (x + t)

sen(t)
dt = I1 + I2
t

f (x+ ) cuando . En cuanto a I1

2

efectuemos el cambio de variable u = t y obtenemos

Z

I1 =

f (x u)

sen(u)
du
u

actuando de forma similiar a como lo hicimos en el corolario 4. Definimos gx (u) = f (x u),

u 0,

(x u (, x]).

f P 1 (R) gx P 1 [0, ).

gx (t)
L1 [a, ),
t

a > 0, ya que

Z
Z 1
Z
Z
gx (t)
|f (x t)|
|f (x t)|

dt =
dt
dt +
|f (x t)| dt <
t
t
t
a

Luego I1 tiende a

gx (0+ ) = f (x ) cuando
2
2

Teorema integral de Fourier

Sea f P 1 (R) L1 (R). Entonces
1

Z Z
0

f (t) cos[u(x t)] dt du =

1
f (x+ ) + f (x )
2

Demostraci
on:
(a) El corolario 5 nos permite escribir
1
1
[f (x+ )+f (x )] = lim

2
1
(1) = lim

f (x + y)

sen(y)
dy = (1)
y

sen[(t x)]
1
f (t)
dt = lim

tx

25

f (t)

(efectuamos el cambio t = x + y)
Z
0

cos[u(t x)] du dt = A

(b)
1

Z Z

1
f (t) cos[u(t x)] dt du = lim

Z Z

f (t) cos[u(t x)] dt du = B

Pasaremos a demostrar que A = B, para ello comprobaremos que A B = 0, es decir

(Z

lim

f (t)

Z
0

cos[u(t x)] du dt

Z Z
0

f (t) cos[u(t x)] dt du

= 0

Denotemos por I a la diferencia de integrales que hay entre llaves y expresemosla como sigue
I=

Z
x

Z
Z
x

f (t) cos[u(t x)] du dt

f (t) cos[u(t x)] du dt

Z Z x
0

Z Z
0

f (t) cos[u(t x)] dt du

f (t) cos[u(t x)] dt du

= I1 + I2

Veamos a continuacion que lim I2 = 0, el correpondiente resultado para I1 , se demostrara de

forma analoga.

Z
x

f (t)

Z
0

cos[u(t x)] du dt =

Z
x

f (t)

sen[(t x)]
dt =
tx

Z
0

f (y + x)

sen(y)
dy
y

por el corolario 4 sabemos que

lim

f (x + y)

sen(y)

dy =
f (x+ )
y
2

luego > 0, :

Z
Z

sen(y)
sen(y)

dy

f
(x
)
<

dy
C = + |f (x+ )|
f
(x
+
y)
f
(x
+
y)

y
2
y
2
0
0

Sea = 1, entonces

sen(y)

f (x + y)
dy C1 ,

y
0

Sea 1 (fijo), y > 0. Como

b > B0

Z
0

f (x + y)

sen(y)
dy es finita, entonces B0 < tal que
y

sen(y)

dy <
f (x + y)

y
2
b
Z

f (t) cos[u(t x)] dt

|f (t)| dt < ,

26

1 .

()

u > 0 ( > 0)

Por lo tanto 0 > 0 : B > 0 / b > B :

Z

f (t) cos[u(t x)] dt < 0 ,

|f (t)| dt < 0

u > 0.

Notese que B no depende de u. Tomando 0 =

b B1 tenemos

, encontramos B1 > 0 tal que para todo

2

f (t) cos[u(t x)] dt <

2
b

()

Sea B = max{B0 , B1 , B0 + x}

Z
Z Z

f (t) cos[u(t x)] du dt

f (t) cos[u(t x)] dt du =

x
0
0
x
Z

Z Z
Z Z !
Z Z !

B Z

+
f (t) cos[u(t x)] du dt
+
f (t) cos[u(t x)] dt du
=
x

0
B 0
0
x
0
B

Z Z

sen[(t x)]

f (t)
dt +
f (t) cos[u(t x)] dt du

tx
B
0
B

Z
Z Z

sen(y)

dy +
du =

f (t) cos[u(t x)] dt du +
f (y + x)

y
2
2
0

B x

Hemos obtenido, para f L1 (R) P(R) y para x R que:

1
1
f (x+ ) + f (x ) =
2

Z Z
0

f (t) cos[u(x t)] dt du

Ahora bien,
1

Z Z

1
f (t) cos[u(x t)] dt du =
2

=
=

Z Z
1

Z 0
1

f (t) e

iut

iux

dt e

Z Z
0

1
du +
2

iux

Z Z
0

Z Z
1

f (t) eivt dt eivx dv +

1
=
2

f (t) eiu(tx) + eiu(tx) dt du =

f (t) eiut dt eiux du =

f (t) eiut dt eiux du =

f (t) eiut dt du

Corolario 6.- Si f L1 (R) P 1 (R) y f es continua en x R, entonces

f (x) =

1
2

eiux

27

f (t) eiut dt du

8..2

Transformada de Fourier

F (y) = F{f }(y) =

eixy f (x) dx

Nota: Si f L1 (R) P 1 (R) y f es continua en x R, entonces

f (x) =

1
2

eixy F (y) dy

(Teorema de inversi
on de Fourier)

Teorema
Si f L1 (R) entonces F (y) = F{f }(y) es una funcion acotada en R. Admas, lim F (y) = 0,
|y|

si f P 1 (R).

Demostraci
on: Veamos que |F (y)| < C, y R. Teniendo en cuenta que |eixy | = 1, x, y R,
podemos escribir

|F (y)|

|f (x)| dx = ||f ||1 = C <

Estudiemos ahora el lim F (y).

|y|

F (y) =

ixy

f (x) dx =

Z a

Z a
a

Z
a

eixy f (x) dx = I1 + I2 + I3

Analicemos las tres integrales

I3 =

Z
a

eixy f (x) dx =
=

Z
a

Z
a

cos(xy) f (x) dx i

cos(x|y|) f (x) dx i

Z
a

Z
a

sen(xy) f (x) dx =

sen(x|y|) f (x) dx

donde mantendramos menos si y > 0, en caso contrario pondramos +. En cualquier caso, el

corolario 2 nos garantiza que las dos integrales tienden a cero para |y| tendiendo a . Por lo

tanto a partir de un cierto valor de |y| en adelante |I3 | < .

3

I1 =

Z a

eixy f (x) dx =

Z
a

eiuy f (u) du =

Z
a

cos(u|y|) f (u) du i

Z
a

sen(u|y|) f (u) du

De forma analoga al caso anterior, podemos garantizar que a partir de cierto valor de |y| en
adelante, |I1 | < 3 .
28

 Dado que f P 1 (R), podemos asegurar que f estar

a acotada en el intervalo [a, a], por lo que

|f (x)| M , en dicho intervalo, para alg

un M > 0. Tomando a <
, tenemos
6M
Z a

Z a

ixy

|I2 | =
e
f (x) dx M
dx = M 2a <
3
a
a

Finalmente podemos garantizar que |F (y)| < a partir de un cierto valor de |y| en adelante, es
decir, lim F (y) = 0.
|y|

Teorema
Si f L1 (R) entonces F (y) = F{f }(y) es continua en R
Demostraci
on: Sea y0 R, demostraremos que lim F (y0 + h) = F (y0 )
h0

F (y0 + h) F (y0 ) =

ei(y0 +h)x f (x) dx

eiy0 x f (x) dx =

eiy0 x eihx 1 f (x) dx

Nota: (Teorema de la convergencia dominada)(Integraci

on: Teora y tecnicas, M. de Guzman y B.
Rubio, ed: Alhambra, pag. 76)
Sea {fn }nN una sucesion de funciones integrables en R, y g L1 (R) tal que |fn | g, entonces:
Z

lim fn = lim

R n

En nuestro caso: tomamos h =

1
n

n R

fn

por lo tanto h 0 n , con lo que solo hemos de

aplicar el teorema de la convergencia dominada a las funciones fn (x) = eiy0 x ei n x 1 f (x), ya

que eiy0 x ei n x 1 f (x) 2|f (x)|.

lim [F (y0 +h)F (y0 )] = lim

h0

iy0 x

1
i n
x

1 f (x) dx =

29

lim eiy0 x ei n x 1 f (x) dx = 0