Całka różniczki zupełnej.

Niech D - obszar jednospójny,

0x01 graphic
.

Pytamy czy w obszarze D 0x01 graphic
, aby wyrażenie

0x01 graphic

było różniczką zupełną funkcji U w D ?

Oczywiście musi zachodzić0x01 graphic
i 0x01 graphic
.

Wtedy

0x01 graphic

0x01 graphic

Z założenia

0x01 graphic

Zatem warunkiem koniecznym istnienia funkcji U jest równość

0x01 graphic
.

Stwierdzenie

Niech D - obszar jednospójny,

0x01 graphic
.

Wtedy

0x01 graphic
, jest różniczką zupełną funkcji U,

ponadto:

0x01 graphic
0x01 graphic
, gdzie0x01 graphic
,

0x01 graphic
- ustalony punkt

0x01 graphic
- punkt zmienny,

0x01 graphic
- krzywa regularna, 0x01 graphic
,

czyli

0x01 graphic
. (*)

0x01 graphic
0x01 graphic
dla dowolnej krzywej 0x01 graphic
.

Uzasadnienie wzoru (*)

0x01 graphic

Dla

0x01 graphic

mamy 0x01 graphic
.

Podobnie dla

0x01 graphic

otrzymujemy 0x01 graphic
.

Stąd

0x01 graphic
0x01 graphic

na podstawie twierdzenia o niezależności całki krzywoliniowej od kształtu drogi całkowania. Zatem

0x08 graphic
0x01 graphic
.

Uwaga

Wektor0x01 graphic
jest gradientem funkcji U, 0x01 graphic
.

Definicja

Funkcję U nazywamy potencjałem pola wektorowego W.

Przykład

Wykazać, że 0x01 graphic
jest różniczką zupełną pewnej funkcji 0x01 graphic
i wyznaczyć tę funkcję (potencjał).

0x01 graphic
0x01 graphic
0x01 graphic

0x01 graphic
oraz 0x01 graphic
.

0x01 graphic

0x01 graphic

0x01 graphic
0x01 graphic
.

14