Якобиан преобразования

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

Определение и математическая формулировка

Пусть задано гладкое отображение \( \mathbf{F}: \mathbb{R}^n \to \mathbb{R}^m \), которое точке \( (x_1, x_2, \dots, x_n) \) ставит в соответствие точку \( (y_1, y_2, \dots, y_m) \). Если \( n = m \), то матрица Якоби \( J \) является квадратной, и её определитель называется якобианом преобразования \( \mathbf{F} \):

\[ J = \det \begin{pmatrix} \frac{\partial y_1}{\partial x_1} & \frac{\partial y_1}{\partial x_2} & \cdots & \frac{\partial y_1}{\partial x_n} \\ \frac{\partial y_2}{\partial x_1} & \frac{\partial y_2}{\partial x_2} & \cdots & \frac{\partial y_2}{\partial x_n} \\ \vdots & \vdots & \ddots & \vdots \\ \frac{\partial y_n}{\partial x_1} & \frac{\partial y_n}{\partial x_2} & \cdots & \frac{\partial y_n}{\partial x_n} \end{pmatrix}. \]

Для случая \( n = 1 \) якобиан совпадает с обычной производной: \( J = \frac{dy}{dx} \). Для \( n = 2 \) якобиан представляет собой определитель матрицы \( 2 \times 2 \), и его геометрический смысл — коэффициент изменения площади при отображении.

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

Якобиан преобразования \( \mathbf{F} \) в точке \( \mathbf{x}_0 \) равен отношению объёма образа бесконечно малого параллелепипеда, построенного на векторах частных производных, к объёму исходного параллелепипеда. Если \( J > 0 \), то отображение сохраняет ориентацию (не переворачивает пространство); если \( J < 0 \), то ориентация меняется на противоположную. Если \( J = 0 \) в некоторой точке, то отображение в этой точке вырождено: оно теряет размерность (например, сжимает плоскость в линию или точку), и локальная обратимость нарушается.

Свойства якобиана

1. Мультипликативность: якобиан композиции отображений \( \mathbf{F} \circ \mathbf{G} \) равен произведению якобианов: \( J_{\mathbf{F} \circ \mathbf{G}} = J_{\mathbf{F}} \cdot J_{\mathbf{G}} \) (при условии, что все отображения гладкие и размерности совпадают).
2. Обратимость: если \( J \neq 0 \) в некоторой окрестности точки, то отображение локально обратимо (теорема об обратной функции). В этом случае якобиан обратного отображения равен \( 1 / J \).
3. Знак: знак якобиана указывает на сохранение или изменение ориентации.
4. Независимость от порядка координат: перестановка строк или столбцов матрицы Якоби меняет знак определителя, что соответствует изменению ориентации.

Применение в математическом анализе

Замена переменных в кратных интегралах

Якобиан является ключевым элементом при замене переменных в двойных, тройных и \( n \)-кратных интегралах. Формула замены переменных имеет вид:

\[ \int\limits_{\Omega} f(\mathbf{y}) \, d\mathbf{y} = \int\limits_{\Omega'} f(\mathbf{F}(\mathbf{x})) \, |\det J(\mathbf{x})| \, d\mathbf{x}, \]

где \( \Omega' \) — прообраз области \( \Omega \) при отображении \( \mathbf{F} \), а \( |\det J| \) — модуль якобиана. Абсолютное значение берётся, так как объём не может быть отрицательным, независимо от ориентации.

Примеры:

• Полярные координаты на плоскости: \( x = r \cos \varphi, \; y = r \sin \varphi \). Якобиан: \( J = r \). При переходе к полярным координатам элемент площади \( dx\,dy \) заменяется на \( r\,dr\,d\varphi \).
• Цилиндрические координаты в пространстве: \( x = r \cos \varphi, \; y = r \sin \varphi, \; z = z \). Якобиан: \( J = r \). Элемент объёма: \( r\,dr\,d\varphi\,dz \).
• Сферические координаты: \( x = r \sin \theta \cos \varphi, \; y = r \sin \theta \sin \varphi, \; z = r \cos \theta \). Якобиан: \( J = r^2 \sin \theta \). Элемент объёма: \( r^2 \sin \theta \, dr\,d\theta\,d\varphi \).

Теорема об обратной функции

Теорема утверждает, что если отображение \( \mathbf{F}: \mathbb{R}^n \to \mathbb{R}^n \) непрерывно дифференцируемо в окрестности точки \( \mathbf{x}_0 \) и его якобиан в этой точке отличен от нуля, то существует окрестность, в которой \( \mathbf{F} \) обратимо, и обратное отображение также непрерывно дифференцируемо. Якобиан обратного отображения в точке \( \mathbf{y}_0 = \mathbf{F}(\mathbf{x}_0) \) равен \( 1 / J(\mathbf{x}_0) \).

Теорема о неявной функции

В многомерном анализе якобиан используется для формулировки условий разрешимости системы уравнений относительно части переменных. Если система \( \mathbf{F}(\mathbf{x}, \mathbf{y}) = 0 \) имеет непрерывно дифференцируемое решение, и якобиан по \( \mathbf{y} \) отличен от нуля, то \( \mathbf{y} \) можно локально выразить как функцию от \( \mathbf{x} \).

Применение в других областях

Физика

• Механика сплошных сред: якобиан преобразования описывает изменение объёма элемента среды при деформации. В теории упругости якобиан градиента деформации (определитель тензора деформации) равен отношению текущего объёма к начальному.
• Термодинамика: при замене переменных в уравнениях состояния (например, от \( (p, V) \) к \( (T, S) \)) якобиан используется для пересчёта частных производных.
• Квантовая механика: при интегрировании по фазовому пространству (например, в статистической сумме) якобиан перехода от декартовых координат к обобщённым учитывает изменение меры.

Теория вероятностей

При преобразовании случайных величин якобиан используется для нахождения плотности распределения новой случайной величины. Если \( \mathbf{Y} = \mathbf{F}(\mathbf{X}) \), и \( \mathbf{F} \) — взаимно однозначное гладкое отображение, то плотность \( f_{\mathbf{Y}}(\mathbf{y}) \) выражается через плотность \( f_{\mathbf{X}}(\mathbf{x}) \) умножением на модуль якобиана обратного преобразования.

Дифференциальная геометрия

Якобиан отображения между многообразиями используется для определения степени отображения (топологического инварианта) и для вычисления объёмов подмногообразий. В теории интегрирования на многообразиях якобиан входит в формулу замены переменных для интегралов по поверхностям.

Робототехника и компьютерное зрение

В кинематике манипуляторов якобиан связывает скорости в суставах с линейными и угловыми скоростями рабочего органа. Определитель якобиана (транспонированной матрицы) используется для анализа сингулярностей — конфигураций, в которых робот теряет одну или несколько степеней свободы.

Примеры вычисления якобиана

Пример 1: Линейное преобразование

Пусть \( \mathbf{F}(x, y) = (ax + by, cx + dy) \). Матрица Якоби постоянна и равна \( \begin{pmatrix} a & b \\ c & d \end{pmatrix} \). Якобиан: \( J = ad - bc \). Если \( J = 0 \), отображение вырождено (сжимает плоскость в прямую).

Пример 2: Переход к полярным координатам

Отображение: \( x = r \cos \varphi, \; y = r \sin \varphi \). Частные производные: \[ \frac{\partial x}{\partial r} = \cos \varphi, \quad \frac{\partial x}{\partial \varphi} = -r \sin \varphi, \quad \frac{\partial y}{\partial r} = \sin \varphi, \quad \frac{\partial y}{\partial \varphi} = r \cos \varphi. \] Матрица Якоби: \( \begin{pmatrix} \cos \varphi & -r \sin \varphi \\ \sin \varphi & r \cos \varphi \end{pmatrix} \). Якобиан: \( J = r (\cos^2 \varphi + \sin^2 \varphi) = r \). При \( r = 0 \) якобиан обращается в нуль, что соответствует вырождению отображения в начале координат.

Пример 3: Нелинейное преобразование в трёхмерном пространстве

Пусть \( \mathbf{F}(u, v, w) = (u^2, v^3, uvw) \). Матрица Якоби: \[ \begin{pmatrix} 2u & 0 & 0 \\ 0 & 3v^2 & 0 \\ vw & uw & uv \end{pmatrix}. \] Якобиан: \( J = 2u \cdot 3v^2 \cdot uv = 6 u^2 v^3 \). При \( u = 0 \) или \( v = 0 \) якобиан равен нулю.

Связь с якобианом в других контекстах

В некоторых разделах математики термин «якобиан» может употребляться в более широком смысле:

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

Источники

• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления», т. 2, гл. 16.
• Ильин В. А., Позняк Э. Г. «Основы математического анализа», ч. 2, гл. 3.
• Зорич В. А. «Математический анализ», т. 2, гл. 10.
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа», гл. 4.
• Арнольд В. И. «Обыкновенные дифференциальные уравнения», гл. 2.