2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 доказательство свойств несобственного интеграла
Сообщение22.05.2021, 15:34 


19/11/20
310
Москва
У нас на лекции эта тема была объяснена вскользь, доказательства были объяснены неподробно. В учебники вообще этих доказательств нет, поэтому решил, вот, расписать самостоятельно, на основе того, что нам дали на лекции. Можете, пожалуйста, посмотреть их и сказать, правильные они или нет. В доказательстве формулы замены переменной я проблем, вроде как, сам не вижу, а вот в доказательстве аддитивности сомневаюсь. Больше всего меня смущают два последних предложения. Я, вроде как, просто расписал аддитивность собственного интеграла (разбил его на два), после чего сказал, что второй из них ($\int_c^{\omega}f(x)dx$) определён. С чего он определён мне не особо понятно, видимо из-за того, что интеграл $\int_a^{\omega}f(x)dx$ определён по условию, а интеграл $\int_a^cf(x)dx$ никак не зависит от $\omega$. Далее я из-за этого же пишу, что интегралы эти сходятся и расходятся одновременно, что у меня тоже вызывает сомнения.
Изображение
Изображение

 Профиль  
                  
 
 Re: доказательство свойств несобственного интеграла
Сообщение22.05.2021, 16:37 
Заслуженный участник
Аватара пользователя


23/07/08
10910
Crna Gora
Kevsh в сообщении #1519551 писал(а):
С чего он определён мне не особо понятно, видимо из-за того, что интеграл $\int_a^{\omega}f(x)dx$ определён по условию, а интеграл $\int_a^cf(x)dx$ никак не зависит от $\omega$.
Если $A(\varepsilon)=B+C(\varepsilon)$, то пределы
$\lim\limits_{\varepsilon\to 0} A(\varepsilon)$ и $\lim\limits_{\varepsilon\to 0} C(\varepsilon)$
либо оба существуют, либо оба не существуют (по свойству «предел суммы равен сумме пределов, если они существуют»).

Допустим, оба существуют.
Несобственный интеграл
$\int\limits_a^\omega$
есть предел собственного
$=\lim\limits_{\varepsilon\to 0}\int\limits_a^{\omega-\varepsilon}$
который аддитивен:
$=\lim\limits_{\varepsilon\to 0}\left(\int\limits_a^c+\int\limits_c^{\omega-\varepsilon}\right)$
Первое слагаемое, не зависящее от $\varepsilon$, вынесли за предел:
$=\int\limits_a^c+\lim\limits_{\varepsilon\to 0}\int\limits_c^{\omega-\varepsilon}$
и окончательно
$=\int\limits_a^c+\int\limits_c^\omega$

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Skipper


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group