Académique Documents
Professionnel Documents
Culture Documents
DIFERENCIALES
Un Enfoque Orientado
a las Aplicaciones
Un Enfoque Orientado
a las Aplicaciones
Editorial
A nuestras familias
nuestros maestros
y nuestros estudiantes
FORMULACIN PANORAMA DE
HECHO O MODELADO DEL MODELO RESULTADOS
FENMEN MATEMTIC MATEMTICO BSICOS
O O DESCRIPTIVO PERTINENTES
REAL (HIPOTESIS)
(5)
ANLISIS
PRELIMINAR
CUALITATIVO
DEL MODELO
(6)
M M
TCNICAS Y
METODOS
DE
RESOLUCI
VOLUMEN 1
CAP. 0.GENERALIDADES
0.1 Aspectos Bsicos Sobre Ecuaciones
Diferenciales Ordinarias: Concepto. Orden. Linealidad.
Solucin. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -1
0.2 Ejercicios y Problemas - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 3
3.1 Introduccin - - - - - - - - - - - - - - - -- - - - - - - - - - - - - - - - - - - - - - - - - - - - 1
3.2 Soluciones Exactas - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -2
3.2.1) A Variables Separables - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -2
3.2.2) Reducibles a Variables Separables - - - - - - - - - - - - - - - - - - - - - - - - - - 5
3.2.3) Homogneas - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 13
3.2.4 Ecuaciones Diferenciales Exactas- -- - - - - - - - - - - - - - - - - - - - - - - - 16
3.2.5) Factor Integrante - - - - - - - - - - -- - - - - - - - - - - - - - - - - - - - - - - - - - 20
3.2.6) Ecuacin Lineal General - - - - - - -- - - - - - - - - - - - - - - - - - - - - - - - - 22
3.2.7) Ecuaciones no Resueltas para la derivada - - - - - - - - - - - - - - - - - - - - -31
3.3 Aplicaciones - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -36
3.3.1) Familias de Curvas Ortogonales - - - - - - - - - - - - - - - - - - - - - - - - - - -36
3.3.2) Aplicaciones Mecnicas - - - - - - - -- - - - - - - - - - - - - - - - - - - - - - - - - 39
3.3.3) Vaciado de Recipientes por gravedad - - - - - - - - - - - - - - - - - - - - - - - 41
3.3.4) Anlisis dinmico del nivel de un dique ideal bajo la influencia de un
caudal perturbador- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 49
3.3.5) Flujo de mezclas (disoluciones) - - - - - - - - - - - - - - - - - - - - - - - - - - - 54
3.3.6) Reacciones Qumicas - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 58
3.3.7) Dinmicas de Poblaciones - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -60
4.1 Definicin - - - -- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1
4.2 Caracterizacin de diversos tipos de SEDOPO - - - - - - - - - - - - - - - - - - - - -2
4.3 SEDOPO Lineal Homogneo a coeficientes constantes - - - - - - - - - - - - -- - -2
4.4 SEDOPO Lineal a Coeficientes Constantes No Homogneos - - - - - - - - - - 14
4.5 Problemas de Valor Inicial (PVI) asociados a un SEDOPO lineal - - - - - - 21
4.6 Aplicaciones - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -27
4.7 Someras Consideraciones sobre SEDOPO no lineales.
El caso autnomo. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -34
4.8 Nociones de Estabilidad de Soluciones Estacionarias de SEDOPO
autnomos- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -44
4.9 Referencias - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -48
CAP.5. PROBLEMA DE VALORES INICIALES ASOCIADOS A UNA
ECUACIN DIFERENCIAL ORDINARIA DE SEGUNDO ORDEN LINEAL
A COEFICIENTES CONSTANTES.
5.1 Ecuacin Homognea - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 1
5.1.1) Aspectos Preliminares - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -1
5.1.2) Anlisis Cualitativo Sobre el Comportamiento de la Solucin del PVI
asociado - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 7
5.1.3) Resultados Locales (Validos en un semientorno de derecho de t = 0) para
la solucin de un PVI, respecto de los parmetros p y q.- - - - - - - - - - - - - - - -11
5.1.4) Resultados Globales en el tiempo, de dependencia de la solucin del PVI
asociado, con el parmetro q.- - - - - - - - - - - - - - - - - - - - - - - - - - - - - 15
5.1.5) Ejercicios - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -17
5.1.6) Aplicaciones - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 19
5.2 Ecuacin no Homognea - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 23
5.2.1) Aspectos Bsicos - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 23
5.2.2) Anlisis Cualitativo sobre el comportamiento de la solucin del PVI
asociado.- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 27
5.2.3) Aplicaciones - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 30
5.2.4) Referencias - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 33
Ecuaciones Diferenciales
Ordinarias de Primer Orden
(EDOPO)
Ecuaciones Diferenciales
Ordinarias de Primer Orden
con Soluciones Exactas. EDOPO
Especiales
Sistema de Ecuaciones
Diferenciales Ordinarias de
Primer Orden (SEDOPO)
Generalidades
Concepto
Se entiende por ecuacin diferencial ordinaria, (EDO), a una ecuacin que vincula
o relaciona a una funcin, de una variable real, con sus derivadas.
En una ecuacin diferencial, la incgnita es la referida funcin.
Orden
El orden de una EDO se define como el mayor natural n tal que la derivada
ensima (de orden n) est presente en la ecuacin diferencial. As, sea
y y ( x) , x I R una funcin real de variable real x, definida en un
F x , y , y , y , ... , y (n ) 0 , x I , (0.1)
2 (n )
(n) dy d y d y
donde y , y ,..., y denotan, respectivamente: , , .... ,
2 n
dx dx dx
Ejemplo 1
y 2 xy 0 es de primer orden
y 2 xy 0 es de segundo orden
y I V 2 x y y 0 es de cuarto orden
2
Ejemplo 2
En relacin a lo consignado precedentemente, se proveen las siguientes
ecuaciones diferenciales:
d 2x 2
2
2 t x x 2 , funcin incgnita x, variable t, x h (t ) CI
d t
d 3u
3
t u 2 sen t 0 , funcin incgnita u, variable t, u f (t ) CI3
dt
Linealidad
(n )
Pinsese a F en (0.1) como una funcin de n+1variables: x , y , y , ...., y .
La EDO dada por (0.1) es lineal si la funcin F es lineal en las variables
y , y , ...., y (n )
Ejemplo 3
a) y y y e 0 es no lineal
x
2
d y
b) d x 2 x y 0 es no lineal
Obviamente, las ecuaciones diferenciales consideradas en el Ejemplo1 precedente,
son lineales, en tanto que las de los Ejemplos 2 y 3 son no lineales.
Ntese que como en a), la linealidad se pierde no obstante figurar la funcin y sus
derivadas a la potencia uno.
La siguiente es la forma general de una ecuacin diferencial lineal de orden n:
a n y (x ) (n ) an 1 (x ) y (x ) (n 1 ) ... a 0 (x ) y (x ) h (x ) , x I (0.2)
Solucin
Una solucin de la EDO (0.1) es una funcin f f (x ) C I tal que la misma y sus
n
F x , f (x ) , f (x ), ... , f (n )
(x ) 0 , x I
3
Ejemplo 4
Sea la EDO y y 0 . Se puede comprobar inmediatamente que las funciones
f ( x ) sen x, g ( x ) cos x, h( x ) sen x cos x ,
EDO dada.
EJERCICIOS Y PROBLEMAS
dny
b) f ( x, y ) , con f f ( x , y ) , una funcin lineal de x e y.
d xn
dy
c) h ( x, y ) , con h h ( x , y ) una funcin no lineal de x e y
dx
dy dy
d) y x 0 e) P ( x) y Q ( x)
dx dx
dy
f) sen ( x y )
dx
d2y dy
g) 2 p ( x ) q ( x) y 0
dx dx
d2y dy
h) 2
p ( x) q ( x) y h ( x)
dx dx
d2y
i) 2 y 0 ( constante)
dx 2
d2y
j) a sen y 0, ( a constante)
dx 2
d2y
k) 2 a y b y
2
, ( a y b constantes)
dx
4
2
dy d2y
l) 2 y x 0 m) cos x 0
dx dx 2
d2y dy
n) d y e y
0 o) x 2 2
2x 3y 0
dx dx dx
dy a 0 x b0 y C 0
p) , ( a 0 , b0 , C 0 , a 1 , b1 , C 1 : constantes)
dx a1 x b1 y C1
q) M ( x , y) d x N ( x , y) d y 0 donde
M M ( x , y ) , N N ( x , y ) son funciones lineales de x e y
d4y dy x 2
r) f ( x) s) e
x
e 0
dx 4 dx
dy dy 2
t) y 2
0 u) 3 y 3
0
dx dx
d 2y d y
v) m 2
d k y f (t ) , ( m , d , k : cons tan tes )
dt d t
dy
w) ( t 2 2 ) 2 y Ln t , t 0
dt
1 d 2 dy
y 0 , 0 x , cte
2
x) x
x 2 dx dx
1 d dy
y) x y 0 , x 0
x dx dx
d2y dy
z) x 2
x 2
x 2
y 0 , : p a r m e tro
d 2 x dx
d 2 y dy
) ( 1 x ) 2 x p y 0 , p : parmetro
2
2
d x dx
d y 2
)
d x
2 y
0
y ( x) d x 0
dy cos x
b) x y sen x 0 , f ( x)
dx x
5
dy
c) 2 y 0, f ( x) 2 e 2 x
dx
dy
d) 2 y 0 , f ( x) C e 2 x , C : cte arbitraria
dx
dy
e) x y , f ( x) C e x x 1 , C : cte arbitraria
dx
dy x
u 2
2
x x
f) y e x x 0 , f ( x) e e e du
dx 0
dy
g) 2 y 2 e x , f C e 2 x 2 e x, C : cte arbitraria
dx
dy
h) y 2 e x , f ( x) e x e x
dx
d 2y
i) 2 2 y 0 ,
d x
f ( x) cos 2x
d 2y
j) 2 2 y 0
d x
j1) f ( x) = sen 2x
j2) f (x) Acos 2 x Bsen 2 x con A y B constantes arbitrarias
dy x cos u
k) x
dx
y x cos x , f ( x) x 0 u
du
d 2y d y
l) 2 2 y 0 , f (x) e x
d x dx
d 2y dy
m) 2 2 y 0 , f (x) x e x
d x dx
d 2y
n) 2 y 0 , con constante no nula
2
d x
n1) f ( x) cos ( x)
6
REFERENCIAS
[2] Edwards, C.H & Penney, D.E. (1985). Elementary differential equations with
applications.Prentice-Hall, Inc. EnglewoodCliffs, N.Y.
7
1
dy
F x, y, 0, x I (1.1)
dx
9
Ejemplo 1
2x
Dada la EDOPO y '2y 0 es claro que y ( x, C) Ce resulta ser la
solucin general. En la Fig. 1 se ilustran, grficamente, algunas curvas de la
familia.
Y
C=1
C=3
C=3
C=0 X
C= -1
Ejemplo 2
Dada la ecuacin diferencial y ' y 2 x 0 , es obvio que se la puede expresar como:
d y2
x2 0
dx 2
de donde se concluye que
y2
H (x , y) x2 C
2
provee, en forma implcita, la solucin y de la EDOPO en cuestin.
10
Ejemplo 3
dy x2
Para la EDOPO x 2 es inmediato ver que y ( x, C ) 2 x C es la
dx 2
solucin general.
Tomando, por ejemplo, el valor especfico C C0 0 , resulta una solucin particular
x2
dada por y 2 x ; tal solucin particular provee un valor y 0 cuando x 0 .
2
1.3 Integral
Una integral de la EDOPO (1.1) o (1.2) es una funcin V V(x , y) de las variables x e y
Observacin 1
Obviamente, si V V ( x , y) es una integral de (1.1) o (1.2), entonces V ( x , y) C expresa
a y como solucin implcita de tales ecuaciones diferenciales. En ese caso, a la
11
1.4 Solucin Singular
Dada la EDOPO (1.1) o (1.2), la correspondiente Solucin General, puede o no incluir a
todas las soluciones. Una solucin no contenida en la Solucin General se denomina
Solucin Singular de (1.1) o (1.2)
Ejemplo 4
dy y 1
Dada la ecuacin diferencial 2 , puede verse que la Solucin General viene
dx x 1
dada por:
2
1 C
y 1 arctg x ,
2 2
En tanto, una Solucin Singular es y 1.
Lo relativo a soluciones singulares tambin se puede por ejemplo ver en el texto
Kiseliov; Krasnov & Makarenko, 1973.
H 2 ) G es continua en D
Bajo tales condiciones, es claro que, a partir de (1.6), se puede determinar una direccin
en cada punto de D. En efecto, dado el punto P0 x 0 , y0 D , asignamos al mismo una
12
dy
el campo de direcciones correspondiente a la ecuacin diferencial x y ,
dx
trabajando en una regin D restringida al primer cuadrante del sistema cartesiano
ortogonal (Ntese que en este caso la funcin G satisface las hiptesis H 1 y H 2 en
cualquier abierto acotado del plano) .
dy
Fig. 2 Campo direccional correspondiente a x y
dx
En Kiseliov; Krasnov & Makarenko, 1973 se provee un profusa ilustracin de campos
direccionales asociados a diversos EDOPO.
1.6 Isoclinas
El efecto prctico del campo direccional, asociado a una EDOPO como la dada por
(1.8), se vincula con el trazado aproximado de curvas integrales a la misma. A tal
efecto, resulta de utilidad el concepto de isoclina.
Dada una EDOPO, como la (1.6), se denomina isoclina asociada a ella al lugar
geomtrico determinado por puntos de la regin D en los que las pendientes de las
tangentes a las curvas integrales pertinentes tiene el mismo valor. Entonces, el conjunto
de isoclinas para (1.6), viene dado por la familia monoparamtrica de curvas planas
determinadas por la siguiente ecuacin:
G ( x , y) K , (1.7)
13
tal que al trazar la familia resultante de isoclinas, estas queden contenidas en D,
abarcando razonablemente dicha regin .
Finalmente, por cada isoclina se trazan segmentos con la direccin correspondiente a
cada punto considerado. Entonces, se efecta el trazado aproximado de las curvas
integrales explotando el hecho de que estas deben tener a los precitados segmentos
como tangentes en los puntos pertinentes.
A continuacin se presenta un ejemplo ilustrativo.
Ejemplo 5
dy
Dada la ecuacin diferencial x y , efectuar el trazado aproximado de curvas
dx
integrales de la misma en la regin D definida por D (x , y) / 0 y 4
En este caso las isoclinas vienen dadas por las rectas de ecuacin y x K .
En la Fig. 3 se ilustra un conjunto de tales isoclinas en la regin D especificada, en base
a las cuales se efecta el trazado aproximado de curvas integrales (trazo grueso)
dy
Fig. 3: Isoclinas correspondientes a x y
dx
Para el tema Isoclinas se puede por ejemplo consultar los textos Edwards & Penney,
1985; Agnew, 1968.
EJERCICIOS Y PROBLEMAS
1.- Seguidamente, se provee una funcin y una ecuacin diferencial. Verificar en cada
caso si la funcin dada es la solucin general de la respectiva ecuacin diferencial.
C denota una constante arbitraria.
14
C d y
a) f ( x , C ) , y cotg x
sen x d x
dy
b) x y , f (x , C) C e x x 1
dx
c)
dy
dx
P(x) Q( x) , f x, C e P( x) dx Q( x) e P(x) d x d x C
dy C
d) y cotg x 0 , f ( x , C )
dx sen x
dy 1 sen z
x
e) y xsen x, f ( x, C ) Cx dz
dx x 0 z
dy 1
f) =3 y 2 , f ( x, C)
dx 3 x C
(g)
dy
g) y 2ex , f (x, C) Ce x e x
dx
V(x, y) y x 2x y , (x x y ) d x (x y y ) dy 0
4 4 2 2 3 2 2 3
a)
b) V (x , y) x 2 y 2 2 x 2 y , ( x 1) d x ( y 1) d y 0
c) V ( x , y ) y arctg y arc tg x x ,
y 2
2 x 2 1 d y x 2 2 y 2 1 d x 0
, (x 2 y 2 ) 2 y 2 x 2 d y 2 x y d x 0
y
d) V (x , y) y
x y2
2
e) V ( x , y) x 2 y x 3 , (2 x y 3 x 2 ) d x x 2 d y 0
1 3 1
f) V (x , y) x 3x y 2 2 y x 2 y 3 ,
3 3
(3 y 2 x2 4 x y) d x (6 x y 2 x 2 y 2 ) d y 0
3.-
i) Podr existir una funcin real derivable y y (x) que verifique la ecuacin
dy
diferencial y 1 0?
dx
15
dy
ii) Cul sera la nica solucin de 2 y 0?
dx
2
4.- Dadas las siguientes ecuaciones diferenciales, definidas en las regiones de
indicadas, trazar
i) Un conjunto de isoclinas y el respectivo campo direccional.
ii) La curva que represente el lugar geomtrico de puntos de inflexin de curvas
integrales para las respectivas ecuaciones diferenciales.
a)
dy
dx
x2 y2 , ( x, y ) D ( x, y ) 2 / x2 y2 4
b)
dy
dx
y x 2
2 x 2 , ( x , y ) D ( x , y) 2 / x 2 y 2 6
c)
dy
dx
x y , (x , y) D (x , y) 2 / 0 x 4 ,0 y 4
En este ltimo caso, comparar curvas aproximadas para la solucin, con la solucin
integral que se sabe viene dada por y C e x x 1
d)
dy
dx
y 2
x 2
, ( x , y) D ( x , y) 2
/ x 4, y 4 .
16
Ejemplo 6
Sea el siguiente PVI
d y
3y 2 / 3
d x (1.10)
y ( 0 ) 0
ecuacin diferencial dada. Por lo tanto, asignando a C un valor particular C 0 tal que
(x , C 0 ) verifique que (0 , C 0 ) 0 , se tendr una solucin particular que satisface el
0 s i x0
H ( x) 3
x s i 0 x
17
Y
X
X
EJERCICIOS Y PROBLEMAS
1.- En los siguientes casos se propone un problema de valor inicial, (PVI), para una
EDOPO, adjuntndose la solucin general de la respectiva ecuacin diferencial. Decidir
si es posible obtener una solucin particular de la ecuacin diferencial en cuestin, de
modo que satisfaga el pertinente PVI.
d y d y
2 y , y (0 ) 2 x y , y (0 ) 1
a) d x b) d x
Y ( x , C ) C e 2 x y (x , C) C e x x 1
d y
d y
2 y 2 e x , y (0 ) 1 d x x 2 , y ( 1) 0
c) d x d) 2
y ( x , C) C e 2 x 2 e x y ( x , C) x 2 x C
2
d y d y
x y , y (0) 3 y 2 e x , y (1) 2
e) d x f ) d x
y (x , C ) C e x x 1 (x , C) C e x e x
18
1.8 Orientacin Bibliogrfica
REFERENCIAS
19
2
dx (2.1)
y ( x0 ) y0
y ( x) y0 f z , y ( z ) dz
x
(2.2)
x0
21
Recprocamente, cualquier y ( x ) que satisface (2.2) debe, necesariamente, satisfacer el
(PVI) (2.1) (ser una solucin de dicho PVI).
En consecuencia, se sigue que la cuestin de existencia de solucin para el PVI (2.1) es
equivalente a la de existencia de solucin para la ecuacin integral (2.2).
Ejercicio 1
Probar la mencionada equivalencia entre (2.1) y (2.2)
f x, y1 f x, y2 L y2 y1 , x, y1 , x, y 2 (2.3)
f
L Max . (2.4)
( x, y ) y
para representar a los espacios de funciones continuas, con derivada primera continua,
con derivada segunda continua en el intervalo real cerrado I respectivamente .
Por ejemplo C 0a ,b podra representar al conjunto de funciones continuas en a, b .
22
En este texto, a la vista del tipo de espacios funcionales en inters, usamos la as
denominada mtrica del supremo. Esto es, si f f x y g g x son dos elementos
y g se define como:
d ( f , g ) Max f ( x) g ( x) , x I (2.6)
Sucesiones Funcionales
Las denominadas sucesiones funcionales, se expresan, sencillamente, estableciendo una
correspondencia entre elementos de un espacio y el conjunto de los naturales .
Ejemplo: Sea f n ( x), n un elemento genrico de la sucesin funcional
1
fi ( x ) ix
I
con f n ( x) , x 0,1 I
1 nx
Es claro que cada elemento de la sucesin provista en precedencia pertenece por
ejemplo al espacio C 0I , con I 0,1 , pudindose proveer a tal Espacio con la distancia
Definicin
Un espacio funcional mtrico es completo si toda sucesin de Cauchy en l es
convergente (podemos en particular considerar la convergencia uniforme)
Aplicaciones
En cursos de lgebra es frecuente trabajar con aplicaciones o transformaciones (en
particular lineales) definidas sobre elementos de espacios vectoriales (de dimensin
23
finita), por ejemplo la definida por las matrices reales cuadradas operando (mediante el
producto matricial) sobre los vectores de n . En Espacios Funcionales se definen
aplicaciones o transformaciones sobre los elementos (funciones) de tales Espacios. Si el
elemento resultante de transformar f , por efecto de aplicar la transformacin o
aplicacin L pertenece al mismo espacio en que esta f , se dice que la transformacin
es cerrada.
Aplicaciones Contractivas
Consideremos dos elementos cualesquiera f f ( x ), g g ( x), x I de un espacio
Definicin
Se dice que tal L es contractiva en CI si:
d L ( f ), L( g ) a d f , g , x I , 0 a 1 (2.8)
R x, y / x x 0 a , y y0 b (2.9)
Entonces, existe una nica solucin del PVI (2.1) para x x0 h , con h dado por
b
h min a, , donde M es una constante positiva tal que
M
f x, y M si x, y R .
24
Fig. 3: Regiones Implicadas en el Teorema1
La curva grfica de la solucin nica queda confinada en SR (curva integral).
El lector interesado puede intentar la demostracin del Teorema 1 precedente haciendo
uso oportuno de lo visto en la seccin 2.3, para probar que la ecuacin integral dada por
(2.2) posee solucin nica.
no. Desde el punto de vista prctico interesa poder saber si dicho entorno se puede ir
extendiendo, esto es si se puede prolongar o extender la validez del resultado si fuera
posible hasta tocar el borde de . En tal sentido es oportuno tener presente el siguiente
resultado sobre
Prolongacin de la Solucin
Teorema 2
Sea el PVI (2.1) con acotada entonces el intervalo I de existencia y unicidad se
puede prolongar a izquierda y derecha hasta que la correspondiente curva integral
(grfica de la solucin nica del PVI), toque la frontera o borde de .- (ver Roberts,
1980)
x
u ( x ) v( x) w(t ) u (t ) dt , (2.10)
x0
25
w(t )v(t ) exp w( s ) ds dt
x x
u( x) v( x ) x0 t
(2.11)
x0
dV
entonces w( x ) u ( x )
dx
Para x x0 , de (2.10) se sigue que
u ( x) v( x) + V( x) (2.12)
y ahora multiplicando (2.12) por w( x ) y restando w( x) V ( x) se obtiene
u ( x) w( x) w( x ) V ( x) v( x) w( x) ,
es decir
dV
w( x ) V( x) w( x) v( x). (2.13)
dx
Al multiplicar (2.13) por exp w( s )dt se obtiene
x
x0
d
dx x
x0
V ( x) exp w( s ) dt w( x)v( x) exp w(s) dt ,
x
x0
en consecuencia
x0
x
x0
V ( x) exp w( s) ds w(t )v(t ) exp w( s ) ds
x
x
x
0
dt
Por consiguiente, para x x0 resulta
x0
x0
V ( x) w(t )v(t ) exp w(s ) ds dt
x x
por lo que de (2.12) se obtiene
u ( x) v( x ) + w(t )v (t ) exp
x
x0
w(s) ds dt
t
x
Ejercicio 2
Para x x0 , proceder en forma anloga a lo hecho precedentemente con el fin de
x0
w(s) ds dt
t
26
2.6 Otros Resultados de Existencia y Unicidad de Solucin
Teorema 3
Sea f continua y lipschitziana respecto de y en la faja W de 2 determinada como
solucin nica en a, b .
Teorema 4
Sea f continua en la faja W de 2 definida por a x (un semiplano abierto a la
derecha de a ). Supongamos adems de que f es lipschitziana respecto de y en toda
dy
f ( x, y)
dx (2.14)
y ( x0 ) y 0 , ( x0 , y0 ) W
27
Fig. 5: Grfica de la subfaja cerrada de W
Teorema 5
Sea f f ( x, y ) definida y continuamente diferenciable en una regin R abierta de 2
dy
f ( x, y )
dx (2.15)
y( x0 ) y 0
28
Fig. 6: Grfica de la regin R
y0
Por otro lado, se obtiene fcilmente que y ( x) es solucin del PVI propuesto,
1 y0 x
1
y en consecuencia, se ve que tal solucin escapa en el valor finito xe (ver figura
y0
6).
Se verifica un comportamiento de la solucin de acuerdo a lo previsto por el Teorema 5
precedente. Con relacin a la cuestin de posibilidad de escape de la solucin de un PVI
para un valor finito de la variable independiente, es oportuno establecer el siguiente
resultado:
Sea el PVI denotado como (2.15), con f Lipschitziana respecto de y en todo 2 y
adems verifica f ( x, 0) 0 , x , entonces la solucin de (2.15) no puede escapar
para ningn x finito.
En efecto:
x0
29
2.8 Dependencia continua de la solucin del PVI (2.1) con el Dato inicial, el valor
inicial de la variable independiente, parmetros y con la funcin del segundo
miembro de la EDOPO
(a) Con el dato inicial y0
Cambiamos el dato inicial y0 en (2.1) de modo que el nuevo punto inicial ( x0 , y0 ) sea
interior a la regin de existencia y unicidad de solucin para el PVI en cuestin.
En virtud de (2.2) podemos poner
y( x ) y0 f ( z , y ( z )) dz ,
x
x0
x x0
y( x) y0 f ( z, y( z )) dz
x
x0
En consecuencia:
y ( x ) y ( x ) y0 y0
x
f ( z , y ( z )) f ( z , y ( z ))dz . (2.16)
x0
y ( x) y ( x) y0 y0 L y ( z ) y ( z ) dz ,
x
(2.17)
x0
y x y0 f ( z , y ( z ))dz
x
x0
x x0 d
y( x) y0 f ( z, y( z )) dz
x
x0
Entonces
f ( z , y ) dz f ( z , y ( z )) dz
x x
y ( x) y ( x)
x0 x0
30
Caso x0 x0 :
x x0 x
x0
f ( z , y( z ))dz
x0
f ( z, y ( z ))dz f ( z , y ( z ))dz
x0
x0 x0
y ( x) y ( x) M x0 x0 L y ( z ) y ( z ) dz
0 x
x0
Ejercicio 3
Completar el resultado sobre dependencia continua con x0 , considerando x0 x0 .
Entonces, se tiene
Teorema6
La solucin y( x, p) de (*) depende en forma continua del parmetro p .
d) Con la funcin f f ( x, y)
Sea el PVI (2.1) con f que satisface las hiptesis ya explicitadas de modo que se puede
31
Sea g g ( x, u ) continua en D. Supngase que adems 0 tal que
f ( x, y ) g ( x, u ) para ( x, y)( x, u) D
du
g ( x, u )
dx (2.21)
u ( x0 ) u0 y0
0 ( x) Q( x) .d , x I (2.22)
y( x) y0 f ( z, y( z )) dz
x
x0
u ( x) y0 g ( z , u ( z )) dz
x
x0
es decir
x
Q( x) y0 f ( z , Q ( z ))dz
x0
x
Q( x) y0 g ( z , 0 ( z ))dz
x0
Q( x) 0 ( x)
x
f ( z , Q ( z )) dz
x0
Q ( x) 0 ( x) dz ( x x0 ) x x0 .d
x
x0
Observacin3
Si al puesto de (2.21) se considera
du
g ( x, u )
dx (2.23)
u ( x1 ) u0 y0 , x1 x0
resultados precedentes sobre dependencia de la solucin del PVI (2.1) con x0 , y0 y con
32
Ejercicio 4
Bajo las hiptesis oportunamente establecidas, obtener la siguiente desigualdad
0 ( x) Q ( x) u0 y0 N x 1 x0 d e 1
L x x0
y ( x0 ) y0 , x0 (b, c), P C 0b , c
u( x) u(a) e k ( x a ) , x a, b
33
Teorema 7
diferencial
du
F ( x, u ( x)), x a
dx
y si v v ( x ) es una solucin del PVI
dv
F ( x, v ( x))
dx
v ( x0 ) v0 u ( x0 )
Entonces se tiene
u ( x) v( x), x x0
w( x) 0 para x x x1
y tambin
w '( x) u '( x) v '( x) F ( x, u ( x) F ( x, v( x) L u ( x) v( x) Lw( x)
w( x) w x e
L xx 0
es decir
0 w( x) 0 x x x1
34
Teorema 8
Sean u u ( x ), v v( x) soluciones de los PVI:
du dv
f ( x, u ), x0 x a g ( x, u ), x0 x a
dx y dx
u ( x0 ) u0 v( x0 ) v0 u0
f ( x, u ) g ( x, v) en x0 x a ; entonces se tiene
u( x) v( x ) x x0 , 0
du
Prueba: supongamos que g es Lipschitz. Dado que f ( x, u ) g ( x, u ) , las
dx
funciones u y v satisfacen las condiciones del Teorema 7 precedente. En consecuencia,
la desigualdad (comparacin)
u ( x ) v( x) x x0
Ms all de los resultados comentados hasta ahora para el PVI (2.24), se estima
oportuno analizar la resolucin del mismo.
Cuestin n 1: Dado el PVI:
dy
y
dt
y (0) 0
1
se puede rpidamente obtener que las funciones y (t ) 0 e y t 2 satisfacen tal PVI.
4
35
Comentar la razn de la falta de unicidad de solucin.
Ejercicio 6
Considrese el siguiente PVI:
dy
1 p y (ay +by +c), t 0
2
dt
y (0) 0
Anlisis Cualitativo
Teorema 9
Sea F en (2.24) una funcin diferenciable con ceros simples. Entonces tal PVI posee
una nica solucin. Adems:
(i) si F ( y0 ) 0, la solucin tiende al mayor cero de F , el cual es menor que
y0 , cuando t .
y0 , cuando t .
Observacin 4
Como podr apreciarse, oportunamente al analizarse problemas de aplicacin, con
bastante frecuencia es posible obtener un panorama amplio sobre el comportamiento
de la solucin de (2.24) basndose en lo establecido por el Teorema precedente.
En la elaboracin del presenta captulo tambin se ha consultado obras de los
autores Hurewicz, 1958;Kolmogorov & Fomin 1972 y Roberts,1980.
36
Referencias
[1] Birkhoff, G. & Rotta, G. C. (1969) Ordinary Differential Equations. Edit. Blaisdell
Publishing Company
[2] Hurewicz, W. (1958) Lectures on Ordinary Differential Equations. Edit. The M.I.T.
[3] Kolmogorov,A.N. &FominS. V. (1972) Elementos de la Teora de Funciones y del
Anlisis Funcional. Edit MIR.
[4] Roberts, E. CH. (1980) Ecuaciones Diferenciales Ordinarias (Un enfoque al clculo
numrico).Edit. Dossat. S.A.
[5] Villa, L.T. (1996). Ecuaciones diferenciales ordinarias de primer y segundo orden.
Problemas de valores iniciales y de contorno. Inedito
37
3
Ecuaciones Diferenciales
Ordinarias de Primer Orden
con Soluciones Exactas. EDOPO
Especiales
dy
f ( y) (3.1)
dx
dy
f ( x, y ) (3.2)
dx
F ( x, y , y ) 0 (3.3)
39
Es de destacar que hay algunos casos de EDOPO que, sin pertenecer en principio
a los tipos explicitados (A)-(D), previamente, pueden llevarse mediante la
aplicacin de oportunos procedimientos a algunos de dichos casos .
A esta altura es oportuno citar la existencia del texto Kiseliov, Krasnov &
Makarenko, 1973, donde en particular se tabula un conjunto de ecuaciones
diferenciales que admiten solucin exacta
Seguidamente se explcita un panorama relativo a los tipos (A)-(D) de
EDOPO precedentemente aludidas.
dy
g ( y ) h( x ) (3.4)
dx
Notemos que (3.1) es un caso especial de (3.4) cuando h (x) 1 por ello, en lo
referente al presente apartado, trabajaremos directamente con (3.4).
dy
g ( y ) h ( x) d x C (3.5)
es decir
G ( y ) H ( x ) C ( x, y , C ) 0 , (3.6)
40
Siendo C una constante arbitraria .
En los casos en que la funcin G sea inversible, a partir de (3.6) se puede,
eventualmente, obtener
y G 1 H (x) C u( x, C) (3.7)
lo que constituye una solucin exacta explcita para (3.4) .Caso contrario (3.6)
provee implcitamente la solucin y de (3.4)
Observacin 1
Obviamente si y = y0 es tal que g ( y0 ) 0, y y0 es una solucin de (3.4) no
contenida en (3.6) para ninguna C.
La arbitrariedad de C en (3.6) depende de las caractersticas intrnsecas de cada
ecuacin diferencial resuelta, el intervalo de inters para x, y eventuales
restricciones para la solucin y . A este respecto, es importante tener presente que
frecuentemente a la EDOPO (3.4) acompaa la especificacin a priori de la regin
D 2 donde interesa analizar la ecuacin diferencial.
2
x
y C e 2 para y > 0 (C arbitraria positiva)
2
x
y C e 2 para y < 0 (C arbitraria positiva)
41
Ejemplo 3: Consideremos la ecuacin diferencial
dy
dx
e y e x , ( x, y ) D ( x, y ) 2 / x k, y
y e x2
dx C
dy
dx
y ( y 2), ( x , y ) D ( x , y ) 2 / x 0 , y 0 .
Por una parte, es claro que tal ecuacin admite como solucin a las funciones
constantes y 0 e y 2
Por otro lado, teniendo presente la descomposicin:
1 1 1 1 1
y ( y 2) 2 y 2 2 y
separando variables e integrando se obtiene:
2
y 2x
, C constante arbitraria positiva, para 0 y 2
1 Ce
dy x
Ejemplo 6: Sea , en este caso resulta que h g esta definido en:
dx y
42
D ( x , y) 2
/ y 0
x2 y 2
C , C constante arbitraria positiva
EJERCICIOS Y PROBLEMAS
c) d y 1 y
2
a) d y y b) d y 3 y
2
2 3
dx dx dx y (1 x )
y 1
d) d y x y 1 e) dy
dx dx x 2
1
f) dy x2 y 2
yx
dx
a) d y x y b) dy e 3x 2y c) x dy 3 y 0
dx dx dx
dy
d) dx xydy y 2dx y dy e) x y ( y 2)
dx
43
dy dy 3x 2 y
a) d x y x b) dx e
y ( 0 ) 1 y (0) 0
dy
c) dt by ay
2
y (0) y 0 ; a , b 0 ; y 0 0
dy x dy
d) dx (1 x ) 1 2 e) x dx y 0
y (1) 1
y (0) 0
a
En el caso c) verificar que si y0 , entonces y ( t ) 0 para t .
b
dy 1 y2
dx 1 x 2
44
3.2.2) Ecuaciones Diferenciales Reducibles a Variables Separables
dy
f ( a x b y c) (3.8)
dx
V ( x ) by a x c (3.9)
dV
a b f (V ) (3.10)
dx
dV
ab f (V )
xk (3.11)
dy a xb y
f , x 0; a , b , c , d : ctes (3.12)
dx c xd y
y( x)
V ( x) , x0 (3.13)
x
45
es inmediato ver que para V resulta la siguiente ecuacin a variables separables
dV d x
(3.14)
F (V ) V x
a b V
donde F (V ) f
c d V
Surgen dos casos de inters para analizar en esta ecuacin diferencial, a saber:
a d
Caso 1 ; b 0 , e 0
b e
Caso 2 a d ; b 0 , e 0
b e
CASO 1
Es claro que en este caso existe un nico par ( x , y ) de nmeros reales que
satisfacen:
a x b y c 0, d x e y 0 (3.17)
V y y ; Z x x (3.18)
46
dV dV dZ
Teniendo presente (3.18) y el hecho que , de (3.16) se
dx dz dx
encuentra:
dV a ( Z x ) b (V y ) c
f (3.19)
dx d ( Z x ) e (V y )
dV aZ bV
f (3. 20)
dZ dZ eV
CASO 2
a
b x y c
dy
f
b (3.21)
dx e d x y
e
a
V ( x) x y ( x) (3.22)
b
dV a
F (V ) (3.23)
dx b
47
dV
a
xk (3.24)
F (V )
b
Observacin 2
dy a x b y c
(3. 25)
dx d x e y
dV
dx
V 2
encontrndose en consecuencia:
(a) y Ce x 2 x 2 si 2 x y 2 0
(b) y Ce x 2 x 2 si 2 x y 2 0
48
Fig. 1: Regin de existtencia de la solucin dee d y 2 x y
dx
Ejemplo 8:
8 Considereemos la siguuiente EDO
OPO
dy x y
, y x, x 0 (3
3.26)
dx x y
dV dx
1V x
V
1V
1V dx
es decir
1 V 2 x
o se obtiene:: x
por lo quee integrando 1V 2
C e arcctg V .
En conseccuencia
y
arctg
a
x y
2 2
Ce x (3
3.27)
49
Las curvaas integraless corresponddientes a laa integral (3
3.27) se ilusstran en la Fig.2.
F
Tngase presente
p que usando laas coordenaadas polares planas r , , (3.2
27) se
expresa sim
mplemente como:
r Ce (3.28)
(
Ejemplo 9:
9 Sean las ecuaciones
e ddiferencialees
dy 2 x y b) d y x y 1
a)
dx x y 4 dx 1 2 x 2 y
dV Z V
(3.29)
(
dZ Z V
50
sta ltima ecuacin es ya del tipo del resuelto en el Ejemplo anterior. Se invita al
lector a obtener la integral general de (3.29)
b) Se concluye rpidamente que ahora procede usar lo visto como CASO 2 en A.3
c), debindose en consecuencia usar la transformacin explicitada por (3.22).
Entonces se tiene:
V ( x) x y ( x) (3.30)
2 V 1
V 2
dV x k
es decir
2 x 2 y 3 n x y 2 x k
Observacin 3
x rcos r x2y 2
0
(3.31)
arctg ,
y
y rsen ( x , y ) 0, 0
x
51
dy
f ( x, y ) (3.32)
dx
dr r cos F ( r , ) sen
(3.33)
d Fcos sen
P (x , y)
f (x , y) (3.34)
Q (x , y)
a x b y
f (x , y) (3.35)
c x d y
de (3.33) se obtiene:
dr r Q ( r , ) c o s P ( r , ) s e n
(3.36)
d P ( r , ) c o s Q ( r , ) s e n
respectivamente para las EDOPO correspondiente a una f dada por (3.34) y (3.35)
En (3.36) P ( r , ) y Q ( r , ) denotan a
Es de notar que hay casos en que (3.35) se puede tomar como una
aproximacin vlida de (3.34) cerca del origen (0 , 0) , tal posibilidad depende de
la estructura de las funcion es P P(x , y), Q Q (x , y) .
52
Ejemplo 10 Ilustrar las curvas integrales de la ecuacin diferencial
y
(1 x 2
y 2) x
dy x 2
y 2
1 / 2
dx x
(1 x 2
y 2) y
x 2
y 2
1 / 2
y
P ( x, y ) (1 x 2 y 2 ) x
x 2
y 2 1 / 2
x
Q ( x, y ) (1 x 2 y 2 ) y
x 2
y 2 1 / 2
de (3.34) se encuentra:
dr
1 r 2
(3.38)
d
k e 2 para r 1, k = cte 0
r
k e 2 1
53
Fig. 3: Curvas inteegrales corrrespondiente a (3.38)
EJERCIC
CIOS Y PR
ROBLEMA
AS
1.- Dado el
e PVI
dy
a y b y 2 , a 0, b 0
dt
y (0 ) y 0
a
i) y (t ) , t0
b
a
ii) 0 y (t ) , t 0
b
Ilustrar grficamente
2- Ilustrar la familia de
d curvas inntegrales de ecuacin diferencial
d
dy 2 x y
dx x 2 y
54
3.2.3) B) Homogneas
f ( px, py ) p n f ( x, y ) (3.39)
dy
f (x , y) (3.40)
dx
M ( x , y ) dx N ( x , y ) dy 0 (3.41)
dy y2
a) b) (2 x 3 y ) dx (4 x y ) dy 0
dx x 2
x y y2
c) d y y x 2
y 2
d) x d y x 2
y 2
y
dx x x 2
y 2
y 2 dx
Metodologa de resolucin
55
y( x)
u ( x) , x0 (3.42)
x
En efecto, usando (3.42), de (3.40) se obtiene la siguiente ecuacin a
variables separables para la funcin u u ( x) :
du
x g (u ) u (3.43)
dx
Observacin 4
Si u u0 cte fuera una raz de la ecuacin g (u ) u 0 entonces
dy 2x 2 2y 2
, x 0
dx xy
du 2 (1 u 2 )
x u
dx u
y en consecuencia
u dx 1
du , n (2 u 2 ) n x c
2u 2 x 2
es decir
(2 u 2 ) 1/2 K x donde K exp C
Entonces resulta:
56
1/2
y2
2 2 K x
x
(y x2 y 2 ) dx x dy 0 , x 0
du
x u 1u2 u 1u2
dx
arcsen u n x C
es decir u sen n x C
57
A su vez, se ve que la EDOPO (3.16) del apartado A.3) c) es reducible a
EJERCICIOS Y PROBLEMAS
dy 3x y
a)
dx 2x y
b) ( y 2 x 2 y xy 2 )d x (x 3 x y 2 ) d y 0
1 1
c) 2 x y dx x y dy 0
2 2
d) x y ( y 2 x) d y 0
dx
e) dy y 1 x 2
y 2
, x 0
dx x x
f) d y x y g) ( 2 x 4 y ) dx ( x y 3) dy 0
dx x 2
y 2
a) dy 2x y 2 , 2 y 2
( log C y ) x 2
0, C ct e
dx x y
b) ( x 2 y 2 ) dy 2 x ( y 2 x ) dx 0, y 3 4 x3 3 x 2 y C 0, C cte.
58
Obtener dichas soluciones.
M ( x , y ) dx N ( x , y ) dy du (3.45)
en consecuencia
u u
M (x , y) , N ( x , y) (3.46)
x y
u ( x, y ) C (3.47)
Teorema 1
M ( x , y ) dx N ( x , y ) dy 0
59
M N
, ( x , y) D (3.48)
y x
Se comienza por integrar algunas de las relaciones dadas por (3.46) de modo tal
de producir la funcin u u ( x, y ) a menos de una funcin de una variable a
encontrar oportunamente, as por Ejemplo se tiene:
u ( x, y) M ( x, y)dx h( y) (3.49)
N ( x, y )
u
y
y
M ( x , y ) dx dd hy (3.50)
es decir
dh
dy
N ( x, y )
y M ( x , y ) dx (3.51)
60
Ejemplo 14: Consideremos la siguiente ecuacin diferencial:
( x3 y 2 x)dx ( x2 y y3 )dy 0
Se ve que M ( x, y) x 3 y 2 x, N ( x, y) x 2 y y 3
y se comprueba
afirmativamente el resultado del Teorema 1 precedente:
M N
2 y x, 2x y
y x
x4 x2
u ( x , y ) ( x 3 + y 2 x ) dx h ( y ) y2 h( y)
4 2
dh y4
y 3
, es decir h ( y ) C
dy 4
x4 y4 x2 y2
C
4 4 2
u ( x, y ) N ( x, y ) dy g ( x) (3.52)
dy ax by
(3.53)
dx cx dy
61
cuando b c . En efecto, en tal caso (3.53) se puede escribir como:
( ax by ) dx ( bx dy ) dy 0 (3.54)
ax 2 2 bx yd y 2
C (3.55)
dy x 2y
(3.56)
dx 2 x 6y
x 2
4xy 6y 2
C (3.57)
En la Fig. 4 se ilustra una curva integral dada por (3.57) para un particular
valor de la constante dada por C0 16 como se ve se trata de una elipse de ejes
inclinados respecto de los correspondientes al sistema cartesiano ortogonal.
62
Fig. 4: Grfica de la Curva
C integ
gral (3.57)
EJERCIC
CIOS
a) ( x y 1) dx
d (x y 2
3) dy
d 0
b) (22 x y 6 x ) dx ( x 2
1) dyy 0
c) (66 x y y 3 ) dx (4 y 3 x 2
3 x 2 ) dy 0
dy x 2 y dy x 4 y
d) e)
dx 2 x 6 y dx 4 x 2 y
dy x y dy 4 x 9 y
f) g)
dx x y dx x 4 y
h) (3 x 2
y 2 x y ) dx (x 3
x 2
2 y )dy 0
j) ( x 3 y 4 x y 2 ) dx ( x 4 y 3 x 2 y ) dy
d 0
dx e d t y dy
x 2 0 t 2
k) ye d 0
x
x
l) e ( x y y 1) dx x e x dy 0
m) (x 2 y 2 2 x )dx 2 y ddy 0
63
3.2.5) Factor Integrante
Hay muchos casos en el que la EDOPO dada por (3.44) no es exacta pero es
posible transformarla en tal tipo de ecuacin multiplicndola por una funcin
W W ( x , y ) denominada factor integrante. Es decir, la ecuacin
W ( x , y ) M ( x , y ) dx W ( x , y ) N ( x , y ) dy 0 (3.58)
(W ( x , y ) M ( x , y )) (W ( x , y ) N ( x , y )) 0 (3.59)
y x
(3 x y y 2 ) dx (3 x y x 2 )dy 0
( x y )(3 x y y 2 ) dx ( x y ) (3 x y x 2 ) dy 0
se encuentra que
(( x y ) (3 xy y 2 )) (( x y )(3 x y x 2 )) 3 x 2 8 xy 3 y 2
y x
64
Ejemplo 17 a) Se comprueba rpidamente que la funcin W x, y x (solo de x)
y )para la EDOPO: y d x x d y 0
En general la tarea de encontrara un factor integrante (se demuestra que si hay uno
hay muchos) para una dada EDOPO de la forma (3.44) no es nada fcil. En efecto,
para buscar la funcin W W ( x , y ) se debe abordar la resolucin de la ecuacin
diferencial a derivadas parciales de primer orden explicitada por (3.58). No
obstante, hay casos especiales en que un factor integrante solo funcin de x
solo funcin de y resulta ser tal para ciertas ecuaciones diferenciales del tipo
(3.44). A este respecto procede enunciar el siguiente resultado:
1 M N
f ( x) (3.60)
N ( x, y ) y x
1 N M
h( y ) (3.61)
M ( x, y ) x y
65
Observacin 8
Es de destacar que las expresiones dadas por (3.60) y (3.61) se pueden deducir a
partir de (3.59) al suponer W ( x) y W ( y ) .
(2 x 2
y ) dx ( x 2
y x ) dy 0
M ( x, y ) 2 x 2 y , N ( x , y ) x 2 y x
1 M N 2 esto es 2
f ( x) resultando
N ( x, y ) y x x x
2 1
W ( x ) exp dx 2
x x
Efectivamente ahora
2 x2 y x2 y x
dx dy 0 es exacta
x2 x2
2 x y d x (y 2 x 2) d y 0
1 N M 1 2
M ( x,y ) x
y 2 xy
2 x 2 x
y
66
1
concluyndose que W es un factor integrante para la ecuacin dada
y2
EJERCICIOS
1. Para las siguientes ecuaciones diferenciales buscar un factor integrante
aplicando (3.60), (3.61). Obtener la integral general
a) ( x y y 1) dx x dy 0
b) (4 x y 2
y) d x ( 6 y 3
x) d x 0
c) ( y x x 2 ) d x d y 0
dy
(x y x 2 ) ( x 2
x y) 0
dx
m n
6. Buscar un factor integrante de la forma W ( x, y ) x y con m, n para
la ecuacin diferencial
y dx (2 xy e 2 y ) dy 0
67
7. Dada la ecuacin diferencial
( x2 4 x y 3 y 2 ) dx (6 x y 2 x2 y 2 ) dy 0
3 3
x y
2 x2 y 3 x y 2 C 0
3 3
dy
P ( x) y Q ( x)
dx (3.62)
y ( x, C ) (3.63)
Observacin 9
d
dx
y exp P ( x ) d x e x p P ( x ) d x dd yx P ( x ) y
68
en virtud de la Observacin 9 se ve que multiplicando ambos miembros de (3.62)
equivalente
d
dx
y exp P( x)dx Q(x) exp P(x)dx (3.64)
P ( x) d x P ( x) d x P ( x ) dx dx
y ( x) Ce e Q ( x) e (3.65)
dy
+ P ( x) y Q ( x) , x I
dx (3.66)
y ( x 0 ) y0 , x 0 I
y ( x)
x x z
x0 P ( z ) d z x0 P ( z) d z x x0 P (u ) d u (3.67)
x0
y0 . e e e Q ( z ) dz
dy
xy x
dx
69
teniendo presente (3.62) vemos que P( x) x , Q( x) x y entonces
x 2 (no hace falta considerar la constante arbitraria de
P d x x d x 2
integracin. Por qu?)
x e
x 2 /2 x 2/2
dx e
Luego resulta
y 1 C e x
2
/2
dy 2x
3ye
dx
y (0) 3
2x
x 0 0,y 0 3 , P ( x) 3 , Q ( x) e
Y en consecuencia resulta:
x x
0 P ( z ) d z 0 3 d z 3x
z
x 0 P (u ) d u x 3z
0 0 e
2z x
e Q ( z) d z e d z 1 e
70
x 2
e
x2 x2
y Ce e dx
Teorema 2
Observacin 10.
Observacin 11.
P ( x) y Q ( x) dx dy 0 (3.68)
M ( x, y ) P( x) y Q( x) , N ( x, y ) 1 (3.69)
71
1 M N
P ( x) f ( x)
N ( x, y ) y x
EJERCICIOS
dy
a) d y 2 x y 2 x e x 2 b) y x 2
2 x
dx dx
c) dy ctg x y 2 x sen x , 0 x
dx
d) dy 3 y x e) dy y e 2 x
dx dx
dy x dy 3
a) dx y e b) dx x y 2 x , x 0
4
y (0) 1 y (2) 1
dy dy
cosx y sen x cos x 2 x y x
c) dx d) d x
y (0) 1 y (0 ) 2
dy 1
e) d x 2 x y xco s x , x 0
y (1) 0
72
YH C e
Px d x
3.- a) Mostrar que es la solucin general de
dy
P (x) y =0 .
dx
x d x
b) Verificar que YP e P x d
P x
Q ( x) e dx es una solucin
(solucin particular) de la Edopo Lineal (3.62)
Y YH YP
(D. 1) Propiedades de monotona de la solucin del PVI (3.66) con el dato inicial
y0 y la funcin Q Q( x)
x z P (u ) d u
x x
y ( x ) y0 exp P ( z ) dz exp P ( z ) dz e
0
Q ( z ) dz (3.70)
0 0 0
L( P, Q1 , y0 ) L ( P, Q2 , y0 ) si Q1 Q2 (3.72)
73
Es decir,, dados P P ( x), Q Q ( x) , denotando a la soluccin de (3.66)
(
respectivaamente con
n y1 y1 ( x) , y 2 ( x) en corrrespondenccia a los datos
iniciales, y 1
0 e y 2
0 se
s tiene:
resulta:
y1 ( x) y 2 ( x), x I si Q1 ( x ) Q2 ( x) (3.7
74)
dy dy 6x
x.y x xy 4 2e
dx (3.75) dx
d (3
3.76)
y (0) y0 y (0) y0
Fig
g. 5 : Grficca de la solu
ucin del PV
VI (3.75)
74
Fig. 6 Grfica de la so
olucin del PVI (3.76)
A modo de Ejemplo
E mple con el fin de ilu
sim ustrar la deependencia de la
solucin del 66) con la fuuncin Q Q( x) , se ab
d PVI (3.6 bord la resoolucin de dicho
(PVI) considerando
y (0) y0 0, P(x) x, Q( x) 4 e s x
variando montonam
m versos valores para el pparmetro s > 0.
mente Q ( x) al tomar div
El resultado de
d la simulaacin compu
utacional see ilustra en la Fig. 7, donde
d
se tiene.
Curva 1: s 1 ( Q Q1 ( x )))
Curva 2: s 3 ( Q Q 2 ( x ) )
Curva 3: s 6 ( Q Q3 ( x ))
)
(3.74).
75
Fig. 7: Dependenccia paramttrica de la so
olucin de ((3.66)
n Q Q( x)
conn la funcin
Observaciin 12
dy
P ( x ) y Q( x) y n
,n ,n 1 (3.77)
dx
conocida como
c EDO
O de Bernouulli, se pued
de reducir a una EDO lineal de primer
p
n u u ( x) definida co
orden paraa la funcin omo:
1n
y ( x) u ( x) (3.78)
1 duu
P ( x) u Q ( x) (3.79)
1 - n dxx
Laa EDO (3.7
77) tiene vvarias apliccaciones en
n problemaas de ingen
niera,
siendo unno de los clsicos el referente a la descaargada de uun capacito
or de
76
parmetro C a travs de un diodo no lineal donde la corriente elctrica i y el
voltaje V se suponen relacionados por:
i V V n , , : c te s 0
dV
C V V n
0 (3.80)
dt
Observacin13
La ecuacin diferencial
dy
P ( x) e y
Q ( x) (3.81)
dx
du
Q (x) u P (x) (3.82)
dx
y
u ( x) e (3.83)
Casos Especiales
dy
P ( x) y Q ( x) y 2 f ( x) (3.84)
dx
77
u u ( x) definida como
u ( x) v( x) y ( x) (3.85)
v P ( x )v Q ( x )v 2 f ( x ) (3.86)
du
P( x) 2 Q( x) v( x) u Q( x) u2 0 (3.87)
dx
d V
M =M g d V 2 (3.88)
d t
V0 d g
t h t
M g M
(3.89)
M g d
V (t )
d d d g
1 V 0 . t h t
M g M
78
A partir de (3.89
9) se venn inmediattamente las conclusiiones sobrre el
miento de laa funcin V
comportam V:
Mg
lim V (t ) V f (velocidad final) (3.90)
(
t d
dV Mg
0, esto ess V (t) V 0 cte s i V 2
0 (3.91)
dt d
dV M g
0 si V 2
(3.92)
(
dt 0
d
dV M g
0 si V 2
(3.93)
(
dt 0
d
d
a ; b V0 (3.94)
M
79
Ecuaciones diferenciales no resueltas para la derivada d y y
dx
En general se tendr
F ( x , y , y) 0 (3.95)
d y
y x f ( y ) EDO de Clairaut (3.97)
d x
1
Ejemplo 24 Sea la EDO y ( y ) 2 , x 0
x
Entonces resulta :
1 2 d y
y 1 y 0
x 2
x d x
y C, 2 2 1
(C , K constantes)
y x Kx 2
3
80
2
12 1
y x 2
Kx 2
x 3
La transformacin de Legendre
Definiendo p como
dy
p (3.99)
dx
F (x , y , p) 0 (3.100)
U px y (3.101)
dU
X p, Z (3.102)
dX
F (Z , ZX U , X ) 0 (3.103)
81
De ser factible se resuelve (3.103) y entre su solucin expresada en las variables
originales x y p, y (3.100) se elimina p para obtener la solucin de (3.95). A veces
solo es posible llegar a obtener x e y en trminos de p.
t p (3.104)
F F F dx dx
0 (3.105)
t x y dy dt
F F F dx
De donde, si 0 se sigue
t x y dy
F
dx t
dt F F
t
x y (3.106)
F
dy t
t
dt F F
t
x y
2
dy dy
y
d x 4 x dt y 0 (3.107)
82
dy y ( t 2 1)
dt t (3 t 2 )
C
De donde se encuentra y 3
t t 3
2
3 C
y t (t 2 3)
1/ 3
x C t2 1
2 .
t (t 3) 4t
2
dy
d x (1 y )(1 y ) 0
2 2 2 (3.108)
0 1
y <1
dy
(1 y 2 )(1 2 y 2 ) (3.109)
dx
83
Se define como:
O equivalentemente
d
G ( , ) 0 1 sen
2 2
, 2 1 (3.111)
x 1 2u 2
E ( x, ) du , 2 1 (3.112)
0 1 u2
o equivalentemente
E ( , ) 0 1 2 sen z d , 2 1 (3.113)
p
Para = se obtienen las funciones H H ( ), F F ( ) denominadas
2
respectivamente integrales elpticas completas de primera especie.
Es decir
H G (1, ) G , , F E (1, ) E , (3.114)
2 2
84
x du
( x, n, ) (3.115)
0
1 nu 2
(1 nu 2 )(1 2 u 2 )
d
V 0 1 2 sen 2
(3.116)
S n (V , ) sen
(3.117)
C n (V , ) co s
y sen , u sen
y Sn ( x , )
EJERCICIOS
dy 1 nx
y y2 , x0
dx x x
1
y
1 Cx nx
85
2. Dada la ecuacin diferencial de Ricatti
dy
x2 x 2 y 2 2 0, x 0
dx
1 3x2
y
x C x3
3. A partir de la expresin dada para la velocidad de caida (ver Ejemplo 22) con
resistencia proporcional al cuadrado de la velocidad, obtener informacin relativa
al espacio recorrido por el cuerpo en funcin del tiempo.
a) dy x exp 1 1 d) d y y 2 x 2 sig n ( x )
dx y dx
b) d y x y 2 2 y 2
4 4 2
dy xy
e)
d x 2 xy (1 x y ) dx x y
dy
c) d y x y ( x2 y2 1)
2 2
f) y 2 ( arctg t ) 2
dx y x ( x y 1) dt
dy y
g) d y x y 1
2 2
h)
dx x y dx x y
dy yt
dt ty
y (3 ) 1
86
3.3. Apliccaciones
3.3.1) Fam
milias de Curvas Ortoogonales
figura abaj
ajo)
Fig. 9: Fam
milias de cu
urvas planass regulares
Dada la Familia
F de curvas
c f ( x, y, c) 0, nuestro
n inters consistee en enconttrar si
existe la reespectiva faamilia ortoggonal.
87
Supngase que f ( x, y, c) 0, es la integral general de la EDO
P ( x , y ) dx Q ( x , y ) dy 0 (3.118)
R ( x , ) d S ( x , ) dx 0 (3.119)
dy P ( x, y ) d S ( x, )
, ,
dx Q ( x, y ) dx R ( x, )
P ( x, y) R ( x, ) P ( x, )
, (3.120)
Q (x, y) S ( x, ) Q ( x, )
d Q ( x, )
(3.121)
dx P ( x , )
x2 y2 C. (3.122)
P( x, ) 2 x, Q( x, ) 2 (3.123)
88
y entonces de (3.121) resulta
d
, x0 (3.124)
dx x
es decir k x ,
dy 2 c x dx 0 (3.125)
es decir, como c y
2
x
x dy 2 y dx 0 (3.126)
y consecuentemente sale
x2 2
k (Familia de elipses)
89
Fig. 10: Familias dde curvas orrtogonales del
d ejemplo precedentee.
Ejemplo 3
x 2 ( y c)2 1 c 2 (3
3.127)
con c parmetro.
Se quiere encontrar las curvas equipotencciales (unen
n puntos dee igual poteencial
elctrico) del dipolo en
e cuestin..
Es conociido el hech
ho que las curvas equipotencia
e ales (unen puntos de igual
potencial elctrico)
e del dipolo enn cuestin.
Es conocido el hecho
o que las cuurvas equipo
otenciales en
e este casoo son una faamilia
ortogonal a las de cam
mpo.
90
d 1 x 2 2
x0 (3.128)
dx 2x
1
para esta EDO resulta un factor integrante, con lo que se obtiene la integral
x 2
Ejemplo 4
P ( r , ) d Q ( r , ) dr 0 (3.129)
teniendo presente el hecho que si dos curvas se interceptan segn un ngulo recto,
en el punto de interseccin el valor de la expresin r d para una de las curvas
dr
debe ser el reciproco de la otra con signo negativo, se obtiene la siguiente
ecuacin diferencial para la familia ortogonal a la dada
dr Q (r , )
r2 (3.130)
d P (r , )
se tiene dr c sen d 0
es decir
r
dr sen d 0
1 cos
91
y en consecuencia
dr (1 c o s )
r 3.131)
d s e n
Observacin 14
dT
T R ( cos sen ), 0 (3.132)
d 2
Se pide encontrar la mxima longitud de cadena que puede colgar libremente justo
antes de caerse.
92
Fiig. 11: Esquuema del disspositivo an
nalizado.
R ( 2 1) R
T ( ) e 2 (2 sen (1 2 ) co
os ) (3.133)
1
2
1
La mxim
ma longitud de cable quue puede co mente ser T , esto
olgar librem
2
es
R 2
2 2
( 1)e (3.134)
2 1
93
F
Fig. 12: Cab
ble colgantee
1/ 2
dy
2
d2y
1
(3.135)
dx 2
T 0 d x
du
(1 u 2 ) 1 / 2 (3.137)
dx T0
94
du
(1 u 2 )1 / 2
dx T0 (3.138)
u (0) 0
x
u ( x ) Sh
T0
T0 x
y ( x) Ch C
T0
T0
C y0
En consecuencia
T0 x T0
y( x) Ch y0 (3.139)
T
0
T0 L
H Ch 1
T0
95
3.3.3) Vacciado de recipientes p
por accin de
d la graved
dad
Fig. 13
3
96
Naturalmeente, la V1 es la tradiccionalmentee analizada por diverssos autores en lo
referente a las aplicacciones de uun PVI paraa EDOPO. No ocurre aas con la V2
V (al
menos seggn la informacin en m
manejo porr parte de lo
os autores dde este texto
o) que
parece serr un problema interessante y para el que tiene sentiddo explicitaar un
anlisis mas
m o menos detallado.
F gin
Fig. 14: Reg
97
Qs ( y ) a s 2 gy (3.140)
donde en (3.140)
y : denota la altura instantnea o nivel del lquido por sobre el conducto de salida
en P.
g : aceleracin de la gravedad
s: seccin del orificio de salida
a : factor de correccin (0< a <1) por contraccin de la seccin liquida de salida
respeto de s y por el perfil de velocidad del liquido al salir.
Por otra parte, denotando con V V ( y) al volumen del liquido contenido cuando
el nivel del mismo es y, como se sabe se puede expresar
dV
A( y ), (3.141)
dy
claro que la formulacin del modelo pertinente debe partir del siguiente balance:
dV
Qs , (3.142)
dt
dy
A( y) a s 2g y (3.143)
dt
k a s 2g (3.144)
98
y recordando que el nivel inicial (en el momento de abrir la vlvula de salida) del
lquido lo denotaremos como y 0 , arribamos al siguiente PVI para una EDOPO
como descriptivo del proceso que nos interesa:
dy
F ( y) , t 0
dt (3.145)
y (0) y 0 0
y
F ( y) k (3.146)
A( y )
Observacin 15
Observacin 16
(a) A ( y ) A 0 constante.
dF
F crece montonamente desde F ( y 0 ) 0 a F (0) 0, (0) no es finita.
dy
Se ve entonces, tal como era esperable, que en esta situacin, la velocidad de
descenso en el nivel del lquido es mxima al comienzo del proceso, teniendo a
cero hacia el final.
99
(b) A ( y ) constan menos A ( y ) cte para
nte, o al m p y en algn inteervalo
Fig.15:
F Esqu
quemas de diversos
d tipo
os de recipieentes.
Y tendrem
mos en claro
o el tipo dee comportam
miento que usualmentte puede ten
ner la
funcin A A( y) : crecer o ddecrecer moontonamen
nte para cuualquier y o por
intervalos de esta variable. As ppor ejemplo,, puede darsse que:
b.1) A( y0 ) 0, A(0
0) es mxim
ma
Ejemplos tpicos
t ilusttrativos sobbre la varian
nte V1
sera:
dy k
y
dt R 2 (3
3.147)
y (0) H cilindro
o lleno inic ialmente
100
2
k
y (t ) H t (3.148)
2 R2
2 R 2
T0 H (3.149)
k
Fig. 16: E
Esquema de cilindro horrizontal.
A y 2 H x( y)
x( y ) R 2 ( y R )2 2 R y y
101
1 k
F ( y)
2H 2R y
dy 1 k
dt 2 H .
2R y (3.150)
y (0) 2 R
2/3
3k
y (t ) 2 R t2/3 (3.151)
4H
En consecuencia se obtiene
4H
T0 (2 R ) 3 / 2 (3.152)
3k
T 0v 3 R
, (3.153)
T 0h 4 2 H
Naturalmente, se supuso la misma constante k para los dos posiciones. Como era
de esperar la magnitud de un tiempo de vaciado relativo al otro depende
crucialmente con la relacin radio / altura como lo muestra la expresin (3.153).
102
un caso especial.
e Es decir, connsideraremos un recipiente cuya ssuperficie lateral
correspondde a una geenerada hacciendo rotarr alrededor del eje Y ((ver fig. 17
7) una
curva grffica de una funcin
f y f ( x) .
Como se sabe,
s el volu
umen de tall recipiente viene dado como
H
V0 0 x 2 ( y ) dy , 154)
(3.1
En conseccuencia, el volumen
v dee liquido co
ontenido cu
uando el nivvel del mism
mo es
y se expreesar como
y
V ( y ) x 2 ( ) d , (3.155)
0
En conseccuencia:
dV dV V dy dy
. x2 ( y) , (3.156)
dt dyy dt dt
1
x( y) f ( y) (3.157)
infirindose de (3.155
5) y (3.156)) que:
103
dV dy dy
x2 y 1 2
f ( y )
dt dt dt
y entoncess el PVI a fo
ormular serra
dy k y
dt
2
f 1 ( y ) (3.158)
y (0) y 0
Ejemplo 3
se tiene
r 2 ( y) 4 (2 y)2
en conseccuencia trab
bajando en uunidades deel sistema MKS;
M el PPVI (3.145)) para
este ejempplo provee:
104
6, 25 1 0 4
4 y 1 / 2 y 3 / 2 dy 20dt
(3.159)
y (0) 2
Variante V2
Ilustrarem
mos esta variante
v coon casos referente
r al
a vaciado de recipiientes
prismticoos y cilndricos.
Recipientee Prismtico
o
pertinente.
Se desea estimar
e el tiempo
t T paara vaciar el
e recipientee a travs dde un orificcio de
seccin s0 en su puntto mas bajoo.
105
Observacin 17
b
tg (3.160)
a
b
tg (3.161)
a
(A)
(B)
106
ETAPA 0 De la Fig. 19 se sigue que
A 0 l c ( y ) d ( y )
En consecuencia resulta
a l
A1 ( y ) cte , a sen y b cos (3.163)
cos
A2 ( y) l m( y) q( y)
y
con m ( y ) y tg , q ( y ) , 0 y asen entonces resulta
tg
(C)
dy k y
, b cos y H
PVI
0
dt
.
l sec cos ec H y (3.165)
y (0) H
dy k cos
1 y asen y b cos
dt
PVI al (3.166)
y (0) b cos
107
dy k y
, 0 y a sen
PVI 2
dt
.
l sec .cos ec y (3.167)
y (0) a sen
etapas E0 , E1 y E2 respectivamente.
Es crucial destacar que en esta etapa hay que tener presente la singularidad
dy
cuando y H
dt
T T0 T1 T2 (3.168)
(3.166) y (3.167)
T0
1
p
2H
b cos H
2
3
b cos
3
H 3
(3.169)
108
k
p
l sec cos ec
T1
a .l
k cos
2
b cos a sen (3.170)
2 l
sec .cos ec a sen
3
T2 (3.171)
3k
Ejemplo 4
Se invita al lector realizar los clculos correspondientes a los fines de obtener las
estimas para T0 ,T1 y T2 .
109
Figg.20: Esqueema de diqu
ue ideal.
Q s kh 3 / 2 , k 0 (3
3.172)
dh
Q e ( t ) kh 3 / 2
dt (3.173)
h (0) 0
Qe (0) Q0 0, Qe R 3.174)
(3
Entonces se sigue in
nmediatameente, que ell PVI (3.17
73) eventuaalmente adm
mitira
solo funciones h h(t ) tal que
110
h(t ) 0, t 0 (3.175)
como solucin, lo que por otra parte es coherente con la significancia fsica de tal
funcin.
Es ahora oportuno destacar (ver capitulo 2) que en la clase de funciones derivables
y acotadas t 0 , el PVI (3.173) tiene solucin nica.
CASO 1: Sea Qe en (3.173) una funcin que adems de satisfacer (3.174) verifica
dQe
0, t 0 (3.176)
dt
dh 3/2
Q0 k h
dt (3.177)
h (0 ) 0
h ( t ) h ( t ), t 0 (3.178)
Prueba: Por una parte, dadas las hiptesis sobre los caudales de entrada y las
condiciones iniciales, es claro que se tiene
h (0) h (0), h (0) h (0) (3.179)
Por otra parte, a partir de (3.173) y (3.177) se pueden escribir las siguientes
representaciuones integrales paraa las funciones h y h
t t
h (t ) 0 Q e d k h 3 / 2 ( ) d (3.180)
0
111
t t
0 Q 0 d k h ( ) d
3/2
h (t ) (3.181)
0
h (t ) h (t ) t [0, t0 ) (3.182)
t t
h (t ) h (t ) [Qe ( ) Q0 ] d k [ h ( ) h 3 / 2 ( )]d
3/ 2
(3.183)
0 0
siendo
Qe (t ) Q0 0 t 0 (3.184)
h (t ) h (t ) 0 t (0, t0 )
h (t ) h ( t ) t I d (3.186)
h(t0 ) h(t 0 ) (3.187)
112
es decir
3/2
Q e (t0 ) k h 3 / 2 (t0 ) Q 0 k h (t0 ) (3
3.188)
de lo que se
s infiere
Qe (t0 ) Q 0 (3.189)
lo que es contradictor
c rio con (3.1184) y se co
oncluye ento
onces la dem
mostracin de la
desigualdaad anunciad
da por (3.1886)
Consideraando un parrmetro k 1, Qe (t ) e a t , a 0,
0 Q0 1 , en la Fig. 21 se
Tal figuraa se obtuvo de resolverr computacionalmente los PVI (3. 173) para alguos
a
o a para exxplicitar el hecho de que
valores deel parmetro q la validdez de (3.17
76) se
nte a los ca sos en que en el PVI (3.177) en lugar del caudal
extiende naturalemen
n c
constante se considerre un caudall Q e (t ) tal que
q
Qe (t ) Qe (t ), t 0 (3.190)
113
CASO 2: Sea Qe Qe (t ) en (3.173) tal que verifique (3.174) y adems
d 2Q e dQe dQe
0, 0, t [0 , t 0 ), (t0 ) 0 , (3.191)
dt 2
dt dt
d 2Qe dQe
0, 0, t ( t 0 , t f ], Q e ( t f ) 0 , (3.192)
dt 2 dt
h (t ) 0 , t [0, t0 ), h (t ) 0 t (t0 , t f ], h (t 0 ) 0 (3.193)
dh
(a) 0, t 0, t0 )
dt
Dado que h(0) Qe (0) 0, se tiene que existe 0 tal que h(t ) 0 para
h(t1 ) 0 , t1 t0 (3.195)
Siendo h (t ) 0 t [0, t1 ) .
114
Entonces, en un semientorno a izquierda de t1 debe ser h(t ) 0 . Esto no es
posible dado que
3 .
h(t ) Qe (t ) kh1/ 2 h (3.196)
2
y en concecuencia se tendra
h(t1) Qe (t1) 0 (3.197)
h(t0 ) 0 (3.198)
Como Qe (t0 ) 0, de (3.195) se infiere que debe ser
h(t0 ) 0 (3.199)
Obviamente debe tenerse h(t ) 0 en un sentimiento izquierdo de t0 .
i) h tiene un punto de inflexin y en consecuencia debe ser h ( t 0 ) 0 . Esto no es
posible dado que
2
3 h (t )
h ( t 0 ) Q e ( t 0 ) k 12 1 / 2 0 h 1 / 2 ( t 0 ) h ( t 0 ) Q e ( t 0 ) 0 (3.200)
2 h (t0 )
ii) h tiene un mximo relativo. En este caso tiene que ser h ( t 0 ) 0 lo que ya
vimos que no es posible.
115
Entonces debe tenerse h(t0 ) 0 y se concluye la prueba de la parte (a) del
Teorema.
b) Existencia de t
En efecto, como h(t f ) 0 se tendra h (t f ) 0 y necesariamente debe ser
.
h(t ) 0 al menos para algn t del intervalo (t0 , t f ), 0 .
Unicidad de t
h(t1 ) 0, h(t2 ) 0 (3.201)
Para precisar consideremos t 1 t 2 . Es claro que al ser Q e ( t1 ) 0, Q e ( t 2 ) 0 en
h(t2 ) Qe (t 2 ) 0 (3.202)
En efecto, si asi fuese se tendria h(t f ) Qe (t f ) 0 y en consecuentemente
116
t que h (T ) 0 de (3
Obviamennte, si con T se denota al valor de t (T t f ) tal 3.173)
se sigue quue
h(t ) 0, t t f ,T ) h(T ) 0 (3.203)
1
k 1, Qe (t ) 18 8t t 2 (3.204)
2
117
Fig. 23: Caaudal Qe dado
d por (3.204)
La fig. 24 exhibe la funcin
f deriivada h h(t ) de la so
olucin de ((3.173) (currva 1)
y la funcin derivada Qe Qe (t ) correspond
diente a (3.2
204) (curvaa 2)
Conjeturaa: En virtud
d del Teoreema 2 es razonable co
onjeturar qu
que si en ell PVI
(3.173) se
s pone un
u caudal Qe Qe (t ) periodicco, entoncees la solucin
118
corresponddiente h h(t ) ser unna funcin oscilante.
o A este respeccto, en la fiig. 25
l solucin de (3.173) ccon k 1 y un caudal dado
se ilustra la d por
Qe (t ) coos t (3.205)
3.3.5 Ap
plicacin all Flujo de M
Mezclas (diisoluciones liquidas) D
Disolucin de
d
Soolidos.
a) Coonsidrese un sistem
ma de flujo de una mezcla lquida com
mo el
esq
quematizad
do en la figg. 26 siguien
nte
119
Al recipiente ingresa una solucin lquida con una concentracin conocida
C e peso / volum en de un soluto (por Ejemplo de una sal), a un caudal Qe
tambin conocido.
d
( C sV ) Q e C s Q s C s (3.206)
dt
dy Qs
y QeC e (3.208)
d t V (0 ) ( Q e Q s ) t
Ce Ce (t ) (3.209)
120
(b) Disolucin de solidos en el seno de un liquido perfectamente agitado.
Se desea disolver una masa inicial de y0 (por Ejemplo una sal soluble) en el seno
peso
C (t ) : Concentracin de sal disuelta al tiempo t.
volumen
Claramente se debe tener que:
Por otra parte, el pertinente balance de materia para el soluto resulta ser:
dy
(t )(C s C (t )) (3.211)
dt
dy y0 1 (3.212)
y C s y 0
dt V0 V 0
121
Cuanta sal hay en el tanque cuando se llena?
dy 12
y 80
dt 200 4t (3.213)
y (0) 2 0 0
1 t 12
y (t ) exp d
0 200 4
200
t 12 t z 12
exp d 0 (e x p ( 0 du ) 80)dz (3.214)
0 2 0 0 4 2 0 0 4 u
V (t ) 200 4t (3.215)
T 25 min (3.216)
122
Ejemplo 2
Cierta cantidad de una sustancia indisoluble contiene en sus poros 10kg de sal.
Actuando 90 litros de agua se observ que durante una hora se disolvio la mitad
de la sal contenida. Cuanta sal se disolver durante el mismo tiempo si se duplica
la cantidad de agua?
1 kg
Nota: La concentracin de saturacin es Cs
3 litro
Resolucin
A partir de (3.210) y (3.211) se arriba a plantear el siguiente (PVI) para C (t )
descriptivo del proceso enunciado (para V0 180 litros)
dC 1
(10 180C ) C
dt 180 3 (3.217)
C (0) 0
C (t )
1
18
1 e 5 /18 t (3.218)
1
1 e 5 /18 t
6
PROBLEMAS
123
ressorte-disipacin viscossa proporcio
onal a la velocidad
v coomo se ilusstra a
conntinuacin.
vimiento ess d y K y F .
Si se aplicca una fuerrza externa F, la ecuaccin de mov
dt
Considreese los siguientes casoss:
F0 t si
s 0 tT
F F0 cte 0
F F 0 ( 2 T t ) si T t 2T
0 si
s t 2T
2- Haallar el tiem
mpo necesarrio para quee un tanquee cuadrado dde 1m de laado y
m de alturaa se vacie ppor un orificio circularr de 2cm dee dimetro en el
2m
fonndo.
3- Unn tanque tieene la form
ma de un cilindro
c verttical, iniciaalmente con
ntiene
aguua con unaa profundidaad de 3 m y un tapn en el fonddo se retira en el
moomento t 0 . Despus de 1h la
l profundiidad ha deescendido a 1m.
C
Cunto tardaar el agua een salir del tanque?
t
ontiene 1000lts de una solucin que
4- Unn tanque co q consta dde 50 kg de
d sal
dissueltos en agua.
a Se boombea aguaa pura haciia el tanquee a razn de
d 10
lt/sseg y la mezzcla (que see mantiene uniforme
u mediante
m agiitacin) se extrae
e
a la
l misma raazn. Cunnto tiempo pasar antees de que quueden solam
mente
10 kg de sal en el tanque??
124
5- Cierta cantidad de una sustancia indisoluble contien en sus poros 10 kg de
sal, actuando 90 lts de agua se observ que durante una hora se disolvi la
mitad de la sal contenida. Cunta sal se disolver durante el mismo
tiempo si se triplica la cantidad de agua?
6- El fondo de un depsito de 300 lts de capacidad, est cubierto de sal.
125
3.3.6 Reacciones Qumicas
k1
A2 B 2 2 AB (3.219)
k2
Denotando con:
dy y y
k1 C A 0 C B 0 k 2 y 2 (3.220)
dt 2 2
y (0) 0 (3.221)
y y
F ( y ) k1 C A 0 C k y2 (3.222)
2 B 0 2 2
O ms ordenadamente como
k k
F ( y ) 1 k 2 y 2 1 C A 0 C B 0 y k 1C A 0 C B 0 (3.223)
4 2
126
A partir de (3.223) se encuentra que los ceros de F son reales y son los siguientes:
C A0 C B 0
2
C A0 C B 0 16C A 0 C B 0 k 2 k1
y
0
(3.224)
1 4 k 2 k1
C A0 C B 0
2
C A0 C B 0 16C A 0 C B 0 k 2 k1
y1 (3.225)
1 4 k 2 k1
k2 1
(3.226)
k1 4
Implica que
y 0 0, y1 0 (3.227)
lim y (t ) y1 (3.229)
t
127
Fig 28
Fig 29
k2
Dependenncia del cero
o y1 de F coon la relaci
n
k1
a C A 0 CB 0 , b C A 0 CB 0 (3.230)
128
Entonces racionalizan
ndo el num n de y1 dadda por (3.21
merador de la expresin 10) se
tiene
4C A0C B 0
y1 (3.231)
a b 2 1 6 C A 0 C B 0 k 2 k1
ue y1 es deecreciente co
de (3.231)) se sigue qu n k 2 .
on la relaci
k1
Se tiene asi
a una con
nclusin quee vincula el
e valor de equilibrio aalcanzado por
p la
conversinn Y en la reaacin
r 219) con laa relacin dde constantes de
quumica (3.2
velocidad inversa y directa.
d La cconclusin es esperablee desde el ppunto de vissta de
la teoria pertinente dee la cinticaa qumica.
En la fig.. 30 obten
nida compuutacionalmen
nte como solucin
s deel PVI (3.22
20)
(3.221) paara dos valores de la rellacin k 2 k1 , se ilustrra la concluusin preced
dente.
Suponienddo C A 0 CB 0 y k2 0 se propon
ne al lector efectuar unn anlisis siimilar
al precedeente desde el
e comienzo del apartad
do.
Observaciin 2: La ap
plicacin dee un PVI paara una ED
DOPO relatiiva a la dinmica
de poblaciiones de una especie, sse puede verr claramentee tratada poor Ejemplo en
e los
textos de referencia
r Kiseliov,
K A. ; Krasnov, M.
M & Makaarenko, G ( 1973).
k2
Fig. 30: Grfica de la solucin del PVI (3..220-3.221)) con coomo parm
metro.
k1
129
3.3.7 Dinmicas de Poblaciones
Introduccin
dy
N (t ) M (t ) (3.232)
dt
N ( t ) cy ( t ), M ( t ) dy 2 ( t ) con c, d 0 (3.233)
dy
c y (t ) d y 2 (t ) (3.234)
dt
130
que es la clsicamente conocida como ecuacin logstica para la dinmica
poblacional.
Es de destacar que en (3.234) el trmino dy 2 tiene en cuenta el efecto
depresor causado por la sobrepoblacin sobre la velocidad de crecimiento cy.
Para completar la formulacin del modelo debemos asignar un valor inicial
y0 0 para la funcin incgnita y(t) generndose as el siguiente problema de
valor inicial (PVI) para una ecuacin diferencial ordinaria de primer orden
(EDOPO):
dy
cy (t ) dy 2 (t )
dt (3.235)
y (0) y0 0
dy
F ( y ), t 0 (3.236)
dt
y (0) y0
Resultado 1
c
0 y 0 y 0 y1 lim y (t ) y1 (3.237)
d t
131
Resulttado 2
c
y0 y1 lim
l y (t ) y1 (3.238)
d t
en form
ma monton
na decreciennte.
Los prrecedentes resultados
r see ilustran en
n la figura. 31 y 32 resppectivamen
nte.
Fig. 31 y F
Fig.32: Com
mportamientto asintticoo
de la solucin del PVI (3..235)
Ambas figguras repressentan la saalida graficaa resultante de procesaar el PVI (3
3.235)
con un sim
mulador no lineal.
132
Se invita al lector a realizar un anlisis de convexidad y puntos de inflexin sobre
las curvas de las Fig. 31 y 32.
En particular, se sugiere concluir que en el caso de la curva de la Fig. 32, la
y k 1 yk p yk (1 y k ), k 0,1,2,... (3.239)
p0 (3.240)
lim yk ye (3.241)
k
Fp ( y ) y py (1 y ) (3.242)
133
y suponiendo que el y0 asignado satisface siempre
0 y0 1 (3.243)
1
F p ( y ) 0 para todo y perteneciente al intertvalo 0, 1
p
1
Fp (0) 0, Fp (1 )0 (3.244)
p
1 p
ym (3.245)
2p
1 4
( F p ) max (3.246)
4p
Como se sabe, una condicin suficiente para que una iteracin alcance un punto
fijo es que la transformacin correspondiente sea cerrada y contractiva (estamos
trabajando en un espacio mtrico completo).
En este caso es claro que imponiendo la restriccin
1 4 1
1 (3.247)
4p p
1 p 3 (3.248)
134
0 p3 (3.249)
0 p2 (3.250)
sigue que ye 1 ).
REFERENCIAS
[1] Edwards, C.H & Penney, C.H (1985). Ecuaciones Diferenciales con
Aplicaciones. Ed Prentice Hall.
[2] Elgoltz, L. (1997). Ecuaciones Diferenciales y Clculo Varacional. 2 Edicin
Ed MIR.
[3] Kiseliov, A.; Krasnov, M. & Makarenko, G (1973).. Problemas de
Ecuaciones diferenciales Ordinarias. 2 Edicin. Ed MIR.
[4] Murphy, G.M. (1960). Ordinary Differential Equations and their Solutions.
Ed Van Nostrand, Princeton, N. J.
135
4
Sistema de Ecuaciones
Diferenciales Ordinarias de
Primer Orden (SEDOPO)
y1 ( x )
y ( x)
Y ( x) 2 (4.1)
yn ( x )
d y1
d x f1 ( x , y1 , y 2 , ..., y n )
d y 2 f ( x , y , y , ..., y ) (4.2)
2 1 2 n
dx
dyn
d x f n ( x , y1 , y 2 , ..., y n )
donde ( y 1 , y 2 , ..., y n ) D n
Observacin 1: Introduciendo la funcin vectorial F como
f1 ( x , Y )
f (x , Y )
F 2 (4.3)
fn ( x , Y )
dY
F ( x, Y ) (4.4)
dx
137
4.2) Caracterizacin de diversos tipos de SEDOPO
F AY , (4.5)
138
dY
AY , t 0 (4.6)
dt
cualquier intervalo de .
Teorema1
139
En tal sentido se consideran los siguientes casos caracterizados por la naturaleza
de los autovalores de A:
Caso 1
Todos los autovalores de A son reales y distintos, esto es
i j si i j (i , j 1 , 2 , ... , n )
Sea X i X i (t ) dada por (4.7); veamos que tal funcin satisface el SEDOPO (4.6).
En efecto
dX i
iV i e i t
donde consideramos Vi 0 (4.9)
dt
por otra parte se debe cumplir
A V i i V i , i 1, 2 , ..., n , (4.10)
por lo que de (4.9) y (4.10) se sigue que
dX i
A V i e i t (4.11)
dt
y entonces de (4.7) y (4.11) se concluye
dXi
AX i (4.12)
dt
que es el resultado anunciado sobre la Xi (t) dada por (4.7).
En virtud del resultado R2 y el Teorema1 explicitados precedentemente, la
solucin general del SEDOPOL (4.6) en el presente Caso 1, vendr dada por la
expresin (4.8)
Ejemplo 1. Sea el siguiente sistema
0 1 0
dY
Y 0 0 1 Y
d t 6 11 6
y1 (t )
es decir se tiene que Y (t ) y2 (t )
y (t )
3
y el SEDOPOL en forma desarrollada sera
140
d y1
y2
dt
dy2
y3
dt
dy3
6 y 1 11 y 2 6 y3
dt
1 1 0 a 0
0 1 1 b 0
6 11 5 c 0
se obtiene rpidamente que
a 1
, a 0 , arbitrario
V1 a a 1
a 1
Anlogamente se encuentra:
p 1
, p 0 arbitrario
3 = - 3, V 3 = - 3 p = p - 3
9 p 9
l 1
2 2 , V 2 2 l l 2 , l 0 arbitrario
4l 4
141
En consecuencia, se encuentran las siguientes funciones vectoriales
X i ( t ), i 1, 2, 3 aplicando (7):
1
t t
X 1 ( t ) V1 e a 1 e
1
1
2 t 2 t
X 2 (t ) V 2 e l 2 e
4
1
3t
X 3 (t ) V3 e p 3 e 3t
1 4 9
donde las constantes arbitrarias a 1, a 2 , a 3 han incorporado a, l y p
respectivamente.
Un procedimiento Alternativo
Es importante tener presente que para el Caso que nos ocupa de autovalores todos
distintos de la matriz A del SEDOPOL (4.6), dicho SEDOPOL tambin puede
resolverse desacoplndolo, es decir, llevndolo previamente a un SEDOPOL de
la forma
dU
D U (4.13)
dt
donde D es una matriz diagonal cuyo elementos diagonales son precisamente los
autovalores de A. Cada ecuacin diferencial integrante de (4.13) se resuelve
inmediatamente en forma independiente ya que estn desacopladas, naturalmente
son a variables separables.
Una vez obtenida U a partir de ella se encuentra Y solucin general de (4.6). El
procedimiento es el siguiente.
a) Se encuentran los autovalores de A
b) Se encuentran los correspondientes autovectores asociados Vi aplicando (4.10)
142
c) Con el conjunto de autovectores encontrado en b) se construye una matriz B
yuxtaponiendo tales autovectores, es decir, B tendr como columnas a los Vi :
B (V 1 V 2 V 3 Vn ), (4.14)
Como es sabido del Algebra Lineal, la matriz B as construida ser no singular al
ser los V i , i 1, 2,..., n linealmente independientes.
En consecuencia, con B se diagonaliza a A como
1
B AB D (4.15)
a) Ahora se introduce la siguiente transformacin biunvoca de coordenadas :
U B1 Y (4.16)
a partir de la cual se tiene
dU 1 dY 1 1
B B A Y (B A B )U D U (4.17)
dt dt
encontrndose el SEDOPOL desacoplado anunciado por (4.13). Teniendo U, Y se
obtiene a partir de (4.16)
b) Obtencin de U
Explicitando (4.13) se tiene
dU 1
dt
1 0 0 U 1
dU 2
0 2 U
dt 2 (4.18)
0
n U
dU n n
dt
143
C 1 e 1t
t
C 2e 2
U (t )
(4.21)
C e nt
n
dY 0 1
Ejemplo 2Sea el SEDOPOL Y A Y .
dt 2 3
a b
V1 , V2 (a y b : constantes arbitrarias)
a 2 b
Por lo tanto, se obtiene la siguiente matriz B
a b
B
a 2 b
Por otra parte se encuentra
C e t
U (t ) 1 2 t
C e
2
Y consiguientemente, de (4.16) se sigue
y (t ) a b C1e t 1 t 1 2 t
Y (t ) 1 a e a e
y 2 (t ) a 2 b C e 2 t 1
1
2
2
2
con a 1 a c 1 , a 2 b c 2 , habindose las arbitrariedades de a, b, c 1 , c 2 ,
incorporado en a 1 y a 2 .
Se invita al lector a resolver el Ejemplo 1siguiendo el procedimiento de
desacoplar que se termina de explicitar y el Ejemplo 2aplicando (4.8)
Observacin 2
Es dable destacar, que el procedimiento alternativo de la diagonalizacin de la
matriz A del SEDOPOL (4.6) cuando todos los autovalores son distintos tiene la
virtud de ilustrar conceptualmente en forma muy clara y rpida, con el solo
144
conocimiento del carcter de los autovalores en lo relativo a su signo, el
comportamiento de la solucin cuando la variable independiente t
En efecto, de (4.20) se puede ver que:
i) Si i 0 i, i 1, 2, ...n , entonces independientemente del valor de las
constantes C i , i 1,..., n , es decir cualesquiera sean los valores iniciales
X (t ) X 1 (t ) i X 2 (t ) (4.26)
145
Desde que X (t ) dada por (4.26) satisface el SEDOPOL (4.6), se tiene
dX
A X ( t ) A ( X 1 ( t ) i X 2 ( t )) A X 1 ( t ) i A X 2 ( t ) (4.27)
dt
es decir
dX 1 dX 2
i A X 1 (t ) i A X 2 (t ) (4.28)
dt dt
y en consecuencia se infiere que
dX 1 dX 2
A X 1 (t ) , A X 2 (t ) (4.29)
dt dt
lo que dice que las funciones vectoriales de la variable real t , X 1 (t) y X 2 (t ) ,que
son respectivamente la parte real e imaginaria de la funcin vectorial compleja
X (t ) dada por (4.26), satisfacen ambas al SEDOPOL en estudio. Adems, se
puede comprobar rpidamente que tales funciones X 1 (t) y X 2 (t) son linealmente
independientes. Entonces resulta que como contribucin a la solucin general
Y Y (t) , por parte de los autovalores complejos a b i , a b i se puede
X (t ) X 1 (t ) X 2 (t ) (4.30)
Ntese que la X (t ) dada por (4.30) es una funcin vectorial realde la variable t,
dy 2
9y1 y 2 2 y 3
dt
dy 3
9y1 4 y 2 y 3
dt
146
3 0 1 y 1
dY
9 1 2 Y AY , Y y 2
dt 9
4 1 y
3
3 0 1
Donde A 9 1 2
9 4 1
4 4
V
9 y en consecuencia X 3 ( t ) 9 e 3 t
3 .
0 0
4 i 0 a 0
9 i 2 b 0
9 4 i c 0
a
donde el autovector correspondiente se lo denot como V b o simplemente V.
c
Resolviendo el sistema algebraico precedente se encuentra
a 1 0
V (2 i ) a a 2 i a ; a es arbitraria
( i 4) a 4 a
y entonces de (4.26) se sigue
co s t sent
t t
X 1 ( t ) a 2 cos t sent e ; X 2 ( t ) a cos t 2 sent e
4 cos t sent cos t 4 sent
Consecuentemente, la solucin general del SEDOPOL propuesto se expresa
como:
cos t sent 4
Y (t ) 2 co s t sen t e
t
cos t 2 sent e
t
9 e3 t
4 c o s t se n t c os t 4 sen t 0
147
Caso 2 Autovalores Mltiples
Siendo la matriz A del SEDOPOL (4.6), de n x n , el presente Caso se
refiere a la situacin en que al menos un autovalor de A se repite o es mltiple con
grado de multiplicidad m n . Al respecto, en primer lugar, es oportuno
puntualizar lo siguiente:
Sea un autovalor con grado de multiplicidad m, es decir
1 2 m y consideremos la ecuacin
(A I ) V 0 (4.31)
Si de (4.31) se pueden hallar m autovectores linealmente independientes, el
autovalor mltiple se dice completo. Al contrario, si de (4.31) se pueden hallar
menos de m autovectores linealmente independientes, se dice incompleto.
Obviamente, interesa tratar la variante de autovalor incompleto.
(W (t ) 0) .
Para los autovalores simples (si los hubiere) se aplica (4.7) para obtener las
pertinentes X i (t ), i m.
148
Los autovalores de la matriz A resultan ser 1 2 4, y en consecuencia,
aplicando (4.32) se tiene
W (t ) U 0 e 4 t U 1 t e 4 t (4.33)
Por otra parte al ser esta W candidata a solucin del SEDOPOL dado, obviamente
debe satisfacer al mismo:
dW 1 3
W (4.34)
dt 3 7
De (4.33) y (4.34) se sigue que
4 U1 AU1
(4.35)
4 U 0 U1 AU 0
Definiendo a los vectores incgnitas en el sistema algebraico (4.35), U 0 y U1
como:
a c
U 0 , U1
b d
y de resolver dicho sistema algebraico se obtiene
a
U0 , U c , con a y b arbitrarios
c
a
c
1
3
En consecuencia, de (4.33) se encuentra:
a
W (t ) e 4t c t e 4t , (4.36)
c
a
c
3
Se invita al lector a verificar que efectivamente (4.36) provee la solucin general
del SEDOPOL propuesto.
Ejemplo5.Sea ahora el SEDOPOL
1 1 0
dY
0 1 0 Y
dt 0 0 2
En este caso los autovalores de la matriz resultan ser 1 2 1, 3 2 .
Aplicando (4.32) para el autovalor repetido 1 de multiplicidad 2 se encuentra
W ( t ) U 0 e t U 1 te t con
149
p a
U 0 a , U 1 0 donde a y p son arbitrarias
0 0
es decir
p a
t
W (t ) a e 0 t e t
0 0
Para el autovalor simple 3 2 , se obtiene
0
X 3 ( t ) 0 e 2 t con c 0 arbitrario.
c
Finalmente la solucin general del SEDOPOL propuesto se expresa como
d e 0
t 2t
Y (t ) W (t ) X 3 (t ) e t
e 0 t e 0 e
0 0 e
donde se han definido las nuevas constantes arbitrarias d , e, , como
d p, e a , c .
Observacin 4
Con relacin al caso de autovalores mltiples se pueden ver aspectos tericos que
llevan a vincular la cuestin con formas normales de Jordan en el texto de Braun,
M (1993).
EJERCICIOS
1 1 4
dY
1.- Dado el SEDOPOL 3 2 1Y
dt 2 1 1
Obtener la solucin general, concluyendo que la misma viene dada como
1 1 1
t 3t 2 t
Y (t ) a 4 e b 2 e c 1 e
1 1 1
2. Encontrar la solucin general de los siguientes SEDOPOL:
6 3 2 1
(a) d Y Y , (b) d Y Y ,
dt 2 1 dt 4 3
150
3 2 4 0 1 0
dY dY
(c) 2 0 2 Y , (d) 0 0 0 Y ,
dt 4 2 3 dt 6 11 6
0 1 0 1 0 0
dY dY
(e) 0 0 1 Y , (f) 0 1 1Y ,
dt -2 -5 -4 dt 0 1
1
1 1 0 2 1 3
dY dY
(g) 0 1 0 Y , (h) 0 2 -1 Y ,
dt 0 dt
0 2 0
0 2
1 1 1
dY dY 1 1
(i) 0 3 2 Y , (j) Y ,
dt 0 dt 1 3
0 5
(k) d Y
1 2
(l) d Y
1 -5
Y , Y ,
dt 4 3 dt 2 -1
Observacin 5
Teniendo presente los rdenes de crecimiento de la funcin potencial t k y la
exponencial e t cuando t , de (4.32)se sigue que todas las funciones
escalares componentes de W (t ) , esto es w i ( t ) , presentarn el siguiente
comportamiento asinttico:
lim wi (t ) 0 (4.37)
t
151
Teorema 3
La solucin general Y Y (t ) de (4.39) se construye sumando a la solucin
Y (t ) YH (t ) Yp (t ) (4.41)
Caso Especial
Se trata del caso en que en (4.39) A es no singular ( A 1 ) y B es un
vector (funcin vectorial) constante.
En efecto, se ve que entonces la funcin Y p que provee una solucin particular se
dado que
d
( A 1 B ) 0
dt
y por otra parte
AYp ( AA1 ) B I B B (I denota la matriz identidad) ,
dY 0 1 1
Y
dt -2 3 2
152
1
como det A 2 0 y B , es procedente aplicar (4.43).
2
Rpidamente se encuentra que
1 1
YH (t ) a e t b e 2t
, cona y b arbitrarias
1 2
23
1
1
1
23 1
1 21
A 2
, A B 2
1
0 1 0 2 1
En consecuencia se obtiene
1 t 1 2t 21
Y (t ) a e b e
1 2 1
para la solucin general del SEDOPOL propuesto en el ejemplo.
Caso General
En (4.39) la funcin vectorial dato B (t ) es cualquier funcin oportunamente
regular (por ejemplo continua en su dominio de definicin). Para buscar Y p
dX i
AX i , i 1,..., n (4.44)
dt
Definicin
Usando como columnas (por yuxtaposicin) a las X i soluciones de (4.44)
Bsqueda de Y p
153
Y p (t ) v1 (t ) X 1 (t ) v2 (t ) X 2 (t ) .... vn (t ) X n (t ) (4.46)
v1 (t )
t
0X
1
( ) B ( ) d , (4.49)
v (t )
n
habindose, sin prdida de generalidad, supuesto que
v1 (0) 0, v2 (0) 0,..., vn (0) 0
154
En consecuencia, la expresin que provee la solucin general para el
SEDOPOL (4.39), resulta ser:
t
Y (t ) X ( t ) K X ( t ) X 1
( ) B ( ) d , (4.53)
0
Ejemplo 7
Vamos a obtener la solucin general del siguiente SEDOPOL
dY 0 1 e t
Y (4.54)
dt 2 3 1
dYH 0 1
La solucin general YH (t ) del homogneo asociado YH ya fue
dt 2 3
2 2 t 1 t
e e
1 e
t
a1 a1
1
X (t ) B X (t )
1 1 t 1 t
a e e
3 2
2 a2
t 2 2 1
0 a e
1
a1
e d
1 t
a
e e 2 t
t
0 X ( ) B ( ) d t 1 3 1 2
1 1
1 3t 1 2 t 1
e a e d 3a e 2 a e 6 a
0 a2 2 2 2 2
1 2t 2 1
e et
t 6 3 2
X (t ) X 1 ( ) B ( ) d
0
1 2t
e e
1 t
3 3
k1
Por otra parte, denotando al vector arbitrario K en (4.53) como K
k2
se arriba a la solucin general para el SEDOPOL planteado, esto es
155
a et b e 2t 16 e 2 t 32 e t 12
Y ( t ) 1 2 t
1 t
a e 2 b e 3e 3e
t 2t
donde a y b son constantes arbitrarias a k1 a 1 , b k 2 a 2 .
En teora de Control es de frecuente aparicin el siguiente SEDOPOL a
coeficientes constantes no homogneo con B un vector constante y u u (t ) una
funcin escalar de la variable real t:
dY
A Y B u (t ) (4.55)
dt
La exponencial Matricial eA t
Vamos a deducir a continuacin la relacin existente entre la matriz
fundamental de soluciones X (t ) de un SEDOPOL homogneo a coeficientes
dX
A X (t )
dt (4.59)
X (0 ) X 0
S (t ) e A t
(4.60)
siendo A en (4.59) la matriz cuadrada real constante del SEDOPOL (4.56).
156
Como es sabido, e A t se define por la siguiente serie potencial uniformemente
convergente para todo t y toda matriz cuadrada real constante
Ant n
e A t
I n!
(4.61)
n 1
e A (t ) e A t e A (4.63)
(e A t ) 1 e A t (4.64)
de A t
Ae A t (4.65)
dt
Si A es diagonal, esto es:
a11 0 0
0 a 22 0
A (4.66)
0 0 an n
entonces se tiene:
e a11 t 0 0
e a 22 t 0 0
0
eA t
(4.67)
0 0 0 e an n t
Si A es nilpotente, esto es decir que para algn k natural se cumple que
A k 0 , se tiene:
t k 1
e A t I At A k 1 (4.68)
( k 1)!
Sea A una matriz tal que sus elementos verifican las siguientes condiciones:
aij a ji (i j , i , j 1, 2, , n )
aii 0 ( i 1, 2, , n )
157
Sea A una matriz diagonalizable (por ejemplo es el caso en que todos sus
autovalores son distintos: i j , si i j , i , j 1, 2, , n ) . Denotando con S a la
se tiene:
e A t Se t S 1 (4.71)
S 2 S 1t 2 ( t ) 2
e At I S S 1t S I t S 1 (4.72)
2! 2!
y usando ahora (4.66) se concluye la expresin anunciada dado que:
( t ) ( t )3
I t e t
(4.73)
2! 3!
Teorema 5 (Sylvester)
Sea A (n x n) una matriz cuadrada constante sobre R que tiene sus autovalores
distintos. Entonces, la funcin matricial f ( A ) definida por:
f ( A) ak A k , (4.74)
k 1
donde
n A jI
G (i )
(4.76)
j 1, ji i j
siendo i , i 1, 2, , n los autovalores de A e I es, como siempre, la matriz
identidad de n x n.
Teniendo ahora presente que
n
G (i ) I (4.77)
i 1
158
de (4.65), (4.74) y (4.75) se concluye la siguiente expresin para evaluar e A t bajo
las condiciones del Teorema:
n
e At
e it G ( i )
(4.78)
i 1
Del (4.66), (4.69) y (4.60) se infiere que S(t) debe satisfacer el siguiente (P.V.I.)
dS
AS
dt (4.79)
S (0) I
De (4.60) y (4.61) se deduce que la solucin del P.V.I. (4.59) se obtiene como:
X (t ) e A t X (0) (4.80)
y en consecuencia resulta
1
eA t
X (t ) X (0 ) (4.81)
La expresin (4.81) provee la relacin existente entre la matriz fundamental de
soluciones X ( t ) del SEDOPOL (4.56) y la exponencial matricial e A t relativa a
Observacin 6
Consideremos el (PVI) dado por:
dY
AY
dt (4.84)
Y ( 0 ) Y 0
donde A es una matriz constante (n x n) que cumple con los siguientes requisitos.
i) A es no singular.
159
ii) Todos los autovalores de A son distintos, esto es
i j , si i j , i, j 1, 2, , n
lim Y (t ) 0
t
Por otra parte por lo visto previamente sabemos que la solucin del PVI (4.84)
viene dada por
Y (t ) e A t Y0
En consecuencia, por ii) en virtud de (4.78) se tiene:
n n
Y ( t ) e At Y0 e i t G ( i ) Y0
e i t G ( i ) Y0 (4.86)
i 1 i 1
i 1
n
donde K> 0 es una cota para G (i ) .
Ejercicio N 1
Consideremos el siguiente (PVI) para un SEDOPO lineal no homogneo a
coeficientes constantes:
160
dY
AY B ( t )
dt (4.89)
Y (0) Y0
en particular
lim B (t ) 0 (4.91)
t
Vamos a ver que cualquiera sea el dato inicial Y0 , la solucin Y de (4.89) posee
el siguiente comportamiento:
Y (t ) es acotada (4.92)
lim Y (t ) 0 (4.93)
t
161
yi yi (t ), yi C 1 0, T , i 1,..., n, y una funcin vectorial F, de Y y la
J 0, T (4.98)
Definicin
La funcin F (Y , t ) en (4.96) satisface una condicin de Lipschitz respecto
de Yen 0 , D0 x[0, T0 ], D0 (Y : Y Y0 a), si existe una constante
Entonces el PVI (4.58), posee una nica solucin en un entorno del dato inicial
definido por
T
Y Y0 min a, 0 , t T0 (4.101)
K
Ntese el carcter local del resultado establecido por este Teorema.
162
El mtodo de prueba es totalmente anlogo al explicitado en el Captulo 2 del
presente para existencia y unicidad local de in PVI para una ecuacin diferencial
de primer orden; esto es, se reemplaza (4.96) por la ecuacin integral
t
Y Y0 0
F (Y , ) d (4.102)
sea el valor inicial Y0 ,el PVI dado por (4.96) posee una nica solucin definida en
Ejercicio N 2
Sea el SEDOPO:
dy
dt x
2
dx y 2 t
dt
y
Hallar una constante de Lipschitz L, suponiendo Y 1, con Y
x
163
Ejemplos Ilustrativos
Ejemplo 8
Vamos a resolver el siguiente PVI. :
dY 0 1 1
Y , Y0
dt 2 3 0
la solucin general del SEDOPOL propuesto se expresa como:
1 1
Y (t ) a e t a 2 e 2 t (4.103)
1 2
En consecuencia, para resolver el PVI dado a partir de (4.103) hay que calcular a1
1 1 1
a1 a 2 (4.104)
0 1 2
y1 (t )
Denotando a Y (t ) por Y (t ) se tendr:
y2 (t )
y1 (t ) 2 e t e 2 t
y 2 (t ) 2 e t 2 e 2 t (4.106)
Ejemplo 9
d y1
y1
dt
dy2
y2 y3
dt (4.106)
dy3
y2 y3
dt
y 1 ( 0 ) 1, y 2 ( 0 ) 1, y 3 ( 0 ) 1
164
Dado que los autovalores de la matriz A son 1 1, 2 1 i , 3 1 i , se
encuentra la siguiente solucin general para el SEDOPOL planteado:
1 0 0
t t
Y (t ) a1 0 e a 2 sent e a 3 cos t e t (4.108)
0 cos t sent
En consecuencia, a1 , a2 , a3 se obtienen de resolver el siguiente sistema algebraico
1 1 0 0
1 a1 0 a2 0 a3 1
(4.109)
1 0 1 0
encontrndose a1 1, a2 1, a3 1 .
Por consiguiente, la solucin del PVI (4.107) propuesto resulta ser
1 0
t
Y (t ) 0 e c o s t e t
0 sent
Ejemplo 10
dY 1 3 0
Y , Y (0 )
dt 3 7 1
La solucin general de este SEDOPOL viene dada como
a
Y (t ) e 4t c t e 4t
c
a
c
3
Por consiguiente a y c se obtienen de resolver
a
0
c
1 a
3
encontrndose a 0, c 3, y en consecuencia
0 3
Y (t ) e 4 t te 4 t
1 3
es la solucin del PVI propuesto.
165
Ejercicios
Resolver los siguientes PVI:
d y1
dY 3 8 d t 3 y1 5 y 2
Y
dt 1 3
a) b) d y 2 2 y1 8 y 2
Y (0 ) 6 dt
y1 (0 ) 2, y 2 (0 ) 5
2
d y1 d y1
d t 4 y 2 y3 d t y1 5 y 2
dy2
c) d t y 3 d) d y 2 2 y 1 y 2
d y3 dt
4 y2 y 1 (0 ) 0 , y 2 ( 0 ) 1
dt
Y1 (0 ) 5, Y 2 (0 ) 0, Y3 (0 ) 4
1 2 1 0
dY
e) AY , A 0 1 1 , Y (0) 1
dt 0
1 1 1
0 1 0 1
dY
f) 0 0 1 Y , Y (0) 0
dt
-6 -11 -6 0
0 1 0 0
dY
g) 0 0 1 Y , Y (0) 1
dt
2 5 4 0
3 1 1 1
dY
h) 1 3 1 Y , Y 0 2
dt
3 3 1 1
1 3 2 2
i) dY 0 1
0 Y , Y (0) 0
dt 0
1 2 3
0 2 0 0 1
2
j) dY
0 0 0 1
Y , Y (0)
dt 0 0 0 3 1
0 0 3 0 0
166
2 1 3 1
k) dY 0 2
1 Y , Y (0) 2
dt 0
0 2 1
Ejemplo 11
Resolveremos los siguientes PVI:
(a) d Y
0 1 1 0
Y , Y (0 )
dt 2 3 2 1
La solucin general ya fue encontrada y result ser
1 1 1 /2
Y (t ) a e t b e 2 t
1 2 1
De aplicar la condicin inicial queda el siguiente sistema algebraico para
encontrar a y b
0 1 1 1/2
a b
1 1 2 1
as resulta a 1, b 3/ 2 ,con lo que se obtiene como solucin del PVI planteado
1 3 1 1 /2
Y (t ) e t e 2 t
1 2 2 1
et
(b) d Y 0 1 0
Y , Y (0 )
dt 2 3 1 1
167
4.6 Apliccaciones
Vamos ahhora a mencionar algunnos sistemass, entre la grran cantidadd existente, cuya
formulacin en trm
minos de unn modelo matemtico
m (habida cuuenta de ciertas
c
hiptesis idealizantes
i s) resulta enn un P.V.I. para un sistema
s de E
E.D.O. lineeal de
primer ordden.
A) Se traata de un siistema de ccirculacin de
d lquido constituido
c por dos tan
nques
conectadoos como se ilustra
i en la Fig. 1
Figura 1: E
Esquema de circulacin
c dee lquido
Q 1 , Q 2 , Q 3 , Q 4 : deno
otan caudalles de. lquiidoEl objetivo es obteener inform
macin
sobre la dinmica de uido h 1 y h 2 , por ejjemplo, frente a
d los niveeles de lqu
perturbaciiones en loss caudales dde entrada Q 1 y Q2 resp
pecto al esttado estacio
onario
o de rgim
men, si lo hu
ubiere, o sim
mplemente respecto
r de Q1 ( t ), Q 2 ( t ) .
mos que Q3 y Q4 obedeecen a las siiguientes rellaciones
Hiptesis: supondrem
Q 3 ( t ) a1 ( h1 ( t ) h2 ( t )) (4.110)
Q 4 ( t ) a 2 h2 ( t ) (4
4.111)
donde a 1 y a2 son co
onstantes poositivas.
168
y usando (4.110) y (4.111) , a partir de (4.112) y (4.113) se puede formular el
siguiente PVI :
d h1
d t 2 h1 2 h 2 1 Q 1 ( t )
d h 2 h ( ) h Q ( t ) (4.115)
dt 4 1 4 5 2 3 2
h1 ( 0 ) h1 , h 2 ( 0 ) h 2
0 0
o en forma matricial
dH
AH B (t )
dt (4.116)
H (0) H 0
donde
h (t ) 2 2 1 Q1 ( t )
H 1 , A , B (t ) (4.117)
h2 ( t ) 4 ( 4 5 ) 3Q 2 (t )
Es decir para el sistema en cuestin se ha formulado un PVI para un sistema de
EDO lineal a coeficientes constantes como el que hemos estudiado en
seccionesprecedentes.
Ntese que la matriz A contiene informacin de la estructura interna del sistema
como por ejemplo tipo de vlvulas, factores de correccin por estrechamiento en
secciones de flujo, etc. Dado el significado fsico o geomtrico es claro que se
tienen las siguientes restricciones para los parmetros 1 , 2 , 3 , 4 , 5 :
1 0, 3 0, 2 0, 4 0, 5 0 (4.118)
Observacin 7
Los autovalores de A resultan ser
2 4 5 2 5 24 2 4 2 5
2
1,2 (4.119)
2
169
2 0 , 5 0 1 0 , 2 0
iii) 4 0 , 5 0 1 0 , 2 0
0 , 0 0 , 0
5 2 1 2
170
mente, si 2 4 5 0 se ten
Evidentem ndra H constante,
c loo que tambiin es
razonable para el feenmeno fsico en cu
uestin, aun
nque, matem
mticamentte, en
general la solucin de un PVI hoomogneo lineal
l con autovalor
a nuulo mltiplee para
la matriz de
d coeficien
ntes, puede nno ser acotaada.
B) Considderamos aho
ora un sisteema de circu
ulacin de lquido conn controlado
or del
nivel en unn tanque [ver figura 2 iilustrativa]
F
Figura 2: Esq
quema de cirrculacin de lquido con controlador
c dde nivel
Hiptesis
Se suponddr que el caudal QE obedece a una ley lineal con la seal M del
controladoor, es decir
Q E a M b (4.120
0)
y la ley dee Galileo paara los caudaales Q 1 y Q 2 , esto ess
Q1 c H 1 , Q 2 d H 2 (4.121
1)
siendo a, b,c,d,
b constaantes positivvas.
Estado Esstacionario
o o de Rgiimen
H 1 H 1E cte, H 2 H 2E cte (4
4.122)
171
Diremos que en el intervaloo (0, t 0 ] el sistema fsico
f funciion en estado
e
estacionarrio o de rg
gimen. Mateemticamen
nte esto se expresa meediante el par
p de
ecuaciones simultneeas vlidas t : 0 t t 0
dH 1
d t 0
(4
4.123)
dH 2 0
d t
Denotarem
mos con:
Q EE , M E
, Q1E , Q 2E
Modelo Matemtico
M o Descriptivvo
Vamos a hacer
h una consideraci
c n sobre el sistema, cu
ual es la dee suponer que
q al
tiempo t t0 en el caaudal perturbbador se im
mpone una pequea
p dessviacin resspecto
e o Q pE com
del valor estacionario mo efecto deebido a esta causa tambbin se aparrtarn
de los valores
v dee rgimen las mag
gnitudes dee los otrros caudales y
consecuenntemente taambin los niveles de
d lquido [Tngase ppresente qu
ue el
n forma tall sobre la vlvula dee entrada v E de mod
controladoor acta en do de
o de q p sobbre H 2E ]. Sin
contrarrestar el efecto S perder generalidad
g se puede asumir
.
Una supoosicin resttrictiva quee haremos ahora se refiere al hecho dee que
linealizareemos las expresiones dde Q1 y Q2 dadas por (4.121)
( alreededor del estado
e
estacionarrio, esto es decir
d
E d Q1
Q1 Q1 h1
d H 1 H 1 H 1E
(4
4.125)
E dQ2
Q2 Q2 dH h2
2 H 2 H 2E
siendo
172
dQ1
d 1
0
dH 1 H 1 H 1E 2 H 1E
(4.126)
dQ c 1
2
0
dH H 2 H 2E 2 H 2E
2
A dH 2 Q Q Q (4.129)
2
dt
1 p 2
H 2 (0 ) H 2 , H 1 (0 ) H 1
0 0
d h2 h h q (4.127)
dt 3 1 4 2 5 p
h1 ( 0 ) 0 , h 2 ( 0 ) 0
donde
a a 1
1 , 2 , 3 , 4 , 5 (4.128)
A1 A1 A2 A2 A2
d h2 h h q (4.129)
dt 3 1 4 2 5 p
h1 ( 0 ) 0 , h 2 ( 0 ) 0
[a se lo vuelve a denotar como t y tngase presente que en estado de rgimen los
caudales de entrada y salida a cada tanque son iguales].
173
o ms precisamente como
dH
AH B
dt (4.130)
H (0 ) 0
donde
h (t ) 2 0 1 m
H (t ) 1 , A , B q
h2 ( t ) 3 4 5 p
siendo bajo las restricciones supuestas, el modelo descriptivo del sistema fsico
dado, un PVI para un sistema de EDO de primer orden como el analizado en
secciones previas.
Ahora analizaremos concretaremos los siguientes casos:
Caso A:
Suponemos (esto decir que Q pE no se perturba)
d h2 h h (4.131)
dt 1 2
h1 ( 0 ) , h 2 ( 0 ) 0
En el campo transformado resulta
1 1 1 1
h1 ( s ) ; h2 ( s)
2 1 2 1
ss s s ( s 1)
2 2
antitransformando se obtiene
1
t
h1 (t ) 1 e 2
t
(4.132)
t
h2 (t ) 1 e 2e 2
t0
174
Fiigura 3: Resp
puesta de nivveles en dos tanques con perturbacinn escaln
Caso B:
En este caso se considera el m
mismo juego
o paramtriico que en el anteriorr pero
suponienddo que
) q p u (t )
m u (t ), (4
4.133)
d h2 h h u ( t ) (4
4.134)
dt 1 2
h1 (0 ) 0, h 2 (0 ) 0
La solucin de (4.13
34) se encuuentra rpid
damente mediante la ttransformad
da de
Laplace y ella es
h1 (t ) e t / 2 1
(4
4.135)
h2 (t ) 2(( e t / 2 e t )
en la Figuura4 Se ilusttra grficam
mente (4.135
5)
175
Fiigura 4: Grffica de la sollucin del PV
VI(4.134)
Se aconsejja al lector discutir la innformacin
n contenida en la Fig. 4
Caso c): Se
S trata de sistema
s connstituido po
or dos tanqu
ues interconnectados com
mo se
ilustra en la Fig.5. Los caudaless Q1, Q2, Q3,, Q4, se su
uponen consstantes y ad
dems
que
Q1 Q4 , Q3 Q2 Q4 (4.136)
176
dY1 Y2 Y1 Q2 Q3
dt Q2 V Q3 V V Y2 V Y1
2 1 2 1
dY2 Y Y Y Q Q Q
Q3 1 Q2 2 Q4 2 3 Y1 2 4 Y2 (4.137)
dt V1 V2 V2 V1 V2 V2
Y (0) Y , Y (0) Y
0 0
1 1 2 2
se invita al lector a analizar el comportamiento dinmico de la solucin de
(4.137).
dY
F (Y )
dt (4.139)
Y (0 ) Y 0
Teorema 6
Sea la funcin G tal que verifique las siguientes hiptesis:
( H 0 ) G es continuamente diferenciable Y
( H1 ) G (Y ) k Y , Y
Y (t ) Y0 AY ( ) G(Y )( )d ,
t
(4.140)
0
177
por consiguiente
t
Y (t ) Y0 A Y ( ) G (Y ( )) d (4.141)
0
lo que muestra que la solucin de (4.138) bajo los requisitos impuestos, es acotada
por todo tiempo finito
Teorema 7
Sean A y G en el PVI (4.138) tales que verifiquen:
( H 2 ) todos los autovalores de A son negativos o de parte real negativa.
( H 3 )G es continua Y , G (0) 0
( H 4 )G O Y cuando Y 0
178
Observacin 8
Si en lugar de ( H 2 ) se tiene ( H 2 ) : Todos los autovalores de A son positivos o de
parte real positiva, toda solucin de (4.138) con datos iniciales en un entorno del
origen se alejan de ste al crecer t.
Observacin 9
Si en lugar de ( H 2 ) se tiene ( H 2 )" : Todos los autovalores de A son no positivos y
hay por lo menos un autovalor igual a cero, el comportamiento asinttico de la
solucin de (4.138) cuando t lo determina la funcin G, pudiendo darse
(4.144) o el contrario, es decir Y (t ) no acotada para t .
Ejemplo 12
Consideremos el siguiente PVI:
dY 1 4 xy 2
Y 2
dt 4 7 x y
(4.145)
x0
Y 0
y0
Siendo
x 1 4 xy 2
Y , A , G 2
y 4 7 x y
los autovalores de A resultan 1 2 3 y la funcin G satisface ( H 3 ) y ( H 4 ) .
x0 0
En consecuencia la solucin de (4.145) con en oportuno entorno de
y0 0
debe verificar el comportamiento previsto por (4.144).
Ejercicio N 3
Analizar el comportamiento asinttico de la solucin del siguiente PVI:
179
dx
dt 2 x y 3 z 9 y
3
dx 6 y 5 z 7 z 5
dt
dx z 2 y 2 z (4.146)
dt
x (0 )
x0
y (0 ) y 0
z (0 ) z 0
Teorema 8
Sean A y G en el PVI (4.138) tales que satisfagan las siguientes hiptesis:
( H 5 ) : A es no singular y todos sus autovalores son negativos o de parte real
negativa.
( H 6 ) : G es continua Y , G(0) 0 y es lipschitziana en un abierto W de R 2
conteniendo el origen.
Entonces cualquiera sea el dato inicial Y 0 W , la solucin de (4.138) debe tener
el siguiente comportamiento asinttico
lim Y (t ) 0 (4.147)
t +
Observacin 10
Supngase que en PVI (4.139), la funcin F satisface las hiptesis ( H 0 ) y ( H1 )
del Teorema 6.
Entonces vale la conclusin de dicho Teorema para la solucin de (4.139).
Observacin 11
En el PVI (4.139) supngase que:
a) Y e es una solucin estacionaria esto es decir que se cumple que :
F (Y e ) 0 (4.148)
180
b) F (Y ) posee las dos primeras derivadas parciales continuas con respecto a
cada una de las componentes yi (i 1, 2,..., n) de Y .
Z (t ) Y (t ) Y e (4.149)
W R / W Y e (4.152)
Ejercicio N 4
Dado el PVI
dY
dt F (Y )
(4.154)
Y (0) 0
x
y0
donde
x(t ) x xy 2
Y (t ) , F (Y ) 3
(4.155)
y (t ) x y
181
i) obtener las soluciones estacionarias del SEDOPO del PVI
ii) Analizar el comportamiento asinttico de la solucin de (4.154) a la
luz de lo expuesto en la Observacin 8.
Apoyarse en el complemento computacional para ilustrar grficamente las
conclusiones.
Observacin 12
Un caso especial del PVI (4.154) profusamente analizado en la bibliografa lo
constituye el correspondiente PVI plano, esto es:
dx
f1 ( x , y )
dt
dy
f2 ( x, y ) (4.156)
dt
x (0 ) x0
y (0 ) y0
Entre otros aspectos, es interesante destacar la posibilidad de abordar tambin
el anlisis de (4.156)desde un enfoque geomtrico, trabajando con los
conceptos de plano de fase, rbitas de soluciones, ciclos, ndices, etc. En tal
sentido, un tratamiento del PVI(4.154)puede verse entre otros, en los textos
de Braun, 1993 y Hochstadt, 1964.
D) Vamos a considerar una reaccin qumica compleja, cual es por
ejemplo, la descomposicin de una molcula Aa temperatura constante.
La descomposicin ocurre en etapas
ETAPA 1: formacin de molculas B por activacin de molculas A
ETAPA 2: Descomposicin espontnea de B para dar el producto final P.
Es de destacar que enla ETAPA 1 se prev tambin la ocurrencia del
proceso inverso de desactivacin de B, debido a colisiones con molculas
no activadas.
Entonces, el proceso se puede esquematizar de la siguiente manera:
k
d
A2 B2 B P
r
182
Denotaremos con X X (t ) a la concentracin actual (al tiempo t> 0) de
molculas A y X X (t ) la concentracin actual de molculas B, siendo
X (0) X 0 , Y (0) Y0 0 las respectivas concentraciones iniciales.
Suponiendo que el nmero de molculas A por unidad de tiempo y volumen es
proporcional a X 2 , que el correspondiente evento de desactivacin es
proporcional a XY y que la descomposicin de B para dar el producto final es
proporcional a Y , con constante de proporcionalidad d, se puede modelar el
proceso a travs del siguiente PVI para un SEDOPO.
dX
d t rX Y kX
2
d Y kX 2 rX Y d Y
dt (4.157)
X (0 ) X 0
Y (0 ) Y
0
Obviamente, este PVI es del tipo (4.138)con la matrz A y funcin G dadas como:
0 0
A
0 d
rXY kX 2
G 2
kX rXY
De la significancia fsica del problema es natural tener presente las siguientes
restricciones a priori para la solucin del PVI propuesto:
X (t ) 0, Y (t ) 0, t 0, (4.158)
0 X (t ) Y (t ) X 0 Y0 , t 0, (4.159)
Como parte del anlisis sobre el comportamiento de la solucin, comenzamos
puntualizando lo siguiente:
a) Es esperable que el proceso evolucione hacia un estado final de equilibrio o
estacionario.
b) Resolviendo el sistema algebraico simultneo no lineal:
rXY kX 0
2
2
kX rXY dY 0
en el contexto de la restriccin (4.158), surge que la nica solucin estacionaria
Y e de (4.157) viene dada como.
183
0
Ye (4.160)
0
c) La maatriz A es sin
ngular y suss autovalorees son :
1 0, 2 d 0 (4.161)
184
por continuidad de Y Y (t ) se infiere que T 0 tal que (ntese que
dY
(0) kX 02 si fuese Y0 0 ).
dt
Y (t ) 0, t (0.T ], (4.165)
En consecuencia de (4.163) y (4.165) se concluye que X (t ) Y (t ) es decreciente
en (0.T ]
Por otra parte, tambin por un argumento de continuidad, T 0 tal que:
X (t ) 0, t (0, T0 ) (4.166)
0 X (t ) Y X 0 Y0 t (0,T] (4.167)
y con ms razn ser :
X (t ) X 0 Y0 , t (0, T ] (4.168)
Ahora, dividimos por X ambos miembros de la primera ecuacin diferencial de
(4.157) esto es
1 dX
kX rY (4.169)
X dt
En virtud de (4.165)y (4.168) se sigue que:
kX (t ) rY (t ) kX (t ) k ( X 0 Y0 ), t (0, T ] (4.170)
y entonces a partir de (4.169) surge la desigualdad:
1 dX
k ( X 0 Y0 ), t 0.T (4.171)
X dt
es decir
d ( LnX )
k ( X 0 Y0 )
dt
de donde se concluye que :
Ln X (t ) k ( X 0 Y0 )t LnX 0 . t 0, T
185
1 dY
rXY dY r ( X 0 Y0 ) d , t (0, T
Y dt
es decir:
d
LnY (t ) r ( X 0 Y0 ) d t 0, t (0, T )
dt
de donde se concluye que :
Y ( t ) Y0 e 0 0 ,
r ( X Y ) d t
(4.172)
suponiendo Y0 0
dY eX 2 lXY pY
dt (4.173)
X (0) X 0
Y (0) Y
0
186
En la Figuura 7 se mu
uestra la sollucin de (4
4.173)obten
nida mediaante el uso de
d un
simuladorr no lineal.
Como pueede apreciaarse, la soluucin verifi
fica el comp
portamientoo previsto segn
s
(4.175)
dt (4
4.176)
x(0) x0 0
y (0) y 0
0
Analizar el
e comportam
miento asinnttico de laa solucin.
Con respeecto al ejem
mplo preceedente, solo l funcin G, funcin
o cambia la n que
precisameente determiina el compportamiento
o asinttico de la soluccin en sto
os dos
ltimos ejemplos
Procedienndo anlogaamente al ccaso anteriior se obtieene la siguuiente exprresin
satisfecha por x (t ), y (t ) del PVII (4.176)
187
x02 y 02
x 2 (t ) y 2 (t ) (4
4.177)
1 2(( x 02 y 02 ) t
lim( x(t )2 y (t ) 2 ) 0 (4
4.178)
t
y en c
consecuencia se debbe tener lim X (t ) 0 , m Y (t ) 0 .
lim Tal
t + t ++
comportam
miento se ilu
ustra en la F
Figura 8
Figura 8: Co
omportamiennto asinttico
o de la soluciin del PVI ((4.176)
Problemaa 1:
La dinmiica de una poblacin
p onde la suppervivencia de la
dde 2 especiees X e Y do
especie Y depende de la especiee X, puede describirse por el siguuiente sistem
ma de
ecuaciones diferenciaales de prim
mer orden:
dX
dt aX X bXY eX 2
dY ccY dXY f Y 2
dt (4.179)
X (0) X 0
Y (0) Y
0
188
c a
, (4.180)
d e
Mustresee que toda solucin dde (4.179) con X 0 0,
0 Y0 0, tieene el sigu
uiente
comportam
miento asintttico:
a
lim X (t ) , lim Y (t ) 0. (4.181)
t e t
Resolver (4.179) computacion
c nalmente (apoyarse
( en softwaare adecuado a
disposicin) para ilusstrar grficaamente lo prrevisto por (4.181).
(
Figura 9: Co
omportamiennto asinttico
o de la soluciin del PVI ((4.179)
Problema 2:
Considreese un sistem
ma de2 doss tanques. Supngase
S q a t 0 el caudal Qe se
que
perturba aumentndo
a se en el esccaln unitarrio de Heavside u (t ).
Si con h1 (t ) y h2 (t ) se
s denotan desviacionees de los niiveles de lqquido en ambos
a
tanques reespecto al estado de rgimen, se puede esscribir el siiguiente modelo
aproximattivo sencillo
o (simplificaado por ideealizacioness) para desccribir la dinmica
del sistem
ma.
dh 1 1
dt 2 h1 2 u (t )
dh2 h h
dt 1 2
h1 (0) h2 (0) 0
189
a) Hacer predicciones a priori sobre el comportamiento de la solucin
aplicando aquella parte de resultados conceptuales analizados en secciones
precedentes que considere procedentes.
b) Resolver el modelo, discutir la solucin e ilustrar grficamente
Problema 3:
En un sistema cerrado de tres componentes qumicos, puede ocurrir el siguiente
esquema de reacciones:
k1
A B
k2
B C AC
k3
2B C B
Se ha formulado el siguiente PVI como descriptivo de la dinmica de tal proceso:
dX
d t k1 X k 2Y Z
dY k X k YZ k Y 2
dt 1 2 3
dZ k Y 2 (4.182)
dt 3
X (0) 1
Y (0 ) 0
Z ( 0 ) 0
a) Analizar el comportamiento asinttico de la solucin de (4.182)
b) Exhibir la trayectoria de la reaccin para
k1 0.008, k2 2x10 4 , k3 6x107
dY
F (Y ) (4.183)
dt
[Recordamos que el carcter de autnomo en tal SEDOPO, viene conferido por el
hecho de que en la funcin vectorial F del segundo miembro en (4.183), no
participa explcitamente la variable independiente t].
190
Conviene en primer lugar establecer el concepto de solucin estable de (4.183).
La funcion u u (t ) es una solucin estable de (4.183), si dado 0 se puede
hallar (existe) ( ) 0 tal que cualquier solucin v v(t ) de tal SEDOPO
que satisfaga
v(0) u (0) (4.184)
verifica que
v(t ) u (t ) , t 0 (4.185)
dY 0
Ntese que como 0 resulta que Y 0 es una solucin estacionaria de (4.183)
dt
si y solo si se cumple que
F (Y 0 ) 0 (4.187)
Ejemplo
Y (t )
Sea Y (t ) 1 , entonces consideremos el siguiente SEDOPO
Y2 (t )
dY1
dt (Y1 1)(Y2 1)
dY2 (Y 1)(Y 1)
dt 1 2
(Y10 1)(Y20 1) 0
(Y10 1)(Y20 1) 0
191
De lo que se encuentra 2 soluciones estacionarias
1 0 1
Y0 Y
1 1
EJERCICIO
Dado el SEDOPO
dx
dt ax by
dy cx dy
dt
donde a,b,c,d son coeficientes reales, mostrar que si ad bc 0 , entonces
0
Y 0 es la nica solucin estacionaria del SEDOPO dado Qu ocurre si
0
ad bc 0 ?
(t ) u (t ) w(t )
192
Como por hiptesis Y 0 0 es estable dado 0, ( ) 0 tal que si,
(a)
Como se sabe, toda solucin Y u (t ) del SEDOPOY AY se puede expresar de
u (t ) Max u1 (t ) , u2 (t ) , un (t ) , se sigue ui (t ) ke t n u(0) .
Por consiguiente:
u (t ) nke t u (0) (4.189)
Ahora dado 0 , basta elegir ( ) para tener u (t ) si u (0) ( )
nk
dado que u (t ) nk u (0) nk lo que significa que (Y 0 ) 0 es estable.
nk
Por el Lema1, lo ser toda solucin Y u (t ) de (4.188)
193
La parte b se deja como ejercicio al lector.
Consideremos el siguiente SEDOPO
dY
AY G (Y ) (4.190)
dt
Donde A es una matriz real de nxn y G satisface las siguientes condiciones
G (Y )
(a) continua de Y
Y
G (Y )
(b) se anula para Y 0
Y
Teorema 2
(i) La solucin estacionaria Y 0 0 de (4.190) es asintticamente estable si tal
solucin del SEDOPO linealizado asociado a (4.190) es asintticamente
estable.
ii) La solucin estacionaria Y 0 de (4.190) es inestable si al menos un autovalor de
A tiene parte real positiva.
No presentaremos la prueba de este Teorema.
Ejemplo
Consideremos el siguiente SEDOPO
dY1
dt 2Y1 Y2 3Y3 9Y2
3
dY2
6Y2 5Y3 7 Y35
dt
dY3
dt Y3 Y1 Y2
2 2
2 1 3 9Y23
A 0 6 5 G (Y ) 7Y35
0 0 1 Y 2 Y 2
1 2
194
Los autovalores de A resultan ser
1 2, 2 6, 3 1,
Por otra parte G(Y) satisface las hiptesis del Teorema y entonces la solucin
0
estacionaria Y 0 de (4.190) es asintticamente estable.
0
0
Observacin: El Teorema puede tambin aplicarse para determinar la estabilidad
de soluciones estacionarias Y 0 del siguiente SEDOPO autnomo
Y F (Y ) (4.191)
El procedimiento es el siguiente
(a) Introducir la nueva funcin Z definida como Z Y Y 0
(b) Escribir F ( Z Y 0 ) en la forma AZ G ( Z )
Y1 Y2 0
3
Se encuentra
195
1 0 1
Y 0 ,Y
1 1
1
Y0
1
z
Sea z1 y1 1, z2 y2 1, Z 1 ,
z2
por lo tanto
dz1 dy1
1 ( z1 1)(z 2 1) z1 z 2 z1 z 2
dt dt
dz 2 dy 2
z 1 1 ( z 2 1) 3 z1 3 z 2 3 z 2 2 z 2 3
dt dt
Luego para Z(t) se obtiene
1 1 z1 z1 z2
Z 2 3
1 3 z2 3 z2 z2
Los autovalores de la matriz son 1 2 2 y la funcin G(z)
z .z
G( z ) 12 23 satisfaciendo las condiciones del Teorema. Se concluye
3 z2 z 2
0
entonces que z 0 solucin estacionaria del (4.192) es asintticamente
0
1
estable y en consecuencia Y 0 es solucin asintticamente estable de (4.191).
1
Se propone al lector completar el anlisis del ejemplo.
REFERENCIAS
196
5
d 2y dy
2 p q. y 0, t 0
d t dt
(5.1)
y (t 0) y , d y (t 0) y
0
dt
1
donde y y(t) una funcin real de la variable real t es la incgnita del PVI, p y q
2 p q 0 , (5.2)
198
matriz real de 2 x 2 secular correspondiente o caracterstica al Sistema Lineal de
ecuaciones Diferenciales de Primer Orden SEDOPOL precitado (simplemente los
races de (5.2) son los valores propios o autovalores de la matriz del
SEDOPOL).
Vamos a parar ac con este comentario ya que de seguir nos veramos en
la necesidad de tocar la cuestin relativa a funciones matriciales y as siguiendo
tomar todo un camino alternativo para referirnos al anlisis de la solucin de (5.1).
A esta altura es oportuno consignar, que a un nivel ms bsico an que el
consistente en llevar la ecuacin de (5.1) a un sistema equivalente de dos
ecuaciones diferenciales, en pos de obtener la estructura de la solucin general
estara el siguiente procedimiento tambin prescindente de suposiciones a priori
sobre la forma de la citada solucin general.
1) Introduciendo la transformacin de funcin incgnita y y(t) de (5.1) a
travs de la expresin.
p
t
V (t) y (t) e 2 (5.3)
p p
dy 2 t dV p 2 t n!
e e V(t) , (5.4)
dt dt 2 r! nr!
dV p
p p p p
d 2y t d 2V p t t dV p t
2
e 2
2
e 2 e 2 e 2 V (t )
(5.5)
dt dt 2 dt 2 dt 2
d2 V p2
q V 0, t 0, (5.6)
d t2 4
199
Ms precisamente, introduciendo el parmetro definido como
p2
q , (5.7)
4
se tiene
d2 V
V 0 , t 0 (5.8)
dt2
Caso 1: 0
En principio, consideramos (5.8) restringida a un intervalo I como dominio
de la variable independiente t, tal que V f (t ) es inversible en t I , es decir
t g(V) (5.9)
d 2 V d d V d U d U d V d U
U, (5.12)
d t 2 d t d t d t d V d t d V
dU
U V 0 , V J (5.13)
dV
200
U 2 V 2 2C, (5.15)
Ahora procede discriminar el signo del parmetro a
2 C V 2 0 , V J. (5.16)
dV
2C V 2 (5.17)
dt
2C V 2 0, V J , (5.18)
de (5.17) se encuentra
dV
2C V 2
tK , (5.19)
C 0, (5.20)
1 dV
2C
t K, (5.21)
1 V 2
2C
y por lo tanto
1
arc sen V K t , (5.22)
2C
es decir
201
arc sen V K t , (5.23)
2C
2C
V (t ) sen ( K t ) , (5.24)
esto es:
2C 2C
A sen ( K ) , B cos ( K ); (5.26)
d2y dy
2
p q y 0 , t 0
dt dt
p
t
y (t ) e 2 A cos ( t ) B sen ( t ) , t I , (5.27)
p2
con q
4
Se invita al lector a pensar porque se puede efectivamente poner que la solucin
general dada por (5.27) vale t 0
Caso 1. 2 0
Consideramos C 0 en (5.18) y por tanto tal desigualdad es vlida V .
Entonces, introduciendo los parmetros a y definidos como
202
a 2 2 C , a 0, 2, 0, (5.28)
dV
a 2 V2
2
t K, (5.29)
V W (5.30)
1 dW
a 2
W 2
t K, (5.31)
dW
a 2
W 2
t K, (5.32)
con K K , (5.33)
usando el resultado
dW
a W2 2
ln [W a 2 N 2 ] ln [ V a 2 2 U 2 ] , (5.34)
ln [ V a 2 2 V 2 ] t K , (5.35)
es decir V a 2 2 V 2 Me t , M e K , (5.36)
Es claro que (5.36) provee las siguientes expresiones para la funcin
V V (t ) solucin de (5.8):
p 2 4 q
t
2
V1 (t ) D e
, t > 0, (5.37)
1 2C
D , (5.38)
2 2M
203
p2 4 q
t
2
V2 (t ) D e , t >0, (5.39)
p 2 4 q p 2 4 q
t t
2 2
V (t ) A e
B e
, t > 0, (5.40)
p p 2 4 q p p 2 4 q
t t
2 2 2 2
Y (t ) A e
B e
, t > 0, (5.41)
Caso 2: 0
En este caso, a partir de (5.8) se obtiene
V (t ) A t B , t 0 (5.42)
p p
t t
Y (t ) A t e 2 B e 2 , t 0 (5.43)
y (t ) A e 1 t B e 2t , t 0 , (5.44)
(5.45)
1 2,
y como :
y (t ) A e t B t e t , t 0 , (5.46)
204
1 2 , (5.47)
y y0 2 1 t y0 1 y1 2t
y (t ) 1 e e , (5.48)
1 2 1 2
y como
y (t ) y0 y1 y0 t e t , (5.49)
si 1 2
Si bien, una vez fijados los parmetros reales, p, q y los datos iniciales
y0 , y1 , al quedar determinada la naturaleza de 1 y 2 (en este caso particular
p, q , p 0 , q 0, y0 , y1 , (5.50)
205
Figuras 1 a 5: Grficas de algunas soluciones a partir de (5.48) y (5.49)
206
parmetros p, q trabajando sobre la expresin dada por (5.48) y por (5.49) se
ver que es una tarea que puede tornarse muy engorrosa.
Lo precedentemente consignado y una adhesin al camino natural de la
construccin del conocimiento significa y provee un fundamento suficiente que
justifica el inters en abordar una anlisis del comportamiento de la solucin del
PVI (5.1) va lo que se conoce como Anlisis Cualitativo (esto es proveer
resultados sobre la solucin que deben presentarse cuando sobre los parmetros
p, q y datos iniciales (eventualmente) se imponen tales o cuales restricciones).
De tales resultados se dice que son a priori, desde que lo nico que se presupone
es la existencia y unicidad de solucin, no siendo necesario usar la expresin que
la provee dada por (5.48) o por (5.49).
Observacin 1
Es til tener presente que si y y (t ) es la solucin del PVI (5.1), entonces
debe verificar el siguiente PVI asociado a una ecuacin integro diferencial
d y
y1 e q 0 y (z) e
p t t p (t z)
dz
d t (5.51)
y (0) y
0
1 e- p t q y ( z ) e p ( dz d
y1 t z)
y(t ) y0 (5.52)
p 0 0
Teorema 1
Sea la solucin del PVI (5.1) con parmetros p, q y datos iniciales
tales que verifican las siguientes condiciones:
p , q 0 , y0 0 , y1 0 (5.53)
207
dy
y (t ) 0 , 0, t 0, (5.54)
dt
Demostracin:
dy
y (t ) 0 , 0, (5.55)
dt
dy
(t0 ) 0 , (5.56)
dt
t0 p ( t0 z )
y1 e pt0 q 0 y ( z )e dz , (5.57)
d 2 y dy
2 2 y 0,t 0
dt dt
(5.58)
y (0) 0 , dy (0) 1 ,
dt
208
Figura 6: Grfica de la solucin del PVI (5.58)
p , q 0 , y0 0 , y1 0 , (5.59)
dy
y (t ) 0 , 0, t 0, (5.60)
dt
d 2 y dy
2 2 y 0, t 0
dt dt
(5.61)
y (0) 0,5 , dy (0) 1 ,
dt
209
Figura 7: Grfica de la solucin del PVI (5.61)
Teorema 2
Si en el PVI (5.1), los parmetros p y q , verifican la condicin
p 0, q 0, (5.62)
d 2 y dy
2 2y 0, t 0
dt dt
(5.63)
y (0) 2 , dy (0) 0, 7
dt
210
Teorema 3
Sea y y (t ) solucin del PVI (5.1). Entonces, la funcin F F (t ) dada
como
dy t pz
dy
F (t ) p
dt
q y e pt q
0
e
dz
dz , (5.64)
dy q t dy
y1 e p t y (t ) y0 e p t e pt e p ( z ) d
dt p 0 d
d2y
F (t ) p y1 q y0 (0), t 0 , (5.65)
dt 2
Corolario
Supngase que en el PVI (5.1), los parmetros p y q , verifiquen la
condicin
p 0, q 0 , (5.66)
p y1 q y0 (5.67)
0 , con y1 0 , (5.68)
d2 y
0 t (0 , t0 ) , (5.69)
dt 2
211
en efecto, introduciendo la funcin H H (t ) definida como:
dy
H (t ) p q.y (5.70)
dt
dy
0 , t 0 , t0 (5.72)
dt
es decir
H (t ) 0 , t (0 , t0 ) , (5.75)
Teorema 4
Sea y y (t ) la solucin del PVI (5.1) bajo las siguientes condiciones:
dy
y0 , (0) y1 0 , p 0 , q 0 , (5.76)
dt
212
Entonces, para las soluciones del problema en estudio correspondientes al par de
conjuntos de datos y parmetros ( p0 , q, y0 , y1 ) ; (p1 , q, y0 , y1 ) se demuestra el
Demostracin:
A partir de la representacin integral dada por (5.52) para y y (t ) , se
obtiene que
dy y 1
1 t e pt (e pt 1)
dp p p
(5.78)
t
dy
q e p ( z ) ( z ). y dz d
0
0
dp
En virtud de la regularidad presupuesta para la solucin del PVI que nos interesa,
dy
suponemos que L , de lo que se infiere la existencia (finita) de la integral
dp
1 pt
U (t ) t e p t (e 1);
p
(5.79)
t
p ( dy
V (t ) e
z)
( z ) y dz d
0
0 dp
lim V (t ) 0 (5.80)
t 0
dU
Por otro lado, dado que U (0) 0, p te pt 0 se infiere que tal
dt
funcin verifica el comportamiento
U (t ) 0 , si t 0 , (5.81)
213
Ahora, reiterando una vez la aplicacin de la Regla de LHopital se
encuentra que:
V (t )
lim 0, (5.82)
t 0 U (t )
a partir de lo cual, teniendo presente (5.78) y (5.79) se concluye que debe ser
dy
0 en un entorno de t 0 (5.83)
dp
Teorema 5
p 0 , q 0 , y0 , y1 0 , (5.84)
si p0 p1. (5.86)
Demostracin:
Analizando la expresin dada por (5.78) para la derivada de la solucin
respecto del parmetro p, se concluye ahora de que el primer miembro de tal
derivada es estrictamente negativo para todo t 0 . Tngase en cuenta que la
funcin U (t ) definida en (5.79) es negativa para todo) t 0 . Por otra parte, si
bien el segundo miembro de la derivada analizada es positivo en un entorno de
t 0 , tiende ms rpidamente a cero que el primer trmino (ver (5.80). En
consecuencia queda demostrada la desigualdad consignada por (5.85).
214
Teorema 6
Sea el PVI (5.1) tal que los datos iniciales y parmetros verifiquen algunas
de las siguientes restricciones
A) p 0 , q 0 , y0 0 , y1 0
B) p 0 , q 0 , y0 0 , y1 0
Demostracin:
A partir de la representacin integral provista por (5.52) para la solucin
y y (t ) , de (5.1), se obtiene:
dz d y ( z ) e p dz d
dy t dy p ( z ) t ( z )
dq
q 0 0 dq
e
0 0
(5.88)
y (t ) 0 , t 0 , t0 (5.89)
dy
0 (5.90)
dq
215
Figura 9: Representacin del resultado (5.87)
Teorema 7
q 0 (5.91)
Entonces, resulta que la clase de soluciones con signo definido para tal problema
(se demuestra que tal clase es no vaca) debe poseer el siguiente comportamiento
de dependencia local con el parmetro q :
Si la solucin es positiva y q1 q0 .
Mientras que
y (p, q1 , y0 , y1 ) y (p, q0 , y0 , y1 ) , t (0, t0 ) , (5.93)
si la solucin es negativa y q1 q0
Demostracin:
Puede verse rpidamente que las desigualdades (5.92) y (5.93) que
establecen el resultado del Teorema se concluyen como consecuencia de aplicar la
expresin provista por (5.88).
216
Comportamiento Oscilatorio
Teorema 8
Sea el PVI (5.1) bajo una u otra de las siguientes restricciones
(i) y0 0, y1 0 (ii) y0 0, y1 0
Entonces, una condicin necesaria para que el citado PVI (5.1) tenga posibilidad
de tener soluciones oscilatorias es que el parmetro q verifique la restriccin
q 0, (5.94)
Demostracin:
En virtud de la regularidad de la solucin, en la sucesin ti i 0, 1, 2,... de
dy
(t1 ) 0, i 0, 1, 2, ... (5.95)
dt
y1 ti
pz
y ( z) e dz (5.96)
q 0
t 0
0 d z0 ,
pz
y (z) e (5.97)
siendo absurda la desigualdad consignada por (5.97) dado que en virtud de (i) la
regularidad de la solucin implica que y (t ) 0, para t 0 , t 0 . En forma
anloga se demuestra el caso (ii) al ser t 0 el valor de t donde y alcanza su primer
mximo.
Con anlogo razonamiento se llega a un absurdo si y1 0 y fuese q 0.
217
Teorema 9
y1 ti y1 ti 1
y( z) e
q 0
pz pz
dz; y( z ) e dz; (5.98)
q 0
Teorema 10.
Supngase que el valor p y1 q y0 del invariante asociado a la
p 0 , q 0 , y0 0, y1 0 , (5.102)
Entonces, la correspondiente solucin del PVI citado debe tener el
siguiente comportamiento asinttico:
dy
lim 0 , lim y ( t ) 0 , (5.103)
t dt t
218
Demostracin:
En virtud de las expresiones consignadas por (5.64), (5.65) y (5.67) se puede
escribir
dy t q
q 0 d z
pt pz
e y ( z) e y0 , (5.104)
dt p
5.1.5) EJERCICIOS
d 2 y dy
2 3 y 0,t 0
(a) dt dt
y (0) y 0 , dy (0) y 1 ,
0
dt
1
d 2 y dy
2 2 y 0,t 0
(b) dt dt
y(0) 1 , dy (0) 1 ,
dt
d 2 y dy
dt 2 2 dt 2 y 0 , t 0
(c)
y (0) 1 , dy (0) 1 ,
dt
d 2 y dy
2 2 3y 0 , t 0
(d) dt dt
y (0) 2 , dy (0) 3 ,
dt
d 2 y dy
2 p q. y 0 , t 0
(e) dt dt
y (0) y , dy (0) y
0
dt
1
(e.1) p 0, q 0, y0 , y1
219
(e.2) p , q 0 , y0 0 , y1 0
(e.3) p 0, q 0, y0 , y1 0
Resolver este caso con dos valores positivos distintos para p, manteniendo los
dems datos y el parmetro q.
(e.4) p 0, q 0, y0 , y1
(e.5) p 0, q 0, y0 , y1
(e.6) p 0, q 0, y0 0, y1 0,
d 2u du d 2u du
2 5 6u 0 , t 0 2 0,t 0
(a) dt dt (b) dt dt
u (0) 1, du (0) 0 u (0) 0, du (0) 1
dt dt
220
d 2u du
dt 2 6 dt 9u 0 , t 0
(c)
u (0) 1, du (0) 0
dt
d 2u du
2 2 5u 0 , t 0
(d) dt dt
u (0) du (0) 1
dt
5.1.6) Aplicaciones
221
Las fuerzas que actan sobre la masa m son la elstica (en la campo de
validez de la ley de Hooke) del resorte de constante k y la disipativa por efecto de
la friccin con constante d, supuesta proporcional a la primera potencia de la
dy
velocidad de la masa m. El valor y 0 para la coordenada de posicin
dt
instantnea y y (t ) de la masa, se corresponde con la posicin de equilibrio de la
misma. [ t denota a la variable independiente tiempo]
Como se sabe, la ecuacin de movimiento de la masa m una vez que es
separada de su posicin de equilibrio y dejada evolucionar a su propia suerte,
deviene de aplicar la segunda ley de Newton. As, la ecuacin es:
d2 y dy
m 2
d ky 0 , t 0 (5.105)
dt dt
d k
p ,q , p 0 , q 0 , (5.106)
m m
d 2 y dy
2 p q. y 0 , t 0
dt dt
(5.107)
y (0) y , dy (0) y
0
dt
1
222
Una Nomenclatura Clsica
A) Amortiguado Crtico: si p 2 4 q
B) Sobre amortiguado : si p 2 4 q 0
C) Sub amortiguado : si p 2 4 q 0
(ii) la solucin del PVI (5.107) correspondiente a los casos A), B), C).-
Observacin 2
Observacin 3
223
Figura11: Sistema masa-resorte. Resorte vertical
y (t ) Au (t ) Bv (t ), t 0 (5.108)
h g
dg dg
W h , g dh dg h g 0, t I , (5.109)
dt dt
dt dt
2 t
u e 1 t
,v e , (5.110)
224
u e t
,v te t
, (5.111)
Problema n 3
Se encuentra experimentalmente que una masa m 1 kg estira 0.15 m a
un resorte del que est colgada. Si la masa se tira hacia debajo de su posicin de
1
equilibrio m y se suelta, encontrar la amplitud, periodo y frecuencia del
4
movimiento resultante, considerando despreciable la influencia de la resistencia
del aire.
225
Problema n 4
Sea y(t ) A e 1 t B e 2 t
con A B 0 . Mostrar que tanto
dy
como pueden anularse a lo sumo una vez.
dt
Problema n 5
Sea y(t ) ( A B ) e t
, con A B 0 . Mostrar que tanto y (t )
dy
como pueden anularse a lo sumo una vez.
dt
Problema n 6
Problema n 7
N
Una masa m 1 kg est sujeta de un resorte de constante k 1 , en un
m
Ns
medio viscoso con constante d 2 . Al tiempo inicial t0 0 , la masa se tira
m
1 m
m hacia abajo y all se le comunica una velocidad inicial de 1 en la
4 s
direccin opuesta. Mostrar que la masa pasa por su posicin de equilibrio una vez
y luego vuelve a alcanzarlo asintticamente t .
226
Problema n 8
Una masa m 4 kg est suspendida de un resorte de constante
k 100 N m . La masa se pone en movimiento imprimindole una velocidad
m
inicial hacia abajo de 10 a partir de su posicin de equilibrio. Encontrar la
s
expresin de la coordenada y y (t ) que localiza la posicin de la masa para
cada tiempo t 0.
Problema n 9
Problema n 10
Sean a, b y c nmeros positivos. Probar que cuales quiera sean los datos
dy
iniciales y (0) y0 , (0) y1 , la correspondiente solucin del PVI:
dt
d2y dy
a 2
b c. y 0 , t 0
dt dt
y (0) y , dy (0) y
0
dt
1
d 2 y dy
dt 2 p dt q. y f (t ), t 0
(5.112)
y (t 0) y , dy (t 0) y
0
dt
1
227
5.2.1) Aspectos Bsicos
d2 y dy
2
p qy f (t ), t 0 (5.113)
dt dt
d2 y dy
2
p qy 0, t 0 (5.114)
dt dt
d 2w dw
2
p qw f (t ) , (5.115)
dt dt
228
Se invita al lector a aplicar el Mtodo de Variacin de parmetros para obtener
t v(t ) U ( z ) U (t ) v( z )
w(t ) f ( z ) dz (5.117)
0
W (U , v)
t v(t )U ( z ) U (t )v( z )
y(t ) A U (t ) Bv(t ) 0
f (z)
W (U , v) dz
(5.118)
Observacin 4
Es til tener presente que si la funcin f f (t ) en (5.113) es en particular
d 2 y dy
2
y t 2 , t 0, (5.119)
dt dt
3t 3 t
u (t ) e-t / 2 .cos ; v(t ) e .sen
-t / 2
(5.120)
2 2
por lo que aplicando (5.117) resulta obtenerse la siguiente expresin para una
solucin particular de (5.119), por el Mtodo de Variacin de parmetros:
t / 2 3t z / 2 3z t / 2 3t z / 2 3z
e sen e cos e cos e sen
w(t ) z
t 2
2 2 2 2
dz (5.121)
0 3/ 2
notndose sin dudas de que quedan integrales, complicadas de resolver para lograr
la expresin final de ( ).
229
Por otra parte vamos a buscar una solucin particular de (5.119) poniendo
como tal a un polinomio completo P P (t ) del mismo grado que el polinomio
f f (t ) (Ntese que este mtodo requiere en principio de que f (t ) sea
polinmica).
Sea entonces w w(t ) propuesta como:
2a 2at b at 2 bt c t 2 , t 0 (5.123)
a 1
2a b 0 (5.124)
2a b c 0
de donde resulta :
a 1, b 2, c 0 (5.125)
y en consecuencia
w(t ) t 2 2 t (5.126)
3t 3t 2
y(t ) Ae t / 2 cos t / 2
Be sen t 2t , (5.127)
2 2
230
Demostracin.
( )= + . + .+ + , (5.128)
( ) = ( ) . ( ), (5.129)
+ + . = ( ), > 0, (5.130)
( ) = + , (5.131)
231
Para tal ltima ecuacin diferencial se obtiene inmediatamente una solucin
particular como .
definiendo a ( )y ( ) como
( ) = ( ), ( ) = ( ), > 0, (5.133)
( )( ) ( )( )( )
( )= + . . + +2 +
( )= + , (5.136)
( )= +2 + (5.137)
( )= +3 +3 + (5.138)
232
Ejemplo ilustrativo
=3
( )= + + + + , (5.139)
siendo la ecuacin diferencial a tratar la dada por (5.112) con dada por (5.139).
Entonces en virtud de (5.132), (5.133 se tiene
( ) = ( ) ( ), > 0 (5.140)
+ + ( )= ( ), > 0 (5.141)
A su vez
( )= ( ) ( ), > 0 (5.142)
+ + ( )= ( ), > 0 (5.143)
( )= ( ) ( ), > 0 (5.144)
+ + ( )= ( ), > 0 (5.145)
( ) ( ) ( ) ( )
( )= ( )= , (5.147)
( )= = constante (5.148)
233
( )= ( ) + 2 , (5.149)
( )= + + + (3 +2 + ) (6 +
2 )+ 2 6 =
+ 3 + 2 . + 2 +
2 , (5.150)
notndose que ( ) resulta ser un polinomio del mismo grado (completo o no)
que ( ). Esto es, en general resulta:
( )= . + . + . + , (5.151)
Observacin 3
( )= ( ) (5.152)
234
( )= ( ) (5.153)
EJERCICIOS
d 2u d 2u
(a) u t2 (b) 2u 2t ,
dt 2 dt 2
d 2u d2y dy
u 4et , 2
2 y te t
(d) d t dt
2
(c) dt
d2y d 2u
2
10u 5sent , 2
u t cos t ,
(e) dt (f) dt
d 2u du
2
2u 2t
(g) dt dt
d 2u du du 1
(a) 2
4 4u t 2 , t 0, u (0) 0, (0)
dt dt dt 2
d2 y dy
(b) 2
4 y 2 sent , t 0 , y(0) 1, (0) 0
dt dt
d2y dy dy
2
2 4 y 2 cos t , t 0, y (0) 1 , (0) 0
(c) dt dt dt
d2y dy dy
2
2 4 y t e t , t 0, y (0) 1, (0) 2
(d) dt dt dt
235
Resolver los siguientes PVI:
d2y dy
(a) 2
y tgt , t , y (0) 1 (0) 1
dt 2 2 dt
d2y dy
(b) 2 y sec t , t , y (0) 0, (0) 1
dt 2 2 dt
d2y dy
(c) 2 y 2 sent , t 0, y (0) (0) 0
dt dt
Teorema 11
dy
V (t ) py (5.155)
dt
Teorema 12
y (t ) 0, t 0 (5.157)
236
Demostracin:
Teorema 13
5.2.4) Aplicaciones
Figura 12: Esquema masa resorte bajo la solicitacin de una fuerza externa f (t )
d2y dy
M 2
C ky f (t ), t 0 , (5.158)
dt dt
237
Siguiendo a Goldberg y Potter, vamos a considerar f (t ) F0 cos (wt ) en (5.158)
F0 (k Mw2 ) Cw
Siendo y p (t ) 2 2
cos wt sen wt una solucin
(k Mw ) w C
2
k Mw 2
particular de (5.158) con la f (t ) consignada precedentemente, y definiendo
como
C 2 4Mk
(5.159)
2M
C
y(t ) y p (t ) exp t Aet Be t , (5.160)
2M
F0
y (t ) .cos( wt ) A1 cos ( w0 t ) A2 sen ( w0t ) (5.161)
M w02 w2
k
w0 (5.162)
M
k
si se aplica una fuerza solicitante f (t ) F0 cos ( w0 t ) , es decir con w w0 ,
M
238
la expresin dada por (5.161) ya no provee la solucin general de (5.158) con
C 0 , pudindose obtener que dicha solucin en tal caso es
F0
y (t ) t.sen( w0 t ) A1 cos ( w0 t ) A2 sen ( w0t ) (5.163)
2 Mw0
Ejercicio n 1
Encontrar la solucin general de la EDOSO:
d2y
M ky F0 cos (wt )
dt 2
Ejercicio n 2
Resolver los siguientes PVI:
d 2 y d 2 y
2 25 y 0.01cos (5t ) 2 32 y 2 sen (4t )
dt dt
y (0) y (0) 0 y(0) y(0) 0
Ejercicio n 3
d2y dy
M 2
c Mg 0
dt dt
239
Ejercicio n 4
kg
M 2kg y C 0.4
seg
Ejercicio n 5
d 2Q dQ Q
L 2
R E (t ) (5.164)
dt dt C
240
Ejercicio n 6
Un circuito elctrico simple en serie tiene parmetros L 1 Henry ,
REFERENCIAS
[1] Edwards, C.H & Penney, D.E (1985). Ecuaciones Diferenciales con
Aplicaciones. Ed Prentice.
241
6
242
6.1 Introduccin
Sea x una variable real e y una funcin real de la variable real x (se denota y=y(x)),
(a,b) un dado intervalo abierto de la recta.
La forma general de un problema de contorno se abrevia (PVC) asociado a una ecuacin
diferencial ordinaria de segundo orden satisfecha por la funcin y, se puede expresar
como sigue:
Tipo1:
F ( x , y , y , y ) 0 x (a , b)
(*) G [ y ( a ), y ( a )] A
H [ y ( b ), y ( b )] B
d y d 2y
y , y , y ( a ) y ( x a ), y ( a ) y ( x a ),
dx d x2
Por nica vez, conviene destacar que en (*) las expresiones dadas por la segunda y
tercera ecuacin proveen las condiciones de contorno del problema.
Tipo2:
F ( x , y , y , y , ) 0 x (a , b)
(* *) U [ y ( a ), y ( a )] C
W [ y ( b ), y ( b )] D
vale la pena destacar que el aspecto que caracteriza a la diferencia entre un PVC del
Tipo1 respecto del Tipo 2 tal como se consignaron previamente, es la presencia en la
ecuacin diferencial del PVC (**) del parmetro real . Tal parmetro, como se ver en
una seccin posterior est destinado a tener un rol importante en la cuestin atinente a la
bsqueda de eventuales soluciones de (**).
243
6.3 Problemas de contorno lineales
d 2y dy
2p qy f ( x) , a xb
d x dx
(6.1)
y (a ) y(a )] A
y (b) y(b)] B
Tipo 2
F ( x , y , y , y , ) 0 a xb
y ( a ) y ( a )] A (6.2)
y (b ) y (b )] B
k d 2y
x m x 0 , 0 x 1 , k, m : ctes 0 , 0 x 1
d x
2
N 0 N 1
x (0) 1
y (0) 1
x (1) 0 y (1) 0
d 2y
d 2y 2 y 0 , 0 x L
y0 , 0xL d x
d x
2
N 3
N2
y (0) y(0) 0
y (0) 0 y ( L) 1
y ( L ) 0
d 2y dy d 2y dy
2 2 4 2 y 0, 0 x 2 2 2 2 y sen x , 0 x 4
dx dx d x dx
N 4 N 5
y (0) y(0) y (0) 2 y(0) 0
y (2) y(2) 1 y (4) y(4) 2
244
d 2y
2 f (x), 1 x 2
d x
N 6
y (1) A
y (2) B
Del Tipo 2
d 2y
2 y 0 , 0 x 1 d 2y
d x 2 y 0, 0 x 1
N 1 y(0) 0 d x
N 2
y(1) 0 y (0) y(0) 0
y (1) 0
: parametro real
d 2 y
2 y 0 , 0 x
d x
N3
y ( ) y( ) 0
y (0) 0
Por tal se entiende a una funcin y=y(x) que satisfaga la ecuacin diferencial del
PVC x a, b y las correspondientes condiciones de contorno. Al respecto es
oportuno consignar que aun tratndose del caso ms simple posible de PVC como es al
que nos estamos refiriendo en primer lugar (lineal a coeficientes constantes), hay que
esperar como eventualmente posibles la ocurrencia de sorpresitas no agradables desde el
punto de vista matemtico como lo son las de no-existencia de solucin o soluciones
mltiples (enseguida se ilustra con ejemplos).
245
Precisamente, en el desarrollo de este paso o etapa, emergen las tres eventuales
posibilidades siguientes:
El PVC posee una nica solucin
El PVC no tiene solucin
El PVC tiene muchas (puede ser infinitas) soluciones dependiendo o en
correspondencia con la existencia de una nica upla de valores para las
constantes tal que se satisfacen las condiciones de contorno, no-existencia de
ninguna upla, existencia de muchas uplas. Fijamos estos conceptos
inmediatamente presentando los siguientes:
Ejemplos ilustrativos
d 2y
2
y 0 , 0 x
d x 2
y ( 0 ) 2 y ( 0 ) 0
y 2 y 2
2 2
Respuesta
De la teora correspondiente la que se presupone ya conocida, resulta la siguiente
como solucin general de la ecuacin diferencial EDESOL del ejemplo:
y (x) Asenx B cos x
A2 B 1
2 A B 1
que resulta tener solucin nica y viene dada por la upla A 0 , B 0 (1,1) .
y ( x) A0 sen x B 0 cos x x
es decir
246
y ( x) sen x + cos x
d 2y
2 y x , 0 x
d x 2
y (0) y(0) 0
y y
2 2 2
y ( x) Asen x B cos x x
A B 1
A B 1
d 2y
2 y 0 , 0 x 2
d x
y (0) 0
y (2 ) 0
La solucin general es y (x) Asen x Bcos x , por lo que al aplicar las condiciones de
contorno se encuentra:
A.0 B 0
A.0 B 0
247
provee la solucin del PVC propuesto con A cualquier valor que se quiera,
concluyndose de que el PVC dado tiene muchas soluciones.
es decir (L,0) .
A la cuerda se le aplica una carga transversal descripta por la funcin f (x) unidades
fuerza sobre longitud. Por efecto de tal carga la cuerda experimenta una deflexin y(x) .
248
Denotando con T a la tensin resultante en la cuerda y con F1 y F2 a las fuerzas de
tensin, las correspondientes ecuaciones de equilibrio para las componentes x e y de
la fuerza son:
x2
F1sen 1 F2 sen 2 f ( z)dz (6.4)
x1
x2
T tg 1 tg 2 f ( z) dz (6.5)
x1
de donde se sigue:
T Y ( x1 ) Y ( x2 )
x2
f ( z ) dz (6.6)
x1
f ( z)dz f x 2 x1
x2
x 1
(6.7)
x1 x2 x1 ,0 1
T
y ( x2 ) y ( x1 ) f (6.8)
x2 x1
escribir como
y( x x) y( x) f
T x x (6.9)
x
249
d 2Y
T f x (6.10)
d x2
equivalentemente
d 2Y
g x , x (0, L ) (6.11)
d x2
con
f (x)
g(x) (6.12)
T
d 2Y 1
2 f (x)
d x T
(6.13)
Y (0) 0
Y (L) 0
Ntese que las condiciones de contorno en el PVC (6.13) precedente son emergentes del
hecho que la cuerda est fija en x 0 y x L.
Si la cuerda se pusiera en un medio que ejerza una fuerza de restauracin proporcional
al desplazamiento (con constante de restauracin k 0, y una fuerza disipativa
dY
proporcional a , se tendra el siguiente PVC como modelo descriptivo de la
dx
situacin:
d 2Y d dY k 1
2 Y f (x), 0 x L
d x T d x T T
(6.14)
Y (0) 0
Y (L) 0
250
Es claro que (6.14) pertenece a la clase de PVC que representamos en la parte
conceptual como (6.1)
d 2u
k 2 f (x), 0 x L (6.15)
dx
(6.16)
u (0) 0
u ( L) 0
251
Obtener la solucin del siguiente PVC.
d 2y
y x, 0 x 1
dx 2
y (0) 0, y (1) 1
Ejercicio N 2
Obtener la solucin del siguiente PVC.
d 2 y
2 y 2, 0 x 1
dx
y (0) 1, y (1) y (1) 2
Ejercicio N 3
Obtener la solucin del siguiente PVC.
d 2 y
2 0, 0 x 1
d x
y(0) y (0) 2 , y(1) y (1) 3
Ejercicio N 4
Considere la ecuacin diferencial
d 2y dy
2
p q y f (x), 0 x a
dx dx
Donde p y q son constantes y f (x) es una funcin suficientemente regular (por ejemplo
f C 00, a ).
Sin omitir detalles, arrbese a expresar a la solucin general de la EDOSOL dada como:
Ejercicio N 5
Resolver el (PVC):
252
d 2 y
2 y x x , x (0,2)
2
d x
y (0) 1, y (2) 1
d 2 y
2 h ( x), a x b)
d x (6.17)
y (a) A, y (b) B
(b a)2 w ( z ) F ( z ) (6.21)
d 2u
2 F (z), 0 z 1
d x (6.22)
u (0) A, u (1) B
253
W(z) U(z) z( A B) A
d 2W
F ( z ), 0 z 1
dx
2
(6.23)
W (0) 0, W (1) 0
d 2 y M0
2 0, 0 x L
d x EI
y (0) 0, y(L) 0
Se destaca que el sistema fsico descripto por tal PVC se trata de la deformacin
transversal de una viga de luz L. Denotando la funcin y y(x) la deflexin de la viga,
M 0 un momento flector constante, EI mdulo de elasticidad por momento de inercia
oportuno EI cte) .
Ejercicio N 7
Dada la ecuacin diferencial
dy dy
p qy f (x), a x b, a 0
dx dx
Se trata entonces de abordar la resolucin del PVC expresado por (6.2) esto es:
F ( x, y, y, y, ) 0 a xb
(*) y (a ) y(a )] A
y (b) y(b )] B
254
Vamos a ver que problemas del tipo (*) son interesantes como modelos
descriptivos, de fenmenos fsicos, procesos y sistemas de inters prctico en ingeniera.
La existencia de solucin no trivial y 0, a x b depender en forma crucial del
parmetro (tal parmetro es lo que denominar como consignaremos luego autovalor
o valor propio asociado al PVC en cuestin.
La forma general de escribir un PVC lineal (*) con ecuacin diferencial a coeficientes
constantes es la siguiente:
d2y dy
2 p y f ( x ), a x b
d x dx
(6.24)
a y ( a ) y (a ) A
'
y (b ) y ' (b ) B
255
(i ) 0
(ii ) 0
(iii ) 0
(excepto naturalmente que de entrada se provea como informacin en el planteo del
PVC cual o cuales de las alternativas (i), (ii), (iii) debe verificar .
Tngase presente que salvo el caso (i) 0 que en realidad provee un PVC del Tipo 1
(de rpida resolucin), las expresiones de las soluciones u1 ( x) y u2 ( x) contendrn el
u 2 (b), u '2 (b), u 2 (a), u 2' (a), u 1' (b) tambin en general.
Entonces, (6.26) provee un sistema lineal algebraico paramtrico (en ) para las
incgnitas c 1 y c 2 . Precisamente, el o los autovalores del PVC son aquellos tal que
se pueda encontrar soluciones (es) no triviales para el par c1, c2 . Las autofunciones son
las soluciones en correspondencia con los autovalores.
Ejemplos Ilustrativos
Sean los siguientes PVC. Encontrar las soluciones no triviales (de existir)
d 2y
2 y 0, 0 x
d x
N1 y (0) 0
y ( ) 0
256
Resolucin:
(i) 0 y c1xc2
d 2y
es la solucin general ya que la EDO se reduce a 0 . Aplicando las condiciones de
d x2
contorno tenemos:
y 0.
y 0 con 0
y ( x) c 1.sen (nx ), n N
d 2 y
2 y 0, 0 x l
N2 d x
y(0) 0, y' (l ) 0
Resolucin
(i) 0 y(x) Ax B
A.0 B 0 B 0
A 0
0 y ( x) A.sen ( x) B.cos( x )
y ( x) A cos ( x) B sen ( x)
(ii)
A.0 B 0
A cos ( l ) B sen ( l ) 0
es decir
A 0 B 0
cos( l ) A sen( l ) B 0
257
0 1 A 0
cos( l ) sen( l ) B 0
Buscar las soluciones no triviales de PVC en cuestin, en este caso con 0, significa
buscar las soluciones (o solucin) no trivial del sistema algebraico precedente. Es decir
Sabemos del algebra, que la condicin para tener soluciones no triviales del citado
sistema algebraico es que:
0 1
det 0
cos l sen l
es decir:
cos
l 0 cos l 0
En consecuencia debe ser:
1
l (n ) , n 0,1, 2,3,
2
es decir
1
(n ) 2 2
n 2 , n 0,1,2,3,....
l2
Al tener que ser B 0 , se sigue que en correspondencia con los n precedentes las
autofunciones son:
1
y( x) A n sen (n ) x , n 0,1,2,3,....
2 l
0 y ( x ) Ae x
Be x
A B 0 B A
(iii)
A.e
l
B.e l 0
entonces:
Ae l
Ae l
0
es decir
258
A e l
e l
0
2Ch l 0.
n , c sen (nx) , n N
2
1
Nota: A esta altura es til tener presente que no siempre resulta tan inmediato (simple
calculisticamente) la tarea de obtencin de los valores propios o autovalores
correspondientes a un dado PVC, como ocurri hasta ahora para los ejemplos
ilustrativos provistos como el N 1 y N 2. En efectos en tales casos recordemos que el
espectro de autovalores result ser una sucesin creciente obtenible fcilmente
recorriendo el conjunto de los nmeros naturales:
N 1 n n , n 0,1,2,3,4,...
2
1
(n )2 n 2
2
N 2 n , n 0,1,2,3,...
l2
d 2 y
2 0,0 x 1
d x
N 3
y (0) y(0) 0
y (1) 0
Resolucin:
(i) 0
259
En tal caso se tiene y c2 x c1 para la solucin general. Luego aplicando las
condiciones de contorno se tiene:
c1 c2 0
c2 c1 0
ser una solucin no trivial del PVC N 3 cuando 0 . Es decir 0 , con y c1(x 1)
(ii) 0
Para tal situacin tenemos que la solucin general viene dada como:
x
y(x) c1 e c2 e x
y(x) Ach
. ( x) Bsh
. ( x)
con
A B A B
c1 , c2
2 2
siendo A y B arbitrarias como c 1 y c2
Ahora las condiciones de contorno implican que:
A B 0
Ach
.
B.sh 0
El sistema algebraico precedente tiene solucin no trivial si y solo si:
1
det 0
ch
sh
Es decir si:
260
sh .ch x (6.27)
g(z) z.ch( z) sh z
donde:
z z 0
se ve que:
lim
g(z) 0
z 0
1
1 1
g(z) z sh z
2 2 z
ch z
1 1
2 z
1
ch z sh( z ) 0
2
ningn 0. Esto lleva a concluir que el PVC en cuestin no posee solucin para 0.
(iii) 0
y(x) c1.cos x c2.sen x
surgiendo de aplicar las condiciones de contorno, el siguiente sistema algebraico:
c1 c2 0
cos c 1 sen c 2 0
y por consiguiente, tal sistema tiene una solucin no trivial (c1,c2) (0,0) si y solo si:
1
det 0
cos sen .
es decir: tg (6.28)
lo cual configura una ecuacin trascendente cuyas infinitas races (por la naturaleza de
261
=
3 5
2
2 2
0
2
=tg
Figura 3: Grficas de tg y , 0
(2n 1) (2n 1)
con abscisas pertenecientes a los intervalos n , n 1,2,3,.... (una
2 2
sola interseccin en cada intervalo).
Siendo las abscisas de los puntos de interseccin o races de la ecuacin dada por (6.28)
tales que:
n n
y n ( x) c n2 sen
n x n .cos n x
Ejercicios:
A) Encontrar los autovalores y autofunciones de los siguientes PVC:
262
d2y
2 y 0, 0 x l
N 1 dx
y (0) 0, y ' (l ) 0
d2y
2
y 0, 0 x l
N 2 d x
y ' (0) 0, y ' ( l ) 0
d2y
2
y 0
d x
N 3 y (0) 0
y ( ) y ( ) 0
'
d 2 y d y
2 2 (1 ) y 0,0 x 1
d x dx
y(0) 0, y' (1) 0
Tiene una solucin no trivial?
Aplicaciones
1) Consideremos una columna alta de pequea seccin respecto de su luz,
articulada en x l y sustentada en x 0 de modo que no se puede deformar
lateralmente tal como se ilustra en la Figura 4 siguiente
x=
X
Y
x= l
Como se ve, sobre la columna acta una carga axial P, suponindose constantes el
mdulo de elasticidad E y el momento de inercia I actuante.
263
Si con y y( x) se denota la deformacin de la columna respecto de su posicin vertical
(no deformada como la muestra la Figura 4), se sabe que el modelo descriptivo del
fenmeno de deformacin de la columna por efecto de la accin de la carga axial, es el
siguiente PVC:
d 2 y
2 w0 y 0, 0 x l
2
d x (6.30)
y (0) 0, y (l) 0
donde
P
w 02 , w0 0 (6.31)
EI
n
y( x) c 1n sen x (6.32)
l
2
resultando que los autovalores (en este caso aquellos valores de w0 que proveen
soluciones no triviales del PVC son:
n 2 2
w 20 , n 1, 2,3,... (6.33)
l2
Teniendo presente (6.31) y (6.33) se sigue
n 2 2 P
, n 1, 2,3,...
l2 EI
es decir:
EI 2 2
Pn n , n 1, 2,3,... (6.34)
l2
264
Ejemplo:
E I 2
P1 ( para n 1)
l2
EI 2
P2 4( para n 2)
l2
d 2 y
2 w 0 y 0, 0 x l
2
(*) d x
y (0) 0, y (l ) 0
P1 P1
x= 0 x= 0
n=1 n=2 X
X Y
Y
x= l x= l
265
estabilidad de posicin no deformada de la columna. Esta claro que la carga de Euler se
corresponde con el primer modo de pandeo En que situacin de estabilidad se
encontrar la columna por ejemplo si la carga axial P es tal que P1 P P2 ? Desde el
punto de vista de la deformacin de la columna, como se interpreta la solucin trivial
y 0 de (6.30)? En efecto, ntese que y 0 es una solucin de tal PVI.
Ejercicios
1) Considrese el siguiente PVC:
d2 y
2 y f ( x), 0 x 1
(*) d x
y (0) 0, y (1) 0
(a) Mostrar que tal PVC posee solucin nica si l no es un autovalor del PVC
homogneo asociado.
Nota: El PVC homogneo asociado al dado es
d2 y
2 y 0, 0 x l
d x
y(0) 0, y( l ) 0
Determinar condiciones sobre f de modo que (*) tenga una solucin. Hay unicidad?
d 2 y
2 f (x), 0 x l
d x (6.35)
y(0) A, y (l ) B
266
Cuando f C 0,l , es claro que el significado de la ecuacin diferencial del PVC (6.35)
0
Si adems tal funcin satisface tambin las condiciones de contorno, decimos que es
solucin del PVC.
Supongamos ahora que la f ( x) en (6.35) tiene un salto (basta suponer uno para
establecer lo que queremos) para x a , con tal que 0 a l . Veamos que ocurre
con el sentido de la ecuacin diferencial del PVC en el punto x a , en otras palabras
d 2y
veamos que ocurre con ( x) en x a :
d x2
lim
a f ( x ) dx
f (a ) (el limite lateral derecho de f cuando x a )
x 0 x
a x
lim
a f ( x ) dx
f ( a ) (el limite lateral izquierdo de f cuando x a )
x 0 x
Como f (a ) (f a ),
y(a x) y(a) d 2y
se concluye que lim , es decir que no existe en x a .
x 0 x d x2
267
En consecuencia, esta es una situacin que requiere una definicin correspondiente del
concepto de solucin de la ecuacin diferencial del PVC (6.35). Tal es la siguiente
Definicin
Sea f en el PVC (6.35) una funcin seccionalmente continua. Una solucin clsica de la
ecuacin diferencial de dicho problema es una funcin y y(x) tal que yC (0,1) y de
1
d 2y
modo que en todos los puntos de continuidad de f existe y satisface la ecuacin
d x2
Observacin 1
La precedente definicin es aplicable al siguiente (PVC) que generaliza a (6.35)
d 2 y dy
2 p qy f (x), 0 x l
d x dx (6.36)
y(0) A, y(l) B
d 2 y d 2 y
2 0, 0 x a 2 1, a x l
(i) d x (ii) d x
y (0) A y ( l ) B
Se encuentra inmediatamente que:
yi Cx A, con C arbitraria satisface (i )
yii
2
x 1 D x 1 B , con D arbitraria satisface
1 2
(ii )
268
Ahora, las constantes arbitrarias C y D se deben precisar aplicando la definicin de
solucin en (0,1) que nos dice que:
lim yi ( x ) lim yi i ( x )
x a x a
d yi d yi i
lim lim
x a d x x a d x
es decir
C.a A
2
a 1 D a 1 B
1 2
C aD
D a2 1 B A
1
2
C a a2 1 B A
1
2
269
6.3.7) Otros problemas de contorno an un poco ms complicados
varilla teniendo una intensidad unitaria (esto no quita generalidad). Como siempre la
varilla se impone estar a temperatura cero en los extremos, es decir u (0) 0, u (L) 0 .
Como consecuencia de lo consignado precedentemente, ahora al perfil de temperatura
de la varilla lo denotaremos como G(x, y) para enfatizar de que se trata de un estado
trmico emergente de la accin de una fuente puntual ubicada en la coordenada y segn
el largo de la varilla.
Es decir, G(x, y) dara la temperatura en estado estacionario en el punto x (variable
independiente) de la varilla por efecto de la presencia de una fuente trmica puntual con
coordenada y (ver figura 6).
0 X
X Y L
d 2G d 2G
k 0, 0 x y k 0, y x L
d x2 d x2
G (0, y ) 0 G ( L, y ) 0
1
G B ( L x ), B "constante" para y x L
2
270
La palabra constante entre comillas significa que A y B son constantes respecto a la
variable x pero lgicamente pueden depender del parmetro y . Cmo buscamos A y
B ? En tal sentido, la significancia fsica del fenmeno entre manos nos lleva
naturalmente a pedir o imponer la condicin de continuidad de la temperatura en el
punto x y , esto es:
G (x, y ) G ( x, y ) :
G A x para 0 x y
Ay
G ( L x) para y x L
L y
Q2 Q1
y xy y
Q 1 Q 2 1.
Y como
G G ( y )
Q 1 k k
y y
G (y )
Q 2 k
y
271
resulta
G (y ) G (y ) 1
y y k
por, lo que pasando el lmite cuando 0 se obtiene la siguiente relacin de salto para
d G
en x y
d x
dG dG 1
( x y ) (x y )
dx dx k
dG
(x y ) A
dx
dG y
(x y ) A
dx L y
y en consecuencia
y 1 y 1 L y y L 1 L y
A A A1 A A A
L y k L y k L y L y k kL
desde el punto de vista matemtico, podemos ahora poner precisamente que la funcin
G ( x, y) precedente con x como variable independiente e y como parmetro, expresa o
272
d 2G
k 2
0, 0 x y, y x L, para cada y fijo en (0, L )
dx
G (0, y ) G ( L, y ) 0
G continua para x y (6.38)
dG
d x
x y
dG
dx
(x y- )
L
k
x y L
X
U(x)
T T
U
1
273
Ntese que ahora la funcin que mide la deflexin de la cuerda respecto de su posicin
no deformada se denota con U debiendo como siempre ser U (0) 0, U (L) 0 .
Posiblemente no es tan sencillo establecerlo pero efectivamente se puede probar en
relacin a la situacin fsica ilustrada en la Figura 7, que la deflexin experimentada por
la cuerda en el punto de abscisa x, por efecto de la accin solicitante de la carga unitaria
concentrada en el punto de abscisa y (se puede denotar como U( x, y) a tal deflexin)
viene dada precisamente por la expresin (6.40)) para la funcin Green encontrada en el
problema de conduccin de calor, poniendo naturalmente T en el lugar de k en la
expresin citada. Es decir, resulta:
(L y)
kL x para 0 x y
U ( x, y) (6.39)
y ( L x) x para y < x L
TL
la U(x, y) dada por (6.39) es la correspondiente funcin de Green para este caso.
En todo lo que sigue de este apartado se da por sentado que para el PVC tipo dado
como:
d 2v dv
2
p q v ( x ) f ( x ), 0 x L
*d x dx
v (0) A, v ( L ) B , p, q : ctes , f C 0
0, L
274
Queda consignado que se dice que * est bien planteado si y solo si no es posible
hallar una solucin no trivial del mismo que satisfaga los datos del contorno con
A 0, B 0 .
Lo que comentamos en este apartado, surge como consecuencia directa de lo
establecido en la seccin precedente.
En efecto, supongamos que la conductividad k y la tensin T tienen valores unitarios en
los modelos tratados, varilla conductora y deflexin de la cuerda. Esto no hace perder
generalidad. Entonces, surge que un PVC comn que modeliza a los dos fenmenos
tratados pero con densidad de fuente de energa trmica o carga solicitante ambas con
distribucin continua en (0, L) denotada por f ( x) es el siguiente:
d 2v
2 f (x), 0 x L
dx (6.41)
v (0) 0, v (L) 0
Se demuestra (ver por ejemplo los texto citados en la bibliografa [4], [5] que la
solucin del PVC (6.44) se expresa como:
L
v ( x) G ( x , y ) f ( y ) dy (6.42)
0
d 2v
f ( x), 0 x L
dx
2
(6.43)
v (0) A, v ( L) B
En efecto esta es una situacin en la que resulta de utilidad aplicar lo que dimos como
homogeneizacin de condiciones de contorno en la seccin 6.3.4).
Ahora hay que introducir la nueva funcin W W(x) como:
x
W ( x) v(x) A B A (6.44)
L
De donde resulta el siguiente PVC para W
d 2W
2 f ( x), 0 x L
dx (6.45)
W(0) 0, W (L) 0
Siendo como ya vimos que la solucin de este ltimo PVC se puede expresar como:
275
L
W ( x) G (x, y) f ( y) dy (6.46)
0
Dado el PVC d x
U (0) l, U(L) 4
Vamos a resolver el problema aplicando las siguientes tcnicas
(i) clsica
(ii) funcin Green
(i)
Sabemos que la solucin general de la EDOSOL del PVC propuesto viene dada como:
x4
U ( x) C x D
12
con C y D arbitrarias. C y D se buscan resolviendo el sistema algebraico:
l C.0D
L4
4 C.L D
12
De lo que resulta
3 L3
D l ,C
L 12
y entonces se tiene que
3 L3 x 4
U(x) x l
L 12 12
provee la solucin del problema
(ii)
Aplicando lo visto para la resolucin va funcin de Green, hacemos la siguiente
identificacin para aplicar la expresin dada por (6.47) para obtener la solucin.
f (x) x2, A1, B 4
resultando entonces
276
L 3
U(x) G(x, y) y 2 d y x 1 (6.48)
0 L
con G (x, y) dada por (6.37).
Ahora hay que estar atento al clculo de la integral en la expresin precedente, por el
0 x y yxL
* * *
0 y L
Fijo (parmetro)
* * *
0 x L
Entonces:
L x L
0
G (x, y) y 2 d y G (x, y) y 2d y G (x, y) y 2d y
0 x
L x x 3 x 4 x5
L 0
x
G ( x, y) y 2 d y y d y
0 4 4L
L x L L3 x4 x5
G(x, y) y2d y
L x
x
2
(L y) y d y
x 12 3 4L
Consecuentemente resulta:
1 4 L3 3
U ( x) x x xl
12 12 L
277
ii) Tengamos presente el mtodo de Green que permite resolver el PVC (6.43)
con f ( x ) en una clase ms general que el mtodo clsico).
iii) La frmula dada por (6.47) para resolver el PVC (6.43) es potente y
sistemtica en el sentido de que brinda la respuesta estructurada en trminos
L
de un operador 0
G (x, y) ( f ) d y aplicado a la f que sea (basta con
d 2v dv
p0 p q v f ( x), 0 x L
dx
2
dx (6.49)
v (0) A, v ( L) B
Es interesante el hecho de que el precitado PVC puede tambin ser resuelto aplicando el
mtodo de la funcin de Green. En vista de ello, en primer lugar hay que formular un
PVC equivalente homogeneizando las condiciones de entorno (esto ya lo hicimos para
el primer tipo de PVC estudiado en secciones previas). En efecto, introducimos ahora la
nueva funcin U definida como:
x
U(x) v(x) (A B) A (6.50)
L
d 2U dU
p0 p qU g ( x), 0 x L
dx
2
dx (6.51)
U (0) 0, U( L) 0
(B A)
g ( x) f (x) ( p q x) q A (6.52)
L
278
que al diferir de f en una funcin lineal, es tan regular como ella.
d 2u du
p0 p q u f ( x), 0 x L
dx
2
dx (6.53)
u (0) 0
d 2w d w
p0 2 p qw f (x), 0 x L
dx dx (6.54)
w(L) 0
u ( x) w ( y)
si 0 x L
W
G (x, y ) (6.55)
u ( y ) w ( x ) si y x L
W
279
d 2v
2 x , 0 xL
2
d x (6.58)
v (0) 1 , v ( L ) 4
x 3
U(x) v(x) (L4) 1 v(x) x1
L L
Por lo que resulta el PVC equivalente:
d 2U
2 x , 0 x L
2
d x (6.59)
U (0) 0 , U( L) 0
Comparando con el PVC tipo (6.51) se tiene:
p0 1 , g( x) x2
la EDOSOL homognea asociada a (6.59) tal que u(0) 0, w(l) 0. En tal sentido tenemos
u(x) x, w(x) L x para tales soluciones, comprobndose que W(u, w) 0 y
consiguientemente al aplicar (6.55) se obtiene:
1
L x (L - y) si 0 x y
G ( x, y)
y (L - x) si y x L
L
es decir
x
L (L - y) si 0 x y
G (x, y) (6.60)
y (L - x) si y x L
L
la dada por la expresin (6.37) con k l . Pero precisamente recordamos que el ejemplo
ilustrativo presentado para resolver un PVC del tipo
d 2V
2 f (x) , 0 x L
dx
V (0) A , V(L) B
280
L 3
V ( x) G ( x, y) y2 d y x 1
0 L
3 L3 x4
V (x) x 1
L 12 12
N 2
Sea el PVC
d 2V
2 V x , 0 x l
d x
V (0) 0 , V(l ) 1
Otras Generalizaciones
Vamos a presentar a continuacin 2 generalizaciones del PVC dado por (6.52)
emergentes de:
(a) Cambiar el operador diferencial (la ecuacin diferencial)
(b) Cambiar las condiciones de contorno y eventualmente tambin la ecuacin
diferencial
Estos casos lo presentamos a simple ttulo informativo general con vista a rescatar el
resultado en temas que oportunamente se abordan mas adelante. En efecto como se vera
inmediatamente, se trata de que la EDOSOL sea a coeficientes variables, lo que hace
que el tema salga del contexto de lo consignado en el punto o seccin 1 el contenido de
este texto.
(a)
Sea el PVC
d 2u du
p0 ( x) 2 p 1 qu f ( x), 0 x L
dx dx (6.61)
u (0) A , u(L) B
0
Con p0 ( x), p1 ( x), q( x) funciones definidas en [0, L] por ejemplo en la clase C 0,L lo
281
Entonces la solucin de (6.61) viene dada como:
L x
u( x) G ( x, y) g( y) d y (B A) A
0 L
Con
(B A) (B A)
g(x) f (x) p 1(x) x A q(x)
L L
y G ( x, y) es la correspondiente funcin de Green asociada al PVC y tiene la expresin
ya provista por (6.55) en ocasin de lo presentado en el Teorema 1 del punto anterior.
Obviamente, en el presente caso ya no es tan simple obtener las soluciones u y w
linealmente independiente de:
d2v dv
p0 (x) p1 (x) q (x) v f (x), 0 x L
dx dx
En este caso, al hecho de la no simple tarea de obtener u(x) y w(x) se agrega el que la
construccin de la respectiva funcin de Green es mas complicada. Para el lector
interesado en los detalles, recomendamos ver el texto de referencia citado en [6] en la
bibliografa. En particular, si en el PVC (6.62) las funciones coeficientes P0(x), P1(x), q(x)
282
d2y
2
F ( x, y, y ' ) 0 a x b
d x
h y ( a ), y ' ( a ) C
(6.63)
g y ( b ), y ( b ) D
'
C , D : constantes
contendr parmetros.
Comenzaremos el desarrollo de este apartado abordando el anlisis de un Problema de
contorno no lineal contenido en (6.63) pero menos general. En efecto, sea el siguiente
PVC:
d 2y
F ( x , y , ) 0, a x b
d x
2
(6.64)
y (a) A
y ( b ) B
Sea el PVC (6.64) con F una funcin que satisfaga las siguientes hiptesis:
H0) F es continua en a , b x ( , )
F ( x, u) F ( x, v) k u v en a, b x ,
d 2y
2
F ( x, y , ) 0, a x b
d x
y (a) A (6.65)
d y
( a ) m (parametro)
d x
283
Cualquiera sea el parmetro real m, se puede asegurar que el PVI (6.65) posee una
nica solucin y y ( x, m) y que puede extenderse hasta x b en virtud de un resultado
oportuno procedente de aplicar.
Sea y y( x, m) la solucin de (6.65). A partir de tal problema, se encuentra
dy
(x, m) m F (z, y(z))dz
x
(6.66)
dx a
En consecuencia resulta
M(x a)2
y x, m A m M(z a) dz A m(x a)
x
(6.68)
a 2
En particular, para x b se tiene
M (b a)2
y b, m A m b a (6.69)
2
Por (6.69) es claro que eligiendo m m1 0 suficientemente grande resultar
y (b , m ) B (6.70)
se sigue que
dy
( x, m) m M x a (6.72)
dx
y consecuentemente
M (x a)2
y x, m A m x a (6.73)
2
solucin y x, m del PVI (6.65) depende en forma continua con el parmetro m , existir
284
m2 m m1 (6.75)
para el que se debe cumplir que
y (b, m) B (6.76)
As se concluye que la solucin del PVI (6.65) para m m es tambin la solucin del
PVC (6.64)
La cuestin atinente a la unicidad se puede abordar oportunamente.
Los mismos argumentos consignados precedentemente se pueden aplicar para concluir
un resultado de existencia de solucin para los PVC:
d 2 y
2 F(x, y,) 0, a x b
d x (6.77)
y (a) A, y' (b) B
d 2 y
2 F(x, y) 0, a x b
d x (6.78)
y' (a) A, y (b) B
en los que a la funcin F se le supondr satisfacer las hiptesis H0), H1), H2)
establecidas previamente en esta seccin.
Aproximaciones a la solucin
d 2y
2 F(x, y), a x b
dx
(6.79)
y (a) A
y (b) B
285
A B B A
h ( x) A xa (6.81)
ba ba
d 2U
F ( x , U ), a x b
dx
2
(6.82)
U ( a ) 0, U (b ) 0
donde
f ( x, U ) F ( x, U ( x) h ( x)) , (6.83)
Siendo de destacar que la funcin f hereda las mismas propiedades de regularidad que
la funcin original F.
Sea m m1 0, G(x, z) la funcin de Green [ver Villa, 1996] asociada a (6.85), es decir a
una funcin que satisface el PVC:
d 2G
2 0, a x z, z x b
dx
(6.84)
G(a, z) 0
G(b, z) 0
d 2U
0 que satisfacen U(a) 0 y v(b) 0 , vienen dadas como
dx 2
U a x, v b x, (6.85)
a
(6.87)
286
con G (x, z) dada por (6.89).
Por consiguiente la formulacin integral del PVC (6.82) vendr dado como:
(B A) x a (B A)
y(x) G(x, z) F z, y(z) d z
b
+A (6.88)
a b a
Observacin 3
La funcin G (x, z) dada por (6.86) verifica las siguientes restricciones:
a) G(x, z) 0
b) para cada z fijo en [a,b],G( x, z) alcanza su mximo para x z , siendo tal mximo
ba ab
G max ( z, z) correspondiente a z
4 2
Entonces se tiene
ba
0 G ( x, z ) (6.89)
4
c) Dado que
(b z)( z a)
G ( x, z)d x G ( x, z )d x G( x, z)d x
b z b
a a z 2
(b z)(z a) (b a)
2
b (b a ) 2
a
G ( x, z ) d x
8
(6.90)
mediante la expresin
a
(6.92)
287
A esta altura es crucial la cuestin relativa al hecho de averiguar si hay circunstancias
bajo las cuales se cumple que la Un (x) dada por (6.92) converge a la solucin de (6.82)
cuando n .
La repuesta se encuentra a la luz de la aplicacin de algunos resultados del anlisis
funcional.
Definimos el operador T por el segundo miembro de (6.87), es decir:
T (U ) G x, z f z,U ( z) d z,
b
a
(6.93)
a
(6.94)
Por un resultado bsico del Anlisis Funcional, resulta que el hecho de que exista U(x)
tal que en (6.92) nlim Un (x) U(x) , es equivalente a que el operador T definido por (6.93)
TU U , (6.95)
P.1) U C a,b resulta TUC ,b donde C a,b denota a las funciones reales continuas
0 0 0
a
(6.96)
correspondiente U V , resulta:
(b a) 2
T (U ) T (V ) k U V . , (6.98)
8
Y por consiguinte
288
(b a2 )
T (U ) T (V ) k. . U V , (6.99)
8
Se sabe que T ser contractivo si
(b a ) 2
k 1
8
(6.100)
Es decir si
8
0ba , (6.101)
k
Se sabe del anlisis Funcional que bajo el cumplimiento de P.1), P.2) y la restriccin
establecida por la desigualdad (6.100), el operador T posee un nico punto fijo. As
hemos entonces establecido el siguiente resultado:
El PVC (6.82) y por consiguiente (6.79), tiene una y solo una solucin cuando
8
ba (6.102)
k
Ejemplo ilustrativo
Considerar el siguiente PVC
d 2Y
cos Y 0, 0 x 1
d x
2
Y (0) 0
Y (1) 0
ba
2
1
k y como b a 1, k 1, la desigualdad se verifica naturalmente ya que
8 8
1 8 y est asegurada la existencia y unicidad de solucin del PVC propuesto mas
arriba como Ejemplo ilustrativo.
Ahora postulamos como aproximante de orden 0 a la solucin del ejemplo como
Y0 x 0, 0 x 1, que al menos satisface la condicin de contorno en x 0.
289
Reemplazando a y b en (6.89) se tiene
x 1 z , si 0 x z 1
G x, z
1 x , si 0 z x 1
por lo que de (6.92) se sigue que
x 1 x
Y1 x 1 x zd z x (1 z)d z
x 1
0 x 2
b a 2
k
8
De (6.99) se tiene que T(U) T(V) U V por lo que teniendo presente (6.94)
encadenando la aplicacin de la desigualdad precedente se tiene
Y m1 Y m Y mY m1 ...... m Y1 Y0 (6.103)
es decir
n
Ynk Yn Y1 Y0 (6.106)
1
En virtud de la convergencia a Y ( x) (solucin nica del PVC propuesto) de la sucesin
Y(x) Y1(x) Y1 (ya que Y0 0 )
1
Por otra parte, como
290
1
max max 8 x1 x 1 max x 1 x 1 1 1
Y1
0 x 1 1 0 x 1 1 2 7 0 x 1 2 7 8 56
1
8
En un rea de la matemtica que se ocupa de temas ms avanzados que los que pueden
formar parte en un programa de matemtica en el grado de Ingeniera, por ejemplo
Anlisis Funcional, se estudian funcionales, funciones generalizadas, distribuciones, etc.
Particularmente es ac oportuno citar entre otros tantos ejemplos de las denominadas
b
( x) d x (6.107)
a
0 en otro caso
() si a b
b
(x ) (x) d x
a
0 si a b
Hemos arribado a un punto en que es oportuno volver a considerar los problemas de
contorno un tanto especiales vistos en la seccin 6.3.7) referentes al perfil estacionario
291
de temperatura en una varilla conductora de longitud L por efecto de la accin de una
Observacin 4
d 2U
k 2 (x y), 0 x L,0 y L (y fijo)
dx
U (0) 0, U (L) 0
Deflexin de la cuerda
d 2U
T (x y), 0 x L,0 y L (y fijo)
dx
2
U (0) 0, U (L) 0
Las soluciones tal como vimos se obtienen con las respectivas funciones de Green.
292
Referencias
293