6. Diffur- og heildareikningur vigursviða
A reader lives a thousand lives before he dies. The man who never reads lives only one.
- George R.R. Martin, A Dance with Dragons
6.1. grad, div og curl
6.1.1. Skilgreining
Skilgreining
Skilgreinum nabla-virkjann sem diffurvirkja
6.1.2. Skilgreining
Skilgreining
Látum \(\mbox{${\bf F}$}(x,y,z)=F_1(x,y,z)\,\mbox{${\bf i}$}+F_2(x,y,z)\,\mbox{${\bf j}$}+F_3(x,y,z)\,\mbox{${\bf k}$}\) vera vigursvið og \(\varphi(x,y,z)\) vera fall.
Skilgreinum
stigul
en: gradient
Smelltu fyrir ítarlegri þýðingu.
Skilgreinum
sundurleitni
en: divergence
Smelltu fyrir ítarlegri þýðingu.
Skilgreinum
rót
en: root, radix, radical, solution
Smelltu fyrir ítarlegri þýðingu.
Aðvörun
Ef \(\varphi(x,y,z)\) er fall þá er \(\nabla \varphi(x,y,z)\) stigullinn af \(\varphi(x,y,z)\) en \(\varphi(x,y,z)\nabla\) er
diffurvirki
en: differential operator
Smelltu fyrir ítarlegri þýðingu.
Aðvörun
Sundurleitnin \(\mbox{${\rm\bf div\,}$}\mbox{${\bf F}$}\) er fall \({\mathbb R}^3\rightarrow{\mathbb R}\) en rótið \(\mbox{${\rm\bf curl\,}$}\mbox{${\bf F}$}\) er vigursvið \({\mathbb R}^3\rightarrow{\mathbb R}^3\).
6.1.3. Skilgreining
Skilgreining
Látum
\(\mbox{${\bf F}$}(x,y)=F_1(x,y)\,\mbox{${\bf i}$}+F_2(x,y)\,\mbox{${\bf j}$}\)
vera vigursvið. Skilgreinum
sundurleitni
en: divergence
Smelltu fyrir ítarlegri þýðingu.
og
rót
en: root, radix, radical, solution
Smelltu fyrir ítarlegri þýðingu.
6.1.4. Reiknireglur
Gerum ráð fyrir að \(\mbox{${\bf F}$}\) og \(\mbox{${\bf G}$}\) séu vigursvið og \(\varphi\) og \(\psi\) föll. Gerum ráð fyrir að þær hlutafleiður sem við þurfum að nota séu skilgreindar og samfelldar.
\(\nabla(\varphi\psi)=\varphi\nabla\psi+\psi\nabla\varphi\).
(b) \(\nabla\cdot(\varphi\mbox{${\bf F}$})=(\nabla\varphi)\cdot\mbox{${\bf F}$}+\varphi(\nabla\cdot\mbox{${\bf F}$})\).
(c) \(\nabla\times(\varphi\mbox{${\bf F}$})=(\nabla\varphi)\times\mbox{${\bf F}$}+\varphi(\nabla\times\mbox{${\bf F}$})\).
(d) \(\nabla\cdot(\mbox{${\bf F}$}\times\mbox{${\bf G}$})=(\nabla\times\mbox{${\bf F}$})\cdot\mbox{${\bf G}$}-\mbox{${\bf F}$}\cdot(\nabla\times\mbox{${\bf G}$})\).
(e) \(\nabla\times(\mbox{${\bf F}$}\times\mbox{${\bf G}$})=(\nabla\cdot\mbox{${\bf G}$})\mbox{${\bf F}$}+(\mbox{${\bf G}$}\cdot\nabla)\mbox{${\bf F}$}-(\nabla\cdot\mbox{${\bf F}$})\mbox{${\bf G}$}-(\mbox{${\bf F}$}\cdot\nabla)\mbox{${\bf G}$}\).
(f) \(\nabla(\mbox{${\bf F}$}\cdot\mbox{${\bf G}$})=\mbox{${\bf F}$}\times(\nabla\times \mbox{${\bf G}$})+\mbox{${\bf G}$}\times(\nabla\times \mbox{${\bf F}$})+(\mbox{${\bf F}$}\cdot\nabla)\mbox{${\bf G}$}+(\mbox{${\bf G}$}\cdot\nabla)\mbox{${\bf F}$}\).
(g) \(\nabla\cdot(\nabla\times \mbox{${\bf F}$})=0\qquad\qquad\mbox{${\rm\bf div\,}$}\mbox{${\rm\bf curl\,}$}=0\)
(h) \(\nabla\times(\nabla\varphi)=\mbox{${\bf 0}$}\qquad\qquad\mbox{${\rm\bf curl\,}$}\mbox{${\rm\bf grad\,}$}=\mbox{${\bf 0}$}\)
(i) \(\nabla\times(\nabla\times \mbox{${\bf F}$})=\nabla(\nabla\cdot\mbox{${\bf F}$})-\nabla^2\mbox{${\bf F}$}\).
6.1.5. Skilgreining
Skilgreining
Látum \(\mbox{${\bf F}$}\) vera vigursvið skilgreint á svæði \(D\).
(a) Vigursviðið \(\mbox{${\bf F}$}\) er sagt vera
sundurleitnilaust
en: solenoidal
Smelltu fyrir ítarlegri þýðingu.
(b) Vigursviðið \(\mbox{${\bf F}$}\) er sagt vera
rótlaust
en: irrotational, lamellar, non-rotational
Smelltu fyrir ítarlegri þýðingu.
Athugasemd
Vigursvið \(\mbox{${\bf F}$}(x,y,z)=F_1(x,y,z)\,\mbox{${\bf i}$}+F_2(x,y,z)\,\mbox{${\bf j}$}+F_3(x,y,z)\,\mbox{${\bf k}$}\) er rótlaust ef og aðeins ef
6.1.6. Setning
Setning
Rót vigursviðs er sundurleitnilaus en: solenoidal
.
Smelltu fyrir ítarlegri þýðingu.Stigulsvið er rótlaust en: irrotational, lamellar, non-rotational
.
Smelltu fyrir ítarlegri þýðingu.
6.1.7. Skilgreining
Skilgreining
Svæði \(D\) í rúmi eða plani kallast
stjörnusvæði
en: star domain
Smelltu fyrir ítarlegri þýðingu.
6.1.8. Setning
Setning
Látum \(\mbox{${\bf F}$}\) vera samfellt diffranlegt vigursvið
skilgreint á
stjörnusvæði
en: star domain
Smelltu fyrir ítarlegri þýðingu.
Smelltu fyrir ítarlegri þýðingu.
þá er \(\mbox{${\bf F}$}\) stigulsvið.
6.1.9. Setning
Setning
Lát \(\mbox{${\bf F}$}\) vera samfellt diffranlegt vigursvið
skilgreint á
stjörnusvæði
en: star domain
Smelltu fyrir ítarlegri þýðingu.
6.2. Sundurleitnisetningin I
6.2.1. Setning (Sundurleitnisetning I)
Setning
Látum \(\mbox{${\bf F}$}\) vera samfellt diffranlegt vigursvið skilgreint á opnu mengi \(D\) í \({\mathbb R}^3\). Látum \(P\) vera punkt á skilgreiningarsvæði \(\mbox{${\bf F}$}\) og \({\cal S}_\varepsilon\) kúluskel með miðju í \(P\) og geisla \(\varepsilon\). Látum svo \(\mbox{${\bf N}$}\) vera einingarþvervigrasvið á \({\cal S}_\varepsilon\) þannig að \(\mbox{${\bf N}$}\) vísar út á við. Þá er
þar sem \(V_\varepsilon= 4\pi\varepsilon^3/3\) er rúmmálið innan í \({\cal S}_\varepsilon\).
6.2.2. Setning (Setning Stokes I)
Setning
Látum \(\mbox{${\bf F}$}\) vera samfellt diffranlegt vigursvið skilgreint á opnu mengi \(D\) í \({\mathbb R}^3\). Látum \(P\) vera punkt á skilgreiningarsvæði \(\mbox{${\bf F}$}\) og \(C_\varepsilon\) vera hring með miðju í \(P\) og geisla \(\varepsilon\). Látum \(\mbox{${\bf N}$}\) vera einingarþvervigur á planið sem hringurinn liggur í. Áttum hringinn jákvætt. Þá er
þar sem \(A_\varepsilon= \pi\varepsilon^2\) er flatarmálið sem afmarkast af \({\cal C}_\varepsilon\).
6.2.3. Túlkun
Hugsum \(\mbox{${\bf F}$}\) sem lýsingu á vökvastreymi í \({\mathbb R}^3\).
\(\mbox{${\rm\bf div\,}$}\mbox{${\bf F}$}(P)\) lýsir því hvort vökvinn er að þenjast út eða dragast saman í punktinum \(P\). Sundurleitnisetningin (næsti fyrirlestur) segir að samanlögð útþensla á rúmskika \(R\) er jöfn streymi út um jaðar svæðisins \(\mathcal{S}\), eða
\(\mbox{${\rm\bf curl\,}$}\mbox{${\bf F}$}(P)\) lýsir hringstreymi í kringum punktinn \(P\). Setning Stokes (þar næsti fyrirlestur) segir að samanlagt hringstreymi á fleti \(\mathcal{S}\) er jafnt hringstreymi á jaðri flatarins, sem við táknum með \(\mathcal{C}\), eða
6.2.4. Skilgreining
Skilgreining
Látum \(R\) vera svæði í \({\mathbb R}^2\) og \(\cal C\)
jaðar
en: boundary, frontier, periphery
Smelltu fyrir ítarlegri þýðingu.
Smelltu fyrir ítarlegri þýðingu.
6.2.5. Setning Green
Setning
Látum \(R\) vera svæði í planinu þannig að jaðar \(R\), táknaður með \(\cal C\), samanstendur af endanlega mörgum samfellt diffranlegum ferlum. Áttum \(\cal C\) jákvætt. Látum \(\mbox{${\bf F}$}(x,y)=F_1(x,y)\,\mbox{${\bf i}$}+F_2(x,y)\,\mbox{${\bf j}$}\) vera samfellt diffranlegt vigursvið skilgreint á \(R\). Þá er
6.2.6. Fylgisetning
Setning
Látum \(R\) vera svæði í planinu þannig að jaðar \(R\) táknaður með \(\cal C\), samanstendur af endanlega mörgum samfellt diffranlegum ferlum. Áttum \(\cal C\) jákvætt. Þá er
6.2.7. Sundurleitnisetningin í tveimur víddum
Setning
Látum \(R\) vera svæði í planinu þannig að jaðar \(R\), táknaður með \(\cal C\), samanstendur af endanlega mörgum samfellt diffranlegum ferlum. Látum \(\mbox{${\bf N}$}\) tákna einingarþvervigrasvið á \(\cal C\) þannig að \(\mbox{${\bf N}$}\) vísar út úr \(R\). Látum \(\mbox{${\bf F}$}(x,y)=F_1(x,y)\,\mbox{${\bf i}$}+F_2(x,y)\,\mbox{${\bf j}$}\) vera samfellt diffranlegt vigursvið skilgreint á \(R\). Þá er
6.3. Sundurleitnisetningin II
6.3.1. Skilgreining
Skilgreining
Flötur er sagður reglulegur ef hann hefur
snertiplan
en: tangent plane
Smelltu fyrir ítarlegri þýðingu.
Flötur \(\cal S\) sem er búinn til með því að taka endanlega marga reglulega fleti \({\cal S}_1, \ldots, {\cal S}_n\) og líma þá saman á jöðrunum kallast reglulegur á köflum.
Þegar talað um einingarþvervigrasvið á slíkan flöt þá er átt við vigursvið sem er skilgreint á fletinum nema í þeim punktum þar sem fletir \({\cal S}_i\) og \({\cal S}_j\) hafa verið límdir saman. Í slíkum punktum þarf flöturinn ekki að hafa snertiplan og því ekki heldur þvervigur.
Flötur er sagður lokaður ef hann er yfirborð svæðis í \({\mathbb R}^3\) (t.d. er kúluhvel lokaður flötur).
6.3.2. Setning (Sundurleitnisetningin, Setning Gauss)
Setning
Látum \(\cal S\) vera lokaðan flöt sem er reglulegur á köflum. Táknum með \(D\) rúmskikann sem \(\cal S\) umlykur. Látum \(\mbox{${\bf N}$}\) vera einingarþvervigrasvið á \(\cal S\) sem vísar út úr \(D\). Ef \(\mbox{${\bf F}$}\) er samfellt diffranlegt vigursvið skilgreint á \(D\) þá er
6.3.3. Skilgreining
Skilgreining
Látum \(D\) vera rúmskika í \({\mathbb R}^3\). Segjum að rúmskikinn \(D\) sé \(z\)-einfaldur ef til er svæði \(D_z\) í planinu og samfelld föll \(f\) og \(g\) skilgreind á \(D_z\) þannig að
Það að rúmskiki sé \(x\)- eða \(y\)-einfaldur er skilgreint á sama hátt.
6.3.4. Setning
Setning
Látum \(\cal S\) vera lokaðan flöt sem er reglulegur á köflum. Táknum með \(D\) rúmskikann sem \(\cal S\) umlykur. Látum \(\mbox{${\bf N}$}\) vera einingarþvervigrasvið á \(\cal S\) sem vísar út úr \(D\). Ef \(\mbox{${\bf F}$}\) er samfellt diffranlegt vigursvið skilgreint á \(D\) og \(\varphi\) diffranlegt fall skilgreint á \(D\) þá er
og
Athugið að útkomurnar úr heildunum eru vigrar.
6.4. Setning Stokes
6.4.1. Skilgreining
Skilgreining
Látum \(\cal S\) vera áttanlegan flöt sem er reglulegur á köflum með jaðar \(\cal C\) og einingarþvervigrasvið \(\mbox{${\bf N}$}\). Áttun \(\cal C\) út frá \(\mbox{${\bf N}$}\) finnst með að hugsa sér að gengið sé eftir \(\cal C\) þannig að skrokkurinn vísi í stefnu \(\mbox{${\bf N}$}\) og göngustefnan sé valin þannig að flöturinn sé á vinstri hönd.
6.4.2. Setning (Setning Stokes)
Setning
Látum \(\cal S\) vera áttanlegan flöt sem er reglulegur á köflum og
látum \(\mbox{${\bf N}$}\) tákna einingarþvervigrasvið á
\(\cal S\). Táknum með \(\cal C\) jaðar \(\cal S\) og áttum
\(\cal C\) með tilliti til \(\mbox{${\bf N}$}\). Ef
\(\mbox{${\bf F}$}\) er samfellt diffranlegt vigursvið skilgreint á
opnu mengi
en: open set, region
Smelltu fyrir ítarlegri þýðingu.
6.4.3. Setning
Setning
Látum \(\mbox{${\bf F}$}\) vera samfellt diffranlegt vigursvið skilgreint á opnu mengi \(D\) í \({\mathbb R}^3\). Látum \(P\) vera punkt á skilgreiningarsvæði \(\mbox{${\bf F}$}\) og \(C_\varepsilon\) vera hring með miðju í \(P\) og geisla \(\varepsilon\). Látum \(\mbox{${\bf N}$}\) vera einingarþvervigur á planið sem hringurinn liggur í. Áttum hringinn jákvætt. Þá er
6.4.4. Setning
Setning
Látum \(\cal S\) vera lokaðan flöt sem er reglulegur á köflum. Táknum með \(D\) rúmskikann sem \(\cal S\) umlykur. Látum \(\mbox{${\bf N}$}\) vera einingarþvervigrasvið á \(\cal S\) sem vísar út úr \(D\). Ef \(\mbox{${\bf F}$}\) er samfellt diffranlegt vigursvið skilgreint á opnu mengi sem inniheldur \(D\), þá er
6.5. Hagnýtingar í eðlisfræði
6.5.1. Vökvaflæði
Skoðum vökvaflæði í rúmi. Hugsum okkur að vökvaflæðið sé líka háð tíma. Látum \(\mbox{${\bf v}$}(x,y,z,t)\) tákna hraðavigur agnar sem er í punktinum \((x,y,z)\) á tíma \(t\). Látum \(\delta(x,y,z,t)\) tákna efnisþéttleika (massi per rúmmálseiningu) í punktum \((x,y,z)\) á tíma \(t\). Þá gildir að
(Þessi jafna kallast samfelldnijafnan um vökvaflæðið.)
6.5.2. Vökvaflæði
Til viðbótar við \(\mbox{${\bf v}$}\) og \(\delta\) þá skilgreinum við \(p(x,y,z,t)\) sem þrýsting og \(\mbox{${\bf F}$}\) sem utanaðkomandi kraft, gefinn sem kraftur per massaeiningu. Þá gildir að
(Þessi jafna er kölluð hreyfijafna flæðisins.)
6.5.3. Rafsvið - Lögmál Coulombs
Látum punkthleðslu \(q\) vera í punktinum \(\mbox{${\bf s}$}=\xi\,\mbox{${\bf i}$}+\eta\,\mbox{${\bf j}$}+\zeta\,\mbox{${\bf k}$}\). Í punktum \(\mbox{${\bf r}$}=x\,\mbox{${\bf i}$}+y\,\mbox{${\bf j}$}+z\,\mbox{${\bf k}$}\) er rafsviðið vegna þessarar hleðslu
þar sem \(\varepsilon_0\) er rafsvörunarstuðull tómarúms.
6.5.4. Rafsvið - Lögmál Gauss (fyrsta jafna Maxwells)
Látum \(\rho(\xi,\eta,\zeta)\) vera hleðsludreifingu og \(\mbox{${\bf E}$}\) rafsviðið vegna hennar. Þá gildir að
6.5.5. Rafsvið
Látum \(\rho(\xi,\eta,\zeta)\) vera hleðsludreifingu á takmörkuðu svæði \(R\) og \(\mbox{${\bf E}$}\) rafsviðið vegna hennar. Ef við setjum
þá er \(\mbox{${\bf E}$}= \nabla \varphi\) og þar með er
6.5.6. Segulsvið - Lögmál Biot-Savart
Látum straum \(I\) fara eftir ferli \(\cal F\). Táknum segulsviðið með \(\mbox{${\bf H}$}\) og látum \(\mbox{${\bf s}$}=\xi\,\mbox{${\bf i}$}+\eta\,\mbox{${\bf j}$}+\zeta\,\mbox{${\bf k}$}\) vera punkt á ferlinum \(\cal F\). Þá gefur örbútur \(d\mbox{${\bf s}$}\) úr \(\cal F\) af sér segulsvið
þar sem \(\mu_0\) er segulsvörunarstuðull tómarúms. Af þessu sést að
og sýna má að ef \(\mbox{${\bf r}$}\notin \mathcal{F}\) þá er
6.5.7. Segulsvið - Lögmál Ampére
Hugsum okkur að straumur \(I\) fari upp eftir \(z\)-ás. Táknum með \(\mbox{${\bf H}$}\) segulsviðið og \(H=|\mbox{${\bf H}$}|\). Í punkti \(\mbox{${\bf r}$}=x\,\mbox{${\bf i}$}+y\,\mbox{${\bf j}$}+z\,\mbox{${\bf k}$}\) í fjarlægð \(a\) frá \(z\)-ás er \(H=\frac{\mu_0 I}{2\pi a}\) og ef \(\cal C\) er lokaður einfaldur ferill sem fer rangsælis einu sinni umhverfis \(z\)-ásinn þá er
Hugsum okkur að \(\mathbf{J}(\mbox{${\bf r}$})\) sé straumþéttleiki í punkti \(\mbox{${\bf r}$}\) (straumur á flatareiningu). Þá er
Einnig gildir að ef við setjum
þá er \(\mbox{${\bf H}$}=\mbox{${\rm\bf curl\,}$}\mbox{${\bf A}$}\) og því er
6.5.8. Samantekt
Jöfnur Maxwells
My old grandmother always used to say, Summer friends will melt away like summer snows, but winter friends are friends forever.
- George R.R. Martin, A Feast for Crows