Analisi a più variabili · Integrale di linea

Integrale di linea

L’integrale di linea ∫ F·dr di un campo vettoriale F lungo una curva C somma, tratto dopo tratto, F·T, la componente della forza nel verso del cammino: il lavoro di F lungo C. Traccia F·T rispetto alla distanza s e l’area con segno sottostante è il lavoro; in un campo gradiente F = ∇φ, il lavoro dipende solo dagli estremi, W = φ(B) − φ(A).

L’integrale di linea in questa visualizzazione

Un campo di forze FF agisce su un oggetto che si muove lungo un percorso CC da A a B. In ogni piccolo passo di lunghezza dsds, solo la componente della forza nel verso del moto compie lavoro, F⋅T dsF\cdot T\,ds, dove TT è il versore tangente. Sommando questi contributi si ottiene l’integrale di linea di FF lungo CC, il lavoro WW.

Lo stesso lavoro, scritto in tre modi
W=∫CF⋅dr=∫0LF⋅T ds=∫abF(r(t))⋅r′(t) dtW = \int_C F\cdot dr = \int_0^L F\cdot T\,ds = \int_a^b F(r(t))\cdot r'(t)\,dt

Le tacche gialle lungo il percorso mostrano F⋅TF\cdot T: piene e rivolte in avanti dove la forza aiuta, vuote e rivolte all’indietro dove frena. Il grafico sotto la vista traccia F⋅TF\cdot T in funzione della distanza ss percorsa da A. Contando come negativa l’area tratteggiata sotto l’asse, l’area fino al punto rosso S è il lavoro compiuto finora, e l’area totale è WW: l’integrale di linea è diventato un integrale semplice in ss.

In S, la forza si scompone in una componente gialla lungo il percorso e una tenue perpendicolare a esso, che non compie lavoro. Nel campo radiale F=(x,y)F = (x, y), sulla circonferenza di raggio 2 centrata nell’origine, la forza ha lunghezza 2 ma punta verso l’esterno, quindi F⋅T=0F\cdot T = 0 e W=0W = 0. Il lavoro non è il modulo della forza moltiplicato per la lunghezza del percorso. L’opzione Inverti percorre lo stesso cammino al contrario, trasformando TT in −T-T e WW in −W-W.

In un campo gradiente F=∇φF = \nabla\varphi, la regola della catena fa sì che F⋅T dsF\cdot T\,ds sia la variazione di φ\varphi nel piccolo passo. Il lavoro fino a S è φ(S)−φ(A)\varphi(S) - \varphi(A) e, quando ∇φ\nabla\varphi è continuo, il lavoro lungo qualunque percorso liscio a tratti dipende solo dai suoi estremi:

Il teorema fondamentale degli integrali di linea
∫C∇φ⋅dr=φ(B)−φ(A)\int_C \nabla\varphi\cdot dr = \varphi(B) - \varphi(A)

L’opzione Curve di livello mostra il perché senza formule. Disegna le linee su cui φ\varphi è un intero. Salendo da una linea alla successiva, φ\varphi aumenta di 1, quindi un percorso che sale fra le due compie un’unità di lavoro, accumulata con continuità lungo il cammino. Per quanto il percorso si snodi, gli attraversamenti aggiuntivi arrivano a coppie, uno in salita e uno in discesa, e si annullano. Ogni percorso da A a B attraversa dunque lo stesso numero netto di linee; quel numero, con le frazioni di unità ai due estremi, dà φ(B)−φ(A)\varphi(B) - \varphi(A).

Un campo il cui lavoro dipende solo dagli estremi del percorso si dice conservativo. In un tale campo ogni percorso chiuso dà lavoro nullo, perché termina dove inizia.

Il campo di rotazione F=(−y,x)F = (-y, x) non ha potenziale. Da (2,0)(2, 0) a (−2,0)(-2, 0), la semicirconferenza superiore ha F⋅T=2F\cdot T = 2 lungo tutta la sua lunghezza 2π2\pi, quindi W=4π≈12.57W = 4\pi \approx 12.57. Lungo l’asse x, la forza è perpendicolare al percorso e W=0W = 0. Passare sopra e tornare lungo l’asse forma un percorso chiuso che compie un lavoro di 4π4\pi.

La scala a chiocciola F=(−y,x)/(x2+y2)F = (-y, x)/(x^2 + y^2) è un caso intermedio. Il suo rotore è zero ovunque sia definita e, vicino a ogni punto diverso dall’origine, è il gradiente dell’angolo polare θ\theta. Ma nessun’unica funzione angolo vale per un giro completo, perché un giro antiorario intorno all’origine aggiunge 2π2\pi. Le sue curve di livello sono semirette e il lavoro è la variazione di θ\theta seguito lungo il percorso: 2π≈6.282\pi \approx 6.28 per un giro antiorario intorno all’origine, e 0 su una circonferenza che non la racchiude.

Da osservare

  • L’integrale di linea di una funzione rispetto alla lunghezza d’arco, ∫Cf ds\int_C f\,ds, è un altro integrale. Somma ff moltiplicata per la lunghezza di ogni passo, come per la massa di un filo, e percorrere il cammino al contrario non lo cambia.

Controlli

  • Cambiare campo mantiene il percorso e S, per confrontare lo stesso percorso in campi diversi. Trascinare B su A in una curva di Bézier chiude il percorso.

Concetti correlati