Integrale

Da Wikipedia, l'enciclopedia libera.

Disambiguazione – Se stai cercando altri significati, vedi Integrazione.

In analisi matematica l'integrale di una funzione è un operatore matematico che associa alla funzione l'area sottesa dalla funzione rispetto all'ascissa nel caso di una funzione a una variabile. Nel caso di funzioni a più variabili l'integrale calcola l'area, il volume sotteso, ecc..., a seconda del numero di variabili della funzione da integrare.

Indice

1 Cenni storici
2 Introduzione euristica
3 Integrale di Riemann
- 3.1 Definizione di Integrale
4 Condizione d'integrabilità
5 Proprietà degli integrali
- 5.1 Linearità
- 5.2 Additività
- 5.3 Monotonia (o teorema del confronto)
- 5.4 Valore assoluto
- 5.5 Teorema della media
6 Assoluta integrabilità
7 Esempio di calcolo di un integrale
8 Calcolo differenziale e calcolo integrale
- 8.1 Teorema fondamentale del calcolo integrale
- 8.2 Infinite Primitive
- 8.3 Formula fondamentale del calcolo integrale del primo teorema
9 Metodi di integrazione
10 Esempio di calcolo di un integrale (2)
11 Funzione Integrale
- 11.1 Secondo Teorema fondamentale del calcolo integrale
- 11.2 Formula fondamentale del calcolo integrale del secondo teorema
12 Integrali impropri
13 Integrale di Lebesgue
14 Integrale di Stieltjes
15 Stima di somme tramite integrale
- 15.1 Dimostrazione
16 Integrali di Denjoy, Perron, Henstock e altri
17 Integrale di Ito
18 Tavole di integrali
19 Altre tipologie di integrali
20 Bibliografia
21 Voci correlate
22 Collegamenti esterni

[modifica] Cenni storici

L'idea di base del concetto di integrale si trova già in Archimede di Siracusa, vissuto tra il 287 ed il 212 a.C, in parte nel metodo da lui usato per il calcolo dell'area del cerchio o del segmento di parabola detto metodo di esaustione e più precisamente nel calcolo dell'area della superficie racchiusa dal primo giro della spirale (che Archimede stima dall'alto e dal basso con un caso particolare di quelle che saranno dette "somme di Riemann").

Nel XVII secolo, vari matematici trovarono altri metodi ingegnosi per calcolare l'area sottesa al grafico di semplici funzioni, ad esempio:

$x^\alpha (\alpha > - 1)\;$ (Fermat 1636), $1\over x$ (Nicolaus Mercator, 1668).

Tutto ciò prima che Newton, Leibniz, Johann Bernoulli scoprissero indipendentemente il teorema fondamentale del calcolo integrale che ricondusse tale problema alla ricerca di una primitiva o antiderivata di una funzione.

La definizione di integrale per le funzioni continue in tutto un intervallo, introdotta da Pietro Mengoli ed espressa con maggiore rigore da Cauchy, venne posta su base diversa da Riemann in modo da evitare il concetto di limite e da comprendere più estese classi di funzioni. Ma nel 1875 Gaston Darboux mostrò con un suo celebre teorema che la definizione di Riemann può essere enunciata in maniera del tutto simile a quella di Cauchy, purché si intenda il concetto di limite in modo un po' più generale. Per questo motivo si parla di integrale di Cauchy-Riemann. Tale maggior generalità servì di spunto a Mauro Picone nel 1923 per la definizione del limite d'una variabile detta ordinata.

[modifica] Introduzione euristica

Il problema originario del calcolo integrale è quello di definire e calcolare l'area (con segno) della figura che ha per bordi un intervallo $\ I$ sull'asse delle ascisse, limitato e chiuso (l'intervallo di integrazione), il grafico di una assegnata funzione $\ f$ (la funzione integranda) definita e limitata su $\ I$ , ed i segmenti verticali condotti dagli estremi dell'intervallo $\ I$ al grafico della funzione $\ f$ . Il numero reale che esprime tale area viene chiamato integrale della funzione $\ f$ esteso all'intervallo $\ I$ .

Se il grafico della funzione $\ f$ è costituito da uno o più segmenti, il problema si risolve facilmente, poiché la figura si può scomporre in rettangoli o trapezi, di cui sappiamo definire e calcolare le aree: la somma algebrica di tali aree è – per definizione – l'integrale cercato.

Nel caso generale, l'idea di base consiste nel suddividere la figura in sottili strisce verticali, che siano assimilabili a rettangoli: calcolando l'area di ciascun rettangolino e sommando i risultati così ottenuti, si può ritenere di avere un'approssimazione del numero che cerchiamo. Si può sperare che suddividendo in strisce sempre più sottili, si ottengano approssimazioni sempre migliori dell'integrale cercato: se ciò accade, si dirà che la funzione $\ f$ è integrabile sull'intervallo $\ I$ . In caso contrario, si dirà che la funzione $\ f$ non è integrabile sull'intervallo $\ I$ .

In termini più formali, suddividiamo l'intervallo $\ [a,b]$ in $\ n$ sub-intervalli di tipo $\ [x_{s-1},x_{s}]$ con $\ s=1,2,...,n$ e $\ x_{0}=a; x_{n}=b$ . Per ciascun sub-intervallo scegliamo un punto $\ t_s$ , la cui immagine sarà $\ f(t_{s})$ , e costruiamo il rettangolino che ha per base l'intervallo $\ [x_{s-1},x_{s}]$ e per altezza $\ f(t_{s})$ ; l'area della figura costituita da tutti i rettangolini così costruiti è data dalla somma (detta di Cauchy-Riemann)

$\sum_{s=1}^{n} f(t_{s}) \delta x_s := \sum_{s=1}^{n} f(t_{s})(x_{s}-x_{s-1})$ .

Se, al diminuire dell'ampiezza degli intervalli $\ \delta x_s$ , i valori così ottenuti si concentrano in un intorno sempre più piccolo di un numero $\ i$ , la funzione $\ f$ è integrabile sull'intervallo $\ [a,b]$ , ed $\ i$ è il suo integrale.

L'intera analisi poggia sul fatto che sia il modo di suddividere gli intervalli, sia la scelta dei punti interni a tali intervalli devono risultare irrilevanti, altrimenti si avrebbe che l'area sottesa alla curva in un dato intervallo risulta diversa a seconda delle scelte effettuate in merito alla suddivisione degli intervalli e ai punti interni agli intervalli che sono stati scelti. Tale condizione sussiste in quanto la curva è uniformemente continua all'interno del singolo intervallino in cui è stato suddiviso il compatto.

Infatti, se vale la continuità uniforme, presi due punti $\ t_s$ e $\ t'_s$ interni all'intervallo $\ (x_{s-1},x_{s})$ , ove $\ x_{s}-x_{s-1}=\delta x$ e pertanto il numero di tali intervallini (dato che suddividiamo [a,b] in intervalli di ampiezza $\ \delta x$ ) sarà pari ad
$n = {{(b - a)} \over {\delta x}}$
le altezze dei relativi rettangoli $\ f(t_{s})$ ed $\ f(t'_{s})$ differiranno della quantità $\ \delta f(t_{s})$ . Da ciò discende che, se poniamo $\ \delta f(t)$ come la più grande delle quantità $\ |\delta f(t_{s})|$ la differenza di valutazione dell'area del generico rettangolino conseguente alla scelta del punto $\ t_s$ o del punto $\ t'_s$ è al massimo di $\ \delta f(t) \delta x$ .
La differenza di valutazione della somma di s rettangolini (in cui ricordiamo che $n = {{(b - a)} \over {\delta x}}$ ) è al massimo pari a :

$\ {{(b - a)} \over {\delta x}} \delta f(t) \delta x= (b-a) \delta f(t)$

Come è facile notare tale discrepanza di valutazione diminuisce al tendere a zero dell'ampiezza del generico intervallo in cui è suddiviso $\ [a,b]$ essendo per ipotesi la funzione uniformemente continua.

[modifica] Integrale di Riemann

Per approfondire, vedi la voce integrale di Riemann.

Rappresentazione grafica dell'integrale di Riemann

Se si suddivide tramite una partizione un compatto $\ [a,b]$ in n sottointervalli $\ [x_{s},x_{s-1}]$ d'uguale ampiezza $\delta x = {{(b - a)} \over {n}}$ , e si sceglie in ogni intervallo un punto arbitrario $\ t_s$ , è possibile confezionare la somma $\ \sigma_{n}= \sum_{s=1}^{n} f(t_{s}) \delta x_{s}= {{b-a} \over {n}} \sum_{s=1}^{n} f(t_{s})$ detta somma integrale di Riemann.

Esiste un altro metodo di procedura per la costruzione dell'integrale. Una volta effettuata la partizione il punto $\ t_s$ non è arbitrario. Vengono definiti due punti:

$m_k = inf f(x): x \in [x_{k-1},x_k] \equiv inf_{[x_{k-1},x_k]} f(x)$

$M_k = sup f(x): x \in [x_{k-1},x_k] \equiv sup_{[x_{k-1},x_k]} f(x)$

Questi due punti corrispondono all'ordinata minore nell'intervallo ( $m k$ ) e all'ordinata maggiore dell'intervallo ( $M k$ ).

Si definisce somma integrale inferiore (relativa alla partizione P):

$s(P) = \sum_{k=1}^n m_k (x_k-x_{k-1})$

Ammettendo che f assuma valori positivi nell'intervallo, la s(P) è la somma dei rettangoli inscritti alla regione del piano.

Si definisce somma integrale superiore (relativa alla partizione P):

$S(P) = \sum_{k=1}^n M_k (x_k-x_{k-1})$

Analogamente su quanto detto prima, S(P) è la somma delle aree dei rettangoli circoscritti alla regione R.

Lemma: Sia $m_k \leq f(x) \leq M_k \ \forall x \in [a,b]$ allora per ogni coppia di partizioni P,Q di [a,b] si ha:

$m(b-a) \leq s(P) \leq S(Q) \leq M (b-a)$ .

Siano

$\delta = s(p) \ \forall P$ partizione di [a,b]

$\Sigma = S(p) \ \forall P$ partizione di [a,b]

Dal lemma precedente possiamo dedurre che gli insiemi $\delta, \ \Sigma$ sono separati cioè:

$\forall s \in \delta, \ \forall S \in \Sigma$ si ha che $s \leq S$ .

L'assioma di completezza di $\R$ afferma che allora esiste almeno un numero reale $\xi \in \R$ tale che:

$s \leq \xi \leq S \ \forall s \in \delta \ \forall S \in \Sigma$

Se vi è un unico elemento di separazione $ξ$ tra $δ$ e $Σ$ allora si dice che f(x) è integrabile in [a,b] secondo Riemann e l'elemento $ξ$ si indica con:

$\int_{a}^{b} f(x) dx$

e si chiama integrale definito di f in [a,b]. I numeri a,b sono detti estremi di integrazione ed f è detta funzione integranda (a primo estremo, b secondo estremo). La variabile di integrazione è una variabile muta cioè $\int f(x)dx$ ha lo stesso significato $\int f(t)dt$ , $\int f(j)dj$ . Il dx è detto differenziale della variabile di integrazione.

[modifica] Definizione di Integrale

Definizione (Integrale secondo Riemann) - L'integrale di f nell'intervallo chiuso e limitato $\ [a,b]$ è il limite per n che tende ad infinito della somma integrale $\ \sigma_{n}={{b-a} \over {n}} \sum_{s=1}^{n} f(t_{s})$ , se tale limite esiste finito e non dipende dalla scelta dei punti $\ t_s$ :

$\ \int^{b}_{a} f(x)\, dx= \lim_{n \to + \infty} \sigma_{n}= \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=1}^{n} f(t_{s})$

L'esistenza di un unico elemento separatore tra $\delta \ \Sigma$ nella definizione precedente è equivalente a richiedere che:

$s (f) = S (f)$

in questo caso:

$s(f) = S(f) = \int_{a}^{b}f(x)dx$

La funzione limitata f(x) è integrabile in [a,b] se e solo se

$\forall \epsilon \,>\, 0 \exists P \in [a,b] \to S(P) - s(p) < \epsilon$

Se la funzione integrabile f(x) è positiva allora l'integrale assume il significato di area della regione:

$r = {(x,y),0 \leq y \leq f(x), x \in [a,b]}$ .

Se la funzione f cambia segno su [a,b] allora l'integrale rappresenta una somma di aree con segno diverso.

[modifica] Condizione d'integrabilità

La seguente è condizione sufficiente ai fini dell'integrabilità di una funzione

Se la funzione $\ f:[a,b] \to \R$ è continua (e quindi continua uniformemente), allora è integrabile.

Per provare ciò si suddivide l'intervallo $\ [a,b]$ in n sottointervalli $\ [x_{i-1},x_{i}]$ di uguale ampiezza $\delta x = {{(b - a)} \over {n}}$ , si sceglie in ogni intervallo un punto $\ t_{i}$ interno a $\ [x_{i-1},x_{i}]$ e si confeziona la somma integrale

$\ \sigma_{n}= \sum_{s=1}^{n} f(t_{s}) \delta x_{s}= {{b-a} \over {n}} \sum_{s=1}^{n} f(t_{s})$

.

Ponendo $\ M_i$ ed $\ m_i$ il massimo ed il minimo di $\ f$ in ogni intervallo $\ [x_{i-1},x_{i}]$ si costruiscono quindi le somme

$\ S_{n}= \sum_{i=1}^{n} M_{i}(x_{i}-x_{i-1})$ $\ s_{n}= \sum_{i=1}^{n} m_{i}(x_{i}-x_{i-1})$

Ovviamente si ha che all'aumentare di n $\ S_{n}$ diminuisce, mentre $\ s_{n}$ cresce. Essendo allora le due successioni monotone, esse ammettono un limite, il quale è finito. Essendo ora $\ m_{i} \le f(t_{i}) \le M_{i}$ , si avrà che $\ s_{n} \le \sigma_{n} \le S_{n}$

Per il teorema di esistenza del limite di successioni monotone risulta $\ s_{n} \to s$ ed $\ S_{n} \to S$ , con $\ s \le S$ . All'affinarsi della partizione di $\ [a,b]$ risulta $\ s = S$ . Infatti è possibile fissare un $\ \epsilon$ piccolo a piacere ed un numero di suddivisioni della partizione sufficientemente grande da far risultare

$\ S_{n}-s_{n}= \sum_{i=1}^{n}(M_{i}-m_{i})(x_{i}-x_{i-1})< \epsilon$

Infatti, per la continuità uniforme di f, la differenza $\ M_{i}-m_{i}$ minore di $\ {{ \epsilon} \over {(b-a)}}$ , se la distanza dei rispettivi punti di massimo e di minimo è minore di un $\ \lambda$ opportunamente scelto, il quale può essere determinato in dipendenza da $\ \epsilon$ . Ovvero per un numero di n suddivisioni abbastanza elevato si ha

$\ S_{n}-s_{n}= \sum_{i=1}^{n}(M_{i}-m_{i})(x_{i}-x_{i-1})< {{ \epsilon} \over {(b-a)}} \sum_{i=1}^{n}(x_{i}-x_{i-1}) = \epsilon$

.

Essendo la precedente espressione valida anche definitivamente, per il teorema del confronto delle successioni si avrà:

$\ \lim_{n \to + \infty} (S_{n}-s_{n}) \le \epsilon$

ovvero

$\ S-s \le \epsilon$

da cui, data l'arbitrarietà del fattore $\ \epsilon$ risulta che con il passaggio al limite la differenza tra le somme integrali massimante e minimante tende a zero, da cui:

$\ S=s=I$

Finalmente essendo $\ s_{n} \le \sigma_{n} \le S_{n}$ , per il teorema del confronto risulta $\ \sigma_{n} \to I$ da cui si deduce che se la funzione integranda è continua su un compatto $\ [a,b]$ , l'operazione di integrazione non dipende dalla scelta dei punti interni agli intervalli $\ [x_{i-1},x_{i}]$ , ovvero la funzione è integrabile.

Non tutte le funzioni limitate sono integrabili.

La continuità è una condizione sufficiente ma non necessaria per l'integrabilità.

[modifica] Proprietà degli integrali

[modifica] Linearità

Proprietà: Proprietà di Linearità

Siano f e g due funzioni continue definite in un intervallo [a, b] e siano $\alpha, \beta \in \mathbb{R}$ . Allora: $\int_a^b [\alpha f(x) + \beta g(x)] dx = \alpha \int_a^b f(x) dx + \beta \int_a^b g(x) dx$

Dimostrazione: Dalla definizione si ha che

$\ \int_a^b [\alpha f(x) + \beta g(x)] dx = \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=1}^{n} [\alpha f(t_{s}) + \beta g(t_{s})]$

da cui

$\ \int_a^b [\alpha f(x) + \beta g(x)] dx = \lim_{n \to + \infty} {{b-a} \over {n}} [\alpha \sum_{s=1}^{n} f(t_{s}) + \beta \sum_{s=1}^{n} g(t_{s})]$

dalla proprietà distributiva e dal fatto che il limite della somma coincide con la somma dei limiti si ha

$\ \int_a^b [\alpha f(x) + \beta g(x)] dx = \alpha \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=1}^{n} f(t_{s}) + \beta \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=1}^{n} g(t_{s})$

da cui discende la proprietà di linearità

[modifica] Additività

Proprietà: Proprietà di Additività

Sia f continua e definita in un intervallo [a, b] e sia $c \in [a, b]$ . Allora: $\int_a^b f(x) dx = \int_a^c f(x) dx + \int_c^b f(x) dx$

Dimostrazione: Dalla definizione si ha che

$\ \int^{b}_{a} f(x)\, dx= \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=1}^{n} f(t_{s})$

da cui se si ha $\ c \in [a,b]$ esistono un valore $\ h$ ed un valore $\ k$ la cui somma è $\ n$ tali che per un affinamento sufficiente della partizione risulti

$\ {{b-c} \over {h}} = {{c-a} \over {k}} = \delta x$ $\ \int^{b}_{a} f(x)\, dx= \lim_{n \to + \infty} {{b-a} \over {n}} ([ \sum_{s=1}^{n-k} f(t_{s})] + [ \sum_{s=h+1}^{n} f(t_{s})] )$

da cui distribuendo la misura dell'intervallo

$\ \int^{b}_{a} f(x)\, dx= \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=1}^{n-k} f(t_{s}) + \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=h+1}^{n} f(t_{s})$

In cui $\ n-k=h$ e, considerando l'intervallo $\ [c,b]$ , l'indice $\ s=h+1,...,n$ può essere riscritto come $\ s=1,...,k$ in quanto $\ t_{h+1}$ è il valore superiore del primo intervallo della partizione di $\ [c,b]$ . Risulta allora ( ricordando che $\ {{b-c} \over {h}} = {{c-a} \over {k}} = \delta x$ )

$\ \int^{b}_{a} f(x)\, dx= \lim_{h \to + \infty} {{c-a} \over {h}} \sum_{s=1}^{h} f(t_{s}) + \lim_{k \to + \infty} {{b-c} \over {k}} \sum_{s=1}^{k} f(t(s))$

da cui discende la proprietà di additività

[modifica] Monotonia (o teorema del confronto)

Teorema: Teorema della monotonia

Siano f e g due funzioni continue definite in un intervallo [a, b] e tali che $f(x) \le g(x)$ in [a, b]. Allora $\int_a^b f(x) dx \le \int_a^b g(x) dx$

Dimostrazione: Infatti se si ha che $f(x) \le g(x)$ nel compatto $\ [a,b]$ , effettuando una partizione di tale compatto ovviamente la disuguaglianza permane e moltiplicando da ambo i lati per il fattore $\ {{b-a} \over {n}}$ si ottiene

$\ {{b-a} \over {n}} f(t_{s}) \le {{b-a} \over {n}} g(t_{s})$

per ogni $\ t_{s}$ .

A questo punto se la relazione è valida per qualsiasi intervallo in cui è suddiviso il compatto vale la seguente

$\ \sum_{s=1}^{n} {{b-a} \over {n}} f(t_{s}) \le \sum_{s=1}^{n} {{b-a} \over {n}} g(t_{s})$

Come conseguenza del corollario del teorema della permanenza del segno dei limiti, applicando il limite alle somme integrali di Riemann (ottenendo quindi l'integrale) la disuguaglianza resta immutata

$\ \lim_{n \to + \infty} \sum_{s=1}^{n} {{b-a} \over {n}} f(t_{s}) \le \lim_{n \to + \infty} \sum_{s=1}^{n} {{b-a} \over {n}} g(t_{s})$

Da ciò deriva la proprietà di monotonia degli integrali

[modifica] Valore assoluto

(lo si potrebbe considerare come un "corollario" del teorema del Confronto)

Teorema: Teorema del valore assoluto

Sia f integrabile in un intervallo [a, b], allora si ha:

$\left | \int_a^b f(x) dx \right | \le \int_a^b \left | f(x) \right | dx$

Dimostrazione: Essendo valida la relazione $- | f(t_{s}) | \le f(t_{s}) \le | f(t_{s}) |$ per ogni s, è possibile sommare membro a membro le varie componenti della relazione, ottenendo:

$- \sum_{s=1}^{n} | f(t_{s}) | \le \sum_{s=1}^{n} f(t_{s}) \le \sum_{s=1}^{n} | f(t_{s}) |$ .

Moltiplicando ogni membro per il fattore $\ {{b-a} \over {n}}$ ed applicando il limite in modo da affinare gli intervalli della partizione si ottengono gli integrali

$- \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=1}^{n} | f(t_{s}) | \le \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=1}^{n} f(t_{s}) \le \lim_{n \to + \infty} {{b-a} \over {n}} \sum_{s=1}^{n} | f(t_{s}) |$ .

$- \int_a^b |f(x)| dx \le \int_a^b f(x) dx \le \int_a^b |f(x)| dx$

ove quest'ultima disuguaglianza può essere espressa in termini di valore assoluto come

$\left | \int_a^b f(x) dx \right | \le \int_a^b \left | f(x) \right | dx$

la quale è proprio la proprietà del valore assoluto degli integrali.

[modifica] Teorema della media

Teorema: Teorema della media integrale

Se $f:[a,b]\to \mathbb R\!$ è continua allora esiste $c \in (a,b)\!$ tale che ${{1} \over {b-a}} \int_{a}^{b} f(x)\,dx=f(c)\!$ .

Per approfondire, vedi la voce Teorema della media integrale.

Per approfondire, vedi la voce Teorema della media pesata.

[modifica] Assoluta integrabilità

Se consideriamo una funzione f, si dice che f è assolutamente integrabile su un intervallo del tipo [a,+∝) se e solo se su questo stesso intervallo aperto è integrabile anche |f|.

Esiste inoltre un teorema che ci garantisce che una funzione assolutamente integrabile è integrabile, sempre su un intervallo del tipo [a,+∝):

Ipotesi: f assolutamente integrabile
Tesi: f integrabile
Dimostrazione:
Per il teorema sull'esistenza integrali impropri all'infinito sappiamo che la condizione necessaria e sufficiente affinché $\int_{a}^{+\infty}f(x)dx$ esista finito è che
$\forall \epsilon >\ 0 \quad \exists \gamma >\ 0 : \quad \forall x_1,x_2 <\ \gamma \quad \left | \int_{x_1}^{x_2}f(x)dx\right | <\ \epsilon$
In questa ultima espressione f(x) con |f(x)|: la condizione di esistenza diventa allora:
$\forall \epsilon >\ 0 \quad \exists \gamma >\ 0 : \quad \forall x_1,x_2 <\ \gamma \quad \left | \int_{x_1}^{x_2} \left | f(x)dx \right | \right | <\ \epsilon$

Ma per le proprietà del valore assoluto per gli integrali so che

$\left | \int_a^b f(x) dx \right | \le \int_a^b \left | f(x) \right | dx$

E quindi possiamo scrivere

$\forall \epsilon >\ 0 \quad \exists \gamma >\ 0 : \quad \forall x_1,x_2 <\ \gamma \quad \int_{x_1}^{x_2} \left | f(x)dx\right | <\ \epsilon$

Da cui si ricava che f(x) è integrabile

Bisogna fare molta attenzione a non confondere questo teorema con il suo simmetrico, che è falso, dal momento che non tutte le funzioni integrabili sono assolutamente integrabili: un esempio di funzione di questo tipo è

$\frac {\sin x}{x}$

[modifica] Esempio di calcolo di un integrale

Supponiamo di fissare un sistema di riferimento cartesiano attraverso le rette ortogonali ed orientate delle ascisse e delle ordinate. Supponiamo ora che su tale sistema di assi sia definita una retta la cui equazione esplicita è $\ f(x)=mx$ . Si vuole calcolare l'integrale di tale retta definita sul compatto $\ [a,b]$ situato sull'asse delle ascisse.

Supponiamo per semplicità che i punti a e b si trovino sul semiasse positivo delle ascisse e siano entrambi positivi.

Allora l'area sottesa alla retta considerata nel compatto $\ [a,b]$ è pari all'area di un trapezio che "poggiato" in orizzontale sull'asse delle ascisse è caratterizzato da un'altezza pari a $\ b-a$ , base maggiore $\ mb$ e base minore $\ ma$ . L'area di tale figura è data, come noto dalla geometria elementare, dalla formula $\ {{1} \over {2}}(mb+ma)(b-a)$ , ovvero

$\ m{{b^2-a^2} \over {2}}$

Nell'ottica di il calcolo dell'integrale di questa retta definita nel compatto $\ [a,b]$ effettuiamo una partizione di tale intervallo, dividendolo in n parti uguali

$\ x_{0}=a; \, \, \, x_{1}=a+{{b-a} \over {n}}; \, \, \, x_{2}= a+2{{b-a} \over {n}};...; \, \, \, x_{n}= a+n{{b-a} \over {n}}=b$

Nel generico intervallo $\ [x_{i-1},x_{i}]$ scegliamo come punto arbitrario il punto più esterno $\ x_{i}$ (ma andrebbe bene qualsiasi punto dell'intervallo), considerando la funzione $\ y=mx$ nel generico punto $\ x_{i}$ interno all'intervallo $\ [x_{i-1},x_{i}]$ .

Si avrà quindi $\ f(x_{i})=m[a+i{{b-a} \over {n}}]$ , e la somma integrale di Riemann diventa

$\ \sigma_{n} = \sum_{i=1}^{n} f(x_{i}){{b-a} \over {n}} =m[a+i{{b-a} \over {n}}]{{b-a} \over {n}}=ma(b-a)+m({{b-a} \over {n}})^2 \sum_{i=1}^{n}i$

nella quale la progressione aritmetica $\ \sum_{i=1}^{n}i= {{n(n+1)} \over {2}}$ restituisce un'espressione delle somme di Riemann pari a

$\ \sigma_{n} = ma(b-a)+m(b-a)^2 {{n+1} \over {2n}}$

Per passare dalle somme integrali di Riemann all'integrale vero e proprio è ora necessario, in conformità con la definizione di integrale, il passaggio al limite di suddette somme. Ovvero:

$\ \int^{b}_{a} mx \, dx = \lim_{n \to + \infty} \sigma_{n} = ma(b-a)+m(b-a)^2 \lim_{n \to + \infty} {{n+1} \over {2n}}$

Calcolando il limite per $\ n \to \infty$ , dato che $\ {{n+1} \over {2n}} \to \ {{1} \over {2}}$ , s'ottiene

$\ \int^{b}_{a} mx \, dx = \lim_{n \to + \infty} \sigma_{n} = ma(b-a)+{{m(b-a)^2} \over {2}}$

dalla quale, eseguendo la somma si ricava

$\ \int^{b}_{a} mx \, dx = m{{b^2-a^2} \over {2}}$

la quale è esattamente l'area del trapezio costruito dalla retta $\ y=mx$ sul piano insieme all'asse delle ascisse.

[modifica] Calcolo differenziale e calcolo integrale

In questa sezione vengono riportati i due teoremi fondamentali del calcolo integrale i quali, grazie agli studi ed alle intuizioni di Leibniz, Newton, Torricelli e Barrow, stabiliscono l'intima connessione esistente tra calcolo differenziale e calcolo integrale.

Vale il seguente

[modifica] Teorema fondamentale del calcolo integrale

Per approfondire, vedi la voce Teorema fondamentale del calcolo integrale.

Se $f:[a,b]\to \mathbb R$ è una funzione continua allora la "funzione integrale" definita come

$F(x):=\int_a^x f(t)dt$

è una funzione derivabile in $[a, b]$ e si ha che $F^\prime(x)=f(x)$ per ogni $x \in[a,b]$ .

Questo teorema viene definito teorema di Torricelli.

Questo teorema è il "pilastro portante" dell'analisi integrale in quanto funge da collante tra calcolo differenziale e calcolo integrale.

Il concetto seguente, quello di primitiva, è un concetto del calcolo differenziale:

Una funzione $\ F$ , continua e derivabile in un intervallo $\ [a,b]$ è detta primitiva di $\ f$ in $\ [a,b]$ se:

$\ F'(x)=f(x) \ \forall x \in [a,b]$

Quindi il teorema fondamentale del calcolo integrale garantisce l'esistenza di una primitiva.

[modifica] Infinite Primitive

Se F'(X) = f(x), allora D(F(X) + c) = f(x) dove c è una qualunque costante in $\mathbb{R}$ . Quindi se una funzione f(x) ammette primitiva F(x), esiste un'intera classe di primitive del tipo G(x)=F(x)+c, viceversa tutte le primitive di f(x) sono della forma F(x)+c.

[modifica] Dimostrazione

Siano F(x) e G(x) due primitive di f(x). Consideriamo la funzione H(x) = F(x) - G(x). La derivata prima di H(x) sarà data da:

$H'(x) = F'(x) - G'(x) = f(x) - f(x) = 0, \forall x \in [a,b]$

Quindi H(x) si mantiene costante su tutto l'intervallo a,b e ciò vuol dire che

H(x) = c

Il che dimostra la tesi.

[modifica] Condizione sufficiente per l'esistenza di una primitiva

Se f(x) è continua in [a,b] allora f(x) ammette una (e dunque infinite) primitive (primo teorema fondamentale del calcolo integrale).

[modifica] Integrale Indefinito

Il problema inverso a quello della derivazione consiste nella ricerca di tutte le funzioni la cui derivata sia uguale a una funzione assegnata. Questo problema è noto come ricerca delle primitive di una funzione. La totalità delle primitive di una funzione f(x) si chiama integrale indefinito della funzione f(x) e si indica con il simbolo: $\int f(x)\,dx$ , che si legge "integrale indefinito della funzione $f (x)$ in $d x$ "; $f (x)$ è detta funzione integranda.

L'integrazione è quindi il processo inverso alla derivazione.

Ogni funzione continua in un intervallo ammette sempre integrale indefinito, ma non è detto che sia derivabile in ogni suo punto.

Sia f una funzione continua in un intervallo [a,b]: l'insieme di tutte le primitive di f in [a,b] si chiama integrale indefinito di f e si indica

$\int f(x)\,dx$

mentre la forma funzionale generica (in cui la costante è indefinita) di tale funzione è detta integrale indefinito di $\ f(x)$ e si indica con

$\ \int f(x) \, dx= F(x)+c$

dove $\ c$ rappresenta la costante indefinita. Valgono le stesse proprietà dell'integrale definito come linearità ed additività.

Come conseguenza diretta del primo teorema fondamentale del calcolo integrale si ha il seguente

[modifica] Formula fondamentale del calcolo integrale del primo teorema

Se $\ f$ è continua in $\ [a,b]$ , ed $\ F$ è una primitiva di $\ f$ in $\ [a,b]$ allora

$\ \int_{a}^{b} f(t) \, dt = F(b)-F(a)$

Dimostrazione. Come già notato in precedenza si ha

$\ F(b)-F(a) = \int_{a}^{b} f(t)dt - \int_{a}^{a} f(t)dt = \int_{a}^{a} f(t)dt + \int_{a}^{b} f(t)dt - \int_{a}^{a} f(t)dt$

da cui si ottiene

$\ \int_{a}^{b} f(t)dt = F(b)-F(a)$

ossia la tesi.

È possibile dimostrare la formula con le sole ipotesi, più deboli, di integrabilità di $\ f$ nell'intervallo $\ [a,b]$ .

La precedente è una vera e propria formula di calcolo per gli integrali definiti.

[modifica] Metodi di integrazione

Per approfondire, vedi la voce Metodi di integrazione.

Per calcolare esattamente un integrale si può cercare di riconoscere nella funzione integranda la derivata di una qualche funzione e poi applicare la formula sopra descritta (questi sono detti "integrali immediati").

Altrimenti esistono dei metodi che hanno come scopo la semplificazione della funzione integranda:

se l'integranda è il prodotto di due funzioni, allora l'integrazione per parti riduce l'integrale alla somma di due integrali, di cui uno calcolabile immediatamente grazie alla formula fondamentale del calcolo integrale
se l'integranda è trasformazione di una derivata nota attraverso una qualche funzione derivabile, allora l'integrazione per sostituzione riporta il calcolo all'integrale di quella derivata nota, modificato per un fattore di proporzionalità che dipende dalla trasformazione in gioco

[modifica] Esempio di calcolo di un integrale (2)

In base alle informazioni fornite dal primo teorema fondamentale del calcolo integrale possiamo effettuare il calcolo di un integrale cercando una funzione la cui derivata coincide con la funzione da derivare. A questo scopo possono essere d'aiuto le tavole d'integrazione.

Così per effettuare il calcolo dell'integrale della funzione vista in precedenza $\ f(x)=mx$ attraverso la ricerca di una primitiva si ricorre alla formula

$\ \int mx^{\alpha} dx= {{mx^{ \alpha + 1}} \over { \alpha + 1}} + c$

la cui derivata coincide proprio con $\ mx^{\alpha}$ .

Prendendo in considerazione la (già esaminata precedentemente) funzione $\ f(x)=mx$ ed integrandola si ottiene

$\ \int mx dx= {{mx^{2}} \over {2}} + c$

.

Mentre per quanto concerne l'integrale definito nel compatto $\ [a,b]$ si ha, in forza del secondo teorema fondamentale del calcolo integrale

$\ \int_{a}^{b} mx dx= \left[{{mb^{2}} \over {2}} + c\right] - \left[{{ma^{2}} \over {2}} + c\right] = m {{b^2-a^2} \over {2}}$

esattamente (ovviamente) lo stesso risultato ottenuto in precedenza.

[modifica] Funzione Integrale

Sia f una funzione continua in un intervallo I. Consideriamo l'integrale di f su un intervallo J contenuto in I. Ovviamente al variare dell'intervallo J varia il valore di tale integrale. Se J è l'intervallo che ha un estremo x₀ fissato una volta per tutte e l'altro estremo x variabile, l'integrale di f su tale intervallo [x₀,x] diventa una funzione di x. Tale funzione si dice funzione integrale di f (chiamata anche integrale di Torricelli), e si indica con:

$F(x) = \int_{x_0}^{x} f(t) \, dt$

Si noti che la variabile di integrazione t (variabile muta) ha un nome diverso dalla variabile x, estremo mobile dell'intervallo di integrazione: infatti t varia tra x₀ e x.

[modifica] Secondo Teorema fondamentale del calcolo integrale

Se f è una funzione integrabile nell'intervallo [a,b], si chiama funzione integrale di f la funzione F(x) così definita:

$F(x) = \int_{a}^{x} f(t)dt \ : \ [a,b] \to \R$

Se la funzione f è continua, allora la sua funzione integrale F è derivabile e la derivata vale:

$F'(x) = f(x) \ \forall x \in [a,b]$ .

Cioè la funzione integrale di una funzione continua f è una sua primitiva.

[modifica] Formula fondamentale del calcolo integrale del secondo teorema

Sia f una funzione continua su [a,b]. Sia G una primitiva di f. Allora:

$\int_{a}^{b} f(x)dx = G(b) - G(a)$

Poiché due qualsiasi primitive di f differiscono per una costante additiva la differenza G(b) - G(a) non dipende da quale primitiva si sceglie.

La formula precedente riconduce il calcolo dell'integrale definito a quello dell'integrale indefinito. In questo modo possiamo riformulare i metodi di integrazione.

[modifica] Integrali impropri

Per approfondire, vedi la voce Integrale improprio.

[modifica] Integrale di Lebesgue

Per approfondire, vedi la voce integrale di Lebesgue.

Esistono diversi modi per definire l'integrale di una funzione. Tra i più importanti, oltre all'integrale di Riemann, sopra riportato, è degna di nota la modalità di definizione nota come integrale di Lebesgue.

La definizione dell'integrale di Lebesgue, al contrario dell'integrale di Riemann, si basa sulla definizione di area (definita in altro modo), o più in generale di misura di una superficie o di un insieme. Invece di approssimare tramite funzioni a gradini come si fa per l'integrale di Riemann, per calcolare l'integrale di Lebesgue si fa uso delle funzioni semplici, ovvero funzioni che assumono un numero finito di valori. La definizione di Lebesgue si applica direttamente a funzioni definite in un dominio multidimensionale, mentre la definizione di Riemann vale soltanto per funzioni definite in sottoinsiemi di $\mathbb{R}\$ e soltanto successivamente si estende, in maniera un po' artificiale, a funzioni definite in $\mathbb{R}^2\$ , $\mathbb{R}^3\$ , a curve e superfici.

Si dimostra che il risultato ottenuto dall'integrale proprio di Riemann, quando esiste, coincide con l'integrale di Lebesgue. Al contrario esistono casi in cui esiste l'integrale di Lebesgue ma non esiste l'integrale di Riemann.

[modifica] Integrale di Stieltjes

Per approfondire, vedi le voci integrale di Riemann-Stieltjes e integrale di Lebesgue-Stieltjes.

Un'altra possibile generalizzazione dell'integrale di Riemann è data dall'integrale di Riemann-Stieltjes, che rende possibile estendere la nozione di integrale utilizzando come variabile di integrazione sotto il segno di differenziale una funzione (detta integratrice):

$\int f \mathrm{d} g$ .

Se la funzione $g$ è differenziabile, vale la formula $\mathrm{d} g(x) = g^\prime(x) \mathrm{d} x$ , e l'integrale di Riemann-Stieltjes coincide con quello di Riemann. L'integrale di Riemann-Stieltjes è tuttavia definito anche nel caso di funzioni integratrici più generiche, che non possiedono derivata, o che sono discontinue.

L'integrale di Riemann-Stieltjes generalizza l'integrale di Riemann in maniera diversa da quello di Lebesgue, e gli insiemi delle funzioni integrabili tramite i due metodi non sono sovrapponibili. È possibile tuttavia ottenere una generalizzazione di entrambi i metodi tramite l'integrale di Lebesgue-Stieltjes.

[modifica] Stima di somme tramite integrale

Un metodo molto semplice e più generale di altri metodi, per ottenere la stima asintotica di una somma è l'approssimazione di una serie tramite il suo integrale.

Sia $f: \R \to \R^+$ una funzione monotona non decrescente. Allora per ogni $a \in \N$ e ogni intero $n \geq a$ abbiamo

$f(a) + \int_{a}^{n} f(x) dx \leq \sum_{k =a}^n f(k) \leq \int_{a}^{n} f(x) dx + f(n)$

[modifica] Dimostrazione

Se n = a la proprietà è banale. Supponiamo allora $n \,>\, a$ . Osserviamo che la funzione è integrabile in ogni intervallo chiuso e limitato di $\R^+$ e inoltre per ogni $k \in \N$ si ha che

$f(k)\leq \int_{k}^{k+1} f(x) dx \leq f(k+1)$

Sommando per $k = a, a + 1,... n - 1$ otteniamo dalla prima disuguaglianza

$\sum_{k=a}^{n-1} f(k) \leq \sum_{k=a}^{n-1} \int_{k}^{k+1} f(x)dx = \int_{a}^{n} f(x)dx$

mentre dalla seconda

$\int_{a}^{n}f(x)dx = \sum_{k=a}^{n-1}\int_{k}^{k+1} f(x)dx \leq \sum_{k=a}^{n-1}f(k+1)$

Aggiungendo ora $f (a)$ e $f (n)$ alle due somme precedenti si ottiene l'enunciato

[modifica] Integrali di Denjoy, Perron, Henstock e altri

Questa sezione è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

Sono state sviluppate altre definizioni di integrale, per diversi scopi. Caratteristica comune a essi resta la validità del teorema fondamentale del calcolo integrale.

[modifica] Integrale di Ito

Questa sezione è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

L'integrale di Ito fa parte dell'analisi di Itō per i processi stocastici.

[modifica] Tavole di integrali

Integrali indefiniti

[modifica] Altre tipologie di integrali

[modifica] Bibliografia

Giuseppe Scorza Dragoni - Elementi di analisi matematica I,II, III - Padova
Mauro Picone, Gaetano Fichera - Lezioni di analisi matematica I,II - Roma
Jean Favard - Cours d'analyse I,II - Parigi
Federico Cafiero - Misura di integrazione - Roma
Mauro Picone, Tullio Viola - Lezioni sulla teoria moderna dell'integrazione - Torino
Henri Lebesgue - Leçons sur l'intégration et la recherche de functions primitives - Parigi (1904)
Guido Fubini - Lezioni di analisi matematica - Torino (1920)
Ernesto Cesaro - Elementi di calcolo infinitesimale - Napoli
Tom M. Apostol - Calcolo, Volume primo, Analisi 1 - Bollati Boringhieri

[modifica] Voci correlate

[modifica] Collegamenti esterni

Analisi matematica

Calcolo infinitesimale: Numero reale · Successione · Limite ( di una funzione · di una successione ) · Funzione continua · Serie

Calcolo differenziale: Derivata · Teorema di Rolle e Lagrange · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiano · Hessiano
Integrale: di Riemann, di Lebesgue e improprio · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea e di superficie

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

Integrale

Da Wikipedia, l'enciclopedia libera.

Indice

[modifica] Cenni storici

[modifica] Introduzione euristica

[modifica] Integrale di Riemann

[modifica] Definizione di Integrale

[modifica] Condizione d'integrabilità

[modifica] Proprietà degli integrali

[modifica] Linearità

[modifica] Additività

[modifica] Monotonia (o teorema del confronto)

[modifica] Valore assoluto

[modifica] Teorema della media

[modifica] Assoluta integrabilità

[modifica] Esempio di calcolo di un integrale

[modifica] Calcolo differenziale e calcolo integrale

[modifica] Teorema fondamentale del calcolo integrale

[modifica] Infinite Primitive

[modifica] Dimostrazione

[modifica] Condizione sufficiente per l'esistenza di una primitiva

[modifica] Integrale Indefinito

[modifica] Formula fondamentale del calcolo integrale del primo teorema

[modifica] Metodi di integrazione

[modifica] Esempio di calcolo di un integrale (2)

[modifica] Funzione Integrale

[modifica] Secondo Teorema fondamentale del calcolo integrale

[modifica] Formula fondamentale del calcolo integrale del secondo teorema

[modifica] Integrali impropri

[modifica] Integrale di Lebesgue

[modifica] Integrale di Stieltjes

[modifica] Stima di somme tramite integrale

[modifica] Dimostrazione

[modifica] Integrali di Denjoy, Perron, Henstock e altri

[modifica] Integrale di Ito

[modifica] Tavole di integrali

[modifica] Altre tipologie di integrali

[modifica] Bibliografia

[modifica] Voci correlate

[modifica] Collegamenti esterni

Visite

Strumenti personali

Navigazione

comunità

Ricerca

Strumenti

Altre lingue