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

Несвојствен интеграл претставува генерација на определен интеграл на неограничени интервали на интеграција и неограничени подинтегрални функции.

Статии поврзани со математичката анализа

Основна теорема на анализата Лимес на функција Непрекинатост Векторска анализа Теорија на редови Теорија на низи Тензорско сметање

Диференцијално сметање

Извод од производ Извод од количник Извод на сложена функција Извод на имплицитна функција Формула на Тејлор Теореми за средна вредност

Интегрално сметање

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

Методи на интегрирање

Интегрирање по делови Интегрирање со смена Ојлерови смени Тригонометриски смени Портал: Математика

Дефиниција

Несвојствениот интеграл за функцијата $f\in R[a,c],\forall c<b$, ако постои $\lim _{c\to b^{-}}\int _{a}^{c}f(x)dx$, е интеграл $\int _{a}^{b}f(x)dx$ според дефиницијата еднаков на граничната вредност (лимес), $\int _{a}^{b}f(x)dx=\lim _{c\to b^{-}}\int _{a}^{c}f(x)dx$.

Несоодветен интеграл од прв вид. Интегралот можеби ќе треба да се дефинира на неограничен домен

За $f\in R[a,b]$, несвојствениот интеграл е еднаков на Римановиот поради непрекинатоста на лимесот.

Видови интеграли

Се разликуваат несвојствени интеграли од првиот и вториот вид.

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

Кај несвојствените интеграли од првиот вид, подинтегралната функција е дефинирана во бесконечниот интервал на интеграција. Во зависност од интервалот на интеграција, постојат три типа на несвојствени интеграли со бесконечен интервал кои се дефинираат како гранични вредности, но на различни начини:

• кога интервалот на интеграцијата на полуоската е затворен лево, $[a,+\infty )$:

$\int _{a}^{+\infty }f(x)dx=\lim _{\beta \to +\infty }\int _{a}^{\beta }f(x)dx$

• кога интервалот на интеграцијата на полуоската е затворен десно, $(-\infty ,b]$:

$\int _{-\infty }^{b}f(x)dx=\lim _{\alpha \to -\infty }\int _{\alpha }^{b}f(x)dx$

• кога интервалот е права на целите броеви, $(-\infty ,+\infty )$:

$\int _{-\infty }^{+\infty }f(x)dx=\lim _{\alpha \to -\infty ,\beta \to +\infty ,}\int _{\alpha }^{\beta }f(x)dx,$

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

Несвојствените интеграли од вториот вид се интеграли во кои интервалот на интеграција е конечен, но подинтегралната функција е неограничена во една точка наречена сингуларна точка. Постојат три типа на несвојствени интеграли од вториот вид, во зависност од позицијата на сингуларната точка:

• кога функцијата е дефинирана во десно-отворен интервал, $[a,b)$, где $\lim _{x\to b^{-}}f(x)=\infty$:

$\int _{a}^{b}f(x)dx=\lim _{\epsilon \to 0}\int _{a}^{b-\epsilon }f(x)dx$

• кога функцијата е дефинирана во лево-отворен интервал, $(a,b]$, где $\lim _{x\to a^{+}}f(x)=\infty$:

$\int _{a}^{b}f(x)dx=\lim _{\epsilon \to 0}\int _{a+\epsilon }^{b}f(x)dx$

• кога функцијата е дефинирана во цел интервал $[a,b]$, освен во една внатрешна точка -{c}-, $a<c<b$ во којашто е неограничена $\lim _{x\to c}f(x)=\infty$:

$\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$

Својства

Со ограничување на лимесот кај својствата на Римановите интеграли, лесно е да се добијат следниве својства на несвојствените интеграли:

• $\int _{a}^{b}(f(x)+g(x))dx=\int _{a}^{b}f(x)dx+\int _{a}^{b}g(x)dx$
• $\int _{a}^{b}(\lambda f(x))dx=\lambda \int _{a}^{b}f(x)dx,\forall \lambda \in \mathbf {R}$
• $\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$, ако постои барем еден од трите израза.
• $\int _{a}^{b}(f(x)+g(x))dx=\int _{a}^{b}f(x)dx+\int _{a}^{b}g(x)dx$
• $\int _{a}^{b}(\lambda f(x))dx=\lambda \int _{a}^{b}f(x)dx,\forall \lambda \in \mathbf {R}$
• $\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$, ако постои барем еден од трите израза.

Кошиев критериум за несвојствените интеграли

Интегралот $\int _{a}^{c}f(x)dx$ постои во несвојствена смисла ⇔ $(\forall \epsilon >0)(\exists c_{0}\in [a,b])(\forall c_{1},c_{2}>c_{0})|\int _{c_{1}}^{c_{2}}f(x)dx|<\epsilon .$ Ова лесно се докажува од Кошиевиот конвергенциски критериум, каде што функцијата на која се дефинира лимесот се заменува со конкретниот несвојствен интеграл $\int _{a}^{c}f(x)dx$.

Поврзано

• Интеграл
• Права вредност на интеграл

Библиографија

• Apostol, T (1974), Mathematical analysis, Addison-Wesley, ISBN 978-0-201-00288-1.
• Apostol, T (1967), Calculus, Vol. 1 (2. изд.), Jon Wiley & Sons.
• Autar Kaw, Egwu Kalu (2008), Numerical Methods with Applications (1. изд.), autarkaw.com
• Titchmarsh, E (1948), Introduction to the theory of Fourier integrals (2. изд.), New York, N.Y.: Chelsea Pub. Co. (објав. 1986), ISBN 978-0-8284-0324-5.
• Cooper, Jeffery (2005), Working analysis, Gulf Professional
• Ghorpade, Sudhir; Limaye, Balmohan (2010), A course in multivariable calculus and analysis, Springer