Раздел III. Производная и дифференциал — § 15. Производные и дифференциалы высших порядков

Кудрявцев — задача 15.29

Л. Д. Кудрявцев, «Сборник задач по математическому анализу. Том 1». Условие, подробное решение и ответ.

Задача 15.29

Определить, какого порядка производными в точке x=0x=0 функция обладает, и вычислить в этой точке все существующие производные:

1) y(x)={1−cos⁡x,x<0,ln⁡(1+x)−x,x≥0;y(x) = \begin{cases} 1-\cos x, & x<0,\\ \ln(1+x)-x, & x\ge0; \end{cases}
2) y(x)={2xcos⁡x,x<0,sin⁡2x,x≥0;y(x) = \begin{cases} 2x\cos x, & x<0,\\ \sin 2x, & x\ge0; \end{cases}
3) y(x)={sh⁡x−x,x<0,x−sin⁡x,x≥0;y(x) = \begin{cases} \sh x - x, & x<0,\\ x - \sin x, & x\ge0; \end{cases}
4) y(x)={sh⁡x,x<0,sin⁡xch⁡x,x≥0;y(x) = \begin{cases} \sh x, & x<0,\\ \sin x \ch x, & x\ge0; \end{cases}
5) y(x)={x10,x∈Q,−x10,x∉Q;y(x) = \begin{cases} x^{10}, & x\in\mathbb{Q},-x^{10}, & x\notin\mathbb{Q}; \end{cases}
6) y(x)={x100sin⁡(1/x),x≠0,0,x=0;y(x) = \begin{cases} x^{100}\sin(1/x), & x\neq0,\\ 0, & x=0; \end{cases}
7) y(x)={e−1/x2,x≠0,0,x=0.y(x) = \begin{cases} e^{-1/x^2}, & x\neq0,\\ 0, & x=0. \end{cases}
Ответ:1) y′(0)=0;1)\ y'(0)=0;
2) y′(0)=2, y′′(0)=0;2)\ y'(0)=2,\ y''(0)=0;
3) y′(0)=0, y′′(0)=0, y′′′(0)=1, y(4)(0)=0;3)\ y'(0)=0,\ y''(0)=0,\ y'''(0)=1,\ y^{(4)}(0)=0;

4) y′(0)=1, y′′(0)=0; 5) y′(0)=0; 6) y(n)(0)=0 для всех n≤50, y(51)(0) не существует;  7) y(n)(0)=0 для всех n∈N4)\ y'(0)=1,\ y''(0)=0;\ 5)\ y'(0)=0;\ 6)\ y^{(n)}(0)=0\ \text{для всех}\ n\le50,\ y^{(51)}(0)\ \text{не существует};\ \ 7)\ y^{(n)}(0)=0\ \text{для всех}\ n\in\mathbb{N}

Решение

y(0)=0y(0)=0, функция непрерывна. При x≠0x\neq0:y′(x)={sin⁡x,x<0,−x1+x,x≥0.y'(x) = \begin{cases}
\sin x, & x<0,\\
-\dfrac{x}{1+x}, & x\ge0.
\end{cases}
y′(0)=0y'(0)=0. Проверим y′′(0)y''(0):y′′(0)=lim⁡h→0y′(h)−y′(0)h.y''(0) = \lim_{h\to0}\dfrac{y'(h)-y'(0)}{h}.При h<0h<0: sin⁡hh→1\dfrac{\sin h}{h} \to 1. При h>0h>0: −h/(1+h)h=−11+h→−1-\dfrac{h/(1+h)}{h} = -\dfrac{1}{1+h} \to -1. Односторонние пределы различны, значит y′′(0)y''(0) не существует. Итог: y′(0)=0y'(0)=0.
y(0)=0y(0)=0, непрерывна. Первая производная:y′(x)={2cos⁡x−2xsin⁡x,x<0,2cos⁡2x,x≥0.y'(x) = \begin{cases}
2\cos x - 2x\sin x, & x<0,\\
2\cos 2x, & x\ge0.
\end{cases}
В нуле слева 22, справа 22, следовательно, y′(0)=2y'(0)=2. Вторая производная:y′′(x)={−4sin⁡x−2xcos⁡x,x<0,−4sin⁡2x,x≥0.y''(x) = \begin{cases}
-4\sin x - 2x\cos x, & x<0,\\
-4\sin 2x, & x\ge0.
\end{cases}
В нуле слева 00, справа 00, поэтому y′′(0)=0y''(0)=0. Третья производная:y′′′(x)={−6cos⁡x+2xsin⁡x,x<0,−8cos⁡2x,x≥0.y'''(x) = \begin{cases}
-6\cos x + 2x\sin x, & x<0,\\
-8\cos 2x, & x\ge0.
\end{cases}
В нуле слева −6-6, справа −8-8, различны, значит y′′′(0)y'''(0) не существует. Итог: y′(0)=2, y′′(0)=0y'(0)=2,\ y''(0)=0.
y(0)=0y(0)=0, непрерывна. Первая производная:y′={ch⁡x−1,x<0,1−cos⁡x,x≥0.y' = \begin{cases}
\ch x - 1, & x<0,\\
1 - \cos x, & x\ge0.
\end{cases}
y′(0)=0y'(0)=0. Вторая производная:y′′={sh⁡x,x<0,sin⁡x,x≥0.y'' = \begin{cases}
\sh x, & x<0,\\
\sin x, & x\ge0.
\end{cases}
y′′(0)=0y''(0)=0. Третья производная:y′′′={ch⁡x,x<0,cos⁡x,x≥0.y''' = \begin{cases}
\ch x, & x<0,\\
\cos x, & x\ge0.
\end{cases}
В нуле слева 11, справа 11, поэтому y′′′(0)=1y'''(0)=1. Четвёртая производная:y(4)={sh⁡x,x<0,−sin⁡x,x≥0.y^{(4)} = \begin{cases}
\sh x, & x<0,\\
-\sin x, & x\ge0.
\end{cases}
В нуле слева 00, справа 00, y(4)(0)=0y^{(4)}(0)=0. Пятая производная:y(5)={ch⁡x,x<0,−cos⁡x,x≥0.y^{(5)} = \begin{cases}
\ch x, & x<0,\\
-\cos x, & x\ge0.
\end{cases}
В нуле слева 11, справа −1-1, различны, y(5)(0)y^{(5)}(0) не существует. Итог: y′(0)=0, y′′(0)=0, y′′′(0)=1, y(4)(0)=0y'(0)=0,\ y''(0)=0,\ y'''(0)=1,\ y^{(4)}(0)=0.
y(0)=0y(0)=0, непрерывна. Первая производная:y′={ch⁡x,x<0,cos⁡xch⁡x+sin⁡xsh⁡x,x≥0.y' = \begin{cases}
\ch x, & x<0,\\
\cos x \ch x + \sin x \sh x, & x\ge0.
\end{cases}
В нуле слева 11, справа 11, y′(0)=1y'(0)=1. Вторая производная:y′′={sh⁡x,x<0,2cos⁡xsh⁡x,x≥0.y'' = \begin{cases}
\sh x, & x<0,\\
2\cos x \sh x, & x\ge0.
\end{cases}
В нуле слева 00, справа 00, y′′(0)=0y''(0)=0. Третья производная:y′′′={ch⁡x,x<0,−2sin⁡xsh⁡x+2cos⁡xch⁡x,x≥0.y''' = \begin{cases}
\ch x, & x<0,\\
-2\sin x \sh x + 2\cos x \ch x, & x\ge0.
\end{cases}
В нуле слева 11, справа 22, различны, y′′′(0)y'''(0) не существует. Итог: y′(0)=1, y′′(0)=0y'(0)=1,\ y''(0)=0.

Запишем y(x)=x10a(x)y(x)=x^{10}a(x), где a(x)=1a(x)=1 для рациональных xx и a(x)=−1a(x)=-1 для иррациональных xx, причём ∣a(x)∣=1|a(x)|=1. Первая производная в нуле:y′(0)=lim⁡h→0h10a(h)h=lim⁡h→0h9a(h)=0,y'(0) = \lim_{h\to0}\dfrac{h^{10}a(h)}{h}
= \lim_{h\to0}h^9a(h) = 0,
так как h9→0h^9\to0, а a(h)a(h) ограничена. Следовательно, y′(0)=0y'(0)=0. Вторая производная в нуле не существует, потому что при x≠0x\neq0 функция a(x)a(x) разрывна в каждой точке (в любой проколотой окрестности нуля есть и рациональные, и иррациональные точки). Поэтому y′(x)y'(x) не определена нигде, кроме, быть может, самой точки 00. Значит, y′′(0)y''(0) не существует. Итог: y′(0)=0y'(0)=0.

По определениюy′(0)=lim⁡h→0h100sin⁡(1/h)h=lim⁡h→0h99sin⁡(1/h)=0.y'(0) = \lim_{h\to0}\dfrac{h^{100}\sin(1/h)}{h}
= \lim_{h\to0}h^{99}\sin(1/h) = 0.
При x≠0x\neq0:y′(x)=100x99sin⁡(1/x)−x98cos⁡(1/x).y'(x) = 100x^{99}\sin(1/x) - x^{98}\cos(1/x).После kk дифференцирований при x≠0x\neq0 производная y(k)(x)y^{(k)}(x) состоит из слагаемых вида xmsin⁡(1/x)x^m\sin(1/x) и xmcos⁡(1/x)x^m\cos(1/x). При k≤49k \le 49 минимальная степень mm в слагаемых не меньше 11, поэтомуy(k)(0)=lim⁡h→0y(k−1)(h)h=0.y^{(k)}(0) = \lim_{h\to0}\dfrac{y^{(k-1)}(h)}{h} = 0.Производная y(50)(0)y^{(50)}(0) также существует, поскольку y(49)(x)y^{(49)}(x) содержит только слагаемые с m≥2m \ge 2, и после деления на hh получается степень не ниже 11, что даёт предел 00. Следовательно, y(50)(0)=0y^{(50)}(0)=0. При x≠0x\neq0 в y(50)(x)y^{(50)}(x) появляется слагаемое cos⁡(1/x)\cos(1/x) без множителя xx. Поэтому при вычисленииy(51)(0)=lim⁡h→0y(50)(h)hy^{(51)}(0) = \lim_{h\to0}\dfrac{y^{(50)}(h)}{h}возникает член cos⁡(1/h)h\dfrac{\cos(1/h)}{h}, который не имеет предела. Значит, y(51)(0)y^{(51)}(0) не существует. Итог: y(n)(0)=0y^{(n)}(0)=0 для всех n≤50n\le50, y(51)(0)y^{(51)}(0) не существует.
Для любого k≥0k\ge0 и любого x≠0x\neq0 производная y(k)(x)y^{(k)}(x) имеет вид Pk(1/x)e−1/x2P_k(1/x)e^{-1/x^2}, где PkP_k — многочлен. Посколькуlim⁡x→01xme−1/x2=0\lim_{x\to0}\dfrac{1}{x^m}e^{-1/x^2} = 0для любого mm, все производные стремятся к нулю при x→0x\to0. По индукции получаем, что все производные в нуле существуют и равны нулю:y(n)(0)=0,n∈N.y^{(n)}(0)=0,\qquad n\in\mathbb{N}.
Кудрявцев № 15.29 — решение и ответ | Высшая математика — Профиматика