Skillnad mellan versioner av "2.6 Derivatan av exponentialfunktioner"

Versionen från 23 oktober 2014 kl. 14.42

Lektion 21 Derivatan av exponentialfunktioner

Derivatan av exponentialfunktionen \( y = e\,^x \)

Det kan vara bra att friska upp sina kunskaper om exponentialfunktionen med basen \( e\, \) (Eulers tal) från kapitel 1. Vi behöver nämligen i detta avsnitt att härleda derivatan av exponentialfunktionen \( y = e\,^x \) med basen \( e\, \) för att sedan kunna med hjälp av den ställa upp deriveringsregeln för den allmänna exponentialfunktionen \( y = a\,^x \) med en godtycklig bas \( a > 0\, \).

För att kunna göra det gör vi först ett försök att hjälp av med derivatans definition ställa upp en deriveringsregel för \( y = a\,^x \). Vi kan redan säga nu: Försöket kommer att misslyckas, vilket dock kommer att leda oss till den avgörande frågeställning som kommer att lösa problemet. Denna frågeställning vänder på steken: Istället för att fråga efter deriveringsregeln, ger man en deriveringsregel \(-\) den enklaste möjliga, nämligen derivatan = funktionen \(-\) och frågar efter en bas som uppfyller denna deriveringsregel. Frågeställningen lyder:

Svaret är: Ja, om och endast om \( {\color{White} x} a \, = \, e \)   . Detta är möjligt eftersom vi har friheten att välja en bas.

Frågeställningen har i matematikens historia motiverat den schweiziske matematikern Leonard Euler att ställa upp sin berömda formel för beräkning av talet \( e\, \) som vi använde i Hur kom(mer) talet \( e \,\) till? På 1700-talet bevisade Euler att den efterfrågade basen var just \( e\, \), varför talet kallats efter honom.

Vi kan nu \(-\) efter att ha behandlat begreppet limesbegreppet \(-\) formulera Eulers formel så här:

\[ \lim_{x \to \infty} {\left(1 + {1 \over x}\right)^x} \; =\; 2,718281828\cdots \; = \; e \]

Vi försöker nu att följa Eulers bevis:

Fil:ExpDeriv1 40c.jpg

Fil:ExpDeriv2 50.jpg

Deriveringsregeln för \( y = C\,e\,^{k\,x} \)

Fil:ExpDeriv3 50.jpg

Derivatan av den allmänna exponentialfunktionen \( y = a\,^x \)

Från att ha ställt upp deriveringsregeln för exponentialfunktionen \( y = e\,^x \) är det bara ett enkelt steg till deriveringsregeln för den allmänna exponentialfunktionen \( y = a\,^x \) med en godtycklig bas \( a > 0\, \):

Fil:ExpDeriv4 50a.jpg

Specialfallet \( a = e\, \) och \( \ln a = \ln e = 1\, \) ger derveringsregeln \( y\,' = e^x \) för den naturliga exponentialfunktionen.

Uppdaterad tabell över deriveringsregler

Vi utvidgar tabellen över deriveringsregler från förra avsnitt med våra nya resultat i detta avsnitt. I följande tabell där \( c,\,C\,a,\,k,\,m,\,n \) konstanter medan \( x\, \) och \( y\, \) är variabler:

\( y\, \)	\( y\,' \)
\( c\, \)	\( 0\, \)
\( x\, \)	\( 1\, \)
\( a\; x \)	\( a\, \)
\( k\; x \, + \, m \)	\( k\, \)
\( x^2\, \)	\( 2\,x \)
\( a\,x^2 \)	\( 2\,a\,x \)
\( x^n\, \)	\( n\cdot x\,^{n-1} \)
\( a\,x\,^n \)	\( a\cdot n\cdot x\,^{n-1} \)
\( \displaystyle {1 \over x} \)	\( \displaystyle - {1 \over x^2} \)
\( \sqrt{x} \)	\( \displaystyle {1 \over 2\, \sqrt{x}} \)
\( e\,^x \)	\( e\,^x \)
\( e\,^{k\,x} \)	\( k\cdot e\,^{k\,x} \)
\( C\cdot e\,^{k\,x} \)	\( C\cdot k\cdot e\,^{k\,x} \)
\( a\,^x \)	\( a\,^x \cdot \ln a \)
\( f(x) + g(x)\, \)	\( f\,'(x) + g\,'(x) \)
\( a\cdot f(x) \)	\( a\cdot f\,'(x) \)

De två sista raderna i tabellen är snarare generella satser än deriveringsregler. De gäller för alla funktioner \( f(x)\, \) och \( g(x)\, \). Av praktiska skäl tar vi upp dem ändå i samma tabell som deriveringsreglerna. Denna tabell kommer att ytterligare kompletteras i Matte 4-kursen då vi kommer att lära oss fler deriveringsregler, speciellt den s.k. produkt- och kvotregeln.

Copyright © 2011-2014 Taifun Alishenas. All Rights Reserved.