Per poter applicare il teorema del piccolo guadagno occorre che la nonlinearità appartenga al settore [-r2,r2]; pertanto, ponendo r2=k/2, occorre effettuare le loop trasformation di Figura 1 che permettono di passare dal settore Φ[0,k] al settore Φ[-k/2,k/2].
Sotto queste ipotesi si vede che la condizione ||H1(s)||oo·r2 < 1 si può riscrivere
che, valutata per s=jω, diventa:
con
Si è ottenuta quindi una condizione sufficiente per la stabilità assoluta individuando nel piano di Nyquist una regione cui deve appartenere il diagramma di G(jω): il soddisfacimento della (1) equivale a dire che
Il criterio del cerchio consente di studiare la stabilità assoluta utilizzando solamente il diagramma di Nyquist di G(jω). Dato il diagramma possono essere determinati facilmente i settori ammissibili per i quali l'origine è assolutamente stabile. Si mostrerà solo il caso in cui la funzione non lineare appartiene al settore [0,+oo) in quanto è sempre possibile riportarsi a questo caso operando delle opportune trasformazioni, come descritte nel prossimo paragrafo. Si analizzerà prima il caso del settore [0,k], valutando in seguito come varia il risultato facendo tendere k ad infinito.
Loop transformation
Si vuole mostrare che è sempre possibile, tramite opportune trasformazioni, ricondursi allo studio delle nonlinearità appartenti al settore [0,+oo), potendo così limitarsi allo studio delle proprietà dei sistemi passivi.
Si consideri il sistema di Figura 1 con ΣLTI descritto dalla funzione di trasferimento G(σ) e con φ appartenente a Φ[k1,k2]. Si effettuino le trasformazioni descritte nella Figura 2 che vengono indicate come loop transformation [1].
Si ottiene un nuovo sistema a ciclo chiuso, rappresentato in Figura 5 che si dimostra essere equivalente allo schema di partenza.