Deriverbarheit
Deriverbarheit
Kva betyr det at ein funksjon er deriverbar? Vi minner om at den deriverte er stigningstalet til tangenten til eit punkt på grafen til ein funksjon. Dersom det ikkje går an å teikne ein eintydig tangent i eit punkt på grafen, vil derfor ikkje funksjonen vere deriverbar i dette punktet.
Spørsmålet om deriverbarheit er spesielt aktuelt for funksjonar med delt funksjonsforskrift. Er funksjonen deriverbar i det punktet der funksjonsuttrykket blir endra? Vi vil bruke døma nedanfor til å kome fram til reglane for deriverbarheit.
Døme 1. Diskontinuerleg funksjon
I eit av døma på sida "Funksjonar med delt forskrift" (sjå lenkje under relatert innhald) viser vi at funksjonen
ikkje er kontinuerleg for . Vi kan òg seie at funksjonen er diskontinuerleg for .
Grafisk betraktning
På biletet har vi teikna grafen til funksjonen f. Er funksjonen deriverbar for ? Då må vi i tilfelle kunne teikne ein tangent i punktet , som blir i punktet , endepunktet på den høgre delen av grafen.
Kan vi teikne ein tangent i eit endepunkt? Det kan vi eigentleg ikkje, for tangentlinja kan "snurre rundt" endepunktet. Ein tangent har derfor ikkje meining i eit endepunkt. Då kan vi heller ikkje bestemme noko stigningstal til han, og den deriverte kan ikkje eksistere i dette punktet. Konklusjonen må bli at funksjonen f ikkje er deriverbar for fordi funksjonen ikkje er kontinuerleg.
Vi undersøkjer problemet ved rekning
Dersom ein funksjon f skal vere deriverbar for , må grenseverdien nedanfor eksistere.
Frå læra om grenseverdiar har vi at sidan nemnaren går mot null, må òg teljaren gå mot null for at denne grenseverdien skal eksistere. Vi må altså ha at
🤔 Tenk over: Kva grenseverdisetning har vi brukt i overgangen mellom den første og den andre linja?
🤔 Tenk over: Kvifor kan vi berre fjerne den andre grenseverdien i linje 2 og erstatte han med ?
Å la er det same som at det som står inne i parentesen til venstre for likskapsteiknet på nedste linje, skal nærme seg a. Det betyr at vi i staden for å skrive kan skrive . Vi får derfor til slutt
Dette er vidare det same som trengst for at ein funksjon skal vere kontinuerleg, sjå sida "Kontinuerlege og diskontinuerlege funksjonar" under relatert innhald. Eit naudsynt krav for at ein funksjon skal vere deriverbar i eit punkt, er altså at funksjonen er kontinuerleg i punktet. Derfor vil ikkje dømefunksjonen vår vere deriverbar for .
Det første kravet for deriverbarheit
Det er naudsynt at ein funksjon er kontinuerleg for for at han skal vere deriverbar for .
Ein annan måte å seie dette på er:
Dersom ein funksjon ikkje er kontinuerleg for , er han heller ikkje deriverbar (den kontrapositive utsegna).
Døme 2. Knekkpunkt
I eit anna av døma på sida "Funksjonar med delt forskrift" viser vi at funksjonen
er kontinuerleg for .
Vi kan sjå at grafen har eit knekkpunkt for .
Er det alltid slik at ein funksjon er deriverbar dersom han er kontinuerleg?
Grafisk betraktning
Dersom vi tenkjer oss at vi prøver å teikne ein tangent i knekkpunktet på grafen på biletet, får vi problem med å bestemme tangenten eintydig fordi tangenten kan vippe rundt knekken. Då får vi den same situasjonen som i det førre dømet, nemleg at vi ikkje kan finne noko stigningstal, og den deriverte kan derfor ikkje eksistere i punktet.
Funksjonen er kontinuerleg, men ikkje deriverbar i knekkpunktet.
Vi undersøkjer problemet ved rekning
Det at tangenten vippar rundt knekkpunktet, må bety at den deriverte nærmar seg éin verdi når og ein annan verdi når . Det er det same som å seie at grenseverdien til den deriverte ikkje eksisterer for denne x-verdien. Dersom den deriverte nærmar seg den same verdien frå begge kantar, vil ikkje tangenten vippe, vi har ikkje eit knekkpunkt, og det kan ha meining å snakke om den deriverte for denne verdien. Då vil denne grenseverdien eksistere.
For at skal eksistere i punktet , må vi derfor ha at
Før vi veit om funksjonen er deriverbar i punktet , kan vi berre seie noko om den deriverte i alle andre punkt. Vi får då
Dersom skal eksistere for , må vi som nemnt få den same grenseverdien for når x nærmar seg talet 4 frå begge sider.
Vi får at
og
Dette viser at funksjonen ikkje er deriverbar for sjølv om han er kontinuerleg for denne x-verdien.
Det andre kravet for deriverbarheit
Det er naudsynt at for at ein funksjon f skal vere deriverbar for .
Ein annan måte å seie dette på er som følgjer:
Dersom , er ikkje funksjonen f deriverbar for .
Her må vi føresetje at kvar av dei einsidige grenseverdiane eksisterer. I nokre spesielle tilfelle vil ein funksjon vere deriverbar i eit punkt utan at vi kan finne dei einsidige grenseverdiane på denne måten. Slike funksjonar vil du ikkje møte på i R1. Metoden vi viser under (sjå overskrifta "Deriverbarheit i eit punkt"), vil kunne brukast til slike funksjonar.
Korleis stiller vi oss til desse to krava om deriverbarheit?
Må vi sjekke begge dei naudsynte krava for deriverbarheit for å finne ut om ein funksjon er deriverbar i eit punkt?
Deriverbare funksjoner er kontinuerlege
Vi har ein matematisk samanheng som seier at
Ein funksjon er deriverbar ein funksjon er kontinuerleg.
Vi har her valt å alltid sjekke kontinuitet først, for så å sjekke grenseverdiane til den deriverte til funksjonen i området rundt punktet vi undersøkjer. Samanhengen over seier oss at vi kan velje å gå den andre vegen, det vil seie å først undersøkje deriverbarheit ved hjelp av definisjonen til den deriverte. Dersom vi kan vise at denne grenseverdien er den same når går mot 0 ovanfrå og nedanfrå i punktet , eksisterer den deriverte i dette punktet.
Deriverbarheit i eit punkt
Definisjonen av den deriverte kjenner vi på forma
Vi ser igjen på funksjonen over:
Vi reknar ut dei to grenseverdiane i punktet :
Legg merke til at når vi reknar ut her, skal vi bruke uttrykket . Det er fordi slik at . Når vi reknar ut , må vi bruke det andre uttrykket.
Den andre grenseverdien blir
Her må vi bruke uttrykket når vi skal rekne ut fordi no er .
Vi observerer at dei to grenseverdiane ikkje er like, det vil seie at grenseverdien ikkje eksisterer, og dermed kan vi konkludere med at funksjonen ikkje deriverbar i punktet .
🤔 Tenk over: Kva er eigentleg skilnaden på det vi har gjort her, og det vi gjorde lenger oppe?
Kontinuitet og deriverbarheit
Legg merke til at vi ut frå konklusjonen ikkje kan seie om funksjonen f i dømet er kontinuerleg eller ikkje. Dersom vi finn at funksjonen ikkje er deriverbar, må vi undersøkje vidare om funksjonen er kontinuerleg. Hadde vi funne ut at funksjonen var deriverbar, kunne vi ha konkludert med at funksjonen òg var kontinuerleg.
Relatert innhald
Her forklarer vi omgrepet kontinuitet i samband med funksjonar.
Her innfører vi funksjonar med delt forskrift.