Pochodna kierunkowa: Różnice pomiędzy wersjami

Niech dana będzie [[przestrzeń euklidesowa]] <math>\mathbb R^n</math> i leżący w niej [[zbiór otwarty|podzbiór otwarty]] <math>U.</math> Funkcja <math>\mathrm f\colon U \to \mathbb R^m</math> ma '''pochodną kierunkową''' wzdłuż wektora ([[wektor jednostkowy|jednostkowego]]) <math>\mathbf u \in \mathbb R^n</math> w punkcie <math>\mathrm x \in U,</math> jeżeli istnieje i jest skończona [[granica funkcji|granica]]

: <math>\frac{\partial \mathrm f(\mathrm x)}{\partial \mathbf u} = \lim_{t \to 0}\frac{\mathrm f(\mathrm x + t\mathbf u) - \mathrm f(\mathrm x)}{t},</math>

Jeżeli <math>\mathrm f</math> jest [[pochodna|różniczkowalna]] w <math>\mathrm x,</math> to istnieje jej [[pochodna Frécheta#Przypadek skończeniewymiarowy|pochodna]] <math>\operatorname D\mathrm fDf(\mathrm x)</math> w tym punkcie i wtedy

: <math>\frac{\partial \mathrm f(\mathrm x)}{\partial \mathbf u} = \operatorname D\mathrm fDf(\mathrm x)(\mathbf u).</math>

: <math>\nabla \mathrm f(\mathrm x) \cdot \mathbf u = (\mathbf u \cdot \nabla) f(\mathrm x) \overset\underset\mathrm{ozn}\ = \nabla_\mathbf u \mathrm f(\mathrm x),</math>

: <math>\frac{\partial \mathrm f}{\partial \mathbf v}(\mathrm x) = \lim_{t \to 0^+} \frac{\mathrm f(\mathrm x + t\mathbf v) - \mathrm f(\mathrm x)}{t|\mathbf v|},</math>

lub w przypadku, gdy <math>\mathrm f</math> jest różniczkowalna w <math>\mathrm x,</math>

: <math>\frac{\partial \mathrm f}{\partial \mathbf v}(\mathrm x) = \operatorname D\mathrm fDf(\mathrm x)\left(\tfrac{\mathbf v}{|\mathbf v|}\right).</math>

: <math>\tfrac{\partial \mathrm f}{\partial \mathbf u}(\mathrm x),\; \operatorname D_\mathbf u \mathrm f(\mathrm x),\; \mathrm f'_\mathbf u(\mathrm x),\; \nabla_\mathbf u \mathrm f(\mathrm x),\; \mathbf u \nabla \mathrm f(\mathrm x).</math>

Pochodna kierunkowa ma wiele znanych własności zwykłej [[pochodna|pochodnej]]. Wśród nich, dla funkcji <math>\mathrm f</math> i <math>\mathrm g</math> określonych w [[otoczenie (matematyka)|otoczeniu]] <math>p,</math> w którym są również [[pochodna zupełna|różniczkowalne]]:

* reguła sumy: <math>\nabla_\mathbf v (\mathrm f + \mathrm g) = \nabla_\mathbf v \mathrm f + \nabla_\mathbf v \mathrm g;</math>

* reguła stałej: dla dowolnej stałej <math>c</math> zachodzi <math>\nabla_\mathbf v (c\mathrm fcf) = c\nabla_\mathbf v \mathrm f;</math>

* [[reguła Leibniza|reguła iloczynu]] (lub Leibniza): <math>\nabla_\mathbf v(\mathrm{fg}) = \mathrm g\nabla_\mathbf v \mathrm f + \mathrm f\nabla_\mathbf v \mathrm g;</math>

* [[reguła łańcuchowa]]: jeśli <math>\mathrm g</math> jest różniczkowalna w <math>\mathrm p,</math> zaś <math>\mathrm h</math> jest różniczkowalna w <math>\mathrm g(\mathrm p),</math> to

*: <math>\nabla_\mathbf v (\mathrm h \circ \mathrm g)(\mathrm p) = \nabla \mathrm h\bigl(\mathrm g(\mathrm p)\bigr) \nabla_\mathbf v \mathrm g(\mathrm p)</math>

=== Przestrzenie liniowewspółrzędnych ===

Jeśli <math>(\mathbf e_1, \dots, \mathbf e_n)</math> jest [[baza (przestrzeń liniowa)|bazą]] [[baza standardowa|standardową]] przestrzeni <math>\mathbb R^n,</math> to dla <math>\mathbf u = \mathbf e_i</math> pochodna kierunkowa funkcji <math>\mathrm f\colon \mathbb R^n \to \mathbb R^m</math> pokrywa się z pojęciem ''pochodnej cząstkowej''. Dla funkcji <math>\mathrm f</math> przyjmuje się zwykle oznaczenie

: <math>\frac{\partial \mathrm f(\mathrm x)}{\partial \mathbf e_i} \overset\underset\mathrm{ozn}\ = \frac{\partial \mathrm f(\mathrm x)}{\partial x_i},</math>