Pochodne

Z Brain-wiki
Wersja z dnia 12:03, 22 maj 2015 autorstwa Anula (dyskusja | edycje) (Utworzono nową stronę "__NOTOC__ ==Podstawowe definicje== ===Iloraz różnicowy funkcji=== ''' Def.''' Niech funkcja <math>f\;</math> będzie określona w pewnym przedziale otwartym zawieraj...")
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)


Podstawowe definicje

Iloraz różnicowy funkcji

Def. Niech funkcja [math]f\;[/math] będzie określona w pewnym przedziale otwartym zawierającym punkt [math]a\;[/math]. Ilorazem różnicowym funkcji [math]f\;[/math] w punkcie [math]a\;[/math] dla przyrostu [math]h\;[/math] nazywamy funkcję

[math] g_a(h)= \frac{f(a+h)-f(a)}{h} [/math]

Pochodna funkcji [math]f[/math] w punkcie [math]a[/math]

Pochodną funkcji [math]f\;[/math] w punkcie [math]a\;[/math] (ozn. [math]f'(a)[/math]) nazywamy granicę ilorazu różnicowego:

[math] \lim_{h \to 0} \frac{f(a+h)-f(a)}{h} [/math]

Inne oznaczenia pochodnej

Pochodną funkcji [math]f\;[/math] w punkcie [math]a\;[/math] oznacza się też:

[math]\frac{df(x)}{dx}\left.{\!\!\frac{}{}}\right|_{x=a}[/math]

bądź — jeśli nie trzeba podawać, w jakim punkcie jest liczona — jako [math]\frac{df(x)}{d x}\;[/math].

Oznaczenia [math]\frac{df(x)}{d x}\;[/math] pochodzą od Leibniza (XVII w.) — jednego z wynalazców (obok Newtona) rachunku różniczkowego. Pochodzenie tej symboliki jest następujące: Iloraz różnicowy (1) można zapisać jako:

[math] \frac{{\rm przyrost \;wartosci \;funkcji}\; f}{{\rm przyrost \;wartosci \;argumentu}\; x} = \frac{\Delta f}{\Delta x}; [/math]

pochodna jest granicą ilorazu różnicowego, i "w granicy" zastępuje się [math]\Delta\;[/math] przez [math]d\;[/math].

Uwaga

Symbol [math]\frac{df(x)}{d x}\;[/math] należy traktować jako jedną całość. O ile wielkości z licznika czy mianownika — tzn [math]\Delta f\;[/math] czy [math]\Delta x\;[/math] są dobrze określone, o tyle oddzielnie symbole [math]df\;[/math], [math]d x\;[/math] — bez dodatkowych umów — nie mają sensu, lub są bezużyteczne. (gdyby np. rozpatrywać je w najbardziej narzucający się sposób, tzn. jako granice, gdy przyrost argumentu dąży do zera, to otrzymałoby się zero). Sensowna, bądź użyteczna, jest jedynie ich kombinacja [math]\frac{df}{dx}\;[/math].

Nie oznacza to, że nie wolno w ogóle posługiwać się symbolami w rodzaju [math]d f\;[/math] czy [math]d x\;[/math]. Wolno, ale jedynie na etapie pośrednim jakiegoś rozumowania, którego finałem będzie jakiś w pełni legalny już symbol w rodzaju [math]\frac{df}{d x}\;[/math] czy [math]\int f(x) d x\;[/math].

Przykład

[math]f(x)=x^2\;[/math], [math]f'(3)=6\;[/math].

Styczna do wykresu funkcji w punkcie, nachylona do osi OX pod kątem α
Sieczna wykresu funkcji w punktach wzajemnie oddalonych o h, nachylona do osi OX pod kątem [math]\alpha_h[/math]

Pochodna funkcji w punkcie ma bardzo wyrazisty sens geometryczny. (RYS.) Rozpatrzmy wykres funkcji [math]y=f(x)\;[/math]. Ustalmy dodatnie [math]h\;[/math] i przeprowadźmy prostą przez punkty: [math](x, f(x))\;[/math] i [math](x+h, f(x+h))\;[/math]. Prostą taką nazywamy sieczną krzywej. Jak widać, iloraz różnicowy jest tangensem kąta [math]\alpha_h\;[/math], który sieczna tworzy z osią [math]OX\;[/math]. Gdy [math]h\to 0\;[/math], to sieczne dążą do prostej granicznej — stycznej do krzywej w punkcie [math]x\;[/math]. Tak więc

[math] f'(a)=\tg \alpha [/math]

Nie każda funkcja ciągła posiada pochodną (co w ilustracji geometrycznej znaczy, że nie każda krzywa posiada styczną, a jeśli nawet tak, to taka styczna nie jest jednoznacznie określona). I tak np. funkcja [math]f(x)=|x|\;[/math] nie posiada pochodnej w punkcie [math]x=0\;[/math]. Mamy bowiem:

[math] \lim_{h \to 0^+}\frac{f(h)-f(0)}{h}=+1, \;\;\;[/math] oraz [math]\;\;\; \lim_{h \to 0^-}\frac{f(h)-f(0)}{h}=-1.[/math]

W powyższym jednak przypadku możemy mówić o pochodnych jednostronnych, tzn. granicach ilorazów różnicowych: [math]\lim_{h \to 0^+}\;[/math] (pochodna prawostronna) i [math]\lim_{h \to 0^-}\;[/math] (pochodna lewostronna). Dokładniej, mamy:

Pochodna jednostronna

Pochodną prawostronną (lewostronną) funkcji [math]f\;[/math] w punkcie [math]a\;[/math] nazywamy granicę

[math] f'_+(a)= \lim_{h \to 0^+}\frac{f(a+h)-f(a)}{h}, \;\;\;\;f'_-(a)=\lim_{h \to 0^-}\frac{f(a+h)-f(a)}{h}. [/math]

Są jednak też funkcje, które (w jakimś punkcie) w ogóle nie posiadają pochodnej — ani lewo-, ani prawostronnej. Np. funkcja:

[math] f(x)=x \sin\frac{1}{x} \;\;\;{\rm dla} \;\;\;x\ne 0;\;\;\;\;\; f(0)=0 [/math]

jest ciągła, lecz nie posiada pochodnej (ani lewo-, ani prawostronnej) w zerze. Nieistnienie tej pochodnej wynika np. z nieistnienia granicy [math]\displaystyle\mathop{\lim}_{x\to 0}\,\sin\frac{1}{x}\;[/math]. Bowiem granica ilorazu różnicowego:

[math] \lim_{h \to 0} \frac{f(h)-f(0)}{h} = \lim_{h \to 0} \sin\frac{1}{h} [/math]

nie istnieje, jak to widzieliśmy uprzednio (http://brain.fuw.edu.pl/edu/Matematyka:Funkcje_i_granice#Funkcje_bez_jednostronnych_granic). Istnieją także funkcje ciągłe, które nie posiadają pochodnej w żadnym punkcie. Rozważamy też pochodne nieskończone (ma to miejsce, gdy granica ilorazu różnicowego w jakimś punkcie dąży do nieskończoności). I tak np. dla funkcji [math]f(x)=\sqrt{x}\;[/math] mamy

[math] f'_+(0) = \lim_{h \to 0^+}\frac{\sqrt{h}-0}{h} = \lim_{h \to 0^+}\frac{1}{\sqrt{h}}=\infty \;[/math]

(bo [math]\lim_{h \to 0} \sqrt{h}=0\;[/math]); bądź dla pochodnej dwustronnej: weźmy [math]f(x)=\sqrt[3]{x}\;[/math],

[math] f'(0) = \lim_{h \to 0}\frac{\sqrt[3]{h}-0}{h} = \lim_{h \to 0}\frac{1}{\sqrt[3]{h^2}}=\infty [/math]

Różniczkowalność

Mówimy, że funkcja jest różniczkowalna w przedziale otwartym, jeśli posiada pochodną skończoną w każdym punkcie tego przedziału. Funkcja jest różniczkowalna w przedziale domkniętym [math][a,b]\;[/math], jeśli posiada pochodną w każdym punkcie wewnętrznym przedziału, a pochodną jednostronną (prawą lub lewą) w lewym lub prawym końcu przedziału.

Ciągłość pochodnej w przedziale

Mówimy, że pochodna [math]f'(x)\;[/math] funkcji [math]f(x)\;[/math] jest ciągła w przedziale [math][a,b]\;[/math], jeśli [math]f'(x)\;[/math] jest ciągła wewnątrz przedziału, pochodna prawostronna jest ciągła prawostronnie w punkcie [math]a\;[/math], zaś pochodna lewostronna — ciągła lewostronnie w punkcie [math]b\;[/math].

Pierwsze zastosowania geometryczne i fizyczne pochodnej

Normalna

Przez normalną do krzywej [math]y=f(x)\;[/math] w punkcie [math]p=(x, f(x))[/math] rozumiemy prostą, prostopadłą do stycznej w [math]p\;[/math] i przechodzącej przez [math]p\;[/math].

Wykres funkcji z zaznaczoną normalną w punkcie p

Tak więc:

  • równanie prostej stycznej do krzywej [math]y=f(x)\;[/math] w punkcie [math]p=(x_0, y_0)\;[/math], gdzie [math]y_0=f(x_0)\;[/math] jest:
    [math] y=f'(x_0) x + f(x_0) - f'(x_0) x_0, \;[/math]

    lub — w postaci być może łatwiejszej do zapamiętania —

    [math] y-y_0 = f'(x_0)(x-x_0). [/math]
  • Dla prostej normalnej mamy: Współczynni kierunkowy tej prostej to [math]-\frac{1}{f'(x_0)}\;[/math], co daje równanie prostej
    [math] y=-\frac{1}{f'(x_0)} x + y_0 +\frac{x_0}{f'(x_0)} \;[/math]

    lub w równoważnej postaci

    [math] f'(x_0) (y-y_0) = -(x-x_0). [/math]

W fizyce, znaczeniem pochodnej jest prędkość (zmiany jakiejś wielkości fizycznej w czasie). I tak, prototypem wszelkich takich wielkości jest droga (punktu materialnego jako funkcja czasu). Pochodna drogi po czasie — to właśnie prędkość. Analogicznie definiuje się inne rodzaje prędkości.

Np. gdy mamy rozpad promieniotwórczy substancji radioaktywnej, to możemy mówić o szybkości rozpadu (prędkości ubytku masy substancji radioaktywnej).

Różniczkowanie funkcji elementarnych

Zauważmy najsampierw, że jest prawdziwe

Twierdzenie

Jeśli funkcja [math]f\;[/math] jest różniczkowalna w punkcie [math]x\;[/math], to jest w tym punkcie ciągła.

Dowód

Skoro [math]f\;[/math] jest różniczkowalna w punkcie [math]x\;[/math], to istnieje i jest skończona granica ilorazu różnicowego

[math] \lim_{h \to 0}\frac{f(x+h)-f(x)}{h}; [/math]

tak więc

[math] \lim_{h \to 0} (f(x+h)-f(x))= \lim_{h \to 0}\frac{f(x+h)-f(x)}{h}\cdot h = \lim_{h \to 0}\frac{f(x+h)-f(x)}{h} \cdot \lim_{h \to 0} h =0, [/math]

co oznacza, że [math]f\;[/math] jest ciągła w punkcie [math]x\;[/math]. CBDO

Twierdzenie

Pochodna funkcji stałej: [math]f(x)=c\;[/math] jest równa [math]0\;[/math]:

[math] \frac{dc}{dx}=0 [/math]

Dowód

Bowiem: [math]f(x+h)=c\;[/math], [math]f(x)=c\;[/math], co daje

[math] \lim_{h \to 0} \frac{f(x+h)-f(x)}{h}=0. [/math]

CBDO

Twierdzenie

Pochodna funkcji identycznościowej [math]f(x)=x\;[/math] jest równa 1:

[math] \frac{dx}{dx}=1. [/math]

Dowód

Mamy:

[math] \lim_{h \to 0} \frac{(x+h)-x}{h}=\lim_{h \to 0} \frac{h}{h}=1 . [/math]

Twierdzenie

Mamy następujące wzory dotyczące różniczkowania sumy, różnicy, iloczynu i ilorazu funkcji różniczkowalnych. Jeśli [math]f(x)\;[/math], [math]g(x)\;[/math] są różniczkowalne w punkcie [math]x\;[/math], to mamy

[math]\frac{d(f(x)\pm g(x))}{dx}= \frac{df(x)}{dx} \pm \frac{dg(x)}{dx} \;\;\;[/math] lub krócej [math](f(x)\pm g(x))' = f'(x)\pm g'(x)[/math]
[math]\frac{d(f(x)\cdot g(x))}{dx}= \frac{df(x)}{dx} \cdot g(x) +\frac{dg(x)}{dx}\cdot f(x) [/math] lub [math](f(x)\cdot g(x))' = f'(x)g(x)+g'(x)f(x)[/math]
[math] \frac{d \left(\frac{f(x)}{g(x)}\right)}{d x}=\frac{ \frac{d f(x)}{d x} \cdot g(x) - \frac{d g(x)}{d x}\cdot f(x)}{g^2(x)}\;\;[/math] lub [math]\left(\frac{f(x)}{g(x)}\right)' =\frac{ f'(x)g(x)-g'(x)f(x)}{g^2(x)}[/math]

Dowód

  • dla (8) (dla sumy):
    [math] (f(x)+ g(x))' =\lim_{h \to 0}\frac{(f(x+h)+g(x+h)) - (f(x)+g(x))}{h} [/math]
    [math] = \lim_{h \to 0}\frac{f(x+h) - f(x)}{h} + \lim_{h \to 0}\frac{g(x+h) - g(x)}{h} = f'(x)+g'(x); [/math]
    dla różnicy dowód jest analogiczny.
  • dla (9)
    [math] (f(x)\cdot g(x))' =\lim_{h \to 0}\frac{f(x+h)\cdot g(x+h) - f(x)\cdot g(x)}{h} [/math]
    [math] (f(x)\cdot g(x))' =\lim_{h \to 0}\frac{(f(x+h)\cdot g(x+h) - f(x+h)\cdot g(x)) + ( f(x+h)\cdot g(x) - f(x)\cdot g(x))}{h} [/math]
    [math] = \lim_{h \to 0} f(x+h) \frac{g(x+h) - g(x)}{h} + \lim_{h \to 0}g(x)\frac{f(x+h) - f(x)}{h} = f'(x)\cdot g(x)+g'(x)\cdot f(x). [/math]
  • dla (10). Pokażemy najsampierw:
    [math] \frac{d\left(\frac{1}{f(x)}\right)}{d x} = -\frac{1}{f^2(x)}\frac{d f(x)}{d x}. [/math]

    Mamy bowiem:

    [math] \frac{d\left(\frac{1}{g(x)}\right)}{d x} =\lim_{h \to 0}\left( \frac{\frac{1}{g(x+h)}-\frac{1}{g(x)}}{h}\right)= [/math]
    [math] -\frac{1}{\lim_{h \to 0} g(x+h)}\cdot \frac{1}{g(x)} \cdot\lim_{h \to 0}\frac{g(x+h)-g(x)}{h}=-\frac{1}{g^2(x)}\cdot\frac{dg(x)}{dx}, [/math]

    bo [math]\lim_{h \to 0} g(x+h)=g(x)\;[/math]; i ponadto, ponieważ [math]g(x)\ne 0\;[/math], to istnieje takie [math]\delta\gt 0\;[/math], że dla [math]|h|\lt \delta\;[/math] zachodzi [math]g(x+h)\ne 0\;[/math], tak więc wszystkie wyrażenia w (12) są dobrze określone.

    Teraz (10) wynika z (9) oraz (11): [math] \left(f(x)\frac{1}{g(x)} \right)' = f'(x)\cdot \frac{1}{g(x)} + f(x)\cdot\left(-\frac{1}{g^2(x)} \right)= \frac{ f'(x)g(x)-g'(x)f(x)}{g^2(x)}.[/math]

Wniosek

Podstawiając we wzorach (8) oraz (9): [math]f(x) = c\;[/math], otrzymamy:

[math] (f(x)+c)'= f'(x), [/math]
[math] (c\cdot f(x))'= c f'(x). [/math]

Wzór (13) mówi, że przesunięcie wykresu funkcji [math]f(x)\;[/math] wzdłuż osi [math]0Y\;[/math] nie ma wpływu na wartość kąta, tworzonego przez styczną z osiami. Wzór (14) natomiast mówi, że jeżeli przeskalujemy wykres funkcji [math]y=f(x)\;[/math] [math]c\;[/math] razy, to tyle samo razy zwiększy się tangens kąta nachylenia stycznej.

Twierdzenie

[math] (x^n)'= n x^{n-1} \;\;\;\mbox{ dla }\;\;\; n\in \mathbb N. [/math]

Dowód

Dowodzi się indukcyjnie. Dla [math]n=0\;[/math] i [math]n=1\;[/math] wzór ten jest prawdziwy — p. (6) i (7). Załózmy teraz, że wzór jest prawdziwy dla [math]n-1\;[/math], i mamy dla [math]n\;[/math], z wykorzystaniem (9)

[math] (x^n)'= (x\cdot x^{n-1})' = 1\cdot x^{n-1} + x\cdot (n-1)\cdot x^{n-2} = n\cdot x^{n-1}. [/math]

CBDO

Twierdzenie

[math](x^n)'= n x^{n-1}\;[/math] dla [math]n\in \mathbb Z\;[/math]

Dowód

Weźmy teraz [math]n\lt 0\;[/math]. Mamy, z (12) i (15)

[math] (x^n)'= \left( \frac{1}{x^{-n}}\right)'=-\frac{1}{x^{-2n}}(x^{-n})' = n\cdot x^{-n-1}\cdot\frac{1}{x^{-2n}} = n\cdot x^{n-1}. [/math]

CBDO

Uwaga

Wzór ten słuszny jest też dla dowolnych wykładników rzeczywistych, co udowodnimy nieco później.

Z pokazanych właśnie faktów wynika od razu

Twierdzenie (wzór na pochodną wielomianu)

[math] (a_n x^n + a_{n-1}x^{n-1}+\dots+a_1 x + a_0)' = n a_n x^{n-1}+\dots + 2 a_2 x + a_1. \;[/math]

Twierdzenie

[math](\sin \,x)' = \cos x\;[/math].

Dowód

[math] (\sin x)'=\lim_{h \to 0}\frac{\sin(x+h)-\sin x}{h} = \lim_{h \to 0}\frac{2}{h}\cdot \sin(\frac{h}{2})\cdot \cos(x+\frac{h}{2})= [/math]
[math] =\lim_{h \to 0}\frac{\sin(\frac{h}{2})}{\frac{h}{2}}\cdot \lim_{h \to 0} \cos(x+\frac{h}{2}) =\cos x [/math]

Twierdzenie

[math](\cos\,x)'=-\sin\,x.[/math]

Dowód

[math] (\cos x)'=\lim_{h \to 0}\frac{\cos(x+h)-\cos x}{h} = \lim_{h \to 0}\frac{-2}{h}\cdot \sin(\frac{h}{2})\cdot \sin(x+\frac{h}{2})= [/math]

[math] =-\lim_{h \to 0}\frac{\sin(\frac{h}{2})}{\frac{h}{2}}\cdot \lim_{h \to 0} \sin(x+\frac{h}{2}) =\sin x [/math]

Twierdzenie

[math] (\tg x)'=\frac{1}{\cos^2 x}. [/math]

Dowód

[math] (\tg x)'=\left( \frac{\sin x}{\cos x}\right)' = \frac{(\sin x)' \cos x - (\cos x)'\sin x}{\cos^2 x} =\frac{\cos^2 x + \sin^2 x}{\cos^2 x} = \frac{1}{\cos^2 x}. [/math]

Twierdzenie

[math](\ln x)' = \frac{1}{x} \;\;\;\mbox{i ogolniej}\;\;(\log_a x)'=\frac{1}{x\ln a}\;[/math].

Dowód

[math] (\ln x)'=\lim_{h \to 0} \frac{\ln(x+h)-\ln x}{h} =\lim_{h \to 0}\, \frac{1}{h}\ln( 1+\frac{h}{x}) =\lim_{h \to 0} \, \frac{1}{x}\ln((1+\frac{h}{x})^{\frac{x}{h}}). [/math]

Podstawmy teraz [math]y=\frac{h}{x}\;[/math]. Ponieważ [math]\lim_{h \to 0} y=0\;[/math], to

[math] \lim_{h \to 0} \frac{\ln(x+h)-\ln x}{h} = \lim_{h \to 0} \, \frac{1}{x}\ln\left[\left(1+\frac{h}{x}\right)^\frac{x}{h}\right] =\frac{1}{x}\lim_{y \to 0}\ln(1+y)^\frac{1}{y}. [/math]

Mamy: [math]\lim_{y \to 0} (1+y)^\frac{1}{y}=e.\;[/math] Pamiętając, że logarytm jest funkcją ciągłą wszędzie w dziedzinie, a w szczególności dla wartości argumentu równej [math]e\;[/math], mamy

[math] \lim_{y \to 0}\ln(1+y)^\frac{1}{y} = \ln\lim_{y \to 0}(1+y)^\frac{1}{y} = \ln e =1, [/math]

zatem

[math] (\ln x)'=\frac{1}{x}. [/math]

Drugą część twierdzenia otrzymamy z własności logarytmu:

[math] (\log_a x)'=\left( \frac{\ln x}{\ln a}\right)' = \frac{1}{\ln a} (\ln x)'=\frac{1}{x\ln a}. [/math]