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ð
og þegar fjallað er um stikaferil r:[a,b]→R3 þá er oft ritað
1.3. Ferlar og stikanir á ferlum¶
1.3.1. Skilgreining¶
Ferill í planien: curve.
Smelltu fyrir ítarlegri þýðingu.
Smelltu fyrir ítarlegri þýðingu.
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
lýsir ferli í planinu sem er hringur með miðju í (0,0) og geisla 1. Dæmi um ólíkar stikanir:
1.4. Diffrun stikaferla¶
1.4.1. Skilgreining¶
Stikaferill r:[a,b]→Rn er diffranlegur í punkti t ef markgildið
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ð
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.
Smelltu fyrir ítarlegri þýðingu.
1.4.4. Dæmi¶
Lítum á eftirfarand stikaferla sem stika hring með miðju í (0,0) og geisla 1.
Þá er tilsvarandi hraði
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.
Smelltu fyrir ítarlegri þýðingu.
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
[bi−1,bi]. Það að stikaferill sé þjáll á köflumen: piecewise smooth.
Smelltu fyrir ítarlegri þýðingu.
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.
Ef g′(t)≠0 á I þá hefur ferilinn þverlínuen: normal.
Smelltu fyrir ítarlegri þýðingu.
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.
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ð a≤t1<t2≤b þá gildir
(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.
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.
1.6.2. Regla¶
Ef pólhnit punkts í plani eru [r,θ] þá má reikna
hornrétt hniten: orthogonal coordinates.
Smelltu fyrir ítarlegri þýðingu.
Ef við þekkjum xy-hnit punkts þá má finna pólhnitin út frá jöfnunum
(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
með formúlu
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.
1.9. Flatarmál¶
1.9.1. Setning¶
Flatarmálen: area.
Smelltu fyrir ítarlegri þýðingu.
1.10. Bogalengd¶
1.10.1. Setning¶
Gerum ráð fyrir að fallið f(θ) sé diffranlegt. Bogalengden: arc length.
Smelltu fyrir ítarlegri þýðingu.
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
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.
Krappageislien: radius of curvature.
Smelltu fyrir ítarlegri þýðingu.
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.
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.
Hjúfurhringuren: circle of curvature.
Smelltu fyrir ítarlegri þýðingu.
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
kallast tvíþverillen: binormal.
Smelltu fyrir ítarlegri þýðingu.
{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ð
kallast vindinguren: second curvature.
Smelltu fyrir ítarlegri þýðingu.