01MAA3:Kapitola13: Porovnání verzí

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
m (Drobná úprava.)
Řádka 66: Řádka 66:
  
 
\begin{remark}
 
\begin{remark}
Matici druhé derivace jakotžto matici kvadratické formy nazýváme {\bf Hessovou maticí} a její determinant {\bf Hesiánem}. Pro Hessovu matici platí polarizační identity a další vlastnosti kvadratických forem. Navíc $f''(x_0)\sim\J\!(\grad f(x_0))$ ($\sim$ značí ekvivalenci matic).
+
Matici druhé derivace jakožto matici kvadratické formy nazýváme {\bf Hessovou maticí} a její determinant {\bf Hesiánem}. Pro Hessovu matici platí polarizační identity a další vlastnosti kvadratických forem. Navíc $f''(x_0)\sim\J\!(\grad f(x_0))$ ($\sim$ značí ekvivalenci matic).
 
\end{remark}
 
\end{remark}
 
   
 
   

Verze z 19. 1. 2014, 00:47

PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly [ znovu generovat, výstup z překladu ] Přeložení pouze této kaptioly.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 01MAA3

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 01MAA3Nguyebin 24. 1. 201413:09
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůAdmin 7. 9. 201513:46
Header editovatHlavičkový souborNguyebin 24. 1. 201412:36 header.tex
Kapitola0 editovatZnačeníKlinkjak 9. 9. 201508:50 preamble.tex
Kapitola1 editovatFunkční posloupnostiKubuondr 21. 1. 201716:45 kapitola1.tex
Kapitola2 editovatFunkční řadyDedicma2 21. 2. 201623:42 kapitola2.tex
Kapitola4 editovatTrigonometrické řadyPeckaja1 11. 2. 201613:14 kapitola4.tex
Kapitola5 editovatMetrikaKubuondr 22. 1. 201717:32 kapitola5.tex
Kapitola6 editovatTopologieKubuondr 3. 2. 201721:08 kapitola6.tex
Kapitola7 editovatSpojitostKubuondr 22. 1. 201718:14 kapitola7.tex
Kapitola8 editovatKompaktní prostoryKubuondr 8. 2. 201721:51 kapitola8.tex
Kapitola9 editovatSouvislé prostoryKubuondr 23. 1. 201710:28 kapitola9.tex
Kapitola10 editovatÚplné prostoryKubuondr 23. 1. 201711:08 kapitola10.tex
Kapitola11 editovatAfinní prostoryKubuondr 23. 1. 201712:43 kapitola11.tex
Kapitola12 editovatTotální derivaceKubuondr 7. 10. 201717:50 kapitola12.tex
Kapitola13 editovatDerivace vyšších řádůKubuondr 20. 1. 201709:50 kapitola13.tex
Kapitola14 editovatLokální extrémyKlinkjak 9. 9. 201513:31 kapitola14.tex

Zdrojový kód

%\wikiskriptum{01MAA3}
\section{Derivace vyšších řádů}
 
\index{dvakrát diferencovatelné zobrazení}
\begin{define}
Buď $f:X\mapsto Y$ diferencovatelné v~každém bodě definičního
oboru. Nechť $f'$ je diferencovatelné v~$x_0$. Potom řekneme, že
zobrazení $f$ je v~$x_0$ dvakrát diferencovatelné (má v~$x_0$ derivaci
2. řádu).
\end{define}
 
\index{druhá derivace}
\begin{define}
Existuje-li $(f')'(x_0)$, potom 2. derivací $f''(x_0)$ rozumíme prvek
$\L_2(\VEC X,\VEC X;\VEC Y)$, tedy $f''(x_0)(\vec h,\vec
k)=\left((f')(x_0)\vec h\right)'\vec k=\left((f')'(x_0)\vec k\right)\vec h$.
\end{define}
 
\begin{theorem}
Nechť existuje $f''(x_0)$. Pak v~$x_0$ existuje derivace 2. řádu
v~libovolných dvou směrech a platí
\[f_{\vec v\vec w}(x_0)=\frac{\pd^2}{\pd w\pd v}f(x_0)=
f''(x_0)(\vec w,\vec v)=
\left(f'(x_0)\vec v\right)'(x_0)\vec w\]
\end{theorem}
 
\begin{theorem}
Druhá derivace je symetrické bilineární zobrazení.
\[f''(x_0)(\vec h,\vec k)=f''(x_0)(\vec k,\vec h)\]
\begin{proof}[Důkaz provedeme pro $f:X \mapsto \R$] Zvolíme libovolně nenulové volné vektory $\vec h, \vec k$. Uvažujme kouli $B(x_0,r)$, kde je derivace $f'$ omezená (z definice druhé derivace musí ta první v té kouli existovat). Vezmeme-li $\delta(\|\vec h\|+ \|\vec k\|)<r$, pak pro $|t|<\delta$ platí, že body $x_0, (x_0+t\vec h),  (x_0+t\vec k),(x_0+t(\vec h+\vec k))$  leží v kouli $B$. Pro $\vec \xi$, který leží na úsečce $ \vec \xi\in\left[ \vec o,\vec h\right] $ lze definovat
\[
g(\vec \xi)=f(x_0+t(\vec\xi+\vec k))-f(x_0+t\vec\xi)
\]
\[
\begin{split}
F(t)&=f(x_0+t(\vec h+\vec k))-f(x_0+t\vec h)-f(x_0+t\vec k)+f(x_0)=
g(\vec h)-g(\vec o)=g'(\vec \xi)\vec h=\\
&=t(f'(x_0+t(\vec\xi+\vec k))-f'(x_0+t\vec\xi))\vec h.
\end{split}
\]
Protože
\[
f'(x)=f'(x_0)+(f')'(x_0)(x-x_0)+\omega(x)\norm{x-x_0},
\]
platí
\[
F(t)=t\left((f')'(x_0)t\vec k+\omega(x_0+t(\vec\xi+\vec k))
\norm{t(\vec\xi+\vec k)}-\omega(x_0+t\vec\xi)\norm{t\vec\xi}\right)\vec h.
\]
(členy $f'(x_0)$ a $f'(t\vec\xi)$ se odečtou)
\[
\frac{F(t)}{t^2}=\left((f')'(x_0)\vec k\right)\vec h+\nu(t),
\]
kde
\[
\lim_{t\to 0}\nu(t)=0.
\]
Protože $F(t)$ je symetrické v~$\vec k$ a $\vec h$, analogickými
úpravami lze dospět ke vztahu
\[
\frac{F(t)}{t^2}=\left((f')'(x_0)\vec h\right)\vec k+\eta(t),
\]
takže 2. derivace je symetrická.
\end{proof}
\end{theorem}
 
\begin{remark}
Matici druhé derivace jakožto matici kvadratické formy nazýváme {\bf Hessovou maticí} a její determinant {\bf Hesiánem}. Pro Hessovu matici platí polarizační identity a další vlastnosti kvadratických forem. Navíc $f''(x_0)\sim\J\!(\grad f(x_0))$ ($\sim$ značí ekvivalenci matic).
\end{remark}
 
\begin{theorem}
Jestliže v~bodě $x_0$ má zobrazení $f$ spojitou derivaci $f_{\vec
v\vec w}(x_0)$ a existuje $f_{\vec w\vec v}(x_0)$, pak jsou záměnné.
\end{theorem}
 
\begin{remark}
Derivace m-tého řádu je symetrický tenzor m-tého řádu, tj.:
\[
f^{(m)}(x_0)\left(\vec{h_1},\dots,\vec{h_m}\right)=
\sum_{i_1,\dots,i_m=1}^n f_{i_1\dots i_m}(x_0)\,h_1^{i_1}\dots h_m^{i_m}
\]
Směrové derivace m-tého řádu nezávisí na pořadí derivování, pokud je zobrazení v daném bodě m-krát diferencovatelné.
\end{remark}
% skripta str. 75. opravit
\begin{theorem}
Buď $f:X\mapsto Y$ zobrazení, nechť existuje $f^{(m)}(x_0)$. Potom
existuje okolí $\H_{x_0}$ a zobrazení $\omega:\H_{x_0}\mapsto Y$
takové, že pro každé $x\in\H_{x_0}$ platí
\[
f(x)=\sum_{i=0}^m\frac{1}{i!}f^{(i)}(x_0)\vec h^i+
\omega(x)\norm{\vec h}^m,
\]
kde $\vec h=x-x_0$ a $\lim_{x\to x_0}\omega(x)=0$ a
\[L(\underbrace{\vec h,\dots,\vec h}_{r\text{-krát}})=L\vec h^r.\]
\begin{proof} Větu dokážeme pro $Y \subset \R$. Důkaz lze provést indukcí. Řekněme, že $m=1$ a to věta  platí neboť platí klasická věta o "přírůstku". Předpokládejme tedy platnost pro $m$ a nyní je naše zobrazení $m+1$-krát diferencovatelné v bodě $x_0$. 
Zavedeme pomocnou funkci
\[
g(\vec h)=f(x_0+\vec h)-\sum_{i=0}^{m+1}\frac{1}{i!}f^{(i)}(x_0)\vec h^i
\]
a budeme chtít ukázat, že platí existuje zbytek $\mu$ tak že platí $\lim_{x\to x_0}\mu(x)=0$ a
\[
g(\vec h)=\mu(x)\norm{\vec h}^{m+1}
\]
neboť potom bude platné tvrzení věty.
Uvědomíme-li si, že $g$ má derivaci rovnou 
\[
g'(\vec\xi)=f'(x_0+\vec\xi)-\sum_{i=1}^{m+1}\frac{1}{(i-1)!}f^{(i)}(x_0)\vec\xi^{i-1}=f'(x_0+\vec\xi)-\sum_{i=0}^m\frac{1}{i!}(f')^{(i)}(x_0)\vec\xi^{i}
\]
na nějakém okolí. Podle indukčního předpokladu nyní existuje zbytek $\omega(x)$
\[
f'(x_0+\vec\xi)=\sum_{i=0}^m\frac{1}{i!}(f')^{(i)}(x_0)\vec\xi^{i}+\omega(x_0+\vec\xi)\norm{\vec\xi}^m
\]
Tedy že platí 
\[
g'(\vec\xi)=\omega(x_0+\vec\xi)\norm{\vec\xi}^m
\]
Pak tedy platí (druhé rovnítko umíme zatím ukázat jen v případě, že~$Y \subset \R$)
\[
g(\vec h)=g(\vec h)-g(\vec o)=g'(\vec\xi)\vec h=\omega(x_0+\vec\xi)\norm{\vec\xi}^m\vec h \leq \mu(x)\norm{\vec h}^{m+1},
\]
kde
\[\lim_{x\to x_0}\mu(x)=0\]
což nám dostačuje.
\end{proof}
\end{theorem}
 
\begin{theorem}[Taylor]
Buď $f:X\mapsto\R$ spojitá na úsečce $\left[ x_0,x\right] $ a diferencovatelná do řádu m+1
na $(x_0,x)$. Pak existuje $\xi\in(x_0,x)$ takové, že platí:
\[
f(x)=\sum_{i=0}^m\frac{1}{i!}f^{(i)}(x_0)(x-x_0)^i+
\frac{f^{(m+1)}(\xi)}{(m+1)!}(x-x_0)^{m+1}.
\]
\begin{proof}
Definujme funkci
\[
\phi(t)=f(x_0+t(x-x_0)).
\]
Pak
\[
\phi'(t)=f'(x_0+t(x-x_0))(x-x_0),\quad
\phi'(0)=f'(x_0)(x-x_0),
\]
\[
\phi''(0)=f''(x_0)(x-x_0)^2,\quad
\phi^{(i)}(0)=f^{(i)}(x_0)(x-x_0)^i.
\]
$\phi(t)$ je zobrazení $\R\mapsto\R$, lze tedy uplatnit klasickou
verzi Taylorovy věty:
\[
\phi(1)=\sum_{i=0}^m\frac{1}{i!}\phi^{(i)}(0)+\frac{\phi^{(m+1)}(\vartheta)}{(m+1)!}.
\]
\end{proof}
\end{theorem}