Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Fusse
Relacin Final
Una aproximacin al estudio de las
Ecuaciones Diferenciales
0
- Relacin final Carina A.
Fusse
Indice.
1
- Relacin final Carina A.
Fusse
INTRODUCCIN. 2
OBJETIVOS.. 3
1. BREVE RECORRIDO HISTORICO 3
2. NOCIONES PRELIMINARES.
Tema seleccionado.
2
- Relacin final Carina A.
Fusse
Introduccin .
Newton invent las ecuaciones diferenciales para describir movimientos de los cuerpos bajo gravedad,
y su enfoque como un lenguaje apropiado para establecer leyes fsicas y construir modelos, circunda
todas las ciencias. Hay una gran discrepancia entre esta visin y los cursos usuales sobre ecuaciones
diferenciales que a menudo consisten en una serie de trucos para hallar frmulas de solucin. Pero
sucede que muchas ecuaciones diferenciales no admiten soluciones elementales y an cuando las
admiten, su bsqueda oscurece la pregunta esencial: cmo se comportan las soluciones?
El Clculo, considerado por muchos como uno de los mayores logros de las matemticas, fue
creado para hacer frente a las urgentes necesidades matemticas de la ciencia del S. XVII. Se
precisaba poder interrelacionar las aceleraciones, velocidades y distancias recorridas por
cuerpos en movimiento, relacionar pendientes de curvas con las razones de cambio, hallar los
valores mximos y mnimos de funciones, encontrar longitudes de curvas, reas acotadas por
curvas, volmenes encerrados por superficies y centros de gravedad de cuerpos que se atraen.
As, el Clculo se ha convertido en una poderosa herramienta para poder resolver problemas de
diversas reas, como Fsica, Biologa, Economa, Medicina y tantas otras.
Es conveniente que los alumnos de cursos avanzados del nivel polimodal tengan idea de cmo
puede utilizarse el clculo para plantear y resolver problemas, ya que de algn modo fue as
como esta disciplina fue desarrollndose con xito, aunque en ocasiones se cometieron errores
que impulsaron investigaciones tericas. Adems, los fenmenos naturales ms interesantes
implican cambios y se describen mejor mediante ecuaciones que relacionan cantidades
variables.
Este trabajo comienza con una ajustada sntesis de la historia de las ecuaciones diferenciales.
Se presentarn- y justificarn- algunas tcnicas simples para resolver ciertas ecuaciones.
Tambin se estudiar la existencia y unicidad de soluciones, y su vinculacin con el proceso de
elaboracin de modelos matemticos. Por otra parte, se mostrarn algunas alternativas para
aquellos casos en los cuales no sea posible hallar la solucin por mtodos usuales.
En la seccin propuestas didcticas se incluirn diferentes problemas para analizar en clase y
favorecer el pensamiento y la reflexin de los estudiantes. Finalmente, en Apndice se
abordarn algunos temas que son de inters por sus aplicaciones, y se mostrarn algunos
problemas posibles de modelar mediante ecuaciones diferenciales.
3
- Relacin final Carina A.
Fusse
Desarrollo
4
- Relacin final Carina A.
Fusse
dio cuenta de que la diferenciacin y la integracin como sumacin deban ser procesos
inversos. Newton, entre tanto, d la primera clasificacin de las E.D.O. de primer orden
(fluxiones). El primer tipo estaba compuesto de aquellas ecuaciones en las cuales dos fluxiones
x, y, y un fluente x o y estaban relacionados, como por ej., x/y= f(x). 1 El segundo tipo,
relacionaba dos fluxiones y dos fluentes, como por ejemplo la ecuacin x/y=f(x,y). Finalmente
el tercer tipo abarc a ecuaciones que involucran ms de dos fluxiones, las cuales actualmente
conducen a ecuaciones diferenciales en derivadas parciales. En esta poca, los problemas eran
abordados con una visin geomtrico-euclidiana, como consecuencia de lo restringido que se
encontraba el concepto de funcin en el S. XVII. La nocin de tangente que se manejaba, era
netamente intuitiva. Adems, el clculo tanto de Newton como de Leibniz trataba de cantidades
variables. Leibniz consideraba una sucesin de valores infinitamente prximos, concibiendo el
continuo geomtrico formado por segmentos infinitesimales. Newton consideraba cantidades
que variaban con el tiempo; tena una idea intuitiva de movimiento continuo cercana a la nocin
de lmite, y se refera a lo indefinidamente pequeo como ltimas razones.
Ya en la ltima dcada del S. XVII los hermanos James y Johan Bernoulli, introducen
trminos como el de integrar una ecuacin diferencial as como el proceso de separacin de
variables. Alrededor de 1692 Johan Bernoulli encontr el mtodo del factor integrante.2 De
todos modos, los mtodos an eran incompletos. 3 Leonhard Euler (1707-1783) sistematiza los
trabajos anteriores. En su obra, es posible encontrar la primera teora de las EDO, la
clasificacin en separables, homogneas, lineales, exactas, las de segundo orden y su
generalizacin a las de orden superior. Tambin se encuentra el mtodo de series de potencias.
La expresin dy/dx, significa para Euler un cociente entre diferenciales y no nuestra derivada
actual. Tambin fueron importantes las contribuciones de Lagrange 4(1736-1813) y del
matemtico italiano Ricatti 5 (1676-1754).
Este trabajo de conceptualizacin marca el fin de la etapa algebraica-algortmica. En esta, se
pueden observar algunas insuficiencias, como una incorrecta comprensin del concepto de
1
En lenguaje actual se escribira dy/dx=f(x) ,dy/dx=f(y).
2
Utilizado para resolver ecuaciones en las que el mtodo anterior no poda usarse, ya que aunque fuera posible separar las
variables, an no se conoca que dx/x = ln x.
3
En esta poca la atencin se diriga a la resolucin de determinadas ecuaciones diferenciales y no a la obtencin de mtodos
generales o de propiedades generales de las soluciones.
4
Lagrange demostr que la solucin gral. de una ecuacin diferencial lineal homognea de orden n con coeficientes constantes
es de la forma y=c1y1+c2y2 +cnyn, donde c1,c2,cn son constantes arbitrarias, e y1,y2,..yn conj de soluciones linealmente
independientes (Principio de Superposicin) , asimismo descubri en su forma general el mtodo de variacin de parmetros
5
La ecuacin general de Ricatti x = f(t) x 2 + g(t)x + h(t) no es , en general, integrable elementalmente. En el caso de la
ecuacin especial de Ricatti x= ax + bx con a, b, constantes, Liouville demostr que esta ecuacin slo es integrable
elementalmente para valores de de la forma: -4n/(2n-1) (n: nmero entero) y para =-2. Por integrable elementalmente se
entiende que existe una expresin algebraica finita que en trminos de las funciones trascendentes elementales (exponencial,
logaritmo,y funciones exponenciales) y un nmero finito de cuadraturas (integrales) , d la solucin de la ecuacin diferencial.
5
- Relacin final Carina A.
Fusse
6
El problema de la integral definida se aclara a fines del S. XIX con los trabajos de Lebesgue
7
Este movimiento del anlisis matemtico hacia su fundamentacin puede describirse como una relacin entre teora prctica:
la necesidad del clculo de reas y volmenes y de la bsqueda de mximos y mnimos entre otros problemas concretos impuls
la creacin del algoritmo del clculo diferencial e integral. La aplicacin de estos algoritmos a nuevas situaciones permiti la
generalizacin y precisin de dichos algoritmos. En ltima instancia el anlisis se formaliz como lgicamente no-contradictorio,
como un sistema relativamente cerrado y completo.
8
Es sabido que en el estudio de ciertos sistemas fsicos es necesario conocer propiedades de las soluciones como estabilidad,
periodicidad, acotacin, etc. Sin tener que recurrir a la difcil- y a veces impracticable tarea de hallar expresiones analticas para
las soluciones.
6
- Relacin final Carina A.
Fusse
matemtica rica por su contenido, evolucionando rpidamente, en estrecha vinculacin con otras
reas de la matemtica y sus aplicaciones.
2. Nociones preliminares.
dny d n 1 y dy
an ( x ) an 1 ( x ) .... a1 ( x) a0 ( x) y g ( x )
dx n dx n 1 dx
donde ai(x) son funciones dadas e y(x) la funcin incgnita.9
9
Este tipo de ecuaciones se analizarn con ms detalle en las secciones siguientes.
7
- Relacin final Carina A.
Fusse
10
Este tema, se tratar con ms detalle al analizar el teorema de existencia y unicidad- Seccin 3-
8
- Relacin final Carina A.
Fusse
Situacin del
mundo real
real
Interpretacin
Formulaci
n
9
- Relacin final Carina A.
Fusse
para ciertas condiciones. Entonces, el investigador tiene un gran desafo: encontrar caminos
para simplificar el modelo matemtico sin sacrificar rasgos esenciales de la situacin del mundo
real; en otras palabras, tiene la compleja tarea de lograr un equilibrio entre realismo y
factibilidad; entre lo que es fsicamente realista y lo que es matemticamente viable.
3. Algunos mtodos para hallar soluciones de
ecuaciones diferenciales .
A continuacin se presentarn diversas tcnicas para resolver algunas ecuaciones diferenciales
ordinarias, que luego sern utilizados en algunas situaciones problemticas de este trabajo. Es
de notar que no hay un mtodo (o mtodos) que se pueda aplicar a cualquier ecuacin, sino
que hay algunos mtodos que se pueden aplicar en ciertos casos.
10
- Relacin final Carina A.
Fusse
y por lo tanto G(Y)=F(x)+C 13 que nos d la solucin general y(x) definida en forma implcita.
Si se puede despejar y de esta expresin, tendremos la solucin general y(x) en forma explcita,
dependiendo de una constante C, a determinar por los datos iniciales.
En la prctica, para resolver ecuaciones de esta forma, se adopta la siguiente
Regla: 14
dy/dx = f(x).g(y)
dy/g(y)= f(x)dx (g(y) 0)
G(y)=F(X) + C
13
Siendo G y F, primitivas de 1/g y de f respectivamente .
14
Al aplicar esta regla, se opera con los diferenciales como si fueran nmeros, y se integra ambos miembros de la
igualdad, olvidando que dependen de distintas variables, ya que son los diferenciales los que indican respecto a cual
variable integrar.
11
- Relacin final Carina A.
Fusse
Esta expresin tiene la forma de (4) con f(v)= - (1+v 2)/v donde v=y/x
Entonces la ecuacin (6) se transforma en
vdv dx
. La solucin de esta ltima en trminos de x e y es: x2 (x2+ 2y2)=C
1 2v 2 x
Un mtodo para obtener la frmula anterior y que puede utilizarse en lugar de recordarla es
encontrar una funcin =(x) tal que si multiplicamos la ecuacin por dicha funcin, el primer
15
En la seccin Apndice se mostrarn otras situciones para ED lineales de orden superior.
12
- Relacin final Carina A.
Fusse
miembro se transforma en la derivada del producto y. Esto es, multiplicando (7) por resulta:
dy/dx + Py = Q
e intentamos imponer a , la condicin de que dy/dx + Py = d (y) /dx. (8)
Luego de desarrollar el segundo miembro de (8) y reducir trminos se obtiene, como condicin
que debe satisfacer , d/dx= P. (9)
Aqu P=P(x) es una funcin conocida de manera que podemos separar las variables y despejar
d/=P dx, , ln = Pdx + ln C
= C e Pdx
(10)
Como no necesitamos la funcin ms general , podemos tomar C=1 en (10) y utilizar
= e Pdx
. ( 11)
Esta funcin se llama factor de integracin de la ecuacin (7). Con su ayuda, dicha ecuacin
se transforma en d(y) /dx =Q , cuya solucin es:
y= Q dx + C. (12)
de donde se deduce la frmula.
Como viene dada por (11), mientras que P y Q son datos de la ecuacin diferencial (7), las
ecuaciones (11) y (12) proporcionan todo cuanto se precisa para resolver (7).
Ejemplo.
dx
Sea la ecuacin dy/dx + y = ex. Aqu P=1, Q= ex. El factor integrante es = e = ex.
Multiplicamos la ecuacin dada por ex. As resulta : ex.y + ex.y= e2x que reconocemos como
d(ex.y)/dx= e2x.Luego, integrando con respecto a x, obtenemos e x.y= e2x+C.Despejando y, se
obtiene y = ex+ C e-x.
Observaciones:
Este teorema da una solucin en el intervalo completo I para una ED lineal. 16 A continuacin
veremos el teorema que establece condiciones suficientes para asegurar la existencia y
unicidad de solucin para cierto tipo, bastante general, de ecuaciones diferenciales.
16
Para probar el teorema basta ver que la funcin f(x,y)=-P(x)y+Q(x) satisface las hiptesis del teorema de existencia y
unicidad en I. Luego comprobar que y(x)= e -P(x)dx[ ( Q(x) e Q(x)dx)dx + C ] verifica la ecuacin en todo I.
13
- Relacin final Carina A.
Fusse
tiene al menos una solucin en algn intervalo abierto J, que contiene al punto x=a. Si adems la
derivada parcial f / y es continua en ese rectngulo, entonces la solucin es nica en algn
intervalo abierto Jo (quiz ms pequeo) que contenga al punto x=a.
Recprocamente, si y(x) satisface (2), entonces, derivando, se tiene que y=f(x, y(x)) y adems
y(a)=b. As las ecuaciones de (1) pueden reemplazarse por la de (2).Esto constituye la base del
mtodo de iteracin de Picard: en el integrando de (2) se sustituye y(t) por la constante b,
luego se integra y se iguala a y1(x) el segundo miembro resultante de (2):
x
y1 ( x ) b f (t , b)dt (3)
a
Con esto se inicia el proceso. Para continuar se
usan las frmulas iterativas
x
y n 1 ( x ) b f (t , y n (t )) dt (4)
a
Con las hiptesis del teorema se prueba que existe un intervalo J que contiene a x=a y una
funcin y(x) definida en J tal que y n(x) y(x) de manera uniforme, entonces tomando lmite en
(4) se obtiene que y(x) satisface (2) y, por lo tanto, (1).
Veamos el simple caso (ya analizado en la seccin 2.2) de la ecuacin y=y con la condicin
y(0)=1. Tanto la funcin f(x,y)=y, como la derivada parcial f / y =1 son continuas en toda su
extensin; as el teorema implica la existencia de una solucin nica para cualquier dato inicial
(a,b). Si bien el teorema asegura la existencia de solucin nica solamente en algn intervalo en
torno a x=a, en este caso cada solucin y=C.ex est definida para todo x real. Si consideramos
y(0)=1, entonces resulta la funcin y= ex.
Ahora, apliquemos el mtodo de aproximaciones sucesivas a este PVI.
17
14
- Relacin final Carina A.
Fusse
x
y n 1 ( x) 1 y n (t ) dt
0
Dado que y= -(y/x)2 toda solucin derivable es estrictamente decreciente (excepto en los ejes
coordenados en los cuales x o y son cero)
En este caso, separando variables e integrando obtenemos:
dy/y2 = - dx/x2
15
- Relacin final Carina A.
Fusse
1/y = -1/x + C
y = x / (Cx-1) (*) c .
Cada solucin de la forma anterior, tiene asntotas y =1/C y x=1/C, siendo C no nulo, y en
efecto, cada una de dichas curvas solucin consta de las dos ramas de una hiprbola una de las
cuales pasa por el origen. Para C=0 obtenemos la solucin y=-x. Ms an, la resolucin anterior
excluye la solucin y=0, la cual (por sustitucin en la ecuacin dada inicialmente) es otra
solucin.
Por el punto (0;0) pasan infinitas soluciones. En otras palabras, la condicin inicial y(0)=0 se
satisface para infinitas soluciones diferentes. No hay solucin que satisfaga la condicin y(0)=b
si b es no nulo. (Esto tambin se puede ver reemplazando x=0 en la ecuacin.)
Para todo a no nulo, existe solucin nica que satisface la condicin y(a)=b., para todo b real
16
- Relacin final Carina A.
Fusse
Se pueden construir tantos ejemplos como se desee uniendo partes de las grficas de y=sen x,
y=1, e y= -1 para formar una funcin diferenciable.
(III) Otra cuestin para notar es que el intervalo de existencia garantizado por el teorema puede
ser menor que el ancho del rectngulo en el cual f(x,y) es continua. Consideremos el problema
y=y2; y(0)=1. Aqu f(x,y)=y2 , f / y=2y, ambas continuas en todos los puntos del plano, en
particular en el rectngulo -2<x<2, 0<y<2. Como el punto (0;1) est en el interior de dicho
rectngulo, el teorema garantiza la existencia de solucin nica sobre algn intervalo que
contenga a x=0. Al resolver mediante separacin de variables, se llega a y=1/(1-x). Esta funcin
tiene una asntota vertical en x=1, con lo cual es solucin de la ecuacin en los intervalos (-; 1)
y en (1, ). No hay solucin de la ecuacin y=y2 que cubra por completo el eje real, (excepto
para la funcin constante y=0). Como la solucin no es acotada a la izquierda de x=1, no existe
una solucin definida en el intervalo completo -2<x<2, pero la solucin existe, como en este
ejemplo, solamente en un intervalo J ms pequeo. De la misma forma, el intervalo Jo de
unicidad puede ser ms pequeo que J, como se observ en el ejemplo II.
5. Propuestas didcticas.
En esta seccin se proponen algunas situaciones para presentar en el aula. Estn pensadas para
alumnos que finalizan su nivel secundario. Pueden ser oportunas tanto para introducir el tema de
ecuaciones diferenciales, como tambin para observar su aplicacin en diversas reas. Los
17
- Relacin final Carina A.
Fusse
modelos matemticos que se analizarn sern sencillos, haciendo notar a los alumnos que no
ser posible considerar el fenmeno de estudio exactamente como se presenta en la
naturaleza, debido a la gran cantidad de aspectos que habra que tener en cuenta y a la
complejidad de algunas nociones matemticas involucradas; as slo consideraremos una
situacin ideal dejando de lado aquellos aspectos del fenmeno que no tienen gran relevancia
en la situacin. El marco algebraico ser complementado con otros acercamientos, por ejemplo
el grfico, para as tener una mayor riqueza de conexiones entre las distintas representaciones.
5.1. Situaciones para aplicar integracin directa y ver conexiones con geometra y fsica
5.1.1: Determinar la curva cuya pendiente en el punto (x,y) sea igual a 3x 2, y que adems pase
por el punto Po= (1;-1).
Solucin. En lenguaje matemtico y= 3x2 (ecuacin diferencial), adems y=-1, cuando x=1
(condicin inicial).
Estamos en presencia de una ED que tiene solucin, ya que la funcin y=3x 2 es continua en los
reales, por lo tanto existe su antiderivada. Al integrar respecto a x miembro a miembro de la
ecuacin diferencial, se llega a y=x3 + C (solucin general). Despus imponemos la condicin
inicial para obtener C; -1=13+ C , de donde C=-2.
Luego la curva particular que pasa por el punto dado es y= x3 -2 (solucin particular).
Geomtricamente:
Si se representa la solucin particular y=F(x) (tomando C=0) entonces cualquier otra curva de la
solucin y=F(x) + C se obtiene trasladando verticalmente la anterior una cantidad C. De este
modo se obtiene una familia de curvas paralelas, en el sentido de que la pendiente de la
tangente de cualquiera de ellas en el punto de abscisas x, es 3x 2. Esta familia de curvas
paralelas tiene la propiedad de que, dado cualquier punto P(x 0, y0) con x0 en el dominio de F,
hay una y slo una curva de la familia que pasa por ese punto particular. Para la curva que pasa
por P0, la ecuacin debe satisfacerse para las coordenadas de P 0.
18
- Relacin final Carina A.
Fusse
5.1.2 Desde una plataforma situada a 10 m sobre el suelo, se dispara hacia arriba un proyectil
con una velocidad inicial de 40 m/s. Suponemos que la nica fuerza que afecta el movimiento
del proyectil durante su recorrido es la de la gravedad, que produce una aceleracin hacia
debajo de 9,8 m/s 2. Hallar la ecuacin de la altura del proyectil sobre el suelo como funcin del
tiempo si el proyectil fue disparado en el instante inicial x=0 seg.
Adoptemos la siguiente notacin:
y: espacio recorrido (en metros)
x: tiempo (en seg)
Solucin.
Por la interpretacin fsica de la derivada, se sabe que: velocidad v= y, aceleracin a = v = y.
Como el proyectil se lanza hacia arriba, en contra de la fuerza de gravedad, su velocidad ser
una funcin decreciente de x. Por lo tanto, la ecuacin a resolver
y(x)= -9,8 con las condiciones y(0)= 40 , y(0)=10
Se integra una vez para obtener y=-9,8x + c1
Y otra para obtener y= - 4,9 x2+ c1x + c2 (solucin general).
A partir de las condiciones iniciales, se pueden hallar el valor de las constantes c 1 y c2
c1 = y(0)= 40 m/s, c2= y(0) =10 m
De este modo, la ecuacin del movimiento es y = -4,9x2 + 40x + 10 (solucin particular).
Observaciones didcticas:
Este ejercicio tambin puede ayudar a recordar nociones de rea bajo una curva. Por ej.,
pedir a los alumnos que dibujen la funcin velocidad y que verifiquen que el rea bajo
dicha curva nos da la distancia recorrida (aclarando que el clculo dar la distancia
contadadesde la plataforma ubicada a 10 m del suelo). Asimismo, preguntar qu representa
el rea bajo la curva aceleracin.
El economista ingls Thomas Malthus (1766 1834) fue uno de los primeros que se ocup de
estudiar el problema de la poblacin mundial. Para construir su modelo, supuso que en un
intervalo de tiempo x, las cantidades de nacimientos y de muertes son proporcionales al
tamao de la poblacin y al intervalo x. En una primera aproximacin, la suposicin de
Malthus es razonable, porque es de esperar que el nmero de nacimientos aumente con la
poblacin y lo mismo el nmero de muertes. Indicamos con y a la poblacin existente en el
instante x, la tasa de natalidad, la tasa de mortalidad. Estos ndices de natalidad y
19
- Relacin final Carina A.
Fusse
18
La tasa de natalidad (mortalidad) es el cociente entre el n de nacimientos (muertes) en el instante x, y el n de individuos en el
instante x.
19
El crecimiento de poblacin no viene dado en forma continua, pero igualmente se aproxima el problema a uno continuo y se lo
estudia con los mtodos de las funciones continuas y derivables , a fin de poder utilizar nociones conocidas y de algn modo
simplificar el problema
20
- Relacin final Carina A.
Fusse
Al realizar estos grficos, los alumnos pueden verificar lo analizado antes, acerca de la funcin
creciente, decreciente y constante. Reconocer la funcin exponencial en los dos primeros
casos y la lineal (constante) en el ltimo. Por otra parte, tambin a partir de la ecuacin de y(x)
se pueden corroborar las deducciones que realizaron.
Por ej. Sea el caso >. Al derivar y(x)= y0. ( -) e ( -) (x- x0)
>0 >0 >0 para todo x
queda verificada la afirmacin anterior: y(x) es creciente para todo x.
Este ejercicio es til tambin para traducir de un lenguaje a otro: del simblico al
coloquial, del simblico al grfico, etc., permitiendo deducir mucha informacin a partir
de nociones conocidas anteriormente por los estudiantes y sin necesidad de resolver
(inicialmente) la ecuacin. Por otra parte es apropiado hacer notar que los grficos realizados
corresponden al modelo matemtico; describen la realidad slo aproximadamente (no
puede por ej. haber fracciones de individuos).20
21
- Relacin final Carina A.
Fusse
Analizando esta expresin y tambin los grficos que siguen, pueden deducirse algunas
cuestiones como por ejemplo, qu ocurre con la poblacin si el valor de la poblacin inicial es
inferior(o superior) a L; por otra parte, analizar el comportamiento de y(x) cuando x .
Se puede tambin pedir a los alumnos que grafiquen la funcin cuadrtica D(y)=ky.(L-y). La
grfica es una parbola invertida (debido al coeficiente k>0), con vrtice =(L/2; L 2/4), y races
(0;0) y (L;0). El vrtice, que es el punto mximo de la parbola, indica algo importante: si para
una solucin y(x), existe un instante x m tal que y(xm)=L/2 entonces y(xm)=D(y(xm))= L2/4, es
mxima, es decir tenemos la mxima velocidad de crecimiento de la poblacin. Una
22
consecuencia de esta observacin es que y(x m)=0 y en este punto habr un punto de
inflexin de la grfica de y.
Grafco de D(y)=ky.(L-y).
22
Teora: Sea f una funcin definida en un intervalo [a,b] que tiene un mximo o mnimo relativo en un punto interior x=c del intervalo (a,b). Si f
es derivable en c, entonces f (c) =0. En este caso, f es nuestra funcin derivada y, que tambin es derivable.
22
- Relacin final Carina A.
Fusse
En el momento inicial (x=0) un tanque contiene y0 gramos de sal, disueltos en 5 litros de agua.
En x=0 comienza a entrar en el tanque, agua que contiene 1 gramo de sal por litro, a razn de 2
litros por minuto.
Hay un mecanismo que permite una buena disolucin. En x=0 sale agua del tanque tambin a
razn de 2 litros por minuto.
a) Hallar la cantidad de sal dentro del tanque en funcin del tiempo y graficar la funcin para
y0=10.
b) Estudiar el caso en que el flujo de entrada y salida son distintos, considerando que entran 2
litros/min y salen 3 litros/min.
Soluciones
a) Sea y(x) la cantidad de sal (en gramos) en el instante x.
Antes de plantear y resolver este problema analicemos cmo sern sus soluciones.
A medida que transcurre el tiempo el agua salada que entra, ir purificando la que haba,
haciendo que la concentracin de sal en el tanque tienda a 1g/litro. Como la capacidad del
tanque es de 5 litros, luego de mucho tiempo existir una cantidad de sal cercana a 1g/litro .5
litros= 5 g. Luego, esperamos que las soluciones del problema tengan como asntota la recta
y=5. La solucin de equilibrio ser y(x)=5 (cuando y 0=5). En cambio si y0>5 la soluciones
deberan ser decrecientes, mientras que si 0y0<5 entonces deberan ser crecientes.
Entonces: sea y(x) la cantidad de sal (en gramos) en el instante x.
La velocidad con que vara la cantidad de sal ser igual a la diferencia entre la velocidad de
entrada de sal (1g/litro2litros/min=2g/min) y la velocidad de salida 23 .
Esto lo expresamos as:
dy g litros y ( x) g litros
1 .2 .2
dx litro min 5 litros min
23
La cantidad de sal que sale, es variable, si en un momento hay y(x) gramos de sal, entonces cada litro contiene y(x)/5 gramos de sal y la
velocidad de salida de sal ser 2y(x)g/min).
23
- Relacin final Carina A.
Fusse
concentracin de sal (en agua entrante)x veloc del agua entrante -- concentr de sal (en agua saliente)x veloc del agua saliente.
dy g litros y ( x) g litros
1 .2 .3 24
dx litro min (5 x)litros min
24
El denominador (5-x) se debe a que ahora el contenido del tanque disminuye siendo (5-x) pues pierde 1 litro/min. Entonces la
proporcin de sal a la salida es y(x)/ (5-x); siendo y(x) sal presente en el momento x; (5-x) volumen en el momento x.
24
- Relacin final Carina A.
Fusse
Comentario didctico
Al igual que en los problemas anteriores, esta situacin ayuda a comprender el significado de
las variables involucradas, y aprender a expresar el problema empleando una notacin
adecuada. Adems resulta til analizar y discutir las hiptesis y lo que ocurre si las
modificamos. Todo esto contribuye a la formacin general del alumno.
6. Otros mtodos.
Qu sucede en la prctica si no es posible hallar la solucin de una ED en forma exacta?
Los mtodos de resolucin de ecuaciones diferenciales que hemos visto anteriormente, an en el
caso en que se puedan aplicar, dependen de la posibilidad de hallar primitivas, el cual,
sabemos, en general no es un problema sencillo.
Por ejemplo: sen x2 dx ex/x dx senx /x dx 1/lnx dx
y tantas otras, en las cuales no hay manera de expresarlas como combinaciones finitas de
las llamadas funciones elementales. Es ms, slo en un nmero reducido de casos puede
una ED ser resuelta en forma cerrada. Esto no depende solamente de la mayor o menor
habilidad del matemtico para resolver la ecuacin, sino que existen muchas ecuaciones
(algunas de gran importancia para las aplicaciones fsicas) para las cuales tal expresin no
existe. Esto ha sido demostrado por primera vez por Liouville para la ecuacin de Ricatti y
tiene la importancia enorme de mostrar la necesidad de otros mtodos de solucin, que tengan
solamente carcter numrico aproximado, o bien que utilicen algoritmos infinitos por ej.,
series. Los llamados mtodos numricos pueden introducirse conceptualmente, haciendo
notar que en la prctica siempre interesan soluciones particulares (no tanto la soluc gral) y
dicha solucin particular se conocer si se conoce su valor numrico (con aproximacin
suficiente) para ciertos valores de la variable independiente. Uno de los mtodos ms simples de
integracin numrica aproximada consiste en tomar como equivalentes la derivada y el cociente
de incrementos finitos (y(xi)-y(xi-1))/(xi xi-1)
La exactitud se puede mejorar, ya sea disminuyendo el intervalo x i xi-1, ya sea utilizando
frmulas de mejor aproximacin para la derivada. Sin entrar en detalles de tales mtodos,
25
- Relacin final Carina A.
Fusse
7. Apndice.
En esta seccin se incluyen algunos temas de ampliacin que pueden resultar tiles para
apreciar sus aplicaciones en diversas reas. Los desarrollos tericos no sern exhaustivos, solo
se presentarn algunas nociones generales acompaados de ejemplos posibles para mostrar a los
alumnos, en este caso destinados al nivel superior.
(a) La ecuacin lineal general de n-simo orden con coeficientes variables tiene la forma:
y ( n) a1 ( x) y ( n 1) .... a n ( x) y f ( x ) (1)
26
- Relacin final Carina A.
Fusse
Los coeficientes ai(x) y f(x) son funciones continuas en un intervalo abierto I en el que
deseamos resolver la ED, pero no es necesario que sean funciones lineales. La ecuacin lineal
Al primer miembro de (2) lo indicaremos con L(y), as dicha ecuacin queda escrita en la
forma: L(y)=0 (3)
Por ejemplo, la ecuacin lineal de 2 orden y + 2xy + 3y=cos x es no homognea, su
ecuacin homognea asociada es y + 2xy + 3y=0.
25
Enunciamos algunas propiedades sin demostracin. Estas propiedades sern de utilidad para las aplicaciones.
26
Vlido tambin para el caso no homogneo
27
En general, n funciones f1,f2,fn son linealmente independientes (l.i) en un intervalo I si la identidad c1f1 + c2f2 +cnfn=0 se
cumple en I solamente para el caso trivial c1=c2=cn=0. As las funciones f1,f2,fn son l.i., si ninguna de ellas es combinacin
lineal de las otras.
27
- Relacin final Carina A.
Fusse
para toda x en I. En particular las ecuaciones (5) y (6) deben ser vlidas en x 0. Reemplazando
x=x0 en (5), vemos que de acuerdo con (4), es c11+0++ 0=0 , es decir c1=0. Sustituyendo x=x0
en las ecuaciones (6) obtenemos c2=c3=cn=0. As queda demostrado el teorema.
Teorema 3: Sean j1,,jn las n soluciones de L(y)=0, definidas en I, que adems satisfacen las
condiciones (4). Si j es cualquier solucin de L(y)=0 en I, entonces existen n constantes c1,
,cn tales que j = c1j 1++cnj n.
Para probarlo consideremos j(x0)= 1j(n-1) (x0)= n. y sea la funcin y= j(x0)j1++j(n-1)
(x0)jn, que es una solucin de L(y)=0 y es claro que
y(x0)= j(x0)j1(x0)++j(n-1) (x0)jn (x0)= 1 , ya que j1(x0)=1, j2(x0)=0,.,jn(x0)= 0.
Empleando las otras relaciones de (4) vemos que y(x0)= 2 ..y(n-1) (x0)= n.
Por lo tanto y es una solucin de L(y)=0 que satisface las mismas condiciones iniciales en x 0
que j. De acuerdo con la unicidad dada por el teorema 1 debemos tener y = j, esto es: j =
c1j1++cnjn. Con esto queda probado el teorema para las constantes c 1=1,.. cn =n
Conclusin: el contenido del teorema 3 es que las funciones j1, j2,., jn que satisfacen las
condiciones dadas en (4) forman una base para el conjunto de soluciones de (3) en I, y que este
espacio vectorial de funciones tiene dimensin n.28
28
- Relacin final Carina A.
Fusse
Y(x)= yc + yp
29
(yc se llama funcin complementaria)
Ejemplo: Sea la ecuacin no homognea y + 4y=12x.
Es evidente que yp= 3x es una solucin particular y que yc = c1 cos 2x + c2 sen 2x es la solucin
de la ecuacin homognea asociada. Si se quiere hallar una solucin de la ecuacin dada que
satisfaga y(0)=5, y(0)=7 primero escribimos la solucin general : y= c1 cos 2x + c2 sen 2x+ 3x.
Luego y=-2c1sen2x + 2c2cos2x+3. De las condiciones iniciales obtenemos: y(0)=c 1=5 ;
y(0)=2c2+3=7, con lo cual c2=2. As, la solucin es y= 5cos 2x + 2sen 2x+ 3x.
Observacin: En la seccin (3.4) de este trabajo, vimos que existe un procedimiento mediante el
cual se puede encontrar una solucin general de cualquier ecuacin diferencial lineal de 1
orden (factores integrantes). Por el contrario, no existe un procedimiento para resolver en forma
general una ecuacin lineal de orden superior arbitraria y con coeficientes variables (al menos
no en forma rutinaria, y en nmero finito de pasos). En estos casos se requieren otras tcnicas,
por ejemplo series de potencias o mtodos numricos. Afortunadamente, muchas aplicaciones
importantes requieren slo ecuaciones homogneas con coeficientes constantes. Estas aparecen
como modelos matemticos de sistemas mecnicos y circuitos elctricos.
En lo que sigue del trabajo, nos dedicaremos a este tipo de ecuaciones.
L ( y ) an y ( n) an 1 y ( n 1) .... a1 y ' a0 y
29
Sea yp solucin de L(y)=f(x).Si Y es solucin de L(y)=f(x) entonces existe yc solucin de la ecuacin homognea asociada
L(y)=0 tal que Y=yc+yp.
Dem.: Y=(Y-yp)+yp donde Y-yp es solucin de la ec homognea asociada ya que L(Y-yp)= L(Y)-L(yp)=f(x)-f(x)=0.
Recprocamente: todas las funciones Y=yc+yp donde yc es solucin de la ecuacin homognea asociada son soluciones de
L(y)=f(x).
Dem: L(Y)= L(yc+yp)= L(yc)+L(yp)=0+f(x)=f(x).
.
29
- Relacin final Carina A.
Fusse
Puesto que erx nunca es cero, vemos que y= erx ser solucin de la ecuacin dada cuando r sea
donde cada yi es una funcin de x, yi= dyi/dx, y los aij son constantes
Si se hace:
30
De acuerdo con el teorema fundamental del lgebra, la multiplicidad de las races de todo polinomio de grado n , suman n.
Calcular los valores exactos de estas races puede ser difcil o an imposible. La frmula cuadrtica es suficiente para las
ecuaciones de 2 grado, pero para ecuaciones de grado superior el problema es ms complejo. Se necesitar por ej, recurrir a
mtodos numricos, o tal vez acertar con una factorizacin fortuita.
31
Otros casos: Si la ecuacin caracterstica (3) tiene una raz repetida r de multiplicidad k, entonces la parte de la solucin
general de la ecuacin diferencial correspondiente a r en la ecuacin (1) es de la forma e rx (c 1 + c 2 x+.+ c k x k-1).
Si la ecuacin caracterstica tiene un par de races complejas conjugadas no repetidas abi (b no nulo) entonces la parte correspondiente de la
solucin general de la ecuacin (1) tiene la forma: e rx(c 1 cos bx+ c 2 sen bx).
30
- Relacin final Carina A.
Fusse
Propiedades: al igual que para ecuaciones lineales homogneas (ya sea de coef constantes o
variables), puede probarse que el conjunto de soluciones del sistema homogneo Y=AY con A
n x n es un espacio vectorial de dimensin n.
n
forma: Y ( x) C k e lk vk (3)
k 1
donde los Ck son constantes arbitrarias, lk son autovalores y los vk son autovectores asociados a
los correspondientes lk . Esto se debe a que el conjunto de soluciones es un espacio vectorial de
dimensin n.
Observaciones y ejemplos:
(I) Si A es una matriz diagonal, las soluciones pueden obtenerse de inmediato, ya que los
autovalores de una matriz diagonal, son precisamente los elementos de dicha diagonal.
Ejemplo:
Sea el sistema y1= y1 ;y2= 3y2
La forma matricial del sistema de ecuaciones diferenciales dado es:
y '1 1 0 y1
y ' 0 3 y
2 2
Este sistema tan simple de ED, cuya matriz A es diagonal se suele llamar desacoplado.
Los autovalores de A son directamente 1 y 3.Si se calculan los autovectores se obtienen,
1 0
v1 y v 2 .
0 1
32
Del lgebra lineal, se sabe que el escalar l es autovalor de una matriz A nxn si existe un vector no nulo v, tal que Al=lv.
Regla prctica para hallar los l: se resuelve la ecuacin caracterstica det (A- l I) =0 siendo I la matriz identidad. Luego para
obtener los autovectores asociados, se resuelve el sistema homogneo (A - l I)v=0 , esto para cada autovalor.
31
- Relacin final Carina A.
Fusse
x 1 3x 0
Teniendo en cuenta (3), la solucin general del sistema es: Y ( x) C1.e C 2 .e 1
0
(forman un EV de dim =2).
Dado en forma de coordenadas, resulta:y1= C1 ex; y2= C2 e3x Estos resultados eran esperables,
ya que resolver un sistema desacoplado es resolver cada ecuacin por separado.
y '1 3 1 y1
y ' 2 2 y
2 2
Los autovalores de A, son l1= 1; l2=4 con autovectores correspondientes v1=(1;2) v2=(1;-1).
Luego la matriz P (que resulta inversible pues los autovectores son li) es
1 1
.
2 1
u '1 1 0 u1
u ' 0 4 u u1= u1 ; u2= 4u2
2 2
lo cual implica que las soluciones del sistema son u1= C1 ex ; u2= C2 e4x
1 1 C1e x C1e x C 2 e 4 x
Y(x)=
4x x
x 4x
4 x =C1 e (1;2)+ C2 e (1;-1)
2 1 2
C e 2
1C e C 2 e
que es la solucin que se obtiene aplicando directamente (3).
32
- Relacin final Carina A.
Fusse
Por lo tanto las soluciones (que pueden verificarse) del sistema son:
y1= C1 ex + C2 e4x
y2=2 C1 ex - C2e4x
Siguiendo con este problema
Si la poblacin inicial (x=0) es y1 (0) =90; y2 (0) =150 cul ser la poblacin de cada especie
luego de medio ao? Se elimina la poblacin de la especie S1? Si es as, al cabo de cunto
tiempo?
Solucin
Poblacin inicial (x=0) y1(0)= 90= C1 + C2 ; y2(0)=150=2 C1 -C2
Resolviendo el sistema, se llega a C1= 80; C2= 10
Por lo tanto la poblacin luego de 1/2 ao ser
y1(0,5)= 80 e0,5 + 10 e 2 ( 206 individuos de S1 aprox.)
y2(0,5)= 160 e0,5 - 10 e2 ( 190 individuos de S2 aprox.)
Para ver si la poblacin de S1 se elimina, hacemos: y2=0
Entonces, 160 ex 10 e4x=0
16 ex= e 4x
16= e 3x
De aqu resulta x= (ln16)/3 @0, 92 aos @ 11 meses.
As, la poblacin de S1 estar eliminada despus de solo 11 meses aunque comenz con una
poblacin mayor.
Un ejemplo simple de ecuacin diferencial lineal homognea de segundo orden que aparece en
el estudio de las vibraciones, es y + k2 y = 0 (1) y representa el caso ideal de no existir
rozamiento o resistencia. Puede verificarse que y=cos kx e y=sen kx son soluciones
independientes de (1) y por lo tanto forman una base del espacio de soluciones. Esta es la razn
por la cual las curvas y= sen kx e y= cos kx constituyen el fundamento del estudio de los
mecanismos vibratorios. Si en la ecuacin (1) se hace intervenir la resistencia entonces
aparecer otro trmino ry(r>0) resultando: y +ry+ k2 y=0 (2).
Para esta ecuacin, y suponiendo que r/2 <k, se obtienen vibraciones subamortiguadas.
33
- Relacin final Carina A.
Fusse
2
r
y1 e rx / 2 cos x , y 2 e rx / 2 sen x; k2
2
la grfica de y2 es
En este caso, las oscilaciones son del mismo tipo que las del seno o coseno, pero su intensidad
disminuye por efecto de un factor exponencial, decreciendo ms o menos rpidamente de
acuerdo con la magnitud del coeficiente r, que representa el rozamiento.
La ecuacin (2) aparece en la siguiente situacin:
Supongamos que tenemos una partcula que se mueve a lo largo de una recta, y que est unida al
origen por una fuerza elstica tal como un resorte. Si se aparta la partcula de su posicin de
equilibrio en el origen hasta llevarla a una posicin dada por su coordenada y, la fuerza la har
retroceder con una intensidad que supondremos proporcional a la elongacin y con constante de
proporcionalidad k2; puesto que la fuerza est dirigida hacia el origen, vendr representada por
k2y. Supongamos adems que existe rozamiento, el cual retarda el movimiento, y que ste es
proporcional a la velocidad y de la partcula, con otro factor de proporcionalidad r (r>0).
Entonces la fuerza total en un instante cualquiera ser k 2y ry. De acuerdo con el principio
general de Newton, encontramos que my= k 2y ry (m: masa de la partcula, y: aceleracin),
o sea my +k2y +ry =0. Esta ecuacin es equivalente a la (2).
Conclusiones.
34
- Relacin final Carina A.
Fusse
Bibliografa.
35
- Relacin final Carina A.
Fusse
36