Высшие дифференциалы

Высшие дифференциалы — это дифференциалы порядка выше первого, которые в математическом анализе определяются как результат последовательного дифференцирования функции. Если первый дифференциал функции \(y = f(x)\) в точке \(x\) равен \(dy = f'(x) dx\), то второй дифференциал \(d^2y\) определяется как дифференциал от первого дифференциала, рассматриваемого как функция от \(x\) при фиксированном \(dx\). Высшие дифференциалы используются для исследования поведения функций, в частности, для разложения в ряды Тейлора, анализа экстремумов и в дифференциальной геометрии.

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

Пусть функция \(y = f(x)\) определена на некотором интервале и имеет производные до \(n\)-го порядка включительно. Первый дифференциал в точке \(x\) определяется как \(dy = f'(x) dx\), где \(dx\) — произвольное приращение независимой переменной, которое считается фиксированным при дальнейшем дифференцировании. Второй дифференциал \(d^2y\) есть дифференциал от первого дифференциала, рассматриваемого как функция от \(x\):

\[ d^2y = d(dy) = d(f'(x) dx) = (f''(x) dx) dx = f''(x) (dx)^2. \]

По индукции, дифференциал \(n\)-го порядка определяется как:

\[ d^n y = d(d^{n-1} y) = f^{(n)}(x) (dx)^n, \]

где \(f^{(n)}(x)\) — производная \(n\)-го порядка, а \((dx)^n\) — \(n\)-я степень приращения \(dx\). В этих обозначениях \(dx\) рассматривается как постоянная величина, не зависящая от \(x\).

Формальное определение

Для функции \(f: \mathbb{R} \to \mathbb{R}\), дифференцируемой \(n\) раз в точке \(x\), \(n\)-й дифференциал \(d^n f(x)\) — это однородная форма степени \(n\) от приращения \(h = dx\):

\[ d^n f(x)(h) = f^{(n)}(x) h^n. \]

В многомерном случае высшие дифференциалы становятся полилинейными формами. Для функции \(f: \mathbb{R}^m \to \mathbb{R}\) второй дифференциал в точке \(x\) — это квадратичная форма, задаваемая матрицей Гессе:

\[ d^2 f(x)(h) = \sum_{i=1}^m \sum_{j=1}^m \frac{\partial^2 f(x)}{\partial x_i \partial x_j} h_i h_j, \]

где \(h = (h_1, \dots, h_m)\) — вектор приращений.

Свойства

Высшие дифференциалы обладают рядом свойств, вытекающих из свойств производных:

• Линейность: \(d^n (c_1 f + c_2 g) = c_1 d^n f + c_2 d^n g\) для констант \(c_1, c_2\).
• Правило Лейбница: Для произведения двух функций \(u\) и \(v\) справедлива формула:

\[ d^n (u v) = \sum_{k=0}^n \binom{n}{k} d^{n-k} u \, d^k v, \] где \(d^0 u = u\), \(d^0 v = v\). Это аналог бинома Ньютона для дифференциалов.

• Инвариантность формы: Первый дифференциал обладает свойством инвариантности формы при замене переменной: если \(y = f(x)\), а \(x = g(t)\), то \(dy = f'(x) g'(t) dt\). Однако для высших дифференциалов (начиная со второго) это свойство, вообще говоря, не выполняется. Например, второй дифференциал \(d^2 y\) при замене переменной выражается через \(dt\) и \(d^2 t\), что усложняет его вид. Это связано с тем, что \(dx\) перестаёт быть постоянным при переходе к новой переменной.
• Связь с производными: Если \(dx\) фиксирован, то \(d^n y = f^{(n)}(x) (dx)^n\). В частности, при \(dx = 1\) (или при рассмотрении дифференциалов как функций от \(x\) с единичным приращением) \(n\)-й дифференциал совпадает с \(n\)-й производной с точностью до множителя.

История

Понятие дифференциала высших порядков восходит к работам Готфрида Лейбница и Исаака Ньютона в конце XVII века. Лейбниц ввёл обозначения \(d^2 y\), \(d^3 y\) и т.д., рассматривая их как «дифференциалы от дифференциалов». Однако строгое обоснование высших дифференциалов было дано лишь в XIX веке в рамках теории пределов Огюстеном Луи Коши и Карлом Вейерштрассом. Вейерштрасс показал, что высшие дифференциалы можно трактовать как частные случаи производных при фиксированном приращении. В XX веке понятие высших дифференциалов было обобщено на случай дифференцируемых многообразий и стало важным инструментом в дифференциальной геометрии и теории особенностей.

Применение

Разложение в ряд Тейлора

Высшие дифференциалы позволяют компактно записать формулу Тейлора. Для функции \(f(x)\) в окрестности точки \(a\):

\[ f(a + h) = f(a) + \frac{df(a)}{1!} + \frac{d^2 f(a)}{2!} + \dots + \frac{d^n f(a)}{n!} + R_n, \]

где \(d^k f(a) = f^{(k)}(a) h^k\), а \(R_n\) — остаточный член. В многомерном случае эта формула записывается через суммы по мультииндексам.

Исследование экстремумов

Второй дифференциал используется для классификации критических точек функции. Если в точке \(x_0\) первый дифференциал равен нулю (\(df(x_0) = 0\)), то:

• Если \(d^2 f(x_0)\) — положительно определённая квадратичная форма, то \(x_0\) — точка локального минимума.
• Если \(d^2 f(x_0)\) — отрицательно определённая форма, то \(x_0\) — точка локального максимума.
• Если \(d^2 f(x_0)\) неопределённая, то \(x_0\) — седловая точка.
• Если \(d^2 f(x_0)\) вырождена, требуется анализ дифференциалов более высокого порядка.

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

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

Физика

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

Примеры

Пример 1: Одномерный случай

Для функции \(f(x) = x^3\):

• \(f'(x) = 3x^2\), \(f''(x) = 6x\), \(f'''(x) = 6\).
• Первый дифференциал: \(dy = 3x^2 dx\).
• Второй дифференциал: \(d^2 y = 6x (dx)^2\).
• Третий дифференциал: \(d^3 y = 6 (dx)^3\).

Пример 2: Многомерный случай

Для функции \(f(x, y) = x^2 y + y^3\):

• Частные производные: \(f_x = 2xy\), \(f_y = x^2 + 3y^2\).
• Вторые частные производные: \(f_{xx} = 2y\), \(f_{xy} = 2x\), \(f_{yy} = 6y\).
• Второй дифференциал: \(d^2 f = 2y (dx)^2 + 4x \, dx \, dy + 6y (dy)^2\).

Пример 3: Неинвариантность второго дифференциала

Пусть \(y = x^2\), \(x = t^2\). Тогда \(y = t^4\). Первый дифференциал: \(dy = 2x dx = 2t^2 \cdot 2t dt = 4t^3 dt\). Второй дифференциал, вычисленный через \(x\): \(d^2 y = 2 (dx)^2 = 2 (2t dt)^2 = 8 t^2 (dt)^2\). Если же вычислить второй дифференциал непосредственно от \(y(t)\): \(d^2 y = 12 t^2 (dt)^2\). Результаты различаются, что демонстрирует нарушение инвариантности.

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

Понятие высших дифференциалов в классическом анализе критикуется за то, что оно требует фиксации приращения \(dx\), что делает его менее гибким, чем производные. В современной математике высшие дифференциалы часто заменяются понятием производных высших порядков (как линейных операторов) или кокасательных расслоений. В нестандартном анализе (Абрахам Робинсон, 1960-е) высшие дифференциалы могут быть строго обоснованы с использованием бесконечно малых величин, но этот подход не получил широкого распространения в стандартном анализе.

Источники

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