Несвојствен интеграл

Несвојствен интеграл претставува генерација на определен интеграл на неограничени интервали на интеграција и неограничени подинтегрални функции.
1 Дефиниција
Несвојствениот интеграл за функцијата <math>f \in R[a,c], \forall c<b</math>, ако постои <math>\lim_{c \to b^{- \int_a^c f(x)dx</math>, е интеграл <math>\int_a^b f(x)dx</math> според дефиницијата еднаков на граничната вредност (лимес), <math>\int_a^b f(x)dx = \lim_{c \to b^{- \int_a^c f(x)dx</math>.
За <math>f \in R[a,b]</math>, несвојствениот интеграл е еднаков на Римановиот поради непрекинатоста на лимесот.
2 Видови интеграли
Се разликуваат несвојствени интеграли од првиот и вториот вид.
2.1 Несвојствени интеграли од првиот вид
Кај несвојствените интеграли од првиот вид, подинтегралната функција е дефинирана во бесконечниот интервал на интеграција. Во зависност од интервалот на интеграција, постојат три типа на несвојствени интеграли со бесконечен интервал кои се дефинираат како гранични вредности, но на различни начини:
* кога интервалот на интеграцијата на полуоската е затворен лево, <math> [a, + \infty ) </math>:
:<math>\int_a^{+ \infty} f(x) dx = \lim_{\beta \to + \infty} \int_a^{\beta} f(x) dx </math>* кога интервалот на интеграцијата на полуоската е затворен десно, <math> (- \infty, b ] </math>:
:<math>\int_{-\infty}^b f(x) dx = \lim_{\alpha \to - \infty} \int_{\alpha}^b f(x) dx </math>* кога интервалот е права на целите броеви, <math> (- \infty, + \infty) </math>:
:<math>\int_{- \infty}^{+ \infty} f(x) dx = \lim_{\alpha \to - \infty, \beta \to + \infty, } \int_{\alpha}^{\beta} f(x) dx, </math>
2.2 Несвојствени интеграли од вториот вид
Несвојствените интеграли од вториот вид се интеграли во кои интервалот на интеграција е конечен, но подинтегралната функција е неограничена во една точка наречена сингуларна точка. Постојат три типа на несвојствени интеграли од вториот вид, во зависност од позицијата на сингуларната точка:
* кога функцијата е дефинирана во десно-отворен интервал, <math> [a, b) </math>, где <math>\lim_{x \to b^-}f(x)=\infty </math>:
:<math>\int_a^b f(x) dx = \lim_{\epsilon \to 0} \int_a^{b - \epsilon} f(x) dx </math>* кога функцијата е дефинирана во лево-отворен интервал, <math> (a, b] </math>, где <math>\lim_{x \to a^+}f(x)=\infty </math>:
:<math>\int_a^b f(x) dx = \lim_{\epsilon \to 0} \int_{a + \epsilon}^b f(x) dx </math>* кога функцијата е дефинирана во цел интервал <math> [a, b] </math>, освен во една внатрешна точка c, <math>a<c<b</math> во којашто е неограничена <math>\lim_{x \to c}f(x)=\infty </math>:
:<math>\int_a^b f(x) dx = \lim_{\epsilon \to 0} \int_a^{c- \epsilon}f(x) dx + \lim_{\delta\to 0} \int_{c +\delta}^b f(x) dx </math>
3 Својства
Со ограничување на лимесот кај својствата на Римановите интеграли, лесно е да се добијат следниве својства на несвојствените интеграли:
*<math>\int_a^b (f(x)+g(x))dx=\int_a^b f(x)dx + \int_a^b g(x)dx</math>*<math>\int_a^b (\lambda f(x))dx = \lambda \int_a^b f(x)dx, \forall \lambda \in \mathbf{R}</math>*<math>\int_a^b (u'(x)v(x))dx = \lim_{c \to b^-}(u(x)v(x)|_a^c) - \int_a^b (u(x)v'(x))dx </math>, ако постои барем еден од трите израза.
*<math>\int_a^b (f(x)+g(x))dx=\int_a^b f(x)dx + \int_a^b g(x)dx</math>*<math>\int_a^b (\lambda f(x))dx = \lambda \int_a^b f(x)dx, \forall \lambda \in \mathbf{R}</math>*<math>\int_a^b (u'(x)v(x))dx = \lim_{c \to b^-}(u(x)v(x)|_a^c) - \int_a^b (u(x)v'(x))dx </math>, ако постои барем еден од трите израза.
4 Кошиев критериум за несвојствените интеграли
Интегралот <math>\int_a^c f(x)dx</math> постои во несвојствена смисла ⇔ <math> (\forall \epsilon>0)(\exist c_0 \in [a,b])(\forall c_1, c_2 > c_0)|\int_{c_1}^{c_2} f(x)dx| < \epsilon. </math> Ова лесно се докажува од Кошиевиот конвергенциски критериум, каде што функцијата на која се дефинира лимесот се заменува со конкретниот несвојствен интеграл <math>\int_a^c f(x)dx</math>.
5 Поврзано
* Интеграл
* Права вредност на интеграл
6 Библиографија
* .
* .
** .
**