Производная и ее геометрический и физический смысл.

n°1. Понятие производной.

 

Пусть и . Точка называется внутренней точкой множества , если она принадлежит ему вместе с некоторой своей окрестностью, т.е. существует такая окрестность точки , что .

Пусть теперь функция определена на множестве и - внутренняя точка множества .Тогда существует такая окрестность точки , что и, следовательно, функция

определена на множестве и – точка сгущения этого множества. Таким образом, корректно следующее

Определение 1. Если существует предел

,

то он называется производной функции в точке .

Производная функции () в точке обозначается одним из следующих символов:

, , , ,

при этом если ясно, в какой точке рассматривается производная, то для ее обозначения используют символы: , , , .

Таким образом,

 

(1)

 

Замечание 1: Если положить , , то теорема о пределе суперпозиции позволяет также определить производную с помощью любого из равенств:

, (2)

 

. (3)

Величины и называют, соответственно, приращением аргумента и приращением функции в точке . В соответствии с равенством (3), можно сказать, что производная равна пределу отношения приращения функции (в точке ) к приращению аргумента.

Замечание 2: Определение производной выше было дано в предположении, что точка - внутренняя точка области определения функции . Если же точка не является внутренней точкой множества , но принадлежит этому множеству вместе с некоторой своей односторонней окрестностью , или , то можно ввести понятие односторонней производной:

(правая производная)

(левая производная).

Замечание 3: Если предел (1) равен или , то производная называется бесконечной.

Теорема 1.Пусть функция определена в окрестности точки и имеет в этой точке конечную производную. Тогда она непрерывна в этой точке.

Д о к а з а т е л ь с т в о. Достаточно заметить, что

 

 

 

§2. Дифференцируемые функции. Понятие дифференциала и его геометрический и физический смысл.

Пусть функция определена в окрестности точки .

Определение 1. Если существует такая линейная функция вещественного аргумента (), что приращение функции может быть представлено в виде

 

(1)

 

где - бесконечно малая при высшего порядка по сравнению с функцией (т.е. при ), то функция называется дифференцируемой в точке , а соответствующая линейная функция называется ее дифференциалом в этой точке.

Дифференциал функции в точке обычно обозначается одним из символов:

или .

В последнем случае имеют в виду, что , при этом часто опускают указание о том, в какой точке рассматривается этот дифференциал, т.е. для обозначения дифференциала используют символы или . Таким образом,

. (2)

 

Замечание 1: Очевидно, равенство (1) можно записать в виде

 

(1’)

 

,

где , или, короче, в виде

 

(1’’)

где - приращение функции в точке , соответствующее приращению аргумента . Поэтому вместо (2) также пишут:

(2’)

т.е. трактуют аргумент в (2) как переменное приращение аргумента функции в точке .

Теорема 1. Для того, чтобы функция была дифференцируемой в точке , необходимо и достаточно, чтобы она имела в этой точке конечную производную .

Д о к а з а т е л ь с т в о. Необходимость. Пусть функция дифференцируема в точке . Тогда из равенства (1) следует, что

Это означает, что существует конечная производная

.

Достаточность. Предположим, что в точке функция имеет конечную производную . Тогда из равенства

следует, что

, (3)

где - бесконечно малая при функция. Поэтому

(4)

и так как

(ибо ),

то равенство (4) можно записать в виде:

, (5)

 

т.е. в виде (1), где . Таким образом, функция дифференцируема в точке . □

Замечание 2: С учетом доказательства теоремы можно утверждать, что дифференциал функции в точке есть следующая линейная функция от приращения аргумента :

. (6)

А поскольку для функции имеем , то

,

т.е.

,

то можно сказать, что- - дифференциал независимой переменной и, следовательно, определению дифференциала можно придать форму:

. (7)

Отсюда, в частности, становится понятным, почему для обозначения производной используют также обозначение .

Геометрический смысл дифференциала: Нетрудно убедиться, что значение дифференциала в точке равно приращению ординаты касательной к графику функции в точке . Подробнее об этои см. учебники Фихтенгольца и Кудрявцева.

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

 

§3. Арифметические операции с дифференцируемыми функциями.

Теорема. Пусть функции и определены в окрестности точки и дифференцируемы в этой точке. Тогда в этой точке дифференцируема и каждая из функций

, , и (при ),

причем

 

, (1)

 

, (2)

 

, (3)

 

. (4)

 

Д о к а з а т е л ь с т в о: 1. Дифференцируемость функции и равенство (1) очевидно будут установлены, если будут установлены дифференцируемость функции и равенство (3). В последнем случае достаточно будет рассмотреть функцию .

2. Дифференцируемость функции и равенство (2) вытекают из того, что имеют место равенства

и из того, что по условию существуют конечные пределы

и ,

при этом следует помнить, что дифференцируемость функции в точке равносильна существованию конечной ее производной в этой точке.

3. Дифференцируемость произведения функций и равенство (3).

Пусть

.

Тогда

,

и, следовательно,

.

(5)

 

В силу дифференцируемости функций и в точке , существуют конечные пределы

, и (6)

Поэтому из (5) следует, что существует конечный предел

, (7)

т.е. функция дифференцируема в точке . Переходя в равенстве (5) к пределу при с учетом равенств (6) и (7) получим равенство (3).

4. Дифференцируемость и равенство (4). Положим . По крайней мере, в некоторой окрестности точки , это определение корректно, так как и функция непрерывна в точке .

Далее, имеем:

,

и, следовательно,

.

Рассуждая теперь аналогично пункту 3 данного доказательства, убеждаемся, что функция дифференцируема в точке , а переходя здесь к пределу при получим также и равенство (4). □

 

Замечание (о формулах для дифференциалов, вытекающих из формул (1) - (6)). Учитывая, что дифференциал функции в точке находится по правилу из формул (1)–(4) , умножая каждую из них на , получим следующие формулы для дифференциалов:

 

(здесь );

 

;

 

;

 

.