Якобиан

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

Определение и обозначение

Пусть задано отображение F: ℝⁿ → ℝᵐ, которое каждой точке (x₁, …, xₙ) ставит в соответствие точку (y₁, …, yₘ) с помощью m функций: y₁ = f₁(x₁, …, xₙ), y₂ = f₂(x₁, …, xₙ), … yₘ = fₘ(x₁, …, xₙ).

Если все эти функции имеют частные производные, то матрица Якоби (или якобиева матрица) размера m × n определяется как:

\[ J = \frac{\partial (y_1, \ldots, y_m)}{\partial (x_1, \ldots, x_n)} = \begin{pmatrix} \frac{\partial f_1}{\partial x_1} & \cdots & \frac{\partial f_1}{\partial x_n} \\ \vdots & \ddots & \vdots \\ \frac{\partial f_m}{\partial x_1} & \cdots & \frac{\partial f_m}{\partial x_n} \end{pmatrix} \]

В случае, когда m = n (отображение из ℝⁿ в ℝⁿ), матрица Якоби является квадратной, и её определитель называется якобианом (или определителем Якоби). Обозначается якобиан как:

\[ \det J = \frac{\partial (y_1, \ldots, y_n)}{\partial (x_1, \ldots, x_n)} \]

История

Понятие якобиана было введено немецким математиком Карлом Густавом Якобом Якоби (1804–1851) в его работах по теории определителей и функциональным определителям. Якоби систематизировал и развил идеи, возникшие в трудах Огюстена Луи Коши и Карла Фридриха Гаусса. В 1841 году Якоби опубликовал мемуар «О функциональных определителях», где впервые дал строгое определение и доказал основные свойства. Термин «якобиан» был предложен британским математиком Джеймсом Джозефом Сильвестром в 1850-х годах.

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

Якобиан в точке x₀ характеризует локальное поведение отображения F вблизи этой точки. Абсолютное значение якобиана |det J| равно коэффициенту искажения объёма (или площади в двумерном случае) при отображении. Если якобиан отличен от нуля, то отображение локально обратимо (теорема об обратной функции), и знак якобиана указывает на сохранение или изменение ориентации:

• det J > 0 — ориентация сохраняется;
• det J < 0 — ориентация меняется на противоположную.

Например, в двумерном случае отображение (x, y) → (u, v) преобразует бесконечно малый прямоугольник площадью dx dy в параллелограмм площадью |det J| dx dy.

Свойства

Основные свойства

1. Линейность по строкам: якобиан является полилинейной функцией строк матрицы Якоби.
2. Антисимметричность: при перестановке двух функций (строк) якобиан меняет знак.
3. Умножение на константу: если все функции умножить на константу c, то якобиан умножается на cⁿ.
4. Произведение отображений: якобиан композиции отображений равен произведению якобианов (правило цепочки):

\[ \frac{\partial (z_1, \ldots, z_n)}{\partial (x_1, \ldots, x_n)} = \frac{\partial (z_1, \ldots, z_n)}{\partial (y_1, \ldots, y_n)} \cdot \frac{\partial (y_1, \ldots, y_n)}{\partial (x_1, \ldots, x_n)} \]

Якобиан обратного отображения

Если отображение F обратимо в окрестности точки, то якобиан обратного отображения равен обратной величине якобиана прямого отображения: \[ \frac{\partial (x_1, \ldots, x_n)}{\partial (y_1, \ldots, y_n)} = \left( \frac{\partial (y_1, \ldots, y_n)}{\partial (x_1, \ldots, x_n)} \right)^{-1} \]

Якобиан линейного отображения

Для линейного отображения, задаваемого матрицей A, матрица Якоби постоянна и равна A, а якобиан равен det A.

Применение

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

Одно из важнейших применений якобиана — формула замены переменных в кратных интегралах. Если задано взаимно однозначное и непрерывно дифференцируемое отображение φ: D → Ω, где D и Ω — области в ℝⁿ, то для интегрируемой функции f на Ω выполняется:

\[ \int_{\Omega} f(\mathbf{y}) \, d\mathbf{y} = \int_{D} f(\varphi(\mathbf{x})) \, |\det J_{\varphi}(\mathbf{x})| \, d\mathbf{x} \]

Здесь |det J| — модуль якобиана отображения φ. Эта формула является многомерным аналогом формулы замены переменной в одномерном интеграле.

Примеры:

• Переход к полярным координатам (x = r cos θ, y = r sin θ): якобиан равен r.
• Переход к цилиндрическим координатам (x = r cos θ, y = r sin θ, z = z): якобиан равен r.
• Переход к сферическим координатам (x = ρ sin φ cos θ, y = ρ sin φ sin θ, z = ρ cos φ): якобиан равен ρ² sin φ.

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

Якобиан является критерием локальной обратимости отображения. Если в точке x₀ матрица Якоби невырождена (det J ≠ 0), то существует окрестность этой точки, в которой отображение F обратимо, и обратное отображение также непрерывно дифференцируемо. В противном случае (det J = 0) точка называется критической, и локальная обратимость нарушается.

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

Якобиан используется для формулировки условий разрешимости системы уравнений. Если для системы F(x, y) = 0, где F: ℝⁿ⁺ᵐ → ℝᵐ, якобиан по переменным y отличен от нуля, то в окрестности точки можно выразить y как функцию от x.

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

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

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

При преобразовании случайных величин якобиан используется для нахождения плотности распределения функции от случайного вектора. Если Y = g(X), где g — взаимно однозначное дифференцируемое отображение, то плотность распределения Y выражается через плотность X и модуль якобиана обратного преобразования.

Физика

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

Примеры вычисления

Пример 1: Линейное отображение

Пусть отображение задано как: u = 2x + 3y, v = x − y.

Матрица Якоби: \[ J = \begin{pmatrix} 2 & 3 \\ 1 & -1 \end{pmatrix} \] Якобиан: det J = 2·(−1) − 3·1 = −5.

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

x = r cos θ, y = r sin θ. Частные производные: ∂x/∂r = cos θ, ∂x/∂θ = −r sin θ, ∂y/∂r = sin θ, ∂y/∂θ = r cos θ. Якобиан: \[ \det J = \cos θ · r cos θ − (−r sin θ) · sin θ = r(\cos^2 θ + \sin^2 θ) = r. \]

Пример 3: Отображение с нулевым якобианом

Рассмотрим отображение: u = x², v = x². Тогда ∂u/∂x = 2x, ∂v/∂x = 2x, матрица Якоби — столбец (2x, 2x)ᵀ, её определитель (для m=1, n=1) равен 2x, но при m=2, n=1 матрица не квадратная, и якобиан не определён. Если же рассматривать отображение (x, y) → (x², y²), то якобиан равен 4xy, и он обращается в нуль на осях координат.

Критика и ограничения

Понятие якобиана предполагает дифференцируемость отображения. Для недифференцируемых или разрывных отображений якобиан не определён. Кроме того, равенство нулю якобиана в точке не всегда означает необратимость отображения в целом — существуют примеры, когда отображение является глобально обратимым, но имеет точки с нулевым якобианом (например, отображение x → x³ в ℝ). В таких случаях требуется более тонкий анализ с использованием теории особенностей.

Интересные факты

• В русскоязычной литературе термин «якобиан» часто используется как синоним определителя Якоби, в то время как матрица Якоби называется «матрицей Якоби» или «якобиевой матрицей».
• В математическом анализе якобиан иногда называют «функциональным определителем».
• Понятие якобиана обобщается на бесконечномерные пространства в функциональном анализе, где роль определителя играет определитель Фредгольма.
• В квантовой механике якобиан используется при переходе от координатного представления к импульсному через преобразование Фурье.

Источники

• Якоби К. Г. Я. «О функциональных определителях» (1841).
• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления», т. 1–3.
• Зорич В. А. «Математический анализ», ч. 1–2.
• Арнольд В. И. «Математические методы классической механики».
• Спивак М. «Математический анализ на многообразиях».