Integrale curvilineo di una forma differenziale

Andrea902
Buonasera a tutti!

Ho il seguente esercizio:

"Sia assegnata la forma differenziale: [tex]\displaystyle \omega(x,y)=\frac{y(\log y-1)}{x^2+1}\textrm{d}x+(\arctan x\log y)\textrm{d}y[/tex]. Calcolare l'integrale curvilineo di [tex]\omega[/tex] esteso alla curva di equazione [tex]y=x^3[/tex], con [tex]x\in [-1;1][/tex], percorsa nel verso delle [tex]x[/tex] crescenti".

Non so se mi sbaglio, ma secondo me il testo presenta un errore in quanto il sostegno della curva assegnata non è contenuto nell'insieme di definizione [tex]D[/tex] della forma (che chiaramente è: [tex]D=\{(x;y)\in\mathbb{R}^2|y>0\}[/tex]). Infatti, ad esempio il primo estremo della curva: [tex](-1;-1)\notin D[/tex].

In attesa di un vostro riscontro, vi ringrazio anticipatamente.

Risposte
RainbowInTheDark
Ciao anche a me interessa questo argomento...ma sei sicuro che il testo sia proprio questo ?
Io ho provato a risolverlo tralasciando la domanda che hai posto tu...si dimostra che $omega$ è chiusa in un semplicemente connesso (il $D$ che hai definito tu) ed è quindi esatta. Una primitiva si vede ad occhio che è $f(x, y) = y log(y-1) arctan x$. Però effettivamente ora che devo calcolare l'integrale come $int_gamma omega = f(1,1) - f(-1,-1)$ non ha senso farlo !!! :?

Andrea902
Esatto! Ho fatto anche io tutte le osservazioni che hai fatto tu e sono arrivato allo stesso punto!
Il testo è esattamente quello postato.
In ogni caso l'ho modificato con la curva [tex]y=x^2[/tex] (nel medesimo intervallo) il cui sostegno è chiaramente contenuto in [tex]D[/tex]...
Se vuoi, prova a farlo con questa funzione e confrontiamo i risultati!

RainbowInTheDark
Considerando $y =x ^ 2$ direi che il procedimento non cambia: la forma èchiusa in un semplicemente connesso e quindi è esatta. Una primitiva è $f(x,y) = y(logy-1) arctan x$, quindi l'integrale di linea sulla curva di equazione $y = x ^2$ orientata nel verso delle $x$ crescenti, per $x in [-1;1]$ è semplicemente $f(1,1) - f(-1,1) = - pi/2$...

COsì sarebbe sensato :) Dici che potrebbe esserci un errore di stampa ? :?
Per curiosità tu come hai definitio l'integrale curvilineo ??? :?

Andrea902
Secondo me si tratta di un errore di stampa. :)

Vuoi sapere la definizione di integrale curvilineo di una funzione o di una forma differenziale?

RainbowInTheDark
Quello di integrale di linea di una 1-forma differenziale :)

Andrea902
La definizione che ho trovato più completa è la seguente:

Siano assegnati: una curva [tex]\gamma:[a;b]\rightarrow \mathbb{R}^n[/tex] di classe [tex]\mathcal{C}^1[/tex], un campo vettoriale continuo: [tex]\mathbf{F}:\gamma([a;b])\rightarrow \mathbb{R}^n[/tex] e la forma differenziale [tex]\omega[/tex] associata a [tex]\mathbf{F}[/tex]. Si definisce integrale curvilineo della forma differenziale [tex]\omega[/tex] lungo [tex]\gamma[/tex]: [tex]\displaystyle \int_{\gamma}\omega=\int_{\gamma}F_1\textrm{d}x_1+\cdots F_n\textrm{d}x_n:=\int_{a}^{b}(F_1(\gamma(t)))\gamma_1'(t)+\cdots+F_n(\gamma(t))\gamma'_{n}(t))\textrm{d}t[/tex].

Tu? :)

RainbowInTheDark
Mmm non capisco bene la tua definizione...nel senso è necessario parlare di campo vettoriale $F$ ? :?..
Il mio professore ha definito una 1-forma differenziale $omega$ come una funzione di $D$ in $X^"*"$, dove $X$ è uno spazio normato di dimensione $n$, $X^"*"$ è il suo duale e $D$ è un sottoinsieme (eventualmente aperto) di $X$...
Poi ha definito l'integrale curvilineo di una 1-forma lungo una varietà parametrica , lungo un cammino (che è una curva $C^1$ a tratti se non ho capito male), e lungo una varietà differenziale di dimensione 1 in immersa in $X$, orientata.
Ti metto la definizione di integrale curvilineo lungo una varietà parametrica perchè è quella più simile alla tua:

" Sia $X$ spazio normato di dimensione finita e sia $phi in C^1(I, D), D sub X, $ una varietà parametrica a valori in $D$ e $ I sub R $ aperto.Diremo che la 1-forma differenziale $omega$ di $D$ in $X^"*"$ ha un integrale di linea lungo la varietà $phi$ se:
$omega (phi(t))[phi'(t)]$ è integrabile per ogni $t in I$. Se ciò accade porremo $int_phi omega = int_I omega (phi(t))[phi'(t)] dt$ "

PS Scusami, non vorrei farti ancora più casino su queste cose :oops:

Andrea902
No, non è necessario parlare di campo vettoriale!
Si tratta di due definizioni diverse...

P.S. Nessun problema!

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