Complex getal

In de wiskunde zijn complexe getallen een uitbreiding van de reële getallen. Zoals de reële getallen overeenkomen met punten op een rechte lijn, correspondeert elk complex getal met een punt uit een vlak. Een complex getal is zodoende een paar reële getallen a en b, dat gewoonlijk weergegeven wordt als a+bi. Hierin is i (soms wordt ook j gebruikt) een bijzonder complex getal, de imaginaire eenheid, met als eigenschap i²=-1. Met complexe getallen in de vorm a+bi kan gewoon gerekend worden, met de extra rekenregel dat overal i² vervangen wordt door –1.

De schrijfwijze z=a+bi laat zien dat een complex getal de som is van een reëel getal en een imaginair getal.

De extra mogelijkheden die het rekenen met complexe getallen biedt, hebben geleid tot allerlei nuttige toepassingen in vooral alles wat met trillingen en golven te maken heeft, zoals het grootste deel van de natuurkunde, de elektrotechniek, de meet- en regeltechniek en vele andere technische disciplines.

Inleiding

Complexe getallen voorzien in de behoefte oplossingen te hebben van alle (algebraïsche) vergelijkingen, dus bijvoorbeeld ook vergelijkingen van de vorm x²=c voor negatieve getallen c.

Eén benadering is het introduceren van een denkbeeldige, imaginaire oplossing, aangeduid met i, van imaginair, van de vergelijking x²=-1. Men stelt dus dat deze vergelijking per definitie een oplossing heeft. Die oplossing wordt i genoemd. Door de reële getallen uit te breiden met dit denkbeeldige getal i, waarmee verder op de normale manier wordt gerekend, ontstaat de verzameling C van de complexe getallen. Deze uitbreiding bevat met i vanzelf ook alle uitdrukkingen van de vorm a+bi waarin a en b reële getallen zijn. Hiermee is het gewenste resultaat bereikt: binnen de complexe getallen is elke algebraïsche vergelijking oplosbaar.

De andere benadering is het construeren van de verzameling, waardoor het beeld verdwijnt dat de nieuwe getallen niet echt bestaan. De aanduiding imaginair, overgenomen van de eerste benadering, wordt wel gebruikt, maar hoeft niet letterlijk te worden genomen. Wel is het zo dat klassieke natuurkundige grootheden een reële numerieke waarde hebben. Dit neemt niet weg dat complexe getallen daarbij een handig hulpmiddel kunnen zijn. Deze benadering wordt hier niet verder gevolgd.

Geschiedenis

De formule van de Italiaanse wiskundigen Scipione del Ferro en Niccolo Fontana Tartaglia voor de oplossingen van de derdegraadsvergelijking plaatste de wiskundigen van de zestiende eeuw voor een enorm nieuw probleem. Wanneer zo'n vergelijking drie verschillende (reële) oplossingen heeft, komen in die formule namelijk wortels voor uit negatieve getallen. En in die tijd waren wortels uit negatieve getallen nog niet gedefinieerd. Het is geen wonder dat de naam 'imaginaire getallen' snel gevonden was, en de gewone getallen heetten vanaf toen 'reëel'. Aan het einde van de 18e eeuw legden de grote wiskundigen Leonhard Euler en Carl Friedrich Gauss de basis voor de getallenleer en de functietheorie waarmee dit probleem en vele andere zouden worden opgelost.

Definitie door introductie van een nieuw getal i

Een complex getal is een uitdrukking van de vorm a+bi, waarin a en b beide reële getallen zijn en i een nieuw getal voorstelt, de imaginaire eenheid, met de eigenschap (rekenregel):

i²=-1.

Rafael Bombelli, de bedenker van de imaginaire getallen, stelde de rekenregels op voor complexe getallen. Hierbij stelde hij als axioma de genoemde eigenschap van het complexe getal i.

Het getal a noemt men het reële deel en het getal b het imaginaire deel van het complexe getal a+bi, en noteert

a=Re(a+bi)

b=Im(a+bi)

De verzameling van de complexe getallen wordt genoteerd als C.

De reële getallen vormen een deel van de complexe getallen; het zijn de complexe getallen met imaginair deel gelijk aan 0. Getallen waarvan het reële deel 0 is noemt men zuiver imaginair.

Voorstelling

Bestand:Complexe eenheidscirkel.svg

Complexe getallen zijn voor te stellen als punten in het platte vlak. Er worden een tweetal notaties voor complexe getallen gebruikt afhankelijk van het coördinatenstelsel in het vlak.

Cartesische of algebraïsche notatie

Een complex getal z kan geschreven worden als z=a+bi. Dit heet Cartesische notatie, naar de wiskundige en filosoof René Descartes, die het Cartesisch coördinatenstelsel introduceerde, waarbij een punt in een vlak wordt voorgesteld door een getallenpaar. Daarin is a het reële deel en b het imaginaire deel van z, genoteerd als:

a=Re(z)

en

b=Im(z)

In de elektrotechniek wordt meestal het symbool j gebruikt voor de imaginaire basisvector, om verwarring met het symbool voor stroom i te vermijden.

Notatie met poolcoördinaten

Een complex getal z is ook weer te geven in poolcoördinaten, door de afstand r van het punt z tot de oorsprong (0,0) en de hoek θ tussen de vector z(a,b) en het positieve deel van de reële as.

De bovengenoemde afstand r wordt de voerstraal, modulus of absolute waarde van het complexe getal z genoemd (zie ook onder) en de hoek θ de poolhoek of het argument van z.

De polaire en Cartesische notatie zijn in elkaar om te zetten:

a + bi = r(cos(θ) + i sin(θ)) = r exp(iθ)

of specifieker:

a = r cos(θ)

b = r sin(θ)

In de andere richting (van Cartesisch naar polair) geldt dan weer dat:

r =√(a²+b²)

θ = arctan(b/a)

Afhankelijk van het resultaat van θ dient wel gecontroleerd te worden of het resultaat in het juiste kwadrant gelegen is. Om precies te zijn geldt voor θ het volgende:

\theta =

\begin{cases} \arctan(\frac{b}{a}) & \mbox{als } a > 0\\ \arctan(\frac{b}{a}) + \pi & \mbox{als } a < 0 \mbox{ en } b \ge 0\\ \arctan(\frac{b}{a}) - \pi & \mbox{als } a < 0 \mbox{ en } b < 0\\ +\frac{\pi}{2} & \mbox{als } a = 0 \mbox{ en } b > 0\\ -\frac{\pi}{2} & \mbox{als } a = 0 \mbox{ en } b < 0\\ \text{niet gedefinieerd} & \mbox{als } a = 0 \mbox{ en } b = 0. \end{cases}

Bestand:Complex getal poolcoördinaten.png Verband tussen cartesische en poolcoördinaten ter voorstelling van een complex getal.

Merk op dat argumenten die een veelvoud van 2π verschillen, hetzelfde complexe getal voorstellen. Argumenten van complexe getallen zijn dus niet eenduidig gedefinieerd, maar slechts op een veelvoud van 2π na. Daarom wordt de hoofdwaarde de waarde van het argument genoemd, die tussen -\pi en \pi ligt.

-\pi < \arg(z) \leq \pi.

Gerelateerde waarden

Complex geconjugeerde

Zie Complex geconjugeerde voor het hoofdartikel over dit onderwerp.

De complex geconjugeerde of de complex toegevoegde van het complexe getal <math>z=a+bi</math>, met <math>a</math> en <math>b</math> reëel, is gedefinieerd als:

<math>\overline{z} = z^* = a - bi</math>.

Uit de definitie volgt onmiddellijk dat

<math>\overline{\overline{z}} = z</math>.

Modulus

De modulus of absolute waarde van een complex getal <math>z</math> wordt op dezelfde manier aangegeven als bij reële getallen, dus als <math>|z|</math>, en komt overeen met de euclidische norm in <math>\R^2</math>. De berekening ervan gebeurt op de volgende manier:

<math>|z| = \sqrt{\mathrm{Re}(z)^2 + \mathrm{Im}(z)^2}</math>.

Anders geformuleerd: de modulus, of absolute waarde, van een complex getal is de lengte van z'n voerstraal. Voor het complexe getal <math>z=a+bi</math>, is de absolute waarde dus:

<math>|z| = \sqrt{a^2 + b^2}</math>.

Uit de definitie van de complex geconjugeerde en de modulus volgt:

<math>|z| = \sqrt{z \overline{z}}</math>.

Of, wanneer men een complex getal vermenigvuldigt met zijn complex geconjugeerde bekomt men het kwadraat van de modulus.

Voorbeelden

• <math> |a + bi| = \sqrt{a^2 + b^2}</math>
• <math> |3 - 4i| = \sqrt{3^2 + 4^2} = 5</math>
• <math> |x + 0i| = \sqrt{x^2 + 0^2} = |x|</math>

Modulus van de complex geconjugeerde

Voor de complex geconjugeerde van <math>z=a+bi</math>, oftewel <math>\overline{z}=z^*=a-bi</math>, geldt:

<math>|\overline{z}| = |a - bi| = \sqrt{a^2 + b^2} = |a + bi| = |z|</math>.

Ordening

Op de complexe getallen bestaat geen standaardordening zoals op de reële getallen. Een uitspraak als <math>a+bi>c+di</math> is betekenisloos, tenzij men speciaal een bepaalde ordening definieert.

Rekenen met complexe getallen

Optellen en aftrekken

Het optellen en aftrekken van complexe getallen gaat het makkelijkst in Cartesische vorm: het reële deel en het imaginaire deel worden apart opgeteld. Dit komt overeen met optelling van vectoren.

Twee complexe getallen <math>z_1=a+bi</math> en <math>z_2=c+di</math> worden als volgt opgeteld:

<math>z_1 + z_2 = (a+bi)+(c+di)= (a+c) + (b+d)i</math>.

oftewel

<math>\mathrm{Re}(z_1 + z_2) = \mathrm{Re}(z_1) + \mathrm{Re}(z_2)</math>

<math>\mathrm{Im}(z_1 + z_2) = \mathrm{Im}(z_1) + \mathrm{Im}(z_2)</math>

Bijvoorbeeld:

Zij <math>z_1=3+2i</math> en <math>z_2=6+8i</math>, dan is: <math>z_1+z_2=(3+2i) + (6+8i)= (3+6) + (2+8)i = 9 +10i</math>.

Uiteraard is aftrekken hetzelfde als het optellen van het tegengestelde.

Merk ook op dat (het nemen van) de complex geconjugeerde distributief is over optellen:

<math>\overline{z_1 + z_2} = \overline{z_1} + \overline{z_2}</math>

want:

<math>\overline{(a+bi) + (c+di)} = \overline{(a+c) + (b+d)i} = (a+c) - (b+d)i = (a-bi) + (c-di) = \overline{a+bi} + \overline{c+di}</math>

Vermenigvuldigen en delen

Vermenigvuldigen en delen van complexe getallen gaat het makkelijkst in polaire vorm. Hierbij worden de moduli met elkaar vermenigvuldigd en de argumenten bij elkaar opgeteld. Voor getallen in Cartesische vorm geldt voor het product:

<math>(a+bi)(c+di) = ac + (ad+bc)i + bdi^2 = ac - bd + (ad+bc)i</math>

oftewel

<math>\mathrm{Re}(z_1 z_2) = \mathrm{Re}(z_1) \mathrm{Re}(z_2) - \mathrm{Im}(z_1) \mathrm{Im}(z_2)</math>

<math>\mathrm{Im}(z_1 z_2) = \mathrm{Re}(z_1) \mathrm{Im}(z_2) + \mathrm{Im}(z_1) \mathrm{Re}(z_2)</math>

Dit is feitelijk hetzelfde als het vermenigvuldigen bij de reële getallen, met inachtneming van de definitie <math>i^2=-1</math>.

Verder geldt voor <math>z=a+bi</math> met <math>{\rm arg}(z)=\alpha</math> en <math>w=c+di</math> met <math>{\rm arg}(w)=\beta</math>:

<math>|z w| = \sqrt{(ac - bd)^2 + (ad + cb)^2} = \sqrt{a^2c^2 -2abcd + b^2d^2 + a^2d^2 + 2abcd + c^2b^2} =</math>

<math>= \sqrt{a^2(c^2 + d^2) + b^2(c^2 + d^2)} = \sqrt{a^2 + b^2} \sqrt{c^2 + d^2} =|z||w|</math>.

en

<math>zw = |z|(\cos(\alpha) + i\sin(\alpha))\cdot |w|(\cos(\beta) + i\sin(\beta)) =</math>

<math> = |z||w|\left(\underbrace{(\cos(\alpha)\cos(\beta) - \sin(\alpha)\sin(\beta))} + i \underbrace{(\cos(\alpha)\sin(\beta) + \sin(\alpha)\cos(\beta))}\right) =</math>

<math>= |z||w|(\cos(\alpha + \beta) + i\sin(\alpha + \beta))</math>,

dus

<math>\arg(zw) = \arg(z)+\arg(w)</math>.

We zien dat bij het vermenigvuldigen van twee complexe getallen de moduli met elkaar worden vermenigvuldigd en de argumenten bij elkaar opgeteld.

In het bijzonder volgt dat vermenigvuldiging met <math>i</math> hetzelfde is als draaiing over <math>\pi/2</math> radialen, dus een toename van het argument met <math>\pi/2</math>. Daaruit zien we weer overeenstemming met de definitie: <math>i^2=-1</math>.

Merk op dat het nemen van het complex geconjugeerde distributief is ten opzichte van het vermenigvuldigen:

<math>\overline{z_1 z_2} = \overline{z_1}\ \overline{z_2}</math>

omdat:

<math>\overline{(a+bi)(c+di)} = \overline{(ac-bd) + (ad+bc)i} = (ac-bd) - (ad+bc)i = (a-bi)(c-di) = (\overline{a+bi})\ (\overline{c+di})</math>

Merk verder op dat het bovenstaande gegeneraliseerd kan worden:

• <math>|z_1 z_2 \cdots z_n| = |z_1| |z_2| \cdots |z_n|</math>
• <math>\arg(z_1 z_2 \cdots z_n) = \arg(z_1) + \arg(z_2) + \ldots + \arg(z_n)</math>

In het bijzonder:

• <math>|z^n| = |z|^n</math> voor <math>n\in \R</math>
• <math>\arg(z^n) = n \arg(z)</math> voor <math>n\in \R</math>

Voor <math>n \in \mathbb{C}</math> moeten we voor machtsverheffen eerst wat meer gereedschap ontwikkelen.

Voor het quotiënt geldt:

<math>\frac{a + bi}{c + di} = \frac{a + bi}{c + di}\ \frac{\overline{c + di}}{\overline{c + di}} = \frac{a + bi}{c + di}\ \frac{c - di}{c - di} = \frac{ac + bd + (bc - ad)i}{c^2 + d^2}</math>.

Daarbij is gebruikgemaakt van de definitie <math>i^2=-1</math>.

De verzameling <math>\mathbb{C}</math> vormt met de hierboven beschreven optelling en vermenigvuldiging een lichaam (in België: veld). De eerder geciteerde hoofdstelling van de algebra betekent dat <math>\mathbb{C}</math> een gesloten lichaam is.

Logaritme en e-macht

De e-macht is een bekende standaardfunctie die uitgebreid kan worden naar de complexe getallen.

Voor een complex getal <math>z=x+yi</math> is de e-macht van <math>z</math> gedefinieerd als

<math>e^z = e^{x + yi} = e^x(\cos(y) + i\sin(y))</math>

Uit deze definitie volgt onmiddellijk

• <math>|e^z| = e^{\mathrm{Re}(z)}</math>
• <math>\arg(e^z) = \mathrm{Im}(z)</math>

Merk op dat de complexe e-macht zo gedefinieerd is dat deze voor reële waarden van <math>z</math> (dat wil zeggen met een imaginair deel 0) overeenkomt met de definitie van de e-macht voor reële getallen.

Door deze definitie behoudt de complexe e-macht een groot aantal "bekende" eigenschappen. Bijvoorbeeld:

• <math>|e^{z_1}||e^{z_2}|

= e^{ \mathrm{Re}(z_1)}e^{\mathrm{Re}(z_2)} = e^{\mathrm{Re}(z_1)+\mathrm{Re}(z_2)} = e^{\mathrm{Re}(z_1 + z_2)}</math>

• <math>\arg(e^{z_1}) + \arg(e^{z_2})

= \mathrm{Im}(z_1) + \mathrm{Im}(z_2) = \mathrm{Im}(z_1 + z_2)</math>

Oftewel

<math>e^{z_1}e^{z_2} = e^{z_1 + z_2}</math>.

Verder volgt uit deze definitie, dat voor alle reële <math>x</math>:

• <math>e^{ix} = \cos(x) + i\sin(x)</math>
• <math>|e^{ix}| = e^0 = 1</math>

en dat

• <math>e^{2\pi i} = 1</math>
• <math>e^{\pi i} = -1</math>
• <math>e^{\frac{\pi}2 i} = i</math>
• <math>e^z</math> is periodiek met periode <math>2\pi i</math> (dus bij constante <math>\mathrm{Re}(z)</math> en variërende <math>\mathrm{Im}(z)</math>)

Uit de eerste van de vijf bovenstaande eigenschappen, <math>|e^z| = e^{\mathrm{Re}(z)}</math>, en de polaire notatie volgt nog dat we elk complex getal <math>w</math> kunnen voorstellen als:

<math>w = |w| e^{i \arg(w)}</math>.

Met deze vaststelling in de hand, kunnen we ook de natuurlijke logaritme van complexe getallen definiëren. Een eigenschap van de natuurlijke logaritme is namelijk dat

<math>\ln(ab) = \ln(a) + \ln(b)</math>.

Voor een complex getal z definiëren we nu op basis van het bovenstaande

<math>\ln(z) = \ln(|z| e^{i \arg(z)}) = \ln(|z|) + i \arg(z)</math>,

met voor <math>\ln(|z|)</math> de "normale" definitie van de natuurlijke logaritme voor reële getallen. Aangezien de logaritme zo slechts op veelvouden van 2π na bepaald is, spreken we af voor <math>{\rm arg}(z)</math> altijd de hoofdwaarde te nemen. Daarmee geldt dus dat <math>-\pi < \mathfrak{Im}(\ln(z)) \leq \pi</math>.

Machtsverheffen

Met de definitie van de e-macht en de logaritme hebben we ook het gereedschap in handen om het machtsverheffen voor complexe getallen geheel te definiëren. En wel definiëren we voor complexe getallen <math>z</math> en <math>w</math>:

<math>z^w = e^{w \ln(z)}</math>.

Sinus en cosinus

Met de formule van Euler

<math>e^{iz} = \cos(z) + i\sin(z)</math>

uit de voorgaande sectie kunnen we een verband leggen tussen de complexe e-macht en de sinus en cosinus.

Voor <math>-z</math> geldt:

<math>e^{-iz} = \cos(-z) + i\sin(-z) = \cos(z) - i\sin(z)</math>.

Zodat uit de som en het verschil van beide relaties volgt dat:

<math>\cos(z) = \frac{e^{iz} + e^{-iz}}2</math>

en

<math>\sin(z) = \frac{e^{iz} - e^{-iz}}{2i}</math>

Deze twee resultaten hebben drie voordelen:

• door de afleiding zoals hierboven zijn ze zeker intern consistent met de rekenkunde zoals we die tot nog toe bedacht hebben voor complexe getallen
• deze formules voor de sinus en cosinus komen overeen met de definities voor reëelwaardige argumenten
• door deze identiteiten blijven bewijsbaar de bekende rekenregels voor sinus en cosinus overeind

Merk op dat, overeenkomstig het geval is voor de reële functies, de complexe sinus en cosinus periodieke functies zijn met periode <math>2\pi</math>.

Stelling van De Moivre

Zie Stelling van De Moivre voor het hoofdartikel over dit onderwerp.

De eerder uitgewerkte omschrijvingen van goniometrische formules naar e-machten wordt vaak gebruikt om goniometrische functies te reduceren tot meer overzichtelijke polynomen op basis van e-machten en vandaar mogelijk weer tot makkelijkere, goniometrische uitspraken.

Een bekend voorbeeld hiervan is een zeer bekende stelling uit de goniometrie, de stelling van De Moivre. Gegeven het voorgaande is deze stelling overigens triviaal:

Stelling van De Moivre: <math>(\cos(x) + i\sin(x))^n = \cos(nx) + i\sin(nx)</math>

Bewijs: <math>(\cos(x) + i\sin(x))^n = (e^{ix})^n = e^{inx} = \cos(nx) + i\sin(nx)</math>

Sinus hyperbolicus en cosinus hyperbolicus

Met de complexe e-macht kunnen de definities van de sinus hyperbolicus en de cosinus hyperbolicus uitgebreid worden naar complexe getallen. Voor <math>z\in\mathbb{C}</math> geldt:

<math>\cosh(z) = \frac{e^z + e^{-z}}{2}</math>

<math>\sinh(z) = \frac{e^z - e^{-z}}{2}</math>

Complexe wortelfuncties

Eerder hebben we vastgesteld dat voor complexe getallen z en w geldt:

<math>|zw| = |z||w|</math>

en

<math>\arg(zw) = \arg(z) + \arg(w)</math>.

Hieruit kunnen we meteen afleiden wat de n-de-machtswortels van een complex getal z zijn. Per definitie zijn dit alle oplossingen w van de vergelijking <math>w^n = z</math>.

Het complexe getal w dat het meest voor de hand ligt is de w waarvoor geldt dat

<math>|w| = \sqrt[n]{|z|}</math>

en

<math>\arg(w) = \begin{matrix}\frac 1n \end{matrix} \arg(z)</math>.

De periodiciteit van de goniometrie leert ons dat daarnaast ook die complexe getallen w een oplossing zijn waarvoor geldt dat:

<math>\arg(w) = \begin{matrix}\frac 1n \end{matrix}(\arg(z) + k2\pi),\ k \in \{1,\ldots,n-1\}</math>.

Dus:

<math>\arg(w) = \begin{matrix}\frac 1n \end{matrix}\arg(z) + 2\pi \begin{matrix}\frac kn \end{matrix},\ k \in \{1,\ldots,n-1\}</math>.

De n-de-machtswortels van een complex getal zijn in het complexe vlak dus precies n punten, regelmatig verdeeld over een cirkel om de oorsprong, met straal <math> \sqrt[n]{|z|}</math>.

Voorbeeld

In het reële domein is de derdemachtswortel uit −1 gelijk aan −1. Maar met bovenstaande rekenregel vinden we dat ook <math>\tfrac{1}{2} + \tfrac{1}{2}i \sqrt{3}</math> en <math>\tfrac{1}{2} - \tfrac{1}{2} i\sqrt{3}</math> derdemachtswortels van –1 zijn.

En inderdaad is behalve:

<math>(-1)^3 = -1</math>,

ook

<math>\left( \tfrac 12 + \tfrac 12 i\sqrt{3}\right)^3 = -1</math>

en

<math>\left( \tfrac 12 - \tfrac 12 i\sqrt{3}\right)^3 = -1</math>.

Hoofdwaarde

Zijn we geïnteresseerd in een unieke oplossing voor de wortelfunctie, dan kunnen we die waarde kiezen die gebaseerd is op de hoofdwaarde van <math>{\rm arg}(z)</math> en daar weer de hoofdwaarde van nemen. In het bijzonder vinden we zo als 'unieke' wortel voor −1 de waarde <math>i</math>.

Merk op dat de bekende rekenregels niet gelden voor complexe wortels. Zo geldt niet :<math>\sqrt{ab} = \sqrt{a}\sqrt{b}</math>.

Eenheidswortels

Zie Eenheidswortel voor het hoofdartikel over dit onderwerp.

Een speciale rol is weggelegd voor de zgn. eenheidswortels. Dat zijn de oplossingen van de vergelijking

<math>z^n=1</math>,

waarin n een natuurlijk getal is. De oplossingen zijn de punten op de eenheidscirkel (cirkel met straal 1 om de oorsprong) die in polaire notatie gegeven worden door:

<math>z_k=e^{2\pi ik/n}</math>

Toepassingen

Trillings- en golfverschijnselen

Bovengenoemde eigenschappen en functies van complexe getallen zijn bijzonder nuttig voor het bestuderen van alle periodieke verschijnselen, waaronder golfverschijnselen. In plaats van apart met zowel amplitude als fase te moeten rekenen, kan volstaan worden met één complex getal en de bijbehorende rekentechnieken. Een eenvoudig voorbeeld kan dit aannemelijk maken:

Stel <math>I(t)</math> beschrijft een wisselstroom met hoekfrequentie <math>\omega</math> en amplitude <math>I_0</math>. Dit kan worden geschreven als

<math>I(t) = I_0 \cdot \cos (\omega t)</math>.

Deze cosinus is een oplossing van een lineaire differentiaalvergelijking (DV) van de tweede orde met constante coëfficiënten. Ook

<math>I(t) = I_0 \cdot \sin (\omega t)</math>

is een oplossing van diezelfde DV.

Sinus en cosinus zijn de twee onafhankelijke oplossingen van die DV, hetgeen wil zeggen dat de een niet als een veelvoud van de ander is te schrijven. Volgens de theorie van de differentaalvergelijkingen is ook een lineaire combinatie

<math>I(t) = A \cdot \cos (\omega t) + iB \cdot \sin (\omega t)</math>

een oplossing, waarbij A en B reële constanten zijn. In feite is dit een toepassing van het superpositieprincipe. Dit kan weer herschreven worden als

<math>I(t) = I_0 \cdot e^{i \omega t + \phi}</math>, waarbij <math>I_0 = \sqrt{A^2 + B^2}</math> en <math>\phi = \arctan{(B/A)}</math>.

In plaats van <math>A</math> en <math>B</math> zijn nu de amplitude <math>I_0</math> en faseverschuiving <math>\varphi</math> de integratieconstanten waarmee de DV aan de randvoorwaarden kan voldoen. Door uitbreiding van <math>I_t</math> met een imaginair deel is een complexe exponentiële functie <math>I_0 \cdot e^{i \omega t}</math> ontstaan, die de prettige eigenschap heeft dat de afgeleide ervan verkregen wordt door vermenigvuldiging met <math>i\omega t</math> en de integraal door deling door <math>i\omega t</math>. De relevante fysische grootheid is <math>\Re(I_t)</math>.

Hierdoor worden lineaire differentiaalvergelijkingen vereenvoudigd tot algebraïsche uitdrukkingen. Ook bij andere soorten differentiaalvergelijkingen worden wel complexe getallen gebruikt.

Complexe getallen in de elektrotechniek en elektronica

Wisselstroom is een periodiek verschijnsel, zodat complexe getallen ook hier het rekenwerk sterk vereenvoudigen. Toepassingen liggen bijvoorbeeld in de signaalanalyse, meet- en regeltechniek, analoge en digitale geluids- en beeldbewerking, telecommunicatie, etc. De faseverschuiving (in elektrotechnische spreektaal vaak wat slordig cosinus φ genoemd) valt met deze complexe rekenwijze eenvoudig te berekenen. Ook het begrip impedantie kan als complexe grootheid worden beschreven (zie ook complexe impedantie), waardoor de wet van Ohm herschreven kan worden als: complexe spanning = complexe impedantie maal complexe stroom. Hierbij wordt de modulus van de impedantie vermenigvuldigd met de amplitude <math>I_0</math> van de stroom en het argument van de impedantie opgeteld bij de fase <math>\phi</math> van de stroom.

Fourieranalyse wordt veelvuldig gebruikt voor de analyse van tijdafhankelijke signalen, in het bijzonder voor stationaire periodieke signalen. Voor in- en uitschakelverschijnselen, die niet zuiver periodiek zijn, is de Laplacetransformatie, een uitbreiding van de Fouriertransformatie, onontbeerlijk. Zowel de Fourieranalyse als de Laplacetransformatie maken deel uit van de functietheorie, voor quasi-stationaire signalen, zoals golfpakketten, zijn er analytische signaalfuncties.

Opmerking: In de elektrotechniek en elektronica wordt de imaginaire eenheid j genoemd, om verwarring met de i voor de stroomsterkte te voorkomen.

Complexe getallen in de natuurkunde

Ook in de natuurkunde worden complexe getallen en de bijbehorende complexefunctietheorie vooral gebruikt om trillingen en golven te beschrijven, zoals in de geluidsleer, de elektromagnetische-golftheorie, de fysische optica (een tweedimensionale versie van de fourieranalyse is toepasbaar op afbeeldingen en buigingspatronen), evenals in de kwantummechanica, waarin golffuncties waarschijnlijkheidsverdelingen beschrijven.

Relativiteit

In het speciale en de algemene relativiteitstheorie worden een aantal formules voor de ruimtetijd eenvoudiger als men de tijdsvariabele imaginair weergeeft. (Dit is niet langer standaard in klassieke relativiteit, maar wordt wel gebruikt in de kwantumveldentheorie.) Complexe getallen zijn essentieel voor spinors, die een veralgemening van de tensoren die worden gebruikt in de relativiteitstheorie.

Geometrie

Fractals

Bepaalde fractals worden weergegeven in het complexe vlak, bijvoorbeeld de Mandelbrotverzameling en de Juliaverzameling.

Driehoeken

Elke driehoek heeft een unieke Steiners ingeschreven ellips -een ellips binnen de driehoek, die raakt aan het midden van de drie zijden van de driehoek. De brandpunten van driehoekige Steiners ingeschreven ellips kan als volgt worden gevonden, volgens de stelling van Marden: Noteer de hoekpunten van de driehoeken in het complexe vlak als, <math>a=x_A+y_Ai</math>, <math>b=x_B+y_Bi</math> en <math>c=x_C+y_Ci</math>. Schrijf de derdegraadsvergelijking <math>(x-a)(x-b)(x-c)=0</math>, neem haar afgeleide en stel de (kwadratische) afgeleide gelijk aan nul. De stelling van Marden zegt dat de oplossingen van deze vergelijking, complexe getallen zijn die de locaties van de twee brandpunten van de Steiners ingeschreven ellips weergeven.

Externe links

• (en) MathWorld. Complex Numbers. overzicht van begrippen
• (en) PlanetMath. complex. gearchiveerd

Bronnen, noten en/of referenties

Bronnen, noten en/of referenties