Esempio in cui non è possibile applicare il teorema di riduzione di Fubini

Angus1956
Consideriamo la funzione $f(x,y)=(y^2-x^2)/(x^2+y^2)^2$ sull'insieme $(0,1)xx(0,1)$, abbiamo che $f(x)$ è ha segno qualunque su questo insieme e non è sommabile. Se provassimo ad applicare il teorema di Fubini e proviamo a calcolare i due integrali $\int_0^1(\int_0^1f(x,y)dy)dx$ e $\int_0^1(\int_0^1f(x,y)dx)dy$, osserviamo intanto che posto $h(x,y)=arctan(y/x)$ abbiamo che $f(x,y)=(\partial^2h)/(\partialx\partialy)(x,y)=(\partial^2h)/(\partialy\partialx)(x,y)$ (siccome $h(x,y)$ è di classe $C^2$ ho usato il teorema di Schwartz), per cui si ha (usando il teorema di Torricelli-Barrow più volte):

$\int_0^1(\int_0^1f(x,y)dy)dx=\int_0^1(\int_0^1(\partial^2h)/(\partialy\partialx)(x,y)dy)dx=\int_0^1((\partialh)/(\partialx)(x,1)-(\partialh)/(\partialx)(x,0))dx=lim_(t->0+)\int_t^1((\partialh)/(\partialx)(x,1)-(\partialh)/(\partialx)(x,0))dx=h(1,1)-h(1,0)+lim_(t->0+) (h(t,0)-h(t,1))=pi/4-lim_(t->0+) arctan(1/t)=pi/4-pi/2=-pi/4$

mentre si ha:
$\int_0^1(\int_0^1f(x,y)dx)dy=\int_0^1(\int_0^1(\partial^2h)/(\partialx\partialy)(x,y)dx)dy=\int_0^1(lim_(t->0+)\int_t^1(\partial^2h)/(\partialx\partialy)(x,y)dx)dy=\int_0^1((\partialh)/(\partialy)(1,y)-lim_(t->0+)(\partialh)/(\partialy)(t,y))dy=\int_0^1((\partialh)/(\partialy)(1,y)-lim_(t->0+)t/(t^2+y^2))dy=\int_0^1(\partialh)/(\partialy)(1,y) dy=h(1,1)-h(1,0)=pi/4$

E quindi si avrebbe che $\int_0^1(\int_0^1f(x,y)dy)dx!=\int_0^1(\int_0^1f(x,y)dx)dy$, quindi Fubini non è applicabile.
Volevo sapere se andasse bene e non avessi fatto errori, grazie.

Risposte
pilloeffe
Ciao andreadel1988,
"andreadel1988":
Consideriamo la funzione $f(x,y)=(y^2−x^2)/(x^2+y^2) $ sull'insieme $(0,1)\times (0,1)$

"andreadel1988":
posto $h(x,y)=arctan(y/x)$ abbiamo che $ f(x,y)=(\partial^2h)/(\partialx\partialy)(x,y)=(\partial^2h)/(\partialy\partialx)(x,y) $

No, non mi risulta... Mi risulta invece che si ha:

$ (\partial^2h)/(\partialx\partialy)(x,y)=(\partial^2h)/(\partialy\partialx)(x,y) = (y^2−x^2)/(x^2+y^2)^2 $

Angus1956
"pilloeffe":
Ciao andreadel1988,
[quote="andreadel1988"]Consideriamo la funzione $f(x,y)=(y^2−x^2)/(x^2+y^2) $ sull'insieme $(0,1)\times (0,1)$

"andreadel1988":
posto $h(x,y)=arctan(y/x)$ abbiamo che $ f(x,y)=(\partial^2h)/(\partialx\partialy)(x,y)=(\partial^2h)/(\partialy\partialx)(x,y) $

No, non mi risulta... Mi risulta invece che si ha:

$ (\partial^2h)/(\partialx\partialy)(x,y)=(\partial^2h)/(\partialy\partialx)(x,y) = (y^2−x^2)/(x^2+y^2)^2 $[/quote]
Si hai ragione ho scritto male $f$, quella che hai detto tu è $f$, ovvero $(y^2−x^2)/(x^2+y^2)^2 $

pilloeffe
C'è qualcosa che non mi quadra sul finale:

$ \lim_{t \to 0^+}(\partialh)/(\partialy)(t,y) = \lim_{t \to 0^+} t/(t^2 + y^2) = 0$

Il resto mi pare corretto.

Angus1956
"pilloeffe":
C'è qualcosa che non mi quadra sul finale:

$ \lim_{t \to 0^+}(\partialh)/(\partialy)(t,y) = \lim_{t \to 0^+} t/(t^2 + y^2) = 0$


Hai ragione, ho modificato, grazie.

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