Большая Советская Энциклопедия (ДИ)

где остаток R (h) при h ® 0 бесконечно мал по сравнению с h. Главная линейная часть L (h) приращения Df и называется дифференциалом df функции f в точке x. При этом в зависимости от того, в каком смысле понимается бесконечная малость R (h) по сравнению с h, различают слабый дифференциал, или дифференциал Гато, и сильный дифференциал, или дифференциал Фреше. Если существует сильный Д., то существует и слабый Д., равный сильному Д. Слабый Д. может существовать и тогда, когда сильный не существует.

  В случае f (x) o x из общего определения следует, что df = h, т. е. можно приращение h считать Д. аргумента x и обозначать dx.

  Если сделать теперь переменной точку x, в которой определяется Д. df, то он будет функцией двух переменных:

  df (x; h).

Далее, считая h = h₁ постоянным, можно найти Д. от дифференциала df (x; h₁) как главную часть приращения

df (x + h₂; h₁) — df (x; h₁),

где h₂ — некоторое второе, не связанное с h₁ приращение x. Получаемый таким образом второй дифференциал d²f = d²f (x; h₁, h₂) является функцией трёх векторных аргументов x, h₁ и h₂, линейной по каждому из двух последних аргументов. Если d²f непрерывно зависит от x, то он симметричен относительно h₁ и h₂:

  d²f (x; h₁, h₂) = d²f (x; h₂, h₁).

  Аналогично определяется дифференциал dⁿf = dⁿf (x; h₁,..., h_n) любого порядка n.

  В вариационном исчислении сам векторный аргумент x является функцией x (t), а дифференциалы df и d²f функционала f [x (t)] называются его первой и второй вариациями и обозначаются df и d²f.

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

  Лит.: Ильин В. А., Позняк Э. Г., Основы математического анализа, 2 изд., М., 1967; Колмогоров А. Н., Фомин С. В., Элементы теории функций и функционального анализа, 2 изд., М., 1968; Фихтенгольц Г. М., Курс дифференциального и интегрального исчисления, 7 изд., т. 1, М., 1969; Кудрявцев Л. Д., Математический анализ, т. 1, М., 1970; Рудин У., Основы математического анализа, пер. с англ., М., 1966; Дьедонне Ж., Основы современного анализа, пер. с англ., М., 1964.

  А. Н. Колмогоров.

Дифференциал (технич.)

Дифференциа'л,дифференциальный механизм в приводе ведущих колёс автомобиля, трактора или др. транспортных машин. Д. обеспечивает вращение ведущих колёс с разными относительными скоростями при прохождении кривых участков пути.

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

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

  Геометрические объекты, изучаемые в Д. г., обычно подчинены некоторым требованиям гладкости. Как правило, эти требования выражаются в том, что функции, задающие указанные объекты, не менее двух раз непрерывно дифференцируемы.

  Сущность методов Д. г., применяемых для выяснения локальных свойств геометрических объектов, проще всего уяснить на примере локального исследования формы кривых.

  В каждой точке М достаточно гладкой кривой L можно построить касательную прямую МТ и соприкасающуюся плоскость p (рис. 1). При этом касательная МТ является пределом секущей MN при неограниченном приближении точки N к М по кривой L, а соприкасающаяся плоскость есть предел переменной плоскости, проходящей через касательную МТ и точку N при приближении N к М по L. Касательную МТ можно рассматривать также как прямую, наиболее тесно прилегающую к L вблизи точки М. Соприкасающаяся же плоскость представляет собой плоскость, наиболее тесно прилегающую к L вблизи М.

  Для геометрической характеристики искривлённости кривой L вблизи данной точки М рассматривается соприкасающаяся окружность, представляющая собой окружность, проходящую через М и наиболее тесно прилегающую к L вблизи М. Это свойство выражается в том, что если учитывать величины только 1-го и 2-го порядка малости по сравнению с длиной дуги MN, то участок кривой L вблизи М можно считать дугой соприкасающейся окружности. Соприкасающаяся окружность касается L в точке М и расположена в соприкасающейся плоскости. Её центр называется центром кривизны кривой L в точке М, а радиус — радиусом кривизны L в М.

  Для численной характеристики искривлённости L в точке М используется кривизнаk кривой, равная обратной величине радиуса R соприкасающейся окружности: k = 1/R. Кривизну k можно рассматривать и как меру отклонения L от касательной МТ (рис. 1):