Derivasjon

**Derivasjon** er en operasjon i matematikk der en bestemmer den *deriverte* av en funksjon.  For en funksjon av én reell variabel f(x) er den deriverte definert ved

:f\!\,'(x) = \lim_{h\to 0} \frac{f(x + h) - f(x)}{h},

dersom grenseverdien eksisterer.  Den deriverte er et mål for endringen i funksjonsverdier f(x) når den frie variabelen x endres.  Geometrisk er den deriverte et uttrykk for stigningstallet til tangenten til funksjonen.

For funksjoner av flere variable kan en definere ulike typer deriverte, som retningsderivert, partiellderivert og totalderivert.

Studiet av derivasjon og differensialer kalles *differensialregning*.  Analysens fundamentalteorem sier at derivasjon og integrasjon er inverse operasjoner, og en bruker derfor ofte betegnelsen *differensial- og integralregning*.  Dette fagfeltet er svært viktig både for matematisk analyse og for anvendt matematikk.

## Derivasjon av en reell funksjon av én variabel

En reell funksjon av én variabel er en funksjon f: \mathbb{R} \rightarrow \mathbb{R}.  Et enkelt eksempel er funksjonen som beskriver en rett linje.  For en rett linje er stigningstallet lik den deriverte til
funksjonen som beskriver linjen.  

### Stigningstallet for en rett linje

En rett linje kan beskrives med funksjonen

:f(x) = ax + b .

Hvis koeffisienten b er lik null, så er funksjonen lineær.  
Koeffisienten a er stigningstallet som styrer vinkelen \theta som linjen danner med x-aksen:

:\tan \theta = a.

Gitt to punkt (x_1,y_1) og (x_2,y_2), så finner en stigningstallet ved

:a = \frac{\Delta y}{\Delta x} = \frac{y_2 - y_1}{x_2 - x_1}

Symbolet \Delta brukes for å beskrive en endring i en størrelse, og \Delta x og \Delta y er samsvarende endringer:

:\Delta y = f(x + \Delta x) - f(x)

Funksjonen som beskriver en rett linje, har derivert f'(x) = a.  

### Formell definisjon av den deriverte

En funksjon f:U \to \mathbb{R} som avbilder et åpent intervall U av reell tall, er deriverbar i x_0 \in U hvis den følgende grenseverdien eksisterer:

:\lim_{x\to x_0} \frac{f(x) - f(x_0)}{x - x_0} = \lim_{h\to 0} \frac{f(x_0 +h) - f(x_0)}{h} &nbsp;&nbsp;(med h = \Delta x = x - x_0)

Grenseverdien kalles den *deriverte* til f med hensyn på x i x_0.  Dersom grenseverdien *ikke* eksisterer, så er funksjonen ikke deriverbar i punktet.  
Hvis funksjonen er deriverbar i et hvert punkt i intervallet, sies funksjonen å være deriverbar i intervallet.  Den deriverte definerer da en ny funksjon i intervallet, ofte skrevet som f'(x)
eller \frac{df}{dx}:

:f'(x) = \frac{df}{dx} = \lim_{h\to 0} \frac{f(x +h) - f(x)}{h}  \qquad x \in U.

Ordet «differensierbar» brukes synonymnt med «deriverbar».

Det eksisterer mange ulike skriveformer for funksjonen som er resultat av derivasjonen, drøftet i det følgende avsnittet Notasjon.

En funksjon kan være deriverbar i hele \mathbb{R}, men kan også ha punkter der den ikke er deriverbar. Det eksisterer funksjoner som ikke er deriverbare i noe punkt, for eksempel funksjonen som beskriver
Koch-kurven, navngitt etter Helge von Koch.

### Eksempler

Den deriverte til funksjonen f(x) = x^2 - 3x + 2 i punktet x = x_0 kan finnes ved å forenkle differensekvotienten

:\begin{align}
  \frac{f(x_0 + h) - f(x_0)}{h} &= \frac{\bigl((x_0+ h)^2 - 3(x_0 + h) + 2\bigr) - (x_0^2 - 3x_0 + 2)}{h}\\
                            &= \frac{x_0^2 + 2x_0h + h^2 - 3x_0 - 3h + 2 - x_0^2 + 3x_0 - 2}{h}\\
                            &= \frac{2x_0h + h^2 - 3h}{h}\\
                            &= 2x_0 + h - 3.
\end{align}

Den deriverte finnes ved å ta grenseverdien når h \to 0:

:f'(x_0) = \lim_{h \to 0}(2x_0 + h - 3)= 2x_0 - 3.

Vanligvis finnes den deriverte av en funksjon ved hjelp av regneregler for derivasjon og ikke ved bruk av definisjonen, slik som er gjort her.  Regnereglene må imidlertid bevises ved hjelp av definisjonen for den deriverte.  

Et eksempel på en funksjon som ikke er deriverbar overalt, er gitt ved absoluttverdi-funksjonen:

:f(x) = |x| = \left\{
   \begin{array}{rl}
     x, & \text{hvis }  x \geq 0 \\
     -x, & \text{hvis } x 

For x \in (-\infty,0) er den deriverte lik -1, mens i intervallet (0,\infty) er den deriverte lik 1.  For x = 0 eksisterer de to ensidige grenseverdiene, men da disse ikke er like,
så er funksjonen ikke deriverbar for dette argumentet:

:
\begin{alignat}{2}
  \lim_{x \nearrow 0} \frac {f(x) - f(0)} {x - 0} \ &= \ \lim_{x \nearrow 0}\frac {-x-0}{x-0} \ &&= \ -1 \\[5pt]
   \lim_{x \searrow 0} \frac {f(x) - f(0)} {x - 0} \ &= \ \lim_{x \searrow 0}\frac {x-0}{x-0} \ &&= \ 1
\end{alignat}
.

Et slik punkt hvor den deriverte eksisterer på begge sider, men hvor de ensidige grenseverdiene er ulike, kalles et *knekkpunkt* for grafen til funksjonen.  

### Høyere-ordens deriverte

Hvis den deriverte til funksjonen f er deriverbar, kan man definere den andrederiverte eller dobbeltderiverte til f som den deriverte til den førstederiverte.
Denne nye funksjonen kan skrives som f*(x)</math>.  Tilsvarende kan man definere den tredje deriverte <math>f*'(x), og så videre.

Den *n*-te deriverte kalles også den deriverte av orden *n*.  

Ved å bruke samme eksempel som tidligere, finner en

\begin{alignat}{2}
f(x) &= x^2 - 3x + 2 \\
f'(x) &= 2x - 3 \\
f*(x)  &= 2 \\
f*'(x) &= 0
\end{alignat}

### Geometrisk tolkning

Verdien av den deriverte i et punkt generaliserer stigningskoeffisienten for en rett linje.  For en vilkårlig deriverbar funksjon vil verdien av den deriverte være lik stigningskoeffisienten til tangenten til funksjonsgrafen 
i punktet.  

For å definere tangenten starter en med en sekant gjennom to punkt på funksjonsgrafen, (x_0, f(x_0)) og (x_0 + h, f(x_0+h)).  Ved å la h gå mot null, som i grenseverdien som definerer den deriverte, vil sekanten nærme seg tangenten som grense.  

Ligningen for tangenten i punktet (x_0, f(x_0)) er

:y - f(x_0) = f'(x_0) (x - x_0) 

Den andrederiverte er et mål for krumningen til grafen i et punkt.  En rett linje har ingen krumning, og funksjonen har en andrederivert lik null.  

Generelt har grafen til en vilkårlig funksjon en krumning \kappa gitt ved det følgende uttrykket:

:  \kappa = {f*\over  (1 + f'^2)^{3/2}} </math>

=== Aritmetisk tolkning ===

Den deriverte til en funksjon <math> f </math> i punktet <math> x_0 </math> beskriver den lokale oppførselen til funksjonen i en omegnen om <math>x_0</math>. Fra definisjonen av den deriverte følger det at 

:<math>f(x_0 + h) = f(x_0) + f'(x_0) h + r(x,h)</math>

Leddet <math>r(x_0,h)</math> er en funksjon av både <math>x_0</math> og <math>h</math>, og leddet må gå mot null når <math>h</math> går mot null.  For en liten verdi av <math>h</math> kan en derfor bruke tilnærmingen

:<math>f(x_0 + h) \approx f(x_0) + f'(x_0) h </math>

Den deriverte er et mål på den lineære andelen av endringen i <math>f(x)</math>, når <math>x</math> endres med et vilkårlig lite tall. En slik vilkårlig liten endring kalles en [[infinitesimal endring]].
Når tilnærmingen brukes for en endelig verdi av <math>h</math>, omtales tilnærmingen som en *linearisering* av funksjonen. 

=== Antideriverte ===

Antiderivasjon er prosessen for å finne en antideriverte funksjon, også kalt en [[primitiv funksjon]].  En funksjon <math>F(x)</math> er en primitiv funksjon til <math>f(x)</math> dersom funksjonen <math>f</math> er 
dens deriverte, det vil si dersom <math>F'(x)=f(x)</math>. 

== Notasjon for deriverte ==

Det eksisterer flere forskjellige skriveformer for deriverte, brukt både gjennom historisk tid og i dag. 

===Leibniz' notasion===

Symbolene <math>dx</math>, <math>dy</math> og <math>\frac{dy}{dx}</math> ble introdusert av [[Gottfried Leibniz]] i 1675. 
Denne skrivemåten er fremdeles vanlig brukt når en ønsker å understreke funksjonssammenhengen <math>y = f(x)</math>.  Den første-ordens deriverte skrives som en infinitesimal brøk

:<math>\frac{dy}{dx},\quad\frac{d f}{dx}, \text{  eller  }\frac{d}{dx}f</math>.

Høyere-ordens deriverte av orden *n* uttrykkes på formen

:<math>
\frac{d^ny}{dx^n}, \quad\frac{d^n f}{dx^n} \text{  eller } \frac{d^n}{dx^n}f
</math>

Den deriverte for et gitt argument <math>x = x_0</math> kan med denne notasjonen skrives som

:<math>\left.\frac{dy}{dx}\right|_{x=x_0} = \frac{dy}{dx}(x_0).</math>

===Lagranges notasjon===

En svært vanlig form for symbol for den deriverte stammer fra [[Joseph Louis Lagrange]] og bruker et [[primtegn]] sammen med symbolet for funksjonen.  Notasjonen ble første gang brukt i verket *Theorie des fonctions analytiques* i 1797.
Den deriverte av funksjonen <math>f</math> symboliseres med<math>f'</math>.  
Høyere-ordens deriverte kan skrives ved å gjenta primtegnet, slik at den andre-deriverte er <math>f*.  For deriverte av orden høyere enn tre, kan en sette ordenstallet med opphøyd skrift, enten med romertall eller 
med vanlige tallsymbol:

:f^{\mathrm{iv}} &emsp; eller &emsp; f^{(4)}.

Lagranges notasjon er mer praktisk enn Leibniz' når en vil understreke at den deriverte er en selvstendig funksjon.

### Newtons notasjon

Newtons notasjon for å symbolisere tidsderiverte går tilbake til 1665.  Bruk av denne notasjonen finnes vanlig både i fysikk og matematikk. For en funksjon der argumentet representerer tid, kan en prikk over funksjonen symbolisere derivasjon.  Hvis y = f(t), så
representerer de følgende funksjonene den førstederiverte og den andrederiverte:

:\dot{y} \qquad \qquad \ddot{y}.

Prikk-notasjonen er også brukt i differensialgeometri for den deriverte med hensyn på buelengden.

### Eulers notasjon

Leonhard Euler forsvarte i 1755 notasjonen df for den deriverte funksjonen, men dette skapte en del forvirring jevnført med Leibniz' skrivemåte.  
I 1800 foreslo Louis François Antoine Arbogast i steden å bruke en stor bokstav D for en differensialoperator som operert på funksjonen f gir den første-deriverte Df.  
Den *n*-te deriverte skrives D^nf.
For å presisere hva som er den uavhengige variabelen, så kan denne skrives med nedfelt skrift:  Hvis funksjonen er y = f(x), så skrives da den deriverte som

:D_x y &emsp; eller &emsp; D_x f(x).

## Utregning av den deriverte

Den deriverte til en gitt funksjon regnes vanligvis ut ved å kombinere 

* kjennskap til deriverte for et sett av elementære funksjoner; med
* et sett av derivasjonsregler for å behandle sammensatte funksjoner.

### Derivasjon av elementære funksjoner

;Konstante funksjoner:

:\frac{d}{dx} a = 0

;Potensfunksjonen:

: \frac{d}{dx}x^a = ax^{a-1}.

;Eksponential- og logaritmefunksjoner:

: \frac{d}{dx}e^x = e^x.

: \frac{d}{dx}a^x = a^x\ln(a),\qquad a>0

: \frac{d}{dx}\ln(x) = \frac{1}{x},\qquad x > 0.

: \frac{d}{dx}\log_a(x) = \frac{1}{x\ln(a)},\qquad x,a>0

;Trigonometriske funksjoner:

: \frac{d}{dx}\sin(x) = \cos(x).

: \frac{d}{dx}\cos(x) = -\sin(x).

: \frac{d}{dx}\tan(x) = \sec^2(x) = \frac{1}{\cos^2(x)} = 1+\tan^2(x).

;Inverse trigonometriske funksjoner:

: \frac{d}{dx}\arcsin(x) = \frac{1}{\sqrt{1-x^2}},\qquad -1

: \frac{d}{dx}\arccos(x)= -\frac{1}{\sqrt{1-x^2}},\qquad -1

: \frac{d}{dx}\arctan(x)= \frac{1}

### Derivasjonsregler

La  f ,  g  og  h  
være reelle, deriverbare funksjoner. La videre  n  og
 a  være reelle tall. Da gjelder:

;Faktorregelen

:(a\cdot f)' = a\cdot f'

;Summeregelen

:\left(g \pm h\right)' = g' \pm h'

;Produktregelen

:(g\cdot h)' = g' \cdot h + g \cdot h'

;Kvotientregelen eller brøkregelen

:\left(\frac{g}{h}\right)' = \frac{g' \cdot h - g \cdot h'}{h^2}

;Kjerneregelen

:(g \circ h)'(x) = (g(h(x)))' = g'(h(x))\cdot h'(x)

;Kombinert kjerne og produktregel

:
\begin{alignat}{2} 
f &= c\cdot k^{u} \cdot l^{v} \cdot m^{w}\cdot ...  \\[5pt]
f' &= f \cdot ( \frac{u}{k} \cdot k'+ \frac{v}{l} \cdot l'+ \frac{w}{m} \cdot m'+...)  
\end{alignat}


;Inverse funksjoner
Hvis  f  er en bijektiv funksjon som er deriverbar i  x_0  med  f'(x_0)\neq 0, og den inverse funksjonen  f^{-1} er deriverbar ved  f(x_0) , så gjelder:

:(f^{-1})'(f(x_0)) = \frac{1}{f'(x_0)}.

;Leibniz’ regel

:(fg)^{(n)} = \sum_{k=0}^n {n \choose k} f^{(k)} g^{(n-k)}.

Her er {n \choose k} binomialkoeffisienter.

### Implisitt derivasjon

Hvis en funksjon y = y(x) er definert implisitt ved en ligning 

:F\left(x,y(x)\right) = 0, 

så følger det av den generaliserte kjerneregelen for funksjoner av flere variabler at

:
F_x + F_yy' = 0.


I denne ligningen er

:
\begin{alignat}{2} 
F_x = \frac{\partial F}{\partial x} \\
F_y = \frac{\partial F}{\partial y}
\end{alignat}


partiell deriverte av funksjonen F.  Forutsatt at den partiell deriverte F_y er ulik null, så
kan den deriverte av funksjonen y = y(x) uttrykkes som en brøk:

: y' = -\frac{F_x}{F_y} 

### Eksempel

Gitt funksjonen

:
f(x) = x^4 + \sin \left(x^2\right) - \ln(x) e^x + 7


Den deriverte er da gitt som følger:

:
\begin{align}
f'(x) &= 4 x^{(4-1)}+ \frac{d\left(x^2\right)}{dx}\cos \left(x^2\right) - \frac{d\left(\ln {x}\right)}{dx} e^x - \ln(x) \frac{d\left(e^x\right)}{dx} + 0 \\
      &= 4x^3 + 2x\cos \left(x^2\right) - \frac{1}{x} e^x - \ln(x) e^x.
\end{align}


Det første leddet er derivert ved å bruke regelen for en potensfunksjon.  Det andre leddet er håndtert ved hjelp av kjerneregelen samt regler for derivasjon av trigonometriske funksjoner og potensfunksjoner.
Derivasjon av det tredje leddet er gjennomført ved å bruke produktregelen.  

## Egenskaper til deriverbare funksjoner

### Derivasjon og kontinuitet
En funksjon som er deriverbar for x = x_0, er også kontinuerlig i x = x_0.  En funksjon kan altså ikke være deriverbar i en diskontinuitet.  

Omvendt kan en funksjon være kontinuerlig i et punkt, uten å være deriverbar i punktet.  Et eksempel på dette er punktet x = 0 for absoluttverdi-funksjonen.  

Dersom funksjonen har en derivert som også er kontinuerlig, sies funksjonen å være *kontinuerlig deriverbar*.  Hvis den *n*-te ordens deriverte eksisterer og er kontinuerlig, så er funksjonen
*n* ganger kontinuerlig deriverbar.  Klassen av slike funksjoner er viktig nok til å ha fått sitt eget symbol:

:C^n(D)

betegner klassen av funksjoner som er *n* ganger kontinuerlig deriverbar på definisjonsmengden D.  Klassen av kontinuerlige funksjoner er C^0.  
En funksjon som er uendelig mange ganger kontinuerlig deriverbar kalles en glatt funksjon, og klassen av slike funksjoner betegnes som C^\infty.

Generelt gjelder at

:C^n \sub C^{n-1} \sub \dots \ C^1 \sub C^0.  

### Middelverdisetningen

For en funksjon som er deriverbar i et intervall, vil stigningen til sekanten mellom to vilkårlige punkt på grafen til funksjonen være et uttrykk for den midlere endringen til 
funksjonen mellom de to punktene.  Middelverdisetningen uttrykker at grafen til funksjonen mellom de to punktene må ha en tangent med samme stigning som sekanten.  
Setningen kalles også *sekantsetningen*: 

La f: [a,b] \to \mathbb{R} være en funksjon som er kontinuerlig på et lukket intervall [a,b] (med  a ). Anta videre at  f  er deriverbar i det åpne intervallet (a,b).  Da finnes minst ett punkt x_0 \in (a,b), slik at 

:f'(x_0) = \frac{f(b)-f(a)}{b-a}.

Dersom f(a) = f(b), medfører dette at funksjonen må ha en derivert mellom a og b som er lik null, det vil si at tangenten er horisontal.
Dette spesialtilfellet av middelverdisetningen kalles Rolles sats.  

### Monotonisitet

En funksjon er monoton i et intervall dersom den er voksende eller minkende i hele intervallet.  Tilsvarende sier en også at funksjonen er *strengt monoton* i et intervall dersom den er
strengt voksende eller strengt minkende i hele intervallet.  Disse egenskapene følger direkte fra middelverdisetningen.  

En deriverbar funksjon er voksende i et intervall dersom den deriverte av funksjonen er ikke-negativ i hele intervallet.  Tilsvarende er funksjonen minkende i et intervall dersom den deriverte
er ikke-positiv i intervallet.  

En deriverbar funksjon er strengt voksende i et intervall dersom den deriverte av funksjonen er positiv i hele intervallet.  Tilsvarende er funksjonen strengt minkende i et intervall dersom den deriverte
er negativ i intervallet.  

### Ekstremalverdier og vendepunkt

Dersom en funksjon er deriverbar i et punkt x = x_0, så er f'(x_0) = 0 et *nødvendig* vilkår for at funksjonen skal ha et ekstremalpunkt for dette
argumentet.  Et punkt der den deriverte er lik null kalles et *stasjonært punkt*.
Sammen med punkt der funksjonen ikke er deriverbar og eventuelle endepunkt for et definisjonsintervall, kalles dette også kritiske punkt.  
Et ekstremalpunkt må alltid være et kritisk punkt.
Et *terassepunkt* er et stasjonært punkt der den deriverte ikke skifter fortegn. 

For et punkt x = x_0 der en funksjon er deriverbar vil hver av de to følgende testene gi *tilstrekkelige* vilkår for at punktet er et maksimumspunkt:

* x=x_0 er et lokalt strengt maksimumspunkt dersom f'(x_0) = 0 og den deriverte skifter fortegn fra positiv til negativ når x vokser gjennom x_0.

* x=x_0 er et lokalt strengt maksimumspunkt dersom f'(x_0) = 0 og f*(x_0) < 0 </math>.  

Tilsvarende har en for et minimumspunkt:

* <math>x=x_0</math> er et lokalt strengt minimumspunkt dersom <math>f'(x_0) = 0</math> og den deriverte skifter fortegn fra negativ til positiv når <math>x</math> vokser gjennom <math>x_0</math>.

* <math>x=x_0</math> er et lokalt strengt minimumspunkt dersom <math>f'(x_0) = 0</math> og <math>f*(x_0) > 0 .  

Kartlegging av ekstremalpunkt inngår som en viktig del av funksjonsdrøfting.  

### Krumning og vendepunkt

En funksjon er konveks i et intervall dersom en rett linje mellom to vilkårlige punkt i intervallet ligger *over* grafen til funksjonen i intervallet.  
Dette kan også uttrykkes som at grafen til funksjonen vender den hule siden oppover eller krummer opp.  Funksjonen er *strengt* konveks dersom grafen ligger helt under den rette linjen.  
Tilsvarende kan en definere at funksjonen er konkav, dersom den vender den hule siden nedover eller krummer ned.  

En deriverbar funksjon er konveks eller krummer opp i et intervall dersom den deriverte er voksende i intervallet.  
En funksjon som er to ganger deriverbar, er strengt konveks i et intervall dersom den dobbelt-deriverte f*(x)</math> er positiv i intervallet.  Den dobbelt-deriverte
kan også være lik null i isolerte punkt i intervallet.

Funksjonen <math>f(x) = x^4</math> har dobbelt-derivert <math>f*(x) = 12x^2.  Funksjonen er altså strengt konveks i hele \mathbb{R}.

I differensialgeometri er krumningen \kappa til en funksjon gitt ved det følgende uttrykket:

: \kappa = {f*\over  (1 + f'^2)^{3/2}} </math>

Et *vendepunkt* er et stasjonært punkt <math>x_0</math> der funksjonen skifter krumning, fra opp til ned eller omvendt.  Dette vil være tilfelle dersom den dobbelt-deriverte skifter
fortegn i punktet.  

Funksjonen <math>f(x) = x^3</math> har dobbelt-derivert <math>f*(x) = 6x.  Funksjonen har altså et vendepunkt i x=0.

### Taylorrekker

Taylors teorem sier at en funksjon som er (n+1) ganger kontinuerlig deriverbar på et intervall I, kan tilnærmes med et polynom i intervallet, og teoremet gir også et uttrykk for feilen 
i denne tilnærmingen.  Dersom x = a er et vilkårlig punkt i intervallet, så er

:f(x) = T_n(x;a) + R_{n+1} (x;a)  \qquad  \forall x \in I 

Her er T_n *taylorpolynomet* av grad n:

:\begin{align}
  T_n(x;a) &= \sum_{k=0}^n \left( \frac{f^{(k)}(a)}{k!}(x-a)^k \right)\\
         &= f(a) + \frac{f'(a)}{1!}(x-a) + \frac{f*(a)}{2!}(x-a)^2 + \dotsb + \frac{f^{(n)}(a)}{n!}(x-a)^n
\end{align}</math>.

Restleddet <math>R_{n + 1}</math> kan uttrykkes på flere forskjellige måter, og Joseph Louis Lagranges form er gitt som

:<math>R_{n+1}(x;a)=\frac 1{(n+1)!} f^{(n+1)}(b) (x-a)^{n+1}  \qquad </math>.

Argumentet <math>b</math> er en verdi mellom <math>x</math> og <math>a</math>.  Når <math>n = 1</math> svarer Taylors formel til middelverdisetningen.  

I mange praktske anvendelser brukes tilnærmingen <math>f(x) = T_n(x;a)</math>, og restleddet er da et uttrykk for feilen i tilnærmingen.  Feilen vil typisk vokse når <math>x</math> fjerner seg fra verdien <math>a</math>.

For en glatt funksjon kan en i noen tilfeller vise at funksjonen kan uttrykkes som en uendelig konvergent [[taylorrekke]]:

: <math>\begin{align}
  f(x) &= f(a)
  + f'(a) (x-a)
  + \frac{f*(a)}{2} (x-a)^2
  + \dotsb
  + \frac{f^{(n)}(a)}{n!} (x-a)^n
  + \dotsb\\
  &= \sum_{n=0}^\infty \frac{f^{(n)}(a)}{n!} (x-a)^n.
\end{align}

Denne sammenhengen gjelder imidlertid ikke for alle glatte funksjoner.  En glatt funksjon som samsvarer lokalt med sin egen taylorrekke, kalles en analytisk funksjon.

### Analysens fundamentalteorem

Analysens fundamentalteorem uttrykker en sammenheng mellom derivasjon og integrasjon.

Hvis f:[a,b]\to\mathbb R er en integrerbar funksjon, så er funksjonen

:F(x) = \int_a^x f(t)\,\mathrm dt  \qquad x \in [a,b]

kontinuerlig i intervallet [a,b].  Hvis f er deriverbar i x = x_0, så er også F deriverbar i dette punktet, og F\,'(x_0) = f(x_0).

Teoremet gir en bruksanvisning for kunne integrere en funksjon f, omtalt som *integranden*.  Dersom den antideriverte til integranden kan bestemmes som F, så er

:\int_a^b f(x)\,\mathrm dx = F(b)-F(a).

## Derivasjon av en kompleks funksjon av én variabel

### Formell definisjon

Definisjonen av en kompleks funksjon f: \mathbb{C} \rightarrow \mathbb{C} er i notasjon lik definisjonen for en reell funksjon:

:f\!\,'(x) = \lim_{h \to 0} \frac{f(x + h) - f(x)}{h}.

Forskjellen ligger i definisjonen av grenseverdien, som nå er definert i det komplekse planet.  Den komplekse størrelsen h skal nå kunne nærme seg null langs en vilkårlig rute i det kompekse planet.  
Dette gjør at definisjonen av deriverbarhet for komplekse funksjoner er et strengere krav enn deriverbarhet for reelle funksjoner.  Realdelen og imaginærdelen av en kompleks funksjon kan hver for seg være
deriverbare, uten at den komplekse funksjonen er deriverbar.  

En kompleks funksjon kan være deriverbar i et punkt, uten å være deriverbar i andre nærliggende punkt.  En kompleks funksjon sies å være en analytisk funksjon i et punkt dersom funksjonen er deriverbar i en 
omegn om punktet.  Begrepet *holomorf funksjon* er synonymt med analytisk funksjon.  En funksjon som er analytisk i hele det komplekse planet, kalles en *hel* funksjon.

### Cauchy-Riemann-ligningene

En kompleks funksjon kan generelt skrives på formen

:f(z) = u(x,y) + i v(x,y) \qquad \qquad z = x + iy

der i er den imaginære enheten, med egenskapen i^2 = -1.  De to funksjonene u og v er reelle funksjoner.  Hvis funksjonen f(z) er 
deriverbar, så er også de to Cauchy-Riemann-ligningene oppfylte.  Dette er to differensialligninger på formen

:\begin{alignat}{2}
u_x &= v_y \\
u_y &= - v_x 
\end{alignat}


Ligningene er oppkalt etter Augustin Louis Cauchy og Bernhard Riemann.  Den deriverte er gitt ved

:f'(z) = u_x + iv_x = v_y - iv_x  

Omvendt gjelder at dersom de to funksjonene u og v har kontinuerlige deriverte med hensyn på begge variablene, og de deriverte oppfyller Cauchy-Riemann-ligningene, så er funksjonen f deriverbar.  

### Eksempler

Den komplekse eksponentialfunksjonen kan defineres ved

:f(z) = e^z = e^x( \cos y + i\sin y) \qquad \qquad z = x + iy

De to funksjonene 

:\begin{alignat}{2}
u(x,y) = e^x \cos y  \\
v(x,y) = e^x \sin x 
\end{alignat}
 

har begge kontinuerlige deriverte og oppfyller Cauchy-Riemann-ligningene.  Da følger det at

:f'(z) = u_x + iv_x = e^x( \cos y + i\sin y) = e^z 

Også den komplekse eksponentialfunksjonen er lik sin egen derivert.  Eksponentialfunksjonen er en hel funksjon.  Siden de trigonometriske funksjonene \sin z og \cos z kan defineres
som lineærkombinasjonar av den komplekse eksponentialfunksjonen, er også disse to funksjonene hele.  Alle polynomfunksjoner er hele funksjoner.  

Den komplekse funksjonen f(z) = |z|^2 er deriverbar kun for argumentet z = 0. 

## Generalisering til andre typer funksjoner

Flere typer deriverte kan defineres for funksjoner, også for funksjonstyper der argumentet ikke er et reelt eller et komplekst tall.  

### Retningsderivasjon for skalarfelt

Et skalarfelt er en reell funksjon av flere variable, på formen

:y = f({\mathbf x}):  D \rightarrow \mathbb{R} \qquad D \subset \mathbb{R}^n 

Argumentet {\mathbf x} = (x_1, x_2, x_3, ..., x_n) er her en *n*-dimensjonal vektor.

For et skalarfelt kan en definere den retningsderiverte i retningen {\mathbf v} \in \mathbb{R}^n ved

:f'({\mathbf x};{\mathbf v}) = \lim_{h \to 0} \frac{f({\mathbf x} + h {\mathbf v}) - f({\mathbf x})}{h}

forutsatt at grenseverdien eksisterer.  Det er ikke krav at vektoren {\mathbf v} skal ha lengde lik én.  Eksistens av en retningsderivert er ikke tilstrekkelig for at
funksjonen skal være kontinuerlig.  

Den retningsderiverte oppfyller et middelverditeorem, tilsvarende en funksjon av én variabel:  Dersom den retningsderiverte f'({\mathbf x + t{\mathbf v}};{\mathbf v}) eksisterer for alle
verdier av t i intervallet [0,1], så er

:
f({\mathbf x} +{\mathbf v}) - f({\mathbf x}) = f'({\mathbf x + \theta{\mathbf v}};{\mathbf v})  \qquad \theta \in (0,1)


### Partiell derivasjon

For et skalarfelt er den *partiellderiverte* det samme som den retningsderivert langs en av akseretningene, 
gitt at retningsvektoren har lengde én.  Vanligvis uttrykkes definisjonen av den partiellderiverte med hensyn på variabelen x_i på
formen

: \frac{\partial f}{\partial x_i} = \lim_{h \to 0}
  \frac{f(x_1, \dots , x_i+ h, \dots , x_n)
  - f(x_1, \dots , x_i , \dots , x_n)}{h}
,

forutstatt at grenseverdien eksisterer.  Et skalarfelt med definisjonsmengde i \mathbb{R}^n kan ha n partiellderiverte.  

For en funksjon f = f(x,y,z) kan en bruke flere typer notasjon for partiellderiverte:

:
\begin{alignat}{2}
\frac{\partial f}{\partial x} = f_x = D_x f \\
\frac{\partial f}{\partial y} = f_y = D_y f \\
\frac{\partial f}{\partial z} = f_z = D_z f \\
\end{alignat}
 

De partiellderiverte uttrykker endringene i funksjonen i hver av retningene parallelt med aksene.  Dersom f = f(x,y,z) representerer
variasjonen i temperatur i et rom, så er f_x et mål for temperaturendringen i x-retningen.  

Gradienten til en funksjon er en vektor sammensatt av alle partiellderiverte.  For f = f(x,y,z) uttrykkes gradienten som

:\nabla f = (f_x, f_y, f_z) 

Denne vektoren vil peke i retningen der funksjonen endrer seg mest.  Dersom gradienten er definert, så er den retningsderiverte i retningen {\mathbf v} gitt ved

:
f'({\mathbf x};{\mathbf v}) = {\mathbf v} \cdot \nabla f 


Også for partiellderiverte kan en definere høyere-ordens deriverte, i alle kombinasjoner, for eksempel

:
\begin{alignat}{2}
\frac{\partial^2 f}{\partial x^2} = f_{xx}  \\
\frac{\partial^2 f}{\partial x \partial y} = f_{xy} 
\end{alignat}
 

Hessematrisen er en matrise av alle de andre-ordens partiell deriverte til et skalarfelt.  Ekstremalverdier for et skalarfelt kan studeres ved hjelp av
gradienten og hessematrisen.  

Et tilstrekkelig vilkår for at de to partiell deriverte f_{xy} og f_{yx} skal være like i et punkt, er at begge eksisterer og er kontinuerlige i punktet.

### Derivasjon for vektorfelt

Et vektorfelt er en funksjon der både argument og funksjonsverdi er vektorer:

:
\begin{alignat}{2}
{\mathbf y} &= {\mathbf f}({\mathbf x}):  D \rightarrow \mathbb{R}^m \qquad D \subset \mathbb{R}^n \\
{\mathbf x} &= (x_1, x_2, x_3, ....., x_n) \\
{\mathbf y} &= (y_1, y_2, y_3, ..., y_m) 
\end{alignat}
 
For hver av komponentene i funksjonsverdien kan en definere partiellderiverte:

:
\frac{\partial f_i}{\partial x_j}


Jacobimatrisen til et vektorfelt er en (m \times n)-matrise der elementene er første-ordens partiellderiverte:

:
{\mathbf J} = \begin{bmatrix}
    \dfrac{\partial f_1}{\partial x_1} & \cdots & \dfrac{\partial f_1}{\partial x_n}\\
    \vdots & \ddots & \vdots\\
    \dfrac{\partial f_m}{\partial x_1} & \cdots & \dfrac{\partial f_m}{\partial x_n} \end{bmatrix}


For vektorfelt kan en også definere total derivasjon.

### Total derivasjon

Den totalderiverte til et generelt vektorfelt er en transformasjon som lokalt er den beste lineære tilnærmingen til funksjonen.  

En funksjon f:U \to V, hvor U er en åpen mengde i \mathbb{R}^n kalles *totalt deriverbar* eller *totalderiverbar* i punktet x_0 \in U,
hvis det finnes en lineær avbildning L: \, \mathbb{R}^n \to \mathbb{R}^m slik at

: \lim_{h \to 0} \frac{\| f(x_{0} + h)-f(x_0) - Lh \| }{\| h\| } =0.

Hvis en slik lineær avbildning L eksisterer, er den entydig bestemt og avhenger ikke av hvilken norm som benyttes.

For n = m = 1 svarer den totalderiverte til den ordinære deriverte av en reell funksjon.  For et skalarfelt er m = 1, og den totalderiverte er lik gradienten til funksjonen.
For et vektorfelt er jacobimatrisen en representasjon av den lineære transformasjonen. 

En funksjon som er totalderiverbar i et punkt, vil være kontinuerlig i punktet.   

Hvis den totalderiverte eksisterer i et punkt, så eksisterer også alle de partiellderiverte i punktet.
Omvendt vil *ikke* eksistensen til samtlige partiell deriverte i et punkt x_0 garantere at den totalt deriverte eksisterer i punktet. 
Er de partiellderiverte definert og kontinuerlige i en omegn om x_0, så er funksjonen totalderiverbar i x_0.

## Anvendelser

### Beskrivelse av endringer

Derivasjon blir brukt i mange matematiske modeller der en må beskrive *endringer* av en eller annen type.  Typisk vil en endring av en størrelse
f over tid kunne uttrykkes som den deriverte f' eller en partiell derivert f_t.  En endring i størrelsen i rommet
kan tilsvarende beskrives som en partiell derivert med hensyn på en romlig koordinat eller en gradient. 

Den førstederiverte til en strekning s = s(t) etter tiden t representerer en skalar hastighet, mens den andrederiverte
er et uttrykk for akselerasjonen.   I det tredimensjonale rommet er den deriverte a posisjonsvektoren \mathbf{r} = \mathbf{r}(t) lik
den vektorielle hastigheten. 

Vinkelhastigheten er definert som den tidsderiverte av en rotasjonsvinkel, og vinkelakselerasjonen er den andrederiverte.

### Differensialligninger

En differensialligning er en ligning som kombinerer deriverte av en funksjon med funksjonen selv samt koeffisienter der den uavhengige variabelen inngår.  
Et eksempel er differensialligningen

:y* - y = 0</math>

Den ukjente i en differensialligning er en funksjon.  Ligningen over har løsningen 

:<math>y = A e^x + B e^{-1}</math>,

der <math>A</math> og <math>B</math> er vilkårlige konstanter.  

Dersom den ukjente er en funksjon av én variabel, sies ligningen å være en *ordinær* differensialligning.  En *partiell* differensialligning inneholder partiellderiverte,
og den ukjente er en funksjon av flere variable.   

[[Newtons bevegelseslover|Newtons bevegelseslov]] kan gi opphav til mange differensialligninger. Loven kombinerer kraft <math>\mathbf{F}</math>, masse <math>m</math> og akselerasjon <math>\mathbf{a}</math>:

:<math> \mathbf{F}(t) = m \mathbf{a}(t) = m \ddot \mathbf{r} = m\frac{\mathrm{d}^2\mathbf{r}} {\mathrm{d}t^2}</math>

Dersom kraften for eksempel kan uttrykkes som en funksjon av posisjonen <math>{\mathbf{r}}</math>, så leder dette til en differensialligning for posisjonen.  

=== Et eksempel fra økonomi ===


I [[mikroøkonomi]] kan en analysere forskjellige former for [[produksjonsfunksjon]]er, for å skape forståelse for
[[makroøkonomi]]ske sammenhenger. Det er først og fremst den typiske oppførselen til en produksjonsfunksjon som er av interesse:
Hvordan reagerer de avhengige variablene <math>y</math> (for eksempel den mengden av en vare som produseres) når <math>x</math> (for eksempel arbeid eller [[kapital]])
økes med en (infinitesimal) enhet.

En grunntype av produksjonsfunksjoner er den [[nyklassisk økonomi|nyklassiske]] produksjonsfunksjonen. Denne
funksjonen har egenskapen at produksjonen stiger når argumentet øker, samtidig som at økningen avtar når argumentet vokser.
For eksempel kan man ha den følgende produksjonsfunksjonen for en virksomhet:

: <math>
y = f(x) = \sqrt{4x-400} \quad \mathrm{for} \quad x \ge 100
</math>

Den deriverte følger av kjerneregelen:

: <math>f'(x) = \frac{2}{\sqrt{4x-400}} </math>.

Da rotuttrykket alltid er positivt, vil produksjonen øke med økende innverdi. Den andrederiverte er gitt ved

: <math>\frac{\mathrm{d}^2y}{\mathrm{d}x^2} = -\frac{4}{\sqrt{(4x-400)^3}} </math>.

Denne er alltid negativ, så økningen er synkende.

== Historie ==




Problemstillingen som differensialregningen betrakter, var kjent som *tangentproblemet* helt siden antikken.
Den nærliggende løsningen var å approksimere tangenten ved hjelp av sekanter over et positivt, men 
vilkårlig lite intervall. Den tekniske vanskeligheten bestod av å regne med slike *infinitesimalt* små
intervallengder. [[Pierre de Fermat]] løste rundt 1640 tangentproblemer for polynomer. Her beskrev han
den deriverte, men uten å betrakte grenseverdier, og uten å forklare hva den matematiske rettferdiggjøringen
for fremgangsmåten hans var. På samme tid valgte [[Descartes]] en algebraisk fremgangsmåte, hvor han
anbrakte en [[sirkel]] nær kurven. Her vil sirkelen skjære kurven i to punkter, med mindre sirkelen og kurven tangerer hverandre.
Da var det mulig å bestemme stigningen til tangenten for visse kurver.

På slutten av 1600-tallet lyktes det [[Isaac Newton]] og [[Gottfried Wilhelm Leibniz]] uavhengig av hverandre
å utvikle fungerende fremgangsmåter uten selvmotsigelser. Newton og Leibniz angrep problemet fra forskjellige
vinkler. Mens Newton nærmet seg problemet via momentanhastighetsproblemet, prøvde Leibniz å løse det geometrisk
ved hjelp av tangentproblemet. Arbeidene deres tillot en abstraksjon fra den rent geometriske beskrivelsen,
og regnes derfor som begynnelsen av matematisk analyse. De ble først og fremst kjent gjennom boka til adelsmannen
[[Guillaume François Antoine, marquis de L'Hôpital]], som fikk privatundervisning av [[Johann Bernoulli]] og 
publiserte dennes forskning innen analyse. De derivasjonsreglene som er best kjent i dag, er først og fremst
basert på verkene til [[Leonhard Euler]], som satte sitt preg på funksjonsbegrepet. Newton og Leibniz arbeidet
med vilkårlig små tall, men som er større enn null. Dette ble kritisert av samtidige som ulogisk, eksempelvis av
[[George Berkeley|biskop Berkeley]] i det polemiske skriftet *The analyst: or a discourse addressed to an infidel mathematician''.
Differensialregningen ble likevel, tross den herskende usikkerheten, konsekvent videreutviklet, i første rekke
på grunn av de tallrike anvendelsene i fysikk og andre områder av matematikken. Symptomatisk for den tiden
var prisutskrivningen til Det prøyssiske vitenskapsakademiet i 1784:

Først på begynnelsen av 1800-tallet lyktes det Augustin Louis Cauchy å gi differensialregningen den
logiske stringensen vi er vant til i dag, i det han gikk bort fra de infinitesimale størrelsene og definerte
den deriverte som grenseverdien til stigningen av sekantene. Den definisjonen av grenseverdier som brukes i
dag ble formulert av Karl Weierstraß på slutten av 1800-tallet.

## Se også

* Retningsderivert
* Lie-derivert
* Kovariant derivasjon

## Referanser


## Litteratur

*
*
*
*
* 
*

## Eksterne lenker
*  Function calculator
* Kalkulator som kan derivere funksjoner av én variabel