7.4: Ecuaciones diferenciales separables
- Page ID
- 120220
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)- ¿Qué es una ecuación diferencial separable?
- ¿Cómo podemos encontrar soluciones a una ecuación diferencial separable?
- ¿Algunas de las ecuaciones diferenciales que surgen en las aplicaciones son separables?
En las Secciones 7.2 y 7.3, hemos visto varias formas de aproximar la solución a un problema de valor inicial. Dada la frecuencia con la que surgen las ecuaciones diferenciales en el mundo que nos rodea, nos gustaría contar con algunas técnicas para encontrar soluciones algebraicas explícitas de ciertos problemas de valor inicial. En esta sección, nos enfocamos en una clase particular de ecuaciones diferenciales (llamadas separables) y desarrollamos un método para encontrar fórmulas algebraicas para sus soluciones.
Una ecuación diferencial separable es una ecuación diferencial cuya estructura algebraica permite separar las variables de una manera particular. Por ejemplo, considere la ecuación
\[ \frac{dy}{dt} = ty\text{.} \nonumber \]
Nos gustaría separar las variables\(t\) y para\(y\) que todas las ocurrencias de\(t\) aparezcan en el lado derecho, y todas las ocurrencias de\(y\) aparezcan a la izquierda, multiplicadas por\(dy/dt\text{.}\) Para este ejemplo, dividimos ambos lados por para\(y\) que
Tenga en cuenta que cuando intentamos separar las variables en una ecuación diferencial, requerimos que un lado sea un producto en el que la derivada\(dy/dt\) sea un factor y el otro factor sea únicamente una expresión que involucre\(y\text{.}\)
No todas las ecuaciones diferenciales son separables. Por ejemplo, si consideramos la ecuación
puede parecer natural separarlo por escrito
Como veremos, esto no será útil, ya que el lado izquierdo no es producto de una función de\(y\) con\(\frac{dy}{dt}\text{.}\)
En esta actividad de vista previa, exploramos si ciertas ecuaciones diferenciales son separables o no, y luego revisamos algunas ideas clave de trabajos anteriores en cálculo integral.
- ¿Cuáles de las siguientes ecuaciones diferenciales son separables? Si la ecuación es separable, escriba la ecuación en la forma revisada\(g(y) \frac{dy}{dt} = h(t)\text{.}\)
- \(\displaystyle \frac{dy}{dt} = -3y\text{.}\)
- \(\displaystyle \frac{dy}{dt} = ty - y\text{.}\)
- \(\displaystyle \frac{dy}{dt} = t + 1\text{.}\)
- \(\displaystyle \frac{dy}{dt} = t^2 - y^2\text{.}\)
- Explique por qué se garantiza que cualquier ecuación diferencial autónoma sea separable.
- ¿Por qué incluimos el término “\(+C\)” en la expresión
\[ \int x~dx = \frac{x^2}{2} + C? \nonumber \]
- Supongamos que sabemos que una determinada función\(f\) satisface la ecuación
\[ \int f'(x)~dx = \int x~dx\text{.} \nonumber \]
¿Qué puedes concluir sobre\(f\text{?}\)
7.4.1 Resolver ecuaciones diferenciales separables
Antes de discutir un enfoque general para resolver una ecuación diferencial separable, es instructivo considerar un ejemplo.
Encuentra todas las funciones\(y\) que son soluciones a la ecuación diferencial
\[ \frac{dy}{dt}= \frac{t}{y^2}\text{.} \nonumber \]
- Contestar
-
Comenzamos separando las variables y escribiendo
\[ y^2\frac{dy}{dt} = t\text{.} \nonumber \]La integración de ambos lados de la ecuación con respecto a la variable independiente\(t\) muestra que
\[ \int y^2\frac{dy}{dt}~dt = \int t~dt\text{.} \nonumber \]A continuación, notamos que el lado izquierdo nos permite cambiar la variable de antidiferenciación 1 de\(t\) a\(y\text{.}\) En particular,\(dy = \frac{dy}{dt}~dt\text{,}\) así que ahora tenemos
\[ \int y^2 ~dy = \int t~dt\text{.} \nonumber \]Es por ello que requerimos que el lado izquierdo se escribiera como un producto en el que\(dy/dt\) se encuentra uno de los términos.Esta ecuación dice que dos familias de antiderivados son iguales entre sí. Por lo tanto, cuando encontramos antiderivados representativos de ambos lados, sabemos que deben diferir por una constante arbitraria\(C\text{.}\) Antidiferenciando e incluyendo la constante\(C\) de integración a la derecha, encontramos que
\[ \frac{y^3}{3} = \frac{t^2}{2} + C\text{.} \nonumber \]No es necesario incluir una constante arbitraria en ambos lados de la ecuación; sabemos que\(y^3/3\) y\(t^2/2\) estamos en la misma familia de antiderivados y por lo tanto deben diferir por una sola constante.
Finalmente, resolvemos la última ecuación anterior para\(y\) como una función de la\(t\text{,}\) cual da
\[ y(t) = \sqrt[3]{\frac 32 \, t^2 + 3C}\text{.} \nonumber \]Por supuesto, el término del\(3C\) lado derecho representa 3 veces una constante desconocida. Es, por lo tanto, sigue siendo una constante desconocida, que vamos a reescribir como\(C\text{.}\) Llegamos así a la conclusión de que la función
\[ y(t) = \sqrt[3]{\frac 32 \, t^2 + C} \nonumber \]es una solución a la ecuación diferencial original para cualquier valor de\(C\text{.}\)
Observe que debido a que esta solución depende de la constante arbitraria\(C\text{,}\) hemos encontrado una familia infinita de soluciones. Esto tiene sentido porque esperamos encontrar una solución única que corresponda a cualquier valor inicial dado.
Por ejemplo, si queremos resolver el problema de valor inicial
\[ \frac{dy}{dt} = \frac{t}{y^2}, \ y(0) = 2\text{,} \nonumber \]sabemos que la solución tiene la forma\(y(t) = \sqrt[3]{\frac32\, t^2 + C}\) para alguna constante\(C\text{.}\) Por lo tanto, debemos encontrar el valor apropiado para\(C\) eso da el valor inicial\(y(0)=2\text{.}\) Por lo tanto,
\[ 2 = y(0) = \sqrt[3]{\frac 32 \, 0^2 + C} = \sqrt[3]{C}\text{,} \nonumber \]lo que demuestra que\(C = 2^3 = 8\text{.}\) La solución al problema del valor inicial es entonces
\[ y(t) = \sqrt[3]{\frac32\, t^2+8}\text{.} \nonumber \]
La estrategia del Ejemplo 7.4.1 puede aplicarse a cualquier ecuación diferencial de la forma\(\frac{dy}{dt} = g(y) \cdot h(t)\text{,}\) y se dice que cualquier ecuación diferencial de esta forma es separable. Trabajamos para resolver una ecuación diferencial separable mediante la escritura
y luego integrando ambos lados con respecto a\(t\text{.}\) Después de integrar, tratamos de resolver algebraicamente para para poder escribir\(y\)\(y\) en función de\(t\text{.}\)
Resolver la ecuación diferencial
\[ \frac{dy}{dt} =3y\text{.} \nonumber \]
- Contestar
-
Siguiendo la misma estrategia que en el Ejemplo 7.4.1, tenemos
\[ \frac 1y \frac{dy}{dt} = 3\text{.} \nonumber \]Integrando ambas partes con respecto a\(t\text{,}\)
\[ \int \frac 1y\frac{dy}{dt}~dt = \int 3~dt\text{,} \nonumber \]y por lo tanto
\[ \int \frac 1y~dy = \int 3~dt\text{.} \nonumber \]Antidiferenciando e incluyendo la constante de integración, encontramos que
\[ \ln|y| = 3t + C\text{.} \nonumber \]Por último, tenemos que resolver para\(y\text{.}\) Aquí, un punto merece una atención cuidadosa. Por la definición de la función de logaritmo natural, se deduce que
\[ |y| = e^{3t+C} = e^{3t}e^C\text{.} \nonumber \]Ya que\(C\) es una constante desconocida, también lo\(e^C\) es, aunque sí sabemos que es positiva (porque\(e^x\) es positiva para cualquiera\(x\)). Cuando eliminamos el valor absoluto para resolver para\(y\text{,}\) sin embargo, esta constante puede ser positiva o negativa. Para dar cuenta de una posible\(+\) o\(-\text{,}\) denotamos esta constante actualizada por\(C\) para obtener
\[ y(t) = Ce^{3t}\text{.} \nonumber \]
Hay un punto técnico más que hacer. Observe que\(y=0\) es una solución de equilibrio a esta ecuación diferencial. Al resolver la ecuación anterior, comenzamos dividiendo ambos lados por\(y\text{,}\) lo cual no está permitido si\(y=0\text{.}\) Para tener perfectamente cuidado, por lo tanto, debemos considerar las soluciones de equilibrio por separado. En este caso, observe que la forma final de nuestra solución captura la solución de equilibrio al permitir\(C=0\text{.}\)
Supongamos que la población de un pueblo está creciendo continuamente a una tasa anual de 3% anual.
- Dejar\(P(t)\) ser la población del pueblo en año\(t\text{.}\) Escribe una ecuación diferencial que describa la tasa de crecimiento anual.
- Encuentra las soluciones de esta ecuación diferencial.
- Si sabes que la población del pueblo en el año 0 es 10,000, encuentra la población\(P(t)\text{.}\)
- ¿Cuánto tiempo tarda en duplicarse la población? Esta vez se llama el tiempo de duplicación.
- Trabajando de manera más general, encuentra el tiempo de duplicación si la tasa de crecimiento anual es\(k\) multiplicada por la población.
Supongamos que una taza de café está inicialmente a una temperatura de\(105^\circ\) F y se coloca en una habitación\(75^\circ\) F. La ley de enfriamiento de Newton dice que
donde\(k\) es una constante de proporcionalidad.
- Supongamos que mide que el café se está enfriando a un grado por minuto en el momento en que el café es llevado a la habitación. Usar la ecuación diferencial para determinar el valor de la constante\(k\text{.}\)
- Encuentra todas las soluciones de esta ecuación diferencial.
- Qué pasa con todas las soluciones como\(t\to\infty\text{?}\) Explica cómo esto concuerda con tu intuición.
- ¿Cuál es la temperatura de la taza de café después de 20 minutos?
- ¿Cuánto tiempo tarda el café en enfriarse\(80^\circ\text{?}\)
Resolver cada una de las siguientes ecuaciones diferenciales o problemas de valor inicial.
- \(\displaystyle \frac{dy}{dt} - (2-t) y = 2-t\)
- \(\displaystyle \frac{1}{t}\frac{dy}{dt} = e^{t^2-2y}\)
- \(y' = 2y+2\text{,}\)\(y(0)=2\)
- \(y' = 2y^2\text{,}\)\(y(-1) = 2\)
- \(\frac{dy}{dt} = \frac{-2ty}{t^2 + 1}\text{,}\)\(y(0) = 4\)
7.4.2 Resumen
- Una ecuación diferencial separable es aquella que puede ser reescrita con todas las ocurrencias de la variable dependiente multiplicando la derivada y todas las ocurrencias de la variable independiente en el otro lado de la ecuación.
- Podemos encontrar las soluciones a ciertas ecuaciones diferenciales separables separando variables, integrando con respecto\(t\text{,}\) y finalmente resolviendo la ecuación algebraica resultante para\(y\text{.}\)
- Esta técnica nos permite resolver muchas ecuaciones diferenciales importantes que surgen en el mundo que nos rodea. Por ejemplo, las cuestiones de crecimiento y decaimiento y la Ley de Enfriamiento de Newton dan lugar a ecuaciones diferenciales separables. Posteriormente, aprenderemos en la Sección 7.6 que la importante ecuación diferencial logística también es separable.