Gua 1-E

Teorema de Existencia y Unicidad

Diego Vallejo, Melina Podest, Eva Almirn
2do. Semestre 2015

Qu dice y para qu sirve el Teorema de

Existencia y Unicidad de la solucin de un
Problema con Valor Inicial?

Matemtica III - 2 cuatrimestre 2015

gua 1-e teorema de existencia y unicidad

Existencia y Unicidad
Situacin ^
Sea el siguiente

y0 = f ( x, y)
PVI:
y ( x0 ) = y0

[ED]
[CI]

De l sabemos que: a) Tiene solucin y( x ) y b) que esa solucin y( x )

es nica, cualquiera sea el punto ( x0 , y0 ) del plano R2 .
Preguntas:
1. Dadas dos soluciones particulares y1 ( x ) e y2 ( x ) de la ecuacin diferencial [ED] pueden las grficas de y1 ( x ) e y2 ( x ) cortarse en un
punto? Recuerdan una pregunta similar en la gua 1C?

Pueden crear ejemplos? Probar con diferentes condiciones iniciales?

2. Vean la grfica siguiente. Qu relacin le encuentran con las dos

preguntas anteriores?
y
y0

x
x0
3. Para distintas condiciones iniciales [CI] pero la misma Ecuacin Diferencial [ED] obtendremos necesariamente diferentes soluciones
particulares?
4. Supongamos que una EDO modela un problema econmico de crecimiento de un pas. La solucin buscada es
y(t) = Salario Bsico de un Empleado en funcin del tiempo
Discutan en grupo: Qu pensaran si encontramos una solucin...
a) ... y luego comprobamos que no es la nica?
b) ... y luego comprobamos que es la nica?
c) ... y luego no podemos verificar que sea la nica?

Si una ecuacin tiene solucin o no, sera til saberlo antes de

realizar ningn clculo?

2 /10

Matemtica III - 2 cuatrimestre 2015

gua 1-e teorema de existencia y unicidad

Para responder a estas preguntas veamos el siguiente

Teorema
Existencia y Unicidad de la solucin de un PVI
(TEU)
Consideremos el siguiente

y0 = f ( x, y),
PV I :
y ( x0 ) = y0 .
Si las siguientes dos funciones de dos variables:
f ( x, y)
y su derivada

f
( x, y)
y

son funciones continuas en un rectngulo R del plano xy que contiene al punto ( x0 , y0 ), entonces, existir una y solamente una funcin de una variable y( x ) definida en un intervalo que contiene al
punto x = x0 que es solucin del PVI.

Para utilizar este teorema precisamos distinguir tres funciones diferentes. La primera es f ( x, y) una funcin de dos variables, cuyo dominio
f
est en R2 . La segunda es su derivada
( x, y), tambin definida en
y
todo el plano xy, o una porcin del mismo. La tercera es la que ms
nos interesa, la solucin y( x ) del problema, funcin de una variable
cuyo dominio est en la recta real R.
Este Teorema nos garantiza que si se verifican sus hiptesis, dos soluciones distintas de la ED tendrn grficas que no pueden cruzarse ni
tocarse.

En Sntesis:
Cules son las condiciones del teorema?

Ejemplo

H1: f ( x, y) continua en un rectngulo R.

1. Consideremos el siguiente problema de valor inicial:

y0 = 3y2/3
PV I1 :
y(1) = 0,
Qu dice el Teorema? Comparemos

De la tabla vemos que:

3 /10

H2:

f
continua en R.
y

H3: Hay un rectngulo R que debe contener al punto ( x0, y0)

por donde pasa la solucin.

Matemtica III - 2 cuatrimestre 2015

Teorema:

y0 = f ( x, y)
y ( x0 ) = y0 .

Ejemplo 1:

y0 = 3y2/3
y(1) = 0.

Rectngulo R

gua 1-e teorema de existencia y unicidad

Cuadro 1: Comparacin entre el Teorema y el Ejemplo 1

a) f ( x, y) = 3y2/3
b) el punto por donde pasa la funcin solucin incgnita es ( x0 , y0 ) =
(1, 0).
c) El ejemplo no dice nada del Rectngulo... qu podras hacer?
Habr algn rectngulo donde se cumplan las condiciones?
Veamos las hiptesis o condiciones:
H1: f ( x, y) = 3y2/3 continua en R. La funcin 3y2/3 es una
composicin de una raz cbica con una potencia cuadrtica y
por lo tanto es continua en todo el plano R2
2
2
f
= 2y1/3 = 1/3 =
es una funcin racional. Por
H2:
3 y
y
y
lo tanto posee una discontinuidad en los punto ( x, y) de R2
donde y = 0, o sea es discontinua en todo punto del eje x.
H3: Sobre el rectngulo R:
(*) debe contener al punto ( x0 , y0 ) = (1, 0)
(**) Y por H2: no debe contener puntos del eje x.
Estas ltimas dos condiciones (*) y (**) son imposibles de
cumplir al mismo tiempo ya que ( x0 , y0 ) = (1, 0) es un punto
del eje x.
Por lo tanto, no se verifican las hiptesis, y el Teorema no
nos brinda informacin sobre el

y0 = 3y2/3
PV I1 :
y(1) = 0.
Podemos resolver el PVI? La ecuacin y0 = 3y2/3 es una ecuacin de variables separables.
dy
= 3y2/3
dx
1
dy = 3dx
3y2/3
Z
Z
1
dy
=
3
dx
3y2/3
3y1/3 = 3x + C

4 /10

Concepto previo: Cundo una potencia xr

es discontinua o no se puede calcular?

Concepto previo: Una funcin racional es

un cociente, cuyo numerador y cuyo denominador son polinomios. No existen cuando el
polinomio del denominador vale cero. Porqu?

Matemtica III - 2 cuatrimestre 2015

gua 1-e teorema de existencia y unicidad

La solucin general ser:

y ( x ) = ( x + C )3

y aplicando la condicin

y (1) = 0

(1 + C )3 = 0

por lo tanto

C = 1

y la particular queda:
4

y ( x ) = ( x 1)3

Conclusin: El PVI1 posee solucin. Sin embargo no es nica.

Hay dos diferentes:
y

2
y

Pueden verificar que adems admite otra solucin no contenida en la solucin general: la solucin y( x ) = 0 que tambin
verifica que y(1) = 0.

a) y1 ( x ) = 0

y = ( x 1)3

1
0

y=0

(1, 0)

1
2
1

1
x

El PVI1 admite dos soluciones. Existe

solucin y no es nica.

b) y2 ( x ) = ( x 1)3
Y entonces... Se contradice el teorema?
Una ms... Qu cambiara del anlisis anterior si tuviramos el
siguiente PVI:

y0 = 3y2/3
PVI1-BIS:
y(1) = 1.
?
En otras palabras: es aplicable el Teorema de Existencia y Unicidad para ( x0 , y0 ) = (1, 1)?
Y... para qu otros puntos ( x0 , y0 ) podras aplicar el Teorema?

2. Consideremos el siguiente problema con valor inicial

y 0 = (1 + y2 ),
PV I2 :
y(0) = 0.
Qu dice el Teorema? Comparemos

Cuadro 2: Comparacin entre el Teorema y el Ejemplo 2

Teorema:

y0 = f ( x, y)
y ( x0 ) = y0 .

Ejemplo 1:

y 0 = 1 + y2 ,
y(0) = 0.

Rectngulo R

5 /10

Matemtica III - 2 cuatrimestre 2015

gua 1-e teorema de existencia y unicidad

De la tabla vemos que:

a) f ( x, y) = 1 + y2
b) el punto por donde pasa la funcin solucin incgnita es ( x0 , y0 ) =
(0, 0).
c) Nuevamente el ejemplo no dice nada del Rectngulo. Pods
encontar un rectngulo donde se cumplan las condiciones?
Veamos las hiptesis o condiciones:
H1: f ( x, y) = 1 + y2 continua en R. La funcin 1 + y2 es un
polinomio y por lo tanto es continua en todo el plano R2
f
H2:
= 0 + 2y es un polinomio, y por lo tanto es continua en
y
todo el plano R2 .
H3: Sobre el rectngulo R que debe contener al punto ( x0, y0) =
(0, 0)... podra ser cualquiera, por ejemplo
el rectngulo de 10 por 20 unidades centrado en el origen (0, 0)
Ya que si H1 y H2 se cumplen en todo el plano, entonces se
cumplen en cualquier rectngulo en el plano.
Por lo tanto, se verifican las hiptesis, y el Teorema nos garantiza
que el

y 0 = 1 + y2
PV I2 :
y(0) = 0.
tendr solucin y( x ) y esta solucin es nica.
Podemos resolver el PVI? La ecuacin y0 = 1 + y2 es una ecuacin de variables separables.
En efecto
1
dy = dx
1 + y2
Integrando obtenemos

Concepto previo: Derivada de la funcin

Arco Tangente

arctan(y) = x + C
donde C es una constante arbitraria. Por lo tanto
solucin general

Utilizando la condicin inicial y(0) = 0:

Concepto previo: Dominio de la Tangente.

Dnde es discontinua?
y = tan( x )

tan(0 + C ) = 0
encontramos que C = 0 (o C = n para cualquier entero n ). As
que la solucin particular es y( x ) = tan( x ).
Cul es el dominio de esta funcin? La funcin tan( x ) no est
definida para los valores de x = . . . , 3 2 , 2 , 2 , 3 2 , . . . , k 2 , . . .
con k impar. La porcin continua que pasa por (0, 0) es la que

est en el Dominio D = ( , )
2 2

4
2
y

y( x ) = tan( x + C )

Concepto previo: Definicin de la Tangente

( x0 , y0 )

2
4

6 /10

Existe solucin y es nica para el PVI2

Matemtica III - 2 cuatrimestre 2015

gua 1-e teorema de existencia y unicidad

3. Consideremos ahora

y 0 = x 2 + y2 ,
PV I3 :
y(1) = 1.
Qu dice el Teorema? Comparemos

Cuadro 3: Comparacin entre el Teorema y el Ejemplo 3

Teorema:

y0 = f ( x, y)
y ( x0 ) = y0 .

Ejemplo:

y 0 = x 2 + y2 ,
y(1) = 1.

Rectngulo R

De la tabla vemos que:

a) f ( x, y) = x2 + y2
b) la funcin buscada pasa por ( x0 , y0 ) = (1, 1).
c) Tampoco ahora el ejemplo dice nada del Rectngulo. Pods
encontar un rectngulo donde se cumplan las condiciones?
Veamos las hiptesis o condiciones:
H1: f ( x, y) = x2 + y2 continua en R. La funcin x2 + y2 es un
polinomio y por lo tanto es continua en todo el plano R2
f
H2:
= 2y es un polinomio, y por lo tanto es continua en todo
y
el plano R2 .
H3: Sobre el rectngulo R que debe contener al punto ( x0, y0) =
(0, 0)... podra ser cualquiera, por ejemplo
el rectngulo de 3x3 que contenga al punto (1, 1).
Por lo tanto, se verifican las hiptesis, y el Teorema nos garantiza
que el

y 0 = x 2 + y2
PV I2 :
y(1) = 1.
tendr solucin y( x ) y esta solucin es nica.
Podemos resolver el PVI? Veamos...
Verific que la ecuacin y0 = x2 + y2 no es separable ni tampoco se puede escribir como lineal.
Y algn otro mtodo de guas anteriores? Cul?
En grupo discutan qu pueden hacer para graficar la solucin
y obtener el valor de y(2). Podemos verificar lo anterior mediante wolframalpha?

7 /10

Matemtica III - 2 cuatrimestre 2015

gua 1-e teorema de existencia y unicidad

Ejercitacin

1. Analizar la existencia y unicidad de la solucin (mediante el TEU) y
luego resolver y graficar la solucin para cada uno de los siguientes
PVI:
a)

y0 = y x
y(1) = e2/3

b)

y0 = 6xy2/3
y(2) = 27
c)

y0 = 6xy2/3
y (1) = 0
2. Mostrar que

y0 = y
x
y (0) = y
0
tiene:
a) infinitas soluciones si y0 = 0
b) ninguna solucin si y0 6= 0
Interpret grficamente.
Sirve el TEU para realizar esta actividad?
3. Estudiar para cada PVI (sin resolverlo) y graficar:
i) para qu puntos ( x0 , y0 ) el TEU es aplicable,
ii) para qu puntos ( x0 , y0 ) el TEU no es aplicable.
Qu se puede afirmar en cada caso i), o ii) ?
a)

y0 = 6x2 y1/2
y ( x0 ) = y0

8 /10

Matemtica III - 2 cuatrimestre 2015

gua 1-e teorema de existencia y unicidad

Concepto previo: | x | funcin valor absoluto o mdulo de x. Derivada del valor absoluto
de x.

b)

y0 = |y|
y ( x0 ) = y0
c)

y0 = x ln(y 2)
y ( x0 ) = y0
4. Consideren el problema de valor inicial

y0 = e x2
y (0) = 1

R
2
a) Pueden escribir la antiderivada e x dx como combinacn de
funciones elementales?
R
2
b) Vean que s existe e x dx aunque no la podamos escribir como
combinacin de funciones elementales (pueden utlizar el Teorema Fundamental del Calculo, pueden recordar el enunciado al
final de esta Gua 1-E)
c) podemos asegurar que no tiene solucin? o que s la tiene?
d) Verifiquen la solucin del PVI puede escribirse:
y( x ) = 1 +

Z x
0

et dt

9 /10

Concepto previo: Funciones elementales:

polinomios, seno, coseno, exponencial, logaritmo, sus inversas y sus combinaciones.

Concepto previo:
Rx 2
La integral definida 0 et dt:
a) es funcin de x,
b) no es funcin de t,
c) es distinta de la Integral indefinida
R x2
e dx

Matemtica III - 2 cuatrimestre 2015

Repaso

de

gua 1-e teorema de existencia y unicidad

Matemtica

Teorema Fundamental del Clculo

Teorema
(Teorema Fundamental del Clculo) Si f es una funcin continua en un intervalo [ a, b ] y
F(x) =

Z x
a

f ( t ) dt,

entonces podemos obtener la derivada de F as:

F0 (x) =

0

Z
a

f ( t ) dt

= f (x)

Es decir la derivada de F ( x ) es el integrando evaluado en x: f ( x )

10 /10

10