Раздел II. Дифференциальное исчисление функций одной переменной§ 9. Раскрытие неопределённостей

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

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

Задача 1373

1. Доказать, что если для функции f(x)f(x) существует вторая производная f(x)f''(x), тоf(x)=limh0f(x+h)+f(xh)2f(x)h2.f''(x)=\lim_{h\to0}\frac{f(x+h)+f(x-h)-2f(x)}{h^2}.2. Исследовать на дифференцируемость в точке x=0x=0 функциюf(x)={1x1ex1,x0,12,x=0.f(x)=
\begin{cases}
\dfrac1x-\dfrac1{e^x-1},&x\ne0,\\[1mm]
\dfrac12,&x=0.
\end{cases}
3. Найти асимптоту кривойy=x1+x(1+x)x(x>0).y=\frac{x^{1+x}}{(1+x)^x}\qquad(x>0).

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

  1. 1
    По формуле Тейлора с остаточным членом в форме Пеано для дважды дифференцируемой функции f(x)f(x) в окрестности точки xx:f(x+h)=f(x)+f(x)h+f(x)2h2+o(h2)f(x+h) = f(x) + f'(x)h + \frac{f''(x)}{2}h^2 + o(h^2)f(xh)=f(x)f(x)h+f(x)2h2+o(h2)f(x-h) = f(x) - f'(x)h + \frac{f''(x)}{2}h^2 + o(h^2)Сложим эти два равенства:f(x+h)+f(xh)=2f(x)+f(x)h2+o(h2)f(x+h) + f(x-h) = 2f(x) + f''(x)h^2 + o(h^2)Выразим f(x)h2f''(x)h^2:f(x)h2=f(x+h)+f(xh)2f(x)o(h2)f''(x)h^2 = f(x+h) + f(x-h) - 2f(x) - o(h^2)Разделим на h2h^2 и перейдём к пределу при h0h \to 0:limh0f(x+h)+f(xh)2f(x)h2=limh0(f(x)+o(h2)h2)=f(x)\lim_{h\to0} \frac{f(x+h) + f(x-h) - 2f(x)}{h^2} = \lim_{h\to0} \left( f''(x) + \frac{o(h^2)}{h^2} \right) = f''(x)Что и требовалось доказать.
  2. 2
    Функция дифференцируема в точке x=0x=0, если существует конечный предел:f(0)=limx0f(x)f(0)x0=limx01x1ex112xf'(0) = \lim_{x\to0} \frac{f(x) - f(0)}{x-0} = \lim_{x\to0} \frac{\frac{1}{x} - \frac{1}{e^x-1} - \frac{1}{2}}{x}Приведём выражение к общему знаменателю:limx02(ex1)2xx(ex1)2x2(ex1)\lim_{x\to0} \frac{2(e^x-1) - 2x - x(e^x-1)}{2x^2(e^x-1)}Разложим экспоненту по формуле Маклорена: ex=1+x+x22+x36+o(x3)e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + o(x^3).
    Знаменатель эквивалентен:2x2(ex1)2x2x=2x32x^2(e^x-1) \sim 2x^2 \cdot x = 2x^3Преобразуем числитель:2(x+x22+x36+o(x3))2xx(x+x22+o(x2))=2x+x2+x332xx2x32+o(x3)=x36+o(x3)2\left(x + \frac{x^2}{2} + \frac{x^3}{6} + o(x^3)\right) - 2x - x\left(x + \frac{x^2}{2} + o(x^2)\right) = 2x + x^2 + \frac{x^3}{3} - 2x - x^2 - \frac{x^3}{2} + o(x^3) = -\frac{x^3}{6} + o(x^3)Подставляем в предел:limx0x36+o(x3)2x3=112\lim_{x\to0} \frac{-\frac{x^3}{6} + o(x^3)}{2x^3} = -\frac{1}{12}Предел существует и конечен. Следовательно, функция дифференцируема в точке x=0x=0, и f(0)=112f'(0) = -\frac{1}{12}.
  3. 3
    Найдём наклонную асимптоту y=kx+by = kx + b для кривой y=x1+x(1+x)x=x(x1+x)x=x(1+1x)xy = \frac{x^{1+x}}{(1+x)^x} = x \left(\frac{x}{1+x}\right)^x = x \left(1 + \frac{1}{x}\right)^{-x}.
    Угловой коэффициент kk:k=limx+yx=limx+(1+1x)x=e1=1ek = \lim_{x\to+\infty} \frac{y}{x} = \lim_{x\to+\infty} \left(1 + \frac{1}{x}\right)^{-x} = e^{-1} = \frac{1}{e}Смещение bb:b=limx+(ykx)=limx+[x(1+1x)xxe]=limx+x[exln(1+1x)e1]b = \lim_{x\to+\infty} (y - kx) = \lim_{x\to+\infty} \left[ x \left(1 + \frac{1}{x}\right)^{-x} - \frac{x}{e} \right] = \lim_{x\to+\infty} x \left[ e^{-x\ln\left(1+\frac{1}{x}\right)} - e^{-1} \right]Используем разложение логарифма ln(1+t)=tt22+o(t2)\ln(1+t) = t - \frac{t^2}{2} + o(t^2) при t=1x0t = \frac{1}{x} \to 0:xln(1+1x)=x(1x12x2+o(1x2))=1+12x+o(1x)-x\ln\left(1+\frac{1}{x}\right) = -x\left( \frac{1}{x} - \frac{1}{2x^2} + o\left(\frac{1}{x^2}\right) \right) = -1 + \frac{1}{2x} + o\left(\frac{1}{x}\right)Тогда экспонента принимает вид:exln(1+1x)=e1+12x+o(1x)=e1e12x+o(1x)=1e(1+12x+o(1x))e^{-x\ln\left(1+\frac{1}{x}\right)} = e^{-1 + \frac{1}{2x} + o\left(\frac{1}{x}\right)} = e^{-1} e^{\frac{1}{2x} + o\left(\frac{1}{x}\right)} = \frac{1}{e} \left( 1 + \frac{1}{2x} + o\left(\frac{1}{x}\right) \right)Подставляем в предел:b=limx+x[1e+12ex+o(1x)1e]=limx+x(12ex+o(1x))=12eb = \lim_{x\to+\infty} x \left[ \frac{1}{e} + \frac{1}{2ex} + o\left(\frac{1}{x}\right) - \frac{1}{e} \right] = \lim_{x\to+\infty} x \left( \frac{1}{2ex} + o\left(\frac{1}{x}\right) \right) = \frac{1}{2e}Искомая асимптота:y=xe+12ey = \frac{x}{e} + \frac{1}{2e}

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

Демидович № 1373 — решение