---
kurs:
  - M0068M
tags:
  - matematik
  - flervariabelanalys
  - vektoranalys
förkunskaper:
  - "[[Vektorfält]]"
  - "[[Partiella derivator]]"
status: utkast
aliases:
  - Divergens
  - Rotation
  - Curl
  - Div
  - Nabla-operatorn
---
> **Kurs:** M0068M
> **Förkunskaper:** [[Vektorfält]], [[Partiella derivator]]

---

## Två frågor om ett flöde

Tänk dig att [[Vektorfält|vektorfältet]] $\vec F$ beskriver hastigheten hos en vätska — vid varje punkt i rummet finns en pil som säger åt vilket håll och hur snabbt vätskan rör sig just där. När man står med ett sådant fält framför sig dyker två frågor upp naturligt:

1. **Tar det slut på vatten någonstans?** Finns det punkter där vätska liksom dyker upp ur tomma luften, eller försvinner ner i ett dolt avlopp?
2. **Snurrar det?** Om man stoppar ner en liten skovel i vätskan vid en punkt — börjar den rotera?

Den första frågan svarar **divergensen** på. Den andra svarar **rotationen** på. Det är allt. Resten är bokföring.

## Divergens

Föreställ dig en punkt i rummet och en liten boll runt den. Mät hur mycket vätska som flödar **ut** genom bollens yta minus hur mycket som flödar **in**. Krymp sedan bollen ner mot punkten och titta på överskottet per volym. Det talet är divergensen i punkten:
![[Pasted image 20260521081502.png|405]]![[Pasted image 20260521081549.png|415]]
$$
\boxed{\;\operatorname{div}\vec F=\nabla\cdot\vec F=\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}\;}
$$

- **Positiv divergens** = en *källa*. Vätska produceras här. Tänk en kran, en gnistrande elektron, en exploderande stjärna.
- **Negativ divergens** = en *sänka*. Vätska försvinner. Avloppet, det svarta hålet, den absorberande antennen.
- **Nolldivergens** = lika mycket in som ut. Vätskan bara *passerar* punkten. Detta kallas att fältet är **inkompressibelt** eller **källfritt**.

Lägg märke till att divergensen är en **skalär** — en siffra per punkt. Den säger inget om åt vilket håll något händer, bara *hur mycket netto-utströmning* det är.

> [!tip] Den mentala bilden
> Sätt en osynlig liten badring runt punkten. Räkna pilar som pekar ut, dra bort pilar som pekar in. Resultatet — normerat mot ringens volym när den krymper — är divergensen.

### Exempel som bygger intuition

- $\vec F(x,y,z) = (x,y,z)$ pekar radiellt utåt från origo, snabbare ju längre ut man kommer. Här pumpar varje punkt ut vätska: $\nabla\cdot\vec F = 3$. Hela rummet är en gigantisk källa.
- $\vec F(x,y,z) = (-y,x,0)$ snurrar runt $z$-axeln som en virvelström. Vätska tar sig aldrig in eller ut ur en liten boll — den åker bara förbi: $\nabla\cdot\vec F = 0$.
- $\vec F(x,y,z) = (y,x,0)$ ser ut som ett sadelmönster. Trots det är divergensen $0$ överallt: vad som strömmar in från ett håll strömmar ut åt ett annat.

## Rotation
![[airplane_vortex.jpg|248]]![[twister.jpeg|268]]![[Pasted image 20260521080848.png|304]]

Här är experimentet: stoppa ner en mikroskopisk skovelhjul (ett *paddle wheel*) vid en punkt. Låt vätskan trycka på skovlarna. Om hjulet börjar snurra är rotationen nollskild — och rotationsvektorn pekar längs hjulets axel, med riktning given av högerhandsregeln:

$$
\boxed{\;\operatorname{rot}\vec F=\nabla\times\vec F=\left(\frac{\partial R}{\partial y}-\frac{\partial Q}{\partial z},\;\frac{\partial P}{\partial z}-\frac{\partial R}{\partial x},\;\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)\;}
$$

Det viktiga är inte formeln utan dess innebörd: **rotationen mäter hur fältet vrider sig kring varje punkt**, lokalt. Längden på vektorn säger hur snabbt skovelhjulet skulle snurra. Riktningen säger åt vilket håll axeln pekar.

> [!important] Lokal är *lokal*
> En vätska kan strömma i en stor cirkel utan att rotationen är nollskild — och tvärtom. Det avgörande är inte om vätskan rör sig längs en böjd bana, utan om en *liten* skovel skulle vridas runt sin egen mittpunkt.


### Exempel som luras

- $\vec F(x,y,z) = (-y,x,0)$ snurrar runt $z$-axeln. En skovel **var som helst** i fältet snurrar — i samma takt och åt samma håll. $\nabla\times\vec F = (0,0,2)$. Hela fältet vrider sig som en stel kropp.
- $\vec F(x,y,z) = (x,y,z)$ — det radiella fältet — har $\nabla\times\vec F = \vec 0$. Trots att fältet "spränger ut" från origo finns ingen lokal vridning. En skovel bara skjuts utåt, den snurrar inte.
- Mer förrädiskt: ett vattenfall som rinner snabbare i mitten än vid kanterna. Vätskan rör sig rakt nedåt överallt, men eftersom flödet är snabbare i mitten kommer en skovel nära kanten att börja snurra (den ena sidan trycks hårdare än den andra). **Rotation kan finnas även där allt rör sig rakt.**

## Två oberoende egenskaper

Divergens och rotation mäter olika saker. Ett fält kan ha:

| Divergens | Rotation | Exempel |
|---|---|---|
| ja | nej | Elektriskt fält från en punktladdning |
| nej | ja | Magnetfält runt en rak ledare |
| ja | ja | Allmänt strömningsfält |
| nej | nej | Ett "snällt" fält — gradient av en harmonisk potential |

Det är inte en slump att tabellens fyra fall alla dyker upp i fysiken. **Helmholtz dekompositionsteorem** säger att varje rimligt vektorfält i $\mathbb R^3$ kan skrivas som summan av två delar: en helt rotationsfri (gradient av en skalär) och en helt divergensfri (rotation av en vektor). Med andra ord: divergens och rotation är de två "primärfärgerna" som vektorfält målas med.

## Vad satsen verkligen säger

Två integralsatser knyter divergens och rotation till saker man kan **mäta** genom integration:

- **[[Gauss sats]]** (divergenssatsen): det totala flödet ut genom en sluten yta är lika med integralen av divergensen över det innesluta volymen. Bokstavligen: räknar man källor inuti, vet man flödet ut.
- **[[Stokes sats]]**: cirkulationen runt en sluten kurva är lika med integralen av rotationens normalkomponent över en yta som spänns av kurvan. Bokstavligen: räknar man virvlar inuti, vet man cirkulationen runt.

I 2D smälter Stokes sats samman med [[Greens sats]] — och rotationen blir bara den ena $z$-komponenten.

Det här är inte djupa fakta i sig själva. Det är *definitioner*, om man tar dem på allvar: divergensen *är* netto-flödet ut per volym, och rotationen *är* cirkulationen per area. Formlerna med partiella derivator är bara vad de blir när man räknar i kartesiska koordinater.

## Identiteter för grad, div och rot

Adams samlar de viktigaste sambanden i ett enda teorem (§17.2, Theorem 3). Låt $\phi,\psi$ vara skalärfält och $\vec F,\vec G$ vektorfält, alla tillräckligt deriverbara. Då gäller:

> [!abstract] Vector differential identities
> **Förstaordnings-identiteter** (varianter av produktregeln)
>
> $$
> \begin{aligned}
> \text{(a)}\quad &\nabla(\phi\psi) = \phi\,\nabla\psi + \psi\,\nabla\phi \\[2pt]
> \text{(b)}\quad &\nabla\cdot(\phi\vec F) = (\nabla\phi)\cdot\vec F + \phi\,(\nabla\cdot\vec F) \\[2pt]
> \text{(c)}\quad &\nabla\times(\phi\vec F) = (\nabla\phi)\times\vec F + \phi\,(\nabla\times\vec F) \\[2pt]
> \text{(d)}\quad &\nabla\cdot(\vec F\times\vec G) = (\nabla\times\vec F)\cdot\vec G - \vec F\cdot(\nabla\times\vec G) \\[2pt]
> \text{(e)}\quad &\nabla\times(\vec F\times\vec G) = (\nabla\cdot\vec G)\vec F + (\vec G\cdot\nabla)\vec F - (\nabla\cdot\vec F)\vec G - (\vec F\cdot\nabla)\vec G \\[2pt]
> \text{(f)}\quad &\nabla(\vec F\cdot\vec G) = \vec F\times(\nabla\times\vec G) + \vec G\times(\nabla\times\vec F) + (\vec F\cdot\nabla)\vec G + (\vec G\cdot\nabla)\vec F
> \end{aligned}
> $$
>
> **Andraordnings-identiteter**
>
> $$
> \begin{aligned}
> \text{(g)}\quad &\nabla\cdot(\nabla\times\vec F) = 0 && (\text{div curl} = 0) \\[2pt]
> \text{(h)}\quad &\nabla\times(\nabla\phi) = \vec 0 && (\text{curl grad} = 0) \\[2pt]
> \text{(i)}\quad &\nabla\times(\nabla\times\vec F) = \nabla(\nabla\cdot\vec F) - \nabla^2\vec F && (\text{curl curl} = \text{grad div} - \nabla^2)
> \end{aligned}
> $$

Skalärdifferentialoperatorn $(\vec G\cdot\nabla)$ i (e) och (f) verkar komponentvis:

$$
(\vec G\cdot\nabla)\vec F = G_1\,\frac{\partial \vec F}{\partial x} + G_2\,\frac{\partial \vec F}{\partial y} + G_3\,\frac{\partial \vec F}{\partial z}.
$$

Laplaceoperatorn definieras för skalärer som $\nabla^2\phi = \nabla\cdot(\nabla\phi) = \phi_{xx}+\phi_{yy}+\phi_{zz}$ och för vektorfält komponentvis: $\nabla^2\vec F = (\nabla^2 F_1,\,\nabla^2 F_2,\,\nabla^2 F_3)$.

> [!important] De två som bär hela maskineriet
> Identiteterna (g) och (h) — *div curl = 0* och *curl grad = 0* — är de man stöter på överallt:
>
> - **Rotationer har ingen divergens.** Om fältet redan virvlar runt så pumpar det inte också ut vätska. Curlfält är källfria per konstruktion.
> - **Gradienter har ingen rotation.** En potentialfunktion definierar ett fält som "bara rinner nedåt" — det kan inte snurra. Konservativa fält är just de rotationsfria (i enkelt sammanhängande områden).
>
> Tillsammans är de ryggraden i [[Maxwells ekvationer]] och förklaringen till varför det inte finns magnetiska monopoler. Identitet (i) är den som omvandlar Maxwell-ekvationerna till vågekvationen.

> [!note] Solenoidalt och irrotationellt
> Adams ger två termer som används i resten av kapitlet:
>
> - **Solenoidalt fält:** $\nabla\cdot\vec F = 0$. På tillräckligt snälla områden är ekvivalent: $\vec F = \nabla\times\vec G$ för någon vektorpotential $\vec G$.
> - **Irrotationellt fält:** $\nabla\times\vec F = \vec 0$. På enkelt sammanhängande områden är ekvivalent: $\vec F = \nabla\phi$ för någon skalärpotential $\phi$.

## Var det dyker upp i fysiken

- **Elektriska fält:** $\nabla\cdot\vec E = \rho/\varepsilon_0$ (laddningar är källor), $\nabla\times\vec E$ är nollskild bara när magnetfältet förändras.
- **Magnetiska fält:** $\nabla\cdot\vec B = 0$ alltid (inga magnetiska monopoler), $\nabla\times\vec B$ ges av strömtätheten.
- **Vätskeflöden:** divergensen är källtätheten, rotationen är virveltätheten.
- **Värmeledning:** temperaturens gradient ger ett strömningsfält vars divergens är värmeproduktion per volym.

## Räkneexempel

> [!example]- Exempel 1 — Beräkna och tolka divergensen
> Bestäm divergensen för fältet $\vec F(x,y) = (x^2,\, y^2)$ och tolka resultatet geometriskt.
>
> > [!note]- Lösning
> > Med $P = x^2$ och $Q = y^2$ får vi
> >
> > $$
> > \nabla\cdot\vec F = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} = 2x + 2y = 2(x+y).
> > $$
> >
> > Tecknet på divergensen avgörs alltså av linjen $x+y=0$:
> >
> > | Region | $\nabla\cdot\vec F$ | Tolkning |
> > |---|---|---|
> > | $x+y>0$ (uppe/höger) | $>0$ | källa — vätska produceras |
> > | $x+y=0$ (diagonal) | $0$ | källfri — vätska passerar |
> > | $x+y<0$ (nere/vänster) | $<0$ | sänka — vätska försvinner |
> >
> > $$
> > \boxed{\;\nabla\cdot\vec F = 2(x+y)\;}
> > $$
> >
> > ![[divergens-exempel.png|520]]
> >
> > Pilarna växer ut radiellt i första kvadranten (där bägge komponenter är positiva) och pekar inåt mot origo i tredje kvadranten — precis vad teckenanalysen förutsäger. Diagonalen är den enda kurvan där fältet är lokalt källfritt.

> [!example]- Exempel 2 — Rotation i ett skjuvflöde
> Beräkna $\nabla\times\vec F$ för $\vec F(x,y,z) = (y,\,0,\,0)$ — ett rakt flöde där hastigheten ökar med $y$.
>
> > [!note]- Lösning
> > Med $P=y$, $Q=0$, $R=0$ blir
> >
> > $$
> > \nabla\times\vec F = \left(\tfrac{\partial R}{\partial y}-\tfrac{\partial Q}{\partial z},\;\tfrac{\partial P}{\partial z}-\tfrac{\partial R}{\partial x},\;\tfrac{\partial Q}{\partial x}-\tfrac{\partial P}{\partial y}\right) = (0,\,0,\,-1).
> > $$
> >
> > $$
> > \boxed{\;\nabla\times\vec F = -\hat k\;}
> > $$
> >
> > ![[rotation-skjuvflode.png|520]]
> >
> > Trots att vätskan rör sig rakt åt höger överallt (ovanför $x$-axeln) och rakt åt vänster nedanför, är rotationen *konstant* och pekar in i papperet. Förklaringen syns i bilden: skoveln har snabbare ström på sin övre kant än sin nedre — den ena sidan trycks hårdare än den andra och hjulet börjar rotera medurs. Detta är samma fenomen som vattenfallet i exempel-listan ovan: lokal vridning kräver inte böjda strömlinjer, bara *att hastigheten varierar tvärs över skoveln*.

> [!example]- Exempel 3 — Verifiera att $\nabla\cdot(\nabla\times\vec F) = 0$ (identitet g)
> Visa identiteten konkret för $\vec F(x,y,z) = (xy,\, z^2,\, x^2)$.
>
> > [!note]- Lösning
> > **Steg 1: Beräkna $\nabla\times\vec F$.**
> >
> > Med $P=xy$, $Q=z^2$, $R=x^2$:
> >
> > $$
> > \nabla\times\vec F = \left(\frac{\partial R}{\partial y}-\frac{\partial Q}{\partial z},\;\frac{\partial P}{\partial z}-\frac{\partial R}{\partial x},\;\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)
> > = (0-2z,\; 0-2x,\; 0-x) = (-2z,\,-2x,\,-x).
> > $$
> >
> > **Steg 2: Beräkna divergensen av rotationen.**
> >
> > $$
> > \nabla\cdot(\nabla\times\vec F) = \frac{\partial(-2z)}{\partial x} + \frac{\partial(-2x)}{\partial y} + \frac{\partial(-x)}{\partial z} = 0 + 0 + 0 = 0. \qquad\checkmark
> > $$
> >
> > $$
> > \boxed{\;\nabla\cdot(\nabla\times\vec F) = 0\;}
> > $$
> >
> > Anledningen till att termerna alltid kancellerar är likheten av blandade andraderivator (Schwarz sats): $\nabla\cdot(\nabla\times\vec F)$ är en summa där varje blandad andraderivata $\partial^2 F_i/\partial x_j\partial x_k$ dyker upp en gång med $+$ och en gång med $-$. Det är därför *varje* curlfält är solenoidalt.

## Läsning

- [[z.Calculus A Complete Course 10th.pdf#page=954|17.1 Gradient, Divergence, and Curl]]
- [[z.Calculus A Complete Course 10th.pdf#page=963|17.2 Some Identities Involving Grad, Div, and Curl]]

## Se även

- [[Vektorfält]]
- [[Gradient och riktningsderivata]]
- [[Gauss sats]]
- [[Stokes sats]]
- [[Greens sats]]
- [[Flödesintegraler]]
- [[Kurvintegraler av vektorfält]]

## Resurser

- [3Blue1Brown: Divergence and curl](https://youtu.be/rB83DpBJQsE) — den definitiva visuella förklaringen.
- [Khan Academy: Divergence](https://www.khanacademy.org/math/multivariable-calculus/multivariable-derivatives/divergence-articles/a/divergence)
- [Wikipedia: Helmholtz decomposition](https://en.wikipedia.org/wiki/Helmholtz_decomposition)