Якобиан

Материал из testwiki
Перейти к навигации Перейти к поиску

Шаблон:К объединению Шаблон:Другое значение Якобиа́н (определитель Яко́би, функциональный определитель) — определённое обобщение производной функции одной переменной на случай отображений из евклидова пространства в себя.

Якобиан выражается как определитель матрицы Якоби — матрицы, составленной из частных производных отображения.

Якобиан отображения f в точке x обычно обозначается Jac\nolimits xf, иногда также следующим образом:

D(f1,,fn)D(x1,,xn) ,или (f1,,fn)(x1,,xn)

Также якобианом иногда (по-русски такое употребление термина не вполне принято) называют саму матрицу Якоби, а не её определитель. По-английски и в некоторых других языках термин якобиан считается равно приложимым к матрице Якоби и её определителю[1].

Введён Якоби (1833, 1841).

Определение

Якобиан векторной функции 𝐮:nn,𝐮=(u1,,un),ui=ui(x1,,xn),i=1,,n, имеющей в некоторой точке x все частные производные первого порядка, определяется как

det(u1x1(x)u1x2(x)u1xn(x)u2x1(x)u2x2(x)u2xn(x)unx1(x)unx2(x)unxn(x)).

Также можно говорить об определителе Якоби или якобиане системы функций u1,,un.

Геометрическая интерпретация

Если функции x~1(x1,,xn),,x~n(x1,,xn) определяют преобразование координат xix~j, то смысл определителя Якоби состоит в отношении объёмов[2] параллелепипедов, «натянутых» на dx~1,dx~2,,dx~n и на dx1,dx2,,dxn при равенстве произведений dx~1dx~2dx~n=dx1dx2dxn.

Применение

  • Якобиан часто применяется при анализе неявных функций.
  • Неравенство определителя Якоби нулю служит удобным необходимым и достаточным условием локальной невырожденности преобразования координат, то есть означает, что в окрестности рассматриваемой точки это преобразование является диффеоморфизмом.
  • Интеграл по области при невырожденном преобразовании координат x~jxi преобразуется как
    Ω~f(x~1,x~2,,x~n)dx~1dx~2dx~n=
    =Ωf(x~1(x1,x2,,xn),x~2(x1,x2,,xn),,x~n(x1,x2,,xn))|D(x~1,x~2,,x~n)D(x1,x2,,xn)|dx1dx2dxn
    (формула замены переменных в n-мерном интеграле).

Примеры

Пример 1. Переход элементарной площади dS=dxdy от декартовых координат (x, y) к полярным координатам (r, φ):

x=rcosφ
y=rsinφ.

Матрица Якоби имеет следующий вид

I^(r,φ)=[xrxφyryφ]=[cosφrsinφsinφrcosφ].

А якобиан перехода от декартовых координат к полярным — есть определитель матрицы Якоби:

J(r,φ)=detI^(r,φ)=det[cosφrsinφsinφrcosφ]=r.

Таким образом, элемент площади при переходе от декартовых к полярным координатам будет выглядеть следующим образом:

dS=dxdy=J(r,φ)drdφ=rdrdφ

Пример 2. Переход элементарного объёма dV=dxdydz от декартовых координат (x, y, z) к сферическим координатам (r, θ, φ) :

x=rsinθcosφ
y=rsinθsinφ
z=rcosθ.

Матрица Якоби имеет следующий вид

I^(r,θ,φ)=[xrxθxφyryθyφzrzθzφ]=[sinθcosφrcosθcosφrsinθsinφsinθsinφrcosθsinφrsinθcosφcosθrsinθ0].

А якобиан перехода от декартовых координат к сферическим — есть определитель матрицы Якоби:

J(r,θ,φ)=detI^(r,θ,φ)=det[sinθcosφrcosθcosφrsinθsinφsinθsinφrcosθsinφrsinθcosφcosθrsinθ0]=r2sinθ.

Таким образом, элемент объёма при переходе от декартовых к сферическим координатам будет выглядеть следующим образом:

dV=dxdydz=J(r,θ,φ)drdθdφ=r2sinθdrdθdφ

Свойства

  • Абсолютное значение якобиана в некоторой точке x равно коэффициенту искажения объёмов в этой точке (то есть пределу отношения объёма образа окрестности точки x к объёму самой окрестности, когда размеры окрестности стремятся к нулю).
  • Якобиан в точке x положителен, если отображение не меняет ориентации в окрестности точки М, и отрицателен в противоположном случае.
  • Если якобиан отображения не обращается в нуль в области Δ, то отображение Δ является локальным диффеоморфизмом.

Примечания

Шаблон:Примечания

См. также

Применение в физике

Шаблон:Rq

  1. wolfram.com Шаблон:Wayback Jacobian
  2. Здесь имеется в виду ориентированный объём. Отношение простых объёмов есть модуль определителя Якоби.