Lección 92 — EDOs separables
dy/dx = g(x)h(y). Separar variables e integrar de ambos lados. Aplicaciones: decaimiento radiactivo, enfriamiento de Newton, crecimiento logístico.
Used in: Spécialité Maths francesa (Terminale) · Math III japonés avanzado · Leistungskurs Mathematik 12 alemán · H2 Mathematics singapurense
Rigorous notation, full derivation, hypotheses
Definición rigurosa y método
Forma canónica y separabilidad
"A separable equation is actually the first kind of differential equation that can be solved explicitly." — Lebl, Notes on Diffy Qs, §1.3
Soluciones singulares (equilibrios)
Teorema de existencia y unicidad (Picard-Lindelöf)
Sea con condición inicial . Si es continua en y es Lipschitz continua en en una vecindad de — esto es, existe tal que —, entonces existe y una única solución satisfaciendo el PVI.
"Theorem 1.2.1. If is continuous and is continuous near some , then a solution exists for near , and is unique." — Lebl, Notes on Diffy Qs, §1.2
Campo de direcciones y análisis cualitativo
Para , el campo de direcciones asocia a cada punto el vector , indicando la inclinación de la solución en ese punto. Las isoclinas son curvas (inclinación constante). Las isoclinas horizontales satisfacen — son los equilibrios.
Campo de direcciones de dy/dx = y. La isoclina horizontal dorada es el equilibrio y* = 0. Para y > 0, las soluciones crecen; para y < 0, decrecen — equilibrio inestable.
Criterio de Osgood (existencia global)
Para la EDO autónoma , la solución con existe para todo si y solo si
Si la integral converge, ocurre blow-up en tiempo finito — la solución escapa a en un instante dado por .
Ejemplo: , . — blow-up en .
Ejemplos resueltos
Problema. Resuelva .
Estrategia. La EDO es separable con y . Separe, integre, exponencie.
Resolución.
Escribiendo (constante arbitraria real no-nula):
Verificar: también resuelve (solución constante, pues ). Se incluye .
Verificación. — verifica.
Fuente. Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.1 — CC-BY-SA.
Problema. Resuelva el PVI , .
Estrategia. Separar variables, integrar, aplicar condición inicial para fijar .
Resolución.
Condición inicial: , luego .
Verificación. y — correcto.
Fuente. OpenStax Calculus Vol. 2, §4.3, Example 4.15 — CC-BY-NC-SA.
Problema. Resuelva , .
Estrategia. Separar e integrar usando fracciones parciales en .
Resolución.
Fracciones parciales: .
Exponenciando: .
Resolviendo: .
Condición inicial: .
Verificación. y cuando — comportamiento logístico correcto.
Fuente. Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.4 — CC-BY-SA.
Problema. Un objeto a 90°C se coloca en una sala a 20°C. Después de 5 min está a 70°C. Modele y determine cuándo alcanza 30°C.
Estrategia. Ley de Newton del enfriamiento: . Separar e integrar en términos de .
Resolución.
Sea . Entonces , luego .
Con : .
Condición: :
Para :
Verificación. C — confirma.
Fuente. OpenStax Calculus Vol. 2, §4.3, Example 4.17 — CC-BY-NC-SA.
Problema. Resuelva , . Muestre que la solución explota en tiempo finito y determine el instante de blow-up.
Estrategia. Separar, integrar (potencia ), aislar , identificar la singularidad.
Resolución.
Luego .
Condición inicial: .
La solución está definida en y satisface cuando : blow-up en .
Verificación. y — correcto. El criterio de Osgood confirma: .
Fuente. Lebl, Notes on Diffy Qs, §1.3, ex. 1.3.6 — CC-BY-SA.
Exercise list
45 exercises · 11 with worked solution (25%)
- Ex. 92.1Application
Resuelva .
- Ex. 92.2Application
Resuelva el PVI , .
- Ex. 92.3Application
Resuelva .
- Ex. 92.4Application
Resuelva , .
- Ex. 92.5Application
Resuelva .
- Ex. 92.6Application
Resuelva .
- Ex. 92.7Application
Resuelva , .
- Ex. 92.8ApplicationAnswer key
Resuelva .
- Ex. 92.9Application
Resuelva .
- Ex. 92.10ApplicationAnswer key
Resuelva .
- Ex. 92.11ApplicationAnswer key
Resuelva .
- Ex. 92.12Application
Resuelva por fracciones parciales.
- Ex. 92.13Application
Resuelva , .
- Ex. 92.14Application
Verifique que resuelve .
- Ex. 92.15ApplicationAnswer key
Resuelva .
- Ex. 92.16Application
Resuelva .
- Ex. 92.17Application
Resuelva , .
- Ex. 92.18Application
Resuelva .
- Ex. 92.19Application
Resuelva , .
- Ex. 92.20Application
Resuelva . Discuta el dominio y las soluciones singulares.
- Ex. 92.21ModelingAnswer key
Decaimiento radiactivo: el C tiene vida media de 5730 años. ¿Qué porcentaje resta después de 10 000 años?
- Ex. 92.22ModelingAnswer key
Capacitor RC en descarga: V, , . Encuentre .
- Ex. 92.23Modeling
Tanque de 100 L con agua pura recibe 5 L/min de salmuera a 10 g/L y drena 5 L/min. ¿Cuál es la concentración después de 30 min?
- Ex. 92.24Modeling
Colonia de bacterias se duplica cada 3 h. ¿Cuánto tiempo para crecer 100 veces?
- Ex. 92.25Modeling
Enfriamiento de Newton: café a 90°C en una sala a 20°C llega a 70°C en 5 min. ¿Cuándo alcanza 30°C?
- Ex. 92.26Modeling
Caída con resistencia lineal: , . Resuelva y determine la velocidad terminal .
- Ex. 92.27ModelingAnswer key
Concentración de droga: , . ¿En cuánto tiempo cae al 50% de la dosis inicial?
- Ex. 92.28Modeling
Inversión con interés continuo a 5% a.a.: . ¿En cuánto tiempo se duplica el capital?
- Ex. 92.29UnderstandingAnswer key
Muestre que es solución de . ¿Pertenece a la familia general? Justifique.
- Ex. 92.30Understanding
Para , , muestre que existen infinitas soluciones. ¿Por qué falla la unicidad de Picard?
- Ex. 92.31UnderstandingAnswer key
¿Por qué usa el valor absoluto?
- Ex. 92.32Understanding
Para , identifique los equilibrios y clasifíquelos como estables o inestables.
- Ex. 92.33Understanding
¿Cuál de las formas abajo para corresponde a una EDO separable?
- Ex. 92.34Challenge
Resuelva por sustitución .
- Ex. 92.35Challenge
Muestre que , explota en tiempo finito . Confirme con el criterio de Osgood.
- Ex. 92.36Challenge
Ecuación de Bernoulli . Muestre que la sustitución la transforma en una EDO lineal.
- Ex. 92.37Proof
Esboce la prueba del teorema de Picard-Lindelöf para , , con continua y Lipschitz en , por iteración de Picard.
- Ex. 92.38ProofAnswer key
Para con para todo , muestre que la solución es global si y solo si (criterio de Osgood).
- Ex. 92.39Application
Resuelva .
- Ex. 92.40Application
Resuelva por fracciones parciales. Identifique las soluciones singulares.
- Ex. 92.41Application
Resuelva .
- Ex. 92.42Application
Resuelva .
- Ex. 92.43Modeling
Crecimiento logístico: , . ¿Cuándo la población alcanza la mitad de la capacidad de soporte?
- Ex. 92.44UnderstandingAnswer key
Analice cualitativamente sin resolver explícitamente: identifique equilibrios, estabilidad y comportamiento de soluciones para diferentes condiciones iniciales.
- Ex. 92.45Challenge
Para con , determine para cuáles valores de ocurre blow-up en tiempo finito. Calcule en ese caso.
Fuentes
- Lebl, Notes on Diffy Qs — Jiří Lebl · v6.6 · CC-BY-SA. §1.3 Separable equations; §1.2 Picard-Lindelöf. Fuente primaria de esta lección.
- OpenStax Calculus Volume 2 — OpenStax · CC-BY-NC-SA. §4.3 Separable Equations. Ejemplos de modelado: Newton, mezcla, bacterias, farmacocinética.
- APEX Calculus — Hartman et al. · CC-BY-NC. §8.1 Graphical and Numerical Solutions, §8.1 Separable Differential Equations. Análisis cualitativo, campo de direcciones, Bernoulli.