SlideShare una empresa de Scribd logo
1 de 6
Descargar para leer sin conexión
Breve historia de las ecuaciones diferenciales
Estas notas pretenden mostrar una breve
historia de las ecuaciones diferenciales. Se ha
pretendido dar m´as ´enfasis a las ideas que a
las biograf´ıas de los matem´aticos creadores de
la teor´ıa. En la siguiente direcci´on
http://www-groups.dcs.st-and.ac.uk
se halla una colecci´on de biograf´ıas de los
matem´aticos m´as famosos.
La mayor parte de estas notas hist´oricas
est´a sacadas de [1].
1. Ecuaciones diferenciales de 1er
orden
Los primeros intentos para resolver proble-
mas f´ısicos mediante el c´alculo diferencial a
finales del siglo XVII llevaron gradualmente
a crear una nueva rama de las matem´aticas,
a saber, las ecuaciones diferenciales. A media-
dos del siglo XVIII las ecuaciones diferenciales
se convirtieron en una rama independiente y
su resoluci´on un fin en s´ı mismo.
Ya Newton (los creadores del c´alculo in-
finitesimal fueron Leibniz y Newton) ob-
serv´o que si dny/dxn = 0, entonces y(x) es
un polinomio de grado n − 1, en particular, y
depende de n constantes arbitrarias, aunque
esta afirmaci´on tuvo que esperar hasta el siglo
XIX para poder ser demostrada con rigor (la
demostraci´on est´andar actual usa el teorema
del valor medio). Los matem´aticos de la ´epoca
con frecuencia usaban argumentos f´ısicos: si
y(t) denota la posici´on en el tiempo t de una
part´ıcula, entonces dy/dt es su velocidad. Si
dy/dt = 0, se tiene que la velocidad es nula, es
decir, la part´ıcula no se mueve y su posici´on,
por tanto, permanece constante.
En 1693 Huygens habla expl´ıcitamente de
ecuaciones diferenciales y en el mismo a˜no,
Leibniz dice que las ecuaciones diferenciales
son funciones de elementos del tri´angulo ca-
racter´ıstico.
6
-
dx
dyds
Figura 1: El tri´angulo caracter´ıstico.
En 1690, Jacques Bernouilli plante´o el pro-
blema de encontrar la curva que adopta una
cuerda flexible, inextensible y colgada de dos
puntos fijos, que Leibniz llam´o catenaria (del
lat´ın cadena). Galileo pens´o que esta cur-
va era una par´abola, mientras que Huygens
prob´o que esto no era correcto.
-
6
c
c
a b
Figura 2: Una catenaria.
En 1691, Leibniz, Huygens y Jean Bernouil-
li publicaron soluciones independientes. La de
Jean Bernouilli es la que se encuentra habi-
tualmente en los textos de mec´anica:
Consideremos un cable homog´eneo sujeto
por sus dos extremos (que suponemos a la
misma altura) y que distan 2a uno del otro
y sea ρ la densidad del cable. Sea y = y(x) la
funci´on que describe la posici´on del cable. Por
conveniencia se asumir´a que la altura m´ınima
del cable ocurre en x = 0 (o en otras palabras,
y (0) = 0).
1
-
6
s s




c
c
x
y
T0



3
T
θ
a
Figura 3: Deducci´on de la ecuaci´on de la cate-
naria.
Sea (x, y) un punto arbitrario del cable (por
conveniencia lo situamos en el tramo positivo
de las x; en otro caso, el razonamiento es com-
pletamente igual) y pensemos en las fuerzas
que act´uan en el trozo de cable desde el pun-
to de altura m´ınima hasta (x, y):
El peso P. Si m es la masa y s es la lon-
gitud del trozo considerado del cable, se
tiene m = ρs y por tanto, P = (0, −gρs),
donde g es la aceleraci´on terrestre.
La fuerza T0 que ejerce la parte izquierda
del cable sobre el punto de altura m´ıni-
ma. Se tiene T0 = (− T0 , 0)
La fuerza T que ejerce la parte derecha
del cable sobre el extremo derecho (x, y)
del trozo de cable considerado. Obser-
vando la figura 3 se tiene que T =
T (cos θ, sen θ).
La condici´on de equilibrio es P+T0 +T = 0.
O componente a componente:
T0 = T cos θ, gρs = T sen θ.
Dividiendo ambas expresiones.
tan θ =
gρs
T0
. (1)
A partir de ahora, denotaremos c = gρ/ T0 .
Como (v´ease la figura 1)
dy/dx = tan θ, (ds)2
= (dx)2
+ (dy)2
,
si derivamos (respecto a x) la ecuaci´on (1), se
obtiene
d2y
dx2
= c
(dx)2 + (dy)2
dx
.
O escrito de otro modo,
d2y
dx2
= c 1 +
dy
dx
2
.
Por supuesto, esto es una ecuaci´on de segundo
orden; pero haciendo el cambio v = dy/dx, se
convierte en
dv
dx
= c 1 + v2. (2)
Problema 1: Resuelva la ecuaci´on (2). Use
ahora y (0) = 0 para deducir que la ecuaci´on de
la catenaria es
y(x) =
1
c
cosh(cx) + B, (3)
donde B es una constante arbitraria. ¿Qu´e sig-
nificado f´ısico o geom´etrico posee B?
El siguiente problema propone otra manera
de resolver la ecuaci´on (2) usando la teor´ıa
de las ecuaciones diferenciales lineales de or-
den 2:
Problema 2: Eleve al cuadrado (2) y derive
esta nueva ecuaci´on respecto a x para obtener
d2v/dx2 = c2x. Halle ahora v = v(x) y obtenga
de nuevo (3).
La catenaria cumple otra importante
propiedad: de entre todas las curvas de longi-
tud dada, la que minimiza la energ´ıa potencial
es precisamente la catenaria. Si y : [−a, a] →
IR es la funci´on que describe la forma de la
2
catenaria (v´ease la figura 3), ρ es la densidad
del cable y g es la aceleraci´on de terrestre, la
energ´ıa potencial de un elemento infinitesimal
de masa, dm, es
dE = gydm = gyρds = gρy 1 + y 2,
donde ds es el elemento diferencial de longitud
de arco. La catenaria minimiza
a
−a
gρy(x) 1 + y (x)2dx,
si la longitud de la cuerda es constante, es
decir
a
−a
1 + y (x)2dx es constante.
El estudio de funciones minimizantes
llev´o al descubrimiento del c´alculo de varia-
ciones por Euler a mediados del siglo XVIII
y Lagrange a finales del siglo XVIII mejor´o y
ampli´o los m´etodos de Euler.
Por otra parte, acabamos de ver que la cate-
naria se puede obtener por dos caminos dis-
tintos: a partir de las leyes de Newton o co-
mo la curva que minimiza una cierta magni-
tud f´ısica. Se vio que muchos problemas f´ısicos
poseen esta dualidad. La reformulaci´on de las
leyes f´ısicas por medio de funciones minimi-
zantes fue hecha por Hamilton a mediados del
siglo XIX.
Leibniz descubri´o la t´ecnica de separaci´on
de variables en 1691: Indic´o c´omo se resuelve
y
dx
dy
= f(x)g(y).
Tambi´en redujo en el mismo a˜no la ecuaci´on
homog´enea dy/dx = f(y/x) a una separable
de primer orden del modo usual: con el cambio
y = vx. En 1694, Leibniz, public´o la resolu-
ci´on de la ecuaci´on
dy
dx
+ p(x)y = q(x).
En 1694, Leibniz y Jean Bernouilli estu-
diaron el problema de encontrar la familia
de curvas que cortan con un ´angulo dado a
una familia de curvas dadas. Jean Bernouilli
se˜nal´o que este problema es importante para
determinar las trayectorias de los rayos de luz
que recorren un medio no uniforme porque di-
chos rayos cortan ortogonalmente los llama-
dos frentes de luz. El problema fue resuelto
de forma general e independiente por Leibniz
y por Jean Bernouilli en 1698. El m´etodo em-
pleado es el mismo que se usa hoy en d´ıa.
Jean Bernouilli plante´o el problema de de-
terminar el movimiento de un proyectil en un
medio cuya resistencia es proporcional a una
potencia de la velocidad. La ecuaci´on diferen-
cial es en este caso
m
dv
dt
= mg − kvn
. (4)
Problema 3: Resuelva la ecuaci´on (4) cuando
n = 2. Deduzca que en este caso se tiene
v(t) = a
f(t) + 1
f(t) − 1
,
donde a = mg/k y f(t) = e2(t+C)/a, sien-
do C una constante arbitraria. Pruebe que
l´ımt→∞ v(t) = a. ´Esta es la raz´on de que
los paracaidistas bajen con velocidad pr´actica-
mente constante. Explique f´ısicamente el com-
portamiento estacionario de la velocidad cuando
m ´o k crecen.
Tambi´en fueron identificadas las ecuaciones
diferenciales de primer orden exactas, es de-
cir, las ecuaciones M(x, y)dx+N(x, y)dy = 0
para las cuales existe una funci´on z = z(x, y)
tal que dz = Mdx + Ndy. Clairaut en 1739
di´o la condici´on ∂M/∂y = ∂N/∂x, condici´on
que fue dada de forma independiente por Eu-
ler en 1734. Si se tiene dz = M(x, y)dx +
N(x, y)dy = 0, como remarcaron Euler y
Clairaut, la soluci´on es z = cte.
3
Cuando una ecuaci´on de primer orden no
es exacta, es posible muchas veces multipli-
carla por una funci´on, llamada factor inte-
grante, que la convierta en exacta. Aunque
se hab´ıa usado esta t´ecnica en algunas ecua-
ciones, fue Euler en 1734 quien se di´o cuen-
ta que este concepto proporcionaba un m´eto-
do de integraci´on e introdujo las expresiones
que actualmente se usan. Clairaut ampli´o la
teor´ıa poco m´as tarde. Hacia 1740 se conoc´ıan
los m´etodos elementales de resoluci´on de las
ecuaciones diferenciales de primer orden.
2. Ecuaciones de 2o
orden
En sus esfuerzos por tratar el problema de
la cuerda vibrante, Jean Bernouilli en 1724,
plante´o y resolvi´o la ecuaci´on d2y/dx2 =
k2y. Anteriormente se dedujo la ecuaci´on que
debe satisfacer un p´endulo simple: d2θ/dt +
mg sen θ = 0.
u
A
A
A
A
A
A
A
A
θ
Figura 4: Un p´endulo simple.
Problema 4: Deduzca la ecuaci´on diferen-
cial del p´endulo simple. Ayuda: por medio de
la ley de conservaci´on de la energ´ıa debe pro-
bar que ˙θ2 = 2mg cos θ, donde el punto denota
la derivada respecto al tiempo. A continuaci´on
derive esta ecuaci´on respecto a t.
Nota: No resuelva la ecuaci´on ¨θ = mg sen θ,
pues no se puede hallar la soluci´on en t´erminos
de funciones elementales.
Es de destacar que antes de la soluci´on
de Jean Bernouilli, ni se conoc´ıa la soluci´on
del p´endulo simple, ni la que se obtiene tras
aproximar sen θ por θ. Euler comenz´o a con-
siderar ecuaciones de orden superior a uno en
1728.
Desde el punto de vista de la concepci´on
de funci´on de la ´epoca, se dispon´ıa, a par-
tir de Newton de un m´etodo general de inte-
graci´on de ecuaciones diferenciales mediante
el desarrollo de funciones en forma de serie.
Por ejemplo, en 1733 Daniel Bernouilli en un
art´ıculo cuyo t´ıtulo en castellano es “Teore-
mas sobre oscilaciones de cuerpos conectados
por un hilo flexible y de una cadena vertical-
mente suspendida”, deduce que para una ca-
dena de densidad constante en suspensi´on que
oscila se tiene
α
d
dx
x
dy
dx
+ y = 0, (5)
donde x e y = y(x) tienen el significado que
se muestra en la figura siguiente. Resolvere-
mos la ecuaci´on diferencial (5) como Daniel
Bernouilli:
x
y
Figura 5: Una cadena verticalmente suspendi-
da.
Por comodidad, supondremos α = 1. Sea
y = A + Bx + Cx2
+ Dx3
+ · · · , (6)
la funci´on que se pretende encontrar. Los si-
guientes c´alculos son f´aciles de entender si se
4
supone que una serie de potencias se puede
derivar t´ermino a t´ermino (operaci´on que has-
ta el siglo XIX se supon´ıa v´alida):
dy
dx
= B + 2Cx + 3Dx2
+ · · ·
x
dy
dx
= Bx + 2Cx2
+ 3Dx3
+ · · ·
d
dx
x
dy
dx
= B + 4Cx + 9Dx2
+ · · · (7)
Igualando los coeficientes de (6) y (7) se
tiene
A = B, B = 4C, C = 9D, ...
Todos los coeficientes se pueden poner en fun-
ci´on del primero:
B = A, C =
A
4
, D =
A
4 · 9
, ...
Por tanto, la soluci´on de (5) es
y = A + Ax +
Ax2
4
+
Ax3
4 · 9
+ · · · +
Axn
(n!)2
+ · · ·
En un art´ıculo de 1739 “De novo genere
oscillationum” (sobre un nuevo tipo de os-
cilaci´on), Euler se ocup´o de la ecuaci´on di-
ferencial
M
d2y
dt2
+ Ky = F sen(ωt)
y descubri´o el fen´omeno de la resonancia
mec´anica.
En 1734, Euler afirmaba que pod´ıa resolver
la ecuaci´on
K4 d4y
dx4
= y, (8)
que surgi´o tras estudiar el problema de des-
plazamiento tranversal de una barra el´astica
fijado un extremo y libre el otro. En 1734, el
´unico m´etodo disponible por Euler fue la uti-
lizaci´on de series y obtuvo cuatro series dis-
tintas.
Problema 5: Resuelva la ecuaci´on (8).
¿Cu´ales son las cuatro funciones obtenidas por
Euler?
Euler desarrolla un m´etodo en 1743 para
resolver las ecuaciones lineales de orden n de
coeficientes constantes: Dada la ecuaci´on
0 = a0y + a1
dy
dx
+ a2
d2y
dx2
+ · · · + an
dny
dxn
, (9)
en donde los coeficientes a0, . . . , an son con-
stantes, Euler indica que la soluci´on ha de
contener n constantes arbitrarias y que esta
soluci´on vendr´a dada por la suma de n solu-
ciones particulares, cada una de ellas multipli-
cada por una constante. Ahora hace el cambio
y = eλx, en donde λ es constante y obtiene la
ecuaci´on polin´omica
0 = a0 + a1λ + a2λ2
+ · · · + anλn
. (10)
Trata por separado cuando esta ecuaci´on
tiene ra´ıces simples, m´ultiples y complejas;
con lo que Euler resuelve completamente las
ecuaciones lineales homog´eneas de coeficientes
constantes.
Problema 6: Suponga que λ0 es ra´ız doble de
(10). Pruebe que y(x) = xeλ0x es una soluci´on
de (9).
D’Alembert observa que el conocimiento de
una soluci´on particular y de la soluci´on gene-
ral de la homog´enea conduce, por adici´on, a
la soluci´on general de la no homog´enea. La-
grange estudia c´omo obtener soluciones par-
ticulares y a ´el se le debe tambi´en el m´etodo
de variaci´on de par´ametros.
3. Sistemas de ecuaciones diferenciales
Los sistemas de ecuaciones diferenciales
surgieron en la historia de las matem´aticas
con la misma intenci´on que las ecuaciones
5
diferenciales ordinarias: Analizar cuantitati-
vamente determinados sistemas f´ısicos, en
particular los astron´omicos. En el campo
de la astronom´ıa los principios f´ısicos (las
leyes del movimiento de Newton y la ley de
gravitaci´on) estaban claros y los problemas
matem´aticos eran mucho m´as profundos. El
problema matem´atico fundamental al estu-
diar el movimiento de dos o m´as cuerpos,
movi´endose cada uno bajo la acci´on gravita-
toria de los otros es el de resolver un sistema
de ecuaciones diferenciales ordinarias.
El primer ´exito lo obtuvo Newton en los
Principia al demostrar que a partir de sus
leyes de movimiento y de la ley de gravitaci´on
universal se pod´ıan deducir las tres leyes pla-
netarias de Kepler. El problema de los tres
cuerpos sometidos a una acci´on gravitatoria
com´un fue estudiado intensamente por Euler,
Laplace y Lagrange obteniendo s´olo resulta-
dos parciales.
Al no obtener m´etodos generales para re-
solver los sistemas de ecuaciones diferenciales,
los matem´aticos se volcaron con los sistemas
de ecuaciones lineales de coeficientes con-
stantes. La primera vez que surgi´o este tipo
de sistemas fue al estudiar sistemas de muelles
acoplados, a partir de la ley de Hooke. La
noci´on de polinomio caracter´ıstico aparece ya
expl´ıcitamente en el trabajo de Lagrange so-
bre sistemas de ecuaciones diferenciales pu-
blicado en 1774 y en el trabajo de Laplace en
1775.
Por otra parte, Laplace desarroll´o un m´eto-
do alternativo para hallar la soluci´on de tales
sistemas. En el famoso ensayo Th´eorie an-
alytique des probabilit´es, publicado en 1812,
Laplace present´o lo que ahora se conoce co-
mo la transformada de Laplace para encontrar
la soluci´on de ecuaciones diferenciales lineales
de coeficientes constantes. Esta transforma-
da sirve tambi´en para encontrar la soluci´on
de los sistemas lineales de ecuaciones diferen-
ciales con coeficientes constantes.
4. Desarrollos posteriores
A principios del siglo XIX se desarroll´o una
fase en la que se trataba de demostrar algunos
hechos dados por v´alidos en el siglo anterior.
En 1820 Cauchy prob´o la existencia de solu-
ciones de la ecuaci´on diferencial y = f(t, y)
bajo ciertas condiciones. En 1890 Picard es-
tableci´o un m´etodo de aproximaciones suce-
sivas que permite establecer con precisi´on el
teorema de existencia y unicidad de las ecua-
ciones diferenciales de orden n.
Posteriormente, Cauchy, al tratar de de-
mostrar el mismo teorema para los sistemas
de ecuaciones diferenciales, introdujo la no-
taci´on vectorial que todav´ıa se utiliza hoy
en d´ıa. Generalizaci´on que, utilizando los
conceptos matriciales introducidos por Cay-
ley a mediados del siglo XIX, ayud´o a Ja-
cobi a resolver completamente los sistema
de ecuaciones diferenciales lineales de coefi-
cientes constantes donde la matriz del sis-
tema es diagonalizable. Posteriormente Jor-
dan introdujo lo que hoy se conoce como la
forma can´onica de Jordan precisamente para
resolver los sistemas lineales de ecuaciones
donde la matriz no es diagonalizable.
Las investigaciones de Poincar´e sobre la es-
tabilidad y periodicidad de las soluciones del
sistema solar le condujeron al inicio de la
teor´ıa de las ecuaciones diferenciales no linea-
les. Obtuvo a finales del siglo XIX una serie
de resultados de ´ındole cualitativo que fueron
mejorados por Bendixson y por Liapunov.
Referencias
[1] El pensamiento matem´atico: de la
antig¨uedad a nuestros d´ıas. Alianza Uni-
versidad.
Julio Ben´ıtez L´opez.
Universidad Polit´ecnica de Valencia
7 de Febrero de 2008
6

Más contenido relacionado

La actualidad más candente

Modelado de ecuaciones diferenciales (ejemplos)
Modelado de ecuaciones diferenciales (ejemplos)Modelado de ecuaciones diferenciales (ejemplos)
Modelado de ecuaciones diferenciales (ejemplos)Perla Berrones
 
Teoria De La Medida
Teoria De La MedidaTeoria De La Medida
Teoria De La Medidamiranda1480
 
Aplicaciones de las ecuaciones diferenciales
Aplicaciones de las ecuaciones diferencialesAplicaciones de las ecuaciones diferenciales
Aplicaciones de las ecuaciones diferencialesjuliocesarmontoya
 
Aplicacion de las ecuaciones diferenciales de orden superior
Aplicacion de las ecuaciones diferenciales de orden superiorAplicacion de las ecuaciones diferenciales de orden superior
Aplicacion de las ecuaciones diferenciales de orden superiorIsai Esparza Agustin
 
Aplicaciones de la función cuadrática en la fisica
Aplicaciones de la función cuadrática en la fisicaAplicaciones de la función cuadrática en la fisica
Aplicaciones de la función cuadrática en la fisicaPaola
 
Operaciones de renglon y reduccion de gauss jordan
Operaciones de renglon y reduccion de gauss   jordanOperaciones de renglon y reduccion de gauss   jordan
Operaciones de renglon y reduccion de gauss jordanBeth Gómez
 
13 aplicaciones de integrales
13 aplicaciones de integrales13 aplicaciones de integrales
13 aplicaciones de integralesYacmel Gutierrez
 
Practico 2 Geometría Diferencial
Practico 2 Geometría DiferencialPractico 2 Geometría Diferencial
Practico 2 Geometría Diferencialerica grunberg
 
Tema ii ecuciones diferenciales de segundo orden matematica iv uts
Tema ii ecuciones diferenciales de segundo orden matematica iv utsTema ii ecuciones diferenciales de segundo orden matematica iv uts
Tema ii ecuciones diferenciales de segundo orden matematica iv utsJulio Barreto Garcia
 

La actualidad más candente (20)

Modelado de ecuaciones diferenciales (ejemplos)
Modelado de ecuaciones diferenciales (ejemplos)Modelado de ecuaciones diferenciales (ejemplos)
Modelado de ecuaciones diferenciales (ejemplos)
 
Teoría de la Medida
Teoría de la MedidaTeoría de la Medida
Teoría de la Medida
 
Tensor metrico
Tensor metricoTensor metrico
Tensor metrico
 
Teoria De La Medida
Teoria De La MedidaTeoria De La Medida
Teoria De La Medida
 
Aplicaciones de las ecuaciones diferenciales
Aplicaciones de las ecuaciones diferencialesAplicaciones de las ecuaciones diferenciales
Aplicaciones de las ecuaciones diferenciales
 
Tema_3.pdf
Tema_3.pdfTema_3.pdf
Tema_3.pdf
 
Aplicacion de las ecuaciones diferenciales de orden superior
Aplicacion de las ecuaciones diferenciales de orden superiorAplicacion de las ecuaciones diferenciales de orden superior
Aplicacion de las ecuaciones diferenciales de orden superior
 
T08
T08T08
T08
 
Aplicaciones de la función cuadrática en la fisica
Aplicaciones de la función cuadrática en la fisicaAplicaciones de la función cuadrática en la fisica
Aplicaciones de la función cuadrática en la fisica
 
Operaciones de renglon y reduccion de gauss jordan
Operaciones de renglon y reduccion de gauss   jordanOperaciones de renglon y reduccion de gauss   jordan
Operaciones de renglon y reduccion de gauss jordan
 
13 aplicaciones de integrales
13 aplicaciones de integrales13 aplicaciones de integrales
13 aplicaciones de integrales
 
Practico 2 Geometría Diferencial
Practico 2 Geometría DiferencialPractico 2 Geometría Diferencial
Practico 2 Geometría Diferencial
 
Tema_6.pdf
Tema_6.pdfTema_6.pdf
Tema_6.pdf
 
Taller 2 edo 2014
Taller 2 edo 2014Taller 2 edo 2014
Taller 2 edo 2014
 
Tema3
Tema3Tema3
Tema3
 
Espacios vectoriales
Espacios vectorialesEspacios vectoriales
Espacios vectoriales
 
Taller 3 edo 2014
Taller 3 edo 2014Taller 3 edo 2014
Taller 3 edo 2014
 
Transformaciones lineales
Transformaciones linealesTransformaciones lineales
Transformaciones lineales
 
Folleto vectores
Folleto vectoresFolleto vectores
Folleto vectores
 
Tema ii ecuciones diferenciales de segundo orden matematica iv uts
Tema ii ecuciones diferenciales de segundo orden matematica iv utsTema ii ecuciones diferenciales de segundo orden matematica iv uts
Tema ii ecuciones diferenciales de segundo orden matematica iv uts
 

Similar a Jfmartinc

Guia de integración indefinida
Guia de integración indefinida  Guia de integración indefinida
Guia de integración indefinida Hebet Cueva
 
Guia de integración indefinida 2016 ii
Guia de integración indefinida   2016   iiGuia de integración indefinida   2016   ii
Guia de integración indefinida 2016 iiHebet Cueva
 
Ecuaciones clásicas-y-problemas-de-valores-en-la-frontera
Ecuaciones clásicas-y-problemas-de-valores-en-la-fronteraEcuaciones clásicas-y-problemas-de-valores-en-la-frontera
Ecuaciones clásicas-y-problemas-de-valores-en-la-fronteraIvan Molina
 
Ecuaciones clasicas final
Ecuaciones clasicas finalEcuaciones clasicas final
Ecuaciones clasicas finalIvan Molina
 
Variación+de+parametros
Variación+de+parametrosVariación+de+parametros
Variación+de+parametrosTensor
 
52721654 limite-y-continuidad-de-funciones-de-varias-variables
52721654 limite-y-continuidad-de-funciones-de-varias-variables52721654 limite-y-continuidad-de-funciones-de-varias-variables
52721654 limite-y-continuidad-de-funciones-de-varias-variablesDeninson Duran
 
Ejemplos metodo-de-lagrange1-ajustar-a-mat-3
Ejemplos metodo-de-lagrange1-ajustar-a-mat-3Ejemplos metodo-de-lagrange1-ajustar-a-mat-3
Ejemplos metodo-de-lagrange1-ajustar-a-mat-3shirleyrojas2108
 
Aplicación de ecuaciones diferenciales en la ingeniería
Aplicación de ecuaciones diferenciales en la ingenieríaAplicación de ecuaciones diferenciales en la ingeniería
Aplicación de ecuaciones diferenciales en la ingenieríaErick Najera
 
Ecuaciones diferenciales en Derivadas parciales
Ecuaciones diferenciales en Derivadas parcialesEcuaciones diferenciales en Derivadas parciales
Ecuaciones diferenciales en Derivadas parcialesEdwin SB
 
7 7 texto-diferencias_finitas-schvezov
7 7 texto-diferencias_finitas-schvezov7 7 texto-diferencias_finitas-schvezov
7 7 texto-diferencias_finitas-schvezovJuan Hernández
 
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)Yerikson Huz
 
Metodos numericos capitulo 5
Metodos numericos capitulo 5Metodos numericos capitulo 5
Metodos numericos capitulo 5Juan Timoteo Cori
 
Ecuación Cuadrática o de segundo grado
Ecuación Cuadrática o de segundo gradoEcuación Cuadrática o de segundo grado
Ecuación Cuadrática o de segundo gradoEstefaniaPacheco8
 

Similar a Jfmartinc (20)

Apuntes cap5
Apuntes cap5Apuntes cap5
Apuntes cap5
 
Guia de integración indefinida
Guia de integración indefinida  Guia de integración indefinida
Guia de integración indefinida
 
Guia de integración indefinida 2016 ii
Guia de integración indefinida   2016   iiGuia de integración indefinida   2016   ii
Guia de integración indefinida 2016 ii
 
Ecuaciones clásicas-y-problemas-de-valores-en-la-frontera
Ecuaciones clásicas-y-problemas-de-valores-en-la-fronteraEcuaciones clásicas-y-problemas-de-valores-en-la-frontera
Ecuaciones clásicas-y-problemas-de-valores-en-la-frontera
 
T06edp
T06edpT06edp
T06edp
 
Ecuaciones clasicas final
Ecuaciones clasicas finalEcuaciones clasicas final
Ecuaciones clasicas final
 
Variación+de+parametros
Variación+de+parametrosVariación+de+parametros
Variación+de+parametros
 
52721654 limite-y-continuidad-de-funciones-de-varias-variables
52721654 limite-y-continuidad-de-funciones-de-varias-variables52721654 limite-y-continuidad-de-funciones-de-varias-variables
52721654 limite-y-continuidad-de-funciones-de-varias-variables
 
Separacion de variables
Separacion de variablesSeparacion de variables
Separacion de variables
 
Ejemplos metodo-de-lagrange1-ajustar-a-mat-3
Ejemplos metodo-de-lagrange1-ajustar-a-mat-3Ejemplos metodo-de-lagrange1-ajustar-a-mat-3
Ejemplos metodo-de-lagrange1-ajustar-a-mat-3
 
Aplicación de ecuaciones diferenciales en la ingeniería
Aplicación de ecuaciones diferenciales en la ingenieríaAplicación de ecuaciones diferenciales en la ingeniería
Aplicación de ecuaciones diferenciales en la ingeniería
 
Ecuaciones diferenciales en Derivadas parciales
Ecuaciones diferenciales en Derivadas parcialesEcuaciones diferenciales en Derivadas parciales
Ecuaciones diferenciales en Derivadas parciales
 
Apuntesdefisica
ApuntesdefisicaApuntesdefisica
Apuntesdefisica
 
Teorema de fermat
Teorema de fermatTeorema de fermat
Teorema de fermat
 
7 7 texto-diferencias_finitas-schvezov
7 7 texto-diferencias_finitas-schvezov7 7 texto-diferencias_finitas-schvezov
7 7 texto-diferencias_finitas-schvezov
 
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
Ecuaciones diferenciales lineales de primer orden y aplicaciones(tema 1)
 
Metodos numericos capitulo 5
Metodos numericos capitulo 5Metodos numericos capitulo 5
Metodos numericos capitulo 5
 
Ecuación Cuadrática o de segundo grado
Ecuación Cuadrática o de segundo gradoEcuación Cuadrática o de segundo grado
Ecuación Cuadrática o de segundo grado
 
Teorema de kantorovich
Teorema de kantorovichTeorema de kantorovich
Teorema de kantorovich
 
2 integracion
2 integracion2 integracion
2 integracion
 

Jfmartinc

  • 1. Breve historia de las ecuaciones diferenciales Estas notas pretenden mostrar una breve historia de las ecuaciones diferenciales. Se ha pretendido dar m´as ´enfasis a las ideas que a las biograf´ıas de los matem´aticos creadores de la teor´ıa. En la siguiente direcci´on http://www-groups.dcs.st-and.ac.uk se halla una colecci´on de biograf´ıas de los matem´aticos m´as famosos. La mayor parte de estas notas hist´oricas est´a sacadas de [1]. 1. Ecuaciones diferenciales de 1er orden Los primeros intentos para resolver proble- mas f´ısicos mediante el c´alculo diferencial a finales del siglo XVII llevaron gradualmente a crear una nueva rama de las matem´aticas, a saber, las ecuaciones diferenciales. A media- dos del siglo XVIII las ecuaciones diferenciales se convirtieron en una rama independiente y su resoluci´on un fin en s´ı mismo. Ya Newton (los creadores del c´alculo in- finitesimal fueron Leibniz y Newton) ob- serv´o que si dny/dxn = 0, entonces y(x) es un polinomio de grado n − 1, en particular, y depende de n constantes arbitrarias, aunque esta afirmaci´on tuvo que esperar hasta el siglo XIX para poder ser demostrada con rigor (la demostraci´on est´andar actual usa el teorema del valor medio). Los matem´aticos de la ´epoca con frecuencia usaban argumentos f´ısicos: si y(t) denota la posici´on en el tiempo t de una part´ıcula, entonces dy/dt es su velocidad. Si dy/dt = 0, se tiene que la velocidad es nula, es decir, la part´ıcula no se mueve y su posici´on, por tanto, permanece constante. En 1693 Huygens habla expl´ıcitamente de ecuaciones diferenciales y en el mismo a˜no, Leibniz dice que las ecuaciones diferenciales son funciones de elementos del tri´angulo ca- racter´ıstico. 6 - dx dyds Figura 1: El tri´angulo caracter´ıstico. En 1690, Jacques Bernouilli plante´o el pro- blema de encontrar la curva que adopta una cuerda flexible, inextensible y colgada de dos puntos fijos, que Leibniz llam´o catenaria (del lat´ın cadena). Galileo pens´o que esta cur- va era una par´abola, mientras que Huygens prob´o que esto no era correcto. - 6 c c a b Figura 2: Una catenaria. En 1691, Leibniz, Huygens y Jean Bernouil- li publicaron soluciones independientes. La de Jean Bernouilli es la que se encuentra habi- tualmente en los textos de mec´anica: Consideremos un cable homog´eneo sujeto por sus dos extremos (que suponemos a la misma altura) y que distan 2a uno del otro y sea ρ la densidad del cable. Sea y = y(x) la funci´on que describe la posici´on del cable. Por conveniencia se asumir´a que la altura m´ınima del cable ocurre en x = 0 (o en otras palabras, y (0) = 0). 1
  • 2. - 6 s s c c x y T0 3 T θ a Figura 3: Deducci´on de la ecuaci´on de la cate- naria. Sea (x, y) un punto arbitrario del cable (por conveniencia lo situamos en el tramo positivo de las x; en otro caso, el razonamiento es com- pletamente igual) y pensemos en las fuerzas que act´uan en el trozo de cable desde el pun- to de altura m´ınima hasta (x, y): El peso P. Si m es la masa y s es la lon- gitud del trozo considerado del cable, se tiene m = ρs y por tanto, P = (0, −gρs), donde g es la aceleraci´on terrestre. La fuerza T0 que ejerce la parte izquierda del cable sobre el punto de altura m´ıni- ma. Se tiene T0 = (− T0 , 0) La fuerza T que ejerce la parte derecha del cable sobre el extremo derecho (x, y) del trozo de cable considerado. Obser- vando la figura 3 se tiene que T = T (cos θ, sen θ). La condici´on de equilibrio es P+T0 +T = 0. O componente a componente: T0 = T cos θ, gρs = T sen θ. Dividiendo ambas expresiones. tan θ = gρs T0 . (1) A partir de ahora, denotaremos c = gρ/ T0 . Como (v´ease la figura 1) dy/dx = tan θ, (ds)2 = (dx)2 + (dy)2 , si derivamos (respecto a x) la ecuaci´on (1), se obtiene d2y dx2 = c (dx)2 + (dy)2 dx . O escrito de otro modo, d2y dx2 = c 1 + dy dx 2 . Por supuesto, esto es una ecuaci´on de segundo orden; pero haciendo el cambio v = dy/dx, se convierte en dv dx = c 1 + v2. (2) Problema 1: Resuelva la ecuaci´on (2). Use ahora y (0) = 0 para deducir que la ecuaci´on de la catenaria es y(x) = 1 c cosh(cx) + B, (3) donde B es una constante arbitraria. ¿Qu´e sig- nificado f´ısico o geom´etrico posee B? El siguiente problema propone otra manera de resolver la ecuaci´on (2) usando la teor´ıa de las ecuaciones diferenciales lineales de or- den 2: Problema 2: Eleve al cuadrado (2) y derive esta nueva ecuaci´on respecto a x para obtener d2v/dx2 = c2x. Halle ahora v = v(x) y obtenga de nuevo (3). La catenaria cumple otra importante propiedad: de entre todas las curvas de longi- tud dada, la que minimiza la energ´ıa potencial es precisamente la catenaria. Si y : [−a, a] → IR es la funci´on que describe la forma de la 2
  • 3. catenaria (v´ease la figura 3), ρ es la densidad del cable y g es la aceleraci´on de terrestre, la energ´ıa potencial de un elemento infinitesimal de masa, dm, es dE = gydm = gyρds = gρy 1 + y 2, donde ds es el elemento diferencial de longitud de arco. La catenaria minimiza a −a gρy(x) 1 + y (x)2dx, si la longitud de la cuerda es constante, es decir a −a 1 + y (x)2dx es constante. El estudio de funciones minimizantes llev´o al descubrimiento del c´alculo de varia- ciones por Euler a mediados del siglo XVIII y Lagrange a finales del siglo XVIII mejor´o y ampli´o los m´etodos de Euler. Por otra parte, acabamos de ver que la cate- naria se puede obtener por dos caminos dis- tintos: a partir de las leyes de Newton o co- mo la curva que minimiza una cierta magni- tud f´ısica. Se vio que muchos problemas f´ısicos poseen esta dualidad. La reformulaci´on de las leyes f´ısicas por medio de funciones minimi- zantes fue hecha por Hamilton a mediados del siglo XIX. Leibniz descubri´o la t´ecnica de separaci´on de variables en 1691: Indic´o c´omo se resuelve y dx dy = f(x)g(y). Tambi´en redujo en el mismo a˜no la ecuaci´on homog´enea dy/dx = f(y/x) a una separable de primer orden del modo usual: con el cambio y = vx. En 1694, Leibniz, public´o la resolu- ci´on de la ecuaci´on dy dx + p(x)y = q(x). En 1694, Leibniz y Jean Bernouilli estu- diaron el problema de encontrar la familia de curvas que cortan con un ´angulo dado a una familia de curvas dadas. Jean Bernouilli se˜nal´o que este problema es importante para determinar las trayectorias de los rayos de luz que recorren un medio no uniforme porque di- chos rayos cortan ortogonalmente los llama- dos frentes de luz. El problema fue resuelto de forma general e independiente por Leibniz y por Jean Bernouilli en 1698. El m´etodo em- pleado es el mismo que se usa hoy en d´ıa. Jean Bernouilli plante´o el problema de de- terminar el movimiento de un proyectil en un medio cuya resistencia es proporcional a una potencia de la velocidad. La ecuaci´on diferen- cial es en este caso m dv dt = mg − kvn . (4) Problema 3: Resuelva la ecuaci´on (4) cuando n = 2. Deduzca que en este caso se tiene v(t) = a f(t) + 1 f(t) − 1 , donde a = mg/k y f(t) = e2(t+C)/a, sien- do C una constante arbitraria. Pruebe que l´ımt→∞ v(t) = a. ´Esta es la raz´on de que los paracaidistas bajen con velocidad pr´actica- mente constante. Explique f´ısicamente el com- portamiento estacionario de la velocidad cuando m ´o k crecen. Tambi´en fueron identificadas las ecuaciones diferenciales de primer orden exactas, es de- cir, las ecuaciones M(x, y)dx+N(x, y)dy = 0 para las cuales existe una funci´on z = z(x, y) tal que dz = Mdx + Ndy. Clairaut en 1739 di´o la condici´on ∂M/∂y = ∂N/∂x, condici´on que fue dada de forma independiente por Eu- ler en 1734. Si se tiene dz = M(x, y)dx + N(x, y)dy = 0, como remarcaron Euler y Clairaut, la soluci´on es z = cte. 3
  • 4. Cuando una ecuaci´on de primer orden no es exacta, es posible muchas veces multipli- carla por una funci´on, llamada factor inte- grante, que la convierta en exacta. Aunque se hab´ıa usado esta t´ecnica en algunas ecua- ciones, fue Euler en 1734 quien se di´o cuen- ta que este concepto proporcionaba un m´eto- do de integraci´on e introdujo las expresiones que actualmente se usan. Clairaut ampli´o la teor´ıa poco m´as tarde. Hacia 1740 se conoc´ıan los m´etodos elementales de resoluci´on de las ecuaciones diferenciales de primer orden. 2. Ecuaciones de 2o orden En sus esfuerzos por tratar el problema de la cuerda vibrante, Jean Bernouilli en 1724, plante´o y resolvi´o la ecuaci´on d2y/dx2 = k2y. Anteriormente se dedujo la ecuaci´on que debe satisfacer un p´endulo simple: d2θ/dt + mg sen θ = 0. u A A A A A A A A θ Figura 4: Un p´endulo simple. Problema 4: Deduzca la ecuaci´on diferen- cial del p´endulo simple. Ayuda: por medio de la ley de conservaci´on de la energ´ıa debe pro- bar que ˙θ2 = 2mg cos θ, donde el punto denota la derivada respecto al tiempo. A continuaci´on derive esta ecuaci´on respecto a t. Nota: No resuelva la ecuaci´on ¨θ = mg sen θ, pues no se puede hallar la soluci´on en t´erminos de funciones elementales. Es de destacar que antes de la soluci´on de Jean Bernouilli, ni se conoc´ıa la soluci´on del p´endulo simple, ni la que se obtiene tras aproximar sen θ por θ. Euler comenz´o a con- siderar ecuaciones de orden superior a uno en 1728. Desde el punto de vista de la concepci´on de funci´on de la ´epoca, se dispon´ıa, a par- tir de Newton de un m´etodo general de inte- graci´on de ecuaciones diferenciales mediante el desarrollo de funciones en forma de serie. Por ejemplo, en 1733 Daniel Bernouilli en un art´ıculo cuyo t´ıtulo en castellano es “Teore- mas sobre oscilaciones de cuerpos conectados por un hilo flexible y de una cadena vertical- mente suspendida”, deduce que para una ca- dena de densidad constante en suspensi´on que oscila se tiene α d dx x dy dx + y = 0, (5) donde x e y = y(x) tienen el significado que se muestra en la figura siguiente. Resolvere- mos la ecuaci´on diferencial (5) como Daniel Bernouilli: x y Figura 5: Una cadena verticalmente suspendi- da. Por comodidad, supondremos α = 1. Sea y = A + Bx + Cx2 + Dx3 + · · · , (6) la funci´on que se pretende encontrar. Los si- guientes c´alculos son f´aciles de entender si se 4
  • 5. supone que una serie de potencias se puede derivar t´ermino a t´ermino (operaci´on que has- ta el siglo XIX se supon´ıa v´alida): dy dx = B + 2Cx + 3Dx2 + · · · x dy dx = Bx + 2Cx2 + 3Dx3 + · · · d dx x dy dx = B + 4Cx + 9Dx2 + · · · (7) Igualando los coeficientes de (6) y (7) se tiene A = B, B = 4C, C = 9D, ... Todos los coeficientes se pueden poner en fun- ci´on del primero: B = A, C = A 4 , D = A 4 · 9 , ... Por tanto, la soluci´on de (5) es y = A + Ax + Ax2 4 + Ax3 4 · 9 + · · · + Axn (n!)2 + · · · En un art´ıculo de 1739 “De novo genere oscillationum” (sobre un nuevo tipo de os- cilaci´on), Euler se ocup´o de la ecuaci´on di- ferencial M d2y dt2 + Ky = F sen(ωt) y descubri´o el fen´omeno de la resonancia mec´anica. En 1734, Euler afirmaba que pod´ıa resolver la ecuaci´on K4 d4y dx4 = y, (8) que surgi´o tras estudiar el problema de des- plazamiento tranversal de una barra el´astica fijado un extremo y libre el otro. En 1734, el ´unico m´etodo disponible por Euler fue la uti- lizaci´on de series y obtuvo cuatro series dis- tintas. Problema 5: Resuelva la ecuaci´on (8). ¿Cu´ales son las cuatro funciones obtenidas por Euler? Euler desarrolla un m´etodo en 1743 para resolver las ecuaciones lineales de orden n de coeficientes constantes: Dada la ecuaci´on 0 = a0y + a1 dy dx + a2 d2y dx2 + · · · + an dny dxn , (9) en donde los coeficientes a0, . . . , an son con- stantes, Euler indica que la soluci´on ha de contener n constantes arbitrarias y que esta soluci´on vendr´a dada por la suma de n solu- ciones particulares, cada una de ellas multipli- cada por una constante. Ahora hace el cambio y = eλx, en donde λ es constante y obtiene la ecuaci´on polin´omica 0 = a0 + a1λ + a2λ2 + · · · + anλn . (10) Trata por separado cuando esta ecuaci´on tiene ra´ıces simples, m´ultiples y complejas; con lo que Euler resuelve completamente las ecuaciones lineales homog´eneas de coeficientes constantes. Problema 6: Suponga que λ0 es ra´ız doble de (10). Pruebe que y(x) = xeλ0x es una soluci´on de (9). D’Alembert observa que el conocimiento de una soluci´on particular y de la soluci´on gene- ral de la homog´enea conduce, por adici´on, a la soluci´on general de la no homog´enea. La- grange estudia c´omo obtener soluciones par- ticulares y a ´el se le debe tambi´en el m´etodo de variaci´on de par´ametros. 3. Sistemas de ecuaciones diferenciales Los sistemas de ecuaciones diferenciales surgieron en la historia de las matem´aticas con la misma intenci´on que las ecuaciones 5
  • 6. diferenciales ordinarias: Analizar cuantitati- vamente determinados sistemas f´ısicos, en particular los astron´omicos. En el campo de la astronom´ıa los principios f´ısicos (las leyes del movimiento de Newton y la ley de gravitaci´on) estaban claros y los problemas matem´aticos eran mucho m´as profundos. El problema matem´atico fundamental al estu- diar el movimiento de dos o m´as cuerpos, movi´endose cada uno bajo la acci´on gravita- toria de los otros es el de resolver un sistema de ecuaciones diferenciales ordinarias. El primer ´exito lo obtuvo Newton en los Principia al demostrar que a partir de sus leyes de movimiento y de la ley de gravitaci´on universal se pod´ıan deducir las tres leyes pla- netarias de Kepler. El problema de los tres cuerpos sometidos a una acci´on gravitatoria com´un fue estudiado intensamente por Euler, Laplace y Lagrange obteniendo s´olo resulta- dos parciales. Al no obtener m´etodos generales para re- solver los sistemas de ecuaciones diferenciales, los matem´aticos se volcaron con los sistemas de ecuaciones lineales de coeficientes con- stantes. La primera vez que surgi´o este tipo de sistemas fue al estudiar sistemas de muelles acoplados, a partir de la ley de Hooke. La noci´on de polinomio caracter´ıstico aparece ya expl´ıcitamente en el trabajo de Lagrange so- bre sistemas de ecuaciones diferenciales pu- blicado en 1774 y en el trabajo de Laplace en 1775. Por otra parte, Laplace desarroll´o un m´eto- do alternativo para hallar la soluci´on de tales sistemas. En el famoso ensayo Th´eorie an- alytique des probabilit´es, publicado en 1812, Laplace present´o lo que ahora se conoce co- mo la transformada de Laplace para encontrar la soluci´on de ecuaciones diferenciales lineales de coeficientes constantes. Esta transforma- da sirve tambi´en para encontrar la soluci´on de los sistemas lineales de ecuaciones diferen- ciales con coeficientes constantes. 4. Desarrollos posteriores A principios del siglo XIX se desarroll´o una fase en la que se trataba de demostrar algunos hechos dados por v´alidos en el siglo anterior. En 1820 Cauchy prob´o la existencia de solu- ciones de la ecuaci´on diferencial y = f(t, y) bajo ciertas condiciones. En 1890 Picard es- tableci´o un m´etodo de aproximaciones suce- sivas que permite establecer con precisi´on el teorema de existencia y unicidad de las ecua- ciones diferenciales de orden n. Posteriormente, Cauchy, al tratar de de- mostrar el mismo teorema para los sistemas de ecuaciones diferenciales, introdujo la no- taci´on vectorial que todav´ıa se utiliza hoy en d´ıa. Generalizaci´on que, utilizando los conceptos matriciales introducidos por Cay- ley a mediados del siglo XIX, ayud´o a Ja- cobi a resolver completamente los sistema de ecuaciones diferenciales lineales de coefi- cientes constantes donde la matriz del sis- tema es diagonalizable. Posteriormente Jor- dan introdujo lo que hoy se conoce como la forma can´onica de Jordan precisamente para resolver los sistemas lineales de ecuaciones donde la matriz no es diagonalizable. Las investigaciones de Poincar´e sobre la es- tabilidad y periodicidad de las soluciones del sistema solar le condujeron al inicio de la teor´ıa de las ecuaciones diferenciales no linea- les. Obtuvo a finales del siglo XIX una serie de resultados de ´ındole cualitativo que fueron mejorados por Bendixson y por Liapunov. Referencias [1] El pensamiento matem´atico: de la antig¨uedad a nuestros d´ıas. Alianza Uni- versidad. Julio Ben´ıtez L´opez. Universidad Polit´ecnica de Valencia 7 de Febrero de 2008 6