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