Dominio di una funzione integrale.

giovanni.menabuoni
Ciao, non ho ben capito come fare il dominio di una funzione integrale.
Il probelma mi si è posto su questo esercizio :

f(x)=$\{(1/(1-|x-1|), |x|>2),(sin(πx), -2<=x<0),(x2^-x, 0<=x<=2):}$

F(x)=$int_1^(2x)f(t)dt$

grazie in anticipo

Risposte
gugo82
Per lo studio della funzione integrale, dai uno sguardo qui.
Per quanto riguarda il dominio, il dominio della funzione integrale coincide con più grande intervallo contenente il punto \(1\) (punto iniziale della tua funzione integrale) in cui l'integrando risulta integrabile.

giovanni.menabuoni
Avevo giá guardato quella pagina, ma il mio problema riguarda solo lo studio del dominio il resto lo riesco a fare.
Non ho capito se per studiare il dominio devo integrare la funzione e studiare il dominio della funzione integranda
oppure c'è un metodo più semplice e diretto.

gugo82
Come già detto:
"gugo82":
Per quanto riguarda il dominio, il dominio della funzione integrale coincide con più grande intervallo contenente il punto \(1\) (punto iniziale della tua funzione integrale) in cui l'integrando risulta integrabile.

giovanni.menabuoni
Si ho capito, ma non riesco a calcolarlo..

gugo82
Il tuo punto iniziale cade in \([0,2]\).
In tale intervallo la tua funzione è continua ed integrabile, quindi \([0,2]\subseteq \operatorname{Dom} F\).

Vediamo se è possibile estendere \(\operatorname{Dom} F\) a sinistra di \(0\) o a destra di \(2\).
Supponiamo che \(\operatorname{Dom} F\) contenga qualche punto \(\xi >2\); allora per proprietà additiva:
\[
F(\xi ):= \int_0^2 f(t)\ \text{d} t +\int_2^\xi f(t)\ \text{d} t
\]
ma il secondo addendo non è finito (infatti l'integrando non è impropriamente integrabile a destra di \(2\), poiché è in tale punto un infinito d'ordine \(1\)) e ciò è assurdo poiché in un punto \(x\) del dominio non si può avere \(F(x) =\pm \infty\). Quindi \(\operatorname{Dom} F\) non si prolunga a destra di \(2\).

D'altra parte \(f\) è continua in \(0\) ed in \([-2,0[\), quindi l'integrale:
\[
F(x):=\int_1^x f(t)\ \text{d} t =-\int_x^1 f(t)\ \text{d} t =- \left( \int_x^0 f(t)\ \text{d} t+\int_0^1 f(t)\ \text{d} t\right)
\]
è ben definito. Ne viene che \([-2,0]\subseteq \operatorname{Dom} F\), ossia che \([-2,2]\subseteq \operatorname{Dom} F\).

Vediamo allora se \(\operatorname{Dom} F\) è prolungabile a sinistra di \(-2\).
La funzione integranda esibisce una discontinuità di salto in \(-2\) ed è continua a sinistra di tale punto; dato che l'integrale di Riemann "non vede" le discontinuità di prima specie, è evidente che comunque si fissi \(x <-2\) risulta:
\[
F(x) = - \left( \int_x^{-2} f(t)\ \text{d} t+\int_{-2}^1 f(t)\ \text{d} t\right)
\]
quindi \(F(x)\) si può ben definire come somma di due integrali impropri finiti. Ne consegue che \(]-\infty ,-2[\subseteq \operatorname{Dom} F\).

Visto che non possiamo allargarci oltre, abbiamo dimostrato che \(\operatorname{Dom} F=]-\infty ,2]\).

giovanni.menabuoni
Grazie mille... Ora ho capito..

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.