75
Differential reohnung
*
(x. f (×.
)+fy×
.,,x. ×.,) Erinwmg
:f
: (ais)
→ R istdifferent
'erbw be; xo c-(a,b)mit
Ableitnng f
'to ), wenn0
.
✓ flats )
=fk
.) +fix
. )s+o(
s)far
S→OI > × wobei
g(
S) = o(s)fir
s→0 bedwtet , dass×°
him
SW
= O.
s -so Isl
Bem
. i Infolgenden bebachteu
wir sta # dem Enklidschen RaumR
"heist
allgemeine Banachroiume
. Dies ist do ' naturlicheDahmen
'fair
dieDifferential reclining
.Die
Beweiservkompliziven
sioh dadnrch nicht .Def
.: SeienX. Y Banaohroiume
,UEX offen
andf.
U→Y .° Eine linear
Abbildnng f
'(x.)
c-BLXY ) heist Ablitung
vonf
bei xo EU ,wenn
gilt him
11flats
) -f
(x.)-f
'6.) s 11 = 0s .so 11111
- -
f-
'lxo)heipt
anch " ( totals )Differential
" odv , FreichetAblitung
"beixo
- und man schreibt ouch
Dfcx
.) =f
'(x.) . -° Exrstivt
fix
.) , soheipt f
bei ×.differeuzivbar
.° dieExistent
Ablitung f By'I×)
von fir f
. ake ×eU , daun ist skkye f
': U 'sLin. Abb .eu )
von, x.XnachHf Y
'lx.)
Ben
. : ° hjwogls )
istals " stekge Fortsetzung
"
von
gin
0zurvstehen
,d.
h.als
hreuzwwt
soimthchvFolgeu sn→0
runglbn )
.° Fir
f :R→R
wird ans dem inbhohen "f-
'lx.) e R " durchxi→
f
'lxo) × linelinear Abbildung
.°
Die gefordvte Stekgkeit
vonf
'lxo) bedintet nicht , dassf
'skkgvou
xo
abhoiugt ?
°
f
'lx.) ist Abl. ⇐7Faye
C (U,Y) :glx
.) = 0 ^flx
) : f ( xD + f' lxdlx .xo)+ Vx -
xokglx
) .16
° Wenn die
Abbituy
existent , it sieeindentj
,da HH
't
.) -fix
.)) ¥
,He
11flats
) -flu
) -fix
.)s111ns
,,+
Hflxots
)-flu
) -f-
'(a) s11/1111
→ 0far
HsH→0(
Dies verwendrt , dassf
in linerUmgebuy
von xodefnivt
it? )
Satz
: SeieuX. Y
Bauaihraume , UEXoften
, andfill
→ Y bei ×diff
. bar .Dann
istf
bci xstekg
.Benes
's:Belrachte
lineFolge
xu EU wit xn → × EU .Es gilt
:f(
a)'
¥
f
(×) +fi I
×)(
xn. ×)
+°(
Hxn- xll)
, alsoHflxu
) -f
Ix) H £ Hf
' lx) (xn . x) Ht.nl#xHHxixH+u
. → 0fir
n→• . DOperator
norm < a daf
'1x)C- BC X. Y )Ben . :
Umykehrt gilt
: istf skhybei
x . dann ist hire linearAbbildung f
'(×) :X 'sY
, die C*)vfiht
,antomatrsch stehj
,d.h. Element non
BLKY
) .Bsp
. : ° 1st AtR
" "
,
re R" and
f
:IR " .sxH Axtve IR" . danngilt
:f
'(x.) . Atxo
, dennflats )
:fcx
.) + As° 1st
f
: R " " → R " " ,f
IA)= A' ,daun
gilt f
'(A) : B ↳ AB + BA(
duh .for
ni- 7 :f
'1x) :b ' →1-
b)
Beweis :
f
( Ats ) -fla
) -f
'LAID = ( Atb )' - A2 - Ab - SA =s2
. D.h .him 11 -' -
HIHSH
:his :O HDHIHDH ftp.go
11s" . Bs -so
"s'" easy '
° 1st
f
: X → Y, x. .. × Yu : × ' → (fn k ), --. 1fnlx
))
, daungilt
fllx
.) = (filx
.) , ... ,film )
. Z.is .for f
: Rax to( FYifn¥ )
, rearist
f
'(
x.)
.(
- rsinx . ,r cos x.
,
7) (
aTangential
rektor"
an die
Scwanbeuliuie )
17
Die
wichligsten
"Recheuregeln
' :Satz :
(
Linear: tat doAblitung )
Sei UEX
often
undf. g
: U→ Y be: xo EUdiff
. bar ,dann gilt
:(i
) ( f
+g)
' (x.) :f
' K.) +g
'1x.)
(i:)
tfcelk
:(f) (
'1x.) =cfllxo )
Beweis
: (i) 11 (ftg
) ( x. + s ) - (fig
)(x.) -( f
'(ojlxo
e.) + ))
A1/111111
e 11
flats )
.f
(x. ). f- "C×.) s11/11111
+ 11
glxots )
-glx
.) -g 'lx
.) A11/11111
→ 0fir
A → 0Ci:L
felgt ebenfallssofort
ausDefinition
. isSatz :
( kelteuregel )
Seien X.
KZ Banaohroiume
undfill
→ Y , g :V→Z ,wobei
UEX undVEY
often
sind .1st f diff
. bar bei ×eU undg diff
.br beiyi= fix
) e V ,damn
gilt
:(
g.
f)
'l× ) :JLH °f'
k)was ,u
, o
Beweis :
flxts
) =f
(x) +films
+ rl s) wit hjhgo Hsyglyts
')
:gly
) + g'ly)s
' + sls ')ebenfalls
unit sl s') = o(
Ils'll)
Hit s' :=
fllx
) st rls)
und his ) := g'(y ) rl s) + sls ')
gilt
:(
gof)
( xts)
:gly
) + g'
Ly
)f
'(x) s + hla )Z .z . ist also
, class hls ) : o
(
Hsll) for
s→0 . Diesfolgtans
"
hath
" ±ujinu
" " s' "
+
" " s " " "s'"
Hill As
'll
HAH±
" gin
" "high
" + "snlssih
"(
"tix
'"
+" iYsh
")
a- -
÷
→ O → 0 < a → 0