8.4: Oda lineal homogénea de segundo orden con coeficientes de concentración
- Page ID
- 119195
\( \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}\)Ahora estudiamos soluciones de la oda de coeficiente homogéneo y constante, escrita como
\[a \ddot{x}+b \dot{x}+c x=0, \nonumber \]
con\(a, b\), y\(c\) constantes. Tal ecuación surge para la carga en un condensador en un circuito eléctrico RLC sin alimentación, o para la posición de una masa de fricción libre oscilante en un resorte, o para un péndulo amortiguado. Nuestro método de solución encuentra dos soluciones linealmente independientes a la Ecuación\ ref {8.10}, multiplica cada una de estas soluciones por una constante y las agrega. Las dos constantes libres se pueden usar para satisfacer dos condiciones iniciales dadas.
Debido a las propiedades diferenciales de la función exponencial, un ansatz natural, o conjetura educada, para la forma de la solución a la Ecuación\ ref {8.10}\(r\) es\(x=e^{r t}\), donde es una constante por determinar. La diferenciación sucesiva da como resultado\(\dot{x}=r e^{r t}\) y\(\ddot{x}=r^{2} e^{r t}\), y la sustitución en rendimientos de la ecuación\ ref {8.10}
\[a r^{2} e^{r t}+b r e^{r t}+c e^{r t}=0 . \nonumber \]
Nuestra elección de la función exponencial ahora es recompensada por la cancelación explícita en la Ecuación\ ref {8.11} de\(e^{r t}\). El resultado es una ecuación cuadrática para la constante desconocida\(r\):
\[a r^{2}+b r+c=0 . \nonumber \]
Nuestro ansatz ha convertido así una ecuación diferencial en una ecuación algebraica. Ecuación La ecuación\ ref {8.12} se llama la ecuación característica de la ecuación\ ref {8.10}. Usando la fórmula cuadrática, las dos soluciones de la ecuación característica Ecuación\ ref {8.12} vienen dadas por
\[r_{\pm}=\frac{1}{2 a}\left(-b \pm \sqrt{b^{2}-4 a c}\right) . \nonumber \]
Hay tres casos a considerar: (1) si\(b^{2}-4 a c>0\), entonces las dos raíces son distintas y reales; (2) si\(b^{2}-4 a c<0\), entonces las dos raíces son conjugados complejos (3) si\(b^{2}-\)\(4 a c=0\), entonces las dos raíces son degeneradas y solo hay una raíz real. Consideraremos estos tres casos a su vez.
8.4.1. Distintas raíces reales
Cuando\(r_{+} \neq r_{-}\) son raíces reales, entonces la solución general a la Ecuación\ ref {8.10} puede escribirse como una superposición lineal de las dos soluciones\(e^{r+t}\) y\(e^{r-t}\); es decir,
\[x(t)=c_{1} e^{r_{+} t}+c_{2} e^{r-t} . \nonumber \]
Las constantes desconocidas\(c_{1}\) y luego\(c_{2}\) pueden ser determinadas por las condiciones iniciales dadas\(x\left(t_{0}\right)=x_{0}\) y\(\dot{x}\left(t_{0}\right)=u_{0}\). Presentamos ahora dos ejemplos.
Ejemplo 1: Resuelve\(\ddot{x}+5 \dot{x}+6 x=0\) con\(x(0)=2, \dot{x}(0)=3\), y encuentra el valor máximo alcanzado por\(x\).
Tomamos como nuestro ansatz\(x=e^{r t}\) y obtenemos la ecuación característica
\[r^{2}+5 r+6=0 \nonumber \]
qué factores
\[(r+3)(r+2)=0 \nonumber \]
La solución general a la oda es así
\[x(t)=c_{1} e^{-2 t}+c_{2} e^{-3 t} \nonumber \]
La solución para\(\dot{x}\) obtener por diferenciación es
\[\dot{x}(t)=-2 c_{1} e^{-2 t}-3 c_{2} e^{-3 t} . \nonumber \]
El uso de las condiciones iniciales resulta entonces en dos ecuaciones para las dos constantes desconocidas\(c_{1}\) y\(c_{2}\):
\[\begin{aligned} c_{1}+c_{2} &=2 \\ -2 c_{1}-3 c_{2} &=3 . \end{aligned} \nonumber \]
Agregar tres veces la primera ecuación a la segunda ecuación rinde\(c_{1}=9\); y la primera ecuación luego rinde\(c_{2}=2-c_{1}=-7\). Por lo tanto, la solución única que satisface tanto la oda como las condiciones iniciales es
\[\begin{aligned} x(t) &=9 e^{-2 t}-7 e^{-3 t} \\ &=9 e^{-2 t}\left(1-\frac{7}{9} e^{-t}\right) . \end{aligned} \nonumber \]
Obsérvese que aunque ambos términos exponenciales decaen en el tiempo, su suma aumenta inicialmente desde entonces\(\dot{x}(0)>0\). El valor máximo de\(x\) ocurre en el\(t_{m}\) momento en que\(\dot{x}=0\), o
\[t_{m}=\ln (7 / 6) \text {. } \nonumber \]
Luego\(x_{m}=x\left(t_{m}\right)\) se determina que el máximo es
\[x_{m}=108 / 49 . \nonumber \]
Ejemplo 2: Resolver\(\ddot{x}-x=0\) con\(x(0)=x_{0}, \dot{x}(0)=u_{0}\).
Nuevamente nuestro ansatz es\(x=e^{r t}\), y obtenemos la ecuación característica
\[r^{2}-1=0 \nonumber \]
con solución\(r_{\pm}=\pm 1\). Por lo tanto, la solución general para\(x\) es
\[x(t)=c_{1} e^{t}+c_{2} e^{-t} \nonumber \]
y el derivado satisface
\[\dot{x}(t)=c_{1} e^{t}-c_{2} e^{-t} \nonumber \]
Se cumplen las condiciones iniciales cuando
\[\begin{aligned} &c_{1}+c_{2}=x_{0} \\ &c_{1}-c_{2}=u_{0} . \end{aligned} \nonumber \]
Sumando y restando estas ecuaciones, determinamos
\[c_{1}=\frac{1}{2}\left(x_{0}+u_{0}\right), \quad c_{2}=\frac{1}{2}\left(x_{0}-u_{0}\right) \nonumber \]
para que después de reordenar los términos
\[x(t)=x_{0}\left(\frac{e^{t}+e^{-t}}{2}\right)+u_{0}\left(\frac{e^{t}-e^{-t}}{2}\right) \nonumber \]
Los términos entre paréntesis son las definiciones habituales de las funciones coseno y seno hiperbólicas; es decir,
\[\cosh t=\frac{e^{t}+e^{-t}}{2}, \quad \sinh t=\frac{e^{t}-e^{-t}}{2} . \nonumber \]
Por lo tanto, nuestra solución puede ser reescrita como
\[x(t)=x_{0} \cosh t+u_{0} \sinh t \nonumber \]
Obsérvese que las relaciones entre las funciones trigonométricas y los exponenciales complejos fueron dadas por
\[\cos t=\frac{e^{i t}+e^{-i t}}{2}, \quad \sin t=\frac{e^{i t}-e^{-i t}}{2 i} \nonumber \]
para que
\[\cosh t=\cos i t, \quad \sinh t=-i \sin i t . \nonumber \]
También tenga en cuenta que las funciones trigonométricas hiperbólicas satisfacen las ecuaciones diferenciales
\[\frac{d}{d t} \sinh t=\cosh t, \quad \frac{d}{d t} \cosh t=\sinh t \nonumber \]
que aunque similar a las ecuaciones diferenciales satisfechas por las funciones trigonométricas más utilizadas, carece de un signo menos.
8.4.2. Distintas raíces complejo-conjugadas
Consideramos ahora una ecuación característica Ecuación\ ref {8.12} con\(b^{2}-4 a c<0\), por lo que las raíces ocurren como pares conjugados complejos. Con
\[\lambda=-\frac{b}{2 a}, \quad \mu=\frac{1}{2 a} \sqrt{4 a c-b^{2}} \nonumber \]
las dos raíces de la ecuación característica son\(\lambda+i \mu\) y\(\lambda-i \mu\). Hemos encontrado así las siguientes dos soluciones exponenciales complejas a la ecuación diferencial:
\[Z_{1}(t)=e^{\lambda t} e^{i \mu t}, \quad Z_{2}(t)=e^{\lambda t} e^{-i \mu t} . \nonumber \]
Aplicando el principio de superposición, cualquier combinación lineal de\(Z_{1}\) y también\(Z_{2}\) es una solución a la oda de segundo orden
Recordemos que si\(z=x+i y\), entonces\(\operatorname{Re} z=(z+\bar{z}) / 2\) y\(\operatorname{Im} z=(z-\bar{z}) / 2 i\). Por lo tanto, podemos formar dos combinaciones lineales diferentes de\(Z_{1}(t)\) y\(Z_{2}(t)\) que son reales, a saber\(X_{1}(t)=\operatorname{Re} Z_{1}(t)\) y\(X_{2}(t)=\operatorname{Im} Z_{1}(t)\). Tenemos
\[X_{1}(t)=e^{\lambda t} \cos \mu t, \quad X_{2}(t)=e^{\lambda t} \sin \mu t . \nonumber \]
Habiendo encontrado estas dos soluciones reales,\(X_{1}(t)\) y\(X_{2}(t)\), entonces podemos aplicar el principio de superposición por segunda vez para determinar la solución general para\(x(t)\):
\[x(t)=e^{\lambda t}(A \cos \mu t+B \sin \mu t) . \nonumber \]
Lo mejor es memorizar este resultado. La parte real de las raíces de la ecuación característica entra en la función exponencial; la parte imaginaria entra en el argumento de coseno y seno.
Ejemplo 1: Resolver\(\ddot{x}+x=0\) con\(x(0)=x_{0}\) y\(\dot{x}(0)=u_{0}\).
La ecuación característica es
\[r^{2}+1=0 \nonumber \]
con raíces
\[r_{\pm}=\pm i \nonumber \]
La solución general de la oda es, por lo tanto
\[x(t)=A \cos t+B \sin t . \nonumber \]
El derivado es
\[\dot{x}(t)=-A \sin t+B \cos t . \nonumber \]
Aplicando las condiciones iniciales:
\[x(0)=A=x_{0}, \quad \dot{x}(0)=B=u_{0} ; \nonumber \]
para que la solución final sea
\[x(t)=x_{0} \cos t+u_{0} \sin t . \nonumber \]
Recordemos que escribimos la solución análoga a la oda\(\ddot{x}-x=0\) como\(x(t)=\)\(x_{0} \cosh t+u_{0} \sinh t\).
Ejemplo 2: Resolver\(\ddot{x}+\dot{x}+x=0\) con\(x(0)=1\) y\(\dot{x}(0)=0\).
La ecuación característica es
\[r^{2}+r+1=0 \nonumber \]
con raíces
\[r_{\pm}=-\frac{1}{2} \pm i \frac{\sqrt{3}}{2} . \nonumber \]
La solución general de la oda es, por lo tanto
\[x(t)=e^{-\frac{1}{2} t}\left(A \cos \frac{\sqrt{3}}{2} t+B \sin \frac{\sqrt{3}}{2} t\right) \nonumber \]
El derivado es
\[\begin{aligned} \dot{x}(t)=-\frac{1}{2} e^{-\frac{1}{2} t}\left(A \cos \frac{\sqrt{3}}{2} t+B \sin \frac{\sqrt{3}}{2} t\right) \\ &+\frac{\sqrt{3}}{2} e^{-\frac{1}{2} t}\left(-A \sin \frac{\sqrt{3}}{2} t+B \cos \frac{\sqrt{3}}{2} t\right) . \end{aligned} \nonumber \]
Aplicando las condiciones iniciales\(x(0)=1\) y\(\dot{x}(0)=0\):
\[\begin{gathered} A=1 \\ -\frac{1}{2} A+\frac{\sqrt{3}}{2} B=0 \end{gathered} \nonumber \]
o
\[A=1, \quad B=\frac{\sqrt{3}}{3} \nonumber \]
Por lo tanto,
\[x(t)=e^{-\frac{1}{2} t}\left(\cos \frac{\sqrt{3}}{2} t+\frac{\sqrt{3}}{3} \sin \frac{\sqrt{3}}{2} t\right) \nonumber \]
8.4.3. Raíces degeneradas
Por último, consideramos la ecuación característica,
\[a r^{2}+b r+c=0, \nonumber \]
con\(b^{2}-4 a c=0\). La raíz degenerada es dada entonces por
\[r=-\frac{b}{2 a} \nonumber \]
produciendo solo una única solución a la oda:
\[x_{1}(t)=\exp \left(-\frac{b t}{2 a}\right) . \nonumber \]
Para satisfacer dos condiciones iniciales, se debe encontrar una segunda solución independiente con Wronskian distinto de cero, y aparentemente esta segunda solución no es de la forma de nuestro ansatz\(x=\exp (r t)\).
Un método para determinar esta segunda solución faltante es probar el ansatz
\[x(t)=y(t) x_{1}(t), \nonumber \]
donde\(y(t)\) es una función desconocida que satisface la ecuación diferencial obtenida sustituyendo la Ecuación\ ref {8.15} por la Ecuación\ ref {8.10}. Esta técnica estándar se denomina método de reducción de orden y permite encontrar una segunda solución de una ecuación diferencial lineal homogénea si se conoce una solución. Si la ecuación diferencial original es de orden\(n\), la ecuación diferencial para\(y=y(t)\) reduce a un orden uno inferior, es decir,\(n-1\).
Aquí, sin embargo, determinaremos esta segunda solución faltante a través de un proceso limitante. Comenzamos con la solución obtenida para raíces complejas de la ecuación característica, para luego llegar a la solución obtenida para raíces degeneradas tomando el límite\(\mu \rightarrow 0\).
Ahora, la solución general para raíces complejas fue dada por la Ecuación\ ref {8.13}, y para limitar adecuadamente esta solución como\(\mu \rightarrow 0\) requiere primero satisfacer las condiciones iniciales específicas\(x(0)=x_{0}\) y\(\dot{x}(0)=u_{0}\). Resolviendo para\(A\) y\(B\), la solución general dada por la Ecuación\ ref {8.13} se convierte en la solución específica
\[x(t ; \mu)=e^{\lambda t}\left(x_{0} \cos \mu t+\frac{u_{0}-\lambda x_{0}}{\mu} \sin \mu t\right) \nonumber \]
Aquí, hemos escrito\(x=x(t ; \mu)\) para mostrar explícitamente de eso\(x\) depende\(\mu\).
Tomando el límite como\(\mu \rightarrow 0\), y usando\(\lim _{\mu \rightarrow 0} \mu^{-1} \sin \mu t=t\), tenemos
\[\lim _{\mu \rightarrow 0} x(t ; \mu)=e^{\lambda t}\left(x_{0}+\left(u_{0}-\lambda x_{0}\right) t\right) . \nonumber \]
Se observa que la segunda solución es una constante,\(u_{0}-\lambda x_{0}\), veces\(t\) veces la primera solución,\(e^{\lambda t}\). Nuestra solución general a la oda\(Equation \ref{8.10}\) cuando por lo tanto se\(b^{2}-4 a c=0\) puede escribir en la forma
\[x(t)=\left(c_{1}+c_{2} t\right) e^{r t}, \nonumber \]
donde\(r\) está la raíz repetida de la ecuación característica. El principal resultado a recordar es que para el caso de raíces repetidas, la segunda solución es\(t\) por la primera solución.
Ejemplo: Resolver\(\ddot{x}+2 \dot{x}+x=0\) con\(x(0)=1\) y\(\dot{x}(0)=0\).
La ecuación característica es
\[\begin{aligned} r^{2}+2 r+1 &=(r+1)^{2} \\ &=0 \end{aligned} \nonumber \]
que tiene una raíz repetida dada por\(r=-1\). Por lo tanto, la solución general a la oda es
\[x(t)=c_{1} e^{-t}+c_{2} t e^{-t} \nonumber \]
con derivado
\[\dot{x}(t)=-c_{1} e^{-t}+c_{2} e^{-t}-c_{2} t e^{-t} . \nonumber \]
Aplicando las condiciones iniciales, tenemos
\[\begin{gathered} c_{1}=1, \\ -c_{1}+c_{2}=0, \end{gathered} \nonumber \]
así que eso\(c_{1}=c_{2}=1\). Por lo tanto, la solución es
\[x(t)=(1+t) e^{-t} . \nonumber \]