Transformada de Fourier

La transformada de Fourier es empleada en tratamiento de seales y en campos

afines para analizar las frecuencias presentes en una seal muestreada, resolver ecuaciones
diferenciales parciales y realizar otras operaciones, como convoluciones.
Transformada de Fourier seno de F(x)
Definicin: Sea F(x) una funcin seccionalmente continua sobre un intervalo acotado
de la variable real x. Podemos suponer que dichos extremos son x = 0 y x = . La
transformada de Fourier seno de F(x) sobre ese intervalo es

S n (F( x )) =

F( x) sen nx dx

( n = 1,2,3,)

Esta operacin produce una funcin fs (n) que se llama transformada de Fourier
seno de F(x). Dicha transformacin establece una correspondencia entre funciones F(x) en el
intervalo 0 < x < y una sucesin de nmeros fs (n) ( n = 1,2,3,)
Por ejemplo:

1.- Si F(x) = 1 , entonces fs (n) =

cos nx
sen nx dx =
n

2.- Si F(x) = x , entonces fs (n) =

x sen nx dx =

x cos nx
n

1 ( 1) n
n

cos nx
( 1)n+1
dx =
n
n

Supongamos ahora que F(x) sea adems una funcin seccionalmente continua y que
F(x) est definida en cada punto x0 de discontinuidad por el valor
F(x0) =

1
[F( x 0 + 0) + F( x 0 0]
2

0 < x0 < .

De acuerdo a lo visto para series de Fourier, la serie de Fourier de senos de la funcin

F(x) sobre el intervalo ( 0, ) converge a la funcin

2
F(x) =

n=1

sen nx F( y ) sen ny dy

0<x<

En vista de la definicin de la transformada seno, vemos que

F( x ) =

f (n) sen nx
s

0<x<

n=1

Esta es la frmula de inversin para la transformacin, que da la funcin en trminos

de la transformada, esto es, una frmula explcita para S n1 {f s (n)} (cuya transformada es fs (n).

Puede probarse que, en el espacio de funciones que estamos trabajando, existe una
nica funcin para una transformada dada. Esto puede expresarse diciendo que la

S n { F( x ) } y su inversa son

transformada inversa es nica. Adems, la transformacin

transformaciones lineales.

La transformada de Fourier seno S n {F( x )} de una funcin definida en un intervalo

c

0 < x < c, puede ser escrita en trminos de la transformada en el intervalo 0 < x < por medio
de la sustitucin r =

x
. Entonces si F(x) est definida en 0 < x < c, resulta
c

F( x ) sen

nx
c
dx =
c

Ejemplo: Sea F(x) = x

S n {x} =
c

F(

cx
cr
c
) sen nr dr =
S n F

0 < x < c, la transformada seno es

n+1
c
cx c 2 ( 1)
Sn =

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

Propiedades Operacionales de Sn { F(x)}:

Si F y F son continuas y F es seccionalmente continua, entonces se cumple que:

S n (F( x )) =

F" ( x) sen nx dx = F' ( x) sen nx

0

= n F( x ) cos nx

F' ( x) cos nx dx =
0

n 2 F( x ) sen nx dx.
0

Luego se tiene la propiedad operacional bsica

S n { F" ( x ) } = n 2 S n { F( x ) } + n F(0) ( 1)n F( ) .

Teorema 1. La transformada de Fourier seno finita, transforma la expresin diferencial
de F(x) en una expresin algebraica de la transformada fs (n) y los valores de contorno F(0) y
F() de la siguiente forma:

S n { F" ( x ) } = n 2 f s (n) + n F(0) ( 1)n F( ) ,

siempre que F(x) y F(x) sean continuas y F(x) sea seccionalmente continua sobre [ 0,].
Observacin: cuando F(x) satisface las condiciones impuestas a F(x) en el teorema,
podemos reemplazar F(x) por F(x) en la ltima frmula. De esta manera

] [

S n F iv ( x ) = n 2 S n { F" ( x ) } + n F" (0) ( 1)n F" ( ) =

= n 4 f s (n) n 3 F(0 ) ( 1) n F( ) + n F" (0) ( 1)n F" ( )

Es claro que, frmulas anlogas para las otras derivadas de orden par se pueden
obtener de froma similar.
Ejemplo: Sea F(x) = x

F(x) = 2
2

Sn (2) = - n Sn (x ) n (-1)

2
n

Sn (2) = 2 Sn (1) = 2 [1 (-1) ].

Luego

Sn (x ) =

1
n

2
( 1)n1
1 ( 1)n
3
n
n

Propiedad: Si fs (n) es la transformada seno de una funcin F(x) seccionalmente

continua en 0 x , entonces
fs (n) (-1)

n+1

= Sn {F( -x)}

Transformada de Fourier coseno de F(x)

Definicin: Sea F(x) una funcin seccionalmente continua sobre un intervalo acotado
de la variable real x. Podemos suponer que dichos extremos son x = 0 y x = . La
transformada de Fourier coseno de F(x) sobre ese intervalo es

C n (F( x )) =

F( x) cos nx dx = f

c (n)

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

Ejemplos:
C0 (1) = = fc (0)

1.- Sea F(x) = 1

Cn (1) = 0 = fc (n)

n = 1, 2, .

2.- Sea F(x) = x

fc (0) =

x2
x dx =
2

=
0

2
2

x sen nx
sen nx
cos nx
( 1)n
1 + ( 1) n
1

=
=

=
fc (n) = x cos nx dx =
n
n
n2 0
n2
n2
n2
0
0
0

f (0 )
Se debe notar que c
es el valor promedio de F(x) sobre el intervalo ( 0 , ), pues

1
1
f c (0 ) =

F( x) dx
0

Qu relacin existe entre la transformada de F(x) + A y la transformada de F(x)?

si n 0

Se puede probar fcilmente que Cn {F(x) + A} = fc (n)

C0 {F(x) + A} = fc (0) + A
La transformada inversa F(x) = C n1 {f c (n)} est dada directamente por la serie de
Fourier de cosenos

F( x ) =

f c (0 ) 2
+

= f (n) cos nx

0<x<

n 1

Donde F(x) y F(x) son seccionalmente continuas y F(x) est definida como
F(x0) =

1
[F( x 0 + 0) + F( x 0 0)]
2

donde x0 es tal que 0 < x 0 < y es un punto de discontinuidad de F(x). En esta clase de
funciones la transformada inversa de Fourier es nica.
La propiedad operacional bsica de esta transformacin es

C n { F" ( x ) } = n 2 C n { F( x ) } F' (0 ) + ( 1)n F' ( )

que se obtiene integrando por partes. Esta propiedad es vlida cuando F(x) y F(x) son
continuas y F(x) seccionalmente continua.
iv

Si F(x) y F(x) son continuas y F (x) esseccionalmente continua, podemos reemplazar

F(x) en la frmula anterior por F(x) para obtener

C n F iv ( x ) = n 4 f c (n) + n 2 F' (0) ( 1)n F' ( ) F ''' (0) + ( 1)n F ''' ( )

vi

La transformada F (x) puede ser escrite en forma similar.

Observar que los valores de contorno involucrados son aquellos que corresponden al
orden impar de las derivadas de F(x). Esto puede enunciarse en el siguiente teorema:
Teorema 2: La transformada de Fourier coseno finita, transforma la expresin
diferencial de F(x) en una expresin algebraica de la transformada fc (n) y los valores de
contorno F(0) y F() de la siguiente forma:

C n { F" ( x ) } = n 2 f c (n) F' (0) + ( 1)n F' ( )

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

siempre que F(x) y F(x) sean continuas y F(x) sea seccionalmente continua sobre [ 0,].
Propiedad: Si fc (n) es la transformada coseno de una funcin F(x) seccionalmente
continua en 0 x , entonces
fc (n) (-1) = Cn {F( -x)}.
n

Observacin: Si dada F(x) 0 x

demostrar que:

lm f s (n) = 0

, se pueden calcular fs (n) y fc (n), es posible

lm f c (n) = 0 .

Aplicaciones de la Transformada Finita de Fourier

Hemos visto que el mtodo de separacin de variables nos lleva a tratar el problema de
la conduccin del calor:

2y
u

=0
0<x< , t>0
t
x 2
u (0, t ) = u ( , t ) = 0
u ( x,0 ) = f ( x )
desarrollando la solucin en serie de Fourier mediante el conjunto de funciones ortogonales
sen nx.
Ahora consideraremos el correspondiente problema no homogneo

2y
u

= F ( x, t )
t
x 2
u (0, t ) = u ( , t ) = 0

0<x< , t>0
(1)

u ( x,0) = f ( x )
desarrollando la solucin en serie de Fourier mediante el mismo conjunto de funciones.
Para resolver el anterior problema no homogneo, desarrollamos la solucin, si existe,
en una serie de Fourier

u ( x, t ) =

= b

( t ) sen nx

n 1

El conjunto de coeficientes de los senos

f s (n) ( t ) = b n ( t ) =

u ( x, t) sen nx dx
0

que es una funcin del entero positivo n y de t, determina a u(x,t) con unicidad. Esta es la
transformada finita seno de u(x,t).

Si

2u
x 2

es continua, su transformada finita seno viene dada por

2u

x
0

u
sen nx dx =
sen nx n
x
0

x cos nx dx =
0

= n u cos nx + n u sen nx dx = n 2 b n ( t ) = n 2 f s (n) ( t )

ya que u (0,t) = u (,t) = 0.

Si

u
es continua, podemos invertir la integracin y la derivacin y es por ello que
x

d bn
u
sen nx dx =
t
dt

Al tomar la transformada finita seno en ambos miembros de la ecuacin diferencial que

estamos resolviendo, obtenemos:

d bn
+ n 2 b n = B n (t)
dt

B n (t) =

(2)

F( x, t ) sen nx dx

La condicin inicial u(x,0) = 0 significa que bn (0) = 0.

De esta forma queda resuelta la ecuacin diferencial parcial, una vez conocidos los
bn(t).
Si en lugar de u(x,0) = 0 tenemos u(x,0) = f (x) , correspondera

bn (0) =

f ( x) sen nx dx .
0

Considerar transformadas seno ha reducido el problema (1) para una ecuacin en

derivadas parciales al problema (2) para una ecuacin diferencial ordinaria.
Ejemplo: Resolver el siguiente problema

2y
u

= sen x
t
x 2
u (0, t ) = u ( , t ) = 0
u ( x,0 ) = 0

0<x< , t>0

Aplicando transformada finita seno a la ecuacin diferencial, resulta

d bn
+ n2 bn =
dt

sen x sen nx dx = 2
0
0

si n = 1
n1

bn (0) = 0
b1 + b1 =

b1 (0) = 0

bn + n bn = 0
b1 = -

bn (0) = 0

t
e 1
2

bn = 0

n1
n1

Por lo tanto u (x,t) = - e t 1 sen x .

Bibliografa:
-

Operacional Mathematics Ruel Churchill

Ecuaciones Diferenciales en Derivadas Parciales - de Hans F. Weinberger, - 1996
Mathematics.

Tabla deTransformada finita seno

fs (n)

F(x)
F(x) ( 0 < x < )

fs (n) =

sen nx dx

(n = 1, 2, 3,)

(-1)

n+1

F( - x)

fs (n)

1
n

( 1)n + 1
n
1 ( 1)n
n

sen nc
n2

( 0 < x < )

cos nc
n

( 0 x )

( 1)n + 1
1 ( 1)n
2 ( 1) n1 2 (1 ( 1)n )

n
n2

x2

6 2

( 1)n

n2

n
1 ( 1)n e c
2
2
n +c
n

x3

n +c
n
n k

x<c

x>c

sen k ( x )
sen k
sen mx (m = 1, 2, 3,.)

( k 0,1, 2,...)

cos kx

2 2

(n k )
b
n

e c

n+ m

x>c

senh c ( x )
senh c

[ 1 (1) cos k]
k
n
[ 1 (1) ]
m

n
n

( k 0,1, 2,...)

0 (nm) fs (m) =
2

c ( x )

x ( x )
2

n2

xc

x ( 2 x 2 )
6

n2

( c ) x

b 1

nm

( k 0,1, 2,...)

f s (m) = 0

cos mx

(m = 1, 2, )

sen kx
2

2k sen k

x cos k( x )
2k sen k

b sen x
2
arc tg

1 b cos x

Tabla deTransformada finita coseno

fc (n)

F(x)
F(x) ( 0 < x < )

fc (n) =

cos nx dx

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

0
n

F( - x)

(-1) fc (n)
; fc(0) =

0 si n = 1, 2,

2
sen nc
n
n

( 1)

; fc(0) =

n1

; fc(0) =

n2
1
n

( 1)n
n2

( 1) e
n

n +c
1
2

n +c
2

2
6

x2
2
( x ) 2

2
6

+6

1 ( 1) n
n4

; fc(0) =

n k
n +m

n m
1
2

n k

1
2

x3
1 c
e
c

4
4

( 1) n cos k 1
( 1)

2
2

; fc(0) = 0

3 2

0<x<c
1

1 c < x <

; f c (0) = 2c

1 ( 1)

( k 0, 1, 2,...)

; f c (m) = 0 m = 1 , 2 ,....
k 0 ,1 2 ,...,

m = 1, 2, .
2
b n (n 0) fc (0) = 0
b <1

0 (nm) fc (m) =

cosh c ( x )
csenh c

1
sen kx
k
1
sen mx
m
cos k ( x )
k sen k
cos mx
cos x b
2b
1 2b cos x + b 2