Integrale di linea di seconda specie

Template:Torna a In analisi matematica e calcolo integrale e vettoriale un integrale di linea di seconda specie è un integrale di una funzione vettoriale reale o complessa, assegnato lungo una curva. Talvolta l'integrale è anche detto lavoro lungo una curva del campo vettoriale considerato.

Per l'integrale di linea di seconda specie valgono le proprietà tipiche degli integrali, come la linearità, l'additività e la monotonia.

La curva regolare

Template:Vedi anche Una curva, in forma parametrica, è una funzione vettoriale di una sola variabile $\varphi (t):I=[a,b]\subseteq ℝ\to {ℝ}^3$ del tipo:

$\varphi (t)=({\varphi }_1(t),{\varphi }_2(t),{\varphi }_3(t))$

Si può scrivere anche:

$\varphi (t):\{\begin{array}{c}x={\varphi }_1(t)\\ y={\varphi }_2(t)\\ z={\varphi }_3(t)\end{array}$

La variabile $t\in I$ si chiama parametro. Una curva è una funzione di classe $C^1$ in un intervallo se le funzioni ${\varphi }_1(t)$, ${\varphi }_2(t)$ e ${\varphi }_3(t)$ hanno derivate continue in tale intervallo. Una curva $C^1$ si dice regolare in un punto $t_0$ se:

${\varphi }^{\prime }(t_0)=({\varphi }_1^{\text{'}}(t_0),{\varphi }_2^{\text{'}}(t_0),{\varphi }_3^{\text{'}}(t_0))\ne (0,0,0)$

e regolare in $I$ se ciò vale in ogni punto di $I$. Un punto in cui si abbia ${\varphi }^{\prime }(t_0)=(0,0,0)$ si dice punto singolare per la curva.

Una curva nello spazio si dice semplice se non si interseca con se stessa, ovvero se per ogni $t_1\ne t_2\in I$ si ha $\varphi (t_1)\ne \varphi (t_2)$. La regolarità della curva permette di definire la retta tangente alla curva, che è la retta parallela al vettore:

${\varphi }^{\prime }(t_0)=({\varphi }_1^{\text{'}}(t_0),{\varphi }_2^{\text{'}}(t_0),{\varphi }_3^{\text{'}}(t_0))$

Tale vettore è detto vettore tangente di lunghezza $||{\varphi }^{\prime }(t_0)||$, ed è indicato pure con $\overrightarrow{T}(t_0)$. Il versore tangente è inoltre il vettore di lunghezza unitaria:

$\hat{T}(t_0)=\frac{{\varphi }^{\prime }(t_0)}{||{\varphi }^{\prime }(t_0)||}$

Data la rappresentazione parametrica della curva regolare, è possibile anche calcolarne la lunghezza:

$\text{Lungh}(\varphi )=\underset{a}{\overset{b}{\int }}\Vert {\varphi }^{\prime }(t)\Vert \mathrm{d}t=\underset{a}{\overset{b}{\int }}\sqrt{{\varphi }_1^{\text{'}}(t{)}^2+{\varphi }_2^{\text{'}}(t{)}^2+{\varphi }_3^{\text{'}}(t{)}^2}\mathrm{d}t$

Il calcolo dell'integrale

Si vuole definire l'integrale $\underset{\mathrm{\Gamma }}{\int }\overrightarrow{F}$ lungo una curva regolare del campo vettoriale $\overrightarrow{F}:A\subset {ℝ}^3\to {ℝ}^3$, cioè:

$\overrightarrow{F}(x,y,z)=(F_1(x,y,z),F_2(x,y,z),F_3(x,y,z))$

Data una curva $\mathrm{\Gamma }$ definita in $A$ con rappresentazione parametrica $\varphi :[a,b]\to {ℝ}^3$ data da:

$\varphi (t)=\{\begin{array}{c}x={\varphi }_1(t)\\ y={\varphi }_2(t)\\ z={\varphi }_3(t)\end{array}$

dove $t\in [a,b]\subseteq ℝ$, l'integrale di seconda specie lungo la curva $\underset{\mathrm{\Gamma }}{\int }\overrightarrow{F}$ si definisce come l'integrale di prima specie del campo scalare:

$f(x,y,z)=\overrightarrow{F}(x,y,z)\cdot \hat{T}(x,y,z)$

ottenuto dal prodotto scalare fra il campo vettoriale da integrare e il versore tangente alla curva:

$\underset{\mathrm{\Gamma }}{\int }\overrightarrow{F}=\underset{\mathrm{\Gamma }}{\int }\overrightarrow{F}(x,y,z)\cdot \hat{T}(x,y,z)\mathrm{d}s$

Se la curva $\mathrm{\Gamma }$ è regolare e ammette la parametrizzazione mostrata, allora $ds$ è l'elemento infinitesimo di lunghezza, e si può esplicitare l'integrale:

$\underset{a}{\overset{b}{\int }}\overrightarrow{F}(\varphi (t))\cdot \hat{T}(\varphi (t))\Vert {\varphi }^{\prime }(t)\Vert \mathrm{d}t=\underset{a}{\overset{b}{\int }}[F_1(\varphi (t)){\varphi }_1^{\text{'}}(t)+F_2(\varphi (t)){\varphi }_2^{\text{'}}(t)+F_3(\varphi (t)){\varphi }_3^{\text{'}}(t)]\mathrm{d}t$

Nel caso in cui la curva è piana la funzione vettoriale non dipende dalla componente $F_3$, e allora la precedente relazione si trasforma:

$\underset{a}{\overset{b}{\int }}\overrightarrow{F}(\varphi (t))\cdot \hat{T}(\varphi (t))\Vert {\varphi }^{\prime }(t)\Vert \mathrm{d}t=\underset{a}{\overset{b}{\int }}[F_1(\varphi (t)){\varphi }_1^{\text{'}}(t)+F_2(\varphi (t)){\varphi }_2^{\text{'}}(t)]\mathrm{d}t$

Indipendenza dalla rappresentazione parametrica a meno del verso di percorrenza

L'integrale di linea di seconda specie così descritto è indipendente dalla rappresentazione parametrica a meno però del verso di percorrenza della curva. Infatti, per percorrenze opposte cambia il verso del versore tangente:

$\underset{{\mathrm{\Gamma }}^{+}}{\int }\overrightarrow{F}(x,y,z)\cdot \hat{T}(x,y,z)\mathrm{d}s=-\underset{{\mathrm{\Gamma }}^{-}}{\int }\overrightarrow{F}(x,y,z)\cdot \hat{T}(x,y,z)\mathrm{d}s$

dove con ${\mathrm{\Gamma }}^{+}$ e ${\mathrm{\Gamma }}^{-}$ si indicano parametrizzazioni della stessa curva con versi di percorrenza opposti. Quindi, l'integrale di linea di seconda specie (a differenza di quello di prima specie) dipende dal verso di percorrenza della curva lungo la quale si integra, e si dovrebbe perciò sempre indicare anche l'orientamento scelto sulla curva sulla quale si integra:

$\underset{{\mathrm{\Gamma }}^{+}}{\int }\overrightarrow{F}=\underset{{\mathrm{\Gamma }}^{+}}{\int }\overrightarrow{F}(x,y,z)\cdot \overrightarrow{T}(x,y,z)\mathrm{d}s\underset{{\mathrm{\Gamma }}^{-}}{\int }\overrightarrow{F}=\underset{{\mathrm{\Gamma }}^{-}}{\int }\overrightarrow{F}(x,y,z)\cdot \overrightarrow{T}(x,y,z)\mathrm{d}s$

La scrittura senza indicazione del verso:

$\underset{\mathrm{\Gamma }}{\int }\overrightarrow{F}=\underset{\mathrm{\Gamma }}{\int }\overrightarrow{F}(x,y,z)\cdot \overrightarrow{T}(x,y,z)\mathrm{d}s$

è sempre imprecisa, ma può accettarsi qualora si sia stabilito prima il verso di percorrenza, ad esempio se la curva $\mathrm{\Gamma }$ è stata data attraverso una parametrizzazione specifica. Per questo queste precisazioni sono spesso omesse, pur essendo necessarie.

Circuitazione

Template:Vedi anche Qualora la curva sulla quale si integra sia chiusa si parla di circuitazione, e si indica:

${\oint }_{\mathrm{\Gamma }}\overrightarrow{F}(x,y,z)\cdot \hat{T}(x,y,z)\mathrm{d}s$

Anche in tal caso la scrittura precedente è imprecisa (perché può dar risultati di segno opposto) se non si è indicato prima il verso di percorrenza della curva.

Più corretto sarebbe distinguere:

${\oint }_{{\mathrm{\Gamma }}^{+}}\overrightarrow{F}(x,y,z)\cdot \hat{T}(x,y,z)\mathrm{d}s{\oint }_{{\mathrm{\Gamma }}^{-}}\overrightarrow{F}(x,y,z)\cdot \hat{T}(x,y,z)\mathrm{d}s$

Quando la curva, come in questo caso, è chiusa di solito la convenzione per indicare l'orientamento positivo è la seguente. Per una curva piana l'orientamento positivo è quello che permette la percorrenza della curva in senso antiorario, cioè che lascia l'interno sulla sinistra (e si dice perciò levogiro o sinistrorso: ad esempio se la curva è una circonferenza ciò significa che si curva costantemente a sinistra. Si può inoltre stabilire l'orientamento di una curva chiusa giacente su una superficie orientabile (anche solo immaginata) qualora su tale superficie si sia stabilito quale sia il vettore normale uscente alla superficie uscente da essa.

Applicazioni geometriche e fisiche

In fisica la definizione data dell'integrale di linea di seconda specie ha un senso molto pratico che giustifica pienamente la definizione di lavoro di un campo vettoriale. In effetti in varie branche della fisica si parla di lavoro come integrale di linea di seconda specie: ad esempio per campi di forze o di velocità, in cinematica e in dinamica come nei vari teoremi che coinvolgono il lavoro: Teorema dell'energia cinetica e Legge di conservazione dell'energia, ma anche in Elettromagnetismo quando si parla di campi elettrici e magnetici.

Campi conservativi e approfondimenti

Particolare importanza ha il caso in cui il campo di forze è conservativo, in tal caso l'integrale di linea non dipende dalla curva (dalla traiettoria) seguita per andare da a a b ma solo dalle posizioni iniziali e finali. Inoltre in ambito matematico e fisico particolare importanza hanno questi campi e per i quali si introducono definizioni come i campi gradiente e quelli irrotazionali con strumenti del calcolo differenziale come gradiente e rotore e ai relativi potenziali scalari e vettori, a cui si rimanda per approfondimenti.

In analisi complessa il calcolo dell'integrale di linea di seconda specie è fondamentale nel teorema integrale di Cauchy e nello sviluppo dell'integrazione complessa.

Bibliografia

• Template:En Krantz, S. G. The Complex Line Integral. §2.1.6 in Handbook of Complex Variables. Boston, MA: Birkhäuser, p. 22, 1999.

Voci correlate

• Integrale
• Integrale di linea
• Curva piana
• Curva nello spazio
• Integrale di linea di prima specie