HISTORIA DE LAS ECUACIONES DIFERENCIALES

Una ecuacin es una igualdad condicional que se cumple slo para las soluciones de la misma.
As, en una ecuacin algebraica como
, la igualdad slo se cumple para
.
En forma similar, una ecuacin diferencial, constituida por funciones y sus derivadas, es una
igualdad que se cumple slo para las funciones que son soluciones de la misma. As, si
tenemos
, la solucin ser la funcin exponencial
funcin cuya derivada es igual a la funcin misma.

, ya que es la nica

En su origen, son ecuaciones ntimamente ligadas a la resolucin de cuestiones relacionadas

con la fsica y con la geometra: las leyes del movimiento planetario (en el que intervienen
distancias, velocidades y aceleraciones; o lo que es lo mismo, leyes de posicin y sus
derivadas primeras y segundas en funcin del tiempo); problemas relacionados con el equilibrio
de un cable en suspensin (catenaria); la trayectoria de cada en el menor tiempo posible entre
dos puntos dados (braquistocrona); o las leyes de difusin del calor.
La fascinacin de matemticos y fsicos por este tipo de ecuaciones fue debida tanto a su
utilidad prctica, como a la dificultad de encontrar soluciones analticas en la inmensa mayora
de los casos: cada nuevo problema resoluble analticamente descubierto, adquira carta de
naturaleza propia y notoriedad inmediata.
Con posterioridad a la fulgurante aparicin hacia 1675 de las ecuaciones diferenciales de la
mano primero de Leibniz y de Newton, y a continuacin de sus sucesores, la bsqueda de
mtodos generales de resolucin de ecuaciones diferenciales ordinarias se detuvo alrededor de
1775. Varios nuevos trabajos estaban todava pendientes de realizarse utilizando ecuaciones
diferenciales ordinarias, principalmente aquellos resultantes de la solucin de ecuaciones
diferenciales en derivadas parciales. Pero por ms de cien aos no volvieron a aparecer
nuevos mtodos tan importantes como los disponibles por entonces, hasta la introduccin de
los mtodos operacionales y de la transformada al final del siglo XIX. En realidad, el inters en
mtodos generales de solucin se redujo debido a que, de una forma u otra, los mtodos de
resolucin disponibles resultaban suficientes para las aplicaciones planteadas por entonces.
Sin embargo, an se senta la falta de rigor, y la aparicin de nuevas aplicaciones conllev a
que esta masa de tcnicas dispersas se consolidara en una teora slida.
INICIO
Las ecuaciones diferenciales ordinarias comienzan con el nacimiento del clculo de Isaac
Newton (1643-1727) y Gottfried (1646-1716), quienes iniciaron el estudio del problema inverso
de la diferenciacin: dada una relacin entre dos cantidades y sus diferenciales (o fluxiones),
cmo encontrar una relacin entre las cantidades (o fluentes). Sin embargo, este problema
analtico de la integracin de ecuaciones diferenciales de orden corresponde a un problema
geomtrico formulado con anterioridad: el mtodo inverso de tangentes; esto es, cmo
encontrar una curva caracterizada por una propiedad dada de sus tangentes.
Utilizando expansiones de expresiones en series de potencias, Newton mostr que el problema
inverso de las tangentes era totalmente soluble. Leibniz, sin embargo, expresando su deseo de
lograr soluciones dando la naturaleza de las curvas, no estaba satisfecho con el sistemtico
uso de series y pensaba que, hablando de forma general, no haba suficiente conocimiento
todava acerca del mtodo inverso de las tangentes. Su procedimiento fue esencialmente
cambiar variables para intentar transformar la ecuacin diferencial dada en una ecuacin con
variables separables:
pues su solucin se obtena inmediatamente por
cuadraturas. 1 Incluso, antes de comenzar el siglo XVIII, los trabajos de, especialmente,
Gottfried Wilhlm Leibniz, Jacob Bernoulli (1654-1705) y Johann Bernoulli(1667-1748) llevaron
hacia la integracin (reduccin a cuadraturas) de ecuaciones diferenciales homogneas y de
ecuaciones diferenciales lineales de primer orden.

Sin embargo, incluso habiendo logrado tal separacin de variables, aunque no siempre es el
caso, contina el problema de reducir las cuadraturas a otras ms simples. Adems, Johann
Bernoulli destaca en su Lectiones mathematicae en 1691, que la separacin de variables
puede ocultar la naturaleza del problema. Por ejemplo,
escrita como variables
separables involucra, en apariencia curvas logartmicas cuando, en realidad, la solucin es
algebraica:

Varios problemas geomtricos y mecnicos, provocaron que los matemticos comenzaran a

pensar acerca de las ecuaciones diferenciales de orden mayor que uno. Este es el caso de
Jacopo Riccati (1676-1754) quien present en 1723 la ecuacin que lleva su
nombre:
resuelta por Daniel Bernoulli (1700-1782) y Leonhard
Euler. Las bases de la teora general de la ecuacin diferencial lineal de orden n con
coeficientes variables fueron desarrolladas en 1765 por Joseph Louis Lagrange (1736-1813)
y Jean le Rond D'Alembert (1717-1783). Usando dos mtodos diferentes, mostraron
que n integrales particulares de la ecuacin homognea determinan la integral completa de la
ecuacin no homognea a travs de n cuadraturas. En 1776, Lagrange nota que este resultado
puede tambin ser demostrado usando el mtodo de variacin de la constante, que se convirti
en el mtodo general ms utilizado.
En 1715, Brook Taylor (1685-1731) ya se haba encontrado con una solucin en el caso de las
ecuaciones de segundo grado, y notado su carcter singular. En 1758, Euler enfatiz la
paradoja dual de tales soluciones singulares en el clculo integral. Estas soluciones son
obtenidas no por integracin, sino por diferenciacin de ecuaciones diferenciales. A medida que
se comienzan a estudiar sistemas fsicos ms complejos, por ejemplo en la astronoma, se
requiere resolver sistemas de ecuaciones diferenciales ordinarias.
El problema del movimiento de dos cuerpos bajo atraccin de la fuerza de gravedad fue
resuelto geomtricamente por Newton en 1687, pero no es hasta 1734 que Daniel Bernoulli
resuelve el problema de los dos cuerpos de forma analtica. 2 El llamado problema de los n
cuerpos es una generalizacin de este que no puede ser resuelta de la misma manera y es
ampliamente estudiado hasta la fecha. Aparecen, para casos muy particulares, resultados de
Newton, Euler y en especial de Lagrange (1772). Este mismo problema, condujo al desarrollo
de la teora del clculo de perturbaciones para encontrar soluciones aproximadas, donde
destacan Clairaut en 1747, Euler en 1748, Lagrange en 1774-1775 y Pierre-Simon Laplace
(1749-1827) de 1772 a 1780 aproximadamente.
El estudio y resolucin de sistemas de ecuaciones diferenciales tuvo un gran impulso con las
ideas de Lagrange a quien se le debe la aplicacin del mtodo de variacin de parmetro a un
sistema de tres ecuaciones de segundo orden en 1808.
Siglo XIX
Ni siquiera en los primeros aos del siglo XIX, los matemticos se preocupaban por la
existencia de soluciones asociadas a ecuaciones diferenciales. Fue Augustin Louis Cauchy
(1789-1857), quien primero se vio motivado por este tema. En sus cursos impartidos en la
Escuela Politcnica, demostr por primera vez la solubilidad del problema

con

la condicin inicial
; actualmente conocidas tambin como condiciones de
Cauchy. Cauchy present diferentes procedimientos para la demostracin de la existencia en el
plano real y complejo, pero no es hasta 1868 que Rudolf Lipschitz (1832-1903) demuestra la
existencia y unicidad bajo condiciones ms generales, precisamente para continua y que
satisface la condicin de Lipschitz; este resultado se conoce bajo el nombre de Teorema de
Cauchy-Lipschtz.
En su libro Trait danalyse de 1833, Picard da una exposicin consistente sobre los resultados
de existencia desarrollados anteriormente con distincin de casos y aplicaciones. Las hiptesis

utilizadas aseguran no solo la existencia, sino tambin la unicidad, al menos localmente, de la

solucin de los problemas de Cauchy.
En el estudio de ciertos sistemas fsicos, resulta interesante, y casi siempre necesario, conocer
propiedades (de las soluciones de la ecuacin o sistema que modela el fenmeno) tales como
acotamiento, estabilidad, periodicidad, etc., sin tener que recurrir a la ardua y laboriosa tarea,
que en muchos casos es impracticable, de encontrar expresiones analticas para las
soluciones. De este modo, surgi el problema de investigar las propiedades de las soluciones
de una ecuacin diferencial a partir de "su propia expresin", dando lugar a la Teora Cualitativa
de las Ecuaciones Diferenciales.
En 1836, Sturm publica un artculo donde estudia desde un nuevo punto de vista las
ecuaciones diferenciales ordinarias lineales de segundo orden. Partiendo de que no pueden ser
resueltas analticamente en su mayora, intenta estudiar sus propiedades directamente desde
la ecuacin. Primeramente, analiza cmo se comportan las races de la solucin al variar las
condiciones iniciales o los coeficientes de la ecuacin. Jules Henri Poincar (1854-1912), en su
estudio sobre Mecnica Celeste seala la importancia de las propiedades cualitativas de las
soluciones reales de las ecuaciones diferenciales que rigen el movimiento y la debilidad de los
mtodos analticos, creando as su teora geomtrica de las ecuaciones diferenciales.
Poincar estudi las ecuaciones lineales de segundo orden con coeficientes racionales, y
comprob que ciertas funciones que se pueden obtener a partir de cocientes de dos soluciones
independientes admiten grupos de transformaciones anlogos a los de las funciones elpticas.
Estudi condiciones para que las ecuaciones diferenciales tengan integrales algebraicas.
Muchas de estas tcnicas fueron usadas en el estudio de los problemas de la mecnica clsica
y, en particular, en el problema de los tres cuerpos. En su Les Mthodes Nouvelles de la
Mchanique Celesteestudi la compleja estructura que se deriva de la mecnica clsica.
Por otra parte, los trabajos de Aleksandr Liapunov (1857-1918) sentaron bases slidas para la
naciente Teora Cualitativa. Desarroll sus investigaciones alrededor del problema general de la
estabilidad de los movimientos. As en sus publicaciones Problme gneral de la stabilit du
mouvementem de 1907 (originalmente publicado en ruso en 1892) y Sur les figures d'equilibre
peu diffrentes des ellipsoids d'unemasse liquide homogne dove d' un mouvement de
rotation en 1906, desarrolla la mayora de las tcnicas que an se utilizan en la actualidad. Se
deben a l el primer y segundo mtodo que llevan su nombre. Durante su estudio trabaja, entre
otros, la estabilidad, estabilidad asinttica, estabilidad de ecuaciones diferenciales funcionales y
anlisis no lineal. Las contribuciones de Liapunov a la estabilidad han influido en el desarrollo
del tema por un largo perodo de tiempo.
Liapunov y Poincar, convirtieron la no linealidad de las ecuaciones lineales en su objeto de
estudio y aportaron mtodos y conceptos fundamentales en el estudio de las ecuaciones
diferenciales lineales y no lineales.
Otros matemticos que hicieron aportes a la Teora de las Ecuaciones Diferenciales
Friedrich Bessel
Friedrich Wilhelm Bessel (1784-1846), alemn, hace aportes en astronoma, calcul la rbita
del cometa Halley; introdujo las funciones de Bessel y en 1817 estudi el trabajo de Kepler.
Pafnuti Chebyshov
El ruso Pafnuti Liwovich Chebyshov (1821-1894) trabaja en teora de nmeros (nmeros
primos), probabilidad, funciones ortogonales, polinomios de Chebyshov.
Alexis Clairaut
El francs Alexis Claude Clairaut (1713-1765) hace aportes a la geometra, establece la
ecuacin de Clairaut y soluciones singulares (1734), astronoma, el problema de los 3 cuerpos,
calcul con precisin (1759) el perihelio del cometa Halley.

Peter Dirichlet
Peter Gustav Lejeune Dirichlet (1805-1859), alemn, hace aportes en teora de nmeros,
mecnica de fluidos, anlisis matemtico; estableci condiciones para la convergencia de las
series de Fourier.
Joseph Fourier
El francs Jean Baptiste Joseph Fourier (1768-1830) descubre las series de Fourier en las
investigaciones sobre el flujo de calor en 1822; acompa a Napolen en la campaa de Egipto
(1798).
Ferdinand Frobenius
El alemn Ferdinand Georg Frobenius (1849-1917) estudia los mtodos de series para resolver
ecuaciones diferenciales; aportes en lgebra y teora de grupos.
Karl Gauss
El alemn Karl Friedrich Gauss (1777-1855) fue uno de los grandes matemticos del siglo XIX.
Hace aportes a la teora de nmeros, astronoma, electricidad y magnetismo, ptica, geometra,
ecuacin hipergeomtrica.
George Green
El ingls George Green (1793-1841) hace aportes a la fsica matemtica, ptica, electricidad y
magnetismo, origin el trmino potencial, funcin de Green.
Oliver Heaviside
El ingls Oliver Heaviside (1850-1925) hace aportes al electromagnetismo, sugiri la presencia
de la capa atmosfrica ahora llamada ionosfera; mtodos operacionales no rigurosos para
resolver ecuaciones diferenciales.
Charles Hermite
El francs Charles Hermite (1822-1901) estudia la teora de nmeros, prueba (1873) la
trascendencia del nmero e, funciones elpticas, lgebra, polinomios de Hermite.
David Hilbert
Matemtico alemn, David Hilbert (1862-1943) hace aportes al lgebra, ecuaciones integrales,
clculo de variaciones, lgica, espacio de Hilbert, propuso muchos problemas, algunos todava
sin solucin.
Bernhard Riemann (1826-1866)
Fue alumno de Gauss. Present su tesis doctoral en noviembre de 1851: Bases de una teora
general de funciones de variable compleja.
Entre sus artculos podemos citar 3 de los ms importantes:
i) Representabilidad de una funcin mediante una serie geomtrica.
ii) Hiptesis en que se funda la geometra.
iii) Nmero de primos menores que una cantidad dada.
Qu es la hiptesis de Riemann?
100 aos despus de su aparicin permanece sin demostracin, es el octavo problema de los
23 problemas propuestos por D. Hilbert en el congreso de matemticas de 1900. En la
actualidad se ofrece un premio de un milln de dlares por su solucin.
Christian Huygens

Matemtico, astrnomo y fsico holands, Christian Huygens (1629-1695) estudia vibraciones,

ptica, teora matemtica de ondas. Construye un reloj de pndulo basado en la cicloide
(1673), astronoma.
Johannes Kepler
El alemn Johannes Kepler (1571-1630) hace aportes a la geometra, especialmente
encontrando reas que ayudaron a la formulacin de sus 3 leyes del movimiento planetario.
Edmond Laguerre
El francs Edmond Laguerre (1834-1886) hace aportes al anlisis matemtico, variable
compleja, funciones analticas, polinomios de Laguerre.
Pierre de Laplace
El francs Pierre Simn de Laplace (1749-1827) hace aportes a la mecnica, astronoma,
ecuaciones diferenciales parciales, ecuacin de Laplace descubierta alrededor de 1787,
probabilidad.
Adrien Legendre
El francs Adrien Marie Legendre (1752-1833) hace aportes en teora de nmeros, funciones
elpticas, astronoma, geometra, funciones de Legendre.
Joseph Liouville
El francs Joseph Liouville (1809-1882) estudia la teora de nmeros (nmeros trascendentes),
variable compleja, problemas de Sturm-Liouville. Ecuaciones integrales.
Marc Parseval
El francs Marc Antoine Parseval (1755-1836) hace aportes al anlisis matemtico, identidad
de Parseval en conexin con la teora de las series de Fourier.
Charles Picard
El francs Charles mile Picard (1856-1941) hace aportes a la geometra algebraica, topologa,
variable compleja, mtodo de Picard y teoremas de existencia-unicidad para ecuaciones
diferenciales.
Simen Poisson
El francs Simen Denis Poisson (1781-1840) fue un fsico matemtico que hace aportes a la
electricidad y el magnetismo, ecuacin de Poisson, frmula de Poisson, probabilidad, clculo
de variaciones, astronoma.
Jacopo Riccati
El italiano Jacopo Francesco Riccati (1676-1754) hace aportes al anlisis matemtico, ecuacin
de Riccati resuelta en 1723 por Daniel Bernoulli y otros miembros ms jvenes de su familia.
Bernhard Riemann
El alemn Georg Friedrich Bernhard Riemann (1826-1866) fue uno de los ms grandes
matemticos del siglo XIX (alumno de Gauss, Jacobi y Dirichlet). Variable compleja, geometra
no euclidiana, funciones elpticas, ecuaciones diferenciales parciales. Fue alumno de Gauss, y
en noviembre de 1851 present su tesis doctoral: Bases de una teora general de funciones de
variable compleja. i) Uno de sus artculos ms importantes fue: Sobre la Representabilidad de
una funcin mediante una serie trigonomtrica.
Olinde Rodrguez

Matemtico francs, Olinde Rodrguez (1794-1851) hace aportes al anlisis matemtico,

frmula de Rodrguez.
Hermann Schwarz
El alemn Hermann Amandus Schwarz (1843-1921) estudia clculo de variaciones, teoremas
de existencia para ecuaciones diferenciales parciales, desigualdad de Schwarz.
Jacques Sturm
El suizo Jacques Charles Franois Sturm hace aportes al lgebra (nmero de races reales de
ecuaciones algebraicas), geometra, mecnica de fluidos, acstica, problemas de SturmLiouville.
Hoene Wronski
Matemtico polaco, Josef Hoene-Wronski (1778-1853) estudia determinantes, introduce el
wronskiano, filosofa.

ECUACIN DIFERENCIAL DE UNA FAMILIA DE CURVAS

En esta seccin discutimos un poco acerca del proceso inverso que nos ocupar a lo largo del
curso. Recuerde que nuestro objetivo principal es determinar la solucin general de una
ecuacin diferencial, la cual es una familia de curvas, sin embargo, ahora trataremos de
determinar una ecuacin diferencial cuya solucin general sea una familia de curvas dada.
Dada una familia de curvas

-paramtrica

eliminar las
constantes , para esto derivamos
formamos el siguiente sistema

, la idea bsica es
veces la ecuacin de la familia y

a partir del cual podemos obtener la ecuacin diferencial buscada.

Ejemplo

Determine una ecuacin diferencial cuya solucin general sea la familia de curvas

(1.6)

Derivando dos veces la ecuacin de la familia (1.6), obtenemos

Y observe que

es la ecuacin diferencial buscada.

Observacin:
Dada una familia de curvas -paramtrica, por lo general es fcil obtener una ecuacin
diferencial de orden mayor
que tenga a sta familia como solucin. Por ejemplo

,
sera una solucin de la ecuacin diferencial de cuarto orden

,
pero por supuesto que esta no es la solucin general de la ecuacin diferencial.
Algunas veces la familia de curvas se nos presenta en forma de un enunciado a partir del cual
debemos obtener la ecuacin, como muestran los siguientes ejemplos.

FAMILIA DE SOLUCIONES
Recordando que, en el clculo diferencial e integral, cuando realizamos la integracin
encontramos familias de soluciones, generalmente representadas por la constante de
integracin
Ejemplo:
Considerando que

es una solucin general de la ecuacin diferencial

independiente

del

valor

de

la

soluciones
particular del conjunto de soluciones generales.

constante
,

cada

de
una

integracin,
representa

as
una

las

solucin

De forma anloga, cuando se resuelve una ecuacin diferencial de primer orden

bajo una familia de soluciones o curvas de funciones
, que como
observamos contiene una solucin para cada valor de c. De igual forma, la solucin de una
ecuacin diferencial de orden n,

en donde

, nos conduce a una familia n- paramtrica de soluciones

A la solucin dada para cada valor de ci, se le conoce como solucin particular.