Studio della funzione integrale - I... VI

[Camillo]

Tempo fa, un utente del Forum (non ricordo più chi) aveva chiesto un aiuto per studiare questo tipo di funzioni.
Questo post vuole rispondere a quella domanda.
Ho diviso il testo in vari punti e in post diversi :

A)Definizione di funzione integrale e richiamo di proprietà degli integrali definiti.
La funzione integrale è definita come \( \displaystyle {F}{\left({x}\right)}={\int_{{a}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) con \( \displaystyle {f{{\left({t}\right)}}} \) continua in \( \displaystyle {\left({a},{b}\right)} \) oppure discontinua in un numero finito o al massimo numerabile di punti .[ Rilassando al massimo le condizioni cui deve soddisfare la funzione integranda, si può arrivare a dire che l'insieme delle discontinuità della funzione integranda è un insieme di misura nulla secondo Lebesgue].
Il teorema fondamentale del calcolo integrale dice che, nelle ipotesi sopra considerate si ha :
\( \displaystyle {F}'{\left({x}\right)}={f{{\left({x}\right)}}},\forall{x}\in{\left({a},{b}\right)} \) : la funzione integrale è continua e derivabile (derivabile solo nei punti in cui \( \displaystyle {f} \) è continua) ed ha come derivata la funzione integranda.

Ovviamente \( \displaystyle {F}{''}{\left({x}\right)}={f{'}}{\left({x}\right)} \)

E' utile ricordare che :
\( \displaystyle {\int_{{x}}^{{a}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.}=-{\int_{{a}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \)
\( \displaystyle {\int_{{a}}^{{a}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.}={0} \)
\( \displaystyle {\int_{{a}}^{{b}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.}={\int_{{a}}^{{c}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.}+{\int_{{c}}^{{b}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) con \( \displaystyle {a}\lt{b}\lt{c} \).

Nel caso che un estremo dell'integrale non sia semplicemente \( \displaystyle {x} \) ma una funzione di \( \displaystyle {x} \) , diciamo \( \displaystyle {g{{\left({x}\right)}}} \), sia cioè \( \displaystyle {F}{\left({x}\right)}={\int_{{a}}^{{{g{{\left({x}\right)}}}}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) allora applicando il teorema fondamentale del calcolo integrale e la regola di derivazione delle funzioni composte si ottiene che :

\( \displaystyle {F}'{\left({x}\right)}={f{{\left[{g{{\left({x}\right)}}}\right]}}}\cdot{g{'}}{\left({x}\right)} \)

Un esempio servirà a chiarire meglio
Es. Sia \( \displaystyle {F}{\left({x}\right)}={\int_{{0}}^{\sqrt{{{x}}}}}{{e}}^{{{{t}}^{{2}}}}{\left.{d}{t}\right.} \) ; pongo \( \displaystyle {y}=\sqrt{{{x}}};{G}{\left({y}\right)}={\int_{{0}}^{{y}}}{{e}}^{{{{t}}^{{2}}}}{\left.{d}{t}\right.} \) da cui \( \displaystyle {F}{\left({x}\right)}={G}{\left(\sqrt{{{x}}}\right)} \) e quindi \( \displaystyle {G}'{\left({y}\right)}={{e}}^{{{{y}}^{{2}}}} \) e infine \( \displaystyle {F}'{\left({x}\right)}={G}'{\left(\sqrt{{{x}}}\right)}\cdot\frac{{1}}{{{2}\cdot\sqrt{{{x}}}}}=\frac{{{e}}^{{x}}}{{{2}\sqrt{{{x}}}}} \).

Nel caso più generale in cui entrambi gli estremi di integrazione siano funzioni di \( \displaystyle {x} \), diciamo \( \displaystyle {g}_{{1}}{\left({x}\right)},{g}_{{2}}{\left({x}\right)} \) , sia cioè :\( \displaystyle {F}{\left({x}\right)}={\int_{{{g}_{{1}}{\left({x}\right)}}}^{{{g}_{{2}}{\left({x}\right)}}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) si ha analogamente che \( \displaystyle {F}'{\left({x}\right)}={f{{\left[{g}_{{2}}{\left({x}\right)}\right]}}}\cdot{g{'}}_{{2}}{\left({x}\right)}-{f{{\left[{g}_{{1}}{\left({x}\right)}\right]}}}\cdot{g{'}}_{{1}}{\left({x}\right)} \).

SEGUE

Edit : apportate modifiche in linea con suggerimenti di gugo

[gugo82]

Devo dire che un vademecum del genere ci voleva. Hai tutto il mio appoggio Camillo!

Due piccolissime note:
1.

La funzione integrale è definita come \( \displaystyle {F}{\left({x}\right)}={\int_{{a}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) con \( \displaystyle {f{{\left({t}\right)}}} \) continua in \( \displaystyle {\left({a},{b}\right)} \) oppure discontinua in un numero finito o al massimo numerabile di punti .

La numerabilità dei punti di discontinuità non è proprio il "massimo" possibile: in verità, al massimo l'insieme delle discontinuità dell'integrando è un insieme di misura nulla secondo Lebesue (quindi potrebbe essere anche di cardinalità maggiore del numerabile, come l'insieme di Cantor).

2.

Il teorema fondamentale del calcolo integrale dice che, nelle ipotesi sopra considerate si ha :
\( \displaystyle {F}'{\left({x}\right)}={f{{\left({x}\right)}}},\forall{x}\in{\left({a},{b}\right)} \) : la funzione integrale è cioè derivabile (e quindi continua) ed ha come derivata la funzione integranda.

Il Teorema Fondamentale del Calcolo Integrale dimostra la continuità della funzione integrale prima dalla sua derivabilità: quindi la notizia della continuità di \( \displaystyle {F} \) andrebbe di logica preposta alla notizia della sua derivabilità. Inoltre la derivabilità di \( \displaystyle {F} \) è assicurata solo nei punti in cui \( \displaystyle {f} \) è continua.

[Camillo]

Ringrazio Gugo per le sue osservazioni ; per ora non modifico il testo, rimando la correzione alla fine .
Avrò ancora bisogno di commenti/osservazioni/suggerimenti.
Questi appunti sono indirizzati a chi debba sostenere Analisi I , quindi al più metterò tra parentesi riferimenti tipo Lebesgue.

[Sergio]

Gran bella iniziativa! Vi leggerò, come al solito, con grande interesse.
E... prenderò appunti!

[Camillo]

B)Studio della funzione integrale \( \displaystyle {F}{\left({x}\right)}={\int_{{a}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \)

Consigli e suggerimenti .

*Studiare prima di tutto,anche in modo sommario,la funzione integranda \( \displaystyle {f{{\left({t}\right)}}} \).
Sarà utile considerarne il dominio, gli asintoti, i limiti agli estremi del dominio e tracciarne un grafico,anche se approssimato.

Adesso si può passare allo studio \( \displaystyle {F}{\left({x}\right)} \) :

*E'ovvio ma utile ricordare che \( \displaystyle {F}{\left({a}\right)}={0} \) .

*Valutare, quando possibile, il segno di \( \displaystyle {F}{\left({x}\right)} \),osservando il segno appunto dell'integrale definito (e quindi dell'area corrispondente) data da \( \displaystyle {\int_{{a}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \).

Prestare attenzione : se si considera \( \displaystyle {\int_{{a}}^{{b}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) con \( \displaystyle {b}\lt{a} \), converrà trasformarlo in \( \displaystyle -{\int_{{b}}^{{a}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) ; si è così ripristinato il "verso normale di integrazione " in cui l'estremo inferiore di integrazione è minore di quello superiore.

Ad esempio se \( \displaystyle {F}{\left({x}\right)}={\int_{{0}}^{{x}}}{{e}}^{{-{{x}}^{{2}}}} \) sappiamo che \( \displaystyle {F}{\left({0}\right)}={0} \); inoltre essendo l'area racchiusa tra la curva e l'asse delle ascisse sempre positiva ne consegue che per la funzione integrale in questione è :
*\( \displaystyle {F}{\left({X}\right)}\gt{0} \) per \( \displaystyle {x}\gt{0} \)
ma

*\( \displaystyle {F}{\left({X}\right)}\lt{0} \) per \( \displaystyle {x}\lt{0} \) [infatti \( \displaystyle {\int_{{0}}^{{x}}}{{e}}^{{-{{t}}^{{2}}}}{\left.{d}{t}\right.}=-{\int_{{x}}^{{0}}}{{e}}^{{-{{t}}^{{2}}}}{\left.{d}{t}\right.} \)].

* Calcolare poi \( \displaystyle \lim_{{{x}\rightarrow\pm\infty}}{F}{\left({x}\right)}=\lim_{{{x}\rightarrow\pm\infty}}{\int_{{0}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) e verificare se l'integrale converge o diverge, usando i criteri di convergenza per gli integrali impropri.
Si avrà quindi :
-se l'integrale diverge allora anche \( \displaystyle {F}{\left({X}\right)} \) diverge
-se invece l'integrale converge , allora \( \displaystyle \lim_{{{x}\rightarrow\pm\infty}}{F}{\left({x}\right)}={l} \) (finito) e questo significa che \( \displaystyle {F}{\left({x}\right)} \) ha asintoto orizzontale di equazione \( \displaystyle {y}={l} \) .
Se si sa calcolare l'integrale improprio allora è possibile determinare l'esatto valore di \( \displaystyle {l} \), altrimenti no, bisogna magari

limitarsi alla conoscenza del segno, se deducibile da altre considerazioni (zeri, crescenza , decrescenza della funzione
\( \displaystyle {F}{\left({x}\right)}\) \).

*E' opportuno poi calcolare gli altri limiti di \( \displaystyle {F}{\left({x}\right)} \) nei punti di discontinuità di \( \displaystyle {f{{\left({t}\right)}}} \).

Sia \( \displaystyle {t}={c} \) punto di discontinuità per \( \displaystyle {f{{\left({t}\right)}}} \).
E' opportuno distinguere vari casi :
a) esiste finito il limite destro della funzione integranda , allora la funzione integrale è definita e continua a destra.
b) analogo risultato nel caso esista finito il limite sinistro.
c) esiste finito il limite della funzione integranda , ma la funzione non è continua in \( \displaystyle {t}={c} \) :\( \displaystyle {f{{\left({c}\right)}}}\ne\lim_{{{t}\rightarrow{c}}}{f{{\left({c}\right)}}} \), allora la funzione integrale è continua in \( \displaystyle {t}={c} \).
[Queste considerazioni derivano dal fatto che i punti dell'asse reale hanno misura di Lebesgue nulla: diciamo che quello che succede alla funzione integranda in un singolo punto non ha effetto sull'integrale].
Possiamo trarre pertanto la conclusione che :
-la funzione integrale \( \displaystyle {F}{\left({x}\right)} \) relativa ad \( \displaystyle {f{{\left({t}\right)}}} \) è continua nei punti \( \displaystyle {c} \) in cui \( \displaystyle {f{{\left({t}\right)}}} \) presenta delle discontinuità eliminabili o di prima specie ( esistono finiti i limiti destro e sinistro ma sono diversi).
-Quando invece la discontinuità è di seconda specie o addirittura uno dei limiti non esiste allora la cosa si fa problematica .
Se l'integrale diverge allora \( \displaystyle {x}={c} \) sarà asintoto verticale per \( \displaystyle {F}{\left({x}\right)} \).

Chiaramente in quest'ultimo caso la funzione \( \displaystyle {F}{\left({x}\right)} \) non sarà definita per valori \( \displaystyle {x}\gt{c} \) (se \( \displaystyle {c}\gt{0} \)) in quanto la funzione integrale divergerà.

Esempio \( \displaystyle {F}{\left({x}\right)}={\int_{{0}}^{{x}}}{{e}}^{{t}}\cdot\frac{{\left.{d}{t}\right.}}{{{t}-{1}}} \).
Chiaramente \( \displaystyle {t}={1} \) è punto di discontinuità per la funzione integranda .
Valutiamo \( \displaystyle {F}{\left({1}\right)}=\lim_{{{x}\rightarrow{{1}}^{{-}}}}{\int_{{0}}^{{x}}}{{e}}^{{t}}\cdot\frac{{\left.{d}{t}\right.}}{{{t}-{1}}} \) e vediamo che l'integrale diverge a \( \displaystyle -\infty \) e quindi pure \( \displaystyle {F}{\left({x}\right)} \) diverge a \( \displaystyle -\infty \).
\( \displaystyle {F}{\left({x}\right)} \) pertanto non è definita per \( \displaystyle {x}\gt{1} \) e il suo dominio sarà quindi \( \displaystyle {\left(-\infty,{1}\right)} \).

*Passo successivo assai significativo è quello di calcolare la derivata di \( \displaystyle {F}{\left({x}\right)} \) che sappiamo essere \( \displaystyle {F}'{\left({x}\right)}={f{{\left({x}\right)}}} \).
Si deducono quindi gli intervalli di crescenza , decrescenza, punti di stazionarietà della funzione integrale e quindi i suoi punti di max e min relativi, gli eventuali punti di cuspide e/o punti a flesso a tangente verticale : le normali informazioni che si ottengono dallo studio della derivata prima di una funzione.
*Se possibile si calcola anche la derivata seconda \( \displaystyle {F}{''}{\left({x}\right)}={f{'}}{\left({x}\right)} \) che fornirà quindi quali siano gli intervalli di concavità , convessità e i punti di flesso della funzione integrale.
*Per verificare se \( \displaystyle {F}{\left({x}\right)} \) ha asintoto obliquo , nel caso ovviamente
che \( \displaystyle {F}{\left({x}\right)} \) diverga a \( \displaystyle \pm\infty \) si calcola \( \displaystyle {m}=\lim_{{{x}\rightarrow\pm\infty}}\frac{{{F}{\left({x}\right)}}}{{x}} \)=\( \displaystyle \lim_{{{x}\rightarrow\pm\infty}}\frac{{{\int_{{a}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.}}}{{t}} \)=
\( \displaystyle =\lim_{{{x}\rightarrow\pm\infty}}{f{{\left({x}\right)}}} \) avendo usato la regola di De l'Hopital per l'ultimo passaggio.
Va poi verificato, prima di concludere che esiste asintoto obliquo che :

\( \displaystyle \lim_{{{x}\rightarrow\pm\infty}}{\left[{F}{\left({x}\right)}-{m}{x}\right]}={q} \) esista finito.

SEGUE

Edit : modifiche in accordo con suggerimenti di gugo e ampliamenti

[gugo82]

Piccola precisazione:

*E' opportuno poi calcolare gli altri limiti di \( \displaystyle {F}{\left({x}\right)} \) nei punti di discontinuità di \( \displaystyle {f{{\left({t}\right)}}} \).

Sia ad esempio \( \displaystyle {t}={c} \) punto di discontinuità di \( \displaystyle {f{{\left({t}\right)}}} \).Pertanto \( \displaystyle {F}{\left({{c}}^{{+}}\right)}={\int_{{0}}^{{{{c}}^{+}}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) . Se tale valore esiste

finito, se cioè l'integrale converge e in aggiunta anche \( \displaystyle {F}{\left({{c}}^{{-}}\right)} \) esiste finto e converge allo stesso valore di
\( \displaystyle {F}{\left({{c}}^{{+}}\right)} \) allora \( \displaystyle {F}{\left({x}\right)} \) è definita in \( \displaystyle {x}={c} \) e si ha \( \displaystyle {F}{\left({c}\right)}={l} \).
Se invece l'integrale diverge allora \( \displaystyle {x}={c} \) sarà asintoto verticale per \( \displaystyle {F}{\left({x}\right)} \).
Chiaramente in quest'ultimo caso la funzione \( \displaystyle {F}{\left({x}\right)} \) non sarà definita per valori \( \displaystyle {x}\gt{c} \) (se \( \displaystyle {c}\gt{0} \)) in quanto la funzione integrale divergerà.

Noto che nei punti \( \displaystyle {c} \) in cui l'integrando possiede finito il limite destro [risp. il limite sinistro, il limite], allora la funzione integrale è sicuramente definita e continua a destra di [risp. continua a sinistra di, continua in] \( \displaystyle {c} \): ciò discende proprio dal fatto che i punti dell'asse reale hanno misura di Lebesgue nulla.

Esempio: siano \( \displaystyle {f{{\left({x}\right)}}}={\left\lbrace\matrix{-{1}&\text{& se }\ {x}\le{0}\\{1}&\text{& se }\ {x}\gt{0}}\right.} \) ed \( \displaystyle {F}{\left({x}\right)}={\int_{{1}}^{{x}}}{f{{\left({t}\right)}}}\ \text{ d}{t} \).
Fissato \( \displaystyle {x}={0} \), l'integrale \( \displaystyle {F}{\left({0}\right)} \) non è un integrale improprio: infatti, prescindendo l'integrale di Riemann dal comportamento dell'integrando su insiemi di misura nulla secondo Lebesgue ed essendo \( \displaystyle {\left\lbrace{0}\right\rbrace} \) un insieme con tale caratteristica, è possibile modificare arbitrariamente il valore di \( \displaystyle {f{{\left({0}\right)}}} \) (ad esmpio prolungare in maniera continua a destra ponendo \( \displaystyle {f{{\left({0}\right)}}}={1} \)) senza modificare il valore di \( \displaystyle {F}{\left({0}\right)} \).

Quanto detto implica che la funzione integrale relativa ad \( \displaystyle {f} \) è continua nei punti \( \displaystyle {c} \) in cui \( \displaystyle {f} \) presenta discontinuità eliminabili o di prima specie.
I problemi sorgono quando la discontinuità in \( \displaystyle {c} \) è di seconda specie oppure quando uno dei due limiti destro o sinistro della \( \displaystyle {f} \) in \( \displaystyle {c} \) non esiste (ma anche quando non esistono entrambi non è una bella situazione! ).



P.S.: Il Teorema di Vitali-Lebesgue è uno dei risultati più forti che ho visto durante il corso di Analisi I.
Certo, forse agli ingegneri non è mai stato enunciato, però almeno i matematici dovrebbero conoscerlo dal primo anno: quindi ti prego di farne menzione da qualche parte.

[Camillo]

C)Esempio commentato

Studiare la funzione integrale: \( \displaystyle {F}{\left({x}\right)}={\int_{{2}}^{{x}}}{\frac{{{{e}}^{{t}}\cdot{\left.{d}{t}\right.}}}{{{{t}}^{{\frac{{1}}{{3}}}}{\left({t}+{1}\right)}}}} \)

a) Studio di \( \displaystyle {f{{\left({t}\right)}}}={\frac{{{{e}}^{{t}}}}{{{{t}}^{{\frac{{1}}{{3}}}}{\left({t}+{1}\right)}}}} \)
I risultati principali sono :
-Dominio : \( \displaystyle {\left(-\infty,-{1}\right)}{U}{\left(-{1},{0}\right)}{U}{\left({0},+\infty\right)} \) .
-Limiti
\( \displaystyle \lim_{{{t}\rightarrow+\infty}}{f{{\left({t}\right)}}}=+\infty \) ;\( \displaystyle \lim_{{{t}\rightarrow-\infty}}{f{{\left({t}\right)}}}={{0}}^{{+}} \)

\( \displaystyle \lim_{{{t}\rightarrow{{0}}^{{+}}}}{f{{\left({t}\right)}}}=+\infty \) , \( \displaystyle \lim_{{{t}\rightarrow{{0}}^{{-}}}}{f{{\left({t}\right)}}}=-\infty \)
\( \displaystyle {t}={0} \) è asintoto verticale

\( \displaystyle \lim_{{{t}\rightarrow-{{1}}^{{+}}}}{f{{\left({t}\right)}}}=-\infty \) ; \( \displaystyle \lim_{{{t}\rightarrow-{{1}}^{{-}}}}{f{{\left({t}\right)}}}=+\infty \)
\( \displaystyle {t}=-{1} \) è asintoto verticale.
-Inoltre \( \displaystyle {f{{\left({t}\right)}}}\gt{0} \) per \( \displaystyle {t}\gt{0} \) e anche per \( \displaystyle {t}\lt-{1} \) ; \( \displaystyle {f{{\left({t}\right)}}}\lt{0} \) per \( \displaystyle -{1}\lt{t}\lt{0} \) .
-Infine \( \displaystyle {f{{\left({t}\right)}}} \) ha max relativo per \( \displaystyle {x}=\alpha \) con \( \displaystyle -{1}\lt\alpha\lt{0} \) e punto di minimo relativo per \( \displaystyle {x}=\beta \)
con \( \displaystyle \beta\gt{0} \).

b) Studio di \( \displaystyle {F}{\left({x}\right)} \)
- \( \displaystyle {F}{\left({2}\right)}={0} \)
-segno di \( \displaystyle {F}{\left({x}\right)} \) : guardando il diagramma di \( \displaystyle {f{{\left({t}\right)}}} \) e ricordando che \( \displaystyle {F}{\left({x}\right)} \) rappresenta l'area(con segno..) sottesa dalla curva e dall'asse delle ascisse, da \( \displaystyle {t}={2} \) fino a \( \displaystyle {t}={x} \) si ottiene :
*per \( \displaystyle {x}\gt{2} \) \( \displaystyle {F}{\left({x}\right)}\gt{0} \)
*per \( \displaystyle {0}\lt{x}\lt{2} \) \( \displaystyle {F}{\left({x}\right)}\lt{0} \) in quanto \( \displaystyle {\int_{{2}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.}=-{\int_{{x}}^{{2}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \)
*per \( \displaystyle -{1}\lt{x}\lt{0} \) non è facile determinare il segno di \( \displaystyle {F}{\left({x}\right)} \) perchè non si sa se le aree sottese positive e negative si compensino o no e dove eventualmente questo accada.
Dall'esame però della \( \displaystyle {F}'{\left({x}\right)} \) si noterà che \( \displaystyle {F}{\left({x}\right)} \) in \( \displaystyle {\left(-{1},{0}\right)} \) è decrescente ; dovendo decrescere da \( \displaystyle +\infty \) fino a un valore negativo per \( \displaystyle {x}={0} \) ( vedi più avanti la spiegazione), la funzione taglierà l'asse delle ascisse in un punto compreso tra \( \displaystyle -{1} \) e \( \displaystyle {0} \).
-Inoltre \( \displaystyle \lim_{{{x}\rightarrow+\infty}}{F}{\left({x}\right)}=\lim_{{{x}\rightarrow+\infty}}{\int_{{2}}^{{x}}}{{e}}^{{t}}\cdot\frac{{\left.{d}{t}\right.}}{{{{t}}^{{\frac{{1}}{{3}}}}\cdot{\left({t}+{1}\right)}}} \) e questo integrale diverge a \( \displaystyle +\infty \)per i
criteri di convergenza degli integrali impropri.
-Esaminiamo ora il comportamento di \( \displaystyle {F}{\left({x}\right)} \) nell'intorno di \( \displaystyle {x}={0} \).
\( \displaystyle {F}{\left({{0}}^{{+}}\right)}=\lim_{{{x}\rightarrow{{0}}^{{+}}}}{\int_{{2}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) =\( \displaystyle -{\int_{{x}}^{{2}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) che converge a un valore negativo, diciamo \( \displaystyle \gamma \) .
\( \displaystyle {F}{\left({{0}}^{{-}}\right)}=\lim_{{{x}\rightarrow{{0}}^{{-}}}}{\int_{{2}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \)=\( \displaystyle -{\int_{{x}}^{{2}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) che pure converge e allo stesso valore \( \displaystyle \gamma \).
Quindi \( \displaystyle {F}{\left({0}\right)} \) è definita e di valore negativo pari a \( \displaystyle \gamma \).
-Consideriamo ora \( \displaystyle {F}{\left({x}\right)} \) nell'intorno destro di \( \displaystyle -{1} \); sarà
\( \displaystyle {F}{\left(-{{1}}^{{+}}\right)}=\lim_{{{x}\rightarrow{{\left(-{1}\right)}}^{{+}}}}{\int_{{2}}^{{x}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.}=-{\int_{{x}}^{{2}}}{f{{\left({t}\right)}}}{\left.{d}{t}\right.} \) che diverge a \( \displaystyle +\infty \).
Pertanto \( \displaystyle {F}{\left({x}\right)} \) non è definita per valori \( \displaystyle {x}\lt-{1} \) ed ha dominio dato da \( \displaystyle {\left(-{1},+\infty\right)} \).
-Derivata : \( \displaystyle {F}'{\left({x}\right)}={\frac{{{{e}}^{{x}}}}{{{{x}}^{{\frac{{1}}{{3}}}}\cdot{\left({x}+{1}\right)}}}} \). Si deduce quindi che :

\( \displaystyle {F}{\left({x}\right)} \) è crescente per \( \displaystyle {x}\gt{0} \) e decrescente per \( \displaystyle -{1}\lt{x}\lt{0} \) .
-In \( \displaystyle {x}={0} \) si ha un punto di cuspide in quanto \( \displaystyle \lim_{{{x}\rightarrow{{0}}^{{\pm}}}}{F}'{\left({x}\right)}=\pm\infty \).
Si può poi anche calcolare \( \displaystyle {F}{''}{\left({x}\right)} \) e determinare così gli intervalli di concavità e convessità della funzione nonchè i due punti di flesso compresi uno in \( \displaystyle {\left(-{1},{0}\right)} \) e l'altro in \( \displaystyle {\left({0},{2}\right)} \).

SEGUE

[Camillo]

Ecco il grafico di \( \displaystyle {f{{\left({t}\right)}}}={\frac{{{{e}}^{{t}}}}{{{{t}}^{{\frac{{1}}{{3}}}}{\left({t}+{1}\right)}}}} \)





e della funzione integrale \( \displaystyle {F}{\left({x}\right)}={\int_{{2}}^{{x}}}{\frac{{{{e}}^{{t}}\cdot{\left.{d}{t}\right.}}}{{{{t}}^{{\frac{{1}}{{3}}}}{\left({t}+{1}\right)}}}} \)




SEGUE

[Camillo]

Propongo alcuni esercizi da svolgere con qualche "aiuto ".

a) \( \displaystyle {F}{\left({x}\right)}={x}\cdot{\int_{{0}}^{{x}}}{{e}}^{{-{{y}}^{{2}}}}{\left.{d}{y}\right.}-{\int_{{1}}^{{x}}}{y}{{e}}^{{-{{y}}^{{2}}}}{\left.{d}{y}\right.} \).
Dedurre il grafico di \( \displaystyle {{F}}^{{{''}}}{\left({x}\right)} \) e calcolare \( \displaystyle \lim_{{{x}\to+\infty}}{F}{\left({x}\right)} \)

Testo nascosto, fai click qui per vederlo

\(F^' (x) =\int_0^x e^{-y^2}dy + xe^{-x^2}- xe^{-x^2} =\int_0^xe^{-y^2}dy \).

b) Studiare la funzione \( \displaystyle {F}{\left({x}\right)}={\int_{{0}}^{{x}}}{\frac{{{\left({1}-{{e}}^{{-{{t}}^{{2}}}}\right)}\cdot{\left.{d}{t}\right.}}}{{{{t}}^{{2}}+{1}}}} \).

c) Studiare la funzione \( \displaystyle {F}{\left({x}\right)}={{e}}^{{-{{x}}^{{4}}}}+{\int_{{0}}^{{{{x}}^{{2}}}}}{{t}}^{{2}}{{e}}^{{-{{t}}^{{2}}}}{\left.{d}{t}\right.} \)

Testo nascosto, fai click qui per vederlo

\(F^' (x)= -4x^3e^{-x^4}+2x^5e^{-x^4}=2x^3 e^{-x^4}*(x^2-2)\).

d) \( \displaystyle {F}{\left({x}\right)}={\int_{{0}}^{{{{x}}^{{2}}-{2}{x}}}}{{e}}^{{-{{t}}^{{4}}}}{\left.{d}{t}\right.} \)
Determinare il dominio di \( \displaystyle {F}{\left({x}\right)} \) e i punti di massimo e di minimo.

Testo nascosto, fai click qui per vederlo

\( \displaystyle {F}{\left({0}\right)}={F}{\left({2}\right)}={0} \)

e) \( \displaystyle {F}{\left({x}\right)}={\int_{{0}}^{{{{x}}^{{2}}-{1}}}}{{e}}^{{-{t}}}\sqrt{{{t}}}{\left.{d}{t}\right.} \)
Determinare dominio , asintoti orizzontali e punti di massimo e di minimo

Testo nascosto, fai click qui per vederlo

Dominio : \( \displaystyle {{x}}^{{2}}-{1}\ge{0} \)

SEGUE

[paggisan]

che programma avete usato per creare il grafico della funzione integrale???'

io solitamente, per le funzioni normali, uso il derive......ma per creare le funzioni integrali non sò proprio quale usare!!!

hellppp!!!!!!!!!!!!!!!!!