# Biforcazione a forcone

In matematica una biforcazione a forcone (o biforcazione pitchfork) è una biforcazione locale con la particolarità di essere simmetrica. Tale simmetria è dovuta al fatto che le equazioni differenziali ordinali che rappresentano le biforcazioni sono funzioni dispari, ovvero –$f(-x)=f(x)$
Vi sono due tipi di biforcazioni a forcone, molto diverse tra loro: la supercritica e la subcritica.

## Biforcazione a forcone supercritica

La forma normale della biforcazione a forcone supercritica è:
    ${\frac {\mathrm {d} x}{\mathrm {d} t}}=rx-x^{3}$
Studiando il campo vettoriale al variare di $r$ si vede:
* quando il parametro è negativo si ha un solo punto di equilibrio stabile in $x=0$.
* Superato il valore critico $r=0$ (in cui vi è sempre il punto di equilibrio $x=0$ il quale ha però stabilità molto debole) nascono due nuovi punti equilibrio stabili in corrispondenza dei punti $x=\pm {\sqrt {r}}$, mentre il punto $x=0$ diventa instabile.
Dal diagramma di biforcazione si evince che $x=0$ è stabile per tutti gli $r$ negativi, mentre diventa instabile appena $r$ diventa positivo. Inoltre per $r>0$ nascono due nuovi rami che seguono rispettivamente le leggi ${\sqrt {r}}$ e $-{\sqrt {r}}$ che donano al diagramma la classica forma di tridente o forcone, da cui il nome.

## Biforcazione a forcone subcritica

La forma normale della biforcazione a forcone subcritica è:
    ${\frac {\mathrm {d} x}{\mathrm {d} t}}=rx+x^{3}$
Lo studio del campo vettoriale mostra che:
* Per $r<0$ vi sono 3 punti di equilibrio: uno stabile ad $x=0$ e due instabili a $x=\pm {\sqrt {r}}$.
* Nel valore critico di $r=0$ i 3 punti di equilibrio collidono in un unico punto instabile $x=0$.
* Per $r>0$ vi è come unico punto di equilibrio $x=0$, instabile.
Il diagramma di biforcazione ottenuto è simmetrico a quello della supercritica, con però stavolta i due rami iperbolici instabili. Il ramo $x=0$ invece resta stabile fino al valore $r=0$ per poi proseguire instabile.

### Biforcazione a forcone subcritica modificata

In presenza di una biforcazione a forcone subcritica, per ogni $r>0$ si ha un esplosione della popolazione a $+\infty$ o a $-\infty$ a seconda delle condizioni iniziali e, nel caso questa sia $x=0$, delle perturbazioni.
Poiché biologicamente non ha senso considerare popolazioni infinite, per ovviare all'imperfezione del modello si aggiunge un termine di grado superiore. Per semplicità si sceglie il termine con arturino più basso. Questo è di quinto grado, e non di quarto, al fine di conservare la simmetria caratteristica delle biforcazioni di tipo a forcone. In tal caso la forma normale sarà dunque:
    ${\frac {\mathrm {d} x}{\mathrm {d} t}}=rx+x^{3}-x^{5}$.
Mentre localmente il diagramma di biforcazione è uguale a quello della subcritica a forcone classica, all'aumentare di $x$ si assiste ad una deviazione dei rami simmetrici ad $x=0$ che, inoltre, diventano stabili. Tale deviazione avviene, nella forma normale, nel valore critico di $r_{c}=-{\frac {1}{4}}$. Per tale valore si ha, in ognuno dei due rami, una biforcazione locale del tipo nodo sella.
Sempre dal diagramma di biforcazione, inoltre, è possibile vedere un esempio di isteresi. Infatti, facendo crescere il valore di $r$ si nota che:
* per $r<r_{c}$ la popolazione resta in equilibrio sul ramo $x=0$;
* per $r_{c}<r<0$ la popolazione rimane prossima ad $x=0$, poiché pur essendoci altri due nuovi rami stabili, il sistema non si accorge di esse, a meno di grandi perturbazioni;
* ad $r=0$ la popolazione salta ad uno dei rami stabili.
Facendo in seguito decrescere il valore di $r$ osserviamo che:
* per $r>0$ la popolazione resta in equilibrio nel ramo stabile;
* per $r_{c}<r<0$, pur essendoci un nuovo ramo stabile ad $x=0$, il sistema resta presso il ramo esterno, a meno di grandi perturbazioni;
* per $r=r_{c}$ si ha la scomparsa dei due rami stabili esterni ed il sistema salta al valore di popolazione $x=0$.

## Definizione formale

Data un'equazione differenziale
    ${\dot {x}}=f(x,r)$
con $r\in \mathbb {R}$, tale che:
    $\,f(-x,r)=-f(x,r)$
ovvero $f$ sia una funzione dispari, e
    ${\begin{array}{lll}\displaystyle {\frac {\partial f}{\partial x}}(0,r_{o})=0,&\displaystyle {\frac {\partial ^{2}f}{\partial x^{2}}}(0,r_{o})=0,&\displaystyle {\frac {\partial ^{3}f}{\partial x^{3}}}(0,r_{o})\neq 0,\\[15pt]\displaystyle {\frac {\partial f}{\partial r}}(0,r_{o})=0,&\displaystyle {\frac {\partial ^{2}f}{\partial r\partial x}}(0,r_{o})\neq 0.\end{array}}$
ovvero $f$ sia approssimabile secondo Taylor a meno del terzo ordine per $x$ e del secondo ordine per $r$ nel punto $\left(0,r_{0}\right)$ (Nelle forme normali si considera $r_{0}=0$).
Sotto tali ipotesi si dice che la funzione ammette una biforcazione a forcone nel punto $\left(0,r_{0}\right)$, la quale è del tipo
    $\left\{{\begin{matrix}\mathrm {supercritica} &\quad \mathrm {se} \quad {\frac {\partial ^{3}f}{\partial x^{3}}}(0,r_{o})<0,\\\mathrm {subcritica} &\quad \mathrm {se} \quad {\frac {\partial ^{3}f}{\partial x^{3}}}(0,r_{o})>0,\end{matrix}}\right.\,\,$