Раздел IV. Определённый интеграл — § 2. Вычисление определённых интегралов с помощью неопределённых

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

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

Найти неопределённые интегралы от ограниченных разрывных функций:

Задача 2305

∫[x] dx\displaystyle\int[x]\,dx (x≥0)(x\ge0).
Ответ:∫[x] dx=kx−k(k+1)2+C,k=[x],x⩾0\int[x]\,dx=kx-\dfrac{k(k+1)}2+C,
\qquad k=[x],\quad x\geqslant0
Производная равна [x][x] при положительных нецелых xx; в положительных целых точках она не существует. В нуле правая производная равна 00.

Решение

Положим k=[x]k=[x], где [x][x] — наибольшее целое число, не превосходящее xx. При x⩾0x\geqslant0 имеем k=0,1,2,…k=0,1,2,\ldots и k⩽x<k+1k\leqslant x<k+1. На каждом промежутке [j,j+1)[j,j+1) функция [t][t] равна постоянной jj. Разобьём интеграл от нуля до xx на полные единичные отрезки и последний отрезок от kk до xx:∫0x[t] dt=∑j=0k−1∫jj+1j dt+∫kxk dt==∑j=0k−1j+k(x−k)\begin{aligned}
\int_0^x[t]\,dt
&=\sum_{j=0}^{k-1}\int_j^{j+1}j\,dt+\int_k^x k\,dt=\\
&=\sum_{j=0}^{k-1}j+k(x-k)
\end{aligned}
При k⩾1k\geqslant1 обозначим оставшуюся сумму через SS. Запишем её в прямом и обратном порядке:S=∑j=0k−1jS=∑j=0k−1(k−1−j)\begin{aligned}
S&=\sum_{j=0}^{k-1}j\\
S&=\sum_{j=0}^{k-1}(k-1-j)
\end{aligned}
Складывая соответствующие слагаемые двух записей, получаем kk пар, каждая с суммой k−1k-1. Поэтому2S=k(k−1),S=k(k−1)22S=k(k-1),\qquad S=\dfrac{k(k-1)}2Подставляем найденную сумму в интеграл:∫0x[t] dt=k(k−1)2+k(x−k)=kx−k(k+1)2\int_0^x[t]\,dt
=\dfrac{k(k-1)}2+k(x-k)
=kx-\dfrac{k(k+1)}2
При k=0k=0 сумма пустая и равна нулю, так что формула охватывает и 0⩽x<10\leqslant x<1. На каждом открытом промежутке (k,k+1)(k,k+1) число k=[x]k=[x] фиксировано, поэтому при дифференцировании выражения kx−k(k+1)2kx-\frac{k(k+1)}2 получаем k=[x]k=[x].

При переходе через целую точку нужно уже использовать соседнюю формулу с другим значением kk. Значения подынтегральной функции в целых точках не влияют на интеграл. При x=k⩾1x=k\geqslant1 формулы соседних промежутков дают одинаковое значение k(k−1)2\frac{k(k-1)}2, поэтому неопределённый интеграл непрерывен. Его наклон слева от kk равен k−1k-1, а справа — kk, и производной в положительных целых точках нет.
Демидович № 2305 — решение и ответ | Высшая математика — Профиматика