MS-A0201 - Differentiaali- ja integraalilaskenta 2 (TFM), 07.01.2019-18.02.2019
Kurssiasetusten perusteella kurssi on päättynyt 18.02.2019 Etsi kursseja: MS-A0201
Luentomateriaali e-kirjana
Käyrän parametrisointi
Parametrisointi
Muodollisesti käyrällä tarkoitetaan parametrisoitua joukkoa \(C\subset \mathbb{R}^n, n \geq 2\), joka voidaan esittää muodossa \[ C=\lbrace \textbf{r}(t) : t\in I\rbrace = \textbf{r}(I) = \textbf{r}\text{:n arvojoukko}, \]missä \(I\subset\mathbb{R}\) on väli ja funktio \(\textbf{r}\colon I\rightarrow\mathbb{R}^n\) on jatkuva. Vektoriarvoisen funktion \(\textbf{r}\) jatkuvuus tarkoittaa, että sen kaikki koordinaattifunktiot ovat jatkuvia missä tahansa kantaesityksessä.
Funktio \(\textbf{r}=\textbf{r}(t)\) on eräs käyrän \(C\) parametrisointi ja \(I\) on tätä parametrisointia vastaava parametriväli. Väli \(I\) voi olla avoin \((a,b)\), suljettu \([a,b]\) tai puoliavoin \((a,b],\,[a,b)\).
Avaruuskäyrän (\(n=3\)) parametrisointi voidaan antaa muodossa
\[
\textbf{r}(t)=(x(t),y(t),z(t)) \in \mathbb{R}^3, \text{ kun } t\in I.
\]
Vaihtoehtoisesti voidaan myös käyttää koordinaattimuotoa
\[
\textbf{r}(t)=\begin{cases}x=x(t),\\y=y(t),\qquad t\in I\\z=z(t),\end{cases}
\]
tai vektorimuotoa
\[
\textbf{r}(t) =x(t)\textbf{i}+y(t)\textbf{j}+z(t)\textbf{k},
\]
jossa \(\textbf{i}=(1,0,0), \textbf{j} = (0,1,0),\) ja \(\textbf{k}=(0,0,1)\) ovat \(\mathbb{R}^3\):n luonnolliset kantavektorit.
Edellä funktion \(\textbf{r}\) jatkuvuus tarkoittaa siis koordinaattifunktioiden \(x,y,z\) jatkuvuutta parametrivälillä \(I\).
Esimerkki, suora tasossa
Kahden \(xy\)-tason pisteen \(P_0=(x_0,y_0)\) ja \(P_1=(x_1,y_1)\) kautta kulkeva suora voidaan parametrsioida \[ \textbf{r}(t) = \begin{cases} x(t)=(1-t)x_0+tx_1 \\ y(t)=(1-t)y_0+ty_1, \end{cases} \text{ kun } t\in I=(-\infty,\infty). \]Havaitaan, että \[\textbf{r}(t=0)=(x_0,y_0)\quad \text{ ja }\quad \textbf{r}(t=1)=(x_1,y_1),\]
joten valitsemalla parametriväliksi \(I=[0,1]\) saadaan pisteitä \(P_0\) ja \(P_1\) yhdistävä jana.
Esimerkki, reaalifunktion kuvaaja
Jatkuvan funktion \(f\colon[a,b]\rightarrow\mathbb{R}\) kuvaaja \(y=f(x)\) voidaan ajatella \(xy\)-tason käyränä. Tämä käyrä voidaan parametrisoida \[ \mathbf{r}(t) =\begin{cases} x(t)=t \\ y(t)=f(t), \end{cases} \]missä \(t\in[a,b]\). Tai vastaavasti vektorimuodossa \[ \textbf{r}(t) =x(t)\textbf{i}+y(t)\textbf{j}= t\textbf{i}+f(t)\textbf{j}. \]
Esimerkki, Helix-käyrä eli kierrejousi
Helix-käyrä eli kierrejousi voidaan parametrisoida \[ \textbf{r}(t)=\begin{cases} x(t)=a\cos t, \\ y(t)=a\sin t, \qquad t\in I \\ z(t)=bt, \end{cases} \]missä \(a,b > 0\) ovat parametreja. Parametri \(a\) on jousen säde ja parametria \(b\) voidaan ajatella jousen venymänä. Vaihtoehtoisesti voidaan tietysti tässäkin käyttää myös vektorimuotoa \[ \textbf{r}(t)=x(t)\textbf{i}+y(t)\textbf{j}+z(t)\textbf{k} =a\cos(t)\textbf{i}+a\sin(t)\textbf{j}+bt\textbf{k}. \]
Suunnistus
Usein parametriväli on suljettu väli \(I=[a,b]\). On lisäksi mahdollista, että \(a < b\) tai \( b < a\). Parametrisointi määrää käyrälle positiivisen suunnan, jolloin \(\textbf{r}(a)\) on käyrän alkupiste ja \(\textbf{r}(b)\) sen päätepiste. Käyrää, jonka alku- ja päätepiste ovat samoja kutsutaan suljetuksi.
Voidaan muodostaa myös vastakkainen parametrisointi, jossa käyrä pysyy samana, mutta sen kulkusuunta vaihtuu. Tällöin myös parametrisointiin liittyvät alku- ja päätepiste vaihtuvat toisikseen.
Esimerkiksi tapauksessa \(\textbf{r}\colon[0,1]\rightarrow C\) vastakkainen parametrisointi \(\textbf{r}_{-}\) saadaan helposti kaavalla
\[\textbf{r}_{-}(t)=\textbf{r}(1-t), \quad t\in [0,1].\]
Esimerkki, ympyrän kehä tasossa
Olkoon \(P_0=(x_0,y_0)\) ja \(r_0>0\). \(P_0\)-keskisen ja \(r_0\)-säteisen ympyrän kehän parametrisoinniksi saadaan \[ \textbf{r}(t) =\begin{cases}x(t)=x_0+r_0\cos(t),\\ y(t) = y_0+r_0\sin(t).\end{cases} \]Jos halutaan parametrisoida koko kehä, voidaan parametrisointiväliksi valita esimerkiksi \([0,2\pi]\) tai \([-\pi,\pi]\). Lisäksi havaitaan, että \[\textbf{r}(0)=\textbf{r}(2\pi)=(x_0+r_0,0)\]
ja \[\textbf{r}(-\pi)=\textbf{r}(\pi)=(x_0-r_0,0),\]
joten käyrä on suljettu.
Suunnistus voidaan vaihtaa päinvastaiseksi korvaamalla \(t\mapsto -t\) parametrisoinnissa. Tällöin \(\cos(-t)=\cos(t)\), \(\sin(-t)=-\sin(t)\) ja
\[
\textbf{r}_{-}(t)=\begin{cases}x(t)=x_0+r_0\cos(t),\\ y(t)=y_0-r_0\sin(t).\end{cases}
\]
Implisiittinen muoto
Tasokäyrän yhtälö voidaan usein ilmaista myös implisiittisessä muodossa \(F(x,y)=0\), missä \(F\) on jokin kahden muuttujan lauseke. Konkreettisia esimerkkejä ovat funktion kuvaaja \(y=f(x)\), joka voidaan määritellä muodossa \(F(x,y)=y-f(x)=0\), ja \(R\)-säteinen ympyrä \(F(x,y)=x^2+y^2-R^2=0\).on jatkuva, mutta yhtälö \(F(x,y)=0\) esittää koko alkuperäistä joukkoa \(A\).
Käyrän tangentti
Tarkastellaan 3-ulotteista parametrisointia \(\textbf{r}\), joka on jatkuvasti derivoituva. Tämä tarkoittaa, että vektorin \(\textbf{r}\) jokaisen koordinaattifunktion täytyy olla derivoituva ja derivaatan vielä lisäksi jatkuva.
Parametriväliä \([t,t+\Delta t]\) vastaava käyrän sekantti on vektori
\[
\Delta\textbf{r}=\textbf{r}(t+\Delta t) - \textbf{r}(t).
\]
Kun \(\Delta t \rightarrow 0\), niin \(\Delta\textbf{r}\) kääntyy yhä enemmän käyrän tangentin suuntaiseksi, mutta samalla sen pituus pienenee kohti nollaa.
Skaalamalla kertoimella \(\Delta t\) saadaan kuitenkin erotusosamäärää vastaava lauseke, josta nähdään, että raja-arvo
\[
\textbf{r}'(t) = \lim_{\Delta t\rightarrow 0} \frac{\Delta \textbf{r}}{\Delta t}
\]
on olemassa ja se voidaan käytännössä laskea kaavalla
\[
\textbf{r}'(t) = x'(t)\textbf{i}+y'(t)\textbf{j}+z'(t)\textbf{k}.
\]
Vektorin \(\Delta\textbf{r}/\Delta t\) ensimmäinen koordinaatti on nimittäin
\[
\frac{x(t+\Delta t)-x(t)}{\Delta t} \longrightarrow x'(t), \text{ kun }\Delta t \rightarrow 0,
\]
ja samoin käy myös muissa koordinaateissa. Tästä seuraa määritelmä.
Määritelmä
Jos käyrällä \(C\subset\mathbb{R}^3\) on jatkuvasti derivoituva parametrisointi \(\textbf{r}\), niin pisteessä \(\textbf{r}(t)\), \[ \textbf{r}'(t)=x'(t)\textbf{i}+y'(t)\textbf{j}+z'(t)\textbf{k} \]on käyrän tangenttivektori ja funktiot \(x,y,z\) ovat parametrisoinnin koordinaattifunktiot. Tason tapauksessa \(z\)-koordinaatti jää pois. Voidaan ajatella, että \(\textbf{v}(t)=\textbf{r}'(t)\) on käyrää \(C\) pitkin liikkuvan kappaleen nopeus ja \(\|\textbf{v}(t)\|\) kappaleen vauhti hetkellä \(t\).
Esimerkki
Sykloidi voidaan parametrisoida kulman \(t\) avulla muodossa \[ \textbf{r}(t)=\begin{cases}x(t)=a(t-\sin(t))\\ y(t)=a(1-\cos(t)).\end{cases} \]Tangenttivektoriksi saadaan tällöin \[ \textbf{r}'(t) = a(1-\cos(t))\textbf{i}+a\sin(t)\textbf{j}, \]
ja edelleen voidaan ratkaista kiihtyvyys \[ \textbf{a}(t)=\textbf{r}''(t)=a\sin(t)\textbf{i} + a\cos(t)\textbf{j}. \]
Tästä seuraa \(\|\textbf{a}(t)\| = \lvert a\rvert =\) tasaisen pyörimisliikkeen kiihtyvyys.
Kaarenpituus
Olkoon \(\textbf{r}\colon[a,b]\rightarrow\mathbb{R}^n\) käyrän \(C\) jatkuvasti derivoituva parametrisointi. Jos käyrää approksimoidaan sekanteista muodostetulla murtoviivalla ja annetaan approksimaation tihentyä, voidaan havaita murtoviivan pituuden suppenevan kohti kaaren pituutta \(\ell(C)\).
Kaarenpituus voidaankin määrittää integraalina
\[
\ell(C)=\int_a^b \|\textbf{r}'(t)\|\,dt,
\]
missä merkintä \(\|\cdot\|\) tarkoittaa vektorin (euklidista) normia, eli vektorin pituutta, avaruudessa \(\mathbb{R}^n\).
Jos käyrän parametrisointi on ainoastaan paloittain jatkuvasti derivoituva, saadaan koko käyrän kaarenpituus laskemalla osien kaarenpituudet yhteen.
Vaikka käyrällä on aina äärettömän monta eri parametrisointia, voidaan kuitenkin osoittaa, ettei kaarenpituus riipu parametrisoinnin valinnasta eikä suunnasta.
Esimerkki
Määritetään Helix-käyrän \(\textbf{r}(t)=(\cos(t),\sin(t),t)\) kaarenpituus parametrivälillä \(t\in[0,2\pi]\). Tangenttivektoriksi saadaan tällöin \[ \textbf{r}'(t)= (-\sin(t), \cos(t), 1), \]joten \[ \|\textbf{r}'(t)\| = \sqrt{((-\sin t)^2+\cos^2t+1)}=\sqrt{2}. \]
Ja siten kaarenpituus on \[ \ell = \int_0^{2\pi} \|\textbf{r}'(t)\|\,dt = 2\sqrt{2}\pi. \]
Esimerkki
Johdetaan kaava funktion kuvaajan \( y=f(x) \) kaarenpituudelle välillä \([a,b]\). Asetetaan \(\textbf{r}(t)=(t, f(t))\), kun \(t\in[a,b]\). Tällöin \[\textbf{r}'(t)=(1,f'(t))\quad\text{ ja }\quad \|\textbf{r}'(t)\| = \sqrt{1+f'(t)^2},\]joten kaarenpituudeksi saadaan \[ \ell = \int_a^b \sqrt{1+f'(t)^2}\,dt. \]