\[\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\C}{\mathbb C}
\newcommand{\ba}{\mathbf{a}}
\newcommand{\bb}{\mathbf{b}}
\newcommand{\bc}{\mathbf{c}}
\newcommand{\bd}{\mathbf{d}}
\newcommand{\be}{\mathbf{e}}
\newcommand{\bff}{\mathbf{f}}
\newcommand{\bh}{\mathbf{h}}
\newcommand{\bi}{\mathbf{i}}
\newcommand{\bj}{\mathbf{j}}
\newcommand{\bk}{\mathbf{k}}
\newcommand{\bN}{\mathbf{N}}
\newcommand{\bn}{\mathbf{n}}
\newcommand{\bo}{\mathbf{0}}
\newcommand{\bp}{\mathbf{p}}
\newcommand{\bq}{\mathbf{q}}
\newcommand{\br}{\mathbf{r}}
\newcommand{\bs}{\mathbf{s}}
\newcommand{\bT}{\mathbf{T}}
\newcommand{\bu}{\mathbf{u}}
\newcommand{\bv}{\mathbf{v}}
\newcommand{\bw}{\mathbf{w}}
\newcommand{\bx}{\mathbf{x}}
\newcommand{\by}{\mathbf{y}}
\newcommand{\bz}{\mathbf{z}}
\newcommand{\bzero}{\mathbf{0}}
\newcommand{\nv}{\mathbf{0}}
\newcommand{\cA}{\mathcal{A}}
\newcommand{\cB}{\mathcal{B}}
\newcommand{\cC}{\mathcal{C}}
\newcommand{\cD}{\mathcal{D}}
\newcommand{\cE}{\mathcal{E}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\cG}{\mathcal{G}}
\newcommand{\cH}{\mathcal{H}}
\newcommand{\cI}{\mathcal{I}}
\newcommand{\cJ}{\mathcal{J}}
\newcommand{\cK}{\mathcal{K}}
\newcommand{\cL}{\mathcal{L}}
\newcommand{\cM}{\mathcal{M}}
\newcommand{\cN}{\mathcal{N}}
\newcommand{\cO}{\mathcal{O}}
\newcommand{\cP}{\mathcal{P}}
\newcommand{\cQ}{\mathcal{Q}}
\newcommand{\cR}{\mathcal{R}}
\newcommand{\cS}{\mathcal{S}}
\newcommand{\cT}{\mathcal{T}}
\newcommand{\cU}{\mathcal{U}}
\newcommand{\cV}{\mathcal{V}}
\newcommand{\cW}{\mathcal{W}}
\newcommand{\cX}{\mathcal{X}}
\newcommand{\cY}{\mathcal{Y}}
\newcommand{\cZ}{\mathcal{Z}}
\newcommand{\rA}{\mathrm{A}}
\newcommand{\rB}{\mathrm{B}}
\newcommand{\rC}{\mathrm{C}}
\newcommand{\rD}{\mathrm{D}}
\newcommand{\rE}{\mathrm{E}}
\newcommand{\rF}{\mathrm{F}}
\newcommand{\rG}{\mathrm{G}}
\newcommand{\rH}{\mathrm{H}}
\newcommand{\rI}{\mathrm{I}}
\newcommand{\rJ}{\mathrm{J}}
\newcommand{\rK}{\mathrm{K}}
\newcommand{\rL}{\mathrm{L}}
\newcommand{\rM}{\mathrm{M}}
\newcommand{\rN}{\mathrm{N}}
\newcommand{\rO}{\mathrm{O}}
\newcommand{\rP}{\mathrm{P}}
\newcommand{\rQ}{\mathrm{Q}}
\newcommand{\rR}{\mathrm{R}}
\newcommand{\rS}{\mathrm{S}}
\newcommand{\rT}{\mathrm{T}}
\newcommand{\rU}{\mathrm{U}}
\newcommand{\rV}{\mathrm{V}}
\newcommand{\rW}{\mathrm{W}}
\newcommand{\rX}{\mathrm{X}}
\newcommand{\rY}{\mathrm{Y}}
\newcommand{\rZ}{\mathrm{Z}}
\newcommand{\pv}{\overline}
\newcommand{\iu}{\mathrm{i}}
\newcommand{\ju}{\mathrm{j}}
\newcommand{\im}{\mathrm{i}}
\newcommand{\e}{\mathrm{e}}
\newcommand{\real}{\operatorname{Re}}
\newcommand{\imag}{\operatorname{Im}}
\newcommand{\Arg}{\operatorname{Arg}}
\newcommand{\Ln}{\operatorname{Ln}}
\DeclareMathOperator*{\res}{res}
\newcommand{\re}{\operatorname{Re}}
\newcommand{\im}{\operatorname{Im}}
\newcommand{\arsinh}{\operatorname{ar\,sinh}}
\newcommand{\arcosh}{\operatorname{ar\,cosh}}
\newcommand{\artanh}{\operatorname{ar\,tanh}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\diag}{\operatorname{diag}}
\newcommand{\proj}{\operatorname{proj}}
\newcommand{\rref}{\operatorname{rref}}
\newcommand{\rank}{\operatorname{rank}}
\newcommand{\Span}{\operatorname{span}}
\newcommand{\vir}{\operatorname{span}}
\renewcommand{\dim}{\operatorname{dim}}
\newcommand{\alg}{\operatorname{alg}}
\newcommand{\geom}{\operatorname{geom}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\norm}[1]{\lVert #1 \rVert}
\newcommand{\tp}[1]{#1^{\top}}
\renewcommand{\d}{\mathrm{d}}
\newcommand{\sij}[2]{\bigg/_{\mspace{-15mu}#1}^{\,#2}}
\newcommand{\abs}[1]{\lvert#1\rvert}
\newcommand{\pysty}[1]{\left[\begin{array}{@{}r@{}}#1\end{array}\right]}
\newcommand{\piste}{\cdot}
\newcommand{\qedhere}{}
\newcommand{\taumatrix}[1]{\left[\!\!#1\!\!\right]}
\newenvironment{augmatrix}[1]{\left[\begin{array}{#1}}{\end{array}\right]}
\newenvironment{vaugmatrix}[1]{\left|\begin{array}{#1}}{\end{array}\right|}
\newcommand{\trans}{\mathrm{T}}
\newcommand{\EUR}{\text{\unicode{0x20AC}}}
\newcommand{\SI}[3][]{#2\,\mathrm{#3}}
\newcommand{\si}[2][]{\mathrm{#2}}
\newcommand{\num}[2][]{#2}
\newcommand{\ang}[2][]{#2^{\circ}}
\newcommand{\meter}{m}
\newcommand{\metre}{\meter}
\newcommand{\kilo}{k}
\newcommand{\kilogram}{kg}
\newcommand{\gram}{g}
\newcommand{\squared}{^2}
\newcommand{\cubed}{^3}
\newcommand{\minute}{min}
\newcommand{\hour}{h}
\newcommand{\second}{s}
\newcommand{\degreeCelsius}{^{\circ}C}
\newcommand{\per}{/}
\newcommand{\centi}{c}
\newcommand{\milli}{m}
\newcommand{\deci}{d}
\newcommand{\percent}{\%}
\newcommand{\Var}{\operatorname{Var}}
\newcommand{\Cov}{\operatorname{Cov}}
\newcommand{\Corr}{\operatorname{Corr}}
\newcommand{\Tasd}{\operatorname{Tasd}}
\newcommand{\Ber}{\operatorname{Ber}}
\newcommand{\Bin}{\operatorname{Bin}}
\newcommand{\Geom}{\operatorname{Geom}}
\newcommand{\Poi}{\operatorname{Poi}}
\newcommand{\Hyperg}{\operatorname{Hyperg}}
\newcommand{\Tas}{\operatorname{Tas}}
\newcommand{\Exp}{\operatorname{Exp}}
\newcommand{\tdist}{\operatorname{t}}
\newcommand{\rd}{\mathrm{d}}\]
Lokaalit ääriarvot
Osittaisderivaatat liittyvät oleellisesti usean muuttujan funktion ääriarvoihin. Ennen usean muuttujan funktion lokaalin ääriarvon käsitteen määrittelyä on tarpeellista pohtia, mitä tässä tapauksessa tarkoittaa pisteen ympäristö. Siinä missä yhden muuttujan funktiolla tietyn pisteen \(a\) ympäristö oli avoin väli \((c,d)\), jossa pisteestä \(a\) voidaan edetä vain joko kohti pistettä \(c\) tai pistettä \(d\), kahden tai useamman muuttujan tapauksessa ympäristö levittäytyy useampaan suuntaan pisteestä \(\ba\) katsottuna. Pisteen \(\ba\) ympäristöllä tarkoitetaan yleisessä tapauksessa siis avointa palloa \(B(\ba,r)=\{\bx\in\R^n\ :\ \|\bx-\ba\|<r\}\), missä \(\ba\) on keskipiste ja \(r\) säde. Alueen reuna, joka on kolmiulotteisessa tapauksessa pallokuori, ei sisälly avoimeen palloon.
Kahden muuttujan tapauksessa määrittelyjoukko on tasoalue ja \(\ba\) on kaksiulotteinen piste \((a,b)\), jolloin varsinaisen pallon sijasta joukkona on \((a,b)\)-keskinen \(r\)-säteinen kiekko eli ympyräkäyrän sisäänsä sulkema alue (ilman, että itse reuna kuuluu alueeseen).
Esimerkki 7.4.2
Funktiolla \(f(x,y)=(\frac12-x^2+y^2)\exp(1-x^2-y^2)\) on kaksi lokaalia minimiä ja kaksi lokaalia maksimia.
Lause 7.4.3 (Välttämätön ehto lokaalille ääriarvolle)
Jos funktiolla \(f\colon\R^n\to\R\) on lokaali ääriarvopiste \(\ba\) ja funktiolla \(f\) on kaikki osittaisderivaatat pisteessä \(\ba\), niin kaikki \(f\):n osittaisderivaatat ovat nollia pisteessä \(\ba\) eli
\[\frac{\partial f}{\partial x_i}(\ba)=0\]
kaikilla \(i=1,\ldots,n\).
Piilota/näytä todistus
Todistetaan väite funktiolle \(f\colon\R^2\to\R\) (\(n\):n muuttujan tapaus vastaavasti). Oletetaan, että \((a,b)\in\R^2\) on funktion \(f\) lokaali maksimipiste ja että on olemassa \(\frac{\partial f}{\partial x}(a,b)\) sekä \(\frac{\partial f}{\partial y}(a,b)\). Tarkastellaan apufunktioita \(g(x) = f(x, b)\) ja \(h(y) = f(a,y)\), jotka ovat nyt yhden muuttujan funktioita. Aiemman huomautuksen perusteella
\[g'(a) = \frac{\partial f}{\partial x}(a,b)\]
ja
\[h'(b) = \frac{\partial f}{\partial y}(a,b)
.\]
Tällöin siis apufunktio \(g\) on derivoituva pisteessä \(a\) ja vastaavasti apufunktio \(h\) pisteessä \(b\). Lisäksi nämä pisteet ovat näiden apufunktioiden lokaalit maksimipisteet funktion \(f\) lokaalin maksimipisteen \((a,b)\) perusteella. Totea tämä määritelmien 7.4.1 ja 5.6.1 avulla. Tällöin yhden muuttujan funktioita koskevan lauseen 5.6.4 perusteella saadaan, että \(g'(a) = 0\) ja \(h'(b) = 0\). Siis
\[\frac{\partial f}{\partial x}(a,b) = \frac{\partial f}{\partial y}(a,b) = 0.\qedhere\]
Lokaalissa ääriarvopisteessä osittaisderivaatat ovat nollia. Nämä eivät kuitenkaan ole ainoita pisteitä, joissa kaikki osittaisderivaatat häviävät. Pistettä, jossa osittaisderivaatat ovat nollia, mutta joka ei ole lokaali ääriarvopiste, kutsutaan satulapisteeksi (saddle point).
Esimerkki 7.4.4
Seuraavien funktioiden osittaisderivaatat ovat nollia pisteessä \((0,0)\):
- Funktiolla \(f(x,y)=x^2+y^2\) on lokaali minimi pisteessä \((0,0)\).
- Funktiolla \(f(x,y)=1-x^2-y^2\) on lokaali maksimi pisteessä \((0,0)\).
- Funktiolle \(f(x,y)=x^2-y^2\) piste \((0,0)\) on satulapiste.
