Integrale impossibile

[p4ngm4n]

tramite l'integrazione di una forma differenziale mi viene fuori quest'integrale che neanche derive riesce a risolvere!!!

$int_(-pi/2)^0(- 4·SIN(t))/(2·sqrt(2·COS(t) - 2·SIN(t))) - 2·SIN(t) + 2·SIN(t)·COS(2·SIN(t))$

cosa ne pensate???

[Dust1]

MAgari dico una stupidaggine, ma non è che questa parte venga fuori dopo che magari tu hai già calcolato un potenziale? E quindi potresti sfruttare l'esattezza per calcolarlo velocissimamente?
Ti dico così perchè a me è capitata una cosa analoga l'altro giorno..

[p4ngm4n]

non ci avevo pensato...
La forma differenziale è questa:

$(1/(2sqrt(x-y))+1)dx+(cosy-1/(2sqrt(x-y)))dy$
se la forma differenziale è esatta posso usare il teorema di integrazione delle forme differenziali esatte...
Giusto??? è a questo che ti riferisci?

[p4ngm4n]

ho verificato che la forma differenziale è chiusa!
ora è definita per $x>=y$ credo. Posso concludere che è esatta?

[p4ngm4n]

Credo quasi sicuramente che la forma diff. sia anche esatta, perchè sono riuscito a trovarmi una primitiva.
Quindi credo di trovarmi nelle ipotesi del teorema, ma come posso concludere che la forma è esatta? l'insieme di definizione è per caso un aperto semplicemente connesso?
Grazie!!!

[Dust1]

x>=y è convesso quindi è anche semplicemente connesso.

Per cui è esatta