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

Дифференциал (математич.)
Дифференциал (от лат. differentia ‒ разность, различие) в математике, главная линейная часть приращения функции. Если функция y = f (x) одного переменного х имеет при х = х0 производную, то приращение

Dy = f (x0 + Dx) - f (x0)

функции f (x) можно представить в виде

Dy = f' (x0) Dx + R,

где член R бесконечно мал по сравнению с Dх. Первый член

dy = f' (x0) Dх

в этом разложении и называется дифференциалом функции f (x) в точке x0. Из этой формулы видно, что дифференциал dy линейно зависит от приращения независимого переменного Dx, а равенство

Dy = dy + R

показывает, в каком смысле Д. dy является главной частью приращения Dy.

Подробнее о Д. функций одного и нескольких переменных см. Дифференциальное исчисление.

Обобщение понятия дифференциала. Обобщение понятия Д. на вектор-функции, начало которому положили в начале 20 в. французские математики Р. Гато и М. Фреше, позволяет лучше выяснить смысл понятия «дифференциал» для функций нескольких переменных, а в применении к функционалам приводит к понятию вариации, лежащему в основе вариационного исчисления.

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

L (x' + х'') = L (x') + L (x'')

для любых х' и х'' из области определения. Линейная функция n-мерного аргумента х = {x1,..., xn} всегда имеет вид

L (x) = a1x1 +... + anxn,

где a1,..., an ‒ постоянные. Приращение

DL = L (x + h) - L (x)

линейной функции L (x) имеет вид

DL = L (h),

т. е. зависит только от векторного приращения h, и притом линейно. Функция f (x) называется дифференцируемой при значении аргумента х, если её приращение Df = f (x + h) - f (x), рассматриваемое как функция от h, имеет главную линейную часть L (h), т. е. выражается в виде

Df = L (h) + R (h),

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

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

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

df (x; h).

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

df (x + h2; h1) ‒ df (x; h1),

где h2 ‒ некоторое второе, не связанное с h1 приращение x. Получаемый таким образом второй дифференциал d2f = d2f (x; h1, h2) является функцией трёх векторных аргументов x, h1 и h2, линейной по каждому из двух последних аргументов. Если d2f непрерывно зависит от x, то он симметричен относительно h1 и h2:

d2f (x; h1, h2) = d2f (x; h2, h1).

Аналогично определяется дифференциал dnf = dnf (x; h1,..., hn) любого порядка n.

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

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


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

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


Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Игры ⚽ Нужно решить контрольную?

Полезное


Смотреть что такое "Дифференциал (математич.)" в других словарях:

  • ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ — раздел математики, в к ром изучаются понятия производной и дифференциала и способы их применения к исследованию функций. Развитие Д. и. тесно связано с развитием интегрального исчисления. Неразрывно и их содержание. Вместе они составляют основу… …   Математическая энциклопедия

  • ЛОГИКА ДИАЛЕКТИЧЕСКАЯ —         см. в ст. Диалектика. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ЛОГИКА ДИАЛЕКТИЧЕСКАЯ …   Философская энциклопедия

  • ЗНАКИ МАТЕМАТИЧЕСКИЕ — условные обозначения, предназначенные для записи математич. понятий и выкладок. Напр., понятие квадратный корень из числа, равного отношению длины окружности к ее диаметру обозначается кратко а предложение отношение длины окружности к ее диаметру …   Математическая энциклопедия

  • НЕЛИНЕЙНЫЙ ОПЕРАТОР — отображение А векторного (как правило) пространства Xв векторное пространство Yнад общим полем скаляров, не обладающее свойством линейности, т. е. такое, что, вообще говоря, Если есть множество действительных чисел или комплексных чисел , то Н. о …   Математическая энциклопедия

  • Бернштейн, Сергей Натанович — (р. 1880) математик, проф. Харьковского ун та, член корреспондент Всесоюзной академии наук, действительный член Украинской акад. наук. По окончании средней школы отправился в Париж, прошел курс математических наук в Сорбонне, провел около 2 лет в …   Большая биографическая энциклопедия

  • ЛЕЙБНИЦ — (Leibniz) Готфрид Вильгельм (1646 1716) нем. философ, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском ун тах. В 1672 1676 в Париже. С 1676 состоял на службе у ганноверских… …   Философская энциклопедия

  • ТЕРМОДИНАМИКИ МАТЕМАТИЧЕСКИЕ ЗАДАЧИ — задачи, связанные с исследованием наиболее общих свойств макроскопич. систем, находящихся в состоянии термодинамич. равновесия, и процессов перехода между этими состояниями. Математич. аппарат макроскопич. термодинамики исходит из т. н. начал… …   Математическая энциклопедия

  • БЕСКОНЕЧНОМЕРНОЕ ПРЕДСТАВЛЕНИЕ — группы Ли представление группы Ли в бесконечномерном векторном пространстве. Теория представлений групп Ли есть часть общей теории, представлений то пологич. групп. Специфика групп Ли позволяет использовать в этой теории средства анализа (в… …   Математическая энциклопедия

  • МАТЕМАТИЧЕСКИЙ АНАЛИЗ — часть математики, в к рой функции и их обобщения изучаются методом пределов. Понятие предела тесно связано с понятием бесконечно малой величины, поэтому можно также сказать, что М. а. изучает функции и их обобщения методом бесконечно малых.… …   Математическая энциклопедия

  • Золотарев, Егор Иванович — известный математик, проф. Петроградского университета, адъюнкт Академии Наук, родился 31 марта 1847 г. в Петрограде, первоначальное образование получил в V Петроградской гимназии. По окончании в ней курса с серебряною медалью З. поступил в 1863… …   Большая биографическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»