| Den här artikeln behöver källhänvisningar för att kunna verifieras. (2023-07) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Jacobimatris (också kallad jacobian eller funktionalmatris), efter Carl Gustav Jacob Jacobi, är en matris bestående av olika partialderivator som tillhör ett system av funktioner. Tillsammans med sin determinant (jacobideterminanten) används den inom vektoranalysen. Både matrisen och dess determinant kan ibland något informellt benämnas jacobian.
Jacobimatris
Jacobimatrisen är en matris innehållande alla första ordningens partiella derivator för en vektorvärd funktion, och är av betydelse då den representerar den bästa linjära approximationen av en differentierbar funktion i en omgivning till en given punkt. Jacobimatrisen kan därmed ses som en motsvarighet till derivata för vektorvärda funktioner.
Låt
vara en funktion från ett euklidiskt rum av dimension n till ett euklidiskt rum av dimension m. En sådan funktion ges av m reella funktioner,
![{\displaystyle y_{1}(x_{1},\dots ,x_{n}),\dots ,y_{m}(x_{1},\dots ,x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d1fa75d2757d42a81f409fca57f41dd491293dd)
Om de existerar kan de partiella derivatorna av dessa funktioner ordnas i en jacobimatris enligt
![{\displaystyle J_{\mathbf {f} }(x_{1},\ldots ,x_{n})={\begin{bmatrix}{\cfrac {\partial y_{1}}{\partial x_{1}}}&\cdots &{\cfrac {\partial y_{1}}{\partial x_{n}}}\\\vdots &\ddots &\vdots \\{\cfrac {\partial y_{m}}{\partial x_{1}}}&\cdots &{\cfrac {\partial y_{m}}{\partial x_{n}}}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8cea6b164fce766dc433b8e3025e9dfef779313)
Ett alternativt skrivsätt är
![{\displaystyle {\frac {\partial (y_{1},\ldots ,y_{m})}{\partial (x_{1},\ldots ,x_{n})}}=J_{\mathbf {f} }(x_{1},\ldots ,x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/619315f9c0b0308e02d1c90ab4071a76c2f6ab13)
Matrisens i:e rad ges alltså av gradienten till
.
Om p är en punkt i
och
är differentierbar i p, så ges dess derivata av
. Här kommer den linjära transformation som beskrivs av
att vara den bästa möjliga approximationen av
i en omgivning till p, i den meningen att
![{\displaystyle \mathbf {f} (\mathbf {x} )\approx \mathbf {f} (\mathbf {p} )+J_{\mathbf {f} }(\mathbf {p} )\cdot (\mathbf {x} -\mathbf {p} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/352d31450cf07b38b222bfa97e45663e138f3f77)
för x nära p.
Invers
Om jacobimatrisen är kvadratisk och inverterbar, kan dess invers antingen fås genom gausselimination, eller genom att inse att jacobimatrisen transformerar vektorn bestående av differentialerna av
till vektorn bestående av differentialerna av
, nämligen
![{\displaystyle (\operatorname {d} y_{1}\ \operatorname {d} y_{2}\ ...\ \operatorname {d} y_{n})^{T}=J_{\mathbb {F} }(x_{1},\ldots ,x_{n})(\operatorname {d} x_{1}\ \operatorname {d} x_{2}\ ...\ \operatorname {d} x_{n})^{T}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e336bc3ec425d2d6073f42e8eefa5b805bebe6e0)
Genom att multiplicera båda sidor med inversen av jacobimatrisen fås
![{\displaystyle (\operatorname {d} x_{1}\ \operatorname {d} x_{2}\ ...\ \operatorname {d} x_{n})^{T}=(J_{\mathbb {F} }(x_{1},\ldots ,x_{n}))^{-1}(\operatorname {d} y_{1}\ \operatorname {d} y_{2}\ ...\ \operatorname {d} y_{n})^{T}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a36410323143cdce9be889f2618a6608ddc6dc09)
Om
![{\displaystyle \mathbb {F} ^{-1}:\mathbb {R} ^{n}\mapsto \mathbb {R} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d72667ed7ac05229a3bd6c25e9dba4802988c83e)
istället är en funktion från ett euklidiskt rum av dimension n till ett annat euklidiskt rum av dimension n, given av de n reella funktionerna
![{\displaystyle x_{1}(y_{1},\dots ,y_{n}),\dots ,x_{n}(y_{1},\dots ,y_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a99c970f178e736388a71674b1c49f01c7ec669a)
så kommer
![{\displaystyle J_{\mathbb {F} ^{-1}}(x_{1},\ldots ,x_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/255b6f052440f7a76e6d27e93c52e184178cbee7)
att vara den matris som transformerar vektorn bestående av differentialerna av
![{\displaystyle y_{1},y_{2},...,y_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b99e260cf07c10ae741b432f5701c10a0f41c94c)
till vektorn bestående av differentialerna av
,
nämligen
![{\displaystyle (\operatorname {d} x_{1}\ \operatorname {d} x_{2}\ ...\ \operatorname {d} x_{n})^{T}=J_{\mathbb {F} ^{-1}}(y_{1},\ldots ,y_{n})(\operatorname {d} y_{1}\ \operatorname {d} y_{2}\ ...\ \operatorname {d} y_{n})^{T}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5f0e95712cb2144e6ec6a17a37037de6e911b11)
Genom identifiering mellan de sista ekvationerna fås att
![{\displaystyle (J_{\mathbb {F} }(x_{1},\ldots ,x_{n}))^{-1}=J_{\mathbb {F} ^{-1}}(y_{1},\ldots ,y_{n}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72bbcdf74917e510e2d3905a736830347ecb63f7)
Exempel
Ett variabelbyte från sfäriska koordinater till kartesiska koordinater beskrivs av funktionen
.
eller, i mer explicit form, som
![{\displaystyle \mathbb {F} (r,\theta ,\varphi )=(x(r,\theta ,\varphi ),y(r,\theta ,\varphi ),z(r,\theta ,\varphi ))=(r\cos \theta \sin \varphi ,r\sin \theta \sin \varphi ,r\cos \varphi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d802ce850165b9cd39cd0e6a2acfd3da5d9a57f9)
Jacobimatrisen för detta variabelbyte är
![{\displaystyle J_{\mathbb {F} }(r,\theta ,\varphi )={\begin{bmatrix}\cos \theta \sin \varphi &-r\sin \theta \sin \varphi &r\cos \theta \cos \varphi \\\sin \theta \sin \varphi &r\cos \theta \sin \varphi &r\sin \theta \cos \varphi \\\cos \varphi &0&-r\sin \varphi \end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e196e91d99743e34232832e782a7c96cb045eba)
Jacobimatrisen för funktionen
med komponenterna
![{\displaystyle y_{1}=x_{1}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5dd9c8e322ef5d8d0b9779e2ab5c20f7bd9cf4d)
![{\displaystyle y_{2}=5x_{3}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d498e10016f6b52729a2ea3cee4dadc70a839a2)
![{\displaystyle y_{3}=4x_{2}^{2}-2x_{3}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6301612fb299c9efc6227e8cc1fe3d4952cb845)
![{\displaystyle y_{4}=x_{3}\sin(x_{1})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5c3ce7cd525a4a582e37d5d079c03a3839585c2)
är
![{\displaystyle J_{\mathbf {f} }(x_{1},x_{2},x_{3})={\begin{bmatrix}1&0&0\\0&0&5\\0&8x_{2}&-2\\x_{3}\cos(x_{1})&0&\sin(x_{1})\end{bmatrix}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fa6786154e379047c8c8061d9c7374a80988798)
vilket visar att jacobimatrisen inte behöver vara kvadratisk.
Jacobideterminanten
Om
, det vill säga om
är en funktion från ett n-dimensionellt rum till ett annat n-dimensionellt rum, så är jacobimatrisen kvadratisk och därmed är dess determinant väldefinierad. Denna kallas jacobideterminanten och dess värde i en punkt ger viktig information om funktionen i denna omgivning. Om
är kontinuerligt differentierbar är den även inverterbar i närheten av p om jacobideterminanten är nollskild i p. Om determinanten är positiv i p bevararas
:s orientering och om den är negativ skiftas
:s orientering. Absolutvärdet av jacobideterminanten i p är den faktor med vilken
skalar om arean/volymen/hypervolymen i närheten av p, vilket används vid variabelsubstitution.
Exempel
Jacobideterminanten för funktionen
med komponenterna
![{\displaystyle y_{1}=5x_{2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64c8c296bd6d1f2f70cd7b3eca245787094e8ae4)
![{\displaystyle y_{2}=4x_{1}^{2}-2\sin(x_{2}x_{3})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85b38bf8221947f50508fda77d37f1b7fb015d14)
![{\displaystyle y_{3}=x_{2}x_{3}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85b37c5c6c9cacc0857ca25e1778113631b97c00)
är
![{\displaystyle {\begin{vmatrix}0&5&0\\8x_{1}&-2x_{3}\cos(x_{2}x_{3})&-2x_{2}\cos(x_{2}x_{3})\\0&x_{3}&x_{2}\end{vmatrix}}=-8x_{1}\cdot {\begin{vmatrix}5&0\\x_{3}&x_{2}\end{vmatrix}}=-40x_{1}x_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d853ffdff65f9e7e189d418aca5450b9beb0fa14)
Av detta framgår att
kastar om orienteringen i närheten av alla punkter där
och
har samma tecken och att funktionen är lokalt inverterbar överallt utom i
eller
. Ett litet objekt som befinner sig i närheten av (1, 1, 1) som mappas om av
kommer att öka sin volym 40 gånger.
Användningar
Jacobideterminanten används i samband med variabelbyten vid integrering av funktioner för att kompensera för basbytet. Den kommer då att förekomma som en multiplikativ term (skalfaktor) under integraltecknet. Det är vanligtvis nödvändigt att variabelbytet är injektivt, vilket innebär att jacobideterminanten är väldefinierad.
Exempel
Användning av jacobideterminanten vid beräkning av integraler kan demonstreras med en beräkning av volymen av enhetssfären
. Låt
. Volym av D ges då av uttrycket
.
Görs ett variabelbyte till sfäriska koordinater enligt
![{\displaystyle \left\{{\begin{aligned}x&=r\cos \varphi \sin \theta \\y&=r\sin \varphi \sin \theta \\z&=r\cos \theta \end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25904fcec6c4b4c179c732ce5549b8d0ee5d3577)
transformeras volymelementet dx dy dz till
![{\displaystyle dx\,dy\,dz=\left|{\frac {d(x,y,z)}{d(r,\theta ,\varphi )}}\right|\,dr\,d\theta \,d\varphi =r^{2}\sin \theta \ dr\,d\theta \,d\varphi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8578dd75557932ab9ddfc81c2fa4e15e56a7c7fc)
och området D beskrivs i de nya koordinaterna av
.
I strikt mening är detta koordinatbyte inte injektivt i hela D, men om linjen x = y = 0 exkluderas fås ett område med samma volym som D där koordinatbytet är injektivt och det går att tillämpa koordinatbytet i volymintegralen. Volymintegralen blir därför
![{\displaystyle {\begin{aligned}\mathop {\rm {volym}} (D)&=\iiint _{D'}r^{2}\sin \theta \ dr\,d\theta \,d\varphi \\&=\int _{0}^{2\pi }d\varphi \int _{0}^{\pi }\sin \theta \,d\theta \int _{0}^{1}r^{2}\,dr=2\pi \cdot 2\cdot {\frac {1}{3}}={\frac {4\pi }{3}}\,\mathrm {.} \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f46ea4bb70de007b694d8eb743967a15d613f1d)
Se även