Nu kommer vi till en av matematikens verkligt eleganta satser! Greens sats är som en magisk bro mellan linjeintegraler runt kanten av ett område och dubbelintegraler över hela området. Det är som att säga: 'Istället för att gå runt hela tomtens gräns för att mäta något, kan jag bara titta på vad som händer inuti tomten!' Detta är första steget mot de stora satserna som förenar hela vektoranalysen.
Fördjupning
Greens sats är en tvådimensionell version av divergenssatsen och Stokes sats. Den kopplar samman cirkulation längs en sluten kurva med rotationen inuti området, samt flöde ut genom randen med divergensen inuti. Detta är fundamentalt för fysik och teknik där randvillkor ofta bestämmer beteendet i hela området.
Greens sats - Cirkulationsform
Cirkulationen av ett vektorfält runt en sluten kurva equals dubbelintegralen av rotationen över det inneslutna området.
Greens sats - Divergensform
Flödet ut genom en sluten kurva equals dubbelintegralen av divergensen över det inneslutna området.
Fysikalisk tolkning
Vätskeflöde ut genom rand = källor minus sänkor inuti
Orientering och normalvektorer
Kurvan C måste orienteras moturs (positiv orientering) för att Greens sats ska gälla. Normalvektorn n pekar utåt från området.
Normalvektor
Om r'(t) = (dx/dt, dy/dt) är tangentvektor, så är n = (dy/dt, -dx/dt)/|r'(t)| utåtriktad normal
Tillämpningar av Greens sats
Greens sats förenklar beräkningar genom att omvandla svåra linjeintegraler till enklare dubbelintegraler eller tvärtom.
Areaberäkning
Area = (1/2)∮_C (x dy - y dx) = ∬_R 1 dA
Planimeter
Mekaniska instrument som mäter area genom att följa kontur
Vanliga misstag
❌ Fel orientering av kurvan
Kurvan måste traverseras moturs för positiv orientering
❌ Glömma att området måste vara enkelt sammanhängande
Greens sats gäller för områden utan hål, eller med speciell hantering av hål
❌ Förväxla de två formerna av Greens sats
Cirkulationsformen använder F · dr, divergensformen använder F · n ds
Tillämpningar
Vätskedynamik
Bevarande av massa och momentum
Elektromagnetism
Gauss lag och Faradays lag i 2D
Geodesi och kartografi
Areaberäkning från konturmätningar
Datorgrafik
Polygon-area och kollisionsdetektion
Övningar
Använd Greens sats för att beräkna ∮_C (x² dx + xy dy) där C är enhetscirkeln
Tips
Använd cirkulationsformen: P = x², Q = xy
Visa facit
- P = x², Q = xy
- ∂Q/∂x = y, ∂P/∂y = 0
- curl F = ∂Q/∂x - ∂P/∂y = y - 0 = y
- Greens sats: ∮_C F · dr = ∬_R y dA
- Enhetscirkeln i polära koordinater: 0 ≤ r ≤ 1, 0 ≤ θ ≤ 2π
- y = r sin θ, dA = r dr dθ
- ∬_R y dA = ∫₀^{2π} ∫₀¹ r sin θ · r dr dθ = ∫₀^{2π} sin θ ∫₀¹ r² dr dθ
- = ∫₀^{2π} sin θ [r³/3]₀¹ dθ = (1/3) ∫₀^{2π} sin θ dθ = (1/3)[-cos θ]₀^{2π} = 0
Beräkna flödet av F(x,y) = (x, y) ut genom kvadraten [0,1] × [0,1]
Tips
Använd divergensformen av Greens sats
Visa facit
- F(x,y) = (x, y), så P = x, Q = y
- div F = ∂P/∂x + ∂Q/∂y = 1 + 1 = 2
- Greens sats (divergensform): ∮_C F · n ds = ∬_R div F dA
- = ∬_R 2 dA = 2 · Area(kvadrat) = 2 · 1 = 2
Svar: 2
Använd Greens sats för att hitta arean inuti ellipsen x²/a² + y²/b² = 1
Tips
Använd Area = (1/2)∮_C (x dy - y dx)
Visa facit
- Parametrisering av ellips: x = a cos t, y = b sin t, t ∈ [0,2π]
- dx = -a sin t dt, dy = b cos t dt
- Area = (1/2)∮_C (x dy - y dx)
- = (1/2) ∫₀^{2π} (a cos t · b cos t dt - b sin t · (-a sin t) dt)
- = (1/2) ∫₀^{2π} (ab cos²t + ab sin²t) dt
- = (1/2) ∫₀^{2π} ab(cos²t + sin²t) dt = (1/2) ∫₀^{2π} ab dt
- = (ab/2)[t]₀^{2π} = πab
Svar: πab
Beräkna ∮_C F · dr där F(x,y) = (y², x²) och C är triangeln med hörn (0,0), (1,0), (0,1)
Tips
Jämför direkt beräkning med Greens sats
Visa facit
- Med Greens sats: P = y², Q = x²
- ∂Q/∂x = 2x, ∂P/∂y = 2y
- curl F = 2x - 2y
- ∮_C F · dr = ∬_R (2x - 2y) dA
- Triangeln: 0 ≤ x ≤ 1, 0 ≤ y ≤ 1-x
- = ∫₀¹ ∫₀^{1-x} (2x - 2y) dy dx
- = ∫₀¹ [2xy - y²]₀^{1-x} dx = ∫₀¹ [2x(1-x) - (1-x)²] dx
- = ∫₀¹ [2x - 2x² - 1 + 2x - x²] dx = ∫₀¹ (-1 + 4x - 3x²) dx
- = [-x + 2x² - x³]₀¹ = -1 + 2 - 1 = 0
Ett vätskeflöde har hastighetsfeld v(x,y) = (-y, x). Beräkna cirkulationen runt enhetscirkeln och förklara resultatet fysikaliskt.
Tips
Använd både Greens sats och fysikalisk intuition
Visa facit
- v(x,y) = (-y, x), så P = -y, Q = x
- curl v = ∂Q/∂x - ∂P/∂y = 1 - (-1) = 2
- Greens sats: ∮_C v · dr = ∬_R 2 dA = 2 · π · 1² = 2π
- Fysikalisk tolkning:
- - Hastighetsfeld beskriver rotation moturs runt origo
- - Konstant vorticity (rotation) = 2 överallt
- - Circulation = vorticity × area = 2 × π = 2π
- - Detta motsvarar solid rotation med vinkelhastighet ω = 1
Svar: 2π (motsvarar en hel rotation runt cirkeln)
Sammanfattning
Greens sats kopplar linjeintegraler runt slutna kurvor med dubbelintegraler över inneslutna områden. Cirkulationsformen kopplar F·dr med curl, divergensformen kopplar F·n ds med divergens. Detta är fundamentalt för många tillämpningar inom fysik och teknik.