1. Ferlar

Winter is coming.

- George R.R. Martin, A Game of Thrones

1.1. Inngangur

  • Viðfangsefni námskeiðsins er varpanir sem skilgreindar eru á hlutmengi í Rn og taka gildi í Rm.
  • Fáumst við stærðfræðigreiningu í mörgum breytistærðum.
  • Sambærileg verkefni og í stærðfræðigreiningu í einni breytistærð: Samfelldni, diffrun, heildun. Rúmfræðileg túlkun skiptir nú miklu máli.
  • Gerir okkur kleift að fást við mörg raunveruleg verkefni þar sem margar breytistærðir koma við sögu.

1.2. Stikaferlar

1.2.1. Skilgreining

Vörpun r:[a,b]Rn þannig að r(t)=(r1(t),,rn(t)) kallast vigurgild vörpun. Slík vörpun er sögð samfelld ef föllin r1,,rn eru öll samfelld. Samfelld vörpun r:[a,b]Rn er oft kölluð stikaferillen: parametric curve.
Smelltu fyrir ítarlegri þýðingu.
.

1.2.2. Ritháttur

Þegar fjallað er um stikaferil r:[a,b]R2 þá er oft ritað

r=r(t)=(x(t),y(t))=x(t)i+y(t)j,

og þegar fjallað er um stikaferil r:[a,b]R3 þá er oft ritað

r=r(t)=(x(t),y(t),z(t))=x(t)i+y(t)j+z(t)k.

1.3. Ferlar og stikanir á ferlum

1.3.1. Skilgreining

Ferill í planien: curve.
Smelltu fyrir ítarlegri þýðingu.
er mengi punkta (x,y) í planinu þannig að skrifa má x=f(t) og y=g(t) fyrir t á bili I þar sem f og g eru samfelld föll á I. Auk þess liggur (f(t),g(t)) í punktamenginu fyrir öll tI. Bilið I ásamt föllunum (f,g) kallast stikun á ferlinum. Ferill í rúmi og stikunen: parametrization.
Smelltu fyrir ítarlegri þýðingu.
á ferli í rúmi eru skilgreind á sambærilegan hátt.

Aðvörun

Ferill í plani/rúmi er ekki það sama og stikaferill. Fyrir gefinn feril eru til (óendanlega) margar ólíkar stikanir.

1.3.2. Dæmi - Eðlisfræðileg túlkun

Líta má á veginn milli Reykjavíkur og Akureyrar sem feril.

Líta má á ferðalag eftir veginum frá Reykjavík til Akureyrar þar sem staðsetning er þekkt á hverjum tíma sem stikaferil þar sem tíminn er stikinn.

1.3.3. Dæmi

Jafnan

x2+y2=1

lýsir ferli í planinu sem er hringur með miðju í (0,0) og geisla 1. Dæmi um ólíkar stikanir:

r1(t)=(cos(t),sin(t)),fyrir t á bilinu [0,2π].r2(t)={(t,1t2)fyrir t á bilinu [1,1[,(2t,1(2t)2)fyrir t á bilinu [1,3].

1.4. Diffrun stikaferla

1.4.1. Skilgreining

Stikaferill r:[a,b]Rn er diffranlegur í punkti t ef markgildið

r(t)=limΔt0r(t+Δt)r(t)Δt

er til. Stikaferillinn r er sagður diffranlegur ef hann er diffranlegur í öllum punktum á bilinu [a,b]. (Í endapunktum bilsins [a,b] er þess krafist að einhliða afleiður séu skilgreindar.)

1.4.2. Setning

Stikaferill r:[a,b]Rn er diffranlegur í punkti t ef og aðeins ef föllin r1,,rn eru öll diffranleg í t. Þá gildir að

r(t)=(r1(t),,rn(t)).

1.4.3. Ritháttur

Látum r:[a,b]Rn vera diffranlegan stikaferil. Venja er að rita v(t)=r(t) og tala um v(t) sem hraðaen: velocity.
Smelltu fyrir ítarlegri þýðingu.
eða hraðavigur. Talan |v(t)| er kölluð ferðEkki fannst þýðing á hugtakinu: ferð. Einnig er ritað a(t)=v(t)=r(t) og talað um a(t) sem hröðunen: acceleration.
Smelltu fyrir ítarlegri þýðingu.
eða hröðunarvigur.

1.4.4. Dæmi

Lítum á eftirfarand stikaferla sem stika hring með miðju í (0,0) og geisla 1.

r1(t)=(cos(t),sin(t)),fyrir t á bilinu [0,2π].r2(t)=(cos(t2),sin(t2)),fyrir t á bilinu [0,2π].

Þá er tilsvarandi hraði

v1(t)=r1(t)=(sin(t),cos(t)),fyrir t á bilinu [0,2π].v2(t)=r2(t)=(2tsin(t2),2tcos(t2)),fyrir t á bilinu [0,2π].

og ferðin |v1(t)|=1 og |v2(t)|=2t.

1.4.5. Setning

Látum u,v:[a,b]Rn vera diffranlega stikaferla og λ diffranlegt fall. Þá eru stikaferlarnir u(t)+v(t),λ(t)u(t) og u(λ(t)) diffranlegir, og ef n=3 þá er stikaferillinn u(t)×v(t) líka diffranlegur. Fallið u(t)v(t) er líka diffranlegt. Eftirfarandi listi sýnir formúlur fyrir afleiðunum:

(a) ddt(u(t)+v(t))=u(t)+v(t),

(b) ddt(λ(t)u(t))=λ(t)u(t)+λ(t)u(t),

(c) ddt(u(t)v(t))=u(t)v(t)+u(t)v(t),

(d) ddt(u(t)×v(t))=u(t)×v(t)+u(t)×v(t),

(e) ddt(u(λ(t)))=u(λ(t))λ(t).

Ef u(t)0 þá er

(f) ddt|u(t)|=u(t)u(t)|u(t)|.

1.4.6. Skilgreining

Látum r:[a,b]Rn;r(t)=(r1(t),,rn(t)) vera stikaferil.

Stikaferillinn er sagður samfellt diffranleguren: continuously differentiable.
Smelltu fyrir ítarlegri þýðingu.
ef föllin r1(t),,rn(t) eru öll diffranleg og afleiður þeirra eru samfelldar. Samfellt diffranlegur stikaferill er sagður þjállen: infinitely differentiable.
Smelltu fyrir ítarlegri þýðingu.
ef r(t)0 fyrir öll t.

Stikaferillinn er sagður samfellt diffranlegur á köflum ef til eru tölur b0,,bk þannig að a=b0<b1<<bk=b og stikaferillinn er samfellt diffranlegur á hverju bili [bi1,bi]. Það að stikaferill sé þjáll á köflumen: piecewise smooth.
Smelltu fyrir ítarlegri þýðingu.
er skilgreint á sambærilegan hátt.

1.4.7. Setning

Látum r=f(t)i+g(t)j vera samfellt diffranlegan stikaferil fyrir t á bili I. Ef f(t)0 á I þá hefur ferilinn snertilínuen: tangent.
Smelltu fyrir ítarlegri þýðingu.
fyrir hvert gildi á t og hallatala hennar er

dydx=g(t)f(t).

Ef g(t)0 á I þá hefur ferilinn þverlínuen: normal.
Smelltu fyrir ítarlegri þýðingu.
fyrir hvert gildi á t og hallatala hennar er

dxdy=f(t)g(t).

1.5. Lengd stikaferils

1.5.1. Regla

Látum r:[a,b]Rn vera samfellt diffranlegan stikaferil. Lengd eða bogalengden: arc length.
Smelltu fyrir ítarlegri þýðingu.
stikaferilsins er skilgreind með formúlunni

s=ba|v(t)|dt.

1.5.2. Skilgreining og umræða

Látum r:[a,b]Rn vera samfellt diffranlegan stikaferil. Sagt er að stikaferillinn sé stikaður með bogalengd ef fyrir allar tölur t1,t2 þannig að at1<t2b þá gildir

t2t1=t2t1|v(t)|dt.

(Skilyrðið segir að lengd stikaferilsins á milli punkta r(t1) og r(t2) sé jöfn muninum á t2 og t1.) Stikun með bogalengd má líka þekkja á þeim eiginleika að |v(t)|=1 fyrir öll gildi á t.

Sýnidæmi

1.6. Pólhnit

  • Þegar við fáumst við verkefni í mörgum víddum höfum við frelsi til að velja hnitakerfi.
  • Heppilegt val á hnitakerfi getur skipt sköpum við lausn verkefnis.

1.6.1. Skilgreining

Látum P=(x,y)0 vera punkt í plani. Pólhniten: polar coordinates.
Smelltu fyrir ítarlegri þýðingu.
P er talnapar [r,θ] þannig að r er fjarlægð P frá O=(0,0) og θ er hornið á milli striksins ¯OP og x-ássins. (Hornið er mælt þannig að rangsælis stefna telst jákvæð, og leggja má við θ heil margfeldi af 2π.)

1.6.2. Regla

Ef pólhnit punkts í plani eru [r,θ] þá má reikna hornrétt hniten: orthogonal coordinates.
Smelltu fyrir ítarlegri þýðingu.
hans (xy-hnit) með formúlunum

x=rcosθogy=rsinθ.

Ef við þekkjum xy-hnit punkts þá má finna pólhnitin út frá jöfnunum

r=x2+y2ogtanθ=yx.

(Ef x=0 þá má taka θ=π2 ef y>0 en θ=π2 ef y<0. Þegar jafnan tanθ=yx er notuð til að ákvarða θ þá er tekin lausn á milli π2 og π2 ef x>0 en á milli π2 og 3π2 ef x<0.)

1.7. Pólhnitagraf

1.7.1. Skilgreining og umræða

Látum f vera fall skilgreint fyrir θ þannig að αθβ. Jafnan r=f(θ) lýsir mengi allra punkta í planinu sem hafa pólhnit á forminu [f(θ),θ] þar sem αθβ. Þetta mengi kallast pólhnitagraf fallsins f.

Pólhnitagraf er ferill í planinu sem má stika með stikaferlinum

r:[α,β]R2

með formúlu

r(θ)=[f(θ),θ]=(f(θ)cosθ,f(θ)sinθ).

Sýnidæmi

1.8. Snertill við pólhnitagraf

1.8.1. Setning

Látum r=f(θ) vera pólhnitagraf fallsins f og gerum ráð fyrir að fallið f sé samfellt diffranlegt. Látum r(θ) tákna stikunina á pólhnitagrafinu sem innleidd er í 1.7.1. Ef vigurinn r(θ)0 þá gefur þessi vigur stefnu snertilsen: tangent line.
Smelltu fyrir ítarlegri þýðingu.
við pólhnitagrafið og út frá r(θ) má reikna hallatölu snertils við pólhnitagrafið.

1.9. Flatarmál

1.9.1. Setning

Flatarmálen: area.
Smelltu fyrir ítarlegri þýðingu.
svæðisins sem afmarkast af geislunum θ=α og θ=β (með αβ og βα2π) og pólhnitagrafi r=f(θ) (f samfellt) er

A=12βαr2dθ=12βαf(θ)2dθ.

Sýnidæmi

1.10. Bogalengd

1.10.1. Setning

Gerum ráð fyrir að fallið f(θ) sé diffranlegt. Bogalengden: arc length.
Smelltu fyrir ítarlegri þýðingu.
pólhnitagrafsins r=f(θ), þegar αθβ, er gefin með formúlunni

s=βαf(θ)2+f(θ)2dθ.

Sýnidæmi

1.11. Einingarsnertivigur

1.11.1. Skilgreining

Látum C vera feril í plani eða rúmi. Látum r vera stikun á C og gerum ráð fyrir að r sé þjáll stikaferill (þ.e.a.s. r er samfellt diffranlegur stikaferill og r(t)0 fyrir öll t). Einingarsnertivigurinn T við ferilinn C í punktinum r(t) er skilgreindur með formúlunni

T=r(t)|r(t)|=v(t)|v(t)|.

1.12. Krappi

1.12.1. Skilgreining

Látum C vera feril í plani eða rúmi og r stikun á C með bogalengd. (Þegar fjallað er um stikanir með bogalengd er venja að tákna stikann með s.) Lengd hraðavigurs er alltaf 1 og því er T(s)=v(s). Krappien: curvature.
Smelltu fyrir ítarlegri þýðingu.
ferilsins C í punktinum r(s) er skilgreindur sem talan

κ(s)=|dTds|.

Krappageislien: radius of curvature.
Smelltu fyrir ítarlegri þýðingu.
í punktinum r(s) er skilgreindur sem

ρ(s)=1κ(s).

1.13. Meginþverill

1.13.1. Skilgreining

Látum C vera feril í plani eða rúmi og r stikun á C með bogalengd. Meginþverillen: first normal.
Smelltu fyrir ítarlegri þýðingu.
í punkti r(s) er skilgreindur sem vigurinn

N(s)=T(s)|T(s)|=1κ(s)T(s).

1.13.2. Umræða

Táknum með θ hornið sem T myndar við grunnvigurinn i. Þá er κ=dθds.

_images/krappi.png

1.14. Hjúfurplan

1.14.1. Skilgreining

Látum C vera feril í plani eða rúmi og r stikun á C með bogalengd.

Hjúfurplaniðen: osculating plane.
Smelltu fyrir ítarlegri þýðingu.
við ferilinn í punkti r(s) er planið sem spannað er af vigrunum T(s) og N(s) og liggur um punktinn r(s).

Hjúfurhringuren: circle of curvature.
Smelltu fyrir ítarlegri þýðingu.
við ferilinn í punkti r(s) er hringur sem liggur í hjúfurplaninu, fer í gegnum punktinn r(s), hefur geisla ρ(s) og hefur miðju í punktinum r(s)+ρ(s)N(s).

1.15. Tvíþverill

1.15.1. Skilgreining

Látum C vera feril í plani eða rúmi og r stikun á C með bogalengd. Vigurinn

B(s)=T(s)×N(s)

kallast tvíþverillen: binormal.
Smelltu fyrir ítarlegri þýðingu.
við ferilinn í r(s).

{T(s),N(s),B(s)} er þverstaðlaður grunnur og kallast Frenet ramminn.

1.16. Vindingur

1.16.1. Setning og skilgreining

Látum C vera feril í plani eða rúmi og r stikun á C með bogalengd. Vigurinn B(s) er samsíða vigrinum N(s), þ.e.a.s. B(s) er margfeldi af N(s). Talan τ(s) þannig að

B(s)=τ(s)N(s)

kallast vindinguren: second curvature.
Smelltu fyrir ítarlegri þýðingu.
ferilsins í punktinum r(s).

1.17. Frenet-Serret jöfnurnar

1.17.1. Jöfnur

Látum C vera feril í plani eða rúmi og r stikun á C með bogalengd. Þá gildir

T(s)=κNN(s)=κT+τBB(s)=τN.

1.17.2. Setning

Látum C vera feril í plani eða rúmi. Gerum ráð fyrir að r sé þjáll stikaferill sem stikar C. Ritum v=r(t) og a=r(t). Þá gildir í punktinum r(t)

T=v|v|,B=v×a|v×a|,N=B×T,

einnig er

κ=|v×a||v|3,τ=(v×a)ddta|v×a|2.

Sýnidæmi