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

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

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

Задача 1224

Доказать, что функцияf(x)={x2nsin⁡1x,x≠0,0,x=0f(x)=
\begin{cases}
x^{2n}\sin\dfrac1x,&x\ne0,\\[2mm]
0,&x=0
\end{cases}
(nn — натуральное число) в точке x=0x=0 имеет производные до nn-го порядка включительно и не имеет производной (n+1)(n+1)-го порядка.

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

Производная функции f(x)f(x) при x≠0x \ne 0 представляет собой сумму слагаемых вида Axmsin⁡(1/x)A x^m \sin(1/x) и Bxmcos⁡(1/x)B x^m \cos(1/x).
При каждом дифференцировании минимальная степень xx уменьшается либо на 11 (за счёт дифференцирования степенной функции), либо на 22 (за счёт производной внутренней функции (1/x)′=−1/x2(1/x)' = -1/x^2).
Слагаемое с минимальной степенью получается единственным способом: на каждом шаге дифференцируется тригонометрический множитель. Его коэффициент каждый раз умножается на −1-1, а фаза увеличивается на π/2\pi/2. Поэтому при x≠0x\ne0 и 0≤k≤n0\le k\le nf(k)(x)=(−1)kx2n−2ksin⁡(1/x+kπ/2)+Rk(x),f^{(k)}(x)=(-1)^kx^{2n-2k}\sin(1/x+k\pi/2)+R_k(x),где RkR_k — конечная сумма степеней xx с синусами и косинусами, причём каждая степень не меньше 2n−2k+12n-2k+1. Это утверждение сохраняется при дифференцировании: степень первого слагаемого понижается на 22, а в каждом прочем члене — не более чем на 22. Так обосновываются и минимальная степень, и её коэффициент.
Докажем по индукции, что для всех k≤nk \le n производная в нуле существует и f(k)(0)=0f^{(k)}(0) = 0.
При k=0k=0 по условию f(0)=0f(0) = 0.
Пусть для некоторого k≤nk \le n выполнено f(k−1)(0)=0f^{(k-1)}(0) = 0. Найдём производную kk-го порядка по определениюf(k)(0)=lim⁡x→0f(k−1)(x)−0xf^{(k)}(0) = \lim_{x \to 0} \frac{f^{(k-1)}(x) - 0}{x}Для x≠0x \ne 0 функция f(k−1)(x)f^{(k-1)}(x) является суммой слагаемых, где наименьшая степень xx равна 2n−2(k−1)=2n−2k+22n - 2(k-1) = 2n - 2k + 2.
Так как k≤nk \le n, показатель степени строго больше нуля: 2n−2k+2≥22n - 2k + 2 \ge 2. Поэтому после деления на xx все слагаемые в выражении f(k−1)(x)/xf^{(k-1)}(x)/x будут содержать xx в степени не ниже 11. Поскольку тригонометрические функции ограничены, предел при x→0x \to 0 равен нулюf(k)(0)=0f^{(k)}(0) = 0Значит, производные вплоть до nn-го порядка в точке x=0x=0 существуют и равны нулю.
Рассмотрим вид nn-й производной при x≠0x \ne 0. Слагаемое с наименьшей степенью xx возникает, когда дифференцирование все nn раз применяется к тригонометрической части:(sin⁡1x)(n)=(−1)nx2nsin⁡(1x+πn2)+…\left(\sin\frac{1}{x}\right)^{(n)} = \frac{(-1)^n}{x^{2n}} \sin\left(\frac{1}{x} + \frac{\pi n}{2}\right) + \dotsУмножая на x2nx^{2n}, видим, что слагаемое с наименьшей степенью xx в f(n)(x)f^{(n)}(x) имеет нулевую степень (x0=1x^0 = 1):f(n)(x)=(−1)nsin⁡(1x+πn2)+xψ(x)f^{(n)}(x) = (-1)^n \sin\left(\frac{1}{x} + \frac{\pi n}{2}\right) + x \psi(x)где ψ(x)\psi(x) — ограниченная вблизи нуля функция, объединяющая все остальные слагаемые.

Попытаемся вычислить (n+1)(n+1)-ю производную в нулеf(n+1)(0)=lim⁡x→0f(n)(x)−f(n)(0)x=lim⁡x→0(−1)nsin⁡(1x+πn2)+xψ(x)xf^{(n+1)}(0) = \lim_{x \to 0} \frac{f^{(n)}(x) - f^{(n)}(0)}{x} = \lim_{x \to 0} \frac{(-1)^n \sin\left(\frac{1}{x} + \frac{\pi n}{2}\right) + x \psi(x)}{x}Почему ограниченная добавка ψ\psi не может дать предел? Возьмём при достаточно больших jjxj=1π/2−nπ/2+2πj,zj=13π/2−nπ/2+2πj.x_j=\frac1{\pi/2-n\pi/2+2\pi j},\qquad
z_j=\frac1{3\pi/2-n\pi/2+2\pi j}.
Обе последовательности положительны и стремятся к нулю. Синус в числителе равен на них соответственно 11 и −1-1, поэтому разностные отношения имеют вид (−1)n/xj+ψ(xj)(-1)^n/x_j+\psi(x_j) и −(−1)n/zj+ψ(zj)-(-1)^n/z_j+\psi(z_j). Они стремятся к бесконечностям противоположных знаков. Следовательно, предела нет.
Первое слагаемое под пределом имеет вид 1xsin⁡(1x+πn2)\frac{1}{x} \sin\left(\frac{1}{x} + \frac{\pi n}{2}\right). Эта функция неограниченно колеблется и принимает сколь угодно большие по модулю значения в любой окрестности нуля, поэтому предел не существует.
Таким образом, производной (n+1)(n+1)-го порядка в точке x=0x=0 нет.

Что и требовалось доказать