\[\newcommand{\N}{\mathbb N} \newcommand{\Z}{\mathbb Z} \newcommand{\Q}{\mathbb Q} \newcommand{\R}{\mathbb R} \newcommand{\C}{\mathbb C} \newcommand{\ba}{\mathbf{a}} \newcommand{\bb}{\mathbf{b}} \newcommand{\bc}{\mathbf{c}} \newcommand{\bd}{\mathbf{d}} \newcommand{\be}{\mathbf{e}} \newcommand{\bff}{\mathbf{f}} \newcommand{\bh}{\mathbf{h}} \newcommand{\bi}{\mathbf{i}} \newcommand{\bj}{\mathbf{j}} \newcommand{\bk}{\mathbf{k}} \newcommand{\bN}{\mathbf{N}} \newcommand{\bn}{\mathbf{n}} \newcommand{\bo}{\mathbf{0}} \newcommand{\bp}{\mathbf{p}} \newcommand{\bq}{\mathbf{q}} \newcommand{\br}{\mathbf{r}} \newcommand{\bs}{\mathbf{s}} \newcommand{\bT}{\mathbf{T}} \newcommand{\bu}{\mathbf{u}} \newcommand{\bv}{\mathbf{v}} \newcommand{\bw}{\mathbf{w}} \newcommand{\bx}{\mathbf{x}} \newcommand{\by}{\mathbf{y}} \newcommand{\bz}{\mathbf{z}} \newcommand{\bzero}{\mathbf{0}} \newcommand{\nv}{\mathbf{0}} \newcommand{\cA}{\mathcal{A}} \newcommand{\cB}{\mathcal{B}} \newcommand{\cC}{\mathcal{C}} \newcommand{\cD}{\mathcal{D}} \newcommand{\cE}{\mathcal{E}} \newcommand{\cF}{\mathcal{F}} \newcommand{\cG}{\mathcal{G}} \newcommand{\cH}{\mathcal{H}} \newcommand{\cI}{\mathcal{I}} \newcommand{\cJ}{\mathcal{J}} \newcommand{\cK}{\mathcal{K}} \newcommand{\cL}{\mathcal{L}} \newcommand{\cM}{\mathcal{M}} \newcommand{\cN}{\mathcal{N}} \newcommand{\cO}{\mathcal{O}} \newcommand{\cP}{\mathcal{P}} \newcommand{\cQ}{\mathcal{Q}} \newcommand{\cR}{\mathcal{R}} \newcommand{\cS}{\mathcal{S}} \newcommand{\cT}{\mathcal{T}} \newcommand{\cU}{\mathcal{U}} \newcommand{\cV}{\mathcal{V}} \newcommand{\cW}{\mathcal{W}} \newcommand{\cX}{\mathcal{X}} \newcommand{\cY}{\mathcal{Y}} \newcommand{\cZ}{\mathcal{Z}} \newcommand{\pv}{\overline} \newcommand{\iu}{\mathrm{i}} \newcommand{\ju}{\mathrm{j}} \newcommand{\re}{\operatorname{Re}} \newcommand{\im}{\operatorname{Im}} \newcommand{\arsinh}{\operatorname{ar\,sinh}} \newcommand{\arcosh}{\operatorname{ar\,cosh}} \newcommand{\artanh}{\operatorname{ar\,tanh}} \newcommand{\sgn}{\operatorname{sgn}} \newcommand{\diag}{\operatorname{diag}} \newcommand{\proj}{\operatorname{proj}} \newcommand{\rref}{\operatorname{rref}} \newcommand{\rank}{\operatorname{rank}} \newcommand{\Span}{\operatorname{span}} \newcommand{\vir}{\operatorname{span}} \renewcommand{\dim}{\operatorname{dim}} \newcommand{\alg}{\operatorname{alg}} \newcommand{\geom}{\operatorname{geom}} \newcommand{\id}{\operatorname{id}} \newcommand{\norm}[1]{\lVert #1 \rVert} \newcommand{\tp}[1]{#1^{\top}} \renewcommand{\d}{\mathrm{d}} \newcommand{\sij}[2]{\bigg/_{\mspace{-15mu}#1}^{\,#2}} \newcommand{\abs}[1]{\lvert#1\rvert} \newcommand{\pysty}[1]{\left[\begin{array}{@{}r@{}}#1\end{array}\right]} \newcommand{\piste}{\cdot} \newcommand{\qedhere}{} \newcommand{\taumatrix}[1]{\left[\!\!#1\!\!\right]} \newenvironment{augmatrix}[1]{\left[\begin{array}{#1}}{\end{array}\right]} \newenvironment{vaugmatrix}[1]{\left|\begin{array}{#1}}{\end{array}\right|}\]

Derivointikaavoja ja -sääntöjä

Edellä johdettiin yksi derivointikaava raja-arvon määritelmän avulla. Muille funktioille voidaan vastaavasti johtaa valmiit kaavat. Ohessa on esitetty joitakin derivointikaavoja. Derivointikaavoja on taulukoitu kaavakirjoihin. Nämä kaikki voitaisiin todistaa täsmällisesti, mutta tällä opintojaksolla annetaan ne sääntöinä.

Lause 2.3.1 (Alkeisfunktioiden derivointikaavat)

  • Vakiofunktion derivaatta on \(D( c ) = 0\).
  • Potenssi funktion derivaatta on \(D( x^{n} ) = n x^{n-1}\), missä \(n \in \R\).
  • Eksponentti- ja logaritmifunktion derivaatta:
    • \(D( e^{x} ) = e^{x}\),
    • \(D( a^{x} ) = a^{x} \ln( a )\), missä \(a >0\),
    • \(D( \ln \abs{x} ) = \frac{1}{x}\),
    • \(D( \log_{a} \abs{x} ) = \frac{1}{x \ln ( a ) }\), missä \(a > 0\), \(a \neq 1\).
  • Trigonometristen funktioiden derivaatat (kulmayksikkönä radiaani):
    • \(D( \sin( x ) ) = \cos( x )\),
    • \(D( \cos ( x ) ) = - \sin( x )\),
    • \(D( \tan( x ) ) = \frac{1}{\cos^2( x ) } = 1 + \tan^2( x )\),

Esimerkki 2.3.2

Vakion derivaatta

\[\begin{split}\begin{aligned} D( 6 ) &= 0\\ D( \num[output-decimal-marker={,}]{-1.7} ) &= 0 .\end{aligned}\end{split}\]

Potenssin derivaatta

\[\begin{split}\begin{aligned} D( x^2 ) &= 2x^{2-1} = 2x^{1}= 2x, \\ D( x^{2020} ) &= 2020x^{2020-1} = 2020x^{2019}, \\ D( x ) &= D( x^{1} ) = 1\cdot x^{1-1} = 1\cdot 1 = 1, \\ D( \sqrt{x} ) &= D( x^{\frac{1}{2}} ) = \frac{1}{2}\cdot x^{\frac{1}{2} -1}= \frac{1}{2} \cdot x^{- \frac{1}{2}} = \frac{1}{2 \sqrt{x} }, \\ D( \frac{1}{x^3} ) &= D( x^{-3} ) = -3 \cdot x^{-3 - 1} = \frac{-3}{x^{4}} .\end{aligned}\end{split}\]

Huomautus 2.3.3

Huomaa, että riippuen minkä suhteen derivoidaan tulos voi olla eri

\[\frac{\d}{\d x }( x ) = 1, \quad \text{mutta} \quad \frac{\d}{\d y} ( x ) = 0.\]

Jälkimmäisessä derivaatassa muuttujana on \(y\), jolloin derivoitava funktio on vakio muuttujan \(y\) suhteen!

Alkeisfunktioiden derivoitikaavojen lisäksi on olemassa derivointisääntöjä. Niiden avulla voidaan palauttaa monimutkaisempien funktioiden derivaatan laskeminen perusderivointikaavoihin. Nämäkin kaikki voitaisiin todistaa derivaatan erotusosamäärän määritelmän avulla.

Lause 2.3.4 (Derivointisääntöjä)

Käytämme hakasulkuja korostamaan derivoitavan funktion vaikutusaluetta. Olkoot \(f\) ja \(g\) derivoituvia funktioita pisteesssä \(x\).

  • Vakiolla \(c\) kerrotun funktion derivaatta on derivaatta kerrottuna vakiolla \(c\):

    \[D[ c f( x ) ] = c D[ f( x ) ] = c f'( x ).\]
  • Summan derivaatta on derivaattojen summa:

    \[D[f( x ) + g( x ) ] = D[f( x ) ] + D[g( x )] = f'( x ) + g'( x ).\]
  • Tulon derivaatta on

    \[D[f( x ) \cdot g( x ) ] = D[f( x ) ] \cdot g( x ) + f( x ) D[g( x ) ] = f'( x ) g( x ) + f( x ) g'( x ).\]
  • Funktion potenssin derivaatta on

    \[D[f( x ) ]^{n} = n[f( x ) ]^{n-1} \cdot D[f( x ) ] = n[f( x ) ]^{n-1} \cdot f'( x ).\]
  • Osamäärän derivaatta

    \[\begin{split}\begin{aligned} D\left[ \frac{f( x ) }{g( x ) }\right] &= \frac{D\left[f( x ) \right]\cdot g( x ) - f( x ) \cdot D\left[ g( x ) \right] }{\left[ g( x ) \right]^2 }\\ &= \frac{f'( x ) g( x ) - f( x ) g'( x ) }{[g( x ) ]^2}. \end{aligned}\end{split}\]
  • Yhdistetyn funktion derivaatta yleisesti

    \[D[( g \circ f )( x )] = g'( f( x ) ) \cdot f'( x ).\]

Esimerkki 2.3.5

  1. Vakiolla kerrotun funktion derivaatta \(D( 3x^{5} ) = 3 D( x^{5} ) = 3\cdot 5x^{5-1} = 15x^{4}\).

  2. Tarkista minkä suhteen derivoidaan \(\frac{\d}{\d x}( 2xt^2 ) = 2t^2 \frac{\d}{\d x}( x ) = 2t^2\cdot 1 = 2t^2\).

  3. Summan derivaatta

    \[D( x^3 + 5x - 2 ) = D( x^3 ) + D( 5x ) - D( 2 ) = 3x^2 + 5 D( x ) - 0 = 3x^2 + 5\cdot 1 = 3x^2 + 5.\]
  4. Tulon derivaatta

    \[D( x^2 \cos( x ) ) = D( x^2 ) \cdot \cos( x ) + x^2 \cdot D( \cos( x ) ) = 2x\cos( x ) - x^2\sin( x ).\]
  5. Funktion potenssin derivaatta

    \[D\left[ ( 3x + 1 )^{4} \right] = 4( 3x + 1 )^{4-1} D( 3x + 1 ) = 4( 3x + 1 )^3 \cdot 3 = 12( 3x + 1 )^3.\]
  6. Osamäärän derivaatta

    \[\begin{split}\begin{aligned} D\left( \frac{2x}{3x + 1} \right) &= \frac{D \left[ 2x \right] \cdot ( 3x + 1 ) - 2x\cdot D \left[ 3x + 1\right] }{( 3x + 1 )^2} \\ &= \frac{2\cdot ( 3x + 1 ) - 2x\cdot 3}{( 3x + 1 )^2} \\ &= \frac{6x + 2 - 6x}{( 3x + 1 )^2} = \frac{2}{( 3x + 1 )^2}. \end{aligned}\end{split}\]

Yhdistetyn funktion derivaattoja.

\[\begin{split}\begin{aligned} & D( e^{\num[output-decimal-marker={,}]{7.5}x} ) = D( \num[output-decimal-marker={,}]{7.5}x ) \cdot e^{\num[output-decimal-marker={,}]{7.5}x} = \num[output-decimal-marker={,}]{7.5} \cdot e^{\num[output-decimal-marker={,}]{7.5}x} \\ & D( \ln( 9x - 2 ) ) = \frac{1}{9x - 2}\cdot D( 9x -2 ) = \frac{1}{9x -2 }\cdot 9 = \frac{9}{9x - 2} \\ & \frac{\d}{\d t} \sin( \omega t ) = \cos( \omega t ) \cdot D( \omega t ) = \cos( \omega t ) \cdot \omega \\ & D( 2 \cos ( \num[output-decimal-marker={,}]{0.5}x^2 ) ) = -2\sin( \num[output-decimal-marker={,}]{0.5}x^2 ) \cdot D( \num[output-decimal-marker={,}]{0.5}x^2 ) = -2\sin( \num[output-decimal-marker={,}]{0.5}x^2 ) \cdot x = -2x\sin( \num[output-decimal-marker={,}]{0.5}x^2 ) \end{aligned}\end{split}\]
Palautusta lähetetään...