Loading [MathJax]/jax/element/mml/optable/GreekAndCoptic.js

M1686. О равенстве непрерывных на отрезке функций

Задача из журнала «Квант» (1999 год, 3 выпуск)

Условие

Функции f(x) и g(x) непрерывны на отрезке [0;1] и удовлетворяют равенствам
10f(x)dx=10g(x)dx=1 и 10f2(x)+g2(x)dx=2.
Докажите, что f(x)=g(x) на отрезке [0;1].

Для любой пары неотрицательных чисел а и b справедливо элементарное неравенство a+b2(a2+b2). При этом неравенство обращается в равенство лишь тогда, когда a=b. Ввиду этого и условий задачи, можно записать цепочку неравенств 210(|f(x)|+|g(x)|)dx210f2(x)+g2(x)dx=2.

Отсюда следует, что функции f(x) и g(x) равны и неотрицательны на отрезке [0;1].

Подобным образом читатель может доказать аналогичное утверждение для трех (и более) функций: если f(x), g(x) и φ(x) непрерывны на отрезке [0;1] и 10f(x)dx=10g(x)dx=10φ(x)=1, а
10f2(x)+g2(x)+φ2(x)dx=3, то f(x)=g(x)=φ(x) на [0;1].

В.Произволов

8.1 Вычисление площадей

Будем называть декартовой плоскостью R2 множество всех упорядоченных пар действительных чисел (x,y). Элементы R2 называют точками, а числа x,y – координатами этих точек.

Пусть ab,cd. Множество всех точек, координаты (x,y) которых удовлеворяют неравенствам axb,cyd, будем называть прямоугольником и обозначать [a,b;c,d]. Стороны прямоугольника параллельны координатным осям. Если a=b или c=d, то прямоугольник [a,b;c,d] называется вырожденным.

Множество всех точек (x,y) , удовлетворяющих неравенствам a<x<b,c<y<d, называют внутренностью прямоугольника.

Площадью (или мерой) прямоугольника I[a,b;c,d] называется произведение длин его сторон, т.е. m(I)=(dc)(ba).

Фигурой (или элементарным множеством) назовем такое множество на плоскости, которое можно представить в виде объединения конечного числа прямоугольников. Фигура называется вырожденной, если она может быть представлена в виде конечного объединения вырожденных прямоугольников.

Предложение. Каждую фигуру можно разбить на конечное число прямоугольников с попарно непересекающимися внутренностями.

Это предложение принимаем без доказательства.

Определение. Пусть фигура X является объединением прямоугольников I1,,In, у которых внутренности попарно не пересекаются. Тогда мерой фигуры X называется
m(X)=nk=1m(Ik).

Нетрудно показать, что данное определение меры не зависит от способа разбиения этой фигуры на прямоугольники с попарно непересекающимися внутренностями. Ясно, что мера вырожденной фигуры равна нулю.

Пусть теперь E – произвольное множество на плоскости, которое содержится в некотором прямоугольнике, т.е. ограниченное.Число m(E)=infXEm(X), где нижняя грань берется по всевозможным фигурам X, содержащим множество E, называется внешней мерой Жордана множества E. Далее, число m(E)=supXEm(X), где верхняя грань берется по всевозможным фигурам X, содержащимся во множестве E, называется внутренней мерой Жордана множества E.

Нетрудно показать, что если фигуры X и Y таковы, что XY, то m(X)m(Y). Отсюда сразу следует, что для любого ограниченного множества E справедливо неравенство m(E)m(E).

Определение. Если внутренняя мера множества E равна его внешней мере, то множество E называется измеримым по Жордану или квадрируемым. В этом случае общее значение внешней и внутренней мер называется мерой Жордана множества E и обозначается m(E).

Пусть E – множество всех точек из единичного квадрата [0,1;0,1], у которых обе координаты рациональны. Это множество не содержит ни одной невырожденной фигуры, т.к. в каждом невырожденном прямоугольнике существуют точки с иррациональными координатами. Значит, m(E)=0. С другой стороны, нетрудно показать, что любая фигура, содержащая множество E, содержит также единичный квадрат. Поэтому m(E)=1. Таким образом, m(E)<m(E), так что множество E неизмеримо по Жордану.

Определение. Пусть f – неотрицательная функция на отрезке [a,b]. Подграфиком функции f будем называть множество Ef всех точек (x,y), координаты которых удовлетворяют неравенствам axb,0yf(x).

Теорема. Пусть функция f неотрицательна и интегрируема на отрезке [a,b]. Тогда ее подграфик Ef измерим и m(Ef)=baf(x)dx.

Возьмем разбиение a=x0<x1<<xn=b отрезка [a,b] и обозначим mi=infx[xi,xi+1]f(x),Mi=supx[xi,xi+1]f(x). Далее пусть Δ_i=[xi,xi+1;0,mi], ¯Δi=[xi,xi+1;0,Mi], X_=n1i=0Δ_i, ¯X=n1i=0¯Δi.
Тогда, по определению меры фигуры, имеем m(X_)=n1i=0m(Δ_i)=n1i=0miΔxi=S_,
где S_нижняя сумма Дарбу функции f, соответствующая выбранному разбиению. Аналогично получаем, что m(¯X)=¯S, где ¯Sверхняя сумма Дарбу.
Поскольку функция f интегрируема, то ¯SS_0 вместе с диаметром разбиения. Следовательно, для любого ε>0 найдется такое δ>0, что для любого разбиения диаметра, меньшего, чем δ, справедливо неравенство ¯SS_<ε. Значит, m(¯X)m(X_)<ε. Заметим, что X_Ef¯X. Поэтому m(X_)m(Ef)m(Ef)m(¯X). Отсюда следует m(Ef)m(Ef)<ε, а значит, m(Ef) и m(Ef) равны. Это означает, что множество Ef измеримо. Кроме того, из неравенств S_m(Ef)¯S и из того, что ¯SS_0 и ¯Sbaf(x)dx, S_baf(x)dx, вытекает, что m(Ef)=baf(x)dx.

Примеры решения задач

Данные примеры читателю рекомендуется решить самому в качестве тренировки.

  1. Вычислить площадь фигуры, ограниченной линиями y=x2+2, y=0, x=2, x=1.
    Решение

    На отрезке [2;1] график функции y=x2+2 расположен над осью Ox, поэтому:
    S=12(x2+2)dx=(x33+2x)|12=
    =13+2(834)=13+2+83+4=9

    Ответ: S=9.

  2. Вычислить площадь фигуры, ограниченной линиями y=2x, y=x+1, y=0, x=3.
    Решение

    Фигура, площадь которой нам нужно найти, зарисована серым цветом.

    Этот пример полезен тем, что в нём площадь фигуры считается с помощью двух определенных интегралов:

    • На отрезке [1;1] над осью Ox расположен график прямой y=x+1;
    • На отрезке [1;3] над осью Ox расположен график гиперболы y=2x.

    Понятно, что площади нужно сложить, поэтому:
    S=11(x+1)dx+312dxx=
    =(x22+x)|11+2(lnx)|31=
    =12+1(121)+2(ln3ln1)=
    =12+112+1+2(ln30)=2+2ln3=2(1+ln3)

    Ответ: S=2(1+ln3).

  3. Найти площадь множества, ограниченного линиями y=x2+1, x+y=3.
    Решение

    Найдем абсциссы точек пересечения графиков
    {y=x2+1y=3x

    Решая эту систему, находим x1=2, x2=1. Поэтому
    S=12(3x)dx12(x2+1)dx=
    =9x22|12(x33+x)|12=
    =912+243832=4.5

    Ответ: S=4.5.

  4. Найти площадь круга x2+y2R2.
    Решение

    Верхняя полуокружность задается уравнением y=R2x2, RxR. Поэтому площадь верхнего полукруга равна
    S=RRR2x2dx=2R0R2x2dx=
    =[x=Rz]=2R2101z2dz=πR22,
    а значит, площадь всего круга равна πR2.

    Ответ: S=πR2.

Вычисление площадей

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме «Вычисление площадей».

См. также:

7.1 Определение и элементарные свойства интеграла Римана

Определение. Пусть на отрезке [a,b] задана функция f. Рассмотрим произвольную систему точек a=x0<x1<<xn=b. Каждую такую систему назовем разбиением отрезка [a,b], а само разбиение будем обозначать через Π. Отрезки [xi,xi+1](i=0,1,,n1) называются частичными отрезками разбиения. Наибольшую из длин Δxi=xi+1xi частичных отрезков называют диаметром этого разбиения и обозначают d(Π)=max0in1Δxi.
В каждом из частичных отрезков [xi,xi+1] выберем произвольным образом точку ξi и составим сумму σ=n1i=0f(ξi)Δxi.
Сумма σ называется интегральной суммой для функции f, соответствующей заданному разбиению Π и заданному выбору точек ξi.
Для каждого заданного разбиения множество всевозможных интегральных сумм бесконечно, поскольку каждая интегральная сумма зависит от способа выбора точек ξi.
Определение. Число I называется пределом интегральных сумм σ при стремлении к нулю диаметра разбиения d(Π), если для любого ε>0 найдется такое δ>0, зависящее, вообще говоря, от ε, что для любого разбиения Π отрезка [a,b] диаметра d(Π)<δ при любом выборе промежуточных точек ξi из частичных отрезков этого разбиения соответствующая интегральная сумма σ удовлетворяет неравенству |σI|<ε, т. е. εδ>0:Π,  d(Π)<δ  ξi[xi,xi+1](i=0,1,,n1)|σI|<ε.
Определение. Если существует конечный предел интегральных сумм при стремлении к нулю диаметра разбиения, то этот предел называется интегралом от функции f по отрезку [a,b] и обозначается baf(x)dx. В этом случае функция f называется интегрируемой на отрезке [a,b]. В противном случае говорят, что функция f неинтегрируема на [a,b].
Итак, baf(x)dx=limd(Π)0σ.

Геометрический смысл определенного интеграла.


С геометрической точки зрения интегральная сумма представляет собой сумму площадей прямоугольников высотой f(ξi) и шириной xi+1xi.
Поэтому определенный интеграл – предел интегральных сумм при стремлении к нулю диаметра разбиения – можно интерпретировать как площадь (с учетом знака) криволинейной трапеции, ограниченной осью Ox, прямыми x=a,x=b и графиком функции y=f(x).
По аналогии с определением предела функции в смысле Гейне, определение предела интегральных сумм можно выразить в терминах последовательностей следующим образом.

Определение. Число I называется пределом интегральных сумм при стремлении к нулю диаметра разбиения, если для любой последовательности Π1,Π2,,Πn, разбиений отрезка [a,b], такой, что d(Πn)0 при n, и при любом выборе промежуточных точек из частичных отрезков этих разбиений соответствующая последовательность интегральных сумм σ1,σ2,,σn, сходится к числу I.

Упражнение. Докажите равносильность этих двух определений предела интегральных сумм.

Теорема. Если функция f интегрируема на отрезке [a,b], то она ограничена на этом отрезке.

Предположим, что функция f неограничена на [a,b], и покажем, что в этом случае для любого разбиения Π промежуточные точки ξi можно выбрать так, чтобы модуль соответствующей интегральной суммы оказался большим любого наперед заданного числа. Рассмотрим произвольное разбиение Π:a=x0<x1<<xn=b. Если f неограничена на [a,b], то найдется такой частичный отрезок [xj,xj+1], на котором f также неограничена. Действительно, если бы f оказалась ограниченной на каждом из частичных отрезков, то она была бы ограниченной и на всем отрезке [a,b]. Итак, предположим, что f неограничена сверху на [xj,xj+1]. Зададим произвольное число M и покажем, что точки ξi можно выбрать так, чтобы соответствующая интегральная сумма σ стала большей, чем M. Действительно, сначала выберем точки ξi во всех отрезках, кроме [xj,xj+1], и составим сумму σ=i:ij f(ξi)Δxi. Затем точку ξj выберем так, чтобы выполнялось неравенство f(ξj)Δxj+σ>M. Это возможно в силу того, что функция f неограничена сверху на [a,b]. Тогда получим, что для интегральной суммы σ=σ+f(ξj)Δxj выполнено неравенство σ>M.
Случай неограниченной снизу f исчерпывается аналогичным образом.
Наконец заметим, что из определения предела интегральных сумм вытекает, что при достаточно мелком разбиении интегральные суммы ограничены независимо от способа выбора промежуточных точек. Действительно, в определении предела условие d(Π)<δ влечет выполнение неравенства |σI|<ε, откуда следует, что |σ|<|I|+ε. Мы же, предположив, что функция f неограничена на [a,b], получаем противоречие с ограниченностью интегральных сумм.

Замечание. В доказательстве теоремы мы воспользовались тем, что для интегрируемой функции при достаточно мелком разбиении интегральные суммы ограничены. На самом деле у интегрируемой функции ограничено множество всех интегральных сумм, соответствующих всевозможным разбиениям, а не только достаточно мелким. Действительно, мы доказали, что интегрируемая на [a,b] функция f ограничена, т. е. существует такое число A, что |f(x)|<A для всех x[a,b]. Поэтому для любого разбиения Π при любом способе выбора точек ξi получим |σ|n1i=0|f(ξi)Δxi|An1i=0Δxi=A(ba).
Итак, каждая интегрируемая функция ограничена. Однако не каждая ограниченная функция интегрируема.

Пример ограниченной неинтегрируемой функции. 

Рассмотрим функцию Дирихле D(x)={1,x — рационально,0,x — иррационально.

Эта функция ограничена. Покажем, что она неинтегрируема на любом невырожденном отрезке [a,b]. Действительно, если для произвольного разбиения Π все точки ξi выбрать рациональными, то получим σ=n1i=0D(ξi)Δxi=n1i=0Δxi=ba. Если же все точки ξi взять иррациональными, то σ=n1i=0D(ξi)Δxi=0. Отсюда следует, что интегральные суммы не имеют предела при стремлении к нулю диаметра разбиения.

Пример 1. 

Пусть f(x)=c, axb. Тогда для любого разбиения Π при любом выборе точек ξi будет f(ξi)=c и поэтому σ=n1i=0f(ξi)Δxi=cn1i=0Δxi=c(ba). Таким образом, bacdx=c(ba).

Пример 2.

Пусть f(x)=x,0x1. Выберем произвольное разбиение Π:0=x0<x1<<xn=1 и точки ξi[xi,xi+1]. Тогда
соответствующая интегральная сумма будет иметь вид σ=n1i=0ξiΔxi. Наибольшая из всех интегральных сумм, соответствующая выбранному разбиению, равна ¯σ=n1i=0xi+1Δxi, а наименьшая σ_=n1i=0xiΔxi. Тогда имеем ¯σ+σ_=n1i=0(xi+1+xi)Δxi=n1i=0(x2i+1x2i) ¯σσ_=n1i=0(xi+1+xi)Δxid(Π)n1i=0Δxi=d(Π). Таким образом, ¯σσ_0 при d(Π)0, а поскольку σ_+¯σ=1, то обе эти суммы стремятся к 12. Отсюда и из неравенства σ_σ¯σ сразу следует, что σ12 при d(Π)0. Итак, функция интегрируема и 10xdx=12.

Пример 3. Ступенчатые функции.

Функция f называется ступенчатой
на отрезке [a,b], если [a,b] можно разбить на отрезки [a0,a1],,[as1,as], где a=a0<a1<<as=b, такие, что функция f постоянна на каждом интервале (aj,aj+1), т. е. f(x)=cj, x(aj,aj+1), j=0,1,,s1. При достаточно малых δ для разбиения Π:a=x0<x1<<xn=b, диаметр которого меньше, чем δ, все частичные отрезки разбиения, за исключением, быть может, не более чем 2s штук, расположены целиком в соответствующих интервалах постоянства функции f. Пусть разбиению Π при каком-либо выборе промежуточных точек ξj соответствует интегральная сумма σ. Имеем |σs1j=0cj(aj+1aj)|2sδ[maxaxbf(x)minaxbf(x)]. Отсюда ясно, что при стремлении к нулю диаметра разбиения интегральные суммы стремятся к s1j=0cj(aj+1aj), т.е. baf(x)dx=s1j=0cj(aj+1aj).

Пример 4. Функция Римана.

Напомним, что функция Римана определяется равенством R(x)={0,x — рационально,1q,где x = pq — несократимая дробь. Покажем, что эта функция интегрируема на [0,1] и ее интеграл равен нулю. Для этого заметим, что для любого x[0,1] имеем limyxR(y)=0. Действительно, это сразу следует из того, что при любом фиксированном ε>0 на отрезке [0,1] существует лишь конечное число таких точек, в которых функция Римана принимает значения большие, чем ε. Обозначим число таких точек через Nε. Зафиксируем ε>0 и положим \displaystyle ε^\prime = \frac {\varepsilon}{2}, \displaystyle\delta = \frac{\varepsilon^{\prime}}{2N_{\varepsilon^\prime}}. Тогда при любом разбиении \Pi, диаметр которого меньше, чем \delta, и при любом способе выбора промежуточных точек количество слагаемых в интегральной сумме, для которых значение функции больше, чем \varepsilon^\prime, не превосходит 2N_{\varepsilon^\prime}. Поэтому для интегральной суммы σ справедлива следующая оценка: \sigma \leqslant N_{\varepsilon^{\prime}}\delta + \varepsilon^\prime \sum\limits_{i=0}^{n-1} \Delta x_i \leqslant N_{\varepsilon^{\prime}}  \frac{\varepsilon^{\prime}}{2N_{\varepsilon^\prime}} = \varepsilon. Таким образом, получили, что \sigma \to 0 при d(\Pi) \to 0, т. е. \displaystyle\int\limits_{0}^{1}\! \mathcal{R}(x)\,dx = 0.

Примеры решения задач

Данные примеры читателю рекомендуется решить самому в качестве тренировки.

  1. Исходя из определения определенного интеграла, найти \displaystyle\int\limits_{0}^{T} (v_0 + gt)\,dt, где v_o и g — постоянны.
    Решение

    Рассмотрим разбиение отрезка [0; T] на n равных частей точками \displaystyle\mathcal{T}_i = \frac {T_i}{n} 0 \leqslant i \leqslant n. Выберем точки разметки на левых концах отрезков разбиения: \xi_i = \mathcal{T}_i. Интегральная сумма для функции f(t) = v_0+gt равна: S_n=\sum\limits^{n-1}_{i=0}(v_0 + g\xi_i)(\mathcal{T}_{i+1}-\mathcal{T}_i)=\sum\limits^{n-1}_{i=0}\left(v_0 + g\frac{T_i}{n}\right)\frac{T}{n} = \frac{T}{n}\left(v_0n + \frac{gT}{n}\sum\limits^{n-1}_{i=0}\right). По формуле суммы арифметической прогрессии \displaystyle\sum\limits^{n-1}_{i=0}i = \frac{(n-1)n}{2}, следовательно, S_n = \frac{T}{n}\left(v_0n + \frac{gT(n-1)n}{2n}\right) = v_0T + \frac {gT^2(n-1)}{2n}. Сведём вычисление интеграла к вычислению обычной последовательности. \int\limits^T_0 (v_0 + gt)\,dt = \lim_{n\to +\infty}\left(v_0T+\frac{gT^2(n-1)}{2n}\right)=v_0T+\frac{gT^2}{2}.

  2. Вычислить определенный интеграл, рассматривая его как предел соответствующих интегральных сумм и производя разбиение промежутка интеграции надлежащим образом: \displaystyle\int\limits^1_0 a^x \,dx, (a>0).
    Решение

    Разобьем отрезок интегрирования на n равных частей: \displaystyle x_i=\frac{i}{n}, 0 \leqslant i \leqslant n и выберем точки разметки \xi_i = x_i (0 \leqslant i \leqslant n−1). Длина каждого из отрезков разбиения \displaystyle\Delta x_i = x_{i+1}-x_i=\frac{1}{n}. Интегральная сумма S_n = \sum\limits_{i=0}^{n-1}a^{\xi_i} \Delta x_i = \frac{1}{n} \sum\limits_{i=0}^{n-1} a^{\frac{i}{n}} = \frac{1}{n} \sum\limits^{n-1}_{i=0}(a^{\frac{i}{n}})^i. Суммируя геометрическую прогрессию с первым членом, равным 1, и знаменателем q=a^{\frac{1}{n}}, получаем \sum\limits^{n-1}_{i=0}(a^{\frac{1}{n}})^i = \frac{a-1}{a^{\frac{1}{n}}-1} Отсюда следует, что S_n = \frac {a-1}{n(a^{\frac{1}{n}}-1)} Так как при n \to +\infty последовательность \displaystyle a^{\frac{1}{n}}-1 \sim \frac{\ln a}{n}, то \int\limits^1_0 a^x \,dx = \lim_{n\to +\infty} S_n = \lim_{n\to +\infty} \frac{(a-1)n}{n \ln a} = \frac{a-1}{\ln a}.

  3. Вычислить определенный интеграл, рассматривая его как предел соответствующих интегральных сумм и производя разбиение промежутка интеграции надлежащим образом: \displaystyle\int\limits^b_a \frac{dx}{x^2}, (0 < a < b).
    Решение

    Пусть x_o, x_1, \ldots, x_n — произвольное разбиение отрезка [a;b]. Выберем точки разметки \xi_i = \sqrt{x_ix_{i+1}} (0 \leqslant i \leqslant n-1). Интегральная сумма \displaystyle S_n = \sum\limits^{n-1}_{i=0} \frac{1}{\xi_{i}^{2}}(x_{i+1}-x_i)=\sum\limits^{n-1}_{i=0} \frac{1}{x_ix_{i+1}}(x_{i+1}-x_i)= \sum\limits^{n-1}_{i=0}\left(\frac{1}{x_i}-\frac{1}{x_{i+1}}\right)= \displaystyle=\left(\frac{1}{x_0}-\frac{1}{x_1}\right)+\left(\frac{1}{x_1}-\frac{1}{x_2}\right)+\left(\frac{1}{x_2}-\frac{1}{x_3}\right)+\ldots+\left(\frac{1}{x_{n-1}}-\frac{1}{x_n}\right)= =\displaystyle\frac{1}{x_0}-\frac{1}{x_n}=\frac{1}{a}-\frac{1}{b}. Отсюда получаем следующее: \int\limits_a^b \frac{dx}{x^2} = \lim_{n\to+\infty} S_n = \lim_{n\to+\infty}\left(\frac{1}{a}-\frac{1}{b}\right) = \frac{1}{a}-\frac{1}{b}.

Интеграл Римана

Данный тест поможет Вам разобраться с материалом по теме «Интеграл Римана».

Литература

Смотрите также

7.7 Интеграл с переменным верхним пределом

Пусть функция f интегрируема на отрезке [a,b]. Обозначим
F(x) = \int\limits_{a}^{x} f(t)dt (x \epsilon [a,b]).
По свойству интегрируемых функций, f интегрируема на [a,x] для любого x \epsilon [a,b]. Поэтому функция F интегрируема на [a,b]. Заметим, что F(a) = 0. Функцию F называют интегралом с переменным верхним пределом, или неопределенным интегралом Римана.

Теорема.
Если функция f интегрируема на отрезке [a,b], то функция F(x) непрерывна на этом отрезке.

Пусть x \epsilon [a,b] и x + \Delta x \epsilon [a,b]. Докажем, что
\Delta F = F\left(x + \Delta x \right) — F \left(x \right) \to 0 при \Delta x \to 0.
В силу свойств интеграла, связанных с отрезками интегрирования, имеем
\Delta F = \int\limits_{a}^{x + \Delta x} f \left(t \right)dt — \int\limits_{a}^{x} f \left(t \right)dt = \int\limits_{x}^{x + \Delta x} f \left(t \right)dt.
Так как функция f интегрируема на отрезке [a,b], то она ограничена, т. е.
\exists M > 0 : \forall x \epsilon [a,b] \to |f(x)| \leqslant M
Согласно правилу оценки интеграла:
\left|\Delta F \right| \leqslant \left|\int\limits_{x}^{x + \Delta x} \left|f(t) \right|dt \right| \leqslant M|\Delta x|,
откуда получаем: \Delta F \to 0 при \Delta x \to 0, т. е. функция F непрерывна в точке x. Поскольку x — произвольная точка отрезка [a,b], то функция F непрерывна на отрезке [a,b].
Теорема доказана.

Теорема.
Пусть функция f интегрируема на [a,b] и непрерывна в точке x_0 \epsilon [a,b]. Тогда функция F дифференцируема в точке x_0 и F^\prime(x_0) = f(x_0).

Пусть, например, a <x_0 < b.
(в точках a и b можно рассматривать только односторонние производные). Тогда для любого h \neq 0, такого, что x_0 + h \epsilon [a,b], имеем
\frac{F(x_0 + h) — F(x_0)}{h} = \frac{1}{h}\cdot\left(\int\limits_a^{x_0+h} f(t)dt — \int\limits_a^{x_0} f(t)dt\right) = \frac{1}{h} \cdot \int\limits_{x_0}^{x_0+h} f(t)dt.
Отсюда следует
\left|\frac{F(x_0 + h) — F(x_0)}{h} — f(x_0)\right| = \left|\frac{1}{h} \cdot \int\limits_{x_0}^{x_0+h} f(t)dt — f(x_0)\right| =
= \left|\frac{1}{h} \cdot \int\limits_{x_0}^{x_0+h} [f(t) — f(x_0)]dt\right| \leqslant \frac{1}{|h|} \cdot \left|\int\limits_{x_0}^{x_0+h} \left|f(t) — f(x_0)\right|dt\right| \equiv \rho(h).
Если мы покажем, что \rho(h) \to 0 при h \to 0, то тем самым теорема будет доказана. Для оценки \rho(h) предположим для определенности, что h > 0.
Зададим произвольное \varepsilon > 0 и, пользуясь непрерывностью функции f в точке x_0, найдем такое \delta > 0, то для всех t, удовлетворяющих условию \left|t — x_0\right| < \delta, справедливо неравенство \left|f(t) — f(x_0)\right| < \varepsilon. Если теперь 0 < h < \delta, то получим
\rho(h) = \frac{1}{h} \cdot \int\limits_{x_0}^{x_0+h}\left|f(t) — f(x_0)\right|dt \leqslant \varepsilon.
Отсюда следует, что \rho(h) \to 0 при h \to 0.
Случай h < 0 исчерпывается аналогичным образом. В точках x_0 = a и x_0 = b приведенные выше рассуждения достаточно применить для h > 0 и h < 0, соответственно.
Теорема доказана.

Замечание.Условие непрерывности функции f в точке x_0 не является необходимым для дифференцируемости F в точке x_0. Например, если взять непрерывную на отрезке [a,b] функцию f, то, по доказанной теореме, функция F будет дифференцируемой в каждой точке отрезка [a,b]. Изменим теперь значение функции f в одной точке. В результате получим разрывную функцию \overline{f}. В то же время, как легко видеть, функция F остается прежней, т.е. \overline{F}(x) \equiv \int\limits_a^x \overline{f}(t)dt = F(x) (x \epsilon [a,b]) (поскольку изменение функции в конечном числе точек не влияет на величину её интеграла). Таким образом, получим, что интеграл с переменным верхним пределом от разрывной функции может оказаться дифференцируемым.

Пример 1.
Рассмотрим функцию
f \left( x \right) = \begin{cases} \sin\frac{1}{x}, & 0 < x \leqslant 1, \\ 0, & x = 0 \end{cases}
Эта функция ограничена на отрезке [0,1] и имеет единственную точку разрыва x_0 = 0. Значит она интегрируема на [0,1]. Обозначим F(x) = \int\limits_0^x f(t)dt. Поскольку f непрерывна в каждой точке x \neq 0, то, по предыдущей теореме, функция F дифференцируема в каждой точке x \epsilon [0,1] и F^\prime(x) = \sin\frac{1}{x}. В точке x_0 = 0 функция f разрывна и поэтому предыдущая теорема неприменима. Однако можно показать, что существует F^\prime_+(0) = 0.

Пример 2.
Пусть f(x) = \operatorname {sign} x, -1 \leqslant x \leqslant 1. Если -1 \leqslant x < 0, то f(t) = -1, -1 \leqslant t \leqslant x и \int\limits_{-1}^{x} f(t)dt = -\left(x — \left(-1\right)\right) = -\left(x + 1\right). Если же 0 \leqslant x \leqslant 1, то \int\limits_{-1}^{x} f(t)dt = \int\limits_{-1}^{0} f(t)dt + \int\limits_{0}^{x} f(t)dt = -1 + x.
Таким образом,
f \left( x \right) = \begin{cases} -\left(x + 1\right), & -1 \leqslant x \leqslant 0, \\ x — 1, & 0 \leqslant x \leqslant 1.\end{cases}
Легко видеть, что в точке x_0 = 0 функция F недифференцируема.

Упражнение. Покажите, что если в некоторой точке функция f имеет скачок, что интеграл с переменным верхним пределом от этой функции недифференцируем в этой точке.

Теорема (основная теорема интегрального исчисления).
Пусть функция f непрерывна на отрезке [a,b]. Тогда она имеет первообразную на этом отрезке. Одной из её первообразных является интеграл с переменным пределом от этой функции.

Пусть x — произвольная точка отрезка [a,b]. По теореме о дифференцируемости интеграла функция F(x) имеет в точке x производную, равную f(x), т. е.
F^\prime(x) = \frac{d}{dx} \cdot \left(\int\limits_{a}^{x} f(t)dt \right) = f(x)
Согласно определения первообразной функция F(x) является первообразной для функции f(x) на отрезке [a,b], и поэтому справедливо равенство
\int f(x)dx = \int\limits_{a}^{x} f(t)dt + C, где C — произвольная постоянная.

Покажем, что у разрывной функции может существовать первообразная. Действительно в примере 1 функция f разрывна в точке x_0 = 0. Рассмотрим функцию \varphi(x) = x^{2} \cdot \cos \frac {1}{x}, x \neq 0, \varphi(0) = 0. Легко видеть, что \varphi^\prime(0) = 0, а при x < 0 \neq 1 имеем \varphi^\prime(0) = 2 \cdot \cos \frac{1}{x} + \sin \frac{1}{x}. Положим g(x) = 2 \cdot \cos \frac{1}{x}, (x \neq 0), g(0) = 0. Тогда функция g непрерывна на [0,1] и, в силу основной теоремы интегрального исчисления имеет первообразную на [0,1]. Поэтому и функция f(x) = \varphi^\prime (x) — g(x) имеет первообразную на [0,1] как разность двух функций, имеющих первообразные.

Теорема Ньютона — Лейбница (основная формула интегрального исчисления).
Пусть функция f непрерывна на отрезке [a,b] и \Phi — её первообразная на этом отрезке. Тогда
\int\limits_{a}^{b} f(x)dx = \Phi(b) — \Phi(a) \equiv \Phi(x) \bigg|_{a}^{b}.

Существование первообразной следует из предыдущей теоремы. Кроме того, одной из первообразных является функция F(x) = \int\limits_{a}^{x}f(t)dt. Но разность двух любых первообразных постоянна, так что F(x) — \Phi(x) \equiv C. Поскольку F(a) = 0, то отсюда получаем -\Phi(a) = C. Таким образом F(x) = \Phi(x) — \Phi(a). При x = b имеем
\int\limits_{a}^{b} f(x)dx = F(b) = \Phi(b) — \Phi(a).
Теорема доказана.

Теорема (обобщенная теорема Ньютона — Лейбница).
Пусть функция f интегрируема на отрезке [a,b], а \Phi непрерывна на этом отрезке и \Phi^\prime = f(x) для всех x \epsilon [a,b], за исключением, быть может, конечного числа точек. Тогда
\int\limits_{a}^{b} f(x)dx = \Phi(b) — \Phi(a).

Возьмем произвольное разбиение a = x_0 < x_1 < … <x_n = b отрезка [a,b], такое, что среди его точек содержатся все те точки, в которых не выполняется равенство \Phi^\prime = f(x). На каждом из отрезков [x_i, x_i+1] функция \Phi удовлетворяет условиям теоремы Лагранжа. В силу этой теоремы имеем
\Phi(x_i+1) — \Phi(x_i) = \Phi^\prime(\xi_i)\Delta x_i = f(\xi_i) \Delta x_i,
где точки \xi_i \epsilon \left(x_i,x_i+1 \right). Складывая эти равенства, получаем
\sum\limits_{i = 0}^{n — 1} \left[\Phi(x_i+1) — \Phi(x_i) \right] = \sum\limits_{i = 0}^{n — 1} f(\xi_i) \Delta x_i
Сумма слева, очевидно, равна \Phi(b) — \Phi(a), так что
\Phi(b) — \Phi(a) = \sum\limits_{i=0}^{n-1} f(\xi_i) \Delta x_i.
Справа имеем интегральную сумму для функции f. По условию f — интегрируемая функция, так что при стремлении к нулю диаметра разбиения сумма справа стремится к \int\limits_{a}^{b} f(x)dx. Поэтому получили
\Phi(b) — \Phi(a) = \int\limits_{a}^{b} f(x)dx.
Теорема доказана.

Следствие. Если функция \Phi(x) дифференцируема на отрезке [a,b] и её производная f(x) \equiv \Phi^\prime(x) интегрируема по Риману на этом отрезке, то
\Phi(x) = \Phi(a) + \int\limits_{a}^{x} f(t)dt.

Определение. Пусть функция f задана на отрезке [a,b]. Функцию \Phi будем называть обобщенной первообразной функции f на этом отрезке, если \Phi непрерывна на [a,b] и \Phi^\prime(x) = f(x) всюду, за исключением быть может, конечного числа точек.

Заметим, что обобщенная первообразная определяется однозначно с точностью до постоянного слагаемого, а именно, если \Phi_1 и \Phi_2 — две обобщенные первообразные для функции f, то \Phi_1 — \Phi_2 \equiv C.

Теорема.
Если функция f ограничена на отрезке [a,b] и непрерывна всюду, за исключением, быть может, конечного числа точек, то на этом отрезке она имеет обобщенную первообразную. Одной из обобщенных первообразных является \int\limits_{a}^{x} f(t)dt.

Доказательство этой теоремы легко получается из основной теоремы интегрального исчисления.

Примеры решения задач

  1. Доказать, что если функция f непрерывна на \mathbb{R}, а функции \varphi и \psi дифференцируемы на \mathbb{R}, то
    \frac{d}{dx} \left(\int\limits_{\varphi(x)}^{\psi(x)} f(t)dt \right) = \psi^\prime \left(x \right) \cdot f \left(\psi \left(x \right)\right) — \varphi^\prime \left(x \right) \cdot f \left(\varphi \left(x \right)\right)
    Обозначим это равенство (*).

    Решение

    Пусть F — первообразная для функции f; тогда по формуле Ньютона — Лейбница находим
    \int\limits_{\varphi(x)}^{\psi(x)} f(t)dt = F(t) \bigg|_{t = \varphi(x)}^{t = \psi(x)} = F(\psi(x)) — F(\varphi(x)),
    откуда, используя правило дифференцирования сложной функции и равенство F^\prime (t) = f(t) получаем формулу (*).

  2. Найти производную функции F(x) = \int\limits_{2}^{x^{3}} e^{t}dt.
    Решение

    В данном случае верхний предел является функцией от x, поэтому воспользуемся правилом дифференцирования сложной функции.
    Пусть G(x) = \int\limits_{2}^{x} e^{t}dt.
    Тогда производная функции G^\prime (x) = e^{x}. Следовательно G^\prime (x^{3}) = e^{x^{3}}. Далее F(x) = G(x^{3}) и F^\prime (x) = (x^{3})^\prime \cdot G^\prime (x^{3}). Откуда получаем
    F^\prime (x) = e^{x^{3}} \cdot (x^{3})^\prime = 3 \cdot x^{2} \cdot e^{x^{3}}

  3. Покажем, что первообразная F(x) = \int\limits_{0}^{x} f(t)dt от непрерывной периодической функции с периодом T может быть представлена в виде суммы линейной и периодической с периодом T функции.
    Решение

    Рассмотрим функцию g(t) = f(t) — A, где A = \frac{1}{T} \cdot \int\limits_{0}^{T} f(t)dt — среднее значение функции f(t) по периоду. Покажем, что её первообразная G(x) = \int\limits_{0}^{x} g(t)dt является периодической с периодом T функцией.
    Действительно, G(x + T) — G(x) = \int\limits_{x}^{x+T} g(t)dt = \int\limits_{0}^{T} g(t)dt, поскольку g(t) периодическая с периодом T функция.
    Далее, \int\limits_{0}^{T} g(t)dt = \int\limits_{0}^{T} (f(t) — A)dt = \int\limits_{0}^{T} f(t)dt — A \cdot T = 0 в силу определения числа A.
    Таким образом, G(x + T) — G(x) = 0 для любого значения x \epsilon \mathbb{R}.
    И на конец, F(x) = \int\limits_{0}^{x} f(t)dt = \int\limits_{0}^{x} (A + g(t))dt = A \cdot x + G(x), что и требовалось доказать.

  4. Найти с помощью интеграла \lim \limits_{n \to \infty} S_n, если
    S_n = \frac{1^{\alpha} + 2^{\alpha} + … + n^{\alpha}}{n^{\alpha + 1}}, \alpha > 0

    Решение

    Запишем S_n в виде S_n = \frac{1}{n} \sum\limits_{k=1}^{n} \left(\frac {k}{n} \right)^{\alpha}, здесь S_nинтегральная сумма для функции f(x) = x^{\alpha} на отрезке [0,1], соответствующая разбиению T этого отрезка на отрезки \delta_k = \left[ \frac{k-1}{n}, \frac{k}{n} \right], k = \overline{1,n}, каждый из которых имеет длину \frac{1}{n}; в качестве точки \xi_k \epsilon \Delta_k берется правый конец отрезка \Delta_k, т.е. \xi_k = \frac{k}{n}. Так как l(T) = \frac{1}{n} \to 0 при n \to \infty, а функция x^{\alpha} непрерывна на отрезке [0,1], то существует
    \lim \limits_{n \to \infty} S_n = \int\limits_{0}^{1} x^{\alpha}dx = \frac{x^{\alpha + 1}}{\alpha+1} \bigg|_{0}^{1} = \frac{1}{\alpha + 1}.

Информацию по теме «Интеграл с переменным верхним пределом» вы можете также найти в следующих учебниках:

Интеграл с переменным верхним пределом

Пройдите этот тест, чтобы проверить свои знания по только что прочитанной теме «Интеграл с переменным верхним пределом».

Вычисление криволинейных интегралов второго рода

Перед прочтением данной статьи желательно ознакомиться с темой Определение криволинейных интегралов второго рода и их свойства. Физический смысл

Вычисление криволинейных интегралов II рода

Если \Gamma — кусочно гладкая кривая заданная уравнением r=r(t) (\alpha\leq t\leq\beta), а функции {\varphi }_{i} (i=1,…,n) непрерывные вдоль кривой \Gamma, то существует криволинейный интеграл II рода \int\limits_{\Gamma}^{}(F,\,dr) и справедливо равенство:
\int\limits_{\Gamma}(F,\,dr)= =\int\limits_{\alpha}^{\beta}\sum\limits_{i=1}^{n}{\varphi}_{i}({x}_{1}(t),\ldots,{x}_{n}(t)){x’}_{i}(t)\,dt.

Примеры

  1. Вычислить криволинейный интеграл \int\limits_{\Gamma}^{}(y\,dx-x\,dy), где \Gamma — дуга окружности x^2+y^2=1, которая начинается в точке (1,0) и заканчивается в точке (0,1).
    Параметрическое представление кривой \Gamma имеет вид \Gamma: x=\cos t, y=\sin t (0\leq t\leq\frac{\pi}{2}). Отсюда,

    \int\limits_{\Gamma}^{}(y\,dx-x\,dy)= =\int\limits_{0}^{\frac{\pi}{2}}\left[\sin t(-\sin t)-\cos t\cdot \cos t\right]\,dt= =-\int\limits_{0}^{\frac{\pi}{2}}\,dt=-t \bigg|_{0}^{\frac{\pi}{2}}= =-\left( \frac{\pi}{2}-0 \right)=-\frac{\pi}{2}.

  2. Вычислить криволинейный интеграл \int\limits_{\Gamma}^{}(ydx-xdy), где \Gamma — отрезок, который начинается в точке (1,0) и заканчивается в точке (0,1).
    Параметрическое представление кривой \Gamma имеет вид \Gamma: x=1-t, y=t (0\leq t\leq1). Отсюда,

    \int\limits_{\Gamma}^{}\left(y\,dx-x\,dy\right)= =\int\limits_{0}^{1}[t(-1)-(1-t)\cdot 1]\,dt= =-\int\limits_{0}^{1}\,dt=-t \bigg|_{0}^{\frac{\pi}{2}}=-(1-0)=-1.

  3. Вычислить криволинейный интеграл \int\limits_{\Gamma}^{}(y\,dx+x\,dy), где \Gamma — дуга окружности x^2+y^2=1, которая начинается в точке (1,0) и заканчивается в точке (0,1).
    Параметрическое представление кривой \Gamma имеет вид \Gamma: x=\cos t, y=\sin t (0\leq t\leq\frac{\pi}{2}). Отсюда,

    \int\limits_{\Gamma}^{}(y\,dx+x\,dy)= =\int\limits_{0}^{\frac{\pi}{2}}[\sin t(-\sin t)+\cos t\cdot \cos t]\,dt= =\int\limits_{0}^{\frac{\pi}{2}}[{cos}^{2}t-{sin}^{2}t]\,dt =\int\limits_{0}^{\frac{\pi}{2}}\cos 2t\,dt= =\frac{\sin 2t}{2} \bigg|_{0}^{\frac{\pi}{2}}=\frac{\sin \pi}{2}-\frac{\sin 0}{2}=0.

Вычисление криволинейных интегралов второго рода

Чтобы убедиться в том что вы усвоили данный материал советую пройти этот тест.


Таблица лучших: Вычисление криволинейных интегралов второго рода

максимум из 7 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных