Kurvintegral - sluten kurva
Jag försöker lösa en tentauppgift där man har en kurvintegral enligt följande.
Jag började med att dela upp den till
Räknade ut att den första blev 0 överallt där den är definerad. Den andra tyckte jag var klurigare. Kunde få fram att om jag låter gamma omsluta origo så är integralen 4pi. Enligt lösningsförslaget är den 0 om man inte omsluter origo, men jag kan inte komma på ett bra sätt att räkna ut det när gamma måste vara en kontinuerligt deriverbar funktion. Försökte först sätta x = 1 + rcos(v), y = rsin(v) men blev väldigt krångligt.
Här är lösningsförslaget:
Den "andra" differentialformen, låt oss kalla den , är naturligtvis också exakt (utanför origo), med t.ex. .
Av Poincarés lemma följer att , dvs differentialformen är sluten.
Fältet är ett potentialfält och varje sluten linjeintegral är därmed 0 (så länge vi använder ett öppet område som inte innefattar origo).
Om du vill "bevisa" det kan du använda Greens formel (eller generaliserad Stokes sats) på den andra differentialformen (eller för all del, på hela integralen)
Där (visa det!)