Nyquistin kuvaajat ja Nyquist-Vakauskriteeri

Abstract

Tässä diplomityössä tarkastellaan Nyquistin kuvaajia ja Nyquist-vakauskriteeriä, sekä näiden käsitteiden matemaattista taustaa kompleksianalyysin näkökulmasta. Tavoitteena on syventää ymmärrystä siitä, miten kompleksianalyysin keskeiset tulokset, kuten Cauchyn integraalilause, residylause ja Argumentin periaate, muodostavat perustan systeemiteoriassa käytettäville Nyquistin kuvaajille ja Nyquist-vakauskriteerille. Työssä tutkitaan myös, miten Laplace- ja Z-muunnokset, siirtofunktiot ja tilayhtälöt liittyvät dynaamisen järjestelmän vakausanalyysiin.

Työn alussa esitellään kompleksianalyysin perusteet, minkä jälkeen käydään läpi holomorfisten funktioiden ominaisuudet, nollakohdat, navat ja residylause. Näiden pohjalta perustellaan Argumentin periaate, jota käytetään myöhemmin Nyquist-vakauskriteerin johtamisessa.

Tämän jälkeen esitellään systeemiteorian peruskäsitteet ja näytetään, miten siirtofunktioiden avulla voidaan mallintaa dynaamisia järjestelmiä, ja kuinka ne voidaan johtaa tilayhtälöistä käyttämällä Laplace-muunnosta jatkuva-aikaisille ja Z-muunnosta diskreeteille järjestelmille. Näiden matemaattisten työkalujen avulla lineaaristen aikainvarianttien (LTI) järjestelmien käyttäytymistä voidaan kuvata taajuustasossa, jossa vakauskriteereitä, kuten Nyquist-vakauskriteeriä, on helpompi tulkita ja soveltaa. Erityistä huomiota kiinnitetään avoimen ja suljetun järjestelmän eroon ja siihen, miten negatiivinen takaisinkytkentä voi vaikuttaa järjestelmän käyttäytymiseen.

Keskeinen menetelmä, joka työssä esitellään, on avoimen järjestelmän siirtofunktion arvojen piirtäminen kompleksitasoon taajuuden funktiona, jolloin saadaan järjestelmän Nyquistin kuvaaja. Nyquist-vakauskriteeri perustuu siihen, että tarkastellaan kuinka monta kertaa tämä kuvaaja kiertää pisteen −1 ympäri. Näin se tarjoaa sekä visuaalisen, että matemaattisen työkalun suljetun järjestelmän stabiiliuden määrittämiseen. Menetelmän graafinen luonne tekee siitä erityisen hyödyllisen käytännön sovelluksissa, joissa järjestelmän parametreja voidaan säätää reaaliajassa Nyquistin kuvaajan käyttäytymisen perusteella.

Työn viimeisessä osassa teoriaa sovelletaan digitaalisen viive-efektin stabiiliuden analysointiin. Tässä osassa osoitetaan, kuinka siirtofunktion suunnittelu ja sen Nyquistin kuvaajan tarkastelu voivat auttaa estämään ei-toivottua epävakaata käyttäytymistä audiosignaalinkäsittelyssä. Näin työ yhdistää kompleksianalyysin, systeemiteorian ja käytännön sovelluksen digitaalisen signaalinkäsittelyn alalta.

This thesis examines Nyquist plots and the Nyquist stability criterion, along with their mathematical foundations from the perspective of complex analysis. The goal is to deepen the understanding of how key results in complex analysis, such as Cauchy’s integral theorem, the residue theorem, and the Argument principle, form the basis for Nyquist plots and the Nyquist stability criterion used in control theory. The thesis also explores how Laplace and Z-transforms, transfer functions, and state-space equations relate to the stability analysis of a dynamical system.

The work begins by introducing the fundamentals of complex analysis, followed by going through the properties of holomorphic functions, their zeros, poles, and the residue theorem. Based on these, the Argument principle is then derived and used as a mathematical foundation for the Nyquist stability criterion.

The thesis then presents the basic concepts of control theory and demonstrates how transfer functions can be used to model dynamical systems, and how they can be derived from state-space equations using the Laplace transform for continuous-time systems and the Z-transform for discrete-time systems. These mathematical tools allow the behavior of linear time-invariant (LTI) systems to be characterized in the frequency domain, where stability criteria such as Nyquist’s can be more easily interpreted and applied. Particular attention is paid to the difference between open-loop and closed-loop systems, and how feedback can influence system behavior.

The core method presented involves plotting the values of an open-loop transfer function in the complex plane as a function of frequency, resulting in the Nyquist plot of the system. The Nyquist stability criterion is based on analyzing how many times this plot encircles the point −1, providing both a visual and mathematical tool for determining the stability of a closed-loop system. The graphical nature of this method makes it especially useful in practical applications where the system parameters may be tuned in real time based on the behavior of the Nyquist plot.

In the final section, the theory is applied to analyzing the stability of a digital delay effect. This part demonstrates how the design of the transfer function and the analysis of its Nyquist plot can help prevent unwanted unstable behavior in audio signal processing. Thus, the thesis combines theoretical complex analysis, systems theory, and a practical application from the field of digital signal processing.