Teorema della media pesata

Template:F Il teorema della media pesata è una generalizzazione del teorema della media integrale. L'idea è analoga a quella del teorema della media con la differenza che la misura del dominio di integrazione $[a,b]$ è distribuita in un modo non uniforme regolato da una funzione continua che ne stabilisce la densità in ogni punto.

Enunciato

Siano $f$ e $g$ due funzioni continue in un intervallo $[a,b]$ e sia $g(x)$ di segno costante in $[a,b]$ (sempre positiva o sempre negativa nell'intervallo). Allora esiste un punto $c\in [a,b]$ tale che $\underset{a}{\overset{b}{\int }}f(x)g(x)dx=f(c)\underset{a}{\overset{b}{\int }}g(x)dx$.

Dimostrazione

Si può sfruttare il teorema di Weierstrass in quanto f è continua. Allora esistono un $m$ e $M$ tali che $m\le f(x)\le M$. Si prenda $g(x)\ge 0$, quindi $mg(x)\le f(x)g(x)\le Mg(x)$. Usando il teorema del confronto e la linearità degli integrali si ottiene $m\underset{a}{\overset{b}{\int }}g(x)dx\le \underset{a}{\overset{b}{\int }}f(x)g(x)dx\le M\underset{a}{\overset{b}{\int }}g(x)dx$; dividendo per l'integrale stesso si ottiene $m\le \frac{\underset{a}{\overset{b}{\int }}f(x)g(x)dx}{\underset{a}{\overset{b}{\int }}g(x)dx}\le M$ e per il teorema dei valori intermedi il valore al centro di questa catena di diseguaglianze dovrà essere uguale ad $f(c)$ per qualche $c\in [a,b]$.$◻$

Voci correlate

• Integrale
• Teorema della media integrale
• Valore atteso