дипломы,диссертации,курсовые,контрольные,рефераты,отчеты  на заказ
Деструктор Точечные изображения как объекты Геометрическая оптика Фотоэлектрический эффект Ядерные реакции Волновые свойства Квантовая механика Электромагнитное поле Задачник по ядерной физике Квантовая физика Электростатика Математика MATLAB Компьютерная математика Maple Лекции по математике учебник Outlook На главную Числовые ряды

Производная композиции

Пусть $ f(u)$ и $ {\varphi}(x)$ -- такие числовые функции, что определена их композиция $ g(x)=(f\circ{\varphi})(x)=f({\varphi}(x))$. Предположим, что функция $ {\varphi}(x)$ определена в некоторой окрестности точки $ x_0$, а функция $ f(u)$ -- в некоторой окрестности точки $ u_0={\varphi}(x_0)$. Тогда имеет место следующее утверждение.

        Теорема 4.4   Если функция $ {\varphi}(x)$ имеет производную $ {\varphi}'(x_0)$, а функция $ f(u)$ -- производную $ f'(u_0)$, то композиция $ g(x)=f({\varphi}(x))$ имеет производную

$\displaystyle g'(x_0)=f'(u_0){\varphi}'(x_0).$(4.13)

        Доказательство.     Рассмотрим приращение функции $ g(x)$, соответствующее приращению $ {\Delta}x=h$ переменного $ x$:

$\displaystyle {\Delta}g(x_0;h)=g(x_0+h)-g(x_0)=f({\varphi}(x_0+h))-f({\varphi}(x_0))=
{\Delta}f(u_0;{\Delta}{\varphi}),$

где $ u_0={\varphi}(x_0)$ и $ {\Delta}{\varphi}-{\varphi}(x_0+h)-{\varphi}(x_0)$. Так как функция $ f(u)$ имеет дифференциал в точке $ u_0$ то

$\displaystyle {\Delta}f(u_0;{\Delta}{\varphi})=f'(u_0){\Delta}{\varphi}+{\alpha...
...arphi}(x_0)h+{\beta}(x_0;h)h)+{\alpha}(u_0;{\Delta}{\varphi}){\Delta}{\varphi},$

где $ {\alpha}(u_0;{\Delta}{\varphi})\to0$ при $ {\Delta}{\varphi}\to0$ и $ {\beta}(x_0;h)\to0$ при $ h\to0$. Раскрываем скобки далее:

$\displaystyle {\Delta}g(x_0;h)=f'(u_0){\varphi}'(x_0)h+f'(u_0){\beta}(x_0;h)h+{...
...ta}{\varphi}){\varphi}'(x_0)h+
 {\alpha}(u_0;{\Delta}{\varphi}){\beta}(x_0;h)h=$   
$\displaystyle =f'(u_0){\varphi}(x_0)h+h[
 f'(u_0){\beta}(x_0;h)+{\alpha}(u_0;{\Delta}{\varphi}){\varphi}'(x_0)+
 {\alpha}(u_0;{\Delta}{\varphi}){\beta}(x_0;h)].$   
Цветовые палитры и модели цвета Регистрация параметров ядерного взрыва Дифференциальные уравнения Системы передачи
информации

Теперь, в соответствии с теоремой 4.3, осталось доказать, что в последней формуле в квадратных скобках стоит величина, бесконечно малая при $ h\to0$. Первое слагаемое $ f'(u_0){\beta}(x_0;h)$ бесконечно мало, поскольку $ f'(u_0)$ вообще не зависит от $ h$, а $ {\beta}(x_0;h)$ -- бесконечно малая при базе $ h\to0$. Во втором слагаемом $ {\alpha}(u_0;{\Delta}{\varphi}){\varphi}'(x_0)$ постоянной является величина $ {\varphi}'(x_0)$. Покажем, что $ {\alpha}(u_0;{\Delta}{\varphi})={\alpha}(u_0;{\varphi}(x_0+h)-{\varphi}(x_0))\to0$ при $ h\to0$. Так как функция $ {\varphi}(x)$ имеет производную при $ x=x_0$, то $ {\varphi}(x)$ непрерывна в точке $ x_0$, откуда $ {\varphi}(x_0+h)\to{\varphi}(x_0)$ и, следовательно, $ {\Delta}{\varphi}={\varphi}(x_0+h)-{\varphi}(x_0)\to0$ при $ h\to0$. Поэтому $ {\alpha}(u_0;{\Delta}{\varphi})\to0$ при $ h\to0$, по предположению о величине $ {\alpha}$. Для третьего слагаемого $ {\alpha}(u_0;{\Delta}{\varphi}){\beta}(x_0;h)$ заметим, что $ {\alpha}$, как только что было доказано, есть бесконечно малая и, следовательно, локально ограниченная функция при $ h\to0$, а $ {\beta}$ -- бесконечно малая. Значит, их произведение также бесконечно мало при $ h\to0$. Тем самым, в квадратных скобках стоит сумма трёх бесконечно малых, которая также является бесконечно малой величиной. Теорема доказана.     

   

Объектно-ориентированный подход CorelDRAW Установка параметров цвета в цифровом виде Искусство Западная Европа Трехмерное объектно-ориентированное программное обеспечение CAD Эффект Комптона Волновые свойства электронов Геометрическая оптика Фотоэлектрический эффект Строение атомных ядер Волновые свойства микрочастиц Математические пакеты Моделирование и расчет электронных схем Конструкционные материалы Релятивистская механика Справочник по физикеПрикладная математика Архитектурное проектирование ArchiCAD Строительное и ландшафтного проектирования Planix Home 3D Architect Функции преобразования ;