\[\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\C}{\mathbb C}
\newcommand{\ba}{\mathbf{a}}
\newcommand{\bb}{\mathbf{b}}
\newcommand{\bc}{\mathbf{c}}
\newcommand{\bd}{\mathbf{d}}
\newcommand{\be}{\mathbf{e}}
\newcommand{\bff}{\mathbf{f}}
\newcommand{\bh}{\mathbf{h}}
\newcommand{\bi}{\mathbf{i}}
\newcommand{\bj}{\mathbf{j}}
\newcommand{\bk}{\mathbf{k}}
\newcommand{\bN}{\mathbf{N}}
\newcommand{\bn}{\mathbf{n}}
\newcommand{\bo}{\mathbf{0}}
\newcommand{\bp}{\mathbf{p}}
\newcommand{\bq}{\mathbf{q}}
\newcommand{\br}{\mathbf{r}}
\newcommand{\bs}{\mathbf{s}}
\newcommand{\bT}{\mathbf{T}}
\newcommand{\bu}{\mathbf{u}}
\newcommand{\bv}{\mathbf{v}}
\newcommand{\bw}{\mathbf{w}}
\newcommand{\bx}{\mathbf{x}}
\newcommand{\by}{\mathbf{y}}
\newcommand{\bz}{\mathbf{z}}
\newcommand{\bzero}{\mathbf{0}}
\newcommand{\nv}{\mathbf{0}}
\newcommand{\cA}{\mathcal{A}}
\newcommand{\cB}{\mathcal{B}}
\newcommand{\cC}{\mathcal{C}}
\newcommand{\cD}{\mathcal{D}}
\newcommand{\cE}{\mathcal{E}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\cG}{\mathcal{G}}
\newcommand{\cH}{\mathcal{H}}
\newcommand{\cI}{\mathcal{I}}
\newcommand{\cJ}{\mathcal{J}}
\newcommand{\cK}{\mathcal{K}}
\newcommand{\cL}{\mathcal{L}}
\newcommand{\cM}{\mathcal{M}}
\newcommand{\cN}{\mathcal{N}}
\newcommand{\cO}{\mathcal{O}}
\newcommand{\cP}{\mathcal{P}}
\newcommand{\cQ}{\mathcal{Q}}
\newcommand{\cR}{\mathcal{R}}
\newcommand{\cS}{\mathcal{S}}
\newcommand{\cT}{\mathcal{T}}
\newcommand{\cU}{\mathcal{U}}
\newcommand{\cV}{\mathcal{V}}
\newcommand{\cW}{\mathcal{W}}
\newcommand{\cX}{\mathcal{X}}
\newcommand{\cY}{\mathcal{Y}}
\newcommand{\cZ}{\mathcal{Z}}
\newcommand{\rA}{\mathrm{A}}
\newcommand{\rB}{\mathrm{B}}
\newcommand{\rC}{\mathrm{C}}
\newcommand{\rD}{\mathrm{D}}
\newcommand{\rE}{\mathrm{E}}
\newcommand{\rF}{\mathrm{F}}
\newcommand{\rG}{\mathrm{G}}
\newcommand{\rH}{\mathrm{H}}
\newcommand{\rI}{\mathrm{I}}
\newcommand{\rJ}{\mathrm{J}}
\newcommand{\rK}{\mathrm{K}}
\newcommand{\rL}{\mathrm{L}}
\newcommand{\rM}{\mathrm{M}}
\newcommand{\rN}{\mathrm{N}}
\newcommand{\rO}{\mathrm{O}}
\newcommand{\rP}{\mathrm{P}}
\newcommand{\rQ}{\mathrm{Q}}
\newcommand{\rR}{\mathrm{R}}
\newcommand{\rS}{\mathrm{S}}
\newcommand{\rT}{\mathrm{T}}
\newcommand{\rU}{\mathrm{U}}
\newcommand{\rV}{\mathrm{V}}
\newcommand{\rW}{\mathrm{W}}
\newcommand{\rX}{\mathrm{X}}
\newcommand{\rY}{\mathrm{Y}}
\newcommand{\rZ}{\mathrm{Z}}
\newcommand{\pv}{\overline}
\newcommand{\iu}{\mathrm{i}}
\newcommand{\ju}{\mathrm{j}}
\newcommand{\im}{\mathrm{i}}
\newcommand{\e}{\mathrm{e}}
\newcommand{\real}{\operatorname{Re}}
\newcommand{\imag}{\operatorname{Im}}
\newcommand{\Arg}{\operatorname{Arg}}
\newcommand{\Ln}{\operatorname{Ln}}
\DeclareMathOperator*{\res}{res}
\newcommand{\re}{\operatorname{Re}}
\newcommand{\im}{\operatorname{Im}}
\newcommand{\arsinh}{\operatorname{ar\,sinh}}
\newcommand{\arcosh}{\operatorname{ar\,cosh}}
\newcommand{\artanh}{\operatorname{ar\,tanh}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\diag}{\operatorname{diag}}
\newcommand{\proj}{\operatorname{proj}}
\newcommand{\rref}{\operatorname{rref}}
\newcommand{\rank}{\operatorname{rank}}
\newcommand{\Span}{\operatorname{span}}
\newcommand{\vir}{\operatorname{span}}
\renewcommand{\dim}{\operatorname{dim}}
\newcommand{\alg}{\operatorname{alg}}
\newcommand{\geom}{\operatorname{geom}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\norm}[1]{\lVert #1 \rVert}
\newcommand{\tp}[1]{#1^{\top}}
\renewcommand{\d}{\mathrm{d}}
\newcommand{\sij}[2]{\bigg/_{\mspace{-15mu}#1}^{\,#2}}
\newcommand{\abs}[1]{\lvert#1\rvert}
\newcommand{\pysty}[1]{\left[\begin{array}{@{}r@{}}#1\end{array}\right]}
\newcommand{\piste}{\cdot}
\newcommand{\qedhere}{}
\newcommand{\taumatrix}[1]{\left[\!\!#1\!\!\right]}
\newenvironment{augmatrix}[1]{\left[\begin{array}{#1}}{\end{array}\right]}
\newenvironment{vaugmatrix}[1]{\left|\begin{array}{#1}}{\end{array}\right|}
\newcommand{\trans}{\mathrm{T}}
\newcommand{\EUR}{\text{\unicode{0x20AC}}}
\newcommand{\SI}[3][]{#2\,\mathrm{#3}}
\newcommand{\si}[2][]{\mathrm{#2}}
\newcommand{\num}[2][]{#2}
\newcommand{\ang}[2][]{#2^{\circ}}
\newcommand{\meter}{m}
\newcommand{\metre}{\meter}
\newcommand{\kilo}{k}
\newcommand{\kilogram}{kg}
\newcommand{\gram}{g}
\newcommand{\squared}{^2}
\newcommand{\cubed}{^3}
\newcommand{\minute}{min}
\newcommand{\hour}{h}
\newcommand{\second}{s}
\newcommand{\degreeCelsius}{^{\circ}C}
\newcommand{\per}{/}
\newcommand{\centi}{c}
\newcommand{\milli}{m}
\newcommand{\deci}{d}
\newcommand{\percent}{\%}
\newcommand{\Var}{\operatorname{Var}}
\newcommand{\Cov}{\operatorname{Cov}}
\newcommand{\Corr}{\operatorname{Corr}}
\newcommand{\Tasd}{\operatorname{Tasd}}
\newcommand{\Ber}{\operatorname{Ber}}
\newcommand{\Bin}{\operatorname{Bin}}
\newcommand{\Geom}{\operatorname{Geom}}
\newcommand{\Poi}{\operatorname{Poi}}
\newcommand{\Hyperg}{\operatorname{Hyperg}}
\newcommand{\Tas}{\operatorname{Tas}}
\newcommand{\Exp}{\operatorname{Exp}}
\newcommand{\tdist}{\operatorname{t}}
\newcommand{\rd}{\mathrm{d}}\]
Eksponenttifunktio ja eksponenttiesitys
Palautetaan mieleen reaalisen eksponenttifunktion \(e^x\) määritelmä ja ominaisuudet. Pyritään laajentamaan eksponenttifunktion käsitettä kattamaan myös kompleksiset eksponentit. Tämä halutaan tehdä niin, että funktio käyttäytyy reaalisilla muuttujan arvoilla kuten aiemminkin. Käy ilmi, että on olemassa vain yksi tapa määritellä tällainen laajennus.
Kun kompleksisen eksponenttifunktion arvoa verrataan napakoordinaattiesitykseen, havaitaan että luvun \(e^z\) itseisarvo on \(|e^z| = e^x\) ja argumentti \(\arg e^z = y\), missä \(x = \re z\) ja \(y = \im z\). Mikäli \(z\) on puhtaasti reaalinen, \(e^{z} = e^{x}(\cos 0 + \iu \sin 0) = e^x\), eli kompleksinen eksponenttifunktio saa saman arvon kuin tuttu reaalinen versio. Myös tutut laskusäännöt ovat voimassa kompleksiselle eksponenttifunktiolle.
Lause 8.5.2
Jos \(z_1, z_2, z \in \C\), niin \(e^{z_1}e^{z_2}=e^{z_1+z_2}\) ja \(e^{-z}=\dfrac{1}{e^z}\).
Piilota/näytä todistus
Merkitään \(z_1=x_1+\iu y_1\) ja \(z_2=x_2+\iu y_2\). Reaalisen eksponenttifunktion ja kompleksilukujen kertolaskun ominaisuuksia hyödyntäen voidaan kirjoittaa yhtälö
\[\begin{split}\begin{aligned}
e^{z_1}e^{z_2}&=e^{x_1}(\cos y_1+\iu \sin y_1)e^{x_2}(\cos y_2+\iu \sin y_2)\\
&=e^{x_1+x_2}(\cos(y_1+y_2)+\iu \sin(y_1+y_2))\\
&=e^{(x_1+x_2)+\iu (y_1+y_2)}
=e^{z_1+z_2}.
\end{aligned}\end{split}\]
Jälkimmäisen väitteen todistuksessa käytetään hyväksi jo todistettua ensimmäistä väitettä. Koska
\[e^z e^{-z}=e^{z-z}=e^0=1,\]
niin jakamalla puolittain luvulla \(e^z\) saadaan
\[e^{-z}=\frac{1}{e^z}.\]
Jos eksponenttifunktion muuttuja \(z = x + \iu y\) saa puhtaasti imaginaarisen arvon, eli \(x = 0\), saadaan erityisen tärkeä Eulerin kaava
\[e^{\iu y}=\cos y+\iu \sin y.\]
Yhtälö muistuttaa huomattavasti kompleksiluvun napakoordinaattiesitystä, ja sille saadaankin Eulerin kaavan avulla lyhyt merkintä
\[z=r(\cos\theta+i\sin\theta)=re^{\iu \theta}.\]
Muotoa \(z=re^{\iu \theta}\) kutsutaan napakoordinaattiesityksen eksponenttimuodoksi.
Sen avulla esitettynä kerto- ja jakolasku, komplementointi ja Moivren kaava voidaan kirjoittaa muodoissa
- \(z_1z_2=r_1e^{\iu \theta_1}r_2e^{\iu \theta_2}=r_1r_2e^{\iu (\theta_1+\theta_2)}\),
- \(\dfrac{z_1}{z_2}=\dfrac{r_1e^{\iu \theta_1}}{r_2e^{\iu \theta_2}}=\dfrac{r_1}{r_2}e^{\iu (\theta_1-\theta_2)}\),
- \(\overline{z}=\overline{re^{\iu \theta}}=re^{-\iu \theta}\),
- \(z^n=\big(re^{\iu \theta}\big)^n=r^ne^{\iu n\theta}\).
Näistä 1 ja 2 seuraavat suoraan aiemmasta lauseesta ja 4 on vain Moivren kaavan napakoordinaattiesitys kirjoitettuna eksponenttifunktion avulla. Kohta 3 seuraa siitä, että \(\cos(-\theta) = \cos\theta\) ja \(\sin(-\theta) = -\sin\theta\) kaikilla argumentin \(\theta\) arvoilla.
\[\begin{split}\begin{aligned}
\overline{re^{i\theta}}
&=\overline{r(\cos\theta+\iu \sin\theta)}\\
&=r(\cos\theta-\iu \sin\theta)\\
&=r(\cos(-\theta)+\iu \sin(-\theta))\\
&=re^{-\iu \theta}
\end{aligned}\end{split}\]
Korostetaan vielä, että \(|re^{\iu \theta}|=r\) ja \(\arg(re^{\iu \theta})=\theta\), eli luvulla \(re^{\iu \theta}\) kertominen tarkoittaa geometrisesti pituuden kertomista luvulla \(r\) ja kiertoa kulman \(\theta\) verran.
Esimerkki 8.5.3
Olkoon \(z=\sqrt3-\iu\) ja \(w=2+2\iu\). Muunna \(z\) ja \(w\) napakoordinaattimuotoon \(re^{\iu \theta}\) ja laske \(zw\) ja \(z/w\).
Piilota/näytä ratkaisu
Jälleen on etsittävä lukujen \(z\) ja \(w\) itseisarvot ja argumentit.
\[|z| = \sqrt{\left(\sqrt{3}\right)^2 + (-1)^2} = 2\qquad\text{ja}\qquad |w| = \sqrt{2^2 + 2^2} = 2\sqrt{2}\]
Luku \(z\) sijoittuu neljänteen neljännekseen, joten \(\arg z = \arctan\left(-\frac{1}{\sqrt{3}}\right) = -\frac{\pi}{6}\), missä kulman tarkka arvo voidaan lukea muistikolmiosta. Vastaavasti, koska \(w\) on ensimmäisessä neljänneksessä, \(\arg w = \arctan\left(\frac{2}{2}\right) = \frac{\pi}{4}\). Täten \(z = 2e^{-\iu \frac{\pi}{6}}\) ja \(w = 2\sqrt{2}e^{\iu \frac{\pi}{4}}\), sekä
\[\begin{split}\begin{aligned}
zw&=2\cdot2\sqrt2e^{\iu (-\pi/6+\pi/4)}=4\sqrt2e^{\iu \pi/12}\\
\frac{z}{w}&=\frac{2e^{-\iu \pi/6}}{2\sqrt2e^{\iu \pi/4}}
=\frac{1}{\sqrt2}e^{\iu (-\pi/6-\pi/4)}=\frac{1}{\sqrt2}e^{-\iu 5\pi/12}.
\end{aligned}\end{split}\]
Esimerkki 8.5.4
Olkoon \(z=2-2\iu\) ja \(w=-5\). Esitä \(z\) ja \(w\) muodossa \(re^{\iu \theta}\) ja laske \(zw\), \(w/z\), \(\overline{z}\) ja \(z^5\).
Piilota/näytä ratkaisu
Edellistä esimerkkiä mukaillen nähdään, että \(z=2\sqrt2e^{-i\pi/4}\). Lisäksi erityistapauksena Eulerin kaavasta \(-1 = e^{\iu \pi}\), jolloin \(w=5e^{\iu \pi}\). Täten
\[\begin{split}\begin{aligned}
zw&=2\sqrt2 \cdot 5 e^{(-\pi/4+\pi)\iu }=10\sqrt2e^{\iu 3\pi/4}\\
\frac{w}{z}&=\frac{5}{2\sqrt2}e^{(\pi-(-\pi/4))\iu }
=\frac{5\sqrt{2}}{4}e^{\iu 5\pi/4}\\
\overline{z}&=2\sqrt2e^{\iu \pi/4}\\
z^5&=\left(2\sqrt2\right)^5e^{-\iu 5\pi/4}
=128\sqrt2e^{\iu 3\pi/4}
\end{aligned}\end{split}\]
Tässä viimeisessä kohdassa kulma \(-5\pi/4\) ei sisälly kumpaankaan väleistä \([-\pi,\pi]\) tai \([0,2\pi]\), joten luvun \(z^5\) argumentti on syytä palauttaa muotoon \(\arg z^5 = -\frac{5\pi}{4}+2\pi=\frac{3\pi}{4}\).
Huomautus 8.5.5
Tekniikassa napakoordinaattimuodolle käytetään myös merkintää
\[z=re^{\iu \theta}=r\angle\theta,\]
eli esimerkiksi
\[3e^{\iu \frac{\pi}{4}}=3\angle\frac{\pi}{4}.\]
Esimerkki 8.5.6
Eulerin kaavasta saadaan tekniikassa usein käytetyt yhteydet trigonometristen funktioiden ja eksponenttifunktion välille. Laskemalla kaavat
\[\begin{split}\begin{aligned}
e^{\iu \theta}&=\cos\theta+\iu \sin\theta\\
e^{-\iu \theta}&=\cos\theta-\iu \sin\theta
\end{aligned}\end{split}\]
puolittain yhteen ja vähentämällä ne puolittain saadaan kosinin ja sinin muunnoskaavat
\[\begin{split}\begin{aligned}
\cos\theta&=\frac{e^{\iu \theta}+e^{-\iu \theta}}{2},\\
\sin\theta&=\frac{e^{\iu \theta}-e^{-\iu \theta}}{2i}.
\end{aligned}\end{split}\]
Esimerkki 8.5.7
Moivren kaavan mukaan
\[\left(\cos\theta+\iu \sin\theta\right)^2=\cos(2\theta)+\iu \sin(2\theta).\]
Toisaalta suoraan laskemalla nähdään, että
\[\left(\cos\theta+\iu \sin\theta\right)^2=\cos^2\theta - \sin^2\theta + 2\iu \sin\theta\cos\theta.\]
Vertaamalla yhtälöiden oikeiden puolten reaali- ja imaginaariosia saadaan trigonometriset kaksoiskulmakaavat
\[\cos(2\theta)=\cos^2\theta-\sin^2\theta
\qquad\text{ja}\qquad
\sin(2\theta)=2\sin\theta\cos\theta.\]
Myös muita trigonometrisiä identiteettejä voidaan todistaa vastaavasti.