Här når vi kulmen av vektoranalysen! Stokes sats och divergenssatsen är som de stora finalsatserna i matematikens symfoni. De förenar allt vi lärt oss - gradienter, linjeintegraler, ytintegraler och volymintegraler - i två eleganta satser som genomsyrar hela fysiken. Det är som att upptäcka att alla naturens krafter följer samma djupa matematiska mönster!
Fördjupning
Dessa satser är generaliseringar av fundamentalsatsen för analys till högre dimensioner. De kopplar samman lokala egenskaper (derivator) med globala egenskaper (integraler över randen) och utgör grunden för Maxwells ekvationer, kontinuumsmekanik och modern fysik.
Stokes sats
Stokes sats kopplar cirkulationen av ett vektorfält längs en sluten kurva med flödet av dess rotation genom den inneslutna ytan.
Fysikalisk tolkning
Totala virvelrörelsen runt kanten = summan av alla små virvlar inuti
Divergenssatsen (Gauss sats)
Divergenssatsen kopplar flödet ut genom en sluten yta med divergensen inne i volymen.
Fysikalisk tolkning
Netto flöde ut = alla källor minus alla sänkor inuti
Rotation (curl) i tre dimensioner
Rotationen av ett vektorfält F = (P, Q, R) är själv ett vektorfält som mäter 'virvling' runt varje punkt.
Determinantform
∇ × F = det([i, j, k; ∂/∂x, ∂/∂y, ∂/∂z; P, Q, R])
Tillämpningar i fysik
Dessa satser är fundamentala för Maxwells ekvationer, vätskedynamik och alla områden av matematisk fysik.
Faradays lag
∮_C E · dr = -d/dt ∬_S B · n dS (Stokes sats)
Gauss lag
∬_S E · n dS = Q/ε₀ (divergenssatsen)
Kontinuitetsekvationen
∂ρ/∂t + ∇ · (ρv) = 0 (massbevarande)
Vanliga misstag
❌ Fel orientering av yta och rand
Ytan och dess rand måste ha konsistent orientering enligt högerhandsregeln
❌ Använda fel sats för fel typ av integral
Stokes för cirkulation/rotation, divergens för flöde/källor
❌ Glömma att ytan/volymen måste vara sluten
Divergenssatsen kräver sluten yta, Stokes kräver yta med sluten rand
Tillämpningar
Elektromagnetism
Maxwells ekvationer i integral- och differentialform
Vätskedynamik
Navier-Stokes ekvationer och strömningsanalys
Värmetransport
Värmeledningsekvationer
Kvantfältteori
Gauge-teorier och topologiska invarianter
Övningar
Använd Stokes sats för att beräkna ∮_C F · dr där F(x,y,z) = (y, -x, z²) och C är kanten av triangeln med hörn (1,0,0), (0,1,0), (0,0,1)
Tips
Parametrisera triangeln och beräkna ∇ × F
Visa facit
- ∇ × F = ∇ × (y, -x, z²) = (0, 0, -1-1) = (0, 0, -2)
- Triangeln kan parametriseras som r(u,v) = (1-u-v, u, v)
- där 0 ≤ u ≤ 1, 0 ≤ v ≤ 1-u
- r_u = (-1, 1, 0), r_v = (-1, 0, 1)
- r_u × r_v = (1, 1, 1)
- (∇ × F) · (r_u × r_v) = (0,0,-2) · (1,1,1) = -2
- Stokes sats: ∮_C F · dr = ∬_S (∇ × F) · n dS
- = ∬_D -2 du dv = -2 · Area(triangel) = -2 · 1/2 = -1
Svar: -1
Använd divergenssatsen för att beräkna flödet av F(x,y,z) = (x³, y³, z³) ut genom sfären x² + y² + z² = 1
Tips
Beräkna ∇ · F och integrera över klot
Visa facit
- ∇ · F = ∂(x³)/∂x + ∂(y³)/∂y + ∂(z³)/∂z = 3x² + 3y² + 3z²
- Divergenssatsen: ∬_S F · n dS = ∭_V ∇ · F dV
- = ∭_V 3(x² + y² + z²) dV
- I sfäriska koordinater: x² + y² + z² = r²
- = ∫₀^{2π} ∫₀^π ∫₀¹ 3r² · r² sin φ dr dφ dθ
- = 3 ∫₀^{2π} dθ ∫₀^π sin φ dφ ∫₀¹ r⁴ dr
- = 3 · 2π · 2 · 1/5 = 12π/5
Svar: 12π/5
Verifiera Stokes sats för F(x,y,z) = (z, x, y) över halva enhetsfären z ≥ 0
Tips
Beräkna båda sidor av Stokes sats separat
Visa facit
- Vänster sida - linjeintegral runt enhetscirkeln i xy-planet:
- C: r(t) = (cos t, sin t, 0), t ∈ [0, 2π]
- F(r(t)) = (0, cos t, sin t), r'(t) = (-sin t, cos t, 0)
- ∮_C F · dr = ∫₀^{2π} (0, cos t, sin t) · (-sin t, cos t, 0) dt
- = ∫₀^{2π} cos²t dt = π
- Höger sida - ytintegral över halsfär:
- ∇ × F = ∇ × (z, x, y) = (1, 1, 1)
- Sfärparametrisering: r(θ,φ) = (sin φ cos θ, sin φ sin θ, cos φ)
- 0 ≤ θ ≤ 2π, 0 ≤ φ ≤ π/2
- Normal (utåt): n = (sin φ cos θ, sin φ sin θ, cos φ)
- (∇ × F) · n = (1,1,1) · (sin φ cos θ, sin φ sin θ, cos φ) = sin φ(cos θ + sin θ) + cos φ
- ∬_S (∇ × F) · n dS = ∫₀^{2π} ∫₀^{π/2} [sin φ(cos θ + sin θ) + cos φ] sin φ dφ dθ
- = ∫₀^{2π} (cos θ + sin θ) dθ ∫₀^{π/2} sin²φ dφ + ∫₀^{2π} dθ ∫₀^{π/2} cos φ sin φ dφ
- = 0 · π/4 + 2π · 1/2 = π
- Båda sidor ger π ✓
Svar: π (verifierad)
Ett elektriskt fält är E(x,y,z) = (x, y, z)/√(x² + y² + z²)³. Beräkna flödet genom enhetsfären och förklara resultatet fysikaliskt
Tips
Detta är Coulombfältet från en punktladdning i origo
Visa facit
- Detta är det elektriska fältet från en enhetsladdning i origo
- E(r) = r/|r|³ = r/r³ för r ≠ 0
- På enhetsfären |r| = 1, så E(r) = r
- Normalvektor (utåt): n = r för enhetsfär
- E · n = r · r = |r|² = 1
- Flöde = ∬_S E · n dS = ∬_S 1 dS = Area(enhetsfär) = 4π
- Fysikalisk förklaring:
- - Enligt Gauss lag: ∬_S E · n dS = Q/ε₀
- - Här är Q = 1 (enhetsladdning) och ε₀ = 1/(4π) (enhet)
- - Så flödet = 1/(1/(4π)) = 4π
- - Detta stämmer oavsett sfärens radie!
- - All 'elektrisk flux' från punktladdningen passerar genom sfären
Svar: 4π (Gauss lag för enhetsladdning)
Visa att för ett konservativt vektorfält F = ∇φ gäller ∮_C F · dr = 0 för varje sluten kurva C
Tips
Använd Stokes sats och egenskaper av rotation
Visa facit
- För konservativt fält: F = ∇φ för någon skalärfunktion φ
- Beräkna rotationen: ∇ × F = ∇ × (∇φ)
- I komponenter: ∇φ = (∂φ/∂x, ∂φ/∂y, ∂φ/∂z)
- (∇ × ∇φ)_x = ∂²φ/∂y∂z - ∂²φ/∂z∂y = 0
- (Schwarz sats: blandade partiella derivator är lika)
- Likaså: (∇ × ∇φ)_y = (∇ × ∇φ)_z = 0
- Alltså: ∇ × F = ∇ × ∇φ = 0
- Använda Stokes sats:
- ∮_C F · dr = ∬_S (∇ × F) · n dS = ∬_S 0 · n dS = 0
- Alternativ med fundamentalsatsen:
- ∮_C ∇φ · dr = ∮_C dφ = φ(slutpunkt) - φ(startpunkt) = 0
- (eftersom sluten kurva: slutpunkt = startpunkt)
Svar: 0 (följer av Stokes sats eller fundamentalsatsen)
Sammanfattning
Stokes sats och divergenssatsen är höjdpunkten av vektoranalysen. De förenar derivator med integraler över randen och är grundläggande för hela matematisk fysik. Stokes kopplar cirkulation med rotation, divergenssatsen kopplar flöde med källor.