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

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

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

Найти y(n)y^{(n)}, если:

Задача 1192

y=x1+x3y=\frac{x}{\sqrt[3]{1+x}}

Решение

Представим функцию в виде произведения y=x(1+x)−1/3y = x(1+x)^{-1/3} и воспользуемся формулой Лейбница для нахождения nn-й производной:
(uv)(n)=∑k=0n(nk)u(k)v(n−k)(uv)^{(n)} = \sum_{k=0}^n \binom{n}{k} u^{(k)} v^{(n-k)}Положим u=xu = x и v=(1+x)−1/3v = (1+x)^{-1/3}. Поскольку uu — многочлен первой степени, отличны от нуля только u(0)=xu^{(0)} = x и u(1)=1u^{(1)} = 1. Тогда для n≥1n \ge 1 сумма содержит лишь два ненулевых слагаемых:y(n)=xv(n)+nv(n−1)y^{(n)} = x v^{(n)} + n v^{(n-1)}Выведем формулу для kk-й производной функции v=(1+x)−1/3v = (1+x)^{-1/3}:v(1)=−13(1+x)−4/3v^{(1)} = -\frac{1}{3}(1+x)^{-4/3}v(2)=−13(−43)(1+x)−7/3=(−1)21⋅432(1+x)−7/3v^{(2)} = -\frac{1}{3} \left(-\frac{4}{3}\right)(1+x)^{-7/3} = (-1)^2 \frac{1 \cdot 4}{3^2}(1+x)^{-7/3}v(k)=(−1)k1⋅4⋅7…(3k−2)3k(1+x)−k−1/3v^{(k)} = (-1)^k \frac{1 \cdot 4 \cdot 7 \dots (3k-2)}{3^k} (1+x)^{-k-1/3}Подставим v(n)v^{(n)} и v(n−1)v^{(n-1)} в выражение для y(n)y^{(n)}:y(n)=x(−1)n1⋅4…(3n−2)3n(1+x)−n−1/3+n(−1)n−11⋅4…(3n−5)3n−1(1+x)−n+2/3\begin{aligned}
y^{(n)} &= x (-1)^n \frac{1 \cdot 4 \dots (3n-2)}{3^n} (1+x)^{-n-1/3} \\
&\quad + n (-1)^{n-1} \frac{1 \cdot 4 \dots (3n-5)}{3^{n-1}} (1+x)^{-n+2/3}
\end{aligned}
Вынесем общий множитель (−1)n−11⋅4…(3n−5)3n(1+x)−n−1/3(-1)^{n-1} \frac{1 \cdot 4 \dots (3n-5)}{3^n} (1+x)^{-n-1/3} за скобки:y(n)=(−1)n−11⋅4…(3n−5)3n(1+x)−n−1/3[−x(3n−2)+n⋅3(1+x)]y^{(n)} = (-1)^{n-1} \frac{1 \cdot 4 \dots (3n-5)}{3^n} (1+x)^{-n-1/3} \Big[ -x(3n-2) + n \cdot 3(1+x) \Big]Упростим выражение в квадратных скобках:−3nx+2x+3n+3nx=3n+2x-3nx + 2x + 3n + 3nx = 3n + 2xОкончательно получаем:y(n)=(−1)n−11⋅4…(3n−5)3n(3n+2x)(1+x)−n−1/3y^{(n)} = (-1)^{n-1} \frac{1 \cdot 4 \dots (3n-5)}{3^n} (3n + 2x) (1+x)^{-n-1/3}

Проверка

Область определения — x≠−1x\ne-1; дробные степени понимаются через вещественный кубический корень. Произведение в окончательном коэффициенте можно записать точно как ∏k=0n−2(3k+1)\prod_{k=0}^{n-2}(3k+1). При n=1n=1 это пустое произведение, равное 11, и ответ даётy′=3+2x3(1+x)4/3,y'=\frac{3+2x}{3(1+x)^{4/3}},что совпадает с прямым дифференцированием x(1+x)−1/3x(1+x)^{-1/3}.