Рассмотрим функцию
. Если предположить, что
-- независимая переменная, то
![]()
Если же рассматривать переменную
как промежуточный аргумент, зависящий от независимого переменного
, то есть
, то
-- это композиция, и дифференциал
можно найти, применив формулу для производной сложной функции:
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.
![]()
поскольку
. Так что и в этом случае, как и в случае независимой переменной
, верна формула
, только теперь
понимается как дифференциал функции, а не независимого переменного.
Тот факт, что во всех случаях, независимо от предположения о том, чем является переменная
, формула
имеет место, называется инвариантностью дифференциала.
Покажем, что множество функций, имеющих производную в некоторой фиксированной точке
, замкнуто относительно арифметических операций с этими функциями. А именно, докажем следующую теорему, дающую основные правила дифференцирования.
Теорема 4.2 Пусть функциии
имеют производные в точке
. Тогда функции
,
,
, а в случае
также
имеют производные в точке
, которые выражаются следующими формулами:
Аналогичные утверждения и формулы имеют место также для односторонних производных(
).
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.Доказательство. Докажем формулу (4.7). Пусть аргументу
дано приращение
; при этом функция
получает приращение
, а функция
-- приращение
. Их сумма
получит тогда приращение
Значит,
Совершенно аналогично доказывается формула (4.8).Докажем теперь формулу (4.9). Пусть снова
и
-- приращения функций, соответствующие приращению
аргумента
. Тогда
,
и приращением произведения будет
Поэтому, по свойствам пределов,
При этом мы вынесли множителии
за знак предела
как постоянные, не зависящие от переменного
, к которому относится база предела.
Докажем теперь формулу (4.10). Заметим, что
![]()
Неопределенный интегралВекторное произведение векторов Трассировка пиксельных изображений Adobe Illustrator Линейные блоковые коды