# Jacobian

(redirected from*Jacobi determinant*)

Also found in: Dictionary.

## Jacobian

[jə′kō·bē·ən]_{i }(

*x*

_{1},

*x*

_{2}, …,

*x*

_{n }),

*i*= 1, 2, …,

*n*, of real variables

*x*

_{i }is the determinant of the matrix whose

*i*th row lists all the first-order partial derivatives of the function ƒ

_{i }(

*x*

_{1},

*x*

_{2}, …,

*x*

_{n }). Also known as Jacobian determinant.

## Jacobian

(or functional determinant), a determinant with elements *a _{ik}* = ∂

*y*

_{i}/∂

*x*where

_{k}*y*=

_{i}*f*(

_{i}*x*

_{1}, . . .,

*x*

_{n}), 1 ≤

*i*≤

*n*, are functions that have continuous partial derivatives in some region Δ. It is denoted by

The Jacobian was introduced by K. Jacobi in 1833 and 1841. If, for example, *n* = 2, then the system of functions

(1) *y*_{l} = *f*_{1}(*x*_{1}, *x*_{2}) *y*_{2} = *f*_{2}(*x*_{1}, *x*_{2})

defines a mapping of a region Δ, which lies in the plane *x*_{1}*x*_{2}, onto a region of the plane *y*_{1}*y*_{2}. The role of the Jacobian for the mapping is largely analogous to that of the derivative for a function of a single variable. Thus, the absolute value of the Jacobian at some point *M* is equal to the local factor by which areas at the point are altered by the mapping; that is, it is equal to the limit of the ratio of the area of the image of the neighborhood of *M* to the area of the neighborhood as the dimensions of the neighborhood approach zero. The Jacobian at *M* is positive if mapping (1) does not change the orientation in the neighborhood of *M*, and negative otherwise.

If the Jacobian does not vanish in the region Δ and if φ(*y*_{1}, *y*_{2}) is a function defined in the region Δ_{1} (the image of Δ), then

(the formula for change of variables in a double integral). An analogous formula obtains for multiple integrals. If the Jacobian of mapping (1) does not vanish in region Δ, then there exists the inverse mapping

*x*_{1} = ψ(*y*_{1}, *y*_{2}) *x*_{2} = ψ_{2}(*y*_{1}, *y*_{2})

and

(an analogue of the formula for differentiation of an inverse function). This assertion finds numerous applications in the theory of implicit functions.

In order for the explicit expression, in the neighborhood of the point , of the functions *y*_{1}, . . . . *y _{m}* that are implicitly defined by the equations

(2) *F _{k}* (

*x*

_{1}. . . .,

*x*,

_{n}*y*

_{1}. . .,

*y*) = 0

_{m}*I*≤

*k*≤

*m*

to be possible, it is sufficient that the coordinates of *M* satisfy equations (2), that the functions *F _{k}* have continuous partial derivatives, and that the Jacobian

be nonzero at *M*.

### REFERENCES

Kudriavtsev, L. D.*Matematicheskii analiz*, 2nd ed., vol. 2. Moscow, 1973.

Il’in, V. A., and E. G. Pozniak.

*Osnovy matematicheskogo analiza*, 3rd ed.. part I. Moscow, 1971.