Раздел II. Дифференциальное исчисление функций одной переменной — § 5. Производные и дифференциалы высших порядков

Демидович — задача 1145

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие и подробное решение по шагам.

Задача 1145

Пусть функция y=f(x)y=f(x) дифференцируема достаточное число раз. Найти производные x′x', x′′x'', x′′′x''', xIVx^{\mathrm{IV}} обратной функцииx=f−1(y),x=f^{-1}(y),предполагая, что эти производные существуют.

Решение

Здесь независимой переменной является yy, а функцией — x(y)x(y). Для краткости обозначим производные функции y=f(x)y=f(x) по переменной xx как yx′,yxx′′y'_x, y''_{xx} и т. д. По правилу дифференцирования обратной функции:xy′=1yx′x'_y = \frac{1}{y'_x}Для вычисления производных более высоких порядков используем правило дифференцирования сложной функции: ddy(… )=ddx(… )⋅xy′=ddx(… )⋅1yx′\frac{d}{dy}(\dots) = \frac{d}{dx}(\dots) \cdot x'_y = \frac{d}{dx}(\dots) \cdot \frac{1}{y'_x}
Вторая производная:xyy′′=(xy′)y′=(1yx′)x′⋅1yx′=−yxx′′(yx′)2⋅1yx′=−yxx′′(yx′)3x''_{yy} = (x'_y)'_y = \left( \frac{1}{y'_x} \right)'_x \cdot \frac{1}{y'_x} = -\frac{y''_{xx}}{(y'_x)^2} \cdot \frac{1}{y'_x} = -\frac{y''_{xx}}{(y'_x)^3}Третья производная:xyyy′′′=\displaystyle x'''_{yyy}\mathrel{=}(xyy′′)y′=\displaystyle (x''_{yy})'_y\mathrel{=}(−yxx′′(yx′)3)x′⋅1yx′=\displaystyle \left( -\frac{y''_{xx}}{(y'_x)^3} \right)'_x \cdot \frac{1}{y'_x}\mathrel{=}−yxxx′′′(yx′)3−yxx′′⋅3(yx′)2yxx′′(yx′)6⋅1yx′=\displaystyle -\frac{y'''_{xxx}(y'_x)^3 - y''_{xx} \cdot 3(y'_x)^2 y''_{xx}}{(y'_x)^6} \cdot \frac{1}{y'_x}\mathrel{=}3(yxx′′)2−yx′yxxx′′′(yx′)5\displaystyle \frac{3(y''_{xx})^2 - y'_x y'''_{xxx}}{(y'_x)^5}Четвёртая производная:xyyyyIV=\displaystyle x^{\mathrm{IV}}_{yyyy}\mathrel{=}(xyyy′′′)y′=\displaystyle (x'''_{yyy})'_y\mathrel{=}(3(yxx′′)2−yx′yxxx′′′(yx′)5)x′⋅1yx′=\displaystyle \left( \frac{3(y''_{xx})^2 - y'_x y'''_{xxx}}{(y'_x)^5} \right)'_x \cdot \frac{1}{y'_x}\mathrel{=}(6yxx′′yxxx′′′−yxx′′yxxx′′′−yx′yxxxxIV)(yx′)5−(3(yxx′′)2−yx′yxxx′′′)⋅5(yx′)4yxx′′(yx′)10⋅1yx′=\displaystyle \frac{(6y''_{xx}y'''_{xxx} - y''_{xx}y'''_{xxx} - y'_x y^{\mathrm{IV}}_{xxxx})(y'_x)^5 - (3(y''_{xx})^2 - y'_x y'''_{xxx}) \cdot 5(y'_x)^4 y''_{xx}}{(y'_x)^{10}} \cdot \frac{1}{y'_x}\mathrel{=}(5yxx′′yxxx′′′−yx′yxxxxIV)yx′−5yxx′′(3(yxx′′)2−yx′yxxx′′′)(yx′)7=\displaystyle \frac{(5y''_{xx}y'''_{xxx} - y'_x y^{\mathrm{IV}}_{xxxx})y'_x - 5y''_{xx}(3(y''_{xx})^2 - y'_x y'''_{xxx})}{(y'_x)^7}\mathrel{=}10yx′yxx′′yxxx′′′−15(yxx′′)3−(yx′)2yxxxxIV(yx′)7\displaystyle \frac{10y'_x y''_{xx}y'''_{xxx} - 15(y''_{xx})^3 - (y'_x)^2 y^{\mathrm{IV}}_{xxxx}}{(y'_x)^7}

Проверка

Ненулевое значение f′(x)f'(x) здесь необходимо: дифференцирование тождества f(x(y))=yf(x(y))=y даёт f′(x)xy′=1f'(x)x'_y=1. Поэтому все деления в решении законны в точках, где существуют указанные конечные производные обратной функции.
Демидович № 1145 — решение | Высшая математика — Профиматика