Professional Documents
Culture Documents
Vektorska Analiza I Teorija Polja PDF
Vektorska Analiza I Teorija Polja PDF
VEKTORSKA ANALIZA
TEORIJA POLJA
3.1
VEKTORSKE FUNKCIJE
Rn ,
R, potom funkcije f : X ! Y;
Rm ;
Rn
(n
2):
R2
Slika 3.1.
94
TEORIJA POLJA
o
p
! n
!
! p
f (x; y) = x i + y j + x2 + y 2 k = x; y; x2 + y 2 :
(n
2)
X3T 7 !!
w (T ) = fw1 (T );
; n na
; wn (T )g
i = 1;
; n;
Slika 3.2.
95
3.2
LIMES I NEPREKIDNOST
R:
!
DEFINICIJA 3.4 Recicemo da je vektor l granicna vrijednost (limes)
!
funkcije !
w : X ! R3 ; u tocki t0 2 X R; i pisati lim !
w (t) = l ; ako
t!t0
!
)d !
w (t); l < ": (3.1)
d (t; t0 ) <
t0 j <
X3
i=1
(wi (t)
li )2
1
2
< ":
(3.2)
t!t0
t!0
lim
t!0
sin t
t ;
i = 1; 2; 3:
0; t ; t 2 h0; 1i ; ima u t = 0
sin t
; lim 0; lim t
t!0
t!0
t
= f1; 0; 0g:
96
TEORIJA POLJA
d(t; t0 ) <
)d !
w (t); !
w (t0 ) < :
(3.3)
R, je neprekidna (u
t<1
t
t!1 0
t!1+0
tj.
t!1
Slicno se pokazuje da je
t!1
Meutim,
lim w3 (t) = 1 6= 0 = lim w3 (t);
t!1 0
t!1+0
97
3.3
R, tj.
!
w (t) !
w (t0 )
t t0
R, je deriva-
!
w (t0 )
t0
(3.4)
98
TEORIJA POLJA
d2 !
w (t0 ) = !
w 00 (t0 )dt2 ; : : : ; dr !
w (t0 ) = !
w (r) (t0 )dtr :
PRIMJER 3.11 Gibanje materijalne tocke u Primjeru 3.3 opisuje jednadzba
!
!
!
!
s (t) = 2 cos t i + 2 sin t j + 3t k ;
t 2 [0; 1i ;
!
!
!
2 sin t i + 2 cos t j + 3 k ;
t 2 [0; 1i :
!
!
2 cos t i 2 sin t j ;
t 2 [0; 1i :
!
!
Napokon, ako je t = 0 onda je !
v (0) = 2 j + 3 k i !
a (0) =
!
!
!
t = 2 onda je !
v 2 = 2 i +3k i !
a 2 = 2j:
!
2 i , a ako je
Naredni teorem donosi derivacijska pravila za osnovne operacije nad vektorskim funkcijama skalarne varijable.
TEOREM 3.12 Neka su !
w;!
u : X ! R3 , X
R, derivabilne vektorske
2 R. Tada vrijede
99
0
!
w+ !
u = !
w0 + !
u 0;
(i)
0
(ii) f !
w = f 0!
w + f w0 , pri cemu je f !
w (t) = f (x)!
w (t);
!
w
f
(iii)
f!
w0
f 0!
w
f2
, pri cemu je
!
!
w
w (t)
(t) =
i f (t) 6= 0;
f
f (t)
0
(iv) !
w !
u = !
w0 !
u + !
w !
u 0 , pri cemu je !
w !
u (t) = w1 (t)u1 (t) +
0
!
u =!
w0
!
u +!
w
u2 (t)
u3 (t)
!
u 0.
4t!0
0
!
u (t) = lim
4t!0
!
w
!
u (t + 4t)
4t
!
w
!
u (t)
!
!
w (t + 4t) !
w (t) !
u (t + 4t) !
u (t)
u (t + 4t) + !
w (t)
=
4t
4t
!
w 0 (t) !
u (t) + !
w (t) !
u 0 (t) = !
w0 !
u +!
w !
u 0 (t);
3x2 ; !
v (x) = x3 ; 0; 2 + x2 ; !
w (x) = x; x2 ; x3 :
!
v !
w
(x) = !
u 0 (x)
!
v (x) !
w (x) + !
u (x)
!
v !
w (x)+ !
u (x)
!
v 0 (x) !
w (x) + !
u (x)
0
!
u !
v (x) =
!
v (x) !
w 0 (x) :
100
TEORIJA POLJA
Buduci da je
!
u 0 (x) = f2; 0; 6xg; !
v 0 (x) = 3x2 ; 0; 2x ; !
w 0 (x) = 1; 2x; 3x2 ,
!
v (x)
!
w (x) = x6
!
v 0 (x)
!
v (x)
x4
2x2 ; x3 + 2x; x4 ;
!
w (x) = 3x5
!
w 0 (x) = 3x5
2x3
4x; x2 + 2; x3 ;
to je
!
u (x)
!
v (x)
!
u 0 (x)
!
v (x) !
w (x) = 6x4 + 12x2 ; 6x7 + 6x5 + 2x4 + 12x3 ; 2x3 + 4x ;
!
u (x)
!
u (x)
!
w (x) = 3x5 + 6x3 ; 3x8 + 3x6 + 2x5 + 6x4 ; 2x4 + 4x2 ;
!
v 0 (x)
!
w (x) = 6x4 ; 9x7 + 6x5 + 6x4 ; 4x3 ;
!
v (x) !
w 0 (x) = 3x4 + 6x2 ; 9x7 + 6x5 + 2x4 + 12x3 ; 2x3 + 4x :
!
v (x)
!
w (x)
!
v (x) !
w (x) + !
u (x)
!
v 0 (x) !
w (x) + !
u (x)
!
v (x) !
w 0 (x) =
Y ! R3 , Y
t 2 X:
(3.5)
101
R, nazivamo
!
W 0 (t) = !
w (t)
(3.6)
[a;b]
!
w
def. !
!
w (t)dt = W (b)
!
W (a):
(3.7)
(3.7.a)
R, integrabilne
vektorske funkcije, f : X ! R integrabilna (skalarna) funkcija, !
c konstan-
(ii)
(iii)
!
c !
w (t) dt = !
c
!
w (t)dt
!
w (t) !
u 0 (t) dt = !
w (b) !
u (b)
(linearnost);
!
w 0 (t) !
u (t) dt;
102
(iv)
f (t)!
w 0 (t) dt = f (b)!
w (b)
f (a)!
w (a)
TEORIJA POLJA
b
f 0 (t)!
w (t) dt.
!
a (t)dt + !
v (0) =
!
v (t)dt + !
s (0) =
!
6t!
c 1 + 2!
c 2 dt + 0 = 3x2 !
c 1 + 2x!
c 2;
!
3t2 !
c 1 + 2t!
c 2 dt + 0 = x3 !
c 1 + x2 !
c 2:
cos tdt;
=3 1
3e dt;
3.4
3(1
); 0;
tdt
!
i +
2!
k:
U ovomu cemo odjeljku pokazati nekoliko primjena skalarne i vektorske analize u prostoru R3 : Ovaj poseban slucaj je narocito vazan jer se u njemu
opisuje na zicki (tvarni) svijet. Stoga cemo nastojati, kad god to bude
moguce, i oznake prilagoditi onima tradicionalnim to dolaze iz zike.
!
Za svaku tocku T u prostoru E neka V (T ) oznacuje skup svih radijus-vektora
!
!
r (usmjerenih duzina T P ) svih tocaka P u prostoru E s obzirom na tocku
P
T , te neka je
!
V
S !
f V (T ) j T tocka u Eg:
103
pridjeljen
!
!
V (T ) = !
r P 2 V (T );
Primijetimo da Denicija 3.18 ne ovisi o koordinatizaciji prostora E. Meutim, ocito je da je, u svakom koordinatnom sustavu S u E, svako skalarno
polje U :
! R;
ES ;
f (TS ) = U (T )
f : X ! R;
!
a svako vektorsko polje V :
f (x; y; z) = U (T );
!
! V nekom (vektorskom) funkcijom
!
w : X ! R3 ;
!
!
w (x; y; z) = V (T );
(x; y; z) 2 X
! ! !
u sustavu O; i ; j ; k , tj.
!
!
!
!
V (T ) = wx (x; y; z) i + wy (x; y; z) j + wz (x; y; z) k ;
gdje je tj. !
w = fwx ; wy ; wz g. Ponekad necemo, jednostavnosti radi, praviti
104
TEORIJA POLJA
PRIMJER 3.19
(a) Neka
svaki T 2
! R temperaturno
je, za svaki T 2
(x; y; z) 7 ! f (x; y; z) =
x2
!R
z
;
+ y2
x2
z
;
+ y2
! ! !
pri cemu su x; y; z Kartezijeve koordinate tocke T u sustavu O; i ; j ; k :
PRIMJER 3.20
(a) Neka
funkcijama
wx (x; y; z) =
Tada je na
y
x
; wy (x; y; z) = 2
;
2
2
+y +z
x + y2 + z2
z
wz (x; y; z) = 2
:
x + y2 + z2
x2
105
!
1
! OT ;
jOT j
T 6= O = (0; 0; 0);
! R. Uvjet U (T ) = c (konstanta)
(3.9)
R3 (X
R2 ). Tako u
Primjeru 3.19 (a) dobivamo izotermalne plohe, u 3.19 (b) - krivulje izobare
i izohipse, a u 3.19 (c) - rotacijske paraboloide z = c(x2 + y 2 ), c 2 R.
!
U vektorskom polju V :
! V je zanimljivo promatrati tzv. stru-
(3.10.a)
Tako se u Primjeru 3.20(b) za strujnice dobiva ista krivulja, a u 3.20(c) dobivamo sustav
dy
dz
dx
=
=
;
x
y
z
to daje y = c1 x i z = c2 x, odnosno,
x
y
z
=
= :
1
c1
c2
Radi se, dakle o skupu svih pravaca u prostoru koji prolaze odabranim
ishoditem O = (0; 0; 0).
106
TEORIJA POLJA
NAPOMENA 3.21 Skalarno i vektorsko polje se mogu denirati opcenitije u smislu da se uvede i ovisnost o vremenu. Takva polja nazivamo
nestacionarnima, za razliku od prije deniranih koja onda nazivamo stacionarnima.
Mjerimo li tako u Primjeru 3.19 (a) temperaturu tijekom nekog vremenskog
intervala, dobivamo primjer nestacionarnoga skalarnog polja, dok su 3.19
(b) i 3.19 (c) primjeri stacionarnog skalarnog polja. Nadalje, mjerimo li
u Primjeru 3.20 (a) brzinu zracnoga strujanja tijekom nekog vremenskog
intervala, dobivamo primjer nestacionarnoga vektorskog polja, dok su 3.20
(b) i 3.20 (c) primjeri stacionarnog vektorskog polja.
Spomenimo ovdje i dva u zickom svijetu najpoznatija stacionarna vektorska polja: gravitacijsko polje tvarne tocke s masom m i elektrostatsko
polje tvarne tocke s pozitivnim nabojem e:
DEFINICIJA 3.22 Recicemo da je skalarno polje U :
! R neprekidno
3.5
Ovdje cemo denirati tri linearna operatora, neophodna za matematicko opisivanje temeljnih zickih zakona tvarnoga svijeta u kojemu zivimo. Otkrit
cemo da se, zapravo, radi o jednom operatoru djelovanje kojega se ocituje
na tri nacina - ovisno o objektima na koje djeluje. Jednostavnosti radi,
skalarna i vektorska polja cemo odmah zadavati njihovim predstavnicima,
tj. skalarnim i vektorskim funkcijama u Kartezijevu desnom pravokutnom
! ! !
koordinatnom sustavu O; i ; j ; k u prostoru E R3 .
DEFINICIJA 3.23 Neka su f : X ! R i !
w : X ! R3 , X
R3 , redom
107
@f @f @f
;
;
@x @y @z
; tj:
grad f (x; y; z) =
polje
div !
w : X ! R; div !
w =
@wz
@wx @wy
+
+
; tj.
@x
@y
@z
rot !
w : X ! R3 ; rot !
w =
rot !
w (x; y; z) =
@wz
@y
@wy @wx
;
@z
@z
@wz @wy
;
@x
@x
@wx
@y
; tj.
rot !
w =
!
i
@
@x
wx
!
j
@
@y
wy
!
k
@
@z
wz
(3.13.a)
Uocimo da je gradijent neka funkcija denirana na skupu svih diferencijabilnih skalarnih polja s vrijednostima u skupu diferencijabilnih vektorskih
polja, da je divergencija neka funkcija denirana na skupu svih diferencijabilnih vektorskih polja s vrijednostima u skupu skalarnih polja, te da je
rotacija neka funkcija denirana na skupu svih diferencijabilnih vektorskih
polja s vrijednostima u istomu skupu.
108
TEORIJA POLJA
PRIMJER 3.24
(a) Odredimo gradijent skalarnoga polja
(x; y; z) 7! f (x; y; z) = xy 2 z 3 :
grad f (x; y; z) =
@f @f @f
;
;
@x @y @z
rot !
w (x; y; z) =
3.6
!
i
@
@x
2x
! !
j
k
@
@
@y @z
xy 2 xz 2
(x; y; z) =
= 0;
z2; y2 :
NABLA OPERATOR
Ili, ekvivalentno,
r
!@
!@
!@
i
+ j
+ k
:
@x
@y
@z
(3.14)
diferencijabilnih skalarnih (vektorskih) polja, pojavljuju se, u svezi s Denicijom 3.23, sljedece mogucnosti:
r(f ) = grad f , djelovanje operatora r na skalrno polje f ;
r !
w = div !
w , formalni skalarni umnozak r i vektorskog polja w;
r
!
w = rot !
w , formalni vektorski umnozak r i vektorskog polja w;
109
Vazna je cinjenica da je operator r linearan u svakoj od navedenih interpretacija, tj. da vrijedi ovaj teorem:
TEOREM 3.25 Nabla je linearni operator, tj. za bilo koja dva diferencijabilna skalarna polja f; g : X ! R, bilo koja dva diferencijabilna vektorska
polja !
w;!
u : X ! R3 , X R3 , i bilo koja dva broja ; 2 R vrijedi:
(i) r ( f + g) = r(f ) + r(g);
(ii) r
(iii) r
!
w+ !
u =
r !
w +
!
w+ !
u =
r !
u ;
!
w +
!
u .
!
w+ !
u =
r
!
i
@
@x
wx
!
i
@
@x
wx + ux
!
k
@
@z
wz
!
j
@
@y
wy
!
i
@
@x
ux
!
j
@
@y
uy
!
j
@
@y
wy + uy
!
k
@
@z
uz
!
k
@
@z
wz + uz
!
w +
!
u :
R3 , diferencijabilna skalarna
2 R. Tada je
!
(i) grad c = 0 ;
(ii) grad( f + g) =
grad f + grad g;
f
g
g grad f
f grad g
g2
R, diferencija-
110
TEORIJA POLJA
Tvrdnje su izravna posljedica gradijentove denicije. Primijetimo da je tvrdnja (ii) isto to i Teorem 3.25(i).
TEOREM 3.27 Neka su !
w;!
u : X ! R3 , X
vektorsko polje i ;
2 R. Tada je
!
(i) div !
c = 0;
(ii) div
!
w+ !
u =
(iii) div !
w
div !
w + div !
u;
!
u = rot !
w
!
u
!
w
rot !
u ;
(iv) div f !
w = (grad f ) !
w + f div !
w;
(v) div f grad f = grad f
grad g + f (4g),
r2
(!
w dvaput diferencijabilno).
@wy
@wx @f
@f
@wz
@f
wx + f
+
wy + f
+
wz + f
=
@x
@x
@y
@y
@z
@z
@f @f @f
;
;
@x @y @z
@wx @wy
@wz
+
+
@x
@y
@z
!
!
grad f w + f div w :
fwx ; wy ; wz g + f
Primijetimo da se tvrdnja (ii) podudara s onom iz Teorema 3.25 (ii). Tvrdnja (v) slijedi iz (iv) cim je !
w = grad g. Napokon, u dokazu tvrdnje (vi)
treba primijeniti Schwarzov teorem.
111
!
w+ !
u =
(iii) rot !
w
rot !
w + rot !
u;
!
u = div !
u !
w
div !
w !
u + !
u r !
w
!
w r !
u,
pri cemu su
!
w r
wx
@
@
@
+ wy
+ wz
@x
@y
@z
i, slicno, !
u r novi diferencijalni operatori;
(iv) rot f !
w = (grad f )
!
w
f rot !
w;
!
(grad g), i posebice, rot (grad f ) = 0 ;
!
w (!
w dvaput diferencijabilno), pri cemu
Kao i u prethodnom teoremu, sve tvrdnje su izravne posljedice odgovarajucih denicija. Primijetimo da je tvrdnja (ii) isto to i tvrdnja u Teoremu
3.25 (iii), te da (v) slijedi iz (iv) primjenom Schwarzova teorema.
3.7
USMJERENA DERIVACIJA
Neka je U :
!
!
T T0 = t l 0 :
(3.15)
112
lim
U (T )
U (T0 )
t
t!0
TEORIJA POLJA
!
!
T T 0 = t l 0;
2 R;
!
nazivamo derivacijom skalarnoga polja U u tocki T0 u smjeru l (ili,
krace, usmjerenom (skalarnom) derivacijom)
U prakticnom racunu je puno jednostavnije raditi s predstavnikom f : X !
! ! !
R, X
R3 , skalarnoga polja U u koordinatnomu sustavu O; i ; j ; k .
Prvo, tockama T0 = (x0 ; y0 ; z0 ) i T = (x; y; z) pripadaju radijus-vektori
! !
!
!
!
!
!
!
!
!
OT0 = x0 i + y0 j + z0 k i OT = x i + y j + z k . Nadalje, OT = OT0 +
!
!
!
T0 T = OT0 + t l 0 , dakle,
!
! ! !
! ! !
!
!
x i + y j + z k = x0 + t l 0 i
i + y0 + t l 0 j
j+
! ! !
+ z0 + t l 0 k k :
!
Slijedi da se koordinate svake tocke T na zraci to ju odreuju T0 i l 0
opisuju linearnim jednadzbama
x = x0 +
! !
! !
! !
l 0 i t; y = y0 + l 0 j t; z = z0 + l 0 k t; t 2 [0; 1i :
X ! R;
tj.
! !
! !
! !
l 0 i t; y0 + l 0 j t; z0 + l 0 k t 7! f (w(t)) ;
@f (x0 ; y0 ; z0 )
= (f
!
@l
w)0 (0) =
@f (w(0))
@f (w(0))
@f (w(0))
wx0 (0) +
wy0 (0) +
wz0 (0) =
@x
@y
@z
@f (x0 ; y0 ; z0 ) ! !
@f (x0 ; y0 ; z0 ) ! !
@f (x0 ; y0 ; z0 ) ! !
l0 i +
l0 j +
l0 k =
@x
@y
@z
!
= grad f (x0 ; y0 ; z0 )
l0
Time smo dokazali ovaj teorem:
113
@U (T0 )
! = grad f (x0 ; y0 ; z0 )
@l
(3.16)
@U (T0 )
! = grad f (x0 ; y0 ; z0 )
@l
pa iz
grad f (3; 2; 1) = f2x; 3z; 3yg
!
l0=
1 !
! l
jlj
p1
3
(3;2; 1)
= f6;
3; 6g ;
f1; 1; 1g
3; 6g
p1 ; p1 ; p1
3
3
3
p
= 3 3:
R3 , opisuje diferen-
@f (x0 ; y0 ; z0 ) !
n 0;
@!
n
pri cemu je !
n normala na razinsku plohu f (x; y; z) = f (x0 ; y0 ; z0 ).
(3.17)
114
TEORIJA POLJA
U (T0 )) prelazi u
@f (x0 ; y0 ; z0 )
@f (x0 ; y0 ; z0 )
@f (x0 ; y0 ; z0 )
dx +
dy +
dz =
@x
@y
@z
grad f (x0 ; y0 ; z0 )
d!
n;
pri cemu d!
n oznacuje vektor
!
!
!
dx i + dy j + dz k
grad f (x0 ; y0 ; z0 ) =
!
n 0 pa je
!
n 0 . Po Teoremu
= grad f (x0 ; y0 ; z0 )
3.30 je
@f (x0 ; y0 ; z0 )
;
grad f (x0 ; y0 ; z0 ) !
n0 =
@!
n
to onda daje
grad f (x0 ; y0 ; z0 ) =
@f (x0 ; y0 ; z0 ) !
n 0:
@!
n
NAPOMENA 3.33 Pomocu Teorema 3.32 je lako izracunati jedinicni normalni vektor na razinsku plohu skalarnog polja. Naime, za svaku tocku
T0 = (x0 ; y0 ; z0 ), vrijedi
grad f (x0 ; y0 ; z0 )
!
n0 =
:
jgrad f (x0 ; y0 ; z0 )j
(3.18)
f (x; y; z) = xy
z + c,
R3 . Tako dobivamo
pa je
1g
(2;3;6)
= f3; 2;
1g
115
i, napokon,
grad f (2; 3; 6)
1
!
!
!
n 0 (T0 ) =
3 i +2j
=p
jgrad f (2; 3; 6)j
14
!
k :
Razmotrimo sada kako bi se usmjerena derivacija mogla osmisliti u vektorskom polju. Neka funkcija !
w : X ! R3 , X R3 , predstavlja vektorsko
!
polje V . Promatrajmo opet cvrstu tocku T0 = (x0 ; y0 ; z0 ); varijabilnu tocku
T = (x; y; z) i kolicnik
!
w (x; y; z)
!
w (x0 ; y0 ; z0 )
2 R3 ;
t
! !
koji opisuje prosjecnu promjenu vektorskoga polja V
w (pri prijelazu iz
!
!
!
T0 u T ) u smjeru l
T0 T = t l 0 , pri cemu je duzina T0 T X.
DEFINICIJA 3.35 Neka funkcija !
w : X ! R3 , X
R3 , predstavlja
!
X
vektorsko polje V , te neka su T0 = (x0 ; y0 ; z0 ); T = (x; y; z) 2 X, T0 T
!
!
i T0 T = t l 0 . Granicnu vrijednost (ako postoji )
!
!
@ V (T0 )
@!
w (x0 ; y0 :z0 )
w (x; y; z) !
w (x0 ; y0 ; z0 )
2 R3 ; (3.19)
lim
!
!
t!0
t
@l
@l
!
nazivamo derivacijom vektorskoga polja V (!
w ) u tocki T0 u smjeru
!
l (ili, krace, usmjerenom (vektorskom) derivacijom).
TEOREM 3.36 Derivacija vektorskog polja !
w u tocki T0 = (x0 ; y0 ; z0 )
!
!
!
u smjeru l (6= 0 ), ako postoji, jednaka je vrijednosti operatora l 0 r
primijenjenog na !
w u (x ; y ; z ), tj.
0
@!
w (x0 ; y0 :z0 )
=
!
@l
!
l0 r !
w (x0 ; y0 ; z0 ) =
@!
w
@!
w
@!
w
+ cos
+ cos
;
(3.20)
@x
@y
@z (x0 ;y0 ;z0 )
!
gdje su cos , cos i cos smjerovni kosinusi od l , tj. komponenete je!
@
@
@
dinicnoga vektora l 0 . (Operator (!
u r) = ux @x
+ uy @y
+ uz @z
smo uveli
= cos
u Teoremu 3.28)
@!
w (x0 ; y0 :z0 ) h!
= l0
!
@l
116
TEORIJA POLJA
a to se i tvrdi u teoremu.
PRIMJER 3.37 Izracunajmo derivaciju vektorskoga polja
(x; y; z) 7! !
w (x; y; z) = fyz; zx; xyg
!
!
! !
u tocki T0 = (1; 21 ; 2) u smjeru l = 2 i + j
2k.
!
!
! !
2 k , po Teoremu 3.36 dobivamo
Buduci da je l 0 = 13 2 i + j
@!
w (1; 12 ; 2)
!
1
2 @!
w 1 @!
w
!
=
l
r
w
(1;
;
2)
=
+
0
!
2
3
@x
3
@y
@l
h2
i
1
2
f0; z; yg + fz; 0; xg
fy; x; 0g
3
3
3
(1;
=
3.8
1
fz
3
2y; 2z
2x; 2y + xg
(1;
1
;2)
2
2 @!
w
3 @z
1
;2)
2
(1;
1
;2)
2
! 2!
= i + j:
3
X ! R takvo da je
!
w =
grad f:
117
U protivnom, !
w nazivamo vrtloznim poljem.
Napokon, reci cemo da je vektorsko polje !
w solenoidalno cim je
div !
w = 0:
NAPOMENA 3.39 Negativni predznak u deniciji potencijalnog polje
nije bitan jer je grad( f ) =
K - konstanta i r
!
m0 !
r 0;
G =K
r2
j!
r j udaljenost, potencijalno s potencijalom
U =K
m0
:
r
! ! !
Uzmemo li T0 za ishodite koordinatnog sustava O; i ; j ; k , potencijal
U je zadan skalarnom funkcijom
m0
(x; y; z) 7! f (x; y; z) = K p
x2 + y 2 + z 2
j!
r j - udaljenost, je potencijalno s potencijalom
U =k
e0
:
r
!
w =
!
grad f , rot !
w = 0:
!
rot grad f = 0 :
118
TEORIJA POLJA
@wy
@wx
=
:
@x
@y
@wx
@wz
=
;
@z
@x
y0
x0
pri cemu je (x0 ; y0 ; z0 ) 2 X bilo koja cvrsta tocka. Izravno se lako dokaze
da je
@f
=
@x
wx ;
@f
=
@y
wy
@f
=
@z
wz :
Primjerice,
Z x
Z y
Z z
@f (x; y; z)
@
=
wx (t; y; z)dt
wy (x0 ; s; z)ds
wz (x0 ; y0 ; u)du =
@z
@z
x0
y0
z0
Z x
Z y
@wy (x0 ; s; z)
@wx (t; y; z)
dt
ds wz (x0 ; y0 ; z) =
@z
@z
x0
y0
Z y
Z x
@wz (x0 ; s; z)
@wz (t; y; z)
dt
ds wz (x0 ; y0 ; z) =
@t
@y
y0
x0
wz (x; y; z) + wz (x0 ; y; z)
wz (x0 ; y; z) + wz (x0 ; y0 ; z)
wz (x0 ; y0 ; z) =
wy (x; y; z):
Dakle, !
w =
da je
! !
j
k
@
@
@y @z
wy wz
= fx
x;
y + y; z
zg = f0; 0; 0g ;
119
to !
w jest konzervativno polje. Da bismo mu odredili potencijal, postupimo
kao u dokazu prethodnoga teorema, tj. (odabravi za T0 ishodite O =
(0; 0; 0))
f (x; y; z) =
wx (t; y; z)dt
wy (0; s; z)ds
yzdt
ili, opcenitije,
z 0ds
wz (0; 0; v)dv
(0 0dv =
xyz
f (x; y; z) = c
xyz;
!
w = rot !
u:
uy (x; y; z) =
wx (x; y; s)ds +
z0
wz (t; y; z0 )dt;
x0
uz (x; y; z) = c0 ;
gdje je (x0 ; y0 ; z0 ) 2 X po volji odabrana cvrsta tocka.
Buduci da je vektorsko polje !
w diferencijabilno, to je !
u dvaput diferencijabilno. Parcijalno derivirajuci koordinatne funkcije ux , uy i uz dobivamo:
@ux (x; y; z)
=
@y
@wy (x; y; s)
ds;
@y
z0
@ux (x; y; z)
= wy (x; y; z);
@z
120
@uy (x; y; z)
=
@x
@wx (x; y; s)
ds+wz (x; y; z0 );
@x
z0
TEORIJA POLJA
@uy (x; y; z)
=
@z
wx (x; y; z);
@uz (x; y; z)
@uz (x; y; z)
= c0 =
:
@x
@y
Slijedi,
@uz
@y
@uy
@ux
= wx ,
@z
@z
@uz
= wy ;
@x
dok je
@uy (x; y; z)
@x
z0
@ux (x; y; z)
=
@y
Z z
Z z
@wy (x; y; s)
@wx (x; y; s)
ds + wz (x; y; z0 )
ds =
@x
@y
z0
z0
@wx (x; y; s) @wy (x; y; s)
( div !
w =0)
ds + wz (x; y; z0 )
=
@x
@y
Z z
@wz (x; y; s)
ds + wz (x; y; z0 ) =
@s
z0
wz (x; y; z)
!
!
! 1 @E
1 @H
4
; rot H =
+
c @t
c @t
c
!
!
div E = 4 ; div H = 0:
!
J;