Trocha teorie

1. užitečná věta

Je-li funkce f diferencovatelná v bodě [Maple Math] , pak je v tomto bodě spojitá.

Důkaz neuvedu, ale raději na konkrétním příkladě ukážu, že obrácená implikace neplatí. Je-li tedy funkce v daném bodě spojitá, nemusí být v tomto bodě diferencovatelná, což je třeba případ funkce [Maple Math] v bodě [Maple Math] .

Zkusíme tedy vypočítat čemu se rovná [Maple Math] v počátku. Výsledek je:

[Maple Math]

Dostali jsme tedy funkci [Maple Math] (ve smyslu definice z předchozí kapitoly), vydělíme ji výrazem [Maple Math] a hned nás napadne, že pro [Maple Math] a [Maple Math] jdoucí k [Maple Math] se limita výsledného výrazu bude rovnat jedné, tudíž funkce není diferencovatelná. Pro ilustraci nakreslíme ještěte graf:

[Maple Plot]

Na první pohled je vidět, že v počátku nebudou existovat parciální derivace. O vztahu mezi existencí diferenciálu a existencí paciálních derivací se dozvíme v následující větě.

2. užitečná věta

Je-li funkce f diferencovatelná v bodě [Maple Math] , pak má v tomto bodě parciální derivace a platí [Maple Math] a [Maple Math] , takže budeme psát [Maple Math] .
Místo důkazu opět příklad toho, že obrácená implikace neplatí: mějme funkci definovanou předpisem [Maple Math] všude kromě počátku, kde ji dodefinujeme 0.   Obě parciální derivace existují a jsou rovny nule. K tomu, aby byla tato funkce diferencovatelná v bodě [Maple Math] , musí podle definice platit: [Maple Math]

V našem případě vypadá výraz, který máme limitovat, následovně:

[Maple Math]

Převedeme jej do polárníh souřadnic a zjistíme, že

[Maple Math] .

Jelikož výsledek závisí na [Maple Math] , tak daná limita neexistuje, a proto není f v bodě [Maple Math] diferencovatelná. Jak to vypadá na grafech uvidíme níž.

pom19.gif (16764 bytes)
[Maple Plot]

 

3. užitečná věta

Má-li funkce f v bodě [Maple Math] spojité parciální derivace 1. řádu, pak má v tomto bodě také diferenciál.

Geometrický význam totálního diferenciálu

Řekneme, že rovina v [Maple Math] je tečnou rovinou ke grafu funkce [Maple Math] v bodě dotyku [Maple Math] , jestliže platí

[Maple Math].

Tato rovina musí pochopitelně procházet bodem [Maple Math] , což znamená, že [Maple Math] a tedy tečná rovina má rovnici [Maple Math] . Koeficienty [Maple Math] , [Maple Math] přesně odpovídají těm z "2. užitečné věty". Tečnou rovinu tedy můžeme najít jenom v případě, že má funkce v bodě [Maple Math] diferenciál. Odtud je také vidět, že diferenciál funkce v daném bode je "přírůstek na tečné rovině". Funkce [Maple Math] určuje rozdíl mezi skutečným přírůstkem funkce a přírůstkem na tečně. Toho se dá využít například v numerických výpočtech. Tečná rovina je nejlepší lineární aproximace funkce v okolí daného bodu.

Mějme část sféry se středem v počátku a poloměrem 10. Bodem [5, 5, 5*sqrt(2)] prochází nespočetně mnoho rovin, ale tečna je jen jedna...

pom115.gif (301947 bytes)

Předchozí | Další