Цепное правило - Википедия - Chain rule

В исчисление, то Правило цепи это формула вычислить производная из составной функция. То есть, если ж и грамм находятся дифференцируемые функции, то цепное правило выражает производную их составных ж ∘ грамм - функция, отображающая Икс к ${ Displaystyle F (г (х))}$- в терминах производных от ж и грамм и продукт функций следующее:

${ Displaystyle (е circ g) '= (f' circ g) cdot g '.}$

В качестве альтернативы, позволяя час = ж ∘ грамм (эквивалент, час(Икс) = ж(грамм(Икс)) для всех Икс), можно также записать цепное правило в Обозначения Лагранжа, следующее:

${ displaystyle h '(x) = f' (g (x)) g '(x).}$

Цепное правило также можно переписать на Обозначения Лейбница следующим образом. Если переменная z зависит от переменной у, который сам зависит от переменной Икс (т.е. у и z находятся зависимые переменные ), тогда z, через промежуточную переменную у, зависит от Икс также. В этом случае цепное правило гласит, что:

${ displaystyle { frac {dz} {dx}} = { frac {dz} {dy}} cdot { frac {dy} {dx}}.}$

Точнее, чтобы указать точку, в которой оценивается каждая производная, ${ displaystyle left. { frac {dz} {dx}} right | _ {x} = left. { frac {dz} {dy}} right | _ {y (x)} cdot влево. { frac {dy} {dx}} right | _ {x}}$.

Варианты цепного правила в обозначениях Лагранжа и Лейбница эквивалентны в том смысле, что если ${ Displaystyle г = е (у) !}$ и ${ Displaystyle у = г (х) !}$, так что ${ Displaystyle Z = е (г (х)) = (е circ g) (х)}$, тогда

${ displaystyle left. { frac {dz} {dx}} right | _ {x} = (f circ g) '(x)}$

и

${ displaystyle left. { frac {dz} {dy}} right | _ {y (x)} cdot left. { frac {dy} {dx}} right | _ {x} = f '(y (x)) g' (x) = f '(g (x)) g' (x).}$^[1]

Интуитивно цепное правило гласит, что знание мгновенной скорости изменения z относительно у и что из у относительно Икс позволяет рассчитать мгновенную скорость изменения z относительно Икс. По словам Джордж Ф. Симмонс: «если машина едет в два раза быстрее велосипеда, а велосипед в четыре раза быстрее идущего человека, то машина едет в 2 × 4 = 8 раз быстрее человека».^[2]

В интеграция, аналогом цепного правила является правило замены.

История

Цепное правило, кажется, впервые было использовано Готфрид Вильгельм Лейбниц. Он использовал его для вычисления производной от ${ displaystyle { sqrt {а + bz + cz ^ {2}}}}$ как композиция функции квадратного корня и функции ${ Displaystyle а + bz + cz ^ {2} !}$. Он впервые упомянул об этом в мемуарах 1676 года (со знаковой ошибкой в ​​расчетах). Обычное обозначение цепного правила принадлежит Лейбницу.^[3] Гийом де л'Опиталь неявно использовал цепное правило в своем Анализируйте des infiniment petits. Цепное правило не встречается ни в одном из Леонард Эйлер книги по анализу, хотя они были написаны более чем через сто лет после открытия Лейбница.

Одно измерение

Первый пример

Предположим, что парашютист прыгает с самолета. Предположить, что т через секунды после прыжка его высота над уровнем моря в метрах определяется выражением грамм(т) = 4000 − 4.9т². Одна модель для атмосферное давление на высоте час является ж(час) = 101325 е^{−0.0001час}. Эти два уравнения можно дифференцировать и комбинировать различными способами для получения следующих данных:

• грамм′(т) = −9.8т скорость парашютиста во время т.
• ж′(час) = −10.1325е^{−0.0001час} - скорость изменения атмосферного давления по высоте на высоте час и пропорционален подъемная сила на парашютистке в час метров над уровнем моря. (Истинная подъемная сила зависит от объема парашютиста.)
• (ж ∘ грамм)(т) атмосферное давление, которое испытывает парашютист т секунд после его прыжка.
• (ж ∘ грамм)′(т) - скорость изменения атмосферного давления во времени при т секунд после прыжка парашютиста и пропорциональна выталкивающей силе парашютиста на т секунд после его прыжка.

Здесь цепное правило дает метод вычисления (ж ∘ грамм)′(т) с точки зрения ж′ и грамм′. Хотя всегда можно напрямую применить определение производной для вычисления производной сложной функции, обычно это очень сложно. Полезность цепного правила состоит в том, что оно превращает сложную производную в несколько простых производных.

Цепное правило гласит, что при соответствующих условиях

${ Displaystyle (е circ g) '(t) = f' (g (t)) cdot g '(t).}$

В этом примере это равно

${ Displaystyle (е circ g) '(t) = { big (} { mathord {-}} 10.1325e ^ {- 0,0001 (4000-4.9t ^ {2})} { big)} cdot { big (} { mathord {-}} 9.8t { big)}.}$

В формулировке цепного правила ж и грамм играть немного разные роли, потому что f ' оценивается в ${ Displaystyle г (т) !}$, в то время как грамм' оценивается в т. Это необходимо для правильной работы агрегатов.

Например, предположим, что мы хотим вычислить скорость изменения атмосферного давления через десять секунд после прыжка парашютиста. Это (ж ∘ грамм)′(10) и имеет единицы паскали в секунду. Фактор грамм′(10) в цепном правиле - скорость парашютиста через десять секунд после его прыжка, выраженная в метрах в секунду. ${ Displaystyle F '(г (10)) !}$ - изменение давления по высоте на высоте грамм(10) и выражается в паскалях на метр. Продукт ${ Displaystyle F '(г (10)) !}$ и ${ displaystyle g '(10) !}$ поэтому имеет правильные единицы паскалей в секунду.

Здесь обратите внимание, что невозможно оценить ж где-нибудь еще. Например, 10 в задаче представляет десять секунд, а выражение ${ displaystyle f '(10) !}$ будет представлять изменение давления на высоте десяти метров, что не то, что мы хотели. Аналогично, пока грамм′(10) = −98 имеет единицы метры в секунду, выражение ж′(грамм′(10)) будет представлять изменение давления на высоте -98 метров, что опять же не то, что мы хотели. Тем не мение, грамм(10) находится на высоте 3020 метров над уровнем моря, высота парашютиста через десять секунд после его прыжка, и это имеет правильные единицы для ввода в ж.

Заявление

Простейшая форма цепного правила - для действительных функций одного настоящий Переменная. В нем говорится, что если грамм - функция, дифференцируемая в точке c (т.е. производная грамм′(c) существует) и ж - функция, дифференцируемая в грамм(c), то составная функция ж ∘ грамм дифференцируема в c, а производная равна^[4]

${ displaystyle (е circ g) '(c) = f' (g (c)) cdot g '(c).}$

Правило иногда сокращается как

${ Displaystyle (е circ g) '= (f' circ g) cdot g '.}$

Если у = ж(ты) и ты = грамм(Икс), то эта сокращенная форма записывается в Обозначение Лейбница в качестве:

${ displaystyle { frac {dy} {dx}} = { frac {dy} {du}} cdot { frac {du} {dx}}.}$^[1]

Точки, в которых оцениваются производные, также могут быть указаны явно:

${ displaystyle left. { frac {dy} {dx}} right | _ {x = c} = left. { frac {dy} {du}} right | _ {u = g (c) } cdot left. { frac {du} {dx}} right | _ {x = c}.}$

Продолжая те же рассуждения, учитывая п функции ${ displaystyle f_ {1}, ldots, f_ {n} !}$ со сложной функцией ${ displaystyle f_ {1} circ (f_ {2} circ cdots (f_ {n-1} circ f_ {n})) !}$, если каждая функция ${ displaystyle f_ {i} !}$ дифференцируема на ее непосредственном входе, то составная функция также дифференцируема путем повторного применения цепного правила, где производная (в обозначениях Лейбница):

${ displaystyle { frac {df_ {1}} {dx}} = { frac {df_ {1}} {df_ {2}}} { frac {df_ {2}} {df_ {3}}} cdots { frac {df_ {n}} {dx}}.}$^[5]

Дальнейшие примеры

Отсутствие формул

Может оказаться возможным применить цепное правило, даже если нет формул для дифференцируемых функций. Это может произойти, когда производные измеряются напрямую. Предположим, что машина едет на высокую гору. Спидометр автомобиля измеряет скорость напрямую. Если оценка известно, то скорость подъема может быть рассчитана с использованием тригонометрия. Предположим, что автомобиль поднимается на 2,5 км / ч. Стандартные модели атмосферы Земли предполагают, что температура падает примерно 6.5 ° С за километр подъема (называемый скорость отклонения ). Чтобы найти падение температуры за час, мы можем применить цепное правило. Пусть функция грамм(т) быть высотой автомобиля во время т, и пусть функция ж(час) быть температурой час километров над уровнем моря. ж и грамм точно не известны: например, неизвестна высота, на которой машина начинает движение, и неизвестна температура на горе. Однако известны их производные: ж′ является −6,5 ° C / км, и грамм′ является 2,5 км / ч. Цепное правило гласит, что производная сложной функции является произведением производной от ж и производная от грамм. Это −6,5 ° C / км ⋅ 2,5 км / ч = −16,25 ° С / ч.

Одна из причин, почему это вычисление возможно, состоит в том, что ж′ - постоянная функция. Для более точного описания того, как температура возле автомобиля меняется во времени, потребуется точная модель того, как температура изменяется на разных высотах. Эта модель может не иметь постоянной производной. Чтобы вычислить изменение температуры в такой модели, необходимо знать грамм и не только грамм′, потому что не зная грамм невозможно знать, где оценивать ж′.

Композиты с более чем двумя функциями

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

Для конкретности рассмотрим функцию

${ displaystyle y = e ^ { sin (x ^ {2})}.}$

Его можно разложить на три функции:

${ Displaystyle { begin {align} y & = f (u) = e ^ {u}, [6pt] u & = g (v) = sin v = sin (x ^ {2}), [6pt] v & = h (x) = x ^ {2}. End {выравнивается}}}$

Их производные:

${ displaystyle { begin {align} { frac {dy} {du}} & = f '(u) = e ^ {u} = e ^ { sin (x ^ {2})}, [ 6pt] { frac {du} {dv}} & = g '(v) = cos v = cos (x ^ {2}), [6pt] { frac {dv} {dx}} & = h '(x) = 2x. end {выровнен}}}$

Цепное правило гласит, что производная их композиции в точке Икс = а является:

${ Displaystyle { begin {выровнен} (е circ g circ h) '(a) & = f' ((g circ h) (a)) cdot (g circ h) '(a) [10pt] & = f '((g circ h) (a)) cdot g' (h (a)) cdot h '(a) = (f' circ g circ h) (a) cdot (g ' circ h) (a) cdot h' (a). end {align}}}$

В обозначениях Лейбница это:

${ displaystyle { frac {dy} {dx}} = left. { frac {dy} {du}} right | _ {u = g (h (a))} cdot left. { frac {du} {dv}} right | _ {v = h (a)} cdot left. { frac {dv} {dx}} right | _ {x = a},}$

или для краткости,

${ displaystyle { frac {dy} {dx}} = { frac {dy} {du}} cdot { frac {du} {dv}} cdot { frac {dv} {dx}}.}$

Следовательно, производная функция:

${ displaystyle { frac {dy} {dx}} = e ^ { sin (x ^ {2})} cdot cos (x ^ {2}) cdot 2x.}$

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

${ Displaystyle (е circ g circ h) '(a) = (f circ g)' (h (a)) cdot h '(a) = f' (g (h (a))) cdot g '(h (a)) cdot h' (a).}$

Это то же самое, что было вычислено выше. Этого следовало ожидать, потому что (ж ∘ грамм) ∘ час = ж ∘ (грамм ∘ час).

Иногда необходимо различать сколь угодно длинную композицию вида ${ displaystyle f_ {1} circ f_ {2} circ cdots circ f_ {n-1} circ f_ {n} !}$. В этом случае определите

${ displaystyle f_ {a ,. ,. , b} = f_ {a} circ f_ {a + 1} circ cdots circ f_ {b-1} circ f_ {b}}$

куда ${ Displaystyle е_ {а ,. ,. , а} = е_ {а}}$ и ${ Displaystyle F_ {а ,. ,. , b} (х) = х}$ когда ${ displaystyle b$. Тогда цепное правило принимает вид

${ Displaystyle Df_ {1 ,. ,. , n} = (Df_ {1} circ f_ {2 ,. ,. , n}) (Df_ {2} circ f_ {3 , . ,. , n}) cdots (Df_ {n-1} circ f_ {n ,. ,. , n}) Df_ {n} = prod _ {k = 1} ^ {n } left [Df_ {k} circ f _ {(k + 1) ,. ,. , n} right]}$

или, в обозначениях Лагранжа,

${ displaystyle f_ {1 ,. ,. , n} '(x) = f_ {1}' left (f_ {2 ,. ,. , n} (x) right) ; f_ {2} ' left (f_ {3 ,. ,. , n} (x) right) cdots f_ {n-1}' left (f_ {n ,. ,. , n} (x) right) ; f_ {n} '(x) = prod _ {k = 1} ^ {n} f_ {k}' left (f _ {(k + 1 ,. , . , n)} (x) right)}$

Правило частного

Цепное правило можно использовать для вывода некоторых хорошо известных правил дифференциации. Например, правило частного является следствием цепного правила и правила правило продукта. Чтобы в этом убедиться, напишите функцию ж(Икс)/грамм(Икс) как продукт ж(Икс) · 1/грамм(Икс). Сначала примените правило продукта:

${ displaystyle { begin {align} { frac {d} {dx}} left ({ frac {f (x)} {g (x)}} right) & = { frac {d} { dx}} left (f (x) cdot { frac {1} {g (x)}} right) & = f '(x) cdot { frac {1} {g (x) }} + f (x) cdot { frac {d} {dx}} left ({ frac {1} {g (x)}} right). end {align}}}$

Чтобы вычислить производную от 1/грамм(Икс), обратите внимание, что это составная часть грамм с обратной функцией, то есть функцией, которая отправляет Икс к 1/Икс. Производная обратной функции равна ${ Displaystyle -1 / х ^ {2} !}$. Применяя цепное правило, последнее выражение становится:

${ displaystyle f '(x) cdot { frac {1} {g (x)}} + f (x) cdot left (- { frac {1} {g (x) ^ {2}}) } cdot g '(x) right) = { frac {f' (x) g (x) -f (x) g '(x)} {g (x) ^ {2}}},}$

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

Производные обратных функций

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

${ Displaystyle F (г (х)) = х.}$

И поскольку функции ${ Displaystyle е (г (х)) !}$ и Икс равны, их производные должны быть равны. Производная от Икс - постоянная функция со значением 1, а производная от ${ Displaystyle е (г (х)) !}$ определяется цепным правилом. Следовательно, мы имеем:

${ displaystyle f '(g (x)) g' (x) = 1.}$

Выражать f ' как функция независимой переменной у, мы подставляем ${ displaystyle f (y) !}$ за Икс где бы он ни появлялся. Тогда мы можем решить для f '.

${ Displaystyle { begin {align} f '(g (f (y))) g' (f (y)) & = 1 [5pt] f '(y) g' (f (y)) & = 1 [5pt] f '(y) = { frac {1} {g' (f (y))}}. End {выравнивается}}}$

Например, рассмотрим функцию грамм(Икс) = е^Икс. Имеет обратное ж(у) = ln у. Потому что грамм′(Икс) = е^Икс, приведенная выше формула говорит, что

${ displaystyle { frac {d} {dy}} ln y = { frac {1} {e ^ { ln y}}} = { frac {1} {y}}.}$

Эта формула верна всякий раз, когда грамм дифференцируема и обратная ей ж также дифференцируема. Эта формула может не работать, если одно из этих условий не выполняется. Например, рассмотрим грамм(Икс) = Икс³. Его обратное ж(у) = у^1/3, которая не дифференцируема в нуле. Если мы попытаемся использовать приведенную выше формулу для вычисления производной от ж в нуле, то мы должны оценить 1/грамм′(ж(0)). С ж(0) = 0 и грамм′(0) = 0, мы должны оценить 1/0, что не определено. Следовательно, в этом случае формула не работает. Это не удивительно, потому что ж не дифференцируема в нуле.

Высшие производные

Формула Фаа ди Бруно обобщает цепное правило на более высокие производные. При условии, что у = ж(ты) и ты = грамм(Икс), то первые несколько производных:

${ displaystyle { begin {align} { frac {dy} {dx}} & = { frac {dy} {du}} { frac {du} {dx}} [4pt] { frac { d ^ {2} y} {dx ^ {2}}} & = { frac {d ^ {2} y} {du ^ {2}}} left ({ frac {du} {dx}} справа) ^ {2} + { frac {dy} {du}} { frac {d ^ {2} u} {dx ^ {2}}} [4pt] { frac {d ^ {3} y} {dx ^ {3}}} & = { frac {d ^ {3} y} {du ^ {3}}} left ({ frac {du} {dx}} right) ^ {3 } +3 , { frac {d ^ {2} y} {du ^ {2}}} { frac {du} {dx}} { frac {d ^ {2} u} {dx ^ {2 }}} + { frac {dy} {du}} { frac {d ^ {3} u} {dx ^ {3}}} [4pt] { frac {d ^ {4} y} { dx ^ {4}}} & = { frac {d ^ {4} y} {du ^ {4}}} left ({ frac {du} {dx}} right) ^ {4} +6 , { frac {d ^ {3} y} {du ^ {3}}} left ({ frac {du} {dx}} right) ^ {2} { frac {d ^ {2} u} {dx ^ {2}}} + { frac {d ^ {2} y} {du ^ {2}}} left (4 , { frac {du} {dx}} { frac { d ^ {3} u} {dx ^ {3}}} + 3 , left ({ frac {d ^ {2} u} {dx ^ {2}}} right) ^ {2} right ) + { frac {dy} {du}} { frac {d ^ {4} u} {dx ^ {4}}}. end {выравнивается}}}$

Доказательства

Первое доказательство

Одно из доказательств цепного правила начинается с определения производной:

${ displaystyle (f circ g) '(a) = lim _ {x to a} { frac {f (g (x)) - f (g (a))} {x-a}}.}$

Предположим пока, что ${ Displaystyle г (х) !}$ не равно ${ Displaystyle г (а) !}$ для любого Икс возле а. Тогда предыдущее выражение равно произведению двух множителей:

${ displaystyle lim _ {x to a} { frac {f (g (x)) - f (g (a))} {g (x) -g (a)}} cdot { frac { g (x) -g (a)} {xa}}.}$

Если ${ displaystyle g}$ колеблется около а, то может случиться так, что независимо от того, насколько близко вы подойдете к а, всегда есть еще ближе Икс такой, что ${ Displaystyle г (х) !}$ равно ${ Displaystyle г (а) !}$. Например, это происходит для грамм(Икс) = Икс²грех (1 / Икс) рядом с точкой а = 0. Когда бы это ни происходило, приведенное выше выражение не определено, потому что оно включает деление на ноль. Чтобы обойти это, введите функцию ${ Displaystyle Q !}$ следующее:

${ Displaystyle Q (y) = { begin {case} { frac {f (y) -f (g (a))} {yg (a)}}, & y neq g (a), f '(g (a)), & y = g (a). end {case}}}$

Мы покажем, что коэффициент разницы за ж ∘ грамм всегда равно:

${ Displaystyle Q (g (x)) cdot { frac {g (x) -g (a)} {x-a}}.}$

В любое время грамм(Икс) не равно грамм(а), это ясно, потому что факторы грамм(Икс) − грамм(а) Отмена. Когда грамм(Икс) равно грамм(а), то коэффициент разности для ж ∘ грамм равен нулю, потому что ж(грамм(Икс)) равно ж(грамм(а)), а указанный выше продукт равен нулю, потому что он равен ж′(грамм(а)) умножить на ноль. Таким образом, указанный выше продукт всегда равен коэффициенту разности, и чтобы показать, что производная от ж ∘ грамм в а существует, и чтобы определить его значение, нам нужно только показать, что предел как Икс идет в а вышеуказанного продукта существует и определить его стоимость.

Для этого напомним, что предел продукта существует, если существуют пределы его факторов. Когда это происходит, предел произведения этих двух факторов будет равен произведению пределов факторов. Два фактора: Q(грамм(Икс)) и (грамм(Икс) − грамм(а)) / (Икс − а). Последний является коэффициентом разницы для грамм в а, и потому что грамм дифференцируема в а по предположению, его предел при Икс как правило а существует и равно грамм′(а).

Что касается Q(грамм(Икс)), Заметь Q определяется везде ж является. Более того, ж дифференцируема в грамм(а) по предположению, поэтому Q непрерывно на грамм(а), по определению производной. Функция грамм непрерывно на а потому что он дифференцируем на а, и поэтому Q ∘ грамм непрерывно на а. Так что его предел как Икс идет в а существует и равно Q(грамм(а)), который ж′(грамм(а)).

Это показывает, что пределы обоих факторов существуют и равны ж′(грамм(а)) и грамм′(а), соответственно. Следовательно, производная от ж ∘ грамм в а существует и равно ж′(грамм(а))грамм′(а).^[5]

Второе доказательство

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

${ displaystyle g (a + h) -g (a) = g '(a) h + varepsilon (h) h.}$

Здесь левая часть представляет собой истинную разницу между значением грамм в а и в а + час, тогда как правая часть представляет собой приближение, определяемое производной плюс член ошибки.

В ситуации цепного правила такая функция ε существует потому что грамм предполагается дифференцируемым в а. Опять-таки по предположению аналогичная функция существует и для ж в грамм(а). Вызов этой функции η, у нас есть

${ Displaystyle f (g (a) + k) -f (g (a)) = f '(g (a)) k + eta (k) k.}$

Приведенное выше определение не накладывает ограничений на η(0), хотя предполагается, что η(k) стремится к нулю при k стремится к нулю. Если мы установим η(0) = 0, тогда η непрерывна в 0.

Доказательство теоремы требует изучения разности ж(грамм(а + час)) − ж(грамм(а)) в качестве час стремится к нулю. Первый шаг - заменить грамм(а + час) используя определение дифференцируемости грамм в а:

${ Displaystyle е (г (а + ч)) - е (г (а)) = е (г (а) + г '(а) ч + varepsilon (ч) ч) -f (г (а)). }$

Следующим шагом будет использование определения дифференцируемости ж в грамм(а). Для этого требуется термин вида ж(грамм(а) + k) для некоторых k. В приведенном выше уравнении правильный k варьируется в зависимости от час. Набор k_час = грамм′(а) час + ε(час) час и правая сторона становится ж(грамм(а) + k_час) − ж(грамм(а)). Применение определения производной дает:

${ Displaystyle е (г (а) + к_ {ч}) - е (г (а)) = е '(г (а)) к_ {ч} + эта (к_ {ч}) к_ {ч}. }$

Чтобы изучить поведение этого выражения как час стремится к нулю, расширить k_час. После перегруппировки терминов правая часть станет:

${ Displaystyle f '(g (a)) g' (a) h + [f '(g (a)) varepsilon (h) + eta (k_ {h}) g' (a) + eta (k_ {h}) varepsilon (h)] h.}$

Потому что ε(час) и η(k_час) стремятся к нулю при час стремится к нулю, первые два члена в квадратных скобках стремятся к нулю, поскольку час стремится к нулю. Применяя ту же теорему о произведениях пределов, что и в первом доказательстве, третий член в квадратных скобках также стремится к нулю. Поскольку приведенное выше выражение равно разнице ж(грамм(а + час)) − ж(грамм(а)), по определению производной ж ∘ грамм дифференцируема в а и его производная ж′(грамм(а)) грамм′(а).

Роль Q в первом доказательстве играет η в этом доказательстве. Они связаны уравнением:

${ Displaystyle Q (y) = f '(g (a)) + eta (y-g (a)).}$

Необходимость определения Q в грамм(а) аналогично необходимости определить η на нуле.

Третье доказательство

Константин Каратеодори Альтернативное определение дифференцируемости функции может быть использовано для элегантного доказательства цепного правила.^[6]

Согласно этому определению функция ж дифференцируема в точке а тогда и только тогда, когда есть функция q, непрерывно на а и такой, что ж(Икс) − ж(а) = q(Икс)(Икс − а). Существует не более одной такой функции, и если ж дифференцируема в а тогда ж ′(а) = q(а).

Учитывая предположения цепного правила и тот факт, что дифференцируемые функции и композиции непрерывных функций непрерывны, мы имеем, что существуют функции q, непрерывно на грамм(а) и р, непрерывно на а и такой, что,

${ Displaystyle е (г (х)) - е (г (а)) = q (г (х)) (г (х) -g (а))}$

и

${ Displaystyle g (x) -g (a) = r (x) (x-a).}$

Следовательно,

${ Displaystyle е (г (х)) - е (г (а)) = q (г (х)) г (х) (х-а),}$

но функция, заданная час(Икс) = q(грамм(Икс))р(Икс) непрерывно на а, и мы получаем для этого а

${ Displaystyle (f (g (a))) '= q (g (a)) r (a) = f' (g (a)) g '(a).}$

Аналогичный подход работает для непрерывно дифференцируемых (векторных) функций многих переменных. Этот метод факторинга также позволяет использовать единый подход к более сильным формам дифференцируемости, когда требуется, чтобы производная была Липшицева непрерывная, Гёльдер непрерывный и т.д. Сама дифференциация может рассматриваться как теорема о полиномиальном остатке (немного Безу теорема, или факторная теорема), обобщенные на соответствующий класс функций.^{[нужна цитата ]}

Доказательство через бесконечно малые

Если ${ Displaystyle у = е (х)}$ и ${ Displaystyle х = г (т)}$ затем выбирая бесконечно малую ${ displaystyle Delta t not = 0}$ мы вычисляем соответствующие ${ Displaystyle Delta x = g (t + Delta t) -g (t)}$ а затем соответствующий ${ Displaystyle Delta y = f (x + Delta x) -f (x)}$, так что

${ displaystyle { frac { Delta y} { Delta t}} = { frac { Delta y} { Delta x}} { frac { Delta x} { Delta t}}}$

и применяя стандартная часть мы получаем

${ displaystyle { frac {dy} {dt}} = { frac {dy} {dx}} { frac {dx} {dt}}}$

что является цепным правилом.

Многопараметрический случай

Обобщение цепного правила на функции с несколькими переменными скорее технический. Однако проще написать в случае функций вида

${ displaystyle f (g_ {1} (x), dots, g_ {k} (x)).}$

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

В случае если ж(грамм₁(Икс), ... , грамм_k(Икс))

Для написания цепного правила для функции вида

ж(грамм₁(Икс), ... , грамм_k(Икс)),

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

${ displaystyle D_ {i} f}$

производная от ж в отношении его я-й аргумент, и

${ Displaystyle D_ {я} е (г)}$

значение этой производной при z.

В этих обозначениях цепное правило

${ displaystyle { frac {d} {dx}} f (g_ {1} (x), dots, g_ {k} (x)) = sum _ {i = 1} ^ {k} left ( { frac {d} {dx}} {g_ {i}} (x) right) D_ {i} f (g_ {1} (x), dots, g_ {k} (x)).}$

Пример: арифметические операции

Если функция ж является сложением, то есть если

${ Displaystyle е (и, v) = и + v,}$

тогда ${ displaystyle D_ {1} f = { frac { partial f} { partial u}} = 1}$ и ${ displaystyle D_ {2} f = { frac { partial f} { partial v}} = 1}$. Таким образом, цепное правило дает

${ displaystyle { frac {d} {dx}} (g (x) + h (x)) = left ({ frac {d} {dx}} g (x) right) D_ {1} f + left ({ frac {d} {dx}} h (x) right) D_ {2} f = { frac {d} {dx}} g (x) + { frac {d} {dx} } h (x).}$

Для умножения

${ Displaystyle е (и, v) = уф,}$

частичные ${ displaystyle D_ {1} f = v}$ и ${ displaystyle D_ {2} f = u.}$ Таким образом,

${ Displaystyle { гидроразрыва {d} {dx}} (г (х) час (х)) = час (х) { гидроразрыва {d} {dx}} г (х) + г (х) { гидроразрыва {d} {dx}} h (x).}$

Случай возведения в степень

${ Displaystyle е (и, v) = и ^ {v}}$

немного сложнее, так как

${ displaystyle D_ {1} f = vu ^ {v-1},}$

и, как ${ Displaystyle и ^ {v} = е ^ {v ln u},}$

${ Displaystyle D_ {2} е = и ^ {v} ln u.}$

Следует, что

${ displaystyle { frac {d} {dx}} (g (x) ^ {h (x)}) = h (x) g (x) ^ {h (x) -1} { frac {d} {dx}} g (x) + g (x) ^ {h (x)} ln g (x) { frac {d} {dx}} h (x).}$

Общее правило

Самый простой способ записать цепное правило в общем случае - использовать полная производная, которое представляет собой линейное преобразование, охватывающее все направленные производные в единой формуле. Рассмотрим дифференцируемые функции ж : р^м → р^k и грамм : р^п → р^м, и точка а в р^п. Позволять D_а грамм обозначают полную производную от грамм в а и D_{грамм(а)} ж обозначают полную производную от ж в грамм(а). Эти две производные являются линейными преобразованиями р^п → р^м и р^м → р^kсоответственно, чтобы их можно было составить. Цепное правило для полных производных состоит в том, что их состав - это полная производная от ж ∘ грамм в а:

${ displaystyle D _ { mathbf {a}} (f circ g) = D_ {g ( mathbf {a})} f circ D _ { mathbf {a}} g,}$

или для краткости,

${ Displaystyle D (е circ g) = Df circ Dg.}$

Правило многомерной цепи можно доказать, используя технику, аналогичную второму доказательству, приведенному выше.^[7]

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

${ Displaystyle J_ {е circ g} ( mathbf {a}) = J_ {f} (g ( mathbf {a})) J_ {g} ( mathbf {a}),}$

или для краткости,

${ displaystyle J_ {f circ g} = (J_ {f} circ g) J_ {g}.}$

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

Правило одномерной цепи является обобщением правила одномерной цепи. Если k, м, и п равны 1, так что ж : р → р и грамм : р → р, то матрицы Якоби ж и грамм находятся 1 × 1. В частности, это:

${ displaystyle { begin {align} J_ {g} (a) & = { begin {pmatrix} g '(a) end {pmatrix}}, J_ {f} (g (a)) & = { begin {pmatrix} f '(g (a)) end {pmatrix}}. end {align}}}$

Якобиан ж ∘ грамм продукт этих 1 × 1 матрицы, так что это ж′(грамм(а))⋅грамм′(а), как и следовало ожидать из правила одномерной цепи. На языке линейных преобразований D_а(грамм) - функция, которая масштабирует вектор с коэффициентом грамм′(а) и D_{грамм(а)}(ж) - функция, которая масштабирует вектор с коэффициентом ж′(грамм(а)). Цепное правило гласит, что комбинация этих двух линейных преобразований является линейным преобразованием D_а(ж ∘ грамм), и, следовательно, это функция, которая масштабирует вектор на ж′(грамм(а))⋅грамм′(а).

Другой способ написания цепного правила используется, когда ж и грамм выражаются в терминах своих компонентов как у = ж(ты) = (ж₁(ты), …, ж_k(ты)) и ты = грамм(Икс) = (грамм₁(Икс), …, грамм_м(Икс)). В этом случае приведенное выше правило для якобиевых матриц обычно записывается как:

${ displaystyle { frac { partial (y_ {1}, ldots, y_ {k})} { partial (x_ {1}, ldots, x_ {n})}} = { frac { partial (y_ {1}, ldots, y_ {k})} { partial (u_ {1}, ldots, u_ {m})}} { frac { partial (u_ {1}, ldots, u_ {m})} { partial (x_ {1}, ldots, x_ {n})}}.}$

Цепное правило для полных производных подразумевает цепное правило для частных производных. Напомним, что когда существует полная производная, частная производная в я-го координатное направление находится путем умножения матрицы Якоби на я-й базисный вектор. Выполняя это по приведенной выше формуле, мы находим:

${ displaystyle { frac { partial (y_ {1}, ldots, y_ {k})} { partial x_ {i}}} = { frac { partial (y_ {1}, ldots, y_ {k})} { partial (u_ {1}, ldots, u_ {m})}} { frac { partial (u_ {1}, ldots, u_ {m})} { partial x_ { я}}}.}$

Поскольку элементы матрицы Якоби являются частными производными, мы можем упростить приведенную выше формулу, чтобы получить:

${ displaystyle { frac { partial (y_ {1}, ldots, y_ {k})} { partial x_ {i}}} = sum _ { ell = 1} ^ {m} { frac { partial (y_ {1}, ldots, y_ {k})} { partial u _ { ell}}} { frac { partial u _ { ell}} { partial x_ {i}}}. }$

Более концептуально это правило выражает тот факт, что изменение Икс_я направление может изменить все грамм₁ через грамм_м, и любое из этих изменений может повлиять на ж.

В частном случае, когда k = 1, так что ж является вещественной функцией, то эта формула еще более упрощается:

${ displaystyle { frac { partial y} { partial x_ {i}}} = sum _ { ell = 1} ^ {m} { frac { partial y} { partial u _ { ell} }} { frac { partial u _ { ell}} { partial x_ {i}}}.}$

Это можно переписать как скалярное произведение. Напоминая, что ты = (грамм₁, …, грамм_м), частная производная ∂ты / ∂Икс_я также является вектором, а цепное правило гласит:

${ displaystyle { frac { partial y} { partial x_ {i}}} = nabla y cdot { frac { partial mathbf {u}} { partial x_ {i}}}.}$

Пример

Данный ты(Икс, у) = Икс² + 2у куда Икс(р, т) = р грех (т) и у(р,т) = грех²(т), определить значение ∂ты / ∂р и ∂ты / ∂т используя цепное правило.

${ displaystyle { frac { partial u} { partial r}} = { frac { partial u} { partial x}} { frac { partial x} { partial r}} + { frac { partial u} { partial y}} { frac { partial y} { partial r}} = (2x) ( sin (t)) + (2) (0) = 2r sin ^ {2 } (t),}$

и

${ displaystyle { begin {align} { frac { partial u} { partial t}} & = { frac { partial u} { partial x}} { frac { partial x} { partial t}} + { frac { partial u} { partial y}} { frac { partial y} { partial t}} & = (2x) (r cos (t)) + (2 ) (2 sin (t) cos (t)) & = (2r sin (t)) (r cos (t)) + 4 sin (t) cos (t) & = 2 (r ^ {2} +2) sin (t) cos (t) & = (r ^ {2} +2) sin (2t). End {выравнивается}}}$

Высшие производные функций многих переменных

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

${ displaystyle { frac { partial ^ {2} y} { partial x_ {i} partial x_ {j}}} = sum _ {k} left ({ frac { partial y} { частичный u_ {k}}} { frac { partial ^ {2} u_ {k}} { partial x_ {i} partial x_ {j}}} right) + sum _ {k, ell} left ({ frac { partial ^ {2} y} { partial u_ {k} partial u _ { ell}}} { frac { partial u_ {k}} { partial x_ {i}} } { frac { partial u _ { ell}} { partial x_ {j}}} right).}$

Дальнейшие обобщения

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

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

Цепное правило также действует для Производные Фреше в Банаховы пространства. Формула та же, что и раньше.^[8] Этот и предыдущий случай допускают одновременное обобщение на Банаховы многообразия.

В дифференциальная алгебра, производная интерпретируется как морфизм модулей Дифференциалы Kähler. А кольцевой гомоморфизм из коммутативные кольца ж : р → S определяет морфизм кэлеровых дифференциалов Df : Ω_р → Ω_S который отправляет элемент доктор к d(ж(р)) внешний дифференциал ж(р). Формула D(ж ∘ грамм) = Df ∘ Dg справедливо и в этом контексте.

Общей чертой этих примеров является то, что они выражают идею о том, что производная является частью функтор. Функтор - это операция над пространствами и функциями между ними. Он связывает с каждым пространством новое пространство, а с каждой функцией между двумя пространствами - новую функцию между соответствующими новыми пространствами. В каждом из приведенных выше случаев функтор отправляет каждое пространство в его касательный пучок и он отправляет каждую функцию ее производной. Например, в случае многообразия производная посылает C^р-многообразие к C^р−1-многообразие (его касательное расслоение) и C^р-функция к своей полной производной. Существует одно требование для того, чтобы это был функтор, а именно, что производная композиции должна быть смесью производных. Это в точности формула D(ж ∘ грамм) = Df ∘ Dg.

Также существуют цепные правила в стохастическое исчисление. Один из них, Лемма Ито, выражает состав процесса Itō (или, в более общем смысле, семимартингал ) dX_т с дважды дифференцируемой функцией ж. В лемме Ито производная сложной функции зависит не только от dX_т и производная от ж но и на второй производной от ж. Зависимость от второй производной является следствием ненулевой квадратичная вариация стохастического процесса, что в широком смысле означает, что процесс может двигаться вверх и вниз очень грубо. Этот вариант цепного правила не является примером функтора, потому что две составляемые функции имеют разные типы.

Смотрите также

• Интеграция заменой
• Интегральное правило Лейбница
• Правило частного
• Правило тройного продукта
• Правило продукта
• Автоматическая дифференциация, вычислительный метод, который интенсивно использует цепное правило для вычисления точных числовых производных.

Рекомендации

внешняя ссылка

• «Правило Лейбница», Энциклопедия математики, EMS Press, 2001 [1994]
• Вайсштейн, Эрик В. "Правило цепи". MathWorld.