Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Интеграл как функция верхнего предела.

ВВЕДЕНИЕ В МАТЕМАТИЧЕСКИЙ АНАЛИЗ 1 страница | ВВЕДЕНИЕ В МАТЕМАТИЧЕСКИЙ АНАЛИЗ 2 страница | ВВЕДЕНИЕ В МАТЕМАТИЧЕСКИЙ АНАЛИЗ 3 страница | ВВЕДЕНИЕ В МАТЕМАТИЧЕСКИЙ АНАЛИЗ 4 страница | ВВЕДЕНИЕ В МАТЕМАТИЧЕСКИЙ АНАЛИЗ 5 страница | ИНТЕГРАЛЫ | Определённый интеграл | Признаки сходимости | ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ | Теорема о неявной функции |


Читайте также:
  1. Imadjust функциясы.
  2. Medfilt функциясымен медиандық фильтрация
  3. PR как функция управления коммуникациями
  4. V. НЕОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
  5. V. НЕОПРЕДЕЛЕННЫЙ ИНТЕГРАЛ
  6. Алгоритмы метода Монте-Карло для решения интегральных уравнений второго рода.
  7. Анықтылықты масштабтаудың М - функциялары.

 

Теорема 4.1. Пусть Рассмотрим функцию имеет место равенство

Доказательство. Функция существует, так как . Имеем

, где точка ; если , а , по непрерывности. Теорема доказана.

Таким образом, для непрерывной функции - первообразная для .

Теорема 4.2. Пусть - любая первообразная для на . Тогда

если .

Доказательство. В условиях теоремы, для некоторой константы , где

определена как в предыдущей теореме. Имеем, далее,

Теорема доказана.

Эта теорема позволяет вычислять определённые интегралы через значения первообразных (и тем самым в некотором смысле оправдывает введение понятия первообразной). Можно слегка обобщить её.

Теорема 4.3. Пусть , исключая конечное число точек внутри отрезка.

Тогда , где функция в точках разрыва определена произвольно, а между ними – как первообразная для на соответствующем промежутке.

Ни уточнять, ни доказывать мы её не будем.

Теорема 4.4. (Вторая теорема о среднем). Пусть функция , а на

монотонна. Тогда , такая, что .

Лемма 4.3.1. (Формулы Бонне).Если на функция не возрастает и неотрицательна, а , то , для которой

.

Аналогично, если на и не убывает, а , то такая, что

. , где .

Доказательство. Докажем первую часть. Разобьём отрезок на более мелкие точками .Имеем:

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

Значит, первая сумма будет стремиться к интегралу. Положим . Имеем:

.

Функция , следовательно, поскольку все разности неотрицательны, , и , где . В силу непрерывности , , , что даёт первую из формул. Вторая доказывается аналогично.

Доказательство теоремы. Пусть монотонно убывает. В первой формуле Бонне возьмём вместо разность . После преобразований (формальных и не связанных с новыми идеями) получим утверждение теоремы.

Примечание. Эта теорема в лекционном курсе не доказывалась.

 

 


Дата добавления: 2015-08-26; просмотров: 75 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Классы интегрируемых функций| Несобственные интегралы. Введение.

mybiblioteka.su - 2015-2024 год. (0.007 сек.)