FOURIER Y DIRICHLET

La representacin de una funcin

arbitraria por medio de una serie
trigonomtrica fue estudiada por
algunos investigadores a finales del
siglo XVIII y principios del siglo XIX.
Uno de estos investigadores fue
Joseph Fourier, el cual dio una
primera " demostracin " de que
cualquier
funcin
admite
una
representacin
en
serie
trigonomtrica. Despus de esto se
present el problema de encontrar
condiciones necesarias y suficientes
bajo las cuales dicha serie converge.
El problema de la cuerda vibrante es
el de encontrar una funcin f(x, t)
que represente el desplazamiento
de la cuerda. A mediados del siglo
XVIII, se lleg a la ecuacin que 1
representa el movimiento de la
cuerda vibrante, la cual est dada
por:
2

d y
d y
=K 2 2
2
dt
dx
Donde "y" es el desplazamiento
transversal en el instante "t" del
punto "x" de una cuerda uniforme
sujeta por sus extremos a dos
puntos en el eje "x", distantes entre
si

mediante frmulas diferentes. Este

hecho puso fin a la discusin, y
como el mismo Fourier lo sugiri, lo
ms importante es cmo se
expresan los valores que toma la
funcin, y que si dichos valores se
pueden expresar de una o de varias
maneras no era lo esencial. En la
prctica, no haba diferencia alguna
entre las soluciones de Bernoulli y
Dalambert. Es en la primera mitad
del siglo XIX, cuando Cauchy,
Lobachevsky, Dirichlet y Riemann, a
travs de la teora de funciones
establecida en 1797 por Joseph
Lagrange, dan una definicin ms
rigurosa y general que la dada por
Eler.
En 1807, Fourier present una
monografa sobre la transmisin del
calor, en la cual presentaba la
ecuacin de difusin que tena la
forma:
2

d y dy
=
d x 2 dt
Donde
"y"
representa
la
temperatura en un punto "x" de una
barra horizontal en el instante "t" y
resolviendo por el mtodo de

. Esta ecuacin fu estudiada,

principalmente por Leonhard Euler,

Jean Le Rond D'Alembert, Daniel
Bernoulli, Joseph Lagrange y Joseph
Fourier.
En 1801, Jean Fourier demostr que
la suma de una serie infinita de
funciones trigonomtricas puede
expresarse en intervalos diferentes

separacin
de
variables
las
ecuaciones
resultantes
y
sustituyendo la ecuacin inicial y =
f(x) para t = 0 obtuvo:

Donde los coeficientes estn dados

por:

En el caso de ciertos cuerpos y

ciertas condiciones iniciales solo
aparecan en (D) los trminos en
senos, del tipo en el que haba
insistido ya, Bernoulli, al tratar el
problema de la cuerda vibrante y en
el caso de otras configuraciones
solo aparecan los trminos en
cosenos y la constante

a0 .

Otra cuestin fundamental relativa a

las series de Fourier que se
mencionaran son las
de su
convergencia. Debemos mencionar
que este problema constituy un
reto muy interesante para el anlisis
matemtico de la poca, no solo por
la
importancia
que
estaba
alcanzando el anlisis de Fourier
para la matemtica aplicada, sino
tambin
para
la
mezcla
de
funciones, lmites e integracin que
aparecan en torno al problema de
la convergencia.
Una de las primeras demostraciones
fue publicada en 1820 por Poisson,
posteriormente, Cauchy en 1826
intent demostrar la convergencia
integrando trmino a trmino la
serie,
es
decir
supona
la
convergencia
que
se
quera
demostrar. Un ao despus Cauchy
present otra demostracin, en esta
tambin hace algunas hiptesis de
convergencia y es muy restrictiva al
tipo de funciones que se puede
aplicar. Uno de los errores de
Cauchy era el de suponer que s;

Tambin convergen. Este error fu

detectado
por
Peter
LejeuneDirichlet, en 1829, dando el
siguiente
contraejemplo:

Dirichlet
desarroll
su
propia
demostracin con el objeto de
establecer condiciones para la
convergencia de la serie de Fourier,
estas condiciones agudizaron el
choque con el Teorema de Cauchy
sobre la continuidad de la funcin
suma de una serie convergente de
funciones continuas, debido a que
incluan la posibilidad de que la
funcin
representada
fuera
discontinua en un nmero finito de
puntos.
El primer matemtico en dar una
definicin satisfactoria del concepto
de funcin fue Gustav Dirichlet. Hay
dos oraciones atribuidas a Dirichlet,
ambas del ao 1837: Una cantidad
variable y se llama funcin de la
cantidad variable x si a cada
valor de x le corresponde un solo
y determinado valor de y. y Si una
variable y est relacionada con otra
variable x de tal manera que
siempre que se atribuya un valor
numrico a x hay una regla segn la
cual queda determinado un nico
valor de y, entonces se dice que y
es una funcin de la variable
independiente x.