Rotation (vektoranalys)

Ett roterande vektorfält.

Rotation (rot eller curl) är en operator inom vektoranalys. Ett vektorfälts rotation i en punkt P är en vektor. Denna vektors komponent längs en axel n kan definieras som gränsvärdet för en cirkulationsintegral enligt formeln:

$\left(\mathrm {rotA} \right)_{P}\cdot \mathbf {n} =\lim _{{\textrm {area(C)}}\rightarrow 0}{\frac {1}{\textrm {area(C)}}}\oint _{C}\mathbf {A} \cdot d\mathbf {r}$

där area(C) betecknar mätetalet för den area som omsluts av den slutna kurvan C, där C innehåller P och är i ett plan vinkelrätt mot n. Fysikaliskt betyder alltså rotationen att vi mäter arbetet (räknat med tecken) som går åt för att flytta en liten partikel runt en punkt P med axeln i riktning n i till exempel cirkulära små banor (det går även bra med andra former på banorna, säg fyrkantiga eller elliptiska).

I kartesiska koordinater kan rotationen till ett vektorfält F, där F är sammansatt av [F_x, F_y, F_z], beräknas med determinanten

${\begin{vmatrix}\mathbf {i} &\mathbf {j} &\mathbf {k} \\[5pt]{\dfrac {\partial }{\partial x}}&{\dfrac {\partial }{\partial y}}&{\dfrac {\partial }{\partial z}}\\[5pt]F_{x}&F_{y}&F_{z}\end{vmatrix}}$

där i, j, och k är enhetsvektorerna för x-, y- respektive z-axeln. Determinanten kan expanderas enligt

$\left({\frac {\partial F_{z}}{\partial y}}-{\frac {\partial F_{y}}{\partial z}}\right)\mathbf {i} +\left({\frac {\partial F_{x}}{\partial z}}-{\frac {\partial F_{z}}{\partial x}}\right)\mathbf {j} +\left({\frac {\partial F_{y}}{\partial x}}-{\frac {\partial F_{x}}{\partial y}}\right)\mathbf {k}$

Detta kan även skrivas med hjälp av nablaoperatorn som ∇ × F.

Rotationen är intressant därför att den ger en (första) generalisering av analysens fundamentalsats, det vill säga hur en ytintegral ges i form av en integral längs ytans rand. Istället för att obestämd integral och derivata är inversa operationer, blir rotationen och ytintegration inversa par, på analogt (men ej exakt samma) sätt. Motsvarande (andra) generaliseringar ges av begreppet divergens. Rotation och divergens är alltså nära sammankopplade; de övergår för övrigt båda i Greens formel i planet när man betraktar vektorfält bara i planet.

Man kan visa att rotationen i en punkt mäter hur mycket ett mycket litet "paddelhjul" snurrar i punkten, närmare bestämt är den dubbla vinkelhastigheten. Skulle man jämnt fördelat strö ut barr i en vattenvirvel, säg, när man tappar ur vattnet ur badkaret borde de ge en bra bild av hur rotationen som uppstår av vektorfältet (som härrör från kraften badkarsutsuget ger upphov till) geometriskt ser ut i varje punkt. Man inser att benämningen rotation är väl vald.

Ett vektorfält vars rotation är noll kallas virvelfritt eller rotationsfritt, vilket känns naturligt i ljuset av ovanstående geometriska beskrivning.

Typiska virvelfria vektorfält inkluderar alla konstanta funktioner som till exempel A₁ = (1,0,0) och A₂ = (5,2,3) (hur mycket skulle barr rotera om man släppte ner dem? Inte alls, de skulle bara flyta med i riktningen som ges av vektorn A₁ eller A₂!). Mindre trivialt är att även ortsvektorn r är virvelfri. Att den är virvelfri i origo är intuitivt, men inte helt intuitivt att den verkligen är det även bortanför origo, säg när man translaterat den längs en vektor a. Att den verklingen är virvelfri även utanför centrum inses nog lättast genom att man begrundar faktumet vektoroperatorn ∇× är linjär, det vill säga för godtyckliga reella konstanter α och β gäller

$\nabla \times \left(\alpha \mathbf {A} +\beta \mathbf {B} \right)=\alpha \cdot \nabla \times \mathbf {A} +\beta \cdot \nabla \times \mathbf {B}$

Ett enkelt icke-virvelfritt fält, å andra sidan, och som "virvlar" lika mycket överallt (har konstant norm, oberoende av mätpunkt) ges av

$\mathbf {A_{3}} =-\mathbf {e_{x}} \cdot k\sin \theta +\mathbf {e_{y}} \cdot k\cos \theta =\mathbf {e_{\theta }} \cdot k$

Det har styrka k och snurrar med axel i riktningen n = e_z (ett badkar ger nog inte en virvel av sådan typ – troligen roterar virveln snabbare närmare utsuget). Eftersom dubbla vinkelhastigheten ger rotationen, får man vinkelhastigheten av detta uttryck:

$\mathbf {\omega } ={\frac {1}{2}}\nabla \times \mathbf {A} =$ beräkna den formella determinanten ovan $={\frac {k}{2}}\mathbf {e_{z}}$

Farten ges alltså av halva styrke-konstanten.

Som följd av Helmholtz sats är vektorfältet bestämt av dess rotationsdel och dess divergensdel (under någon förutsättning). Vet man båda dessa, löst uttryckt, "generaliserade derivatorna" vet man också funktionen.

Se även

• Gradient
• Divergens (vektoranalys)