Tres fenómenos que hay que separar
La manera más simple en que una familia de sistemas cambia de organización al variar un parámetro es que dos equilibrios nazcan juntos al atravesar un valor crítico. El capítulo 43 la mostró con el ejemplo , al definir la bifurcación como un cambio cualitativo en la organización de las soluciones. Este capítulo estudia ese mecanismo, llamado bifurcación de nodo-silla o de pliegue, junto con las condiciones que permiten reconocerlo en familias generales (Kuznetsov, 2023).
Su estudio obliga a separar tres fenómenos que en una serie temporal pueden parecer similares. Un equilibrio puede dejar de existir. Puede también seguir existiendo y cambiar de estabilidad. Cabe, además, que el sistema abandone la cuenca de un equilibrio que sigue existiendo, porque una perturbación lo llevó al otro lado de su frontera. Solo el primero corresponde a la nodo-silla. Reconstruiremos la bifurcación desde la ecuación, el diagrama de ramas y la línea de fase, formularemos sus condiciones genéricas y las aplicaremos a un modelo de población con cosecha. Después extenderemos el resultado al plano y compararemos la desaparición de un estado estable con el cambio de destino que produce una perturbación con el parámetro fijo.
La forma normal y sus líneas de fase
Consideremos otra vez
con y un parámetro real . Los equilibrios existen para . Con la rama positiva es estable, porque , mientras que la negativa es inestable, porque allí . En hay un único equilibrio doble y para no hay ninguno.
La función muestra la reorganización sin integrar trayectorias (figura 44.1a). Para la parábola corta el eje en dos puntos. Entre ellos y aumenta, mientras que fuera de ellos y disminuye. El equilibrio negativo repele por ambos lados y el positivo atrae por ambos lados dentro de su entorno. En la parábola toca el eje sin cruzarlo, de modo que el signo del campo no cambia. Para la curva queda entera por debajo del eje y la velocidad no se anula en ningún punto. La figura 44.1b superpone al diagrama de ramas las líneas de fase de varios sistemas de la familia.

La palabra colisión requiere una aclaración. Los dos equilibrios no se desplazan uno hacia otro en el tiempo. Sus posiciones dependen del parámetro. La distancia entre ellos, , tiende a cero cuando , por lo que la colisión ocurre en el espacio de estado y parámetro. Por la misma razón, la pendiente de la rama,
diverge en el pliegue sin que ninguna variable adquiera velocidad infinita. Es una derivada respecto del parámetro y nada dice sobre la rapidez del movimiento en el tiempo.
El punto crítico
En la ecuación es . El origen es un equilibrio con , de modo que la linealización, , no decide su estabilidad. El término cuadrático contiene toda la información. Como para , el campo apunta hacia la izquierda a ambos lados del origen. Una trayectoria que parte de se acerca a cero, mientras que una que parte de se aleja hacia valores más negativos. El equilibrio es semiestable.
Separando variables se obtiene la solución exacta
Con se tiene , una aproximación algebraica más lenta que cualquier exponencial. Con el denominador se anula en y la solución diverge hacia en tiempo finito.
Esa divergencia no es una predicción general de las bifurcaciones de nodo-silla. La forma normal describe la dinámica cerca del punto crítico. Cuando la trayectoria sale de ese entorno, los términos que la forma normal omite pueden acotarla o llevarla a otro atractor, como ocurrirá en el ejemplo de la cosecha y en el modelo con dos atractores de este capítulo.
Ralentización antes del pliegue
En la rama estable, , la linealización es . Una perturbación pequeña decae como , con tiempo característico
Cuando el valor propio se acerca a cero y crece sin límite. Las perturbaciones tardan cada vez más en disiparse, un fenómeno llamado ralentización crítica.
La forma normal permite comprobarlo de manera exacta. Con y , la solución es
como se verifica al sustituir, porque . Para tiempos grandes, , que decae con la tasa predicha por la linealización.
La expresión de vale para la linealización de esta forma normal y para perturbaciones pequeñas alrededor de la rama estable. De ella no se sigue que un sistema empírico que se recupera lentamente esté cerca de una nodo-silla. Volveremos sobre este punto al final del capítulo.
El cuello después del pliegue
La desaparición de los equilibrios no borra de inmediato su influencia. Tomemos . Entonces . No hay equilibrio, aunque cerca de la velocidad es pequeña si lo es. Una trayectoria que atraviesa esa región avanza despacio. La región recibe el nombre de cuello o de fantasma de la nodo-silla (Strogatz, 2015, sec. 4.3).
El tiempo necesario para ir desde hasta , con , se calcula sin simular,
Cuando el arcotangente tiende a y
La escala temporal también diverge al acercarse al valor crítico desde el lado sin equilibrios, con el mismo exponente que el tiempo de recuperación del otro lado (figura 44.2a). Casi todo el tiempo de paso transcurre cerca de . Con , la trayectoria que parte de tarda unas 29 unidades de tiempo en llegar a y permanece la mayor parte de ese intervalo muy cerca del origen (figura 44.2b).

Esta demora puede producir una serie temporal engañosa. Después de cruzar el valor crítico, el sistema puede permanecer mucho tiempo cerca de donde estaba el equilibrio y solo después alejarse. En un registro corto parecería que el estado estacionario persiste. El retraso proviene de la dinámica determinista, sin intervención del ruido ni de errores numéricos. Tampoco es el retraso dinámico del capítulo 43, que aparece cuando el parámetro cambia durante la evolución y crece como la potencia de la velocidad del barrido. Aquí el parámetro está fijo y lo que crece es el tiempo de tránsito por la región donde el campo casi se anula.
Condiciones genéricas de una nodo-silla
La forma normal resume el comportamiento de una clase amplia de sistemas cerca de su punto crítico. Consideremos con suficientemente suave y un punto con . Para que un equilibrio hiperbólico desaparezca localmente debe perder la hiperbolicidad, lo que en una dimensión exige . Esa condición no basta. Una nodo-silla genérica requiere además dos condiciones de no degeneración,
La condición sobre asegura que el término cuadrático en el estado domina la no linealidad. La condición sobre exige que la variación del parámetro desplace el campo de manera transversal a través de la condición crítica (Kuznetsov, 2023).
Con y , el desarrollo de Taylor alrededor del punto crítico es
porque los términos constante y lineal en se anulan. Si y , los cambios de escala y de orientación reducen la dinámica local a o a una de sus variantes con signos invertidos. Los signos de y deciden de qué lado del valor crítico existen las ramas y en qué sentido fluye el campo, sin alterar el mecanismo de creación o destrucción del par.
Dos contraejemplos muestran por qué importan esas condiciones. En se cumplen y en el origen, pero también . El equilibrio existe para todo y ningún par aparece ni desaparece. En falla la transversalidad, porque . Para todo hay dos equilibrios, , que coinciden en . El retrato de fase en difiere del de los valores vecinos, aunque la familia vuelve al mismo régimen a ambos lados y el número de equilibrios no cambia al atravesar el valor crítico. Un valor propio nulo señala que la linealización deja de decidir. El tipo de bifurcación lo fijan los términos y las condiciones adicionales.
La nodo-silla genérica es una bifurcación de codimensión uno. En el punto crítico deben cumplirse y , dos ecuaciones que, para una familia escalar con un parámetro, pueden resolverse para las dos incógnitas . Las condiciones y garantizan que no haga falta ningún ajuste adicional. Por eso la nodo-silla aparece en modelos muy distintos sin necesidad de una simetría especial. Si se perturban un poco los coeficientes de una familia que cumple las condiciones, el punto crítico se desplaza y el mecanismo persiste. Esta robustez es una propiedad de la familia. En el valor crítico mismo el equilibrio no es hiperbólico y el sistema individual no es estructuralmente estable.
Un ejemplo aplicado con cosecha constante
Una población con crecimiento logístico sometida a una extracción constante cumple, en variables adimensionales,
Los equilibrios satisfacen , de donde , que existen para . Las condiciones del punto crítico, y , dan y . Como y , el valor es una nodo-silla genérica.
En este caso la reducción a la forma normal es exacta. Con se tiene , de modo que
con parámetro efectivo . Por debajo del umbral, la rama estable tiene valor propio . Con el tiempo de recuperación vale 5 unidades y con vale 10. Por encima del umbral no hay equilibrio positivo y la población decrece hasta extinguirse. Con tarda unas 27,5 unidades en caer desde hasta cero. De ese tiempo, unidades transcurren entre y , cerca del antiguo punto de pliegue.
El ejemplo muestra las dos caras del mecanismo. Antes del umbral, la población se recupera cada vez más despacio de las perturbaciones. Después, el colapso es inevitable dentro del modelo, aunque su comienzo puede parecer lento. El modelo supone una extracción fija e independiente del tamaño de la población. Su utilidad para una pesquería concreta depende de que esa hipótesis sea razonable.
Por qué se llama nodo-silla
La forma escalar puede insertarse en un sistema plano muy simple,
Para los equilibrios son y el jacobiano es diagonal, con elementos y . En los valores propios son y , un nodo estable. En son y , una silla. En ambos equilibrios coinciden en el origen, con valores propios y . La dirección sigue contrayéndose mientras la dirección deja de ser hiperbólica, por lo que la dinámica decisiva se concentra en una dimensión central. El nombre de la bifurcación proviene de este choque entre un nodo y una silla.
En dimensión mayor, una nodo-silla genérica con un único valor propio nulo simple puede reducirse localmente a una ecuación escalar sobre una variedad central (Guckenheimer y Holmes, 1983). Las cantidades de no degeneración se calculan con los vectores nulos derecho e izquierdo del jacobiano crítico , que cumplen
Con ellos se definen
Si y , la dinámica reducida sobre la dirección crítica tiene la forma (Kuznetsov, 2023). La fórmula permite reconocer el mecanismo cuando el equilibrio no puede aislarse sobre una línea de fase, como en el sistema acoplado del ejercicio 44.3. No reemplaza la comprobación de las hipótesis ni informa sobre las cuencas una vez que la trayectoria abandona el entorno local.
Desaparición de un equilibrio y cruce de una cuenca
Para mostrar la diferencia hace falta un sistema con más de un atractor. Consideremos
Cerca de el factor es positivo y próximo a 2, así que la estructura local de la nodo-silla se conserva salvo por una reescala temporal suave. El factor adicional introduce un equilibrio persistente en (figura 44.3a). Con los equilibrios son , y . Las derivadas valen , y , por lo que y son estables y es inestable. En una dimensión ese equilibrio inestable separa las cuencas, para y para .
Comparemos dos intervenciones. Con fijo, un sistema que estaba en y recibe una perturbación que lo lleva a permanece en la cuenca derecha y vuelve a . Si la perturbación lo lleva a , cruza la frontera y termina en (figura 44.3b). La trayectoria cambia de destino sin que la familia atraviese ninguna bifurcación, porque el parámetro no cambió y los tres equilibrios siguen existiendo. Si en cambio el sistema parte de la rama estable derecha y el parámetro se reduce a , el par deja de existir y solo queda el equilibrio . Desde la trayectoria llega a en unas 3,5 unidades de tiempo. Ese cambio sí resulta de atravesar la nodo-silla.

La distinción importa al interpretar datos. Una transición brusca no identifica por sí sola el mecanismo. Puede corresponder a la desaparición de un atractor, al cruce de una frontera de cuenca o a una perturbación externa, entre otras posibilidades. El diagrama de bifurcación es una propiedad de un modelo parametrizado. Atribuirlo a un fenómeno real exige evidencia independiente de que el modelo y su parámetro describen adecuadamente ese fenómeno.
Qué permite inferir la ralentización
La nodo-silla produce dos escalas temporales que divergen cerca del punto crítico. Desde el lado con equilibrio estable, . Desde el lado sin equilibrios, el tiempo de paso por el cuello crece como . Estas leyes son consecuencias de la forma normal. Por eso en un modelo gobernado por una nodo-silla es razonable esperar tiempos de recuperación crecientes antes del umbral y permanencias prolongadas después.
El razonamiento inverso es más débil. Una recuperación lenta no demuestra que haya una nodo-silla cerca. Otras bifurcaciones también producen ralentización, como la transcrítica, en la que un valor propio cruza el cero sin que desaparezca el equilibrio, o la de Hopf, en la que la parte real de un par complejo se acerca a cero. En datos con ruido, la estimación del tiempo de recuperación depende además de la frecuencia de muestreo y de la longitud de la ventana de estimación.
La idea de señal temprana debe mantenerse, por eso, separada de la demostración de una bifurcación. Scheffer y colaboradores (2009) propusieron el aumento de la autocorrelación y de la varianza como indicadores genéricos de la cercanía de una transición crítica. Van de Leemput y colaboradores (2014) aplicaron esa idea a registros de emociones tomados en la vida diaria y encontraron valores más altos de esos indicadores en personas que después cambiaron de estado anímico. Boettiger y Hastings (2012) mostraron que la fiabilidad de estos indicadores varía mucho entre conjuntos de datos y que sus tasas de falsas alarmas y de detecciones fallidas deben cuantificarse. En un modelo conocido podemos derivar qué magnitud se acerca a cero y con qué ley. En un sistema empírico hay que establecer además que el parámetro pertinente está cambiando, que la dinámica local es aproximadamente estacionaria mientras se estima y que otros mecanismos no explican el patrón observado.
Comprobación numérica
Las integraciones del capítulo usaron el método DOP853 (Hairer et al., 1993) de SciPy (Virtanen et al., 2020), con tolerancia relativa y absoluta . Con y , la solución numérica difiere de en menos de entre y . La solución crítica desde difiere de la exacta en menos de . En el modelo de cosecha con , los tiempos de paso numéricos coinciden con la fórmula del cuello en todas las cifras mostradas en el texto.
El bloque siguiente estima la tasa de recuperación a partir de una trayectoria simulada, mediante un ajuste lineal del logaritmo de la distancia al equilibrio. También mide el tiempo de paso por el cuello con un evento que detiene la integración en .
import numpy as np
from scipy.integrate import solve_ivp
opciones = dict(method="DOP853", rtol=1e-12, atol=1e-14)
print("Recuperación en la rama estable, mu > 0")
print(" mu tasa estimada 2*sqrt(mu)")
for mu in (1.0, 0.25, 0.04, 0.01):
xe = np.sqrt(mu)
sol = solve_ivp(lambda t, x: mu - x**2, (0, 10 / xe), [xe * 1.001],
dense_output=True, **opciones)
t = np.linspace(2 / xe, 6 / xe, 200) # ventana alejada del inicio
d = sol.sol(t)[0] - xe # distancia al equilibrio
tasa = -np.polyfit(t, np.log(d), 1)[0] # pendiente de log(d)
print(f"{mu:6.2f} {tasa:12.6f} {2 * xe:10.6f}")
print("Paso por el cuello, mu < 0, desde x = 1 hasta x = -1")
print(" mu T numérico fórmula pi/sqrt(-mu)")
for mu in (-0.1, -0.01, -0.001):
e = np.sqrt(-mu)
llegada = lambda t, x: x[0] + 1.0
llegada.terminal = True
sol = solve_ivp(lambda t, x: mu - x**2, (0, 1e4), [1.0],
events=llegada, **opciones)
T = sol.t_events[0][0]
print(f"{mu:7.3f} {T:12.6f} {2 / e * np.arctan(1 / e):11.6f} {np.pi / e:12.6f}")
La ejecución produce la salida siguiente.
Recuperación en la rama estable, mu > 0
mu tasa estimada 2*sqrt(mu)
1.00 2.000002 2.000000
0.25 1.000001 1.000000
0.04 0.400000 0.400000
0.01 0.200000 0.200000
Paso por el cuello, mu < 0, desde x = 1 hasta x = -1
mu T numérico fórmula pi/sqrt(-mu)
-0.100 7.997520 7.997520 9.934588
-0.010 29.422553 29.422553 31.415927
-0.001 97.346549 97.346549 99.345883
Las tasas estimadas coinciden con hasta el quinto decimal y los tiempos de paso coinciden con la fórmula exacta en todas las cifras impresas. La aproximación mejora a medida que se acerca a cero, porque el cuello ocupa una fracción creciente del recorrido.
Ejercicios
Ejercicio 44.1. Considere la familia . (a) Encuentre el punto crítico y compruebe las condiciones de no degeneración. (b) ¿De qué lado del valor crítico existen los equilibrios y cuál de ellos es estable? (c) Obtenga la forma normal con el cambio .
Ejercicio 44.2. Decida si cada una de las familias siguientes tiene una nodo-silla genérica en y describa el número de equilibrios cercanos al origen a ambos lados de . (a) . (b) . (c) .
Ejercicio 44.3. Considere el sistema acoplado , . (a) Encuentre los equilibrios y el valor crítico. (b) Calcule el jacobiano crítico y los vectores nulos y con . (c) Calcule y y escriba la ecuación reducida. (d) Clasifique los equilibrios para .
Ejercicio 44.4. En el modelo de cosecha , (a) calcule el tiempo de recuperación de la rama estable para y para . (b) Con , calcule el tiempo de paso entre y . (c) Con , estime el tiempo que la población pasa en el cuello y compárelo con el caso .
Ejercicio 44.5. Considere el tiempo de recuperación de la forma normal. (a) ¿Por qué factor aumenta cuando se divide por 100? (b) Si en un sistema que se supone gobernado por la forma normal se mide primero y después , ¿qué razón entre los valores de se deduce? (c) Dé dos razones por las que un aumento observado de no basta para afirmar que un sistema se acerca a una nodo-silla.
Ejercicio 44.6. En con , (a) verifique la estabilidad de los tres equilibrios. (b) ¿Qué perturbación negativa mínima lleva el sistema desde hasta el atractor ? (c) Explique por qué, con , ninguna perturbación puede devolver el sistema a un equilibrio cercano a .
Consultar las soluciones de los ejercicios
Soluciones de los ejercicios
Solución 44.1. (a) Con se tiene , que se anula en . La condición da entonces . Además, y . (b) Los equilibrios son y existen para . Como , el equilibrio es estable y es inestable. Con , por ejemplo, son y . (c) Con resulta , que es la variante con . Las ramas existen para .
Solución 44.2. (a) En el origen , y , por lo que la nodo-silla es genérica. Para pequeño hay dos equilibrios cercanos, aproximadamente . Para no hay ninguno. (b) Como , no es genérica. Existe un único equilibrio, , para todo . (c) Como , tampoco es genérica. Hay dos equilibrios, , a ambos lados de , que coinciden solo en el valor crítico.
Solución 44.3. (a) Los equilibrios cumplen y , de modo que son y existen para . El valor crítico es , en el origen. (b) El jacobiano es , que en el origen vale . El vector derecho es y la condición da , luego cumple . (c) Como , se obtiene . La única segunda derivada no nula es . Resultan así y . La ecuación reducida es . (d) El jacobiano en es triangular, con valores propios y . El equilibrio con es un nodo estable y el de , una silla.
Solución 44.4. (a) El tiempo de recuperación es . Vale con y con . (b) Con y , el paso de a tarda unidades. (c) Con se tiene y el tiempo en el cuello se acerca a unidades, unas diez veces el valor que corresponde a .
Solución 44.5. (a) Como , dividir por 100 multiplica por 10. (b) La razón entre los valores de es , con lo que el parámetro se habría reducido a la cuarta parte. (c) Otras bifurcaciones, como la transcrítica o la de Hopf, también producen ralentización. Además, un cambio en la frecuencia de muestreo o la falta de estacionariedad de los datos pueden alargar el tiempo de recuperación estimado sin que haya ningún umbral cerca.
Solución 44.6. (a) Las derivadas valen , y , por lo que y son estables y es inestable. (b) La perturbación debe llevar el estado por debajo de la frontera , es decir, debe ser mayor que 1 en valor absoluto. Una perturbación exactamente igual a 1 deja el sistema sobre el equilibrio inestable. (c) Con el factor es negativo para todo , así que para . El único equilibrio es y no existe ningún estado estacionario cerca de al que volver.
Referencias
Boettiger, C. y Hastings, A. (2012). Quantifying limits to detection of early warning for critical transitions. Journal of the Royal Society Interface, 9(75), 2527–2539. https://doi.org/10.1098/rsif.2012.0125
Guckenheimer, J. y Holmes, P. (1983). Nonlinear oscillations, dynamical systems, and bifurcations of vector fields. Springer. https://doi.org/10.1007/978-1-4612-1140-2
Hairer, E., Nørsett, S. P. y Wanner, G. (1993). Solving ordinary differential equations I: Nonstiff problems (2.ª ed. rev.). Springer. https://doi.org/10.1007/978-3-540-78862-1
Kuznetsov, Y. A. (2023). Elements of applied bifurcation theory (4.ª ed.). Springer. https://doi.org/10.1007/978-3-031-22007-4
Scheffer, M., Bascompte, J., Brock, W. A., Brovkin, V., Carpenter, S. R., Dakos, V., Held, H., van Nes, E. H., Rietkerk, M. y Sugihara, G. (2009). Early-warning signals for critical transitions. Nature, 461(7260), 53–59. https://doi.org/10.1038/nature08227
Strogatz, S. H. (2015). Nonlinear dynamics and chaos: With applications to physics, biology, chemistry, and engineering (2.ª ed.). Westview Press.
van de Leemput, I. A., Wichers, M., Cramer, A. O. J., Borsboom, D., Tuerlinckx, F., Kuppens, P., van Nes, E. H., Viechtbauer, W., Giltay, E. J., Aggen, S. H., Derom, C., Jacobs, N., Kendler, K. S., van der Maas, H. L. J., Neale, M. C., Peeters, F., Thiery, E., Zachar, P. y Scheffer, M. (2014). Critical slowing down as early warning for the onset and termination of depression. Proceedings of the National Academy of Sciences, 111(1), 87–92. https://doi.org/10.1073/pnas.1312114110
Virtanen, P., Gommers, R., Oliphant, T. E., Haberland, M., Reddy, T., Cournapeau, D., Burovski, E., Peterson, P., Weckesser, W., Bright, J., van der Walt, S. J., Brett, M., Wilson, J., Millman, K. J., Mayorov, N., Nelson, A. R. J., Jones, E., Kern, R., Larson, E., … SciPy 1.0 Contributors. (2020). SciPy 1.0: Fundamental algorithms for scientific computing in Python. Nature Methods, 17(3), 261–272. https://doi.org/10.1038/s41592-019-0686-2