2 Funktioner från R n till R m, linjära, inversa och implicita funktioner

Relevanta dokument
Repetition, Matematik 2 för lärare. Ï x + 2y - 3z = 1 Ô Ì 3x - y + 2z = a Ô Á. . Beräkna ABT. Beräkna (AB) T

5 Lokala och globala extremvärden

Övningar. MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik. Linjär algebra 2. Senast korrigerad:

Kap Implicit givna funktioner

1. Beräkna hastigheten, farten och accelerationen vid tiden t för en partikel vars rörelse beskrivs av r(t) = (2 sin t + cos t, 2 cos t sin t, 2t).

Lektion 3. Partiella derivator, differentierbarhet och tangentplan till en yta, normalen i en punkt till en yta, kedjeregeln

Modul 1: Komplexa tal och Polynomekvationer

7 Extremvärden med bivillkor, obegränsade områden

Lösningsförslag till tentamen Torsdag augusti 16, 2018 DEL A

ENDIMENSIONELL ANALYS B1 FÖRELÄSNING XV. Föreläsning XV. Mikael P. Sundqvist

1. Bestäm definitionsmängden och värdemängden till funktionen f(x,y) = 1 2x 2 3y 2. Skissera definitionsmängden, nivålinjerna och grafen till f.

Övningar. c) Om någon vektor i R n kan skrivas som linjär kombination av v 1,..., v m på precis ett sätt så. m = n.

SF1626 Flervariabelanalys

. b. x + 2 y 3 z = 1 3 x y + 2 z = a x 5 y + 8 z = 1 lösning?

Flervariabelanalys E2, Vecka 3 Ht08

DERIVATA. = lim. x n 2 h h n. 2

SF1625 Envariabelanalys Lösningsförslag till tentamen

1 Koordinattransformationer

Tentamen i matematik. f(x) = ln(ln(x)),

Linjära avbildningar. Låt R n vara mängden av alla vektorer med n komponenter, d.v.s. x 1 x 2. x = R n = x n

v0.2, Högskolan i Skövde Tentamen i matematik

= 0. Båda skärningsvinklarna är således π/2 (ortogonala riktningsvektorer).

Tentamen i matematik. f(x) = 1 + e x.

1. Vi skriver upp ekvationssystemet i matrisform och gausseliminerar tills vi når trappstegsform,

1 Linjära ekvationssystem. 2 Vektorer

Veckoblad 3, Linjär algebra IT, VT2010

Lösningsförslag till skrivningen i Vektorgeometri (MAA702) måndagen den 30 maj 2005

. (2p) 2x + 2y + z = 4 y + 2z = 2 4x + 3y = 6

Tavelpresentation. Gustav Hallberg Jesper Strömberg Anthon Odengard Nils Tornberg Fredrik Blomgren Alexander Engblom. Januari 2018

4x az = 0 2ax + y = 0 ax + y + z = 0

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Tavelpresentation - Flervariabelanalys. 1E January 2017

har ekvation (2, 3, 4) (x 1, y 1, z 1) = 0, eller 2x + 3y + 4z = 9. b) Vi söker P 1 = F (1, 1, 1) + F (1, 1, 1) (x 1, y 1, z 1) = 2x + 3y + 4z.

SF1625 Envariabelanalys

SF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen DEL A

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A. 1. En svängningsrörelse beskrivs av

x 2 5x + 4 2x 3 + 3x 2 + 4x + 5. d. lim 2. Kan funktionen f definieras i punkten x = 1 så att f blir kontinuerlig i denna punkt? a.

1 x. SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

Institutionen för Matematik, KTH Torbjörn Kolsrud

Vektorgeometri för gymnasister

x(t) I elimeringsmetoden deriverar vi den första ekvationen och sätter in x 2(t) från den andra ekvationen:

UPPSALA UNIVERSITET Matematiska institutionen Styf. Exempeltenta med lösningar Programmen EI, IT, K, X Linjär algebra juni 2004

LYCKA TILL! kl 8 13

LINJÄRA AVBILDNINGAR

ax + y + 4z = a x + y + (a 1)z = 1. 2x + 2y + az = 2 Ange dessutom samtliga lösningar då det finns oändligt många.

MVE035. Sammanfattning LV 1. Blom, Max. Engström, Anne. Cvetkovic Destouni, Sofia. Kåreklint, Jakob. Hee, Lilian.

= 0 vara en given ekvation där F ( x,

Vektorgeometri för gymnasister

Vektorgeometri för gymnasister

4 McLaurin- och Taylorpolynom

Lösningar till utvalda uppgifter i kapitel 8

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A. (1 p) (c) Bestäm avståndet mellan A och linjen l.

1 som går genom punkten (1, 3) och är parallell med vektorn.

SF1626 Flervariabelanalys Tentamen Måndagen den 21 mars 2016

Frågorna 1 till 6 ska svaras med ett kryss för varje korrekt påstående. Varje uppgift ger 1 poäng. Använd bifogat formulär för dessa 6 frågor.

Chalmers tekniska högskola Datum: kl Telefonvakt: Linnea Hietala MVE480 Linjär algebra S

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

Figur 1: Postföretagets rektangulära låda, definitioner.

Lösningsförslag, preliminär version 0.1, 23 januari 2018

Uppgifter inför KS4 den 11 april Matematik II för CL. SF1613.

x 2 5x + 4 2x 3 + 3x 2 + 4x + 5. d. lim 2. Kan funktionen f definieras i punkten x = 1 så att f blir kontinuerlig i denna punkt? a.

Övningar till Matematisk analys III Erik Svensson

x ( f u 2y + f v 2x) xy = 24 och C = f

SF1624 Algebra och geometri Tentamen Torsdag, 9 juni 2016

MA2001 Envariabelanalys

x 2 5x + 4 2x 3 + 3x 2 + 4x + 5. d. lim 2. Kan funktionen f definieras i punkten x = 1 så att f blir kontinuerlig i denna punkt? a.

LMA222a. Fredrik Lindgren. 17 februari 2014

6. Matriser Definition av matriser 62 6 MATRISER. En matris är ett rektangulärt schema av tal: a 11 a 12 a 13 a 1n a 21 a 22 a 23 a 2n A =

Sätt t = (x 1) 2 + y 2 + 2(x 1). Då är f(x, y) = log(t + 1) = t 1 2 t t3 + O(t 4 ) 1 2 (x 1) 2 + y 2 + 2(x 1) ) 2 (x 1) 2 + y 2 + 2(x 1) ) 3

1. För vilka värden på konstanterna a och b är de tre vektorerna (a,b,b), (b,a,b) och (b,b,a) linjärt beroende.

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A

Uppsala Universitet Matematiska Institutionen Bo Styf. Sammanfattning av föreläsningarna

Linjär algebra på 2 45 minuter

x +y +z = 2 2x +y = 3 y +2z = 1 x = 1 + t y = 1 2t z = t 3x 2 + 3y 2 y = 0 y = x2 y 2.

Tentamen i tmv036c och tmv035c, Analys och linjär algebra C för K, Kf och Bt A =, = det(a λi) = e 2t + c 2. x(t) = c 1. = c 1.

Visa att vektorfältet F har en potential och bestäm denna. a. F = (3x 2 y 2 + y, 2x 3 y + x) b. F = (2x + y, x + 2z, 2y 2z)

x f (x) dx 1/8. Kan likhet gälla i sistnämnda relation. (Torgny Lindvall.) f är en kontinuerlig funktion på 1 x sådan att lim a

19. Spektralsatsen Spektralsatsen SPEKTRALSATSEN

Repetitionsfrågor i Flervariabelanalys, Ht 2009

A = (3 p) (b) Bestäm alla lösningar till Ax = [ 5 3 ] T.. (3 p)

(d) Mängden av alla x som uppfyller x = s u + t v + (1, 0, 0), där s, t R. (e) Mängden av alla x som uppfyller x = s u där s är ickenegativ, s 0.

Linjär algebra på några minuter

SF1625 Envariabelanalys Lösningsförslag till tentamen DEL A. e 50k = k = ln 1 2. k = ln = ln 2

Egenvärden och egenvektorer. Linjär Algebra F15. Pelle

Enhetsvektorer. Basvektorer i två dimensioner: 1 1 Basvektorer i tre dimensioner: Enhetsvektor i riktningen v: v v

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

5 Linjär algebra. 5.1 Addition av matriser 5 LINJÄR ALGEBRA

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

SF1625 Envariabelanalys Tentamen Onsdagen den 5 juni, 2013

Lösningsförslag till skrivningen i Vektorgeometri (MAA702) Måndagen den 13 juni 2005

Inlämningsuppgift nr 2, lösningar

SF1626 Flervariabelanalys Tentamen Tisdagen den 7 juni 2016

8 Minsta kvadratmetoden

Gripenberg. Mat Grundkurs i matematik 1 Tentamen och mellanförhörsomtagning,

Basbyten och linjära avbildningar

SF1669 Matematisk och numerisk analys II Lösningsförslag till tentamen DEL A. r cos t + (r cos t) 2 + (r sin t) 2) rdrdt.

Tentamen: Lösningsförslag

Linjära avbildningar. Definition 1 En avbildning mellan två vektorrum, F : V U, kallas linjär om. EX. Speglingar, rotationer, projektioner i R 3.

En normalvektor till g:s nivåyta i punkten ( 1, 1, f(1, 1) ) är gradienten. Lektion 6, Flervariabelanalys den 27 januari z x=y=1.

SF1626 Flervariabelanalys Tentamen Tisdagen den 12 januari 2016

Transkript:

Nr, feb -5, Amelia Funktioner från R n till R m, linjära, inversa och implicita funktioner.1 Funktioner från R n till R m Vi har i tidigare föreläsningar sett olika tolkningar av funktioner från R n till R m för olika värden på n och m, där de viktigaste är kurvor (n =1), ytor (n =) och koordinattransformationer (n = m) Vi behöver vissa krav på ingående funktioner för att den geometriska formen ska vara väldefinierad, vilket i allmänhet är att funktionerna som förekommer är kontinuerligt deriverbara, och att derivatan i någon mening inte får vara noll (som jacobianens determinant determinanten av den matris som innehåller alla möjliga partiella förstaderivator). Att derivatan ska vara skild från noll är ett villkor som vi ska se är viktigt även gällande inversa och implicita funktioner. Exempel 1 (Uppgift 31b + r (t)) Bestämlim t r(t) och r (t) om sin t r(t) =(,tcos t). t Lösning: Vi beräknar de två gränsvärdena, för x-komponenten och y-komponenten var för sig. Båda måste existera för att lim t r(t) ska existera. sin t sin t lim = lim t t t t t cos t 1=. Dessutom är sin t = 1=(standardgränsvärde: lim =1), t t r (t) = ( d sin t, d t cos t) dt t dt = ( 1 ( sin t +tcos t), cos t t sin t)). t Svar: Sålim t r(t) =(, ) och r (t) =( 1 t ( sin t +tcos t), cos t t sin t)). Exempel (Uppgift 34 + acceleration) Bestäm hastighet, fart och acceleration för r(t) =(sint, cos t, cos t), t π i punkten t = π 4. I vilken punkt är farten störst? Lösning: Vi får hastigeheten genom att derivera m.a.p. t r (t) = d (sin t, cos t, cos t) dt = (cost, sin t, sint) 1

och accelerationen genom att derivera en gång till: r (t) = d dt r (t) = d (cos t, sin t, sint) dt = ( sin t, cos t, 4cost). Farten är beloppet av hastigheten: r (t) = (cos t, sin t, sint) p = cos t +sin t +4sin t = {trig. ettan} p = 1+4sin t. Vid tiden π 4 har vi alltså Hastighet : r ( π 4 )=( 1, 1, ) Acceleration : r ( π 4 )=( 1, 1, ) Fart : r ( π r 4 ) = 1+4sin π r 4 = 1+4sin π = 5. Var är farten maximal? Man kan derivera farten p 1+4sin t m.a.p. t och sätta denna derivata lika med noll. Men enklare är att observera att maximum för p 1+4sin t inträffar när sin t =1. Det ger t = π 4,tyvihar parameterintervallet t π. Detta t-värde ger punkten r( π 4 ) = (sin π 4, cos π 4, cos π 4 ) = ( 1 1,, ). Svar: Hastighet i π 4 : r ( π 4 )=( 1, 1, ) Acceleration i π 4 : r ( π 4 )=( 1, 1, ) Fart i π r 4 : ( π r 4 ) = 1+4sin π r 4 = 1+4sin π = 5, Maximal fart i π 4 : r( π 4 )=( 1, Exempel 3 Bestäm jacobianen J f, df dy och xz + yz, xyz). 1, ). df d(x,z) för f(x, y, z) =(x+y+x, xy+

Vi betecknar f(x, y, z) =(f 1 (x, y, z),f (x, y, z),f 3 (x, y, z)). Jacobianen är matrisen av alla partiella derivator av funktionerna x + y + x, xy + xz + yz och xyz : f d(f 1,f,f 3 ) 1x f1y f1z = f x fz f z = {nio partiella deriveringar} d(x, y, z) fx f3y f3z = 1 1 1 y + z x+ z x+ y. yz xz yz På analogt sätt är och Svar: d(f 1,f,f 3 ) d(x, y, z). d(f 1,f,f 3 ) dy d(f 1,f,f 3 ) d(x, z) d(f 1,f,f 3 ) dy = = = f 1x fx fx = f1y fz f3y f1z fz f3z = 1 x + z xz = 1 1 y + z x+ y. yz yz 1 1 1 y + z x+ z x+ y, yz xz yz 1 x + z, d(f 1,f,f 3 ) = 1 1 y + z x+ y. xz d(x, z) yz yz Exempel 4 (45b) Bestäm jacobianen till f(x, y) =(xy, x + y ). J f = d(f µ µ 1,f ) f = 1x f1y y x d(x, y) fx fz =. x y Exempel 5 (46) Antag att g(x, y) =(x,xy) och f(u, v) =(uv, u v).bestäm f g, J f,j f och J f g. (a)i sammansättningen f g, får vi f(u, v) =f(g 1 (x, y),g (x, y)), så byt ut u mot g 1 (x, y) =x och v mot g (x, y) =xy. Detger f g = (uv, u v) = (x xy, x xy) =(x 3 y, x xy). (c) Vi får genast jacobianen till f g genom att derivera partiellt m.a.p. x och y : J f g = d(x3 y, x µ xy) 3x = y x 3. d(x, y) x y x 3

(b) Kedjeregeln (jämför: Vi har också J f (u, v) = d dx f g = f (g(x))g (x)) säger att J f g = J f (g(x))j g (x). d(uv, u v) d(u, v) = µ v u 1 1 och µ J g = d(x,xy) x =, d(x, y) y x så sätter vi in u = x och v = xy i J f så får vi J f (g(x)) µ J f (x xy x,xy)=. 1 1 Matrisprodukten J f (g(x))j g (x), som alltså är ett alternativt sätt att beräkna J f g, beräknad ovan, blir då µ µ xy x x J f (g(x))j g (x) = 1 1 y x µ 3x = y x 3, x y x mycket riktigt.. Linjära funktioner..1 Linjära och affina funktioner En viktigt typ av funktion från R n till R m är en linjär funktion, som defineras av en matris av typ m n. En vektor x, skriven som kolonnvektor, avbildas på produkten Ax, alltså f(x) =Ax. Detta är en linjär funktion. En translation, som f(x) =x + a, från R n till R n, där a är en fix vektor, kallas en affin funktion. Med ovanstående definition är avbildningen f(x) =Ax + a varken en linjär eller affin funktion. Notera emellertid att i vissa böcker som inte är helt matematiska kallas även detta för en linjär funktion. Vi har också sett att jacobianen för en linjär funktion f(x) =Ax är just matrisen A. Detta hänger på att derivatan av cx m.a.p. x är c, helt enkelt... Matrisnorm Vi definierar härnäst normen av en matris A, som avbildning av x på Ax. Normen anger hur mycket matrisen förstorar en vektor i den riktning där förstoringen är som mest. Därav maximat i definitionen. Definition 6 Normen av A är kak =max x6= Ax x =max x =1 Ax. 4

Vi har givetvis vektorbelopp, x = p x 1 +... + x n, både i nämnare och täljare. Definitionen kan också tolkas som att kak är det minsta tal C så att Ax C x för alla x. Dividera denna olikhet med talet x,så fås Ax x C. De två maxima i definitionen är lika, ty enligt räknelagar för vektorer gäller att Ax x = A x x. Här är x x är en vektor av längd 1 (en enhetsvektor), som i det högra maximat. Det räcker alltså att studera enhetsvektorer. Därför kan man säga att man söker den riktning som maximerar Ax. Den ger kak. Vi har trivialt exempelvis 5 = 5, (maximerande riktning: (, 1, )), 3 µ cos θ sin θ = 1 (en rotation ändrar inte vektorns längd) sin θ cos θ Som det första exemplet antyder, så gäller att om matrisen är kvadratisk och diagonal får vi p a 11 v 1 +... + v na nn att maximera, där v1 +... + vn =1. Denna storhet är maximal om vi väljer v i =1för det största elementet a ii, dvs det gäller att kak =max i a ii. Om matrisen är diagonaliserbar, och om vi numrerar egenvärdena efter storleken på deras absolutbelopp: λ 1 λ λ 3... λ n så kommer egenvektorn svarande mot λ 1 att vara maximerande riktning (eller vi kan göra ett basbyte så matrisen blir diagonal). Så för en matris A som är kvadratisk och diagonaliserbar känner vi normen. Den är beloppet av det (till beloppet) största egenvärdet: kak = λ 1. Detta är ännu en kraftfull tillämpning på egenvärden och diagonalisering, utöver att förstå linjära avbildningar, att exakt bestämma karaktären hos andragradskurvor och att (med lämpligt koordinatbyte) skaffa sig en matris som har många nollor (diagonal). Det sistnämnda innebär att datorprogram som innehåller matrisberäkningar, som är mycket vanligt i ingenjörsverksamhet, blir mycket snabbare. Man kan bl.a. använda denna ökade effektivitet till att undersöka problem med betydligt högre noggrannhet (öka matrisens dimension n n)...3 Värdemängen till en linjär funktion Notera att värdemängden till en linjär funktion alltid innehåller, ty f() = A =. Om matrisen A är nollmatrisen, är värdemängden endast denna punkt: V = {}. I annat fall kommer vi att ha egenskapen att om a och b ligger i V A så gör även a + b det. Ty a och b i V A betyder att det finns punkter x och y så att Ax = a och Ay = b. Men då avbildas x + y på A(x+y) =Ax+Ay = a + b. 5

På samma sätt kan man visa att om a V A så är även αa V A för alla reella tal α. Så om a V A så ligger hela räta linjen genom a och origo i V A (α =ger origo, och alla andra α alla andra punkter på den räta linjen). Om vi har två linjärt oberoende punkter a och b som båda ligger i V A så kommer alla punkter som ligger i det plan som spänns av a och b att ligga i V A. Slutsatsen är att värdemängen till en linjär avbildning är antingen 1. {} (om A är nollmatrisen). En rät linje genom origo (exempel: projektion på x-axeln) 3. Ett plan genom origo. 4. Ett hyperplan genom origo (alla punkter i R 4 som uppfyller ax 1 + bx + cx 3 + dx 4 + e =) Alla dessa mängder är linjära rum, som är viktiga i abstrakt linjär algebra. Ett linjärt rum V kännetecknas just av att om a V så αa V för alla reella tal α, ocha V och b V implicerar a + b V...4 Sammansättning och invers för linjära funktioner Det är lätt att sätta samman två linjara funktioner f = Ax : R p R m och g = Bx : R n R r. Funktionen f(g(x)), också betecknad f g(x), ärväldefinerad om r = p (då går matrismultiplikationen ihop) och har matrisen AB. Ty f(g(x)) = {sätt in f = Ax och g = Bx} = A(Bx) ={vi har fått en ren matrisprodukt} = (AB)x. För att f(g(x)) skavaradefinerad kan vi alltså inte ha vilka dimensioner som helst, utan det krävs att f = Ax : R p R m och g = Bx : R n R p. Iden sammansatta funktionen f(g(x)) krävs att värdena som g ger ifrån sig ligger i definitionsmängden för f. Om en linjär funktion f = Ax : R n R n ärinverterbarsåärdessinvers också en linjär funktion, och har matrisen A 1. Bevis: f 1 (f(x)) = A 1 (Ax) =(A 1 A)x = x. Att sammansättningen f 1 (f(x)) är x betyder att f 1 avbildar tillbaka till x igen från det värde dit f avbildade. Därmed är denna funktion invers till f..3 Inversa funktioner.3.1 En variabel Låt oss först betrakta envariabelanalysfallet, vi betraktar funktionen f(x). Om f(x) är strängt monoton, dvs strängt växande eller strängt avtagande, så kan 6

denintetasammavärdeitvåpunkter(för i så fall måste den ju vara växande någonstans och avtagande någonstans mellan punkterna). Därför är en strängt monoton funktion inverterbar. Så det finns en invers f 1 (x) som upphäver f. I formler: f 1 (f(x)) = x och f(f 1 (x)) = x. Är funktionen dessutom deriverbar så räcker det med att f (x) 6= och att f är kontinuerlig. För då är antingen f (x) > (som för f(x) =e x ) eller f (x) < (som för f(x) =e x ). Då är den alltså strängt monoton. Emellertid är f (x) 6= inte nödvändigt för inverterbarhet, som exemplet f(x) =x 3 visar. Derivatan f (x) =3x är noll då x =( f () = 3 =) men f(x) =x 3 är ändå inverterbar. Men om vi kräver att även inversen ska vara deriverbar så är f (x) 6= nödvändigt och tillräckligt. Inversen till x 3 är 3 x, som inte är deriverbar i x =. En rät linje f(x) =y = kx + l, därk = f (x) 6= har invers (lös ut x ur y = kx + l) x = 1 k y l k, så lutningen för inversen är 1 k. Då fungerar inte k =. Samma sak gäller generellt, ty om vi deriverar likheten f(f 1 (x)) = x m.a.p. x så får vi med kedjeregeln f (f 1 (x)) f 1 (x) =1. Så f (x) =1/ f 1 (x) 6=(som 1/k för en rät linje), ty f 1 (x) är något tal. Detta tal kan inte vara, ty vi har förutsatt att f är deriverbar, så f existerar..3. Flera variabler Som beskrivits tidigare är en linjär funktion f(x) =Ax R n R n inverterbar om A är inverterbar. Inversen är då f 1 (x) =A 1 x. Vi påminner om att för en linjär funktion är jacobianen matrisen A själv, dvs J f = A. Kravet för invers är alltså i det linjära fallet att det J f 6=. Kravet det J f 6= gäller inte bara för linjära funktioner, som vi ska se härnäst. Betrakta en funktion f(x) :R n R n med kontinuerliga parallella derivator. Att funktionen har kontinuerliga partiella derivator innebär att den är differentierbar, vilket i sin tur innebär att funktionen lokalt (i någon (liten) omgivning runt punkten) är mycket nära en linjär funktion. Då kan man vänta sig att samma villkor gäller som i det linjära fallet, dock endast lokalt, nära punkten: det J f 6=. Man kan bevisa detta: en differentierbar funktion f har en differentierbar invers om och endast om det J f 6=. Exempel 7 (51bc) Har f(x, y) =(xy, x+y) differentierbar invers nära ( 1, 1)? Nära (1, 1)? Lösning: Jacobianen är J f = µ y 1, x 1 7

så vi får determinanten µ det J f = y 1 x 1 = y x. Således har f en differentierbar invers då y 6= x, annars inte. Svar: Så svaret är ja i punkten ( 1, 1) men nej i punkten (1, 1). Exempel 8 (51d) I vilka punkter har f(x, y) =(x y, arctan xy) en differentierbar invers? Lösning: Jacobianen är µ J f = x y y 1+x y x 1+x y å vi får determinanten µ det J f = x y y 1+x y x 1+x y, = x +y 1+x y. Denna storhet är noll endast då x +y =, vilket är i origo. Svar: Således har f(x, y) =(x y, arctan xy) en differentierbar invers överallt utom i origo..4 Implicita funktioner De punkter som satisfierar en ekvation i två variabler bildar ofta en kurva. Ett enkelt exempel är ekvationen y = f(x), där kurvan är grafen till funktionen f(x). Men ofta kan varken x eller y lösas ut ur ekvationen, som är fallet för ekvationen e cos x e sin y +sin(xy) 1 =.. Är det möjligt att ange i vilka punkter kurvan kan beskrivas med en graf till en funktion? Det är den grundläggande frågan i detta avsnitt, vars svar är implicita funktioner. Ekvationen e cos x e sin y +sin(xy) =1är ett (kanske något extremt) exempel på en ekvation där varken x eller y kan lösas ut ur ekvationen. De punkter (x, y) som satisfierar denna ekvation bildar kurvor i planet enligt följande figur: 8

y 1 5-1 -5 5 1 x -5-1 Punkter som satisfierar e cos x e sin y +sin(yx) =1. Här är ett annat säreget exempel: y 5 4 3 1-5 -4-3 - -1 1 3 4 5-1 x - -3-4 -5 Punkter som satisfierar e cos x e sin y +tanxy =1. Avsnittet om inverterbara funktioner handlar om under vilka villkor det går att definiera en funktion x = f 1 (y) från y = f(x), dvs från ekvationen 9

y f(x) =. Vi kommer här att generalisera detta problem till en generellare typ av ekvation: När det gäller implicita funktioner vill vi undersöka när det går att definiera en funktion i någon variabel, x eller y från ekvationen F(x, y) =. Vi har redan sett exemplen F (x, y) =y f(x),f(x, y) =e cos x e sin y +sin(xy) 1 och F (x, y) =e cos x e sin y +tan(xy) 1. Frågan är: vilket samband definerar F(x, y) = mellan variablerna x och y? Ekvationen ger ett implicit samband mellan x och y. Vi frågar oss vad som krävs för att det ska finnas ett explicit samband. Generellt är F(x, y) en funktion från R n+m till R n,såekvationenf(x, y) = är en vektorekvation som svarar mot n ekvationer. Vi vill använda de n ekvationerna till att finna en funktion f : R m till R n som uppfyller F(x, y) =, dvs F(x,f(x) )=. {z} y Man kan säga att vi ur ekvationen F(x, y) = löser ut y som funktion av x.rättare sagt frågar vi oss när en sådan funktion existerar, snarare än om den kan lösas ut. Det visar sig att en lämplig determinant av en jacobian ska vara skild från noll, även i detta fall. Vi kan som exempel betrakta ett linjärt fall. Antag att F(x, y) = är ett ekvationssystem med fem (m =3,n =) variabler och två(n =) linjära ekvationer. Ekvationerna bestämmer ett visst samband mellan de fem variablerna, frågan är vilket. Vi kan här lösa ut två variabler som funktion av de tre övriga, så ekvationssystemet med fem variabler och två ekvationer definerar en funktion f från R 3 (tre variabler) till R (två variabler). I optimeringslära talar man om oberoende (x) ochberoende variabler (y, beroende av x enligt y = f(x)). Naturligtvis kan man på olika sätt välja vilka variabler som ska vara beroende och vilka som ska vara oberoende. Villkoret från inverterbara funktioner var att jacobianen J f har determinant skild från noll. Villkoret för en implicit funktion är att jacobianen är skild från noll där vi endast tar med de kolonner i jacobianen som svarar mot de beoende variablerna. Denna jacobian blir kvadratisk (n n), så den har en determinant. Dvs, kravet är att det (x, y) 6=. y Då definierar ekvationen F(x, y) = en funktion y = f(x) i någon omgivning till punkten (x, y). Exempel 9 (5) Visa att det finns en funktion (y(x),z(x)) R 1 till R som defineras av ½ xy + yz + xz = x 3 + y 3 + z 3 =9. 1

Lösning: Här har vi F(x, y, z) =(xy + yz + xz, x 3 + y 3 + z 3 ). Beroende variabler ska vara y och z, så intressant jacobian är Ã! y (xy + yz + xz) z (xy + yz + xz) = (y,z) y (x3 + y 3 + z 3 ) z (x3 + y 3 + z 3 ) µ x + z x+ y = 3y 3z, som är funktion av tre variabler. Dess determinant är (x + z)3z 3y (x + y). I punkten (, 1, ) har vi alltså det (y, z) (, 1, ) =( + )3 3 1 ( + 1) = 1. Detta är inte noll, så svaret är: Svar: ja. Exempel 1 (511) Undersök om x 4 + y 4 + x + y =definerar en funktion y = y(x) nära (, ). Lösning: Jacobianen av F (x, y) =x 4 + y 4 + x + y är (x, y) =(4x3 +1, 4y 3 +1) så vi har i punkten (, ) (x, y) (,, )=(4 3 +1, 4 3 +1)=(1, 1). Det går således bra att lösa ut y = y(x). 1 y.5 - -1.5-1 -.5.5 1 -.5 x -1-1.5 Kurvan x 4 + y 4 + x + y =. - 11

Exempel 11 (513b) Visa att i någon omgivning till (1, ) definerar x y +siny + x = en kontinuerligt deriverbar funktion y = y(x). Lösning: ViharF (x, y) =x y +siny + x och (x, y) =(yxy 1 +1,x y ln x +cosy), så i (x, y) =(1, ) får vi (1, ) = (1, 1) (x, y) Eftersom de partiella derivatorna är skilda från noll i punkten så existerar y = y(x) i någon omgivning till (1, ). Låt oss avslutningsvis betrakta sambandet mellan implicit och invers funktion i envariabelfallet. Här är vi intresserade av ekvationen y = f(x). Den kan alternativt formuleras som ekvationen F (x, y) =, där F (x, y) =y f(x).här har vi jacobianen (x, y) = f (x) 1, Så om x ska vara oberoende variabel, dvs vi vill lösa ut y, så är vi intresserade av jacobianen m.a.p. den beroende variabeln y, som är y =1. Den är aldrig är noll, och vi har heller inga problem med att lösa ut y, ty det är ett helt trivialt fall. Vi har redan y = f(x). Om y ska vara oberoende variabel så vill vi lösa ut x, och vi är intresserade av den inversa funktionen. Aktuell jacobian är då den som svarar mot variabeln x (x) = f (x). Kravet är att denna jacobian inte ska vara noll, dvs att f (x) 6=. Isåfallfinns lokalt en funktion f 1 (y). 1