Clase 1: Series de Fourier

Sea una funcin peridica f(t) de periodo T, es decir que f(t+T)=f(t), que cumpla las condiciones de Dirichlet:
1. La funcin f(t) tiene un numero finito de discontinuidades en un periodo
2. La funcin f(t) tiene un numero finito de mximos y mnimos en un periodo.
!.

T /2
T / 2
f t dt es finita
"sta funcin puede expresarse como una suma infinita de t#rminos de la forma
f t =
a
$
2

n=1

a
n
cosnw
$
t b
n
sinnw
$
t %1&
con w
$
=
2
T
, donde cada t#rmino est determinado de la si'uiente manera:
a
$
=
2
T

T / 2
T / 2
f t dt a
n
=
2
T

T /2
T/ 2
f t cos nw
$
t dt b
n
=
2
T

T /2
T / 2
f t sinn w
$
t dt
%2&
Ejercicio 1: Calcule el desarrollo en t#rminos de (ourier de las si'uientes funciones de periodo T
a&
f t =
{
1
1
para
para
T / 2t$
$tT / 2
}
)&
gt =
{
2t
T
1
1
2t
T
para
para
T / 2t $
$t T / 2
}
*eorema de +arse,al
Si f(t) puede representarse mediante una serie de (ourier como la de la ecuacin %1&, entonces
1
T

T/ 2
T / 2
[ f t ]
2
dt =
a
$
2
-

1
2

n=1

a
n
2
b
n
2
%!&
"ste teorema es particularmente .til porque muchas ma'nitudes fsicas se relacionan con el cuadrado de la se/al, en
particular la potencia que transmite una onda.
Ejercicio 2: Supon'a que las funciones del pro)lema 1 representan una se/al el#ctrica transmitida por un ca)le. Calcule la
potencia media que disiparan so)re una resistencia de ,alor 0. Comprue)e el teorema de +arse,al para esos casos.
Integracin y diferenciacin
De)ido a las propiedades de las inte'rales y deri,adas respecto de la suma es posi)le reali1ar la inte'racin o deri,acin
t#rmino a t#rmino dentro de la serie. Sin em)ar'o la funcin ori'inal puede no ser deri,a)le y, aun si lo es, su deri,ada
puede que no cumpla las condiciones de Dirichlet y por lo tanto no ten'a representacin como serie de (ourier.
Si la funcin f(t) es derivable a trozos y su derivada cumple las condiciones de Dirichlet, la serie de Fourier de f(t) (1) puede
derivarse para obtener la serie de Fourier de f '(t), la derivada de f(t):
f ' t =

n=1

nw
0
b
n
cos nw
0
t a
n
sin nw
0
t ()
!or otra parte F(t), primitiva de f(t) cuya serie de Fourier es (1), resulta ser siempre:
F t =
a
0
t
"

n=1

1
n w
0
b
n
cosnw
0
t a
n
sin nw
0
t (#)
Ejercicio 3: $ncuentre las series de Fourier correspondientes a las derivadas e inte%rales de las funciones del problema 1
(cuando se pueda)& 'ompare f(t) y F(t) con g (t) y g'(t)&
Representacin compleja de la serie de Fourier
( partir de la representacin comple)a de las funciones seno y coseno es posible hallar una representacin alternativa de la
serie de Fourier& !ara toda funcin cuya serie de Fourier esta dada por la ecuacin (1), puede mostrarse *ue:
f t =

c
n
e
jnw
0
t
(+)
donde c
0
=
a
0
"
c
n
=
1
"
a
n
j b
n
=
1
T

T/ "
T /"
f t e
jnw
0
t
dt c
n
=
1
"
a
n
j b
n
=
1
T

T/ "
T /"
f t e
jnw
0
t
dt
Si f(t) es real, entonces an y bn tambi,n lo son y c-n - cn

, donde . indica el comple)o con)u%ado&

Ejercicio !" 'alcule los coeficientes cn de las si%uientes funciones de periodo T:
a) f t =
#
T
t para 0t T / b) gt =sint /T para0t T
Ejercicio $" 0uestre *ue, en t,rminos de la serie comple)a de Fourier, el teorema de !arseval se e1presa as2:
1
T

T / "
T / "
[ f t ]
"
dt =

c
n

"
(3)
'lase ": 4ransformada de Fourier
'uando la funcin de inter,s no es peridica no es posible analizarla en mediante de una serie de t,rminos numerables& (un
as2 es posible considerar una funcin no peridica como el limite de funciones de per2odo cada vez mayor& $sto se lo%ra
haciendo tender formalmente el per2odo a infinito y por lo tanto la frecuencia fundamental 50 tiende a cero& $sto implica
*ue los sucesivos armnicos de frecuencia w
n
=nw
0
se encuentran cada vez m6s pr1imos entre si y en el l2mite de
per2odo infinito puede considerarse *ue las frecuencias permitidas forman un espectro continuo& De esta manera se puede
escribir la si%uiente relacin:
f t =
1
"

F w e
jwt
dt (7)
donde la funcin transformada de Fourier, F(w), esta definida mediante la si%uiente e1presin:
F w=

f t e
jwt
dt (8)
Puede considerarse que F(w) es la extensin de cn a un continuo de frecuencias. Ntese que F(w) es en general compleja y
puede expresarse como:
F (w)=R(w)+ jX ( w)=F( w)e
j ( w)
Ejercicio 6: Compruebe que si f(t) es una funcin real, entonces:
a) R(w) y X(w) cumplen que:
R( w)=

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

f (t ) sin( wt )dt
b) R(w) y X(w) son funciones par e impar respectiamente
c) F(-w) = F*(w)
d) !"(#)! y $(#) son funciones par e impar respectiamente
e) si f(t) es par entonces F(w) es real y si f(t) es impar entonces F(w) es imaginaria pura
Compare estas propiedades con las propiedades de las series de "ourier.
Ejercicio 7: Calcule la transformada de "ourier de la funcin
a)
f (t )=

%
&
para
para
ta/ '
t>a/ '

b)
g(t )=

e
bt
&
para
para
t >&
t &

Propiedades de la transforada de Fo!rier

(ea Fi(w) la transformada de "ourier de fi(t) y ai un numero real, puede probarse que
si f"(t) = a#f#(t) $ a%f%(t), entonces F"(w) = a#F#(w) $ a%F%(w) (linealidad)
si f%(t) = f#(at), entonces F
'
(w)=
%
a
F
%
(
w
a
)
(cambio de escala)
si f
'
(t )=f
%
(t )e
jw
&
t

entonces, F
'
(w)=F
%
( ww
&
) (corrimiento en frecuencia)
si
f
'
(t )=f
%
(t t
&
)

entonces, F
'
(w)=F
%
( w)e
jwt
&
(corrimiento en tiempo)
si f%(w)=F#(w) entonces, F%(w)=%&f#(-w) (simetr)a)
si
lim
t -
f (t )=&
y f
'
(t )=f ' (t ) entonces, F
'
(w)=jwF
%
(w) (deriacin)
si f
'
(t )=

t
f
%
( () d( entonces, F
'
(w)=
%
jw
F
%
(w)+nF
%
(&)6(w) (integracin)
*as propiedades frente a integracin y deriacin +acen de la transformada de "ourier una +erramienta muy importante en
la resolucin de ecuaciones integro,diferenciales ya que conierte a las operaciones de deriacin e integracin en factores
multiplicatios.
Clase 3: Funciones especiales
La transformada de Fourier esta definida para un conjunto muy grande de funciones. Existe una condicin suficiente,
aunque no necesaria, para la existencia de la transformada que es:

f t dt (!"
En particular existe todo una gama de entes matem#ticos que nos son estrictamente funciones pero tienen una transformada
de Fourier que si es una funcin, o lo que es lo mismo, son la transformada de una funcin. Estos o$jetos pertenecen a
di%ersas categor&as pero los llamaremos en forma gen'rica funciones especiales.
La funcin impulso
La funcin especial m#s utili(ada es la llamada funcin impulso o delta, esta puede definirse de %arias formas, en particular
nos interesan:
t =
{
!

para
para
t !
t =!
}
y

t t dt = ! donde t es una funcin de prue$a

ar$itraria, es decir que es cualquier funcin continua que slo es no nula dentro de un inter%alo finito.
La primer expresin muestra que (t) no es una funcin normal ya que no toma un %alor finito en t=0. )or eso se suele
emplear la definicin de la derec*a que permite e%aluar integrales en las que apare(ca la funcin (t). Esta definicin es la
que nos permitir# estudiar sus propiedades respecto de la transformada de Fourier.
Ejercicio 8: comprue$e que la funcin (t) tiene las siguientes propiedades

t t
!
t dt =t
!

at t dt =

a
!

a
b
tt
!
t dt =
{
t
!

!
para
para
at b
bt a
}
La derivada de la funcin delta
En muc*os casos es necesario e%aluar la funcin (t), deri%ada de (t)! as" como sus sucesi%as deri%adas. Esta funcin
puede definirse de la siguiente manera:

t t dt =

t t dt = ! ("
Las sucesi%as deri%adas pueden calcularse mediante:

n
t t dt =
n

n
! (+"
La funcin escaln
Se define a la funcin generalizada u(t), conocida como funcin unitaria de Heaviside o funcin escaln, de la siguiente
manera:
ut =
{
0
1
para
para
t0
t0
}
(13)
Esta funcin no esta definida para t=0 y su derivada es nula para todo t<0 o t>0.
Ejercicio 9: compruee !ue la funcin (t) es la derivada de la funcin u(t).
plicaciones
Estas funciones especiales aparecen tanto en el an"lisis de series de #ourier como en el de transformadas de #ourier.
$onsidere por e%emplo un funcin f(t) continua por trozos, con discontinuidades a& a tiempos t&. Esta funcin podr"
escriirse como una funcin continua usando
!t =f t

"
a
"
ut t
"

y su derivada resultara ser entonces

f # t =! # t

"
a
"
t t
"

Ejercicio $0: $onsidere la funcin de periodo % : f t =% t / % para 0t %

Encuentre su serie de #ourier y la serie de #ourier de su derivada. 'uestre !ue la serie de #ourier de una sucesin infinita
de impulsos unitarios separado por un tiempo %:
%
es

%
=

n=

t n% =
1
%

(
%

n=1

cos n&
0
t =
1
%

n=

e
j n&
0
t
Ejercicio $$: Encuentre la serie de #ourier de la funcin g(t) (del prolema 1) usando el resultado del prolema previo.
!t =
{
(t /% 1
1(t / %
para
para
% / (t 0
0t % / (
}
Ejercicio $': Encuentre la transformada de #ourier de la funcin )(t) y muestre !ue t =
1
(

e
j&t
d&
*eduzca !ue la transformada de una funcin constante f(t)= es ( &=( & y !ue la transformada de
!t =e
j&
0
t
es )&=(&&
0

+alle las transformadas de las funciones sin(&0t) y cos(&0t).

Ejercicio $*: Encuentre la transformada de #ourier de la funcin escaln y de la funcin signo.
Clase 4: Ecuacin del calor
La ecuacin del calor describe el flujo de calor en un material dado y permite determinar la temperatura del cuerpo en
funcin de la posicin y el tiempo, a partir de una condicin inicial determinada. La ecuacin del calor se expresa en forma
general como

2
u
1
c
2
u
t
=0
y en el caso de un problema unidimensional se reduce a

2
u
x
2

1
c
2
u
t
=0 14!
donde c
2
=
K

siendo " la conducti#idad t$rmica, % el calor espec&fico y ' la densidad del material. (na solucin
tri#ial, independiente del tiempo, es la funcin lineal u
l
x , t =mxc pero no es la )nica solucin posible. Las series
y transformadas de *ourier son +erramientas muy )tiles para resol#er este tipo de ecuaciones, para las ,ue se puede
demostrar ,ue la solucin es factible de descomponerse en el producto de una funcin espacial por una funcin temporal.
u x , t = f x. gt
-n este caso, las funciones f y g cumplen g

2
f
x
2

f
c
2
g
t
=0 ,ue puede escribirse como
1
f
d
2
f
d x
2
=
1
g c
2
d g
d t
. -l
termino de la i.,uierda es funcin de x )nicamente y el de la derec+a slo es funcin de t, por lo ,ue la igualdad puede ser
#/lida para todo tiempo y lugar )nicamente si ambos t$rminos son iguales a una constante. -ste m$todo se denomina
separacin de #ariables y da lugar a las siguientes ecuaciones para f y g.
d
2
f
k
d x
2
k
2
f
k
=0 10!
d g
k
d t
k
2
c
2
g
k
=0 11!
donde k es un numero real y fk y gk son las soluciones de cada ecuacin para un dado #alor de k. La ecuacin 10! indica ,ue
seno(kx) y coseno(kx) son posibles soluciones para fk. 2or otra parte, la ecuacin 11! da exponenciales decrecientes en el
tiempo como posibles soluciones para g. -n general, para cada k se obtendr/
f
k
=a
k
coskxb
k
sinkx 13!
g
k
=e
t k
2
c
2
14!
Las condiciones de contorno indicaran ,u$ #alores de k son admisibles para un dado problema. La solucin general de la
ecuacin 14! ser/ entonces de la forma:
u x , t =u
l
x

k
f
k
x g
k
t
15!, sumada sobre los k #/lidos.
Solucin para una barra finita
Consideremos, por ejemplo, una barra de material de largo L cuyos extremos se +allan a una temperatura fija determinada:
u(x=0,t)=u0 y u(x=L,t)=uL. 6upongamos ,ue conocemos la temperatura punto a punto en un dado instante, ui(x,t=0), para
0xL, consistente con las condiciones de contorno. -n ese caso primero definimos la funcin !(x,t), ,ue #ale 0 en ambos
extremos del inter#alo de inter$s, es decir:
! x , t =u x ,t
[
u
0

u
0
u
L
x
L
]
20!
-sta funcin tambi$n cumple la ecuacin diferencial 14! por,ue es igual a la funcin u a menos de una funcin lineal.
-ntonces definimos !i(x), de forma tal ,ue sea una funcin de periodo L de #alor nulo en los extremos del inter#alo de
inters, es decir que vi(x) vale
v
i
x=v x ,t =0=
{
u
i
x , 0
[
u
0

u
L
u
0
x
L
]
v
i
xL=v
i
x
para 0xL
}
Si vi(x) cumple con las condiciones de Dirichlet, se podr describir como una serie de Fourier. Entonces vemos que la
funcin que describe el comportamiento espacial del problema puede expresarse naturalmente como una suma de senos
cosenos. Si notamos que g(t=0)=1, los coeficientes del desarrollo de Fourier de vi nos darn el valor de los coeficientes ak
bk de la ecuacin !"#$.
v
i
x=

k
[ a
k
coskxb
k
sinkx]
!%"$
&hora bien, como vi(x) se anula en los extremos del intervalo, todos los ak sern idnticamente nulos los 'nicos k
admisibles sern aquellos que cumplan sin kL=0 o sea k=
n
L
. (o que da la si)uiente expresin como solucin
)eneral para la ecuacin !"*$ en el caso de un ob+eto de lar)o finito, L
u x , t =u
0

u
L
u
0
x
L

n
b
n
sin

nx
L

e
t

nc
L

%
!%%$
con b
n
=
%
L

0
L
v
i
xsin

nx
L

dx
-abe destacar que cuanto maor sea n, mas rpido decae el modo correspondiente que el estado final del sistema es ul.
Ejercicio 14: Encuentre la temperatura en funcin del tiempo para todo punto de una barra de metal de lon)itud (, sabiendo
que ambos extremos se mantienen a 0 )rados que su temperatura inicial es,
u x , t =0=
{
%T
max
L
x
%T
max
L
Lx
para
para
0xL/ %
L/ %xL
}
Ejercicio 1: Encuentre la temperatura en funcin del tiempo para todo punto de una barra de metal de lon)itud (, sabiendo
que la temperatura de los extremos son u(0,t)=0 u(L,t)=T0 que la temperatura a tiempo 0 es,
u x , t =0=T
0
sin
x
L

!oluci"n para una barra in#inita
En el caso de un ob+eto de lon)itud infinita, se puede emplear la transformada de Fourier para lle)ar a una solucin anlo)a
a !".$ siempre que la condicin inicial ten)a una funcin transformada. Supon)amos que f!x$ es la condicin inicial del
problema, es decir, u(x,0)=#(x), que existe $ % , t =

u x , t e
j%x
dx
En base a las propiedades de la transformada de Fourier se puede probar que /!s,t$ tiene que cumplir la ecuacin
$ % , t
t
c
%
%
%
$ % , t =0
Es decir que U(s,t) debe tener la forma U( s , t )=U ( s , 0) e
c
2
s
2
t
=e
c
2
s
2
t

f ( y) e
jsy
dy
Solo queda antitransformar para obtener la solucin u(x,t), lo que se logra haciendo
u( x , t )=
1
2n

U( s ,t )e
jsx
ds=
1
2n

|
e
c
2
s
2
t

f ( y) e
jsy
dy

e
jsx
ds
intercambiando el orden de integracin se puede eliminar la variable s, quedando la solucin expresada como una integral
de la condicin inicial por una funcin G denominada Funcin de Green de la ecuacin del calor.
u( x , t )=

|
1
2n

e
c
2
s
2
t+ j ( xy) s
ds

f ( y) dy=

G( xy , t ) f ( y) dy
donde
G( xy , t )=
1
2c.nt
e
( xy)
2
4c
2
t
Ejercicio 16: Encuentre la temperatura en funcin del tiempo para una barra infinita si la temperatura inicial tiene la forma
1.
f ( x)=

T
0
0
para
para
xa
x>a

2.
f ( x)=T
0
6( x)
!.
f ( x)=

T
0
0
para
para
xd
x>d

"lase # Ecuacin de ondas

$tra ecuacin que puede resolverse empleando el m%todo de separacin de variables discutido antes es la ecuacin de
ondas, que tiene la forma
2
u(x , t )
1
c
2

2
u(x , t )
t
2
=0 en tres dimensiones o

2
u( x ,t )
x
2

1
c
2

2
u( x , t )
t
2
=0
restringida a una dimensin. &a constante c corresponde a la velocidad de propagacin de la onda. Esta ecuacin admite una
solucin lineal que se mueve con velocidad constante u
l
=a+bx+t que en general no nos va a interesar para
problemas estacionarios 'es decir ondas en un medio como una cuerda(.
)ara estos problemas propondremos una solucin de la pinta u( x , t )= f ( x)! "(t ) tal como en el caso del calor se
llega a las siguientes ecuaciones para f * "
d
2
f
#
d x
2
+#
2
f
#
=0 '2!(
d
2
"
#
d t
2
+#
2
c
2
"
#
=0 '24(
+mbas ecuaciones tienen la misma forma, siendo sus soluciones
f
#
=a
#
cos (#x)+b
#
sin (#x) '2#( "
#
=c
#
cos( $t )+d
#
sin ($t ) '2,(
donde $%c#, se denomina frecuencia angular de la onda.
-n general, la solucin sera
u( x , t )=

#
f
#
( x) "
#
(t )
* nuevamente ser.n las condiciones de contorno las que
determinen qu% valores de # * $ ser.n v.lidos. )or otro lado, es necesario conocer la derivada temporal de u(x,t), para poder
aplicar correctamente las condiciones iniciales. Esta derivada, que llamaremos (x,t), se calcula como
v x , t =
u x , t
t
=

k
f
k
x
d g
k
t
dt
=

k
f
k
xw[ d
k
coswt c
k
sinwt ]
Solucin para una cuerda finita
Consideremos una cuerda de largo L sujeta en ambos extremos y describimos su apartamiento de la posicin de equilibrio
como u(x,t). Si a tiempo t=0 se le da una cierta forma a la cuerda pero no se le imprime velocidad, la solucin puede
hallarse en forma anloga a como lo hicimos en el caso de la ecuacin del calor.
La posicin inicial de la cuerda y su velocidad inicial resultan ser
u x , !=

k
f
k
x g
k
!=

k
f
k
x c
k
v x , !=

k
f
k
xw d
k
Si v(x,0)=0 entonces los dk son todos nulos y podemos suponer a todos los ck=1 sin perder generalidad. "ntonces
conociendo la condicin inicial ui(x)=u(x,t=0), si ui tiene un desarrollo en serie de #ourier, este desarrollo nos dar
directamente los coeficientes de f(x).
u
i
x=

k
[ a
k
cos kxb
k
sinkx]
y
u x , t =

k
[ a
k
coskxb
k
sinkx] cos wt
Ejercicio 1! "ncuentre la posicin de una cuerda de largo L, con sus extremos a x$! y x$L fijos. Considere que a tiempo !
se la aparta de su posicin de equilibrio, pero no se le da velocidad, y que la forma de la cuerda esta descripta por las
siguientes funciones.
%.
f x=
{
a x
a Lx
para
para
!xL/ &
L/ &xL
}
&.
g x=
{
a x
a L/ &x
a xL
para
para
a Lx
!xL/ '
L/ 'x(L/ '
a Lx
}
Ejercicio 1"! "ncuentre la posicin de una cuerda de largo L, con sus extremos a x$! y x$L fijos. Considere que a tiempo !
se le da una velocidad descripta por la siguiente funcin, pero que no se la aparta de su posicin de reposo.
f x=
{
k
a
x
k
La
Lx
para
para
!xa
axL
}