Criterio del confronto integrali impropri

Messaggioda TS778LB » 19/02/2019, 19:54

Ai fini del mio dubbio consideriamo solo una parte dell'enunciato
Sia data $ f:[a,+\infty)->\RR $ continua ed integrabile in ogni intervallo $ [a,t) $ con $ t>a $. Supponiamo che esista una funzione $ g(x) $ integrabile in $ [a,+\infty) $ e che sia verificata la condizione $ 0\lef(x)\leg(x)\forallx\in[a,+\infty) $. Allora $ f(x) $ è integrabile in $ [a,+\infty) $.
Partendo da $ 0\lef(x)\leg(x)$ segue che $ \int_{a}^{t} f(x)\ dx\le\int_{a}^{t} g(x)\ dx $. Abbreviando $ F(t)\leG(t) $ . Dalla positività delle funzioni di partenza deriva la crescenza delle rispettive funzioni integrali. Per hp $g(x)$ è integrabile in $ [a,+\infty) $. Per definizione esiste finito il $ \lim_{t \to +\infty}G(t)=\int_{a}^{+\infty} g(x)\ dx $. Per il teorema delle funzioni monotone tale limite è uguale all'estremo superiore di $ {\int_{a}^{t} g(x)\ dx}\forallt>a $. Quindi $ F(t)\leG(t)\le\int_{a}^{+\infty} g(x)\ dx $. In definitiva $F(t)$ è crescente e limitata superiormente e quindi ammette limite finito per $t->+\infty$. Il criterio è dimostrato

Se volessi ripetere la dimostrazione partendo da funzioni definite in $(-\infty,a]$, arriverei a $ \lim_{t \to -\infty}G(t)=\int_{-\infty}^{a} g(x)\ dx $. Per il teorema delle funzioni monotone tale limite è uguale all'estremo inferiore di $ {\int_{t}^{a} g(x)\ dx}\forallt<a $. Arrivato a questo punto non riesco a sfruttare la definizione di estremo inferiore per verificare la limitatezza inferiore di $F(t)$ così come fatto sopra nel caso dell'estremo superiore. Come potrei fare?
TS778LB
Average Member
Average Member
 
Messaggio: 78 di 534
Iscritto il: 24/04/2017, 14:30

Re: Criterio del confronto integrali impropri

Messaggioda anto_zoolander » 20/02/2019, 04:17

Ciao!

ricordando che $i n fAleqa forall a in A$

$i n f_(t in (-infty,a]){int_(t)^(a)g(x)dx}leqint_(t)^(a)g(x)dxleqint_(t)^(a)f(x)dxleq0, forall t in(-infty,a]$

Da questo segue che $i n f_(t in (-infty,a]){int_(t)^(a)g(x)dx}leqi n f_(t in (-infty,a]){int_(t)^(a)f(x)dx}$
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 3736 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Criterio del confronto integrali impropri

Messaggioda TS778LB » 20/02/2019, 06:23

anto_zoolander ha scritto:
$i n f_(t in (-infty,a]){int_(t)^(a)g(x)dx}leqint_(t)^(a)g(x)dxleqint_(t)^(a)f(x)dxleq0, forall t in(-infty,a]$


La disuguaglianza tra secondo e terzo membro non contraddice l'ipotesi del teorema $0\lef(x)\leg(x)$ ?
anto_zoolander ha scritto:[center]Da questo segue che $i n f_(t in (-infty,a]){int_(t)^(a)g(x)dx}leqi n f_(t in (-infty,a]){int_(t)^(a)f(x)dx}$[center]


In questa parte si giustifica la limitatezza inferiore di $F(t)$ giusto?
TS778LB
Average Member
Average Member
 
Messaggio: 79 di 534
Iscritto il: 24/04/2017, 14:30

Re: Criterio del confronto integrali impropri

Messaggioda anto_zoolander » 20/02/2019, 13:00

Aspetta forse ho capito male una parte: le funzioni sono sempre positive? Perché ho pensato che volessi dimostrare che lo stesso valesse se $fleq0$ ed esiste una funzione integrabile per cui $gleqfleq0$
Error 404
Avatar utente
anto_zoolander
Moderatore
Moderatore
 
Messaggio: 3738 di 9002
Iscritto il: 06/10/2014, 15:07
Località: Palermo

Re: Criterio del confronto integrali impropri

Messaggioda vict85 » 20/02/2019, 14:04

La funzione \(\displaystyle \phi( t )\colon [0, \infty) \to \mathbb{R}^+ \) definita come \(\displaystyle \phi( t ) \mapsto \int_{a - t}^{a} g( x)\,dx \) è positiva, crescente e limitata.
vict85
Moderatore
Moderatore
 
Messaggio: 9506 di 19253
Iscritto il: 16/01/2008, 00:13
Località: Berlin


Torna a Analisi matematica di base

Chi c’è in linea

Visitano il forum: pilloeffe e 1 ospite