Totální diferenciál

Totální diferenciál je v matematice diferenciál aplikovaný na funkci několika proměnných. Vyjadřuje závislost změny hodnoty funkce několika proměnných na malé změně jedné nebo více proměnných směrem od daného bodu. Tuto závislost aproximuje jako lineární funkci. Chyba této aproximace při malé změně proměnných musí být velmi malá (ve smyslu definice), jinak totální diferenciál neexistuje. Zkoumaná funkce tedy musí být dostatečně hladká. Jestliže totální diferenciál v daném bodě existuje, tak funkce v daném bodě má totální diferenciál nebo že je v daném bodě diferencovatelná.

Pokud v bodě $x=(x_1,\dots <!--\; \dots \; -->,x_n)$ existuje totální diferenciál funkce n proměnných $y=f(x_1,\dots <!--\; \dots \; -->,x_n)=f\left(x\right)$, pak je to lineární funkce

$dy=\frac{\mathrm{\partial <!--\; \partial \; -->}y}{\mathrm{\partial <!--\; \partial \; -->}{x}_1}d{x}_1+\cdots <!--\; \cdots \; -->+\frac{\mathrm{\partial <!--\; \partial \; -->}y}{\mathrm{\partial <!--\; \partial \; -->}{x}_n}d{x}_n=\mathrm{\nabla <!--\; \nabla \; -->}f\left(x\right)\cdot <!--\; \cdot \; -->dx$,

kde

$\frac{\mathrm{\partial <!--\; \partial \; -->}y}{\mathrm{\partial <!--\; \partial \; -->}{x}_i}$ je parciální derivace funkce $f$ podle $x_i$ v bodě $x$,

$\mathrm{\nabla <!--\; \nabla \; -->}f\left(x\right)=\left(\frac{\mathrm{\partial <!--\; \partial \; -->}y}{\mathrm{\partial <!--\; \partial \; -->}{x}_1},\dots <!--\; \dots \; -->,\frac{\mathrm{\partial <!--\; \partial \; -->}y}{\mathrm{\partial <!--\; \partial \; -->}{x}_n}\right)$ je gradient funkce $f$ v bodě $x$,

$dx=(d{x}_1,\dots <!--\; \dots \; -->,d{x}_n)$ je vektor změn jednotlivých nezávislých proměnných

a symbol $\cdot <!--\; \cdot \; -->$ značí skalární součin.

Definice

Nechť $f\left(x\right)$ je funkce n reálných proměnných definovaná na jistém okolí bodu $x$. Totálním diferenciálem funkce $f\left(x\right)$ v bodě $x$ nazýváme lineární funkci $d{f}_x\left(dx\right)$, s níž lze funkci $f$ v okolí bodu $x$ aproximovat jako

$f(x+dx)=f\left(x\right)+d{f}_x\left(dx\right)+{\mathrm{\epsilon <!--\; \epsilon \; -->}}_x\left(dx\right)$

tak, že pro chybu aproximace ${\mathrm{\epsilon <!--\; \epsilon \; -->}}_x\left(dx\right)$ platí

$\underset{dx\to <!--\; \to \; -->0}{lim}\frac{{\mathrm{\epsilon <!--\; \epsilon \; -->}}_x\left(dx\right)}{\Vert <!--\; \Vert \; -->dx\Vert <!--\; \Vert \; -->}=0$.

Jestliže taková lineární funkce existuje, pak má tvar

$d{f}_x\left(dx\right)=\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}{x}_i}\left(x\right)d{x}_i$

a říkáme, že funkce $f\left(x\right)$ má v bodě $x$ totální diferenciál neboli že je v bodě $x$ diferencovatelná.

Podmínky a důsledky diferencovatelnosti

• Jestliže má funkce $f\left(x\right)$ na jistém okolí bodu $x$ spojité všechny parciální derivace, pak má v bodě $x$ totální diferenciál.
• Jestliže má funkce $f\left(x\right)$ v bodě $x$ totální diferenciál, pak je v bodě $x$ spojitá a má v něm směrovou derivaci v každém směru.

Geometrický význam

• Pro názornou interpretaci geometrického významu totálního diferenciálu budeme uvažovat 2D funkci $f\left(\stackrel{\to <!--\; \to \; -->}{x}\right)=\sqrt{27-<!--\; -\; -->x^2-<!--\; -\; -->y^2}$ a bod, ve kterém budem zkoumat existenci totálního diferenciálu $\stackrel{\to <!--\; \to \; -->}{a}=(1,1)$.
• Jelikož tato funkce splňuje podmínky existence totálního diferenciálu, musí platit $f\left(\stackrel{\to <!--\; \to \; -->}{x}\right)-<!--\; -\; -->f\left(\stackrel{\to <!--\; \to \; -->}{a}\right)=\underset{i=1}{\overset{r}{\sum <!--\; \sum \; -->}}{\mathrm{\alpha <!--\; \alpha \; -->}}_i(x_i-<!--\; -\; -->a_i)+\mathrm{\nu <!--\; \nu \; -->}(\stackrel{\to <!--\; \to \; -->}{x}-<!--\; -\; -->\stackrel{\to <!--\; \to \; -->}{a})$.
• Abychom si znázornili totální diferenciál, vypustíme zbytkovou funkci $\mathrm{\nu <!--\; \nu \; -->}(\stackrel{\to <!--\; \to \; -->}{x}-<!--\; -\; -->\stackrel{\to <!--\; \to \; -->}{a})$
• ${\mathrm{\alpha <!--\; \alpha \; -->}}_1=\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}x}\left(\stackrel{\to <!--\; \to \; -->}{a}\right)=-<!--\; -\; -->\frac{x}{\sqrt{27-<!--\; -\; -->x^2-<!--\; -\; -->y^2}}(1,1)=-<!--\; -\; -->\frac{1}{5}$, ${\mathrm{\alpha <!--\; \alpha \; -->}}_2=\frac{\mathrm{\partial <!--\; \partial \; -->}f}{\mathrm{\partial <!--\; \partial \; -->}y}\left(\stackrel{\to <!--\; \to \; -->}{a}\right)=-<!--\; -\; -->\frac{y}{\sqrt{27-<!--\; -\; -->x^2-<!--\; -\; -->y^2}}(1,1)=-<!--\; -\; -->\frac{1}{5}$, $f\left(\stackrel{\to <!--\; \to \; -->}{a}\right)=5$
• Po dosazení za neznámé do rovnice a přeznačení $f\left(\stackrel{\to <!--\; \to \; -->}{x}\right)$ na $z$ dostaneme $$ $z-<!--\; -\; -->5=-<!--\; -\; -->\frac{1}{5}(x-<!--\; -\; -->1)-<!--\; -\; -->\frac{1}{5}(y-<!--\; -\; -->1)\sim <!--\; \sim \; -->z=\frac{27}{5}-<!--\; -\; -->\frac{x}{5}-<!--\; -\; -->\frac{y}{5}$
• Nyní se podívejme na grafy funkcí $f\left(\stackrel{\to <!--\; \to \; -->}{x}\right)$ a $z\left(\stackrel{\to <!--\; \to \; -->}{x}\right)$

• Z grafu je vidět že geometrický význam totálního diferenciálu je rovina tečná k funkci $f\left(\stackrel{\to <!--\; \to \; -->}{x}\right)$ v bodě $\stackrel{\to <!--\; \to \; -->}{a}$
• Pro funkci jedné proměnné představuje totální diferenciál tečnou přímku.

Literatura

• Krbálek, Milan. Matematická analýza IV. 3., přeprac. vyd. V Praze: České vysoké učení technické, 2009, 252 s. ISBN 978-80-01-04315-8.