01Całki krzywoliniowe, 3.Całka krzywoliniowa skierowana, Całka krzywoliniowa skierowana


Całka krzywoliniowa skierowana

(całka krzywoliniowa funkcji wektorowej)

Niech K - krzywa regularna o początku A i końcu B, zawarta w 0x01 graphic
­

W - pole wektorowe, 0x01 graphic

0x01 graphic

0x01 graphic

0x08 graphic

Wtedy

Definicja

Jeśli przy 0x01 graphic
i 0x01 graphic
istnieje granica 0x01 graphic
niezależna od sposobu podziału krzywej i od wyboru punktów Mi, to granicę tę nazywamy całką krzywoliniową skierowaną funkcji W wzdłuż krzywej K i oznaczamy

0x01 graphic
.

Uwagi

  1. 0x01 graphic

  2. Jeśli krzywa 0x01 graphic
    , jest zadana układem 0x01 graphic
    , 0x01 graphic
    , a na krzywej K zadane jest płaskie pole wektorowe W o składowych [P,Q], to wtedy podobnie definiujemy całkę krzywoliniową skierowaną i oznaczamy ją

0x01 graphic
.

  1. Jeśli 0x01 graphic
    , gdzie 0x01 graphic
    jest krzywą regularną dla i=1,…,n,

to definiujemy

0x01 graphic
.

Twierdzenie (o zamianie całki krzywoliniowej skierowanej na całkę oznaczoną)

Niech K - krzywa regularna,

W - pole wektorowe ciągłe na krzywej 0x01 graphic

Wtedy

0x01 graphic

Uwaga

Jeśli krzywa K jest płaska, to

0x01 graphic
.

Interpretacja fizyczna

Niech K - krzywa skierowana od A do B,

W - pole sił na krzywej K.

Wtedy

0x01 graphic
praca siły W wykonana przy przemieszczaniu masy jednostkowej wzdłuż krzywej K od punktu A do B.

Przykład (*)

Obliczyć całkę 0x01 graphic
po krzywej 0x01 graphic
skierowanej ujemnie względem swego wnętrza.

Zapiszmy równanie określające krzywą K w postaci równoważnej 0x01 graphic
.

Jest to równanie elipsy.

0x01 graphic

Parametryzacja tej elipsy

0x01 graphic

jest niezgodna z kierunkiem krzywej. Zatem

0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic
0x01 graphic

Definicja

Obszar płaski ograniczony jedną krzywą (Jordana) nazywamy jednospójnym, a obszar ograniczony p nieprzecinającymi się krzywymi obszarem p-spójnym.

0x01 graphic
0x01 graphic

obszar jednospójny obszar p-spójny

Umowa

Całkę krzywoliniową skierowaną po krzywej zamkniętej K oznaczamy też 0x01 graphic
.

Twierdzenie Greena

Z: Niech K - krzywa płaska zamknięta zorientowana dodatnio i ograniczająca obszar

jednospójny D,

P, Q - funkcje ciągłe mające ciągłe pochodne cząstkowe w obszarze D i na brzegu K.

T: 0x01 graphic

0x01 graphic

Przykład (*) c.d.

0x01 graphic
jest krzywą zorientowaną ujemnie, 0x01 graphic
,

0x01 graphic

i z twierdzenia Greena otrzymujemy

0x01 graphic
Zastosujemy uogólnione współrzędne biegunowe

0x01 graphic
, gdzie a, b - stałe, 0x01 graphic
, 0x01 graphic

Jakobian powyższego odwzorowania wynosi0x01 graphic
.

W naszym przypadku wybieramy 0x01 graphic
, aby otrzymać obszar D ograniczony elipsą 0x01 graphic
.Stąd

0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic
0x01 graphic
0x01 graphic

Twierdzenie (o niezależności całki krzywoliniowej od kształtu drogi całkowanej)

Z: Niech D - obszar jednospójny

P, Q - funkcje ciągłe, mające ciągłe pochodne cząstkowe w obszarze D

0x01 graphic
0x01 graphic
- krzywa regularna , 0x01 graphic

0x01 graphic

T: 0x01 graphic
- nie zleży od kształtu krzywej 0x01 graphic
a tylko od punktów A i B, t i wtedy oznaczamy ją 0x01 graphic
.

Dowód0x01 graphic

Niech 0x01 graphic
będą krzywymi regularnymi zawartymi w obszarze D, łączącymi punkty A i B, i skierowanymi od punktu A do B.

0x01 graphic

Wtedy krzywa 0x01 graphic
jest krzywą zamkniętą regularną, zorientowaną dodatnio, 0x01 graphic
. Oznaczmy przez 0x01 graphic
obszar jednospójny ograniczony przez krzywą C. Na podstawie twierdzenia Greena mamy

0x01 graphic
bo 0x01 graphic
, więc

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

Aby udowodnić implikację 0x01 graphic
wystarczy wykazać jej kontrapozycję, czyli udowodnić implikację

0x01 graphic
zależy od kształtu krzywej 0x01 graphic
.

Bez straty ogólności możemy założyć, że

0x01 graphic
.

Zatem

0x01 graphic
dla 0x01 graphic
.

Niech 0x01 graphic
będzie brzegiem koła 0x01 graphic
skierowanym dodatnio.

0x01 graphic

Wtedy na podstawie twierdzenia Greena mamy

0x01 graphic
.

Stąd

0x01 graphic
,

czyli

0x01 graphic
.

Zatem całka po krzywej łączącej punkty A i B zależy od kształtu tej krzywej.

0x08 graphic
Wniosek

Niech D - obszar jednospójny,

C - krzywa zamknięta regularna, 0x01 graphic
,

0x01 graphic
- funkcje ciągłe mające ciągłe pochodne cząstkowe w D.

Wtedy

0x01 graphic
.

1

6

0x01 graphic



Wyszukiwarka