title: Biforcazione di Hopf
text: # Biforcazione di Hopf
  
  In matematica, in particolare nello studio dei sistemi dinamici e nella teoria delle biforcazioni, si parla di biforcazione di Hopf quando, al variare di un certo parametro di controllo $\mu$, un punto di equilibrio modifica la sua stabilità in corrispondenza della formazione di un ciclo limite (attrattivo o repulsivo).
  
  ## Definizione
  
  La caratterizzazione formale di questi punti è destinata al teorema di Hopf sulle biforcazioni:
  
  Sia
  
      ${\dot {x}}=f(x,\mu )$
  
  un sistema di dimensione $n\geq 2$ e sia $(x_{0},\mu _{0})$ un punto tale che
  
  * $f(x_{0},\mu _{0})=0$
  * Lo jacobiano di $f$ $J_{f}(x_{0},\mu _{0})$ ha una coppia di autovalori immaginari puri $\lambda _{1,2}=\pm i\beta$ e nessun altro autovalore con parte reale nulla.
  * Vale la condizione di attraversamento $\left[{\frac {d\Re \left(\lambda _{1,2}\right)}{d\mu }}\right]_{\mu =\mu _{0}}\neq 0$
  
  Allora in $(x_{0},\mu _{0})$ nasce una soluzione periodica (ciclo limite) con ampiezza iniziale nulla e periodo ${\frac {2\pi }{\beta }}$. Il punto $(x_{0},\mu _{0})$ viene detto di biforcazione di Hopf.
  
  La terza condizione chiede che gli autovalori $\lambda _{1,2}$ attraversino l'asse immaginario. Si chiede quindi che la derivata della parte reale degli autovalori rispetto al parametro non sia nulla, il che significherebbe che la parte reale rimarrebbe nulla anche per $\mu \neq \mu _{0}$.
  
  Una biforcazione di Hopf può essere supercritica oppure subcritica. Nel primo caso, $\forall \mu \neq \mu _{0}$ esiste un attrattore stabile, nel secondo invece, i cicli si formano per $\mu <0$ e sono $\alpha$-limite (quindi non attrattivi) e l'equilibrio è instabile per $\mu >0$.
  
  