Machine Translated by Google

1.5  Existencia  y  Unicidad  de  Soluciones 71

y
Figura  1.50
5 El  método  de  Euler  aplicado  a

dy
=  et  sen  y
dt

con  t  =  0,05.  El  gráfico  de  la
0 t
la  aproximación  se  comporta  como  se  esperaba
12345
para  t  <  5,  pero  para  t  ligeramente  mayor
que  5,  la  aproximación  no  es
más  válido.
−5

Podemos  comprobar  fácilmente  que  la  función  constante  y(t)  =  nπ  es  una  solución  para  cualquier
entero  n  y,  por  lo  tanto,  por  el  teorema  de  unicidad,  cada  solución  está  atrapada  entre
y  =  nπ  y  y  =  (n  +  1)π  para  algún  número  entero  n.  Las  aproximaciones  en  la  Figura  1.50
violar  este  requisito.  Esto  confirma  nuestras  sospechas  de  que  los  resultados  numéricos  en  este
caso  no  son  para  creer.
Esta  ecuación  es  inusual  debido  al  término  et  en  el  lado  derecho.  cuando  t  es
grandes,  las  pendientes  de  las  soluciones  se  vuelven  gigantescas  y,  por  lo  tanto,  el  método  de  Euler  sobrepasa  el
verdadera  solución  incluso  para  un  tamaño  de  paso  muy  pequeño.

EJERCICIOS  PARA  LA  SECCIÓN  1.5

En  los  ejercicios  1  a  4,  nos  referimos  a  una  función  f ,  pero  no  proporcionamos  su  fórmula.  Sin  embargo,
asumimos  que  f  satisface  las  hipótesis  del  Teorema  de  Unicidad  en  todo  el
ty­plane,  y  proporcionamos  varias  soluciones  a  la  ecuación  diferencial  dada.  Finalmente,
especificamos  una  condición  inicial.  Usando  el  teorema  de  unicidad,  ¿qué  puedes  concluir
sobre  la  solución  de  la  ecuación  con  la  condición  inicial  dada?

dy dy
1.  =  f  (t,  y) 2.  =  f  (y)
dt   dt  
y1(t)  =  3  para  todo  t  es  una  solución, y1(t)  =  4  para  todo  t  es  una  solución,

condición  inicial  y(0)  =  1 y2(t)  =  2  para  todo  t  es  una  solución,

y3(t)  =  0  para  todo  t  es  una  solución,

condición  inicial  y(0)  =  1

dy dy
3.  =  f  (t,  y) 4.  =  f  (t,  y)
dt   dt  
y1(t)  =  t  +  2  para  todo  t  es  una  solución, y1(t)  =  −1  para  todo  t  es  una  solución,

y2(t)  =  −t2  para  todo  t  es  una  solución, y2(t)  =  1  +  t2  para  todo  t  es  una  solución,

condición  inicial  y(0)  =  1 condición  inicial  y(0)  =  0

Derechos  de  autor  2011  Cengage  Learning.  Reservados  todos  los  derechos.  No  se  puede  copiar,  escanear  o  duplicar,  en  su  totalidad  o  en  parte.  Debido  a  los  derechos  electrónicos,  algunos  contenidos  de  terceros  pueden  ser  suprimidos  del  eBook  y/o  eChapter(s).
La  revisión  editorial  ha  considerado  que  cualquier  contenido  suprimido  no  afecta  materialmente  la  experiencia  general  de  aprendizaje.  Cengage  Learning  se  reserva  el  derecho  de  eliminar  contenido  adicional  en  cualquier  momento  si  así  lo  requieren  restricciones  de  derechos  posteriores.
Machine Translated by Google

72  CAPÍTULO  1  Ecuaciones  diferenciales  de  primer  orden

En  los  Ejercicios  5–8,  una  condición  inicial  para  la  ecuación  diferencial

dy
=  y(y  −  1)(y  −  3)
dt

es  dado.  ¿Qué  dice  el  teorema  de  existencia  y  unicidad  sobre  la  solución  correspondiente?

5.  y(0)  =  4 6.  y(0)  =  0 7.  y(0)  =  2 8.  y(0)  =  −1

9.  (a)  Demuestre  que  y1(t)  =  t2  y  y2(t)  =  t2  +  1  son  soluciones  de

dy 2  4  ­  t
=  −y2  +  y  +  2yt2  +  2t  −  t .
dt

(b)  Demuestre  que  si  y(t)  es  una  solución  de  la  ecuación  diferencial  del  inciso  (a)  y  si
0  <  y(0)  <  1,  entonces  t2  <  y(t)  <  t2  +  1  para  todo  t.
(c)  Ilustre  su  respuesta  usando  HPGSolver.

10.  Considere  la  ecuación  diferencial  dy/dt  =  2  √|y|.
(a)  Demuestre  que  la  función  y(t)  =  0  para  todo  t  es  una  solución  de  equilibrio.
(b)  Encuentre  todas  las  soluciones.  [Sugerencia:  considere  los  casos  y  >  0  e  y  <  0  por  separado.  Entonces
necesita  definir  las  soluciones  usando  un  lenguaje  como  “y(t)  = ...  cuando  t  ≤  0
y  y(t)  = ...  cuando  t  >  0.”]
(c)  ¿Por  qué  esta  ecuación  diferencial  no  contradice  el  teorema  de  unicidad?
(d)  ¿Qué  hace  HPGSolver  con  esta  ecuación?

11.  Considere  la  ecuación  diferencial

dy y
= .
dt t2
(a)  Demuestre  que  la  función  constante  y1(t)  =  0  es  una  solución.
(b)  Muestre  que  hay  infinitas  otras  funciones  que  satisfacen  la  ecuación  diferencial,  que  
concuerdan  con  esta  solución  cuando  t  ≤  0,  pero  que  son  distintas  de  cero
cuando  t  >  0.  [Sugerencia:  debe  definir  estas  funciones  usando  un  lenguaje  como
“y(t)  = ...  cuando  t  ≤  0  y  y(t)  = ...  cuando  t  >  0.”]
(c)  ¿Por  qué  este  ejemplo  no  contradice  el  teorema  de  unicidad?

12.  (a)  Demuestre  que
1 1
y1(t)  =  t   y  y2(t)  =  t  −  2
−  1

son  soluciones  de  dy/dt  =  −y2.
(b)  ¿Qué  puedes  decir  acerca  de  las  soluciones  de  dy/dt  =  −y2  para  las  cuales  la  condición  
inicial  y(0)  satisface  la  desigualdad  −1  <  y(0)  <  −1/2?  [Pista:  puedes  encontrar
la  solución  general,  pero  ¿qué  información  puede  obtener  de  su  respuesta  a
parte  (a)  solo?]

Derechos  de  autor  2011  Cengage  Learning.  Reservados  todos  los  derechos.  No  se  puede  copiar,  escanear  o  duplicar,  en  su  totalidad  o  en  parte.  Debido  a  los  derechos  electrónicos,  algunos  contenidos  de  terceros  pueden  ser  suprimidos  del  eBook  y/o  eChapter(s).
La  revisión  editorial  ha  considerado  que  cualquier  contenido  suprimido  no  afecta  materialmente  la  experiencia  general  de  aprendizaje.  Cengage  Learning  se  reserva  el  derecho  de  eliminar  contenido  adicional  en  cualquier  momento  si  así  lo  requieren  restricciones  de  derechos  posteriores.
Machine Translated by Google

1.5  Existencia  y  singularidad  de  las  soluciones  73

En  los  ejercicios  13  a  16,  se  da  un  problema  de  valores  iniciales.
(a)  Encuentre  una  fórmula  para  la  solución.
(b)  Indique  el  dominio  de  definición  de  la  solución.
(c)  Describa  qué  le  sucede  a  la  solución  cuando  se  acerca  a  los  límites  de  su  dominio  de
definición.  ¿Por  qué  no  se  puede  extender  la  solución  por  más  tiempo?

dy dy 1
=  y3,  y(0)  =  1  13.  dt 14.   = ,  y(0)  =  0
dt (y  +  1)(t  ­  2)

dy 1 dy t
15.   = ,  y(0)  =  1  (y  +   16.   = ,  y(−1)  =  0
dt 2)2 dt y  ­  2

17.  Considere  una  ecuación  diferencial  de  la  forma  dy/dt  =  f  (y),  una  ecuación  autónoma,  y  suponga  
que  la  función  f  (y)  es  continuamente  diferenciable.
(a)  Suponga  que  y1(t)  es  una  solución  y  y1(t)  tiene  un  máximo  local  en  t  =  t0.  Dejar
y0  =  y1(t0).  Demuestre  que  f  (y0)  =  0.
(b)  Use  la  información  de  la  parte  (a)  para  dibujar  el  campo  de  pendientes  a  lo  largo  de  la  línea  y  =  y0
en  el  plano  ty.
(c)  Demuestre  que  la  función  constante  y2(t)  =  y0  es  una  solución  (en  otras  palabras,  y2(t)
es  una  solución  de  equilibrio).
(d)  Demuestre  que  y1(t)  =  y0  para  todo  t.
(e)  Demuestre  que  si  una  solución  de  dy/dt  =  f  (y)  tiene  un  mínimo  local,  entonces  es  un
función  constante;  es  decir,  también  corresponde  a  una  solución  de  equilibrio.

18.  Hemos  enfatizado  que  el  teorema  de  unicidad  no  se  aplica  a  todas  las  ecuaciones  diferenciales.  
Hay  hipótesis  que  deben  ser  verificadas  antes  de  que  podamos  aplicar
el  teorema  Sin  embargo,  existe  la  tentación  de  pensar  que,  dado  que  los  modelos  de  los  
problemas  del  “mundo  real”  obviamente  deben  tener  soluciones,  no  necesitamos  preocuparnos  por  la
hipótesis  del  Teorema  de  Unicidad  cuando  estamos  trabajando  con  ecuaciones  diferenciales  
que  modelan  el  mundo  físico.  El  siguiente  modelo  ilustra  la  falla  en  este
suposición.
Supongamos  que  deseamos  estudiar  la  formación  de  gotas  de  lluvia  en  la  atmósfera.  Nosotros
haga  la  suposición  razonable  de  que  las  gotas  de  lluvia  son  aproximadamente  esféricas.  Nosotros  también
suponga  que  la  tasa  de  crecimiento  del  volumen  de  una  gota  de  lluvia  es  proporcional  a  su  
superficie.
Sea  r(t)  el  radio  de  la  gota  de  lluvia  en  el  instante  t,  s(t)  su  área  superficial  en  el  instante  t,
y  v(t)  sea  su  volumen  en  el  tiempo  t.  De  la  geometría  tridimensional,  sabemos  que

2  s  =  4πr y v  = 4
3πr  3.

(a)  Demuestre  que  la  ecuación  diferencial  que  modela  el  volumen  de  la  gota  de  lluvia  bajo  
estas  suposiciones  es
dv
=  kv2/3,
dt
donde  k  es  una  constante  de  proporcionalidad.

Derechos  de  autor  2011  Cengage  Learning.  Reservados  todos  los  derechos.  No  se  puede  copiar,  escanear  o  duplicar,  en  su  totalidad  o  en  parte.  Debido  a  los  derechos  electrónicos,  algunos  contenidos  de  terceros  pueden  ser  suprimidos  del  eBook  y/o  eChapter(s).
La  revisión  editorial  ha  considerado  que  cualquier  contenido  suprimido  no  afecta  materialmente  la  experiencia  general  de  aprendizaje.  Cengage  Learning  se  reserva  el  derecho  de  eliminar  contenido  adicional  en  cualquier  momento  si  así  lo  requieren  restricciones  de  derechos  posteriores.
Machine Translated by Google

74  CAPÍTULO  1  Ecuaciones  diferenciales  de  primer  orden

(b)  ¿Por  qué  esta  ecuación  no  satisface  las  hipótesis  del  Teorema  de  Unicidad?
(c)  Dé  una  interpretación  física  del  hecho  de  que  las  soluciones  de  esta  ecuación  con  el
condición  inicial  v(0)  =  0  no  son  únicos.  ¿Este  modelo  dice  algo  sobre
la  forma  en  que  las  gotas  de  lluvia  comienzan  a  formarse?

1.6  EQUILIBRIO  Y  LÍNEA  DE  FASE

Dada  una  ecuación  diferencial
dy
=  f  (t,  y),
dt

podemos  hacernos  una  idea  de  cómo  se  comportan  las  soluciones  dibujando  campos  de  pendientes  y  esbozando  sus
gráficos  o  usando  el  método  de  Euler  y  calculando  soluciones  aproximadas.  A  veces
incluso  podemos  derivar  fórmulas  explícitas  para  soluciones  y  trazar  los  resultados.  Todos  estos
Las  técnicas  requieren  bastante  trabajo,  ya  sea  numérico  (cálculo  de  pendientes  o  método  de  Euler)  o  analítico  
(integración).
En  esta  sección  consideramos  ecuaciones  diferenciales  donde  el  lado  derecho  depende  de  t.  Se  dice  
que  tales  ecuaciones  son  ecuaciones  diferenciales  autónomas.  El
La  palabra  autónomo  significa  "autónomo",  y  en  términos  generales,  un  sistema  autónomo  es  autónomo  porque  
evoluciona  de  acuerdo  con  ecuaciones  diferenciales  que  están  determinadas  completamente  por  los  valores  de  
las  variables  dependientes.  Para  diferencial  autónomo
ecuaciones,  existen  técnicas  cualitativas  que  nos  ayudan  a  dibujar  las  gráficas  de  las  soluciones
con  menos  aritmética  que  con  otros  métodos.

Ecuaciones  Autónomas
Las  ecuaciones  autónomas  son  ecuaciones  diferenciales  de  la  forma

dy
=  f  (y).
dt

En  otras  palabras,  la  tasa  de  cambio  de  la  variable  dependiente  se  puede  expresar  como  una  función  de  la  
variable  dependiente  sola.  Las  ecuaciones  autónomas  aparecen  con  frecuencia  como  modelos  por  dos  razones.  
Primero,  muchos  sistemas  físicos  funcionan  de  la  misma  manera  en  cualquier  momento.  Para
ejemplo,  un  resorte  comprimido  la  misma  cantidad  a  las  10:00  am  y  a  las  3:00  pm  proporciona
la  misma  fuerza  En  segundo  lugar,  para  muchos  sistemas,  la  dependencia  del  tiempo  "promedia"  sobre
las  escalas  de  tiempo  que  se  están  considerando.  Por  ejemplo,  si  estamos  estudiando  cómo  los  lobos  y  el  campo
interactúan,  podríamos  encontrar  que  los  lobos  comen  muchos  más  ratones  de  campo  durante  el  día  que
hacen  por  la  noche.  Sin  embargo,  si  estamos  interesados  en  cómo  las  poblaciones  de  lobos  y  ratones
se  comportan  durante  un  período  de  años  o  décadas,  entonces  podemos  promediar  el  número  de  ratones  comidos
por  cada  lobo  por  semana.  Ignoramos  las  fluctuaciones  diarias.
Ya  hemos  notado  que  las  ecuaciones  autónomas  tienen  campos  de  pendientes  que  tienen  un
formulario  especial  (ver  página  40  en  la  Sección  1.3).  Porque  el  lado  derecho  de  la  ecuación
no  depende  de  t,  las  marcas  de  pendiente  son  paralelas  a  lo  largo  de  las  líneas  horizontales  en  el  plano  ty.
Es  decir,  para  una  ecuación  autónoma,  dos  puntos  con  la  misma  coordenada  y  pero  diferentes  coordenadas  t  
tienen  las  mismas  marcas  de  pendiente  (vea  la  figura  1.51).

Derechos  de  autor  2011  Cengage  Learning.  Reservados  todos  los  derechos.  No  se  puede  copiar,  escanear  o  duplicar,  en  su  totalidad  o  en  parte.  Debido  a  los  derechos  electrónicos,  algunos  contenidos  de  terceros  pueden  ser  suprimidos  del  eBook  y/o  eChapter(s).
La  revisión  editorial  ha  considerado  que  cualquier  contenido  suprimido  no  afecta  materialmente  la  experiencia  general  de  aprendizaje.  Cengage  Learning  se  reserva  el  derecho  de  eliminar  contenido  adicional  en  cualquier  momento  si  así  lo  requieren  restricciones  de  derechos  posteriores.
Machine Translated by Google

760  Pistas  y  Respuestas  para  el  Capítulo  1

Sugerencias  y  respuestas  para  la  Sección  1.5

1.  y(t)  <  3  para  todo  t  en  el  dominio  de  y(t)  3.   (c)  La  ecuación  diferencial  no  está  definida  en  t  =  0.

−t2  <  y(t)  <  t  +  2  para  todo  t 13.  (a)  y(t)  =  1/  √1  −  2t  (b)  t  
<  1/2  (c)  y(t)  
5.  y(t)  >  3  para  todo  t  en  el  dominio  de  y(t),  y(t)  →  3  a  
medida  que  t  disminuye,  y  y(t)  aumenta  sin  límite  a   →  ∞  cuando  t  →  1/2−
medida  que  t  aumenta.
15.  (a)  y(t)  =  (3t  +  27)1/3  −  2  (b)  t  >  
7.  1  <  y(t)  <  3  para  todo  t,  y(t)  →  1  cuando  t  →  ∞,  y  y(t)  →   −9  (nótese  que  la  ecuación  diferencial  no  está  definida  en  
3  cuando  t  →  −∞. y  =  −2).  (c)  y(t)  →  ∞  
cuando  t  →  ∞;  y(t)  →  −2  cuando  t  →  −9+.
9.  (a)  Sustituya  cada  solución  en  la  ecuación  diferencial  
y  calcule. 17.  (a)  Sugerencia:  diferencie  y1(t)  en  t0  y  recuerde  que
(b)  Utilice  el  teorema  de  existencia  y  unicidad. y1(t)  es  una  solución.  
(b)  Sugerencia:  recuerde  que  la  ecuación  es  au
11.  (a)  Si  y1(t)  =  0,  entonces  dy1/dt  =  0  =  y1/t2.  (b)  
tonomo
Para  cualquier  número  real  c,  
(c)  Sugerencia:  mire  el  campo  de  pendientes,  pero  compruébelo  
sea  
0, para  t  ≤  0; sustituyendo  y2(t)  en  ambos  lados  de  la  ecuación  diferencial.  
yc(t)  = (d)  
ce−1/t  , para  t  >  0.
Sugerencia:  Teorema  de  unicidad  (e)  
La  función  yc(t)  satisface  la  ecuación  para  todo  t  =   Sugerencia:  Repita  los  mismos  cuatro  pasos  nuevamente.
0.  Es  0  para  t  <  0  y  distinto  de  cero  para  t  >  0.

Sugerencias  y  respuestas  para  la  Sección  1.6

1.  El  punto  y  =  0  es  un  sumidero,  y  el  punto  y  =  2  es  un 5.  Las  fuentes  son  w  =  0,  −2π,  −4π . . .  y  π,  3π,  5π. . . .
fuente. Los  sumideros  son  w  =  1,  w  =  −π,  −3π  y  w  
. . . =  2π,  4π,  6π,....

y  =  2 fuente
w  =  π fuente

y  =  0 hundir

w  =  1 hundir

w  =  0 fuente

3.  Los  sumideros  son ...−3π/2,  π/2,  5π/2, . . . ,  y  las  
fuentes  son ...−π/2,  3π/2,  7π/2, . . . .
7.  No  hay  puntos  de  equilibrio.

y  =  3π/2 fuente

y  =  π/2 hundir

y  =  −π/2 fuente

Derechos  de  autor  2011  Cengage  Learning.  Reservados  todos  los  derechos.  No  se  puede  copiar,  escanear  o  duplicar,  en  su  totalidad  o  en  parte.  Debido  a  los  derechos  electrónicos,  algunos  contenidos  de  terceros  pueden  ser  suprimidos  del  eBook  y/o  eChapter(s).
La  revisión  editorial  ha  considerado  que  cualquier  contenido  suprimido  no  afecta  materialmente  la  experiencia  general  de  aprendizaje.  Cengage  Learning  se  reserva  el  derecho  de  eliminar  contenido  adicional  en  cualquier  momento  si  así  lo  requieren  restricciones  de  derechos  posteriores.