En funktions hessematris, alt. hessian, är en kvadratisk matris innehållande funktionens alla partiella andraderivator.
Låt
vara en funktion med existerande andraderivator. Då kan funktionens partiella andraderivator ordnas i funktionens hessian enligt:
![{\displaystyle H(f)_{ij}(x)=D_{i}D_{j}f(x),\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af7506e9d3347c8ab7a035bac6bcc1cffdbab996)
där
och
är differentieringsoperatorn med avseende på det i:te argumentet, alltså
![{\displaystyle H(f)={\begin{pmatrix}{\frac {\partial ^{2}f}{\partial x_{1}^{2}}}&{\frac {\partial ^{2}f}{\partial x_{1}\,\partial x_{2}}}&\cdots &{\frac {\partial ^{2}f}{\partial x_{1}\,\partial x_{n}}}\\\\{\frac {\partial ^{2}f}{\partial x_{2}\,\partial x_{1}}}&{\frac {\partial ^{2}f}{\partial x_{2}^{2}}}&\cdots &{\frac {\partial ^{2}f}{\partial x_{2}\,\partial x_{n}}}\\\\\vdots &\vdots &\ddots &\vdots \\\\{\frac {\partial ^{2}f}{\partial x_{n}\,\partial x_{1}}}&{\frac {\partial ^{2}f}{\partial x_{n}\,\partial x_{2}}}&\cdots &{\frac {\partial ^{2}f}{\partial x_{n}^{2}}}\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a14a45ab5b0a9f9738100bfec062680c0bca4326)
Hessianer används främst inom optimering.
Symmetri
Om funktionen
har kontinuerliga andraderivator, gäller att [1]
![{\displaystyle f''_{jk}=f''_{kj}.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b099e1fed34ae70bcdf39e863bb940ee02e5a6f)
Om så är fallet kommer funktionens hessian att bli en symmetrisk matris.
Hessianer och taylorutvecklingar
Taylorutveckling av andra ordningen till en funktion med två variabler ser ut som följer:
Låt funktionen
vara en funktion med (åtminstone) kontinuerliga tredjederivator i den öppna mängden M, och antag att punkten (a, b) tillhör M. Då ser taylorutvecklingen kring denna punkt ut enligt följande:
![{\displaystyle f(a+h,b+k)=f(a,b)+f_{x}^{'}(a,b)h+f_{y}^{'}(a,b)k+{\frac {1}{2}}(f_{xx}^{''}(a,b)h^{2}+2f_{xy}^{''}(a,b)hk+f_{yy}^{''}(a,b)k^{2})+(h^{2}+k^{2})^{3/2}B(h,k),\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/818800c29ae6c07ffbd46d09cf40ca88b2a42b00)
där B(h, k) är en begränsad funktion i en omgivning av origo.
Vid funktionsstudier är den tredje termen
![{\displaystyle Q(h,k)=f_{xx}^{''}(a,b)h^{2}+2f_{xy}^{''}(a,b)hk+f_{yy}^{''}(a,b)k^{2}\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/642a055eb5efd470808c86453c6de274aa8bf020)
viktig för att avgöra om punkten (a, b) är lokalt maximum, lokalt minimum eller ingetdera. Denna term ger den kvadratiska formen. Genom att ordna termernas koefficienter (de partiella andraderivatorna) i en symmetrisk matris,
![{\displaystyle H(f)={\begin{pmatrix}{\frac {\partial ^{2}f}{\partial x_{1}^{2}}}&{\frac {\partial ^{2}f}{\partial x_{1}\,\partial x_{2}}}\\\\{\frac {\partial ^{2}f}{\partial x_{2}\,\partial x_{1}}}&{\frac {\partial ^{2}f}{\partial x_{2}^{2}}}\end{pmatrix}},\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6757fcb1b5525287e134e57ab3abc6ccec8fc135)
kan man ta fram matrisens egenvärden, och med hjälp av dessa också hur funktionen beter sig kring punkten (a, b) (se längre ner). Matrisen är, som synes, funktionens hessian.
För en funktion av n variabler fungerar det på liknande sätt. Där erhålls den kvadratiska formen för en funktion
kring punkten
enligt
![{\displaystyle Q(h)=\sum _{j,k=1}^{n}f_{jk}^{''}(a)h_{j}h_{k},\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fd033777dc12d3add36981ecd06fcf1f0478344)
och den tillhörande hessianen får sitt karakteristiska utseende.
Funktionsstudier med hessianer
Vid funktionsstudier kan det vara av intresse att veta till exempel om funktionen är konvex eller konkav. Vi antar att funktionen
av flera variabler, är en två gånger deriverbar funktion definierad på en konvex mängd M. Då gäller att [2]:
är en konvex funktion på M om dess hessian är positivt semi-definit för alla ![{\displaystyle x\in M.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d24197336837b89fa9d66c389dc06ca81c804c2)
är en strikt konvex funktion på M om dess hessian är positivt definit för alla ![{\displaystyle x\in M.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d24197336837b89fa9d66c389dc06ca81c804c2)
är en konkav funktion på M om dess hessian är negativt semi-definit för alla ![{\displaystyle x\in M.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d24197336837b89fa9d66c389dc06ca81c804c2)
är en strikt konkav funktion på M om dess hessian är negativt definit för alla ![{\displaystyle x\in M.\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d24197336837b89fa9d66c389dc06ca81c804c2)
För att avgöra hessianens teckenkaraktär kan man undersöka hessianens egenvärden. Genom att lösa sekularekvationen
![{\displaystyle \det(H(f)-\lambda I)=0,\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34dc92abfe5c2d77d116e6b35d903dfa9b698b7a)
där I är identitetsmatrisen, kommer vi att få ut hessianens egenvärden
För dessa gäller:
- Om alla
är hessianen positivt semi-definit. - Om alla
är hessianen positivt definit. - Om alla
är hessianen negativt semi-definit. - Om alla
är hessianen negativt definit.
Om ingen av dessa gäller, är funktionen indefinit, och således varken konvex eller konkav.
Detta kan användas på en funktion för att se om den vid någon viss punkt
har lokalt extremvärde. Det är precis detta man applicerar på kvadratiska former (se taylorutveckling av andra ordningen i flera variabler).
Se även
Referenser
- ^ A Persson, L-C Böiers (2005) Analys i flera variabler, ISBN 91-44-03869-0, sid 87, sats 9
- ^ J Lundgren, M Rönnqvist, P Värbrand (2003) Optimeringslära, ISBN 91-44-03104-1, sid 300, sats 9.5-9.6