Differentation i vektorrum

Transkript

1 Kapitel 2 Differentation i vektorrum LadXogYvære normerede vektorrum. Vi vil gå ud fra at de er endeligdimensionale, skønt meget af hvad vi siger giver god mening også i uendeligdimensionale rum. Lad U X være en åben mængde, og lad f : U Y være en afbildning. For et givet fast udviklingspunkt x Ukan man studere f s opførsel lokalt omkring x. Det vil man typisk gøre ved hjælp af tilvæksterne af formen r(u)= f (x+u) f. Man underforstår i denne notation at tilvæksten r(u) afhænger af såvel den studerede afbildning f som af udviklingspunktet x. Det er svært sige noget meningsfuldt om definitionsområdet for r, men i første omgang er man primært interesseret i tilvæksterne for u er tæt ved 0. Og da x er et indre punkt i U, vil r(u) i det mindste være veldefineret for u er i en lille kugle om 0. Kontinuitet af f formuleres naturligt i termer af disse tilvækster. Der gælder tydeligvis at f er kontinuert i x hvis og kun hvis r(u) 0 for u 0. Men ofte er man interesseret i en præcisere vurdering af restleddet end som så. Ofte viser det sig at r er approksimativt lineær. I så tilfælde taler man om differentiabilitet. For at være helt præcis kan man indføre en ny type tilvækster, r (u)= f (x+u) f A u, (2.1) 33

2 34 Kapitel 2. Differentation i vektorrum der ud over at afhænge af f og x også afhænger af en lineær afbildning A :X Y. Hvis f er kontinuert i x vil også r gå mod nul for u 0, den lineære afbildning er jo selv kontinuert. Men pointen er at man med et hensigtsmæssigt valg af lineær afbildning muligvis kan opnå at r (u) u 0 for u 0. (2.2) Man bruger gerne de såkaldte Landau-symboler, og skriver r (u)=o( u ) hvis (2.2) er opfyldt. Bemærk at de oprindelige restled r(u) næppe er o( u ), ligesom den lineære afbildning A ikke er o( u ). Det er differensen mellem tilvæksten og den lineære afbildning, der muligvis har den ønskede egenskab. I så fald vil tilvæksten u r(u) og den lineære afbildning A ligne hinanden mere og mere, jo mindre kugle omkring 0 man ser på. Når vi siger at tilvækst og lineær afbildning ligner hinanden mere og mere, skal man vær opmærksom på at de begge ligner nul-afbildningen, og derfor ligner de hinanden i en triviel forstand. Men udsagnet i (2.2) er at de ligner hinanden i endnu højere grad hinanden end de ligner nul. Man kombinerer ofte (2.1) og (2.2) i formlen f (x+u)= f +A u+o( u ), (2.3) hvor restleddet blot er en stenografisk notation for en eller anden funktion, der opfylder (2.2). Det er nemt nok at vise at der højst kan være en lineær afbildning A, der passer ind i dette skema. Hvis der en en, siger vi at f er differentiabel i x, og at A er den afledede i x, gerne skrevet D f. Man skriver ofte f (x+u)= f +D f u+o( u ). Her betyder D f u den lineære afbildning D f virkende på u. Det er en variant af den multiplikative skrivemåde, der viser sig hensigtsmæssig i differentiabilitetssammenhæng. Spørgsmålet om hvorvidt en funktion g :X Y er o( u ) afhænger ikke af de konkrete normer, der ligger på de to vektorrum - ækvivalente normer vil være enige. Når man arbejder med differentiabilitet, kan man således uden videre skifte normer på de indgående rum. Det ændrer ikke på i hvilke punkter en funktion er differentiabel, og det ændrer heller ikke på værdien af den afledede i disse punkter.

3 35 Det er en meget vigtig pointe at den afledede D f er en lineær afbildning. Det er i nogen grad i modstrid med gymnasiedifferentialregning, hvor man differentierer en funktion f :R R i et punkt x, og får et tal som resultat. Og for den sags skyld i modstrid med den indledende universitetsundervisning i differentialregning, hvor man ofte lærer at differentiere en funktion f :R k R m i et punkt x, og som resultat får en matrix, bestående af en masse partielle afledede regnet ud i x. Men selvfølgelig er definitionerne på de forskellige trin beslægtede. Og man kan sikkert gætte at forskellen er den samme som forskellen mellem en lineær afbildning og dens matrixrepræsentation. Eksempel 2.1 Lad f :R R være differentiabel i et punkt x R. Den afledede D f er da en lineær afbildningr R. Enhver afbildning af denne type har formen u a u for et passende a R. Om man vil, er 1 1-matricen bestående af a matrixrepræsentationen af den lineære afbildning - men det synspunkt er nok lige formelt nok for de fleste. Men det følger i hvert fald af (2.3) at Heraf følger at f (x+u) f u f (x+u)= f +a u+o( u ). = a+ u u o( u ) u a for u 0. Funktionen f er altså gymnasiedifferentiabel i x med f =a. Man kan naturligvis tilsvarende påvise den modsatte relation. Vores nye differentiabilitetsdefinition svarer altså præcis til gymnasiets. Forskellen består udelukkende i hvad vi opfatter som resultatet af differentationen. I gymnasiet fokuserer man på tallet f, her fokuserer vi på den lineære afbildning u f u. Den smidigste måde at formulere oversættelsen på er måske f =D f 1, (2.4) hvor vi på højre side lader den lineære afbildning D f virke på vektoren 1. Eksempel 2.2 Lad f :X Y være konstant, f =y 0 for alle x X. Vi ser at (2.3) er opfyldt med A = 0 (altså nulelementet i Lin(X, Y), den lineære afbildning, der sender alting over i nul), for restleddet er i så fald ikke blot o( u ) - det er faktisk identisk nul. Derfor er f differentiabel overalt og D f = 0.

4 36 Kapitel 2. Differentation i vektorrum Sætning 2.3 Lad f : X Y være lineær. Så er f differentiabel i ethvert punkt x X, og D f u= f (u) for alle x, u X. BEVIS: Påstanden er en trivialitet, som udelukkende bliver kompliceret af notationsgrunde - samme ting kommer til at hedde to forskellige ting. Hvis vi lader A= f, vil de modificere tilvækster fra (2.1) opfylde at r (u)= f (x+u) f A u= f (x+u) f f (u)=0 for alle u. Og en funktion, der er identisk nul, er selvfølgelig o( u ). Så vi har på denne måde vist at f er differentiabel i x, med afledet A. Sætning 2.4 Lad f :X Y Z være bilineær. Så er f differentiabel i ethvert punkt (x, y) X Y, og D f (x, y) (u, v)= f (x, v)+ f (u, y) for alle x, u X,y, v Y. BEVIS: Bilinearitet giver at Bemærk at for fast (x, y) er f (x+u, y+v)= f (x, y)+ f (x, v)+ f (u, y)+ f (u, v), (u, v) f (x, v)+ f (u, y) en lineær afbildningx Y Z. Dermed skal vi kun eftervise at restleddet f (u, v) er af den rigtige størrelsesorden, altså at f (u, v)=o( (u, v) ). Lad os udstyrex Y med en norm, der er 2-kombinationen af normerne på X og Y. Den bilineære afbildning f opfylder en begrænsethedsbetingelse af formen (1.12), så f (u, v) (u, v) = f (u, v) u 2 + v 2 u 2 + v 2 f (u, v) f, u u 2 + v 2 v u 2 + v 2 og den sidste størrelse går tydeligvis mod nul for (u, v) 0.

5 37 Sætning 2.5 Lad f :X Yog g :X Zvære differentiable i et punkt x X. Da er sammenbundtningen ( f, g) :X Y Z differentiabel i x med D( f, g) (u)= ( D f u, Dg u ) for alle u X. BEVIS: Hvis f (x+u)= f +D f u+ǫ 1 (u), g(x+u)=g+dg u+ǫ 2 (u), hvorǫ 1 (u) er o( u ) ogǫ 2 (u) er o( u ), så er ( f, g ) (x+u)= ( f (x+u), g(x+u) ) = ( f +D f u+ǫ 1 (u), g+dg u+ǫ 2 (u) ) = ( f, g ) + ( D f u, Dg u ) + ( ǫ 1 (u),ǫ 2 (u) ). Idet midterledet er lineært i u, tilbagestår at vise at sidste led er et restled af den rette størresesorden. Men ( ǫ 1 (u),ǫ 2 (u) ) ǫ1 (u) = 2 + ǫ 2 (u) 2 ǫ 1 (u) = 2 u u u 2 + ǫ 2(u) 2 u 2, og den sidste størrelse går tydeligvis mod nul for u 0. Her har vi stiltiende udstyret Y Z med en norm, der er 2-kombinationen af normerne påyogz. Sætning 2.6 (Kædereglen) Lad f : X Y være differentiabel i punktet x X, og lad g :Y Z være differentiabel i punktet y= f. Da er den sammensatte afbildning g f :X Zdifferentiabel i x med D(g f ) u=dg ( f ) (D f u ) for alle u X. BEVIS: Hvis f (x+u)= f +D f u+ǫ 1 (u), g(y+v)=g(y)+dg(y) v+ǫ 2 (v), hvorǫ 1 (u) er o( u ) ogǫ 2 (v) er o( v ), så er g f (x+u)=g ( f +D f u+ǫ 1 (u) ) = g ( f ) + Dg ( f ) (D f u+ǫ 1 (u) ) +ǫ 2 ( D f u+ǫ1 (u) ) = g ( f ) + Dg ( f ) D f u+dg ( f ) ǫ 1 (u) +ǫ 2 ( D f u+ǫ1 (u) ).

6 38 Kapitel 2. Differentation i vektorrum Vi skal således vise at de sidste to led er o( u ). Vi ser at Dg ( f ) ǫ 1 (u) u Dg ( f ) ǫ 1(u) u, hvilket tydeligvis går mod nul for u 0. Hvad angår det sidste led, skal vi være lidt mere omhyggelige. Bemærk at Derfor vil D f u+ǫ 1 (u) D f u + ǫ 1(u) u u 0 for u 0. ǫ 2 ( D f u+ǫ1 (u) ) u = ǫ ( 2 D f u+ǫ1 (u) ) D f u+ǫ 1 (u) ǫ ( 2 D f u+ǫ1 (u) ) D f u+ǫ 1 (u) D f u+ǫ 1 (u) u ( D f + ǫ ) 1(u). u Her går første faktor mod nul mens anden faktor holder sig begrænset for u 0. Eksempel 2.7 Lad f, g :R Rvære differentiable i hhv. x og y= f. Det følger af kædereglen at g f er differentiabel i x, og kombineres kædereglen med (2.4), får vi at (g f ) =D(g f ) 1=D(g) ( f ) (D f 1 ) = D(g) ( f ) f = f D(g) ( f ) 1= f g ( f ), hvor vi i næstsidste lighedstegn har brugt at u Dg( f ) u er lineær, og at vektoren f kan opfattes som skalaren f gange vektoren 1. Kædereglen indeholder altså den fra gymnasiet så velkendte formel for differentation af en sammensat funktion. Eksempel 2.8 Produktet f g af to funktioner f, g :R R er en ny funktionr R. Vi opfatter produktet som en sammensætning af sammenbundtningen ( f, g) :R R 2 med den bilineære afbildning (x, y) x y. Vi skriver f g=b( f, g), hvor B betegner den sædvanlige multiplikation.

7 39 Hvis f og g begge er differentiable i x, følger det af dette syn på produktet (og af kædereglen og sætning 2.5) at f g er differentiabel i x, og at D( f g) u=db( f, g) (D( f, g) u) = B( f, Dg u)+ B(D f u, g) = f Dg u+g D f u. Oversættes til gymnasiedifferentialkvotienter, fås ( f g) =D( f g) 1= f Dg 1+g D f 1= f g +g f, en formel de fleste sikkert vil kunne nikke genkendende til. Eksempel 2.9 For en funktion f :R k R bringer man ofte begrebet partielle afledede på banen. Man definerer traditionelt den partielle afledede i den i te koordinatretning som f x i =( fγ) (0), hvorγ :R R k er afbildningen γ(t)= x+t e i, for t R. Her er e 1,...,e k den kanoniske basis forr k. Vi lægger altså en bestemt kurve gennem x, og regner f ud på denne kurve. Hvis f er differentiabel, så er den sammensatte afbildning f γ differentiabel. Kædereglen giver at f x i =( fγ) (0)=D( fγ)(0) 1= D f ( γ(0)) (Dγ(0) 1 ) = D f e i. (2.5) Her har vi brugt atγer affin, og dermed differentiabel, med sin lineære del som afledet. Moralen der kan uddrages af disse regninger, er at hvis f er differentiabel, eksisterer de partielle afledede, og de kan udtrykkes ved hjælp af D f. Det omvendte spørgsmål er lidt mere indviklet: hvis vi ved at f er differentiabel, så kan vi udtrykke D f ved hjælp af de partielle afledede - en lineær afbildning er jo givet ved sin værdi på elementerne i en basis. Men hvis vi ikke på forhånd ved om f er differentiabel, er det ikke så nemt at undersøge ved hjælp af partielle afledede. Der findes funktioner f :R k R hvor alle

8 40 Kapitel 2. Differentation i vektorrum partielle afledede eksisterer i et givet punkt x, men hvor afbildningen alligevel ikke er differentiabel i x. Man kan dog vise at hvis alle partielle afledede eksisterer i en åben mængde U R k, og hvis disse partielle afledede alle er kontinuerte i U, så er f differentiabel i hvert punkt i U, og den afledede x D f er selv kontinuert. Beviset er lidt besværligt og påstanden er ikke specielt nyttig: som i den elementære matematik beviser man i praksis at afbildninger er differentiable ved at observere at de er bygget op af simplere, differentiable funktioner, hvorefter en henvisning til kædereglen klarer sagen. Eksempel 2.10 For en funktion f :R k R m bruger man også begrebet partielle afledede. Man definerer som regel hvor g :R R er afbildningen f i x j =g (0), g(t)= f (x+t e j ), w i, for t R. Her er e 1,...,e k den kanoniske basis forr k, mens w 1,...,w m er den kanoniske basis forr m. Funktionen g er en sammensætning at tre afbildninger: inderst en affin afbildning, så den afbildning f vi virkelig interesserer os for, og yderst en lineær afbilding. Hvis f er differentiabel giver kædereglen at g er differentiabel, og f i x j =g (0)=Dg(0) 1= w i, D f e j,. (2.6) Eksempel 2.11 Antag at f :R k R m er differentiabel i x. Den afledte D f er en lineær afbildningr k R m, og kan derfor i princippet repræsenteres af en m kmatrix A. Ifølge lemma 1.12 har denne matrix koordinater af formen a i j = w i, D f e j for,...,m, j=1,...k.

9 41 Sammenlignes med (2.6), ses at disse koordinater netop er de partielle afledede. Altså repræsenteres den lineære afbildning D f af matricen A= f 1 x 1 f 2 x 1. f m x 1 f 1 x 2 f 2 f m x 2 f 1 x k f 2 x 2 x k.,.... f m x k i fin overensstemmelse med den elementære definition af den afledte af f som en matrix af partielle afledede. Det nye er for så vidt blot at vi opfatter den afledte som det matricen gør når den den aktiveres, ikke som matricen selv. For en afbildning f :X R er den afledte D f for hvert x en lineær afbildning X R, altså et element i det duale rumx. HvisXhar et indre produkt, er en naturlig måde at identificerex medxselv, se afsnit Oversættes D f til enx-vektor, kaldes resultatet ofte gradienten for f i x, og skrives f. Den definerende relation for gradienten er altså at f, u =D f u, for alle u X. (2.7) Gradienten opfattes typisk som simplere end den afledede D f, fordi man på denne måde kan vige uden om behovet for at snakke om lineære afbildninger. HvisX=R k, og hvis vi udstyrerr k med det sædvanlige indre produkt, er det let at identificere gradienten for f. Dens i te koordinat er f, e i =D f e i = f x i, ifølge (2.5). Så f er simpelthen de partielle afledede, stablet op i en k-søjle. I modsætning til matrixrepræsentationen af D f, der jo består af de partielle afledede, stablet op som en k-række...

10 42 Kapitel 2. Differentation i vektorrum 2.1 Højere ordens afledede Hvis f : X Y er differentiabel i alle punkter, så kan vi betragte afbildningen x D f. Det er en afbildningx Lin(X,Y). Specielt er det en afbildning mellem to normerede endeligdimensionale vektorrum. Vi siger naturligvis at f er C 1, hvis denne afbildning er kontinuert. Principielt foreligger muligheden for at x D f selv er differentiabel i et punkt x X - eller eventuelt i alle punkter. Hvis det er rigtigt, kaldes den afledede naturligt nok den anden afledede af f i punktet x, og skrives D 2 f. Formelt er D 2 f Lin(X, Lin(X,Y)). Konventionelt oversættes sådanne lineære afbildninger ind i rum af lineære afbildninger automatisk til bilineære afbildninger. Vi får således at D 2 f Bil(X,X;Y). Hvis f er to gange differentiabel i alle punkter, og hvis afbildningen x D 2 f er kontinuert, siger vi at f er C 2. Sætning 2.12 Hvis f : U Y er en C 2 -afbildning, defineret på en åben mængde U X, så er D 2 f en symmetrisk bilineær afbildning for alle x U. BEVIS: vi taler om en reformulering og udvidelse af det kendte og elskede resultat at det for blandede partielle afledede 2 f x i x j ikke spiller nogen rolle i hvilken rækkefølge differentationerne tages, hvis f er C 2. Beviset har to trin: dels en reduktion af det generelle tilfælde til tilfældet medx=r 2 ogy=r, og dels et bevis i det specielle tilfælde. Begge dele er en anelse besværlige, og vi springer detaljerne over. Eksempel 2.13 Lad f : X Y være lineær. Ifølge sætning 2.3 er f differentiabel overalt, og D f = f for alle x. Det vil sige at D f : X Lin(X,Y) er en konstant afbildning. Ifølge eksempel 2.2 er D f derfor differentiabel med D 2 f =D(D f )=0 for alle x.

11 2.1. Højere ordens afledede 43 Eksempel 2.14 Lad B :X X Y være en bilineær afbildning, og betragt den tilhørende kvadratiske form g : X Y givet ved g=b(x, x) for x X. Det er en sammensætning af den lineære afbildning h=(x, x) og den bilineære afbildning B. Ifølge kædereglen er g differentiabel med Dg u= DB(x, x) (Dh u ) = DB(x, x) (u, u)=b(x, u)+ B(u, x). Man ser let at denne afbildning er lineær i x. Derfor er Dg differentiabel overalt, med sig selv som afledet. Hvis vi ser på D 2 g som en bilineær afbildning, får vi at D 2 g (u, v)=b(u, v)+ B(v, u). Hvis B er symmetrisk, ser vi at D 2 g=2b. Sætning 2.15 (2. ordens kæderegel) Lad f : X Y være to gange differentiabel i punktet x X, og lad g :Y Z være to gange differentiabel i punktet y= f. Da er den sammensatte afbildning g f :X Z to gange differentiabel i punktet x med D 2 (g f ) (u, v)=d 2 g ( f ) (D f u, D f v ) for alle u, v X. + Dg ( f ) (D 2 f (u, v) ), BEVIS: Faktisk er sætningen triviel! Pointen er at den sædvanlige kæderegel giver en formel for den første afledede, der i sig selv er en sammensat funktion: D(g f )=D(g)( f )D f. Her står en identitet mellem to lineære afbildninger, vi har i notationen undertrykt det argument-u, de virker på, og som plejer at indgå i formuleringen af kædereglen. Hvis man nu gør den observation at : Lin(Y,Z) Lin(X,Y) Lin(X,Z) er en bilineær afbildning, følger 2. ordens kædereglen faktisk direkte ved indsættelse i den sædvanlige kæderegel.

12 44 Kapitel 2. Differentation i vektorrum Eksempel 2.16 Lad f :R k R være to gange differentiabel. Da diskuterer man ofte de dobbelte partielle afledede, Idet 2 f = ( ) f. x i x j x j x i f x i =D f e i følger det af kædereglen at denne afbildning er differentiabel (sammensætning af x D f med den lineære afbildning, der prikker på den faste vektor e i ). Det følger ovenikøbet hvad den aflede er: 2 f x i x j =D (D f e i ) e j = D 2 f (e 1, e j ). Hvis f :R k Rer to gange differentiabel, så har D 2 f en matrixfremstilling, D 2 f (u, v)=u T B v. Det følger af det allerede viste at den repræsenterende matrix består af de dobbelte partielle afledede, 2 f x 1 x 1 2 f B= x 2 x 1. 2 f x k x 1 2 f x 1 x 2 2 f 2 f x 1 x k 2 f x 2 x 2 x 2 x k f x k x 2 2 f x k x k. Sætning 2.17 Antag atxer udstyret med et indre produkt. Hvis f :X R er to gange differentiabel i punktet x, så er f : X X differentiabel i x, og den afledede opfylder relationen D f u, v = D 2 f (u, v) for alle u, v X.

13 2.2. Målelighed af den afledte 45 BEVIS: Vælg en ortonormal basis e 1,...,e k forx. Udnyttes relationen (2.7) ser vi at f = k f, e i e i = k D f e i, e i. Bemærk at f er en sammensætning af afbildningen D f med en lineær transformationφ:lin(x,r) Xgivet ved φ(a)= k ( ) Aei ei for A Lin(X,R). Af kædereglen ser vi nu af f er differentiabel i x og at D f y= D ( φ D f ) y=φ ( DD f y ) = k ( ) DD f y (ei ) e i. Vi har fastholdt skrivemåde DD f for at lade det være helt klart at vi ikke skal tænke på objektet som en bilineær afbildning, men som en lineær afbildningx Lin(X, R). Men inddrages identificeringen (1.11) ser vi netop at D f y= k D 2 f (y, e i ) e i. Inddrages endnu en vektor z X får vi at D f y, z = præcis som ønsket. k D 2 f (y, e i ) e i, = D 2 f (y, k z, e j e j = j=1 k D 2 f (y, e i ) z, e i n z, e i e i )=D 2 f (y, z), 2.2 Målelighed af den afledte Lemma 2.18 Lad (X,E) være et målbart rum, og ladzvære et vektorrum med indre produkt. En afbildning f :X Z er målelig hvis og kun hvis afbildningen x f, z er målelig for hvert fast z Z.

14 46 Kapitel 2. Differentation i vektorrum BEVIS: Afbildningen w w, z er kontinuert for hvert fast z, og dermed Borelmålelig. Hvis f er målelig, ser vi derfor at x f, z er en sammensætning af to målelige afbildninger, og således selv målelig. For at vise den modsatte implikation vælger vi en ortonormalbasis e 1,...,e k forz. Den tilhørende koordinatafbildningφ :R k Z φ(t 1,...,t k )= k t i e i, er lineær og dermed kontinuert, og dermed igen Borelmålelig. Vi ser at f = f, e i e i =φ ( f, e 1,..., f, e k ). Hvis f prikket på en fast vektor altid er målelig, ser vi således at f selv er opbygget af målelige afbildninger, og derfor er f målelig. Lemma 2.19 Lad (X, E) være et målbart rum, og lad Y og Z være normerede endeligdimensionale vektorrum. En afbildning f : X Lin(Y, Z) er målelig hvis og kun hvis evalueringen f y :X Zgivet ved f y = f y er målelig for hvert fast y. BEVIS: Evalueringsafbildningen ev y : Lin(Y,Z) Z givet ved ev y (L)=L y er kontinuert for hvert fast y, og dermed Borelmålelig. Vi ser at f y = ev y f, så hvis f er målelig, så vil alle f y -afbildningerne også være målelige. Det omvendte resultat er essentielt et udtryk for separabilitet: ethvert endeligdimensionalt normeret vektorrum har en tællelig tæt delmængde. Man kan f. eks. vælge en basis for vektorrummet, og se på de rationale linearkombinationer af basisvektorerne. Antag at f y -afbildningerne alle er målelige. Betragt L Lin(Y,Z) ogǫ> 0. Da er {x X f L ǫ}={x X sup = y: y 1 y: y 1 ( f L) y ǫ} {x X f y L y ǫ}. Målelighedsantagelsen om f y erne sikrer at de mængder, der her tages fællesmængde over, alle er E-målelige. Det ser ganske vist ud som en overtællelig fællesmængde,

15 2.2. Målelighed af den afledte 47 men man overbeviser sig let om at hvis (y n ) n N er eny-følge, der ligger tæt i enhedskuglen, så vil y: y 1 {x X f y L y ǫ}= Og således konstaterer vi at {x X f y n L y n ǫ}. {x X f L ǫ} E for alle L Lin(Y,Z),ǫ> 0. Eftersom de lukkede kugler udgør et frembringersystem for Borelalgebraen på Lin(Y, Z), følger det at f er målelig. n=1 Lemma 2.20 Lad (X,E) være et målbart rum, og ladyogzvære normerede vektorrum. Lad U Y være en åben mængde, og lad f :X U Z være en afbildning. Antag at afbildningen x f (x, y) er målelig for hvert fast y, og at afbildningen y f (x, y) er differentiabel for hvert fast x, med afledet D f x (y). Da er afbildningen x D f x (y) målelig for hvert fast y. BEVIS: Lad os i første omgang antage aty=z=r. Hvis vi lader (y n ) n N være en følge, der konvergerer mod y, ser vi at f x (y)= lim n f (x, y n ) f (x, y) y n y Differenskvotienterne er alle målelige som funktion af x, og derfor bliver grænsen også målelig som funktion af x. Oversættes til vores abstrakte sprogbrug, ser vi at for fast u er D f x (y) u= f x (y)u en målelig afbildning af x. Det generelle tilfælde klarer vi ved kædereglen. Vælg et indre produkt påz-man kan f.eks. tage en basis forzog udråbe den til at være en ortonormalbasis, denne fremgangsmåde definerer et entydigt bestemt indre produkt. Tag en fast vektor u Y og z Z, og betragt g(x, t)= f (x, y+tu), z..

16 48 Kapitel 2. Differentation i vektorrum Kædereglen og ovenstående specialtilfælde sikrer at g x (0)= D f x(y) u, z, er en målelig afbildning af x. En henvisning til lemma 2.18 sikrer at D f x (u) u er en målelig afbildning af x for fast y og u, hvorefter en henvisning til lemma 2.19 sikrer at D f x (y) er en målelig afbildning af x. Sætning 2.21 Lad (X,E,µ) være et målrum, ladyogzvære endeligdimensionale vektorrum, og lad U Y være en åbent mængde. Lad f :X U Z være en afbildning, hvor alle snitfunktionerne x f (x, y) er E-målelige og µ-integrable. Sæt φ(y)= f (x, y) dµ for y U. Hvis alle snitfunktionerne y f (x, y) er differentiable i hele U, og hvis der findes en integrabel funktion h M + (X) så D y f (x, y) h for alle x X, y U, så erφdifferentiabel i U, og Dφ(y) = D y f (x, y) dµ for alle y U. (2.8) BEVIS: Vi skal vise at φ(y+ν) φ(y) D y f (x, y) dµ ν 0 ν for ν 0. Men ved at bruge sætning 1.26 ser vi at venstresiden kan skrives som f (x, y+ν) f (x, y) D y f (x, y) ν dµ ν f (x, y+ν) f (x, y) Dy f (x, y) ν dµ ν For fast x vil integranden i det sidste integral gå mod nul forν 0, så hvis vi blot kan vise at denne konvergens kan majoriseres integrabelt, så følger det ønskede af majorantsætningen. Vi viser at integranden kan majoriseres af 2h. Det følger hvis f (x, y+ν) f (x, y) ν h.

17 2.2. Målelighed af den afledte 49 Tag et w Z. Ifølge middelværdisætningen findes der et ξ U så f (x, y+ν) f (x, y), w = D y f (ξ) ν, w D y f (ξ) ν w D y f (ξ) ν w hvor vi har brugt Cauchy-Schwarz ulighed og Lipschitz egenskaben af operatornormen. Derfor har vi at f (x, y+ν) f (x, y) = sup f (x, y+ν) f (x, y), w h ν w: w 1 som ønsket.

18 50 Kapitel 2. Differentation i vektorrum