Definizione Integrale Improprio

Definizioni

Funzione limitata in intervallo limitato

Sia f:(a,b)Rf:(a,b) \to \mathbb{R} integrabile in [a+ϵ,b]ϵ>0[a+\epsilon,b] \forall \epsilon > 0

Definiamo l'integrale improprio o generalizzato di ff in (a,b)(a,b) come limite se esiste:

abf(x)dx:=limϵ++a+ϵbf(x)dx={lR± \int_a^b f(x)dx := \lim_{\epsilon \to +^+} \int_{a +\epsilon}^b f(x)dx = \begin{cases} l \in \mathbb{R}\\ \pm \infty\\ \nexists \end{cases}
  • Se lRfl \in \mathbb{R} \Rightarrow f è integrabile in senso generalizzato in (a,b)(a,b)

  • Analogamente se ff integrale in senso generalizzato in [a,bϵ]ϵ>0[a,b-\epsilon] \forall \epsilon >0

abf(x)dx:=limϵ0+abϵf(x)dx \Rightarrow \int_a^bf(x)dx := \lim_{\epsilon \to 0^+}\int_a^{b-\epsilon}f(x)dx

Funzione illimitata in intervallo limitato

Sia f:[a,+)Rf:[a,+\infty) \to \mathbb{R} integrabile in [a,M]\M>0[a,M] \forall \M > 0

Definiamo l'integrale improprio o generalizzato di ff in (a,+)(a,+\infty) come il limite se esiste:

a+f(x)dx:=limm+aMf(x)dx \int_a^{+\infty}f(x)dx := \lim_{m\to +\infty}\int_a^M f(x)dx bf(x)dx:=limmMbf(x)dx \int_{-\infty}^bf(x)dx := \lim_{m\to -\infty}\int_M^b f(x)dx