Матрица Якоби

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

Определение

Пусть задана вектор-функция F: ℝⁿ → ℝᵐ, которая отображает вектор x = (x₁, x₂, …, xₙ) в вектор F(x) = (f₁(x), f₂(x), …, fₘ(x)). Если все компоненты fᵢ имеют частные производные по всем переменным xⱼ в некоторой точке, то матрица Якоби J в этой точке определяется как матрица размера m × n:

J = ∂(f₁, f₂, …, fₘ) / ∂(x₁, x₂, …, xₙ) = [[∂f₁/∂x₁, ∂f₁/∂x₂, …, ∂f₁/∂xₙ], [∂f₂/∂x₁, ∂f₂/∂x₂, …, ∂f₂/∂xₙ], [ … ], [∂fₘ/∂x₁, ∂fₘ/∂x₂, …, ∂fₘ/∂xₙ]]

Элемент на пересечении i-й строки и j-го столбца равен ∂fᵢ/∂xⱼ.

Свойства и геометрический смысл

Линейное приближение

Матрица Якоби является матрицей производной Фреше для вектор-функции. Если функция F дифференцируема в точке a, то её приращение можно приблизить линейным отображением:

F(a + h) ≈ F(a) + J(a) · h,

где h — малое приращение аргумента. Это означает, что якобиан задаёт касательное отображение к исходной функции.

Определитель Якоби (якобиан)

Для квадратных матриц (m = n) определитель матрицы Якоби называется определителем Якоби или просто якобианом. Он обозначается как:

det J = ∂(f₁, f₂, …, fₙ) / ∂(x₁, x₂, …, xₙ)

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

Ранг и невырожденность

Ранг матрицы Якоби в точке показывает размерность образа касательного отображения. Если ранг максимален (равен min(m, n)), то отображение называется невырожденным в этой точке. Для квадратных матриц невырожденность эквивалентна ненулевому определителю Якоби.

История

Понятие матрицы Якоби введено в математический анализ немецким математиком Карлом Густавом Якобом Якоби (1804–1851). Якоби систематически использовал определители, составленные из частных производных, в своих работах по теории функций и дифференциальным уравнениям, в частности, при исследовании условий разрешимости систем нелинейных уравнений. Термин «якобиан» был предложен позднее, в XIX веке, другими математиками.

Применение

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

Одно из важнейших применений — формула замены переменных в кратных интегралах. Если выполняется гладкая замена переменных x = φ(u), то интеграл преобразуется как:

∫∫…∫_Ω f(x) dx = ∫∫…∫_Ω' f(φ(u)) · |det J_φ(u)| du,

где J_φ — матрица Якоби отображения φ, а |det J_φ| — модуль её определителя. Например, при переходе от декартовых координат к полярным (x = r cos θ, y = r sin θ) якобиан равен r.

Нелинейные системы уравнений

Матрица Якоби используется в методе Ньютона для решения систем нелинейных уравнений. Итерационная формула:

x(k+1) = x(k) — [J(x(k))]⁻¹ · F(x(k)),

где J — матрица Якоби функции F, а [J]⁻¹ — обратная матрица (для квадратных систем). На каждом шаге система линеаризуется с помощью якобиана.

Дифференциальные уравнения и теория устойчивости

В теории обыкновенных дифференциальных уравнений матрица Якоби правой части системы используется для анализа устойчивости положений равновесия. Если система задана как ẋ = F(x), то в точке равновесия x (где F(x) = 0) матрица Якоби J(x*) определяет линейное приближение. Собственные значения этой матрицы позволяют судить об устойчивости: если все собственные значения имеют отрицательные действительные части, то положение равновесия асимптотически устойчиво.

Робототехника и манипуляторы

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

Оптимизация

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

Примеры

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

Пусть F(x, y) = (2x + y, x — 3y). Тогда матрица Якоби постоянна:

J = [[2, 1], [1, -3]]

Определитель Якоби: det J = 2·(-3) — 1·1 = -7.

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

Отображение φ(r, θ) = (r cos θ, r sin θ). Матрица Якоби:

J_φ = [[∂x/∂r, ∂x/∂θ], [∂y/∂r, ∂y/∂θ]] = [[cos θ, -r sin θ], [sin θ, r cos θ]]

Определитель: det J_φ = cos θ · r cos θ — (-r sin θ) · sin θ = r(cos²θ + sin²θ) = r.

Пример 3: Нелинейная функция

Пусть F(x, y) = (x²y, sin(xy)). Матрица Якоби:

J = [[2xy, x²], [y cos(xy), x cos(xy)]]

Связь с другими понятиями

• Градиент: Для скалярной функции f: ℝⁿ → ℝ (m = 1) матрица Якоби вырождается в вектор-строку, которая является транспонированным градиентом: J = (∇f)ᵀ.
• Гессиан: Для дважды дифференцируемой скалярной функции матрица Якоби её градиента (вектор-функции) называется матрицей Гессе (гессианом). Гессиан — это квадратная матрица вторых частных производных.
• Дивергенция и ротор: Для векторного поля F: ℝ³ → ℝ³ дивергенция (скаляр) равна следу матрицы Якоби, а ротор (вектор) связан с кососимметрической частью якобиана.

Источники

1. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
2. Зорич В. А. Математический анализ. Часть I. — М.: МЦНМО, 2012.
3. Арнольд В. И. Обыкновенные дифференциальные уравнения. — М.: Наука, 1984.
4. Спивак М. Математический анализ на многообразиях. — М.: Мир, 1968.