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

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

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

Задача 1145

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

Решение

Идея

Здесь независимой переменной является yy, а функцией — x(y)x(y). Для краткости обозначим производные функции y=f(x)y=f(x) по переменной xx как yx,yxxy'_x, y''_{xx} и т. д. По правилу дифференцирования обратной функции:xy=1yxx'_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)x1yx=yxx(yx)21yx=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=x'''_{yyy}\mathrel{=}(xyy)y=(x''_{yy})'_y\mathrel{=}(yxx(yx)3)x1yx=\left( -\frac{y''_{xx}}{(y'_x)^3} \right)'_x \cdot \frac{1}{y'_x}\mathrel{=}yxxx(yx)3yxx3(yx)2yxx(yx)61yx=-\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)2yxyxxx(yx)5\frac{3(y''_{xx})^2 - y'_x y'''_{xxx}}{(y'_x)^5}Четвёртая производная:xyyyyIV=x^{\mathrm{IV}}_{yyyy}\mathrel{=}(xyyy)y=(x'''_{yyy})'_y\mathrel{=}(3(yxx)2yxyxxx(yx)5)x1yx=\left( \frac{3(y''_{xx})^2 - y'_x y'''_{xxx}}{(y'_x)^5} \right)'_x \cdot \frac{1}{y'_x}\mathrel{=}(6yxxyxxxyxxyxxxyxyxxxxIV)(yx)5(3(yxx)2yxyxxx)5(yx)4yxx(yx)101yx=\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{=}(5yxxyxxxyxyxxxxIV)yx5yxx(3(yxx)2yxyxxx)(yx)7=\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{=}10yxyxxyxxx15(yxx)3(yx)2yxxxxIV(yx)7\frac{10y'_x y''_{xx}y'''_{xxx} - 15(y''_{xx})^3 - (y'_x)^2 y^{\mathrm{IV}}_{xxxx}}{(y'_x)^7}
Демидович № 1145 — решение