Professional Documents
Culture Documents
Izvod Freshea I Gata
Izvod Freshea I Gata
Izvod Freshea I Gata
PMF Matematika
Nelinearna analiza
Izvod Freea (Frshe) i Gata (Gteaux) nelinearnih operatora
s
e
a
Mirnes Smajilovi
c
smajilovic@gmail.com
8. oktobar 2008.
(1)
gdje je (x x0 ) = o( x x0 ) kad x x0 .
Operator A u formuli (1) zovemo izvod (Freea) operatora F u taki x0 i oznaavamo
s
c
c
dF (x0 )
sa F (x0 ) ili dx .
Ako uzmemo h = x x0 , tada (1) moemo zapisati u obliku
z
F (h + x0 ) F (x0 ) = F (x0 )h + (h)
(2)
1 IZVOD FRESEA NELINEARNOG OPERATORA
z0
x0
y0
(4)
gdje je
(z z0 ) = A(z z0 ) + [B(z z0 ) + (z z0 )].
Ostaje jo da pokaemo da vrijedi (z z0 ) = o( z z0 ) kad z z0 .
s
z
Vrijedi
A(z z0 ) = o( z z0 ) kad z z0 .
Medutim, vrijedi
[B(z z0 ) + (z z0 )] = o ( B(z z0 ) + (z z0 ) = o( z z0 ) kad z z0 .
Iz prethodne dvije jednakosti slijedi
(z z0 ) = o( z z0 ) kad z z0 .
Na ovaj nain smo dokazali da je superpozicija diferencijabilnih operatora diferencijabilan
c
operator i da je
(F G) (z0 ) = AB = F (x0 )G (z0 ).
(5)
1 IZVOD FRESEA NELINEARNOG OPERATORA
1.1
fi
(x0 )
xj
(6)
(i,j){1,...,l}{1,...,k}
zove se Jakobijeva matrica operatora F u taki x0 ili matrica izvoda operatora F u taki x0 .
c
c
Dakle, vidimo da se izvod Freea u konano dimenzinalnom prostoru poklapa sa Jakobijevom
s
c
matricom.
Pogledajmo jo kako izgleda izvod superpozicije preslikavanja. Neka je G : E m E k , G(z)
s
preslikavanje diferencijabilno u tako z0 . Tada je
c
G (z0 ) =
gj
(z0 )
zs
(j,s){1,...,k}{1,...,m}
G) (z0 ) =
fi
(x0 )
xj
gj
(z0 )
zs
(7)
a to je operator iz L(E m , E l ). Dobili smo u optem sluaju pravilo za raunanje izvoda pri
s
c
c
smjeni promjenljivih.
t0
(8)
(10)
Saglasno sa (8) i (9), prethodno znai diferencijabilnost operatora F u taki x0 u smislu Gata.
c
c
Sljedei primjer pokazuje da obrnuto ne vrijedi, tj. da iz diferencijabilnosti operatora po Gatu
c
ne slijedi diferencijabilnost operatora po Freeu.
s
Primjer 2.1 Posmatrajmo funkciju f : E 2 E 1 promjenljivih (x, y), denisanu formulom
f (x, y) =
1 , ako je y = x2 x = 0,
0 , u svim ostalim sluajevima.
c
Funkcija nije neprekidna u taki (0, 0), pa time nije ni diferencijabilna u taki (0, 0) u smislu
c
c
Freea. Medutim, u isto vrijeme je
s
f (th, tg) f (0, 0)
=0
t
jer je f (0, 0) = 0 i f (th, tg) = 0 za svko (h, g) i dovoljno malo t. Slijedi da je funkcija f
diferencijabilna u smislu Gata i da joj je diferencijal u toj taki jednak 0.
c