La ecuacion de difusion y la

series de Fourier
Sobre el comportamiento peridico

En la naturaleza, por no decir en nuestra vida diaria, son innumerables

sucesos o fenmenos que se repiten de manera sucesiva. Levantarnos a la
misma horacorrer a la escuelair a comerrealizar deberes
escolarecenarir dormir. Estar en un una pequea embarcacin en un
lago y sentir las olas del mismo que nos hacen movernos hacia arriba y
abajo sobre las olas que se generan con el viento. Pensemos en el hecho
de percibir un sonido. Este llega a nuestro odo, pasa por el canal
auditivo; las variaciones de presin imprimen al tmpano vibraciones con
amplitudes que van desde las micras para sonidos de intensiad media y
menor. Dichas vibraciones aseguran su camino a travs del odo medio,
que consta de tres pequeos huesos, para llegar a la llamada ventana oval
que las transmite al odo interno, el cual no es ms que una cavidad que
contiene lquido, las membranas y terminales nerviosas, que al detectar
los cambios de presin estimula a las clulas cilacas, que sern las
encargadas de enviar impulsos elctricos a travs del nervio auditivo
hasta el cerebro. Increble la manera que nos dot la naturaleza del odo
para percibir el sonido. El sonido pasa de un medio areo a uno lquido,
pero el paso intermedio es una especie de adaptador a este paso y dicho
medio adaptador consta de los tres huesos a que hemos hecho mencin
antes! Hemos hablado de vibraciones y amplitudes, as como podramos
mencionar a la frecuencia del sonido. La frecuencia, es el nmero de
vibraciones por segundo. Cuantas ms vibraciones por segundo, el
sonido es ms agudo y cuantas menos vibraciones por segundo, el
sonido es ms grave. Cuanto ms corta, fina y tensa est una cuerda de
un aparato musical, ms agudo ser el sonido que produzca y
viceversa. Y qu curre con la visin?. Para pensar en este problema,
pensemos en una imagen visual, como la siguiente, donde vemos
una sucesin de franjas blancas y negras, donde percibimos un
espaciamiento regular y peridico para cada una de las tres imgenes. En
una de ellas, el patrn que percibimos muestra lo que llamaramos
una baja frecuencia, (la aparicin de las franjas blancas y negras ocurre
menos frecuentemente) mientras que en las otras dos imgenes
percibimos visualmente una alta frecuencia, comparada a la primera.
Pero ahora lo que tenemos es una frecuencia espacial. En lo anterior no
podemos dejar de mencionar los espaciamientos que hay entre las franjas
de blanco y negro que hay en las figuras. En el caso de imgenes
bidimensionales, como es el caso de una fotografa que tomamos con la
cmara que tiene el celular que tenemos en el bolsillo, dichos
espaciamientos son la clave para entender cualquier imagen
bidimensional. Un ejemplo, sera la siguiente imagen.
 O una imagen ms compleja, que es muy usada como imagen de prueba
en el estudio del procesamiento digital de imgenes.

De funciones peridicas

Se dice que una funcin

es peridica si existe un nmero real tal que

(1)

para toda . El mnimo de tales para las cuales se satisface la

ecuacon (1) se conoce como perodo de la funcin .

A la grfica definida sobre un

intervalo de longitud le llamaremos un ciclo. De esta forma, en la
grfica anterior tenemos que el perodo de la funcin es , y cada
unidad de tiempo (que es el perodo para nuestra funcin) aparece un
ciclo, en la grfica aparecen cuatro ciclos. Ahora consideremos la
funcin
.

No debemos olvidar que el perodo de una funcin senoidal es

igual a . Por lo que nuestra funcin senoidal tiene un perodo
$T=1$. Mientras que la funcin

tiene un perodo . Esto significa que un ciclo completo ocurre

en de unidad de tiempo y, en consecuencia, en una unidad de tiempo
ocurren cuatro ciclos completos. A la cantidad de ciclos que ocurren en
una unidad de tiempo se le llaman Hertz, abreviado como Hz. De esta
forma, la frecuencia de nuestro movimiento peridico es
de 4Hz. La frecuencia es precisamente el inverso multiplicativo del
perodo , es decir,

En la grfica inmediata superior podemos ver que el movimiento

peridico tiene una freceuncia de 1 Hz. No puedo dejar de mencionar el
hecho de que el odo humano no percibe todas las frecuencias. El rango
de audicin va de los 20 Hz hasta los 20000 Hz. Por encima de esta
frecuencia se producen los ultrasonidos, que no podemos percibir. En
los instrumentos musicales, al proceso de igualar las frecuencias de las
diferentes notas entre los distintos instrumentos y/o con relacin a un
punto de referencia, que se denomina diapasn, se lo conoce con el
nombre de afinacin. Las distintas familias de instrumentos pueden tener
sistemas de afinacin distintos. Esto es lo que ocurre con el proceso de
afinacin de una guitarra o de un piano. Cada nota musical corresponde a
una frecuencia determinada. La escala musical ms utilizada en el mundo
occidental es la escala temperada. La misma est definida por la relacin
de que que entre dos notas consecutivas (semitono) hay un factor
constante igual a , y que implica que cada doce semitonos
se duplica la frecuencia, pasando de este modo a la octava siguiente. Esto
nos da una idea ms fuerte de la relacin entre las matemticas y la
msica. Ms especficamente entre las series de Fourier que veremos
ms adelante y la msica. Peroeste eno es el tema que nos interese
fundamentalmente.

Series de Fourier
Un tema muy interesante en el desarrollo de las matemticas es el
referente al desarrollo de una funcin peridica en una serie infinita de
senos y cosenos, Idea desarrollada por Joseph Fourier en sus estudios
sobre la ecuacin de calor

donde representa la temperatura en el instante de un punto de

un alambre homogneo de longitud , en el instante ; y que sentara los
elementos de lo que ahora conocemos como la teora de series de
Fourier. Para el desarrollo de una funcin , en lo que llamaremos su
serie de Fouier, supondremos que la funcin es peridica (sin perder
generalidad, supondremos que est definida en el intervalo ).
Esta funcin puede ser representada como una combinacin lineal
infinita de funciones senos y cosenos de la forma

o, equivalentemente como

con

si tomamos .

Mostremos que es posible reescribir cada uno de los trminos de la serie

de Fouier
en una forma en la cual es posible extraer informacin sobre la funcin .
Para ello, definamos , y consideremos un tringulo rectngulo
cuyos catetos son iguales a y ; de esta forma corresponde a la
hipotenusa del mismo. El lector pordr imaginarse sin dificultad dicho
tringulo rectngulo.

A partir del tringulo, es posible determinar un ngulo tal

que es decir, tal que

As, cada uno de los trminos de la serie trigonomtrica puede

reescribirse como

por lo que

En resumen,

Esta igualdad nos dice que cada sumando de la

serie de Fourier, es realmente una funcin peridica de
amplitud , perodo y ngulo de fase Esta fucnin
peridica es conocida como la sima armnica de la funcin
peridica . Adems del perodo, cada una de estas armnicas tiene
asociadas la amplitud, dada por , llamada amplitud de la $n$sima
arm\onica. Tambin tiene asociado el ngulo , llamado ngulo de
fase, su frecuencia y su frecuencia natural , la cual est
dada por el inverso del perodo . De esta forma, la serie de Fourier de
una funcin peridica con perodo , la descompone como una suma
infinita de armnicas Coeficientes de la serie de Fourier
de que se extiende como funcin peridica a todo el
conjunto de nmeros reales,
,

con

Ejemplo Consideremos la funcin

Calculemos la serie trigonomtrica de Fourier para esta funcin.

Observemos primero que , y que para calcular el coeficiente ,

Pero la funcin es una funcin impar, por lo que la integral sobre

anterior sobre el intervalo se debe anular. Es decir El lector
puede realizar el clculo de la integral correspondiente y verificar
que se anula.

En lo que respecta a los coeficientes , , tenemos que

pero el integrando es una funcin impar pues es el producto de una

funcin impar ( ) y una funcin par ( ). Por lo tanto, al integrar
esta funcin impar en un intervalo simtrico con respecto del origen, esta
se anula. Es decir, , para . Nuevamente, el lector puede realizar
el clculo de la integral para verificar que esta se anula y en conscuencia,
obtener la igualdad , para Para determinar el valor de los
coeficientes observamos que el integrando es una funcin par, al ser el
producto de dos funciones impares y . Por lo

que pero As, Por

tanto, En consecuencia, la serie trigonomtrica de Fourier, que
denotaremos como , para la funcin considerada en este ejemplo,
est dada por . En resumen

SERIES DE FOURIER DE FUNCIONES PARES E IMAPARES El

ejmplo anterior, nos muestra un hecho ms general La serie de Fourier
para una funcin par, es una serie que consta de una combinacin lineal
infinita de cosenos. Observemos que al ser una funcin par, entonces
el integrando del coeficiente es una
funcin impar, por lo que esta integral se anula, es decir, . Adems,
el coeficiente , (para ) toma la forma
.

mientras que el coeficiente se obtiene como

De esta forma, la serie de Fourier de una funcin par , definida en un

intervalo ( ) es de la forma

donde y

En el caso de una funcin impar, su serie de Fourier es una serie que

consta de una combinacin lineal infinita de senos. Observemos que al
ser una funcin impar, entonces el integrando del
coeficiente es una funcin impar, por lo que esta
integral se anula, es decir, . Asimismo, el coeficiente pues
es una funcin impar, que al integrarse sobre el intervalo se
obtiene un valor nulo. Adems, el coeficiente , (para ) toma la
forma

En consecuencia, la serie de Fourier de una funcin impar, definida en un

intervalo ( ) es de la
forma donde

EJERCICIOS DE SERIES DE
FOURIER: A continuacin hay
un link donde hallars una lista de
ejercicios para calcular series de
Fourier de funciones. Trabaja todos
los ejercicios. Es necesario desarrollar
las habilidades de clculo.
Ejercicios de Series de Fourier SERIES DE FOURIER En muchos de los
problemas de ecuaciones diferenciales prciales tendremos que
considerar series de Fourier de fucniones definidas en un intervalo de la
forma . Y nosotros solo hemos visto series de Fourier para funciones
definidas en intervalos simtricos con respecto del origen; es decir,
fucniones definidas en intervalos de la forma . En vista de ello, si
tenemos una funcin definida en un intervalo , entonces necesitamos
construir una funcin a partir de . Dicha
funcin la llamaremos extensin de la funcin . Existen varias
maneras de extender una funcin definida en un intervlao a una
segunda funcin definida en el intervalo . 1. Extensin como
funcin par: Si , entonces definimos como
 , extensin par de

De esta forma hemos extendido la funcin , definida en el

intervalo a una funcin par ( ) definida en el intervalo . Es
claro que En consecuencia, si tenemos una serie de Fourier
de en el intervalo , emtonces tendremos definida una serie de
Fourier en el intervalo .

Como es una funcin par, entonces tiene un desarrollo en serie

trigonomtrica (definida en el intervalo ) que consta solamente de
cosenos

donde los coeficientes estn dados por y

En resumen, al extender a una funcin par , definida en el

intervalo hemos obtenido una serie de Fourier de cosenos para la
funcin definida en el intervalo , la cual est dada por

donde los coeficientes estn dados por

y

A esta serie se lo conoce como la serie de Fourier de cosenos para la

funcin definida en el intervalo . Si extendemos la funcin
definida en el intervalo como la funcin impar $\tilde f$ definida en
el intervalo , entonces obtendremos lo que se comoce como
la serie de Fourier de senos para la funcin definida en el
intervalo . 1. Extensin como funcin impar: Si ,
entonces definimos como

Extensin impar
definida en el intervalo , es la extensin impar de . De esta
forma hemos extendido la funcin , definida en el intervalo a una
funcin impar ( ) definida en el intervalo . Es claro que
En consecuencia, si tenemos una serie de Fourier de en el
intervalo , emtonces tambin tendremos definida una serie de
Fourier en el intervalo . Como es una funcin impar, entonces
tiene un desarrollo en serie trigonomtrica (definida en el
intervalo ) que consta solamente de
senos donde los coeficientes estn dados
por En resumen, al extender a una funcin impar , definida en el
intervalo hemos obtenido una serie de Fourier de senos para la
funcin definida en el intervalo , la cual est dada por
donde los coeficientes estn dados por

A esta serie se lo conoce como la serie de Fourier de senos para la

funcin definida en el intervalo
.===================================================
====================================================
=====
Por lo pronto, vean el Ejemplo 6 de la pgina 454 y las secciones 10.2 y
10.3 del libro de Zill. Maana martes, en el transcurso del da vern
ejemplos aqu. Sigan el blog
====================================================
====================================================
=====

En el siguiente ejemplo veremos como se calculan las series de Fourier

de senos y de cosenos para la funcin con .

Las series mencionadas se obtendrn dependiendo de que consideremos

la extensin par o impar de la funcin al intervalo

Serie de senos para

Para obtener la serie de senos para se requiere
considerar la extensin de a una funcin impar definida en el
intervalo . De esta forma si es tal extensin impar, entonces la
correspondiente serie de Fourier ser una serie que constar de sumandos
dados por funciones senoidales, pues los coeficientes y se
anulan. As

donde

.
esta ltima integral se obtiene al usar integracin por
partes:

con ; as, y . En consecuencia,

En resumen

son los coeficientes de la serie de Fourier de senos de la

funcin .

Serie de cosenos para

Para obtener la serie de cosenos para se requiere
considerar la extensin de a una funcin par definida en el
intervalo . De esta forma si es tal extensin par, entonces la
correspondiente serie de Fourier ser una serie que constar de sumandos
dados por una constante y funciones cosenoidales, pues los
coeficientes de Fourier se anulan para una funcin par. As

donde

esta ltima integral se obtiene al usar integracin por

partes:

con ; as, y . En consecuencia,

Por tanto,

Observemos que es igual a cero para par y es igual

a para impar. De esta forma

para par y es igual a para impar.

As,

junto con son los coeficientes no nulos de la serie de Fourier de

cosenos de la funcin .

Por tanto,

es la serie de Fourier de cosenos de la fucnin identidad en el

intervalo

OTRO EJEMPLO: Consideremos la funcin definida

por trozos en el intervalo como sigue
OtraAyuda
Revisar el Captulo sobre Series de Fourier (Captulo 10, primeras
CINCO secciones) Resolver los ejercicios impares del No. 1 al No. 16 de
la pgina 612 de la referencia OtraAyuda del link que est tres renglones
arriba. Tambin resolver los ejercicios 17, 18 y 19 de la misma pgina
612 mencionada anteriormente. As como los problemas del No. 1 al No.
7 de la pgina 624.
A continuacin veremos cual es la relacin de una funcin con su
serie de Fourier .

TEOREMA DE FOURIER: Para una funcin , continua y diferenciable

por trozos, definida en un intervalo , se tiene que para
cada

y para . se tiene que .

Recordemos que y son los lmites
laterales de cuando tiende a por la derecha e izquierda,
respectivamente.

En consecuencia, para los puntos del intervalo donde es

continua y diferenciable se tiene que los valores y son
iguales. De esta forma, si es continua y diferenciable, con derivada
continua en la serie de Fourier converge puntualmente a
la funcin En los puntos donde tiene una discotinuidad de salto,
se tiene que converge al promedio de los lmites laterales en el
punto ; es decir,