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

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

В определении дифференцируемости можно доопределить функции в точке , положив . Тогда при (а может быть, и принимает значения ). Но тогда (так как у нас доопределены в точке нулем) и , таким образом, Рассмотрим теперь случай, когда . Применяя полученное выше правило, получим, в очевидных обозначениях

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

Следствие. Следствием этих правил является инвариантность формы первого дифференциала. Именно, пусть . Тогда .

Это означает, что как в случае независимых переменных , так и в случае зависимых переменных .

КАСАТЕЛЬНАЯ ПЛОСКОСТЬ

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

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

ПРОИЗВОДНАЯ ПО НАПРАВЛЕНИЮ, ГРАДИЕНТ

Пусть мы снова рассматриваем график функции и сечения этой поверхности плоскостями, проходящими через точку плоскости OXY и параллельными оси Z. В сечениях получаются кривые, проходящие через точку . Проекция такой кривой на плоскость OXY есть прямая линия, проходящая через точку . Будем обозначать направляющий вектор этой прямой через , а точки прямой – буквами М. Введём понятие величины отрезка :

длине отрезка со знаком “+”, если и имеют одинаковые направления;

длине отрезка со знаком “-”, если и имеют разные направления;

Предположим теперь, что мы рассматриваем некоторую плоскость, на ней фиксируем точку и направление . Пусть для этой точки плоскости определена величина - функция от точки М.

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

Рассмотрим теперь точки М, лежащие на прямой, проходящей через в указанном направлении и соответствующую величину ; если существует предел этой величины при стремлении М к М₀ вдоль прямой, то он называется производной z(M) в точке M₀ по направлению и обозначается . Как мы видим, в определении производной по направлению координаты не участвовали. Однако для получения простой формулы для вычисления этой производной удобно ввести систему координат. Итак, пусть имеет координаты , М – координаты , имеет координаты . Тогда вводя параметризацию , , для прямой, соединяющей М₀ с М, М₀М=t , получаем: (т. к. мы предположили, что z – дифференцируема в )

При и . Поэтому

Аналогично, в случае 3-х переменных

Скалярное произведение в правых частях или можно представить, как (поскольку ), где - угол между и заданным направлением .

Мы видим, что это выражение имеет наибольшую величину, когда . Это позволяет определить градиент, как вектор, модуль которого равен наибольшей из величин производных по направлению в этой точке. А направление его как раз такое, в котором производная достигает наибольшей величины. Это определение градиента, в котором не участвуют координаты, позволяет рассматривать его как характеристику функции, не зависящую от наблюдателя.

Установим ряд важных свойств градиента: пусть и имеют все частные производные 1-го порядка. Тогда

1. ;

2. ;

3. ;

4. Если , то ;

5. Если - функция одной переменной, имеющая производную, то .