Свойства производных

Покажем, что множество функций, имеющих производную в некоторой фиксированной точке $ x_0$, замкнуто относительно арифметических операций с этими функциями. А именно, докажем следующую теорему, дающую основные правила дифференцирования.

        Теорема 4.2   Пусть функции $ f(x)$ и $ g(x)$ имеют производные в точке $ x$. Тогда функции $ w_1(x)=f(x)+g(x)$, $ w_2(x)=f(x)-g(x)$, $ w_3(x)=f(x)g(x)$, а в случае $ g(x)\ne0$ также $ w_4(x)=\dfrac{f(x)}{g(x)}$ имеют производные в точке $ x$, которые выражаются следующими формулами:
$\displaystyle w_1'(x)=(f(x)+g(x))'=f'(x)+g'(x);$(4.7)
$\displaystyle w_2'(x)=(f(x)-g(x))'=f'(x)-g'(x);$(4.8)
$\displaystyle w_3'(x)=(f(x)g(x))'=f'(x)g(x)+g'(x)f(x);$(4.9)
$\displaystyle w_4'(x)=\left(\dfrac{f(x)}{g(x)}\right)'=\dfrac{f'(x)g(x)-g'(x)f(x)}{(g(x))^2}.$(4.10)

Аналогичные утверждения и формулы имеют место также для односторонних производных $ w_i'(x\pm)$ ($ i=1,2,3,4$).
Криволинейный интеграл II рода (по координатам)

        Доказательство.     Докажем формулу (4.7). Пусть аргументу $ x$ дано приращение $ h$; при этом функция $ f(x)$ получает приращение $ {\Delta}f=f(x+h)-f(x)$, а функция $ g(x)$ -- приращение $ {\Delta}g=g(x+h)-g(x)$. Их сумма $ w_1(x)$ получит тогда приращение

$\displaystyle {\Delta}w_1=(f(x+h)+g(x+h))-(f(x)+g(x))=(f(x+h)-f(x))+(g(x+h)-g(x))= {\Delta}f+{\Delta}g.$
Значит,
$\displaystyle w_1'(x)=\lim_{h\to0}\dfrac{{\Delta}w_1}{h}= \lim_{h\to0}\left(\d... ...m_{h\to0}\dfrac{{\Delta}f}{h}+ \lim_{h\to0}\dfrac{{\Delta}g}{h}=f'(x)+g'(x). $
Совершенно аналогично доказывается формула (4.8).

Докажем теперь формулу (4.9). Пусть снова $ {\Delta}f$ и $ {\Delta}g$ -- приращения функций, соответствующие приращению $ {\Delta}x=h$ аргумента $ x$. Тогда $ f(x+h)=f(x)+{\Delta}f$, $ g(x+h)=g(x)+{\Delta}g$ и приращением произведения будет

\begin{multline*} {\Delta}w_3=f(x+h)g(x+h)-f(x)g(x)=(f(x)+{\Delta}f)(g(x)+{\Del... ...-f(x)g(x)=\\ =g(x){\Delta}f+f(x){\Delta}g+{\Delta}f{\Delta}g. \end{multline*}
Поэтому, по свойствам пределов,
\begin{multline*} w_3'(x)=\lim_{h\to0}\dfrac{{\Delta}w_3}{h}= \lim_{h\to0}\lef... ...\ =f'(x)g(x)+g'(x)f(x)+0\cdot f'(x)g'(x)=f'(x)g(x)+g'(x)f(x). \end{multline*}
При этом мы вынесли множители $ g(x)$ и $ f(x)$ за знак предела $ \lim\limits_{h\to0}$ как постоянные, не зависящие от переменного $ h$, к которому относится база предела.

Докажем теперь формулу (4.10). Заметим, что

$\displaystyle {\Delta}w_4=\dfrac{f(x)+{\Delta}f}{g(x)+{\Delta}g}-\dfrac{f(x)}{g... ...)(g(x)+{\Delta}g)}= \dfrac{g(x){\Delta}f-f(x){\Delta}g}{g(x)(g(x)+{\Delta}g)}.$
Поэтому, согласно правилам вычисления пределов,

\begin{multline*} w_4'=\lim_{h\to0}\dfrac{{\Delta}w_4}{h}= \lim_{h\to0}\dfrac{... ...}(g(x)f'(x)-f(x)g'(x))= \dfrac{f'(x)g(x)-g'(x)f(x)}{(g(x))^2}. \end{multline*}


При этом мы вынесли за знак предела постоянный (то есть не зависящий от $ h$) множитель $ \dfrac{1}{g(x)}$ и воспользовались тем, что $ {\Delta}g\to0$ при $ h\to0$, что означает непрерывность функции $ g(x)$ в точке $ x$. Но ранее мы доказали, что всякая дифференцируемая в точке $ x$ функция непрерывна в точке $ x$ ( теорема 4.1).     
      

Сравнение бесконечно больших величин

  Пример   Рассмотрим функцию $ f(x)=\left\{\begin{array}{ll} \mathop{\rm th}\nolimits \dfrac{1}{x},&\mbox{ при }x\ne0;\\ 1,&\mbox{ при }x=0. \end{array}\right.$ Эта функция непрерывна справа в точке $ x=0$. Найдём её производную справа в точке 0, сделав при этом замену $ z=\dfrac{1}{h}$ :
$\displaystyle f'(0)=\lim_{h\to0+}\dfrac{\mathop{\rm th}\nolimits \dfrac{1}{h}-1... ...p{\rm th}\nolimits z-1}{\dfrac{1}{z}}= \lim_{z\to+\infty}\dfrac{-2z}{e^z+1}=0,$
поскольку, как мы выяснили выше, экспонента $ e^z$ растёт быстрее $ z$ при $ z\to+\infty$.
Во всех остальных точках $ x\ne0$ производная вычисляется с помощью правил дифференцирования:

Классификация операционных систем Виртуальная память Реализация многозадачности
Системы безопасности Операционная система Linux Введение в компьютерные сети Принципы построения вычислительных систем Базовые технологии локальной сетиСредства анализа Процедуры и функции Pascal Язык запросов SQL Программирование на СИ Брандмауэры Протоколы TCP/IP Файловые системы Драйверы устройств