Funzione sommabile

galles90
Buonasera,

ho la seguente funzione
$f(x)=arctan(e^x)/(e^x)$

1) determinare primitiva
2) verificare che è sommabile su $[0,+ infty[$ e calcolare il valore dell'integrale $int_0^(+ infty) f\ dx$

La prima 1) ho risolto, ossia $int f \ dx = {F(x)+c}={-arctan(e^x)/(e^x)+ e^x-1/2ln(e^(2x)+1)+c}.$

Per la seconda 2), invece

Definizione
Si dice che $f$ è sommabile in $(a,b)$ se e solo se $|f|$ è integrabile in senso improprio su $(a,b).$

Osservo che $f ge 0 \ qquad forall x in I=[0,+infty[ $, quindi il modulo, può andare via :wink:
Quindi dobbiamo determinare se $f$ è integrabile su $I$, in tal caso l'integrale risulta essere improprio, per due motivi
1) illimitatezza di $I$
2) punto di singoloraità di $f$ in $x=0$
per tali ragione suddivido l'integrale in due integrali, cioè
$int_I f\ dx=int_0^1 f \ dx + int_1^infty f \ dx$


Per $int_0^1 f \ dx $ procedo per confronto, ossia $0 le f le (pi/2)/x^(1/2) =g $ l'integrale di funzione integranda $g$ è un integrale improprio notevole, il quale converge se $1/2=alpha<1$.

Per $int_1^(+ infty) f \ dx$ procedendo per confronto, ossia $0 le f le (pi/2)/x^2 =g $ l'integrale di funzione integranda $g$ è un integrale improprio notevole, il quale converge se $2=alpha>1$.

Come procede ?

Ciao

Risposte
gugo82
Singolarità in $x=0$???
Sicuro?

dissonance
Non dovresti avere l'ombra di dubbio che questa funzione è sommabile su $[0,\infty)$. (questo si aggiunge al giustissimo commento di Gugo)

galles90
:roll: :roll:

sono fuso, in effetti la funzione $f$, è prolungabile per continuità per $x=0$, la quale assume il valore $y=1$.
Quindi fatta questa osservazione, l'integrale è improprio, solo per 1).

"dissonance":
Non dovresti avere l'ombra di dubbio che questa funzione è sommabile su $ [0,\infty) $.

Intendi dire che basta applicare la definizione di integrabilità, ossia

Definizione
Se esiste finito il limite
$lim_(alpha to + infty) int_a^(+infty) f \ dx$

la funzione f si dirà integrabile in senso improprio su $[a,+infty[.$

Da quì, basta prendere la primitiva che ho determinato in precedenza, è verificare che il valore del limite, è finito, è cosi ?


Ciao

pilloeffe
Ciao galles90,

Ci sono un paio di errori anche nel calcolo della primitiva in 1).
Mi risulta

$ \int f(x) \text{d}x = - arctan(e^x)/(e^x) - 1/2 ln(e^(-2x)+1) + c $

e dunque

$ \int_0^{+infty} f(x) \text{d}x = [-arctan(e^x)/(e^x) - 1/2ln(e^(-2x)+1)]_0^{+\infty} = [- 0 - 1/2 \cdot 0 + \pi/4 + 1/2 ln2] = 1/4(\pi + ln4) $

dissonance
Si, puoi usare il calcolo esplicito (con le correzioni di pilloeffe). Ma se stessi studiando bene, capiresti al volo, senza nessun conto, che quell'integrale deve esistere finito. Perché? Ragiona in termini di ordine di infinitesimo, per $x - > oo$.

galles90
Si, grazie per le risposte ad entrambi.
Comunque dissonance, la funzione è un infinitesimo di ordine superiore a qualsiasi potenza, essendo

$lim_(x to + infty) ((mbox{arcatan}(e^x))/(e^x))/(1/(x^(alpha)))=lim_(x to + infty) (x^(alpha))((mbox{arcatan}(e^x))/(e^x))~(pix^(alpha))/(2e^x) to 0 \ qquad x to + infty .$
in definitiva otteniamo
$f(x)=(mbox{arcatan}(e^x))/(e^(x)) ~1/(e^x) \ qquad x to + infty .$


Per $x >0$ ed $alpha>1$ tale che
$e^x ge x^(alpha), \ qquad \ to \ qquad 1/(e^x) le 1/x^(alpha) =g(x)$
in definitiva ottengo
$ 0 lef(x ) le g(x) \ qquad forall x in I=[0,+infty[.$

L'integrale di funzione integranda $g(x)$, è un integrale improprio notevole convergente se $alpha>1$, dal criterio del confronto si ha la convergenza dell'integrale improprio di funzione integranda $f(x)$, per cui risulta sommabile in $I$, ed il valore già la stabilito pilloeffe :wink:

Cosi va bene ?

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