Jakobiani dhe përcaktori i një matrice

Në analizën matematike vektoriale, matrica jakobiane e një funksioni me vlera vektoriale të disa ndryshoreve është matrica e të gjithë derivateve të tij të pjesshme të rendit të parë. Kur kjo matricë është katrore, domethënë, kur funksioni merr të njëjtin numër ndryshoresh si hyrje po aq sa numri i përbërësve vektorialë të prodhimit të tij, përcaktorit të tij i referohet si përcaktor Jakobian . Si matrica ashtu edhe (nëse është e zbatueshme) përcaktori shpesh referohen thjesht si Jakobian në literaturë. ^[1]

Shembull

Supozoni ${\displaystyle f:\mathbb {R} ^{n}\to \mathbb {R} ^{m}}$ është një funksion i tillë që secili prej derivateve të pjesshme të tij të rendit të parë ekzistojnë në ${\displaystyle \mathbb {R} ^{n}}$. Ky funksion merr një pikë ${\displaystyle x\in \operatorname {R} ^{n}}$ si hyrje dhe prodhon vektorin ${\displaystyle f(x)\in \operatorname {R} ^{m}}$ si dalje. Pastaj matrica jakobiane e f përcaktohet të jetë një matricë m × n, e shënuar me J, hyrja (i, j ) e së cilës është ${\textstyle \mathbf {J} _{ij}={\frac {\partial f_{i}}{\partial x_{j}}}}$, ose në mënyrë eksplicite

${\displaystyle \mathbf {J} ={\begin{bmatrix}{\dfrac {\partial \mathbf {f} }{\partial x_{1}}}&\cdots &{\dfrac {\partial \mathbf {f} }{\partial x_{n}}}\end{bmatrix}}={\begin{bmatrix}\nabla ^{\mathrm {T} }f_{1}\\\vdots \\\nabla ^{\mathrm {T} }f_{m}\end{bmatrix}}={\begin{bmatrix}{\dfrac {\partial f_{1}}{\partial x_{1}}}&\cdots &{\dfrac {\partial f_{1}}{\partial x_{n}}}\\\vdots &\ddots &\vdots \\{\dfrac {\partial f_{m}}{\partial x_{1}}}&\cdots &{\dfrac {\partial f_{m}}{\partial x_{n}}}\end{bmatrix}}}$

ku ${\displaystyle \nabla ^{\mathrm {T} }f_{i}}$ është transpozimi (vektori i rreshtit) i gradientit të përbërëses ${\displaystyle i}$ .

Matrica Jakobiane, hyrjet e së cilës janë funksione të x, shënohet në mënyra të ndryshme; shënimet e zakonshme përfshijnë ${\displaystyle D{\boldsymbol {f}}}$,${\displaystyle {\boldsymbol {J_{f}}}}$,${\displaystyle \nabla \mathbf {f} }$, dhe ${\displaystyle {\frac {\partial (f_{1},..,f_{m})}{\partial (x_{1},..,x_{n})}}}$ . Disa autorë e përkufizojnë Jakobianin si transpozim të formës së dhënë më sipër.

Matrica Jakobiane paraqet diferencialin e f në çdo pikë ku f është i diferencueshëm. Në mënyrë të detajuar, nëse h është një vektor zhvendosjeje i përfaqësuar nga një matricë shtyllë, prodhimi i matricës J ( x ) ⋅ h është një vektor tjetër zhvendosjeje, që është përafrimi më i mirë linear i ndryshimit të f në një zonë rrethuese të x, nëse ${\displaystyle f(x)}$ është i diferencueshëm në x . ^[a] Kjo do të thotë se funksioni që e paraqet ${\displaystyle y}$ në ${\displaystyle f(x)+J(x)(x-h)}$ është përafrimi më i mirë linear i ${\displaystyle f(y)}$ për të gjitha pikat y afër x . Harta lineare ${\displaystyle h\to J(x)\cdot h}$ njihet si derivat ose <i id="mwVQ">diferencial</i> i f në x .

Përcaktori jakobian

Një hartë jolineare ${\displaystyle f\colon \mathbb {R} ^{2}\to \mathbb {R} ^{2}}$ dërgon një katror të vogël (majtas, me të kuqe) në një paralelogram të shformuar (djathtas, me të kuqe). Jakobiani në një pikë jep përafrimin më të mirë linear të paralelogramit të shtrembëruar pranë asaj pike (djathtas, në të bardhë të tejdukshme), dhe përcaktori Jakobian jep raportin e sipërfaqes së paralelogramit të përafërt me atë të katrorit fillestar.

Nëse m = n, atëherë f është një funksion nga ${\displaystyle \operatorname {R^{n}} }$ në vetvete dhe matrica Jakobiane është një matricë katrore . Më pas mund të formojmë përcaktorin e tij, të njohur si përcaktori Jakobiane . Përcaktori jakobian nganjëherë referohet thjesht si "jakobian".

Përcaktori Jacobian përdoret kur bëhet një zëvëndësim i ndryshoreve kur vlerësohet një integral i shumëfishtë i një funksioni mbi një rajon brenda domenit të tij. Për të akomoduar ndryshimin e koordinatave, madhësia e përcaktorit jakobian lind si një faktor shumëzues brenda integralit. Kjo është për shkak se elementi n -dimensional dV është në përgjithësi një paralelopiped në sistemin e ri të koordinatave, dhe vëllimi n i një paralelipipedi është përcaktuesi i vektorëve të skajit të tij.