Kaarevuussäde

Kaarevuussäde (R) on differentiaaligeometriassa kaarevuuden käänteisarvo. Käyrän kaarevuussäde sen kussakin pisteessä on sen ympyrän säde, joka tämän pisteen läheisyydessä tarkimmin yhtyy käyrään. Tämän ympyrän keskipistettä sanotaan käyrän kaarevuuskeskipisteeksi. Pinnan kaarevuussäde on sen ympyrän säde, joka parhaiten vastaa pinnan normaalileikkausta tai sellaisten yhdistelmää. ==Määritelmiä== Avaruuskäyrän kaarevuussäde on sen kaarevuusvektorin pituus. Tasokäyrän kaarevuussäde R on lausekkeen : R \equiv \left|\frac{ds}{d\varphi} \right| = \frac{1}{\kappa}, itseisarvo, missä s on kaaren pituus mitattuna jostakin käyrältä valitusta kiinteästä pisteestä, \phi tangenttikulma ja \kappa käyrän kaarevuus. ==Kaavoja== ===Kahdessa ulottuvuudessa=== Jos käyrä on annettu karteesisessa koordinaatistossa muodossa y(x), toisin sanoen jos se on jonkin funktion kuvaaja, ja jos lisäksi tällä funktiolla on ainakin ensimmäisen ja toisen kertaluvun derivaatat, käyrän kaarevuussäde on R =\left| \frac { \left(1 + y'^{\,2}\right)^\frac32}{y}\right|\,, missä y' = \frac{dy}{dx}\,, y = \frac{d^2y}{dx^2}, ja |z| tarkoittaa z:n itseisarvoa. Jos käyrä on annettu parametrimuodossa funktiolla x(t) ja y(t), sen kaarevuussäde on R = \left|\frac{ds}{d\varphi}\right| = \left|\frac {\left({\dot{x}^2 + \dot{y}^2}\right)^\frac32}{\dot {x}\ddot{y} - \dot{y}\ddot{x}}\right| missäe \dot{x} = \frac{dx}{dt}, \ddot{x} = \frac{d^2x}{dt^2}, \dot{y} = \frac{dy}{dt}, ja \ddot{y} = \frac{d^2y}{dt^2}. Heuristisesti tämä voidaan tulkita seuraavasti: R = \frac{\left|\mathbf{v}\right|^3}{\left| \mathbf{v} \times \mathbf{ \dot v} \right|}\,, missä \left| \mathbf{v} \right| = \big| (\dot x, \dot y) \big| = R \frac{d\varphi}{dt}\,. ===n ulottuvuudessa === Jos \gamma : \mathbf{R} \rightarrow \mathbf{R}^n on parametroitu käyrä avaruudessa \mathbf{R}^n, käyrän kaarevuussäde, \rho : \mathbf{R} \rightarrow \mathbf{R}, käyrän kussakin pisteessä saadaan kaavasta \rho = \frac{\left|\boldsymbol\gamma'\right|^3}{\sqrt{\left|\boldsymbol\gamma'\right|^2 \, \left|\boldsymbol\gamma\right|^2 - \left(\boldsymbol\gamma' \cdot \boldsymbol\gamma\right)^2}}\,. Siinä erikoistapauksessa, että f(t) on funktio \mathbf{R} \rightarrow \mathbf{R}, sen kuvaajan \gamma (t) = (t, f(t)) kaarevuussäde on \rho(t)=\frac{\left|1+f'^{\,2}(t)\right|^\frac32}{\left|f(t)\right|}. ===Kaavan johto === Olkoon \gamma kuten edellä ja kiinnitetään t Tehtävänä on etsiä sellaisen parametroidun ympyrän säde, jonka nollas, ensimmäinen ja toinen derivaatta saavat saman arvon parametrin arvolla t. Selvästikään säde ei riipu paikasta \gamma(t), ainoastaan sen ensimmäisestä ja toisesta derivaatasta \gamma'(t) ja \gamma(t). Jos parametrin t tulkitaan tarkoittavan aikaa ja pisteen kuvitellaan liikkuvan käyrää pitkin, näistä edellinen vastaa sen nopeutta ja jälkimmäinen kiihtyvyyttä. On vain kolme skalaaria, jotka voidaan pistetuloina muodostaa kahdesta Kahdesta vektorista, v ja w, nimittäin v\cdot v, v \cdot w ja w \cdot w. Niinpä kaarevuussäteen on oltava kolmen skalaarin, |y'(t)|^2, |y(t)|^2 ja y'(t) \cdot y(t) funktio. Yleinen yhtälö parametroidulle ympyrälle avaruudessa \mathbf{R}^n on \mathbf{g}(u) = \mathbf a \cos (h(u)) + \mathbf b \sin (h(u)) + \mathbf c missä c \in \mathbf{R}^n on ympyrän keskipiste, joka kuitenkin on merkityksetön, sillä se häviää derivoitaessa, ja a, b \in \mathbf{R}^n ovat kaksi toisiinsa nähden kohtisuoraa vektoria, joiden kummankin pituus on \rho, toisin sanoen a \cdot a = b \cdot b = \rho^2, a \cdot b = 0 ja h: \mathbf{R} \rightarrow \mathbf{R} on mielivaltainen t:ssä kahteen kertaan derivoituva funktio. Ilmenee, että g:n merkitykselliset derivaatat ovat \begin{align} |\mathbf g'|^2 &= \rho^2 (h')^2 \\\ \mathbf g' \cdot \mathbf g &= \rho^2 h' h \\\ |\mathbf g|^2 &= \rho^2 \left((h')^4 + (h)^2 \right) \end{align} Jos nämä g:n derivaatat asetetaan yhtä suuriksi kuin \gamma:n derivaatat t:ssä, saadaan: \begin{align} |\boldsymbol\gamma'(t)|^{2} &= \rho^2 h'^{\,2}(t) \\\ \boldsymbol\gamma'(t) \cdot \boldsymbol\gamma(t) &= \rho^2 h'(t) h(t) \\\ |\boldsymbol\gamma(t)|^{2} &= \rho^2 \left(h'^{\,4}(t) + h^{\,2}(t)\right) \end{align} Näissä kolmessa yhtälössä on kolme tuntematonta, \rho, h(t) ja h(t). Ne voidaan ratkaista \rho:n avulla, jolloin kaarevuussäteelle saadaan kaava \rho(t) = \frac{\left|\boldsymbol\gamma'(t)\right|^{3}}{\sqrt{\left|\boldsymbol\gamma'(t)\right|^{2} \, \left|\boldsymbol\gamma(t)\right|^{2} - \big(\boldsymbol\gamma'(t) \cdot \boldsymbol\gamma(t)\big)^2}}\,, tai jos luettavuuden parantamiseksi parametri t jätetään pois: \rho = \frac{\left|\boldsymbol\gamma'\right|^3}{\sqrt{\left|\boldsymbol\gamma'\right|^2 \; \left|\boldsymbol\gamma\right|^2 - \left(\boldsymbol\gamma' \cdot \boldsymbol\gamma\right)^2}}\,. ==Esimerkkejä== ===Puoliympyrät ja ympyrät === Ylemmässä puolitasossa a-säteisen puoliympyrälle, jolla R=|-a| =a\,,, saadaan: \begin{align} y &= \sqrt{a^2-x^2} \\\ y' &= \frac{-x}{\sqrt{a^2-x^2}} \\\ y &= \frac{-a^2}{\left(a^2-x^2\right)^\frac{3}{2}}\,. \end{align} Alemmassa puolitasossa a olevalle puoliympyrälle saadaan y = -\sqrt{a^2-x^2}\,. Ympyrän kaarevuussäde on sama kuin sen säde. ===Ellipsi=== Tarkastellaan ellipsiä, jonka isoakselin pituus on 2a ja pikkuakselin 2b. Ellipsin kaarevuussäde saa suurimman arvonsa, R = \frac{a^2}{b} sen ja pikkuakselin leikkauspisteessä, pienimmän arvonsa, R = \frac{b^2}{a} taas ellipsin ja sen isoakselin leikkauspisteissä. Näitä pisteitä sanotaan ellipsin kärjiksi. Kun ellipsi esitetään parametrimuodossa, (a \cos{t}, b \sin{t}), missä 2a ja 2b ovat sen iso- ja pikkuakselien pituudet, sen kaarevuus kussakin pisteessä on R(t)= \frac{(b^2 \cos^2t + a^2\sin^2t)^{3/2}}{ab}. Jos parametrina käytetään tangenttikulmaa \theta = \arctan\Big(\frac{y}{x}\Big) = \arctan\Big(\frac{b}{a}\;\tan\;t\Big)\,., saadaan ellipsin kaarevuussäteelle kussakin pisteessä lauseke R(\theta)=\frac{a^2}{b}\biggl(\frac{1-e^2(2-e^2)(\cos\theta)^2)}{1-e^2(\cos\theta)^2}\biggr)^{3/2}\,, missä e on ellipsin eksentrisyys, e^2 = 1 - \frac{b^2}{a^2}\,. ==Sovelluksia== * Differnetiaaligeometriassa tasokäyrän kaarevuuden ja kaaren pituuden välisen yhteyen osoittaa kunkin käyrän Cesàron yhtälö. * Maan kaarevuussäde määritetään astemittauksilla. * Kaarevuussädettä käytetään myös palkin taipumista kuvaavissa yhtälöissä. * Optiikassa linssin ja pallopeilin kaarevuussäteellä on suuri merkitys. Niinpä pallopeilin polttoväli on puolet sen kaarevuussäteestä. Linssin polttoväli taas riippuu sen kaarevuussäteestä, paksuudesta ja materiaalin taitekertoimesta linssintekijän yhtälön osoittamalla tavalla. *Ohuiden kalvojen teknologiat *Tulostettava elektroniikka *Rautateiden kaarteille määritetään pienin sallittu kaarevuussäde, josta riippuu, kuinka nopeasti junat voivat radalla turvallisesti kulkea. *Atomivoimamikroskooppin erotuskyky riippuu sen neulan kärjen kaarevuussäteestä. ===Puolijohderakenteiden jännitys=== Puolijohderakenteissa esiintyvä jännitys, joka voi saada ohuet kalvot jopa höyrystymään, johtuu yleensä valmistuksen aikaisesta lämpölaajenemisesta. Lämpölaajenemista ja siitä aiheutuvaa jännitystä esiintyy, koska kalvot yleensä asennetaan paikoilleen huoneenlämpöä korkeammassa lämpötilassa. Sen jäähtyessä huoneenlämpöön syntyy lämpöjännitys, koska kalvomateriaalilla ja sillä materiaalilla (alusrakenteella), johon se kiinnitetään, on eri suuri lämpölaajenemiskerroin. Sisäinen jännitys aiheutuu mikrorakenteesta, joka syntyy kalvossa, kun sen atomit sitoutuvat alusrakenteen atomeihin. Lisäksi syntyy vetojännistystä, jonka aiheuttavat kalvon atomirakenteessa olevat aukot, sillä atomien väliset sidosvoimat vaikuttavat tällaisten pienten aukkojenkin yli. Puolijohdekalvon jännitys saa aikaan nurjahduksia. Jännittyneen rakenteen kaarevuussäteen ja rakenteen jännityksen välillä on yhteys, jota kuvaa eräs Stoneyn kaavan muunnelma. Jännittyneen rakenteen tarkka muoto ja myös sen kaarevuussäde voidaan mitata optisilla skannausmenetelmillä. Nykyaikaiset skannauslaitteet voivat mitata alusrakenteen epätasaisuudet hyvin tasaisesti ja samalla myös sen epätasaisten kohtien kaarevuussäteet 0,1 prosentin tarkkuudella, kun kaarevuussäde on 90 metriä tai enemmänkin. == Lähteet == Luokka:Differentiaaligeometria Luokka:Käyrät