Saltar al contenido principal
LibreTexts Español

3.4: Bifurcaciones para Ecuaciones de Primer Orden

  • Page ID
    118987
  • \( \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}\)

    En esta sección presentamos familias de ecuaciones diferenciales de primer orden de la forma

    \[\dfrac{d y}{d t}=f(y ; \mu) \nonumber \]

    Aquí\(\mu\) hay un parámetro que podemos cambiar y luego observar los efectos resultantes sobre los comportamientos de las soluciones de la ecuación diferencial. Cuando un pequeño cambio en el parámetro conduce a grandes cambios en el comportamiento de la solución, entonces se dice que el sistema se somete a una bifurcación. Pasaremos a algunos ejemplos genéricos, dando lugar a bifurcaciones especiales de ecuaciones diferenciales autónomas de primer orden.

    Ejemplo 3.1. \(y' = y^2 - \mu\).

    Primero tenga en cuenta que las soluciones de equilibrio ocurren para\(y^{2}=\mu\). En este problema, hay tres casos a considerar.

    1. \(\mu>0\).
      En este caso hay dos soluciones reales,\(y=\pm \sqrt{\mu}\). Tenga en cuenta que\(y^{2}-\mu<0\) para\(|y|<\sqrt{\mu}\). Entonces, tenemos la línea de fase izquierda en la Figura 3.4.
    2. \(\mu=0\).
      Solo hay un punto de equilibrio en\(y=0\). La ecuación se convierte\(y^{\prime}=y^{2}\). Es obvio que el lado derecho de esta ecuación nunca es negativo.
      Entonces, la línea de fase se muestra como la línea media en la Figura 3.4.
    3. \(\mu<0\).
      En este caso no hay soluciones de equilibrio. Ya que\(y^{2}-\mu>0\), las pendientes para todas las soluciones son positivas como lo indica la última línea de fase en la Figura 3.4.
    Screen Shot 2022-06-30 a las 6.48.30 PM.png
    Figura 3.4. Líneas de fase para\(y^{\prime}=y^{2}-\mu\). A la izquierda\(\mu>0\) y a la derecha\(\mu<0\).

    Podemos combinar estos resultados en un diagrama conocido como diagrama de bifurcación. Trazamos las soluciones de equilibrio\(y\) vs\(\mu\). Comenzamos alineando las líneas de fase para\(\mu\) varios's, las mostramos en la Figura 3.5. Tenga en cuenta que el patrón de puntos de equilibrio satisface\(y=\mu^{2}\) como debería. Esto se ve fácilmente como una curva parabólica. La rama superior de esta curva es una colección de equilibrios inestables y la parte inferior es una rama estable. Entonces, podemos disponer de las líneas de fase y simplemente mantener los equilibrios. Sin embargo, dibujaremos la rama inestable como una línea discontinua y la rama estable como una línea continua.

    El diagrama de bifurcación se muestra en la Figura 3.6. Este tipo de bifurcación se denomina bifurcación de nodo de silla de montar. El punto\(\mu=0\) en el que cambia el comportamiento se denomina punto de bifurcación. Al\(\mu\) pasar de negativo a positivo, pasamos de no tener equilibrios a tener un punto de equilibrio estable y otro inestable.

    Ejemplo 3.2. \(y' = y^2 - \mu y\).

    En este ejemplo tenemos dos puntos de equilibrio,\(y=0\) y\(y=\mu\). El comportamiento de las soluciones depende del signo de\(y^{2}-\mu y=y(y-\mu)\). Esto lleva a cuatro casos con los signos indicados de la derivada.

    1. \(y>0, y-\mu>0 \Rightarrow y^{\prime}>0\).
    2. \(y<0, y-\mu>0 \Rightarrow y^{\prime}<0\).
    3. \(y>0, y-\mu<0 \Rightarrow y^{\prime}<0\).
    4. \(y<0, y-\mu<0 \Rightarrow y^{\prime}>0\).

    Las líneas de fase correspondientes y el diagrama de bifurcación superpuesta se muestran en 3.7. El diagrama de bifurcación se encuentra en la Figura 3.8 y esto se denomina bifurcación transcrítica.

    Screen Shot 2022-06-30 a las 6.52.34 PM.png
    Figura 3.5. Las líneas de fase típicas para\(y' = y^2 - \mu\).
    Screen Shot 2022-06-30 a las 6.53.28 PM.png
    Figura 3.6. Diagrama de bifurcación para\(y' = y^2 - \mu\). Este es un ejemplo de una bifurcación de nodo de silla de montar.
    Screen Shot 2022-06-30 a las 6.54.24 PM.png
    Figura 3.7. Recogida de líneas de fase para\(y' = y^2 - \mu y\).
    Ejemplo 3.3. \(y' = y^3 - \mu y\).

    Para este último ejemplo, encontramos a partir de\(y^3 - \mu y = y(y^2 - \mu) = 0\) eso hay dos casos.

    1. \(\mu < 0\)En este caso solo hay un punto de equilibrio en\(y = 0\). Para valores positivos de\(y\) tenemos eso\(y' > 0\) y para valores negativos de\(y\) tenemos eso\(y'<0\). Por lo tanto, este es un punto de equilibrio inestable.
    Screen Shot 2022-06-30 a las 7.11.41 PM.png
    Figura 3.8. Diagrama de bifurcación para\(y' = y^2 - \mu y\). Este es un ejemplo de bifurcación transcrítica.

    2. \(\mu>0\)Aquí tenemos tres equilibrios,\(x=0, \pm \sqrt{\mu}\). Una investigación cuidadosa muestra que\(x=0\). es un punto de equilibrio estable y que los otros dos equilibrios son inestables.

    En la Figura 3.9 se muestran las líneas de fase para estos dos casos. A continuación se esboza el diagrama de bifurcación correspondiente en la Figura 3.10. Por razones obvias esto ha sido etiquetado como una bifurcación de horca.

    Screen Shot 2022-06-30 a las 7.16.00 PM.png
    Figura 3.9. Las líneas de fase para\(y' = y^3 - \mu y\). La izquierda corresponde a\(\mu < 0\) y la línea de fase derecha es para\(\mu > 0\)
    Screen Shot 2022-06-30 a las 7.17.30 PM.png
    Figura 3.10. Diagrama de bifurcación para\(y' = y^3 - \mu y\). Este es un ejemplo de enterramiento de horca.

    This page titled 3.4: Bifurcaciones para Ecuaciones de Primer Orden is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Russell Herman via source content that was edited to the style and standards of the LibreTexts platform.