Академический Документы
Профессиональный Документы
Культура Документы
S. XVIII XIX
1. Resumen
2. Introduccin
3. Desarrollo.
a. Surgimiento de las primeras teoras generales
b. Importancia y algunas ideas fundamentales
c. Las races histricas del Anlisis Armnico
d. El Problema de la cuerda musical y la teora de las ondas.
e. El problema de la propagacin del calor y las series de Fourier
f.
RESUMEN
La teora de las ecuaciones diferenciales e integrales es con toda seguridad la disciplina de las
matemticas con una ms clara motivacin aplicada. Tengamos en cuenta que la inmensa mayora de
estas ecuaciones deben sus nombres a personalidades cientficas de la ciencia tecnolgica aplicada y
surgen como modelos matemticos asociados a diferentes fenmenos de la Fsica (movimiento
vibratorio, difusin del calor, ...), Qumica (procesos de reaccin-combustin), Biologa (estudio de
especies biolgicas), ptica (procesos de difusin de la luz), Estadstica (procesos estocsticos),
Economa (optimizacin del rendimiento), Ingeniera (diseo ptimo de vigas) por citar algunos ejemplos
de la interminable lista. Por todo ello, el estudio de estas ecuaciones es muy importante y resulta de
indudable inters.
Siendo ese el propsito del presente trabajo, concentrar la labor en abordar con mayor profundidad los
s. XVIII y XIX vitales para el desarrollo de esta singular disciplina, invitndolos a dar un paseo cientfico
que espero y deseo sea de su agrado.
I. INTRODUCCIN
A partir de la segunda mitad del s. XVII con el surgimiento del anlisis infinitesimal por Newton y Leibniz
como principales exponentes, se comienza a desarrollar el concepto de funcin, de diferencial as como
las operaciones con stos, surgiendo de esta forma ciertas ecuaciones las cuales fueron llamadas
diferenciales, sobre las cuales se desarroll toda una teora para su solucin. En un comienzo estas
ecuaciones modelaban problemas de la Mecnica, la Hidromecnica y la Astronoma.
Particularmente en esta rama del anlisis matemtico se revelaba fuertemente la influencia determinante
de los problemas de las ciencias exactas, en primer lugar la Mecnica y la Fsica Matemtica y la
estrecha interrelacin de las investigaciones tericas y prcticas. Sumamente necesario e importante
resulta destacar el papel de las Ecuaciones en Derivadas Parciales (EDP) en los problemas de la fsica
matemtica, las cuales se desarrollaron notablemente en el s. XVIII a partir de la Teora de la Mecnica
de los Medios Continuos, as como la conduccin del calor, Mecnica de los Fluidos, electromagnetismo,
mecnica cuntica, la Fsica Relativista y otras partes de la Fsica. No existe un mtodo general de
resolver las EDP, pero desde finales del s. XVIII varios tipos de ecuaciones han hallado su propia solucin
general.
Durante el s. XIX, los problemas de valores iniciales y de lmite (frontera) ensombrecieron la bsqueda de
soluciones generales mientras que
de
la
II. DESARROLLO
II.1. Surgimiento de las primeras teoras generales
En los primeros aos del s. XVIII los problemas fsicos de vibraciones o de tipo oscilatorio, que conducan
a funciones trigonomtricas, exponenciales o logartmicas, se resolvan frecuentemente en trminos
geomtricos. El seno o el coseno eran considerados como lneas en un crculo de radio dado, el logaritmo
como el rea bajo la hiprbola, a ninguna de ellas se les asignaba la categora de funciones. Esta
situacin limitaba grandemente la clase de funciones que podan ser consideradas y por tanto las
posibilidades para resolver ecuaciones diferenciales.
Por esta razn uno de los primeros mtodos utilizados en la solucin de ecuaciones diferenciales va a ser
el encontrar un desarrollo en serie de la solucin buscada. Varios gemetras del s. XVII ya utilizaran este
mtodo en casos particulares elementales, en particular lo haran sistemticamente Newton y Leibniz. La
aplicacin de este procedimiento va a permitir a los cientficos del siglo XVIII trabajar con
representaciones en forma de series infinitas de potencias de ciertas funciones no polinomiales, algunas
que hoy clasificamos como elementales y otras que consideramos especiales, pero que ellos trataban en
igualdad de condiciones.
II.2. Importancia y algunas ideas fundamentales
El anlisis matemtico en el s. XVIII se enriqueci con el potente y variado aparato del desarrollo de
funciones en series de diferentes tipos. Este aparato fue creado bajo la influencia directa de los
problemas de la fsica matemtica. La construccin de una teora de series lo suficientemente general y
rigurosa se convirti hacia finales de siglo en un problema de primera lnea, de cuya solucin dependan
los xitos prcticos del anlisis matemtico.
Las reglas de diferenciacin en su gran mayora fueron elaboradas ya en los trabajos de Leibniz y los
hermanos Bernoulli. La ampliacin de estas reglas en relacin con la ampliacin de la clase de funciones
investigadas no presentaba dificultades importantes. As, tras la expresin analtica de las funciones
trigonomtricas, exponenciales y otras clases de funciones, fueron inmediatamente obtenidas las
expresiones analticas de sus derivadas.
La acumulacin de resultados del clculo diferencial transcurri rpidamente. En el Clculo diferencial
(1755) de Euler, este clculo se presenta ya en forma muy completa. Por ejemplo, el teorema sobre la
independencia de los valores de las derivadas parciales del orden de diferenciacin era ya conocido a
comienzos de siglo. Euler le dio su demostracin, extendindola a las derivadas parciales de orden
superior. En la teora de la diferencial total, Euler demostr que en df ( x, y ) Pdx Qdy las derivadas
parciales deben satisfacer la condicin
Q
P
.
y
x
Es vlido aclarar los smbolos x , y , fueron introducidos ms tarde, alrededor del ao 1786 por
Legendre. La necesidad y, despus, la suficiencia de la condicin dada para que la expresin
Pdx Qdy sea una diferencial total fue demostrada por Euler. El tambin, considerando las funciones
de tres variables f ( x, y , z ) y sus diferenciales totales de la forma Pdx Qdy Rdz
introdujo las condiciones
Q P
P
R Q
R
.
y
x z
x z
y
o musical. Pero ni Daniel Bernoulli, ni sus contemporneos ilustrados, consiguieron hacer asequible sus
ideas, demasiado fsicas, al tratamiento matemtico ms general. Sera Joseph Fourier quin algunas
dcadas despus, extendera este enfoque al estudio de otros procesos fsicos, como la propagacin del
calor. De tal forma se plantaron las races del anlisis armnico clsico o teora de las series de Fourier
como suele llamarse.
II.3 .1. El Problema de la cuerda musical y la teora de las ondas.
Una cuerda vibrando genera oscilaciones del aire, que se captan por el odo del hombre en forma de
sonido, dado por la cuerda. La fuerza del sonido se caracteriza por la energa o amplitud de las
oscilaciones, el tono, por el perodo de las oscilaciones, y el timbre, por la relacin entre la energa del
tono principal y de los armnicos (sobretonos).
El hallazgo de relaciones entre la matemtica y los sonidos musicales comenz, segn se sabe, con los
pitagricos. Ya en el s. IV antes de Cristo, el pitagrico Aristoxeno de Tarento construy una teora
musical muy desarrollada del ritmo y de la armona. En los trabajos de Platn, la Matemtica consista de
cinco partes: aritmtica, geometra plana, estereometra, astronoma y msica o teora de la armona. An
as, no se conocen obras que profundicen en lo que podramos llamar una teora matemtica de la
msica.
Tales estudios matemticos sobre la msica adquirieron relevancia en el perodo barroco, cundo la
msica sali de los salones de los palacios y de las catedrales, para frecuentar las casas de los
burgueses acomodados. Galileo, Descartes y Huygens, para citar slo los sabios ms conocidos, se
destacaron en esta bsqueda de relaciones armnico-matemticas, pero hasta el s. XVIII no hubo nuevos
resultados de significacin matemtica.
El primer anlisis matemtico de las ondas lo realiz el gran matemtico Isaac Newton en sus Principia
(1687). Pero Newton no se arriesg demasiado en la utilizacin de su teora de fluxiones para entender la
matemtica de los procesos naturales.
Uno de los brillantes admiradores de Newton fue Brook Taylor. Entre los problemas propuestos por Taylor
en su obra ms conocida Methodus incrementorum directa et inversa (1715) figura el siguiente: Problema
17. Determinar el movimiento de una cuerda tensa. Para Taylor este problema tena el atractivo de su
asociacin con su aficin predilecta, la msica.
Taylor obtiene en el lenguaje propio de las fluxiones, que el movimiento de un punto arbitrario de la
cuerda es como el de un pndulo simple. Asimismo estableci que la forma de la curva que toma la
cuerda en un instante dado es sinusoidal y determin el perodo de oscilacin de la cuerda. Sin embargo,
no consider el problema de la ecuacin diferencial del movimiento.
En 1727, doce aos despus de la publicacin de Taylor, Johann Bernoulli en dos cartas enviadas a San
Petersburgo, llama la atencin de su hijo Daniel sobre los resultados de Taylor y lo desafa para que se
ocupe del problema de la cuerda. Pero no puede esperar para hacer pblicas sus propias ideas sobre el
asunto y en 1728 publica sus Meditaciones sobre cuerdas vibrantes con pesos pequeos a distancias
iguales, donde trata, con mtodos muy diferentes, el mismo problema. Pero sus resultados no van mucho
ms lejos que los de Taylor.
A partir de las ideas de Taylor y apoyndose en las investigaciones de su padre sobre un sistema finito de
puntos, infiri que cualquier movimiento general se puede obtener como combinacin de todas las
oscilaciones fundamentales.
Daniel haba llegado a la conviccin de que la superposicin de soluciones sinusoidales daba la solucin
ms general del problema, lo que implicaba la posibilidad de expresar una funcin arbitraria como suma
de senos. Aparentemente ni Johann Bernoulli ni Taylor se preocuparon por demostrar que esta era la
solucin ms general, pero tampoco mostraron que no lo era. En cambio Daniel Bernoulli en su artculo
Teoremas sobre oscilaciones de cuerpos conectados por un hilo flexible y de una cadena verticalmente
suspendida (San Petersburgo, 1738), va mucho ms lejos que Taylor y su padre al identificar los
armnicos superiores de una cuerda musical.
Los trabajos que en la primera mitad del s. XVIII se dedicaron al asunto, como los de Brook Taylor (1715),
Johann Bernoulli (1728) y Daniel Bernoulli (1738), consideraban por separado los desplazamientos de la
cuerda musical como funcin del tiempo t y como funcin de la distancia x de un punto de la cuerda a uno
de su extremos, lo que los llevaba a considerar slo ecuaciones diferenciales ordinarias y a soluciones de
tipo sinusoidal
y sen x sen c t
un punto genrico de la cuerda a un punto fijo tomado como origen del sistema de referencia. Pero se
saba tambin, por experiencias de laboratorio, que la forma que toma la cuerda no siempre es sinusoidal
y que junto al sonido fundamental se distinguen sus armnicos, en el sonido complejo emitido por una
cuerda musical vibrante.
El tema de la cuerda musical, va a adquirir una nueva y polmica connotacin con la incorporacin de un
joven gemetra Jean le Rond DAlembert, quien pronto fue considerado entre los ms prestigiosos
gemetras de Francia en el siglo de las luces.
DAlembert en su artculo de 1746 titulado Investigaciones sobre la curva que forma una cuerda tensa
que se hace vibrar, afirma que se propone demostrar que existen infinitas curvas, adems de la curva
seno, que son modos de vibracin. En estas investigaciones de DAlembert aparece por primera vez la
ecuacin en derivadas parciales que hoy se conoce como ecuacin de ondas en una dimensin espacial.
2
2 y (t , x )
2 y (t , x )
,
a
t 2
x 2
donde
a2
T
, T es la tensin de la cuerda (que se supone constante mientras la cuerda oscila) y la
Como la cuerda se fija en los extremos x = 0 y x = l, la solucin ha de satisfacer las hoy llamadas
condiciones de contorno:
y(t, 0) = 0, y(t, l) = 0.
Adems, en el instante t = 0 se fuerza a que la cuerda adopte un perfil dado por la funcin y = f(x) y a
continuacin se suelta, lo que significa entonces que cada partcula comienza a moverse con una
velocidad inicial nula; estas condiciones iniciales se expresan matemticamente en la forma:
y (0, x ) f ( x ),
y (t , x )
t
t 0
y (t , x )
1
1
( at x ) ( at x ),
2
2
donde es una funcin arbitraria, pero que ha de ser peridica, impar y adems ( x) debe coincidir en
el intervalo 0 x l con la funcin f(x) que describe la forma inicial de la cuerda.
Pocos meses despus de ver los artculos de DAlembert, Euler escribi por su parte el artculo Sobre la
oscilacin de cuerdas. Aunque en el mtodo de solucin sigui a DAlembert, Euler tena por ese tiempo
una idea completamente distinta en cuanto a qu funciones se podan admitir como curvas iniciales y, en
consecuencia, como soluciones de una ecuacin en derivadas parciales. Fueron, al parecer, argumentos
de naturaleza fsica en relacin con el problema de la cuerda musical los que le impulsaron a anteponer
su nuevo concepto de funcin.
Cuando Daniel Bernoulli ley los primeros artculos de DAlembert y de Euler sobre la cuerda vibrante, se
apresur a recordarle a Euler los estudios que haban realizado juntos, durante su estancia en San
Petersburgo.
Tambin envi a las Academias de San Petersburgo y de Berln varios trabajos enfatizando su prioridad y
las caractersticas ms generales de sus resultados.
Daniel Bernoulli, en un artculo publicado en 1753, subraya un aparente conflicto entre las
consideraciones de Taylor, por una parte, con sus soluciones sinusoidales, y la infinita variedad de
soluciones, distintas de las sinusoidales, por parte de D'Alembert y Euler. Despus de criticar el carcter
abstracto de los trabajos de DAlembert y Euler, reitera que pueden existir simultneamente muchos
modos de oscilacin en la cuerda vibrante (sta responde entonces a la superposicin de todos los
armnicos). Insiste en que todas las posibles curvas iniciales se pueden representar en la forma:
f ( x ) a n sen
n 1
nx
l
porque existen suficientes constantes an como para que la serie se ajuste a cualquier curva. En
consecuencia, afirma, que todos los correspondientes movimientos vendrn dados por la serie infinita:
y ( t , x ) a n sen
n 1
nx
nct
cos
l
l
As pues, cualquier movimiento, correspondiente a una curva inicial, no es ms que una suma de
armnicos peridicos sinusoidales, y la combinacin tiene la frecuencia del armnico fundamental. Sin
embargo, Bernoulli no dio argumentos matemticos para apoyar sus afirmaciones; se apoy solamente
en argumentos fsicos.
Euler y DAlembert dieron sus soluciones de la ecuacin de ondas en forma cerrada, utilizando un par de
funciones arbitrarias, mientras que Daniel Bernoulli haba encontrado una solucin en trminos de una
suma infinita de funciones trigonomtricas. Y como esta ltima solucin pareca implicar claramente el
carcter peridico de la funcin, mientras que las funciones arbitrarias de DAlembert y Euler no eran
peridicas necesariamente, pareca que la solucin de Bernoulli era menos general. Lo que no poda
comprenderse entonces era que una superposicin de "funciones tan buenas" y tan elementales como
las trigonomtricas pudieran representar una funcin arbitraria. Los medios tcnicos del anlisis
matemtico en esta poca eran insuficientes para abordar la problemtica general de las ecuaciones en
derivadas parciales y tampoco estaban fundamentados como para abordar con rigor conceptos bsicos
como el de funcin.
Euler, DAlembert y D. Bernoulli, hablaban usando la misma palabra funcin, pero entendan diferentes
cosas por esta denominacin. Las opiniones de los tres eran tambin diferentes en la comprensin de
solucin admisible, sin embargo la historia posterior ha mostrado que los tres tenan razn desde cada
uno de sus puntos de vista.
Resumiendo: el debate sobre la ecuacin de la cuerda sometida a una vibracin en un mismo plano, es
importante desde el punto de vista matemtico, no slo porque representa el primer anlisis de la
solucin de una ecuacin diferencial en derivadas parciales, sino adems porque la discusin llev al
cuestionamiento de las nociones establecidas de funcin y de representacin de funciones por medio de
series infinitas de funciones trigonomtricas. En particular en las ideas de Daniel estaba el germen del
anlisis armnico que se estableci en el s. XIX y que comenzara con los trabajos de Fourier sobre la
conduccin del calor.
II.3. 2. El problema de la propagacin del calor y las series de Fourier
Las investigaciones matemticas de la conductibilidad trmica antecedieron la creacin de una ciencia
ms general sobre el calor, la termodinmica. La causa motriz de este proceso fue la invencin de las
mquinas de vapor y su creciente uso en los procesos industriales, especialmente en Inglaterra y Francia.
Pero su inters prctico era mejor expresado en las industrias textiles escocesas, as como la modelacin
matemtica que era particularmente perseguida por los parisinos. Ya, alrededor de 1800 muchos fsicos e
ingenieros se interesaron por el problema de la propagacin del calor en cuerpos slidos.
10
En 1784 Laplace y Lavoisier publicaron un artculo conjunto conteniendo los resultados de sus
experimentos que los condujeron a determinar el calor especfico de varias sustancias. Un poco de
tiempo despus, en 1804, un alumno de Laplace, public sus Memorias sobre la propagacin del calor.
Todo pareca indicar que no faltaba mucho para que algn galo encontrara la teora matemtica soada.
Entonces, Joseph Fourier comienza a ocuparse del problema, pero en una forma completamente original.
En 1807 presenta Fourier, por primera vez, su Memoria sobre la propagacin del calor que es recibida
con una inesperada aceptacin, pero que debido a su falta de rigor matemtico no es publicada. La
Academia de Ciencias de Pars, con el objetivo de estimular a Fourier a perfeccionar su Memoria,
anuncia que su premio al mejor trabajo cientfico de 1812 ser al que trate el tema sobre la teora
matemtica de la conduccin del calor. A fines de 1811 Fourier presenta de nuevo su Memoria en calidad
de trabajo concursante.
Este trabajo es entregado a los mayores gemetras de aquel tiempo: Lagrange, Laplace y Legendre,
entre otros jueces. Despus de muchos anlisis se decidi entregar el premio a Fourier, aunque de nuevo
con objeciones (sobre todo de parte de Lagrange) desde el punto de vista del rigor matemtico.
Esta es probablemente la razn por la cual el artculo ganador, contrario a la costumbre, no fue publicado
inmediatamente, y slo se edit en 1822 cuando el mismo Fourier era el Secretario Permanente de la
Academia.
Debe sealarse que despus del conocimiento de los detalles de su obra, los matemticos de la poca
consideraron a Fourier como precursor de la teora de las series trigonomtricas y adems como original
introductor de nuevos mtodos en el tratamiento de los problemas de la fsica matemtica.
En la obra Thorie analytique de la chaleur (1822) de Fourier, los dos primeros captulos
tratan
problemas sobre difusin de calor entre cuerpos disjuntos en cantidad finita, es decir el problema
discreto.
Aqu se deduce adems la ecuacin en derivadas parciales que rige el fenmeno:
V
k 2V 2V 2V
2
t
CD x 2 y 2
z
11
12
La justificacin rigurosa de la solucin y la metodologa introducida por Fourier en sus trabajos sobre la
propagacin del calor estimul la introduccin y precisin de muchos conceptos matemticos.
II.4. Creacin del aparato analtico para la investigacin de los fenmenos
electromagnticos
Uno de los primeros problemas resueltos exitosamente fue el problema de la construccin de la teora de
los fenmenos electromagnticos. Hacia el s. XIX el estudio sobre la electricidad y el magnetismo se
separ de la fsica como una rama independiente. En el ao 1820 se lleg a conocer sobre el
descubrimiento hecho por Oersted de la accin de la corriente sobre una aguja magntica, el cual
estableca lo comn de los fenmenos, al parecer, heterogneos. Hacia esta misma poca Biot, Savart,
Laplace, Arago, Ampere, Coloumb y otros introdujeron los conceptos fundamentales necesarios: carga,
cantidad de electricidad, densidad de electricidad, leyes de interaccin de cargas inmviles, etc. Los
problemas del electromagnetismo trajeron consigo, en el plano matemtico un conjunto de trabajos de
investigacin sobre la atraccin de puntos segn la Ley de Newton y los campos electrostticos.
Los mtodos de resolucin de problemas de la mecnica celeste, en particular los problemas sobre la
atraccin de los cuerpos celestes segn la ley de Newton obtuvieron un nuevo campo de aplicacin. Fue
introducido el concepto de potencial de un campo y definida su expresin para un campo simple formado
por
el
punto
cargado
A( a, b, c)
r ( x a ) 2 ( y b) 2 ( z c ) 2 ,
de
masa
m:
V p V ( x, y , z )
m
r
(donde
Enseguida fueron encontradas las expresiones del potencial para un sistema de puntos de atraccin y
despus para el campo con distribucin continua de masa de atraccin en un volumen
V p ( x, y, z )
( )
( a, b, c) d
r
( ( a, b, c ) es la densidad de la distribucin).
Ya en el ao l787 Laplace mostr que en el espacio fuera del cuerpo la funcin potencial satisface la
ecuacin V
2V 2V 2V
0.
x 2
y 2
z 2
de Euler y el concepto de funcin de fuerzas, cuya diferenciacin segn una direccin dara las fuerzas
de atraccin newtonianas, lo introdujo en 1773 Lagrange, conformando as mismo la idea de funcin de
fuerza la cual fue enunciada ya por D. Bernoulli, Euler y Clairaut.
La teora matemtica del potencial elctrico se form de una forma rpida. Una serie de problemas sobre
distribucin de la electricidad en la superficie de los conductores los resolvi Poisson, el cual elabor a
fondo muchas partes de la fsica matemtica contempornea a l: capilaridad, flexin de lminas,
13
conduccin del calor, etc. Alrededor del ao 1813 Poisson extendi la ecuacin de Laplace al espacio
situado en el interior del cuerpo que atrae e introdujo la ecuacin actualmente de amplio conocimiento:
2V
2V
2V
4 .
x 2
y 2
z 2
Poisson resolvi muchos problemas de magnetosttica. Para esto se apoy, de hecho, en el concepto de
potencial, sin embargo, no fue l quien introdujo este importante concepto.
El planteamiento general de la teora del potencial surgi de los trabajos de Green y Gauss.
Green expuso su teora en la obra
magnetismo (1828). En ella investig el problema central de la electrosttica de aquella poca. En la base
de los razonamientos de Green yaca la idea de las fuerzas elctricas y magnticas pueden ser definidas
a travs de una funcin de coordenadas. La funcin potencial (como la llam aqu por primera vez Green)
se determina por la distribucin de cargas. Green dedujo mas adelante el teorema integral conocido
actualmente como frmula de Green, mostr que el valor del potencial dentro o fuera de cualquier
superficie se expresa a travs del valor de la funcin potencial y su derivada normal sobre esta superficie.
En una forma ms general y al parecer independientemente de Green, Gauss construy una teora
general del potencial. Esto lo realiz en el trabajo
r,
(1840). A la
donde m puede representar tanto unas masas comunes como tambin cargas
elctricas o magnticas, Gauss las denomin potencial. Investig sistemticamente las propiedades de la
funcin potencial y su aplicacin a los fenmenos fsicos. No deja de ser interesante sealar la aparicin
en este trabajo del teorema
( x
Y
Z
Este teorema lo demostr M.V. Ostrogradski (1828) y lo trat como una frmula de balance
hidrodinmico. Once aos despus, Gauss utiliz esta frmula para relacionar la magnitud del flujo de la
intensidad de las fuerzas del campo potencial dado con masa o carga comn situada dentro de la
superficie. En nuestra poca esta frmula la denominan frmula de Gauss Ostrogradski (lo que
evidentemente es injusto).
En la historia de la fsica se advierte que al concepto de potencial, los fsicos, durante mucho tiempo no le
atribuyeron un significado de principio, tratando al potencial o a la funcin potencial solo como un
concepto matemtico cmodo. Su significado fsico fue descubierto posteriormente, despus del
establecimiento de los conceptos de trabajo, energa y la ley de conservacin de la energa.
14
Otra era la situacin de ese importante concepto en las matemticas. Su introduccin posibilit la
ampliacin del campo de aplicaciones del anlisis matemtico. Junto a la ptica y las oscilaciones, surga
la teora matemtica de los fenmenos electromagnticos. El planteamiento del problema sobre el
potencial insit a la ampliacin del concepto de integral, a la extensin de la integracin sobre objetos
complejos. En el anlisis fue comenzada la elaboracin de las funciones armnicas como soluciones de
la ecuacin diferencial de Laplace 0 .
Las funciones armnicas obtuvieron ampliacin en una amplia clase de problemas de contorno. As es el
problema de Dirichlet sobre la bsqueda de los valores de una funcin armnica en un dominio, dados
sus valores sobre el lmite (por ejemplo, determinacin de la temperatura dentro de un cuerpo por la
temperatura sobre su superficie, determinacin de la forma de la membrana por la forma de su contorno).
Con este gneros de problemas se relaciona adems el problema de Neumann en el cual la funcin
armnica debe ser buscada por la magnitud de la derivada normal sobre el lmite del dominio (bsqueda
de la temperatura dentro de un cuerpo dado el gradiente de temperatura en su superficie, determinacin
del potencial del movimiento de un lquido incompresible que rodea a un cuerpo slido de la condicin de
que las componentes normales de las velocidades de las partculas colindantes con la superficie del
cuerpo, coincide con las componentes normales dadas de las velocidades de los puntos de la superficie
del cuerpo).
Para la resolucin de los problemas de contorno de la teora de las funciones armnicas fueron
elaborados mtodos, que tienen gran significado tanto prctico como terico.
Por ejemplo, para la resolucin del problema de Dirichlet, H. A. Schwarz y C.G. Neumann idearon
alrededor del ao 1870 el mtodo alternante, Poincar, el mtodo de los barridos (alrededor del ao
1880), Fredholm, el mtodo de las soluciones fundamentales, relacionado con las ecuaciones integrales,
Perron, el mtodo de las funciones superiores e inferiores.
An debe mencionarse el mtodo de redes como un mtodo fundamental en la resolucin aproximada de
problemas de contorno. Estos mtodos daban la posibilidad de librarse de una u otra limitacin, la cual
era necesario imponer a la frontera del dominio.
Pero en cualquier planteamiento general de un problema de contorno surgieron los problemas de las
condiciones de existencia de las soluciones y su estabilidad.
Gran significacin en la historia de la teora del potencial tienen las investigaciones del acadmico ruso
A.M. Liapunov realizada a finales del s. XIX comienzos del XX que entre otras cosas abord el
comportamiento de las derivadas de las soluciones del problema de Dirichlet.
Los problemas de la fsica matemtica, surgidos de los primeros trabajos sobre teora del potencial,
adquirieron, como vimos, hacia fines del s. XIX gran generalidad. La solucin de problemas tericos tan
generales y despus el desarrollo tempestuoso de los mtodos de resolucin numrica de problemas de
contorno (los que resultaron posible en relacin con el surgimiento de los dispositivos electrnicos de
clculo) se relacionan enteramente con el siglo siguiente, el siglo XX.
15
L T (qi , qi ) U (qi )
( i 1,2,..., n ).
Las ecuaciones del movimiento del sistema mecnico son en esencia las ecuaciones diferenciales de
Lagrange (introducidas por l a finales del s.XVIII):
d L
L
dt q i
q i
( i 1,2,..., n ).
La resolucin e investigacin de las ecuaciones diferenciales de Lagrange fue una de las direcciones
fundamentales de la mecnica analtica del siglo XIX. Otro enfoque para formular los principios
fundamentales de la mecnica consisti en que parta, no de las ecuaciones diferenciales, sino de ciertas
integrales con respecto a las cuales se resolva el problema variacional de bsqueda de mnimo. Por este
camino se obtuvieron los principios variacionales de la mecnica.
El problema de la reduccin de las ecuaciones diferenciales de la mecnica a un sistema cannico de
ecuaciones diferenciales ordinarias de primer orden fue adelantado esencialmente ya a comienzos del
siglo (1809) por Poisson y aos despus (1834) resuelto brillantemente por Hamilton cuando introdujo la
funcin:
n
H ( p i , qi , t ) L p i
i 1
dqi
dt
(donde L es el lagrangiano.)
Hamilton hizo de estas ecuaciones la base de sus investigaciones sobre mecnica. La aportacin de
Hamilton represent la culminacin de una serie de esfuerzos encaminados a hallar un principio amplio a
partir del cual podan ser derivadas las leyes del movimiento de varios problemas de la mecnica. Inspir
16
la lucha por obtener principios variacionales similares en otras ramas de la fsica, tales como la
elasticidad, el electromagnetismo, y en las ms modernas, teora de la relatividad y mecnica cuntica.
Desde el punto de vista de la historia de las matemticas el trabajo de Hamilton y quienes lo siguieron es
significativo no solo para el desarrollo del clculo de variaciones, sino tambin para la teora de las
ecuaciones diferenciales.
II.6. Breve comentario sobre algunos valiosos aportes de una mujer sorprendente
Como es conocido, a lo largo de la historia de las matemticas, hasta el s.XIX fueron pocas las mujeres
que se dedicaron de una forma u otra a la profundizacin del conocimiento cientfico, pues no se les era
permitido por el simple hecho de ser mujer. A mediados del propio s. XIX justamente en el ao 1850 naci
en Mosc Sofa Vasilievna Kovalevskaya quien adems de ser la primera mujer en el mundo profesor de
matemticas, brind una gran ayuda para el desarrollo de la teora de las ecuaciones en derivadas
parciales.
Segn se conoce, los teoremas de existencia tuvieron en la historia de las ecuaciones diferenciales un
doble significado. Resolvan la cuestin sobre el rigor y la validez de su aplicacin y al mismo tiempo, los
mtodos brindaban la base para la elaboracin de los mtodos de integracin numrica de las
ecuaciones diferenciales.
El trabajo de Cauchy sobre sistemas de ecuaciones diferenciales lo mejor la propia Kovalevskaya, quin
en 1874 en su primera obra Sobre la teora de las ecuaciones en derivadas parciales, demostr la
existencia de una solucin analtica nica del problema de Cauchy bajo la condicin de analiticidad de los
f
2 f
, con condiciones
x
y 2
d 2 k f 0 (b ) ( x a ) k
, que satisface formalmente las condiciones del problema, converge slo con
k!
dy 2 k
k 0
17
18
Es el ms productivo de todos los matemticos. Su Opera Omnia tendr 87 vols. con cerca de 900
trabajos, ms la correspondencia y manuscritos, un promedio de unas 800 Pgs. al ao. Son 4 series:
series prima (29 vols.)Matematica Pura, series secunda (31 Vols.) Mecnica y Astronoma, series tertia
(12 vols.) Fsica y Miscelnea, series quarta (15 Vols.) Correspondencia, manuscritos, trabajos conjuntos
de la ltima etapa. La distribucin temtica de los trabajos de Matemtica Pura de Euler publicados es en
% la siguiente: Anlisis 60% (clculo integral 33%, ecs.diff. 25%, series 22%, clculo de variaciones 11%,
clculo diferencial 9%), Geometra 17%, Teora de Nmeros 13%, lgebra 7%, Probabilidades 3%.
En este libro se encontrar muchas veces el nombre de Euler y es muy difcil enmarcar en este cuadro
todos sus mritos cientficos.
Tuvo 13 hijos (solo sobrevivieron la infancia 5) y 26 nietos a quienes les lea la Biblia y les haca juguetes
mecnicos y tteres para su entretenimiento. Fue quien gan ms premios de la Academia de Ciencias de
Pars con 13, siendo su contendiente ms prximo Daniel Bernoulli con 10 premios.
Poco despus de su llegada a San Petersburgo, con poco ms de 60 aos, queda completamente ciego,
pero en este perodo produce casi la mitad de toda su monumental obra con la ayuda de sus hijos Johann
Albrecht, quien ocupaba la ctedra de Fsica en la Academia desde 1766, y Christoph, quien era militar
de carrera. Tambin recibi la ayuda de otros miembros de la academia. Paradjicamente una de las
obras que culmina estando ciego es su Diptrica en tres tomos. Fue miembro de casi todas las
Academias de Ciencia y sociedades cientficas de su poca.
Jean le Rond D'Alembert (1717-1783) gemetra y filsofo francs. Curs Derecho en el colegio
Mazarino. De forma autodidacta estudi las ciencias matemticas. Se destac por su trabajo en la
Enciclopedia Francesa como uno de sus principales redactores. Su Tratado de Dinmica (1743) fue el
primer trabajo donde se formularon las ecuaciones diferenciales del movimiento de un sistema material
arbitrario. En 1744 se public su Tratado sobre el equilibrio y el movimiento de los lquidos que fue una de
las primeras obras sobre Hidromecnica.
Las principales investigaciones matemticas las realiz en la teora de las ecuaciones diferenciales. Sus
trabajos junto a los de Daniel Bernoulli y de Euler fueron seminales en la fundacin de la fsica
matemtica. Se preocup por fundamentar el Clculo Infinitesimal con la idea de lmite. Tambin se
interes por el lgebra y la teora de series infinitas. Fue miembro de las principales academias de
ciencias.
Joseph Louis Lagrange (1736-1813) Naci en Turn de una familia de ascendencia gala. Estudi en la
Universidad y desde los 17 aos fue profesor en la Escuela de artillera de Turn. Federico El Grande lo
invit a ocupar la plaza de Euler cuando este regres a San Petersburgo. A la muerte de Federico, fue
invitado por Louis XVI a Pars donde permaneci de 1787 hasta su muerte. Fue profesor de la cole
Normale primero y desde 1797 de la cole Polytechnique.
Tena una amplsima cultura matemtica y sus obras tocan temas dismiles de la mecnica, la geometra,
la teora de ecuaciones diferenciales, el clculo de variaciones, la teora de funciones analticas, el
algebra, la teora de nmeros, la astronoma y de otros dominios del saber. Junto a sus alumnos en Turn
19
cre una sociedad cientfica que pronto se convirti en una Academia de Ciencias. Los primeros tomos de
la Miscellanea Turinensia estn repletos de trabajos de Lagrange. Fue presidente de la Academia de
Ciencias de Berln de 1766 a 1787. Gan varios premios de la Academia de Ciencias de Pars por sus
trabajos de Mecnica Celeste; en particular, en 1766 sobre el problema de los tres cuerpos, que ms
tarde se aplic a la teora del movimiento de los satlites de Jpiter, conocidos como los Troyanos.
Tena un carcter introvertido y severo. Pero a los 56 aos se cas con una joven de 17 que le dio un
nuevo bro a su vida. Tuvo un papel importante en el perfeccionamiento de la educacin en el perodo
revolucionario, sobre todo en poca de Napolen que lo premi por toda su labor cientfica en Francia.
Jean Batiste Joseph Fourier (1768-1830) Fue hijo de un pobre sastre que lo dej hurfano a los 8 aos.
Quiso estudiar en una academia militar de su provincia natal, pero al no ser noble no pudo matricular
pese a la insistencia de Legendre. Se tuvo que contentar con entrar en una abada benedictina como
novicio y maestro de matemticas. En 1789 la Asamblea General orden la suspensin de los votos
religiosos y los privilegios de nobleza, por lo que pudo pasar a la academia militar de su pueblo natal. All
imparti clases de retrica, historia y filosofa.
Particip activamente en las tareas revolucionarias. En 1795 fue enviado a la cole Normale de Pars
como alumno, pero pronto se destac y pas a ser profesor de la cole Polytchnique. Tom parte en la
campaa de Napolen a Egipto. Fue Secretario del Instituto Egipcio donde desarroll una actividad
considerable de carcter organizativo y cientfico.
Al regresar a Pars, en 1801, trabaj en las reformas del sistema educativo en Francia. Enseguida
Napolen lo nombr Prefecto del Departamento de Isre. Tuvo la perspicacia de separarse de la lnea de
Napolen justo antes de que este fuera derrotado. En 1816 fue electo miembro de la Academia, pero el
Rey no lo confirm. Por segunda vez, al siguiente ao, fue electo y confirmado en la seccin de Fsica
General. En 1822 fue nombrado Secretario Permanente de la Seccin de Matemtica del Instituto de
Francia. Adems de los problemas de la propagacin del calor y las series trigonomtricas se interes en
el estudio de las ecuaciones algebraicas, sobre todo su solucin numrica.
Public varias memorias sobre temas de la estadstica matemtica y la teora de probabilidades. Hizo
varias biografas sobre sabios franceses. Realiz importantes contribuciones a la egiptologa. Fue
miembro honorario de las Academias de San Petersburgo y de Londres.
Simeon Dennis Poisson (1781-1840) Uno de los primeros alumnos que termin la Escuela Politcnica
de Pars. Desde 1802 trabaj en la misma Escuela Politcnica, primero como examinador y ms tarde
como Profesor. Es uno de los ms prolferos sabios, con publicaciones en dismiles campos como la
teora de series de Fourier, el clculo de variaciones, la teora de probabilidades y la mecnica racional.
Se considera uno de los creadores de la Fsica Matemtica Desarroll la teora de la electrosttica y del
magnetismo, generaliz los estudios de hidrodinmica a los lquidos viscosos y con la consideracin de
intercambio de calor, resolvi varios problemas abiertos de la teora de la elasticidad, introdujo el
coeficiente que mide la cantidad de material de un cuerpo elstico.
20
En Mecnica Celeste hizo aportes importantes. Independientemente de Bessel investig las funciones
especiales llamadas de Bessel y dio su desarrrollo en series. Escribi un Curso de Mecnica (1811) que
fue reeditado varias veces. Desde 1820 fue inspector de la enseanza de la matemtica en todos los
colegios de Francia.
George Green (1793-1841) estudi de forma autodidacta las matemticas y despus termin la
universidad de Cambridge (1828) Sus principales trabajos son sobre Fsica Matemtica. Adems de la
teora del potencial relacionada con la electricidad y el magnetismo, introdujo ecuaciones fundamentales
en el estudio de la elasticidad, partiendo de la ley de conservacin de la energa. Se considera fue uno de
los primeros que dio a conocer en Inglaterra el Anlisis Matemtico como era desarrollado en el
continente. Fundador de la escuela de Fsica Matemtica de Cambridge.
Mijail Vasilievich Ostrogradsky (1801-1862) lo haba presentado a la Academia de San Petersburgo en
1828 sin conocer de las investigaciones de Green. Ostrogradsky despus de terminar la universidad de
Jarkov en Rusia, estudi de 1822 a 1827 en Para con Cauchy y otros gemetras franceses. Trabaj en
San Petersburgo como Profesor de diferentes escuelas militares y pedaggicas. Sus investigaciones ms
importantes son la hidromecnica, la teora de elasticidad y en otras ramas de la mecnica terica. Se
interes adems por los problemas de la educacin matemtica tanto a nivel secundario como
universitario.
Lejeune Dirichlet (1805-1859). La familia era del pueblo belga de Richelet, lo que explica su nombre
Lejeune de Richelet, el joven de Richelet. Despus de vencer fcilmente a los 16 aos el Gymnasium de
Bonn y dado el bajo nivel matemtico en Alemania pas a Pars. En Pars tuvo profesores como Fourier,
Laplace, Legendre, Poisson y otros. Su primer artculo fue sobre el teorema de Fermat para n = 5. Ms
adelante probara el caso n = 14. En 1825 regres a Alemania, pero no tena doctorado, ni saba latn,
algo imprescindible entonces para ejercer como profesor La Universidad de Cologne le dio un doctorado
honorario y pudo comenzar como Profesor en la Universidad de Breslau.
En l828 a peticin de Alexander von Humboldt pas a Berln. En 1831 se cas con una de las dos hijas
del compositor Flix Mendelsohn. A la muerte de Gauss, en 1855, le ofrecieron la ctedra de Gotinga. En
1858 dando una conferencia en Montreaux, Suiza, le dio un ataque al corazn. Retorn a Gotinga donde
recibi la noticia de la muerte de su esposa por una apopleja. No se recuper y muri algo despus con
solo 54 aos. Se considera el iniciador de la teora analtica de los nmeros.
En 1837 en sus investigaciones sobre series de Fourier, introdujo la definicin moderna de funcin. Se
interes en varios problemas de la mecnica, adems de la teora del potencial, la hidromecnica y la
estabilidad del sistema solar. Riemann, que fue su alumno, dijo que Dirichlet escribi el primer artculo
profundo sobre la teora de series trigonomtricas. Fue un excelente expositor. Era modesto y muy
reservado. En sus ltimos aos, ya muy famoso, se negaba a hacer apariciones pblicas. Se considera el
iniciador de la edad de oro en Berln y en toda Alemania.
William Rowan Hamilton (1805-1865) Naci y estudi en Dubln, donde pronto fue detectado su talento
extraordinario. Se dice que a los 13 aos dominaba 13 idiomas y a los 16 encontr un error en la
21
Mecnica Celeste de Laplace. Fue profesor en la Universidad de Dubln desde los 22 aos. Sus
principales trabajos fueron en ptica, Mecnica y Clculo de Variaciones, pero tambin se interes por el
Algebra, la Geometra y las ecuaciones diferenciales. Estudi los nmeros complejos desde el punto de
vista algebraico introduciendo la representacin en pares ordenados y trat de generalizar sus leyes
operatorias a tradas. Imposibilitado en su proyecto encontr las leyes de los cuaterniones en 1943 y
dedic los ltimos 22 aos de su vida a promover sus virtudes. Introdujo muchos de los conceptos del
clculo vectorial a travs de su teora de cuaterniones. Fue miembro de varias academias de Ciencia.
Sofa Vasilievna Kovalevskaya (1850-1891) Naci en Mosc, pero tuvo que estudiar en las
universidades alemanas de Heidelberg y de Berln, dada la imposibilidad de hacerlo en Rusia por el
simple hecho de ser mujer. Estudi en Weierstrass de 1870 a 1874, pero su doctorado lo recibi en
Gotinga. Al regresar a Rusia solo encontr trabajo como maestra de niveles secundarios. En 1884 su
amigo Gosta Mittag-Leffler le tramit una plaza de profesor en la Universidad de Estocolmo. Sus
principales investigaciones fueron en la teora matemtica de la rotacin de los cuerpos slidos alrededor
de un punto fijo, con lo que en 1888 recibi el Premio anual de la Academia de Ciencias de Pars y en
1889 el Premio de la Academia de Ciencias de Estocolmo. Tambin resolvi un problema abierto en la
teora de las integrales abelianas. Sus investigaciones abarcan adems diversos temas de la fsica
matemtica, la mecnica celeste y la teora del potencial.
Le gustaba escribir obras literarias y, en especial, sus Memorias de la infancia (1890) alcanzaron
popularidad. Escribi numerosos artculos para la prensa con diferentes seudnimos. Particip junto a su
esposo en las luchas a favor de la Comuna en Para. Comparta las ideas de los socialistas utpicos.
Henri Poincar (1854-1912) Naci en Lorena, en el seno de una familia de clase media superior. La
habilidad matemtica se hizo evidente desde la enseanza secundaria. Gan varios premios del
concours gnral de todos los liceos de Francia e ingres en la Ecole Polytechnique de Pars que termin
en 1875. Despus estudi ingeniera en las Escuelas de Minas. Trabaj como ingeniero mientras que
escriba su tesis de doctorado de Matemticas, aprobada
seguidamente pas a la Universidad de Para en la cual fue profesor desde 1881 hasta su muerte
prematura. La cantidad, calidad y variedad temtica de los trabajos publicados por Poincar es superada
slo por matemticos de la talla de Euler o Cauchy. Geometra Algebraica, Teora de los nmeros,
Algebra, Topologa Algebraica, Fundamentos de la Matemtica, Teora de funciones, Teora de
Ecuaciones Diferenciales, Fsica Matemtica y Mecnica Celeste, son algunos de los campos donde
alcanz resultados trascendentes. La obra ms extraordinaria de Henri Poincar que fue realizada en su
temprano, pero prodigioso, perodo de actividad matemtica (1880-86) es la teora cualitativa de las
ecuaciones diferenciales.
Matemtica. Recibi innumerables premios y honores, tanto en Francia como en el extranjero. Fue
miembro de ms de 35 Academias de Ciencia.
22
[2]
[3]
Samarsky, A. A.; Tijonov, A. N. (1980) Ecuaciones de la Fisica Matemtica. Ed. Mir. Mosc
[4]
Snchez, C; Valds, C. (2004) De los Bernoulli a los Bourbak. Una historia del arte y la ciencia
del clculo. Ed. Nivola. Madrid
[5]
Snchez, C; Valds, C. (2001) Los Bernoulli. Gemetras y Viajeros. Ed. Nivola. Madrid
Autor:
Yoisell Rodrguez Nez
Lic. Matemtica; Prof. Instructor
yoisell@uci.cu;
yoisell@gmail.com
Ciudad de la Habana
Noviembre 2005
23