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

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

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

Задача 1151

Пусть функция f(x)f(x) определена и дважды дифференцируема при xx0x\le x_0. Как следует подобрать коэффициенты a,ba,b и cc, чтобы функцияF(x)={f(x),xx0a(xx0)2+b(xx0)+c,x>x0F(x)=
\begin{cases}
f(x),&x\le x_0 \\
a(x-x_0)^2+b(x-x_0)+c,&x>x_0
\end{cases}
была дважды дифференцируема.

Решение

Идея

Чтобы функция F(x)F(x) была дважды дифференцируемой в точке x=x0x = x_0, она должна быть в этой точке непрерывной, а также её первая и вторая производные должны быть непрерывными.
Условие непрерывности функции F(x)F(x) в точке x0x_0:
Предел слева равен значению функции: limxx00F(x)=f(x0)\lim_{x \to x_0 - 0} F(x) = f(x_0).
Предел справа: limxx0+0F(x)=limxx0+0(a(xx0)2+b(xx0)+c)=c\lim_{x \to x_0 + 0} F(x) = \lim_{x \to x_0 + 0} (a(x-x_0)^2 + b(x-x_0) + c) = c
Следовательно,c=f(x0)c = f(x_0)Условие непрерывности первой производной F(x)F'(x) в точке x0x_0:
Вычислим производную на двух интервалах:F(x)={f(x),x<x02a(xx0)+b,x>x0F'(x) =
\begin{cases}
f'(x), & x < x_0 \\
2a(x-x_0) + b, & x > x_0
\end{cases}
Предел производной слева: limxx00F(x)=f(x0)\lim_{x \to x_0 - 0} F'(x) = f'(x_0)
Предел производной справа: limxx0+0F(x)=2a(0)+b=b\lim_{x \to x_0 + 0} F'(x) = 2a(0) + b = b
Приравнивая их, получаем:b=f(x0)b = f'(x_0)

Проверка

3. Условие непрерывности второй производной F(x)F''(x) в точке x0x_0:
Вычислим вторую производную:F(x)={f(x),x<x02a,x>x0F''(x) =
\begin{cases}
f''(x), & x < x_0 \\
2a, & x > x_0
\end{cases}
Предел второй производной слева: limxx00F(x)=f(x0)\lim_{x \to x_0 - 0} F''(x) = f''(x_0)
Предел второй производной справа: limxx0+0F(x)=2a\lim_{x \to x_0 + 0} F''(x) = 2a
Следовательно:2a=f(x0)    a=12f(x0)2a = f''(x_0) \implies a = \frac{1}{2}f''(x_0)Таким образом, коэффициенты должны быть равны: a=12f(x0)a = \frac{1}{2}f''(x_0), b=f(x0)b = f'(x_0), c=f(x0)c = f(x_0)
Демидович № 1151 — решение