Oneigenlijke integraal

Een oneigenlijke integraal is de limiet van integralen waarvan de ondergrens naar -∞ nadert of de bovengrens naar +∞ of een of beide integratiegrenzen een punt nadert waar de integrand niet gedefinieerd is. Men noteert een oneigenlijke integraal als een gewone integraal met als grens de limietwaarde van dat grenspunt.

Oneigenlijke integraal van de eerste soort

Voorbeeld van oneigenlijke integraal van de eerste soort

Een oneigenlijke integraal van de eerste soort is de limiet van Riemannintegralen over intervallen $[a,b]$ waarbij een van de grenzen naar $-\mathrm{\infty }$ dan wel naar $+\mathrm{\infty }$ oneindig nadert.

$\underset{a}{\overset{+\mathrm{\infty }}{\int }}f(x)\mathrm{d}x=\underset{b\to +\mathrm{\infty }}{\lim }\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x$

$\underset{-\mathrm{\infty }}{\overset{b}{\int }}f(x)\mathrm{d}x=\underset{a\to -\mathrm{\infty }}{\lim }\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x$

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}f(x)\mathrm{d}x=\underset{a\to -\mathrm{\infty }}{\lim }\underset{b\to \mathrm{\infty }}{\lim }\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x$

Oneigenlijke integraal van de tweede soort

Voorbeeld van oneigenlijke integraal van de tweede soort

Een oneigenlijke integraal van de tweede soort is de limiet van Riemannintegralen over intervallen waarbij een van de grenzen nadert naar een punt waarin de integrand niet gedefinieerd is.

$\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x=\underset{y\uparrow b}{\lim }\underset{a}{\overset{y}{\int }}f(x)\mathrm{d}x$

$\underset{a}{\overset{b}{\int }}f(x)\mathrm{d}x=\underset{y\downarrow a}{\lim }\underset{y}{\overset{b}{\int }}f(x)\mathrm{d}x$

Ook als het punt $c$, waarin de integrand niet gedefinieerd is, een inwendig punt is van het interval $[a,b]$, noemt men de som van de oneigenlijke integralen

$\underset{a}{\overset{b}{\int }}f(x)dx=\underset{y\uparrow c}{\lim }\underset{a}{\overset{y}{\int }}f(x)\mathrm{d}x+\underset{y\downarrow c}{\lim }\underset{y}{\overset{b}{\int }}f(x)\mathrm{d}x$

een oneigenlijke integraal van de tweede soort.

Functies gedefinieerd als oneigenlijke integraal

De gammafunctie, gedefinieerd voor een complex getal $a$ met een positief reëel deel:

$\mathrm{\Gamma }(a)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x}{x}^{a-1}\mathrm{d}x$

De bètafunctie, gedefinieerd voor complexe getallen $a$ en $b$ waarvan het reële deel groter is dan 0:

$B(a,b)=\underset{0}{\overset{1}{\int }}{x}^{a-1}(1-x{)}^{b-1}\mathrm{d}x$

Voorbeelden

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\sqrt{x}{e}^{-x}\mathrm{d}x=\frac{1}{2}\sqrt{\pi }$

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x^2}\mathrm{d}x=\frac{1}{2}\sqrt{\pi }$, met de jacobi-matrix

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x}{e^x-1}\mathrm{d}x=\frac{{\pi }^2}{6}$

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{x^3}{e^x-1}\mathrm{d}x=\frac{{\pi }^4}{15}$

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\sin (x)}{x}\mathrm{d}x=\frac{\pi }{2}$

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}\mathrm{d}x=\mathrm{\Gamma }(z)$, met $\mathrm{\Gamma }(z)$ de gammafunctie